Научная статья на тему 'Эрмитовская аппроксимация двух экспонент'

Эрмитовская аппроксимация двух экспонент Текст научной статьи по специальности «Математика»

CC BY
257
50
i Надоели баннеры? Вы всегда можете отключить рекламу.
Ключевые слова
СОВЕРШЕННАЯ СИСТЕМА ФУНКЦИЙ / СОВМЕСТНЫЕ АППРОКСИМАЦИИ ПАДЕ / АППРОКСИМАЦИИ ЭРМИТА-ПАДЕ / АСИМПТОТИЧЕСКИЕ РАВЕНСТВА / ИНТЕГРАЛЫ ЭРМИТА / PERFFECT SYSTEM OF FUNCTIONS / JOINT PADE APPROXIMANT / HERMITE-PADE APPROXIMANTS / ASYMPTOTIC EQUALITY / HERMITE INTEGRALS

Аннотация научной статьи по математике, автор научной работы — Старовойтов А. П.

Для системы, состоящей из функций {e λ1z, e λ2z}, изучаются асимптотические свойства е е аппроксимаций Эрмита-Паде {π j n,m(z; eλ jξ )} 2 j=1<\sub>. В частности, для любого z при n → ∞ найдена асимптотика поведения разностей e λ jz − π j n, m(z; eλjξ ), j = 1, 2. Полученные результаты доdifferences eλjz − π j n,m(z; e λ jξ), j = 1, 2. Полученные результаты пополняют аналогичные исследования Эрмита, Паде, Перрона, Д. Браесса, А. И. Аптекарева и других авторов.

i Надоели баннеры? Вы всегда можете отключить рекламу.
iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.
i Надоели баннеры? Вы всегда можете отключить рекламу.

Hermitian Approximation of Two Exponents

We study the asymptotic properties of Hermite-Pade approximants {π j n,m(z; e λ jξ)}j=1 for a system consisting of functions {e λ 1z, e λ 2z}. In particular, we determine asymptotic behavior of e λ jz − π j n,m(z; e λ jξ) for j = 1, 2 and n → ∞ for any complex number z. The obtained results supplement research of Pade, Perron, D. Braess and A. I. Aptekarev dealing with study of the convergence of joinnt Pade approximants for systems of exponents.

Текст научной работы на тему «Эрмитовская аппроксимация двух экспонент»

2. Скляров В. П. Еще раз о равномерных приближениях функциями Эрмита // Дифференциальные уравнения и теория функций : науч. сб. Саратов : Изд-во Сарат. ун-та, 1980. Вып. 3. С. 105-113. [Sklyarov V. P. Again on uniform approximation of Hermite functions // Differencial'nie uravneniya i teoriya funkcii : nauch. sb. Saratov, 1980. Iss. 3. P. 105-113.]

3. Сегё Г. Ортогональные многочлены. М. : ГИФМЛ, 1962. 500 с. [Szego, Gabor, Orthogonal polynomials.

American Mathematical Society (AMS). Colloquium Publ. 23. New York : AMS, 1959. Vol. VIII. 421 p.]

4. Markett C. Norm estimates for (C,S) means of Hermite expansions and bounds for 8eff // Acta Math. Hung. 1984. Vol. 43. P. 187-198.

5. Askey R., Wainger S. Mean convergence of expansions in Laguerre and Hermite series // Amer. J. Math. 1965. Vol. 87. P. 695-708.

УДК 517.538.52+517.538.53

ЭРМИТОВСКАЯ АППРОКСИМАЦИЯ ДВУХ ЭКСПОНЕНТ

А. П. Старовойтов

Гомельский государственный университет E-mail: svoitov@gsu.by

Для системы, состоящей из функций {eAlz, eA2z}, изучаются асимптотические свойства ее аппроксимаций Эрмита-Паде {nn,m(z; eAj €)}2=i■ В частности, для любого z при n ^ то найдена асимптотика поведения разностей eAj z - пП, m(z; eAj €), j = 1,2. Полученные результаты дополняют аналогичные исследования Эрмита, Паде, Перрона, Д. Браесса, А. И. Аптекарева и других авторов.

Ключевые слова: совершенная система функций, совместные аппроксимации Паде, аппроксимации Эрмита-Паде, асимптотические равенства, интегралы Эрмита.

Hermitian Approximation of Two Exponents A. P. Starovoitov

We study the asymptotic properties of Hermite-Pade approximants {nn,m(z; eXj 6)}2=1 for a system consisting of functions

{e

z 2z

}. In particular, we determine asymptotic behavior of

