Файл: Воробьев, Е. М. Уравнения математической физики (некоторые вопросы, связанные с уравнением Гамильтона-Якоби и волновым уравнением) учеб. пособие.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).= О .

Рассмотрим аадачу