Геом.смысл:
F(t,y(t)) – определяет tg угла наклона касательной
Т.е. опред. поле направлений
Если F – непрерывна в прямоугольнике, то
решение существует (по Т. Пеано)
Нужны доп. условия Условие Липшица: для любого y1 и y2 из области ( k – константа)
Задача Коши для обыкновенных диф.ур-ий:
,
Начальные условие: х(0) = х0. Задача – найти решение, подчин. начальному условию.
Система получается, если над всеми х поставить вект.
Пример: - ур-е 2-го порядка
Полагаем
(*), уравнения 1-ого порядка
А в задаче Коши => система (*) + эти данные , а
Аналогично для любого уравнения более высокого порядка
Т.Пеано: задача Коши имеет решение в случаеn=1
Но оказывается, что это решение не единственно
Если f – обладает регулярным свойством, т.е.
- условие Липшица
– для n переменных условие Липшица. Тогда, если f – непрерывна в области определения ,и по переменной существует условие Липшица => существует единственное решение в окрестности точки t0=t(0)
Свойства гармонических функций ( без доказательства только формулировку).
Определение: функция U(x,y,z) называется гармонической в области D, если частная производная до 2 порядка и удовлетворяет уравнению Лапласа
Если n=2 => . Если n=1 =>
Примеры: если n=1 => U=kx+b – неинтересно
Тогда будем изучать
Пример: U=const; ax+by+cz+d для n=3
Если n=2, а , а
n=3 => , а
Свойства:
1. Формула Грина:
n=3 пусть есть , D – ограниченная область. - непр. диф-ма с границей
n - вектор внешней нормали
-производная по направлению вектора внешней нормали
2. Необходимое условие гармоничности:
Если U – гармонич. в области D (огранич) и непр диф-ма
1 раз в замыкании
n=2
Доказательство: по условию U-гарм.
Подст в ф-лу Грина, а вместо (гарм)=1 и =>
0=ч.т.д.
3. Теорема: интегральное представление гармонической функции)
Если U гармонич в огр. области D и непредельно диф-ма в => :
n=2: ,
Доказательство: восп. ф-лой Грина. Построим шар вокруг радиуса
-шар
Если закрытый шар=>
- в этой области функция гармонич , а U – гармонич. во всей области => у нас есть 2 гармонич. ф-ции => по ф-ле Грина
(*)
Рассмотрим второе слагаемое – пов. сферы.
,
(т.к. направлен в разные стороны). Перепишем: (по теореме о среднем) . Первый интеграл = 0 по необх. усл-ю гарм . В итоге (*)ч.т.д.
Следствие: гарм ф-ция в D имеет частную производную порядка
.
Первое слагаемое , - диф-ма бесконечно, т.к. жнаменатель не 0.Со вторым аналогично
4. Теорема о среднем: (для гармонич. Ф-ций)
U гармонич в обл D => ,
Если n=2 =>
Доказательство: из интегральных представлений к границе шара:
, => второе слагаемое , по необх. призн. гарм. ф-ций
,
ч.т.д.
5. Принцип максимума:
Если U- гарм. в огр обл D, непр в D и если Uне const, то U не достигнет max и min в D, т.е. достигает max и min знач на границе
- не может быть
Док-во : - непр в замкн
огр обл => по Th Вейерштрасса U-огр
достигает =>
Теперь докажем, что внутри не достиг.
От противного: допустим => докажем, что (во всей D). Поэтому сначала покажем, что U=M в шаре. Строим шар.
По Th о среднем допустим, что на сфере, и окрестность , где то <M по теореме о среднем
Поэтому у нас противоречие => на сфере функция U=M. Варьируем => U=M в (в шаре) Теперь покажем для всей области
(лучше вне шара)
Соед. непр. кривой с
Непрер крив –
Точка пересечения шара и =>
Тогда аналогично показываем в шаре , что U=M. Затем и т.д. => придем к 0< точке за конечное число шагов. => для точки из D => U=MD противоречие условию ч.т.д.
Теорема о существовании единственности решения задачи Коши для обыкновенного диф. уравнения ( для случая одного уравнения: )
Теорема : Если функция ,,,- непрерывна и удовлетворяет условию Липшица:
. Тогда задача Коши (1) имеет единственное решение (1) при условии, что
Уважаемый посетитель!
Чтобы распечатать файл, скачайте его (в формате Word).
Ссылка на скачивание - внизу страницы.