Теоремы существования и единственности решения задачи Коши для дифференциальных уравнений первого и второго порядков

Размещено на http://www.allbest.ru/

ФГОУ ВПО «Чувашский государственный университет им. И.Н.Ульянова»

Кафедра высшей математики

Курсовая работа на тему:

«Теоремы существования и единственности решения задачи Коши для дифференциальных уравнений первого и второго порядков»

Работу выполнил студент группы

ЭЭ-11-09 Антонов А. Б.

Работу принял доцент

Быкова Алевтина Николаевна

Чебоксары 2010



Введение

Многие физические законы, которым подчиняются те или иные явления, записываются в виде математического уравнения, выражающего определенную зависимость между какими-то величинами. Часто речь идет о соотношении между величинами, изменяющимися с течением времени, например экономичность двигателя, измеряемая расстоянием, которое автомашина может проехать на одном литре горючего, зависит от скорости движения автомашины. Соответствующее уравнение содержит одну или несколько функций и их производных и называется дифференциальным уравнением. (Темп изменения расстояния со временем определяется скоростью; следовательно, скорость - производная от расстояния; аналогично, ускорение - производная от скорости, так как ускорение задает темп изменения скорости со временем.) Большое значение, которое имеют дифференциальные уравнения для математики и особенно для ее приложений, объясняются тем, что к решению таких уравнений сводится исследование многих физических и технических задач



ДИФФЕРЕНЦИАЛЬНЫЕ УРАВНЕНИЯ

Дифференциальные уравнения (ДУ) - это соотношения между независимыми переменными, искомыми функциями от этих переменных и производными или дифференциалами искомых функций.

ДУ разделяются на два класса:

а) обыкновенные дифференциальные уравнения (ОДУ)

(1)

б) уравнения с частными производными (УЧП)

. (2)

Порядком ДУ называется порядок старшей производной, входящей в уравнение (1) или (2).

Проинтегрировать ДУ (1) и (2) - это значит найти соответственно такие функции и , при подстановке которых в уравнения (1) и (2) они обращаются в соответствующих областях в тождества.

Приведем примеры физических задач, приводящих к решению ДУ.

Пример. Согласно закону, установленному И.Ньютоном, скорость охлаждения тела пропорциональна разности между температурой тела и температурой окружающей среды. Пусть тело нагрето до температуры T0, а температуру окружающей среды будем считать постоянной и равной Tc<T0. Обозначим через T(t) температуру тела в момент времени t, а через K>0 коэффициент пропорциональности, и заметим, что функция T(t) убывающая. Применяя закон Ньютона, получаем ОДУ первого порядка



.

Полагая T(0)=T0, после интегрирования получим закон охлаждения в виде:

Пример. Материальная точка массы m свободно падает под действием силы тяжести Fт=mq. Обозначим через y(t) расстояние, пройденное точкой за время t, тогда согласно второму закону Ньютона получаем ОДУ 2-го порядка

.

Полагая после интегрирования получим закон движения материальной точки

ОДУ ПЕРВОГО ПОРЯДКА

Полагая в (1) введения n=1, получим ОДУ первого порядка, не разрешенное относительно производной

. (1)

Если (1) однозначно разрешимо относительно или , то уравнения

(2)

или

(3)

назовём ОДУ первого порядка, разрешенными относительно производных.

Учитывая, что , уравнения (2) и (3) можно записать в виде:

, (4)

, (5)

которые будем называть ОДУ первого порядка в дифференциалах.

Общий вид ОДУ первого порядка в дифференциалах будет

(6)

где функции M(x,y) и N(x,y) определены в некоторой открытой односвязной области , причем точки, в которых одновременно обращаются в нуль функции M(x,y) и N(x,y), называются особыми точками уравнения (6).



ОДУ первого порядка, разрешенные относительно производной

Рассмотрим уравнение

обыкновенный дифференциальный уравнение коши

(2)

где функция определена и непрерывна в области , причем областью в будем считать связное открытое множество, то есть: а) две любые точки этого множества G могут быть соединены ломаной, целиком принадлежащей G; б) любая точка M множества G содержится в G вместе с некоторой окрестностью точки M.

