О спектральных свойствах операторов в модели Фридрихса с некомпактным ядром в пространстве двух переменных функций

Автор: Эшкабилов Юсуп Халбаевич

Журнал: Владикавказский математический журнал @vmj-ru

Статья в выпуске: 3 т.8, 2006 года.

Бесплатный доступ

В данной работе изучаются спектральные свойства операторов, представимых в виде суммы оператора умножения на функцию и частично-интегрального оператора.

Короткий адрес: https://sciup.org/14318192

IDR: 14318192

Текст научной статьи О спектральных свойствах операторов в модели Фридрихса с некомпактным ядром в пространстве двух переменных функций

Изучению спектральных свойст гамильтонианов одной, двух и трех квантовых частиц на ν -мерной решетке посвящена серия работ, например, [1–6] и др. Гамильтонианы всех описанных выше моделей коммутируют с группой трансляций на решетке. Физическая причина этого состоит в том, что на решетке нет узлов, и смещение системы квазичастиц как целого на любой вектор, переводящий решетку в себя, не меняет состояния системы. Однако, большое количество интересных задач в ФТТ связано с неидеальными кристаллами, трансляционная инвариантность которых нарушена примесями или дефектами, т. е. один или конечное число узлов решетки оказываются выделенными [7–11].

Гамильтониан системы, состоящей из двух свободных электронов и одной примеси (примесь — это тяжелая «недвижимая» частица) на решетке [10], [11] представляется в виде оператора H = V + e(T i + T 2 ), действующего в гильбертовом пространстве двух переменных функций L2 (Q х Q), где V — оператор умножения на функцию (невозмущенный оператор) и T i , T2 — частично интегральные операторы (т. е. T i + T2 — некомпактное возмущение). Оператор такого вида обычно называется оператором в модели Фридрих-са . Поэтому представляется интересным изучение спектральных свойств операторов в модели Фридрихса, когда возмущения являются частично-интегральными операторами.

В данной работе мы изучим спектральные свойства операторов вида H = V + T i , где T 1 — частично интегральный оператор.

Пусть H — бесконечномерное гильбертово пространство, A — линейный ограниченный самосопряженный оператор в H . Обозначим через o(A) спектр оператора A, o p (A) — множество собственных значений оператора A. Кратность собственного значения A G R определяется как размерность собственного подпространства М д = { x : Ax = Ax, x G H } .

Определение 1.1. Множество всех изолированных собственных значений o(A), за исключением собственных значений бесконечной кратности, называется дискретным спектром оператора A и обозначается через o' disc (A).

Определение 1.2. Множество o ess (A) = o(A) \ O disc (A) называется существенным спектром оператора A.

Пусть L 2 (Q) и L2(Q х Q) — гильбертовы пространства квадратично интегрируемых функций соответственно на Q и Q х Q, где Q = [a, b] v С R v , v G N . Обозначим через ц меру, заданную на Q. Мы будем определять меру Д на Q х Q с помощью равенства Д = Ц 0 Ц. Через p(x, s) обозначим метрику в пространстве R v .

В пространстве L 2 (Q х Q) рассмотрим операторы:

Vf (x,y) = u(x,y)f(x,y)

и

Tf (x,y) = 11

ΩΩ

q(x, y; s, t)f (s, t) ds dt,

где u(x,y) — вещественнозначная непрерывная функция на Q х Q, q(x,y; ,s,t) — произвольная функция на Q 2 х Q 2 .

Оператор

H = V + T                              (1.1)

называется оператором модели Фридрихса . Если интегральный оператор T является компактным, то оператор H (1.1) называется оператором с компактным ядром в модели Фридрихса , иначе оператор H называется оператором с некомпактным ядром в модели Фридрихса .

Если T — компактный оператор, то из классической теоремы Вейля [12] о местоположении существенного спектра имеем a ess (H) = a(V), и значит вне существенного спектра a(V) может появиться конечное или бесконечное число собственных значений оператора H с конечной кратностью. Если интегральный оператор T некомпактный, тогда неясно как построены существенный и дискретный спектры оператора H = V + T.

Однако, в работе [13] изучен специальный случай оператора в модели Фридрихса с некомпактным ядром, когда T — частично интегральный оператор и u(x, y) = h(x)+v(y), где h(x) и v(y) — вещественнозначные непрерывные функции на Q. Пользуясь свойством «тензорной суммы» операторов, доказано, что в этом случае отсутствует дискретный спектр оператора H (1.1).

Предположим, что k(x,s) — аналитическая функция на Q х Q и k(x,s) = k(s,x), x,s G Q. Тогда оператор с частными интегралами

Kf

// k(x, s')6(y t)f (s, t) ds dt =

ΩΩ

k(x, s)f (s, y) ds,

f G L2(Q х Q),

(1.2)

где 6(x) — дельта-функция Дирака на Q, является ограниченным самосопряженным оператором в L 2 (Q х Q), но он не является компактным.

Определим оператор H с некомпактным ядром в модели Фридрихса, действующий в L 2 (Q х Q) по формуле

H = V + к.                                (1.3)

Здесь V — оператор умножения на функцию u(x,y), где u(x,y) — произвольная вещественнозначная непрерывная функция на Q х Q.

