Особые решения и огибающие

Что такое особое решение и почему оно особенное

При решении ОДУ y' = f(x, y) мы обычно находим общее решение — семейство кривых, зависящее от константы C. Кажется, что подобрав нужное C, можно получить любое решение. Но это не всегда так.

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

Геометрически особое решение — это огибающая семейства интегральных кривых: кривая, которая в каждой своей точке касается хотя бы одной интегральной кривой общего семейства. В точках касания от общего решения «отщепляется» ветвь — особое решение.

Как найти особые решения

Метод p-дискриминанта: Пусть общее решение записано в форме F(x, y, C) = 0. Особые решения ищем, исключая C из системы:

F(x, y, C) = 0 и ∂F/∂C = 0.

Физический смысл: ∂F/∂C = 0 означает, что в данной точке «соседние» кривые семейства сходятся — это именно точки касания с огибающей.

Метод y-дискриминанта (C-дискриминанта): Для уравнения вида y' = p: пишем g(x, y, p) = 0 (уравнение, выражающее p через x и y). Система g = 0 и ∂g/∂p = 0 даёт кандидатов на особые решения.

Пример: уравнение Клеро и его огибающая

Вернёмся к уравнению y = xy' + (y')². Общее решение: y = Cx + C² (семейство прямых). Запишем его как F(x, y, C) = y − Cx − C² = 0.

Условие ∂F/∂C = 0: −x − 2C = 0, откуда C = −x/2.

Подставляем в F = 0: y − (−x/2)x − (−x/2)² = y + x²/2 − x²/4 = y + x²/4 = 0.

Особое решение: y = −x²/4 — парабола.

Проверим, что это действительно решение уравнения: y' = −x/2. Подставляем: xy' + (y')² = x(−x/2) + x²/4 = −x²/2 + x²/4 = −x²/4 = y. ✓

Геометрически: каждая прямая y = Cx + C² касается параболы y = −x²/4 ровно в одной точке. Парабола — огибающая семейства прямых.

Замечательный пример: задача о свете

Задача: найти кривую, у которой нормаль делит пополам расстояние от начала координат до точки касания с осью x. Это приводит к уравнению Клеро, и огибающей оказывается астроида x^(2/3) + y^(2/3) = R^(2/3). Астроида — кривая, описываемая точкой на окружности, катящейся внутри большей окружности.

Осторожность при нахождении особых решений

Важно: не каждое решение системы F = 0, ∂F/∂C = 0 является особым решением! Нужна проверка:

1. Кривая должна быть решением ОДУ (проверяем подстановкой).
2. Кривая не должна совпадать ни с одной кривой общего семейства.
3. Стоит проверить: является ли особое решение огибающей (т.е. действительно ли каждая точка особого решения является точкой касания с некоторой кривой общего семейства).

Бывает и так, что система F = 0, ∂F/∂C = 0 даёт «лишние» кривые, не являющиеся ни особыми решениями, ни огибающими (например, точки возврата семейства).

Ортогональные траектории

Ортогональная траектория к семейству кривых — кривая, пересекающая каждую из кривых семейства под прямым углом. Если семейство задаётся уравнением y' = f(x, y), то ортогональные траектории удовлетворяют уравнению y' = −1/f(x, y).

Приложение в электростатике: Силовые линии электрического поля ортогональны эквипотенциальным поверхностям. Если известны эквипотенциали (например, концентрические окружности вокруг точечного заряда), силовые линии находятся как ортогональные траектории.

Пример: Семейство окружностей x² + y² = C (эквипотенциали точечного заряда). Дифференцируем: 2x + 2yy' = 0 → y' = -x/y. Ортогональные траектории: y' = y/x → dy/y = dx/x → ln|y| = ln|x| + const → y = kx. Это прямые через начало координат — силовые линии кулоновского поля!

Пример для гидродинамики: Линии тока несжимаемой жидкости вокруг препятствия ортогональны потенциальным линиям. Нахождение ортогональных траекторий — стандартная задача гидродинамики.

Особые решения в механике: задача о тракториссе

Лодка на верёвке длиной a буксируется вдоль берега (ось x). Лодка изначально находится в точке (0, a). Траектория лодки — трактриса — определяется уравнением Клеро.

Уравнение: y' = -(y/√(a² − y²)). Решение: x = a ln((a + √(a² − y²))/y) − √(a² − y²) + C.

Трактриса имеет замечательное свойство: длина отрезка касательной от точки касания до пересечения с осью x постоянна и равна a. Поверхность вращения трактрисы — псевдосфера — поверхность постоянной отрицательной гауссовой кривизны (аналог сферы в геометрии Лобачевского).

Вопрос для размышления: Особые решения нарушают единственность теоремы Пикара. Это значит, что через точку на особом решении проходит больше одного решения задачи Коши. Как вы думаете, что происходит с системой в такой точке физически?