Подвижная особенность

Подвижная особенность (или подвижная особая точка) общего решения обыкновенного дифференциального уравнения — такая особая точка решения, которая различна для разных частных решений одного уравнения. То есть, говорят, что общее решение дифференциального уравнения имеет подвижную особенность, если различные частные решения этого уравнения имеют особенность в различных точках, в зависимости от параметра (например, от начальных условий), определяющего конкретное частное решение. Особые точки, которые не зависят от конкретного решения, называются неподвижными особенностями (или неподвижными особыми точками). Подвижные особенности имеют важную роль при изучении решений обыкновенных дифференциальных уравнений в комплексной плоскости.

Решения дифференциального уравнения $\frac{dy}{dx}=\frac{1}{2y}$${\frac {dy}{dx}}={\frac {1}{2y}}$ с различными начальными условиями: y(0)=0, 1, 2. Положение особой точки меняется в зависимости от начальных условий. Положение особых точек для этих решений (x= 0, −1 и −4) показаны вертикальными линиями.

ПримерПравить

Рассмотрим, например, уравнение

$\frac{dy}{dx}=\frac{1}{2y}$${\frac {dy}{dx}}={\frac {1}{2y}}$ .

Его решениями будут $y=\sqrt{x-<!--\; -\; -->c}$$y={\sqrt {x-c}}$  при любой константе c. Эти решения имеют особую точку при $x=c$$x=c$ . Таким образом это уравнение имеет подвижную особенность.

Линейные дифференциальные уравненияПравить

С другой стороны известно, что линейное дифференциальное уравнение может иметь особую точку только в особых точках самого уравнения. Следовательно линейное дифференциальное уравнение не может иметь подвижную особенность.

Свойство ПенлевеПравить

Особая точка для комплексной многозначной функции называется критической (или точкой ветвления), если при обходе вокруг этой точки функция меняет значение (так, например, $z=0$$z=0$  является критической точкой для функции $\sqrt{z}$${\sqrt {z}}$ ).

Про обыкновенное дифференциальное уравнение говорят, что оно обладает свойством Пенлеве, если его решения не имеют критических подвижных особенностей.

Например, уравнение $w^{\prime }=-<!--\; -\; -->w^2$$w'=-w^{2}$  имеет решения $(c+z{)}^{-<!--\; -\; -->1}$$(c+z)^{-1}$ , где $c$$c$  произвольная константа. Эти решения имеют подвижную особую некритическую точку $z=-<!--\; -\; -->c$$z=-c$ . Уравнение же $w^{\prime }=-<!--\; -\; -->w^3$$w'=-w^{3}$  имеет решения $(c+2z{)}^{-<!--\; -\; -->1/2}$$(c+2z)^{-1/2}$ . Особая точка этого уравнения будет уже критическая. Таким образом уравнение $w^{\prime }=-<!--\; -\; -->w^2$$w'=-w^{2}$  обладает свойством Пенлеве, а $w^{\prime }=-<!--\; -\; -->w^3$$w'=-w^{3}$  нет.

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

Исследования дифференциальных уравнений на свойство Пенлеве, называется пенлеве-анализом.

ИсторияПравить

Понятие подвижной особой точки ввёл Лазарь Фукс. В 1884 году Фукс доказал, что среди всех уравнений первого порядка вида

$w^{\prime }=F(z,w),$$w'=F(z,w),$ 

для которых функция $F$$F$  локально-аналитическая по первому аргументу, и рациональная по второму, только уравнение Риккати не имеет подвижных критических особых точек.

Софья Ковалевская, изучая задачи о вращение волчка, доказала, что решения этой задачи не имеют подвижных критических особых точек только в трёх случаях. Решения задачи в первых двух случаях были ранее получены Леонардом Эйлером и Жозефом Лагранжем. Ковалевская получила решения для третьего случая. Таким образом, Софья Ковалевская первой обнаружила преимущества дифференциальных уравнений, обладающих свойством, которое мы теперь называем свойством Пенлеве. В 1888 году за эту работу ей присуждена премия Бордена Парижской академии наук.

Поль Пенлеве около 1900 года изучал дифференциальные уравнения второго порядка

$w^{″}=F(z,w,w^{\prime }),$$w''=F(z,w,w'),$ 

где функция $F$$F$  является локально-аналитической по первому аргументу и рациональной по последним двум. Пенлеве и его ученики Бертран Гамбье^[de], Рене Гарнье^[fr] и другие, доказали, что среди всех возможных таких уравнений решения только 50 канонических уравнений обладают свойством Пенлеве. Оказалось, что 44 уравнений из этих 50 можно выразить через известные функции, а для решений оставшихся шести уравнений Пенлеве и Гамбье ввели специальные функции, которые теперь называются трансцендентами Пенлеве^[en].

См. такжеПравить

• Теорема Пенлеве