Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:
P1.pdf
Скачиваний:
18
Добавлен:
29.02.2016
Размер:
793.8 Кб
Скачать

I. Общие понятия

 

1.

Понятие о ДУ с ЧП...................................................................................................

2

2.

ДУ с ЧП первого порядка........................................................................................

4

3.

Квазилинейные ДУсЧП-1........................................................................................

6

4.

Системы ДУсЧП.......................................................................................................

7

5.

Замена независимых переменных в ДУ-2 с 2-мя незав. перем. ..........................

8

6.

Приведение к каноническому виду ДУ-2 с 2-мя незав. перем..........................

10

7.

Классификация ДУ-2с n независимыми переменными .....................................

12

8.

Приведение к канон.виду ДУ-2 с n незав.перем.................................................

13

9.

Исключение младший производных в ур-ниях 2-го порядка ...........................

14

=

1. Понятие о ДУ с ЧП

Рассмотрим n-мерное евклидово пространство . = ( 1, … , ) . Пусть Ω – область и в ней определена и непрерывна ф-ия ( 1, … , ).

ЧП по xi наз-ся

 

=

 

= lim

 

 

1,…, +

 

xi,…, −( 1,…, …, )

 

 

 

 

 

 

 

 

 

 

 

 

Если этот

 

 

 

 

 

 

 

0

 

 

 

 

 

xi

 

 

 

 

, то функция

 

 

считается

 

 

 

 

предел существует и конечен в каждой точке

 

 

 

дифф. по

 

во всей области

Ω

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Ω

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

Производные более высоких порядков определяются аналогично, т.е.

 

 

 

 

 

 

 

 

 

,

где

=

 

.

 

 

 

 

 

m

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

=

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Ω

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Пусть

(Ω)

– пр-во

 

раз непрер. дифф. ф-ций в обл.

, т.е.

( ) (Ω)

, если в

каждой точке обл.

Ω

определена и непрерывна сама ф-ция u и все ее производные

до порядка m

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Рассм. ф-цию

включительно:

, 1

, … , … ,

 

 

1

2

 

 

 

 

 

 

 

 

 

 

и

 

 

 

 

 

 

,

 

 

 

 

 

 

 

 

 

.1

Пусть, 2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

1

 

 

 

 

 

 

 

 

+

)

 

 

 

 

 

 

 

 

 

, = 1,

 

 

 

 

 

 

≠ 0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

тогда ДУ с ЧП ( , … , , , … , ) (

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

называется отношение (1):

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

, , 1

, … ,

 

, … , ,1 1

= 0

Введем дифф. оператор

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

=

 

, ,

, … ,

 

, … ,

 

 

 

 

 

 

( )

 

 

 

(Ω) (Ω)

 

 

 

 

 

 

1

 

1 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Тогда ДУсЧП можно записать как = ( ) (2). (2) называется линейным, если:

1)= ( ), , ( ) (Ω)

2)1 + 2 = 1 + 2 , 1, 2 (Ω)

Линейное ур-ние можно записать в виде(3):

1+ +

0≤1+ + ≤ 1,…, ( ) 1 1 = ( )

Если правая часть равна 0, то ур-ние называется однородным.

Введем мультииндекс = ( 1, … , ), = 1 + + . Введем оператор диффния

 

 

.

 

=

 

 

 

,

 

 

 

 

∙ … ∙

 

.

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

=

 

 

 

 

 

 

 

= 1

 

 

Перепишем (3):

 

 

 

 

 

 

 

 

 

 

 

Порядок старшей

0≤ ≤ = ( )

 

 

 

 

 

 

 

 

производной, входящей в ур-ние, наз-ся порядком самого ур-ния.

Часть ур-ния, содержащая только его старшие производные наз-ся главной частью ур-ния, т.е.

 

 

 

 

 

 

+

 

 

 

 

+ ( )

= ( )

 

ДУ2

, =1

 

=1

 

в случае n независ.

 

0

( ) =2

 

 

 

 

 

 

 

 

переменных.

В случае 2 независ. переменных(4):

11

,

2

2

2

+

 

 

 

 

 

2 + 2 12 ,

 

+ 22 2

+ ,

 

+ ,

 

+ =,

( , )

 

 

 

 

 

 

 

 

2

 

( 1, 2)2

ставя в соответствие производн

координату:

Построим многочлен

 

 

 

 

 

1,

 

2 ;

2

 

12,

2

22 характер. мн-лен для ур-ния (4).

 

1, 2

2

 

 

 

 

 

 

2

 

 

 

 

 

 

 

= 11 1 + 2 12 1 2 + 22 2

 

 

 

 

 

 

 

(!!!Выписывается только для главной части, т.е. для старших производных) С помощью ХМ классифицируются ДУ.

Дискриминант = 122 11 22 .

1)( , ) > 0 в некоторой точке (x,y), то уравнение (4) является уравнением гиперболического типа в этой точке.

2), = 0 - параболического типа

3), < 0 – эллиптического типа

