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

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

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

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

Так же непосредственно из 18.10 вытекает

Теорема 18.12. Потенциалы простого и двойного слоя существуют и заданы формулами:

V1(0) (t, x)

V2(0) (t, x)

V3(0) (t, x)

V1(1) (t, x)

V2(1) (t, x)

V3(1) (t, x)

 

(t)

 

 

 

at

 

 

 

 

 

 

 

 

 

 

 

 

 

u (x )d ,

 

 

2a

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

at

 

 

 

 

 

 

 

 

(t)

 

 

 

 

 

 

 

u1(x )

 

d ,

2 a

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

a2t2

 

 

 

2

 

 

 

 

 

at

 

 

 

 

 

 

 

 

 

 

 

 

 

(t)

 

 

 

 

 

 

 

u1(x )dS ,

2

 

 

 

4 a t

 

 

 

at

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(t) at

u0 (x )d ,t 2a at

 

 

 

 

 

(t)

 

 

 

 

 

 

 

 

u0 (x )

 

 

 

 

 

 

 

 

 

 

 

 

d

,

 

 

 

 

 

 

 

t

 

2 a

 

 

 

at

 

2 2

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

a t

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(t)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

u0 (x )dS .

 

 

2

 

 

 

t

 

4 a

t

 

 

 

at

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(144)

(145)

(146)

(147)

(148)

(149)

 

Замечание 18.13. Имеет место формула V (1)

 

 

V (0)

, но вместо функ-

 

 

 

 

 

 

 

 

 

 

 

n

 

t n

 

ции u1(x) нужно записывать u0(x).

 

 

 

 

 

Также из 18.10 непосредственно выводится

 

 

 

 

 

Теорема 18.14. (а) Пусть функция f (t, x) C2

(t 0)

(при n = 1 доста-

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

t

 

 

 

точно

f (t, x) C1

(t 0) ), причем f (t, x) 0 при t 0 . Тогда

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

t

 

 

 

 

 

 

 

 

 

 

 

V (t, x) C2

(t 0) и

 

 

 

 

 

 

 

 

 

n

 

 

 

 

 

 

 

 

 

 

 

 

 

t

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

t2

 

,

 

 

 

(150)

 

 

 

 

V (t, x)

max

f (u, z)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n

 

2 u,z Qn

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

где Qn− некоторый компакт, зависящий от t и x.

(б)

V (0)

(t, x)

 

t sup

 

u ( )

 

,

(151)

 

 

 

 

n

 

 

Qx

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(в)

 

 

 

 

 

 

V (1)

(t, x)

sup

 

u ( )

 

,

 

 

 

 

 

 

 

 

(152)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

Qx

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

V (1) (t, x)

sup

 

u

0

( )

 

at sup

 

gradu

( )

 

,

 

 

 

 

(153)

 

 

 

 

 

 

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Qx

 

 

 

 

 

 

 

Qx

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n = 2, 3,где Qx есть шар в

n с центром в точке x, радиуса at при n = 1, 2 и

сфера этого же радиуса и с тем же центром при n = 3.

 

Доказательство. (a) Рассмотрим случай n = 1. В формуле (141) сделаем

замену x y = z, t s = u и получаем

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

V

 

 

 

1

t x au max

 

f (u, z)

 

dzdu

t2

max

 

f (u, z)

 

,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

2a

 

 

Q

 

 

 

 

 

2

Q

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0 x au

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

где область G1

есть следующий треугольник:

 

 

 

 

 

 

 

 

u

t

x-au

x

x+au

z

 

 

 

 

(б) Рассмотрим случай n = 2. Применяя стандартный приѐм внесения модуля под знак интеграла и оценивая функцию u1, получим из (145)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

sup

 

u1( )

 

 

1

 

 

 

 

 

 

 

 

d

 

 

 

 

.

 

 

 

 

 

 

 

 

 

 

 

 

V2(0) (t, x)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Qx

 

 

 

 

2a

 

 

 

at

 

 

a2t2

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Последний интеграл найдѐм, перейдя к полярным координатам:

 

 

 

 

 

d

 

2 at

rdr

 

 

 

 

 

 

 

at

0,5 d

a2t2 r2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

d 2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2at .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

at

 

a2t2

 

 

 

2

0 0

 

