Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:

УМФ ЛК

.pdf
Скачиваний:
17
Добавлен:
17.05.2015
Размер:
1.57 Mб
Скачать

x3

x1

x(t*)

x2

21

J’(t, )=0 уравнение x=X(t, )

имеет несколько решений j= j(x,t), j=1,2,….

t*: (x(t*),t*)= .

Задача: выяснить, когда такое будет?

Теорема.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Пусть v(x,t) C1(D), D R4

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x,t

 

 

 

 

 

 

 

 

 

Тогда (x,t)

0 ( )

 

 

 

 

 

 

(9).

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(x,t)

 

 

 

 

 

 

 

J ( ,t)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Лемма 1 (Лиувилля).

 

 

 

 

 

 

 

 

 

 

 

 

Имеет место формула:

 

 

 

 

 

 

 

 

 

(10) J ( ,t)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

J div(v(X ( ,t),t)) при условии, что J 0, J( ,0)=1.

 

 

Доказательство теоремы.

 

 

 

 

 

 

 

 

Следует из формулы (5’).

 

 

 

 

 

 

t

 

 

 

 

 

 

t

 

 

 

 

t

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

J

 

 

 

 

 

 

div(v(x, ))d

 

 

 

 

d

ln J ( , )

 

 

 

 

 

 

 

J

 

0 eln J ( ,t)

1

 

 

e 0

 

 

 

e 0

 

e

 

 

, что и требова-

 

 

 

 

 

 

J (

 

 

 

 

 

 

 

 

 

 

 

 

 

 

,t)

лось.

Доказательство леммы 1.

 

 

 

 

 

 

 

 

 

(8') X (t, ) v(X (t, ),t).

 

 

 

 

 

 

 

X (t, )

 

 

 

 

 

 

 

 

v

 

 

ai

 

. Докажем, что ai

 

 

 

x X (t, )

ai

i

x

 

 

 

 

 

 

 

 

 

 

 

vi

 

- матрица Якоби.

x j

 

 

3 3

 

 

X (t, ) v( X (t, ),t) dt i

 

 

x

 

 

 

 

дифференцируем по i

d

 

X

 

v

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

X (t, )

 

 

X

 

 

 

 

v

 

J (t, ) det

 

,

3 3

 

(t, )

x

 

 

 

 

 

 

 

 

 

 

(11) .

( X (t, ),t) X .i

(11).

 

d

 

1

 

J det 0

dt

det det tray(

 

) (12).

Уравнения математической физики, семестр 1. Глава 1 «Уравнения 1-ого порядка».

22

 

 

 

 

 

 

 

 

 

 

 

 

d

 

 

 

v

 

1

 

 

v

 

 

J

 

J tray

 

Y Y

 

 

J tray

x

.

 

 

 

 

dt

 

 

 

x

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

v

3

v

 

 

 

 

 

tray

x

 

xi

div(v(x,t)) , что и требовалось.

 

 

 

i 1

i

 

 

 

 

 

 

 

Замечание.

 

 

xn

 

v(x,t)

 

 

 

 

t

x X ( ,t)

0

 

 

 

x1

 

 

 

 

 

Если v

таково, что

div x (v) 0

 

J (,t) 1 J (,0).

 

 

 

?

 

 

V0l d n x V0l d n .

 

 

t

0

 

 

p импульс

Пример поля, удовлетворяющего замечанию.

R2n

 

Rn Rn .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

p,x

 

 

p

 

x

 

 

 

 

 

 

 

 

 

 

 

 

 

 

H(p, x) функция Гамильтона.

 

 

 

 

 

 

 

 

 

x координата

 

 

H

,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

p

x

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

- 2n уравнений – система Гамильтона Якоби.

 

 

 

H .

 

x

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

p

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

H

 

H

 

 

 

 

 

 

 

H

 

 

H

 

v

 

 

 

,

 

,

div

p,x

v( p, x)

 

 

 

 

 

 

 

 

 

0 фазовый объем сохраня-

 

 

 

 

 

 

 

x

 

p

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

p

 

x

 

x

p

 

ется H(p,x) – глобальный 1-ый интеграл (во всем фазовом пространстве). Действи-

 

d

 

H

 

 

H

 

H

 

H

 

 

 

 

тельно,

 

H ( p(t), x(t))

 

 

 

 

 

 

 

 

 

 

0.

 

 

 

 

 

 

 

 

 

 

 

 

 

dt

 

p

 

x

 

x

 

 

p

 

 

 

 

В качестве примера рассмотрим H

p2

 

V (x) . Здесь

p2

T

- кинетическая энер-

2m

2m

 

 

 

 

 

 

 

 

 

 

 

 

 

гия, а V(x)= - потенциальная энергия.

m x xV (x),

Система Гамильтона здесь

p m x.

§6. Задача Коши для уравнения Гамильтона-Якоби

Понятие уравнения Гамильтона-Якоби.

S

 

S

t

H x,

x

 

 

n+1

,t

0 - нестационарное уравнение Гамильтона-Якоби. S=S(x,t),x R .

 

 

 

S

n

.

H x,

 

0 - стационарное уравнение Гамильтона-Якоби. S=S(x), x R

 

x

 

 

Здесь: H(x,p,t) – функция Гамильтона-Якоби., S –действие по Гамильтону.

Уравнения математической физики, семестр 1. Глава 1 «Уравнения 1-ого порядка».

23

Постановка задачи Коши для нестационарного уравнения Гамильтона-Якоби.

 

S

 

 

 

 

S

 

 

 

 

 

t

H x,

x

,t

0

n

.

 

 

 

 

 

 

 

, t>0, x R

S

 

 

 

S

 

(x)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

t

0

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Алгоритм решения этой задачи на примере.

 

 

 

S

 

1

S

2

0, x R

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

p2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(1)

 

t

 

 

2

x

 

 

 

 

 

 

 

H (x, p,t)

 

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

S0 (x)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

S

 

 

 

 

t 0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Применим алгоритм.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1) Составляем систему Гамильтона-Якоби:

 

 

 

 

 

 

 

 

 

 

 

 

 

 

