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

attachments_26-06-2014_11-15-27 / Лекц 24 Пар 18 Обобщ Задача Коши

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

§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