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

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

1. Павленко В. Н, Потапов Д. К. О существовании луча собственных значений для уравнений с разрывными операторами // Сиб. мат. журн. 2001. Т. 42, № 4. С. 911-919.

2. Потапов Д. К. О существовании луча собственных значений для уравнений эллиптического типа с разрывными нелинейностями в критическом случае // Вестн. С.-Петерб. ун-та. Сер. 10. 2004. Вып. 4. С. 125-132.

3. Потапов Д. К. Задачи со спектральным параметром и разрывной нелинейностью. СПб., 2008. 99 с.

4. Вайнберг М. М. Вариационный метод и метод моно-

УДК 517.927.25

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

В. С. Рыхлов, О. В. Парфилова*

Саратовский государственный университет, кафедра дифференциальных уравнений и прикладной математики * Саратовская государственная академия права, кафедра информатики E-mail: RykhlovVS@info.sgu.ru

Рассматривается класс пучков обыкновенных дифференциальных операторов n-го порядка с постоянными коэффициентами. Предполагается, что корни характеристического уравнения пучков этого класса лежат на одной прямой, проходящей через начало координат, таким образом, что один корень лежит по одну сторону от начала координат, а остальные по другую сторону. Описываются случаи, когда система корневых функций m-кратно (3 < m < n - 1) полна в пространстве суммируемых с квадратом функций на основном отрезке.

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

тонных операторов в теории нелинейных уравнении. М., 1972. 416 с.

5. Красносельский М.А., Покровский А. В. Системы с гистерезисом. М., 1983. 272 с.

6. Потапов Д. К. О структуре множества собственных значений для уравнений эллиптического типа высокого порядка с разрывными нелинейностями // Дифференциальные уравнения. 2010. Т. 46, № 1. С. 150-152.

7. Потапов Д. К. Оценки дифференциального оператора в задачах со спектральным параметром для уравнений эллиптического типа с разрывными нелинейностями // Вестн. Самарского гос. техн. ун-та. Сер. Физ.-мат. науки. 2010. № 5(21). С. 268-271.

On Multiple Completeness of the Root Functions of the Pencils of Differential Operators with Constant Coefficients

V.S. Rykhlov, O.V. Parfilova*

Saratov State University,

Chair of Differential Equations and Applied Mathematics * Saratov State Academy of Law, Chair of Informatics E-mail: RykhlovVS@info.sgu.ru

A class of the pencils of ordinary differential operators of n-th order with constant coefficients is considered. The roots of the characteristic equation of the pencils from this class are supposed to lie on a straight line containing the origin, provided that one of the roots lies on one part from the origin, the rest lie on another part. The cases when the system of root functions is m-fold (3 < m < n — 1) complete in the space of square summable functions on main interval are described.

Key words: pencil of ordinary differential operators, multiple completeness, root functions.

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

В пространстве Ь2[0,1] рассмотрим пучок обыкновенных дифференциальных операторов £(А), порожденный на конечном отрезке [0,1] дифференциальным выражением (д.в.):

1

и линеино независимыми краевыми условиями:

n —1

Uj (y, А) := £ a]k(A)y(k)(0) + bjk(A)y(k) (1) = 0, j = Щ

k=0

n — k

где A e C — спектральный параметр, pn—k(x, A) = Psk(x)Av, psk(x) e L1 [0,1], а ajk(A), bjk(A) —

s=0

произвольные полиномы по A.

Наряду с краевыми условиями (2) будут рассматриваться краевые условия

n —1

у

к=0

не содержащие параметра Л.

Далее будем использовать, не повторяя их в данной статье, известные определения собственных значений (с.з.), корневых (собственных и присоединенных) функций, производных (по Келдышу) цепочек из [1-2]. Пусть Л := {Лк} есть множество всех с. з. пучка £(Л). Предполагаем, что множество Л счетно. Пусть Y := {yk} есть множество всех корневых функций пучка £(Л), соответствующих множеству Л.

Определение 1. Система Y корневых функций пучка £(Л) называется т-кратно полной в пространстве L2[0,1] (0 < m < n), если из условия ортогональности вектор-функции h Е L™[0,1] := = L2[0,1] ф    ф L2 [0,1] всем производным m-цепочкам, соответствующим системе Y, следует равен-

4-V-'

m раз

ство h = 0.

При изучении спектральных свойств несамосопряженного пучка L^) одной из основных является задача исследования свойств его корневых функций. Весьма важными являются вопросы о разложениях функций в биортогональные ряды Фурье по корневым функциям, в частности, вопросы полноты корневых функций в L2 [0,1].

В данной статье решается задача нахождения условий на коэффициенты пучка L^), при которых имеет место или отсутствует n-кратная полнота. В последнем случае возникает вопрос об т-кратной полноте при 1 < m < n — 1.

Основополагающей по этой задаче является работа [1] (см. также [3, 4]), в которой была сформулирована теорема об n-кратной полноте корневых функций пучка L^), порожденного дифференциальным выражением с переменными коэффициентами со специальной главной частью

l(y, Л) := y(n) + Лпу + {возмущение}

и распадающимися краевыми условиями вида (3) (когда часть краевых условий берется только в конце 0 отрезка [0,1], а остальные в 1). Эта теорема была доказана в [5] в случае аналитических и в [6, 7] в случае суммируемых коэффициентов.

Но для некоторых классов пучков L^), даже с постоянными коэффициентами, вопрос о кратной полноте корневых функций еще не исследовался. Рассмотрим в пространстве L2[0,1] пучок обыкновенных дифференциальных операторов, порожденный однородным д. в. n-го порядка с постоянными коэффициентами:

lo

s+k=n

и линейно независимыми нормированными краевыми условиями специального вида:

г0/„. w__ V^ \s

и°(у,Л):= ^ Л-5 агзк у(к) (0) = 0, i = 1,l,

з+к=хц о

Ц°

з+к<к^0 з+к<кц

где Л, агзк, вгзк Е С, кг0, кг1 е {0,1,..., п — 1}, 1 < 1 < п — 1. Не нарушая общности можно считать (иначе перенумеруем краевые условия), что

Кп1 — кпо = тах {ка — ко}.

1+1<г<п

Пусть всюду далее выполняется основное предположение относительно дифференциального выражения 10(у, Л), а именно, что корни ^, ] = 1,п, характеристического уравнения ^ рзки)к = 0

з+к=п

различны, отличны от нуля и лежат на одной прямой, проходящей через начало координат, причем так,

что один корень оп лежит по одну сторону от начала координат, а остальные корни о2,... , оп-1 — по другую сторону. Не нарушая общности, можно считать, что

оп < 0 < о1 < о2 <    < оп-1.

Пучок вида (4)-(5) в случае, когда краевые условия не зависят от Л и а) 21 > п, т. е. краевые условия полураспадающиеся; Ь) существует прямая й, проходящая через начало координат и делящая комплексную плоскость на две полуплоскости, внутри каждой их которых число этих корней не меньше, чем п — 1, детально рассмотрен в [8, 9]. В этих работах получены условия п-кратной и т-кратной полноты при 1 < т < п — 1 в пространстве Ь2[0,1] и показана точность этого результата. Некоторые другие классы пучков вида (4)-(5) в случае 1 < 1 < п — 1 подробно исследованы в [10-12].

Для рассматриваемого пучка (4)-(5) не выполняется предположение а), а при условиях (7) и 1 < 1 < п — 2 не выполняется и предположение Ь). При этом, в отличие от [8-9], рассматриваемые краевые условия (5) могут зависеть от Л.

Однократная полнота корневых функций для частного случая пучка (4)-(5) при п = 2 в предположении (7) исследована в [13]. Полнота для случая 1 = п — 1, когда краевые условия (5) не зависят от Л и выполняются условия (7), установлена в [8-9].

Для формулировки основного результата введем обозначения

^Т а г зк (г, ^ = 1,п); Ьг з = ^ вг зк о1

агз = агзк^з (г,^ = 1,п); Ьг3 = вгзкоз (г = 1 + 1,п; ] = 1,п);

з+к=к^0 з+к=к^1

г г 1 ч / 1-\ г т I п, если п > 0,

К = т1Ы ко + Кп1 — Кпо — тах{0, кп — Кпо}, К1 Иг = 1 + 1,п);[п] + = < ^

0, если п < 0.

Теорема 1. Если справедливы неравенства (7), выполняются условия (6) и

¿^(агз)3|{;;;;;;;-1'п} = 0, ^^п-} = 0, Ьпп = 0, Й^;:;:;} = 0,

то при т < п — 1 + 1 система корневых функций пучка (4)-(5) т-кратно полна в Ь2[0,1] с

п

возможным конечным дефектом, не превышающим числа ^ [т — 1 — кг]+.

г=г+1

Теорема точна в следующем смысле. При 1 = п — 1 и т = п — 1 + 2(= 3) в [14] получены достаточные условия на корни 03, при которых система корневых функций пучков вида (4)-(5) т-кратно не полна в Ь2[0,1] и имеет бесконечный дефект. В [8, с. 72-77] (см. также [9, с. 58-62]) сформулирована теорема об (п — 1 + 2)-кратной неполноте частного случая пучка (4)-(5), краевые условия которого являются полураспадающимися и не зависят от параметра Л. Но доказательство этого факта проведено очень схематично и конец доказательства ошибочен.

Далее докажем теорему 1. Схема доказательства соответствует схеме доказательства теорем 2.12.3 из [8-9], а изложение следует тексту статьи [12]. Центральную роль в доказательстве играет лемма 1, которая приводится в следующем параграфе.

2. ПРЕДВАРИТЕЛЬНЫЕ УТВЕРЖДЕНИЯ И ОСНОВНАЯ ЛЕММА

Функции уз (ж, Л) = ехр(Л<о3-ж), ] = 1,п, образуют фундаментальную систему решений уравнения 1о (у, Л) =0 при Л = 0.

Ненулевые собственные значения Лк, к = 1, 2,..., пучка (4)-(5) являются нулями целой функции Д(Л) := (уз (ж, Л), Л))п;з=1. Несмотря на то что Д(0) = 0, число Ло = 0 может быть с. з., а может

и не быть.

Обозначим через Фг(ж, Л) функцию, полученную из Д(Л) заменой г-й строки в случае 1 + 1 < г < п строкой у1(ж, Л),..., уп(ж, Л). Непосредственно можно убедиться в том, что столбцы

дкФг

дд^ дд1

Л=Л^

где г = I + 1,п, к = 0,5, т е {1,...,п}, являются производными по Келдышу т-цепочками для корневых функций, соответствующих с. з. Л^, которое является нулем Д(А) кратности 5 + 1. Введем в рассмотрение функции

1 т

ад =1^2

0 ^ = 1

Л7-1Фг

Л. (ж) ¿ж, г = I + 1, п,

где ВД = ((Мж),..., ^т(ж)) е ¿т [0,1]. Перепишем (8) в виде

©г

где определитель Дг(Л) получается из Д(А) заменой г-й строки строкой ип+1;1 (Л), ип+1;2(Л),...,