H

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

p

 

x

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(2)

 

 

 

 

 

 

 

 

 

 

 

 

 

x 0.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

H p

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

p

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2) Ставим для нее задачу Коши:

 

 

 

 

 

 

 

 

 

 

 

 

 

p

 

t 0

 

 

S

(x

0

),

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(3)

 

 

 

 

 

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x

 

 

 

 

 

 

 

R1.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x

 

 

 

 

,

 

x

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

t 0

 

 

 

 

0

 

 

 

 

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Решение этой задачи Коши – параметрическое семейство:

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(x0 ),

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(4)

Lx

 

p S0

 

 

- луч x=X(x0,t).

 

 

 

 

 

 

 

 

 

 

 

 

 

x x

 

 

S (x

 

)t.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

p

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

S

(x )

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

v

(0) p

S

(x )

0

0

 

 

 

 

 

 

 

 

 

 

 

 

 

Lx

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x

0

0

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0

 

 

 

 

x

 

 

 

 

 

 

 

 

 

 

 

 

x

 

 

 

 

x0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0

x

0

X (x0 ,t)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

3) Используем следующую формулу:

(5)

 

~

 

 

,t) S

 

(x

 

)

t

 

H

 

S (x

0

0

0

 

p

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

p

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0

 

S

 

(x

 

)

1

S

(x

 

) 2 t.

 

 

 

0

0

 

0

 

 

 

 

 

 

 

 

2

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Замечание.

 

 

 

 

 

 

 

t

 

 

 

 

 

 

 

H

x X (x , )

d S

 

(x

 

)

 

 

 

0

 

0

 

 

p P(x0, )

 

 

 

 

 

0

 

0

 

 

 

 

 

 

p2

 

p S (x ) d

 

2

 

 

0

0

 

 

 

 

p2

V T . Тогда

 

H

 

p2

В физике H=

 

p

p

H p p

 

L , где

2

2

 

 

 

 

 

 

 

 

L(x, x)

x

2

V (x)

- функция Лагранжа.

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

4) Из формулы x x0

 

 

 

 

 

 

S0 (x0 )t выражаем x0.

 

 

 

Уравнения математической физики, семестр 1. Глава 1 «Уравнения 1-ого порядка».

24

(*) J (x ,t)

X (x0

,t)

1