Определение 1. Решением ОДУ (2) на промежутке ПрxG называется функция удовлетворяющая условиям:

1)

2) ;

3)

Через будем обозначать связное множество на числовой оси, которое представляет собой один из промежутков:

Пример . Дифференциальное уравнение



(7)

имеет решениями на промежутке непрерывности функции все множество первообразных

(8)

где С - произвольная постоянная.

Из примера 1 следует, что ОДУ (2) может иметь бесчисленное множество решений, причем эта ситуация является общей. Для выделения конкретного решения необходимо задать дополнительные условия, выделяющие это решение из всего множества решений. Такими условиями являются начальные условия:

(9)

Числа называются начальными данными, а задача отыскания решения ОДУ (2), удовлетворяющего начальным условиям (9), называется задачей Коши для ОДУ (2) с начальными условиями (9).

Наряду с задачей Коши для ОДУ (2) с начальными условиями (9) рас-смотрим интегральное уравнение

. (10)

Определение 2. Функция , определенная на промежутке , называется решением уравнения (10), если выполняются условия:

1) - непрерывна);

2)

3)

Теорема 1. Функция является решением задачи Коши для ОДУ (2) с начальными условиями (9) тогда и только тогда, когда она является решением интегрального уравнения (10).

Доказательство. Пусть является решением задачи Коши для ОДУ (2) с начальными условиями (9). Тогда выполняется условие 3) определения 1, причем Условия 1) и 2) определения 2 вытекают из условий 1) и 2) определения 1. Интегрируя тождество в 3) определения 1 в пределах от до , получаем условие 3) определения 2). Следовательно, является решением уравнения (10).

Пусть теперь является решением интегрального уравнения (10) на промежутке . В силу тождества в 3) определения 2 функция дифференцируема для и Это показывает, что для функции выполнены начальные условия (9) и условие 1) определения 1. Условие 2) определения 1 совпадает с условием 2) определения 2. Дифференцируя по x тождество в 3) определения 2, получим тождество в 3) определения 1. Отсюда следует, что функция является решением ОДУ (2) с начальными условиями (9). Теорема доказана.

Определение 3. Будем говорить, что решение задачи Коши для ОДУ (2) с начальными условиями (9) существует, если существует такой интервал и существует такое решение определенное на этом интервале и удовлетворяющее условию

Теорема 2. Если в уравнении (2) функция непре- рывна в области , то решение (хотя бы одно) задачи Коши для ОДУ (2) с начальными условиями (9) существует.

Определение 4. График решения уравнения (2) в плоскости XOY называется интегральной кривой ОДУ (2).

Рассмотрим пространство и сопоставим каждой точке из области G достаточно малый отрезок прямой с угловым коэффициентом проходящей через точку . Получившееся семейство отрезков в области G назовем полем направлений, определяемым ОДУ (2). Из определения решения и интегральной кривой ОДУ (2) следует, что кривая , лежащая в области G , тогда и только тогда является интегральной кривой этого уравнения, когда она гладкая и касательная в каждой её точке совпадает с направлением поля в этой точке. Отсюда получаем приближен-ный метод построения интегральных кривых ОДУ (2) в области G. Для удобства этого построения находят множество точек в области G с одинаковым наклоном поля.

Определение 5. Изоклиной ОДУ (2) в области G называется кривая, во всех точках которой направление поля, определяемого ОДУ (2), одинаково.

Из этого определения следует, что множество изоклин ОДУ (2) задается уравнением где С принимает допустимые вещественные значения. Построив сетку изоклин, мы можем приближенно построить интегральные кривые уравнения (2) в области G. Заметим еще, что изоклины и называются соответственно изоклинами нуля и бесконечности, то есть в точках первой направление поля параллельно оси OX, а в точках второй параллельно оси OY.

