связывающее неизвестную функцию у(х),независимую переменную х и производные у'(x), у"(x),..., у(n)(x) неизвестной функции, называется обыкновенным дифференциальным уравнением. Порядок п старшей производной называется порядком дифференциального уравнения.
В задаче Коши для дифференциального уравнения п-го порядкаискомая функция у(х),кроме самого дифференциального уравнения, должна удовлетворять начальным условиям
Методы решения задач для дифференциальных уравнений можно разбить на три типа: точные, приближенные и численные.
Точныминазывают методы, с помощью которых решение дифференциального уравнения можно выразить через известные функции (элементарные функции или интегралы от элементарных функций). Точные методы решения известны только для некоторых классов дифференциальных уравнений (линейные дифференциальные уравнения, уравнения с разделяющимися переменными и др.).
Приближенными называют методы, в которых решение находят как предел последовательности функций, являющихся элементарными или интегралами от элементарных функций. Например, метод разложения искомой функции в ряд Тейлора является приближенным методом.
Численный метод решения дифференциального уравнения – алгоритм вычисления значений искомого решения у(х) на некотором дискретном множестве значений аргумента х. При этом вычисляемые значения искомого решения у(х) являются приближенными, но могут быть и точными.
Рассмотрим задачу Коши для обыкновенного дифференциального уравнения первого порядка
y'(х) = f(x, у), (7.1)
y(x0) = y0 (7.2)
Требуется найти функцию у = у(х), которая удовлетворяет уравнению (7.1) на интервале (х0, X) и начальному условию (7.2) в точке х0.
Приведем без доказательства теорему существования и единственности решения задачи Коши.
Теорема 7.1. Пусть в области R{(x, у), |х - х0| £ а, |у - у0| £ b} функция f(x, у) непрерывна. Тогда на некотором отрезке |х - x0| £ d существует решение уравнения (7.1), удовлетворяющее условию (7.2).
Если в области R функция f(x, у) удовлетворяет условию Липшица
| f(x, у1) - f(x, y2)| £ k | y1 - у2|, k > 0, k = const,
то указанное решение единственно.
Произведем разбиение отрезка [х0, X] на п частей:
xi= x0 + ih, . (7.3)
Найдем приближенные значения решения у(х) в точках xi , i = 1, 2,..., n.
7.2. Метод Эйлера (ломаных)
Рассмотрим уравнение (7.1) в точках xi, i = 0, 1, ... , n - 1 и заменим производную y'(xi) разностной формулой
y'(xi) = (7.4)
Тогда получим рекуррентную формулу метода Эйлера для вычисления приближенных значений у(xi+1):
yi + 1 = yi + h f(хi, уi), i = 0, 1,..., п - 1. (7.5)
Здесь через yiобозначены приближенные значения y(xi), т. е. уi = у (xi), i = 1, 2, ... , п.
На рис. 7.1 дана геометрическая иллюстрация метода Эйлера (7.5). Уравнение касательной к графику решения у(х) в точке (х0, у0) имеет вид
y = y0 + f(x0, y0)(x – x0) (7.6)
так как у'(х0) = f(x0, y0). Интегральная кривая у(х) на отрезке [х0, х1] заменяется отрезком касательной (7.6), соединяющей точку (х0, у0) с точкой (х1, у1), где у1 = у0 + f(x0, у0)(х - х0) (рис. 7.1). Точка (х1, у1) уже не лежит на интегральной кривой у = у(х), удовлетворяющей начальному условию (7.2).
При i = 1 формула (7.5) дает точку (х2, у2), которая определяется с помощью касательной у = y1 + f(x1, у1)(х - x1), проведенной в точке (х1, у1) к интегральной кривой у(х),
Рис. 7.1
удовлетворяющей уравнению (7.1) и начальному условию y(x1) = y1.
Таким образом, с каждым шагом i метод Эйлера (7.5) дает точки (xi, yi), которые, вообще говоря, удаляются от интегральной кривой, соответствующей точному решению задачи Коши (7.1), (7.2). Вместо интегральной кривой метод Эйлера дает ломаную, изображенную на рис. 7.1, поэтому его часто называют методом ломаных.
Формулу (7.5) можно получить и другим способом. Рассмотрим разложение искомого решения у(х) в ряд Тейлора в окрестности точки х0:
у(х) = у(х0) + у¢(х0)(х - х0) + + ... .
Ограничившись двумя слагаемыми и учитывая, что y'(х0) = f(x0, у0), при х = х1 получим (7.5).
Также здесь получен следующий результат – погрешность вычисления значения у1 есть величина порядка O(h2), а погрешность значения уп – величина порядка O(h). Из-за большой погрешности метод Эйлера применяется редко.
Для повышения точности метода Эйлера применяют следующий прием. Сначала находят приближенное значение решения по методу Эйлера:
,
а затем уточняют его по формуле
.
Этот метод называется методом Эйлера-Коши, и рекуррентные соотношения для его реализации могут быть записаны в виде
, (7.7)
i = 0, 1, ..., n - 1
Метод Эйлера-Коши имеет погрешность порядка O(h2). Геометрическая иллюстрация метода Эйлера-Коши показана на рис. 7.2. Очередное приближение метода Эйлера-Коши соответствует точке пересечения диагоналей параллелограмма, построенного на двух звеньях ломаной метода Эйлера.
Метод Эйлера-Коши является одним из частных случаев методов Рунге-Кутта.