Math-Net.

Ru
All Russian mathematical portal

L. Yu. Motylev, Formal asymptotic solutions of a class

of ordinary differential equations in the neighborhood of
a turning point, Mat. Sb. (N.S.), 1984, Volume 123(165),
Number 1, 130–140

Use of the all-Russian mathematical portal Math-Net.Ru implies that you have
read and agreed to these terms of use
http://www.mathnet.ru/eng/agreement

Download details:
IP: 109.153.55.221
June 16, 2022, 11:53:57
 1984 МАТЕМАТИЧЕСКИЙ СБОРНИК 123(165), № I

УДК 517.91

Ф о р м а л ь н ы е асимптотические решения некоторого

к л а с с а обыкновенных дифференциальных уравнений
в окрестности точки поворота
Мотылев Л. Ю.

§ 0. Введение
Пусть дано обыкновенное дифференциальное уравнение с малым па­
раметром
1

Н{х, — *А — , AW(*, А) = 0. (0.1)

Здесь Н(х, р, А) —полином по pdR с коэффициентами, гладко завися­

щими от xdR и малого параметра А^О. В формуле (0.1) использованы
стандартные обозначения теории упорядоченных операторов [1], [2].
В данном случае номера над операторами х и —ih— означают, что каж-
dx
дый из мономов вида сг{х, h)pl преобразуется в оператор ct(x, А) X
Х(— Hi •—]. Пусть Q)(x)£C°°(R). Следуя [3], определим формальное
асимптотическое решение (ФАР) уравнения (0.1) свесом Ф(л:) как фор-
оо
Г
мальный ряд 2 ЛХ> А), где функции r^x, А) обладают следующими
свойствами:
1. Существуют такие числа ^£(0, + ° ° ) и рб(—оо, + оо), что для
всех /
г,=0(А р + ^ехр(Ф(х)/А)), А-М).
2. Для любого натурального N существует такое n(N), что
,2 * ч n(N)
Н [х, - ih -f-, A )V rj (х, Л) = О (hN ехр (Ф (*)/А)), A -> 0,
V dx ) fz,
причем оценки О равномерны по х.
Естественным образом можно, далее, определить ФАР с весом Ф(х)
на каком-либо компакте К-
ос
Аналогично будем говорить, что формальный ряд y*tqj(x, А) являет-

ся асимптотическим разложением функции Q(x, А) с весом Ф(х), если

1. Существуют такие числа ^(5 (0, -(-сю) и рб(—оо, -(-оо), что для
всех /
г,=0(А р + ^ехр(Ф(*)/А)), А-й>.
2. Для любого натурального N существует такое n(N), что
л(ДГ)

Q(x,h)- У}д1(х,к)^0(к'/^хр(Ф(х)/к))9 А->0,

130
оценки О равномерны до х. Мы будем писать сокращенно Q(x,h)~~
со . оо оо

с весом
~ 2 У* (*' ^ ® (*)• Д а л е е » будем писать ^ д/ (я,ft)— 2 Pi (x> A)

с
с весом Ф (х), если 0 — 2 (*7/ (*» ^) ~~~ Р/ (*> ^)) весом Ф (х).
/«=0 k k
i d
Обозначим Hk(x, р) = Н(х, р, ft) | л=0 . Всюду в дальнейшем мы
kl
dhk
будем предполагать, что функция Н(х, р, ft) удовлетворяет следующим
условиям:
т

1. #о(х, р) = [[ (р—Kj(x)), %j — комплекснозначные функции из

С~(Я).
т
2. Im 2 X / W = °-
/=i
3. A,t(*o)=M*o) = • • • =Хт(х0)=а£С при некотором л:0€/?.
4. Существует такое целое п ^ 2 , что при всех O^q^n—2, l^/t<
< / 2 ^ / п выполняются соотношения

5 <*'• - *'•> U = °; ~S <*/• - ^ U * °-

5. Выполняется неравенство / п < п + 2 -
6. Для любого комплексного числа т выполняется оценка Нц(х9
Х1(х)+х(х—х0)п~1) = О{(х—xQyn-i)m~nh) при #-нс0, k^O.
7. ЯА(х, р) —полином по р степени max(m—k—1, 0) при k^l.
З а м е ч а н и е 0.1. Без ограничения общности можно считать, что
xQ=0 и а=0 (первое достигается заменой х-**х—х0, второе — подста­
новкой г|)(х, h)=exp(iax/h)}}p(xy ft)). Делая еще одну подстановку
*ф(л:, ft)=exp| — f Xi(y)dy \ty(x, ft), можно свести задачу к случаю Xi=s
h
\i )
= 0. Новую неизвестную функцию будем по-прежнему обозначать
Ф(х, Л).
З а м е ч а н и е 0.2. Во многих случаях уравнение, для которого усло­
вие 6 не выполняется, можно заменой независимой переменной и мало­
го параметра свести к уравнению, для которого это условие выполняет­
ся. Например, рассмотрим уравнение
dx2