Пример. Приближенно построить интегральную кривую уравнения , проходящую через начало координат. Изоклинами этого уравнения будут окружности Полагая , получим окружности с направлением поля Используя эту сетку изоклин строим приближенно интегральную кривую. Заметим, что решения данного уравнения в виде интегралов найти невозможно, поэтому метод изоклин наиболее целесообразен.

Как видно из формулировки теоремы Пеано, она решает локальную задачу существования решения ОДУ (2), проходящего через точку Что же будет за пределами интервала ? Для решения этого вопроса введем понятие продолжения решений ОДУ (2).

Определение 6. Будем говорить, что решение ОДУ (2), определенное на промежутке ПрxG продолжимо вправо (влево), если существует решение этого уравнения, определенное на промежутке ПрxG, (ПрxG, ), сужение которого на совпадает с Решение ОДУ (2) называется в этом случае продолжением решения вправо (влево).

Теорема 3. Если решение ОДУ (2) определено на промежутке то оно продолжимо вправо (влево).

Доказательство. Покажем продолжимость вправо. Поставим задачу Коши для ОДУ (2) с начальными данными По теореме Пеано существует такой интервал ПрxG, в котором существует решение удовлетворяющее начальному условию Положим

Легко проверить, что является решением ОДУ (2) на промежутке а это означает, что решение , согласно определения 6, будет продолжимо вправо. Аналогично доказывается продолжимость влево. Теорема доказана.

Определение 7. Решение ОДУ (2) называется полным, если оно не продолжимо ни вправо, ни влево.

Из определения 7 и теоремы 3 следует, что областью определения полного решения всегда является открытый интервал ПрxG, называемый максимальным интервалом существования решения ОДУ (2).

Обратимся опять к теореме Пеано и заметим, что она утверждает существование хотя бы одного, а не обязательно единственного, решения задачи Коши для ОДУ (2) с начальными условиями (9). Отсюда следует необходимость введения понятий точки и области единственности ОДУ (2).

Определение 8. Точка называется точкой единственности ОДУ (2), если существует такая -окрестность этой точки, что внутри через точку проходит одна и только одна интегральная кривая ОДУ (2).

Область , сплошь состоящую из точек единственности ОДУ (2), назовем областью единственности уравнения (2). Отсюда следует, что два любых решения ОДУ (2) из области D, совпадающие в некоторой точке, совпадают всюду в области D.

Определение 9. Точка называется точкой неединственности ОДУ (2), если в любой окрестности этой точки через неё проходит более одной интегральной кривой ОДУ (2).

Определение 10. Решение ОДУ (2) называется частным, если каждая точка, соответствующей этому решению интегральной кривой, является точкой единственности ОДУ (2).

Вся совокупность частных решений ОДУ (2) в области D называется общим решением уравнения (2) в этой области.

Определение 11. Функция где - произвольная постоянная, называется общим решением ОДУ (2) в области единственности D, если:

1) для любой точки уравнение однозначно разрешимо относительно С, то есть

2) функция является решением задачи Коши для ОДУ (2) с начальными данными

В общем случае, интегрируя ОДУ (2) в области , мы получим общее решение в неявном виде:

(11)

или

(12)

Определение 12. Общее решение ОДУ (2), записанное в форме (11) или (12), называется общим интегралом, а функция - интегралом ОДУ (2) в области D.

Основными свойствами интеграла ОДУ (2) являются:

1) интеграл сохраняет постоянное значение вдоль всякой интегральной кривой уравнения (2), расположенной в области D;

2) для всех имеет место тождество

(13)

Пример. Для уравнения функция является интегралом, а функция , где С- произвольная постоянная, общим решением в области .Самим проверить выполнимость свойств 1) и 2) интеграла в данном случае.

Теорема 4 (Коши-Пикара). Если функция непрерывна вместе со своей частной производной в области то существует, и при- том единственное, решение задачи Коши ОДУ (2) с начальными условиями, то есть существует единственная интегральная кривая уравнения (2), целиком принадлежащая области D, проходящая через точку

Определение 13. Решение ОДУ (2) называется особым, если каждая точка, соответствующей этому решению интегральной кривой, является точкой неединственности ОДУ (2). Интегральная кривая, соответствующая особому решению называется особой интегральной кривой ОДУ (2).

