Геом.смысл:
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=M
D
противоречие условию ч.т.д.
Теорема о существовании
единственности решения задачи Коши для обыкновенного диф. уравнения ( для
случая одного уравнения: 
 )
Теорема : Если
функция 
,
,
,-
непрерывна и удовлетворяет условию Липшица:
 .
Тогда задача Коши (1) имеет единственное решение (1) 
при
условии, что ![]()
Уважаемый посетитель!
Чтобы распечатать файл, скачайте его (в формате Word).
Ссылка на скачивание - внизу страницы.