Материал: Демина Тселые и мероморфные функтсии 2015

Внимание! Если размещение файла нарушает Ваши авторские права, то обязательно сообщите нам

5. Периодические мероморфные функции

стоящие при неположительных степенях переменных z и (z −a), получаем пять алгебраических уравнений:

4α − 33A − 66h0 = 0,

 

 

 

 

 

 

3α − 40A − 60h0 = 0,

 

 

 

 

 

 

63A2 + {108h0 6α}A + 20L + 108h02 12h0α − 6β = 0,

 

84A2 + {144h0 8α}A + 27L + 108h02 12h0α − 6β = 0,

 

192A3 + {348h0 20α} A2 +

216h02 12β − 24αh0 + 126L

A+

+153h0L

9αL

18βh0

18{αh02 + 108h03

18γ = 0.

}

 

 

 

 

 

 

 

 

Заметим, что

на

"нулевом

уровне" мы

взяли только

одно

уравнение. Решая эту систему, находим значения параметров h0, L, A искомого мероморфного решения:

 

61α

 

 

 

α2

 

 

 

7α

(5.64)

h0 = 660 ,

L = 12100 ,

A =

110

 

и ограничения на параметры уравнения (5.50)

 

 

 

 

 

94α2

 

31α3

 

 

(5.65)

 

β = 3025 , γ =

33275 .

 

 

 

 

С помощью теоремы сложения (5.46) решение (5.63) можно записать в виде

(

{

αz

}

{

αz

}

)

 

 

 

α cth2

 

110

 

+ 18 cth

 

110

 

+ 141

 

(5.66)

w(z) =

 

 

(

{

αz

})

,

 

 

220

 

7 + cth

110

 

 

 

 

 

где мы воспользовались соотношением ctg(iz) = −i cth z.

Нам осталось найти рациональные решения уравнения (5.50). Пусть хотя бы один из параметров α, β, γ отличен от нуля. Для того, чтобы построить ряды Лорана в окрестности бесконечно

удаленной точки, рассмотрим укороченное уравнение

 

6w3 + αw2 + βw + γ = 0,

(5.67)

71

 

5. Периодические мероморфные функции

которое имеет не более трех постоянных решений. Следовательно, существует конечное число рядов Лорана вида

d

 

 

 

 

−k

 

(5.68)

w(z) =

 

,

 

zk

 

 

k=0

удовлетворяющих уравнению (5.50). Ряды (5.68) не содержат произвольных коэффициентов, поскольку для выражения E2 = = 6w3 + αw2 + βw + γ нет индексов Фукса, а коэффициент d0 является решением уравнения (5.67).

Пусть теперь α = 0, β = 0, γ = 0. Тогда для построения рядов Лорана в окрестности бесконечно удаленной точки нужно рассмотреть укороченное уравнение (5.52). Степенные решения и индексы Фукса в этом случае найдены выше. Мы имеем один целый индекс Фукса j = 2, удовлетворяющий неравенству j < < −1. Проверяя выполнение условия совместности, убеждаемся что уравнению (5.50) удовлетворяют ряды Лорана

 

 

1

 

b(1)

 

 

 

2

 

b(2)

 

 

w

(1)

(z) =

 

+

−k

,

w

(2)

(z) =

 

+

−k

,

(5.69)

 

 

 

 

 

2z

k=2

zk

 

3z

k=2

zk

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

где коэффициент b(j2), j = 1, 2 произволен.

Тогда, если исходное уравнение имеет рациональные решения, то они выглядят следующим образом:

(I) : w(z) =

c(j1)

+ h(j), j = 1, 2;

 

z

 

 

0

(5.70)

 

 

 

 

 

 

 

c(1)1

 

 

c(2)1

(II) : w(z) =

+

 

+ h0.

 

 

z

 

 

 

z − a

 

При этом h(0j) = 0, j = 1, 2, если α = 0, β = 0, γ = 0. В первом случае рациональная функция уже разложена в ряд Лорана как

в окрестности начала координат, так и в окрестности бесконечно

72

5. Периодические мероморфные функции

удаленной точки. Подставляя соотношение

w(z) =

c1

+ h0

(5.71)

 

z

 

 

в исходное уравнение и приравнивая нулю выражения, стоящие при отрицательной и нулевой степенях переменной z, мы приходим к следующей алгебраической системе:

c1(α − 18h0) − h0 = 0,

 

β − 18h02 + 2h0α = 0,

(5.72)

γ+ h0(β + αh0 6h20) = 0.

Вравенствах (5.71), (5.72) мы опять опустили верхний индекс. Решая систему (5.72), находим:

(1)

 

α

 

 

β(1)

=

11α2

γ(1) =

 

α3

 

 

h0

=

 

,

 

 

,

 

 

;

20

 

200

1000

 

 

2α

 

 

 

20α2

 

 

