Abstract
In the work we use integral formulas for calculating the monodromy data for the Painlevé-2 equation. The perturbation theory for the auxiliary linear system is constructed and formulas for the variation of the monodromy data are obtained. We also derive a formula for solving the linearized Painlevé-2 equation based on the Fourier-type integral of the squared solutions of the auxiliary linear system of equations.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 INTRODUCTION
We consider a scheme of the isomonodromic deformation method for the Painlevé-2 equation in the following form:
The approach is based on the method of isomonodromic deformations developed in [1, 2, 3] and [4]. Here we obtain integral formulas which allow us to use the method of the isomonodromic deformations to study variations in the Stokes coefficients and derive a formula for a solution of the linearized Panlevé equation:
The formulas obtained for solution of (1.2) use integrals of squared solutions to the auxiliary linear problem. Such formulas for solutions of linearized equations are used widely for perturbations of \((1+1)\)-dimensional integrable equations by the inverse scattering transform method for the first corrections of perturbation theory [5, 6] and for corrections from the continuous spectrum [7]. For \((2+1)\)-dimensional integrable equations the formulas for linearized equations were obtained in [8, 9]. Here we derive analogously formulas for the theory of integration of the linearized Painlevé-2 equation. One of the examples for using the Painlevé-2 equation and its perturbation can be found in [15], and another one, in [16].
The approach developed here allows us to study and to obtain formulas for the variations of the Stokes constants, which are the parameters of the Painlevé transcendent. These formulas and the formula for the solution of (1.2) open a way to study the properties of the linearized equation using the global properties of the Painlevé transcendent.
The general structure of the paper is as follows. In Section 2, we present the Stokes theory for solutions to the auxiliary system of equations and derive integral formulas for Stokes matrices. In Section 3, integral formulas for the Painlevé-2 transcendent are obtained using the integral representation of the solution to the Riemann – Hilbert problem for the auxiliary system of equations. In Section 4, formulas for the variation of the Stokes multipliers are derived. Section 5 provides a formula for solving the linearized Painlevé-2 equation.
2 INTEGRAL FORMULAS FOR THE STOKES MULTIPLIERS
In this section the integral formulas for solving the auxiliary system of equations for the parameter \(\lambda\) are given according to the theory from [1, 2, 4]. These integral formulas are used to obtain integral formulas for the Stokes multipliers of the auxiliary system of equations.
Consider an auxiliary system of equations that determines the dependence of the function \(\Psi\) on the complex variable \(\lambda\):
Here the notation for Pauli matrices is accepted:
In addition to the system of equations (2.1), the function \(\Psi\) satisfies the system of differential equations for the real variable \(x\):
The Painlevé-2 equation provides a condition for the existence of a solution of both systems of equations, (2.1) and (2.3) [10].
The solution of the system of equations (2.1) has the singular point at \(\lambda=\infty\). The asymptotics of the solution of this system for \(\lambda\to\infty\) can be constructed using the WKB [11] method in the form:
The present formula yields a formal series representation for the matrix \(\Psi^{\infty}\). The asymptotic formula (2.4) uniquely determines the analytic solution within each sector for a single column of the matrix \(\Psi\). A key aspect of the Stokes phenomenon is the connection between asymptotic expansions in different sectors. Below, we will discuss the sectors and corresponding asymptotic expansions in detail.
In (2.4)\(M_{n}(u,u^{\prime},x)\) is a matrix. To obtain the coefficients of \(M_{n}\), one should substitute the formula (2.4) into the system (2.1) and eliminate coefficients of power \(\lambda^{-k}\) for any \(k\). An explicit form of such an asymptotic expansion was given in [1] up to order of \(\lambda^{-1}\). However, we need the asymptotic expansion of third order in \(\lambda^{-1}\):
where \(\Omega(\lambda)=\left(4\lambda^{3}/3+\lambda x\right)\) and the coefficients \(p_{11}\), \(p_{21}\), \(q_{11}\) and \(q_{21}\) are derived using the computer algebra system “Maxima”:
The main term of this asymptotics oscillates on the lines \(\Im(4\lambda^{3}/3+\lambda x)=0\). In the neighborhood of an infinity, these lines have asymptotes by the straight lines \(\arg(\lambda)=\pi(k-1)/3\), \(k=1,\dots,6\). For each of these six lines in the neighborhood of infinity, one can define a function \(\Psi_{k}\) by the given asymptotic direction \(\arg(\lambda)=\pi(k-1)/3\):
Since each of the \(\Psi_{k}\) matrices is a fundamental solution system for (2.1), they can be expressed in terms of each other:
Here \(S_{k}\) is a matrix consisting of parameters that depend on the solution of the Painlevé-2 equation, but do not depend on the parameter \(\lambda\). These \(S_{k}\) matrices are called Stokes matrices. The symbols correspond to those used in the book [4].
To derive integral formulas for the Stokes matrix, it is convenient to use the following substitution:
Using the system of equations (2.1), one can derive a similar system of equations for the matrix \(\Phi_{k}\):
For the matrix \(\Phi_{k}\) the following condition is true:
It can be verified that the solution to the scattering problem defined by (2.8) and (2.9) satisfies a system of integral equations:
Here the integral is considered an improper integral, where \(\infty_{k}=R\exp\big{(}i\pi(k-1)/3\big{)}\), for \(R\to\infty\).
The formulas (2.6), (2.7) and the integral equations (2.10) yield the following limit form of the connection formula (2.6):
The next important step is to use these integral equations to obtain formulas for the coefficients of the Stokes matrix (2.6). For this one should consider the integral on the right-hand side as an improper integral for both limits of integration. In this case the initial and final points of the integration are \(\lambda\to\infty_{k}\) and \(\lambda\to\infty_{k+1}\).
If we do not touch the integral convergence, we obtain the following formula:
Now \(S_{k}\) can be expressed using \(\Psi_{k+1}\). The integrand in the previous formula can be written as two terms:
Now we note that
Then
and
As a result, we obtain
Due to the Stokes phenomenon, the integrands have different asymptotic behaviors as \(\mu\to\infty_{k+1}\) and as \(\mu\to\infty_{k}\). Therefore, we consider below all components in the integral formula for the matrix \(S_{k}\) separately and show the convergence of the improper integrals in (2.11). The following calculations take into account the asymptotic properties of the matrix \(\Psi_{k+1}\) from the formula (2.9).
The integrands in the diagonal elements are analytic functions with respect to \(\lambda\) and the integrands decrease as \(\lambda^{-2}\) for \(\lambda\to\infty\). Therefore, we use the Cauchy theorem for such functions and consider the integrals over an arc of a large circle with radius \(R\) as \(R\to\infty\) (see, Fig. 2).
Let us consider carefully calculations for the matrix \(S_{1}\) as an example. The function \(\Psi_{2}\) oscillates near the ray \(\text{Arg}(\lambda)=\pi/3\). The asymptotic behaviors of \(\Psi_{2}\) coincide with the asymptotic behaviors of \(\Psi_{\infty}\) in the sector \(0<\text{Arg}(\lambda)<2\pi/3\). Therefore, instead of integrals over the path near the Stokes rays one can use the integrals over an arc of a large circle.
For other matrices \(S_{k}\) one can use the same calculations in the corresponding sectors of the complex plane of \(\lambda\).
Let us consider the integrand on an arc of the large circle. Straightforward calculations yield the following formulas. The integrands in \((S_{1})_{11}\) and \((S_{1})_{22}\) have the order \(O(\mu^{-2})\). As a result, we get
In the integrands for \((S_{1})_{12}\) and \((S_{1})_{21}\) the forms of the exponent are important. We do not show here such a simple calculation.
The elements of the matrix \(S_{k}\) lying on the off-diagonal have exponents in the integrand for large values of \(\lambda\):
The values of the integrals in the formulas (2.12) and (2.13) depend on the sign \(\Re(i\mu^{3})\) on the integration path. Therefore, it is convenient to evaluate the integrals for different values of \(k\).
If \(k=1,3,5\), then on the arc \(\pi(k-1)/3<\arg(\mu)<\pi k/3\) we get \(\Re(i\mu^{3})=-R\sin\big{(}3\arg(\mu)\big{)}<0\). In this case, it can be shown that
Similarly, for \(k=2,4,6\) on the arc \(\pi(k-1)/3\!<\!\arg(\mu)<\pi k/3\) we get \(\Re(-i\mu^{3})\!=\!R\sin{\big{(}3\arg(\mu)\big{)}\!<\!0}\), that is,
As a result, we get
In the terms of [1] we rewrite: \(s_{1}=a,\ s_{2}=b,\ s_{3}=c,\ s_{4}=d,\ s_{5}=e,\ s_{6}=f\) and \(s_{1}=s_{4}\), \({s_{2}=s_{5}}\), \(s_{3}=s_{6}\).
Formulas for \(s_{k}\) can be obtained by multiplying the matrix in the integrands in (2.11) and the formula (2.1):
Now one should use \(\Omega=(4/3)\mu^{3}+\mu x\).
The main result of Section 2 is explicit formulas for monodromy data.
Theorem 1
The monodromy data for solutions of (2.1) can be obtained by the following integral formulas:
The formulas for the integrals over \(\lambda\) can be used at any regular point of the solution of the Painlevé-\(2\) equation.
Solutions of Painlevé equations are meromorphic functions of a complex variable \(x\). A connection of the Stokes data \(s_{k}\) and singularities were considered, for example, in the book [2]. In the formulas we integrate with respect to \(\lambda\) for defining the Stokes data \(s_{k}\), the values of \(u(x)\) and \(u^{\prime}(x)\) can be used at any regular point.
3 INTEGRAL FORMULA FOR THE PAINLEVÉ TRANSCENDENT
The analytical properties of the functions \(\Psi_{k}\) allow us to formulate the problem of conjugation of functions for the analytical continuation of the function \(\Psi_{k}\) into neighboring sectors of the complex plane of the parameter \(\lambda\). To obtain the integral equations, we can conveniently use Sokhotsky’s formulas [12]. Similar constructions were done in the work [1]. As a result, we obtained a system of equations for the first and second columns of analytical equations in the complex plane \(\lambda\):
The solution of the Painlevé-2 equation is usually represented using the asymptotics as \(\lambda\to\infty\) for the off-diagonal components of the matrix \(\Psi\) [1]:
or
If we use the integral equations for the matrix \(\Psi\), then we can obtain an alternative expression for the second Painlevé transcendent in terms of the components of the functions \(\Psi_{k}\).
For this we use the following formula:
If we denote \(q=\mu/\lambda\), then
If
then
In our case the interval of the integration is unbounded. The integrals should be considered as improper. On the Stokes curves, the exponents in the integrands are oscillatory. Therefore, the leading terms of the asymptotics as \(\mu\to\infty\) are bounded. Let us consider:
The improper integral with such integrands exists. It yields the same formulas as on the bounded interval.
For one more integral we get
The asymptotic behavior of the integrand is
Then the integral can be represented in the following form:
As a result, we get
Another expression can be obtained by using the \(\Psi_{12}\) component:
The formulas in (3) and (3) are the main results of Section 3.
Note that a limit of small value \(u(x)\) and related auxiliary systems were considered, for example, in the book [4].
4 VARIATION OF THE STOKES MULTIPLIERS
Consider the effect of perturbations on the Stokes multipliers associated with the scattering problem (2.1). For an infinitesimal perturbation of the coefficients of the system (2.1)\(u=u+\delta u\), we can obtain a system of equations for the variation of \(\delta\Psi\):
Below we will use the notation
The general solution to the system of equations (4.1) can be represented as
where \(C\) is a matrix composed of arbitrary constants, which are parameters of the solution of the system (4.1). This matrix will be used for constructing a special solution of (4.1).
Now consider the matrix in the integrand of (4.2) using the formula \(\det\Psi\equiv 1\):
The infinitesimal variation \(\delta\Psi\) can be used to calculate variations of the Stokes multipliers. Specifically, we obtain
as \(\lambda\to\infty_{k}\) we obtain the condition
Then
On the other side one obtains
Let us change
then
Equate (4.3) and (4.4), multiply the left side by \(\exp(i\Omega\sigma_{3})\). This yields
Only one element of the matrix \(S_{k}\), denoted by \(s_{k}\), depends on \(u\) and \(u^{\prime}\). Therefore,
Denote
Then the formula (4.5) has the following form:
or
It yields: \(a=0\), \(b=0\), \(d=0\) and \(\delta s_{k}=c\), where
Then the integrals of the diagonal elements along the integration paths marked in Fig. 1 give zeros. It is convenient to define
For reasons that mirror the calculations of the Stokes multipliers in Section 2, we obtain the following statement.
Theorem 2
Variations of the Stokes multipliers are defined by the following integrals:
The formulas for the integrals over \(\lambda\) can be used at any regular point of the solution of the Painlevé-\(2\) equation.
5 FORMULA FOR SOLUTION OF THE LINEARIZED PAINLEVÉ-2 EQUATION
Consider the equations for quadratic expressions \(\psi_{1}^{+},\psi_{1}^{-},\psi_{1}\):
Similar expressions are obtained for the derivatives of the same quadratic expressions with respect to \(x\):
We will assume that the variation \(\delta u\) represents a solution to the linearized Painlevé-2 equation:
Differentiating Eq. (4.6) with respect to \(x\), using Eqs. (5.4), (5.5), and the linearized equation (5.7) gives (with \(s_{1}\) used for concreteness)
To calculate the integral involving the derivative of \(\lambda\), we will consider the representation of \(\psi^{-}_{1}\) in terms of the squares of the first column of the \(\Psi\)-function. For \(\lambda\to\infty_{6}\) and \(r=|\lambda|,\alpha=\text{Arg}(\lambda)\) we obtain
As \(\lambda\to\infty_{1}\) and \(r=|\lambda|,\beta=\text{Arg}(\lambda)-\pi/3\) we get:
The integral involving the derivative of \(\psi^{-}_{1}\) with respect to \(\lambda\) can be written as the sum of integrals:
For each of the integrals, we deform the contour so that at its ends the functions \(\Psi_{11}^{2}\) and \(\Psi_{21}^{2}\), respectively, vanish. The choice of an integration path for representing solutions to the auxiliary linear equations connecting the Painlevé-2 equation was considered in [13] and [14].
Let us consider the asymptotics of \(\Psi_{11}^{2}\) near the ray to \(\infty_{1}\), as \(\text{Arg}(\lambda)=\pi/3+\beta\), where \(\beta\ll 1\) and \(r\to\infty\). The curve, where the real part of the exponent is equal to zero:
as \(\lambda=re^{i\pi/3}e^{i\beta}\), has the form
As \(r\to\infty\) this curve has the asymptotics
The asymptotics of \(\Psi_{11}\) is
The first term of this formula decreases when \(\beta>x\sqrt{3}/(8r^{2})\), and the second term decreases when
or as \(r\to\infty\):
Then \(\Psi_{11}^{2}\to 0\) as \(r\to\infty\) and:
In the same way one can get the asymptotics of \(\Psi_{21}^{2}\) near the ray \((0,\infty_{1})\) for \(\text{Arg}(\lambda)=\pi/3+\beta\), where \(\beta\ll 1\) and \(r\to\infty\)
For this function, the exponents have the opposite sign compared to the other asymptotics of \(\Psi_{11}^{2}\). Therefore, similar considerations give the condition: \(\Psi_{21}^{2}\to 0\) as \(r\to\infty\), leading to
The integral in the formula for the derivative of \(\Psi_{11}^{2}\) has the integration path \(\mathcal{L}_{11}\), as shown in Fig. 4. The path begins at the point \(\mathcal{L}_{11}^{-}\) in the sector \(-\Delta<\text{Arg}(\lambda)<0\), where \(\Delta>0\), and finishes at the point \(\mathcal{L}_{11}^{+}\), where \(\pi/3+\frac{x\sqrt{3}}{8r^{2}}+\frac{1}{4r^{3}}\ln(r)>\text{Arg}(\mathcal{L}_{11}^{+})>\pi/3+\frac{x\sqrt{3}}{8r^{2}}\) and \(r=|\lambda|\).
The path \(\mathcal{L}_{21}\) is obtained using the same considerations. This path is shown in Fig. 5.
Then the following formula is valid:
The formulas for the squares of \(\Psi\) allow us to represent the solution of the linearized Painlevé-2 equation in terms of quadratic expressions from \(\Psi\). Indeed, we differentiate with respect to \(x\) Eq. (5.4) by virtue of Eqs. (5.5) and (5.6):
In this equation, the last term on the right-hand side can be replaced using Eq. (5.2). This gives
The same calculations for \(\psi^{-}_{1}\) give
and, using replacement, this yields
The formulas obtained above are useful for deriving an integral representation of the solution to the linearized Painlevé-2 equation, which is one of the main goals of this work.
Consider the integral
The second derivative of this integral is
Then, by following similar reasoning used in the derivation of formula (5.8), we find that the solution to the linearized Painlevé-2 equation
can be represented as
In the same way we obtain the formula
which is a solution for
Theorem 3
A solution of the linearized Painlevé-\(2\) equation has the following integral representation:
The formula for the integral over \(\lambda\) can be used at any regular point of the solution of the Painlevé-\(2\) equation.
Let \(v(x)\) and \(v_{1}(x)\) be linearly independent solutions of the linearized Painlevé-2 equation. Since their Wronskian is a constant, say 1, one has
Then \(v_{1}(x)\) can be found due to the Wronskian formula and one gets
If \(v(\xi)=0\), then \(v^{\prime}(\xi)\not=0\), and the integral should be considered in the regularized sense:
Corollary 1
A general solution for the linearized Painlevé-\(2\) equation can be represented in the form
6 CONCLUSION
In this work we obtain integral formulas for the monodromy data for connection of auxiliary linear equations with the Painlevé-2 equation. The formulas allow us to derive the perturbation theory for the auxiliary linear system (2.1) and to obtain formulas for infinitesimal variations of the monodromy data. We also derive an integral formula for the solution to the linearized Painlevé-2 equation. This formula utilizes the squares of the solutions to the auxiliary system of equations in (2.1).
References
Flaschka, H. and Newell, A. C., Monodromy- and Spectrum-Preserving Deformations: 1, Comm. Math. Phys., 1980, vol. 76, no. 1, pp. 65–116.
Its, A. R. and Novokshenov, V. Yu., The Isomonodromic Deformation Method in the Theory of Painlevé Equations, Lecture Notes in Math., vol. 1191, Berlin: Springer, 1986.
Kapaev, A. A., Asymptotic Behavior of the Solutions of the Painlevé Equation of the First Kind, Differ. Equ., 1988, vol. 24, no. 10, pp. 1107–1115; see also: Differ. Uravn., 1988, vol. 24, no. 10, pp. 1684-1695.
Fokas, A. S., Its, A. R., Kapaev, A. A., and Novokshenov, V. Yu., Painlevé Transcendents: The Riemann – Hilbert Approach, Math. Surveys Monogr., vol. 128, Providence, R.I.: AMS, 2006.
Kaup, D. J., A Perturbation Expansion for the Zakharov – Shabat Inverse Scattering Transform, SIAM J. Appl. Math., 1976, vol. 31, no. 1, pp. 121–133.
Karpman, V. I. and Maslov, E. M., Perturbation Theory for Solitons, Sov. Phys. JETP, 1977, vol. 46, no. 2, pp. 537–559; see also: Zh. Èksper. Teoret. Fiz., 1977, vol. 46, no. 2, pp. 281-291.
Kiselev, O. M., Kink Asymptotics of the Perturbed Sine-Gordon Equation, Theoret. and Math. Phys., 1992, vol. 93, no. 1, pp. 1106–1111; see also: Teoret. Mat. Fiz., 1992, vol. 93, no. 1, pp. 39-48.
Kiselev, O. M., Perturbation Theory for the Dirac Equation in Two-Dimensional Space, J. Math. Phys., 1998, vol. 39, no. 4, pp. 2333–2345.
Kiselev, O. M., Basis Functions Associated with the Two-Dimensional Dirac System, Funct. Anal. Appl., 1998, vol. 32, no. 1, pp. 56–59; see also: Funktsional. Anal. i Prilozhen., 1998, vol. 32, no. 1, pp. 72-76.
Garnier, R., Sur des équations 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 critiques fixes, Ann. Sci. Éc. Norm. Supér., 1912, vol. 29, pp. 1–126.
Wasow, W. R., Asymptotic Expansion for Ordinary Differential Equations, Pure Appl. Math., vol. 14, New York: Interscience, 1965.
Sochocki, Yu. V., On Definite Integrals and Functions Used in Series Expansions, St. Petersburg: St. Petersburg Univ., 1873, 131 pp. (Russian).
Suleĭmanov, B. I., “Quantizations” of the Second Painlevé Equation and the Problem of the Equivalence of Its \(L\)-\(A\) Pairs, Theoret. and Math. Phys., 2008, vol. 156, no. 3, pp. 1280–1291; see also: Teoret. Mat. Fiz., 2008, vol. 156, no. 3, pp. 364-377.
Joshi, N., Kitaev, A. V., and Treharne, P. A., On the Linearization of the First and Second Painlevé Equations, J. Phys. A, 2009, vol. 42, no. 5, 055208, 18 pp.
Gallo, C. and Pelinovsky, D., On the Thomas – Fermi Ground State in a Harmonic Potential, Asymptot. Anal., 2011, vol. 73, no. 1–2, pp. 53–96.
Kiselev, O. M., An Asymptotic Structure of the Bifurcation Boundary of the Perturbed Painlevé-2 Equation, Chaos Solitons Fractals, 2021, vol. 151, Paper No. 111299, 7 pp.
ACKNOWLEDGMENTS
I thank Bulat Irekovich Suleimanov for his attention and his help during my work on this subject and a lot of comments on the manuscript.
Funding
This work was supported by ongoing institutional funding. No additional grants to carry out or direct this particular research were obtained.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
The authors declare that they have no conflicts of interest.
Additional information
PUBLISHER’S NOTE
Pleiades Publishing remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
MSC2010
34M56
Rights and permissions
About this article
Cite this article
Kiselev, O.M. Integral Formulas for the Painlevé-2 Transcendent. Regul. Chaot. Dyn. (2024). https://doi.org/10.1134/S1560354724560041
Received:
Revised:
Accepted:
Published:
DOI: https://doi.org/10.1134/S1560354724560041