Изучим структуру и местоположение существенного и дискретного спектров оператора H с некомпактным ядром в модели Фридрихса, заданного равенством (1.3). В действии оператора V в (1.3) функция u(x,y), вообще говоря, непредставима в виде u(x,y) = h(x) + v(y). Поэтому оператор H (1.3) не выражается через «тензорные суммы» двух операторов [13], и это затрудняет использование техники из [13] для изучения спектра оператора H.

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

Пусть p(V) — резольвентное множество оператора V, т. е. p(V) = C \ a(V). Очевидно, что a(V) = [m, M], где m = inf u(x,y) и M = sup u(x,y). Обозначим через R z = R z (V ), z E p(V) резольвенту оператора V. Тогда имеем

Rz = (V — zE)-1, z E p(V), где E — тождественный оператор в L2(Q x Q).

В дальнейшем в интегралах, где не указана область интегрирования, будем понимать интегрирование по Q.

Лемма 2.1. Число A E p(V ) является собственным значением оператора H (1.3) тогда и только тогда, когда 1 является собственным значением оператора T x = KR x , где оператор K определен в (1.2).

C а) Необходимость. Пусть A E p(V) является собственным значением оператора H. Тогда существует функция f o E L 2 (Q x Q), k f o k = 1, такая, что Hfo = Af o , т. е. из (1.3) следует, что

(V A E )f o + Kf o = e.

Обозначим через g(x,y) = (u(x,y) A)f o (x,y). Тогда g E L2(Q x Q) и k g k = 0. С другой стороны, имеем

T x g(x, y) = KR x g(x, y) = к [(u(x, y) A) -1 g(x, y)] = Kfo (x, y) = (V AE)f o (x,y) = g(x,y),

  • т. е. число 1 является собственным значением оператора T x = KR x .

  • б)    Достаточность. Пусть число 1 — собственное значение оператора T x , A E p(V). Тогда существует функция g o E L2(Q x Q) такая, что k g o k = 1 и T x go = g o . Обозначив f o (x, y) = R x g o (x, y), получим, что

  • Kfo = KRxgo = Txgo = —go = —(V — AE)fo.

Далее нетрудно проверить, что f o E L 2 (Q x Q) и k f o k = 0. Из последнего равенства получим

Hf o = Vf o + Kf o = Vf o g o = Vf o (V AE )f o = Af o ,

  • т. е. число λ — собственное значение оператора H (1.3). B

Лемма 2.2. Пусть f E L 2 (Q x Q). Тогда для любого e >  0 существует подмножество Q e С Q такое, что y(Q e ) > y(Q) e и ^ a E L 2 (Q), a E Q e , где y a (x) = f(x, a), x E Q. Причем k ^ a k 6 C, a E Q e , для некоторого C > 0.

C Пусть f E L 2 (Q x Q) и d = k f ||2 = 0. Определим две последовательности подмножеств в Q по следующим равенствам:

A n = : / I f(x,y) l 2 dx < n, у E Q} ,

n N ,

B n = : / I f(x,y) I 2 dx n, У E q} ,

n N .

  • (2.1)

  • (2.2)

Последовательности множеств { A n } и { B n } обладают следующими свойствами: 1 ° A 1 С A 2 С ... С A n С ... и B 1 D B 2 D ... D B n D ...;

2 ° A = lim A n = J A n и B = lim B n = Q B n ;

n^^     neN         n^“     neN

3 ° Q = A n U B n и A n П B n = 0 , n G N .

Соответственно предыдущим, определим числовые последовательности { a n } и { b n } по следующим равенствам:

a n

= Idyl A n   

I / (x,y)| 2 dx,

n N ,

b n

= /dy/ B n   

I / (x,y) | 2 dx,

n N .

Числовые последовательности a n и b n обладают следующими свойствами:

4 ° a n 0 и b n 0, n G N ;

  • 5 ° a n и b n — ограниченные последовательности;

  • 6 ° a n — возрастающая и b n — убывающая последовательности;

  • 7 ° d = a n + b n , n G N .

Из ограниченности и монотонности последовательностей an и bn следует, что они обе сходятся к конечному пределу. Из равенства d = an + bn (n G N) и по построению множества Bn получим, что d — an > 0, n G N и d > an + n^(Bn), n G N.

Отсюда имеем 0 < n^(B n ) 6 d a n , n G N , т. е.

0 < ^(B n ) 6 d a n , n G N . n

Значит, lim ^(B n ) = 0. Следовательно, в силу свойства 3 ° , получим n^^

^(A n )= д(П) ^(B n ), n G N .

Отсюда lim ^(A n ) = ^(Q). Значит, для любого достаточно малого е >  0 существует n^^

достаточно большое натуральное число n 0 N такое, что

^(Q) е <  ^(A n 0 ) 6 ^(Q) и 0 6 ^(B n 0 ) < е.

Причем

j | ^ a (x) | 2 dx =

j | f (x, a) | 2 dx < n o ,

α A n 0 .

Следовательно, для множества Q e = A n 0 имеем ^ a G L 2 (Q), a G Q e , и

1Ы1 6 C, a G Qe для всякого положительного C > no.

Значит при k f 11 = 0 доказательство леммы 2.2 завершено. В случае k f k = 0 утверждение леммы 2.2 очевидно. B