Делая замену переменной x = h3/i6y и обозначая hl = hl/81 придем к урав­

нению
-^•7T-»2*-Ai^=0,
dy*
для которого условие 6 уже выполнено.
Целью настоящей работы является построение т независимых ФАР
уравнения (0.1) в некоторой окрестности точки х=0 в терминах реше­
ний некоторых обыкновенных дифференциальных уравнений m-го по­
рядка с регулярными особыми точками, коэффициенты которых явля-
9* 131
ются полиномами степени га, не зависящими от h. При га=2 указанные
ФАР выражаются через решения гипергеометрического уравнения.
Легко видеть, что точка х=0 является точкой поворота уравнения
(0.1) [4]. Вне некоторой окрестности точки поворота ФАР уравнения
(0.1) дается хорошо известным методом ВКБ и его обобщением — мето­
дом канонического оператора В. П. Маслова [1], [5]. В ряде работ (см.
[3], [6], [7]) решалась задача построения ФАР в окрестности точек по­
ворота. В частности, в [3] построено ФАР в случае двух пересекающих­
ся характеристических кривых; при этом было предложено интеграль­
ное представление для ФАР в окрестности точки поворота. В [7] эти
результаты были обобщены на нестрого гиперболические уравнения с
частными производными. В данной работе предлагается другое инте­
гральное представление ФАР вблизи точки поворота, позволяющее
обобщить результаты работы [3] на случай пересечения или касания
произвольного порядка произвольного числа характеристических кри­
вых.
Настоящая работа строится по следующему плану. В § 1 определена
область, в которой ФАР уравнения (0.1) могут быть построены мето­
дом ВКБ. В § 2 строится ФАР вблизи точки поворота; затем строится
глобальное ФАР путем сшивания решений в различных зонах. В § 3 ре­
шается вопрос о вычислении коэффициентов связи для ВКБ-решений
слева и справа от точки поворота; эта задача сводится к вычислению
констант связи для уравнений с регулярными особыми точками.

> § 1 . ФАР в волновой зоне