Из определений области единственности и особого решения следует, что особые решения могут быть лишь границей области D. Из теоремы Коши-Пикара следует, что в каждой точке особой интегральной кривой нарушается хотя бы одно из условий этой теоремы.

Пример. Уравнение имеет общее решение в областях и плоскости . При этом функция также является решением данного уравнения, однако она не получается из общего решения ни при каком значении произвольной постоянной С. Так как в точках интегральной кривой производная не существует, то - особая интегральная кривая.

Построить эскиз расположения интегральных кривых на плоскости XOY и указать точки единственности и неединственности.

Рассмотрим однопараметрическое (C - параметр) семейство

(14)

гладких кривых сплошь заполняющих область и предположим, что функция дифференцируема по переменным x и y в этой области.

Поставим следующую задачу: cоставить ОДУ первого порядка в области D, для которого каждая кривая данного семейства будет интегральной кривой. Очевидно, что для решения поставленной задачи достаточно исключить параметр C из системы уравнений

. (15)



Пример . Пусть заданы семейства гладких кривых и где С - параметр. Построим соответствующие ОДУ первого порядка, исключая параметр С из систем

и .

Получим соответственно ОДУ и

Интегрирование простейших ОДУ первого порядка, разрешенных относительно производной

Определение 14. Если общие решения уравнений (2)-(6) удается найти в виде конечной комбинации операций интегрирования, то будем говорить, что решение найдено в квадратурах.

Заметим, что в некоторых случаях левая часть уравнения

(6)

является полным дифференциалом некоторой функции то есть

(16)

Тогда общим интегралом ОДУ (6) будет соотношение

(12)

где С - произвольная постоянная.

Если же при умножении обеих частей ОДУ (6) на некоторую функцию , непрерывную в области G непрерывности функций и левая часть полученного уравнения

(17)

обращается в полный дифференциал от некоторой функции , то соотношение

(18)

где С - произвольная постоянная, является общим интегралом ОДУ (6).

Уравнения с разделяющимися переменными

Общий вид ОДУ первого порядка с разделяющимися переменными

, (19)

где функции и - непрерывны в промежутке а функции и - непрерывны в промежутке

Рассмотрим область . В этой области, кроме особых точек, в которых одновременно обращаютя в нуль функции и , уравнение (19) имеет в общем случае два вида решений:



1) , если и , (20)

если и (21)

2) рассмотрим область , в которой . Уравнение (19) в области D эквивалентно уравнению

, (22)

левая часть которого является полным дифференциалом функции

. (23)

Тогда общим интегралом ОДУ (19) в области D будет соотношение

(24)

где C - произвольная постоянная.

Таким образом, все множество решений ОДУ (19) состоит из решений (20), (21) и (24). Заметим, что среди решений (20) и (21) могут быть особые, причем интегральная прямая , будет особой интегральной прямой ОДУ (19), если и один из интегралов

, (25)

где достаточно мало, является сходящимся. Аналогично, интегральная прямая будет особой интегральной прямой ОДУ (19), если и один из интегралов

(26)

является сходящимся.

Другой метод нахождения особых решений для ОДУ первого порядка, разрешенного относительно производной, связан с нарушением условий теоремы Коши-Пикара в точках исследуемых решений.

Укажем ещё один способ распознавания особых решений для ОДУ (19). Если решения (20) и (21) не получаются из (24) ни при каких частных числовых значениях С, то они являются особыми решениями ОДУ (19).

Решение задачи Коши для ОДУ (19) с начальными данными имеет вид:

(27)

Пример. Всё множество решений уравнения состоит из прямой и совокупности кривых , где С - произвольная постоянная. При решении вопроса будет ли интегральная прямая особой интегральной прямой обратимся к теореме Коши-Пикара. Так как функция и её производная непрерывны в области то прямая не является особой интегральной прямой.

Однородные ОДУ первого порядка

Уравнение

(6)

