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

УДК 517.927.25

О СВОЙСТВАХ СОБСТВЕННЫХ ФУНКЦИЙ ОДНОГО КВАДРАТИЧНОГО ПУЧКА ДИФФЕРЕНЦИАЛЬНЫХ ОПЕРАТОРОВ ВТОРОГО ПОРЯДКА

В.С. Рыхлов

Саратовский государственный университет, кафедра дифференциальных уравнений и прикладной математики E-mail: [email protected]

Рассматривается вырожденный обыкновенный дифференциальный квадратичный пучок второго порядка с постоянными коэффициентами. Изучается случай, когда корни характеристического уравнения лежат на одной прямой, проходящей через начало координат, по разные стороны от этого начала. Исследуются свойства системы его собственных функций в пространствах L2[0,ct], a > 0. Доказываются критерии однократной полноты и минимальности этой системы, а также находятся достаточные условия однократной полноты и минимальности.

Ключевые слова: обыкновенный дифференциальный пучок операторов, квадратичный пучок операторов, вырожденный пучок операторов, второй порядок, постоянные коэффициенты, собственные функции, однократная полнота, однократная минимальность, достаточные условия.

On Properties of the Eigenfunctions of a Quadratic Pencil of the Second Order Differential Operators

V.S. Rykhlov

The degenerated second order ordinary differential quadratic pencil with constant coefficients is considered. The case is studied, when the roots of characteristic equation lie on a straight line coming through the origin and on the both side of the origin. Properties of the system of its eigenfunctions in the spaces £2(0, a], a > 0 is investigated. Criteria of one-fold completeness and minimality of this system are proved and sufficient conditions of one-fold completeness and minimality are found.

Key words: ordinary differential pencil of operators, quadratic pencil of operators, degenerated pencil of operators, second order, constant coefficients, eigenfunctions, one-fold completeness, onefold minimality, sufficient conditions.

1. ПОСТАНОВКА ЗАДАЧИ, ПРЕДВАРИТЕЛЬНЫЕ СВЕДЕНИЯ И РЕЗУЛЬТАТЫ

Рассмотрим в пространстве L2[0,1] пучок операторов L(A), определяемый однородным дифференциальным выражением

l(y, A) := y(2) + Apiy(1) + A2p2y и двухточечными однородными краевыми условиями:

Uv(y, A) = U„o(y, A) + Uv 1 (y, A) :=

:= («viy(1)(0) + A«v2y(0)) + (VviУ(1)(1) + A£v2y(1)) = 0, v = 1, 2, (1)

где pj,avj, Pvj E C. В случае av1 = fiv 1 = 0 считаем, что краевое условие имеет вид

«v2 y(0) + ev2 y(1) = 0.

Обозначим через ш15ш2 корни характеристического уравнения w2 + p1 w + p2 =0 и предположим, что всюду в дальнейшем выполняется основное предположение: корни ш1?ш2 отличны от нуля и лежат на одной прямой, проходящей через начало координат, по разные стороны от этого начала. Не нарушая общности, можно считать:

10) ш2 < 0 < ш1.

Далее будет использоваться обозначение т := |ш2 |/ш1. Ясно, что т > 0.

Введем функции y1(x, A) = exp(Aw1 x), y2(x, A) = exp(Aw2x). При A = 0 эти функции являются линейно независимыми решениями уравнения l(y, A) = 0.

Далее для определенности считаем в (1) av 1 = 0, fiv 1 = 0. В остальных случаях рассуждения принципиально не отличаются. Обозначим vvj = Uv0(yj, A)/A, wvj = exp(-Awj)Uv 1(yj-,A)/A (v, j = 1, 2)

и Vj = (v1j,V2j)T, Wj = (w1j,W2j)T (j = 1,2). Пусть ask = det(Ws, Wk), a^k = det(Vs,Wk),

= det(Ws, Vk), a^ = det(Vs, Vk).

© В.С. Рыхлов, 2009

31

Характеристический определитель пучка имеет вид

Д(А) =

Ui(yi, А) Ui(у2,А)

U(yi, А) U2(У2, А)

= А2 (а12 + еЛш1 а12 + еЛш

vii + еЛш1 wii V12 + еЛШ2 Wi2

Л^2

= А2

22 + еЛ(-1+-2)ai^ = А2 До (А).

V2i + ЄЛші W2i V22 + еЛ^2 W22

Предположим, что всюду в дальнейшем выполняется условие

2°) a12 = 0> al2 = Ol a12 = a12 = 0.

При этом условии

Aq(A) = ai2 + еЛш1 ai2,

(2)

и, следовательно, рассматриваемый пучок £(А) не является регулярным [1, с. 66-67] и, более того, не является нормальным по терминологии работы [2].

Решается задача нахождения условий на параметры пучка £(А), при которых имеет место или отсутствует двукратная полнота системы собственных и присоединенных функций (с.п.ф.) пучка £(А) в пространстве L2[0,1]. При отсутствии такой полноты естественно ставить вопрос о двукратной полноте в пространстве L2[0,n] при 0 < и < 1 или об однократной полноте в пространстве L2 [0,1], или, хотя бы, в пространстве L2[0, и] при 0 < и < 1. При исследовании полноты системы с.п.ф. естественно возникает задача о минимальности этой системы в указанных пространствах и, более того, о безусловной базисности или, что почти одно и то же, о базисности Рисса.

Отметим, что в случае 0 < wi < w2 и при условии ai2 = 0, ai2 = 0, ai2 = ai2 = 0 свойства с.п.ф. детально исследовались в [3], а при условии 20 в [4]. В случае же <^2 < 0 < wi и выполнении условия

20 двукратная полнота системы с.п.ф. пучка £(А) в пространстве L2 [0, и] детально исследовалась в [5,6] и анонсировалась в [7].

Из (2) следует, что уравнение До (А) = 0 имеет счетное число корней, которые выражаются формулой