Пусть выбрано некоторое число 6 i > 0 . Пусть Q — такая ограничен­
ная окрестность точки х=0, что в Й \ { х = 0 } не существует корней
уравнений %{(х) =^(х)у i, /б{1, .'.., га}. Следуя терминологии [3], [7],
будем называть волновой зоной и обозначать через Ut множество точек
xdQ, удовлетворяющих оценке \х\ >Л (1 - б 1 )/п .
Будем строить га линейно независимых ФАР уравнения (0.1) в £/4
методом ВКБ. Согласно этому методу, ФАР ищутся в виде

i|V (х, h) = exp (iSr (x)/h) ^ ( - ih)!<s{P (*), (1.1)

X

где Sr (x) = £ %r (y) dyy r = 1, . . . , m.

0

Следующее предложение было, по существу, доказано в [3] в случае

т=п=2; в нашем, более общем, случае доказательство полностью
аналогично приведенному в [3].
П р е д л о ж е н и е 1.1. Существуют такие функции <pr(i)(x)€C°°(R),
что построенный по ним формальный ряд (1.1) является ФАР уравне­
ния (0.1) с весом — lmSr(x) в волновой зоне; определитель Вронского
DI,N(X, h) функций
N
у™ (х, К) = exp (iSr (x)/h) 2 {--1К)1ц{Р (х)

при х£ Uu hd (0, 1 ] удовлетворяет оценке

\Di,N(x, /i)|>CiA e i (1.2)
для некоторых констант С / > 0 и в 4 > 0 .
132
 Отметим, что при доказательстве предложения 1.1 возникает рекур*
рентная процедура для явного построения функций <pr(j)(*)-

§ 2. ФАР в резонансной зоне и глобальное ФАР

Пусть выбрано некоторое число 6 2 > 6 Г Следуя [3], [7], назовем ре­
зонансной зоной и обозначим через U2 множество точек x£Rf удовлет­
воряющих оценке \х\ </i(1-62>/n. ФАР в резонансной зоне будет построе­
но в терминах решений линейных неоднородных дифференциальных
уравнений в комплексной плоскости, обладающих регулярными особы­
ми точками. Напомним, что точка t0€C называется регулярной особой
точкой однородного уравнения
d
^L + cll(t)^L + ... + am(t)ti = 0, (2.1)
dtm dtm~x
если не все функции a^{t) аналитичны в точке t=t0i но все функции
(t—t0)jaj(t) аналитичны в этой точке. Обозначим bj=[(t—to)jcij(t)} |*=*0,
Oj — корни характеристического уравнения
о(о—1) . . . ( о — т + 1 ) + М ( о — 1 ) . . . ( о — m + 2 ) + . . . + & т - 1 о + Ь т = 0 .
Как известно, уравнение (2.1) имеет т линейно независимых решений
щ вида

щ (0 = (t - Ф 2 J V ~ Qk lnr (t - g, (2.2)
fc=o r<=o

причем ряд (2.2) сходится в окрестности точки t0. В случае, если ника­
кие два из чисел Oj не различаются на целое число (сюда относится так*
же и нуль), все числа гы равны нулю.
ФАР уравнения (0.1) в резонансной зоне будет выражено через ре­
шения уравнений вида

«JL
m
+ ai (f) ^—^1 1 + .. . + am(t)u^F (/),
dt dt" -

где a,j(t) удовлетворяют сформулированным выше условиям. Эти реше­

ния выражаются через Uj(t), F(t) при помощи метода вариации посто­
янной. Отметим, что для нахождения главного члена ФАР необходимо
положить F (t) == 0.
Определим числа ^± = 0, \12ф0, . . . , jim=7^0 соотношением Xj(x) =
= \xjxn-i-\-0(xn) при X-+-0, / = 2, . . . , т. Пусть выбрано число б 3 > 0 . Оп­
ределим контур Lki+\ обходящий точку \1 Jn в положительном направ­
лении. Если не существует точки щф^ lm\ii>\m\ih, RejLiz = Re[xft, опре*
{+)
делим Lh как объединение лучей, идущих по правому и левому бере­
гам разреза (\Ldn-\-ih\ \iJn-\-ioo), и окружности радиуса № с центром
в \ijti. Если же существуют точки \xt с указанными свойствами, то раз­
рез должен обойти каждую такую точку с произвольной стороны по по­
луокружности радиуса — min \\ii — \iq\. Будем искать ФАР \|>i(+\ . . ,
• • •, фт (+) уравнения (С.1) при 0<л;^/г (1 - б - )/п в виде

№ (*, h)= f exp (itxn/h) ф<+) (*, f) dt, (2.3)

х/(
где yf {х, 0 = 2 РЙ*} (0 (ряды, понимаются в смысле определения

133
ФАР во введении). Функции ^/(t)y вообще говоря, многозначны; оп­
ределенная ветвь задается выбором аргумента arg(/—\ijn)=—Зя/2
на левом берегу разреза.
Т е о р е м а 2.1. 1) Существуют такие числа 6 2 > 0 и б 3 > 0 и такие
функции Ф^/ (/), аналитические в C\\J{\ijln)y что ряды tyh{+)(x, К) яв-
ляются ФАР уравнения (0.1) с весом — Im \xkxn/n при 0<л:^Л ( 1 _ б 2 ) / п .
2) Для любой константы 6 Ь 0 < б 1 < 6 2 , при Л(1-б1)/п^.\;^:А(1-б2)/п имев!
место асимптотическое разложение

4 + ) (х, h) ~ exp iTL-j 2 hVkf 5J (In h)r p% (x) (2.4)

с #есож — Im \xkxn/n для некоторых функций р$г (х) £С°° (i[/i(1-6i)/n,

ft(i-e2>/»]) ^ констант r{kj и v£/. 3) Существует такое N0, что при
N^NQ, 0<x^.h{i-6*)/n, /i6(0, 1], определитель Вронского Di+th любых
частичных сумм
__ ^
Ф$ (А:, А) = f axp (ittf/h) 2 *V# (0
4 +)+ )
4
рядов tyk{+)(x, h) удовлетворяет оценке

\D^N{x,h)\>Ct)h^) (2.5)
(+) (+)
для некоторых констант С 2 >0 и 9 2 >0.
Д о к а з а т е л ь с т в о . Подставляя (2.3) в (0.1) и пользуясь форму­
лой коммутации гамильтониана с экспонентой [1], получим следующие
уравнения:
m
J exp (itxn/h) ^ (— ihyVjtfk (x, U h) dt = 0, (2.6)

где Vj—дифференциальные операторы /-го порядка по х с коэффициен­

тами, зависящими от / и х. В частности, оператор V0 имеет вид
m
V0 = x^n-1)m T] (nt — (Ay) + О (x^™) (2.7)

При х-^0. В уравнении (2.6) произведем интегрирование m первых чле­

нов по частям, занося exp (itxn/h) под дифференциал. При этом член,
содержащий Vh 0^.j^m—1, проинтегрируем по частям (ш—/) раз. Со­
бирая члены с одинаковыми степенями (—ih), получим следующее урав­
нение:
1/ф£} = 0, (2.8)
m
где U= —У (—x-nd\dt)m-rVr. Подставляя в уравнение (2.8) ряд
оо

q>h+}(x' 0 = У} 4$ (t) х1' и

приравнивая нулю члены при одинаковых
/= 0

134
степенях х, получим рекуррентную систему уравнений
W'°Vifo) = 0; (2.У;

fl^o'V*/ = 2И-гФ ( *', (2.Ю)

где №в(Я—дифференциальные операторы по t с полиномиальными ко­

эффициентами. Анализируя вид операторов Vq, нетрудно установить
следующие свойства системы (2.9), (2.10):
т т
а) W f > = ^ ©</> до (<Э/<3/)', со(гл — полином степени г, a>SP ( 0 =* П (frf—и*)-

б) Уравнение ТС70Ш%=0 является уравнением вида (2.1) с регуляр­

ными особыми точками и имеет (т—Г) решений, голоморфных в окрест­
ности точки t=\ijnf и решение £,-л(£) = (£—\^kl^)aikgjk{t) в окрестности
t=\xjnj где функции gjk голоморфны в окрестности точки \ijn, ajh вы­
числяется по формуле
а/л = т — Ц =oc0fc+ — . (2.11)
П(^-м
т
в) При /=7^=0 имеет место равенство Wt{5) = ^ ^ir (t) (d/dt)r, cor(0 —
г=о
полином степени max (г—1, 0) (при доказательстве нужно воспользо­
ваться условием 7 из § 0).
Чуть более сложно доказывается следующее утверждение:
г) Уравнение W0U)%=0 имеет т решений, представимых в окрестно­
сти точки / = о о в виде %n(t) — ^ Ы О , где / = 1, . . . , m, gn(t) голоморф­
ны в окрестности точки / = о о , |Jj7 вычисляются по формуле {Jj7 =
' = {—n—l + j+l)/n.
Для доказательства утверждения г) заметим, что старшие при /—^оо
члены в коэффициентах o)r(j) (t) определяются только лишь членом
(—ihd/dx)m в уравнении (0.1). Заметим, далее, что функции
JCJ J <zxp(itxn/h)t ndt являются точными решениями уравнения

