2Автономные дифференциальные уравнения на прямой
Итак, давайте научимся решать какие-нибудь дифференциальные уравнения. Для начала — очень простые.В этой главе мы будем рассматривать дифференциальные уравнения вида
Напомним, что решением уравнения (2.1) называется дифференцируемая функция , такая, что выполнено тождество
2.1Численное решение дифференциальных уравнений. Метод Эйлера
Пусть поставлена задача Коши:Этот метод приближённого нахождения решений называется методом Эйлера. Он даёт представление о том, как можно использовать компьютер для исследования дифференциальных уравнений. На практике, впрочем, используются более сложные методы, хотя принцип их работы в целом очень схож.
На рис. 2.1 синим изображено истинное решение уравнения с начальным условием , а красным, розовым, фиолетовым и зеленым изображены численные решения уравнения методом Эйлера 5, 10, 20 и 100 шагами соответственно. Заметим, что уже сто шагов дает достаточно хорошее приближение решения.
2.2Аналитическое решение автономных дифференциальных уравнений на прямой
Вернёмся к аналитическому поиску решений. В отличие от численных методов, даже для уравнений в размерности 1 найти решение аналитически не всегда возможно — а чаще так и невозможно. Но если несколько сузить класс рассматриваемых уравнений, то у нас всё получится.Рассмотрим задачу Коши для автономного дифференциального уравнения (2.3) с начальным условием . Пусть . В этом случае решение задаётся явной формулой (она называется формулой Барроу). Мы обсудим несколько способов её вывода и интерпретации.
2.2.1Геометрические соображения
В предыдущей главе мы обсуждали, что существует специальный класс дифференциальных уравнений, которые очень просто решаются: это уравнения вида , мгновенно сводящиеся к интегрированию (см. параграф 1.2.4). Мы будем называть такие уравнения простейшими, хотя это не общепринятый термин.Рассмотрим поля направлений двух уравнений: первое является простейшим, а второе автономным, см. рис. 2.2.
Напомним, что задача отыскания решения дифференциального уравнения имеет простую геометрическую интерпретацию: нужно найти кривую, касающуюся в каждой своей точке соответствующего поля направлений. Вместе со сходством полей направлений это даёт надежду, что нам удастся придумать метод решения автономных уравнений, сводящий их к некоторым простейшим.
Оказывается, сделать это довольно просто: достаточно поменять роль осей и считать независимой переменной , а неизвестной функцией — время. Ниже мы обсудим два способа реализации этого замысла.
2.2.2Механический подход
Решить дифференциальное уравнение — это значит научиться отвечать на вопрос о том, где окажется решение в произвольный момент времени , если в момент времени оно находилось в точке . В соответствии с выводами предыдущего пункта, поменяем роли переменных и зададим другой вопрос: сколько времени потребуется, чтобы добраться из точки до некоторой другой точки ?Попробуем ответить на этот вопрос (хотя бы приближённо) с помощью аналога метода Эйлера (см. раздел 2.1). Предположим для определённости, что и (вблизи движение происходит вправо; обратный случай рассматривается полностью аналогично). Предположим также, что на всём отрезке функция принимает только положительные значения (чуть ниже мы обсудим, что это вполне разумное предположение). Разобьем отрезок на равных маленьких отрезочков длины . Пусть — концы наших отрезочков. Сколько времени нужно, чтобы попасть из точки в точку ? Для этого нам придётся пройти расстояние, равное . Мгновенная скорость движения в точке равна . Поскольку мало, а функция непрерывна, можно ожидать, что её значение не слишком сильно изменится, по крайней мере, пока мы находимся на том же отрезочке. Значит, можно считать (совершая некоторую ошибку, малую при малых ), что движение на всём отрезочке происходит с постоянной скоростью, равной . Тогда время движения вычисляется по школьной формуле: нужно расстояние поделить на скорость . Обозначим вычисленное таким образом время прохождения -го отрезочка через . Имеем:
2.2.3Аналитический подход
Приведём более формальный вывод формулы Барроу, опирающийся на математический анализ. Пусть функция является решением уравнения (2.3) и удовлетворяет начальному условию . Рассмотрим функцию , обратную к функции . Рассмотрим произвольную точку , лежащую на графике решения: для неё выполняются соотношения , и (поскольку является решением уравнения). Тогда по теореме о производной сложной функции2.2.4Магия
Часто для вывода формулы Барроу используют такую символическую запись: Это может показаться некоторой магией — особенно загадочно выглядит уравнение (2.9). Чуть позже мы дадим определение дифференциальной 1-формы, с помощью которого можно придать этим формулам аккуратный смысл, а пока обратим внимание, что уравнение (2.9) очень похоже на уравнение (2.4). В целом, эта формальная запись фактически повторяет наш вывод в параграфе 2.2.2.Заметим также, что в ходе преобразований (деления на ) мы «потеряли» решение . Если в ответ подставить значение , получим как раз его. Таким образом, формула , даёт все известные нам решения. Мы пока не доказали, что других нет — на следующей лекции мы обсудим этот вопрос.