S (x

)t 0 главное решение уравнения.

 

 

0

x0

 

 

0

0

 

 

 

 

 

 

 

Для примера положим, что S

 

 

x2

, R.

 

 

 

 

 

 

 

 

 

 

 

0

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

5) Находим окончательный ответ из формулы:

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

~

 

 

,t) x ( x,t ) .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(6) S(x,t) S (x0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0

 

 

 

 

 

 

 

 

 

 

t

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

X (x0 ,t)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

tg() x(0) p(0) S

(x )

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x0

 

 

 

 

x

 

 

 

 

 

 

 

 

x2

 

 

 

 

 

 

 

 

 

 

 

~

x2

 

1

2 x 2t

1

 

2

 

 

Если S

 

(x)

 

 

 

, R , то решение S

 

 

 

 

 

 

x

(1 t).

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

2

 

0

2

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

X=x0+ x0 t.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

J(x0,t)=1+ , t 0.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x0

 

x

 

 

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1 t

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

2

 

 

 

 

 

 

 

 

 

 

1 x2

(1 t)

 

 

 

x2

 

 

 

 

 

S(x,t)

 

x0

 

(1 t)

 

 

 

x

 

 

 

 

 

 

 

 

2

 

 

 

 

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

x0

 

 

 

 

 

 

 

2

 

1 t

 

 

 

2(1

t)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1 t

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Возможны 2 случая:

1)>0, J(x0,t)=1+ t >0 t>0.

x,t {x X (x0 ,t) J 0} Rx2,t , t 0.

2)<0 J=0 при t=t*= 1 .

X(x0 ,t*)=x0(1+ t*)=0. P(x0 ,t*)= x0.

В этом случае ответ годится только в интервале [0, t*), t* - момент наступления ка-

тастрофы в решении. t

t *

 

x

 

 

 

x

x0

 

 

 

 

 

 

0

 

 

 

 

 

 

 

Интерпретация алгоритма в фазовом пространстве.

Начальному условию S0(x) можно поставить в соответствие кривую 1 в фазовом пространстве:

1

 

2

, p

S0 (x)

(x, p) R

 

x

.

 

 

 

 

 

Уравнения математической физики, семестр 1. Глава 1 «Уравнения 1-ого порядка».

 

 

 

 

 

 

 

25

А семейству характеристик

Lx

в формуле (4) сопоставить кривую 1(t) в фазовом

 

 

0

 

 

 

 

 

 

пространстве:

 

 

 

p

1

1

(t) (x, p) R

2

, p P(x0 ,t), x X (x0 ,t) .

 

 

 

 

 

1 (t)

(*) J

X

(x ,t) 0 кривая 1(t) однозначно про-

 

 

 

Lx0

x

 

 

 

0

 

 

 

 

 

 

 

 

 

 

 

 

0

 

 

 

 

ектируется на конфигурационное пространство, т.е. на

 

ней нет точек с вертикальной касательной.

 

x

Рисунок приведен для случая предыдущего примера.

 

 

 

 

 

 

 

 

x0

 

 

 

 

 

 

 

p

Пусть теперь (*) нарушается. Тогда, например, в

1 (t)

предыдущем примере при <0, получится следующая

1

1 (t*)

картина.

 

 

 

x

§7. Обоснования алгоритмов решения задачи Коши для уравнения Га- мильтона-Якоби

Замечание 1.

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

Замечание 2.

В силу формулы (6) при выполнении условия (*), S(x,t) является гладкой (1 раз дифференцируемой) функцией, что следует из теорем О.Д.У., теоремы о неявной функции и формул алгоритма.

Покажем, что S удовлетворяет начальным условиям:

(6)

~

 

(5)

 

 

(3)

 

S

 

t 0

S (x0 ,0)

x0 ( x,0)

 

S0 (x0 )

x0 ( x,0)

S0 (x) , что и требовалось.

 

 

 

Лемма Гамильтона.

 

 

 

 

p

 

 

 

 

 

 

 

Импульс на траектории есть градиент решения

 

S, т.е.:

 

 

 

 

 

p(x0

,t)

(1)P(x0 ,t) x S( X (x0 ,t),t) , где S(x,t) опреде-

ляется формулой (6).

 

 

x

В силу условия (*) x0

