УМФ ЛК
.pdf(1'')
(2'')
(3'')
31
~
F
v a2 v (F w a2 w),t t
v (x) w(x,0) ~, t 0
v 0.
2) v будем искать в виде v=v1+v2.
(*)
(*2 )
v |
|
|
~ |
|
|
|
2 a2 v2 F (x,t), |
||
|
t |
|
||
|
|
|
0, |
|
|
|
|
||
v2 |
t 0 |
|||
|
|
0. |
||
|
||||
v2 |
||||
|
|
|
|
|
v1 |
a2 v , |
|||
t |
1 |
|||
|
|
|
|
|
|
|
|
~ |
|
|
|
|||
v1 |
t 0 (x) |
|||
|
|
0. |
||
|
||||
v1 |
||||
|
|
|
|
Заметим, что (*2) – это задача (1’)-(3’).
3) Необходимо свести задачу (*) к задаче (1’)-(3’). Будем основываться на
принципе Дионеля.
Замечание.
Вспомним принцип Дионеля из О.Д.У.
u a(t)u F (t), |
|
|
|
||||
|
|
t 0 0. |
|
|
|
||
|
|
|
|
||||
u |
|
t |
|
|
|||
|
|
|
|||||
|
|
|
|
|
|
|
|
Тогда по принципу Дионеля u(t) W (t, )d , |
где w(t, ) удовлетворяет |
||||||
|
|
|
|
|
0 |
|
|
|
|
|
|
|
t |
|
|
|
|
W a(t)W 0, |
a(t )dt |
|
|
||
задаче |
|
t F ( ). |
W (t, ) F ( )e 0 |
. |
|
||
|
|
W |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
t |
|
|
(4) v2 (x,t) W (t, , x)d , где W удовлетворяет задаче: |
||||||||
|
|
|
|
|
|
0 |
|
|
|
|
|
W a2 W , |
x , |
||||
|
|
|
|
t |
|
|
|
|
|
|
|
|
~ |
|
|
||
|
|
|
|
|
0 t T , |
|||
|
|
|
|
|
||||
(5) |
W |
t F (x, ), |
||||||
|
|
|
|
|
|
0. |
|
|
|
|
|
|
|
|
|
||
|
|
|
W |
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
Обоснуем этот принцип. |
||||||||
|
0 |
|
||||||
v2 |
|
t 0 |
из формулы (4), v2 |
0 из третьего условия задачи (5). |
||||
|
||||||||
|
|
|
Уравнения математической физики, семестр 1. Глава 2 «Уравнение диффузии или тепло- проводности. Метод разделения переменных (метод Фурье) его решения».
|
v |
|
|
|
|
t |
|
|
|
t |
W |
|
|
|
||
|
2 |
|
|
|
W (t, , x)d |
|
d W (t, , x) |
|
||||||||
|
|
|
|
|
|
|
|
|
|
|
||||||
|
t |
|
|
t |
|
t |
t |
|||||||||
|
|
|
|
|
|
|
|
|
|
|||||||
|
|
|
|
|
|
0 |
|
~ |
|
0 |
|
~ |
|
|
||
|
|
|
2 |
|
t |
(4) |
2 |
|
|
|||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
F (x,t) a v2 F (x,t). |
|
|
|||||||
a |
Wd |
|
|
|||||||||||||
|
|
|
|
|
|
0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
~ |
t |
|
Задача (5) (1’)-(3’), т.к. полагая t |
~
для W как раз получаем задачу (1’)-(3’). Утверждение доказано.
32
(5) t |
~ |
|
2 |
|
|
a |
Wd F (x,t) |
|
0 |
|
|
|
~ |
~ ~ |
W (t, , x) W (t , x) W (t , x) , а
§4. Метод Фурье для однородной смешанной задачи с однородным граничным условием
Идея принципа Фурье.
Под классическим решением задачи (1)-(3) будем понимать функцию
u(x,t) C 2 (ЦT ) C(ЦT ) граничные условия.. Эту функцию будем искать в виде
|
|
|
|
1 |
|
|
|
|
V |
|
(4) |
u(x,t) T (t)V (x) T (t)V Ta |
V |
2 |
(t) |
(x) const . |
|||||
|
(1) |
2 |
|
2 |
|
T |
|
|
||
|
|
|
|
a TV |
|
|
|
|
|
|
|
|
|
|
|
|
a T |
|
V |
|
|
(5) |
T a2T 0. |
|
|
|
|
|
|
|
|
|
(6) |
V V . |
|
|
|
|
|
|
|
|
|
Для того, чтобы функция u удовлетворяла граничным условиям (3), необходимо, чтобы:
(7) V 0.
Задача (5)-(7) – это задача Штурма-Лиувилля.
Задача (6)-(7) эквивалентна спектральной задаче для самосопряженного оператора в L2( ), рассматриваемой в курсе функционального анализа. В качестве оператора здесь
|
|
|
|
|
ˆ |
|
|
|
ˆ |
2 |
( ) {u |
0}. |
||
выступает оператор |
H , который определен в области |
D(H ) C |
|
|||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Можно показать, что |
|
ˆ |
L2 . |
|
|
|
|
|
||||||
|
D(H ) |
|
|
|
|
|
||||||||
(8) |
|
ˆ |
|
, |
|
|
|
ˆ |
|
|
|
|
|
|
HV V |
V D(H ) - спектральная задача. |
|
|
|
|
|||||||||
Очевидно, что задача (8) эквивалентна задаче (6)-(7). |
|
|
|
|
||||||||||
Утверждение 2. |
|
|
|
|
|
|
|
|
|
|
|
|||
ˆ |
* |
|
ˆ |
ˆ |
|
|
|
|
|
|
|
|
|
|
1) H |
|
H , т.е. |
H формально самосопряжен (симметричен) на своей области опре- |
|||||||||||
деления (на |
ˆ |
|
|
|
|
|
|
|
|
|
|
|
||
D(H ) ). |
|
|
|
|
|
|
|
|
|
|
||||
ˆ |
|
|
ˆ |
|
|
|
|
|
|
|
|
|
|
|
2) H |
0 ( Hu,u L 0). |
|
|
|
|
|
|
|
||||||
|
|
|
|
|
2 |
|
|
|
|
|
|
|
|
|
Доказательство. |
|
|
|
|
|
|
|
|
|
|
||||
|
1) Первый пункт доказывается на основе II формулы Грина: |
|
|
|
||||||||||
|
|
|
(u v v u)d 3 x |
|
u v |
v u dS |
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
n |
n |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Уравнения математической физики, семестр 1. Глава 2 «Уравнение диффузии или тепло- проводности. Метод разделения переменных (метод Фурье) его решения».
Т.к. v, u D(H ) , то ( )dS 0 |
|
|
|
|
|
|
|
33 |
||||||||
|
|
|
|
|
|
|
|
|||||||||
|
|
|
ˆ |
|
|
|
|
|
|
|
|
|
|
|
|
|
u vd |
|
|
|
|
|
|
v, u L2 |
u, Hv v, Hu , |
что и |
|||||||
x v ud |
|
x u, v L2 |
||||||||||||||
3 |
|
|
|
|
3 |
|
|
|
|
|
|
ˆ |
ˆ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
требовалось. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2) Второй пункт доказывается на основе I формулы Грина: |
|
|
|
|
||||||||||||
v ud 3 x v, u dS v |
u dS |
|
|
|
|
|
|
|
||||||||
|
|
|
|
|
|
|
|
n |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
ˆ |
|
|
|
|
|
u |
u |
dS 0 |
Положим в этой формуле v u D(H ) из граничных условий |
n |
|||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
u ud |
|
x u |
|
dS 0 u( u)d |
|
x 0 u, Hu L2 |
|
|
|
|||||||
|
2 |
|
0 u D(H ). |
|||||||||||||
|
|
3 |
|
|
|
|
|
|
3 |
|
ˆ |
|
|
|
ˆ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Замечание.
Из утверждения 2 следует, что, если существуют собственные значения оператора
ˆ , то они вещественны и неотрицательны.
H
Теорема 1 (собственных значениях и собственных функциях задачи (8)).
1) Все собственные значения задачи (8) дискретны и не имеют конечного предела,
т.е. собственные значения: j, j N, причем j .
j
2) Все собственные значения имеют конечную кратность и их можно перенумеровать в порядке неубывания:
0< 1 2 … j j+1 …
3) Система собственных вещественных функций задачи (8) V j Vj |
ˆ |
||||||||||
D(H ) образо- |
|||||||||||
вывает ортогональный базис в L2( ), т.е. любая функция L2( ) раскладывается в |
|||||||||||
ряд Фурье: |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
,V j |
|
|
|
|
|||
(x) j |
(x)V j (x) , где j |
|
|
|
|||||||
|
|
|
|
. |
|
|
|
||||
|
V j |
|
|
|
|
|
|||||
|
j 1 |
|
|
|
|
|
|
|
|
|
|
|
N |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
jV j |
|
0 . |
|
|
|
|
|
|
|
|
|
j 1 |
|
N |
|
|
|
|
|
|
|
|
|
|
L2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Замечание (о формальном решении задачи). |
|
|
|
||||||||
Предварительно из формулы (5) мы найдем Tj (t) c j e |
ja2t |
, j N |
(5'). |
||||||||
|
|||||||||||
Подставив ее в (4), мы получим счетный набор функций-решений уравнения (1), |
|||||||||||
удовлетворяющий граничным условиям: u j (x,t) Tj (t)V j (x), j N. |
|
||||||||||
|
|
|
|
|
|
|
|
|
|
n |
|
Т.к. уравнение линейно, то и любая линейная комбинация |
Tj (t)V j (x) - решение |
j 1
исходного уравнения. Т.о. получаем формальное решение:
(9) u(x,t) Tj (t)V j (x).
j 1
Уравнения математической физики, семестр 1. Глава 2 «Уравнение диффузии или тепло- проводности. Метод разделения переменных (метод Фурье) его решения».
|
|
|
|
|
|
|
|
|
|
|
|
|
|
34 |
|
|
(x) . |
|
|
|
|
|
|
|
|
|
|
|
|
||
Используем начальное условие: u |
t 0 |
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
,V j |
|
||||||||||
(x) T j (0)V j |
(x) c jV j (x) . Т.к. Vj – базис, то c j |
|
|
|
|
|
|
|
|
|
|
|
(10). |
||
|
|
|
|
V j |
|
|
|
2 |
|
||||||
|
|
|
|
||||||||||||
j 1 |
j 1 |
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Т.о. формулы (5’), (9) и (10) определяют формальное решение исходной задачи (1)-
(3). Не трудно показать, что функция (9) дважды дифференцируема внутри цилиндра:
u(x, t) c j e ja tV j (x) C 2 (Ц T ), t 0. |
|
|
|
|
2 |
|
|
j 1 |
|
|
|
Ц T (0,T ). |
|
|
|
|
|
|
|
Заметим, что c j |
2 2 d 3 x в силу равенства Парсеваля. |
||
j 1 |
|
|
|
Но на самом деле можно доказать, что u(x, t) C (Ц |
T |
). |
|
|
|
|
Проблемы.
?
1)u(x, t) C(ЦT ).
2)Что будет с рядом при t=0 ?
|
|
|
|
(x) c jV j (x) (11) |
|
u |
t 0 |
|
|
|
j 1 |
Необходимое условие существования классического решения: (x) C( ) L2 ( ). 3) Когда ряд (9) сходится равномерно?
Теорема 2. |
|
|
|
|
||
|
|
ˆ |
2 |
( ) { |
|
0}. |
|
|
|
||||
Пусть (x) C( ) и (x) D(H ) C |
|
|
||||
|
|
|
|
|
|
Тогда ряд (11) сходится абсолютно и равномерно по x .
Следствие (о классическом решении задачи).
ˆ
Пусть C( ) и D(H ).
Тогда формула (9) дает классическое решение задачи (1)-(3).
Пример (безопасность ядерного реактора).
Имеется ядерный реактор с ураном в центре.
стержни
Ly |
U 238 |
Lx
Уравнения математической физики, семестр 1. Глава 2 «Уравнение диффузии или тепло- проводности. Метод разделения переменных (метод Фурье) его решения».
35
a – коэффициент диффузии нейтронов. |
|
|
|
||||||||||||
Вопрос: при каких a, Lx, Ly |
реактор не взорвется? |
|
|||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
~ |
qt |
, |
Сразу производим редукцию: т.к. f=qu, то u ue |
|
||||||||||||||
~ |
|
~ |
|
|
|
~ |
|
|
|
|
|
|
|
||
u |
a |
2 |
|
|
|
|
|
|
|
||||||
(1) |
t |
|
u , |
|
|
|
|
|
|
|
|||||
~ |
|
|
|
|
|
|
|
|
|
|
|
||||
~ |
|
|
|
(x, y), |
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
||||||
(2) |
u |
|
|
t 0 |
|
|
|
|
|
|
|
||||
~ |
~ |
|
|
|
0. |
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
||||||
(3) |
u |
|
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Условие отсутствия взрыва: |
|
u (x, y, t) |
|
|
const |
||||||||||
|
|
||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
t |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
где ~ удовлетворяет задаче: u
(*)
Решение задачи.
(4) |
|
|
|
|
|
~ |
qt |
. |
|
|
|
|
|
|
|
|
|
|
|
|||
|
u ue |
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||
(5) |
|
~ |
c j e |
ja2t |
V j (x, y) , где V j удовлетворяет задаче: |
|||||||||||||||||
|
u |
|
|
|
|
|||||||||||||||||
|
|
|
|
|
|
|
j |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
V V , |
|
|
|
|
|
|
|
|
||||||||||||
(6) |
|
|
|
|
|
|
|
|
|
|
|
|
|
0. |
|
|
|
|
|
|||
|
|
|
|
|
|
|
0. |
|
|
|
|
|
|
|||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||
|
|
V |
|
|
|
|
|
|
|
|
|
|
||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
2 |
|
|
|
2 |
|
|
|
|
|
|
|
|
|
|
|
|
||||||
|
|
|
|
|
|
|
|
|
|
V |
V . |
|
|
|
|
|
|
|||||
|
|
2 |
|
|
|
2 |
|
|
|
|
|
|
|
|||||||||
|
x |
|
|
|
y |
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
y |
|||||
(7) |
|
V (x, y) X (x)Y ( y), |
|
|
(6) |
|
|
|||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2 . |
||
(8) |
|
2 |
|
|
|
|
2 |
|
||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
2 |
|
x |
|
y |
|||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
(9) |
|
X (x) x |
2 |
X (x) |
0, |
|
|
Ly |
|
|
||||||||||||
|
|
|
|
|
||||||||||||||||||
|
|
|
|
|
|
|
||||||||||||||||
(10) |
|
Y ( y) |
y |
2Y ( y) 0, |
|
|
|
|
|
|||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
(9' ) |
|
X (0) X (Lx ) 0, |
|
|
|
|
x |
|||||||||||||||
|
|
|
|
|
|
|
||||||||||||||||
(10' ) |
|
|
Y (0) Y (Ly ) 0. |
|
|
|
Lx |
|||||||||||||||
|
|
|
|
|
|
|
(9),
(9' ), Т.о. (6)
(10),(10' ).
Решаем эту задачу.
X(x)=Acos( x x) + Bsin( x x).
X(0)=0=A A=0.
X(Lx)=0=Bsin( x Lx), B 0 sin( x Lx)=0 x Lx= n, n N.
Обозначим |
x,n |
(1) |
n , |
X |
n |
(x) sin( (1) x). |
|
n |
Lx |
|
n |
||
|
|
|
|
|
|
Аналогично |
y,m |
(2) |
m , |
Y |
( y) sin( (2) |
y). |
|
m |
Ly |
m |
m |
|
|
|
|
|
|
|
|
Решение задачи (6):
Уравнения математической физики, семестр 1. Глава 2 «Уравнение диффузии или тепло- проводности. Метод разделения переменных (метод Фурье) его решения».
36
|
V |
|
|
|
|
V |
m,n |
(x, y) sin( (1) x) sin( (2) ), |
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||
(11) |
|
j0 (m,n) |
|
|
|
|
|
|
n |
|
|
my |
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
|
|
|
|
|
|
|
|
|
(1) 2 |
( (2) ) 2 . |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
|
|
0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||
|
|
|
(m,n) |
|
|
m,n |
|
n |
|
|
m |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
|
j |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
Заметим, что |
(1) |
(1) |
n, |
(1) |
|
|
|
, |
(2) (2) |
m, (2) |
|
|
. |
|
|||||||||||||||||
|
0 |
|
|
|
|
||||||||||||||||||||||||||
|
|
|
|
|
|
|
n |
|
0 |
|
|
|
Lx |
|
|
m |
|
0 |
|
|
|
|
|
|
0 |
|
Ly |
|
|||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
Подставим (11) в (5), а затем (5) в (4). Т.о. мы получим: |
|
|
|
|
|
||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n |
m |
a t |
|
|
|
|
|
|
|
||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
(1) |
2 |
(2) |
2 |
|
2 |
|
|
|
|
|
|
|
|
|
|||
(12) |
u(x, y, t) eqt cn,m e |
|
|
|
|
|
|
|
|
|
|
|
sin( n(1) x) sin( m(2) y). |
||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
n 1 m 1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
L |
|
|
|
|
L |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
(13) |
2 |
|
2 |
|
(x, y) sin( |
(1) x) sin( (2) |
y)dxdy. |
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
n |
|
|
|
|
m |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
x |
|
|
|
y |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Когда выполняется (*)? |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||
Ответ: |
|
|
|
|
: q (1) 2 |
|
2 a 2 |
|
|
|
|
|
|
2 n2 |
(2) 2 m2 |
q . |
|||||||||||||||
n, m N, c |
n,m |
(2) |
|
0 a 2 |
(1) |
||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
n |
|
|
m |
|
|
|
|
|
|
|
0 |
|
|
|
|
|
0 |
|
|
|
||
Т.к. |
n, m N |
a 2 (1) |
2 n2 |
(2) 2 m2 a 2 |
(1) |
2 |
(2) |
2 , то достаточным |
|||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
0 |
|
|
|
0 |
|
|
|
|
|
0 |
|
|
|
|
0 |
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2 |
|
|
|
|
|
2 |
|
|
|
|
|
условием выполнения (*) является условие: a 2 |
|
|
|
|
|
q. |
|
||||||||||||||||||||||||
|
|
|
|
|
|
|
|||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2 |
|
|
|
|
|
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Lx |
|
|
|
Ly |
|
|
|
|
|
(1)
(2)
(3)
§5. Корректность начально-краевой задачи для уравнения диффузии с краевым условием I-ого рода
u a 2 u f (x, t), x , t (0,T ), |
|
t |
|
u t 0 (x), |
|
u (x, t), |
x . |
Определение (корректная постановка задачи).
Задача (1)-(3) называется корректно-поставленной, если выполняются следующие три условия:
1)Решение существует в некотором классе функций K1.
2)Решение единственно в некотором классе K2. При этом K1 K2. .
3)Решение устойчиво (непрерывно зависимо) относительно правой части начальных
|
t |
|
и граничных условий. |
|||
|
|
|
Ц T |
(0,T ). |
||
|
|
|
|
|
||
б |
|
|
0 |
|
|
{t 0}. |
|
|
|||||
|
|
б |
[0,T ]. |
|||
|
|
|
||||
|
|
0 |
x |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Уравнения математической физики, семестр 1. Глава 2 «Уравнение диффузии или тепло- проводности. Метод разделения переменных (метод Фурье) его решения».
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
37 |
Замечание 1. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
|
|
|
|
Решение представляется в виде: u uI |
uII , где uI отвечает задаче с |
f 0; , 0 , |
||||||||||||||||||||
а функция uII – |
f 0, , 0. |
|
|
|
|
|
|
|
|
|
|
|||||||||||||||
Замечание 2. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
|
|
|
|
Рассмотрим вопрос непрерывной зависимости функции uI |
от , . |
|
||||||||||||||||||||
|
|
|
|
Пусть |
~ |
|
соответствует |
задаче с |
~ |
~ |
|
Будем |
считать, что |
|||||||||||||
|
|
|
|
u I |
условиями , . |
|||||||||||||||||||||
|
|
|
|
~ |
|
|
|
1 |
, |
|
~ |
|
|
|
2 , |
1 , 2 |
0. Тогда требуется, чтобы |
|
uI |
~ |
|
|
|
( 1 , 2 ). Ответ |
||
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
uI |
|
|
|
на этот вопрос следует из принципа максимумов для задачи (1)-(3).
Теорема 1 (принцип максимумов).
Пусть uI(x,t) u(x,t) ( f 0) – классическое решение задачи (1)-(3).
Тогда наибольшее и наименьшее значения этого решения достигаются либо на нижнеи основании цилиндра 0 , либо на его боковой поверхности б ,т.е.
m min u(x, t) min u(x, t) min{min u(x, t), min u(x, t)} min{min (x), min (t, x)}, |
|||
Ц Е |
0 б |
0 |
б |
M max u(x, t) max u(x, t) max{max u(x, t), max u(x, t)} max{max (x), max (t, x)}.
Ц Е 0 б 0 б
Строгое доказательство этой теоремы смотри в учебнике. Она доказывается от противного.
Эта теорема очевидна с точки зрения сути процесса, а именно с точки зрения второго начала термодинамики.
«Доказательство».
Рассмотрим случай =1, n=1.
Пусть дано начальное распределение температур ( (x)). Согласно второму началу термодинамики, в дальнейшем энергия может только рассеиваться, т.е. температура только уменьшаться, т.е. максимум не может достигнуться в последующие моменты времени.
u |
u |
t 0 |
t 0 |
(x) u t 0 |
|
t |
t |
l |
l |
Пусть 0. Пусть нам дана температура на концах. В последующем от концов она будет распространяться по всему объему. Опять же, по второму началу термодинамики, где-то посередине она не может стать больше, чем на концах.
|
|
u |
|
|
u |
|||
|
|
t 0 |
|
|
|
|
t 0 |
|
1 C |
|
|
5 C |
1 C |
|
|
|
5 C |
|
|
|
||||||
|
|
t |
|
|
|
t |
||
|
|
|||||||
|
|
|
|
|
|
|
||
|
|
|
l |
|
|
|
l |
Уравнения математической физики, семестр 1. Глава 2 «Уравнение диффузии или тепло- проводности. Метод разделения переменных (метод Фурье) его решения».
38
Т.о. теорема «доказана».
Теорема 2 (о единственности классического решения).
Пусть f 0.
Тогда классическое решение задачи (1)-(3) единственно.
Доказательство.
Предположим противное. Пусть u1 , u2 – 2 решения задачи. Положим w=u1 - u2. Тогда w удовлетворяет задаче:
(1' ) |
w a 2 w, |
|||
|
t |
|
|
|
|
|
|
||
|
|
|
0, |
|
|
|
|
||
(2' ) |
w |
t 0 |
||
|
|
|
|
0. |
|
|
|
||
(3' ) |
w |
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
m M 0 |
|
|
|
|
|
По теореме 1 |
|
w(x,t) |
|
max |
|
m |
|
, |
|
M |
|
|
0 |
|
w |
|
0 w 0 u1 u2 , что и тре- |
|
|
|
|
|
|
|
|
||||||||||
бовалось. |
|
|
|
|
|
Теорема 3 (о непрерывной зависимости классического решения).
Пусть f 0.
Тогда классическое решение задачи (1)-(3) непрерывным образом зависит от началь-
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
~ |
|
|
|
|
|
|
|
|
|
~ |
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||
ных и граничных условий, а именно: |
|
|
|
|
|
|
|
C ( 0 ) 1 |
, |
|
|
|
|
|
|
|
C ( б ) 2 |
|||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||
|
|
|
|
~ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
|
|
|
|
u u |
|
|
|
|
|
|
|
|
|
|
|
( |
1 , 2 ) |
max{ 1 , 2 }. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||
|
|
|
|
|
|
|
|
|
C ( ЦT ) |
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
Доказательство. |
~ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
. По условию теоремы: |
1 w(x,0) 1 , |
(x, t) 0 и, ана- |
|||||||||||||||||||||||||||
|
|
|
|
Положим w u u |
||||||||||||||||||||||||||||||||||||||||||||
логично, 2 |
w(x, t) 2 , (x, t) б . |
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||
|
|
|
|
Согласно теореме 1 |
m w(x, t) M , (x, t) ЦT , где |
|
||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
m min{min w, min w} min{ 1 , 2 } max{ 1 , 2 }, |
|
|||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
0 |
б |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
|
|
|
|
M max{max w, max w} max{ 1 , 2 }. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
0 |
|
|
б |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
Т.о. мы получаем, что (x, t) ЦT , max{1 , 2 } w(x, t) max{1 , 2 } |
||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
w |
|
|
|
|
|
max |
|
w |
|
max{1 , 2 } . Теорема доказана. |
|
|||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
C ( Ц T ) |
|
||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
ЦT |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
Теорема 4. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||
Пусть u=uII ( f 0, , 0) – решение задачи (1)-(3), где f C(ЦT ) . |
|
|||||||||||||||||||||||||||||||||||||||||||||||
Тогда: |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1)Оно единственно.
2)Имеет место, так называемая, априорная оценка:
(4)u(x, t) C ( ЦT ) const(T ) f (x, t) C ( ЦT ) .
Очевидно, что из (4) следует непрерывная зависимость uII от f.
Уравнения математической физики, семестр 1. Глава 2 «Уравнение диффузии или тепло- проводности. Метод разделения переменных (метод Фурье) его решения».
39
Доказательство.
1)Первое утверждение доказывается аналогично теореме 2 (от противного).
2)Получим априорную оценку, используя принцип Дионеля.
T
0
t |
|
|
|
|
|
t |
|
|
t |
|
|
|
|
|
(x,t) ЦT |
|
u(x,t) |
|
|
|
W (x,t, )d |
|
|
max |
|
W (x,t, ) |
|
d |
|
|
|
|
|
|||||||||||
|
|
|
|
|
||||||||||
|
|
|
|
|
|
|
|
x |
|
|
|
|
||
|
|
|
|
|
|
0 |
|
|
0 |
|
|
|
|
|
|
|
T |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
T |
|
|
|
|
|
|
|
|
|
|
|
Ц ,T |
б |
max |
|
W (x,t, ) |
|
d |
max max |
|
W (x,t, ) |
||||||||||||||||||||
|
|
|
|||||||||||||||||||||||||||
|
|
|
|||||||||||||||||||||||||||
|
0 |
|
x |
0 |
|
t T |
x |
||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||
|
|
T |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1) T |
2) |
||||||||||
|
x |
|
|
max |
W (x,t, ) |
|
d max |
|
f (x, ) |
|
d |
||||||||||||||||||
|
|
|
|
|
|||||||||||||||||||||||||
|
|
|
|
|
|
||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||
0 |
|
0 |
( x,t ) Ц ,T |
|
|
0 |
x |
|
|
|
|
|
|
|
|||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
max |
|
f (x,t) |
|
T T |
|
f |
|
|
|
. |
|
|
|
|
|
|
|
||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
C ( ЦT ) |
|
|
|
|
|
|
|
|||||||||||
|
|
( x,t ) ЦT |
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
d
T
max max |
|
f (x, |
|
d |
|
|
|
||||
0 T |
|
|
|
|
|
|
|
||||
0 |
|
||||
|
|
|
|
|
Объяснение оценок:
1)Следует из принципа Дионеля: W (x,t, ) t f (x, ) .
2)По теореме 1, т.к. она справедлива для цилиндра Ц ,T (t t- ).
Т.о. априорная оценка доказана. При этом const(T) T.
Замечание 3 (о локальности решения).
Все рассуждения справедливы лишь на конечных временах (T 1). При T ничего сказать нельзя. Оценка равномерна на любом T, но фиксированном. Она неравномерна по T R1 (0, ). И, тем не менее, принцип максимумов справедлив и в случае переменных коэффициентов.
Замечание 4 (о решении задачи для струны). |
|
|
|||||||||||||
Метод разделения переменных (метод Фурье) для задачи: |
|
||||||||||||||
|
2u |
a2 u, |
x |
, 0 t T , |
|
|
|
||||||||
(1) |
t 2 |
|
|
|
|
||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
(2) |
u |
t 0 |
|
(x), |
|
|
|
|
|
||||||
|
ut |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
t 0 (x), |
|
|
|
|
|
||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
(3) |
u |
|
0. |
|
|
|
|
|
|||||||
|
|
|
|
T |
|
|
V . |
|
|
|
|||||
|
|
|
|
|
|
|
|
||||||||
u=T(t)V(x) |
|
|
|
|
|
||||||||||
a2T |
|
|
|
||||||||||||
|
|
|
|
|
|
|
|
|
|
V |
|
|
|
||
(4) |
V V , |
|
|
|
|
|
|||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
V |
|
|
|
|
0, |
|
|
|
|
|
||||
(4') |
|
|
|
|
|
|
|
||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
T a2T 0. |
|
|
|
|
|||||||||||
(5) |
|
|
|
|
|||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Аналогично предыдущему методу Фурье из задачи (4)-(4’) находим j, соответству- |
|||||||||||||||
ющие Vj, j 0, j=1,2,… j= j2 Tj j |
2 a2Tj |
0 |
|
||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Tj (t) Aj sin( j at) B j cos( j at) u(x,t) Aj sin( j at) B j cos( j at) V j |
(x) (6) |
||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
j 1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
стоячие волны |
|
Уравнения математической физики, семестр 1. Глава 2 «Уравнение диффузии или тепло- проводности. Метод разделения переменных (метод Фурье) его решения».
40
|
|
|
|
|
|
,V j L2 ( ) |
|
||||||||||||||||||
(2) u |
|
t 0 |
B jV j (x) B j |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
(7) |
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
|
|
|
|
|
|
V j |
|
|
|
|
2 |
|
|
|
|
|
|||||||||
|
|
|
|
|
|
|
|||||||||||||||||||
|
|
|
|
|
j 1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
,V j |
|
|||||||||||||||||
(3) ut |
|
t 0 |
Aj jV j (x) Aj |
|
|
|
|
|
|
|
|
|
|
(8) |
|||||||||||
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||
|
j |
|
|
|
|
V j |
|
|
|
2 |
|
||||||||||||||
|
|
|
|
|
|||||||||||||||||||||
|
|
|
|
|
j 1 |
|
|
|
|
|
|
|
|
|
|
||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Формулы (6)-(8) – это и есть ответ.
§6. Уравнение теплопроводности во всем пространстве
Предварительное замечание (постановка проблемы).
(1) |
u |
a2 u f (x,t), |
x Rn , |
||
|
t |
|
|
||
(2) |
u |
|
t 0 (x). |
|
|
|
|
Будем считать, что (x) C(Rn ); |
|
|
|
|
|
|
|
max |
|
(x) |
|
; f (x,t) C(Rn R1 ). |
|
|
|
|
|
|
|||||||
|
|
|
|
|
|
|
|
x Rn |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Главный вопрос: корректна ли задача?
Ответ можно получить из явной формулы решения задачи (1)-(2). Так же как и раньше, задача разбивается на два случая:
1)f 0, 0;
2)f 0, 0.
Причем вторая задача сводится к первой из принципа Дионеля.
Теорема 1 (Теорема Пуассона о классическом решении задачи (1)-(2)).
Классическое решение задачи в 1-ом случае - u(x,t) C2 (Rn R1 ) C(Rn {t 0}) |
||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
определяется формулой: |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
ˆ |
|
|
|
|
|
|
|
|
n |
|
|
|
|
|
|
|
|
(3) u(x,t) Rt |
( (x)) G(x, ,t) ( )d |
, где ядро G(x, ,t) называется ядром Пуас- |
||||||||||||||||
|
|
Rn |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
сона и имеет вид: |
G(x, ,t) |
2a t n e |
|
|
|
x |
|
2 |
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
||||||||||||
|
|
|
|
(4) |
|
|
|
|
|
|||||||||
|
|
|
1 |
|
|
|
|
|
4a2t |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Напоминание о преобразованиях Фурье. |
|
|
|
|
|
|
|
|
|
|||||||||
f (x) L2 (R |
) f ( p) Fx p ( f (x)) |
2 |
|
e |
|
f (x)dx (5) |
||||||||||||
1 |
|
сопоставление |
~ |
|
|
|
|
|
|
|
|
|
|
1 |
|
|
ipx |
|
Справедлива формула обращения (обратное преобразование Фурье):
|
|
|
|
|
|
2 |
|
|
|
|
f ( p) L2 |
(R |
) f (x) Fp x |
( f ( p)) |
|
|
e |
f ( p)dp (6) |
|||
~ |
1 |
обратное сопоставление |
1 |
~ |
|
1 |
|
|
|
ipx ~ |
|
|
|
|
|
|
|
|
|
|
|
Определим C0 (R1 ) - множество финитных бесконечно дифференцируемых функций.
|
|
|
|
def |
|
|
|
|
|
|
Носитель: supp( f(x)) {x, f (x) 0}, |
||
0 a |
0 |
b |
0 |
f (x) C (R1 ). |
||
|
|
|
Уравнения математической физики, семестр 1. Глава 2 «Уравнение диффузии или тепло- проводности. Метод разделения переменных (метод Фурье) его решения».