называется однородным, если функции и являются однородными функциями по переменным x и y одного и того же порядка , то есть

Подстановкой уравнение (6) приводится к уравнению с разделяющимися переменными

. (30)

Функции , где корни уравнения

, (31)

являются решениями уравнения (6), причем среди них могут содержаться особые. Особыми могут быть полуоси оси :

Заметим, что точка (0,0) является особой для ОДУ (6).

Уравнение

(31)

всегда приводится к однородному уравнению или к уравнению с разделяющимися переменными, причем:

a) если то ОДУ (31) - однородное;

б) если или и , то после линейной подстановки получим уравнение с разделяющимися переменными;

в) если или и то система уравнений

имеет единственное решение Заменой ОДУ (31) приводится к однородному уравнению

Если уравнение (6) не является однородным, но после замены где обращается в уравнение

где функции и - однородные, то ОДУ (6) называется в этом случае обобщенным однородным уравнением.

Пример. Уравнение является обобщенным однородным уравнением, так как после замены оно обращается в уравнение

которое при будет однородным уравнением.

Линейные ОДУ первого порядка

Общий вид линейного ОДУ первого порядка

(32)

где функции - непрерывны на интервале и

Разделим обе части уравнения (32) на функцию и получим эквивалентное уравнение

(33)

где также непрерывны на

Умножая обе части ОДУ (33) на функцию получаем ОДУ

, (34)

интегрируя которое получаем общий интеграл

(35)

и общее решение

(36)

где С - произвольная постоянная.

Разрешая ОДУ (33) относительно производной и применяя теорему Коши-Пикара получаем, что уравнение (33) не имеет особых решений.

Пример . Линейное уравнение

, (37)

после умножения обеих частей на функцию преобразуется в уравнение

Отсюда получаем общее решение ОДУ (37)

где С - произвольная постоянная.

Некоторые ОДУ первого порядка становятся линейными, если x считать искомой функцией, а y - аргументом, то есть

(38)

где - непрерывные функции на интервале

Пример . Уравнение Я.Бернулли подстановкой преобразуется в линейное , общее решение которого имеет вид . Отсюда и из подстановки получаем общее решение искомого уравнения где С- произвольная постоянная.

Уравнение Я.Риккати

(43)

где - непрерывные в интервале функции, в общем случае не решается в квадратурах. Однако, если известно хотя бы одно его частное решение то заменой оно приводится к уравнению Я.Бернулли.

ОДУ первого порядка в полных дифференциалах

Определение 15. ОДУ первого порядка

, (6)

где функции - непрерывны в области а левая часть есть полный дифференциал некоторой дифференцируемой функции назовем ОДУ в полных дифференциалах. Общий интеграл этого уравнения задается соотношением

Поставим следующие вопросы: 1. Каким образом по виду уравнения (6) можно определить, является ли оно уравнением в полных дифференциалах? 2. Как найти функцию ?

Ответы на эти вопросы дает следующая

Теорема 5. Уравнение (6), где - непрерывны в области тогда и только тогда будет ОДУ в полных дифференциалах, если для всех имеет место равенство

(44)

Доказательство. Докажем первую часть теоремы. Пусть левая часть уравнения (6) является в области полным дифференциалом функции то есть имеет место тождество

(45)

Из тождества (45), в силу произвольности и , получаем тождества

(46)

дифференцируя которые соответственно по y и по x, получим

(47)

В силу непрерывности функций в области , из теоремы о равенстве смешанных производных получаем равенство (44).

Докажем вторую часть теоремы. Пусть в области выполняется равенство (44). Требуется показать, что существует такая функция полный дифференциал которой в области тождественно равен левой части уравнения (6), то есть имеют место тождества (46). Всё множество функций, удовлетворяющих первому тождеству в (46), дается формулой

(48)

где - произвольная дифференцируемая функция от y. Покажем, что можно выбрать так, чтобы выполнялось и второе тождество в (46), т.е.

(49)

Подставляя (48) в (49), получим

(50)

Отсюда следует, что можно найти, если правая часть в (50) не зависит от переменной x, то есть