x t, x=X(x0,t) – луч.

X (x0

,t)

 

 

Уравнения математической физики, семестр 1. Глава 1 «Уравнения 1-ого порядка».

26

~(5)

(6)(2) S( X (x0 ,t),t) S (x0 ,t)

S

 

(x

)

t

 

 

 

 

 

H

 

 

 

 

 

 

 

 

 

 

 

 

 

 

d .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

p

 

 

 

 

 

 

H

p(x , )

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0

 

 

0

 

 

 

 

 

 

 

 

p

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0

 

 

 

 

 

 

 

 

 

 

 

 

x(x 0, )

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

p

H

p,

 

 

H

 

 

 

n .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

p

p

R

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Доказательство.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Докажем только для n=1.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Продифференцируем тождество (2) по параметру x0.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

S

 

 

 

 

 

 

X

 

 

 

 

 

 

S0

 

 

 

 

 

 

 

t

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

X

( X ,t)

x

0

 

 

 

 

x

0

 

 

(x0 )

 

 

x

0

 

P X

H ( X , P, ) d

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

S0

 

 

t

 

P

 

 

 

 

 

 

 

d X

 

 

 

 

 

H

 

P

 

H X

 

 

 

S0

 

t

 

 

d X

 

 

d

 

 

 

X

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

X

 

 

 

 

 

 

 

P

 

 

 

 

 

 

 

 

 

d

 

 

 

 

P

 

 

 

 

 

 

 

 

 

 

P

 

 

 

 

 

d

x

 

x

 

 

 

 

 

 

 

 

 

P

x

 

X

x

 

x

 

d x

 

d

 

x

 

 

 

 

0

 

 

 

0

 

 

 

 

 

 

d x

0

 

 

 

 

 

 

0

 

0

 

 

 

0

 

 

0

 

 

 

 

0

 

 

 

 

 

 

 

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

P

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

X

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

d

 

 

 

X

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

P

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

d

 

 

 

 

 

 

 

 

S0

P(x

 

,t)

X

(x

,t) P(x

,0)

X

(x

,0) P(x

,t)

X

(x

,t)

 

(3)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x

 

 

 

 

 

 

0

 

 

 

 

 

 

x

 

 

 

 

 

0

 

 

 

 

 

 

 

0

 

 

 

 

 

0

 

 

 

0

 

x

 

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

0

 

 

 

 

 

 

 

 

x

0

 

 

 

 

 

 

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

S0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(x0 )

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

в силу (*)

 

 

 

 

X

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(1)

 

S

( X ,t) P(x

,t). Лемма доказана.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

X

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Доказательство корректности алгоритма.

То, что S удовлетворяет начальным условиям, уже было доказано. Докажем, что S удовлетворяет уравнению Гамильтона-Якоби.

 

 

 

t

 

 

 

 

 

 

 

(x,t) x,t

x X (x0 ,t),

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

t t.

 

 

 

 

 

 

 

 

 

 

 

Перейдем от (x,t) к (x0 ,t), т.е. вернемся к формуле

 

 

 

 

 

 

 

 

 

 

(2):

 

 

 

 

 

 

 

 

 

 

 

 

 

 

S

 

X S (x,t)

 

x,t

 

 

 

 

 

 

x

 

 

 

 

 

 

 

 

 

 

 

X

 

 

 

 

 

 

 

 

 

 

 

 

t

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

P(x0 ,t) X (x0 ,t) H (P(x0 ,t), X (x0 ,t),t) (4)

В силу леммы Гамильтона

 

S

 

 

P(x0 ,t) X (x0

,t)

 

X

X

 

 

 

 

 

 

 

 

 

 

 

 

 

 

S ( X (x

,t),t) H (

P(x

,t)

, X (x

,t),t) 0