4α3

(5.73)

(2)

 

β(2)

=

γ(2) =

 

 

 

h0

=

 

 

,

 

,

 

 

.

33

 

363

3993

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

Исходное уравнение является автономным, поэтому для каждого решения w(z) подстановка z 7→ z − z0 при произвольном z0 дает семейство решений w(z − z0). Мы рассмотрели всевозможные комбинации рядов Лорана и соответствующих решений. Следовательно, согласно теореме 5.8, мы нашли все мероморфные решения уравнения (5.50). Выпишем ответ задачи. Уравнение (5.50) имеет

1)два различных семейства простопериодических мероморфных решений с одним полюсом в полосе периодов:

w(1)(z) =

11α2 + 200β

cth {

11α2 + 200β

(z − z0)} +

α

 

20

 

 

10

 

 

 

,

20

3

3

73

5.

 

Периодические мероморфные функции

 

 

 

 

 

 

 

 

 

 

 

 

 

 

cth {

 

 

 

 

 

 

− z0)} +

 

 

 

 

 

 

α2

+ 363β

 

20α2 + 363β

2α

 

w(2)(z) =

2√2066

 

 

 

22

 

 

 

(z

 

,

33

2

 

2

и следующими ограничениями на параметры исходного

 

уравнения:

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

γ(1)

=

(α2 + 25β)α

, γ(2) =

(4α2

+ 121β)α

 

 

 

 

 

 

 

 

 

;

 

 

 

 

375

 

 

2662

 

 

 

 

2)одно семейство простопериодических мероморфных решений с двумя полюсами в полосе периодов:

 

α

cth2

 

α(z−z0)

 

+ 18 cth

α(z−z0)

+ 141

 

 

 

(

{

110

}

 

 

110

)

 

w(z) =

 

{

}

,

 

 

 

 

 

 

α(z z0)

 

 

 

 

 

 

220 (7 + cth {

110

})

 

 

 

 

 

 

 

 

 

 

 

 

 

и следующими ограничениями на параметры исходного

уравнения:

 

 

 

 

 

 

 

94α2

 

 

31α3

 

 

 

 

 

 

 

 

 

β =

 

γ =

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

,

 

 

 

 

;

 

 

 

 

 

 

 

 

 

 

3025

33275

 

 

 

 

 

 

3) два семейства рациональных решений:

 

 

 

 

 

 

w(1)(z) =

 

 

1

 

 

 

 

α

β(1) =

11α2

γ(1) =

 

α3

 

 

+

 

 

 

,

 

 

 

 

,

 

 

 

 

 

;

 

 

2(z − z0)

 

20

 

200

 

 

1000

w(2)(z) =

2

 

 

 

 

 

2α

β(2) =

20α2

γ(2)

 

 

4α3

 

 

+

 

,

 

,

=

 

.

3(z − z0)

33

363

3993

Задача 5.2. Найти все мероморфные решения алгебраического автономного обыкновенного дифференциального уравнения

wz2 − w4 − αw3 − βw2 − γw − δ = 0,

(5.74)

где α, β, γ, δ C.

74

5. Периодические мероморфные функции

 

 

q2

 

 

 

 

Q2

 

 

 

 

4

 

 

 

 

3

 

 

Q1

 

2

 

 

 

 

1

 

 

 

 

Q3

 

 

2

1

0

1

q1

Рис. 5.2. Многоугольник уравнения (5.74) при δ ≠ 0.

Решение. Доминирующим дифференциальным мономом для уравнения (5.74) является моном w4. При α = 0, β = 0, γ = 0 и δ = 0 многоугольник уравнения (5.74) — это ребро, соединяющее точки Q1 = (2, 2) и Q2 = (0, 4). В противном случае многоугольник представляет собой треугольник с вершинами

Q1 = (2, 2), Q2 = (0, 4) и Q3, где

 

 

(0, 0),

δ ̸= 0;

 

 

 

 

(0, 1),

δ = 0,

γ = 0;

̸

 

 

(5.75)

Q3 =

 

(0, 2),

δ = 0,

̸

 

 

γ = 0,

β = 0;

 

 

 

 

 

 

 

 

= 0

 

δ = 0,

γ = 0,

β = 0, α ̸= 0.

 

 

(0, 3),

В случае δ

 

 

многоугольник уравнения (5.74) изображен на

 

̸

 

 

 

 

 

рис. 5.2.

Для построения рядов Лорана в окрестности конечных полюсов необходимо рассмотреть укороченное уравнение,

соответствующее ребру, соединяющему точки Q1 и Q2:

 

 

wz2 − w4 = 0.

 

 

(5.76)

Это уравнение имеет два степенных решения:

 

(1)

1

(2)

1

 

(5.77)

 

 

 

 

w (z) = z , w (z) = z .

 

75

Источник: https://studfile.net/preview/16708660/