{—ihd/dx)mty=0. Отсюда непосредственно следует утверждение г).

Рассмотрим теперь два случая.
С л у ч а й 1. с&оь^О, 1, 2, . . . . Положим Ф ^ =%ок; функции ф1/най­
дем, последовательно решая уравнения (2.10) методом вариации по­
стоянной. Обозначим через F(t) правую часть уравнения (2.10), G(t) —
определитель Вронского функций %#(0> Gt(t) —определитель, получаю­
щийся из G(t) заменой элементов 1-го столбца через (0, . . . , 0, F(t)).
Положим

Фб ](0 = 2 X/, (0 f , , l
dx, (2.12)

где интегрирование проводится по контуру Lk(+) в положительном на­

правлении. Сходимость интеграла (2.12) следует из утверждений в) и
г) и условия т<п-\-2. Для доказательства первого утверждения теоре-
135
 мы заметим, что существует такое число т]^0, что выполняется оценка
ф # (0 = (t — \Lkln)"*-iX[ О (1) при /-> \ik/n.
Из определения контура Lh(+) следует, что если выбрать б2 и б3 так,
чтобы выполнялись неравенства
( 1 — 6а)/Л—Л'бз>0, б3>б2,

то ряд 1|эЛ(+)(*>
Л) является ФАР уравнения (0.1).
Для доказательства второго утверждения теоремы заметим, что до­
статочно установить на указанном отрезке асимптотическую формулу
j exp (itxn/h) Ф ^ dt -