Следствие 2.1. Пусть f G L2(Q х Q). Тогда для любого е > 0 существует no G N такое, что kf k2 = j dy J If (x,y)|2dx + e,                          (2.2 0)

An0    Ω где множество An определено в (2.1).

Предложение 2.1. Пусть f G L2(Q х Q) и k f к = 1. Тогда для семейства { ^ a } a e Q функций, заданных равенством ^ a (x) = f (x,a), x G Q, существует подмножество Q o C Q с мерой, отличной от нуля, такое, что ^ a G L 2 (Q), a G Q o , и 0 <  к ^ а к 6 C, a G Q o , для некоторого положительного C.

C Пусть f G L2(Q х Q) и ||f к = 1. В силу утверждения леммы 2.2, для произвольного е > 0 существуют подмножество Qe = An0 C Q и число C > 0 такие, что ^(Qe) > ^(Q) — е, ^а G L2(Q), a G Qe, и k^a| 6 C, a G Qe. Из (2.20) следует, что kfk2 = j dy j If(x,y)|2dx + е = 1.

A n 0    

Обозначив Qo = {a : ||^аЦ > 0, a G Qe} C Qe C Q, имеем 0 < ||^аЦ 6 C, Va G Qo. Следовательно, получим, что kf 112 = j by k2dy = 1 - е

Q 0

Отсюда вытекает, что ^(Q o ) > 0. Действительно, если ^(Q o ) = 0, тогда, в силу ограниченности функции h(x) = ||^ x k 2 на Q o , из последнего равенства мы пришли бы к противоречию с тем, что k f к = 0. Предложение 2.1 доказано. B

Лемма 2.3. Пусть Qo C Q и ^(Q o ) > 0. Если ^ а G L 2 (Q), a G Q o , и ||^ а Ц = 1, a G Q o , и для функции двух переменных f , определенной равенством:

■ xy 1, (x)'

если x G Q, y G Q o , если y G Q \ Q o ,

(2.3)

верно f G L 2 (Q х Q) и k f k = 0.

C Пусть ^a G L2(Q) и ||^ak = 1, a G Qo, для некоторого подмножества Qo C Q с мерой, отличной от нуля. Тогда для функций двух переменных f (x,y) (2.3) получим jj |/(x,y)|2 dxdy = j y‘|/(x,y)|2 dx + j dy j |f(x,y)|2dx

= jdyj | f(x,y) | 2 dx = j k ^ y k 2 dy = j dy = ^(Q o ) > 0, Q 0                        Q 0              Q 0

  • т. е. f G L 2 (Q х Q) и k f k = 0. B

Предложение 2.2. Пусть ^ a G L 2 (Q), a G Q o для некоторого подмножества Qo C Q с мерой отличной от нуля, такого, что k ϕ α k 6 C, α Q 0 . Тогда функция двух переменных f (x,y), заданная равенством

/(Х'У) = Ь '

если x G Q, y G Q o , если y G Q \ Q o

(2.4)

принадлежит L 2 (Q х Q). При этом если k ^ a k = 0, a G Q o , для некоторого подмножества Q o C Q o с мерой отличной от нуля, то k f k = 0.

Доказательство предложения 2.2 аналогично доказательству леммы 2.3.

Следствие 2.2. Пусть f G L 2 (Q x Q). Тогда существует строго убывающая последовательность положительных чисел { e n } nG N такая, что lim e n = 0 и n→∞

  • (a)    для каждого n G N существует подмножество Q n С Q с мерой ^(Q n ) > ^(Q) e n , причем Q i С Q2 С ... С Q n С ... и U Q n = Q;

n N

  • (b)    для каждого n G N существует положительное число C n так, что выполняется неравенство

Ц^) || 6 Cn, Va G Qn, где ^an)(x), a G Qn, — семейство функций одного переменного в L2(Q), заданных равенством

^ an ) (x) = f (x,a), x G Q;

  • (c)    для любого n G N функция

. ( x      \f (x)'

если (x, y) G Q x Q n , если (x, y) G Q x (Q \ Q n )

(2.5)

ЫХ,У) = < 0

принадлежит L 2 (Q x Q) и lim f n (x,y) = f (x,y).

n→∞

Лемма 2.4. Число £ G C является собственным значением оператора Т д = KR д ' A G p(V), тогда и только тогда, когда число £ является собственным значением каждого компактного оператора K a = K a (A), a G Q o , где

Г k(x,s>(s) ds

Ka» = / u(s,a) — A - » G L2™, и Qo = Qo(A) — некоторое подмножество в Q, мера которого отлична от нуля.

C а) Необходимость. Пусть £ G C — собственное значение оператора Т д , A G p(V), т. е. T д fo = £f o , для некоторого f o G L 2 (Q x Q), ||f o H = 1. Обозначив через » a = » a (x) = f o (x,a), a G Q, получим семейство функций на Q. Тогда, в силу предложения 2.1, существует подмножество Q o С Q такое, что ^(Q o ) > 0 и » a G L 2 (Q), a G Q o . Причем k »a || = 0, a G Qo.