1 т

ип+1,п(А), где ип+1,к(Л) = / £ Л.(ж)Л7-1ук(ж, Л) ¿ж.

0 .7 = 1

Следующие утверждения потребуются нам в дальнейшем. Их доказательство можно найти, например, в [9, с. 48-49].

Утверждение 1. Функции Ф1+1(ж, Л),..., Фп(ж, Л) являются линейно независимыми решениями уравнения 10(у, Л) = 0, удовлетворяющими первым I условиям (5) в точке 0.

Утверждение 2. Функции ©г(Л) не зависят от выбора фундаментальной системы решений уравнения 10(у, Л) = 0.

Введем в рассмотрение следующие множества:

П+ = Л е С| arg Ае [0, п - е] и

3п

где е > 0 и достаточно мало.

Лемма 1. Если выполняются условия (6)-(7) и

ч7е{1,...,г-1,п}

П- = А е С| arg Ае

= 0, Й^П-} = 0,

п 3п

2+ £, Т - £

то при А е П+ и |А| » 1 справедливы оценки

©(А)| < С|А|т-2, г = I + 1,п,

а если

)7|{1;;;;;Г1} =0, ьпп = 0,

то при А е П- и |А| » 1 справедливы оценки

| ©г (А) |< С | А |т-2 - кю-к„1+к„0 +шах{0,к„1 -к„о } г = ^ + 1

Доказательство. Пусть А е П+. Исходя из вида функций у.(ж, А), ^ = 1,п, в этом случае будем иметь:

иг(у., А) = ^ о^А*+к = А^0 ^ = А^0 а., г = Т7Г, ^ = Т7П;

\

(у. ,А)= а^А*+к + ви^Л5+кеЛ^' =

= Л^1 еЛ*Ч ^ вг^ ^ + я(т) + °(А

^¿0-ки е-Лшз ) I =

=

= л^1еЛ^' [Ьг.], г = I + 1,п, ^ = 1,п - 1,

иг (уп ,Л)= ^ ^ Л5+к + ^ вгзк икп Л

Л5+к еЛш" =

п

= Лк

^ агзк ок + 0(ЛК*0-1 ) = ЛК,0Г

з+к=к,0 V

агп + 01^) 1= Л"'0 [агп ], г = 1 + 1,п,

где использовано обозначение [с] = с + 0

Д(Л) =

ЛК10 ап ЛК0 ап

Лкг+11 еЛ^1 [Ьг+П]

ЛКта1 еЛш1 [Ьп1 ] ац

ЛК10 ац

ЛК10 а1п-1

ЛК10 а1п

л Е ^¿0 = Л,=1

ЛК0ап ... ЛК0агп-1 ЛК0агп

ЛК1+11 еЛшг[Ьг+ц] ... ЛК1+11 еЛ-п—1 [бг+ш-1] Лк+10[аг+ш]

ЛКп1 еЛшг[Ьпг] ... ЛКп1 еЛ^п—1 [Ьпп-1 ] ЛКп0[апп]

а1г ... а 1п—1 а1 п

агг ... агп-1 агп

Лкг+11 еЛ-г[Ьг+ц] ... ЛК1+11 еЛ"п—1 [бг+ш-1] Лк+10[аг+щ]

ЛКп1 еЛшг[Ьпг] ... ЛКп1 еЛ^п—1 [Ьпп-1 ] ЛКп0[апп]

= ±Л

е ^¿0+ е К1\ л £ шfc

ац ... а1г-1 а^

= ±Л

I п п — 1

Е ^¿0 + Е ^¿1 л £ шк

ац ... агг-1 агп ац ... а1г-1 а1п

аг1

п—1

агг-1 агп

[ьг+1г] ... [Ьг+1 п-1]

[Ьп] ... [Ьпп-1 ]

[ьг+1г] ... [Ьг+1 п-1 ]

+

[Ьпг ]

[Ьпп-1 ]

+0|Л>>=

= ±Л,=1 ¿=1+1 е к=г ^

Дальнейшие рассуждения проведем только для случая 1 <1 < п — 2, чтобы не слишком увеличивать объем статьи. Рассуждения в случае 1 = п — 1 являются более простыми, и мы их опускаем. При всех ненулевых Л е С справедливы соотношения:

1 т

ип+1,з (Л) = (С)Лк-1 уз (£,Л)# =

к=1

Лт-1 Лк-ткк(С)еЛ^5¿С = Лт-1 / кт(С,Л)еЛ^'5з = 1,п,

о к=1

т

где кт(С,Л) := £ Лк-т кк (С). к=1

Используя эти соотношения, найдем ЛК10 ап

Дг+1 (Л) = Л

т-1

ЛК0 ал

1 кт(С,Л)еЛ-15 ¿С о

ЛК+21 еЛш1 [Ьг+21]

Л^п1 еЛ^1 [Ьп1 ]

ЛК10 а1п-1 ЛК10 а1п

ЛК0 аг п-1 ЛК0 аг п

1 кт(С, Л)еЛ-п—15¿С 1 кт(С, Л)еЛ-п?^ оо

ЛК+21 еЛШп—1 [Ьг+2п-1 ] ЛК+20 [аг+2п ]

ЛКп1 еЛ^п—1 [Ьпп-1 ] ЛКп0 [апп]

к = 1

е

к = 1

е

1

1

т

т-1+Е

Л ¿=

а11

а1п-1

а1г

а11 ... а1п-1 а1п

} ^т (С, Л)еЛш1«¿С ... } МС, Л)еЛ-п-1«¿С } МС, Л)еЛшп«¿С

0 0 0

