🌊 Диффуры

Особое решение дифференциального уравнения

англ. Singular solution of an ODE

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

Особое решение — решение уравнения, которое не содержится в формуле общего решения ни при каком значении произвольной постоянной. Канонический пример: $y^{'} = 1 - y^{2}$ имеет общее решение $y = sin (x + C)$ и особые решения $y = \pm 1$ — константы не спрятаны в синусе ни при каком $C$ . На картинке особое решение — огибающая семейства интегральных кривых: в каждой своей точке она касается одной из кривых семейства. Почему такое возможно, объясняет провал единственности — та самая нелипшицевость правой части из задачи Коши.

Как искать: если общее решение $Φ (x, y, C) = 0$ известно, кандидата дают система $Φ = 0$ и $\partial Φ/ \partial C = 0$ — дискриминантная кривая. Найденное нужно обязательно проверить подстановкой в уравнение: дискриминантная кривая бывает и не решением вовсе (узлы и точки возврата семейства тоже попадают в эту систему). Классическая ловушка — уравнение Клеро, где огибающая появляется естественно. Разбор интегрируемых случаев и ловушек — в уроке основы ДУ первого порядка.

Φ (x, y, C) = 0, \frac{\partial Φ}{\partial C} = 0 \Rightarrow кандидат в особые решения

дискриминантная кривая: исключение константы из общего решения и его производной по C; результат проверяется подстановкой

Частые вопросы

Как отличить огибающую от просто «лишней» кривой из дискриминанта?

Тремя проверками. Первая — подстановка в уравнение: кривая обязана быть решением. Вторая — касание: в каждой точке кандидата должна существовать кривая семейства, касающаяся его именно там, а не пересекающая. Третья — нарушение единственности: в точках особого решения правая часть не липшицева по $y$ , через точку проходят минимум две интегральные кривые. Все три условия выполняются одновременно — перед вами настоящая огибающая.

Всегда ли у уравнения есть особое решение?

Нет, и чаще его нет: если правая часть гладкая и липшицева всюду, теорема единственности запрещает касания разных интегральных кривых, а значит и огибающую. Особые решения живут там, где правая часть «ломается» — корни, модули, деления на ноль: $y^{'} = 1 - y^{2}$ , $y^{'} = y^{2/3}$ . Ирония в том, что именно эти точки часто несут физический смысл: предельная скорость, насыщение, фронт волны — решения, к которым другие решения прилипают.