Исследование разрешимости задачи Штурма-Лиувилля при построении асимптотического ряда Текст научной статьи по специальности «Математика»

НАУЧНО-ТЕХНИЧЕСКИИ ВЕСТНИК ИНФОРМАЦИОННЫХ ТЕХНОЛОГИИ, МЕХАНИКИ И ОПТИКИ сентябрь-октябрь 2015 Том 15 № 5 ISSN 2226-1494 http://ntv.i1mo.ru/

SCIENTIFIC AND TECHNICAL JOURNAL OF INFORMATION TECHNOLOGIES, MECHANICS AND OPTICS September-October 2015 Vol. 15 No 5 ISSN 2226-1494 http://ntv.ifmo.ru/en

УДК 517.958

ИССЛЕДОВАНИЕ РАЗРЕШИМОСТИ ЗАДАЧИ ШТУРМА-ЛИУВИЛЛЯ ПРИ ПОСТРОЕНИИ АСИМПТОТИЧЕСКОГО РЯДА

А.И. Попов3

a Университет ИТМО, Санкт-Петербург, 197101, Российская Федерация Адрес для переписки: popov239@gmail.com

Информация о статье

Поступила в редакцию 10.06.15, принята к печати 06.07.15

doi:10.17586/2226-1494-2015-15-5-916-920

Язык статьи - русский

Ссылка для цитирования: Попов А.И. Исследование разрешимости задачи Штурма-Лиувилля при построении асимптотического ряда // Научно-технический вестник информационных технологий, механики и оптики. 2015. Т. 15. № 5. С. 916-920.

Аннотация

Предмет исследования. Построение асимптотических разложений решений уравнений в частных производных с малым параметром сводится обычно к последовательному решению цепочки задач Штурма-Лиувилля. Чтобы найти некоторый член ряда, необходимо решить неоднородную краевую задачу с источником на оси цилиндра. При этом соответствующая однородная задача имеет нетривиальное решение. Потому возникает содержательный вопрос о реализуемости предложенного способа построения. Настоящая работа посвящена построению таких асимптотических разложений. Метод. Для доказательства необходимого условия используется обычная техника интегрирования всего уравнения и использования граничных условий. Для доказательства достаточного условия строится подходящая задача Коши (которая всегда разрешима) и анализируется ее решение. Мы имеем дело с общим случаем формальных степенных рядов и не делаем предположений об их сходимости. Основной результат. В работе доказаны необходимые и достаточные условия разрешимости неоднородной задачи Штурма-Лиувилля для общего случая формальных степенных рядов. Как частный случай общего результата, полученный результат остается верен, если заменить формальные степенные ряды функциями. Практическая значимость. Результат может найти применение при построении решений уравнений в частных производных и обыкновенных дифференциальных уравнений в форме формальных степенных рядов. Результат является общим и применим к частным случаям таких рядов, например, к асимптотическим рядам или функциям (сходящимся степенным рядам). Ключевые слова

задача Штурма-Лиувилля, асимптотическое разложение, степенные ряды, краевая задача, обыкновенные

дифференциальные уравнения.

Благодарности

Работа выполнена при частичной поддержке Правительства Российской Федерации (грант 074-U01), Минобрнауки РФ (Госзадание 2014/190, Проекты 14.Z50.31.0031 и 1.754.2014/K), а также гранта Президента РФ MK-5001.2015.1.

INVESTIGATION OF STURM-LIOUVILLE PROBLEM SOLVABILITY IN THE PROCESS OF ASYMPTOTIC SERIES CREATION

A.I. Popov3

a ITMO University, Saint Petersburg, 197101, Russian Federation Corresponding author: popov239@gmail.com

Article info

Received 10.06.15, accepted 06.07.15 doi:10.17586/2226-1494-2015-15-5-916-920 Article in Russian

For citation: Popov A.I. Investigation of Sturm-Liouville problem solvability in the process of asymptotic series creation. Scientific and Technical Journal of Information Technologies, Mechanics and Optics, 2015, vol. 15, no. 5, pp. 916-920.

Abstract

Subject of Research. Creation of asymptotic expansions for solutions of partial differential equations with small parameter reduces, usually, to consequent solving of the Sturm-Liouville problems chain. To find some term of the series, the non-homogeneous Sturm-Liouville problem with the inhomogeneity depending on the previous term needs to be solved. At the same time, the corresponding homogeneous problem has a non-trivial solution. Hence, the solvability problem occures for the non-homogeneous Sturm-Liouville problem for functions or formal power series. The paper deals with creation of such asymptotic expansions. Method. To prove the necessary condition, we use conventional integration technique of the whole equation and boundary conditions. To prove the sufficient condition, we create an appropriate Cauchy problem (which is always solvable) and analyze its solution. We deal with the general case of power series and make no hypotheses about the series convergence. Main Result. Necessary and sufficient conditions of solvability for the non-homogeneous Sturm-