Лк1+21 еЛш1 [Ьг+21 ] ... Лк1+21 еЛШп—1 [Ьг+2п-1] Лк1+20 [аг+2п]

Лк„1 еЛ^1 [ьп1]

Лкп1 еЛ^п-1 [6ПП_1 ] ЛКп0 [апп ]

1

Ат ^¿Е -¿^(-1)1+7+1 Д 1+1,7(Л) /МС,Л)еЛш«¿С, .=1

,7 V V ' т\ 0

разложив определитель по элементам (I + 1)-й строки, где Дг+1;7- (Л) есть минор элемента (I + 1, ^), т. е.

Д1 + 1;7 (Л) =

а11

а17-1

а1.+1

ац ... аг. -1 аг.+1

ЛК1+21 еЛ-1 [Ьг+21 ] ... Лк1+21 еЛш-—1 [61+27-1 ] Лк1+21 еЛш+ [61+27+1 ]

ЛКта1 еЛш1 [6п1] ... Лк^ еЛш-—1 [6П7-1] Лк^ еЛш^'+1 [6П7+1]

Л п0 [апп]

Раскладываем этот определитель по минорам первых I строк и располагаем слагаемые по убыванию вещественных частей показателей экспонент. Получим при ] = 1,1, выписывая только главные члены,

Дг+1,7 (А) = ±

ац ... 01+1 ... ац а1„

ал ... аг^-1 аг^+1 ... агг агп

Лк1+21 еЛшг+1 [61+21+1] ... Лкг+21 еЛшта-1 [Ьг+2п_1 ] АКта1 еЛшг+1 [Ь„г+1] ... ЛКта1 еАип-1 [Ьпп_1 ]

+

п п — 1

Е К1 Л Е шк = ±А¿=г+2 е к=г+1

а11 . . а1^_1 а1^+1 . . а1г а1п [Ьг+2г+1] . . [Ьг+2п_1]

а11 . . аг^_1 аг^+1 . . агг агп [Ьп1+1] . . [Ьпп_1 ]

+

Е К1 Л Е

=г+2 е к=1+

Аналогично можно получить

= ±л¿=г+2 е-+1 )к^:;;;г}-1;7+1;-;1;П} )д+Г,п}

^€{г + 1;...;П-1}

п п—1

Дг+1,п = ±Л¿=?+2 ^ еЛ -+1 " )?,?{{11;'.г.};г} ¿^(^

При ^ = I + 1, п — 1 будем иметь

