arxiv:math/ v2 [math.ca] 28 Oct 2008

Transcription

1 THE HERMITE-KRICHEVER ANSATZ FOR FUCHSIAN EQUATIONS WITH APPLICATIONS TO THE SIXTH PAINLEVÉ EQUATION AND TO FINITE-GAP POTENTIALS arxiv:math/ v [math.ca] 8 Oct 008 KOUICHI TAKEMURA Abstract. Several results including integral representation of solutions and Hermite- Krichever Ansatz on Heun s equation are generalized to a certain class of Fuchsian differential equations, and they are applied to equations which are related with physics. We investigate linear differential equations that produce Painlevé equation by monodromy preserving deformation and obtain solutions of the sixth Painlevé equation which include Hitchin s solution. The relationship with finite-gap potential is also discussed. We find new finite-gap potentials. Namely, we show that the potential which is written as the sum of the Treibich-Verdier potential and additional apparent singularities of exponents 1 and is finite-gap, which extends the result obtained previously by Treibich. We also investigate the eigenfunctions and their monodromy of the Schrödinger operator on our potential. 1. Introduction It is well known that a Fuchsian differential equation with three singularities is transformed to a Gauss hypergeometric equation, and plays important roles in substantial fields in mathematics and physics. Several properties of solutions to the hypergeometric equation have been explained in various textbooks. A canonical form of a Fuchsian equation with four singularities is written as (1.1 with the condition ( ( ( d γ + dw w + δ w 1 + ǫ d w t dw + αβw q w(w 1(w t f(w = 0 (1. γ + δ + ǫ = α + β + 1, and is called Heun s equation. Heun s equation frequently appears in physics, i.e., general relativity [1], fluid mechanics [3] and so on. Despite that Heun s equation was resolved in the 19th century; several results of solutions have only been recently revealed. Namely, integral representations of solutions, global monodromy in terms of hyperelliptic integrals, relationships with the theory of finite-gap potential and the Hermite-Krichever Ansatz for the case γ, δ, ǫ, α β Z + 1/ are contemporary (see [1, 6, 19, 3, 4, 5, 6, 8] etc., though they are not written in a textbook on Heun s equation [17]. 000 Mathematics Subject Classification. 8B3,34M55,33E10,33E15. 1

2 KOUICHI TAKEMURA In this paper, we consider differential equations which have additional apparent singularities to Heun s equation. More precisely, we consider the equation (1.3 { ( d 1 dw + l 1 1 w + l 1 w 1 + l M 3 w t + r i d w b i dw ( 3 l i + M i + =1 r i ( 1 l l i + M r i w + p + M 4w(w 1(w t õ i w b i f(w = 0, for the case l i Z 0 (0 i 3, r i Z >0 (1 i M and the regular singular points b i (1 i M are apparent. By a certain transformation, Eq.(1.3 is rewritten in terms of elliptic functions such as (1.4 { + d dx + l i (l i + 1 (x + ω i M ( ri ( ri + 1 ( (x δ i + (x + δ i + } s i E f(x = 0, (x (δ i with the condition that logarithmic solutions around the singularities x = ±δ i (i = 1,...,M disappear. We then establish that solutions to Eq.(1.4 have an integral representation and they are also written as a form of the Hermite-Krichever Ansatz. For details see Proposition.3 and Theorem.5. Note that the results on the Hermite-Krichever Ansatz are related to Picard s theorem on differential equations with coefficients of elliptic functions [11, 15.6]. By the Hermite-Krichever Ansatz, we can obtain information on the monodromy of solutions to differential equations. Results on the integral representation and the Hermite-Krichever Ansatz are applied for particular cases. One example is Painlevé equation. For the case M = 1 and r 1 = 1, it is known that Eq.(1.3 produces the sixth Painlevé equation by monodromy preserving deformation (see [1]. On the other hand, solutions to Eq.(1.4 are expressed as a form of the Hermite-Krichever Ansatz for the case l i Z 0 (i = 0, 1,, 3, and we obtain an expression of monodromy. Fixing monodromy corresponds to the monodromy preserving deformation; thus, we obtain solutions to the sixth Painlevé equation by fixing monodromy (see section 3. For the case l 0 = l 1 = l = l 3 = 0, we recover Hitchin s solution [9]. Note that the sixth Painlevé equation and the Hitchin s solution appear in topological field theory [16] and Einstein metrics [9]. Another example for application of the integral representation and the Hermite- Krichever Ansatz is finite-gap potential. On solid-state physics, band structure of spectral is essential, and examples and properties of finite-gap (finite-band potential could be applicable (e.g. see []. Recently several authors have been active in producing a variety of studies of finitegap potential, and several results have been applied to the analysis of Schrödingertype operators and so on. Here we briefly review these results. Let q(x be a periodic, smooth, real function, H be the operator d /dx + q(x, and σ b (H be the set such

3 that HERMITE-KRICHEVER ANSATZ FOR FUCHSIAN EQUATIONS 3 E σ b (H Every solution to (H Ef(x = 0 is bounded on x R. If the closure of the set σ b (H can be written as (1.5 σ b (H = [E 0, E 1 ] [E, E 3 ] [E g,, where E 0 < E 1 < < E g, then q(x is called the finite-gap potential. Let (x be the Weierstrass -function with periods (ω 1, ω 3. Ince [10] established in 1940 that if n Z 1, ω 1 R and ω 3 1R, then the potential of the Lamé s operator, (1.6 d + n(n + 1 (x, dx is finite-gap. From the 1960s, relationships among finite-gap potentials, odd-order commuting operators and soliton equations were investigated. If there exists an odd-order differential operator A = (d/dx g+1 + g 1 j=0 b j(x (d/dx g 1 j such that [A, d /dx +q(x] = 0, then q(x is called the algebro-geometric finite-gap potential. Under the condition that q(x is real-valued, smooth and periodic, it is known that q(x is a finite-gap potential if and only if q(x is an algebro-geometric finite-gap potential. For a detailed historical review, see [7] and the references therein. In the late 1980s, Treibich and Verdier invented the theory of elliptic solitons, which is based on an algebro-geometric approach to soliton equations developed by Krichever [14] among others, and found a new algebro-geometric finite-gap potential, which is now called the Treibich-Verdier potential (see [8]. This potential may be written in the form (1.7 v(x = l i (l i + 1 (x + ω i for the Schrödinger operator d /dx + v(x, where l i (i = 0, 1,, 3 are integers and ω 1, ω 3, ω 0 (= 0, ω (= ω 1 ω 3 are half-periods. Subsequently several studies [6, 30, 19, 3, 4, 5, 6] have further added to understanding of this subject. Note that the function in Eq.(1.7 corresponds to the potential of the Schrödinger operator as Eq.(1.4 for the case M = 0, and it is closely related to Heun s equation. Later, by following his joint work with Verdier, Treibich [7] established that, if l 0, l 1, l, l 3 Z 0 and δ satisfy (1.8 then the potential (1.9 (l i + 1/ (δ + ω i = 0, v(x =( (x δ + (x + δ + l i (l i + 1 (x + ω i for the Schrödinger operator d /dx + v(x is algebro-geometric finite-gap. In [0] Smirnov presented further results. In this paper, we generalize the results of Treibich and Smirnov. In particular, we will find that, if l 0, l 1, l, l 3 Z 0, δ j ω i mod ω 1 Z ω 3 Z (0 i 3, 1 j M

4 4 KOUICHI TAKEMURA and δ j ± δ j 0 mod ω 1 Z ω 3 Z (1 j < j M, and δ 1,..., δ M satisfy the equation (1.10 j j( (δ j δ j + (δ j +δ j + (l i +1/ (δ j +ω i = 0 (j = 1,...,M, then the potential (1.11 v(x = M l i (l i + 1 (x + ω i + ( (x δ i + (x + δ i for the Schrödinger operator d /dx + v(x is algebro-geometric finite-gap. Note that the potential in Eq.(1.11 corresponds to Eq.(1.4 with conditions r i = and s i = 0 (i = 1,..., M. For the special case M = 1, we recover the Treibich s result [7]. Our approach differs from that of Treibich and Verdier and is elementary; we do not use knowledge of sophisticated algebraic geometry. The approach is based on writing the product of two specific eigenfunctions of the Schrödinger operator in the form of a doubly-periodic function for all eigenvalues E, which follows from the apparency of regular singularities of the Schrödinger operator (see section. Using the doubly-periodic function, an odd-order commuting operator is constructed, and it follows that the potential is algebro-geometric finite-gap. As a consequence, we obtain results concerning integral representations of solutions, monodromy formulae in terms of a hyperelliptic integral, the Bethe-Ansatz and the Hermite-Krichever Ansatz, as is shown in [5, 6] for Heun s equation. We can also obtain two expression of monodromy. By comparing the two expressions, we obtain hyperelliptic-to-elliptic integral reduction formulae. Note that our approach can be related to the theory of Picard s potential, which is developed by Gesztesy and Weikard [7]. This paper is organized as follows. In section, we obtain integral representations of solutions to the differential equation of the class mentioned above and rewrite them to the form of the Hermite-Krichever Ansatz. To obtain an integral representation, we introduce doubly-periodic functions that satisfy a differential equation of order three. Some properties related with this doubly-periodic function are investigated, and we obtain another expression of solutions that looks like the form of the Bethe Ansatz. In section 3, we consider the relationship with the sixth Painlevé equation. We show that solutions of the sixth Painlevé equation are obtained from solutions expressed in the form of the Hermite-Krichever Ansatz of linear differential equations considered in section by fixing monodromy. Some explicit solutions that include Hitchin s solution are displayed. In section 4, we discuss the relationship with the results on finite-gap potential. In subsection 4.1, we show that the potential v(x in Eq.(1.11 is algebro-geometric finite-gap under the conditions of Eq.(1.10. In subsection 4., we express global monodromy of eigenfunctions of the Schrödinger operator in terms of a hyperelliptic integral. In subsection 4.3, we investigate the eigenfunctions and monodromy by the Bethe Ansatz and the Hermite-Krichever Ansatz. As a consequence, we are able to derive another monodromy formula. In subsection 4.4, we obtain hyperelliptic-to-elliptic integral reduction formulae by comparing two expressions of monodromy. In section 5, we consider several examples on finite-gap potential. In section 6, we give concluding remarks and present an open problem. In the appendix, we note definitions and formulae for elliptic functions.

5 HERMITE-KRICHEVER ANSATZ FOR FUCHSIAN EQUATIONS 5. Fuchsian differential equation and Hermite-Krichever Ansatz.1. Fuchsian differential equation. To begin with, we introduce the following differential equation; (.1 { ( d 1 dz + l i + z e i M r i d z b i dz + N(N l 0 1z + p + M 4(z e 1 (z e (z e 3 o i z b i } f(z = 0, where N = 3 l i + M r i. This equation is Fuchsian, i.e., all singularities {e i },,3, {b i },...,M and are regular. The exponents at z = e i (i = 1,, 3 (resp. z = b i (i = 1,...,M are 0 and l i + 1/ (resp. 0 and r i + 1, and the exponents at z = are N/ and (N l 0 1/. Conversely, any Fuchsian differential equation that has regular singularities at {e i },,3, {b i },...,M and such that one of the exponents at e i and b i for all i {1,, 3} and i {1,..., M} are zero is written as Eq.(.1. By the transformation z z + α, we can change to the case e 1 + e + e 3 = 0. In this paper we restrict discussion to the case e 1 + e + e 3 = 0. We remark that any Fuchsian equation with M + 4 singularities is transformed to Eq.(.1 with the condition e 1 + e + e 3 = 0. It is known that, if e 1 + e + e 3 = 0 and e 1 e e 3 e 1, then there exists some periods (ω 1, ω 3 such that (ω 1 = e 1 and (ω 3 = e 3, where (x is the Weierstrass -function with periods (ω 1, ω 3. We set ω 0 = 0 and ω = ω 1 ω 3. Then we have (ω = e. Now we rewrite Eq.(.1 in an elliptic form. We set (. Φ(z = 3 M (z e i l i/ (z b i r i /, z = (x, and f(zφ(z = f(x. Then we have (.3 (H Ef(x = 0, where H is a differential operator defined by (.4 (.5 H = d dx + v(x, v(x = l i (l i + 1 (x + ω i + M r i ( ri + 1 s i ( (x δ i + (x + δ i + (x (δ i,

6 6 KOUICHI TAKEMURA and (.6 (.7 (.8 (.9 (δ i = b i, (i = 1,...,M, { ( 1 o i = s i + r i 8 r i (1b i g + 1 (4b3 i g b i g 3 i i r i (b i b i +(l 1 (b i e (b i e 3 + l (b i e 1 (b i e 3 + l 3 (b i e 1 (b i e }, p = E + (e 1 l1 + e l + e 3 l3 (l 1 l e 3 + l l 3 e 1 + l 3 l 1 e 1 M b i ri ( M M ( M + l i r i (e i + b i + b i r i r i, g = 4(e 1 e + e e 3 + e 3 e 1, g 3 = 4e 1 e e 3. Conversely, Eq.(.1 is obtained from Eq.(.3 by the transformation above. We consider another expression. Set M ( ( H g = d dx + r i (x d M M (.10 (x (δ i dx + l 0 + r i l r i (x (.11 + l i (l i + 1 (x + ω i + f g (x = f(xψ g (x, Ψ g (x = Then Eq.(.3 is also equivalent to M s i (x (δ i, M ( (x (δ i r i /. (.1 (H g E C g f g (x = 0, where (.13 (.14 { ( 1 s i = s i r i 8 r i (1b i g + 1 (4b3 i g b i g 3 i i ( C g = 1 M M ( b i ri + M b i r i r i. r i (b i b i Note that the exponents at x = ±δ i (i = 1,..., M are 0 and r i + 1. In this paper, we consider solutions to Eq.(.1, which is equivalent to Eq.(.3 or Eq.(.1 for the case l i Z, and the regular singular point z = b i is apparent for all i. Here, a regular singular point x = a of a linear differential equation of order two is said to be apparent, if and only if the differential equation does not have a logarithmic solution at x = a and the exponents at x = a are integers. It is known that the regular singular point x = a is apparent, if and only if the monodromy matrix around x = a is a unit matrix. Note that Smirnov investigated solutions to Eq.(.3 in [0] with the assumptions s i = 0, r i Z for all i. Now we study the condition that the regular singular point x = a is apparent. More precisely, we describe the condition that a differential equation of order two does not have logarithmic solutions at a regular singular point x = a (a for },

7 HERMITE-KRICHEVER ANSATZ FOR FUCHSIAN EQUATIONS 7 the case α α 1 Z, where α 1 and α are exponents at x = a. If α 1 = α, then the differential equation has logarithmic solutions at x = a. We assume that the exponents satisfy α α 1 = n Z 1. Since the point x = a is a regular singular, the differential equation is written as { d (.15 dx + p j (x a j 1 d } dx + q j (x a j f(x = 0, j=0 for some p j, q j C (j = 0, 1,.... Let F(t be the characteristic polynomial at the regular singular point x = a. Since exponents at x = a are α 1 and α, F(t is written as F(t = t +(p 0 1t+q 0 = (t α 1 (t α. We now calculate solutions to Eq.(.15 in the form (.16 f(x = c j (x a α1+j, j=0 where f(x is normalized to satisfy c 0 = 1. By substituting it into Eq.(.15 and comparing the coefficients of (x a α 1+j, we obtain the relations j 1 (.17 F(α 1 + jc j + {(α 1 + j p j j + q j j }c j = 0. j =0 If the positive integer j satisfies F(α 1 + j 0 (i.e. j 0, n, then the coefficient c j is determined recursively. For the case j = n, we have F(α 1 + n = 0 and (.18 j=0 n 1 {(α 1 + j p n j + q n j }c j = 0. j =0 Eq.(.18 with recursive relations (.17 for j = 1,..., n 1 is a necessary and sufficient condition that Eq.(.15 does not have a logarithmic solution for the case α α 1 = n Z 1. In fact, if p 0, q 0,..., p n, q n satisfy Eq.(.18, then there exist solutions to Eq.(.15 that include two parameters c 0 and c n. Thus any solutions are not logarithmic at x = a. Conversely, if Eq.(.18 is not satisfied, there exists a logarithmic solution written as f(x = j=0 c j(x a α1+j + log(x a j=n c j(x a α1+j. It follows from (δ i = b i, (δ i 0 and holomorphy of 3 ( (x e i li/ at x = ±δ i that, the monodromy matrix to Eq.(.1 around a regular singular point z = b i is a unit matrix, if and only if the monodromy matrix to Eq.(.1 around a regular singular point x = ±δ i is a unit matrix. It is obvious that, if the monodromy matrix to Eq.(.1 around a regular singular point z = b i is a unit matrix, then we have r i Z 0. In this paper we assume that r i Z >0 for all i... Integral representation and the Hermite-Krichever Ansatz. We introduce doubly-periodic functions to obtain an integral expression of solutions to Eq.(.3 (or Eq.(.1 for the case l i Z 0 (i = 0, 1,, 3, r i Z >0 (i = 1,...,M and the regular singular points z = b i (i = 1,...,M of Eq.(.1 are apparent. Proposition.1. Let v(x be the function defined in Eq.(.5. If l i Z 0 (i = 0, 1,, 3, r i Z >0 (i = 1,...,M and regular singular points z = b i (i = 1,..., M

8 8 KOUICHI TAKEMURA of Eq.(.1 are apparent, then the equation { d 3 (.19 d 4 (v(x E dx3 dx dv(x dx } Ξ(x = 0, has an even nonzero doubly-periodic solution that has the expansion (.0 Ξ(x = c 0 + l i 1 b (i j (x + ω i li j + j=0 M r i 1 j=0 d (i j ( (x (δ i r i j. Proof. First, we show a lemma that is related to the monodromy of solutions to Eq. (.1. Lemma.. If l 0, l 1, l, l 3 Z 0, then the monodromy matrix of Eq.(.1 around a point x = n 1 ω 1 + n 3 ω 3 (n 1, n 3 Z is a unit matrix. Proof. Due to periodicity, it is sufficient to consider the case x = ω i (i = 0, 1,, 3. We first deal with the case i = 1,, 3. The exponents at the singular point x = ω i (i = 1,, 3 are l i and l i +1. Because Eq.(.1 is invariant under the transformation x ω i (x ω i and the gap of the exponents at x = ω i (i.e. l i + 1 ( l i is odd, there exist solutions in the form f i,1 (x = (x ω i l i (1+ j=1 a j(x ω i j and f i, (x = (x ω i li+1 (1 + j=1 a j (x ω i j. Since the functions f i,1 (x and f i, (x form a basis for solutions to Eq.(.1 and they are non-branching around the point x = ω i, the monodromy matrix around x = ω i is a unit matrix. For the case i = 0, the exponents at x = 0 are l 0 M r i and l M r i, the gap of the exponents is odd, and similarly it is shown that the monodromy matrix around the point x = 0 is a unit matrix. Hence we obtain the lemma. We continue the proof of Proposition.1. Let M j (j = 1, 3 be the transformations obtained by the analytic continuation x x+ω j. It follows from double-periodicity of Eq.(.1 that, if f g (x is a solutions to Eq.(.1, then M j f g (x (j = 1, 3 is also a solution to Eq.(.1. From the assumption that regular singular points z = b i are apparent for all i, the monodromy matrix to Eq.(.1 around a regular singular point x = ±δ i is a unit matrix for all i. By combining with Lemma., it follows that all local monodromy matrices around any singular points are units. Hence the transformations M j do not depend on the choice of paths. From the fact that the fundamental group of the torus is commutative, we have M 1 M 3 = M 3 M 1. Recall that the operators M j act on the space of solutions to Eq.(.1 for each E, which is two dimensional. By the commutativity M 1 M 3 = M 3 M 1, there exists a joint eigenvector Λ g (x for the operators M 1 and M 3. It follows from Proposition. and the apparency of singular points that the function Λ g (x is single-valued and satisfies equations (H g E C g Λ g (x = 0, M 1 Λg (x = m 1 Λg (x and M 3 Λg (x = m 3 Λg (x for some m 1, m 3 C \ {0}. By changing parity x x, it follows immediately that (H g E C g Λ g ( x = 0, M 1 Λg ( x = m 1 1 Λ g ( x and M 3 Λg ( x = m 1 3 Λ g ( x. Then the function Λ g (x Λ g ( x is single-valued, even and doubly-periodic. We set Λ(x = Λ g (x/ψ g (x. Then Λ(x and Λ( x are solutions to Eq.(.3. Now consider the function Ξ(x = Λ g (x Λ g ( x/ψ g (x. Since the function Ψ g (x is single-valued, even and doubly-periodic, the function Ξ(x is single-valued, even (i.e. Ξ(x = Ξ( x, doubly-periodic (i.e. Ξ(x + ω 1 = Ξ(x + ω 3 = Ξ(x, and

9 satisfies the equation { d 3 HERMITE-KRICHEVER ANSATZ FOR FUCHSIAN EQUATIONS 9 d 4 (v(x E dx3 dx dv(x dx } Ξ(x = 0 that the products of any pair of solutions to Eq.(.3 satisfy. Since the function Ξ(x is an even doubly-periodic function that satisfies the differential equation (.19 and the exponents of Eq.(.19 at x = ω i (i = 0,..., 3 (resp. x = ±δ i (i = 1,...,M are l i, 1, l i + (resp. r i, 1, r i +, it is written as a rational function of variable (x, and it admits the expansion as Eq.(.0 by considering exponents. The function Ξ(x is calculated by substituting Eq.(.0 into the differential equation (.19 and solving simultaneous equations for the coefficients. We introduce an integral formula for a solution to the differential equation Eq.(.3 in use of the function Ξ(x. Set (.1 Q = Ξ(x (E v(x + 1 Ξ(xd Ξ(x dx 1 4 ( dξ(x. dx It follows from Eq.(.19 that dq dx = 1 ( Ξ(x 4 dξ(x (E v(x Ξ(xdv(x dx dx + d3 Ξ(x (. dx 3 Hence the value Q is independent of x. Proposition.3. Let Ξ(x be the doubly-periodic function defined in Proposition.1 and Q be the value defined in Eq.(.1. Then the function (.3 Λ(x = Qdx Ξ(x exp, Ξ(x is a solution to the differential equation (.3, and the function (.4 Λ g (x = Ψ g (x Qdx Ξ(x exp, Ξ(x is a solution to the differential equation (.1. Proof. From Eqs.(.3,.1 we have = 0. (.5 (.6 Λ (x Λ(x = 1 Ξ (x Ξ(x + Λ (x Λ(x = 1 Ξ (x Ξ(x 1 4 Q Ξ(x, ( Ξ (x Ξ(x Q = v(x E. Ξ(x Hence we have d Λ(x + v(xλ(x = EΛ(x. It follows from the equivalence of dx Eq.(.3 and Eq.(.1 that the function Λ g (x is a solution to Eq.(.1. Proposition.4. If Q 0, then the functions Λ(x and Λ( x are linearly independent and any solution to Eq.(.3 is written as a linear combination of Λ(x and Λ( x.

10 10 KOUICHI TAKEMURA Proof. It follows from Eq.(.5 and the evenness of the function Ξ(x that d dx (.7 Λ( x = 1 Ξ (x Q Λ( x Ξ(x Ξ(x. Hence we have (.8 Λ( x d d Q Λ(x Λ(x Λ( x = Λ(xΛ( x dx dx Ξ(x. If Λ(x and Λ( x are linearly dependent, then the l.h.s. of Eq.(.8 must be zero; however, this is impossible because Q 0. Hence the functions Λ(x and Λ( x are linearly independent. It follows from the invariance of Eq.(.3 with respect to the transformation x x that Λ( x is also a solution to Eq.(.3. Since solutions to Eq.(.3 form a two-dimensional vector space and the functions Λ(x and Λ( x are linearly independent, the functions Λ(x and Λ( x form a basis of the space of solutions to Eq.(.3, and any solution to Eq.(.3 is written as a linear combination of Λ(x and Λ( x. It follows from Proposition.4 that, if Q 0, then the functions Λ g (x and Λ g ( x are linearly independent, and any solution to Eq.(.1 is written as a linear combination of Λ g (x and Λ g ( x. From the formulae (.3,.4 and the doubly-periodicity of the functions Ξ(x and Ψ g (x, we have ωj +ε Qdx (.9 Λ(x + ω j = ±Λ(x exp, (j = 1, 3, 0+ε Ξ(x ωj +ε Qdx (.30 Λ g (x + ω j = ±Λ g (x exp, (j = 1, 3, Ξ(x 0+ε with ε a constant determined so as to avoid passing through the poles while integrating. The sign ± is determined by the analytic continuation of the function Ξ(x, and the integrations in Eqs.(.9,.30 may depend on the choice of the path. The function Λ(x may have branching points, althought the function Λ g (x does not have branching points and is meromorphic on the complex plane, because Λ g (x is a solution to Eq.(.1 and any singularity of Eq.(.1 is apparent. It follows from Eq.(.30 that there exists m 1, m 3 C such that (.31 Λ g (x + ω j = exp(π 1m j Λ g (x, (j = 1, 3. We now show that a solution to Eq.(.1 can be expressed in the form of the Hermite-Krichever Ansatz. We set (.3 Φ i (x, α = σ(x + ω i α σ(x + ω i exp(ζ(αx, (i = 0, 1,, 3, where σ(x (resp. ζ(x is the Weierstrass sigma (resp. zeta function. Then we have ( k ( k d d (.33 Φ i (x + ω j, α = exp( η j α + ω j ζ(α Φ i (x, α dx dx for i = 0, 1,, 3, j = 1,, 3 and k Z 0, where η j = ζ(ω j (j = 1,, 3.

11 HERMITE-KRICHEVER ANSATZ FOR FUCHSIAN EQUATIONS 11 Theorem.5. Set l 0 = l 0 + M r i Eq.(.4 is expressed as (.34 Λ g (x = exp (κx (i b j and l i = l i (i = 1,, 3. The function Λ g (x in li 1 j=0 j=0 b(i j ( j d Φ i (x, α dx for some values α, κ and (i = 0,..., 3, j = 0,..., l i 1, or li ( j d (.35 Λ g (x = exp ( κx c + b(i j (x + ω i + dx (x c i (x e i (i for some values κ, c, c i (i = 1,, 3 and b j (i = 0,...,3, j = 0,..., l i. If the function Λ g (x is expressed as Eq.(.34, then (.36 else (.37 Proof. Set (.38 Λ g (x + ω j = exp( η j α + ω j ζ(α + κω j Λ g (x, (j = 1, 3, Λ g (x + ω j = exp( κω j Λ g (x, (j = 1, 3. α = m 1 ω 3 + m 3 ω 1, where m 1 and m 3 are determined in Eq.(.31. If α 0 (mod ω 1 Z ω 3 Z, then we set (.39 κ = ζ(m 1 ω 3 m 3 ω 1 m 1 η 3 + m 3 η 1. It follows from Legendre s relation η 1 ω 3 η 3 ω 1 = π 1/ and the relation ζ( α = ζ(α that ( k d (.40 exp(κ(x + ω j Φ i (x + ω j, α dx = exp( η j α + ω j (ζ(α + κ exp(κx ( k d Φ i (x, α dx = exp(m 1 (η j ω 3 η 3 ω j + m 3 (η 1 ω j η j ω 1 exp(κx = exp(π ( k d 1m j exp(κx Φ i (x, α dx ( k d Φ i (x, α dx for i = 0, 1,, 3, j = 1, 3 and k Z 0. Hence the function Λ g (x and the functions exp(κx ( d k dx Φi (x, α have the same periodicity with respect to periods (ω 1, ω 3. Since the meromorphic function Λ g (x satisfies Eq.(.1, the regular singular point x = ±δ i (i = 1,...,M is apparent, and the exponents at x = ±δ i are 0 and r i +1, it is holomorphic except for Zω 1 Zω 3 and has a pole of degree l i or zero of degree li + 1 at x = ω i (i = 0, 1,, 3. The function exp(κx ( d k dx Φi (x, α has a pole of degree k + 1 at x = ω i. By subtracting the functions exp(κx ( d k dx Φi (x, α from the function Λ g (x to erase the poles, we obtain a holomorphic function that has the same periods as Φ 0 (x, α, and must be zero, because if we denote the holomorphic function by f(x, then f(x/(exp(κxφ 0 (x is doubly-periodic and have only one

12 1 KOUICHI TAKEMURA pole of degree one in a fundamental domain, and f(x must be zero. Hence we obtain the expression (.34. The periodicity (see Eq.(.36 follows from Eq.(.40. If α 0 (mod ω 1 Z ω 3 Z (i.e. m 1 ω 3 m 3 ω 1 (mod ω 1 Z ω 3 Z, then we set (.41 κ = m 1 η 3 + m 3 η 1. The function Λ g (x and the function exp( κx have the same periodicity with respect to periods (ω 1, ω 3. Hence the function Λ g (x exp( κx is doubly periodic, and we obtain the expression (.35 by considering the poles. Periodicity (see Eq.(.37 follows immediately. We investigate the situation that Eq.(.1 has a non-zero solution of an elliptic function. Let F ǫ1,ǫ 3 and F ǫ1,ǫ 3 (ǫ 1, ǫ 3 {±1} be the spaces defined by (.4 (.43 F ǫ1,ǫ 3 = {f(x; meromorphic f(x + ω 1 = ǫ 1 f(x, f(x + ω 3 = ǫ 3 f(x}, f(xψ g (x F ǫ1,ǫ 3, f(xψ g (x is holomorphic F ǫ1,ǫ 3 = f(x except for Zω 1 Zω 3, and the degree of the pole at {, li, i = 1,, 3, x = ω i is no more than l 0 + M r i, i = 0. where (ω 1, ω 3 are basic periods of elliptic functions. Then F ǫ1,ǫ 3 is a finitedimensional vector space. Note that, if a solution f(x to Eq.(.3 satisfies the condition f(x+ω 1 Ψ g (x+ω 1 = ǫ 1 f(xψ g (x and f(x+ω 3 Ψ g (x+ω 3 = ǫ 3 f(xψ g (x for some ǫ 1, ǫ 3 {±1}, then we have f(x F ǫ1,ǫ 3, because the position of the poles and their degree are restricted by the differential equation. Proposition.6. Assume that Eq.(.3 has a non-zero solution in the space F ǫ1,ǫ 3 for some ǫ 1, ǫ 3 {±1}. Then the signs (ǫ 1, ǫ 3 are determined uniquely for each E, s i (i = 1,...,M etc. Proof. Assume that Eq.(.3 has a non-zero solution in both the spaces F ǫ1,ǫ 3 and F ǫ 1,ǫ. Let f 3 1(x (resp. f (x be the solution to the differential equation (.3 in the space F ǫ1,ǫ 3 (resp. the space F ǫ 1,ǫ. Then periodicity of the function f 3 1(xΨ g (x and f (xψ g (x is different, more precisely there exists j {1, 3} such that { f1 (x + ω (.44 j Ψ g (x + ω j = ±f 1 (xψ g (x, f (x + ω j Ψ g (x + ω j = f (xψ g (x. Then the functions f 1 (x and f (x are linearly independent. Since the functions f 1 (x and f (x satisfy Eq.(.3, we have d (f dx (xf 1 (x f 1(xf (x = f (xf 1 (x f 1 (xf (x = 0. Therefore f (xf 1(x f 1 (xf (x = C for constants C, and C is nonzero, which follows from linear independence. By Eq.(.44, the function (f (xf 1(x f 1 (xf (xψ g(x is anti-periodic with respect to the period ω j, but it contradicts to C 0. Hence, we proved that Eq.(.3 does not have a non-zero solution in both the spaces F ǫ1,ǫ 3 and F ǫ 1,ǫ. 3 Proposition.7. If Q = 0, then we have Λ(x F ǫ1,ǫ 3 for some ǫ 1, ǫ 3 {±1}. Proof. It follows from Eq.(.3 and the double-periodicity of the function Ξ(xΨ g (x that (.45 (Λ(x + ω j Ψ g (x + ω j = Ξ(x + ω j Ψ g (x + ω j = Ξ(xΨ g (x = (Λ(xΨ g (x,

13 HERMITE-KRICHEVER ANSATZ FOR FUCHSIAN EQUATIONS 13 for j = 1, 3. Hence Λ(x + ω j Ψ g (x + ω j = ±Λ(xΨ g (x (j = 1, 3 and we have Λ(x F ǫ1,ǫ 3 for some ǫ 1, ǫ 3 {±1}. It follows from Proposition.1 that the dimension of the space of solutions to Eq.(.19, which are even doubly-periodic, is no less than one. Since the exponents of Eq.(.19 at x = 0 are l 0, 1 and l 0 +, the dimension of the space of even solutions to Eq.(.19 is at most two. Hence, the dimension of the space of solutions to Eq.(.19, which are even doubly-periodic, is one or two. Proposition.8. Assume that the dimension of the space of solutions to Eq.(.19, which are even doubly-periodic, is two for some eigenvalue E. Then all solutions to Eq.(.3 for the eigenvalue E are contained in the space F ǫ1,ǫ 3 for some ǫ 1, ǫ 3 {±1}. Proof. Since the differential equation (.3 is invariant under the change of parity x x and exponents at x = 0 are even one and odd one, a basis of the solutions to Eq.(.3 is taken as f e (x and f o (x such that f e (x (resp. f o (x satisfies f e ( x = f e (x (resp. f o ( x = f o (x. Then the functions f e (x and f o (x are even and they are solutions to Eq.(.19. Since the dimension of the space of even solutions to Eq.(.19 is at most two, and the dimension of the space of solutions to Eq.(.19, which are even doubly-periodic, is two, the even functions f e (x and f o (x must be doubly-periodic. Hence (f e (x + ω j Ψ g (x + ω j = (f e (xψ g (x (j = 1, 3 and it follows that f e (x + ω j Ψ g (x + ω j = ±f e (xψ g (x (j = 1, 3. Therefore we have f e (x F ǫ1,ǫ 3 for some ǫ 1, ǫ 3 {±1}. Similarly we have f o (x F ǫ 1,ǫ for some 3 ǫ 1, ǫ 3 {±1}, and it follows from Proposition.6 that ǫ j = ǫ j (j = 1, 3. Since f e (x and f o (x are a basis of solutions to Eq.(.3, all solutions to Eq.(.3 are contained in the space F ǫ1,ǫ 3. Proposition.9. If M = 0 or (M = 1 and r 1 = 1, then the dimension of the space of solutions to Eq.(.19, which are even doubly-periodic, is one for all E. Proof. Assume that the dimension of the space of solutions to Eq.(.19, which are even doubly-periodic, is two. From Proposition.8, all solutions to Eq.(.3 are contained in the space F ǫ1,ǫ 3 for some ǫ 1, ǫ 3 {±1}. Since the differential equation (.1 is invariant under the change of parity x x and exponents at x = 0 are even one and odd one, a basis of the solutions to Eq.(.1 can be taken as f e (x and f o (x such that f e (x (resp. f o (x is even (resp. odd function. From the assumption that l i Z (i = 0, 1,, 3 and that regular singular points b i are apparent (i = 1,...,M, the functions f e (x and f o (x are meromorphic. Since the function f e (x (resp. f o (x satisfies Eq.(.1, it does not have poles except for Zω 1 Zω 3. Hence the function f e (x admits the expression f e (x = 1 (x β 1 (x β 3 (x β 3 (P (1 ( (x + (xp ( ( (x, where i (x (i = 1,, 3 are co- functions and P (1 (z, P ( (z are polynomials in z. Since the function f e (x is even, we have P (1 (z = 0 or P ( (z = 0. By combining with the relation (z = 1 (z (z 3 (z, the function f e (x is expressed as (.46 f e (x = 1 (x β 1 (x β 3 (x β 3 P e ( (x, where P e (z is a polynomial in z. Because the exponents of Eq.(.1 at x = ω i (i = 1,, 3 are l i and l i + 1, we have β i { l i, l i + 1} (i = 1,, 3. Similarly the function f o (x is expressed as (.47 f o (x = 1 (x β 1 (x β 3 (x β 3 Po ( (x,

14 14 KOUICHI TAKEMURA where P o (z is a polynomial in z and β i { l i, l i + 1}. Since ( x = (x, i ( x = i (x (i = 1,, 3 and the parity of functions f e (x and f o (x is different, we have β 1 +β +β 3 β 1 +β +β 3 (mod. Since f e(x+ ω 1 = ( 1 β +β 3 f e (x, f o (x + ω 1 = ( 1 β +β 3 fo (x, f e (x + ω 3 = ( 1 β 1+β f e (x, f o (x+ω 3 = ( 1 β 1 +β fo (x, we have β +β 3 β +β 3 (mod and β 1+β β 1 +β (mod. Hence we have β i β i (mod for i = 1,, 3. Therefore (β i, β i = ( l i, l i +1 or (β i, β i = (l i + 1, l i for each i {1,, 3}. Let β 0 (resp. β 0 be the exponent of the function f e (x (resp. f o (x at x = 0. Since the parity of functions f e (x and f o (x is different and the exponents of Eq.(.1 at x = 0 are l 0 M r i and l M r i, we have (β 0, β 0 = ( l 0 M r i, l M r i or (β 0, β 0 = (l M r i, l 0 M r i. Since the function f e (x is doubly-periodic with periods (4ω 1, 4ω 3, the sum of degrees of zeros of f e (x on the basic domain is equal to the sum of degrees of poles of f e (x. Since the function f e (x does not have poles except for Zω 1 Zω 3, we have 3 β i 0. Similarly we have 3 β i 0. Hence 0 3 (β i + β i = r i. 4 M r i. Therefore we have M Thus we obtain that, if M = 0 or (M = 1 and r 1 = 1, then the dimension of the space of solutions to Eq.(.19, which are even doubly-periodic, is one. Note that the case M = 0 corresponds to Heun s equation, and the case M = 1 and r 1 = 1 is related with the sixth Painlevé equation. Example 1. Let us consider the following differential equation: { ( ( } d (x (x d ( f(x = 0. dx dx (x + g 1 (x g 1 This equation corresponds to the case l 0 = 1, l 1 = l = l 3 = 0, M = and r 1 = r = 1, if g 0. From the relation (.49 (x (x + g 1 + (x (x g 1 = (x (x, a basis of the solutions to Eq.(.48 is 1, (x. The dimension of the solutions to Eq.(.19, which are even doubly-periodic, is two, and a basis of the solutions to Eq.(.19 is written as 1/ (x, (x / (x, (x/ (x. Proposition.10. Assume that the dimension of the space of the solutions to Eq.(.19, which are even doubly-periodic, is one. Let c 0 and b (i j be constants defined in Eq.(.0. (i If there exists a non-zero solution to Eq.(.3 in the space F ǫ1,ǫ 3 for some ǫ 1, ǫ 3 {±1}, then we have Q = 0. (ii If Q 0 and l i 0, then the function Λ(x has a pole of degree l i and b (i 0 0. (iii If Q 0 and l i = 0, then Λ(ω i 0 and Ξ(ω i 0. If Q 0 and l 0 = l 1 = l = l 3 = 0, then c 0 0. Proof. First we prove (i. Suppose that there exists a non-zero solution to Eq.(.3 in the space F ǫ1,ǫ 3 and Q 0. From the condition Q 0, the functions Λ(x and Λ( x form the basis of the space of the solutions to the differential equation (.3. Since there is a non-zero solution to Eq.(.3 in the space F ǫ1,ǫ 3, there exist constants

15 HERMITE-KRICHEVER ANSATZ FOR FUCHSIAN EQUATIONS 15 (C 1, C (0, 0 such that C 1 Λ(x + C Λ( x F ǫ1,ǫ 3. By shifting x x + ω j (j = 1, 3, it follows from Eq.(.31 that (.50 (C 1 Λ(x + ω j + C Λ( (x + ω j Ψ g (x + ω j = C 1 Λ(x + ω j Ψ g (x + ω j ± C Λ( x ω j Ψ g ( x ω j = C 1 exp(π 1m j Λ(xΨ g (x ± C exp( π 1m j Λ( xψ g ( x = (C 1 exp(π 1m j Λ(x + C exp( π 1m j Λ( xψ g (x, where the sign ± is determined by the branching of the function Ψ g (x, and the function C 1 exp(π 1m j Λ(x+C exp( π 1m j Λ( x also satisfies Eq.(.3. On the other hand, it follows from the definition of the space F ǫ1,ǫ 3 that (C 1 Λ(x+ω j + C Λ( (x + ω j Ψ g (x + ω j = (C 1 Λ(x + C Λ( xψ g (x or (C 1 Λ(x + ω j + C Λ( (x + ω j Ψ g (x + ω j = (C 1 Λ(x + C Λ( xψ g (x. By comparing two expressions, we have exp(π 1m j {±1} (j = 1, 3 and the periodicities of the functions Λ(xΨ g (x and (C 1 Λ(x + C Λ( xψ g (x coincide. Thus Λ(x, Λ( x F ǫ1,ǫ 3. The functions Λ(x and Λ( x are even doubly-periodic function and satisfy Eq.(.19, because they are the products of a pair of solutions to Eq.(.3. Since the functions Λ(x and Λ( x are linearly independent, the functions Λ(x and Λ( x are linearly independent. Hence the dimension of the space of solutions to Eq.(.3, which are even doubly-periodic, is no less than two, and contradict the assumption of the proposition. Therefore the supposition Q 0 is false, and we obtain (i. Next we show (ii. Assume that l i 0. Since the exponents of Eq.(.3 at x = ω i are l i or l i + 1, the function Λ(x has a pole of degree l i or a zero of degree l i + 1 at x = ω i. It follows from the periodicity (see Eq.(.31 that, if the function Λ(x has a zero at x = ω i, then Λ(x has also a zero at x = ω i. Hence the function Λ( x has a zero at x = ω i. From the assumption Q 0, any solution to Eq.(.3 is written as a linear combination of functions Λ(x and Λ( x. But it contradicts that one of the exponents at x = ω i is l i. Hence the function Λ(x has a pole of degree l i. Since the dimension of the space of the solutions to Eq.(.3, which are even doubly-periodic, is one, we have Ξ(x = CΛ(xΛ( x for some non-zero constant C and b (i 0 0. (iii is proved similarly by showing that the function Λ(x does not have zero at x = ω i. By combining Propositions.7 and.10 (i we obtain the following proposition: Proposition.11. Assume that the dimension of the space of solutions to Eq.(.19, which are even doubly-periodic, is one. Then the condition Q = 0 is equivalent to that there exists a non-zero solution to Eq.(.3 in the space F ǫ1,ǫ 3 for some ǫ 1, ǫ 3 {±1}. We show that the function Λ(x admits an expression of the Bethe Ansatz type. Proposition.1. Set l = 3 l i + M r i, l 0 = l 0 + M r i and l i = l i (i = 1,, 3. Assume that Q 0 and the dimension of the space of the solutions to Eq.(.19, which are even doubly-periodic, is one. (i The function Λ g (x in Eq.(.4 is expressed as (.51 Λ g (x = C 0 l j=1 σ(x t j σ(x l 0σ1 (x l 1σ (x l σ3 (x l 3 exp (cx,

16 16 KOUICHI TAKEMURA for some t 1,..., t l, c and C 0 ( 0 such that t j 0 (mod ω 1 Z ω 3 Z for all j, where σ i (x (i = 1,, 3 are co-sigma functions. (ii t j + t j 0 (mod ω 1 Z ω 3 Z for 1 j < j l. (iii If t j ±δ i (mod ω 1 Z ω 3 Z for all i {1,...,M}, then we have t j t j (mod ω 1 Z ω 3 Z for all j ( j. (iv If t j ±δ i (mod ω 1 Z ω 3 Z, then #{j t j t j (mod ω 1 Z ω 3 Z} = r i +1. (v If l 0 0 (resp. l 0 = 0, then we have c = l ζ(t j (resp. c = l ζ(t j + Q/Ξ(0. (Note that it follows from Proposition.10 (iii that Q/Ξ(0 is finite. (vi Set z = (x and z j = (t j. Then dξ(x (.5 dz = Q z=zj (t j. Proof. Let α be the value defined in Eq.(.38. First, we consider the case α 0 (mod ω 1 Z ω 3 Z. Let κ be the value defined in Eq.(.39. Then the function Λ g (x/ (exp(κxφ 0 (x, α is meromorphic and doubly-periodic. Hence there exists a 1,..., a l, b 1,...,b l such that a a l = b b l and Λ g (x/ (exp(κxφ 0 (x, α = l j=1 σ(x a j l j=1 σ(x b j. For the case α 0 (mod ω 1 Z ω 3 Z the function Λ g (x/ exp( κx is similarly expressed as Λ g (x/ exp( κx = l j=1 σ(x a j l j=1 σ(x b j. Since the function Λ g (x satisfies Eq.(.1, it does not have poles except for ω 1 Z ω 3 Z and we have (.53 Λ g (x = C 0 l j=1 σ(x t j σ(x l 0σ1 (x l 1σ (x l σ3 (x l 3 exp (cx, for some t 1,...,t l, c and C 0 ( 0. It follows from Proposition.10 (ii and (iii that t j 0 (mod ω 1 Z ω 3 Z. Therefore we obtain (i. Suppose that t j +t j 0 (mod ω 1 Z ω 3 Z for some j and j ( j, From Eq.(.51 and t j t j (mod ω 1 Z ω 3 Z, we have Λ g (t j = Λ g ( t j = 0. Since Q 0, all solutions to Eq.(.1 are written as linear combinations of Λ g (x and Λ g ( x. Hence t j is a zero for all solutions to Eq.(.1, but they contradict that one of the exponents at x = t j is zero. Therefore we obtain (ii. If t j ±δ i, ω i (mod ω 1 Z ω 3 Z for all i and i, then the exponents of Eq.(.1 at x = t j are 0 and 1, and x = t j is a zero of Λ g (x of degree one. Incidentally, the exponents of Eq.(.1 at x = ±δ i are 0 and r i + 1. Hence, if t j ±δ i (mod ω 1 Z ω 3 Z, then x = t j is a zero of Λ g (x of degree r i + 1. Thus we obtain (iii and (iv. It follows from Eq.(.51 and Λ g (x = Ψ g (xλ(x that (.54 Λ (x Λ(x = c l 0 σ (x σ(x li σ i(x σ i (x + l j=1 σ M (x t j σ(x t j r i (x (x (δ i.

17 HERMITE-KRICHEVER ANSATZ FOR FUCHSIAN EQUATIONS 17 By expanding Eq.(.5 at x = 0 and observing coefficient of x 0, we obtain l Q (.55 c ζ(t j = Ξ(x, x=0 j=1 because the functions σ (x/σ(x, σ i (x/σ i(x, (x/( (x (δ i and Ξ (x/ξ(x are odd and σ ( t/σ( t = ζ(t. It follows from Q 0 and Proposition.10 that, if l 0 0, then Q/Ξ(x x=0 = 0, and if l 0 = 0, then Q/Ξ(x x=0 is finite. Thus we obtain (v. We show (vi. The function Λ(xΛ( x is even doubly-periodic and satisfies Eq.(.19, because it is a product of the solutions to Eq.(.3. Since the dimension of the space of the solutions to Eq.(.3, which are even doubly-periodic, is one, we have Ξ(x = CΛ(xΛ( x for some non-zero constant C. Hence we have Ξ(t j = Ξ( t j = 0. On the other hand, we have Λ( t j 0 from (ii. At x = t j, the l.h.s. of Eq.(.5 is finite, and the denominator of the r.h.s. is zero. Therefore we have (.56 Ξ (x x= tj + Q = 0. By changing the variable z = (x and the oddness of the function (x, we obtain (vi. Note that Gesztesy and Weikard [8] obtained a similar expression to Eq.(.51 in the framework of Picard s potential. 3. The case M = 1, r 1 = 1 and Painlevé equation 3.1. We consider Eq.(.1 for the case M = 1, r 1 = 1. For this case, Eq.(.1 is written as (3.1 (H g Ẽf g(x = 0, where (3. We set (3.3 (3.4 (3.5 H g = d dx + (x d (x (δ 1 dx + s 1 (x (δ 1 + l i (l i + 1 (x + ω i. Ψ g (x = (x (δ 1, b 1 = (δ 1, s 1 l i µ 1 = 4b 3 1 g + b 1 g 3 (b 1 e i, p = Ẽ (l 1l e 3 + l l 3 e 1 + l 3 l 1 e + l i (l i e i + (e i + b 1. The condition that, the regular singular points x = ±δ 1 is apparent, is written as { } p = (4b 3 1 g b 1 g 3 µ l i + 1 ( µ 1 b 1 e i b 1 (l 1 + l + l 3 l 0 (l 1 + l + l 3 + l

18 18 KOUICHI TAKEMURA From now on we assume that l 0, l 1, l, l 3 Z 0 and the eigenvalue Ẽ satisfies Eqs.(3.5, 3.6. Then the assumption in Proposition.1 is true, and propositions and theorem in the previous section are valid. The function Ξ(x in Proposition.1 is written as (3.7 Ξ(x = c 0 + d 0 ( (x (δ 1 + l i 1 j=0 b (i j (x + ω i l i j. It follows from Proposition.9 that the function Ξ(x is determined uniquely up to multiplicative constant. Ratios of the coefficients c 0 /d 0 and b (i j /d 0 (i = 0, 1,, 3, j = 0,...,l i 1 are written as rational functions in variables b 1 and µ 1, because the coefficients b (i j, c 0 and d 0 satisfy linear equations whose coefficients are rational functions in b 1 and µ 1, which are obtained by substituting Eq.(3.7 into Eq.(.19. The value Q is calculated by Eq.(.1 and it is expressed as a rational function in b 1 and µ 1 multiplied by d 0. It is shown by observing asymptotic µ 1 that Q is not identically zero. By an appropriate choice of d 0, Q is expressed as a polynomial in b 1 and µ 1. We set (3.8 Λ g (x = Ψ g (x Qdx Ξ(x exp. Ξ(x Due to Proposition.3, the function Λ g (x is a solution to the differential equation (3.1. By Theorem.5, the eigenfunction Λ g (x is also expressed in the form of the Hermite-Krichever Ansatz. Namely, it is expressed as (3.9 or (3.10 Λ g (x = exp (κx Λ g (x = exp ( κx c + li 1 li j=0 j=0 b(i j b(i j ( j d Φ i (x, α dx ( j d (x + ω i + dx (x c i (x e i where l 0 = l and l i = l i (i = 1,, 3. Now we investigate the values α and κ in Eq.(3.9. Note that, if α 0 (mod ω 1 Z ω 3 Z, then the function Λ g (x is expressed as Eq.(3.9 and we have (3.11 Λ g (x + ω j = exp( η j α + ω j ζ(α + κω j Λ g (x, (j = 1, 3. Proposition 3.1. Assume that M = 1, r 1 = 1, l 0, l 1, l, l 3 Z 0 and the value p satisfies Eq.(3.6. Let α and κ be the values determined by the Hermite-Krichever Ansatz (see Eq.(3.9. Then (α is expressed as a rational function in variables b 1 and µ 1, (α is expressed as a product of Q and a rational function in variables b 1 and µ 1, and κ is expressed as a product of Q and a rational function in variables b 1 and µ 1. Proof. It follows from Eqs.(.51, A.4, A.7 that ( l (3.1 Λ g (x + ω j = exp (η j t j + l i ω i + ω j (c j =1 l i η i Λ g (x,

19 HERMITE-KRICHEVER ANSATZ FOR FUCHSIAN EQUATIONS 19 for j = 1, 3, where l = l 0 + l 1 + l + l By comparing with Eq.(3.11, we have (3.13 η 1 α + ω 1 (ζ(α + κ = η 1 ( l j =1 t j (3.14 η 3 α + ω 3 (ζ(α + κ = η 3 ( l j =1 t j l i ω i + ω 1 (c l i ω i + ω 3 (c l i η i + π 1n 1, l i η i + π 1n 3, for integers n 1, n 3. It follows that ( ( l (3.15 α t j l i ω i ( η 1 ω 3 + η 3 ω 1 = π 1(n 1 ω 3 n 3 ω 1, (3.16 ( j =1 ζ(α + κ c + l i η i (η 3 ω 1 η 1 ω 3 = π 1(n 1 η 3 n 3 η 1. From Legendre s relation η 1 ω 3 η 3 ω 1 = π 1/, we have l (3.17 α t j l i ω i (mod ω 1 Z ω 3 Z. j =1 Combining Eqs.(3.15, 3.16 with Proposition.1 (v and relations ζ(α + ω j = ζ(α + η j (j = 1, 3, we have ( l l Q (3.18 κ = ζ t j l i ω i + ζ(t j l i η i + δ l0,0 Ξ(0. j =1 Next, we investigate values (α, (α and κ. The functions ( l j=1 t j 3 l iω i, ( l j=1 t j 3 l iω i and ζ( l j=1 t j 3 l iω i l j=1 ζ(t j+ 3 l iη i are doublyperiodic in variables t 1,...,t l. Hence by applying addition formulae of elliptic functions and considering the parity of functions (x, (x and ζ(x, we obtain the expression (3.19 ( l t j j=1 ( l j=1 t j ( l ζ t j = j=1 j 1 <j < <jm m: odd l i ω i = l i ω i = l i ω i j 1 <j < <jm m: even j 1 <j < <jm m: odd l ζ(t j + j=1 j =1 f (1 j 1,...,j m ( (t 1,..., (t l (t j1... (t jl, f ( j 1,...,j m ( (t 1,..., (t l (t j1... (t jl, l i η i f (3 j 1,...,j m ( (t 1,..., (t l (t j1... (t jl, where f (i j 1,...,j m (x 1,...,x l (i = 1,, 3 are rational functions in x 1,...,x l. From Eq.(.5, the function (t j / Q is expressed as a rational function in b 1, µ 1 and

20 0 KOUICHI TAKEMURA (t j. Hence, ( l j=1 t j 3 l iω i, ( l j=1 t j 3 l iω i / Q and (ζ( l j=1 t j 3 l iω i l j=1 ζ(t j + 3 l iη i / Q are expressed as rational functions in the variable (t 1,..., (t l, b 1 and µ 1, and they are symmetric in (t 1,..., (t l. Since the dimension of the space of the solutions to Eq.(.3, which are even doublyperiodic, is one, we have Ξ(x = CΛ(xΛ( x for some non-zero scalar C. Hence, we have the following expression; (3.0 Ξ(xΨ g (x = for some value D( 0. Thus D l j=1 ( (x (t j ( (x e 1 l 1 ( (x e l ( (x e3 l 3 (3.1 l ( (x (t j = Ξ(xΨ g (x ( (x e 1 l 1 ( (x e l ( (x e 3 l 3 /D. j=1 Hence, the elementary symmetric functions j 1 < <j (t l j 1... (t jl (l = 1,...,l are expressed as rational functions in b 1 and µ 1. By substituting elementary symmetric functions into the symmetric expressions of ( l j=1 t j 3 l iω i, ( l j=1 t j 3 l iω i and (ζ( l j=1 t j 3 l iω i l j=1 ζ(t j+ 3 l iη i / Q, it follows that ( l j=1 t j 3 l iω i, ( l j=1 t j 3 l iω i / Q and (ζ( l j=1 t j 3 l iω i l j=1 ζ(t j+ 3 l iη i / Q are expressed as rational functions in b 1 and µ 1. Hence, (α, (α/ Q and κ/ Q are expressed as rational functions in variables b 1 and µ 1. We now discuss the relationship between the monodromy preserving deformation of Fuchsian equations and the sixth Painlevé equation. For this purpose we recall some definitions and results of Painlevé equation. The sixth Painlevé equation is a non-linear ordinary differential equation written as (3. ( d λ 1 dt =1 λ λ λ t λ(λ 1(λ t t (t 1 ( ( dλ 1 dt t + 1 t dλ λ t dt { κ κ 0 t λ + κ 1 (t 1 (λ 1 + (1 κ t t(t 1 (λ t A remarkable property of this differential equation is that its solutions do not have movable singularities other than poles. This equation is also written in terms of a Hamiltonian system by adding the variable µ, which is called the sixth Painlevé system: (3.3 dλ dt = H V I µ, dµ dt = H V I λ, with the Hamiltonian H V I = 1 { λ(λ 1(λ tµ (3.4 t(t 1 {κ 0 (λ 1(λ t + κ 1 λ(λ t + (κ t 1λ(λ 1}µ + κ(λ t}, }.

21 HERMITE-KRICHEVER ANSATZ FOR FUCHSIAN EQUATIONS 1 where κ = ((κ 0 +κ 1 +κ t 1 κ /4. The sixth Painlevé equation for λ is obtained by eliminating µ in Eq.(3.3. Set ω 1 = 1/, ω 3 = τ/ and write (3.5 t = e 3 e 1 e e 1, λ = (δ e 1 e e 1. Then the sixth Painlevé equation is equivalent to the following equation (see [16, ]: (3.6 d δ dτ = 1 { ( κ 4π (δ + κ 0 δ + 1 ( + κ 1 δ + τ κ t (δ + τ }, where (z = ( / z (z. It is widely known that the sixth Painlevé equation is obtained by the monodnomy preserving deformation of a certain linear differential equation. Let us introduce the following Fuchsian differential equation: (3.7 where (3.8 (3.9 d y dw + p 1(w dy dw + p (wy = 0, p 1 (w = 1 κ 0 w + 1 κ 1 w κ t w t 1 w λ, κ p (w = w(w 1 t(t 1H V I w(w 1(w t + λ(λ 1µ w(w 1(w λ. This equation has five regular singular points {0, 1, t,, λ} and the exponents at w = λ are 0 and. It follows from Eq.(3.4 that the regular singular point w = λ is apparent. Then the sixth Painlevé equation is obtained by the monodromy preserving deformation of Eq.(3.3, i.e., the condition that the monodromy of Eq.(3.7 is preserved as deforming the variable t is equivalent to that µ and λ satisfy the Painlevé system (see Eq.(3.3, provided κ 0, κ 1, κ t, κ Z. For details, see [1]. Now we transform Eq.(3.7 into the form of Eq.(3.. We set (3.30 (3.31 w = (x e 1 e e 1, Then we obtain Eq.(3. by setting (3.3 (3.33 (3.34 y = f g (x 3 ( (x e i li/, t = e 3 e 1 e e 1, λ = b 1 e 1 e e 1, (δ 1 = b 1. κ 0 = l 1 + 1/, κ 1 = l + 1/, κ t = l 3 + 1/, κ = l 0 + 1/, µ = (e e 1 µ 1, κ = (l 1 + l + l 3 + l 0 + 1(l 1 + l + l 3 l 0, { } 1 p + κe3 H V I = + λ(1 λµ, t(1 t e e 1 (see Eqs.( , and Eq.(3.4 is equivalent to Eq.(3.6, that means that the apparency of regular singularity is inheritted. Mapping from the variable x to the variable w (see Eq.(3.30 is a double covering from the punctured torus (C/(ω 1 Z + ω 3 Z \ {0, ω 1, ω, ω 3 } to the punctured Riemann sphere P 1 \ {0, 1, t, }. A solution y(w to Eq.(3.7 corresponds to a solution f g (x to Eq.(3. by y(w = f g (x 3 ( (x e i li/. Hence the monodromy preserving deformation of Eq.(3.7 in t corresponds to the monodromy preserving deformation of Eq.(3. in τ.

22 KOUICHI TAKEMURA Now we consider monodromy preserving deformation in the variable τ (ω 1 = 1/, ω 3 = τ/ by applying solutions obtained by the Hermite-Krichever Ansatz for the case l i Z 0 (i = 0, 1,, 3. Let α and κ be values determined by the Hermite- Krichever Ansats (see Eq.(3.9. We consider the case Q 0. Then a basis for solutions to Eq.(.1 is given by Λ g (x and Λ g ( x, and the monodromy matrix with respect to the cycle x x + ω j (j = 1, 3 is diagonal. The elements of the matrix are obtained from Eq.(3.11. Hence, the eigenvalues exp(±( η j α+ω j ζ(α+κω j (j = 1, 3 of the monodromy matrices are preserved by the monodromy preserving deformation. We set (3.35 (3.36 η 1 α + ω 1 ζ(α + κω 1 = π 1C 1, η 3 α + ω 3 ζ(α + κω 3 = π 1C 3, for contants C 1 and C 3. By Legendre s relation, we have (3.37 (3.38 α = C 3 ω 1 C 1 ω 3, κ = ζ(c 1 ω 3 C 3 ω 1 + C 3 η 1 C 1 η 3, (see Eqs.(.38,.39. From Proposition 3.1, the value (α(= (C 3 ω 1 C 1 ω 3 is expressed as a rational function in variables b 1 and µ 1, the value (α(= (C 3 ω 1 C 1 ω 3 is expressed as a product of Q and a rational function in variables b 1 and µ 1, and the value κ(= ζ(c 1 ω 3 C 3 ω 1 + C 3 η 1 C 1 η 3 is expressed as a product of Q and rational function in variables b1 and µ 1. By solving these equations for b 1 and µ 1 and evaluating them into Eq.(3., the monodromy of the solutions on the cycles x x + ω j (j = 1, 3 is preserved for the fixed values C 1 and C 3. Let γ 0 be the path in the x-plane which is obtained by the pullback of the cycle turning the origin around anti-clockwise in the w-plane, where x and w are related with w = ( (x e 1 /(e e 1. Then the monodromy matrix on γ 0 with respect to the basis (Λ g (x, Λ g ( x is written as (3.39 (Λ g (x, Λ g ( x (Λ g ( x, Λ g (x = (Λ g (x, Λ g ( x ( and does not depend on τ. Since the fundamental group on the punctured Riemann sphere P 1 \ {0, 1, t, } is generated by the images of γ 0 and the cycles x x + ω j (j = 1, 3, Eqs.(3.37, 3.38 describe the condition for the monodromy preserving deformation on the punctured Riemann sphere by rewriting the variable τ to t. Summarizing, we have the following proposition. Proposition 3.. We set ω 1 = 1/, ω 3 = τ/ and assume that l i Z 0 (i = 0, 1,, 3 and Q 0. By solving the equations in Proposition 3.1 in variable b 1 = (δ 1 and µ 1, we express (δ 1 and µ 1 in terms of (α, (α and κ, and we replace (α, (α and κ with (C 3 ω 1 C 1 ω 3, (C 3 ω 1 C 1 ω 3 and ζ(c 1 ω 3 C 3 ω 1 + C 3 η 1 C 1 η 3. Then δ 1 satisfies the sixth Painlevé equation in the elliptic form (3.40 d δ 1 dτ = 1 8π { } (l i + 1/ (δ 1 + ω i. We observe the expressions of b 1 and µ 1 in detail for the cases l 0 = l 1 = l = l 3 = 0 and l 0 = 1, l 1 = l = l 3 = 0.,