Project Details
Projekt
Computer algebra for geometric evolution equations
Applicant
Professor Dr. Oliver Schnürer
Subject Area
Mathematics
Term
from 2010 to 2015
Project identifier
Deutsche Forschungsgemeinschaft (DFG) - Project number 171126814
Many challenging problems in geometry concern flow equations like e. g. mean curvature flow or Ricci flow. The behavior of solutions to such flow equations is often controlled as follows: For a geometrically significant quantity, the evolution equation is computed. It is proved that this quantity is monotone, i. e. a Lyapunov function. This allows to control solutions of the flow equation. The computation of evolution equations for prospective Lyapunov functions is purely algebraic but usually quite tedious. We propose to develop a program that does these algebraic computations in many different situations. We also wish to use algebraic and experimental methods to select prospective Lyapunov functions and to check, whether the resulting evolution equations allow to deduce monotonicities. Based on these Lyapunov functions we wish to provide a tool to systematically prove new theorems for geometric evolution equations. We want to focus on the behavior of solutions for large times or near singularities.
DFG Programme
Priority Programmes