. (51)



Преобразуя левую часть в (51), получим

(по условию (44) теоремы (5)) = 0.

Таким образом, функция с точностью до произвольной постоянной, имеет вид

(52)

Теорема доказана.

Замечание. Из доказательства второй части теоремы 5 следует практический прием решения ОДУ в полных дифференциалах.

Пример. Уравнение является ОДУ в полных дифференциалах, так как в области Здесь По формуле (52) находим функцию

где - произвольная постоянная. Таким образом, общий интеграл искомого уравнения будет где - произвольная постоянная.

Теорема 6. Решение задачи Коши для ОДУ(6) в полных дифференциалах с начальными условиями где область D является областью непрерывности функций и в которой даётся одной из формул:

(53)

(54)

причем это решение единственно.

Заметим, что в точках, где одновременно обращаются в нуль функции и и называемых особыми для ОДУ (6), не гарантируется единственность решения задачи Коши.

Интегрирующий множитель

Рассмотрим уравнение (6) с непрерывными в области функциями , не являющееся уравнением в полных дифференциалах.

Определение 16. Если при умножении обеих частей ОДУ (6) на функцию , непрерывную вместе со своими частными производными и отличную от нуля в области , уравнение (6) обращается в ОДУ в полных дифференциалах, то есть для всех выполняется равенство

или

, (55)

то функцию назовем интегрирующим множителем ОДУ (6), а уравнение (55) - уравнением интегрирующего множителя.

Заметим, что решить уравнение (55) не легче, чем уравнение (6), поэтому рассмотрим случаи, когда интегрирующий множитель находится достаточно легко:

1) пусть , тогда уравнение (55) принимает вид

или

. (56)

Если правая часть в (56) зависит только от x, то есть



то из (56) интегрированием находим с точностью до мультипликативной постоянной

(57)

где - произвольная постоянная (обычно полагают ).

2) пусть , то из (55) получаем

. (58)

Если правая часть в (58) является функцией одного только y, то есть

то интегрируя (58) получаем

(59)

где - произвольная постоянная (для удобства обычно считают )

3) пусть , где - известная функция, непрерывная вместе со своими частными производными в области , тогда из (55) получаем

(60)

Если правая часть в (60) есть функция то

(61)

где - произвольная постоянная.

Выясним вопрос существования интегрирующего множителя в общем случае. Справедлива

Теорема 7. Если ОДУ (6) имеет в области единственности общий интеграл

(62)

где функция непрерывна в области вместе со своими частными производными до второго порядка включительно, то уравнение (6) имеет интегрирующий множитель.

Доказательство. Так как (62) суть общий интеграл ОДУ (6), то для всех справедливо тождество

. (63)

Предположим, что в области тогда из (63) получаем интегрирующий множитель в виде



(64)

Действительно, умножая обе части ОДУ (6) на функцию (64), получим

то есть функция (64) является интегрирующим множителем ОДУ (6). Теорема доказана.

Следствие. Из теоремы 7 следует, что каждому интегрирующему множителю ОДУ (6) соответствует, с точностью до аддитивной постоянной, интеграл этого уравнения.

Из уравнения интегрирующего множителя (55) видно, что интегрирующих множителей бесчисленное множество, если есть хотя бы один ), отличный от тождественной постоянной, например, где постоянное число Исчерпывается ли этой совокупностью все множество интегрирующих множителей уравнения (6) ? Как найти все множество интегрирующих множителей, если известен хотя бы один ? Ответы на эти вопросы дают следующие теоремы.

Теорема 8. Если - интегрирующий множитель ОДУ (6), а - соответствующий ему первый интеграл этого уравнения, то функция

(65)

где - произвольная дифференцируемая функция, тоже будет интегрирующим множителем уравнения (6).

Доказательство. Умножим левую часть ОДУ (6) на функцию (65)

.

Отсюда и из определения 16 следует утверждение теоремы. Теорема доказана.

Теорема 9. Если - интегрирующий множитель ОДУ (6), а - соответствующий интеграл уравнения (6), то всякий интегрирующий множитель этого уравнения находится по формуле

