Abstract
In light of the quantum Painlevé–Calogero correspondence, we investigate the inverse problem. We imply that this type of the correspondence (classical-quantum correspondence) holds true, and we find out what kind of potentials arise from the compatibility conditions of the related linear problems. The latter conditions are written as functional equations for the potentials depending on a choice of a single function—the left-upper element of the Lax connection. The conditions of the correspondence impose restrictions on this function. In particular, it satisfies the heat equation. It is shown that all natural choices of this function (rational, hyperbolic, and elliptic) reproduce exactly the Painlevé list of equations. In this sense, the classical-quantum correspondence can be regarded as an alternative definition of the Painlevé equations.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
The Painlevé equations (PI–PVI) discovered by P. Painlevé, R. Fuchs and B. Gambier [13, 15, 43] have been studied extensively during the last century [7, 20]. Their applications include self-similar reductions of nonlinear integrable partial differential equations [11], correlation functions of integrable models [3, 23], quantum gravity and string theory [5], topological field theories [8], 2D polymers [59], random matrices [12, 51] and stochastic growth processes [30], conformal field theories and KZ equations [14, 24], the AGT conjecture [10, 37] and spectral duality [38–40], to mention only a few applications and references.
As is known from classical works [13, 16, 44], the Painlevé equations describe the monodromy preserving deformations of a system of linear differential equations with rational coefficients. The monodromy approach was developed by H. Flaschka and A. Newell and by M. Jimbo, T. Miwa, K. Ueno [11, 21, 22, 25], see also [19]. At present, different types of linear problems are known (scalar [13, 16], 2\(\times \)2-matrix [21] (see also [32, 60]), 3\(\times \)3-matrix [9, 26], 8\(\times \)8-matrix [41], and higher-dimensional Lax pairs [35]).
We deal with the linear problems depending on a spectral parameter [7–43]:
where \(\mathbf{U},\mathbf{V}\in {sl}_2\) explicitly depend on the spectral parameter \(x\) and on the deformation parameter \(t\) (time variable) and contain an unknown function \(u(t)\) to be constrained by the condition that the two equations have a family of common solutions.Footnote 1 In fact, the latter is equivalent to the compatibility of the linear problems expressed as the zero curvature equation (integrability condition):
Set
The matrices \(\mathbf{U},\mathbf{V}\) are traceless, i.e., \(a+d=0\), \(A+D=0\). Then the zero curvature equation gives:
In [57, 58], by applying the diagonal gauge transformation \(\Omega =\hbox {diag}(\omega ,\omega ^{-1})\), we chose the matrices \(\mathbf{U}\), \(\mathbf{V}\) such that
Then the linear system (1.1) for the vector function \(\varvec{\Psi }=(\psi _1 , \psi _2)^\mathsf{t}\) can be reduced to two scalar equations for \(\psi :=\psi _1\):
where
and
The second equation in (1.5) has the form of a nonstationary Schrödinger equation in imaginary time with the potential \(U(x,t)\). It describes the isomonodromic deformations of the first one, and their compatibility implies the Painlevé equation (in the Calogero form) for the function \(u=u(t)\):
generated by the Hamiltonian \(H({\dot{u}},u,t)=\frac{1}{2}{\dot{u}}^2+{\tilde{V}}(u,t)\). The function \(u=u(t)\) is defined as a (simple) zero of the function \(b(x)\):
The second important condition we are going to use together with (1.4) is
where \(H({\dot{u}},u,t)\) is the classical Hamiltonian. The \(x\)-dependent part of the potential \(V(x,t)\) does not contain the dependent variable \(u\). Therefore, the second equation in (1.5) acquires the form
with
Notice that condition (1.4) can be easily satisfied by choosing a suitable gauge. However, together with (1.8), it becomes a nontrivial condition and leads to the quantum Painlevé–Calogero correspondence (see below), which relates the potentials of the classical problem \(\tilde{V}\) with \(V\) in the quantum one. It appears that the potentials differ only by “quantum corrections” of the coupling constants. Therefore, (1.9) is the quantization of (1.7) with the unit Planck constant.
In [57, 58], it was shown that there exists a choice of gauge and variables \((x,t)\) such that the nonstationary Schrödinger equation becomes a quantized Painlevé equation. Thus, the linear problem (1.1) leads to both classical and quantum Painlevé equations. The classical one is written in the variable \(u(t)\) and follows from the zero-curvature equation (1.1) valid for all \(x\). The quantum one is written in terms of the spectral parameter \(x\) for a component of the common solution \(\psi _1\) of the linear problems. We have called this construction the quantum Painlevé–Calogero correspondence. It is a quantum version of the classical correspondence introduced by A. Levin and M. Olshanetsky [31] and developed by K. Takasaki [49]. It should be mentioned that a phenomenon similar to the quantum Painlevé–Calogero correspondence was first observed by B. Suleimanov [46, 47] in terms of rational linear problems. See also S. Slavyanov’s papers [45].
Let us note that the phenomenon of the classical-quantum correspondence is also known in the theory of integrable systems in some other contexts. There are interrelations between classical and quantum problems of a simingly different type [1, 54, 55], where Bethe vectors of integrable quantum spin chains are related to some data of classical integrable many-body systems. A similarity between quantum transfer matrices and classical \(\tau \)-functions was pointed out in [27, 29, 56].
The aim of this paper is to address the inverse problem. We start with the system of scalar equations (1.5) and assume that the quantum Painlevé–Calogero correspondence takes place, i.e., equations (1.7)–(1.8) hold true. (In this paper, we refer to it as classical-quantum correspondence, since it is not clear initially which equations satisfy the conditions). Then we derive and solve functional equationsFootnote 2 for the potential \(V\) searching through possible choices of the function \(b\). In other words, we assume that the classical-quantum correspondence holds true and find out what kind of potentials arise from the compatibility conditions.
We prove the following:
Theorem 1.1
Let the compatibility condition for the system (1.5) with
and
be equivalent to
where \(u\) is defined as a simple zero of the function \(b(x,t)\): \(b(x,t)\left. \right| _{x=u}=0\). Then there are two possibilities:
1.
The function \(b(z,t)\) satisfies the heat equation
the quantum potential coincides with the classical one,
and satisfies the functional equation
where \(f(x,t)=b_x(x,t)/b(x,t)\).
2.
The function \(b(z,t)\) satisfies the heat equation
the classical and quantum potentials are related by
and \(V(x,t)\) satisfies the functional equation
where \(f(x,t)=b_x(x,t)/b(x,t)\).
The proof of the theorem is based on Propositions 3.1, 3.2, and 3.3. For possibilities different from (1.11) and (1.13), see the remark after (3.33) and Appendix A.
Solving equations (1.12) and (1.14), we get the following results: for the rational (in \(x\)) function \(b\), we obtain PI and PII from (1.12) and PIV from (1.14); for the hyperbolic, we obtain PIII from (1.12) and PV from (1.14). The most general equation PVI arises for the \(\theta \)-functional ansatz for \(b\) from (1.14), while the equation from (1.12) is shown to have only trivial solutions in this case.
Finally, it is shown that all natural choices of the function \(b\) (rational, hyperbolic, and elliptic) reproduce exactly the Painlevé list of equations. In this sense, the classical-quantum correspondence can be viewed as an alternative definition for the Painlevé equations.
The paper is organized as follows. In the next section, we recall the quantum Painlevé–Calogero correspondence. In Section 3, we derive the functional equations from (1.12) and (1.14) and then solve these equations in Sections 4-6. In the appendices, we give the definitions and identities for necessary elliptic functions, discuss some special cases of the \(b\)-function, and list the \(\mathbf{U}{-}\mathbf{V}\) pairs for PI–PV which are acceptable for the quantum Painlevé–Calogero correspondence.
2 Quantum Painlevé–Calogero Correspondence
The quantum Painlevé–Calogero correspondence states that for Painlevé equations, the nonstationary Baxter equation at \(\hbar =1\) represents a classical linear problem. Let us start from example.
2.1 Example of Painlevé V
The PV equation is conventionally written as:
where \(\alpha \), \(\beta , \gamma , \delta \) are parameters.Footnote 3 Making change of variable
together with
PV acquires the form
The later equation is Hamiltonian with \(H_\mathrm{V}(p, x)=\frac{p^2}{2}+V_\mathrm{V}(u,t)\), where
The zero curvature representation is known from [21]. It is rational in spectral parameter \(X\). As was shown in [57], the change
with (2.1) and (2.2) and some special gauge transformation brings the Jimbo–Miwa \(\mathbf{U}{-}\mathbf{V}\) pair to the one given in (C.1)–(C.4). Then the first component of the linear problem (1.1) \(\psi \) satisfies the nonstationary Schrödinger equation
and, therefore,
for \(\Psi (x,t)=e^{\int ^t H_\mathrm{V}^{(\alpha , \, \beta , \, \gamma ,\, \frac{1}{2} )} (\dot{u} , u)dt'}\psi (x,t)\); i.e., the linear problem admits the form of the quantized equation (in spectral parameter). Notice that the parameters \(\alpha \), \(\beta \) are shifted by \(\pm \frac{1}{8}\) in the quantum Hamiltonian.
2.2 Summary
The following theorem summarizes the results of [57, 58] for all Painlevé equations, see also the table of changes of variables below.
Theorem
[57, 58] For any of the six equations from the Painlevé list written in the Calogero form as classical nonautonomous Hamiltonian systems with time-dependent Hamiltonians \(H(p,u,t)\), there exists a pair of compatible linear problems
where \(\mathbf{U}\) and \(\mathbf{V}\) are \(sl_2\)-valued functions, \(x\) is a spectral parameter, \(t\) is the time variable and \(\{c_k\}=\{\alpha , \beta , \gamma , \delta \}\) is the set of parameters involved in the Painlevé equation, such that:
-
1)
The zero curvature condition
$$\begin{aligned} \partial _t\mathbf{U}-\partial _x \mathbf{V}+[\mathbf{U},\mathbf{V}]=0 \end{aligned}$$is equivalent to the Painlevé equation for the variable \(u\) defined as any (simple) zero of the right-upper element of the matrix \(\mathbf{U}(x,t)\) in the spectral parameter: \(\mathbf{U}_{12}(u, t)=0\);
-
2)
The function \(\Psi =e^{\int ^t H(\dot{u}, u,t')dt'}\psi _1\), where \(\psi _1\) is the first component of \(\varvec{\Psi }\), satisfies the nonstationary Schrödinger equation in imaginary time
$$\begin{aligned} \partial _t\Psi =\left( \frac{1}{2}\, \partial _x^2 +\tilde{V} (x,t) \right) \Psi \end{aligned}$$with the potential
$$\begin{aligned}&\tilde{V}(x,t)=V(x,t, \{\tilde{c}_k\}),\\&V(x,t, \{\tilde{c}_k\})-\left( \frac{1}{2}{\dot{u}}^2+V(u,t, \{c_k\})\right) = \frac{1}{2}\Bigl [\det (\mathbf{U})-\partial _x \mathbf{U}_{11}+2\mathbf{V}_{11}\Bigr ], \end{aligned}$$which coincides with the classical potential \(V(u,t)=V(u,t, \{c_k\})\) up to possible shifts of the parameters \(\{c_k\}\):
$$\begin{aligned} \begin{array}{l} (\tilde{\alpha }, \tilde{\beta }) =(\alpha , \beta +\frac{1}{2}) \quad \text{ for } \text{ PIV },\\ (\tilde{\alpha }, \tilde{\beta }, \tilde{\gamma }, \tilde{\delta })= \left( \alpha -\frac{1}{8}, \beta +\frac{1}{8}, \gamma , \delta \right) \quad \text{ for } \text{ PV },\\ (\tilde{\alpha }, \tilde{\beta }, \tilde{\gamma }, \tilde{\delta })= \left( \alpha -\frac{1}{8}, \beta +\frac{1}{8}, \gamma -\frac{1}{8}, \delta +\frac{1}{8}\right) \quad \text{ for } \text{ PVI }. \end{array} \end{aligned}$$
The list of changes of variables is summarized in the following table:
Equation | \(y(u,t)\) | \(T(t)\) | \(X(x,t)\) | \(\mathbf{U}_{12}(x,t)\) |
---|---|---|---|---|
PI | \(u\) | \(t\) | \(x\) | \(x-u\) |
PII | \(u\) | \(t\) | \(x\) | \(x-u\) |
PIV | \(u^2\) | \(t\) | \(x^2\) | \(x^2 -u^2\) |
PIII | \(e^{2u}\) | \(e^t\) | \(e^{2x}\) | \(2e^{t/2}\sinh (x-u)\) |
PV | \(\coth ^2 u\) | \(e^{2t}\) | \(\cosh ^2 x\) | \(2e^{t} \sinh (x\! -\! u)\sinh (x\! +\! u)\) |
PVI | \( \frac{\wp (u)-\wp (\omega _1)}{\wp (\omega _2)-\wp (\omega _1)}\) | \( \frac{\wp (\omega _3)-\wp (\omega _1)}{\wp (\omega _2)-\wp (\omega _1)}\) | \( \frac{\wp (x)-\wp (\omega _1)}{\wp (\omega _2)-\wp (\omega _1)} \) | \(\vartheta _1(x-u)\vartheta _1(x+u) h(u,t) \) |
Function \(h(u,t)\) for the PVI case can be found in [58]. Notice that the changes of variables given above can be derived in a general form from (1.4) and the requirement that the potential (1.6) could be presented as a sum of two parts depending on \(x,t\) and \(u,t\) separately. This calculation was made in [58] for the most general Painlevé VI equation. The appropriate \(\mathbf{U}{-}\mathbf{V}\) pairs for PI–PV are given in Appendix C.
3 The Scalar Linear Problems and Functional Equations
It was shown in [57, 58] that each of the six equations from the Painlevé list, hereinafter referred to as PI–PVI, written in the so-called Calogero form, can be obtained as integrability conditions for two Schrödinger-like equations
stationary and nonstationary. The time-dependent potentials \(W\) and \(V\) are related by
where \(H\) does not depend on \(x\) and \(b\) is some function of the spectral parameter \(x\) and time \(t\) to be chosen in such a way that the two linear problems are compatible for some \(V(x,t)\). Suppose it has a (simple) zero at the point \(x=u=u(t)\): \(b(u,t)=0\), and let \(V(x,t)\) be a function that depends on \(x,t\) in an explicit way only (i.e., \(V(x,t)\) does not contain \(u\)). Also let \(H\) be a function of \(u\) and \(\dot{u}\).
Remark
Note that function \(b\) may depend on \(t\) in two ways — explicit and implicit. The latter means the time dependence through the unknown functions of \(t\) (dependent variables). Writing \(\partial _t b\), we mean the derivative with respect to the explicit dependence only. For example, \(\partial _t(z-u)=0\). The lower index \(t\) means the same (\(\partial _t b(z,u(t),t)=b_t\)), while the dot is the full time derivative: \({\dot{b}}(z,u(t),t)={\dot{u}}\partial _u b+b_t\). The same notation is used for other functions depending on \(t\) and \(u(t)\) apart from \(\Psi \) in the linear problem (where the partial derivative symbols \(\partial _x\), \(\partial _t\) are traditionally used, but, in fact, the operator \(\partial _t\) acts as the full time derivative).
Combining equations (3.1), one can write another pair of linear problems whose compatibility implies the Painlevé equations:
(The first equation is the same, while the other one is a first-order equation.) Passing to the function \(\tilde{\Psi }=\Psi /\sqrt{b}\), we can write these linear problems in the Fuchs–Garnier form:
where we have introduced the function \(S =S(x,t)\) by the formula
Their integrability is equivalent to the condition
which implies
or
This equation is our main interest in this paper. In the next sections, we determine the potential \(V\) making one or another ansatz for \(b\).
Notice that the equation (3.7) can be obtained from the compatibility of initial matrix linear problem (1.3) with \({U}\) defined by (1.6). One can express all elements of \(\mathbf{U}\) and \(\mathbf{V}\) in terms of three functions \(a=\mathbf{U}_{11}\), \(b=\mathbf{U}_{12}\), and \({U}\):
The function \(a\) cancels out from compatibility condition (1.3).
Recall that the dynamical variable \(u\) is defined as a zero of the function \(b(x,t)=b(x,u(t),t)\): \(b(u,u,t)=0\). Suppose \(b\) is an analytical function near \(x=u\); then in the vicinity of \(x=u\),
Consider equation (3.7) at \(x=u\):
where we used that \({U}\!=\!V(x,t)\!-\!H({\dot{u}},u,t)\), and, therefore, it is a regular function at \(x=u\) and \(\left[ b{U}\right] (x=u)=0\). From the expansion (3.8), we get
Plugging this into (3.9), we obtain:
where
The latter expression is the “momentum.” Notice that this local evaluation at \(x=u\) fixes the dependence \(H({\dot{u}})\), since \(V(x,t)\) is independent of \({\dot{u}}\). We consider some nontrivial cases (\(v\ne \dot{u}\)) in Appendix A.
Let us find out what kind of restriction on the behavior of \(b=b(x,u(t),t)\) arises from the classical-quantum correspondence. First, recall that the quantum Hamiltonian which we use in (1.5), (3.1) has the form \(\hat{H}=\frac{1}{2}\partial _x^2+V(x,t)\). Therefore, the classical one is \(H(p_x,x,t)=\frac{1}{2}p_x^2+V(x,t)\). The classical-quantum correspondence implies that the classical equations for \(u(t)\) arising from the compatibility condition (1.2) (or (3.6) or (3.7)) are generated by \(H({\dot{u}}, u,t)\), which differs from \(H(p_x,x,t)\) by only possible “quantum corrections” of the potential. Thus, the classical Hamiltonian should have the “Calogero form,” i.e., \(H({\dot{u}}, u,t)=\frac{1}{2}{\dot{u}}^2+{\tilde{V}}(u,t)\). At the moment, we do not assume any relations between \(V(x,t)\) and \({\tilde{V}}(u,t)\). However, the Calogero form of the Hamiltonian provides some special properties of \(b(x,u(t),t)\).
Proposition 3.1
Let the compatibility condition (3.7) describe nonautonomous dynamics
generated by the Hamiltonian
Then \(b(x,u(t),t)\) factorizes into the product
and each of the factors satisfies the heat equation:
Proof
Substituting (3.11) and (3.12) into (3.7), we get an equation where the left-hand side. is quadratic in \(v=\dot{u}\) . Since \(v\) is an independent variable, all the coefficients in front of \(v^k\) (\(k=2,1,0\)) vanish. The coefficient in front of \(v^2\) gives (it comes from terms \(2b b_{xx}U\), \(-2b_x^2 U\), \(-\dot{b}^2\) and \(b\ddot{b}\) in (3.7))
or
which is equivalent to (3.13). The coefficient in front of \(v\) gives
or
Plugging (3.13) into (3.14), we obtain:
The variables \(x-u\) and \(x+u\) are independent. Therefore,
Then
where \(c(t)\) is the integration constant. The term with \(c(t)\) can be removed by the substitution \(b\rightarrow b e^{\int _t c(t)}\).\(\square \)
The coefficient in front of \(v^0\) gives rise to equations for \(V(x,t)\) and \({\tilde{V}}(u(t),t)\). We study these equations in the next sections.
3.1 One Simple Zero
Let us first consider the case when \(b\) has only a simple zero at \(u(t)\). The reason for this behavior of \(b(z,t)\) is partly explained in Section 6.2.
Proposition 3.2
Let \(b(z,t)\) satisfy the heat equation
and let \(u\) be a simple zero of the function \(b\): \(b(x-u,t)\left. \right| _{x=u}=0\). Then integrability condition (3.7) implies that
and
where \(f(x)=f(x,t)=b_x(x,t)/b(x,t)\) (for brevity we do not indicate the \(t\)-dependence of \(f\) explicitly). In particular, if \(f(x)=\frac{1}{x}+c_1x+c_3x^3+\cdots \), then
where \(V_t(u)=\partial _t V(u,t)\).
Proof
Direct substitution of \(b=b(x-u(t),t)\) into (3.6) together with (3.15) yields
Locally, \(f=\frac{b_x}{b}\sim \frac{1}{z-u}\). Therefore, the cancellation of the second-order pole leads to (3.16). At this stage, we have
From the last two terms, it is easy to see that the cancellation of the first-order term gives (3.17). Substituting (3.17) into the above equation, we get (3.18). The differential equations (3.19), (3.20) follow from the local expansion of (3.18) near \(x=u\). To be exact, (3.20) follows from (3.19) and \(V_t'''=\frac{3}{40}V^{(5)}+\frac{5}{2}c_1V'''+24c_3V'\). \(\square \)
In this proof, only the heat equation was used. In what follows, we need some more properties that follow from the heat equation.
Lemma 3.1
Let \(b\) satisfy the heat equation (3.15) and \(f=\partial _x \log b\). Then
Suppose also that \(b\) is an odd function of \(x\) and has a simple zero at \(x=0\). Then
Proof
The proof of (3.21) and (3.22) is direct. Identity (3.23) is proved via consideration of the local expansion and comparing of the poles taking into account (3.22). \(\square \)
3.2 Two Simple Zeros
Suppose \(b\) has two simple poles. Let us derive an analogue of (3.16)–(3.18) for this case.
Proposition 3.3
Let \(b=b_1(z,t)b_2(z,t)\), and let each factor satisfy the heat equation
Suppose that \(b_{1,2}\) has a simple zero \(u_{1,2}\): \(b_{1,2}(x-u_{1,2},t)\left. \right| _{x=u_{1,2}}=0\). Then equation (3.6) has the following solution:
where \(b(x,t)\) is an odd function of \(x\), \(f=\partial _x \log b\), and the potential satisfies
In particular, if \(f=\frac{1}{x}+c_1x+c_3x^3+\cdots \), then
Proof
The direct substitution leads to
From cancellation of the second-order poles, we get
Comparing these two expressions, one can see that (3.25) and (3.26) indeed satisfy (3.6). Then vanishing of the first-order poles at \(\pm u\) gives (3.27). Substituting (3.27) into (3.31), we get
All terms that do not contain \(V\) cancel because of (3.23), and we get (3.28). Differential equations (3.29), (3.30) follow from the local expansion of (3.28) near \(x=u\). \(\square \)
Remark
To investigate the case more general than (3.25), one should solve the equation emerging from equality of right-hand sides of (3.32) (see Appendix A).
Notice also that the right-hand side of (3.29) and (3.30) are full derivatives:
In particular, this leads to the following equation:
4 Rational Solutions
4.1 The Simplest Case: \(b=x-u(t)\)
The simplest possibility is to set
We will see that already this case is meaningful and leads to PI and PII equations.
In this case, integrability condition (3.18) turns into
or
It should be an identity for all \(x,u\) which enter here as independent variables on equal footing. The way to proceed is to take the third derivative of (4.3) with respect to \(x\). The result is
The equality holds identically if the coefficients in front of \(u^2\), \(u\), and the free term in \(u\) vanish. This implies the conditions
From the first equation, it follows that \(V_{t}(x)\) is a polynomial in \(x\) of second degree at most, while from the second one, it then follows that \(V(x)\) is a polynomial in \(x\) of fourth degree at most. There are three possibilities:
-
1)
\(V_{t}'(x)\equiv 0\); then \(V(x)\) is a quadratic polynomial \(V(x)=a_2 x^2 +a_1 x +a_0\) with \(\dot{a}_2 =\dot{a}_1 =0\). Plugging it into equation (4.3), we see that the equation holds identically for any constants \(a_2, a_1\), with the irrelevant free term \(a_0\) being an arbitrary function of \(t\). This is the potential for the harmonic oscillator.
-
2)
\(V_{t}''(x)\equiv 0\); then \(V(x)\) is a 3-d degree polynomial \(V(x)=a_3 x^3 +a_2 x^2 +a_1 x +a_0\) with \(\dot{a}_3 =\dot{a}_2 =0\). By rescaling and shift of the variable \(x\), we can set \(a_3=1\), \(a_2=0\). The free term, \(a_0\), is irrelevant since it cancels in equation (4.3). Plugging the potential in the form \(V(x)=x^3 +a_1 x\) into equation (4.3), we get \((x-u)^2 (2\dot{a}_1 -1)=0\). Therefore, \(a_1 =t/2\), and
$$\begin{aligned} V(x)=x^3 +\frac{tx}{2}. \end{aligned}$$This is, up to a common factor, the potential for the PI equation.
-
3)
\(V_{t}''(x)\ne 0\); then \(V(x)\) is a 4-th degree polynomial \(V(x)=a_4 x^4 +a_3 x^3 +a_2 x^2 +a_1 x +a_0\) with \(\dot{a}_4 =\dot{a}_3 =0\). Again, we can set \(a_4=1\), \(a_3=0\), and \(a_0 =0\). Plugging the potential in the form \(V(x)=x^4 +a_2 x^2 +a_1 x\) into equation (4.3), we get \((x^2 -u^2)(\dot{a}_2 -1) +\dot{a}_1 =0\). Therefore, \(a_2 =t\), \(a_1 =-2\alpha \), where \(\alpha \) is an arbitrary constant. Up to a common factor, we obtain the potential
$$\begin{aligned} V(x)=x^4 +tx^2 -2\alpha x \end{aligned}$$for the PII equation with the parameter \(\alpha \).
4.2 The Case \(b=(x-u_1(t))(x-u_2(t))\)
Let us make the similar calculations for \(b=(x-u_1 (t))(x-u_2(t))\). Instead of
we get, after cancellation of third- and fourth-order poles:
Cancellation of the second-order poles at \(x=u_{1,2}\) yields
and
By equating the two “kinetic” terms, we get the following two possibilities:
In the first case, \(u_1+u_2=\hbox {const}\), and one can shift \(x\) in the initial problem to set \(u_1=-u_2\equiv u\). Therefore, the two possibilities are rewritten as
where \(c\) is some constant. The second case is given in Appendix A. Here we consider the first one. In this case, (4.4) leads to integrability condition (3.28):
or, equivalently,
Since the maximal degree of \(x\) in (4.6) is \(4\), the differential operator \(\partial _{X}^{5}\) applied to this equation kills all terms containing \(V(u)\), and we are left with
Equating the coefficients in front of \(u^4\), \(u^2\), and \(u^0\) to zero, we get the following conditions:
They mean that the expressions in the square brackets are polynomials in \(x\) of at most fourth degree:
Combining these conditions, we find that \(x^2 V(x)\) must be a polynomial of at most \(8\)-th degree such that its highest and lowest coefficients do not depend on \(t\). We also recall that it must contain only even powers of \(x\). So we can write
Plugging this potential back into equation (4.6), we obtain
The solution is \(a_4 =4\mu t +\alpha _4 \), \(a_2 = 4\mu t^2 +2\alpha _4 t+\alpha _2\), with integration constants \(\alpha _4\), \(\alpha _2\), and \(a_0\) is arbitrary. There are three cases:
-
1)
\(\mu \ne 0\) (the case of general position); then one can set it equal to \(1\) by rescaling and set \(\alpha _4=0\) by a shift of the \(t\)-variable. Then the potential acquires the form
$$\begin{aligned} V(x,t)=x^6 +4tx^4 +(4t^2 +\alpha _2)x^2 +a_0(t) + \frac{\nu }{x^2}. \end{aligned}$$(4.7)This is the potential for the PIV equation.
-
2)
\(\mu = 0\) but \(\alpha _4 \ne 0\); then one can set \(\alpha _4\) equal to \(1\) by rescaling and set \(\alpha _2=0\) by a shift of the \(t\)-variable. The potential is
$$\begin{aligned} V(x,t)=x^4 +2tx^2 +a_0(t) + \frac{\nu }{x^2}. \end{aligned}$$It generates the equation
$$\begin{aligned} \ddot{u} =-4u^3 -4tu +\frac{2\nu }{u^3}. \end{aligned}$$The change of the dependent variable \(u\rightarrow y\) such that \(u^2+ y^2+\frac{1}{2}\dot{y}+t=0\) (a version of a similar change in [17], section14.331]) brings the equation to the form \(\ddot{y} =8y^3 +8ty +\sqrt{-32\nu }-2\), which is equivalent to the PII equation.
-
3)
\(\mu =\alpha _4 = 0\); then
$$\begin{aligned} V(x,t)=\alpha _2 x^2+\frac{\nu }{x^2} \, +a_0(t). \end{aligned}$$This gives the exactly solvable rational 2-particle Calogero model in the harmonic potential. The \(x\)-independent term \(a_0(t)\) is irrelevant.
5 Hyperbolic Solutions
5.1 The Case \(b=e^{t/2} \sinh (x-u(t))\)
Let us consider the case when \(b\) is a trigonometric (hyperbolic, to be exact) function with one simple zero in the strip of periodicity:
We will see that it leads to the PIII equation. Since \(b\) satisfies the heat equation (3.15), Proposition 3.2 can be applied. The integrability condition (3.18) with \(\frac{b_x}{b}=\coth (x)\) becomes
Let us make the change of variables \(V \rightarrow \mathcal{V}\), \(x \rightarrow X\), \(u \rightarrow U\) such that
then equation (5.1) is rewritten as
Since the maximal degree of \(X\) here equals \(4\), the differential operator \(\partial _{X}^{5}\) applied to this equation kills all terms containing \(\mathcal{V}(U)\), and we are left with
Equating the coefficients in front of \(U^2\), \(U^1\), and \(U^0\) to zero, we get the following conditions:
They mean that the expressions in the square brackets are polynomials in \(X\) of at most fourth degree:
Combining these conditions, we obtain that \(X^2 \mathcal{V}'(X)\) and \(X^2 \mathcal{V}_t(X)\) are polynomials of at most \(5\)-th and \(6\)-th degrees, respectively. It is easy to see that the former polynomial must be divisible by \(X^2\). Indeed, let it be \(X^2 \mathcal{V}'(X)=X^2 P_3(X) +p_1 X +p_0\) with some nonzero \(p_{0,1}\). Then the first equation in (5.3) implies \(p_0=0\) (otherwise the left-hand side contains a nonpolynomial term \(\propto X^{-1}\)) and the second equation multiplied by \(X\) implies \(p_1 =0\) (otherwise the left-hand side contains a nonpolynomial term \(\propto X^{2}\log X\)). Therefore, we conclude that \(\mathcal{V}'(X)\) is a polynomial of at most third degree, and, thus, \(\mathcal{V}(X)\) itself is a polynomial of at most fourth degree:
Let us plug it in equation (5.2). After simple transformations, we obtain the relation
It must be satisfied identically for all \(X,U\). This implies \(\dot{a}_4 =2a_4\), \(\dot{a}_3 =a_3\), \(\dot{a}_1 =a_1\), \(\dot{a}_0 =2a_0\), and no condition for \(a_2\). Therefore, the potential \(V(x,t)\) is fixed to be
where \(\alpha _i\) are arbitrary constants. This is precisely the potential for the PIII equation.
5.2 The Case \(b=e^{t}\sinh (x-u(t))\sinh (x+u(t))\)
In this case, \(b=\left( e^{t/2}\sinh (x-u)\right) \left( e^{t/2}\sinh (x+u)\right) \). Each of the multiples satisfies the heat equation (3.24). Therefore, Proposition 3.3 can be applied. Then equation (3.28) assumes the form
Multiplying by \(32\sinh ^2(x-u)\sinh ^2(x+u)\) and making change of variables \(X=\cosh ^2(x)\), \(y=\coth ^2(u)\), we get
Now one can apply the calculation method similar to the previous cases. That is to take the third derivative with respect to \(X\) and analyze the differential equations (the later equations appear as the coefficients behind different powers of \(y\)). This analysis gives the potential of the Painlevé V equation after some tedious evaluations. Instead of proceeding in this manner, let us simplify the problem by assuming that the solution is a sum of terms of the form \(V(x)=e^{kt}v(X)\). Making this substitution, one gets:
We will see that nontrivial solutions exist for \(k=0,2,4\). The way to proceed is to take the third derivative of the expression with respect to \(X\). The equality holds identically if the coefficients in front of \(y^2\), \(y\) and the free term in \(y\) vanish. This implies the following conditions:
Consider the last equation. If \(k=0\), one gets
else \(v'''(X)=0\). The later case leads to \((k-4)v''(X)=0\) (from the second equation in (5.4)). Then, \(k=4\) or \(v''(X)=0\). In the latter case, one gets \((k-2)v'(X)=0\) (from the first equation in (2.4)). In this way, one can easily recover the potential of the Painlevé V equation (2.4):
6 Elliptic Solutions
6.1 The Case \(b=\vartheta _1(x-u(t),2\pi i t)\)
Consider an elliptic curve with moduli \(\tau =2\pi i t\),
and let \(b=\vartheta _1(x-u(t),2\pi i t)\). Definitions and properties of elliptic functions are given in Appendix B. Then from (3.18), we have
We will show that this equation has only trivial solutions \(V(x,t)=f(t)\). For this purpose, consider the same equation at \(x+\tau \) and subtract it from the initial one. Then, using the behavior of \(E_1(z)\) (B.1) and \(E_2(z)\) (B.2) on the torus lattice, we get
Let us now differentiate the obtained equality with respect to \(x\):
Similarly, let us shift the argument \(u\rightarrow u+\tau \) in the equation (6.2) and subtract it from (6.2) itself (keeping in mind that \(E_2'\) is the double-periodic function). This gives
or
Plugging this back into (6.1), one can easily get that \(a(\tau )=b(\tau )=0\) by analyzing coefficients behind the poles at \(x-u\) of the second and the first orders. Therefore, the potential should be a double-periodic function. If it is, then (6.1) reduces to
since \(\partial _t(V(x+\tau )-V(x))=V_t(x+\tau )-V_t(x)+2\pi i V'(x+\tau )\). The latter equation should hold for all \(x\) and \(u\). Then the only solution is
6.2 The Case \(b=\vartheta _1(x-u(t),2\pi i t)\vartheta _1(x+u(t),2\pi i t)\)
Equation (3.28) in this case has the form
Let us make a change of variables:
Then
Therefore, equation (6.3) is written as
It follows from (B.8) that
Therefore,
Now let us proceed as in the previous examples. First, multiply (6.4) by \((X-Q)^2\). Secondly, take the third derivative with respect to \(X\). This excludes \(V(Q)\). Thirdly, substitute \(Q_u^2=4(e_2-e_1)Q(Q-1)(Q-T)\) and \(Q_{uu}=2(e_2-e_1)(3Q^2-2Q(T+1)+T)\). Then, the coefficients in front of \(Q^2\), \(Q^1\), and \(Q^0\) should vanish independently:
where \(P_2(X)\), \(Q_2(X)\), \(R_2(X)\) are the second-order polynomials in \(X\) with time-dependent coefficients and \(F=V_T(X)T_t+V_X(X)\frac{1}{2}\frac{X_x^2}{X-T}\).
Excluding \(F\) from the two upper equations in (6.5), we obtain the following equality:
General solution of the latter equation has a form:
where \(H_4(X)\) are the forth-order polynomials in \(X\) with time-dependent coefficients. Therefore, \(V(X)\) can be presented as
The last term \(h(T)\) is not fixed by (6.3); i.e., \(h(T)\) is arbitrary.
Plugging (6.6) into (6.4) and multiplying the result by \((X-Q)X(X-1)(X-T)Q(Q-1)(Q-T)\), we get a polynomial function in \(X\) and \(Q\). The coefficients in front of \(Q^kX^j\) provides differential equations. It can be verified that all of them are equivalent to the following system:
Its solutions (see (B.6)–(B.7)) are
Then, in view of (B.5), we have
This is the potential of the Painlevé VI equation in the elliptic form [18, 36, 53, 60] (see also [32, 50] and [9]). We remark that the nonstationary Lamé equation in connection with the PVI equation (and with the 8-vertex model) was discussed in [4]. Recently, the nonstationary Lamé equation has appeared [10, 37–40] in the context of the AGT conjecture. The results of [38–40] allow one in principle to construct higher Painlevé equationsFootnote 4 in terms of 2x2 linear problems related to spin chains via spectral duality transformation. We are going to study this possibility in our future publications.
Notes
This function is going to satisfy one of the six Painlevé equations (in the Calogero form).
There are in fact three essentially independent parameters.
References
Alexandrov, A., Kazakov, V., Leurent, S., Tsuboi, Z., Zabrodin, A.: Classical tau-function for quantum spin chains. arXiv:1112.3310 [math-ph]
Aminov, G., Arthamonov, S.: New \(2 \times 2\)-matrix linear problems for Painlevé equations. arXiv: 1112.4688 [nlin.SI]
Barouch, E., McCoy, B., Tracy, C., Wu, T.: Zero field susceptibility of the two-dimensional Ising model near \(T_c\). Phys. Rev. Lett. 31, 1409–1411 (1973)
Bazhanov, V., Mangazeev, V.: The eight-vertex model and Painlevé VI. J. Phys. A Math. Gen. 39, 12235–12243 (2006)
Brézin, E., Kazakov, V.: Exactly solvable field theories of closed strings. Phys. Lett. B236, 144–150 (1990); Gross, D., Migdal, A.: Nonperturbative two-dimensional quantum gravity. Phys. Rev. Lett. 64, 127–130 (1990); Douglas, M., Shenker, S.: Strings in less than one dimension. Nucl. Phys. B335, 635–654 (1990)
Calogero, F.: On a functional equation connected with integrable many-body problems. Lettere Al Nuovo Cimento 16(3), 77–80 (1976); Buchstaber, V.M., Perelomov, A.M.: On the functional equation related to the quantum three-body problem, Contemporary mathematical physics. Am. Math. Soc. Transl. Ser. 2(175), 15–34 (1996). arXiv:math-ph/0205032; Braden, H.W., Buchstaber, V.M.: Integrable systems with pairwise interactions and functional equations arXiv:hep-th/9411240
Conte, R. (ed.): The Painleve Property. One Century Later, CRM Series in Mathematical Physics, XXVI, 810 p (1999)
Dubrovin, B.: Geometry of 2D topological field theories, Integrable systems and quantum groups (Montecatini Terme, 1993), Lecture Notes in Math., vol. 1620, Springer, Berlin, pp. 120–348 (1996); Dubrovin, B.: Painlevé equations in 2D topological field theories. In: Painleve Property, One Century Later, Cargése (1996). arXiv:math.AG/9803107
Dubrovin, B., Mazzocco, M.: Monodromy of certain Painlevé-VI transcendents and reflection groups. Invent. Math. 141(1), 55–147 (2000); Guzzetti, D.: The elliptic representation of the general Painlevé VI equation. Commun. Pure Appl. Math. 55(10), 1280–1363 (2002); Boalch, P.: From Klein to Painlevé via Fourier, Laplace and Jimbo. Proc. Lond. Math. Soc. 90(01), 167–208 (2005); Guzzetti, D.: A review on the sixth Painlevé equation. arXiv:1210.0311 [math.CA]
Fateev, V., Litvinov, I.: On AGT conjecture. JHEP 1002, 014 (2010). arXiv:0912.0504
Flaschka, H., Newell, A.: Monodromy- and spectrum-preserving deformations, I. Commun. Math. Phys. 76, 65–116 (1980)
Forrester, P., Witte, N.: Application of the \(\tau \)-function theory of Painlevé equations to random matrices: \({\rm PIV}, {\rm PII}\) and the GUE, Commun. Math. Phys. 219 357–398 (2001); Forrester, P., Witte, N.: Random matrix theory and the sixth Painlevé equation. J. Phys. A Math. Gen. 39, 12211–12233 (2006)
Fuchs, R.: Sur quelques équations différentielles linéares du second ordre. C. R. Acad. Sci. (Paris) 141, 555–558 (1905)
Gamayun, O., Iorgov, N., Lisovyy, O.: Conformal field theory of Painlevé VI. JHEP 2012(10), 38 (2012). arXiv:1207.0787 [hep-th]
Gambier, B.: Sur les équations différentielles du second ordre et du premier degré dont l’intégrale générale est à points critique fixés. C. R. Acad. Sci. (Paris) 142, 266–269 (1906)
Garnier, R.: Sur des equations différentielles du troisiéme ordre dont l’intégrale générale est uniforme et sur une classe d’équations nouvelles d’ordre supérieur dont l’intégrale générale a ses points critique fixés. Ann. Ecol. Norm. Sup. 29, 1–126 (1912)
Ince, E.: Ordinary Differential Equations. Dover, New York (1956)
Inozemtsev, V.I.: Lax representation with spectral parameter on a torus for integrable particle systems. Lett. Math. Phys. 17, 11–17 (1989)
Its, A., Novokshenov, V.: The isomonodromic deformation method in the theory of Painlevé equations, Lecture Notes in Math. 1191. Springer, Berlin (1986); Fokas, A., Its, A., Kapaev, A., Novokshenov, V.: Painlevé transcendents: the Riemann–Hilbert approach. AMS Mathematical Surveys and Monographs, vol. 128, Providence, RI (2006)
Iwasaki, K., Kimura, H., Shimomura, S., Yoshida, M.: From Gauss to Painlevé, a Modern Theory of Special Funtions, Aspects of Mathematics, E16. Friedr. Vieweg & Sohn, Braunschweig (1991)
Jimbo, M., Miwa, T.: Monodromy preserving deformation of linear ordinary differential equations with rational coefficients II. Phys. D 2, 407–448 (1981)
Jimbo, M., Miwa, T.: Monodromy preserving deformation of linear ordinary differential equations with rational coefficients III. Phys. D 4, 26–46 (1981)
Jimbo, M., Miwa, T., Mori, Y., Sato, M.: Density matrix of an impenetrable gas and the fifth Painlevé transcendent. Phys. D 1, 80–158 (1980)
Jimbo, M., Nagoya, H., Sun, J.: Remarks on the confluent KZ equation for \({\rm sl}_{\rm 2}\) and quantum Painlevé equations. J. Phys. A Math. Theory 41, 175205 (2008); Nagoya, H.: Hypergeometric solutions to Schrödinger equations for the quantum Painlevé equations. J. Math. Phys. 52, 083509 (2011)
Jimbo, M., Miwa, T., Ueno, K.: Monodromy preserving deformation of linear ordinary differential equations with rational coefficients I. General theory and \(\tau \)-function. Phys. D 2, 306–352 (1981)
Joshi, N., Kitaev, A., Treharne, P.: On the linearization of the Painlevé III–VI equations and reductions of the three-wave resonant system. J. Math. Phys. 48, 103512 (2007). (42 pp.), arXiv:0706.1750
Kazakov, V., Sorin, A., Zabrodin, A.: Supersymmetric Bethe ansatz and Baxter equations from discrete Hirota dynamics. Nucl. Phys. B790, 345–413 (2008); Zabrodin, A.: Bäcklund transformations for difference Hirota equation and supersymmetric Bethe ansatz, Teor. Mat. Fyz. 155, 74–93 [English translation: Theor. Math. Phys. 155, 567–584 (2008)]
Krichever, I.: Elliptic solutions of the Kadomtsev-Petviashvili equation and integrable systems of particles. Funk. Anal. i ego Pril. 14(4), 45–54 (1980). [translation: Funct. Anal. Appl. 14(4), 282–290 (1980)]; Krichever, I.: On rational solutions of the Kadomtsev–Petviashvili equation and on integrable systems of N particles on the line. Funct. Anal. Appl. 12(1), 76–78 (1978); Krichever, I., Zabrodin, A.: Spin generalization of the Ruijsenaars–Schneider model, non-abelian 2D Toda chain and representations of Sklyanin algebra. Uspekhi Mat. Nauk 50(6), 3–56 (1995). [translation: Russ. Math. Surv. 50(6), 1101–1150 (1995)]
Krichever, I., Lipan, O., Wiegmann, P., Zabrodin, A.: Quantum integrable systems and elliptic solutions of classical discrete nonlinear equations. Commun. Math. Phys. 188, 267–304 (1997)
Lee, S.-Y., Teodorescu, R., Wiegmann, P.: Viscous shocks in Hele–Shaw flow and Stokes phenomena of the Painleve I transcendent. Phys. D 240, 1080–1091 (2011)
Levin, A., Olshanetsky, M.: Painlevé–Calogero correspondence, Calogero–Moser–Sutherlend models (Montreal, 1997), CRM Ser. Math. Phys., Springer, pp. 313–332 (2000). arXiv: alg-geom/9706010
Levin, A., Olshanetsky, M., Zotov, A.: Painlevé VI, Rigid tops and reflection equation. Commun. Math. Phys. 268(1), 67–103 (2006). arXiv:math/0508058 [math.QA]; Chernyakov, Y., Levin, A., Olshanetsky, M., Zotov, A.: Elliptic Schlesinger system and Painlevé VI. J. Phys. A Math. Gen. 39, 12083–12101 (2006). arXiv:nlin/0602043 [nlin.SI]; Levin, A., Zotov, A.: On rational and elliptic forms of Painlevé VI equation, Moscow Seminar on Mathematical Physics, II. Am. Math. Soc. Transl. Ser. 2 221, 173–184 (2007)
Levin, A., Olshanetsky, M., Zotov, A.: Hitchin systems—symplectic hecke correspondence and two-dimensional version. Commun. Math. Phys. 236(1) 93–133 (2003). arXiv:nlin/0110045 [nlin.SI]; Levin, A.M., Olshanetsky, M.A., Smirnov, A.V., Zotov, A.V.: Characteristic classes and hitchin systems. General construction. Commun. Math. Phys. 316(1), 1–44 (2012). arXiv:1006.0702 [math-ph]
Levin, A.M., Olshanetsky, M.A., Smirnov, A.V., Zotov, A.V.: Calogero–Moser systems for simple Lie groups and characteristic classes of bundles. J. Geometry Phys. 62, 1810–1850 (2012). arXiv:1007.4127 [math-ph]; Levin, A.M., Olshanetsky, M.A., Smirnov, A.V., Zotov, A.V.: Hecke transformations of conformal blocks in WZW theory. I. KZB equations for non-trivial bundles. SIGMA 8, 095, 37 pp., (2012). arXiv:1207.4386 [math-ph]; Levin, A.M., Olshanetsky, M.A., Smirnov, A.V., Zotov, A.V.: Characteristic classes of SL(N)-bundles and quantum dynamical elliptic R-matrices. J. Phys. A Math. Theor. to appear. arXiv:1208.5750 [math-ph]
Levin, A., Olshanetsky, M., Zotov, A.: Planck constant as spectral parameter in integrable systems and KZB equations. JHEP 10, 109 (2014). arXiv:1408.6246 [hep-th]
Manin, Y.: Sixth Painlevé equation, universal elliptic curve, and mirror of \(\mathbb{P}^2\). AMS Transl. (2) 186, 131–151 (1998)
Marshakov, A., Mironov, A., Morozov, A.: On AGT relations with surface operator insertion and stationary limit of beta-ensembles. J. Geom. Phys. 61, 1203–1222 (2011)
Mironov, A., Morozov, A., Runov, B., Zenkevich, Y., Zotov, A.: Spectral duality between Heisenberg chain and Gaudin model. Lett. Math. Phys. (2012), to appear, doi:10.1007/s11005-012-0595-0; arXiv:1206.6349 [hep-th]
Mironov, A., Morozov, A., Shakirov, S.: Towards a proof of AGT conjecture by methods of matrix models. Int. J. Mod. Phys. A 27, 1230001 (2012). arXiv:1011.5629
Mironov, A., Morozov, A., Zenkevich, Y., Zotov, A.: Spectral duality in integrable systems from AGT conjecture. JETP Lett. 97(1) (2013). arXiv:1204.0913 [hep-th]
Noumi, M., Yamada, Y.: A New Lax Pair for the Sixth Painlevé Equation Associated with \({\widehat{so}}\)(8), Microlocal Analysis and Complex Fourier Analysis, 238252. World Sci. Publ, River Edge, NJ (2002)
Novikov, D.P.: The \(2\times 2\) matrix Schlesinger system and the Belavin–Polyakov–Zamolodchikov system. Theor. Math. Phys. 161(2), 1485–1496 (2009)
Painlevé, P.: Memoire sur les équations différentielles dont l’intégrale générale est uniforme. Bull. Soc. Math. Phys. Fr. 28, 201–261; Painlevé, P.: Sur les équations différentielles du second ordre et d’ordre supérieur dont l’intégrale générale est uniforme. Acta Math. 21(1902), 1–85 (1900)
Schlesinger, L.: Über eine Klasse von Differentialsystemen beliebiger Ordnung mit feten kritischen Punkten. J. Reine u. Angew. Math. 141, 96–145 (1912)
Slavyanov, S.: Painlevé equations as classical analogs of Heun equations. J. Phys. A Math. Gen. 29, 7329–7335 (1996); Slavyanov, S.: Painlevé equations and isomonodromic deformations of equations of the Heun class. Theor. Math. Phys. 125(1), 744–753 (2000)
Suleimanov, B.: The Hamiltonian property of Painlevé equations and the method of isomonodromic deformations. Differ. Equ. 30(5), 726–732 (1994). [Translated from Differentsialnie Uravneniya 30(5), 791–796 (1994)]
Suleimanov, B.: “Quantizations” of the second Painlevé equation and the problem of the equivalence of its \(L\)-\(A\) pairs. Theor. Math. Phys. 156, 1280–1291 (2008). [Translated from Teor. Mat. Fys. 156, 364–377 (2008)]
Suleimanov, B.: “Quantization” of higher hamiltonian analogues of the Painleve I and Painleve II equations with two degrees of freedom. arXiv:1204.4006 [nlin.SI]
Takasaki, K.: Painlevé–Calogero correspondence revisited. J. Math. Phys. 42, 1443–1473 (2001)
Takasaki, K.: Elliptic Calogero–Moser systems and isomonodromic deformations. J. Math. Phys. 40, 57–87 (1999)
Tracy, C., Widom, H.: Fredholm determinants, differential equations and matrix models. Commun. Math. Phys. 163, 33–72 (1994)
Tsuda, T.: Universal characters, integrable chains and the Painlevé equations. Adv. Math. 197(2), 587–606 (2005)
Painlevé, P.: Sur les équations différentielles du second ordre à points critiques fixés. C. R. Acad. Sci. (Paris) 143, 1111–1117 (1906)
Zabrodin, A.: The master T-operator for vertex models with trigonometric \(R\)-matrices as classical tau-function. arXiv:1205.4152 [math-ph]
Zabrodin, A.: Bethe ansatz and Hirota equation in integrable models. arXiv:1211.4428 [math-ph]
Zabrodin, A.: Discrete Hirotas equation in quantum integrable models. Int. J. Mod. Phys. B11, 3125–3158 (1997); Zabrodin, A.: Hirota equation and Bethe ansatz. Teor. Mat. Fyz. 116, 54–100 (1998). [English translation: Theor. Math. Phys. 116, 782–819 (1998)]
Zabrodin, A., Zotov, A.: Quantum Painlevé–Calogero correspondence. J. Math. Phys. 53, 073507 (2012). arXiv:1107.5672 [math-ph]
Zabrodin, A., Zotov, A.: Quantum Painlevé–Calogero correspondence for Painlevé VI. J. Math. Phys. 53, 073508 (2012). arXiv:1107.5672 [math-ph]
Zamolodchikov, Al: Painlevé III and 2D polymers. Nucl. Phys. B432, 427–456 (1994)
Zotov, A.: Elliptic linear problem for Calogero–Inozemtsev model and Painlevé VI equation. Lett. Math. Phys. 67, 153–165 (2004). arXiv:hep-th/0310260
Acknowledgments
We are grateful to A. Morozov for discussions. The work was supported in part by Ministry of Science and Education of Russian Federation under contract 8207. The work of A. Zabrodin was also supported in part by RFBR Grant 11-02-01220, by joint RFBR Grants 12-02-91052-CNRS, 12-02-92108-JSPS, by Grant NSh-3349.2012.2 for support of leading scientific schools. The work of A. Zotov was also supported in part by RFBR-12-01-00482, RFBR-12-01-33071 mol_a_ved, by the Russian President fund MK-1646.2011.1 and by the “Dynasty” fund.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Percy Deift and Alexander Its.
Appendices
Appendix A: Special Cases
1.1 \(b=(x-u(t))e^{g(t)x}\) and \(b=(x-u(t))e^{g(t)x^2}\)
Let \(b=(x-u(t))e^{g(t)x}\). The calculation similar to the one leading to (4.2) gives in this case
and
with equation of motion
It is easy to see that equation (A.1) becomes equivalent to (4.2) for the potential \(\tilde{V}(\tilde{x})\) after the change of variables
where \(\dot{G}=g\). Notice also that the dependence \(H({\dot{u}})\) in (A.2) can be obtained from (3.10) via the local expansion (3.8). The later gives \(b_1=e^{ug}\) and \(b_2=g\, e^{ug}\). Then \(v={\dot{u}}+\frac{g}{2}\).
Consider now the case \(b=(x-u(t))e^{g(t)x^2}\). Let us perform the calculation similar to the one leading to (4.2) again. In this case, we have:
and
with equation of motion
As in the previous example, it can be shown that equation (A.3) becomes equivalent to (4.2) for the potential \(\tilde{V}(\tilde{x})\) after the following change of variables:
Notice also that the dependence \(H({\dot{u}})\) in (A.4) can be obtained from (3.10) via the local expansion (3.8). The latter gives \(b_1=e^{g u^2}\) and \(b_2=2gu\, e^{g u^2}\). Then \(v={\dot{u}}+gu\).
1.2 \(b=(x-u_1(t))(x-u_2(t))(x-u_3(t))\)
When \(b=(x-u_1)(x-u_2)(x-u_3)\), the coefficients behind the second-order pole \(\frac{1}{(x-u_1)^2}\) in (3.6) have the following form:
and two other coefficients can be obtained by the cyclic permutations. All three coefficients cannot vanish simultaneously. Therefore, some other anzats for \(W\) (3.2) should be used in this case. This reflects the fact that (3.1)–(3.2) imply the one degree of freedom case.
1.3 \(b=(x-u_1(t))^{\gamma }\) and \(b=(x-u_1(t))^{\gamma _1}(x-u_2(t))^{\gamma _2}\)
Let us study the case \(b=(x-u_1(t))^{\gamma }\), where \(\gamma \in {\mathbb {C}}^*\) (the case \(\gamma =0\) is trivial). Notice that under change \(b\rightarrow b^\gamma \) the functions \(f\) (3.4) and \(S\) (3.5) transform as follows:
For the case under consideration, we have \(f={\gamma }\frac{1}{x-u}\) and
Substituting it into (3.6), we obtain the following condition for cancellation of the fourth- and the third-order poles:
The first equation gives \(\gamma =\{0,1,3\}\), while the second one \(\gamma =\{0,1\}\). Therefore, the nontrivial solution is
Similarly, the case \(b=(x-u_1(t))^{\gamma _1}(x-u_2(t))^{\gamma _2}\) leads to the following conditions:
which give
1.4 \(b=\exp \Big (\left( z/u(t)\right) ^\gamma \Big )\)
First, it can be shown that \(\gamma =0,1,2,3\)...
Consider \(\gamma =1\). Substituting \(b(z,u(t),t)=\exp (z/u(t))\) into (3.6), we get
Applying \(\partial _x^2\) gives
Notice that the function \({U}(z,{\dot{u}},{ u},t)\) satisfies the same equation even if we do not impose the condition \({U}=V(x,t)-H({\dot{u}},{ u},t)\). Under assumption \({U}=V(x,t)-H({\dot{u}},{ u},t)\), we have
This leads to
Plugging it back into (A.5), we obtain the following two equations (as coefficients behind \(x^1\) and \(x^0\)):
1.5 Case 2 in (4.5)
Here it may be useful to use variable \(u=u_1-\frac{1}{2}\sqrt{c-4t}\) (then \(\dot{u}=\dot{u}_1+\frac{1}{\sqrt{c-4t}}\)). Then
and, therefore,
Cancellation of the first-order poles at \(x=u_{1,2}\) yields \( \ddot{u}_1=-V'(u_1)-2(c-4t)^{-\frac{3}{2}}\). On this equation, \(H_t=V_t(u_1)-V'(u_1)\frac{1}{\sqrt{c-4t}}\). Thus we arrive at
By analogy with (4.7), we get
From the two upper equations, it follows that \(V(x)\) is the 6-th degree polynomial. Plugging it into (A.8) drops the degree to 4 (similar to the Painlevé I, II cases). However, after substituting it back into (A.7), we get only the trivial solution
Appendix B: Elliptic Functions
Here we give a short version of the Appendix in [58].
1.1 Theta-functions
The Jacobi’s theta-functions \(\vartheta _a (z)= \vartheta _a (z|\tau )\), \(a=0,1,2,3\), are defined by the formulas
where \(\tau \) is a complex parameter (the modular parameter) such that \(\mathrm{Im}\, \tau >0\). Set
then the function \(\vartheta _a(z)\) has simple zeros at the points of the lattice \(\omega _{a-1}+{\mathbb {Z}}+{\mathbb {Z}}\tau \) (here \(\omega _a \equiv \omega _{a+4}\)).
1.2 Weierstrass \(\wp \)-function
The Weierstrass \(\wp \)-function is defined as
where
Its derivative is given by
The values at the half-periods
have special properties. For example, \(e_1 +e_2 +e_3=0\). The differences \(e_j-e_k\) can be represented in two different ways:
The second representation is a consequence of the heat equation (B.3) (see below):
or
where \(\{jkl\}\)—any cyclic permutation of \(\{123\}\). The \(\wp \)-function satisfies the differential equation
We also mention the formulae
1.3 Eisenstein functions and \(\Phi \)-function
By definition,
Behavior on the lattice:
The local expansion near \(z=0\):
Values at half-periods:
and, therefore,
holds true for any different \(j,k =1,2,3\).
Another useful function is
It has the following properties:
Behavior on the lattice:
Is is also convenient to introduce
with properties:
where \(j,k,l\) is any cyclic permutation of \(1,2,3\).
1.4 Heat equation and related formulae
All the theta-functions satisfy the “heat equation”
or
One can also introduce the “heat coefficient” \(\displaystyle {\kappa =\frac{1}{2\pi i}}\) and rewrite the heat equation in the form \(\displaystyle {\partial _{\tau }\vartheta _a(z|\tau )= \frac{\kappa }{2}\, \partial _{z}^{2}\vartheta _a(z|\tau )}\). All formulas for derivatives of elliptic functions with respect to the modular parameter are based on the heat equation.
The \(\tau \)-derivatives are given by the following:
Proposition B.1
The identities
with the “heat coefficient” \(\displaystyle {\kappa =\frac{1}{2\pi i}}\), hold true.Footnote 5
The proof can be found in [58].
Introduce now
Then we have
and, therefore,
Let us give some more relations:
The following identity holds trueFootnote 6:
or
Appendix C: \(\mathbf{U}{-}\mathbf{V}\) pairs for PI–PV
Here we list the \(\mathbf{U}{-}\mathbf{V}\) pairs for PI–PV satisfying zero curvature equation (1.2) and admitting the quantum Painlevé–Calogero correspondence. The PVI case is too complicated. In principle, it is gauge equivalent to different types of known elliptic \(2\times 2\) \(\mathbf{U}{-}\mathbf{V}\) pairs (see [32, 60]) which are in their turn related by Hecke transformations [33, 34].
Painlevé I
Painlevé II
Painlevé III
Notice that an interesting equation holds:
(in this case \(X=e^{2x}\)). Therefore, some relation exists between \(\mathbf{U}_{21}\) and \(\mathbf{V}_{21}\) elements just as for (12)-elements. For example, for PII we have \(\partial _x \mathbf{U}_{21}=2 \mathbf{V}_{21}\).
Truncated Painlevé III [2]: \(\ddot{u} =2\nu ^2 e^t\sinh (2u )\)
Painlevé IV
where
Painlevé V
Rights and permissions
About this article
Cite this article
Zabrodin, A., Zotov, A. Classical-Quantum Correspondence and Functional Relations for Painlevé Equations. Constr Approx 41, 385–423 (2015). https://doi.org/10.1007/s00365-015-9284-4
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00365-015-9284-4