Научная статья на тему 'Об асимптотике эллиптического синуса'

Об асимптотике эллиптического синуса Текст научной статьи по специальности «Математика»

CC BY
107
10
i Надоели баннеры? Вы всегда можете отключить рекламу.
Ключевые слова
ЭЛЛИПТИЧЕСКИЙ СИНУС / АСИМПТОТИЧЕСКОЕ РАЗЛОЖЕНИЕ / ГИПЕРБОЛИЧЕСКИЕ ФУНКЦИИ / ELLIPTIC SINE / ASYMPTOTIC EXPANSION / HYPERBOLIC FUNCTIONS

Аннотация научной статьи по математике, автор научной работы — Красильников Александр Владимирович

Предлагается простой способ нахождения асимптотики эллиптического синуса z = sn (u; k) по степеням k2 1. В литературных источниках выписаны только первые два члена разложения. Предлагаемый метод позволяет найти последующие члены разложения. Недостаток метода большой объём вычислений. Основным результатом работы выступает утверждение, что асимптотическое разложение по степеням k2 1 не является равномерным по u при k А 1. Получена также оценка остаточного члена разложения.

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

Похожие темы научных работ по математике , автор научной работы — Красильников Александр Владимирович

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

On asymptotics of elliptic sine

The article offers a simple way of the finding of the elliptic sine z = sn (u; k) asymptotics by powers of k2 1. In the literary sources only the first two members decomposition discharged. The proposed method allows to find the subsequent terms of the expansion. The disadvantage is the large amount of calculations. The main result is that the asymptotic expansion is not uniform by u when k ^ 1. The assessment of the remainder term of the decomposition is received also.

Текст научной работы на тему «Об асимптотике эллиптического синуса»

Челябинский физико-математический журнал. 2017. Т. 2, вып. 2. С. 169-180.

УДК 517.583

ОБ АСИМПТОТИКЕ ЭЛЛИПТИЧЕСКОГО СИНУСА

А. В. Красильников

Челябинский государственный университет, Челябинск, Россия press-csu@yandex.ru

Памяти Арлена Михайловича Ильина

Предлагается простой способ нахождения асимптотики эллиптического синуса г = вп (и; к) по степеням к2 — 1. В литературных источниках выписаны только первые два члена разложения. Предлагаемый метод позволяет найти последующие члены разложения. Недостаток метода — большой объём вычислений. Основным результатом работы выступает утверждение, что асимптотическое разложение по степеням к2 — 1 не является равномерным по и при к ^ 1. Получена также оценка остаточного члена разложения.

Ключевые слова: эллиптический синус, асимптотическое 'разложение, гиперболические функции.

Введение

Задача нахождения асимптотики эллиптического интеграла при к ^ 1 представляет интерес для исследователя по двум причинам. Во-первых, задача является совершенно классической с математической точки зрения, ведь эллиптические функции были введены более 200 лет назад и уже давно успели стать неотъемлемой частью современной математики. Во-вторых, полная асимптотическая формула в виде ряда с указанием его общего члена — до сих пор нерешённая задача. В справочниках по специальным функциям [1; 2] выписаны только два первых члена разложения, а в пакете прикладных вычислений Ма^еша^са выписываются десять первых членов разложения. Тем не менее ни в одном из источников не указан метод их нахождения. Вопрос о построении последующих членов разложения и обосновании асимптотики остаётся открытым.

Решение этой задачи может быть полезно в связи с применениями в физических исследованиях модулированной эллиптической функции — главного члена асимптотики специального универсального решения Гуревича — Питаевского [3] уравнения Кортевега — де Фриза щ + иих + иххх = 0, описывающего возникновение так называемых бездиссипативных ударных волн (БУВ). Главный член асимптотики этого

универсального решения можно записать в виде и0 = А ^ к^ + С, где параметры А, В, Q подлежат определению (см. [4]). Здесь ёп (и; к) — так называемая модулированная эллиптическая функция, или дельта-амплитуда, которая элементарно выражается через эллиптический синус. При этом к медленно меняется и зависит от автомодельной переменной 5 = ж£-3/2.

Напомним, что эллиптическим интегралом I рода в форме Якоби [5; 6] называется функция

г