, (66)

где - произвольная дифференцируемая функция.

Доказательство. Пусть - какой-нибудь интегрирующий множитель ОДУ (6), а - соответствующий ему интеграл. Тогда имеем равенства

, (67)

из которых получаем

,

.



Поделим почленно равенства первой строки на соответствующие равенства второй строки, получим

Таким образом, якобиан функций и тождественно равен нулю. Отсюда, согласно теореме из анализа о зависимости функций, между этими функциями существует функциональная зависимость

(68)

где - дважды непрерывно дифференцируемая функция. Поделим почленно второе равенство в (67) на первое, получим

(69)

Дифференцируя (68) и подставляя в (69), будем иметь

что и требовалось доказать.

Следствие. Если и - два различных интегрирующих множителя ОДУ (6), отношение которых не равно тождественно постоянной, то выражение

(70)

где - произвольная постоянная, является общим интегралом ОДУ (6).

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

где - произвольная постоянная, является общим интегралом данного уравнения.

Доказательство теоремы Коши-Пикара о существовании и единственности решения задачи Коши для ОДУ первого порядка, разрешенного относительно производной

Рассмотрим уравнение

(2)

где функция - непрерывна в некоторой односвязной открытой области , и поставим для него задачу Коши с начальными условиями

(9)



Теорема 10 (Коши-Пикара). Если функция - непрерывна в прямоугольнике

(71)

вместе со своей частной производной , то существует такое :

(72)

где

(73)

что на отрезке существует единственное решение задачи Коши для ОДУ (2) с начальными условиями (9), удовлетворяющее на этом отрезке неравенству

. (74)

Замечание. Утверждение теоремы 10 остается справедливым, если предположить непрерывность функции и выполнение условия Липшица по переменной y в прямоугольнике П, то есть

(75)

где >0 - постоянное число. При этом .

Доказательство. Введем дополнительные понятия, необходимые для дальнейших рассуждений.

Определение 17. Пространство называется метрическим, если в нём введена метрика , называемая расстоянием между любыми двумя элементами x и y этого пространства, удовлетворяющая трём аксиомам метрики

1) и

2)

3)

Лемма 1. Пространство , непрерывных на отрезке функций с метрикой

, (76)

образует метрическое пространство.

В самом деле, достаточно проверить выполнимость трех аксиом метрики.

Определение 18. Метрическое пространство называется полным, если любая фундаментальная последовательность элементов этого пространства сходится к элементу из

Лемма 2. Пространство с метрикой (76) - полное.

Доказательство. Рассмотрим любую фундаментальную последовательность функций , непрерывных на отрезке , то есть такую, что

, (77)

где метрика имеет вид (76). Зафиксируем тогда получим числовую последовательность , удовлетворяющую критерию Коши

, (78)

а значит являющуюся сходящейся к вещественному числу, которое мы обозначим через , то есть

.

Переходя в последнем неравенстве в (78) к пределу при , получаем

,

то есть



.

Отсюда следует, что последовательность сходится равномерно к на отрезке Так как функции непрерывны на то предельная функция также непрерывна на то есть . Лемма 2 доказана.

Пусть в полном метрическом пространстве задан операторотображающий пространство в себя, то есть

.

Определение 19. Оператор будем называть сжимающим, если

.

В дальнейшем элементы пространства будем называть точками этого пространства.

Определение 20. Точка пространства называется неподвижной точкой оператора , отображающего пространство в себя, если .

Определение 21. Оператор называется непрерывным в точке если

.



Очевидно, что сжимающий оператор всегда непрерывен в любой точке

В самом деле, если при то, в силу неравенства , последовательность при

Лемма 3 (принцип сжимающих отображений). Если сжимающий оператор отображает полное метрическое пространство в себя, то существует единственная неподвижная точка этого оператора.

