Файл: Воробьев, Е. М. Уравнения математической физики (некоторые вопросы, связанные с уравнением Гамильтона-Якоби и волновым уравнением) учеб. пособие.pdf
ВУЗ: Не указан
Категория: Не указан
Дисциплина: Не указана
Добавлен: 01.11.2024
Просмотров: 69
Скачиваний: 0
а это противоречит равенству 9 ( ^ ) = i . |
Теорема доказа |
|
Рассмотрим теперь случай, когда В| = &а |
— И |
, где Н |
гильбертово пространство, при этом каждый линейный непрерыв
функционал f |
на Н имеет вид -fЫ = |
) , V j c g H |
такчто |
. Пусть Т : Н~* Н - линейный оператор о п |
ной областью определения.
Определение. Оператор Т называется симметричным, если
Очевидно, что если Т - симметричный оператор, то оператор
являетоя расширением оператора Т :
,Т с Т * .
Предложение. Оператор I вамкнут. В частности, симметри кий оператор допускает замыкание.
Доказательство. Пуоть
|
|
<5 8 ) |
|
Т * ^ - Ь |
(59) |
при п •* 0 0 |
.Покажем, что k = T * g . |
. Для любого Уе "3)(Т |
( |
T ^ ^ J * ^ ) |
(60) |
Так как .скалярное произведение непрерывно по второму вомн то переходя в (60) к пределу при п 0 0 , получаем:
' |
( Т » , 9 > = ( У . 1 . Г - - . . - ; • . |
f |
( Я ) |
||
По определнию оператораТ*( ) |
означает, |
что h = |
~^"*$« |
||
Теорема доказана. |
* |
|
|
|
|
|
Для симметрических операторов из теоремы 13 вытекает с |
||||
ношение Т с Т ¥ |
|
|
|
|
|
|
Определение. Оператор Т |
называется самосопряженным, |
|||
если Т - Т * |
|
|
|
|
Определение. Симметричный оператор ПГ называется сущест
- 100 -
самосопряженный, если Т —"Т * Последнее определение выделяет важный в приложениях класс
симметрических операторов, которые становятся самосопряженными
после замыкания. |
|
Задача. Доказать, что для оператора ~Г |
, допускающего |
замыкание, ~ Г = ( Т * ) *
Пример. |
Пусть U,^ U (R*) ,Т= LD^ D M ^ S . |
|
Оператор Т" |
- симметрический, так как |
& З^-ОП/ |
Ясно, * ч |
|
|
* |
|
J |
|
|
|
) |
=м * |
|
|
|
|||||
J |
|
* ) 4 г d |
|
= |
|
|
|
|
|
d x |
|
|
т |
} |
|
(б2 ) |
|
|
= ь |
|
|
|
|
|
|
|
|
|
|
|
|||||||
что Т |
шире Т* |
, так как оператор"!" незамкнут. |
|
|||||||||||||||
Действительно, |
пусть |
6 |
(R |
1 ) С L a |
|
|
|
|
и f |
g £ |
|
|||||||
(например, f U ) = J i 7 j |
|
J |
|
проверьте, |
что f S W ^ f f t ' / j |
|
||||||||||||
Рассмотрим последовательность |
|
функций иэ 3 |
|
, |
схо |
|
||||||||||||
дящуюся к -f |
по норме |
W|lR') . Тогда |
-fh-»- -f |
в L»a(R |
4 j |
|||||||||||||
T f „ ^ £ l > f |
в L * ( R ' ) |
, однако - f e D ( T J , |
|
|
|
|
|
|||||||||||
Задача. Показать, что оператор ~Т~ существенно самосопряже |
||||||||||||||||||
Для дальнейшего нам понадобится еще следующее |
|
|
|
|
|
|||||||||||||
Предложение. Бели А '- НгтМ |
- самосопряженный оператор, |
|
||||||||||||||||
имеющий ограниченный"оо^атТшйТ |
то 15 |
== Н , V h = |
/, 2,... |
|
||||||||||||||
Доказательство.ПВ теореме 12 |
ft(A)= |
Ц |
.Так как ||А~'||<оо |
|||||||||||||||
|
|
|
|
|
|
|
|
пусть B ^ ^ j ^ A - |
' и & |
_ |
|
|||||||
то Д(А') = Н. |
Действительно, |
|
(/fjl |
|
|
|
|
|
|
|
|
|
||||||
ограниченный оператор, определенный на Н |
|
. Тогда уравнение |
||||||||||||||||
Ах-—у |
|
для любого |
|
у 6 Н |
|
имеет решение Л = В^. . |
|
|||||||||||
В самом деле, |
пусть |
{у*) |
|
последовательность элементов из |
||||||||||||||
ft (А) |
, сходящаяся к у |
.Тогда |
|
|
|
|
|
|
|
|
|
|||||||
|
|
AB^;-AA-'jfi-i/i |
|
|
|
|
|
|
|
|
|
|
|
|
- mi -
Из ограниченности оператора В |
следует, |
что By t —»• |
j |
|||||
а из замкнутости оператора |
А |
следует, |
что A By =• ^ • |
|||||
Итак, |
3)(А |
•*•) = Н , |
|
откуда следует, что для любо |
||||
натурального h |
оператор |
A~h |
определен на всей Н |
и не |
||||
рывен. Из симметричности оператора А |
легко следует |
|||||||
ричность оператора А " 1 1 |
, так что оператор А~ h |
самооопр |
||||||
Применяя теорему 12, получаем: |
|
|
|
|
||||
что и требовалось доказать. , |
|
|
|
|
||||
§ 12. |
Функции со значениями в W2 '< (Rh ) |
|
|
|||||
Пусть |
В |
- некоторое банахово пространство. |
|
|
||||
Определение. Функцией iP |
со значениями в В ; |
определе |
с1
ной на множестве -Q. R* называется отображение
Определение. Говорят, |
что функция |
У |
со значениями |
||||||||
банаховом пространстве в |
непрерывна в точке "t |
|
|
, |
еол |
||||||
|1 У14:*-Л*)-У(*)|!-*0 |
|
|
|
при |
A t - О |
|
|
|
|||
Пример. Пусть (x,t)-+ V |
), * |
€ |
R h ) |
-t 6 |
R |
4 |
- |
|
|||
номплекснозначная функция такая, |
что при каждом "t |
функция |
|||||||||
o e - ^ C v U |
принадлежит |
V/&(R*') . |
Фун.тдип У |
можно |
|||||||
рассматривать как функцию^оо значениями в |
( R h |
J J |
|
|
|
||||||
определенную на R |
1. |
|
djp|t] |
|
|
|
|
|
|
|
|
Определение. Производной д-tj |
|
функции У |
|
со |
|
||||||
значениями в 8 |
|
.определенной в окрестности точки ~ t e R |
|||||||||
называется (если он существует) такой элемент $ в* В |
|
, |
- 10?. -
" 3
Разумеется, не всякая функция У со значениями в В дифференцируема. Это ясно уже из того, что вещественнозначные функции суть' функции со значениями в банаховом пространстве R' о нормой ||р-Ч,||р,' =• I Р—4-1
Определение. (Римановым) интегралом |
от |
|||
функции U |
со значениями в В |
по компактному множеству |
||
называется предел по норме В |
соответствующих интегральных |
|||
сунн. |
|
|
|
|
Задача. Доказать, что для существования интеграла |
||||
от функции |
Ц со значениями в D |
по квадрируемому компак |
||
ному мнояеотву -Л- |
достаточна непрерывность функции U |
|||
на -Л- • |
|
|
|
|
ГЛАВА 1У.
." . Волновое уравнение с постоянными коэффициентами." Состояние непрерывной среды в фиксированный момент време
описывается в^ простейших случаях числовой функцией (вообще г
обобщенной) конечного числа вещественных переменных <**_,... л
Для широкого клаоса физических задач эта функция является том У (О ооболевского пространства W* (А°); здеоь 6
некоторое целое (положительное или отрицательное) число. Изме вектора & ft) 0 0 временем обычно описывается некоторым диф ренциальным уравнением. В частности, процессы колебаний или р
странения волн в однородной изотропной среде описываются ура нием
|
' |
л г |
/ + |
|
|
п |
а |
а) |
где г/ft) € |
W£ (**)t ^fc) € w/~ |
(&"),A*£iZ<~ ограничен |
||||||
оператор, действующий иа У^г f^-V |
^ |
^ |
2 |
|
|
|||
Замечания. I ) Функция иа) со значениями в |
|
|||||||
порождает числовую функцию |
(п +t) |
- мерного аргумента по |
||||||
формуле |
1Г{&) |
Z/ft)(x) |
|
|
|
|
|
|
Уравнение ( I ) чаото записывают в виде; |
|
|
|
|||||
|
• 2) Уточним омыол оператора дифференцирования по |
|||||||
времени, |
входящего в левую часть ( I ) . Если |
2/ - функция с |
||||||
|
|
\л/* Г/>") |
|
|
|
|
с/У ft) |
|
вначенияни в пространстве |
' |
|
> |
1 0 |
символ |
— |
||
будет обозначать производную функцию |
|
|
, рассматриваемой |
$г) Уравнение ( I ) соответствует скорости распространения волн, равной единице. Это означает специальный выбор масштаба в мени.
- 104 -
sax функция со значениями в каком-нибудь соболевокон пространстве
\л/£(Яп)% где . |
1 |
. То же относитоя |
и обозначениям |
|
|||||||||
производных функций со значениями в |
£ |
(Rn)* |
|
|
|||||||||
|
Уравнение |
( I ) |
называется |
волновым; оно относится х классичес |
|||||||||
|
|
\д/ |
|
|
|
|
|||||||
ким уравнениям математической физики и было объектом исследования |
|||||||||||||
уже в ЛШ веке. |
|
|
|
|
|
|
|
|
|
||||
|
§ |
I |
. Теорема оущеотвования решения задачи Ноши. |
|
|||||||||
|
Поотавнн следующую задачу: найти функцию / Ч |
• |
оо вначени |
||||||||||
ями в |
|
|
|
, |
определенную |
при |
|
, |
удовлетворявшая |
||||
уравнению ( I ) |
и начальным условиям |
|
|
|
|
|
|||||||
|
|
£ ~*0 |
' |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
rll„r(*rf°. |
|
|
fr) |
|
||
где |
*/> |
I |
у |
- |
данные алемеиы просграно» |
W*V/* |
Y$ . |
||||||
ооответотвенно |
|
|
|
|
|
|
|
|
|
|
|||
|
Задача ( I ) , (2) |
называется задачей Кош для волнового уравне |
|||||||||||
ния; |
данная постановка задачи Кош |
согласуется |
о фиаичеокими |
соо |
|||||||||
бражениями и оправдывается |
теоремами существования |
и единотвея |
- |
||||||||||
носи, |
которые будут доказаны ниже. |
|
|
|
|
|
|||||||
|
Теорема I |
. Пусть функция £ ~ |
непрерывна на |
|
с*3). Тогда |
|
|||||||
решение задачи Кош ( I ) , |
ДО |
существует. |
|
|
|
|
|||||||
|
Доказательство. Сначала докажем существование |
решения аада- |
|||||||||||
чи |
( I ) , (2) в олучае, |
когда |
<Ffe).= О . |
Рассмотрим аадачу |
|