[ ^

и = и(г; к) = . . -., 0 <к< 1.

о

Здесь г — действительное число, лежащее на интервале (—1,1), к — параметр, называемый модулем эллиптического интеграла. Эта функция по переменной г аналитически продолжается в верхнюю полуплоскость. Таким образом, и(г; к) ана-литична в верхней полуплоскости О = {г Е С : > 0} и на действительной оси (за исключением точек г =1, —1,1/к, — 1/к, в которых и(г; к) является непрерывной). Полным эллиптическим интегралом I рода называется

1

К(к) = ' ^

о

Vх!—¿V 1 — к2£2'

Дополнительным модулем называется параметр к' = >/1 — к2.

Известно, что и(г; к) конформно отображает О на внутренность прямоугольника Ь с вершинами в точках на и-плоскости:

Ь = {К(к), К(к) + гК(к'), —К(к) + гК(к'), — К(к)}.

Таким образом, в прямоугольнике Ь определена однозначная функция г = вп (и; к), значения которой принадлежат полуплоскости О, обратная по отношению к функции и(г; к). Требуется найти её асимптотику при к ^ 1 и исследовать её на равномерность по и € (—К(к),К(к)).

В заметке предлагается простой метод нахождения асимптотики эллиптического синуса г = вп (и; к) по степеням к2 — 1. Для первых двух членов разложения остаточный член как функция переменной и на промежутке (—К(к), К(к)) может принимать сколь угодно большие значения при к близких к 1. Получена также оценка сверху для остаточного члена.

Задача об обосновании асимптотического разложения эллиптического синуса была поставлена автору А. М. Ильиным.

1. Метод нахождения членов асимптотического разложения

Опишем формально суть этого метода. Положим т = к2. Разложим функцию и (г; к) по формуле Тейлора по степеням т — 1:

и(г; к)= и(г; 1) + (дти)(г; 1)(т — 1) + 1(дт2и)(г; 1)(т — 1)2 + 1(дт3и)(г; 1)(т — 1)3 +... ,

2 6

где через д^ обозначена производная порядка т по переменной т. Введём обозначения

и(0) = и(г; 1) = Г^, = ^^ , г = 1апЬи(0). Jо 1 — ¿2 2 1 — г

На втором шаге разложим функцию г = 1апЬ и(0) в ряд Тейлора по степеням и(0) —и: г = 1апЬ и(0) = 1апЬ и + ди 1апЬ и (и(0) — и) +

+1 ди 1апЬ и (и(0) — и)2 + 1 ди 1апЬ и (и(0) — и)3 + ... 2 6

Заменим и(0) — и разложением

-(„(0) — и) = (дт и)(г; 1)(т — 1) + 1(5т2и)(г; 1)(т — 1)2 + 1(5т3и)(г; 1)(т — 1)3 + ... и соберём коэффициенты при одинаковых степенях (т — 1). Получим г = 1апЬи + 1апЬи) ((дти)(г; 1)(т — 1) + 1(д?и)(;г; 1)(т — 1)2 + ... )т.

Собирая выражения при одинаковых степенях (т — 1), получим г =1апЬ и — (ди 1апЬ и)(дт и)(г; 1)(т — 1) + +1 [ — (ди taпhи)(д2и)(г; 1) + (д£ tanhи)(дти)2(г; 1)] (т — 1)2 + ...

Переменную г в выражении справа заменим на tanh и(0) и разложим функцию tanh и(0) по степеням и(0) — и. Это позволит выделить второй и следующие члены разложения в ряд Тейлора функции г = вп (и; к) по степеням т — 1. Таким образом, был выделен второй член разложения

—К*"*2 и—сок)(к2—

Далее процедура повторяется.

В приложении предложенным методом вычисляется третий член разложения.

2. Обоснование разложения эллиптического синуса

Чтобы не усложнять изложение деталями, ограничимся обоснованием первых двух членов асимптотического разложения эллиптического синуса г = вп (и; к). В следующей теореме доказывается, что полученное асимптотическое разложение не является равномерным по и на промежутке (—К(к), К(к)) при к ^ 1.

Теорема 1. Имеет место разложение

/7\ — 1 / 7 \ 1 (tanhи и \ /1 72\

г = вп (и; к) = и (и, к) = tannи + —----2— (1 — к ) +

V 4 4совЬ и) (1)

+ #0(и, к) ■ (1 — к2)2, и е (—К(к), К(к)).

Для Я0(и,к) верна оценка |Я0(и,к)| < Са,ь, если и е [а, Ь] С (—К(к), К(к)).

