LAGUERRE - инвариант предоставил
В проективной геометрии Laguerre -Forsyth Invariant - это кубический дифференциал, который является инвариантом кривой проективной плоскости. Он назван в честь Эдмонда Лагерра и Эндрю Форсайта , последний из которых проанализировал инвариант в влиятельной книге об обычных дифференциальных уравнениях .
Предположим, это Трехкратное постоянно дифференцируемое погружение проективной линии в проективную плоскость , с однородными координатами, данными Тогда связано с P является обычным дифференциальным уравнением третьего порядка
В целом это уравнение может быть помещено в форму
где являются рациональными функциями компонентов P и его производных. После изменения переменных формы , это уравнение может быть дополнительно уменьшено до уравнения без первого или второго производных терминов
Инвариантный это инвариант Laguerre -Forsyth.
Ключевым свойством P является то, что кубический дифференциал P ( DT ) 3 инвариантно в группе автоторфизма Проективной линии. Точнее, это инвариантно под , , и .
Инвариантный P исчезает идентично, если (и только если) кривая является конической секцией . Точки, где p исчезает, называются секстактическими точками кривой. Это теорема Герглоц и радона , которую каждая закрытая строго выпуская кривая имеет по меньшей мере шесть секстактических точек. Этот результат был распространен на различные оптимальные минимумы для простых закрытых (но не обязательно выпуклой) кривых Thorbergsson & Umehara (2002) , в зависимости от класса гомотопии кривой в проективной плоскости.
Ссылки
[ редактировать ]- Сасаки, Шигео (1999), Проективная дифференциальная геометрия и линейные гомогенные дифференциальные уравнения
- Торбергссон, G; Умехара, М. (2002), «Секстактические точки на простой закрытой кривой» , Математический журнал Нагоя , 167 (4): 55–94