Liouville problem in general case for formal power series are proved in the paper. As a particular case, the result is valid for functions instead of formal power series. Practical Relevance. The result is usable at creation of the solutions for partial differential equation in the form of power series. The result is general and is applicable to particular cases of such solutions, e.g., to asymptotic series or to functions (convergent power series). Keywords

Sturm-Liouville problem, asymptotic expansion, power series, boundary problem, ordinary differential equations. Acknowledgements

This work was partially financially supported by the Government of the Russian Federation (grant 074-U01), by the Ministry of Science and Education of the Russian Federation (Government contract 2014/190, Projects No 14.Z50.31.0031 and No. 1.754.2014/K), by grant MK-5001.2015.1 of the President of the Russian Federation.

Введение

Теория Штурма-Лиувилля широко используется в спектральной теории. Она хорошо описана во многих книгах (см., например, [1, 2] и ссылки в них). К задаче Штурма-Лиувилля сводятся многие квантовые и классические задачи, например, задачи о квантовых ямах, квантовых графах, волноводах и т.д. [3-5]. Она оказывается полезной и при развитии численных методов (см., например, [6-9]). Отметим особо асимптотический подход в теории волн, с которым связана настоящая работа. Он применяется, когда в задаче есть малый параметр, обычно возникающий при физическом анализе проблемы. Формально асимптотический подход сводится к построению асимптотического разложения по степеням указанного малого параметра [10-13]. Ряд строится последовательно. При нахождении очередного члена требуется решить неоднородную задачу Штурма-Лиувилля для формальных степенных рядов, в которой неоднородность зависит от предыдущего (одного или нескольких) члена ряда (уже найденного). При этом соответствующая однородная задача имеет нетривиальное решение. В результате вопрос о разрешимости неоднородной задачи становится не просто содержательным, но и чрезвычайно важным, ибо определяет возможность продолжения построения. Именно такая ситуация возникает при использовании пространственно-временного лучевого метода [14, 15]. В настоящей работе доказываются необходимые и достаточные условия разрешимости неоднородной задачи Штурма-Лиувилля в общей ситуации. Ранее для формальных степенных рядов и для подобной постановки задачи критерия разрешимости получено не было.

Основная теорема Теорема. Рассмотрим однородную задачу Штурма-Лиувилля:

Ly = (p(x)y')'- q(x)y = 0, ' l 0 У = (a 0 У + a1 У' )lx=x0 = 0, (1)