Оценка не является равномерной по и на промежутке (—К(к), К(к)) при к ^ 1, т. е. при к, близких к 1, Я0(и,к) может принимать сколь угодно большие значения.

Доказательство. Будем считать, что г е (0,1), близко к 1 и фиксировано. Рассмотрим

/ 7Л Г ^

и = и(г; к) =

'0 Vх!—¿V 1 — т£2' При т ^ 1 имеем

и(г; к) А, ^^^^ = и(г;1)= u(0),

Л 1 — ¿2 2 1 — г

в частности г = 1апЬ и(0). На первом шаге разложим функцию и = и(г; к) по степеням т 1 :

. 1Ч Г dt 1 Г t2 dt . ч 3 Г t4 dt . ч2 , .

Г^ + U (Г^Р (Т " & Jo ^(1-,»¿2)5/2" 1)2 <2)

Остаточный член в разложении обозначим через Д1 (и, к). При т ^ 1 имеем

3 Г ¿4 ^ 3 /1 г(5г2 — 3) 3 1 + А 1

^(и,к) --= ~ ^-^ + 77^- = в (г)-

8 Л (1 - t2)3 Н8 (1 - z2)2 16 to1 - z) ' W(1 - z)2 где

.. , 3/1 z(5z2 - 3) 3 (л ^ 1 + z\ 3

e(z) = 8 "(T^+^zys- + 16(1 - z)2 l0g —z) ^ 128 ПРИ z ^ 1-

Отметим также, что

1 Г t2dt _ 1 z 1 1 + z 2J0 (1 - t2)2 = 41 - z2 - 8 0g 1 - z

1 d z 1(л 1 + z N 1

—(1 - z) log ^- = a(z)-

1 - z 4 1 + z 8 1 - z 1 - z

где

/ \ 1 z 1, . 1 + z 1

a(z)=41Т^ - 8(1 - z)l0g1-^ ^ 8 при z ^ 1-

Из (3) следует, что

и — и(0) гz 1 t2 dt

1 - T Jo VT-t2 v/1-¥V 1 - Tt2W1 - Tt2) сходится, возрастая к

z2

t2dt a(z)

2 Jo л/О-¥ 1 -

(4)

На втором шаге разложим функцию tanh и(0) по формуле Тейлора с остаточным членом в интегральной форме по степеням и(0) - и:

и(о) _ и

z = tanh и(0) = tanh и +--2--+ R2(u,k)(u(0) - и)2, (5)

cosh и

где

При т ^ 1

1 fu(0) tanh T R2(u, k) = -^ (и(0) - т)—г^"dT-

(и(0) - и)2 Jи cosh2 т

r2(u, k) ^ -ICOnhg = - 2 tanh(u(0))(1 - tanh2(u(0)))

z

= -2(1 - z2)= Y(z)(1 - z),

где y(z) = -z(1 + z)/2 ^-1 при z ^ 1.

1

z

Подставляя (2) в (5), получим

1 Г t2dt .

tanh u----— (т — 1)

2 Л (1 — t2)2 cosh2 u

u)

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

1 Ri(u,fc)(r — 1)2 + R2(u,k)(u(0) — u)2

где

cosh2 u

tanhu—Ц (Г-w(т—1)cosk+R(u'k)(1 — т)2

R(u, k) 1 „ , n, n (u(0) — u)2

v J - -R1(u,k) + R2(u, k)- y

(т — 1)2 cosh2 u u ' ' ^ У (1 — т)2 •

При т ^ 1 имеем cosh-2 u =1 — tanh2 u ^ 1 — z2. Поэтому при фиксированном z G (0,1), устремляя т ^ 1, с помощью (4) получим

(1 — z) = —в (z)-^(1 — z2) + 7 (z)a2(z) = 7(z)a2(z) — в (z)(1 + z). T (т — 1)2 1 — z

Так как a(z) ^ 1/8, e(z) ^ 3/128, 7(z) ^ —1 при z ^ 1, то

—в(z)(1 + z)+ 7(z)a(z)2 = z ^ 1.

16

Таким образом, отношение R(u, к)/(т — 1)2 вблизи z =1 сравнимо с

11

16 (1 — z)

и является величиной неограниченной.

В разложении по степеням u(0) — u второго слагаемого в (6)

cok<т - >> (-2 I (Т^2)2) = 2<s-nhu(0) coshu(0) — u(0))(т — ^ =

1/- i i i\ 1 sinh2 £ u(0) — u, 142 . (0)

= -(sinh u cosh u — u)^ — 1)-2--1--2--Г" (т — 1) , u < £ < u(),

2 cosh2 u cosh2 u т — 1

коэффициент при т — 1 является величиной ограниченной.

Подставим (8) в (6). К остаточному члену в (6) добавится слагаемое

sinh2£ (u(0) — u) П2 TW >w П2

-Т2--7-(т — 1) = R3(u,k)(,T — 1) .

cosh2 u (т — 1)

При т ^ 1 согласно (4)

R3(u,k) 1

^ —a(z)-

(т — 1)2 W1 — z'

Так как a(z) ^ 1 при z ^ 1, то коэффициент при (т — 1)2 в разложении

z = tanhu + -(sinhu coshu — u)^ — 1)-2--+ (R(u, k) + R3(u, к))(т — 1)2, (10)