Дг+1,7 (Л) = ±{

а11

ац-1 а1Г

аг1 ... агг-1 агп

Лк1+21 ел-г [Ьг+2г] ... Лк1+21 еЛш-—1 [Ьг+2^_1 ] Лк1+21 еЛш^'+1 [Ьг+2^+1 ] ... Лк1+21 еЛшп-1 [6г+2п_1 ]

п1 п—

+

=

п п—1

е -¿1 л е -ш-±Л¿=1+2 е \к=г

ац ... а1г_1 а1т

аи ... °гг_1 агг

+

[Ьг+2г] ... [ьг+2^_1] [ьг+2^+1] ... [Ьг+2 П_ 1]

[Ьп] ... [Ьп7_1 ] [Ьп7+1] ... [Ь пп— 1 ]

х

х

Л^

УС

п—1

Е Л( £ ^ ^ ^ ,ке{1;...;г-1;п}

ке{г,...,з-1,з+1,...,п-1}

п

+ .. ^ = е V - > ' ае^гкЩ^}

Таким образом, из (14)-(17) получим

1 п п —1

т-1+£ к,0 + Е к,1 Л ^ шк

Дг+1 (Л) = Л ¿=1 ¿=г+2 е к= х

х( ±

з=1

п-1

+

з=г+1

1

± det(aгk ^Г'^1'''-',п} det(bгk ± det(aгk)k,?{{l1;......;1г}-1;n} det(6гk)1|{+^;^^}?+1;...;п-1}

кт (С,Л)еЛ(^5-Шг) ¿С+

кт (С,Л)еЛ^(5-1) ¿С+

+

± ^(агк)кее{{11;:;;;'г} ^(Ьгк)гК|{У+2±;.'.'.'

к€{г + 1;...;п-1} е{г+2;.";п}

кт(С,Л)еЛ(Шп5-Шг)¿С .

Положим Л = гег^ и рассмотрим для определенности ^ е [0, п — е]. В случае ^ е [3т + е, 2п] проводим аналогичные рассуждения. Используя неравенство Коши - Буняковского, получим при 3 = 1, п — 1

кт (С,Л)еЛ^ (5-1)^

< |кт(С,Л)|егПв"1(5-1)¿С < |кт(С, ) х

1

хе о

т 1 1

2Г П ^ (5-1) = £ ^ [о; 1] /==2= к = 1 |Л| л/2гП 01

1—е

-2г Пв^И 2 < —

ж

Следовательно, при 3 = 1,1 справедливы оценки

кт (С,Л)еЛ(^ ^

кт(С, Л)еЛ£^'(5-1)¿С

<

С

Аналогично (19) можно получить и оценку

кт (С,Л)еЛ(шп5-^

Из (18)-(21) окончательно найдем

= |е-Лшг

кт (С, Л)еЛ^п5¿С

<

С

Ж

= 1 ¿=1+1

Рассуждая аналогично (14)-(18), получим при г = 1 + 2,п

к=1 к = г + 1

п— 1

Л Е ^к

е к=г

п— 1

Л Е ^к

е к=г

На основании этих оценок, формул (9), (12) и предположений (10) в случае Л е П+ будем иметь

Дг

т- 2 -

, г = 1 + 1, п,

т. е. утверждение леммы в этом случае доказано. Математика

1

1

1

1

1

1

1

1

1

3

3

Пусть теперь Л е П£ . В этом случае будем иметь:

и (У7, Л) = ^ о^кЛ*+к = Л-0 ^ о^к= Л-0 аг7, г = = Щ

£ + ^ = —¿1

иг (У7 ,Л)= ^

„ I („^ ... . V« I 7„----------V / /

г = I + 1, п, ^ = 1, п — 1;

иг(уп,Л)= ^ Л5+к + вг*кЛ'+*еЛШп = ^ Л'+* +

в+к<к I

еЛШп ^ вг^к+ О 1

к—¿1—1 еЛшп\ = Л^1 еЛшп

^ вгзк + О

= Л^1 еЛШп [6гп], г = т^п.

Подставим эти асимптотические формулы в Д(А) и воспользуемся предположением (6). Получим

Д(Л) =

Ак10 ап ... Ак10 а1п-1 Лк10 а1П

Лкг0 ац ... ЛК10 агп-1 ЛК10 агп

Лкг+10 [аг+и ] ... Лк1+10 [аг+щ-1] Лк1+11 еЛШп [6г+щ ]

Акп0 [ап1]

Лкп0 [апп-1 ] Акп1 еЛШп [6пп]

Е кк0

= Лк=1

а11 . . . а1п-1 а1п

аг1

агп-1 агп

[аг+11 ] ... [аг+1п-1 ] [6г+1п ]еЛШп Лкг+11 -К1+

[ап1] ... [апп-1] [6пп ]еЛШп ЛКп1-Кп0

Е Кк0 +Кп1-Кп0 = Лк = 1 о'^п

а11

аг1

а1п-1

а1п _е-Лшп

Л Кп 1 Кп 0

агп-1

агп .е-ЛШп

Л Кп 1 Кп 0

[аг+11 ] ... [аг+1п-1 ] [6г+1п ]ЛК1+11-К1+10-Кп1+Кп0

[ап1] . . . [апп-1] [6пп]

Разложим этот определитель по последнему столбцу и воспользуемся предположением (11). Получим

Д(А) = ±Лк=1

Е Кк0 +Кп1-Кп0 Лш

еп

а1п

Л—п1 -Кп0

а21 . . . а2п-1

[аг+11 ] ... [аг+1 п-1]

[ап1] . . . [апп-1]

е-ЛШп +-----Ъ

агп

Л—п1 - Кп0

X

ац ... а1П_1

е_+ [61+1 ]Лкг+11 _кг+1о_к„1+к„о

[ап1] ... [апп_1 ]

а11 • • • а1п_1

ац • • • а1п_1

ац • • • агп_1

[ап1] • • • [апп_1]

+ ••• +

+ [6пп]

[ап_11] • • • [ап_1п_1]

= ±Лк

Е Кк0+Кп1_Кп0 л^ь ие{1,...,п_1}г

ел- 6ПП det(аiJ Щ1;::;П} [1].

Далее, подставляя (13), (22)-(24) в Д^(Л) при г = I + 1,п, вынося из каждой строки Л в соответствующей степени и экспоненту из последнего столбца, а затем раскладывая полученный определитель по последнему столбцу и применяя оценки, аналогичные (19)-(21), получим

Е Кко _К40 +т_1

Дг(Л) = Лк = 1 е ™

[аг_ц]

I МС,Л)ел^¿С

о

[аг + 11 ]

[аг_1п_1] [6г_1П]Лк^-11 _^-10

I кт(С, Л)ел^-15¿С I МС, Л)ел(«п«_1)¿С

оо

[аг+1п_1] [6г+щ]Лк^+11 _^+10

[ап1]

[апп_1]

[6ПП ]Л

Кп1 _К„0

а21 . . а2п_1

ац . . агп_1

±Л*=1 ел«п а1пе_л«п [аг+ц ] . . [аг+1п_1 ]

} (С,Л)елш15¿С . о . } (С,Л)ел«п-15¿С о

[ап1] . . [апп_1]

+ ••• +

+ [61 + 1П ]ЛКг + 11 _к + 1

а11 . . а1п_1

аг1 . . агп_1

К + 10 [аг+21] . . [аг+2п_1 ]

1 МС,Л)елш15¿С . о . 1 МС,Л)ел«п-1 ? ¿С о

[ап1 ] . . [апп_1]

+ ••• +

X

а11 . . . а1п-1

+ МС,А)еЛ(Шп 5-1) ¿С

+ [6пп]Л

Кп1 - Кп0

а11

[ап1 ] ... [апп-1 ]

а1п-1

+ ••• +

аг1

[аг+11]

агп-1 [аг+1п-1]

} йт(С,Л)еЛш1«¿С 0

1

/йт(С, Л)е 0

Лшп —1

? ¿С

[ап-11 ]

. . . [ап-1п-1 ]

= О

Е Кк0-—¿0+т-2 +шах{0;Кп1-Кп0} .

На основании этих оценок, формул (9), (25) и предположений (11) в случае Л е Пе будем иметь:

т-2 - —¿0-Кп1+Кп0 +шах{0,Кп1 -Кп0 }

^ г = I + 1,п,

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

Таким образом, лемма полностью доказана.

Следствие 1. Если выполняются условия (6)-(7) (10)—(11) и Л е П±, то при |А| » 1 справедливы оценки

где кг определены перед формулировкой теоремы 1.

3. ДОКАЗАТЕЛЬСТВО ТЕОРЕМЫ КРАТНОЙ ПОЛНОТЫ КОРНЕВЫХ ФУНКЦИИ

Пусть й := (й1 (ж), ...,йт (ж))Т е ¿т[0,1] и ортогональна всем производным т-цепочкам. Тогда на основании утверждения 2 и того факта, что столбцы

т-1

дкФг

дАк

дАк

Л=Л^

где г = I + 1, п, к = 0, 5, т е {1,..., п}, являются производными т-цепочками для корневых функций, соответствующих с. з. Л^, которые являются нулями Д(А) кратности 5 + 1, из (8)-(9) следует, что все особенности ©г(А) устранимы. Согласно оценкам (26) и теореме Лиувилля, ©г(А) есть полиномы степени т — 2 — кг при т — 2 — кг > 0, которые можно записать в виде

©г(А) = Лт-2-К (й,С0г) + Лт-3-К (й,С1г) +    + (й, ^т-2-г),

где 7 е ¿2[0,1] есть вполне определенные функции, а при т — 2 — кг < 0 справедливы тождества

©г (Л) = 0.

В случае т — 2 — кг > 0 в дефектном подпространстве производных т-цепочек выберем подпространство Н, ортогональное вектор-функциям (ы(ж), к = 0,т — 2 — щ, г = I + 1,п. Пусть теперь й е Н. Тогда ©г(Л) = 0 и, значит,

Дг(А) = ^Л7-1Фг(ж,Л)й7 (ж) ¿ж = 0, г = I + 1/ 0 7=1

1

1

т

Так как в силу утверждения 1 система функций Фг+1,..., Фп является системой линейно-независимых решений уравнения 10(у, Л) = 0, удовлетворяющих первым I краевым условиям (5), то из (27) следует тождество

у (ж, Л)> Л7 1 й7- (ж) ¿ж = 0

7=1

для любого решения у(ж, Л) уравнения 10(у, Л) = 0, удовлетворяющего первым I краевым условиям (5). Но эти решения находятся в виде

у (ж, Л) = 71 еЛш1 х + 72 еЛш2 х +    + 7п е

^Лшп х

если удовлетворить первые I условий (5). Следовательно, приходим к следующей линейной однородной системе I уравнений для нахождения 77

У^ аг7- 77 =0, г = 1,1. 7=1

Эту систему можно записать в виде

г-1

п-1

Х^аг7 77 + агп 7п = — ^ а^ 77, г = 1,1. 7=1 7=г

Если в правой части последней системы взять любые 7г,...,7п-1, то в силу того что по условию теоремы det(aг7)7|{]L;...;гг_1;n} = 0, можно однозначно определить 71,... ,7г-1,7п.

Следовательно, для любого т < п — I + 1 существует такая фундаментальная система решений (т1,72,..., 7П)Т, г = 1, п — I, системы (30), что

Гт-1 —

Тп-т+1

7П-1

_ т-1 п-т+1

_ т-1 п-т+1

=0

и хотя бы одно из чисел 7П, г = 1,п — I, отлично от нуля.

На основании (28)-(29) для такой фундаментальной системы решений системы (30) справедливы тождества

^ / 77еЛш-х ^ Лк-1йк (ж) ¿ж = 0, 7=1 0 к=1

г = 1, п — I.

Покажем, что из этих п — I тождеств следует, что йк =0 при к = 1,т. Будем следовать схеме рассуждений [8, с. 77-80] (см. также [9, с. 63-64]).

В силу предположений (7), согласно теории роста целых функций и того факта, что есть отличные от нуля 7П из (32), следуют тождества

п-1 „ т

еЛш-х ^ Ак-1 йк (ж) 7=1 0 к=1

Ак 1 йк(ж) ¿ж = 0, г = 1, п — I,

у еЛш-Лк-1йк(ж) ¿ж = 0.

Разложим еЛш- х в ряд по степеням Л

Лшх л 1ЛШ7 ж) (Л<7 ж)^

е - х = 1 + Л<7ж + 4 7 7 1 1 V 7 ;

(Л<7 ж)2 71 ^ Ь    +

2!

N!

+..

1

т

п

1

1

подставим в (33)-(34), представим левые части (33)-(34) в виде рядов по степеням Л и приравняем к нулю коэффициенты. Тогда при N > N0, где N0 — достаточно большое число, получим

, .IV с wN — m+1

hi(x) dx + ••• + - /xN—m+1hm (x) dx = 0

N! J U J (N - m + 1)! У mV ^

n—1 y»wN 1 * y-w

E^NT (x) dx + ••• +£ Ъ

N — m+1 3" 3

=1 (N - m + 1)!

cN—m+1 hm(x) dx = 0, i = 1,n - l.

Это линейная алгебраическая система относительно т неизвестных /0 ж^ Л4 (ж) ¿ж, ...,

1о ж^_т+1 (ж) ¿ж.

Возьмем первые т уравнений в (35) и рассмотрим соответствующую систему с квадратной матрицей:

Dm —

wN n

N!

«-1 yI^n

w,

N-1

E

j=i

(N - 1)!

rX

«-1 rj^N-1

N!

j=i (N - 1)!

n-1 Ym-1 wN n-1 rm-1 j-1

E

j=1

N!

j=i (N - 1)!

Преобразуем этот определитель следующим образом:

ст = ±

w,

N-m+1

(N - m + 1)!

n-1 r1wN-m+1

y^ h J_

/=! (N - m +1)!

n-1 rm-1wN-m+1

y^ h 3_

jt! (N - m + 1)!

N !(N - 1)!... (N - m + 1)!

1

n — 1 £

y1 WN — m+1

' 7 7

Wn n—1

m —2

n

E y1 WN—m+2 3=1

ca

n— 1

m—1

n

=1 Yjwf—1 =1

со

n—1

e y1 Wn

=1

n—1 n— 1

m—1 N—m+1 m—1 N—m+2

Er

Y m

=1

Er

Y m

n— 1 n —1

,,m— 1, ,N — 1 v^ ,m — 1 N

=1

Er

Y m

N—m+1

=1

m

Er

Y m

E(1)k+1wk—1,

n—1 n—1 n—1

1 N—m+1 1 N—m+k—1 1 N—m+k+1

E1 I

. 1 T WT

3 = 1

E1 I

. 1 T WT

3 = 1

E1 I

. 1 W"

3 = 1

3=1

n—1

••• £ Yjwf =1

n—1

Em—1 N — m+1 r

. 1 T Wn + ••• = Y3 =1 =1

n—1 n—1

m—1 N — m+k — 1 ^ ^ m — 1 N — m+k+1

Er

Y m

=1

N—m+1 m

----V(-1)A

"N !(N - 1)!... (N - m + 1)! k=1

v WN — m+k —1WN — m+k+1 wN x w  w  ... w

3fc-1 3fc + 1 3m

E

n—1

... £ Ym—1 wn =1

N—m+1 N—m+2 CJ - CJ .

31 3 2

1<3'1,- • • >3'fc -1 >3'fc+1 •••> m < n—1

Y 1 . . 1 . Y 1 '3fc-1 Y 1 . . . '3fc + 1 Y 1 m

m—1 Y 1 .. m—1 Y3k -1 m— 1 Y3'fc + 1 . . . m—1 Y m

N—m+1

"N!(N - 1)!... (N - m + 1)! ^=1

e

k+1wk—1

E

1< i 1 <»2 <••• <im- 1 <n—1

(-1)1 (

31 >--->3 fc-1 >

Y1 ... '»1 Y1

m—1 m— 1

Y»1 ... Y»m — 1

1 N — m+2 w - . N—m+k . w -

{31 >3' 2>--->3'fc-1 >3'fc + 1 >•••> 3m } = {«1,«2."-|'т-1 }

N—m+1

x wN — m+k+1 ...w N

3fc + 1 3 m

±

E

N !(N - 1)! ... (N - m + 1)!,/ ^ „ 1

1 <»1 <»2 <-<«m-1 <n—1

Y1 '»1

3 fc-1 1

Y»m — 1 m—1

Y

k+1wk—1

x > (-1Г 1 *w;

k=1

E

(-1)/(3'1>--->3'fc-1>3'fc + 1 >•••> 3m ) wN — m+1 wN — m+2 • • •

1 2

{3'1 >3' 2^•••^3'fc-1^3'fc + 1 >•••>3m } = {i1 ^-^m- 1 }

N—m+1

x wN — m+k —1wN — m+k + 1 wN = ±__

^fe-1 3k+1 ... 3 m N !(N - 1)!... (N - m + 1)!

1

1

j

X

J

X

J

J

J

3

X

3

X

n

n

X

m

X

X

Ш

1

n

X

m—1

Y

»•1

X

х Е

1<гх <¿2 <••• <гт— 1 <п —1

т— 1

У1

'¿т—1 т—1

N — т+1 N — т+1 N — т+1

¿1

Ш

¿2

. . . Ш •

Е

к + 1 —1 .

Шп -

х ^ (-1/1 + 1 >•••>7™ ) Ш0х Ш|2 ...

0'1 >72 '•••>7^ — 1 >7^ + 1 '•••>7то } = {г1>г2'...'«то-1}

— т+1

- 1)!... (^ - т + 1)! ^ ^ ^ 1

^ ' К ' 1<«1 <¿2 <"<т—1 <п—1

71 '»1

7."

Шк— 2 Ь Шт —1

...

^ —1 ^ + 1 7т

N — т+1 N — т+1 си  Си

1 2

N — т+1

N — т+1

к+1, ,к —1 Шп

—2 1 . .. шк—2 ^ — 1 Ш к—2 .. ^ + 1 .. Ш£—1

к 1 . . Шк ^ — 1 Шк . . ^ + 1 . . Шк т—1

т—1 . 1 . .. ш т—1 ^ — 1 Шт —1 ..  . Ш-1

- 1)!... (^ - т + 1)!

Е

1< ¿1 < . 2 <•••< г„

т—1

7 г т

N — т+1 N — т+1 Си  Си

1 2

х Т1 ^

таких, что 1 < ¿1 < ¿2 <    < ¿т-1 < п — 1.

Отсюда, из (7) и из (31) можно заключить, что слагаемое, соответствующее ¿т-1 = п — 1, ¿т-2 = п — 2, ... , ¿1 = п — т + 1, при N достаточно большом мажорирует сумму всех других слагаемых, т.е. имеет место равенство

= ±

N-т+1, N-т+1 Д-т+1

N-т+1

п-1 ^п-2 ...^п-т+1

N !(N — 1)!... ^ — т + 1)!

)(1 + 0(1)):