(2.13)

^ о. П Г, Л
о л=о

с весом — Im ixhxn/n; ^ sr GC°°.([/i (1 - 6 i )/n , ft*1-^)/»]), ?hjs, v^—константы.

Эта формула непосредственно следует из леммы Ватсона для интегра­
лов по петле [8]. При этом для главного члена имеем: ffei0 = 0, чш=
= аЛ+1,

P*i"(*)= T(2-Lk) x'n{aj'k+1)^[~f (а>* + 1} ] - (2л4)

где через Г обозначена гамма-функция. Применяя асимптотическую

формулу (2.13) к каждому члену ряда tyk{+)(x, К) и пользуясь тем, что
этот ряд сам является ФАР уравнения (0.1) с весом — Im \ikxnjn, полу­
чим второе утверждение теоремы.
Для доказательства третьего утверждения теоремы заметим, что для
любых точек х, #6(0, Л<1-ва>/«] из свойств определителя Вронского легка
выводится формула
* гЛ
DV9h(x, Л) = ВД(*,ft)exp %i (z) dz + 0{hM), (2.15)
V *

где Af->+oo при N-^ + oo. Из формулы (2.15) и условия 2 из § 0 сле­

дует, что достаточно доказать третье утверждение теоремы для какой-
либо одной точки х. Очевидно, далее, что достаточно доказать его для
главных членов асимптотических рядов i|)fe(+)(*> h) в точке х. Положим
x = h{l-6*)/n. Оценка (2.5) в этой точке легко следует из формулы (2.14)
для / = 0 , если принять во внимание, что Г~4(—осок)фОу а числа \ih все
различны.
С л у ч а й 2. а 0 ь=0, 1, 2, . . . . Положим Ф/^ = 0; ф ^ =Хи, причем
показатель aih согласно утверждению б) уже не равен целому числу.
Далее в точности повторяем все рассуждения случая 1. Теорема дока­
зана.
Л е м м а 2.1. Пусть выбрано число б 4 >0. Тогда каждый член асимп­
тотического ряда tyhi+)(x, /г), построенного в теореме 2.1 при 0 < | А : | ^
^.hii+6*)/n и любом N>0 представляется в виде QN{xh-i/n) + 0(hN), где
QN—полином, коэффициенты которого зависят от h и равны 0(1) при