(4')

 

t

0

 

 

 

0

 

 

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

S ( X (x ,t))

 

 

 

 

 

x 0

уравнение Гамильтона-Якоби выполнено t, x=X(x0 ,t). Теорема доказана.

Уравнения математической физики, семестр 1. Глава 1 «Уравнения 1-ого порядка».

27

Упражнение (единственность решения задачи Коши).

Самостоятельно продумать вопрос единственности решения этой задачи Коши.

Замечание 3 (обобщенное уравнение Гамильтона-Якоби).

Если уравнение имеет вид

S

S

 

0 , то в указанном выше алгоритме

t

H

x

, x,t, S

 

 

 

 

меняются только системы (2) и (3):

 

 

 

H

 

p H

 

 

p

 

,

 

 

 

 

 

x

 

 

 

 

S

 

(2) (2')

 

 

H

,

 

 

 

 

 

 

x

 

p

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

p

H

 

H .

 

 

S

 

 

 

 

 

 

 

p

 

 

 

 

 

 

x

 

 

 

 

t 0

x

0

,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(3) (3')

p

t

0

x

S0 (x0 ),

 

 

 

 

 

 

 

S

 

 

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(x

 

).

 

 

S

 

 

 

 

 

 

 

 

 

 

 

 

t 0

 

 

 

 

0

 

 

0

 

 

 

 

 

 

 

 

 

 

 

 

Дальше эту задачу Коши надо решить и найти по формуле

(6) найти S.

~

S , а затем, по формуле

Замечание 4 (о стационарном уравнении).

Обоснование алгоритма для стационарного уравнения Гамильтона-Якоби аналогично предыдущему (основано на аналогичной лемме Гамильтона, устанавливаемой в силу дифференцирования формул алгоритма).

Пример (Мираж).

Вопрос: в чем сидит мираж?

Объяснение миража содержится в решении стационарного уравнения ГамильтонаЯкоби специального вида:

S 2 n2 (x1 , x2 ).

J

 

D(x1 , x2 )

0 катастрофа в решении.

 

 

 

 

D( , )

 

x

X

 

( , ),

световые

1

 

 

1

 

 

x2

 

X 2 ( , ).

лучи

H(x,p)=p2-n2(x).

наблюдатель

баран

 

100 км

Замечание 5 (о геометрическом смысле леммы Гамильтона).

S0(x) порождает n-мерную поверхность в 2n-мерном пространстве.

Уравнения математической физики, семестр 1. Глава 1 «Уравнения 1-ого порядка».

28

S0 (x) n Rp2,nx .

 

 

 

 

 

 

 

 

n {(x, p), p

S

(x )} {(x, p), p

S

(x)}.

 

 

 

 

x

0

0

x

0

 

 

 

 

Rn

 

 

 

 

 

 

 

 

 

p

n (t) {(x, p}, x X (x0

,t), p P(x0 ,t)}

 

 

B n

n

 

l

 

 

 

 

 

 

 

A

 

 

 

 

 

 

 

 

 

 

Rn

 

x

 

x1

xn

Пусть lAB n гладкая кривая, однозначно проектируемая на Rxn . Тогда:

 

B

pdx x S0 dx S0 (B) S0 ( A) этот интеграл локально не зависит от формы пути.

lAB A

Если поверхность n односвязная, то слово «локально» можно опустить. Такая поверхность называется лагранжевой.

Лемма означает, что n (t) {(x, p), p

x

S(x,t), x X (x ,t)} - также лагранжева по-

 

 

 

 

0

верхность, т.е.

pdx S(B,t) S( A,t) , т.е. поверхность существует для любого мо-

 

lAB n (t )

 

 

 

 

мента времени.

 

 

 

 

 

t

В точках, имеющих вертикальные касательные

n

J (x0 ,t)

X (x0 ,t)

0 , т.е. нарушается условие (*).

(t)

 

 

x0

 

 

 

 

 

 

Такие точки называются фокальными. При наличии та-

 

ких точек уравнение x=X(x0,t) может иметь более 1 ре-

 

шения (на рисунке решений 3).

x

Движение частиц в фазовом пространстве происходит по лагранжевым поверхностям.

Уравнения математической физики, семестр 1. Глава 1 «Уравнения 1-ого порядка».

29

Глава 2 «Уравнение диффузии или теплопроводности. Метод разделения переменных (метод Фурье) его решения»

§1. Получение уравнения диффузии или теплопроводности

Параметры.

 

x R3.

 

Теплопроводность:

u(x,t) – температура.

 

D(x,t) – коэффициент теплопроводности.

 

c(x,t) удельная теплопроводность.

 

f(x,t) – плотность тепловых источников.

 

(x,t) – плотность вещества.

Диффузия:

u(x,t) – концентрация.

 

D(x,t) – коэффициент диффузии.

 

c(x,t) – пористость среды.

 

f(x,t) – плотность источников вещества.

Вывод уравнения диффузии или теплопроводности.

dS

V

S V

 

 

 

(2) Q3

 

 

c

t

 

 

V

 

 

 

 

 

 

u

 

 

u

 

 

 

 

 

 

 

 

Q1

 

D

 

 

dS

div(D u)dV по формуле

 

 

 

n

 

 

 

S

 

 

V

 

 

 

 

 

 

 

n

 

Грина-Стокса-Острогацкого-Гаусса из векторного

 

 

 

 

анализа. Здесь

u

 

 

 

n

n, u , а dV=d3x.

 

 

 

 

 

 

 

 

 

 

 

 

Q2 f (x,t)dV .

 

 

 

 

V

 

 

 

 

 

 

 

 

Q3=Q1+Q2 по закону сохранения энергии.

 

 

 

(1)

Q3

 

 

 

c u(x,t)dV .

 

 

 

 

 

 

 

 

 

t

 

 

 

 

 

 

 

 

 

 

 

 

 

 

V

 

 

 

 

 

 

 

 

 

 

u(x,t)dV

c u dV div(D u)dV f (x,t)dV.

t

 

V

 

 

 

 

V

 

V

 

 

 

 

 

 

 

Считая все функции гладкими и применяя теорему о среднем к полученным тройным интегралам в формуле (2) и стягивая объем к произвольной точке x (устремляя его к 0), переходим к дифференциальному уравнению:

 

 

 

(3)

(c u) div(D u) f (x,t).

t

 

 

Оно неоднородное при f 0, линейное при f 0, с переменными коэффициентами.

 

 

 

 

 

 

 

 

Рассмотрим случай, когда c, , D – константы. Заметим, что div(u) u . Тогда:

(3)

u

a2 u F (x,t) , где a2

 

D

, а F (x,t)

f (x,t)

.

t

c

 

 

 

 

 

c

Уравнения математической физики, семестр 1. Глава 2 «Уравнение диффузии или тепло- проводности. Метод разделения переменных (метод Фурье) его решения».

30

§2. Постановка начально-краевой или смешанной задачи для уравнения диффузии или теплопроводности.

(1)u a2 u F (x,t).t

 

 

 

 

 

 

 

 

 

 

t

 

x , 0<t<T.

 

 

 

 

 

 

 

 

 

 

 

 

 

t 0 (x) - начальное условие.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(2)

u

 

 

 

 

 

 

 

 

 

T

 

 

 

 

ЦT

(0,T ).

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

R3

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(3) граничные условия:

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

- краевое условие I-ого рода. Если =0, то данное краевое

3a) u

(x,t), x

условие называют условием Диришле.

 

 

3б)

D

u

 

(x,t) -

краевое условие II-го рода. Если =0, то данное краевое

 

 

 

 

 

 

 

n

 

 

 

 

 

 

 

 

 

 

 

 

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

3в)

D

u

 

k(u c0 )

 

- краевое условие III-го рода. Это закон Фурье теплооб-

 

 

 

 

 

 

n

 

 

 

 

 

 

 

мена тела с окружающей средой, температура которой равна c0.

Задача {(1), (2), (3)} называется начально-краевой или смешанной задачей.

§3. Смешанная задача с краевым условием I-ого рода

Утверждение 1 (о редукции задачи (1)-(3) к задаче с однородным уравнением и однородными граничными условиями).

От задачи (1)-(3) можно перейти к задаче (1’)-(3’).

(1')

u a2 u,

f 0,

 

t

 

 

 

 

 

 

 

(x),

(x) L2 ( ),

(2')

u

t 0

 

 

 

0,

0.

 

 

(3')

u

 

 

 

 

 

 

 

 

 

Обоснование редукции.

1) u=q=v+w, где w – произвольная функция, удовлетворяющая условию:

w(x,t).

Ит.о. мы переходим к задаче:

Уравнения математической физики, семестр 1. Глава 2 «Уравнение диффузии или тепло- проводности. Метод разделения переменных (метод Фурье) его решения».

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