Файл: Воробьев, Е. М. Уравнения математической физики (некоторые вопросы, связанные с уравнением Гамильтона-Якоби и волновым уравнением) учеб. пособие.pdf
ВУЗ: Не указан
Категория: Не указан
Дисциплина: Не указана
Добавлен: 01.11.2024
Просмотров: 73
Скачиваний: 0
Вычисляем И У„ И u HTvpJI :
— ЬО — Об
Таким образом, оператор X неограничен:
Определение. |
Оператор В |
называется расширением оператора |
At если £ ( в Ы > М ) |
и АУ = 8 У , Vy>6 D'Aj |
|
Неограниченный оператор А |
в отличие от непрерывного не |
может быть естественным образом расширен до оператора, опреде ного на Л) (А) . Тем не менее, для некоторого класса нео ниченных операторов существует пропесс, аналогичный процесоу расширения оператора по непрерывности.
Определение. Оператор А называется замкнутым, если
Ясно, что всякий ограниченный оператор замкнут; обратное неверно. Предположим, что оператор То допускает замкнутое рас
ширение Т| и пусть элемент ^ £ Н j |
является пределом после |
|||
довательности \_<jh \ |
элементов из |
D [Т„ ) |
, для которой |
|
ftnT^Tc^n =• f> £ Hi |
. |
Тогда "Tj |
^ - h• |
Таким образом С| |
принадлежит области определения любого замкнутого расширения о
ратора "Л,. |
|
Обозначим через т сужение onepaxqp&Ti ... ••••-•< |
-•; |
О:,-. *«ор Т замкнут. Действительно, пусть D ("I") i |
. * |
- 95 - |
|
и ^52"^' , = |
^ |
" ^огда |
существует последователь |
ность |
|
элементов из 3) (Т0 ) |
такая, что H^^ - ^nlK ^ |
J
и ЦТоЗ^-Тд^Н^к"* Рассмотрим диагональную последовательность
да. Имеем:
при ъ-г . Таким образом, U D ( t ) что и требовалось доказать. Очевидно, оператор Т является наименьшим замкнуты расширением оператора .
Определение. Наименьшее замкнутое расширение оператора, д пускающего замкнутые расширения, называется замыканием этого
ратора. Замыкание оператораТ обозначается |
"Г . . |
|
|
||||
Теорема 10. Оператор А |
имеет замыкание А" |
тогда и |
|||||
только тогда, когда (5 h _ r ^u |
^5/*—^)=^ (h=0) |
|
|
||||
Доказательство. -Необходимость условия очевидна, так как, |
|||||||
если А |
- замыкание оператора |
и |
^ |
» |
1 0 |
||
h=A 0 = |
O |
В силу линейности оператора |
А |
|
|
||
Докакем достаточность условия теоремы. |
Пусть (у*-* |
О |
|||||
и Afjb—U |
)=> К = 0, построим замыкание |
А |
оператора |
А. |
|||
Область определения |
оператора |
А |
должна состоять |
||||
из тех элементов |
, которые являются пределами та |
||||||
ких последовательностей { $ * \ |
элементов |
, для ко |
торых последовательность ' {Л^л^ фундаментальна. Если <j€-Df/ и Ъ (A)5£n-r$tA<)h—- h}положим А § = Ь . Это опредео ние не приводит к противоречиям, так как, если Л)/А ] э/ь -
А|П-*Ь' ( |
, то g h |
- f ^ 0., A f e n - f b 1 , 1 и, следова |
тельно, Ь— К |
по условию теоремы. Доказательство замкнутости |
|
построенногооУре>< £ва А |
совпадает о приведенным выше дока |
тельством существования наименьшего замкнутого расширэпиа опе - 96 -
тора» имеющего замкнутые расширения.• Вшша*ельный читатель, наверное, заметил существование тес
ной овяэв между процессом пополнения банахова пространства, |
оп |
||||||||||
оанныы в § 2, и процессом замыкания оператора. |
|
|
|
||||||||
Теорема Н. Оператор А замкнут тогда и только тогда, |
ко |
||||||||||
да пространство Нд |
, состоящее из элементов |
|
,с нормой |
||||||||
|
И З Ч ^ ^ Л + ^ Й н , |
|
|
(56) |
|
|
|||||
полно. |
|
|
|
|
|
|
|
|
|
|
|
Доказательство. Пусть оператор А |
аамкнут. Рассмотрим по |
||||||||||
следовательность |
|
фундаментальную по норме Нд |
: |
|
|||||||
Н Э ь - Ь Н < £ |
|
|
|
|
при h,mvH|E) |
|
|
|
|||
Из (56) оледует, |
что при П,Ъл> Ы^} |
|
|
|
|
|
|||||
'ИАд,-Аз«,||И в <£, |
И З н - д М и ^ |
|
|
|
|
||||||
В силу полпоты пространств |
И | |
и Hii последоватепьносаги ^Зь? |
|
||||||||
|
имеют пределы |
Ht |
и ЬсН? соответственно. Тш как |
|
|||||||
оператор А |
аамкнут, |
Ь = Д^ , Следовательно |
J j f € ' ; |
|
|||||||
кроме того, |
|
|
|
|
|
|
|
|
|
|
|
Обратно, пусть пространство |
|
полно. Пусть j/h-»^ вHi, |
|||||||||
. A$h+in • Докажем, что |
b=Ag. |
.Ив (56) следует, что после- |
|
||||||||
довательнооть {|h : | |
фундаментальна по норме Н д |
|
.в силу |
|
|||||||
"цолнотн НдЗ^еМд |
веко», ч»о | } ^ - J | h J l H A ^ 0 |
при h-*°o |
|
||||||||
Так как | f - | 4 f t ^ |
• |
rfA |
. « |
g b - * f |
по норме Н и |
||||||
так что -flx^. |
т £к> одадует, ч*о <| |
А$||-* 0 |
при |
|
|||||||
|а"* |
0 0 . |
A f - А $ ,таои требовалооь докавать. |
|
Заладц. Доказа»ь, чао оператор Т;
- 97 -
ГД9 |
|
|
4*\iiN*+-"+bJ„bO |
|
M . - ^ j n r b S , |
||||
^ j g C |
( ) |
^ |
при любом целом p |
допускает |
замыкание |
||||
|
Пример иператора, |
не имеющего эамыкания, |
Пусть |
И t= Иг= |
|||||
J ) ( A ) |
- |
C [ M j |
«= Lz |
J>,l] . |
Положим |
|
|
||
|
|
( A S ) ( * ) = |
3 W |
. Vgc - DM) , |
|
|
|
||
так что оператор А |
каждой непрерывной на |
функции ста |
|||||||
вит |
в соответствие |
постоянную функцию. Рассмотрим последовате |
ность |
|
|
, где 3 *(*V=* h . |
Инеем flQ» Ц, |
i |
|
> 9 |
|||||||
при ^ |
0 0 . |
Вместе отем, И A<Jh||i_ -» i |
Условие теоремы |
|||||||||||
10 не выполнено. |
|
|
|
|
|
|
|
|
|
|
|
|||
§ I I . Сопряженные |
операторы. |
|
|
|
|
|
||||||||
|
Пусть |
В | |
и Вггбанаховы |
пространства, 0 | |
и Вг, |
- |
||||||||
сопряженные о ним пространства, |
т.е. пространства линейных |
|||||||||||||
ограниченных фунпционалов, |
определенных на |
В | |
и 13а, |
соот- |
||||||||||
зешственно. Пусть Т; 8|-*Вг.линейный оператор и |
J)tr}-Qi- |
|||||||||||||
Обозначим через |
L i |
такое множество функционалов |
^ |
из |
||||||||||
|
|
|
а* |
|
|
|
|
|
|
|
|
|
|
|
пространства |
|
» Для |
которых |
|
|
|
|
|
|
|||||
|
|
|
U ( T x ) | |
|
|
|
|
|
|
|
|
|
|
|
т.е. 3 |
f & |
&'f |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
9 ( r * ) = |
f |
i |
4 |
V'-xC- 3)(TJ |
|
|
|
|
|||
Функционал |
"f |
определяется |
данной |
формулой единственный |
о б |
|||||||||
разом, |
так |
как |
3 ) ( т ] |
плотно |
в |
В | |
• |
|
|
|
|
|||
Определение. |
Опоратор |
|
Т * : |
\Ъ* |
В | |
с |
областью |
|||||||
определения |
T>\TK}-L |
, |
|
заданной |
соотношением |
|
|
|
- 98 -
называется сопряженным в оператору Т]
Теорема 12. Пусть область определения оператора Т; Bj - * в
плотна в В I |
. Тогда следующие два утверждения эквивалентны: |
|||||
U ) f t T T ) = & * ; О ( T * g = 0 } - > (g = 0) |
|
|
||||
Доказательство. Пусть [Г|т] — В^и T * i j = 0 . Если |
у 6 ^(т), |
|||||
so существует такой х |
, что у =Тх |
, так что |
|
|||
Поокольку |
плотно в Вг. |
. отоюда следует,что § — 0 |
||||
Обратно, |
пусвь уравнение Т*^— С |
имеет только нулевое |
||||
решение. Предположим, что R ( t ) |
не плотно в вй • |
; пуоть |
||||
Oj3y,^<: Я"(т) Расомотрим подороотранотао Q С |
, состоя |
|||||
щие из элементов U |
, представимых в виде Ц = d% +^ , где |
|||||
f 6- йТт) |
. Определим на G |
функционал <j* |
о помощью |
|||
формулы |
|
_ |
|
|
|
|
Функционал ограничен ; действительно, преддоловив противное, мы получили бы, что существуют такая числовая последовательность
и последовательность №у\ элементов ановеотва
Щт) , что |
= |
и || ^ ч + ^ | | -с * для дюбого |
натурального |
. Следовательно, |
Так что
что противоречит сашшутбет-л множества |
значений оператора Т |
По теореме Хамн-Узнала суцест?^- *£кой |
йункционал |
so Т "г; ~ Ф Но г-лозив, огоюда следует, что ^ - С