136
 Д о к а з а т е л ь с т в о . Пусть J(x,h)—произвольный член ряда;
г|)Л(+)(л;, К). Как следует из доказательства теоремы 2.1,
j (х, ft) = *' J e xp (ifc»/ft) ФЙ} (О Л,
,<+)

где функция y{$ (t) разлагается в сходящийся ряд q$ (t) = 2 £в*(в*//я)~*лри:

| / | ^ Л , где Л — некоторая константа. Здесь Qhj—целые числа, 6 f t i ^—п.
Представим контур LA<+> в виде L f t ( + ) =L f t ( 1 ) UV 2 ) , Lft(1)fUft(2) = 0 , U*>
лежит в области | £ | > Л , Lft(1) — в области | / | ^ Л . Имеем:
J (Ху %) = Х! J exp {itxn/h) щ? (t) dt +

+ xi 2 cs J exp (itx"/h) t(Qk{/n)'sdt +

S^=0 .(2)

+ xi f exp (itxnfh) О (tieki,nyK'1) dt = */ J exp {itxnlhWki (t) dt +

/(2) , (1)

+ *' 2 cs (h/xnf^/rihM j exp (iu) u{^ln)-s du +

s=o 2(2)

+ x/ j exp (itx»/h) О ^/п)~к~) dt,

Л2)

где ГА(2)—образ контура Lh{2) при замене £-w/, u=txn/h\ К^О — произ­
вольное целое число, оценки О берутся при |^|г^ + оо. Относительно
первого члена суммы утверждение леммы очевидно; второй член есть
полином; третий, как легко видеть, оценивается через
const • Г ((0л//п) - К) xi (А/*")(0*//я)-* == О (hN)
при достаточно большом /С. Лемма доказана.
Разлагая каждый член формального ряда tyh(+)(x, h) в формальный
ряд по х9 получим новый формальный ряд if>ft(+)(*> ft), члены которого-
имеют смысл и при х^.0. Из теоремы 2.1 и леммы 2.1 немедленно
следует
Т е о р е м а 2.2. 1) Ряды tyk{+)(x, h) являются ФАР уравнения (0.1)
с весом — Im \ikxn/n в области \x\^.h(i+^)/n. 2) В этой области опреде­
литель Вронского D^N любых частичных сумм рядов ij)ft(+)(#, h) при
достаточно больших N удовлетворяет оценке

№*h(x9h)\>?.Ph°M (2.16)
i+) (+)
для некоторых констант €2 >0 и еГ2 >0.
Нетрудно доказать аналог теоремы 2.1 для области —h {i - 6 * )/n ^:x<0~
При четном п ряды tyk{~}(x, h) строятся по тем же формулам, что и
г|?Л(+)(л:, h) в теореме 2.1; при нечетном п вместо интегралов по конту­
рам LA(+) следует писать интегралы в положительном направлении по
контурам Lk{~\ где Lft(_) получается симметричным отражением кривой
Lh{+) относительно прямой Imz= (Im \ih)/n с соответствующим обходом
встречающихся на пути точек щ\п и выбором аргумента arg (t—jutft//z) = .
= Зя/2 на левом берегу разреза. Таким образом, имеет место
1ЯТ
 Т е о р е м а 2.3. 1) Ряды ^k(-} (x, h) являются ФАР уравнения (0.1)
с весом — lm \ihxn/n в области —h{i-6*)/n<^x<0. 2) При —h { i -^ ) / n ^.x^.
^—h {i ~°i )/n имеет место асимптотическое разложение

№ (х, h) ~ ехр ( - ^ - ) J //*> ^ (In А ) г ^ ( х )