differences eAj z - j m (z; eAj 6) for j = 1,2 and n ^ to for any complex number z. The obtained results supplement research of Pade, Perron, D. Braess and A. I. Aptekarev dealing with study of the convergence of joinnt Pade approximants for systems of exponents.

Key words: perffect system of functions, joint Pade approximant, Hermite-Pade approximants, asymptotic equality, Hermite integrals.

ВВЕДЕНИЕ

Рассмотрим набор

fj (z) = E fk, j = 1, 2,..., r

(1)

k=0

голоморфных в нуле функций, или формальных степенных рядов. Зафиксируем произвольные целые

г

неотрицатетельные числа п, т1, т2,..., тг. Обозначим ^ тд = т, п = п + т — тд, ] = 1, 2,..., г.

з=1

Известно [1], что при ] = 1,2,...,г существуют такие многочлены Qm (г), Р^ , deg Qm ^ т, deg РД. ^ п, для которых

Rjn,m(z ) = Qm(z)fj (Z ) - Pj (z) = Aj Z n+m+1 + ...

(2)

Если r = 1, то согласно теореме Паде [2, теорема 1.1.1] многочлены Qm(z), P1 (z) определяются с точностью до однородной константы, а их отношение задает единственную рациональную функцию nn(z, /1) = P^(z)/Qm(z), которую называют аппроксимацией Паде для /1 (z). При r ^ 2 дроби nnm (z) = j m (z, /j) = Pj (z)/Qm (z), j = 1, 2,...,r условиями (2) определяются, вообще говоря, не однозначно. В случае единственности множества {nn m}r=i его элементы называют совместными аппроксимациями Паде (аппроксимациями Эрмита-Паде) для системы функций (1). Единственность, в частности, имеет место для совершенных систем функций (определение и примеры совершенных систем см. в [1, 3-7]). Совершенной, в частности, является система экспонент /j (z) = eAj z, j = 1, 2,...,r, где {Aj }r=i — различные комплексные числа [1, теорема 2.1]. Без формального определения этот факт был установлен Ш. Эрмитом (C. Hermite) [8].

Для одной экспоненты ez, т.е. при r = 1, явные выражения для числителя и знаменателя nn(z; e^) получил Паде (H. Pade) [9]. Опираясь на полученные представления, он доказал, что при n/m ^ y, 0 ^ y ^ на компактах C дроби nn,m(z; e^) равномерно сходятся к ez. О. Перон

