Укорачивающий поток

Укорачивающий поток — процесс, изменяющий гладкую кривую на плоскости путём перемещения её точек перпендикулярно к кривой со скоростью, равной её кривизне.

Укорачивающий поток изучается в основном как простейший пример геометрического потока, в частности позволяет отработать технику для работы с потоком Риччи и с потоком средней кривизны.

Уравнение

Однопараметрическое семейство кривых является решением укорачивающего потока, если для любого значения параметра Невозможно разобрать выражение (SVG с запасным PNG (MathML можно включить с помощью плагина для браузера): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «http://restbase-svc.restbase.svc.primary22.local:7231/ru-mediawiki.ruwiki.svc.primary22.local/v1/»:): {\displaystyle \tau} имеем

где  — кривизна со знаком кривой в точке Невозможно разобрать выражение (SVG с запасным PNG (MathML можно включить с помощью плагина для браузера): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «http://restbase-svc.restbase.svc.primary22.local:7231/ru-mediawiki.ruwiki.svc.primary22.local/v1/»:): {\displaystyle \gamma_t(\tau)} и  — единичный вектор нормали к кривой в точке .

Свойства

undefined
  • Если начальная кривая простая и замкнутая, то она остаётся таковой под действием укорачивающего потока.
  • Для простой замкнутой кривой Невозможно разобрать выражение (SVG с запасным PNG (MathML можно включить с помощью плагина для браузера): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «http://restbase-svc.restbase.svc.primary22.local:7231/ru-mediawiki.ruwiki.svc.primary22.local/v1/»:): {\displaystyle \gamma_0} укорачивающий поток определён на максимальном интервале .
    • При кривая Невозможно разобрать выражение (SVG с запасным PNG (MathML можно включить с помощью плагина для браузера): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «http://restbase-svc.restbase.svc.primary22.local:7231/ru-mediawiki.ruwiki.svc.primary22.local/v1/»:): {\displaystyle \gamma_t} схлопывается в точку.
  • Площадь ограниченная кривой уменьшается с постоянной скоростью.
    • В частности, момент схлопывания в точку полностью определён площадью, ограниченной кривой: .
  • Если изначальная кривая не является выпуклой, то её максимальное абсолютное значение кривизны уменьшается монотонно, пока она не станет выпуклой.
  • Для выпуклой кривой изопериметрическое соотношение убывает, и прежде чем пропасть в точке сингулярности, кривая стремится по форме к окружности.[1]
  • Две непересекающиеся простые гладкие замкнутые кривые остаются непересекающимися, пока одна из них не схлопнулась в точку.
  • Окружность — единственная простая замкнутая кривая, которая сохраняет свою форму в потоке.

Приложения

  • Укорачивающий поток на сфере даёт одно из доказательств задачи Арнольда о существования хотя бы четырёх точек перегиба у любой гладкой кривой, разрезающей сферу на равновеликие диски.[2]

Примечания

  1. Gage, M. E. (1984), «Curve shortening makes convex curves circular», Inventiones Mathematicae 76 (2): 357—364, doi:10.1007/BF01388602
  2. Angenent, Sigurd. «Inflection points, extatic points and curve shortening.» Hamiltonian systems with three or more degrees of freedom. Springer Netherlands, 1999. 3-10.