attachments_26-06-2014_11-15-27 / Лекц 24 Пар 18 Обобщ Задача Коши
.pdf§18. Обобщённая задача Коши
П.1. Обобщённая задача Коши для волнового уравнения
Классическая задача Коши для этого уравнения имеет вид:
u |
a2 u f (x,t), |
|
|
|
tt |
|
|
u(x,0) u0 (x), |
(136) |
||
u (x,0) u (x). |
|
||
|
t |
1 |
|
Правая часть f t, x определена при t 0 и решение u t, x должно быть функцией, определенной при t 0 и удовлетворяющей условиям задачи (136). Будем считать функцию f t, x непрерывной. От решения требуем,
чтобы u(x,t) C1(t 0) C2(t 0) .
Задачу Коши (136) нельзя напрямую рассматривать в пространстве обобщѐнных функций, т.к. для обобщенной функции не определено значение при t 0. Следующая теорема описывает «перевод» задачи (136) на язык обобщенных функций.
Теорема 18.1. Пусть функция u t, x является классическим решением задачи (136). Тогда функция
v t, x t u t, x
является обобщѐнным решением уравнения
vtt a2 v t f t, x t u1 x t u0 x . (*)
Доказательство. Предположим, что u(x,t) C1(t 0) C2(t 0) и удовлетворяет задаче (136). Применим теорему 9.7 (точнее, формулу (69)):
vt vt t u 0, x ut t t u0 x .
u0 x
vtt utt t t u1 x ' t u0 x .
v t u .
Отсюда
v a2 v f t, x t t u x ' t u |
x . |
||
tt |
1 |
0 |
|
Следовательно, v x,t – решение уравнения (*). |
|
■ |
|
Определение 18.2. Обобщенной задачей Коши для волнового уравнения |
|||
называется всякое уравнение вида |
|
|
|
v |
a2 v F t, x |
, |
(137) |
tt |
|
|
|
в котором обобщенная функция F t, x |
равна нулю при t 0 . |
|
|
Следствие 18.3. Классическое решение задачи Коши для волнового |
|||
уравнения является и еѐ обобщенным решением. |
|
||
Из теоремы 14.7 вытекает следующее утверждение. |
|
||
|
n 1 |
, причем F t, x 0 |
при t 0 . |
Теорема 18.4. Пусть F t, x D |
|
Тогда решение обобщенной задачи Коши (137) существует и оно может быть записано в виде v E F , где E t, x есть фундаментальное решение оператора теплопроводности. ■
П.2. Обобщённая задача Коши для уравнения теплопроводности.
Классическая задача Коши для уравнения теплопроводности имеет вид:
|
|
2 |
u f t, x , |
|
ut a |
|
(138) |
||
|
u 0, x u0 x . |
|||
|
|
|||
|
|
|
|
|
По смыслу правая часть f t, x |
определена при t 0 |
и решение u t, x |
должно быть функцией, определенной при t 0 и удовлетворяющей условиям задачи (138). Будем считать функцию f t, x непрерывной. От
решения требуем, чтобы u t, x C t 0 C2 t 0 .
Заметим снова, что задачу Коши нельзя напрямую рассматривать в пространстве обобщенных функций, т.к. для обобщенной функции не определено значение при t 0.
Теорема 18.5. Пусть функция u t, x является классическим решением задачи (138). Тогда функция
v t, x t u t, x
является обобщѐнным решением уравнения
v |
a2 v t f t, x t u |
x |
(139) |
t |
0 |
|
|
Доказательство. По условию функция u t, x является классическим решением задачи (138) и, в частности, она непрерывно дифференцируема по t при t 0 и дважды непрерывно дифференцируема по x . Функция v t, x
имеет по переменной t разрыв первого рода, применим теорему 9.7 (точнее, формулу (69)):
vt vt t v t 0 ut t t u0 x ,
так как
v t 0 |
lim v t |
lim v t |
lim t u t, x |
lim t u t, x u 0, x 0 u0 x |
|
t 0 |
t 0 |
t 0 |
t 0 |
|
|
|
. |
|
С другой стороны, очевидно, что v t u . Из приведенных формул легко
следует утверждение теоремы. |
|
|
■ |
Определение 18.6. Обобщенной задачей Коши для уравнения |
|||
теплопроводности называется каждое уравнение вида |
|
||
vt a2 v F t, x , |
(140) |
||
в котором обобщенная функция F t, x |
равна нулю при t 0 . |
|
|
Следствие 18.7. Классическое решение задачи Коши для уравнения |
|||
теплопроводности является и его обобщенным решением. |
■ |
||
Из теоремы 14.7 вытекает |
|
|
|
|
n 1 |
, причем F t, x 0 |
при t 0 . |
Теорема 18.8. Пусть F t, x D |
|
Пусть существует свѐртка v E F , где E t, x есть фундаментальное
решение оператора теплопроводности. Тогда v – решение обобщенной задачи Коши (140). ■
П.3 Волновые потенциалы.
Определение 18.9. Решение уравнения (137) мы будем обозначать:
а) Vn (t, x) , если F(t, x) (t) f (t, x) , б) Vn(0) (t, x) , если F(t, x) (t) u1(x) ,
в) Vn(1) (t, x) , если F(t, x) (t) u0(x) , и называть
Vn (t, x) − (объемным) волновым потенциалом, |
|
|||
V (0) |
(t, x) − волновым потенциалом простого слоя, |
|
||
n |
|
|
|
|
V (1) (t, x) − волновым потенциалом двойного слоя, n = 1, 2, 3. |
|
|||
n |
|
|
|
|
Следствие 18.10. (а) Vn t, x En t, x (t) f (t, x) |
|
|||
|
(б) V (0) t, x E |
t, x (t) u (x) |
|
|
|
n |
n |
1 |
|
|
(1) |
|
|
■ |
|
(в) Vn |
t, x En t, x (t) u0(x) |
Теорема 18.11. Пусть f(t,x) − локально интегрируемая функция такая, что f(t,x) = 0 при t < 0. Тогда функция Vn (t, x) является локально интегрируе-
мой и при n = 1,2,3 справедливы формулы:
V t, x |
1 t |
ds |
|
|
f t s, x y dy |
(141) |
|
|
|
|
|
||||
2a |
|
|
|||||
1 |
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
0 |
|
y |
as |
|
|
V2 t, x |
1 |
t |
|
|
f t s, x y |
|
|
|
|
|||||||||||
ds |
|
dy |
(142) |
|||||||||||||||||
2a |
|
|
|
|||||||||||||||||
|
||||||||||||||||||||
|
|
|
|
|
|
as |
|
|
a2s2 |
|
y |
|
2 |
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
||||||||||||
|
|
0 |
y |
|
|
|
|
|
|
|
|
|||||||||
V3 t, x |
|
1 |
|
t |
|
|
|
f t s, x y |
|
|
||||||||||
|
|
ds |
|
|
|
dS |
(143) |
|||||||||||||
|
4a |
2 |
|
|
||||||||||||||||
|
|
0 |
|
|
y as |
|
s |
|
||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Доказательство. Формулы получаются непосредственным вычислением свѐрток из 18.10. Докажем локальную интегрируемость, например V2 t, x . Зафиксируем положительные числа T, R, и рассмотрим компакт
K [0;T ] U (0; R) |
3 . |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||
|
|
|
V2 t, x |
|
|
|
|
|
|
1 |
|
|
t |
|
|
|
|
|
|
|
|
|
f (t s, x y) |
|
|
|
|
|
||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||
|
|
|
dxdt |
|
|
|
|
|
|
|
|
|
|
|
dyds dxdt |
|||||||||||||||||||||||||||||||||||||||
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||
|
|
|
2a |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
a2s2 |
|
y |
|
2 |
|
|
|||||||||||||||||||||||||||||||||||||||||
K |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
K |
|
0 |
y |
as |
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||
|
|
|
|
T |
|
|
|
|
|
|
1 |
T |
|
|
|
|
|
|
|
|
|
|
f (t s, x y) |
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
dyds dxdt |
||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||
|
|
|
2a |
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
a2s2 |
|
y |
|
2 |
|
|
||||||||||||||||||||||||||||||||||
|
|
|
|
0 |
|
x |
|
R |
0 |
|
y |
|
as |
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||
|
1 |
T |
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
T |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
f (t s, x y) |
|
dxdt dyds |
||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||
2a |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||
|
|
|
|
a2s2 |
|
y |
|
2 |
|
|
||||||||||||||||||||||||||||||||||||||||||||
|
|
as |
|
|
|
|
|
|
|
R |
||||||||||||||||||||||||||||||||||||||||||||
|
0 |
y |
|
|
|
|
|
0 |
x |
(Мы воспользовались взаимной независимостью пределов интегрирования в интегралах по dxdt и dyds). Рассмотрим теперь внутренний интеграл по dxdt и
сделаем в нѐм замену t s t , |
|
x y x . Тогда |
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||
T t T , |
|
x |
|
|
|
x |
|
|
|
y |
|
R as R aT : . Теперь этот интеграл, учитывая |
||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||
ещѐ локальную интегрируемость функции f |
|
|
, можно оценить так: |
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
T |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
T |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
f (t s, x y) |
|
dxdt |
|
|
|
|
|
|
f (t , x ) |
|
dx dt M const . |
|||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||
|
|
0 |
x |
R |
|
|
|
|
|
|
|
|
|
|
|
|
T |
x |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||
|
|
|
|
V2 t, x |
|
|
|
|
|
|
|
|
|
|
M |
T |
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
dyds y1, y2 r, |
|||||||||||||||||||||||
Значит, |
|
|
dxdt |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||
|
|
2a |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||
|
|
|
a2s2 |
|
y |
|
2 |
|||||||||||||||||||||||||||||||||||||||||||||||||
|
|
K |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
0 |
y |
as |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||
|
M |
T 2 as |
|
|
|
|
|
|
rdr d |
|
|
|
M |
T as |
|
rdr |
|
|
|
|
|
|
|
|
|
|
M |
T as d a2s2 r2 |
|
|||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
ds |
|
|
|
|
|
|
|
|
ds |
|
|
|
|
|
ds . ■ |
||||||||||||||||||||||||||||||||
2a |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||
|
0 0 0 |
|
|
|
a2s2 r2 |
|
|
|
|
a |
0 0 |
|
|
a2s2 r2 |
|
|
|
|
|
|
a 0 0 2 a2s2 r2 |