2 cosh2 u

равный R0(u, k), при т ^ 1 вблизи z = 1 неограничен, что свидетельствует о неравномерности разложения эллиптического синуса по степеням 1 — k2 по переменной u G (—K(k), K(k)). Тем самым второе утверждение теоремы доказано.

1

z

Согласно (4), (7) и (9) для z Е [0,$], S < 1, остаточный член в разложении (10) ограничен. Так как отображение z ^ sn (z; k) взаимно однозначно и непрерывно отображает [0,1] на [0, K(k)], то при и Е [0,ио], и0 < K(k), остаточный член в (10) равномерно ограничен по и. Это доказывает первое утверждение теоремы.

Небольшие изменения в доказательстве предыдущей теоремы позволяют получить оценку сверху остаточного члена.

Теорема 2. Для множителя r0(u, k), входящего в остаточный член в разложении эллиптического синуса по степеням 1 - т в (1), верна оценка

|Ro(u, k)| ^ . C-^, и Е (-K(k), K(k)),

cosh и (1 - z)2

где C не зависит от и.

Доказательство. Будем придерживаться обозначений доказательства теоремы 1. Пусть 0 < z < 1 фиксировано. Рассмотрим

( k) iZ dt и = u(z; k) = / , , .

Jo 2 VT-Tt2

При t ^ 1 имеем

u(z;k) ^ J = 1 log = u(z;1) = ^

в частности z = tanh u(0).

На первом шаге разложим функцию и = u(z; k) по степеням т - 1:

, ,, [z dt 1 fz t2 dt . 1, 3 fz t4 dt , ,,2

U(zk) = l + 1/о (1-W(T - + 3 ,/1 ^^ ,„,2)5/2 (T - 1)2 <")

Остаточный член в разложении обозначим через R1(и, k). При т ^ 1 имеем 3 [z t4 dt 3 /1 z(5z2 - 3) 3. 1 + z\ в(z)

Ri(u, k) --— = - -^ + 77 log

8 Л (1 — ¿2)3 Н8 (1 — г2)2 16 &1 — г) (1 — г)2; где в (г) ^ 3/128 при г ^ 1. Отметим также, что

1 Гг ¿2^ _ 1 г 1 1 + г _ а(г)

2 Л (1 — ¿2)2 = 41 — г2 — 8 ^т—г = 1—г,

где а(г) ^ 1/8 при г ^ 1. Поэтому из (4) получаем

и — и(0) а(г)

1 - T 1 - z

На втором этапе разложим функцию tanh и(0) по формуле Тейлора с остаточным членом в интегральной форме по степеням и(0) - и:

. . и(о)_и , ,

z = tanhи(0) = tanh и +-+ R2(u,k)(u(0) - и)2, (12)

cosh2 и

где

1 fu(0) , s tanh т

R2(u, k) = — 777^-I (u(0) — т)-t"2 ¿т.

(u(0) — u)2 ,/u cosh2 т

Для остаточного члена верна оценка

|Ri(u, k)| < (0) \ ,2 / (u(0) — т¿т < 1

(u(0) — u)2 Ju cosh2 т ^ cosh2 u

Далее воспользуемся соотношением (4) и, подставляя (11) в (12), получим

( 1 Г t2dt ) (т — 1) „ . ,.(т — 1)2 IW (0) 42

z = tanhu + —- --— v — 2 + Ri(u, kp—+ R2(u, k)(u(0) — u)2

( 2 J0 (1 — t2)2) cosh2 u cosh2 u

1 Г t2dt ) (т — 1)

= tanhu + ^21 cosh^u+R(u,k)(1 — т).

(13)

Согласно (4), имеем

№,k)| < в(z) 1 + (u(0) — u)2 1 < (1 — т)2 ^ cosh2 u (1 — z)2 (1 — т)2 cosh2 u^

< в(z) 1 + 2( ) 1 1 < в(z) + a2(z) < const

< - - -1,2 „ (1 _ z)2 + a (z) (1 _ z)2 < _ 1,2/1 ,.N2 < _U2

cosh2 u (1 — z)2 (1 — z)2 cosh2 u cosh2 u(1 — z)2 cosh2 u(1 — z)2

Оценим вклад в остаточный член второго слагаемого справа в (13). В разложении по степеням u(0) - u второго слагаемого в (11)

^ (—И о—У=1^^ cosh и(0)—

1,. , , ч (т — 1) sinh2 £ u(0) — u. 2 (0)

= -(sinh u cosh u — u)-2--1--2--(т — 1) , u < £ < u(),

2 cosh2 u cosh2 u т - 1

коэффициент при т — 1 является величиной ограниченной. Подставим (14) в (13). К остаточному члену в (13) добавится слагаемое

sinh2 £ (u(0) — u) . 1. 2 sinh2 u(0) (u(0) — u)

R3(u, k)(т — 1)2 = ^ (т — 1)2 < ^ (т — 1)2

■(т — 1)2 <—^-г.(т — 1)2

cosh2 u (т - 1) cosh2 u (т - 1)

z2 1 a(z)

1 - z2 cosh2 u 1 - z - cosh2 u(1 - z)2

Таким образом, множитель R0(u, k) = R(u, k) + R3(u, k) в остаточном члене в разложении эллиптического синуса имеет оценку

|R0(u,k)| < 2 1-^.

cosh2 u(1 - z)2

Теорема доказана. □

Приложение

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

Как и в предыдущем разделе, будем считать, что т = k2, и разложим функцию u(z; k) по степеням т — 1. Переменную z заменим на z = tanhu(0). Разложим функцию tanh u(0) по степеням (u(0) — u):

z =tanh u(0) = tanh u + du tanh u(u(0) — u) + ^ tanh u(u(0) — u)2+

+1 ôU tanh u(u(0) — u)3 + ... 6

Заменим разность u — u(0) разложением функции u = u(z; т) по степеням т — 1 :

u — u(0) = дтu(z; 1)(т — 1) + 1 ôr2u(z; 1)(т — 1)2 + 1 ôr3u(z; 1)(т — 1)3 ...

2 6

Выполним подстановку

1

z =tanh u — (d tanh u)[dT u(z ; 1)(т — 1) + ^ d^z; 1)(т — 1)2+ 1

+ - дГ u(z; 1)(т — 1)3 ... ] + 6

+2(д2 tanhu)[dTu(z; 1)(т — 1) + 2d2u(z; 1)(т — 1)2 + ... ]2 —

— 1(д3 tanh u)d u(z; 1)(т — 1) + ... ]3 6u

и соберём коэффициенты при одинаковых степенях т — 1 : z =tanh u — [(д tanh u^ u(z ; 1)](т — 1) + + 1[(д2 tanhu)(дтu(z; 1))2 — (дtanhu)дru(z; 1)](т — 1)2 + ...

Рассмотрим коэффициент при (т — 1)2, равный

2[—(ди tanh u^^z; 1) + (д2 tanh u)(дт u(z; 1))2] = 2(/i + /2).

Последовательно находим дтu(z; 1)

1 z 1,1 + z

— ô log

1 tanh u(0) 1 (0)

u

z=tanhu(0) 41 — (tanh u0)2 4

4(1 — z2) 8 to1 — z

1 tanh u 1

=----——--u + слагаемые при (т — 1)

41 — (tanh u)2 4

= ^(sinh u cosh u — u) + слагаемые при (т — 1),

и далее

д 1 1 2

(ди tanh u)^u(z; 1))2 =—--0—( - sinh u cos u — u ) + •

дu cosh2 uV 4 /

1

-(sinh u cosh u — u)J +

sinh u 1

-2

cosh3 u 4

1 sinh u , 2 2 2

--5— sinh u cosh u — 2u sinh u cosh u + u

8 cosh3 u v

Значит,

Далее

/2 = — tanh u sinh2 u + -u tanh2 u--u2 tanh u-2—.

8 4 8 cosh2 u

3 rz

д^; 1) =3