Для произвольного a G Q o имеем

  • [ к(х^>а(^,      f k(x's)f 0 (s'a)            ,    .       ,    .        ,

K a ^ a = J u(s a ) - A ds = у   u(s a ) A ds = ТдЫх, a) = £f o (x, a) = £» a (x).

Значит, число £ является собственным значением оператора K a = K a (A), a G Q o .

  • б)    Достаточность. Пусть A G p(V) и £ — собственное значение для семейства операторов K a = K a (A), a G Q o , где Q o С Q и ^(Q o ) > 0. Тогда существует семейство элементов { » a } a eQ 0 С L 2 (Q) такое, что K a » a = £» a и | » a | = 1, a G Q o . Определим функцию f 0 равенством:

    f o (X'У) = ^"У <Х),


    если x G Q, y G Q o , если y G Q \ Q o .


Тогда в силу леммы 2.3 имеем f o G L 2 (Q x Q) и | f o | = 0. С другой стороны, получим:

  • (i)    при y Q 0

m f          f k(x,sf0 (s,y) л f kxX,S>y (s)

xy) = / u(s,y) - Л ds = J u(s,y) A ds = K" '(x)

= -/ a (x) = €f o (x, y), x e Q;

  • (ii)    при y e Q \ Qo имеем T\ fo(x, y) = 0, т. е.

  • 3.    Основные результаты

T \ fo(x,y)= £f o (x,y), x e Q-

Таким образом, T \ fo(x,y) = £f o (x,y) для любых x e Q и y e Q- Значит, число £ является собственным значением оператора T λ .

Пусть А(Л;a), Л e p(V ), — детерминант Фредгольма [14] оператора E + К а (Л), a e Q, где E — тождественный оператор в L 2 (Q). Если Л e p(V ) — собственное значение оператора H, то, в силу лемм 2.1 и 2.4, существует подмножество Q o = Q o (Л) С Q такое, что ^(Q o ) > 0 и

А(Л; а) = 0 для всех a e Qo-                         (3-1)

Здесь

А(Л; a) = 1 + £ "    ",                          (3.2)

n N

k(s i ,s i ) --- k(s i ,S n ) k(s 2 , s 1 ) . .. k(s 2 , s n )

•  • •                    • • •                     • • •

k(s n ,s i ) --- k(s n ,s n )

d n (Л; a) = j...j

ds 1 ds 2 . . . ds n n . П (u(s i ,a) - Л) i =1

Из лемм 2.1 и 2.4 вытекает

Теорема 3.1. Следующие три условия эквивалентны:

  • (i)    число Л e p(V) — собственное значение оператора H;

  • (ii)    число 1 — собственное значение оператора T \ = KR x e p(V));

  • (iii)    число 1 — собственное значение каждого компактного оператора K a = К а (Л) (Л e p(V)), a e Q o , где Qo — некоторое подмножество в Q, мера которого отлична от нуля.

Определим множества D H С C и D h С C , соответственно, равенствами D H = {Л e p(V) : А(Л; a) = 0 V a e Q o = Q o (Л) для некоторого подмножества Q o (Л) С Q с мерой, отличной от нуля}, D h = { Л e p(V) : А(Л; a) = 0 для некоторого a e Q } -

Теорема 3.2. Для того, чтобы число Л o e p(V) было собственным значением оператора H, необходимо и достаточно, чтобы λ 0 D H 0 .

C а) Достаточность. Пусть λ 0 D H 0 . Тогда, по построению множества D H 0 , существует подмножество Q o o ) С Q, мера которого отлична от нуля и

А(Л o ;a) = 0, V a e Q o = Q o o )-

Значит, число - 1 является собственным значением каждого компактного оператора K a = K a o ), a e Q o - Тогда из теоремы 3.1 следует, что число Л o является собственным значением оператора H.

  • б) Необходимость также следует из теоремы 3.1. B

Теорема 3.3. Для любого z E a(V) U D h резольвента R z (H ) оператора H существует и действует в L 2 (fi х Q) по формуле

/(xy)      1     Dxsyizl z         u(x,y) - z   A(z; y) J u(x,y) — z 8,У S‘

Здесь D(x, s; a, z) — минор Фредгольма [14] оператора E + K a (z), z E p(V ), т. е.

D(x, s; a, z) = k ( x, s ) + X 11 B n (x, s; a, z),           (3.3)

u(s, a) z       u(s,a) z n!

где

B n ( x, s ; a, z )

=/•••/

k ( x, s ) k(si,s)

* * *

k ( s n , s )

k ( x, s 1 ) ... k ( x, s n ) k(si,si) ... k(si,s n )

...      ...

k(s n , s 1 ) . . . k(s n , s n )

ds 1 ds 2 . . . ds n

n

П (u(s i , a) z)

i =1

Прежде, чем доказать теорему 3.3, приведем вспомогательную лемму.

Пусть P g = { z : m 6 Re z 6 M и 6 <  Im z < 6,z E C } , где 6 >  0. Обозначим через

V g (m) и V g (M ) 6-окрестности точек m и M, т. е. V g (m) = { z : | z m | < 6, z E C } и

V g (M ) = { z : | z M | < 6, z E C } . Определим открытое множество n g в C :

n g = C \ P g U V g (m) U V g (M ), 6> 0.

