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

attachments_26-06-2014_11-15-27 / Лекц 26 Пар 18 ПРОпродолж

.pdf
Скачиваний:
16
Добавлен:
30.05.2015
Размер:
295.42 Кб
Скачать

 

 

 

 

 

 

 

 

 

 

 

§18 (продолжение-2)

 

 

 

 

 

 

 

 

 

 

 

Определение 18.17. Функция вида V 0 t, x E t, x

t u

x ,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0

 

 

 

 

где u0 x является регулярной обобщенной функцией, называется

 

 

 

 

поверхностным тепловым потенциалом.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Теорема 18.18. Если функция u0 x ограничена и измерима на

n , то

 

V 0 t, x u0

E t, x d

 

 

t

 

 

 

 

 

u0 e

 

 

x

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

4a2t

d ,

(157)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n

 

 

 

 

 

 

 

 

 

 

 

 

 

2a

 

t

 

 

 

 

 

 

 

 

 

 

 

 

 

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

V 0 t, x

 

sup

 

u0

 

.

 

 

 

 

 

 

 

 

 

(158)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Если функция u

 

x непрерывна, то

V 0 t, x C t 0

 

и выполнено

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

t

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0

 

 

 

 

u0

x

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

V

 

 

 

 

.

 

 

 

 

 

 

 

 

 

(159)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

t, x

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

t 0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Доказательство. Докажем сначала (158):

 

 

 

 

 

 

 

 

 

 

 

 

 

 

V 0 t, x

 

 

 

u0

 

E t, x d sup

 

 

 

 

 

 

 

 

 

u0

 

E t, x d sup

 

u0

 

 

 

 

 

 

 

 

 

 

 

 

n

 

 

 

 

 

 

 

 

 

 

 

 

n

 

 

 

 

 

 

 

 

n

 

 

 

 

 

 

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

Отсюда следует, кроме того, что для свѐртки E t, x t u x

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0

 

 

 

 

 

 

 

выполнены условия теоремы 11.3 и справедлива формула (81). Из (81), (126) и определения 18.17 прямо следует (157).

Допустим теперь, что u0 x − непрерывная функция. Тогда

u0 E

n

x

 

V 0 t, x u0 x

 

(157)

u0 E t, x d u0 x

 

 

 

 

 

 

 

 

 

 

 

 

n

 

 

 

 

 

 

 

 

 

 

 

 

t, x d u0 x E t, x d

 

 

u0 u0 x

 

E t, x d

 

 

 

 

 

n

 

 

 

 

 

n

 

u0 u0 x

 

E t, x d

 

 

 

 

 

u0 u0 x

 

E t, x d .

 

 

 

 

 

 

 

 

 

 

 

 

 

x

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Зафиксируем теперь точку x . Поскольку u0 x − непрерывная функция, то u0 x u0 для x , следовательно,

 

V 0 t, x u0 x

 

 

 

 

E t, x d

 

 

 

u0 u0 x

 

E t, x d .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x

 

 

 

x

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Первый интеграл не превосходит 1. Если во втором интеграле сделаем замену

z

k

=

xk

k

, k 1, , n , то

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2a t

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

V 0 t, x u0

x

 

 

2

 

sup

 

u0

 

 

 

 

 

 

 

 

 

e

 

z

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

dz

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n

 

 

 

 

 

 

 

 

z

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2 dz

 

 

n <+ , а значит,

 

 

 

 

 

 

 

 

 

 

2a

t

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Ясно, что e

 

z

 

 

 

 

 

 

 

 

 

e

 

z

 

2 dz 0

 

 

 

 

 

 

 

 

 

 

 

 

 

при t 0 .■

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n

 

 

 

 

 

 

 

 

 

 

 

z

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2a t

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

П.5. Классическая задача Коши

В этом пункте выводятся следствия из всей совокупности результатов, полученных ранее в этом параграфе. Эти следствия (теоремы 18.19 и 18.20) говорят о корректности задач Коши для волнового уравнения и уравнения теплопроводности. Из их формулировок ясно, в каком смысле понимается корректность краевой задачи.

Доказательства этих следствий оставляются читателю, потому что они получаются простым комбинированием теоремы 14.7 и фактов предыдущих пунктов §18.

Теорема 18.19. (а) Решение классической задачи Коши для волнового уравнения (136) существует и единственно. Оно задаѐтся формулами:

при n = 1 (формула Даламбера)

u t, x

u x at u x at

 

 

1

 

 

x at

 

 

y dy

 

 

 

1

t

 

 

as

 

f t s, x y dy ,

 

 

0

2

 

 

 

 

 

 

 

 

2a

 

 

 

 

 

 

2a

 

 

 

 

 

 

 

0

 

 

 

 

 

 

 

 

 

 

 

 

u

 

 

 

 

 

 

ds

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x at

 

 

 

 

 

 

 

 

 

 

 

0

 

 

as

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

при n = 2 (формула Пуассона)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

u t, x

1

t

 

 

 

 

f t s, x y

dy

 

 

1

 

 

 

 

 

 

 

u x y

 

dy

 

 

 

 

1

 

 

 

 

u x y

 

 

 

ds

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0

 

 

 

 

dy ,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2 a 0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2 a

 

y

 

at

 

 

 

 

 

 

 

 

 

 

t

 

 

2 a

 

y

 

at

 

 

 

 

 

 

 

 

 

 

y

 

as

a2t2

 

y

 

2

 

 

 

 

a2t2

 

y

 

2

 

 

 

a2t2

 

y

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

при n = 3 (формула Кирхгофа)

u t, x

1

t

 

 

 

f t s, x y

 

1

 

 

 

 

x y ds

 

 

1

 

 

 

 

 

 

 

 

 

 

ds

 

 

dy

 

 

 

u

 

4 a2

 

 

 

 

 

 

 

 

 

 

 

 

s

4 a2

 

 

1

 

t

4 a2

 

 

0

 

y

as

 

 

 

 

x

at

 

 

 

 

 

x at

u x y ds .

0

(б) Решение задачи (136) непрерывно зависит от еѐ данных в следующем смысле: если кроме (136) рассмотреть ещѐ задачу (136~), где функции f,

u0, u1, u заменены соответственно на функции f , u0, u1, u , причѐм

 

 

f f

,

 

 

u u

 

 

,

 

u u

 

 

,

 

grad u grad u

 

1

,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0

0

 

0

 

 

1

1

 

1

 

 

0

0

 

0

 

 

то:

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

u t, x u t, x

 

 

T 2

T 1

0

 

 

0 t T

при n 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

u t, x u t, x

 

 

 

T 2

 

 

 

2

 

 

 

 

 

 

 

0 t T

при n 2,3 .

 

 

 

 

T 1 0

aT

01

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Аналогичная теорема имеет место и в отношении уравнения теплопроводности.

Теорема 18.20. Пусть функции f t, x и u0 x непрерывны и ограничены для всех x n и 0 t T , T . Тогда

(а) Решение классической задачи Коши (138) существует, единственно и может быть записано в виде суммы двух потенциалов (см. (154) и (157)):

u t, x V t, x V 0 t, x .

(160)

(б) Решение задачи (138) непрерывно зависит от еѐ данных, т.е. «малое»

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

 

изменению решения.