a2t2 r2

 

 

 

 

0

 

 

 

 

 

 

a2t 2 r 2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(в) Рассмотрим случай n = 3. Заметим, что в (149)

u0 (x

at

поэтому V3(1) (t, x)

)dS at a2t2

 

 

(t)

 

 

 

 

 

 

2 2

 

u0 (x

 

 

 

t

2

a t

 

4 a t

 

 

 

 

1

 

 

 

 

 

u0 (x at )dS ,

1

at )dS

 

 

 

(t)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

u

 

(x at )dS t

 

u

 

(x at ) dS .

 

(**)

 

 

 

 

 

0

 

 

 

 

 

 

 

 

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

4

 

 

1

 

 

 

 

 

 

 

 

 

 

 

1 t

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

u (x at )

 

u (x at , x at

 

, x at

 

)

 

 

 

 

2

3

 

Но t

0

 

 

 

 

 

 

 

 

 

 

 

t

0

1

1

2

 

 

 

 

 

 

3

 

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

a grad u0(x at ),

 

 

 

 

 

 

 

 

 

 

 

 

(t)

 

 

 

 

0

 

 

 

 

 

 

 

 

 

 

 

0

 

 

 

 

Значит, (**)

 

 

 

 

 

 

 

 

 

 

gradu

), dS

 

 

 

 

 

 

u (x at )dS at

 

 

 

 

(x at

,

 

 

 

 

 

4

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

откуда и следует неравенство (153).

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

П.4 Тепловые потенциалы.

Мы видели (теорема 18.5), что классическая задача Коши сводится к уравнению (139) в пространстве обобщенных функций:

vt a2 v (t) f t, x u0 (x) (t) .

Определение 18.15. Функция вида V t, x E t, x (t) f t, x , где

f t, x – регулярная обобщенная функция, называется объемным тепловым потенциалом.

Теорема 18.16. Пусть f t, x − локально интегрируемая функция,

которая является ограниченной на множестве 0,T Rn для каждого T 0 . Тогда функция V t, x E t, x (t) f t, x существует и является

локально интегрируемой, ограниченной на каждой полосе вида 0,T n и удовлетворяет следующим условиям:

t

d

 

 

 

 

 

x

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

t d ,

 

 

V t, x

 

 

f , e

4a

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(154)

 

 

 

 

 

 

 

 

 

 

 

 

0 2a

 

 

 

n Rn

 

 

 

 

 

 

 

 

 

 

 

 

 

t

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

V t, x

 

t

sup

 

f ,

 

,

 

(155)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0,T

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

V t, x 0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

при t 0 .

 

 

 

 

 

 

 

 

 

(156)

 

 

 

 

 

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Если потребовать, чтобы f t, x C2 t 0 , то V t, x C2 t 0

C1 t 0 .

Доказательство. По условию

 

f t, x

 

− локально интегрируемая

функция. Кроме того, мы знаем, что функция E t, x также является

локально интегрируемой функцией (см. §17). Значит, их свертка может быть записана в виде

t

 

E t, x f t, x d f , E t , x d

0

n

 

Если подставить в последнюю формулу явный вид для фундаментального решения E t, x , то получим формулу (154). Учитывая, что функция E t, x

неотрицательна и интеграл от нее по x по всему n

равен 1, получаем

 

 

 

 

 

 

E t, x f t, x

 

 

t

 

 

 

f ,

 

E t , x d

 

 

 

 

 

 

 

 

 

 

 

 

 

d

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

t

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

sup

 

f ,

 

d E t , x d

sup

 

 

f ,

 

t,

 

 

 

 

 

 

 

 

 

 

 

0,T ,

n

0

 

 

n

 

 

 

 

 

 

0,T ,

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

т.е. формулу (155). Теперь пусть t 0 . По условию

sup

 

 

 

f ,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0,T ,

n

 

 

 

величина конечная, следовательно, из неравенства (155)

получаем

 

 

 

 

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

V

 

t, x

 

0 , т.е. условие (156).

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Заметим также, что V t, x 0

 

при t 0 , поскольку подобным

свойством обладают функции f t, x и E t, x . Из неравенства (156) следует

 

V t, x

 

T

max

 

f x,t

 

при 0 t T . ■

 

 

 

 

 

 

 

 

0 t T , x Rn