Лемма 3.1. Пусть z o E n g . Тогда для любого 6 >  0 функциональный ряд (3.2) (ряд (3.3)) при X = z o (при z = z o ) равномерно сходятся на Q (на Q х Q х Q).

C Пусть 6 > 0 и zo E ng. Положим Ck = sup |k(x,s)|. Из неравенства Адамара [14] x,s∈Ω для определителей вытекает, что

| d n (z o ; a) | 6 C n nn (V 7—,—ds -----1 , n E N .

\J | u(s,a) z o |/

Имеем | u(x, y) z o | 6 >  0, (x, y) E fi х Q. Отсюда и в силу непрерывности функции u(x, у) следует, что функция

P o (x) = I i / ds ------1

J |u(s,x) — zo| также является непрерывной на Q.

Пусть ^o = suppo(x). Тогда ряд (3.2) имеет мажоранту x∈Ω

1+E(^oCk)n • n2, n∈N последний ряд сходится, поскольку степенной ряд

n n2

, n !

q(x) = 52 впХП, где вп n∈N имеет бесконечно большой радиус сходимости. Значит, функциональный ряд (3.2) при A = zo G Щ на Q сходится равномерно.

Аналогично можно доказать, что ряд (3.3) при z = z o G Щ на Q х Q х Q сходится равномерно. B

C Доказательство теоремы 3.3. Пусть z o G CT(V ) U D h . Рассмотрим уравнение

(H - zoE)f = g, где g G L2(Q х Q) — заданная функция, f — неизвестная функция в L2(Q х Q).

Следовательно, имеем

(u(x,y) - z o )f (x,y) + j k(x,s)f (s,y) ds = g(x,y)

Положив f(x,y) = (u(x,y) z o )f(x,y), получим

f (x,y)+ T z o f(x,y)= g&yf                         (3.4)

В силу утверждения следствия 2.2, для функций g G L 2 (Q х Q) существует убывающая последовательность положительных чисел ε n и существует последовательность подмножеств Q n С Q, для которых выполняются свойства (a), (b) и (c), причем lim e n = 0. n^^

Для каждого множества Q n построим подпространство L n = L 2 n ) (Q х Q). Функция f(x,y) G L 2 (Q х Q) принадлежит подпространству L n ) , если выполняются следующие условия:

  • 1 ° ^ an ) (x) = f(x,a) G L 2 (Q) для всех a G Q n ;

  • 2 ° существует положительное число C n такое, что H ^ On ) k 6 C n для всех a G Q n ;

  • 3 ° f (x, y) = 0, если (x, y) G Q х (Q \ Q n ).

Очевидно, что L 2 n ) С L 2 (Q х Q) и оно является бесконечномерным евклидовым пространством.

Легко заметим, что для каждого f G L 2 (Q х Q) существует последовательность f n G L ( n ) , n G N , такая, что lim f n = f. Поэтому уравнение (3.4) будем решать в подпро- n^^

странстве Lxn и затем найдем решение уравнения (3.4) как предел lim fn(x, y) = f(x, y), n^^

где f n — решение уравнения (3.4) в L 2 n ) .

Пусть g n (x, y) — элемент в L n ), соответствующий функции g(x,y). Обозначим через f n (x,y) элемент в L 2 " ) , соответствующий неизвестной функции f (x,y) G L 2 (Q х Q).

Тогда уравнение (3.4) сводится к следующему уравнению в пространстве L^ :

f n (x,y)+ T z o f n (x,y)= g n (x,y).                         (3.5)

Следовательно, из свойства (b) следствия 2.2 вытекает, что при фиксированном y G Q уравнение (3.5) приводится к следующему уравнению в пространстве L 2 (Q) :

(x)+ K a (z o )^ an ) (x) = h^(x), a G Q.                    (3.6)

Здесь K a (z o ) — компактный оператор в L 2 (Q), определенный по равенству

K a (z o )^ = / -^(xlf)— ^(s) ds, a G Q, u(s, a) - z o

^ an ) (x) = f n (x,a) — неизвестная функция в L s (Q), h^^x) = g n (x, a) — заданная функция в L s (Q).

В силу первой фундаментальной теоремы Фредгольма [14], уравнение (3.6) при каждом a G Q имеет единственное решение

^an)(x)= h^(x) - Wa(zo)ha)(x), где оператор Wa(zo) действует в Ls(Q) по формуле

W « (4)V = [ D (x’S' a,Z 0 *) ds J    A(a; z o )

  • и, в силу утверждения леммы 3.1, оператор W a (zo) является компактным.

Нетрудно проверить, что функция f n (x,y) = ^^(x) принадлежит подпространству L n и является решением уравнения (3.5). Определим функцию p G L s (Q x Q) равенством

p(x,y) = (E - W(zo))g(x,y), где оператор W(zo) действует в L2(Q x Q) по формуле

W(zo)f = / D^’s y’Z o ) f (s,y) ds J    A(y; z o )

и он, в силу леммы 3.1, является ограниченным оператором.

Следовательно, если (x,y) G Q x Q n , то

p(x,y) = g(x,y) - W(zo)g(x,y) = g n (x,y) - W(zo)g n (x,y) = h yn ) (x) - W y (z o )h yn ) (x) = ^ (x) = f n (x,y).