с весом — Im \xhxn/n для некоторых функций р{щг (x)G

(1 )/п 1 6
6С°°([—Я -^ , — Z^ - !)/"]) и констант rtf и v^/. 3) Существует такое
N0, что при N^ZNQ, 0 < x ^ / i ( 1 _ 6 2 ) / n , ft€(0, 1], определитель Вронского
D{2,N любых частичных сумм рядов г|^ (-) (*, h) удовлетворяет оценке

\D£)N(x1h)\>CVhQ*) (2.17)
для некоторых констант С 2 ( _ ) > 0 и 6 2 ( _ ) >0.
Суммируя все изложенное выше, можно сказать, что указан способ
построения ФАР уравнения (0.1) в пяти перекрывающихся областях,
дающих в объединении окрестность Q точки поворота # = 0 . Эти пять
областей суть
QX = Q f| {х: х < — ла-в»)/"}, Q2 = {х: —ft<i-e«>/«< х < 0},
£ 2 3 - { * : _Аа+в4)/»<х<Л<1+в*>/л}, Q4 - {х: 0<х<№-6^п},
Й 5 = О П {*: *>Л< 1 ; б ' )/л }.
В областях £2t и fi5 наборы из m линейно независимых ФАР строятся
методом ВКБ, в областях й 2 и Й4 — в терминах решений уравнений
(2.9) и (2.10), в области Q3 —путем разложения в ряд и аналитическо­
го продолжения решения из й4- Глобальное ФАР строится при помощи
разбиения единицы.
Т е о р е м а 2.4. Пусть {е5(х, h)}, / = 1 , . . . , 5,— разбиение единицы,
подчиненное покрытию Qiy . . . , Q5 области Q. Пусть Sr(x)—функции,
определенные в § 1. Тогда существуют такие m линейно независимых
ФАР i|)i(rjI)(*, h), . . . , я|)т(гл)(*> h) уравнения (0.1) в Q с весом
— min 1т5 г (л:), что
5
^к л) (х, h)^y^ ei (x, К) uik (x, h), ft = l , . . . , m ,
/—1

где ujh(x, h)—некоторая линейная комбинация m независимых ФАР,

построенных в зоне Qj.
Д о к а з а т е л ь с т в о тривиально следует из предложения 1.1 и тео­
рем 2.1—2.3.
Отметим, что в случае п=2 решения уравнений (2.9) и (2.10) мож­
но выразить через гипергеометрические функции. Действительно, в
этом случае
W0(3)^nt(nt-ii2)(d\dt)2 +
+ [3nzt + nt(l — 2/) + (j—2n)\i2—x]<3|(W + /i2 + n(l—2/) +/(/—1),

Где х = lim Н^(х, 0)x2~n, и после замены z=ntj\i2 уравнение (2.9) пре-
вращается в гипергеометрическое уравнение, а уравнения (2.10) —в ги­
пергеометрические уравнения с правыми частями.
138
 § 3. Формулы связи
Как уже сказано выше, в зонах Й2 и й 4 ФАР строится через реше­
ния уравнений (2.9) и (2.10). Однако есть важная задача, которую
можно решить, не решая уравнений (2.9) и (2.10). Это задача о по­
строении формул связи. Именно, предположим, что методом, изложен­
ным в § 2, построено ФАР и(х, h) уравнения (0.1) в области Q, причем
и(х, h)=^T(xt К) в зоне Qu где if>r определено равенством (1.1). Тогда
:ясно, что в зоне Q5
т
и(х9к) = У^ Ck(h)ty(x,h). (3.1)

Формула (3.1) называется формулой связи, коэффициенты Ck(h) —

коэффициентами связи. Из результатов § 2 легко извлечь, что задача о
построении асимптотики Ck(h) при /i-^О сводится к задаче о нахожде­
нии матриц разложения фундаментальной системы g0(j) решений урав­
нения W0U)%=0 по фундаментальным системам g s (i) решений того же
уравнения, s = l , . . . , m, где 1-е решение из Й?0Ш разлагается в ряд
оо

^a(qjita°li~Q в окрестности t = ocy и 1-е решение из%sa) разлагается в ряд

У} a^it-iis/nr^ln^it^-iis/n)

в окрестности t = \i8/n. Вопрос о построении таких матриц решается в