f-z J-4

4 Л v/T—2(1 — т£2)5/2 т =1 4 Л (1 — t2)3

3 z(5z2 — 3) 9 1 + z

:----- +--log -.

32 (1 — z2)2 +64 g 1 — z

Поэтому

o2 . . 3 tanh u(0) (5 tanh2 u(0) — 3) 9 (0) a2u(-'4 =32^(1—+ 32u(0)

В результате

3 9

tanhu(5 tanh2 u — 3) cosh4 u + — u + слагаемые при (т — 1).

32 32

3 9 u

Д = — — sinh u cosh u(5 tanh2 u — 3) — —-2—.

32 32 cosh2 u

Найдём /1 + /2:

/1 + /2 = —3 sinh u cosh u(5 tanh2 u — 3) —9--^2—

32 32 cosh2 u

— - tanh u sinh2 u + -u tanh2 u — -u2 tanh u-2—.

8 4 8 cosh u

Соберём коэффициенты при одинаковых степенях u. Получим

1 2 sinh u 9 17 2 19 sinh3 u 9

/1 + /2 =--u -5---u +--u tanh u------1--sinh u cosh u.

1 2 8 cosh3 u 32 32 32 cosh u 32

Таким образом, коэффициент при (т — 1)2 равен

1 1 2 sinh u 9 17 2 19 sinh3 u 9

_(/1 + /2) =--u -5---tu +---utanh u-------1---sinhucoshu.

Г 1 2 16 cosh3 u 64 64 64 cosh u 64

Найдём добавочное слагаемое. С этой целью в выражении

J = — (ди tanh u^ u(z; 1) заменим z на tanh u(0) и разложим его по степеням u(0) — u. Имеем

dt 1 (z dt

д rz дт u(z; 1) = —

, =1Г—

дт Л v/1—^t2 -=i 2J0 2(1 — тt2)3/2

т=1

1

t2

1 z 1 1+z

— ô loS

2 Л (1 — t2)2 4(1 — z2) 8 ö1 — z'

4

3

t

И далее

J = - т-

11

tanh u(0)

4 cosh2 u V (1 — (tanh2 u(0)

u

(0)

11

tanh u + (du tanh u)(u(0) — u) + ... 4 cosh2 u V1 — (tanh u)2 — du(tanh2 u)(u(0) — u) +

u

(u(0) — u)

11

4 cosh2 u

tanh u + (du tanh u)(u(0) — u) +

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

1 — (tanh u)2

1+

du(tanh2 u)(u(0) — u) 1 — (tanh u)2

+

x

— u — (u(0) — u)

— 1 (tanh u —

u

4

11

cosh2 u

du tanh u

1

+ T-

4 cosh2 u 1 — (tanh u)2 4 cosh:

tanh u

u

du(tanh u)2 (1 — (tanh u)2)2

(u(0) — u) —

11

4 cosh2 u

(u(0) — u) +

u

— 1 (tanh u — 2 4 cosh2 u

1_ , 1 , du(tanh u)2 -ou tanh u + - tanh u

11

4

4

1 — (tanh u)2 4 cosh2 u_

(u(0) — u).

Коэффициент при u(0) — u имеет вид

u

1_ , 1 , du(tanh u)2 1 1

— -du tanh u —- tanh u--:--—гт + --,

4 u 4 1 — (tanh u)2 4 cosh2

u

11

4 cosh2 u 2

— 1 tanh2 u

du tanh u

11

+ T-

1 — (tanh u)2 4 cosh

Поэтому

u

(dutanhu)dTu(z; 1) = — ~ (tanhu — 2

4 cosh2 u

u

1

— (tanh u)2.

+ -(tanh u)2(u — u(0)).

Подставим разложение в правую часть последнего равенства

u — u(0) = dT u(z; 1)(т — 1) + ...

и получим

— (du tanh u)5ru(z; 1) = — - (tanh u —

u

4

^ - (tanhu)2dTu(z; 1)(т — 1) +

cosh2 u

)+

— -(tanh u--^2—) + 1(tanh —u)2 (

4 cosh2 u 8

tanh u 1 — tanh2 u

— uj (т — 1) +

Поэтому дополнительное слагаемое имеет вид

1 sinh3 u 1

— -u tanh u.

8 cosh u 8

Таким образом, коэффициент в разложении эллиптического синуса при (k2 - 1)2 равен

1 2 sinh u 9 u -—u2

11 sinh3 u 9

16 cosh3 u 64 cosh2 u 64 cosh u 64

+ —- sinh u cosh u.

1

Заключение

В данной работе исследовалось асимптотическое поведение эллиптического синуса при k ^ 1. Были получены первые два члена разложения, а также доказана равномерность разложения на любом промежутке u G [—а, а], 0 < а < 1 при k ^ 1. Аналогичная формула приведена в справочнике [1] и статье [2] (без указания метода вычисления). Здесь же доказано, что на промежутке (—K(k), K(k)) разложение не является равномерным. Кроме того, получена оценка остаточного члена.

Автор выражает свою искреннюю признательность проф. А. А. Соловьёву за полезные обсуждения.

Список литературы

1. Abramowitz, M. Handbook of Mathematical Functions With Formulas, Graphs, and Mathematical Tables / M. Abramowitz, I. A. Stegun. — Washington : Nat. Bureau of Standards, 1972. — 1046 p.

2. Арефьева, И. Я. Скатывание в модели Хиггса и эллиптические функции / И. Я. Арефьева, И. В. Волович, Е. В. Писковский // Теорет. и мат. физика. — 2012. — Т. 172, № 1. — С. 138-154.

3. Гуревич, А. В. Нестационарная структура бесстолкновительной ударной волны / А. В. Гуревич, Л. П. Питаевский // Журн. эксперим. и теорет. физики. — 1973. — Т. 65, № 2. — С. 590-604.

4. Garifullin, R. Phase shift in the Whitham zone for the Gurevich — Pitaevskii special solution of the Korteweg — de Vries equation / R. Garifullin, B. Suleimanov, N. Tarkhanov // Physics Letters A. — 2010. — Vol. 374, iss. 13. — P. 1420-1424.

5. Ахиезер, Н. И. Элементы теории эллиптических функций / Н. И. Ахиезер. — М. : Наука, 1970. — 304 с.

6. Маркушевич, А. И. Теория аналитических функций. Т. 1 / А. И. Маркушевич. — М. : Наука, 1967. — 486 с.

Поступила в 'редакцию 19.05.2017 После переработки 27.06.2017

Сведения об авторе

Красильников Александр Владимирович, аспирант, Челябинский государственный университет, Челябинск, Россия; e-mail: press-csu@yandex.ru.

180

A. B. KpacantHHKOB

Chelyabinsk Physical and Mathematical Journal. 2017. Vol. 2, iss. 2. P. 169-180.

ON ASYMPTOTICS OF ELLIPTIC SINE A.V. Krasilnikov

Chelyabinsk State University, Chelyabinsk, Russia press-csu@yandex.ru

The article offers a simple way of the finding of the elliptic sine z = sn (u; k) asymptotics by powers of k2 — 1. In the literary sources only the first two members decomposition discharged. The proposed method allows to find the subsequent terms of the expansion. The disadvantage is the large amount of calculations. The main result is that the asymptotic expansion is not uniform by u when k ^ 1. The assessment of the remainder term of the decomposition is received also.

Keywords: elliptic sine, asymptotic expansion, hyperbolic functions.

References

1. Abramowitz M., Stegun I.A. Handbook of Mathematical Functions with Formulas, Graphs, and Mathematical Tables. Washington, National Bureau of Standards, 1972. 1046 p.

2. Arefieva I.Ya., Volovich I.V., Piskovskiy E.V. Rolling in the Higgs model and elliptic functions. Theoretical and mathematical physics, 2012, vol. 172, no. 1, pp. 10011016.

3. Gurevich A.V., Pitaevskii L.P. Nonstationary structure of a collisionless shock wave. Soviet physics - JETP, 1974, vol. 38, no. 2, pp. 291-297.

4. Garifullin R., Suleimanov B., Tarkhanov N. Phase shift in the Whitham zone for the Gurevich — Pitaevskii special solution of the Korteweg — de Vries equation. Physics Letters A, 2010, vol. 374, no. 13, pp. 1420-1424.

5. Akhiezer N.I. Elements of the Theory of Elliptic Functions. American Mathematical Society, 1990. 237 p.

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

6. Markushevich A.I. Teoriya analiticheskikh funktsiy [Theory of analytic functions]. Vol. 1. Moscow, Nauka Publ., 1967. 486 p. (In Russ.).

Accepted article received 19.05.2017 Corrections received 27.06.2017

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