Если a G Q \ Q n , то в уравнении (3.6) h ( n ) (x) = 0. Тогда имеем решение ^ ( n ) (x) = 0. Отсюда имеем f n (x, y) = ^ Уп ) (x) = 0 при (x, y) G Q x (Q \ Q n ).

Таким образом, из свойства (c) следствия 2.2 получим, что p(x,y) = lim f n (x,y).

n→∞

Значит, функция f (x, y) = p(x, y) = (E - W(zo))g(x, y)

является решением уравнения (3.4). Следовательно, подставив вместо f (x,y) функцию (u(x,y) - z o )f (x,y), найдем действие резольвенты R z 0 (H ) оператора H :

f (x,y) = R z o (HM^y) = R z o (V )(E - W(zo))g(x,y) =

u(x,y) - z o

(g(x,y)- W (z o ))g(x,y).

Теорема 3.3 доказана. B

Из теоремы 3.3 и определения спектра получим следующую теорему.

Теорема 3.4. Спектр оператора H состоит из объединения множеств a(V) и D h , т. е.

a(H ) = a(V) U D H .

Лемма 3.2. Пусть ao G Q. Тогда для семейства операторов Ka(X), A G p(V), lim kKa(A) - Kao(A)H = 0,

α→α 0

т. е. семейство операторов { К а (А) } ае ю при а ^ а о сходится к оператору К а 0 (А) в равномерной операторной топологии.

C Пусть у — произвольный элемент в L o (Q) и а о G Q. При фиксированном А о £ p(V ) = C \ [m, M ] рассмотрим разность элементов К а о )у и К а 0 о )у :

П х         f (u(s,a) - u(s,a0))k(x,s)    (

K^ - Л„ <А )„ = - / ( u ( s , Q ) - а 0 )((5,„ 0 ) - Ао) s ds.

Тогда получим, что

\ V 2     И (u(s,a) - u(s,а 0 )) 2 |k(x,s)| 2 dxds

" K*^1 - Ka0 о 6 J J   Ms,») - А о | 2 | и( в о ) - АоР '

Положим Ео = inf |u(s,x) - Ао| > 0. Тогда, в силу непрерывности веществен-x,s∈Ω нозначной функции u(x,y), для произвольного 6 > 0 существует достаточно малое число е > 0 такое, что |u(s, а) - u(s,ао)| < ео • е, для всех (s. а) £ Q х Q5, где Q5 = {а : р(а, ао) < 6, а £ Q}. Итак, при а £ Q5 имеем ds

2                         2 ,

|u(s, а) - Ао | |u(s, ао ) - Ао | где Ck = sup |k(x, s)|.

Однако значение интеграла в последнем неравенстве при любом а £ Q не превосходит значения ^(^)/е о . Следовательно, получим

||К а о ) - К а о о ) к 6 C k ^(Q)e, а £ Q 5 .

Из последнего неравенства в силу произвольности значения е >  0 получим, что lim | К а о ) - К а о о ) к =0. B α α 0

Теорема 3.5. Дискретный спектр оператора H — пустое множество, т. е. CT disc (H) = 0.

C Покажем, что a(H) С a ess (H). Очевидно, что a(V) = [m, M], где m = inf f (x, y) и M = sup f (x,y). Однако, любая точка А £ a(V) является неизолированной в спектре оператора H. Поэтому имеет место включение a(V) С a ess (H).

Теперь, пользуясь критерием Вейля о существенном спектре самосопряженных операторов [15], докажем включение D h С a ess (H). Пусть А о £ D h — некоторая фиксированная точка. Тогда существует элемент а о £ Q такой, что А(А о ; а о ) = 0, т. е. число - 1 является собственным значением оператора К а 0 = К а 0 о ). Значит, существует вектор у £ L o (Q), | ^ | = 1, такой, что К а 0 о )^(x) = - ^(x).

Введем обозначения:

V n о ) = {y : n +y < p(y, а о ) < П, y £ Q| С Q

— выколотая окрестность точки а о £ Q, x n (y) — характеристическая функция множества V n (a ).

Определим последовательность функций { f n } С L o (Q х Q) следующим образом:

f n (x, y) =

γ n

V ^(V n (a о ))

y(x)x n (y) u(x,y) - А о ,

где { Y n} — некоторая ограниченная числовая последовательность, которая выбирается для нормирования последовательности { f n } .

Так как носители функций f n и f m не пересекаются при n = m, то

(fn, fm)=j^ fn(x, y)fm(x, y) dx dy = dnm, где 6nm — символ Кронекера, т. е. {fn} — ортонормированная система в L2(Q х Q).

Тогда имеем

(H - A o E)f n (x, y) = p Y n     • Х п (У) f ^(x) + [ MxisldM. ds\

V ^(V n (ao))        V J u(s, y) - Ao /

= ^SnT^ X n (y)(V(x) + K y (AoM<

V /^(Vn(a0))

Следовательно, получим, что k(H — AoE)fnk 6 Ynk^ + Ky(Ao)^k ^ 0, n ^ to.

Действительно, при n ^ to имеем y ^ a o , и в силу леммы 3.2 вытекает, что ||K y (A o )^ + ^ | ^ ||K a 0 (A o )^ + у | = 0 при n ^ to, так как ^ — собственный вектор оператора K a 0 (A o ), соответствующий собственному значению 1. Это означает, что A o G a ess (H) [15]. В силу произвольности A o £ D h вытекает D h С a ess (H). Итак, мы доказали, что a(H) С a ess (H). Значит, имеем ст disc (H ) = 0 . B

  • 4.    Случай k(x,s) = ^(x)^(s)

Пусть ^(x) — аналитическая функция на Q = [a, b] v , k(x, s) = ^(x)^(s), u(x, y) — вещественнозначная непрерывно дифференцируемая функция на Q х Q, которая достигает максимума в единственной точке (x o ,y o ) £ Q х Q, т. е. M = sup u(x,y) = u(x o ,y o ).

x,y

В пространстве L2(Q х Q) рассмотрим оператор

Hf

= u(x,y)f(x,y) +

j ^(xMs)f (s,y) ds,

f £ L 2 (Q х Q).

(4.1)

Тогда детерминант Фредгольма A(A; a) имеет вид

A(A; a) = 1 + [ | ^(s)f ds , A £ p(V), a £ [a,b] v . J u(s, a) A

Поскольку функция u(x, y) непрерывно дифференцируема, то частные производные ddy, A £ no, и ddai, ai £ Q, являются непрерывными функциями по каждому аргументу A £ no и ai £ [a, b], причем dA Г    |^(s)|2 ds       \ тт / г vw\ dA = J (u(s,a) — A)2, A £ no (a £ [a, b] ),

Ω dA

∂α i

f l ^(s) | 2 du:

  • —               ;----i-y5 ds,    ai £ [a, b],     i = 1, 2,..., v    (A £ n o ) .

(u(s, a) A) 2

Здесь П о = R \ a(V).

Функция А(А; а) при а = а о является монотонной функцией от А на (M, го ). Определим вещественнозначную функцию ш(х) на Q = [a, b] v по формуле:

w(x) = <

А(М;x),         если x = ао, lim А(А;x),   если x = ао,

λ M +0

(4.2)

где а о = у о .

Очевидно, что если значение предела

lim

λ M +0 Ω

Ms)| 2 ds u(s, а о ) А

(4.3)

конечно, то функция w(x) становится непрерывной на Q = [a, b] v .

Положим ^ min = inf w(x) и w max = sup ^(x).

Теорема 4.1. Пусть значение предела (4.3) конечно. Тогда

  • а)    если w min 0, то D h = 0, т. е. a(H ) = a(V);

  • б)    если ^ min < 0 и ш тах >  0, то D h = 0 и существует непустое открытое множе-

  • p

ство G С Q такое, что G = |J G j где Gj — связные j =1

G, и существует ровно p функций q 1 (x), q 2 (x), ..., q j (x) является непрерывной и ограниченной на G j ; равенства:

p

(i) D h = U [a j , b j ], где a j = inf q j (x) и b j = sup

компоненты открытого множества

q p (x) таких, что каждая функция при этом имеют место следующие

j =1 p

x G j

x G j

q j (x);

  • (ii)    D h = (J A j , где A j = [a j , b j ], если a j > M и A j = (a j , b j ], если a j = M;

j =1

p

  • (iii)    a(H ) = a(V) U U[a j ,b j ] ;

j =1

в) если штах < 0, то Dh = 0 и существует единственная ограниченная непрерывная функция q(x) на Q такая, что Dh = [qmin, qmax] , где qmin = inf q(x) > M и qinax = x∈Ω sup q(x).

x

<1 Поскольку оператор H — самосопряженный, то при изучении множества D h С а(Н) нам достаточно рассмотреть случай, когда параметр А G C \ a(V ) — вещественный, т. е., вообще говоря, имеет место равенство

D h = { А G R \ u(V) : А(А; а) = 0 для некоторого а G Q } .

С другой стороны, если А < m, то из (4.1) вытекает, что А(А; а) > 0 для всех а G Q. Значит, имеет место включение D h С (M, го ). Поэтому мы будем рассматривать только случай А G (M, + го ).

Пусть значение предела (4.3) конечно. Тогда функция w(x) (4.2) является непрерывной на ограниченном замкнутом множестве Q. Легко заметить, что при каждом фиксированном а G Q функция А(А; а) непрерывна и строго монотонно возрастает от ш(а) = lim А(А; а) до 1 на полуоси (M, + го ).

  • а)    Пусть ш min 0. Тогда в силу монотонности функции А(А; а) по А G (M, + го ), при каждом а G Q имеем А(А; а) > 0 для любого А G (M, + го ). Значит, по определению множества D h , получим, что D h = 0 .

  • б)    Пусть ^ min < 0 и ш тах 0. Тогда из непрерывности функции ш(x) следует, что прообраз G = ш - 1 ((^ min , 0)) интервала (ш min , 0) является непустым открытым множе- О

ством в Q= (a, b)v. Для любого ао G G выполняется неравенство ш(ао) < 0, значит, уравнение А(А; ао) = 0 имеет единственное решение Ао > M, т. е. А(Ао; ао) = 0, где λ0 > M. Из того, что в Rν всякое открытое множество имеет не больше, чем счетное число связанных компонент, следует, что существуют непустые взаимно непересекаю-p щиеся открытые области Gi, G2, ..., Gk, ..., Gp такие, что G = U Gj, где p = n G N j=1

