CC BY
30
УДК 517.977.5
М.Ю. Тельнова1
ОБ ОЦЕНКАХ СВЕРХУ ПЕРВОГО СОБСТВЕННОГО ЗНАЧЕНИЯ ЗАДАЧИ ШТУРМА — ЛИУВИЛЛЯ С ВЕСОВЫМ ИНТЕГРАЛЬНЫМ УСЛОВИЕМ2
В статье рассматривается задача, основополагающей для которой является задача Лагранжа или задача о наиболее прочной колонне заданного объема, послужившая источником для различных постановок экстремальных задач на собственные значения, в том числе для уравнений второго порядка с интегральным условием на потенциал. В работе рассматривается задача такого типа при условии, что интегральное условие содержит весовую функцию. Предложен метод получения точных оценок сверху первого собственного значения задачи Штурма — Лиувилля с условиями Дирихле при определенных значениях параметров интегрального условия и доказательства их достижимости.
Ключевые слова: задача Штурма — Лиувилля, оценки первого собственного значения, условия Дирихле, весовое интегральное условие, вариационный принцип, спектральная задача, краевая задача, экстремальные значения функционала.
где Q принадлежит множеству Та,вг/ действительных неотрицательных локально интегрируемых на интервале (0,1) функций, для которых
Под 'решением задачи (1.1), (1.2) понимается функция у, абсолютно непрерывная на [0,1], удовлетворяющая условиям (1.2), имеющая абсолютно непрерывную производную на любом отрезке, содержащемся в интервале (0, 1), и удовлетворяющая уравнению (1.1) почти всюду на (0, 1).
х© Тельнова М.Ю., 2015
Тельнова Мария Юрьевна (mytelnova@yandex.ru), кафедра высшей математики, Московский государственный университет экономики, статистики и информатики, 119501, Российская Федерация, г. Москва, ул. Нежинская, 7.
2Статья подготовлена по докладу конференции "СамДиф-2015".
1. Предварительные сведения
Рассматривается задача
у" - Q(x)y + Ху = 0, х е (0,1), у(о) = у(1) = 0,
(1.1) (1.2)
(1.3)
При ^ > 1 получим точные оценки для Ма, в, 7 = вир Л1^).
Оценки первого собственного значения Л1^) были получены и для других задач [2; 6]. Для произвольной функции Q € Та,в,7 обозначим через Нд замыкание множества СО0 (О, 1) по норме
=(J0 V'2dX + J0 Q(x)y2d^ ■
Из вариационного принципа следует (см., например, [2; 5; 6]), что
, ч , , , , Гп у'"2¿х + Г,1 Q(x)y2dx Лl(Q)= М _Е^,у], где Е^,у] = ^-г 1 ^ ,У-.
уещ\{0} Jo ^¿¿х
Пусть Ба,в,7 - пространство функций из Н^О, 1) с конечной нормой
J у'2¿х J х— (1 - х) т— \у\^¿х^
Для любых функций Q € и у € Бафл в силу неравенства Гёльдера
^ Q(x)y2dx ха(1 - х)вQY(х) ¿х^ ^^ х—(1 - х)—\у\¿х^ ^
Следовательно, БафГ1 С Нд С Н0(0,1). Пусть
/о1 у'2 ¿х /о1 х (1 — х)\у\Т-1 ¿х^ 1
G[y] 0
/о У2 dx
m = inf G\y].
yeßa,ß,y\{0}
Тогда
Ma a Y = sup Ai(Q) = sup inf R\Q,y] ^ inf G\y] = m■
Q€Ta,ß„ QeTaeßn v£Hq\{0} yeßa,ß,j\{о}
Докажем, что Ma, ß,Y = m.
2. Основные результаты
Теорема 2.1. Пусть y > 1; тогда для любых а, ß существуют такая функция Q* € Ta,ß, Y и такая положительная на (0,1) функция u € ÜQt, что R\Q*,u] = = G\u] = m, и Ma, ß, y = m, причем u удовлетворяет уравнению
a ß 7 + 1
u'' + mu = xT=Y (1 — x) i-^ u y-1 (2.1)
и условиям
u(0) = u(1) = 0, (2.2)
r1 a ß 2y
x(1 — x)u y-1 dx = 1. (2.3)
и
Доказательство. Пусть Г* = {y G Ba,ß,Y | f0 y2dx = 1}
и
Пусть {tk} - минимизирующая последовательность функционала G[y] в •
Так как G[tk] = G[\tk |], то можно считать, что последовательность {tk} неотрицательна. Последовательность yk = -тг, где Ck = L tk dx, - минимизирующая
последовательность функционала I[y] в Г*, и I[yk] = G[yk] = G [tk]. Тогда
m = inf G[y] = inf I [y]. (2.4)
yeBae.y\{0} yer, Lyj v 7
- *
Лемма 1. Существует такая функция п* € Г*, что I[п*] = ш. Доказательство. Поскольку {ук} - минимизирующая последовательность функционала I[у] в Г* и ш = М I[у], то для всех достаточно больших значе-
у£Г,
ний к имеем I[ук] ^ ш + 1. Так как \\ук\\% в = I[ук], последовательность {ук}
ограничена в Ba ß Y.
"вател.....ть в %
Рассмотрим эту последовательность в H¿(0,1). Поскольку она ограничена
в Н1 (0,1), то она содержит подпоследовательность {гк}, слабо сходящуюся в Н°(0, 1) к некоторой функции п*, причем \\п*\^-1(0 1) ^ ш + 1.
Пространство Н°(0,1) компактно вкладывается в пространство С[0,1], следовательно, существует подпоследовательность {вк} последовательности {гк}, сильно сходящаяся в С[0,1]. Тогда {вк} сильно сходится в -2(0,1) к п* и
/ si dx ^ u*dx при к ^ ж и u*dx = 1. (2.5)
Jo Jo Jo
Для произвольного 0 < е < -k рассмотрим функционал
1
1-е
Í 2 í Í -е 2y \ '
/е[у] = y dx + / x 1-y (1 — x) 1-y lyl y-1 dx i . На [е, 1 — е] x [0, +ж) рассмотрим выпуклую по переменной y функцию
а в 2Y
F(x, y) = x 1-y (1 — x) 1-y lyl y-1 . Тогда для любого x G [е, 1 — е] и для любых двух значений y, y из [0, +ж)
F(x,y) — F(x,y) — Fy(x,y)(y — y) > 0.
При y = si и y = u* имеем
/1-е /• 1-е
(F(x,si) — F(x,u*)) dx > J Fu* (x,u*)(si — ut) dx.
В силу равномерной сходимости на [е, 1 — е] последовательности {si} к функции u* интеграл в правой части неравенства стремится к нулю при к ^ ж. Поскольку {sk} слабо сходится в Lp(0,1), где p = Y—г, к функции u*, имеем [3, с. 398]
1-е 1-е
lim F(x,si)dx ^ F(x,u*)dx
^^J е Je
или
f1-e a в f1-e a в 2y
lim x (1 — x) |sil y-1 dx ^ xт-^ (1 — x)|u*| y-i dx. (2.6)
i^oo L L
Поскольку {sk} ограничена в Hq(0, 1), в силу определения нормы ||sk||#1(о,1) последовательность {s'k} ограничена в L2(0,1). Тогда существует такая подпоследовательность {wk} последовательности {sk}, что последовательность {w'k} слабо сходится к u' в L2(0,1).
Числовая последовательность {f^ wk2dx} имеет конечный нижний предел. Тогда существует такая подпоследовательность {vk} последовательности {wk}, что
Г1 2 Г1 2
lim vk dx = lim wk dx.
k—tt Jо k—tt Jq
Так как {vk} слабо сходится к uв L2(0,1), то [4, с. 217]
|К|||2(оД) < lim llv'k|||2(о,1) = ,lim llvkЦ2(о,1) . (2.7)
k—^^о k—^^о
В силу неравенств (2.6) и (2.7) для произвольного 0 < е < 1 имеем
Ie[u*] < lim Ie[vk] < lim I[vk] = m.
k—tt k—tt
Так как е произвольно,
I[ut] < lim I[vk] = m. (2.8)
' h—o
oo
Поскольку m = inf I[y], то I[u*] = m. Из условий (2.5) и (2.8) следует принад-
у£Г
лежность функции u* множеству Г*. Лемма 1 доказана.
Пусть Г = {y G Ba,e,Y I fo xT— (1 — x)\y\y—1 dx =1} и u = Cu*, где константа C выбирается так, чтобы u принадлежала Г и была неотрицательной на [0,1],
1—Y
то есть C = ^fO x (1 — x)1—Y |u*| y—i dXj 1 . Тогда G[u] = G[u*] = I [u*] = m.
Лемма 2. Пусть u G Г и G[u] = m; тогда u положительна на (0,1) и удовлетворяет уравнению (2.1) и условиям (2.2).
Доказательство. Так как G[y] достигает экстремума при y = u, его вариация обращается в нуль при y = u. Поскольку u G Г и G[u] = m, получаем
i1 u'z'dx + Г x — (1 — x) —\u\Y— sgnuzdx = m i' uzdx. (2.9)
o o o
Равенство (2.9) выполняется для любой функции z G . Полагая, что z G
G C^(0,1), получаем, что u' имеет обобщенную производную
u' ' = xт— (1 — x)T— |u| Y—1 sgn u — mu = xT— (1 — x)T— |u| y—1 u — mu.
a ¡3 y + 1
Поскольку u G AC[0,1], функция x 1—y (1 — x) 1—y |u| y—i sgn u непрерывна на [p, 1 — p], где 0 < p < 2, и тогда u'' G Lp(p, 1 — p). В силу следствия 2.6.1 теоремы 2.6.1 (см. [5, с. 41]), поскольку u,v G Lp(p, 1 — p),p ^ 1, где v - обобщенная производная второго порядка от u, u непрерывно дифференцируема на [р, 1 — р] и почти всюду на нем имеет классическую производную второго порядка u = v. При этом u' абсолютно непрерывна на [р, 1 — р]. Таким образом,
u'' — xJ— (1 — x)J— |u| y—i u + mu = 0, где x G [p, 1 — p].
Поскольку p может быть произвольно малым числом, имеем
u' — x(1 — x)|u| y-1 u + mu = 0, где x G (0,1). (2.10)
Так как и непрерывна на (0,1), и" также непрерывна на (0,1) и равенство (2.10) имеет место всюду на (0,1). Поскольку и £ Г, доказано существование неотрицательной функции и £ Ba в ^, удовлетворяющей уравнению (2.1) и условиям
(2.2), (2.3).
Поскольку и неотрицательна на (0,1), график функции не может пересечь ось Ox. Касание оси Ox также невозможно в силу теоремы существования и единственности задачи Коши, так как y > 1 и Y-+1 > 1. Следовательно, и на (0,1) положительна. Лемма 2 доказана.
Рассмотрим функцию Q*(x) = x 1-y (1 — x) 1-y иy-1, удовлетворяющую условию
(1.3). Тогда и £ Hqt и в силу леммы 2 удовлетворяет уравнению (2.1) и условиям (2.2). Таким образом, и удовлетворяет при Q = Q* и А = m уравнению (1.1) и условиям (1.2). Поскольку и непрерывна на [0,1], и' непрерывна на (0,1), и является первой собственной функцией задачи (1.1) - (1.3) для Q = Q* с первым собственным значением Ai(Q*) = m.
Тогда
Ma,e,Y = SUP Ai(Q) > Ai(Q*) = inf R[Q*,y] = R[Q*,u] = G[u] = m.
Поскольку также Ma, ß,Y ^ m, получаем Ma, ß, Y = m. Теорема доказана.
faßß, Y > п2, поскольку u G Hq
Замечание 2.1. Отметим, что Ma,ß,Y > п2, поскольку u G H¿J(0,1) и
L u'2dx + 1 L u'2dx L y'2dx „
R[Q*,u] = -> -> inf ^-= п2.
f01 u2dx f01 u2dx yeHi(0,i)\{0} J1 y2 dx
Литература
[1] Осмоловский В.Г. Нелинейная задача Штурма — Лиувилля: учеб. пособие. СПб.: Изд-во Санкт-Петербургского государственного университета, 2003. 260 с.
[2] Egorov Yu.V., Kondratiev V.A. On Spectral theory of elliptic operators // Operator theory: Advances and Applications, 1996. V. 89. P. 1-325.
[3] Ладыженская О.А., Уральцева Н.Н. Линейные и квазилинейные уравнения эллиптического типа. М.: Наука, 1973. 736 c.
[4] Люстерник Л.А., Соболев В.И. Элементы функционального анализа. М.: Наука, 1965. 520 c.
[5] Михлин С.Г. Линейные уравнения в частных производных: учеб. пособие для вузов. М.: Высш. школа, 1977. 431 c.
[6] Ежак С.С., Карулина Е.С., Тельнова М.Ю. Оценки минимального собственного значения некоторых задач Штурма — Лиувилля с интегральным условием // Качественные свойства решений дифференциальных уравнений и смежные вопросы спектрального анализа / под ред. И.В. Асташовой. М.: ЮНИТИ-ДАНА, 2012. C. 506-647.
References
[1] Osmolovsky V.G. Nonlinear Sturm-Liouville problem: Textbook. St.Petersburg, Izdatel'stvo Sankt-Peterburgskogo gosudarstvennogo universiteta, 2003, 260 p. [in Russian].
[2] Egorov Yu.V., Kondratiev V.A. On Spectral theory of elliptic operators. Operator theory: Advances and Applications, Birkhauser, Basel, 1996, Vol. 89, pp. 1-325 [in English].
[3] Ladyzhenskaya O.A., Uraltseva N.N. Linear and quasilinear elliptic equations. M., Nauka, 1973, 736 p. [in Russian].
[4] Lyusternik L.A., Sobolev V.I. Elements of functional analysis. M., Nauka, 1965, 520 p. [in Russian]; English transl. Frederick Ungar Publishing Co, New York, 1961 [in English].
[5] Mikhlin S.G. Linear partial differential equations. Manual for college-graduates. M., Vysshaya shkola, 1977, 431 p. [in Russian].
[6] Ezhak S.S., Karulina E.S., Telnova M.Yu. Estimates for the minimal eigenvalue of some Sturm-Liouville problems with an integral condition, pp. 506-647 in Kachestvennye svoistva reshenii differentsial'nykh uravnenii i smezhnye voprosy spektral'nogo analiza: nauchnoe izdanie pod red. I. V. Astashovoi [Qualitative properties of solutions to the differential equations and related topics of spectral analysis: scientific edition]. Astashova I.V. (Ed.). M., UNITY-DANA, 2012, pp. 506-647 [in Russian].
M.Yu. Telnova3
ON THE UPPER ESTIMATES FOR THE FIRST EIGENVALUE OF A STURM — LIOUVILLE PROBLEM WITH A WEIGHTED INTEGRAL CONDITION
In this paper a problem for which the origin problem was a problem known as the Lagrange problem or the problem on finding the form of the firmest column of the given volume is viewed. The Lagrange problem was the source for different extremal eigenvalue problems, among them for eigenvalue problems for the second-order differential equations, with an integral condition on the potential. In this paper the problem of that kind is considered under the condition that the integral condition contains a weight function. The method of finding the sharp upper estimates for the first eigenvalue of a Sturm — Liouville problem with Dirichlet conditions for some values of parameters in the integral condition was found and attainability of those estimates was proved.
Key words: Sturm — Liouville problem, estimates for the first eigenvalue, Dirichlet conditions, weighted integral condition, variational principle, eigenvalue problem, boundary value problem, extremal values of the functional.
Статья поступила в редакцию 4/V7/2015. The article received 4/VT/2015.
3Telnova Maria Yurjevna (mytelnova@yandex.ru), Department of Higher Mathematics, Moscow State University of Economics, Statistics and Informatics, 7, Nezhinskaya Street, Moscow, 119501, Russian Federation.
