CC BY
23
References
1. Bary N. K. A treatise on trigonometric series, vols. I, II. Oxford, Pergamon Press, 1964, 1061 p. (Rus. ed. : Bary N. K. Trigonometricheskie ryady. Moscow, Fizmatgiz, 1961, 936 p.)
2. Kashin B. S., Saakyan A. A. Orthogonal series. Transl. Math. Monogr., vol. 75, Providence, RI, Amer. Math. Soc., 1989, 451 p. (Rus. ed. : Ortogonal'nye ryady. Moscow, AFC Publishers, 1999, 560 p.)
3. Golubov B. I. Series with respect to the Haar system. J. Soviet Math., 1973, vol. 1, no. 6, pp. 704-726. DOI: 10.1007/BF01236362.
4. Skvortsov V. A. Uniqueness sets for multiple Haar series. Math. Notes, 1973, vol. 14, no. 6, pp. 1011-1016. DOI: 10.1007/BF01099583.
5. Plotnikov M. G. Uniqueness for multiple Haar series. Sb. Math., 2005, vol. 196, no. 2, pp. 243-261. DOI: 10.1070/SM2005v196n02ABEH000879.
6. Plotnikov M. G. Violation of the uniqueness for two-dimensional uniqueness of double Haar series. Moscow Univ. Math. Bull., 2003, vol. 58, no. 4, pp. 16-19.
7. Arutjunjan F. G., Talaljan A. A. Uniqueness of series in Haar and Walsh systems. Izv. Akad. Nauk SSSR. Ser. Mat., 1964, vol. 28, iss. 6, pp. 1391-1408 (in Russian).
8. Skvortsov V. A., Talaljan A. A. Some uniqueness questions of multiple Haar and trigonometric series.
Math. Notes, 1989, vol. 46, no. 2, pp. 646-653. DOI: 10.1007/BF01137630.
9. Skvortsov V. Henstock - Kurzweil type integrals in P-adic harmonic analysis. Acta Math. Acad. Paedagog. Nyhazi. (N.S.), 2004, vol. 20, no. 2, pp. 207-224.
10. Plotnikov M. G. Several properties of generalized multivariate integrals and theorems of the du Bois-Reymond type for Haar series. Sb. Math., 2007, vol. 198, no. 7, pp. 967-991. DOI: 10.1070/SM2007 v198n07ABEH003869.
11. Gundy R. F. Martingale theory and pointwise convergence of certain orthogonal series, Trans. Amer. Math. Soc., 1966, vol. 124, no. 2, pp. 228-248.
12. Shiryaev A. N. Probability, 1nd ed. New York, Springer, 1995, 637 p. (Rus. ed. : Shiryaev A. N. Verojat-nost. Moscow, Nauka, 1989, 640 p.)
13. Skvortsov V. A. Martingale closure theorem for A-integrable martingale sequences, Real Anal. Exchange., 1998-1999, vol. 24, no. 2, pp. 815-820.
14. Kostin V. V. Right closure of martingale sequences in the sense of the A-integral, Math. Notes, 2000, vol. 68, no. 1, pp. 84-89. DOI: 10.1007/BF02674649.
15. Shiryaev A. N. Essentials of Stochastic Finance, Singapore, World Scientific Publ., 852 p. (Rus. ed. : Shiryaev A. N. Osnovy stohasticheskoj finansovoj matematiki. Vol. 1, Moscow, Fusis Publ., 1998, 512 p.)
УДК 517.927.25
О КРАТНОЙ ПОЛНОТЕ КОРНЕВЫХ ФУНКЦИЙ ОДНОГО КЛАССА ПУЧКОВ ДИФФЕРЕНЦИАЛЬНЫХ ОПЕРАТОРОВ С ПОСТОЯННЫМИ КОЭФФИЦИЕНТАМИ
В. С. Рыхлов1, О. В. Блинкова2
1 Кандидат физико-математических наук, доцент кафедры дифференциальных уравнений и прикладной математики, Саратовский государственный университет им. Н. Г. Чернышевского, [email protected] 2Старший преподаватель кафедры информатики, Саратовская государственная академия права, [email protected]
Рассматривается класс пучков обыкновенных дифференциальных операторов п-го порядка с постоянными коэффициентами. Предполагается, что корни характеристического уравнения пучков этого класса простые, отличные от нуля, и лежат на одной прямой, проходящей через начало координат. Формулируются достаточные условия п-кратной полноты системы корневых функций пучков этого класса в пространстве суммируемых с квадратом функций на основном отрезке.
Ключевые слова: пучок обыкновенных дифференциальных операторов, кратная полнота, корневые функции.
1. ПОСТАНОВКА ЗАДАЧИ, ИСТОРИЯ ВОПРОСА И ОСНОВНОЙ РЕЗУЛЬТАТ
В пространстве Ь2[0,1] рассмотрим пучок обыкновенных дифференциальных операторов £(А), порожденный на конечном отрезке [0,1] дифференциальным выражением (д. в.):
1(у, А) := рп(х, А)у(п) + Рп-1 (х, А)у(п-1) + ■ ■ ■ + ро(х, А)у (1)
и линейно независимыми краевыми условиями:
п- 1
иг(у, А) := £ агз(А)у0') (0) + Ъг](А)у(з) (1) = 0, I = (2)
з=о
где Л £ С — спектральный параметр, р.(х, Л) = ^ рД^Л8, .(х) £ ^ [0,1], а а.(Л), (Л) —
8 = 0
произвольные полиномы по Л.
Далее будем использовать, не повторяя их в данной статье, известные определения собственных значений (с.з.), собственных и присоединенных функций или, кратко, корневых функций (к. ф.), производных (по Келдышу) цепочек из [1,2]. Пусть Л := {Лк} есть множество всех с.з. пучка ¿(Л), а У := {ук} — множество всех к. ф. пучка ¿(Л), соответствующих множеству Л.
Определение 1. Система У к. ф. пучка ¿(Л) называется т-кратно полной в пространстве ¿2[0,1] (0 < т < п), если из условия ортогональности вектор-функции к £ ¿т[0,1] := = ¿2[0,1] ©•••© ¿2[0,1] всем производным т-цепочкам, соответствующим системе У, следует ра-
4-V-'
т раз
венство к = 0. □
Решается задача нахождения условий на коэффициенты пучка ¿(Л), при которых имеет место или отсутствует п-кратная полнота к. ф. в ¿2 [0,1]. В последнем случае естественно возникает вопрос об т-кратной полноте при 1 < т < п — 1.
Основополагающей по этой проблеме является работа [3], в которой была сформулирована (без доказательства) теорема об п-кратной полноте к. ф. пучка ¿(Л), порожденного д. в. (1) со специальной главной частью
у(п) + Лп
у + {возмущение}.
и независящими от Л распадающимися краевыми условиями (2) (когда часть краевых условий берется только в конце 0 отрезка [0,1], а остальные в 1). Эта теорема была доказана в [4] в случае аналитических коэффициентов д. в. и в [5] — в случае суммируемых коэффициентов. Обобщение этой теоремы на случай конечномерного возмущения вольтеррова оператора было сделано в [6]. Случай произвольной главной части д. в. (1) был рассмотрен в [7, 8]. В работах [9,10], относящихся к общему виду (1), (2) пучка ¿(Л), получены достаточные условия п-кратной полноты в ¿2[0,1] системы к. ф. в терминах степенной ограниченности по параметру Л функции Грина пучка ¿(Л) на некоторых лучах. Наиболее полное исследование вопроса об п- и т-кратной полноте и неполноте к. ф. пучка ¿(Л) вида (1), (2), д. в. которого имеет постоянные коэффициенты, а краевые условия — полураспадающиеся (не менее половины краевых условий берутся только в одном конце) и не зависящие от Л, проведено в [11].
Но для некоторых классов пучков ¿(Л) даже с постоянными коэффициентами вопрос о кратной полноте системы к. ф. еще не исследовался. В данной статье рассматривается именно такой пучок ¿0(Л), действующий в пространстве ¿2[0,1] и порожденный д. в. п-го порядка:
1о(у,Л):= р-ДУ^, . £ С, р„0 = 0, (3)
и линейно независимыми двухточечными нормированными краевыми условиями: и0(у,Л):= X] Л^у(^(0)=0, г = М,
__(4)
и0(у,Л):= X] Л8 а. у(. (0)+ £ Л^У(Я(1)=0, г = 1 + 1,п,
где Л, в. £ С, к0, кг1 £ {0} и М, 0 ^ 1 ^ п — 1.
Будем называть д. в. 10(у, Л) однородным, если в сумме (3) . = 0 при з + в < п. Пусть всюду далее выполняется основное предположение относительно д. в. 10(у, Л), а именно: корни ш^ш,..., шп его характеристического уравнения ^ р^Ш = 0 различны, отличны от нуля и
лежат на одной прямой, проходящей через начало координат. Не нарушая общности, можно считать, что
< Шп-1 < ■ ■ ■ < Ш& + 1 < 0 < Ш1 < Ш2 < ■ ■ ■ < Ш (0 ^ к ^ п). (5)
Пучок вида (3), (4) в случае, когда краевые условия не зависят от Л и
а) 21 > п, то есть краевые условия полураспадающиеся;
б) существует прямая й, проходящая через начало координат и делящая комплексную плоскость на две полуплоскости, внутри каждой из которых число этих корней не меньше, чем п — 1,
детально рассмотрен в [11], где получены условия п-кратной и т-кратной полноты при 1 < т < п — 1 в пространстве Х2[0,1] и показана точность этих результатов.
В работах [12-15] исследована кратная полнота системы к. ф. пучка £0(А), для которого не выполняются условия а) или б). Это возможно при 0 ^ I ^ п — 1 и выполнении предположения (5) при определенных значениях к. В [12] рассмотрен случай I = п — 1 и к = п, в [13] — случай 1 ^ I ^ п — 1 и к = п, в [14] — случай 1 ^ I ^ п — 1 и к = п — 1, и, наконец, в [15] — случай 1 ^ I ^ п — 1 и 0 ^ к ^ п. Во всех этих четырех случаях д. в. 10(у, А) предполагалось однородным. Получены достаточные условия т-кратной полноты системы к. ф. в Х2 [0,1], где
т = тт{к, п — 1} + тт{п — к, п — I}.
(6)
Но оставался не исследованным крайний случай I = 0. Данная статья восполняет этот пробел. В соответствии с формулой (6) в этом случае естественно ожидать п-кратную полноту.
Введем необходимые обозначения. Считаем, что краевые условия (4) упорядочены таким образом (это не нарушает общность), что при 50 = 0, зг+1 = п имеем:
Хзо + 1 ■ ■ ■ < Х«1+1 ■ ■ ■ < ■ ■ ■ < Хзг +1 ■ ■ ■ ,
где обозначено %г = кг1 — кго, и 7, 6 таковы, что
з7 + 1 ^ п — к + 1 ^ 57+1, в$ + 1 ^ к + 1 ^ .
В случае I = 0 считаем, что 7 = 0, 6 = г + 1 при к = п и 7 = г + 1, 6 = 0 при к = 0. Обозначим
(7)
агз =
Е
агиз^з
^ + 3=К о
Ъгз = ^^ вг^з^, Кг = тт{хго, Кг1}, = 1, п;
[п]+ = тах{0, п}.
Пусть А и В есть соответственно определители
0 ... 0 а1,к+1 ... а1 п
0 ... 0 аз7 ,к+1 ... аз7,п
Ъз7 + 1,1 . . . Ц + 1,к аз7 + 1,к + 1 . . . аз7 + 1,п
Ъп,1 . . . Ъп,к ап,к+1 . . . ап,п
Теорема 1. Пусть для пучка Х0(А) выполняются условия (5), I = 0 и
А = 0, В = 0. (8)
Тогда система к. ф. этого пучка п-кратно полна в пространстве Х2 [0,1] с возможным конечным
п
дефектом, не превышающим числа ^ [п — 1 — кг] + в случае, если выполняется хотя бы для одного
г=1
г = 1, п неравенство тах{кго, кг1} > п — 1, и с нулевым дефектом в противном случае. □
Оставшаяся часть статьи посвящена доказательству этой теоремы. Схема доказательства этой теоремы соответствует схеме доказательства теорем 2.1, 2.2 и 2.3 из [11] с модификациями, сделанными при доказательстве соответствующих теорем в [13,14]. Центральную роль в доказательстве играет Лемма 1 об оценке, которая формулируется и доказывается в следующем параграфе.
2. ПРЕДВАРИТЕЛЬНЫЕ УТВЕРЖДЕНИЯ И ЛЕММА ОБ ОЦЕНКЕ
В [11, с. 23] доказано, что уравнение 10(у, А) = 0 имеет фундаментальную систему решений (ф.с.р.) {уз(х,А)}п=1, имеющую асимптотику
33-1)(х, А) = (А^з)3-1 х[1], = 1, п,
(9)
и аналитическую при |А| » 1, где обозначено [1] = 1 + 0(1/А).
Наряду с ф.с.р. (9) будет использоваться ф.с.р. {yj(x,A)}n=1, удовлетворяющая начальным усло
виям:
yjs-1)(0,A)= j = 1,n,
где ^ есть символ Кронекера. Из теории обыкновенных дифференциальных уравнений следует, что у^- (ж, А) есть целые аналитические функции по А.
Будем далее обозначать объекты, построенные по ф.с.р. (ф/(ж,А)}п=1, теми же буквами, что и объекты, построенные по ф.с.р. (у7- (ж, А)}п=1, но с волной наверху.
С. з. А^, V = 1, 2,..., пучка (3), (4) являются нулями целой функции
Д(А) (ф (ж, А),А))П^.=1.
Обозначим через Ф,,,(ж, А) функцию, полученную из Д(А) в результате замены г-й строки на строку (у1 (ж, А),..., уп(ж, А)). Непосредственно можно убедиться в том, что столбцы
Ф ,(x,A) dr( An-1 ф ,(x,A))
(10)
A=Av
где г = 1,п, г = 0,5, являются производными, по Келдышу, п-цепочками для к. ф., соответствующих с.з. А^, которое является нулем Д(А) кратности 5 + 1. Введем в рассмотрение функции
1 m Л7-1
1
в, (A) = / Y,
Jo j=1
i (x, A)
A(ÄT
hj (x) dx, i = 1,n,
(11)
где hj (x) e L [0,1].
Перепишем (11) в виде
е i (A) =
Ä i(A)
Ä(A) '
i = 1, n,
(12)
где ÄÄi(A) получается из Ä(A) заменой i-й строки строкой (ün+1;1 (A),..., ün+1;n(A)), в которой
„1 n
un+1,j(A) = / (x)Av 1 yj(x, A) dx = An 1 / hn(x,A)yj(x,A) dx
V=1
и (ж, А) = Е ^(ж)А^-п. ^=1
В [11, с. 48-49] доказаны следующие два простых утверждения, которые в случае I = 0 формулируются следующим образом:
Утверждение 1. Функции Ф 1(ж, А), ..., Ф п (ж, А) являются линейно-независимыми решениями уравнения 10(у, А) = 0.
Утверждение 2. Функции < 1 (А), ..., <п (А) не зависят от выбора ф. с. р. уравнения 10(у, А) = 0. Из (12) и утверждения 2 получим:
e,(A), в, (A),^Ay,
Введем в рассмотрение следующие множества:
i = 1, n.
(13)
п+ = {A e C | arg A e [-2 + e, П - e] }, П- = {A e C | arg A e [| + e, у - e] },
где e > 0 и достаточно мало.
Справедлива следующая лемма об оценке, которая является основной при доказательстве теоремы 1.
Лемма 1. Пусть справеливы предположения (5), (7), l = 0 и выполняются условия (8). Тогда при A e П+ U П- и |A| » 1 имеют место оценки
|в,(A)| ^ C(e)|A|n-2
i = 1, n,
(14)
где C(e) — некоторая константа, зависящая только от е.
1
Доказательство. Так как справедливы соотношения (13), то чтобы оценить сверху 0г(А), предварительно оценим снизу |Д(А)|.
Пусть А £ П+. Исходя из вида ф.с.р. (9), в этом случае будем иметь при а = 1,п, з = 1,к (при к = 0 этого случая не будет):
и. (у,, А) = £
V + *<Ка
«.V*^АV+* [1] + ^ в-*^АV+*еЛш [1] =
V + S<KCT1
К а 1
= АКа1 е
( ^ + °(д) + О(АКа0-Ка1 е-Лш )]= АКа1 еЛш [Ь.,]
\v+S=Ка1 ^ ' /
При а = 1, п, з = к + 1,п (при к = п этого случая не будет):
и.(у,, А) = ^ «.V*< АV+* [1]+ ^ <АV+*еЛш [1]
V + *<Ка0
= А— [ ^ + ° (д) + = Ах"0[а.,]. (16)
XV + * = Ка0 ^ ' /
Следовательно, подставляя (15), (16) в Д(А), вынося из первых к столбцов экспоненты еЛш^, а из всех строк множители АКа0, получим
V + S<Ка1
К а 1 -Ка00 Лш,-\ 1 _ ЛКа0|
(15)
. Л Е Ка0 Л Е
Д(А) = Аа=1 е
АХ1 [Ьц ] . • • АХ1 [Ь1к ] [а1,к+1 ] • • [а1п]
АХ^+1 [Ц+1,1] • • • АХ^+1 [Ц+1,к ] +1,к + 1] • • +1,п]
АХп—к+1 [Ьп-к+1,1] . .. АХп—к+1 [Ьп-к+1,к ] [ап-к + 1,к+1] • • [ап-к + 1,п]
А^+1 [Ц+1,1 ] • •• А^+1 [Ц+1 ] [а*7 + 1 ,к + 1] • • [а*7 + 1 ,п]
АХп [Ьш ] . • • АХп [Ьпк ] [ап,к + 1] • • [апп]
Разложим последний определитель по последним п — к столбцам. Выделим главную часть — это будут в силу соотношений (7) слагаемые, являющиеся произведениями миноров последних п — к столбцов на их алгебраические дополнения к-го порядка, образованные элементами, стоящими в первых к столбцах и в любых к строках из строк с номерами от з7 + 1 до п. Все они будут иметь один и тот же наибольший порядок по А, равный
п
(37+1 — (п — к))Х*7 + 1 + К+2 — 57+1)Х*7+2 +-----Ь (5г+1 — )Хг + 1 = X.•
.=п—к+1
Затем только главные члены опять свернем в определитель. Получим с учетом (8):
та та к
Е Ка0+ Е (Ка1-Ка0) Л Ё
А + А
П — к П й
Е Ка0+ Е К а 1
= Аа=1 а=п—к+1 е ^=1 А[1].
Д(А) = Аа=1
Следовательно, для А £ П+ и |А| » 1 получим при условии (8) оценку снизу
п — к п
1 Е Ка0+ Ё К а 1
|Д(А)| ^ 2 |А|а = 1 а = п—к + 1
Л Е
е ^=1
(17)
Оценим теперь сверху Дг(А), % = 1,п, в соответствии с формулой (13). С учетом (9) получим после вынесения множителя Ап-1 из %-й строки и разложения определителя по элементам этой строки
1
Дг(А) = Ап-1 ^(—1)^Дг, / й«(С, А)еЛш5[1] ,=1 Л
(18)
0
к
где Д^(Л) есть минор элемента (г, з) в определителе Д(А), то есть с учетом (15), (16)
ЛК11 еЛш1 [Ьц ] ... ЛК11 еЛ^к [Ьхк ] ЛК1° [ах,к+1] ... ЛК1° [аь ]
Ду (Л) =
Л [апп]
Л^™1 вЛш1 [Ь„1 ]
ЛКп1 еЛ^к [Ьпк ] ЛКп0 [а„,к+1]
(19)
где индекс {¿з} у определителя здесь и далее означает, что в этом определителе отсутствует ¿-я строка и з-й столбец.
Далее рассмотрим два случая: 1 ^ з ^ к и к + 1 ^ з ^ п.
Пусть 1 ^ з ^ к. Вынося множители ЛКст° из строк с номерами от 1 до г — 1 и от г + 1 до п, а также вынося экспоненты еЛ£^ из первых к — 1 столбцов с номерами от 1 до з — 1 и от з + 1 до к, получим следующее представление:
£ Кст°-К;° Л £ ^
Д^- (Л) = Л-1 е
ЛХ1 [Ь11 ] . .. ЛХ1 [Ь1к ] [а1,к+1 ] . . [а1п]
Л^+1 [Ц+1,1 ] . .. +1 [Ц+1,к] [аз7 +1,к + 1] . . [а^7 + 1,п]
Л^+1 [Ц+1,1] . .. Л^+1 [ц+1,к ] [аз7 + 1 ,к + 1] . . [а«7 + 1,п]
ЛХп [Ьп1 ] . .. Лх™ [Ьпк] [ап,к + 1] . . [апп]
Обозначим последний определитель как ^^. Разложим этот определитель в сумму по последним п — к столбцам. Выделим главную часть. Вид главной части зависит от того, как соотносятся величины г, п — к + 2 и з7+1. Так как ввиду (7) справедливы неравенства з7 + 2 ^ п — к + 2 ^ з7+1 + 1, то возможны только следующие случаи:
1.а) 1 ^ г < п — к + 2 ^ 57+1;
1.в) п — к + 2 ^ 57+1, п — к + 2 ^ г ^ п;
1.б) 1 ^ г < п — к + 2 = 57+1 + 1;
1.г) п — к + 2 = 57+1 + 1, п — к + 2 ^ г ^ п.
Рассмотрим подробно, например, случай 1.а). В этом случае главная часть ^^ — это слагаемые, являющиеся произведениями миноров последних п — к столбцов на алгебраические дополнения (к — 1)-го порядка, образованные элементами, стоящими в первых к — 1 столбцах и в любых к — 1 строках с номерами от з7 + 1 до п. Все они будут иметь один и тот же наибольший порядок по Л, равный
— (п — к — 1))Х^7 + 1 + +2 — +1)Хз7+2 +-----Ь («г+1 — «г)Хг+1 =
Сворачивая затем только главные члены опять в определитель, получим:
п £
о"=п-к+2
Д* (Л) = Лст=1
Кст°-Кг° + £ (КСТ1 -Кст°) Л £ ^ -
Аналогичная асимптотика получается и в случае 1.б).
Таким образом, в случаях 1.а) и 1.б) при |Л| ^ 1 будем иметь оценку сверху вида
Кст°-Кг° + £ КСТ1
|Дг7 (Л)| ^ С|Л| = 1 — к+2
Л( X) ^-^з ^=1
(20)
В случаях 1.в) и 1.г) аналогичным способом получим оценку
£ кст° + КСТ1 -К;1
Д(Л)| ^ С|Л|-=1 —^
Л| X] ^-^з ^=1
(21)
к
X
X
а ■
к
ст=та-к+2
е
к
к
Пусть теперь к + 1 < з < п. Вынося множители ЛКа° в (19) из строк с номерами от 1 до г — 1 и от г + 1 до п, а также вынося экспоненты еЛш^ из первых к столбцов, получим следующее представление:
. . £ Кст°-Кг° Л
Дг5 (Л) = Ла= е -=1 .
Разложим определитель ^¿^ в сумму по последним п — к — 1 столбцам. Выделим главную часть. Вид главной части зависит от того, как соотносятся величины г, п — к + 1 и з7. Так как ввиду (7) справедливы неравенства з7 < п — к < з7+ъ то возможны только следующие случаи:
2.а) 1 < г < п — к + 1 < 57+1;
2.в) 57 = п — к, п — к + 1 < г < п.
2.б) 57 + 1 < п — к< з7+ь п — к + 1 < г < п;
Рассмотрим подробно, например, случай 2.а). В этом случае главная часть ^¿^ — это слагаемые, являющиеся произведениями миноров последних п — к — 1 столбцов на алгебраические дополнения к-го порядка, образованные элементами, стоящими в первых к столбцах и в любых к строках с номерами от з7 + 1 до п. Все они будут иметь один и тот же наибольший порядок по Л, равный
п
(з7+1 — (п — к))Х^7 + 1 + («7+2 — 57+1)Хз7+2 +-----Ь («г+1 — «г)Хг + 1 = Ха.
а=п-к + 1
Сворачивая затем только главные члены опять в определитель, получим:
Дг,- (Л) = Ла=
Кст°-Кг° + (кст1 -Кст°) Л 52
г=п—к+1
А' ].
Таким образом, в случае 2.а) при |Л| ^ 1 будем иметь оценку сверху вида
52 Кст°-Кг° + 52 К а 1
Д(Л)| < С|Л|а=1 а=п-к+1
л 52
е ^=1
(22)
В случаях 2.б) и 2.в) аналогичным способом получим оценку
п — к — 1 п
52 Ка° + £ Ка1-К^1
I Дг^' (Л)| < С|Л| а = 1 а = п —к
л 52
е ^=1
(23)
Используя оценки (20), (22) в (18), получим при 1 < г < п — к
( П-1+ X] Ка°-Кг° + 52 К а 1
Дг(Л) = О | Л | а = 1 а = п—к + 1
л 52
е ^=1
х |Л|-Хп— V 5 = 1
кп(С,Л)еЛшз(5-1)[1] ¿С
+ Е /1 кп(С,Л)еЛшз5[1] ^ ]]
5 = к+1 ^ //
(24)
Оценим интеграл кп(С, Л)еЛшз(5-1) [1] ¿С при з = 1, к. Положим Л = гег^ и пусть ^ е [0, п/2 — е] (в случае ^ е [—п/2 + е, 0] рассуждения проводятся аналогично). Используя неравенство Коши-Буняковского, получим при з = 1, к
кп(С,Л)еЛшз(5-1)[1] ¿С 1
</ |кп(С,Л)|ег2еШ1(5-1) ¿С <(/ |кп(С, Л)I2 ¿С х
х | I егПеШ1(5-1)
п
а=1 |Л|п-а
а=1 1 1
к
а [0,1]
г -
1 — е-
2 < С(е)
(25)
Аналогично при з = к + 1, п
кп(С,Л)еЛШз5 [1] ¿С
<
С(е)
(26)
=1
е
к
(с
х
к
1
0
1
0
0
0
1
1
4
0
1
Таким образом, из (24)-(26) получим при 1 ^ % ^ п — к (при к = 0 здесь полагается = 0)
|Д<(А)| ^ С(е)|А|
П-2 + Е КСТ0+ Е + ] +
-к + 1
А Е
е
(27)
Рассуждая аналогично предыдущему, из (18), (20), (21), (23) получим при п — к + 1 ^ % ^ п (при к = п здесь полагается хп-к = 0)
|Д<(А)| ^ С(е)|А|
П-3 + П— КСТ0+ Е Кст1-Кг1 + [Хп-к ] +
ст = 1 а=п—к+1
А Е
е ^=1
(28)
Так как в случае 1 ^ % ^ п — к при условии хп-к+1 ^ 0 справедливы неравенства —+ + [—Хп-к+1]+ ^ —кго, а при условии Хп-к+1 < 0 справедливы неравенства —кго + [—Хп-к+1 ]+ ^ —кц, то при 1 ^ % ^ п — к в целом получим:
— кго + [—Хп-к + 1]+ ^ — Аналогично, при п — к + 1 ^ % ^ п получим неравенства
— Кг1 + [Хп-к ]+ ^ —Кг.
(29)
(30)
Таким образом, из (13), (17), (27)-(30) получим оценку (14) в случае А £ П+ и |А| » 1 при условии А = 0.
Пусть теперь А £ П-. Если сделать замену А = —А, обозначить к = п — к, 7 = с— = ск+-
при з = 1, к, ск^ = с-при з = 7 + 1, п, «
¿, к + 1
= «11,
= «1 к; Ьг1 = к + 1,
Ьг £ = &гп и
воспользоваться для параметров с крышками уже полученным неравенством (14) для А £ П+, а затем вернуться от параметров с крышками к прежним параметрам, то получим оценку (14) и в случае А £ П- и |А| » 1 при условии В = 0.
Таким образом, лемма 1 полностью доказана. □
3. ДОКАЗАТЕЛЬСТВО ТЕОРЕМЫ О КРАТНОЙ ПОЛНОТЕ
Пусть Н := (/г1,... Нп)т £ ¿П[0,1] и ортогональна всем производным п-цепочкам (10). Тогда в силу (11)—(13) все особенности мероморфных функций 0^(А), % = 1,п, устранимы и они являются целыми функциями. Согласно оценкам (14) и принципу Фрагмена- Линделефа функции 0¿(А) есть полиномы степени п — 2 — к при п — 2 — к ^ 0, которые можно записать в виде
0¿(А) = АП-2-К (Н, Сго) + Ап-3-К (Н, Сг1) + ■ ■ ■ + (Н, Сг,п-2-кг) ,
где £ ¿2 [0,1] есть вполне определенные вектор-функции, а при п — 2 — кг < 0 справедливы тождества
0 г (А) = 0.
В случае п — 2 — кг ^ 0 в дефектном подпространстве производных п-цепочек выберем подпространство Н, ортогональное вектор-функциям (¿^, V = 0, п — 2 — щ, % = 1, п. Очевидно,
п
Н ^ у [п — 1 — кг ]_
¿=1
Пусть теперь Н £ Н. Тогда 0г(А) = 0, % = 1,п, и, следовательно, в силу (12)
-1 п
Дг(А) = ^ А-7-1 Ф¿(х, А)Н-(х) ¿X = 0, % = 1, п.
(31)
7=1
Так как в силу утверждения 1 система функций Ф1, ..., Фп является системой линейно-независимых решений уравнения 1о(у, А) = 0, то из (31) следует тождество
у(х, А) ^^ А7 1Н- (х) ¿х = 0 7=1
(32)
для любого решения у(х, А) уравнения 1о(у, А) = 0.
к
1
п
о
Изв. Сарат. ун-та. Нов. сер. Сер. Математика. Механика. Информатика. 2014. Т. 14, вып. 4, ч. 2 Рассмотрим задачу Коши:
10 (¿,А) = У Л (х)А5-1, ¿(0) = ••• = г(п-1) (0) = 0, (33)
где 10А) есть сопряженное, по Лагранжу, д. в. к 10(у, А).
Известно, что решение задачи (33) есть целая функция по А, для которой имеет место следующее представление при |А| » 1:
п
Ф,А)= / ;>>(Х,АМС,А) Е (с) с
'0 5 = 1 Ь = 1
\ е-г = 1,п,
где
1
А- | \ '■«• | е
есть решения уравнения 10(г, А) = 0. 1+
В секторе А е П+ имеем:
„ 1 п / п \
г(х, А) = У0 5=1 (х,А)у(С, А) I А5-1 Л (С) I
„ / п 1 п /п \ +/ Е * (®'А)у< (С,А) Е А5—1 Л (С) Ыс - Е * (®>А)у< (С,А) Е А5-1% (С) ЫС-
^ 5 = 1 \5=1 ) 5 = к + 1 \5 = 1 )
Отсюда из (32) и (5) получим при А е П+ оценку |г(х, А)| ^ С. Рассуждая аналогично, получим такую же оценку и при А е П-. Тогда по теореме Лиувилля будем иметь г(х, А) = С. Отсюда в силу нулевых начальных условий задачи (33) следует, что г(х, А) = 0, а тогда из дифференциального уравнения (33) получим:
п
ЕА5-1Л (х) = 0 для п.в. х е [0,1].
5 = 1
Отсюда следует, что Л(х) =0, з = 1,п, для п.в. х е [0,1].
Следовательно, система к. ф. рассматриваемого пучка п-кратно полна в Х2[0,1] с возможным коп
нечным дефектом, не превосходящим числа Е [п — 1 — к] + .
¿=1
В случае, когда е {0,1, ...,п — 1}, дефект системы к. ф. будет равен нулю, так как в
этом случае рассматриваемый пучок можно линеаризовать в пространстве ¿п[0,1] и справедливо утверждение [11, лемма 2.1, с. 49].
Теорема 1 полностью доказана. □
В заключение отметим, что постановка задачи, рассмотрение случая А е П+ в лемме 1 и в теореме 1 принадлежат В. С. Рыхлову. Случай А е П- был рассмотрен О. В. Блинковой.
Результаты получены в рамках выполнения государственного задания Минобрнауки России (проект № 1.1520.2014К).
Библиографический список
1. Келдыш М. В. О полноте собственных функций неко- 4. Хромов А. П. Конечномерные возмущения вольтер-торых классов несамосопряженных линейных операто- ровых операторов : дис. . . .д-ра физ.-мат. наук. Ново-ров // УМН. 1971. Т. 26, № 4. С. 15-41. сибирск, 1973. 242 с.
с гг „ Л тт 11 5. Шкаликов А. А. О полноте собственных и присо-
2. Наимарк М. А. Линейные дифференциальные опе- , „ ^ . .
единенных функций обыкновенного дифференциально-
раторы. М. : Наука, 1969. 526 с. го оператора с нерегулярными краевыми условиями //
3. Келдыш М. В. О собственных значениях и соб- Функц. анализ и его прил. 1976. Т. 10, № 4. С. 69-80. ственных функциях некоторых классов несамосопря- 6. Хромов А. П. О порождающих функциях вольтерро-женных уравнений // Докл. АН СССР. 1951. Т. 77, № 1. вых операторов // Матем. сб. 1977. Т. 102(144), № 3. С. 11-14. С. 457-472.
п
7 = п
п
7. Freiling G. Zur Vollständigkeit des Systems der Eigenfunktionen und Häuptfunktionen irregulärer Operator-bUschel // Math. Z. 1984. Vol. 188, № 1. P. 55-68.
8. Тихомиров С. А. Конечномерные возмущения интегральных вольтерровых операторов в пространстве вектор-функций : дис. . . . канд. физ.-мат. наук. Саратов, 1987. 126 с.
9. Шкаликов А. А. Краевые задачи для обыкновенных дифференциальных уравнений с параметром в граничных условиях // Тр. Семин. им. И. Г. Петровского. М. : Изд-во Моск. ун-та, 1983. № 9. С. 190-229.
10. Гасымов М. Г., Магеррамов А. М. О кратной полноте системы собственных и присоединенных функций одного класса дифференциальных операторов // Докл. АН АзССР. 1974. Т. 30, № 12. С. 9-12.
11. Вагабов А. И. Введение в спектральную теорию дифференциальных операторов. Ростов н/Д. : Изд-во Рост. ун-та, 1994. 160 с.
12. Рыхлов В. С. О полноте собственных функций одного класса пучков дифференциальных операторов с
постоянными коэффициентами // Изв. вузов. Математика. 2009. № 6. С. 42-53.
13. Рыхлов В. С. О кратной полноте корневых функций одного класса пучков дифференциальных операторов // Изв. Сарат. ун-та. Нов. сер. Сер. Математика. Механика. Информатика. 2010. Т. 10, вып. 2. С. 24-34.
14. Рыхлов В. С., Парфилова О. В. О кратной полноте корневых функций пучков дифференциальных операторов с постоянными коэффициентами // Изв. Сарат. ун-та. Нов. сер. Сер. Математика. Механика. Информатика. 2011. Т. 11, вып. 4. С. 45-58.
15. Рыхлов В. С. Кратная полнота корневых функций пучков дифференциальных операторов, корни характеристического уравнения которых лежат на прямой // Спектральные и эволюционные задачи : Тр. XXIII Междунар. конф. «Крымская осенняя математическая школа-симпозиум» (КР0МШ-2012). Симферополь : Таврический нац. ун-т им. В. В. Вернадского. 2013. Т. 23. С. 134-142.
On Multiple Completeness of the Root Functions of a Certain Class of Pencils of Differential Operators with Constant Coefficients
V. S. Rykhlov1,0. V. Blinkova2
Saratov State University, 83, Astrakhanskaya str., Saratov, 410012, Russia, [email protected] 2Saratov State Academy of Law, 104, Chernyshevskogo str., Saratov, 410056, Russia, [email protected]
We consider the class of pencils of ordinary differential operators of n-th order with constant coefficients. It is assumed that the roots of the characteristic equation of pencils from this class are simple, non-zero and lie on the same straight line passing through the origin. Sufficient conditions for n-fold completeness of the system of root functions of the pencils from this class in the space of summable with square functions on the main segment are formulated.
Key words: pencil of ordinary differential operators, multiple completeness, root functions.
The results have been obtained in the framework of the of the Russian Federation (project no. 1.1520.2014K).
References
1. Keldysh M. V. On the completeness of the eigenfunc-tions of some classes of non-selfadjoint linear operators. Russ. Math. Surveys, 1971, vol. 26, no. 4, pp. 15-41 (in Russian). DOI: 10.1070/RM1971v026n04ABEH003985.
2. Naymark M. A. Lineinye differentsial'nye operatory [Linear differential operators]. Moscow, Nauka, 1969, 526 p. (in Russian).
3. Keldysh M. V. O sobstvennykh znacheniiakh i sobst-vennykh funktsiiakh nekotorykh klassov nesamosopria-zhennykh uravnenii [On Eigenvalues and Eigenfunctions of Some Classes of Nonselfadjoint Equations]. Dokl. AN SSSR, 1951, vol. 77, no. 1, pp. 11-14. (in Russian).
4. Khromov A. P. Konechnomernye vozmushcheniia vol'terrovykh operatorov. Diss. d-ra fiz.-mat. nauk [Khromov A. P. Finite-dimensional perturbations of Volterra operators : Dr. phys. and mat. sci. diss]. Novosibirsk, 1973. 242 p. (in Russian).
5. Shkalikov A. A. On completenes of eigenfunctions and
national tasks of the Ministry of Education and Science
associated function of an ordinary differential operator with separated irregular boundary conditions. Funct. Anal. Appl., 1976, vol. 10, no. 4, pp. 305-316 (in Russian). DOI: 10.1007/BF01076030.
6. Khromov A. P. On generating functions of Volterra operators. Math. USSR-Sb., 1977, vol. 31, no. 3, pp. 409423. DOI: 10.1070/SM1977v031n03ABEH002311.
7. Freiling G. Zur Vollstandigkeit des Systems der Eigenfunktionen und Hauptfunktionen irregularer Operator-buschel. Math. Z.. 1984, vol. 188, no. 1, pp. 55-68.
8. Tikhomirov S. A. Konechnomernye vozmushcheniia integral'nykh vol'terrovykh operatorov v prostranstve vektor-funktsii : Diss. kand. fiz.-math. nauk [Tikhomi-rov S. A. Finite-dimensional perturbations of Volterra integral operators in the space of vector-functions : Cand. phys. and math. sci. diss.]. Saratov, 1987. 126 p.(in Russian).
9. Shkalikov A. A.. Boundary value problems for ordinary
differential equations with a parameter in the boundary conditions. J. Soviet Math., 1986, vol. 33, iss. 6, pp. 1311— 1342.
10. Gasymov M. G., Magerramov A. M. O kratnoi polnote sistemy sobstvennykh i prisoedinennykh funktsii odnogo klassa differentsial'nykh operatorov [On fold-completeness of a system of eigenfunctions and associated functions of a class of differential operators]. Dokl. AN AzSSR, 1974, vol. 30, no. 12, pp. 9-12 (in Russian).
11. Vagabov A. I. Vvedenie v spektral'nuiu teoriiu differentsial'nykh operatorov [Introduction to spectral theory of differential operators]. Rostov on Don, Rostov Univ. Press, 1994, 160 p. (in Russian).
12. Rykhlov V. S. Completeness of eigenfunctions of one class of pencils of differential operators with constant coefficients. Russ. Math., 2009, vol. 53, no. 6, pp. 33-43. DOI: 10.3103/S1066369X09060061.
13. Rykhlov V. S. On multiple completeness of the root functions for a class of the pencils of differential
Y^K 517.95
operators. Izv. Saratov Univ. (N. S.), Ser. Math. Mech. Inform., 2010, vol. 10, iss. 2, pp. 24-34 (in Russian).
14. Rykhlov V. S., Parfilova O. V. On multiple completeness of the root functions of the pencils of differential operators with constant coefficients.Izv. Saratov Univ. (N. S), Ser. Math. Mech. Inform., 2011, vol. 11, iss. 4, pp. 45-58 (in Russian).
15. Rykhlov V. S. Multiple completeness of the root functions of the pencils of differential operators, the roots of the characteristic equation of which lie on a straight line [Kratnaia polnota kornevykh funktsii puchkov differentsial'nykh operatorov, korni kharakteristicheskogo uravneniia kotorykh lezhat na priamoi]. Spectral and Evolutional Problems : Proc. of the Twenty-Third Crimean Autumn Mathematical School-Symposium (CROMSH-2012). Simferopol, Tavricheskii nats. un-t im. V. V. Vernadskogo, 2013, vol. 23, pp. 134—142 (in Russian).
О СПЕКТРЕ ОПЕРАТОРА ШРЕДИНГЕРА НА МНОГООБРАЗИЯХ СПЕЦИАЛЬНОГО ВИДА
А. В. Светлов
Кандидат физико-математических наук, доцент кафедры математического анализа и теории функций, Волгоградский государственный университет, [email protected]
Работа посвящена исследованию структуры спектра оператора Шредингера на весовом квазимодельном многообразии с концом, представимым искривленным произведением специального вида. Получен критерий дискретности спектра в терминах поведения коэффициентов метрики многообразия и потенциала исследуемого оператора. В заключении сделаны замечания о следствиях из данного результата и его возможном обобщении на более сложные квазимодельные многообразия.
Ключевые слова: дискретность спектра, оператор Шредингера, римановы многообразия, квазимодельные многообразия, искривленные произведения.
ВВЕДЕНИЕ
Известно, что структура спектра оператора Лапласа - Бельтрами на римановом многообразии зависит от геометрии многообразия. Характер зависимости различных свойств спектра в различных условиях исследуется множеством авторов, начиная с последней четверти прошлого века (см., например, [1-5]). При этом свойства спектра оператора Шредингера, очевидно, зависят не только от геометрии многообразия, но и от поведения потенциала. Поэтому их исследование является более сложной задачей даже в случае И,п. Результатов относительно структуры спектра оператора Шре-дингера на римановых многообразиях в несколько раз меньше, чем для лапласиана. В частности, можно отметить публикации [6-8]. Во всех этих работах накладываются разные условия на геометрию многообразия, но основным результатом в них являются утверждения о дискретности спектра оператора Шредингера при определенном поведении потенциала на бесконечности. В этом смысле процитированные исследования наиболее близки к представляемому в данной статье. Наиболее существенным отличием является класс изучаемых многообразий и методы работы с ним.
А именно мы рассматриваем полное риманово многообразие М, представимое в виде В и Б, где В — компактное многообразие, а конец Б изометричен произведению I х х Я2 х ■ ■ ■ х (где I = (г0, — конечный или бесконечный интервал, а — компактные римановы многообразия без края) с метрикой
= (г)^г2 + д2(г)^2 +-----+ ,