Ак = (2kni + d0)/wb k Є Z, (3)

где d0 := ln0 c0 (ln0 есть фиксированная ветвь натурального логарифма, такая что ln01 = 0),

Со := —ai2/ai2.

Обозначим Л := {А& | k Є Z}. Очевидно, Л \ {0} есть множество ненулевых собственных значений (с.з.) пучка £(А), которые являются простыми. Точка А = 0 может быть с.з., а может и не быть, даже если 0 Є Л. Имеет место равенство

еЛш1 = С0,

А Є Л.

(4)

В качестве порождающей функции для системы с.ф. пучка £(А) возьмем порождающую функцию, предложенную в [8]:

Y(х,А, г) =

0 yi (x, А)

У2(х,А)

-Г Vi + еЛш1 Wi V2 +

W2

А = 0,

где вектор Г = (71,72)т = 0 является параметром. В [8, Lemma 1, Lemma 2] исследовалась возможность брать в качестве Г векторы Vj и Wj (j = 1, 2).

Далее будут использоваться альтернативные условия:

30) W2 = 0 или: W2 = 0 и а11 = 0;

40) W2 =0 и a1i = 0.

В [6] показано, что если выполняется условие 30, то функция y(x, А) := exp(A^1 x) является порождающей для системы собственных функций (с.ф.) пучка L(A) при А = 0. Если же выполняется условие 40, то порождающей функцией является функция

y(x, А) := єхр(А^1 x) + b0 єхр(А(^1 + w2x)),

60 = ^ = 0.

a12

(5)

Обозначим Y := {y(x, А) | А е Л}. Если А = 0 / Л, то система Y совпадает с системой с.ф. пучка L(A), соответствующих с.з. А е Л. В случае выполнения условия 30 система Y совпадает с обычной тригонометрической системой в экспоненциальной форме и вопрос о полноте системы с.ф. пучка £(А) в пространстве L2[0,1] в этом случае является тривиальным. В дальнейшем считаем, что выполняется условие 40, то есть порождающая функция имеет вид (5). В этом случае, если А = 0 е Л, ситуация сложнее. При 1 + b0 = 0 функция y(x, 0) = 1 + b0 может не быть с.ф. пучка £(А), а в случае 1 + b0 = 0 имеем y(x, 0) = O(x) = 0 и система Y заведомо не является минимальной и базисом ни в каком пространстве L2[0, а], где а > 0. Но с точки зрения полноты и неполноты с бесконечным дефектом системы Y и Y\{O} эквивалентны.

В [6] было найдено значение параметра a = у+рр, такое что система Y 2-кратно полна в пространстве L2 [0, а] при а = а и 2-кратно неполна с бесконечным дефектом при а > а. Кроме того, в [7] были сформулированы условия, при которых имеет место 1-кратная полнота системы Y в пространстве L2[0, а].

В данной статье формулируются и доказываются критерии 1-кратной полноты и минимальности системы Y в пространстве L2[0, а], а также достаточные условия 1-кратной полноты и минимальности этой системы в таких пространствах.

2. КРИТЕРИИ ОДНОКРАТНОЙ ПОЛНОТЫ И МИНИМАЛЬНОСТИ

Обозначим дефектное подпространство системы Y в L2[0, а] через N, то есть N := L2 [0, а] 0, где есть замыкание линейной оболочки системы Y.

Чтобы охарактеризовать N, рассмотрим операторы е L2 [0, а] ^ L2 [0,1], е L2 [0, а] ^

^ L2 [1 — ат, 1] и е L2 [1 — р, 1] ^ L2[0,1], определяемые формулами:

(Аа/)(x) := <

i

