attachments_26-06-2014_11-15-27 / Лекц 26 Пар 18 ПРОпродолж
.pdf
|
|
|
|
|
|
|
|
|
|
|
§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) непрерывно зависит от еѐ данных, т.е. «малое»
изменение правой части и начального условия приводит к «малому» |
|
изменению решения. |
■ |