<< Предыдущая стр. 33(из 61 стр.)ОГЛАВЛЕНИЕ Следующая >>

Proof: Recall that О¦m (u; s; k+ ) are all interrelated by continuation across
the mth cut. Therefore, О¦m (u; s; k) c = hol(u вҲ’ um ) implies the same
with k + instead of k. Consequently, owing to Theorem 47, we obtain
Fj вҲ— (k),m (z) Gm (z) (I вҲ’ eвҲ’2ПҖi(sI+Lm ) ) c вүЎ 0. Since Fj вҲ— (k),m (z) has linearly
2
independent columns, this implies c = 0.
Examples show that invertibility of I вҲ’ exp[вҲ’2ПҖi(sI + Lm )] is not nec-
essary for the linear independence of the columns of О¦m (u; s; k). Whether
or not they can ever be linearly dependent seems to be unknown, but will
not be of importance here.
(k)
The above lemma guarantees that the matrices Cnm , for every k вҲҲ Z and
n = m, 1 вү¤ n, m вү¤ Вµ, are determined by (9.12), or even by the identities in
В±
Theorem 46. Exercise 4 on p. 142 shows that from the matrices Ck we can
152 9. StokesвҖ™ Phenomenon

compute the Stokes multipliers V , for j(k) вҲ’ n1 + 1 вү¤ вү¤ j(k) + n1 . Doing
so for r consecutive values of k then gives enough multipliers to compute
all others with help of (9.4). Hence, in principle the problem of computing
the Stokes multipliers of highest level has been solved. In special situations,
however, there are more eп¬Җective formulas for this computation.We shall
brieп¬‚y illustrate this in the case of PoincarВҙ rank r = 1 and the leading
e
term having all distinct eigenvalues. In this situation, the following holds:

вҖў The notions of HLFFS and FFS coincide, since there is only one level
to consider.

вҖў There are ОҪ distinct values un , equal to the negative of the eigenvalues
of the leading term A0 .

вҖў Owing to r = 1 and the form of a FFS, as stated in Exercise 4 on
p. 45, the associated functions here are vectors given by convergent
вҲһ
power series О¦m (u; s; k) = 0 Fn,m (uвҲ’um )nвҲ’ m вҲ’s /О“(1+nвҲ’ m вҲ’s),
with not necessarily distinct complex numbers m and вҲ’d + 2kПҖ <
arg(u вҲ’ um ) < вҲ’d + 2(k + 1)ПҖ; for this, compare Exercise 1.

вҖў The formal monodromy matrices here are scalar, and Lm = m. The
vector F0,m equals the mth unit vector em .

In this situation, Theorem 46 states that for n вүә m

О¦m (u; s; k) = О¦n (u; s; k) (I вҲ’ eвҲ’2ПҖi (sI+ n)
)вҲ’1 Cnm + hol(u вҲ’ un ).
(k)

For Re ( n + s) > 0, a term (u вҲ’ un ) n +s О¦(u) tends to 0 whenever О¦(u)
(k)
is holomorphic at un . Hence we may evaluate the scalar blocks Cnm by
п¬Ғnding the limit of (u вҲ’ un ) n +s О¦m (u; s; k) when u вҶ’ un . If arg(u вҲ’ un ) is
chosen according to вҲ’d + 2kПҖ < arg(u вҲ’ un ) < вҲ’d + 2(k + 1)ПҖ, this limit
equals, using (B.14) (p. 232):