l У = (P„ У + P1 У')1х=x, = 0. p(x) > 0.

Здесь aj, pj, j = 0,1 - вещественные числа; p(x), q(x) - формальные степенные ряды (ФСР). Операторы Ly , l0у , l1у определены формулой (1). q(x) - вещественная функция.

Пусть существует решение в виде ФСР y0 Ф 0. Тогда необходимое и достаточное условие существования решения в виде ФСР неоднородной задачи Штурма-Лиувилля

Ly = -F,

' 10 У = A, A y = b,

таково:

B A x P(xi)T~ У0 |x=x1 - P( x0)-У0 |x=x0 = -f F ( x) У0 ( x)dx (2)

Pj 1 aj 0 Jx0

Здесь F(x), A, B - ФСР.

Замечание. Чтобы избежать неясностей, отметим еще раз, что формальные степенные ряды рассматриваются не по x, а по некоторому малому параметру, коэффициенты этих рядов могут зависеть от x. При этом условие p(x) > 0 означает, что формальный степенной ряд для p(x) при нулевом значении малого параметра разложения не обращается в 0, т.е. содержит нетривиальный член с нулевой степенью малого параметра.

Доказательство. Необходимость.

( p( x) y ')'- q( x) y = - F. (3)

Домножим уравнение (3) на y0 и проинтегрируем по x от x0 до xl. Заметим, что мы исследуем

ИССЛЕДОВАНИЕ РАЗРЕШИМОСТИ ЗАДАЧИ ШТУРМА-ЛИУВИЛЛЯ ...

ФСР, т.е. сходимость не рассматривается. В связи с этим их можно всегда почленно интегрировать и дифференцировать без дополнительных условий. В результате получаем:

Р((ру'У-qy)yodx = Р(ру'УуА- PqwA = ру'уо Q -Рру'уоdx- Рчтdx =

о о о 0 о о

= py'yо |Хо -ру'оy Со +f у(ру'о)'dx- f *чууоdx•

о о «"Хл J Хп

л0 л0 Подставим в (4) граничные условия: а

у0( хо) = —1 Уо( хо1

A о-

y' ( Хо) =---- y( Хо),

(4)

Уо (Х1) = - ^в0 Уо(х1), (5)

в в

у '(*)=г - в0у (х1). (6)

Тогда

В В

[11 ((РУ ') '- ЧУ) У о йх = Р( х1)—У0(х1) - Р( х1) -¡г УУо(х1) -

1хо Р1 Р1

А а В

-Р(хо)—Уо(хо) + Р(хо)— УУо(хо) + Р(УоУ(х1) - (7)

а а1 В1

-Р(хо)—УоУ(хо) + Р^.У((РУо)'-ЧУо)йх = Р(х1)ВУо 1х=, -Р(хо)—Уо 1х=хо . а1 -1хо Р1 а1 о

С другой стороны,

Р1 ((РУ') ' - ЧУ)Уо йх = ^^Уо йх. (8)

-1хо ■'"о

Из сравнения (7) и (8) получаем формулу (2), т.е. необходимость доказана. Достаточность.

Пусть у - решение задачи Коши: (РУ)' - ЧУ = -Р,

•¥ио = —, (9)

у ' и = в.

т 1х хо

Задача Коши всегда разрешима. Следовательно, у существует. Пусть у = у - уо.

(РУ ') '- ЧУ = (РУ') '- ЧУ - (РУ'оУ + ЧУ о = - Р, т.е. у удовлетворяет нужному уравнению. Проверим краевые условия. Домножим первое уравнение в (9) на уо и проинтегрируем по х от хо до х1:

[ РУ ') ' - ЧУ)Уойх = [ 'ЧРУ')'Уойх - [ \ууойх = ру'уо Р -[ 11 Ру %йх - [ \ууойх =

хо хо хо о хо хо

= р(У 'Уо- уо у)|о +[ ^у(( ру'оУ - ЧУ о)йх = р(( у '+уо ) Уо- уо( у+Уо)) £ = р( у 'Уо- уо у) Со,

о ^о о о

т.е.

((Р^'У - ЧУ)Уо йх = Р(х) У' (х) Уо (х1) - Р(х1)уо(х1)у(х1) --хо (1о)

-Р(хо)У '(хо)Уо (хо) + р(хо)уо (хо)у(хо).

Подставляя граничные условия (5)-(6) в (1о), приходим к формуле

,Ро

^х в

1 ((РУ ') ' - ЧУ) Уо йх = Р(х1) У ' (х1) Уо (х1) + р(х1)-° Уо (х1) У(х) -

-хо В1

а

- Р(хо ) У ' (хо ) Уо (хо ) - Р(хо) — Уо (хо ) У (хо).

а1

С другой стороны,

(11)

Р((py')' - qy)Уоdx = -pFy0dx. (12)

Jx0 x0

Пусть

B A x P(Xl)^T Уо lx=x, - P( X0)-Уо lx=x0 = -i 'F (x) Уо (x)dX. (13)

P1 л a, 0 о

Тогда из (11)-(13) следует, что

p(xi) -¡тУо |x=x1 -p(xo)—yo Lx= p(xl)y'(xl)Уо(xl)+p(x1) ^ yo(x,)y(x,) -Pi 1 a1 о P1

1 1 1 (14)

a

-p(Xо )У'(Xо)Уо (Xо ) - p(X') — Уо (Xо )У(Xо).

a1

Условие (14) должно быть выполнено для любых точек x„ и x1. Зафиксируем x„ и будем менять x1. Так как соотношение (14) должно быть выполнено всегда, то части уравнения, отвечающие x„ и x1, должны быть независимы друг от друга:

A a

-p(X')-Уо^о) = -p(Xо)y'(Xо)Уо(Xо) - p^) — Уо^У^). (15)

a1 a1

B Р

p(X1) — Уо (X1) = p( Xl)y'(Xl)Уо(Xl) + p(X1) Уо(Xl)y(Xl). (16)

p1 p1

Уо(x,) ф о . Доказывается от противного. Если y„(x,) = 0, то из краевого условия А У = (Ро У + Pl У ')lx=^ = о следует, что у'о | = о . Значит, Уо - решение задачи Коши:

(p( x) у')'- q( x) Уо =о, Уо lx=x1=0,

у0 lx=x1 = o.

Следовательно, y0 = 0 , что противоречит предположению теоремы. По условию p >0, Р, ф 0 . Поделим обе части (16) на p( x,) y0( x,) и домножим на Р, , получим

B = в, y'( X,) + Ро y( X,),

т.е. получили нужное условие при x = x1 .

Вернемся к соотношению (15):

A a

-p(X')—Уо ( Xo) = - p( X') y'( X') Уо ( X') - p(X')—Уо( X') У ( X'). a, a,

Учитывая, что p >0, у0(0)ф 0 (доказывается аналогично y0(x,)), a, ф 0, получаем нужное

условие при x = x0:

a, y'( X') + ao y( X') = A.

Заключение

Рассмотрен вопрос о разрешимости неоднородной задачи Штурма-Лиувилля, возникающей при построении асимптотических рядов пространственно-временным лучевым методом. Предложены и доказаны необходимые и достаточные условия указанной разрешимости для общей постановки задачи. Результат может быть использован для построения асимптотических разложений в различных физических задачах.

Литература

1. Brannan J.R., Boyce W.E. Differential Equations with Boundary Value Problems: An Introduction to Modern Methods and Applications. 2nd ed. NY: John Wiley and Sons, 2010. 992 p.

2. Левитан Б.М., Саргсян И.С. Операторы Штурма-Лиувилля и Дирака. М.: Наука, 1988. 431 с.

3. Kong L., Kong Q. Second-order boundary value problems with nonhomogeneous boundary conditions (II) // Journal of Mathematical Analysis and Applications. 2007. V 330. N 2. P. 1393-1411. doi: 10.1016/j.jmaa.2006.08.064

4. Jodar L. Explicit solution for non homogeneous Sturm-Liouville operator problems // Publicacions Matematiques. 1989. V. 33. N 1. P. 47-57.

ИССЛЕДОВАНИЕ РАЗРЕШИМОСТИ ЗАДАЧИ ШТУРМА-ЛИУВИЛЛЯ

5. Pokornyi Yu.V., Pryadiev V.L. Some problems of the qualitative Sturm-Liouville theory on a spatial network // Russian Mathematical Surveys. 2004. V. 59. N 3. P. 515-552. doi: 10.1070/RM2004v059n03ABEH000738

6. Popov I.Yu., Lobanov I.S., Popov S.I., Popov A.I., Gerya T.V. Practical analytical solutions for benchmarking of 2-D and 3-D geodynamic Stokes problems with variable viscosity // Solid Earth. 2014. V. 5. N 1. P. 461476. doi: 10.5194/se-5-461-2014

7. Gerya T., Lobanov I.S., Popov A.I., Popov I.Yu. Numerical approach to the Stokes problem with high contrasts in viscosity // Applied Mathematics and Computation. 2014. V. 235. P. 17-25. doi: 10.1016/j.amc.2014.02.084

8. Popov A.I., Lobanov I.S., Popov I.Yu., Gerya T.V. Benchmark solutions for nanoflows // Nanosystems: Phys. Chem. Math. 2014. V. 5. N 3. P. 391-399.

9. Popov A.I., Lobanov I.S., Popov I.Yu., Gerya T.V. On the Stokes flow computation algorithm based on Woodbury formula // Nanosystems: Phys. Chem. Math. 2015. V 6. N 1. P. 140-145. doi: 10.17586/22208054-2015-6-1-140-145

10. Babich V.M. The space-time ray method and quasiphotons // Journal of Mathematical Sciences. 2008. V 148. N 5. P. 633-638. doi: 10.1007/s10958-008-0013-4

11. Babich V.M. Formal power series and their applications in the mathematical theory of diffraction // Journal of Mathematical Sciences. 2013. V. 194. N 1. P. 1-7. doi: 10.1007/s10958-013-1500-9

12. Pankratova T.F. Tunneling in multidimensional wells // Nanosystems: Phys. Chem. Math. 2015. V. 6. N 1. P. 113-121. doi: 10.17586/2220-8054-2015-6-1-113-121

13. Bagrov V.G., Belov V.V., Trifonov A.Yu. Semiclassical trajectory-coherent approximation in quantum mechanics // Annals of Physics. 1996. V 246. N 2. P. 231-290. doi: 10.1006/aphy.1996.0027

14. Babich V.M., Popov A.I. Quasiphotons of waves on the surface of a heavy liquid // Journal of Mathematical Sciences. 2011. V. 173. N 3. P. 243-253. doi: 10.1007/s10958-011-0247-4

15. Popov A.I. Wave walls for waves on the surface of a heavy liquid // Journal of Mathematical Sciences. 2013. V. 194. N 1. P. 83-97. doi: 10.1007/s10958-013-1509-0

Попов Антон Игоревич — инженер-исследователь, Университет ИТМО, Санкт-Петербург, 197101,

Российская Федерация, popov239@gmail.com

Anton I. Popov — research engineer, ITMO University, Saint Petersburg, 197101, Russian Federation,

popov239@gmail.com