или p = го . Для уравнения А(А; а) = 0 для каждого открытого множества G j выполняются условия существования и единственности неявных функций [16]. Таким образом, уравнение А(А; а) = 0 на G j имеет единственное непрерывное решение q j (x), x G G j , т. е. A(q j (x); x) = 0, V x G G j . Поскольку G j — область, то множество Im q j (x), x G G j , (образ функции замкнутого множества G j ) в силу непрерывности функции q j (x) является отрезком, т. е. Im q j (x) = [a j , b j ], где a j = inf q j (x) и b j = sup q j (x). Следовательно, xeG j                              x^G j                xeG j

p

получим, что (i) D h = U [a j , b j ]. По определению множества D h , число M не принад- j =1

лежит D h , поэтому, выбрасывая это число из D h , мы имеем равенство (ii). Равенство (iii) теперь непосредственно вытекает из теоремы 3.4 и равенства (ii).

  • в)    Пусть ш тах < 0. Тогда для любого а G Q выполняется неравенство ш(а) = ^ lim А(А; а) < 0. Cледовательно, в силу монотонности функции А(А; а) по А G (M, го ), для любого а о G Q= (a, b) v существует единственное число А о G (M, го ) такое, что О

А(Ао; ао) = 0, т. е. в Q выполняются условия существования и единственности неявных функций для уравнения А(А; а) = 0. Значит, существует единственная непрерывная o функция q(x) на Q такая, что A(q(x); x) = 0, Vx G Q. B

Теорема 4.2. Пусть значение предела (4.3) бесконечно. Тогда D h = 0 и

  • а)    если ш тах >  0, то существует непустое открытое множество G С Q такое, что

  • p

G = (J G j , где Gj — связные компоненты открытого множества G, и существует ровно j =1

p функций q i (x), q 2 (x), ..., q p (x) таких, что каждая функция g j (x) является непрерывной и ограниченной на G j , причем имеют место равенства (i), (ii) и (iii);

  • б)    если ш тах < 0, то существует единственная ограниченная непрерывная функция q(x) на Q такая, что D h = [q min , q max ], где q min > M.

Доказательство теоремы 4.2 аналогично доказательству теоремы 4.1.

Список литературы О спектральных свойствах операторов в модели Фридрихса с некомпактным ядром в пространстве двух переменных функций

  • Малышев В. А., Минлос Р. А. Кластерные операторы//Тр. семинара им. И. Г. Петровского.-1983.-Вып. 9.-С. 63-80.
  • Mattis D. C. The few-body problem on lattice//Rev. Modern Phys.-1986.-V. 58, № 2.-P. 361-379.
  • Mogilner A. I. Hamiltonians in solid state physics as multiparticle discrete Schrodinger operators: problems and results//Adv. Soviet. Math.-1991.-V. 5.-P. 139-194.
  • Лакаев С. Н. Связанные состояния и резонансы N-частичного дискретного оператора Шредингера//ТМФ.-1992.-Т. 91, № 1.-С. 51.
  • Лакаев С. Н. Об эффекте Ефимова в системе трех одинаковых частиц//Функцион. анализ и его прил.-1993.-Т. 27, вып. 3.-С. 15-28.
  • Жуков Ю. В. Теорема Иорио-О'Кэррола для N-частичного решетчатого гамильтониана//ТМФ.-1996.-Т. 107, № 1.-С. 75-85.
  • Изюмов Ю. А., Медведов М. В. Теория магнитно-упорядоченных кристаллов с примесью.-М.: Наука, 1970.-271 с.
  • Балагуров Б. Я., Вакс В. Г. К теории антиферромагнитных примесей в магнитиках//ЖЭТФ.-1974.-Т. 66.-С. 1135-1149.
  • Дякин В. В., Летфулов Б. М. Локализованные спин-поляронные состояния в ферромагнитиках//ТМФ.-1987.-Т. 73, № 3.-С. 454-462.
  • Эшкабилов Ю. Х. Об одном "двухчастичном" и "трехчастичном" операторе Шредингера//Тезисы докл. Межд. конф. "Колмогоров и современная математика".-М., 2003.-С. 362-363.
  • Эшкабилов Ю. Х. Об одном некомпактном возмущении в непрерывном спектре оператора умножения на функцию//Узб. мат. журн.-2003.-№ 1.-С. 81-88.
  • Рид М., Саймон Б. Методы современной математической физики. Т. 4. Анализ операторов.-М.: Мир, 1982.-427 с.
  • Эшкабилов Ю. Х. О дискретном спектре тензорной суммы операторов//Докл. АН РУз.-2005.-№ 1.-С. 6-10.
  • Трикоми Ф. Интегральные уравнения.-М.: ИЛ, 1960.-300 с.
  • Рид М., Саймон Б. Методы современной математической физики. Т. 1. Функциональный анализ.-М.: Мир, 1977.-357 с.
  • Фихтенгольц Г. М. Курс дифференциального и интегрального исчисления. Т. 1.-М.: Наука, 1966.-607 с.
Еще
Статья научная