поверхностью
другая
будет расположена люд поверхностью
Таким образом,
Заметим, что функции
и
линейны относительно у. Следовательно, уравнения
интегрируются в квадратурах. Пусть и соответственно решения этих уравнений, удовлетворяющие тем же начальным условиям, что и прежде. Покажем, что эти функции удовлетворяют поставленным условиям. В самом деле, вдоль кривой
имеем:
и, кроме того,
Таким образом,
и
а из неравенства
следует
Аналогично проводится доказательство и для
.
Приведем аналитическое изложение этого метода. Будем предлолагать, что
Имеем:
Обозначим
Вычитая из верхнего равенства нижнее и применяя к разности
формулу Тейлора, получим:
где и Решение этого уравнения при начальных данных
дает поправку, которую нужно прибавить к
чтобы получить
Отбросим член с
Тогда функция
удовлетворяющая уравнению
и начальным условиям
будет удовлетворять неравенству С другой стороны, если положить
то решением уравнения (39) с нулевым начальным значением будет тождественный нуль (по теореме единственности). Таким образом,
и если принять
то будем иметь
что нам и требовалось:
Для улучшения оценки сверху рассмотрим уравнения
Положим
и вычтем из верхнего равенства нижнее. Получим:
Введем обозначение
Тогда
где
Обозначим через
функцию
Производная этой функции равна
Так как по предположению
то
Поэтому
неубывающая функция и
Отсюда
Таким образом, решение уравнения
обращающееся в нуль при
будет при
удовлетворять неравенству Так же как и для
мы получим
Поэтому, если принять
то получим улучшенную верхнюю функцию
При
порядок действий будет обратным.
В приведенном выше примере имеем
Следовательно, мы можем применить наши рассуждения. Уравнение для определения
будет
Его решение, обращающееся в нуль при
имеет вид
Таким образом,
Уравнение для
примет вид
и
а
Процесс уточнения границ можно повторять неограниченно, если только квадратуры выполнимы. Как было показано акад.
. Лузиным, последовательность
если О, или
если
будет стремиться к нулю как в предположении, что начальное приближение взято достаточно близким к у. Это очень быстрая сходимость, такая же, как и у метода Ньютона для решения алгебраических и трансцендентных уравнений. Общность между
методом Ньютона и методом Чаплыгина не заканчивается на этом. Можно показать, что метод Чаплыгина является обобщением метода Ньютона на нелинейные функциональные уравнения.
К сожалению, обычно метод Чаплыгина приводит к очень сложным квадратурам, не выражающимся в элементарных функциях.