(k) (k)
en cnm cnm О“(s + n) n)
eПҖi(s+
= en .
(1 вҲ’ eвҲ’2ПҖi(s+ n ) ) О“(1 вҲ’ s вҲ’ 2ПҖi
n)

n +s n +s n)
Setting (u вҲ’ un ) = (un вҲ’ u) eПҖi(s+ , we п¬Ғnd

(k)
cnm О“(s + n)
n +s
lim (un вҲ’ u) О¦m (u; s; k) = en ,
2ПҖi
uвҶ’un

with вҲ’d + (2k вҲ’ 1)ПҖ < arg(un вҲ’ u) < вҲ’d + (2k + 1)ПҖ. A similar formula may
be obtained for m вүә n as well. In Exercise 2 we shall use this result to п¬Ғnd
explicit values for the Stokes multipliers of the two-dimensional conп¬‚uent
hypergeometric system.
9.6 Highest-Level Invariants 153

Exercises: Consider a п¬Ғxed normalized HLFFS of a system (3.1) and a
nonsingular direction d.

1. Assume Gm (z) вүЎ Ism , for some m, 1 вү¤ m вү¤ Вµ. Show О¦m (u; s; k) =
вҲһ (nвҲ’s)/r
/О“(1+(nвҲ’s)/r), for u вҲҲ C d , with the branch
0 Fn,m (uвҲ’um )
вҲ’s/r
determined according to вҲ’r d < arg(uвҲ’um )вҲ’2kПҖi <
of (uвҲ’um )
r вҲ’ d + 2ПҖ.

2. For A(z) as in Exercise 2 (a) on p. 58, compute the associated func-
tions in terms of hypergeometric ones, and п¬Ғnd all Stokes multipliers.

3. Consider a conп¬‚uent hypergeometric system (2.5) (p. 21), with A
having distinct eigenvalues. Show that the associated functions then
satisfy the hypergeometric system (u I + A) ПҶ = вҲ’(s I + B) ПҶ.

9.6 Highest-Level Invariants
In this section, we shall brieп¬‚y discuss the notion of equivalence of sys-
tems of meromorphic ODE. This concept was п¬Ғrst introduced and studied
by Birkhoп¬Җ  in his attempt to classify such systems with respect to
the behavior of solutions near inп¬Ғnity: Throughout, we consider two ОҪ-
dimensional systems

|z| > ПҒ,
z x = A(z) x, z y = B(z) y, (9.14)

with holomorphic coeп¬ғcient matrices, each having a pole at inп¬Ғnity of,
possibly distinct, order rA resp. rB . These two systems are said to be
analytically, resp. meromorphically, equivalent to one another, if there exists
an analytic, resp. meromorphic, transformation T (z) satisfying

zT (z) = A(z) T (z) вҲ’ T (z) B(z), |z| > ПҒ. (9.15)

Indeed, this is an equivalence relation for meromorphic systems near inп¬Ғn-
ity, and solutions of equivalent systems essentially behave alike at inп¬Ғnity вҖ“
however, note that in case of meromorphic equivalence the behavior agrees
only up to integer powers of z.
Birkhoп¬Җ introduced the above notion of equivalence in connection with
the following approach toward analyzing the behavior near inп¬Ғnity of solu-
tions of systems (3.1). Imagine that we have succeeded in completing the

вҖў Find a collection of objects, named analytic resp. meromorphic in-
variants, which can in some sense be computed in terms of an arbi-
trarily given system (3.1). These invariants should be such that for
154 9. StokesвҖ™ Phenomenon

each two systems that are analytically resp. meromorphically equiva-
lent all these objects agree, which explains their name. Moreover, the
collection should be complete in the sense that any two systems shar-
ing the same invariants are indeed analytically, resp. meromorphically
equivalent. In other words, the system of analytic resp. meromorphic
invariants characterizes the corresponding equivalence class of sys-
tems (3.1).
вҖў Within each equivalence class of systems with respect to analytic
resp. meromorphic equivalence, п¬Ғnd a unique representative that, in
some sense or another, is the simplest system in this class, and study
the behavior of its solutions near inп¬Ғnity.

Assuming that the above has been done, one can then completely anal-
yse the behavior of solutions of an arbitrary system by п¬Ғrst computing
its invariants, thus, determining the equivalence class to which the sys-
tem belongs, and then identifying the corresponding representative for this
equivalence class вҖ“ then, the solution of the given system behave as the
ones for the corresponding representative, and their behavior is known!
While Birkhoп¬Җ himself found a complete system of invariants only un-
der some restrictive assumptions, the general case has been treated much
later by Balser, Jurkat, and Lutz [33вҖ“36, 41]. Also compare Sibuya ,
or Lutz and SchВЁfke . Here we shall present a simple result on what
a
we call highest-level meromorphic invariants. To do so, assume that both
systems (9.14) have an essentially irregular singular point at inп¬Ғnity. Let
ЛҶ ЛҶ
(FA (z), YA (z)) and (FB (z), YB (z)) be HLFFS of the corresponding sys-
tem, with corresponding StokesвҖ™ multipliers Vj,A and Vj,B and formal mon-
odromy matrices LA and LB .
Theorem 48 Let two meromorphic systems (9.14)be given.
(a) Assume the systems to be meromorphically equivalent. Then the data
ЛҶ ЛҶ
pairs of the two HLFFS (FA (z), YA (z)) and (FB (z), YB (z)) coincide
up to a renumeration.
ЛҶ ЛҶ
(b) Assume that the data pairs of (FA (z), YA (z)) and (FB (z), YB (z)) co-
incide. Then the systems (9.14) are meromorphically equivalent if and
only if there exists a constant invertible matrix D, diagonally blocked
of type (s1 , . . . , sВµ ), so that

Vj,A = DвҲ’1 Vj,B D, e2ПҖi LA = DвҲ’1 e2ПҖi LB D,
j вҲҲ Z, (9.16)
вҲ’1
and in addition YA (z) DвҲ’1 YB (z) has moderate growth, for z вҶ’ вҲһ,
in arbitrary sectors.

Proof: In case of meromorphic equivalence, there exists a meromorphic
ЛҶ
transformation T (z) with (9.15). Hence (T (z) FB (z), YB (z)) is an HLFFS
9.7 The Freedom of the Highest-Level Invariants 155

of the п¬Ғrst system in (9.14), which implies (a). In case of identical data
pairs, we conclude from Lemma 12 (p. 142) existence of diagonally blocked
matrices D, constant invertible, and Tq (z), a q-meromorphic transforma-
ЛҶ ЛҶ
tion, for which YA (z) = Tq (z) YB (z) D, FA (z) Tq (z) = T (z) FB (z), and
the relation for the Stokes multipliers follow. The п¬Ғrst identity implies
вҲ’1
moderate growth of YA (z) DвҲ’1 YB (z), while the second one, owing to
properties of k-summability, shows Fj,A (z) Tq (z) = T (z) Fj,B (z) for the
HLNS, for every j вҲҲ Z. This shows Xj,A (z) = T (z) Xj,B (z) D for ev-
ery j вҲҲ Z, implying exp[2ПҖi Mj,A ] = DвҲ’1 exp[2ПҖi Mj,B ] D. This, together
with (9.5) and the relation between the Stokes multipliers, then implies
exp[2ПҖi LA ] = DвҲ’1 exp[2ПҖi LB ] D.
вҲ’1 вҲ’1
Conversely, deп¬Ғne T (z) = Xj,A (z) DвҲ’1 Xj,B (z) = Fj,A (z) Tq (z) Fj,B (z),
вҲ’1
with Tq (z) = YA (z) DвҲ’1 YB (z). The relation for the Stokes multipliers
shows that T (z) is independent of j, and from (9.5) and exp[2ПҖi LA ] =
DвҲ’1 exp[2ПҖi LB ] D we obtain T (ze2ПҖi ) = T (z). Moreover, moderate growth
of Tq (z), together with the asymptotic of both Fj,A (z) and Fj,B (z), shows
that T (z) is of moderate growth in every sector Sj . Consequently, T (z) can
2
only have a pole at inп¬Ғnity; hence is a meromorphic transformation.
While the Stokes multipliers correspond uniquely to a selected HLFFS
of (3.1), there is a freedom in selecting this HLFFS, and this freedom
exactly reп¬‚ects in a change of the Stokes multipliers as in (9.16). Thus, we
may also say as follows: Under the assumptions of the above theorem, the
systems (9.14) are meromorphically equivalent if and only if we can select
corresponding HLFFS of each system so that their StokesвҖ™ multipliers and
вҲ’1
formal monodromy factors agree and YA (z) YB (z) is of moderate growth.

Exercises:
1. Show that the notion of analytic, resp. meromorphic, equivalence of
systems is indeed an equivalence relation.

2. For analytic equivalence, verify that the spectrum of the leading term
A0 is invariant. In case of meromorphic equivalence, show that the
same is correct, once the transformation does not change the PoincarВҙe
rank of the system.

9.7 The Freedom of the Highest-Level Invariants
In Section 9.2 we have shown the Stokes multipliers to satisfy the rela-
tions (9.4). In this section we shall show that, aside from the restriction of
their support, nothing more can be said in general. For this purpose, we
shall prove a technical lemma which is a simpliп¬Ғed version of a result of
156 9. StokesвҖ™ Phenomenon

ВҜ
SibuyaвҖ™s [251, Section 6.5]: Consider a closed sector S(ПҒ) = { z : |z| вүҘ
ПҒ, О± вү¤ arg z вү¤ ОІ }, with О± < ОІ п¬Ғxed. Let X(z) be a ОҪ Г— ОҪ-matrix, holomor-
ВҜ
phic in the interior of S(ПҒ) and continuous up to its boundary, and so that
X(z) вү¤ c |z|вҲ’2 in S(ПҒ). Finally, deп¬Ғne S вҲ— (Лң, Оҙ) = { z : |z| > ПҒ, О± + Оҙ <
ВҜ ПҒ Лң
arg z < ОІ + 2ПҖ вҲ’ Оҙ }, with Оҙ > 0, and ПҒ вүҘ ПҒ to be determined.
Лң
Lemma 17 Under the above assumptions, for every Оҙ > 0 and suп¬ғciently
large ПҒ вүҘ ПҒ, there is a matrix T (z), holomorphic in S вҲ— (Лң, Оҙ), and tending
Лң ПҒ
to 0 as z вҶ’ вҲһ there, so that:

T (ze2ПҖi ) вҲ’ T (z) = (I + T (z)) X(z), z вҲҲ S(ПҒ) вҲ© S вҲ— (Лң, Оҙ).
ВҜ ПҒ

Proof: For the proof, we proceed exactly as in [251, pp. 152вҖ“162]: For
ВҜвҲ—
ВҜ
m вҲҲ N0 , set Sm = { z : |z| вүҘ ПҒ + Оҙm , О± + Оҙm вү¤ arg z вү¤ ОІ вҲ’ Оҙm }, Sm =
Лң
{ z : |z| вүҘ ПҒ + Оҙm , О± + Оҙm вү¤ arg z вү¤ ОІ вҲ’ Оҙm + 2ПҖ }, with Оҙm = (1 вҲ’ 2вҲ’m ) Оҙ.
Лң
Beginning with X0 (z) = X(z), deп¬Ғne inductively
вҲһ
вҲ’1 du
Um (z) = Xm (u) ,
uвҲ’z
2ПҖi zm
= Um (z) Xm (z) [I + Um (ze2ПҖi )]вҲ’1 ,
Xm+1 (z)

where zm = (Лң + Оҙm ) exp[i(О± + ОІ)/2]. Suppose that Xm (z) is holomor-
 << Предыдущая стр. 33(из 61 стр.)ОГЛАВЛЕНИЕ Следующая >>