Доказательство. Покажем сначала, что двух различных неподвижных точек быть не может. В самом деле, если допустить существование двух различных неподвижных точек и оператора то есть и , то , где Если предположить, что то получаем что противоречит условию сжимаемости оператора Отсюда получаем , что равносильно равенству . Итак, показали единственность неподвижной точки оператора

Докажем теперь существование неподвижной точки. Пусть - любая точка из пространства Составим последовательность элементов из

, (79)

которую назовём итерационной последовательностью, порожденной оператором Покажем, что эта последовательность является фундаментальной.

Сначала оценим

(80)

а затем воспользуемся неравенством треугольника, считая

Таким образом, при достаточно большом получаем, что

то есть итерационная последовательность фундаментальная. Так как пространство - полное метрическое пространство, то эта последовательность (79) сходится к некоторому элементу этого пространства, то есть

Покажем, что - неподвижная точка оператора В самом деле,

при

Таким образом, . Лемма 3 доказана.

Замечание. Если - неподвижная точка оператора , то можно оценить абсолютную погрешность приближенного значения а именно:

(81)

С другой стороны имеет место неравенство

из которого получаем еще одну оценку абсолютной погрешности

(82)

В силу эквивалентности задачи Коши для ОДУ (2) с начальными условиями (9) и задачи нахождения решения интегрального уравнения

(10)

будем рассматривать последнюю задачу.

Обозначим через - множество функций непрерывных на отрезке где и удовлетворяющих на нём неравенству

(83)

Введем в этом множестве метрику

, (84)

где и - любые элементы из множества . Очевидно, что все аксиомы метрики выполняются и мы получим, что - метрическое пространство.

Покажем, что - полное метрическое пространство. В самом деле, если последовательность функций , является фундаментальной, в смысле метрики (84), то из леммы 2 следует, что она сходится равномерно на отрезке к некоторой непрерывной функции Для функций выполняются неравенства

. (85)

Переходя в (85) к пределу при и учитывая, что , получаем



,

то есть . Это и доказывает полноту пространства .

Рассмотрим оператор вида

, (86)

который приводит в соответствие каждой функции некоторую функцию . В самом деле, если , то есть функция - непрерывна и её график принадлежит прямоугольнику

,

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

.

Таким образом, .

Покажем, что оператор , задаваемый формулой (86), является сжимающим. Действительно, если и - две любые функции из , а и - их образы из , то составляя модуль разности и учитывая условия теоремы Коши-Пикара, получаем

,

где . Отсюда и из леммы 3 следует, что в пространстве , с введенной метрикой (84), существует единственная неподвижная точка

оператора определяемого формулой (86). Полученная функция будет единственным решением интегрального уравнения (10), а значит и единственным решением задачи Коши для ОДУ (2) с начальными условиями (9). Теорема Коши-Пикара доказана.

Следствие. Из доказательства теоремы Коши-Пикара следует метод нахождения приближенного решения задачи Коши для ОДУ (2) с начальными условиями (9), а именно



,

и абсолютной погрешности

.



Заключение

Двойное векторное произведение играют существенную роль и в других науках, таких, как Физика, электротехника; в действительности, они возникают везде, где есть необходимость количественного (числового) описания явлений.



Список использованной литературы

1. Гутер Р.С. Дифференциальные уравнения / Р.С. Гутер, А.Р. Янпольский. - М.: Физматгиз, 1962.

2. Ильин В.А. Основы математического анализа: В 2 ч. / В.А. Ильин, Э.Г. Позняк. - М.: Наука, 1986.

3. Натансон И.П. Теория функций вещественной переменной / И.П. Натансон. - М.: Наука, 1974.

4. Никольский С.М. Курс математического анализа / С.М. Никольский. Т.2. - М.: Наука, 1975.

5. Смирнов В.И. Курс высшей математики / В.И. Смирнов. Т.5. - М.: Наука, 1959.

6. Фрейман Л.С. Теоремы существования / Л.С. Фрейман. - М.: Наука, 1971.

7. Эльсгольц Л.Э. Дифференциальные уравнения и вариационное исчисление / Л.Э. Эльсгольц. - М.: Наука, 1969.

Размещено на Allbest.ru