Нормальная форма Чибрарио
Нормальная форма Чибрарио — нормальная форма дифференциального уравнения, не разрешённого относительно производной, в окрестности простейшей особой точки. Название предложено В. И. Арнольдом в честь итальянского математика Марии Чибрарио, установившей эту нормальную форму для одного класса уравнений[1][2][3].
Связанные определения
[править | править код]Особые точки
[править | править код]Пусть дифференциальное уравнение имеет вид
где
Функция предполагается вещественной, гладкой класса (или аналитической) по совокупности всех трёх переменных. Особые точки такого уравнения — это точки трёхмерного пространства с координатами , лежащие на поверхности, задаваемой уравнением , в которых производная обращается в нуль, т. е. проектирование поверхности на плоскость переменных вдоль направления оси нерегулярно. В общем случае множество особых точек образует на поверхности кривую, называемую криминантой. Проекция криминанты на плоскость называется дискриминантной кривой, её точки тоже часто называют особыми точками уравнения, хотя при этом возможна неточность: при проектировании различным точками поверхности может соответствовать одна и та же точка плоскости переменных [1][4][5].
Поднятие уравнения
[править | править код]Дифференциальное соотношение задает в пространстве поле контактных плоскостей . Пересечение контактных плоскостей с плоскостями, касательными к поверхности , задает на последней поле направлений (определенное во всех точках, где контактные и касательные плоскости не совпадают друг с другом). Интегральные кривые построенного таким образом поля являются 1-графиками решений исходного уравнения, а их проекции на плоскость — графиками решений[4][5]
![](http://upload.wikimedia.org/wikipedia/ru/thumb/9/95/%D0%9F%D0%BE%D0%B4%D0%BD%D1%8F%D1%82%D0%B8%D0%B5_%D0%B4%D0%B8%D1%84%D1%84%D0%B5%D1%80%D0%B5%D0%BD%D1%86%D0%B8%D0%B0%D0%BB%D1%8C%D0%BD%D0%BE%D0%B3%D0%BE_%D1%83%D1%80%D0%B0%D0%B2%D0%BD%D0%B5%D0%BD%D0%B8%D1%8F_%D0%B8_%D0%BD%D0%BE%D1%80%D0%BC%D0%B0%D0%BB%D1%8C%D0%BD%D0%B0%D1%8F_%D1%84%D0%BE%D1%80%D0%BC%D0%B0_%D0%A7%D0%B8%D0%B1%D1%80%D0%B0%D1%80%D0%B8%D0%BE.jpg/230px-%D0%9F%D0%BE%D0%B4%D0%BD%D1%8F%D1%82%D0%B8%D0%B5_%D0%B4%D0%B8%D1%84%D1%84%D0%B5%D1%80%D0%B5%D0%BD%D1%86%D0%B8%D0%B0%D0%BB%D1%8C%D0%BD%D0%BE%D0%B3%D0%BE_%D1%83%D1%80%D0%B0%D0%B2%D0%BD%D0%B5%D0%BD%D0%B8%D1%8F_%D0%B8_%D0%BD%D0%BE%D1%80%D0%BC%D0%B0%D0%BB%D1%8C%D0%BD%D0%B0%D1%8F_%D1%84%D0%BE%D1%80%D0%BC%D0%B0_%D0%A7%D0%B8%D0%B1%D1%80%D0%B0%D1%80%D0%B8%D0%BE.jpg)
Описанная конструкция исследования уравнений, не разрешённых относительно производной, восходит к третьему мемуару А. Пуанкаре «О кривых, определяемых дифференциальными уравнениями» (1885); в современной математической литературе она часто называется поднятием уравнения на поверхность[3].
Теорема о нормальной форме
[править | править код]Простейшими особыми точками уравнения являются так называемые регулярные особые точки, в которых проектирование имеет особенность, называемую складкой Уитни, и контактная плоскость не касается поверхности Это равносильно выполнению в данной точке условий:
Теорема. В окрестности регулярной особой точки уравнение с гладкой (или аналитической) функцией гладко (соответственно, аналитически) эквивалентно уравнению |
В 1932 году Чибрарио получила эту нормальную форму, исследуя характеристики уравнения с частными производными второго порядка смешанного типа[2].
Примеры
[править | править код]Нормальная форма Чибрарио является характеристическим уравнением для уравнения Трикоми
,
относящегося к эллиптическому типу в полуплоскости и к гиперболическому — в полуплоскости .
![](http://upload.wikimedia.org/wikipedia/ru/thumb/8/82/%D0%A1%D0%B5%D0%BC%D0%B5%D0%B9%D1%81%D1%82%D0%B2%D0%BE_%D1%80%D0%B5%D1%88%D0%B5%D0%BD%D0%B8%D0%B9_%D0%B2_%D0%BD%D0%BE%D1%80%D0%BC%D0%B0%D0%BB%D1%8C%D0%BD%D0%BE%D0%B9_%D1%84%D0%BE%D1%80%D0%BC%D0%B5_%D0%A7%D0%B8%D0%B1%D1%80%D0%B0%D1%80%D0%B8%D0%BE.jpg/180px-%D0%A1%D0%B5%D0%BC%D0%B5%D0%B9%D1%81%D1%82%D0%B2%D0%BE_%D1%80%D0%B5%D1%88%D0%B5%D0%BD%D0%B8%D0%B9_%D0%B2_%D0%BD%D0%BE%D1%80%D0%BC%D0%B0%D0%BB%D1%8C%D0%BD%D0%BE%D0%B9_%D1%84%D0%BE%D1%80%D0%BC%D0%B5_%D0%A7%D0%B8%D0%B1%D1%80%D0%B0%D1%80%D0%B8%D0%BE.jpg)
Уравнение легко интегрируется: графики его решений образуют семейство полукубических парабол[4][5]
заполняющих полуплоскость , точки возврата которых лежат на дискриминантной кривой — оси .
Аналогичным образом выглядят асимптотические линии двумерной поверхности в евклидовом пространстве в окрестности типичной параболической точки. Нормальная форма Чибрарио соответствует также простейшим особенностям поля медленного движения в быстро-медленных динамических системах[6].
Литература
[править | править код]- Арнольд В. И. Дополнительные главы теории обыкновенных дифференциальных уравнений, — Любое издание.
- Арнольд В. И. Геометрические методы в теории обыкновенных дифференциальных уравнений, — Любое издание.
- Арнольд В. И., Ильяшенко Ю. С. Обыкновенные дифференциальные уравнения, — Итоги науки и техн. Сер. Совр. пробл. мат. Фундам. направ., 1985, том 1.
- Арнольд В. И., Афраймович В. С., Ильяшенко Ю. С., Шильников Л. П. Теория бифуркаций, — Итоги науки и техн. Сер. Совр. пробл. мат. Фундам. направ., 1986, том 5.
- Cibrario M. Sulla reduzione a forma canonica delle equazioni lineari alle derivative parzialy di secondo ordine di tipo misto, — Rend. Lombardo 65 (1932), pp. 889–906.
Примечания
[править | править код]- ↑ 1 2 3 Арнольд В. И., Ильяшенко Ю. С. Обыкновенные дифференциальные уравнения, — Итоги науки и техн. Сер. Совр. пробл. мат. Фундам. направ., 1985, том 1. — гл. 1, пар. 7.
- ↑ 1 2 Cibrario M. Sulla reduzione a forma canonica delle equazioni lineari alle derivative parzialy di secondo ordine di tipo misto, — Rend. Lombardo 65 (1932), pp. 889—906.
- ↑ 1 2 Ремизов А.О. Многомерная конструкция Пуанкаре и особенности поднятых полей для неявных дифференциальных уравнений, ― СМФН, 19 (2006), 131–170.
- ↑ 1 2 3 4 Арнольд В. И. Дополнительные главы теории обыкновенных дифференциальных уравнений. — гл. 1, пар. 4.
- ↑ 1 2 3 4 Арнольд В. И. Геометрические методы в теории обыкновенных дифференциальных уравнений. — гл. 1, пар. 4.
- ↑ Арнольд В. И., Афраймович В. С., Ильяшенко Ю. С., Шильников Л. П. Теория бифуркаций, — Итоги науки и техн. Сер. Совр. пробл. мат. Фундам. направ., 1986, том 5