достаточно общей ситуации в работах [9], [10].
Ниже мы кратко изложим основной результат работы [10]. Рас­
сматривается уравнение
5 - = f1 i 4 o + - 4 Ax+G(z)), (3.2)
dz \г 2—1 /
где Л0, Ai — комплексные матрицы пХп; G(z)—матричнозначная
функция, голоморфная в области U={z€C, | г | < г } , где 1 < г ^ о о .
Согласно теории уравнений с регулярными особыми точками [4], урав­
нение (3.2) имеет матричные фундаментальные решения в окрестности
особых точек 0, 1, которые можно записать в виде

Y0(z) = H0(z)ZCo, Н0(г) = %гФ°к,

Y, (z) = Ht (z) (1 - z)c, H, (г) = 2 ( Ь - zfDl

тде C0, Cu Dk°, ZV— комплексные матрицы пХп. Эти матрицы могут
быть вычислены (Dk° и ZV — рекуррентно), исходя из Л0, А^ и коэффи­
циентов разложения G(z) в точках 0 и 1.
Для любой комплексной матрицы В можно определить матрицу
Г~*(В) по формуле
Т~ЦВ)^^акВК

Здесь ah — коэффициенты разложения целой функции l/T(z) в точке

z = 0.
139
 Теорема 3.1 (см. [10]). Пусть вектор-функция
оо

yXz) = z« У, zkdki aeC, dk£C"y

является решением (3.2). Тогда вектор с, определенный равенством

y(z) = Y1(z)c1 zG(0, 1), a r g z = a r g ( l - - z ) = 0 ,
для любого натурального m и 6 > 0 удовлетворяет равенству
m
dk=% О/Г"1 ( - IE - C\) Г' 1 ((k + a + 1) E) x

x Г- 1 ((£ + a — 0 E - Сх) с + О (£-?-т-2+в)э (3.3>

0 a
где &->-oo, Y- = niin{Re'y: Y^ (^i)}» (^i)—спектр d ; £ — единичная
матрица.
Формула (3.3) позволяет вычислить вектор с с любой степенью
точности, исходя из конечных отрезков последовательностей dky Dh\
Вычисляя вектор с для п различных решений у (г), получим матрицу
разложения Y0(z) по ^ ( г ) .
Уравнение Wo 0 ) x=0 очевидным преобразованием приводится к
системе вида (3.2) для каждой пары «соседних» особых точек. Таким
образом, вычисление асимптотики Ch(h) сводится к многократному
применению теоремы 3.1.

Литература
1. Маслов В. П., Федорюк М. В. Квазиклассическое приближение для уравнений кван­
товой механики. М.: Наука, 1976.
2. Маслов В. П. Операторные методы. М.: Наука, 1973.
3. Кучеренко В. В., Осипов Ю. В. Асимптотические решения обыкновенных дифферен­
циальных уравнений с вырождающимся символом.— Матем. сб., 1982, т. 118(160)»
с. 74—103.
4. Вазов В. Асимптотические разложения решений обыкновенных дифференциальных
уравнений, М.: Мир, 1968.
5. Хединг Дж. Введение в метод фазовых интегралов (метод ВКБ). М.: Мир, 1965.
6. hanger R. E. The asymptotic solutions of ordinary linear differential equations of the
second order with special reference to a turning point.— Trans Amer. Math. Soc,
1949, v. 67, № 3, p. 461—490.
7. Кучеренко В. В., Осипов Ю. В. Асимптотические решения гиперболического уравне­
ния с характеристиками переменной кратности.—ДАН СССР, 1979, т. 249, № 2,,
с. 289—293.
8. О леер Ф. Введение в асимптотические методы и специальные функции. М.: Наука,
1978.
9. Schafke R., Schmidt D. The connection problem for general linear ordinary differential
equations at two regular singular points with applications in the theory of special
functions.—SIAM J. Math. Anal., 1980, v. 11, № 5, p. 848—862.
10. Schafke R. The connection problem for two neighboring regular singular points of ge­
neral linear complex ordinary differential equations.— SIAM J. Math. Anal., 1980,
v. 11, № 5 , p. 863—875.
Москва Поступила в редакцию
18.II.198S