( Старовойтов Л. П., 2013

87

Изв. Сарат. ун-та. Нов. сер. 2013. Т. 13. Сер. Математика. Механика. Информатика, вып. 1, ч. 2

(O. Perron) [10] обобщил результаты о сходимости nn,m(z; e«) к ez, доказав ее при n + m ^ го. Основываясь на результатах численного эксперемента Г. Мейнардус сформулировал гипотезу об асимптотике поведения разности ez — nn,m(z;e«). Гипотеза Г. Мейнардуса была доказана Д. Браессом (D. Braess) [11] (подробнее см. [12]): для любого комплексного z при n + m ^ го

(_1)m n| m ! e2mz/(n+m)

ez — n,n,m(z; e«) = ( X) П| m! e-

(n + m)! (n + m + 1)!

z—-(1 + o(1)).

(3)

При доказательстве асимптотического равенства (3) Д. Браесс существенно опирается на интегральные представления числителя и знаменателя пп,т(£;е^), полученные О. Перроном [10]:

Pi (z; e«)=/ tm (t + z)n e-t dt, Jo

Qm(z; e«) = tn (t — z)m e-t dt.

o

Позже выяснилось (см., например, [1, 13]), что явный вид числителей и знаменателей аппроксимаций Паде для е2 и, более того, для совместных аппроксимаций Паде к набору экспонент |еЛ, фактически, был известен Эрмиту задолго до Паде и О. Перрона. Именно при доказательстве трансцендентности числа е Эрмит (см. [8, 14]) ввел в рассмотрение интегралы

M =

£j =

(p- " 1)!

1

(p — 1)!

1

[•те Г r

/ (x — i)

/те г r

x П (x — i)

- L i=i ij Г r

J ^П (x — i)

p-1

e x dx,

p-i

e x dx,

(4)

p-i

e x dx,

(р - 1)^0

которые при некотором простом числе р дают удобные приближения к набору {е-7 }г_1:

е-7 - М7 /М = е7 /М, з = 1, 2,..., г.

Интегралы Эрмита (4) после небольших преобразований (см. [1, 13]) приводят к решению системы (2) для набора экспонент {еЛ2}Г_1:

Qm (z)

z

n+m+i рте

(n + m)! У0

/•те '

- xnJ] (x — Аг) ! J0 L j=i

(z) =

eAj zzn+m+i />те г r

(z) =

n, m

(n + m)! Д.

e^j z zn+m+i Aj

(n + m)! Jo

x П (x — A)m i=i

r

I[(x — Ai)

x (x — i=i

e-zx dx, e-zx dx, e-zx dx.

(5)

В первых двух интегралах (5) интегрирование осуществляется по контуру, идущему в +го и Иег > 0. При Иег < 0 значения ), (г) находятся с помощью аналитического продолжения. В интеграле, определяющем ЛП т(г), интегрирование проводится по любой кривой, соединяющей точки 0 и Л-.

Е. М. Никишиным была поставлена задача об исследовании сходимости совместных аппроксимаций Паде для системы экспонент. Ее решение было получено А. И. Аптекаревым [13], который доказал, что при п + т ^ го для любого 3 = 1, 2,...,г п—. еЛ ^) сходится равномерно на компактах в С к еЛ2. Для этого в [13] была установлена асимптотика интеграла Эрмита, определяющего в равенствах (5) ) — знаменатель совместных аппроксимаций Паде: для любого £ е С при п + т ^ го

Qm(z) = exp <

Е Aj mj

j=i_

n+m

(1 + o(1)).

(6)

те

те

1

j

r

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

z

В данной работе при некоторых ограничениях на m и n ^ го для систем из двух экспонент {eAi z, eA2 z} установлены асимптотические равенства для интегралов Эрмита, определяющих в (5) функции Rn,m(z)> j = 1, 2. Это позволило получить аналоги результата Д. Браесса для совместных аппроксимаций Паде к набору из двух экспонент. Отметим, что в диагональном случае для системы двух марковских функций асимптотика аппроксимаций Эрмита-Паде найдена В. А. Калягиным [15] (см. также работу [6], в которой, в частности, имеются подробные ссылки).

АСИМПТОТИКА АППРОКСИМАЦИЙ ЭРМИТА-ПАДЕ

Лемма. Пусть {eAjz}— набор из двух экспонент с произвольными различными комплексными числами А1, А2. Тогда если lim m2(n)/n = 0, то для любого комплексного числа |z| « M

п^те

равномерно по всем m, 0 « m « m(n), при n ^ го

Rn, m(z) = ( 1)

Rn, m(z) = ( 1)

t! ть! (А2 - Аь)т2 Ап+То1+1 eAimiz/(n+mO

(n + m)! (n + mb + 1)! n! m2! (Аь - А2)т1 А^^1 eA2m2z/(n+m2) (n + m)!(n + m2 + 1)!

Уп+т+ь (Л j_ 0(Л\\ (у)

(1+ o(1)),

n+m+1

(1+ o(1)) -

(8)

Доказательство. В интеграле

A1

/i(z) = / xn (x - Аь)mi (x - А2)m2ez (Al-x) dx Jo

сделаем замену x = Аь t. В результате получим

Ii (z) = Ап+т1+1 / tn (t - 1)mi (А^ - А2)m2 ezAl(1-t) dt

Перейдем здесь к новой переменной интегрирования u = 1 - t. Тогда

Г1 / А u \ m2

/1 (z) = (-1)тАп+т1+1(А2 - А1)тМ (1 - u)numi 1 + А1 " ) eAldu.

70 V А2 - А1

Исследуем асимптотику поведения следующего интеграла при n ^ го

J0 = /(1 - u)n umi Л , du.

1 0 А2 - А1

Для этого подынтегральное выражение преобразуем с помощью формулы бинома Ньютона, а затем воспользуемся свойствами бета-функции Эйлера:

m2 /А Л k с 1

J0 = k_0 cm2 (1 (1 - u)n umi +k du =

n! m1 !

(n + m1 + 1)!

m2

1 + > ^C.

А1

(m1 + 1)(m1 + 2) ■ ■ ■ (m1 + k) m2 V А2 - А1У (n + m1 +2) ■ ■ ■ (n + m1 + k + 1)

Так как

А1

(m1 + 1)(m1 + 2) ■ ■ ■ (m1 + k)

Ус k

k_1 m2 V А2 - А^ (n + m1 +2) ••• (n + m1 + k + 1)

«E cm 2

k_1

А1m

(А2 - А1 )(n + m + 1)

1+

|А2 - А1 |(n + m + 1)

- 1,

то, учитывая, что lim m2/n = 0, правая часть последнего соотношения убывает к нулю при n ^ го,

п^те

т. е.

J0 = „ n!m1 ' (1 + o(1)) . (9)

(n + m1 + 1)!

0

k

k

Изв. Сарат. ун-та. Нов. сер. 2013. Т. 13. Сер. Математика. Механика. Информатика, вып. 1, ч. 2 Аналогично показывается, что при р =1, 2,... и п ^ то

=г (1—«)■»-+р (1+Й г *=(п п! т^в! (1+о(1)) • «о»

Подберем теперь ио так, чтобы ^ — ио= 0. Тогда при п ^ то

ио = = (тх/(п + тх)) (1 + о(1)) . (11)

Следовательно, при достаточно больших п ио е [0, 1]. По формуле Тейлора:

еЛ!и* = еЛх «о 2 еЛ1(и-ио > = еЛ! + Дх г (и — ио ) + (Лх г)2(и — ио )2 + . ^ =

= еЛ1 ио2 + Лхг(и — ио) еЛ1 ^ + р«(г),

где при | < М и и е [0, 1]

|р«(г)| < Мх|и — ио|2 {+ ... + ^пМ- + ■■} ^ М2(и — ио)2. (12)

Учитывая выбор ио, равенства (9) и (11), получим, что при п ^ то

Г п! тл ! Л1Ш1 „

/х(г) = (— 1)тЛ-+т1+1 (Л2 — Лх)т2 | (п + тх+1)! ег (1 + о(1)) + Ар«(г) | ,

где при достаточно больших n

I л I \ m2

|A11 U 4

|Apu(z)| < J (1 - u)n um1 ^1 + |A2 - ^ ) |Pu(z)| du < < 2M | n! (m1 + 2)! + 2m1 n! (m1 + 1)! m1 n!m1!

(п + тх +3)! п + тх (п + тх + 2)! уп + тх / (п + тх + 1)! I

При получении последнего неравенства воспользовались неравенством (12), равенствами (9)-(11), учитывая при этом, что правая часть в (9) и (10) не зависит от Лх и Л2. Из двух последних соотношений окончательно получаем, что при п ^ то

, , п! тл ! Л1 т1 „

/х(г) = (—1)тЛ-+т1+х(Л2 — Лх)т2 - е-+™1 г (1 + о(1)).

(п + тх + 1)!

Равенство (7) доказано. Доказательство (8) — аналогично. Лемма доказана. □

Теорема 1. Пусть {eAj— набор из двух экспонент с произвольными различными комплексными числами A1? A2. Тогда если lim m2 (n)/n = 0, то для любого комплексного числа z

m2

n —^^о

равномерно по всем m, 0 < m < m(n), при n ^ то

e

Aiz _ (z; eAx5) =

f ,m n!m1!(A2 - A1)m2 An+mi+1zn+m+1 Aimiz A +A2 z, ,,, /104

= (-1)m--^-1-7П-en+mi ze n+m z (1 + o(1)), (13)

v 7 (n + m)!(n + m1 +1)! v v "

eA2z 2 (z; eA25 ) =

, п! т2! (Лх — Л2)т1 Л-+т2+хгп+т+х Л2 т ^ Л1 т1+Л2 т2 ^

= (—1)т-^^-^-2-ТТ:-еп+т2 ге -+т г (1 + 0(1)) . (14)

у ' (п + т)!(п + т2 + 1)!

Доказательство. Утверждения теоремы 1 очевидным образом вытекают из равенств (7), (8) и (6). Теорема 1 доказана. □

По определению т = тх + т2, где тх, т2 — целые неотрицательные числа. Анализируя доказательство леммы 1, нетрудно заметить, что при т ^ то и ограниченности одного из слагаемых т^-утверждение теоремы можно усилить.

Теорема 2. Пусть {еЛ— набор из двух экспонент с произвольными различными комплексными числами Лх, Л2, т = тх + т2 и т2 — ограничено. Тогда для любого комплексного

1

числа г: 1) асимптотическое равенство (13) справедливо равномерно по всем т, 0 < т < т^п), где т1 (п) = о(п), при п ^ го; 2) асимптотическое равенство (14) справедливо равномерно по всем т, 0 < т < т(п), где т(п) = о^^/п), при п ^ го.

В простейшей ситуации из теоремы 1 получаем

Следствие. Пусть А1 = 1, А2 = 2, т = т1, т2 = 0. Тогда для любого комплексного числа г равномерно по всем т, 0 < т < т(п), где т(п) = о^^/п), при п ^ го

(_1)т n| m| e2mz/(n+m)

- <-(z; ^) = + m + ц, *n+m+1 (1 + o(D), (15)

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

on+K mz/(n+m)

e2Z-n2 (z. e2i) = __!_ zn+m+l (1+ o(1))

e nn+m,m(z. e )-(n + m)|(n +1)! z (1+ o(1)) •

В силу единственности аппроксимации Паде отсюда и из (3) следует, что пП т(г; е^) — совместная аппроксимация Паде для набора экспонент {е2, е22} совпадает с аппроксимацией Паде пП)Ш(г; е^) функции е2. Согласно теореме Д. Браесса асимптотическое равенство (15) верно при п + т ^ го, что согласуется с первым утверждением теоремы 2. Можно показать, что при А1 = 1, А2 = 2 и п = т1 = т2 равенства (13), (14) не сохраняются. Поэтому ограничения на рост т в теореме 1, вообще говоря, необходимы.

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

1. Никишин Е. М, Сорокин В. Н. Рациональные аппроксимации и ортогональность. М. : Наука, 1988. 256 с. [Nikishin E. M., Sorokin V. N. Rational approximations and orthogonality. Moscow : Nauka, 1988. 256 p.]

2. Бейкер Дж. мл., Грейвс-Моррис П. Аппроксимации Паде. М. : Мир, 1986. 502 c. [Baker G. A. Jr., Graves-Morris P. Pade approximants. Extensions and applications : Encyclopedia Math. Appl. Vol. 13, 14. Reading, Massachusetts : Addison-Wesley, 1981. 540 p.]

3. Mahler K. Perfect systems // Compositio mathematica. 1968. Vol. 19, № 2. P. 95-166.

4. Jager H. A. A multidimensional generalization of the Pade table // Proc. Nederl. Acad. Wetensh. Ser. A. 1964. Vol. 67. P. 192-249.

5. Никишин Е. Н. О системе марковских функций // Вестн. Моск. ун-та. Сер. 1, Математика, механика. 1979. № 4. C. 60-63. [Nikishin E. M. A system of Markov functions // Vestnik Moskov. Univ. Ser. 1. Math. Mech. 1979. № 4. P. 60-63.]

6. Аптекарев А. И., Лысов В. Г. Системы марковских функций, генерируемые графами, и асимптотика их аппроксимаций Эрмита-Паде // Мат. сб. 2010. Т. 201, вып. 2. C. 29-78. [Aptekarev A. I., Lysov V. G. Systems of Markov functions generated by graphs and the asymptotics of their Hermite-Pade // Sb. Math. 2010. Vol. 201, № 2. P. 183-234.]

7. Аптекарев А. И., Буслаев В. И., Мартинес-Финкельштейн А., Суетин С. П. Аппроксимации Паде, непрерывные дроби и ортогональные многочлены // УМН. 2011. Т. 66, № 6(402). С. 37-122. [Aptekarev A. I., Buslaev V. I., Martinez-Finkelshtein A., Suetin S. P. Pade approximants, continued fractions, and orthogonal

polynomials // Russ. Math. Surv. 2011. Vol. 66, № 6. P. 1049-1131.]

8. Hermite C. Sur la fonction exponentielle // C. R. Akad. Sci.(Paris). 1873. Vol. 77. P. 18-293.

9. Pade H. Memoire sur les developpement en fractions continues de la fonction exponential // Ann Sci. Ecole Normale Sup. (3). 1899. Vol. 16 P. 394-426.

10. Perron O. Lehre von den Kettenbruchen. Stuttgart : Teubner. 1957. 316 p.

11. Braess D. On the conjecture of Meinardus on rational approximation of ex, II // J. Approx. Theory. 1984. Vol. 40, № 4. P. 375-379.

12. Petrusherv P. P., Popov V. A. Rational approximation of real function. Cambridge : University Press, 1987. 401 p.

13. Аптекарев А. И. О сходимости рациональных аппроксимаций к набору экспонент // Вестн. Моск. ун-та. Сер. 1, Математика. Механика. 1981. № 1. С. 68-74. [Aptekarev A. I. Convergence of rational approximations to a set of exponents// Moscow Univ. Math. Bull. 1981. Vol. 36, № 1. P. 81-86.]

14. Клейн Ф. Элементарная математика с точки зрения высшей : в 2 т. Т. I. Арифметика. Алгебра. Анализ. М. : Наука, 1987. 432 c. [Klein F. Elementary mathematics from the point of view of the highest. Vol. I. Arithmetic. Algebra. Analysis. Moscow : Nauka, 1987. 432 p.]

15. Калягин В. А. Об одном классе полиномов, определяемых двумя соотношениями ортогональности // Мат. сб. 1979. Т. 110(152). C. 609-627. [Kaljagin V. A. On a class of polynomials defined by two orthogonality relations // Math. USSR Sb. 1981. Vol. 38, № 4. P. 563580.]

i Надоели баннеры? Вы всегда можете отключить рекламу.