Computer algebra for geometric evolution equations

Description

Flussgleichungen wie der mittlere Krümmungsfluss oder der Riccifluss spielen in der Geometrie eine große Rolle. Deren Lösungen kontrolliert man dabei häufig wie folgt: Man betrachtet eine geometrisch interessante Testgröße, berechnet deren Evolutionsgleichung und zeigt, dass sie monoton und damit eine Lyapunovfunktion ist. Hiermit kann man das geometrische Verhalten von Lösungen bestimmen.

Trotz fester algebraischer Regeln ist es meist recht kompliziert, Evolutionsgleichungen für Testfunktionen zu berechnen. Wir möchten daher ein Programm entwickeln, das solche Berechnungen in vielen verschiedenen Situationen automatisch durchführt. Bei der Auswahl der Testfunktionen und für die genaue Untersuchung der Evolutionsgleichungen wollen wir algebraische und experimentelle Methoden verwenden.

So wollen wir auf systematische Weise Lyapunovfunktionen finden und damit Theoreme für Lösungen geometrischer Evolutionsgleichungen, insbesondere in der Nähe von Singularitäten oder für große Zeiten, beweisen.

Institutions
  • Department of Mathematics and Statistics
Funding sources
Name Finanzierungstyp Kategorie Project no.
Schwerpunktprogramm third-party funds research funding program 691/10
Further information
Period: since 30.06.2013