Abstract
The aim of this paper is to classify the cubic polynomials
over the field of algebraic functions such that the corresponding Hamiltonian system \(x'=H_y,\) \(y'=-H_x\) has at least one transcendental algebroid solution. Ignoring trivial subcases, the investigations essentially lead to several non-trivial Hamiltonians which are closely related to Painlevé’s equations \(\mathrm{P_{I}}\), \(\mathrm{P_{II}}\), \(\mathrm{P_{34}}\), and \(\mathrm{P_{IV}}\). Up to normalisation of the leading coefficients, common Hamiltonians are
but the zoo of non-equivalent Hamiltonians turns out to be much larger.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Malmquist’s so-called First Theorem [6] singles out (linear and) Riccati differential equations
among the variety of differential equations
by postulating the existence of some transcendental meromorphic solution (always in the whole plane). For a long time, Malmquist’s theorem was viewed as a singular and isolated result in the field of complex differential equations. With Nevanlinna theory as a tool it became the template for various theorems of this kind. Instead of citing the legion of original papers the reader is referred to Laine’s monograph [5] and the more recent book [8].
If R is merely rational in w with coefficients analytic on some planar domain, the very same result is obtained by postulating the absence of movable critical and essential singularities of the solutions. This is abbreviated by saying that among the Eqs. (2) only (1) has the Painlevé property. For the first- and second-order case (Fuchs and Painlevé, respectively) the reader is referred to the books of Ince [3] and Golubew [1]. It is quite reasonable to believe that (algebraic) differential equations having the Painlevé property may also be characterised by the aforementioned Malmquist property, although the situation is quite different: arbitrary analytic versus rational coefficients on one hand, and the totality of solutions versus one transcendental solution on the other.
The nature of the problem makes the appearance of ‘many-valued’ algebroid instead of ‘single-valued’ meromorphic functions inevitable. One of our main tools will therefore be the Selberg–Valiron theory of algebroid functions in place of Nevanlinna theory. The interested reader will find a rudimentary description in the appendix at the end of this paper.
2 Six Theorems of Malmquist-Type
The aim of this paper is to support the aforementioned duality principle by proving Malmquist-type theorems for two-dimensional Hamiltonian systems
with cubic Hamiltonians
over the field of algebraic functions. It is nothing more than an exercise to show that our results may be generalised insofar as the terms ‘algebraic coefficients’ and ‘transcendental algebroid solutions’ may be replaced with ‘algebroid coefficients’ and ‘admissible algebroid solutions’, that is, solutions that grow much faster than the coefficients measured in terms of the Selberg–Valiron characteristic. Any Hamiltonian (4) such that the corresponding Hamiltonian system possesses some transcendental algebroid solution is said to have the Malmquist property.
We will start with polynomials
Replacing x and y with \(x-a_{20}\) and \(y-a_{02}\), respectively, the corresponding Hamiltonian system may easily be transformed into
with Hamiltonian
This system has the Painlevé property if and only if
holds, see Kecker [4]. Of course, the trivial case \(a=b=c=0\) will be excluded.
Theorem 1
Suppose the Hamiltonian (6) has the Malmquist property. Then the resonance condition
holds for either one or two or all third roots of unity \((\omega ^3=1)\). In the third case, (6) certainly has the Malmquist and Painlevé property (7).
The question whether or not just one or two of the necessary conditions (8) are also sufficient for the polynomial (6) to have the Malmquist resp. Painlevé property will be answered in the following theorem.
Theorem 2
Suppose the necessary condition (8) holds
-
(i)
for \(\omega =1\), say, but not for \(\omega =e^{\pm 2\pi i/3}\);
-
(ii)
for \(\omega =e^{\pm 2\pi i/3}\), say, but not for \(\omega =1\).
Then (6) has the Malmquist property in both cases. In case (ii), the necessary condition \(b=-a\) holds in addition to the Painlevé property, while in case (i) even
is true, but the Painlevé property fails.
Remark
In case (i), x satisfies some Riccati differential equation
Then \((x,c-x)\) solves (5), but is ‘too weak’ to enforce the Painlevé property. In any other case with \(c(z)=z,\) say, and a and b constant, \(x+y-c\) satisfies some second-order differential equation which is closely related to Painlevé’s fourth differential equation
see [7]. Moreover, in case (ii) the functions \({\bar{\omega }} x+\omega y-c\) \((\omega =e^{\pm 2\pi i/3})\) satisfy simple Riccati equations.
Next we will consider the (already simplified) polynomials
containing only one third power.
Theorem 3
Suppose the Hamiltonian (9) has the Malmquist property. Then the coefficients a and b are coupled,
where \(\alpha \) is linear; in that case the corresponding Hamiltonian system has the Painlevé property without any restriction on b.
Remark
If \(\alpha \) is non-constant we may assume \(\alpha (z)=z\) by a linear change of the independent variable. Then \(w=y+\beta /12\) with \(\beta =b^2-b'\) satisfies Painlevé’s first equation
hence y is transcendental algebroid and so is \(x=-y'-by\), and the Malmquist and Painlevé property hold. Nevertheless the occurrence of the Hamiltonians with \(b\not \equiv 0\) is really surprising.
By
the Hamiltonian (9) is transformed into
Our next Theorem shows that the Hamiltonian systems corresponding to (9) and (11) simultaneously can have the Malmquist (and Painlevé) property in very special cases only. In particular, this shows that in general neither the Malmquist nor the Painlevé property is invariant under a linear change of variables of the Hamiltonian.
Theorem 4
Suppose the Hamiltonians (9) and (11) have the Malmquist property. Then b is either constant or has the form
Under these circumstances both Hamiltonian systems have the Painlevé property.
We note the different cases explicitly:
b and \(z_0\) are arbitrary constants, and \(\alpha \) is constant or linear.
Finally we will consider cubic polynomials with dominating terms \(x^2y\), \(xy^2\), again in simplified form:
and
(a, b, c, d algebraic functions). The reader will not have any difficulty to adapt the proofs to more sophisticated cases.
Theorem 5
Suppose the Hamiltonian (12) has the Malmquist property. Then \(u=x+b/2\) and \(v=y+a\) separately solve second-order differential equations
and
respectively. The coefficients
satisfy either (i) \(\alpha =\pm \beta '/2\) for one sign or else (ii) \(\alpha '=\beta ''\equiv 0\).
Remark
In the second case of Theorem 5, Eq. (15) takes the form
\(\lambda =(2\alpha -\beta ')^2/4\) is constant. In particular, each Hamiltonian with \(\alpha '=\beta ''\equiv 0\) has the Malmquist and Painlevé property. In the most important case \(\beta (z)=z\) (remember \(\beta ''=0\)) we obtain Painlevé’s equation
which is closely related to equation XXXIV in Ince’s book [3, p. 340], and, of course, Painlevé’s second equation
Theorem 6
Suppose the Hamiltonian (13) has the Malmquist property. Then either the Painlevé property
or else \(x+y-c\equiv 0\) holds.
Remark
In the most important case \(c(z)=z\) and a and b constant, x and y separately satisfy Painlevé equations \(\mathrm{P_{IV}}\). In the exceptional case, x and y satisfy Riccati equations
3 Proof of Theorem 1
From
it follows that our algebroid solutions satisfy \(2m(r,y)\le m(r,x)+O(\log (rT(r,x)))\) and \(2m(r,x)\le m(r,y)+O(\log (rT(r,y))),\) hence
(for notations and results in Nevanlinna–Selberg–Valiron theory see the appendix). In particular, x and y have infinitely many poles. It is easily seen that the poles of (x, y) are simple with residues \((-{\bar{\omega }},\omega )\) restricted to \(\omega ^3=1\). Assuming
it turns out that \(\xi _0,\eta _0,\xi _1,\) and \(\eta _1\), but not \(\xi _2\) and \(\eta _2\) may be computed (and one of these numbers may be prescribed), but the resonance condition
Footnote 1 is obtained instead. Thus (8) holds if infinitely many poles with residues \((-{\bar{\omega }},\omega )\) exist, and \(a'=b'=c''\equiv 0\) if this is true for each third root of unity. It is, however, not at all clear that the poles are regular (not branched)! To exclude this case let p be any pole of (x, y) with residues \((-{\bar{\omega }},\omega )\) and assume that a, b, and c are regular at \(z=p\), but x and/or y have a branched pole there:
Let n and m denote the first index, if any, such that \(n\not \equiv 0\) mod q, \(\xi _n\ne 0\) and \(m\not \equiv 0\) mod q, \(\eta _m\ne 0\). Then the first branched terms
on the left hand sides of the Hamiltonian system (17) are equal to the first branched terms
on the right hand sides corresponding to \(y^2\) and \(-x^2\), respectively. This implies
hence also \(n^2=4q^2\), which contradicts \(n\not \equiv 0\) mod q and proves Theorem 1.
4 Proof of Theorem 2
In the first case, (x, y) has simple poles with residues \((-1,1)\) and almost no others, hence
holds, and we obtain
at almost every pole. Then \(x+y-c\) has at most finitely many poles, and from \(m(r,x+y-c)=O(\log r+\log T(r,x)+\log T(r,y))\) and \(m(r,c'+b-a)=O(\log r)\) it follows that
vanish identically. Also x and y satisfy Riccati differential equations
respectively. Conversely, starting with any solution x to the first equation (18), the pair \((x,c-x)\) solves the Hamiltonian system provided \(c'+b-a\equiv 0\) holds. This yields the Malmquist property.
In the second case the substitution \(u={\bar{\omega }} x+\omega y-c,\) \(v=\omega x+{\bar{\omega }} y-c\), \(\zeta =iz/\sqrt{3}\) transforms the given Hamiltonian system (17) into
with \(A=(\omega -1)a+({\bar{\omega }} -1)b\), \(B=(1-{\bar{\omega }})a+(1-\omega )b\), and Hamiltonian
The functions u and v can have only finitely many poles in common. The second equation (19) shows that v even vanishes at almost every pole of u (since uv has to be regular), and from \(\mathop {\mathrm{res}}_p u=1\) it follows that \(-v'(p)=B(p)-c'(p)\) and so
since \(m(r,uv)=O(\log r+\log T(r,x)+\log T(r,y))\). Similarly \(u'(q)=A(q)-c'(q)\) is obtained at poles of v (\(\mathop {\mathrm{res}}_q v=-1\)), hence
and
holds. On the other hand the hypothesis \(c''+\omega b'-{\bar{\omega }} a'\equiv 0\) for \(\omega =e^{\pm 2\pi i/3}\) implies \(c''=b'=-a'\), hence \(c''=b'=a'\equiv 0\), this proving the Malmquist and Painlevé property. We note that (19) together with \(uv=A-c'=c'-B\) imply the Riccati differential equations
5 Proof of Theorem 3
From the Hamiltonian system
the second-order equation
is easily obtained: differentiate the second equation in (20) and then eliminate x and \(x'\). The substitution \(w=y+\frac{1}{12}\beta \) with \(\beta =b^2-b'\) leads to
with
To proceed we will derive the resonance condition \(\alpha ''=0\), which holds for algebraic \(\alpha \) and algebroid solutions to (21) as well as for rational \(\alpha \) and transcendental meromorphic solutions; here the argument is due to Wittich [9]. From
it follows that \(m(r,w)=O(\log (rT(r,w)))\) as \(r\rightarrow \infty \) outside possibly some exceptional set, hence w has infinitely many poles. Assuming
an elementary computation gives \(c_{-1}=c_0=c_1=0\), \(c_2=-\alpha (p)/10\), and \(c_3=-\alpha '(p)/6\), while \(c_4\) remains undetermined (and free), but
holds instead. This requires \(\alpha ''(p)=0\), and since w has infinitely many poles and \(\alpha \) is algebraic, the assertion \(\alpha ''\equiv 0\) follows. Again we have to assure that the poles p of w are not branched, at least when \(\alpha \) is regular at \(z=p\). To this end write
and let n denote the smallest index, if any, such that \(c_n\ne 0\) and \(n\not \equiv 0\) mod q. Then the first branched terms on the left and right hand side of the differential equation (21) are
Thus \(\xi =n/q\) satisfies \(\xi ^2-\xi =12\), which is absurd since the roots \(\xi =4\) and \(\xi =-3\) are integers. This finishes the proof of Theorem 3 since
6 Proof of Theorem 4
From
the second-order differential equation
easily follows, hence
is also linear. In combination with (22) we obtain
hence b satisfies the differential equation
The proof of Theorem 4 then follows from the subsequent
Proposition
Algebraic solutions to (25) do not exist if \(\kappa z+\lambda \not \equiv 0\). If \(\kappa =\lambda =0\), the non-constant algebraic solutions have the form
Proof
Let b be any algebraic solution with p-fold pole at \(z=z_0\). Then the single terms in (25) have poles of order \(p+3\), \(2p+2\), \(2p+2\), and \(3p+1\), respectively. For \(p>1\), \(3p+1\) dominates the other orders, while for \(p<1\) this role is taken by \(p+3\). This means \(p=1\) and \(b(z)\sim R/(z-z_0)\) as \(z\rightarrow 0\) with
hence \(R=-1\) or \(R=6\). Now suppose
is any local solution, where \(q>-1\) is some rational number. Then (25) yields
as \(z\rightarrow z_0\) with
This requires (27) and
if \(\kappa =\lambda =0\).Footnote 2 Apart from \(q=-2<-1\) in both cases, the roots are irrational (\(q=(17\pm \sqrt{193})/2\)) and non-real (\(q=(3\pm i\sqrt{3})/2\)), respectively, which is absurd. Non-constant algebraic solutions have either finite poles or a pole at infinity of order \(p>0\), say. Here the term \(-b^2b'\sim cz^{3p-1}\) dominates the other terms which are \(O(|z|^{2p-2})=o(|z|^{3p-1})\) as \(z\rightarrow \infty \) and inhibits \(\Omega \equiv 0\). This proves (26) for non-constant solutions in case of \(\kappa =\lambda =0\). We have to exclude the case \(|\kappa |+|\lambda |>0\). Here
requires \(q=3\) and \(J(R,3)\,c=\kappa z_0+\lambda \) if \(\kappa z_0+\lambda \ne 0\), and \(q=4\) and \(J(R,4)\,c=\kappa \) if \(\kappa z_0+\lambda =0\). This way we get a unique formal solution
by successively solving rather elaborate equations
for \(c_q\); this is possible since \(J(R,q)\ne 0\) for \(q\in \mathbb {N}\) and \(R=-1,6\). Thus our algebraic function b has no finite algebraic poles. To exclude other algebraic singularities, that is, to prove that b is a rational function, it does not suffice to indicate that every initial value problem \(\Omega =\kappa z+\lambda ,\) \(b(z_0)=b_0, b'(z_0)=b_1, b''(z_0)=b_2\) has a unique local solution. Assume
and let n denote the smallest integer, if any, such that \(c_n\ne 0\) and \(n\not \equiv 0\) mod q; call this n index of b. Then \(b'''\) has index \(n-3q\), while the indices of \(bb''\), \(b'^2\), and \(b^2b'\) are \(\ge n-2q\), which is not possible. Also at \(z=\infty \),
holds, and again we obtain a contradiction since \(|\kappa |+|\lambda |>0\) was assumed. This finishes the proof of the proposition. \(\square \)
To finish the proof of Theorem 4 we just note that for any (local) solution to the Hamiltonian systems \(x'=H_y, y'=-H_x\) resp. \(u'=K_v, v'=-K_u\),
solve Painlevé’s first equation \(w''=\alpha (z)+6w^2\) resp. \(v''=\alpha (z)+6v^2\) (with the very same \(\alpha \)). Thus y and v are meromorphic in \(\mathbb {C}\), and so are \(u=-v'-bv\) and \(x=-y'-by\), hence H has the Malmquist (and Painlevé) property.
7 Proof of Theorem 5
Starting with the Hamiltonian system
we obtain
by the transformation
Then (14) and (15) with coefficients (16) are obtained in the usual way from (28): differentiate the first and second equation and replace the variable v and u with the help of the second and first equation, respectively. To proceed we note that any algebroid solution to (14) has infinitely many poles, almost all of them simple with residues \(\pm 1\). The latter follows by inspection, while the former stems from the dominating term \(2u^3\), which immediately implies
Proposition
Suppose the differential equation (14) has some transcendental algebroid solution having infinitely many poles with residue \(\epsilon \in \{-1,1\}\). Then
holds, and
if u has infinitely many poles also with residue \(-\epsilon \). Otherwise u satisfies
Proof
Let p be a pole of u with residue \(\epsilon \) and assume that \(\alpha \) and \(\beta \) are regular at \(z=p\). Then
and
hold. Thus
vanish at \(z=p\). If u has infinitely many poles with residue \(\epsilon \), (29) follows at once, and also (30) if u in addition has infinitely many poles with residue \(-\epsilon \). If, however, only finitely many poles with residue \(-\epsilon \) exist,
vanishes identically since \(\Omega \) has at most finitely many poles, vanishes at almost each pole of u with residue \(\epsilon \), and has characteristic
as \(r\rightarrow \infty \), possibly outside some set of finite measure. \(\square \)
8 Proof of Theorem 6
Hamiltonians H(z, x, y) and
with \(a,b,c,d,k\in \mathbb {C}\) and \(k(ad-bc)\ne 0\) simultaneously have or fail to have the Malmquist resp. Painlevé property. Choosing \(a=d=1\), \(b=c=\lambda =e^{2\pi i/3}\), and \(k=-1/3\) we obtain
and
By \(u=U+\lambda c/3\) and \(v=V+\lambda c/3\), system (32) is transformed into
with
Again (32) and (33) simultaneously have or fail to have the Malmquist resp. Painlevé property. By Theorem 1, the latter holds for (33) if and only if
that is, if and only if \(c''=b'=a'\equiv 0\). And so the circle is complete, since by Theorems 1 and 2 this is true except in one particular case, namely when
It is easily seen that this is equivalent with \(x+y-c=c'+b-a\equiv 0\).
Notes
Assuming the Painlevé property this holds for every p in the domain of the coefficients and every third root of unity, see [4]. This illuminates the difference between both concepts.
Like many other computations also these were performed by my favourite tool maple.
References
Golubew, W.W.: Differentialgleichungen im Komplexen. Dt. Verlag d. Wiss, Berlin (1958)
Hayman, W.K.: Meromorphic Functions. Oxford Clarendon Press, Oxford (1964)
Ince, E.L.: Ordinary Differential Equations. Dover, New York (1956)
Kecker, T.: Polynomial Hamiltonian systems with movable algebraic singularities. J. d’Analyse Math. 129, 196–218 (2016)
Laine, I.: Nevanlinna Theory and Complex Differential Equations. de Gruyter, Berlin (1993)
Malmquist, J.: Sur les fonctions à un nombre fini de branches satisfaisant à une équation différentielle du premier ordre. Acta Math. 36, 59–79 (1913)
Steinmetz, N.: An old new class of meromorphic functions. J. d’Analyse Math. 134, 616–641 (2018)
Steinmetz, N.: Nevanlinna Theory, Normal Families, and Algebraic Differential Equations, Springer UTX. Springer, Berlin (2017)
Wittich, H.: Eindeutige Lösungen der Differentialgleichung \(w^{\prime \prime }=P(z, w)\). Math. Ann. 125, 355–365 (1953)
Funding
Open Access funding enabled and organized by Projekt DEAL.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Vladimir V. Andrievskii.
Dedicated to the memory of Stephan Ruscheweyh.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Appendix: Algebroid Functions and the Selberg–Valiron Theory
Appendix: Algebroid Functions and the Selberg–Valiron Theory
For the convenience of the reader we will give a short overview of the Selberg–Valiron theory. Let
be any irreducible polynomial in w over the ring of entire functions. Then the solutions \(w=f_\kappa (z)\) (\(1\le \kappa \le k\)) to the equation \(P(z,w)=0\) admit unrestricted analytic continuation into \(\mathbb {C}\setminus S_P\), where \(S_P\) denotes the set of singularities; it consists of the zeros of \(A_k\) and the discriminant of P w.r.t. w. The singularities (including poles) are algebraic; ordinary poles will not be viewed as singularities. The branches \(f_\kappa \) form the algebroid function
For algebroid functions, Selberg and Valiron independently developed an analogous Nevanlinna theory as follows (see, for example [8]):
and
denote the proximity function, the counting function of poles, and the Selberg characteristic of \(\mathfrak {f}\), respectively. Up to a bounded term the latter coincides with the Valiron characteristic
where
the definition of \(T_V\) is similar to the Ahlfors–Shimizu formula in ordinary Nevanlinna theory (see, for example, Hayman’s monograph [2]). We will not distinguish between both characteristics and just write \(T(r,\mathfrak {f})\). The First Main Theorem
follows from \(T_V(r,1/\mathfrak {f})=T_V(r,\mathfrak {f})\) (based on \(w^kP(z,1/w)=\sum _{\kappa =0}^kA_{k-\kappa }(z)w^\kappa \)) combined with \(T_S(r,\mathfrak {f}-c)=T_S(r,\mathfrak {f})+O(1)\) (based on \(||f_\kappa |-|f_\kappa -c||\le |c|\)). Algebraic functions have characteristic \(T(r,\mathfrak {f})=O(\log r)\) as \(r\rightarrow \infty \), while for transcendental (non-algebraic) algebroid functions \(\log r=o(T(r,\mathfrak {f}))\) holds. The fundamental result in Nevanlinna theory, the Lemma on the proximity function of the logarithmic derivative remains valid (\(\mathfrak {f}'/\mathfrak {f}\) has branches \(f'_\kappa /f_\kappa \)):
holds (possibly) outside some set \(E\subset (0,\infty )\) of finite measure.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Steinmetz, N. Malmquist-Type Theorems for Cubic Hamiltonians. Comput. Methods Funct. Theory 21, 43–59 (2021). https://doi.org/10.1007/s40315-020-00356-3
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s40315-020-00356-3
Keywords
- Hamiltonian system
- Painlevé differential equation
- Painlevé property
- Malmquist property
- Algebroid function