£4f (x + Д x е [0,а — 1]; j=0 l-1

£ с0f (x + Д x е (а — /, 1]; L j=0

1—x

(6)

(Баf)(x) := ~x е [1 — ат, 1]; (7)

(Cpf)(x) := <

m —1

£ j/(x — Д x е [0,m + 1 — р];

j=0 с° m

£ jf(x — j), x е (m + 1 — р, 1];

k j=0 c°

(8)

где 1, т е N и {0} и удовлетворяют неравенствам 1 < а < 1 + 1, т < р < т +1.

Лемма 1. £сли выполняются условия 10, 20, 40, то справедливо следующее равенство:

N° = N°, где

N° := {/ е Ь2 [0, а] | ^/ = 0}.

т

Доказательство. 1) Пусть / е N°, то есть / е £2[0, а] и / ± У .Из (5) следует

а а а

/фдш= /е>“.*т(Х)* + /ЬоеЛ'“-+“2х)71х)* = о. А е л. (9)

0 0 0

Преобразуем каждый интеграл в правой части (9) отдельно.

Для первого интеграла в случае, когда при некотором 1 = 0,1, 2,... выполняется неравенство 1 < а < 1 + 1, будем иметь

1 2 5+1 I а''

j eAwi / (x) dx =IJ+J+ ... + J + ... + J +J eA"lX / (x) dx. (10)

0 \0 1 s I — 1 l /

Используя соотношение (4), преобразуем интегралы в (10) при А е Л:

5 + 1

еЛш1 х/(х) йх = еЛш1хеЛш1/(х + 5) йх = еЛш1 хс0/(х + 5) йх, 5 = 0,1 - 1; (11)

а —I а—I

уе-1 х/(х) йх = у еЛш1 хеЛш1/ /(х + 1) йх =у еЛш1хс0/(х + 1) йх. (12)

I 0 0

Подставив (11) и (12) в (10), получим при А е Л

а 1 /1 а—I 1

у"еЛш1ХТМ йх = ^ еЛш1 ^ с0/(х + 5) йх + ^ еЛ^1Хс0/(х + 1) йх = ^ еЛ^1Х (Аа/)(х) йх. (13)

в=0

Для второго интеграла в (9) в случае, когда при некотором т = 0,1, 2,... выполняется неравенство —т < 1 — та < —т + 1 или, что эквивалентно, т < та < т + 1, будем иметь при А е Л

1

J +^х)/(х) йх = I еЛш1Х Ь°/ (^^ йх =

0 1 —та

1 0 — 5+1 —т+2 —т+Л _____

/ + / + ••• + / + ••• + / + / |еЛш1 х Ь0 /(1—^Нх. (14)

ч0 —1 —в —ш+1 1 —та /

Используя соотношение (4), преобразуем интегралы в (14) при А е Л:

-5 + 1

еЛ^1 х^0/Г 1—^\^х = /* еЛ^1Хе—Л^15—л —х Ых =

тт

= Г еЛ^1Х±^/(И1—^)йх, 5 = 0,т — 1; (15)

'0 с0

Сп т

—?ш+1 ________ 1 ___________

Г еЛ-. х ^/(1-^') ¿х = / еЛ"1 Хе — Л"1 ш ^/(т + 1 — х Ых =

1 т V т ) ./ш+1 — та т V т

1-та

I г*

ш+1-та 0

Подставив (15) и (16) в (14), получим при А е Л

Л^1 х 1 Ь0 „ /т +1 — х\л /1С\

еЛШ1 х — — /-------------------- йх. (16)

/&0еЛ(ш1+^2х)/(х) йх = / еЛш1 х — V -1/ (—х ) йх+

' '0 т __г. С0

5=0 с0

^ ,Л«1 X Ь0 1 ^ ^т +1 — х^_ [Х „Л^1 X &0-

+ / еЛШ1 Я -:- Их = еЛШ1 х^ (Сат Ва /) (х) йх. (17)

•/ш+1 —та т С0 V т / .^0 т

Подставив (13) и (17) в (9), будем иметь при А е Л

У (х, А)/(х) йх = I еЛш1 х ^(Аа/) (х) + ^ (СатВа/)(х)^ йх = 0.

(18)

С учетом полноты системы {ехр(Аа^х) | А е Л} в Ь2 [0,1] из (18) следует, что / является решением уравнения

Аа / +- Сат Ва / = 0, (19)

т

1

1

а

а

0

— 5

1

а

то есть f е N°. Таким образом, доказано включение

N° С N° . (20)

2) Пусть f е N°, то есть выполняется соотношение (19). Но тогда выполняется равенство

J e^1* ((A°f)(x) + -°(С°тf)(x)^ dx = 0 (21)

для всех Л е C, а следовательно, и для всех Л е Л. Очевидно, при Л е Л равенство (21) эквивалентно

(9). Следовательно, f ± Y, а это и означает, что f е N°. Таким образом, получено, что N° С N°.

Отсюда с учетом включения (20) получаем утверждение леммы. Лемма доказана. □

Из данной леммы вытекает

Теорема 2. Если выполняются условия 1°, 2°, 4°, то система Y 1-кратно полна в пространстве L2[0, а] тогда и только тогда, когда уравнение (19) имеет в этом пространстве только тривиальное решение. □

Что касается 1-кратной минимальности, то имеет место

Теорема 3. Если выполняются условия 1°, 2°, 4°, то система Y 1-кратно минимальна в пространстве L2 [0, а] тогда и только тогда, когда неоднородное уравнение

A°Z + СаТ Z = gn 5 (22)

т

где gn(x) := exp ((2nn — d°)x), для каждого n е Z имеет хотя бы одно решение zn(x) в пространстве L2[0, а]. При этом система Z := {zn(x) | n е Z} будет биортогональной к системе Y в пространстве L2[0,а].

Доказательство. В доказательстве леммы 1 для k е Z получено равенство (см. (18))

а 1

J y(x, Л^)f (x) dx = J e^x ^(A°f)(x) + (C°Tf)(x)^ dx. (23)

о 0

Если zn является решением уравнения (22), то, учитывая формулу (3), будем иметь

/ y(x, Л^)zn(x) dx = ¿ы, V k,n е Z.

Jo

То есть система Z является биортогональной к системе Y. А это означает, что система Y минимальна.

Обратно, если система Y минимальна, то существует биортогональная система Z = {zn (x) : n е Z}. Тогда из (23) и (3) получим

1

¿kn = / e2kniX ((A°Zn)(x) + (C°tZn)(x^ e"0X dx, (24)

0

1

где k,n е Z. Учитывая теперь, что ¿kn = J e2knixe-2nnix dx, и пользуясь тем, что система

о

{exp(2knix)}keZ полна в L2[0,1], из (24) получим

- -

(A° Zn )(x) + (A°t #Zn)(x) = e(2nni-d°)a:, x е [0, 1].

А это и означает, что функции гп, п е Z, являются решениями уравнения (22). Тем самым теорема

3 доказана. □

Рассмотрим в Ь2 [0, а] уравнение

А° / + - / = £, (25)

т

где д е ¿2[0,1] есть заданная функция. Уравнения (19) и (22) есть частные случаи этого уравнения. Из теорем 2 и 3 видно, что уравнение (25) является основным при исследовании полноты и минимальности системы У в пространстве ¿2[0,а]. Из формул (6)-(8) непосредственно вытекает Лемма 2. Если выполняются условия 10, 20, 40 и 1,т е N и {0} таковы, что I < а < I + 1, т < ат < т +1, то уравнение (25) имеет вид:

1) при а — I < т +1 — ат

1 _ 'т — 1 / \

Е4/(х + ¿) + *° Е /^Ч = д(х), п.в. х е [0, а — (];

^=0 5=0 с° 4 7

1 — 1 _ т —1 / \

Е4/(х + Я + 7Е ¿гД 2±1—£) = д(х) пв х е (а — 1,т + 1 — ат]; (26)

5=0 5=0 с° V /

1 — 1 _ т / \

Ес0/(х + ^) + ^ Е Г Д 5±1—х) = g(x), пв х е (т +1 — ат, 1];

п п с° V /

к 5=0

2) при т + 1 — ат<а — I

1 _ т —1

Ес0/(х + л + ^ Е Г/‘5±1—£' =

5 = 0 5=0 С°

Е 5 / (х + j) + ь° ЕГ /1 5±1—£' =

5=0 5=0 с°

1 — 1 т

Е с0/(х + ^) + ^Е Г/12±1—£' =

5 = 0 5=0 с°

= д(х), п.в. х е [0,т + 1 — ат];

= д(х), п.в. х е (т + 1 — ат, а — I];

= д(х), п.в. х е (а — 1,1].

(27)

3. ДОСТАТОЧНЫЕ УСЛОВИЯ ОДНОКРАТНОЙ ПОЛНОТЫ

Справедливы следующие достаточные условия однократной полноты системы У в пространстве ¿2 [0, а].

Теорема 4. Если выполняются условия 10, 20, 40, то для однократной полноты системы У в пространстве ¿2[0, а] достаточно выполнения одного из условий:

а) 0 < а < шт{1,1}, 0 < т < +^; причем при т = 1 и 1 <а < 1 должно быть Ь0 = ±1;

б) |Ь012 < т в случае 1 < а < у+т, т > 1;

к

в) |Ь012 Е тс!5? < т в случае, если при некотором натуральном к выполняются неравенства

5=0

к±1 < а < шт 11, к+21, т > к.

Доказательство. Рассмотрим уравнение (19). Покажем, что при условиях теоремы это уравнение имеет только тривиальное решение. Тогда утверждение доказываемой теоремы будет следовать из теоремы 1.

Пусть выполняется условие а) теоремы. В этом случае 0 <а < 1 (I = 0)и 0 <ат < 1 (т = 0). Здесь I и т параметры, которые фигурируют в лемме 2.

Если а < 1 — ат или, что эквивалентно, а < 1±т, то уравнение (19) имеет вид (26) при т = I = 0 и д = 0 или, конкретнее,

( /(х) = 0, п.в. х е [0, а];

| ^^) =0, п.в. х е (1 — ат, 1].

Отсюда сразу получаем, что /(х) = 0 для п.в. х е [0, а]. Следовательно, в этом случае уравнение (19) имеет только тривиальное решение, и система У полна в пространстве ¿2[0,а].

Пусть теперь 1 — ат < а или, что эквивалентно, 1±т < а. В этом случае уравнение (19) имеет вид (27) при т = I = 0 и д = 0 или, конкретнее,

/(х) = 0, п.в. х е [0,1 — ат];

/(х) + |°/ (^) =0, п.в. х е (1 — ат, а]; (28)

^) = 0, п.в. х е (а, 1].

Далее рассмотрим отдельно три случая.

1. Пусть 0 < т < 1. В этом случае 1+7 < ст — тіп{1,1} = 1. Будем обозначать далее для краткости д0 = , ст0 := ст, стп+і_ = 1 — стпт, п = 0,1,.... Так как сті — д0 = т -1 (т+1 — ст^ > 0, то

сті > д0 .С учетом этого неравенства, сделав замену переменного = £ в третьем соотношении в (28), получим

( /(х) = 0, п.в. х Є [0, ст1 ];

{ /(х) + ¿0/ (^) = 0, п.в. х Є (сті, ст].

Делая замену переменного = £ во втором соотношении, будем иметь

/(х) = 0,

п.в. х Є [0, ст1];

\ /(1 — £т) = — і0/(£) п.в. £ Є [До,ст].

Но так как /(£) = 0 для п.в. £ Є [д0,ст1], то в результате на первом шаге получим

/(х) = 0, /(х) = 0,

п.в. х Є [0,ст1 ]; п.в. х Є [ст2,сто];

(29)

, /(1 — £т) = — т/(£), п.в. £ Є (ст1,ст0].

При этом справедливы неравенства

а1 < а2 < а0. (30)

В самом деле, так как в рассматриваемом случае выполняется неравенство а1 < а0, то имеем а1 := 1—а0т < а2 := 1—а1 т. Кроме того, так как справедливы соотношения а0—а2 = а—1+(1—ат)т =

= (1 — т2) (ст — т++^) > 0, то ст0 > ст2.

1±Т у

Далее, в силу того что /(х) = 0 для п.в. х е [а2,а] и а1 < а2 (см. (30)), из (29) получим на втором шаге

/(х) = 0, п.в. х е [0, аз];

/(х) = 0,

п.в. х Є [ст-2,ста];

, / (1 — £т ) = — Т / (£) п.в. £ Є (ст1,ст2 ).

При этом справедливы неравенства

ст1 < стз < ст2 < ст0.

(31)

(32)

В самом деле, так как а2 < а0 (см. (30)), то а1 := 1 — а0т < а3 := 1 — а2т. С другой стороны, так как а1 < а2 (см. (30)), то а3 := 1 — а2т < а2 := 1 — а1т.

Далее, в силу того что /(х) = 0 для п.в. х е (а1,а3] и а3 < а2 (см. (32)), из (31) получим на

третьем шаге

/(х) = 0, п.в. х е [0, а3];

/(х) = 0, п.в. х е [а4,а0]; (33)

, /(1 — £т) = — Т/(£) п.в. £ е (а3,а2).

При этом справедливы неравенства а1 < а3 < а4 < а2 < а0. В самом деле, так как а3 < а2 (см. (32)), то а3 := 1 — а2т < а4 := 1 — а3т. С другой стороны, так как а1 < а3 (см. (32)), то а4 := 1 — а3т < а2 := 1 — а1 т.

Продолжая аналогичные рассуждения, на (2п — 1)-м шаге получим

/(х) = 0, /(х) = 0,

п.в. х Є [0,ст2п-1]; п.в. х Є [ст2п-2,ст0];

(34)

, /(1 — £т) = — ^/(£) п.в. £ Є (ст2п-3,ст2п-2),

при этом справедливы неравенства

ст1 < ст3 < ' ' ' < ст2п-1 < ст2п-2 < ' ' ' < ст2 < ст0,

а на 2п-м шаге получим

/(х) = 0, п.в. х е [0,а2п—1 ];

/(х) = 0, п.в. х е [а2п,а0]; (35)

, /(1 — £т) = — _°°/(£), п.в. £ е (а2п—1,а2п—2),

при этом справедливы неравенства

а1 < а3 < ■ ■ ■ < а2п—1 < а2п < ■ ■ ■ < а2 < а0.

Так как последовательности {а2п—1 }^=1 и {а2п}^=1 монотонные и ограниченные, то они имеют пределы. Найдем эти пределы.

Справедливо представление

к-1

ак = 1 — ак—1 т = 1 — (1 — ак—2 т )т = 1 — т + т 2ак—2 = ■ ■ ■ = Х](—'т )5 + а(—'т )к =

5 = 1

_ 1 — (—т)* , ^к _ 1

+ ст(—Т)к = 1+7 + (ст — irr) (—Т)к

1+ Т 1+ Т V 1+ Т

Так как 0 < т < 1, то отсюда получим

lim CT2n-i = тт-----0, lim ст2п = -+ 0. (36)

n—1 + Т n—1 + Т

Таким образом, при 0 < т < 1 из (34)-(36) следует, что f (x) = 0 для п.в. x е [0, ст], и тем самым

полнота системы Y в этом случае доказана.

2. Пусть 1 < т < +го. В этом случае < ст — min{1,1} = 1. Будем обозначать далее для

краткости дп+1 = 1 (1 — 1-г^та), n = 0,1,...

Так как в данном случае ст1 — до = т — 1 (т+т — ст^ < 0 и до < ст в силу того что 1+-^ < ст, то

справедливы неравенства

ст1 < до < ст. (37)

С учетом этого, сделав замену переменного = £ в третьем соотношении в (28), получим

f f(x) = 0, п.в. x е [0, до); (38)

\ f (^) = — тf (x) п.в. x е (ст1,ст].

Но так как f (x) = 0 для п.в. x е (ст1, д0), то из (37)-(38) получим на нулевом шаге

f (x) = 0, п.в. x е [0, д0);

f (x) = 0, п.в. x е (,ст) ; (39)

, f (^) = — -0f(x) п.в. £ е [До,ст].

При этом справедливо неравенство

до < 1—Д0, (40)

Т

которое следует из соотношения — д0 = (а — ) > 0.

Так как /(х) = 0 для п.в. х е (1—_^°, а), то из (39)-(40) получим

f (x) = 0, п.в. x е [0, д1];

f (x) = 0, п.в. x е (, ст) ; (41)

, f (^) = — -0f (x) п.в. £ е [До, .

При этом справедливы неравенства

до < д1 < 1—— < ст. (42)

Т

В самом деле, очевидно, а — = _■_—1 (а — > 0, то есть а > . Но тогда ^- <

< 1 (1 — 1—/^), что эквивалентно неравенству д0 < д1. Кроме того, из (40) вытекает неравенство 1 ^1 — 1—тё°) < 1 (1 — д0), что эквивалентно неравенству д1 < 1—_^°.

Далее, так как /(х) = 0 для п.в. х е [д0,д1) и д0 < д1 < 1—_^° (см. (42)), то из (41) получим на

первом шаге

/(х) = 0, п.в. х е [0,д1);

/(х) = 0, п.в. х е (—, а) ; (43)

к / (^) = — _°°/(x), п.в. £ е [Д1,а].

При этом справедливы неравенства

1 — Д1 1 — Д0 . .

д0 < д1 < ------ < ------< а. (44)

тт

В самом деле, с учетом (42) нужно показать, что д1 < 1—_^1 < 1—_^°. Но так как в силу (42) имеем

д1 < 1—_^°, то получим 1 (1 — 1—_^°) < 1—_^1, что эквивалентно неравенству д1 < 1—_^1. А так как

д0 < д1 (см. (42)), то, очевидно, —< —_^°.

Продолжая аналогичные рассуждения (см. вывод соотношений (39) и (43)), на п-м шаге получим

/(х) = 0, п.в. х е [0, Дп);

/(х) = 0, п.в. х е (1—_^та , а) ; (45)

, / (^) = — /(x), п.в. £ е Д,а].

При этом справедливы неравенства (см. вывод неравенств (40) и (44))

1 — Дп 1 — Д0

Д0 < Д1 < ■ ■ ■ < Дп < ------ < ■ ■ ■ < -- < а.

тт

Так как последовательности {дп}^=1 и { 1—°^_1 монотонные и ограниченные, то они имеют пределы. Найдем эти пределы.

Справедливы представления

_1 Л 1 — Дп —1 1 1,1 _1 1,1 Л 1 — Дп —2

Дп = _ 1----------=-----------2 +-2 Дп—1 =-------2 +-3 1 —

Т v Т ) Т Т2 Т2 Т Т2 Т3 \ Т

- z. V-1) — = 1+7 (1 + —1

j=1

1 — д— = — |_ (—1 Y + -f- = —L Л — ^ .

Т \ Т ) Т2— 1 + т у т2— / т2—

j=1

Следовательно, так как 1 < т < +го, то отсюда найдем

lim д— = —1-----0, lim 1—д- = —1-------------+ 0. (46)

—— С 1 + Т —— С Т 1 + Т

Таким образом, при 1 < т < +^ из (45)-(46) получим, что f (x) = 0 для п.в. x е [0, ст], и тем

самым полнота системы Y в этом случае доказана.

3. Пусть т = 1. В этом случае 2 < ст — 1. Так как 1 — стт = т—^ при т = 1, то сделав замену

переменного 1 — x = £ в третьем соотношении (28), получим

I f(x)=0, п.в. x е [0,1 — ст]; (47)

У f (x) = —Ьоf (1 — x), п.в. x е (1 — ст, ст].

Рассмотрим второе соотношение в (47). Меняя в нем x на 1 — x, получим

f (1 — x) = —Ьоf(x), п.в. x е [1 — ст,ст). (48)

Обозначив /(х) = /(1 — х), из второго соотношения в (47) и (48) для нахождения /(х) и /(х) получим следующую однородную алгебраическую систему для п.в. х е (1 — а, а)

/ (х) + Ь0/(х) = °, Ь0 / (х) + /(х) = 0.

(49)

Определитель этой системы равен 1 — Ь2. Если 1 — Ь0 =0 или Ь0 = ±1, то система (49) имеет только тривиальное решение для п.в. х е (1 — а, а). С учетом первого соотношения в (47) отсюда получим / (х) = 0 для п.в. х е [0, а], и тем самым полнота системы У ив этом случае доказана.

Пусть теперь выполняется условие б) теоремы, в частности 1 < а < 1±т. Очевидно, в этом случае 0 < а < 1 (I = 0) и 1 < ат < 2 (т = 1). Здесь I и т есть параметры, которые фигурируют в лемме 2. Кроме того, в этом случае а < 2 — ат, то есть уравнение (19) имеет вид (26) при I = 0, т = 1, д = 0 или, более конкретно,

/(х) + Ь0/ (1?) =0,

З0/ (^) =0,

Ьо / / 1-х Л + Ьо .Г / ^ 2-х

< Т^\Т/ ТС0^ \ Т

п.в. х Є [0, ст];

п.в. х Є (ст, 2 — стт];

0, п.в. х Є (2 — стт, 1].

(50)

Первое соотношение в (51) рассматриваем как уравнение относительно /(х), в итоге запишем его

в виде

/ (х) = — ^ /( ^

тт

п.в. х Є [0, ст],

или в операторной форме

/ = Р0,т /,

(51)

(52)

где оператор (Р° /) (х) := — ^/ (TгX) отображает пространство Р2[0, ст] в Р2[0,ст]. Очевидно,

1—х

|Р0,т / II

2

¿2 [0,СТ]

—

|Ь012

/

|/(х)|2 ¿х =

йх =

|Ь012

Ы2

1 — ст

|/(х)| ^х —

1^2 [0,а].

Следовательно, Цр0 II2 < ^ . Так как по условию б) теоремы |Ь0|2 < т, то |Р(0)Т||2 < 1 и оператор Р(0,Т является сжимающим. Поэтому в рассматриваемом случае уравнение (52) или, что то же самое, (51), а следовательно, и уравнение (50) имеют только тривиальное решение. Таким образом, система У в случае б) теоремы является однократно полной в пространстве Р2[0,а].

Пусть теперь выполняется условие в) теоремы. В частности, при некотором к е N выполняются

к±1 < а < ш;-п /1 к±2 1

неравенства |±1 < а < шт|1, к±2|, т > к. Очевидно, справедливы неравенства 0 < а < 1 (I = 0).

Рассмотрим два возможных случая.

1. Пусть ■к±1 < а < . Так как _к < х±_г в силу того что 1±1 — _к = Т_1±_) > 0, то в этом случае

_к < а < к±1 или к < ат < к + 1 (т = к). Кроме того, имеет место неравенство к + 1 — ат < а, то есть уравнение (19) имеет вид (27) при I = 0, т = к, д = 0 (здесь I, т и д по-прежнему есть параметры, которые фигурируют в лемме 2) или, конкретнее,

— Г - 1 / \

/(х) + ^ Е 7/( *+И)

5=0 С° 4 '

/ (х)+т е ¿г / (^+1^ а

5=0 с° 4 '

Г

Ь0Е 7 л 2+1-^) =0,

5=0 '

0, п.в. х Є [0, к + 1 — стт];

0, п.в. х Є (к + 1 — стт, ст];

п.в. х Є (ст, 1].

(53)

Первые два соотношения в (53) рассматриваем как уравнение относительно /(х) для п.в. х е [0, а]

и запишем их в виде

0

(7

0

- к—1 / \

/(х) = -¿°Е ¿гЯі±і-£),

5=0 со V '

-к / ч

/(х) = т Е ¿гЯі+И),

„•_п ¿о V /

5=0 ¿0

п.в. х Є [0, к + 1 — стт]; п.в. х Є (к + 1 — стт, ст];

или в операторной форме

/ = Р1>т /,

где Р^ Є ¿2 [0, ст] ^ ¿2 [0, ст] и определяется формулой

к —1

(^‘т А(х) := <

—т Е ¿г/

5=0 ¿0

—¿0 Е Г /

сг

5=0 ¿0

5 + 1-х

5 + 1 —х т

п.в. х Є [0, к + 1 — стт]; п.в. х Є (к + 1 — стт, ст].

(54)

(55)

Найдем оценку для нормы оператора Р‘,г. Для этого построим сопряженный оператор (РД, Очевидно,

РІ,г />ь2 [0,а] = 0(х) (Р а,т^ (х) йх =

5=0 С0 к — 1 К г г+1

V"' _ [ т

С5! I Г+1-а

5=0 с0 ^ —т—

І + 1 — х ч Ь0

ах —

60 1

тСк/ £(х)/(к +1 х >йх

' С0 >^к+1—ат '

#(І + 1 — тх)/(х) йх —

к I

ск 7к+1-^

0 т

#(к + 1 — тх)/(х) йх =

(РДт)* #) (х)/(х) ах = ((РДт)* />^2[0,а],

то есть

Р

Оценим норму оператора Р

— +1 — тх), п.в. х Є 5 + 1 —а Т ’ 5+1 т

(х) := < 0, п.в. х Є 5 5+1“ Т 5 Т ■")-

—С30 9(к к с0 +1 — тх), п.в. х Є к + 1 —а т ст].

І, І = 0,к;

1 ] а,т ^

Имеем

Грі а*~'12

5ІІЬ2[0, а] £

Г + 1

к—1 1 І60І2

Е

5=0

|С0|25

|#(І + 1 — тх)|2 йх +

|60|2

|с0|2к

|#(к + 1 — тх)|2 йх =

к—1

М.I /|„(х)Г2 йх + М.І /

=0 |С0125 т./ 19(х)1 йх + |С0|2к т У

5 0 к+1—та

|д(х)|2 йх —

|6а|

2к

т 5=0 |с0|25

1Ы12

¿2 [0,а],

то есть ІР

12

= І Р1

1

|2 < |ьо|2 _______

I — т |со|2Г

5=0

к

Е

. Поэтому при условии в) теоремы оператор Р^ т является

сжимающим и, таким образом, уравнение (54), а следовательно, и (53) имеет только тривиальное решение. Таким образом, система У является в этом случае однократно полной в Ь2[0,ст].

2) Пусть теперь к+1 < ст < шт|1, !++:}. Это возможно только при т > к + 1. Так как к+2 < ,

то в этом случае к+1 < ст < или к + 1 <стт<к + 2 (т = к + 1). Кроме того, к + 2 — стт > ст, то

есть уравнение (19) имеет вид (26) при I = 0, т = к + 1, д = 0 или, конкретнее,

к ✓ ч

/(х) + Е £/( = о, п.в. х € [0,ст];

5=0 С° 4 У

^ Г// 5 + 1—х

5=0 ¿0

¿ к+1 Е ¿Г /

5=0 ¿0

5+1—х т

= 0, = 0,

п.в. х Є (ст, к + 2 — стт]; п.в. х Є (к + 2 — стт, 1].

(56)

*

60 Г

сг

0

*

*

сг

к + 1

сг

сг

*

Известия Саратовского университета. 2009. Т.9. Сер. Математика. Механика. Информатика, вып.1 Первое соотношение в (56) рассматриваем как уравнение относительно /(х) для п.в. х Е [0, и] и

запишем его в виде

или в операторной форме

/(ж) = -—“)’ п-в- ж Є [0,ст]

/ = Р0,т /,

(57)

где Р°т Є Р2 [0, ст] ^ Р2[0,ст] и определяется формулой

Р0

Оценку для нормы оператора Р^т находим тем же способом, что и для нормы оператора Р^т, используя переход к сопряженному оператору. Получим аналогично

ІРо 112 = II (ро м2 < |ЬоР ^

|Р С.Т II II \Р СТ.Т/ II —

1

Поэтому при условии в) теоремы оператор Р<0,т также является сжимающим и, таким образом, уравнение (57), а следовательно, и (56) имеет только тривиальное решение. Значит, система У является также и в этом случае однократно полной в Р2 [0, и].

Теорема 4 полностью доказана. □

4. ДОСТАТОЧНЫЕ УСЛОВИЯ ОДНОКРАТНОЙ МИНИМАЛЬНОСТИ

Справедливы следующие достаточные условия однократной минимальности системы У в пространстве Р2 [0, и].

Теорема 5. Пусть выполняются условия 1°, 2°, 4° и и > ио(т) := 1, где т > 1. Тогда для однократной минимальности системы У в пространстве Р2 [0, и] достаточно:

а) выполнения условия

т < |Ь°|2 (58)

в случае т > 1; при этом функции биортогональной системы Z = (гп(х) | п е й} определяются при и = и° (т) единственным образом формулой

2п(ж) = ¿Пт(ж) := ((£ - ^от) 1 дП) (ж), п.в. х Є [0, сто(т)],

(59)

где оператор ^от Є Р2 [0, сто(т)] ^ Р2 [0, сто (т)] определяется формулой

(^от/)(ж) :=

— -Г/(1 — тж), п.в. ж Є

0,

п.в. ж Є

0,

Т — 1

(60)

а функция дП (ж) — формулой

9п(ж) := г"дп(1 — тж) ж Є [0,сто(т)];

Ьо

(61)

б) выполнения условия Ь° = ±1 в случае т = 1; при этом функции биортогональной системы Z = (гп(х) | п е й} определяются при и = и°(1) = 1 единственным образом формулой

¿п (ж) = ^П1(ж) :=

1

1 — Ьо

дп(ж) — Ьодп(1 — ж)), ж Є [0,1]

(62)

Доказательство. Очевидно, что если система У минимальна в Р2 [0, ст], то она будет минимальной и в пространстве Р2[0,р] при р > ст. Поэтому, не нарушая общности, можно считать ст = сто(т), т > 1.

к

2 I ;

т

Рассмотрим в L2[0, ст0 (т)] неоднородное уравнение (22). Так как 0 < ст0 (т) < 1 при т > 1, сто (т)т = 1 и 1 — ст0 (т)т < ст0 (т), то на основании леммы 2 уравнение (22) в данном случае будет иметь вид (27) при m = 0, l = 0, ст = 1 и g = gn, то есть

/(x) + ¿0/ = gn(x), п.в. x Є [0,1 ];

^ ^) = gn (x), п.в. x Є (1, 1]-

(63)

Далее рассмотрим два случая.

а) Пусть т > 1. Сделав замену = С, запишем уравнение (63) в виде

| /(С) = — -0/(1 — тС) + -0дп(1 — т£), п.в. С Є І1—1, 7] ;

(і“(С) = -0дп(1 — тС), п.в. ж є [0, Тт—г),

или в операторной форме

/ = ^от/ + дп> (64)

где оператор ^от Є Р2 [0, сто(т)] ^ Р2[0, сто(т)] определяется формулой (60), а функция дп Є Є Р2[0, сто(т)] — формулой (61).

Оценим норму оператора ^от. Имеем

IIqotf||L2[о,а0(т)] = J |f(1 - T^)|2J |f(x)|2dx = jbOi2 ^[0>ao(T)]

0

Следовательно, ||ф°т||2 = и значит, при условии (58) оператор ^°т — сжимающий. Таким образом, уравнение (64), а следовательно, и (63) имеет единственное решение, которое дается формулой (59). Тогда из теоремы 3 получаем утверждение доказываемой теоремы в этом случае.

б) Пусть т = 1. Тогда уравнение (63) будет иметь вид

/(х) + Ь°/(1 - х) = дп(х), п.в. х е [0,1]. (65)

Взяв £ = 1 — х, заменив £ на х и поменяв местами слагаемые, из (65) найдем

Ь°/(х) + /(1 — х) = дп(1 — х), п.в. х е [0,1]. (66)

т — 1

Таким образом, для нахождения /(х) получили линейную алгебраическую систему (65)-(66) для п.в. х е [0,1]. Определитель этой системы равен 1 — Ь°. Если Ь° = ±1, то эта система имеет единственное решение, которое определяется формулой (62). Тогда из теоремы 3 получаем утверждение доказываемой теоремы и в этом случае. Теорема 5 доказана. □

Теорема 6. Пусть выполняются условия 1°, 2°, 4° и и > и := 1. Если при некотором к е Nи{0} справедливы неравенства к<т < к + 1 и т =1 (случай т = 1 рассмотрен в теореме 5), то для однократной минимальности системы У в Р2 [0, и] достаточно выполнения условия

к 1

|ь° I2 Х° <т- (67)

При этом функции биортогональной системы Z = {¿п(х) | п е й} определяются при и = и

единственным образом формулой

2п(х) = 5П(х) := ((р — ) 1 Яп) (х), п.в. х е [0,1], (68)

где оператор Р11,т е Р2 [0,1] ^ Р2 [0,1] определяется формулой (55) при и = 1, а функции дп (х)

определены в теореме 3.

Доказательство. Не нарушая общности, можно считать и = и(= 1). Рассмотрим в Ь2[0,1] неоднородное уравнение (22). Так как по условию к<т < к + 1, и = 1 и к + 1 — ит < и, то это уравнение будет иметь вид (27) при т = к, I = 0, и = 1 и д = дп или, конкретнее,

- k-1

f (x) + т Е j fl 2±i-x

j=0 c°

f(x) + Ej f( ^

j=0 c°

= gn(x), п.в. x Є [0, k + 1 — T];

= gn(x), п.в. x Є (k + 1 — t, 1],

(69)

а в операторном виде

/ = Р‘т / + д„. (70)

Условие (67) является достаточным условием того, что оператор Р-/т является сжимающим (см. доказательство пункта в) теоремы 4). Следовательно, при этом условии уравнение (70), а, значит, и уравнение (69) имеет единственное решение, которое дается формулой (68). Тогда из теоремы 3 получаем утверждение доказываемой теоремы. Теорема 6 полностью доказана. □

Работа выполнена при финансовой поддержке РФФИ (проект 06-01-00003) и гранта Президента РФ на поддержку ведущих научных школ (проект НШ-2970.2008.1).

Библиографический список

1. Наймарк М.А. Линейные дифференциальные операторы. М.: Наука, 1969.

2. Шкаликов А.А. Краевые задачи для обыкновенных дифференциальных уравнений с параметром в граничных условиях // Тр. семинара им. И.Г. Петровского. М.: Изд-во Моск. ун-та. 1983. № 9. С. 190-229.

3. Рыхлов В.С. О полноте собственных функций квадратичных пучков обыкновенных дифференциальных операторов // Изв. вузов. Математика. 1992. Т. 36, № 3. C. 35-44.

4. Рыхлов В.С. О свойствах собственных функций обыкновенного дифференциального квадратичного пучка второго порядка // Интегральные преобразования и специальные функции: Информационный бюллетень. 2001. Т. 2, № 1. С. 85-103.

5. Рыхлов В.С. О полноте собственных функций пучков обыкновенных дифференциальных операто-

ров // Spectral and Evolution Problems: Proceedings of the Eleventh Crimean Autumn Mathematical SchoolSymposium. V. 11. Simferopol, 2001. P. 86-93.

6. Рыхлов В.С. О двукратной полноте собственных функций одного квадратичного пучка дифференциальных операторов // Збiрник праць 1н-ту математики НАН УкраТни. 2009. Т. 6. № 1. С. 237-249.

7. Рыхлов В.С. О полноте собственных функций дифференциального пучка второго порядка, корни характеристического уравнения которого лежат на одной прямой // Математика. Механика: Сб. науч. тр. Саратов: Изд-во Сарат. ун-та, 2007. Вып. 9. С. 88-91.

8. Rykhlov V.S. On completeness of eigenfunctions for pencils of differential operators // Spectral and Evolutionary Problems: Proceedings of the Seventh Crimean Autumn Mathematical School-Symposium. V. 7. Simferopol, 1997. P. 70-73.

УДК 517.51

ПРОЕКЦИОННЫЕ ХАРАКТЕРИСТИКИ БЕССЕЛЕВЫХ СИСТЕМ

П.А. Терехин

Саратовский государственный университет, кафедра математического анализа E-mail: [email protected]

Рассматриваются бесселевы системы в банаховом пространстве относительно модельного пространства последовательностей. Устанавлены обобщенные аналоги теорем Бари, Шура, Новикова и Czaja.

Ключевые слова: бесселева система, базис, проектор, дополняемое подпространство.

Projection Description of Bessel Sequences

P.A. Terekhin

We consider Bessel sequences in Banach space with respect to modeling sequences space. The generalized analogues of theorems of Bari, Schur, Novikov and Czaja are established.

Key words: Bessel sequences, basis, projection, complemented subspace.

© П.А. Терехин, 2009