Если ( , ) сохраняет свой знак во всей обл. Ω, то ур-ние сохраняет свой тип во всей обл. Ω.

Если Ω = Ω1 Ω2 Ω3 и в Ω1 - гиперб.тип; в Ω2 - парабол.тип; Ω3 - эллипт.тип, то в целом ур-ние смешанного типа.

Примеры ДУсЧП в случае 2х переменных:

xгиперболического типа: 2 2 2 2 2 = ( , ) – волновое ур-ние t – время, u – смещение, x – пространстевнн. перемен.

xпараболического типа: 2 2 2 = ( , ) – ур-ние теплопроводности t – время, u – температура, x – пространстевнн. перемен.

xэллиптического типа: 2 2 + 2 2 = ( , ) – ур-ние Лапласа t – время, u – температура, x – пространстевнн. перемен.

2. ДУ с ЧП первого порядка

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(1) – линейное однородное ДУсЧП-1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

, ,

1

, … ,

 

 

 

 

= 0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(2), ф-ция u определена и

Рассмотрим лин. однор. ДУсЧП-1:

 

 

=1

 

 

 

 

 

 

 

 

 

 

= 0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

непрерывна с 1-ми производными в

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

11

 

= =

 

(3). Ее можно

 

 

 

 

 

 

 

Ω

. Наряду с (2) рассм. сис-му ОДУ вида

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n-1 обыкн. ДУ(4):

 

 

 

 

 

 

 

 

 

 

 

 

 

=

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

записать как систему из

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

.Установим соответствие между (2) и (4). Для этого полагаем, что

 

 

 

 

 

 

 

 

 

 

 

−1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

−1

=

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

определены и непр. и имеют непр. производные 1-го порядка в некоторой

 

 

 

 

 

 

 

 

фикс. окр-ти

 

 

 

 

 

 

 

 

 

 

и они одновременно не обращаются в нуль в окрестности этой

 

 

( )

 

 

 

 

 

 

 

1

 

 

 

2

 

 

 

 

 

 

 

 

точки:

 

 

 

 

 

 

 

+ +

 

 

 

 

 

 

2

≠ 0

. Покажем, что

 

 

 

≠ 0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Ω(x 0

)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Теорема: Всякий интеграл системы (4) является решением ур-ния (2).

 

 

 

 

 

 

Док-во: (4) имеет

n-1

независимых интегралов. Пусть

 

 

 

 

=

- интеграл (4).

Тогда

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

, но

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(5).

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

≡ 0

=

 

 

 

 

1 + +

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1 =

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Из (4) имеем (6):

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

−1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

−1

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

−1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

+ +

 

 

 

 

 

 

+

 

= 0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Подставим (6) в

(5):

 

 

 

 

 

 

 

 

=

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

или

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

−1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

≡ 0

 

 

 

 

 

 

 

 

 

 

 

 

 

= 0

 

 

 

 

 

 

 

=

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

=1

 

 

 

 

 

 

 

 

 

 

 

.

 

 

 

 

=1

 

 

. Т.е.

 

– решение (2)/доказано

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Обратная Теорема: Всякое решение (2) является интегралом системы (4)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

≡ 0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Док-во: Пусть

 

 

– решение (2). Т.е.

 

=1

 

 

 

 

 

 

 

 

 

и выполн. (6).

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(6)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

−1

 

 

 

 

 

 

 

 

 

 

 

=

 

 

1

 

 

 

 

 

+ +

 

 

 

=

 

 

1

 

 

 

 

 

 

 

+ +

−1

 

 

 

 

 

+

 

 

 

=

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

и

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

≡ [

 

 

 

. . −

 

 

 

 

 

2 ] ≡ 0 = 0

 

 

 

=

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

=1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

реш

 

 

 

 

 

 

 

 

 

 

 

 

 

 

/доказано

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

т к

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

– явл. интегр(4)

Теорема 3: Если

 

 

 

 

 

, … ,

 

−1

 

 

 

– ЛНИ системы (4), и

 

1

, … ,

−1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

в обл.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

, то F – решение

 

 

 

 

 

 

имеет непр.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0

 

 

производные

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(2) – О.Р.(2).

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

-

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

F

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

−1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

−1

 

 

 

 

 

 

 

 

 

 

 

 

 

Док во:

 

Подставим

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Ω x в(2):

 

=1

 

 

 

 

 

 

=1

 

 

 

 

=

 

 

 

=1

 

 

 

 

 

 

=1

 

 

 

 

=

 

вторая сумма

 

 

 

 

 

 

т к

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

[

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

≡ 0, .

 

 

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

решение

(2)] = 0

 

F

– решение (2) /доказано

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Т.о., чтобы найти ОР ур-я (2), необходимо с помощью полных дифф-лов и коэффтов ур-я записать соответствующую систему(4), найти ее первые интегралы и в качве ОР (2) берется достаточно гладкая функция , зависящая 1 , … , −1 , как от независ.переменных.

Соседние файлы в предмете [НЕСОРТИРОВАННОЕ]