Файл: Стернин, Б. Ю. Квазиэллиптические уравнения в бесконечном цилиндре [учеб. пособие].pdf

дение коэффициентов дифференциального

выражения при -fc-в ± о о .

Эти требования являются необходимыми:

можно построить пример

Теорема

о фредгольмовости оператора

(14 .2)

будет

доказана

по следующему

плану. Мы построим операторы

R A

и

, обраща

ющие соответственно слева

и справа оператор

D

с точностью до

компактных операторов

Вл Ѣ

- - rtStyieL

Сотчр

CMS, I IIA) ) .

D R n ~Ld ИjvW) j-, gL. £

«»M Сомір ГН

Здесь

і

Cpmp f

, Co^j» CH j-w, Г«*)

-

алгебры компактных операторов в соответствующих пространствах. I

Тогда из теории Рисса б^дет

следовать, что оператор

Т) - фред-j

гольмов.

1

Остановимся прежде всего на понятии компактных операто-

j

ров

в пространствах

типа

И 5, JT, с*-

і

П р е д л о ж е н и е

2 . 2 .

Пусть С }<1, *- > s > S>J~.

- пятерка

вещественных чисел, удовлетворяющих неравенствам

|

J. +

оі

^

ві _

;

S

S

(15.2)

j

Тогда для

любого

^

тождественный

оператор

і

Cd :

Н

СС)

^ S ' r ,

А * ,* -

( ° )

,(іб *2)

J

I

і

непрерывен

и более

того,

если неравенства

(15 .2) -

строгие.

!

этот

оператор

компактен.

j

Д о к а з а т е л ь с т в о .

Предположим для

простоты,

'

что

числа

(си

с

I

к

,

S '

- целые. Установим вначале

,

у

' *

у

непрерывность оператора тождественного вложения. Нам нужно

показать,

что

(

*о

УI

г -

~"

I

[ I i f lls1/ 1

* UflVr.* ' / } .

II fll s

t

<£L

1 4|s

S7< S

f

"W* •

К у

t

u> куі

к f w

l| I Y.

fc )

причем яостоявнаі сокуі

не зависят

от функций.

Теперь, пред­

распространенных

по

полуосям І.У" О

и І ' - СО и учитывая,

что о».+ л

мы

получаем неравенства

l l f l V ^

* I е

l l f l l ' j i

О

;

«

* 1 '“ *

l f ! ! >

II

till

S.JT.oi sf 4 .

(17 .2)

Разобьемпрямую

t

( i - o o ; +*o ) н а

три интервала

-

62 -

( —

у -

т

) , ( - Т ,

-»Т

),

( -т Г , *

)> где число Т

I

подберем

позднее.

Заметим,

что fia функциях,

сосредоточенных в

і

интервале

( -

Т,

Т

) оператор

(16 .2)

компактен,

поскольку

!

£. S.

.

Значит, для

множества функций, принадлежащих про­

странству

Н

««£-*. Т)

в пространстве

Н s ' у

можно выбрать йонечную

£

-сеть: существует

такое

конечное

j

множество

функций

tf*

_

v * .

« что

ллл

любой функции

u

ۥ

И s, j-.oi

С О

J II W - М *

a t +

ІИ ( и - Те)

II e it ^ .

'

1

~ т

Покажем,' что

число

Т

можно выбрать

настолько большим,

,

чтобы функции

п

, .

^ гл а д к о

продолженные вдмм лр*. 1>J

остались

бы

С

-сетью

я для всего просіранства функций

„ с Ц

„

,

,

. В

самом деде,

К-1- n C/jr,

«'Г,*.,*-

*

]

( « -

^ li

U

M t

00

~ idUfr

1

-*

i

II U -

+ j Ц U - i r ^ r e . ' "

’ & +

-v°

ч

0

I

И

-■ /XП

І

*'

Cowt

/ (.

^

J i K

- i r

, | | £ / a t

-•y°

'T

* 1

v-У‘”l

V

^

S

r

t

- f

J

O0

T

-

t

!

1

« . ‘Ѵ

е ^

л .

T

Оценим какой-либо аз последних четырех интегралов,

напри-

ыер предпоследним

чХ>

ЧТО

(

1

I1II w l l j t

і

.15<•

t-

)

Н

я*.

'

X X С«ч -* + ^ )

М : é

т

Поскольку

сЛ+~<Х<0,

то ыоано выбрать число

Т

настоль

ко большій, чтобы этот интеграл

был меньие

£ ,

равно как и все

последние три интеграла. Тогда ыы получим неравенство

К -

\ Г - 1!

,

)

которое и доказывает

предлокение

2 .2 . ддн

S'

и

f

Двлых.

у

Случай произвольных S

и

$

доказывается

ровно такие,

во в терминах преобразования Фурье.

Перейдем теперь к установлению теоремы конечности.