где о(1) ^ 0 при N ^ го. Следовательно, при N > N0 получим ^т = 0. Тогда из системы (35) будем иметь при N > N(5

/ ^(ж) ¿ж = жN 1^2(х) ¿ж = 00

= / ^т (ж)а^-т+1 ¿Ж = 0

А отсюда следует, что =0 при к = 1,т и, тем самым, теорема доказана.

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

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

1. Келдыш М.В. О собственных значениях и собственных функциях некоторых классов несамосопряженных уравнений // ДАН СССР. 1951. Т. 77, № 1. С. 11-14.

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

3. Келдыш М. В. О полноте собственных функций некоторых классов несамосопряженных линейных операторов // УМН. 1971. Т. 26, № 4. С. 15-41 .

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

5. Хромов А. П. Конечномерные возмущения вольтер-ровых операторов: дис. .. . д-ра физ.-мат. наук. Новосибирск, 1973. 242 с.

6. Шкаликов А. А. О полноте собственных и присо-

единенных функций обыкновенного дифференциального оператора с нерегулярными краевыми условиями // Функциональный анализ. 1976. Т. 10, № 4. С. 69-80.

7. Хромов А. П. О порождающих функциях вольтер-ровых операторов // Мат. сборник. 1977. Т. 102(144), № 3. С. 457-472.

8. Вагабов А. И. Разложения в ряды Фурье по главным функциям дифференциальных операторов и их применения: дис. .. . д-ра физ.-мат. наук. М., 1988. 201 с.

9. Вагабов А. И. Введение в спектральную теорию дифференциальных операторов. Ростов н/Д, 1994. 160 с.

10. Рыхлов В. С. О кратной неполноте собственных функций пучков дифференциальных операторов, корни характеристического уравнения которых лежат на одном луче // Докл. Российской академии естественных наук. 2004. № 4. С. 72-79.

1

7

1

к = 1

X

—1

—1

т

т

7

7

1

¿т — 1

1

1

1

1

т—1

к=1

1

1

7

1

т—1

п

х

<п—1

1 <п

1

0

11. Рыхлое В. С. О полноте собственных функций одного класса пучков дифференциальных операторов с постоянными коэффициентами // Изв. вузов. Математика. 2009. № 6. С. 42-53.

12. Рыхлое В. С. О кратной полноте корневых функций одного класса пучков дифференциальных операторов // Изв. Сарат. ун-та. Нов. сер. 2010. Т. 10. Сер. Математика. Механика. Информатика, вып. 2. С. 24-34.

13. Рыхлое В. С. О свойствах собственных функций

одного квадратичного пучка дифференциальных операторов // Изв. Сарат. ун-та. Нов. сер. 2009. Т. 9. Сер. Математика. Механика. Информатика, вып. 1. С. 31-44.

14. Шигаееа О. В. Кратная неполнота системы собственных функций одного класса пучков дифференциальных операторов // Изв. Сарат. ун-та. Нов. сер. 2009. Т. 9. Сер. Математика. Механика. Информатика, вып. 2. С. 50-59.

УДК 517.946

О КЛАССИЧЕСКОЙ РАЗРЕШИМОСТИ ОДНОМЕРНОЙ СМЕШАННОЙ ЗАДАЧИ ДЛЯ ПОЛУЛИНЕЙНЫХ БИПАРАБОЛИЧЕСКИХ УРАВНЕНИЙ ЧЕТВЁРТОГО ПОРЯДКА

К. И. Худавердиев, М. Н. Гейдарова

Бакинский государственный университет,

кафедра математики

E-mail: karlenkhudaverdiyev@yahoo.com

Изучены вопросы существования и единственности классического решения одномерной смешанной задачи с однородными граничными условиями типа Рикье для одного класса полулинейных бипараболических уравнений четвёртого порядка. Методом априорных оценок доказана теорема существования в целом классического решения изучаемой смешанной задачи.

Ключевые слова: бипараболическое уравнение, классическое решение, существование в малом, существование в целом, априорная оценка.

On Classical Solvability of One-Dimensional Mixed Problem for Fourth Order Semilinear Biparabolic Equations

K.I. Khudaverdiyev, M.N. Heydarova

Baku State University, Chair of Mathematics E-mail: karlenkhudaverdiyev@yahoo.com

Existence and uniqueness of classical solution of one-dimensional mixed problem with Riquier type homogenous boundary conditions for one class of fourth order semilinear biparabolic equations are studied. A priori estimates method is used to prove the existence in large theorem for classical solution of mixed problem under consideration.

Key words: biparabolic equation, classical solution, existence in small, existence in large, a priori estimate.

ВВЕДЕНИЕ

Работа посвящена изучению вопросов существования (как в малом, так и в целом) и единственности классического решения следующей одномерной смешанной задачи:

2

:

д2 V

д 2J u(t,x) — F(t, x, u(t, x), ux(t, x), uxx(t, x), ux

(0 < t < T, 0 < x < n), u(0,x) — <(x) (0 < x < n), ut(0, x) — ^(x) (0 < x < n), u(t, 0) — u(t,n) — uxx(t, 0) — uxx(t,n) — 0 (0 < t < T),

где 0 < Т < F, ф — заданные функции, а и(£,ж) — искомая функция, причём под клас-

сическим решением задачи (1)-(3) понимаем функцию и(£,ж), непрерывную в замкнутой области [0,Т] х [0, п] вместе с производными, входящими в уравнение (1), и удовлетворяющую всем условиям (1)-(3) в обычном смысле.

Отметим некоторые работы, в определённом смысле связанные с задачей (1)-(3).

В 1969 году в работе [1] Ю. И. Ковача рассмотрена задача (1)-(3) в случае, когда F = F(£, ж, и(£, ж)) и специальным методом последовательных приближений доказана теорема существования и единственности ее классического решения.

В том же году в работе [2] Ю.И. Ковача рассмотрена задача (1)-(3) в случае, когда F = F(£,ж, и(£ — т(£,ж),ж)), где т(£,ж) ^ 0; принципом сжатых отображений доказано существование в малом ее классического решения.