 Research
 Open access
 Published:
All meromorphic solutions of some algebraic differential equations and their applications
Advances in Difference Equations volume 2014, Article number: 105 (2014)
Abstract
In this paper, we employ Nevanlinna’s value distribution theory to investigate the existence of meromorphic solutions of some algebraic differential equations. We obtain the representations of all meromorphic solutions of certain algebraic differential equations with constant coefficients and dominant term. Many results are the corollaries of our result, and we will give the complex method to find all traveling wave exact solutions of corresponding partial differential equations. As an example, we obtain all meromorphic solutions of the KuramotoSivashinsky equation by using our complex method. Our results show that the complex method provides a powerful mathematical tool for solving great many nonlinear partial differential equations in mathematical physics.
MSC:30D35, 34A05.
1 Introduction and the main result
Nonlinear partial differential equations (NLPDEs) are widely used as models to describe many important dynamical systems in various fields of science, particularly in fluid mechanics, solid state physics, plasma physics, and nonlinear optics. Exact solutions of NLPDEs of mathematical physics have attracted significant interest in the literature. Over the last years, much work has been done on the construction of exact solitary wave solutions and periodic wave solutions of nonlinear physical equations. Many methods have been developed by mathematicians and physicists to find special solutions of NLPDEs, such as the inverse scattering method [1], Darboux transformation method [2], Hirota bilinear method [3], Lie group method [4], bifurcation method of dynamic systems [5–7], sinecosine method [8], tanhfunction method [9, 10], Fanexpansion method [11], and homogenous balance method [12]. Practically, there is no unified technique that can be employed to handle all types of nonlinear differential equations. Recently, some authors have found the traveling wave exact solutions of certain NLPDEs by using the complex method.
A meromorphic function w(z) means that w(z) is holomorphic in the complex plane ℂ except for poles. α, b, c, {c}_{i}, and {c}_{ij} are constants, which may be different from each other in different place. It is assumed that the reader is familiar with the standard notations and the basic results of Nevanlinna’s value distribution theory such as
For details on Nevanlinna’s value distribution theory, please see [13]. We denote by S(r,f) any function satisfying S(r,f)=o\{T(r,f)\}, as r\to \mathrm{\infty}, possibly outside of a set of finite measure. We say that a meromorphic function f belongs to the class W if f is an elliptic function, or a rational function of {e}^{\alpha z}, \alpha \in \mathbb{C}, or a rational function of z.
In order to state our results, we need some concepts and notations.
Set m\in \mathbb{N}:=\{1,2,3,\dots \}, {r}_{j}\in {\mathbb{N}}_{0}=\mathbb{N}\cup \{0\}, r=({r}_{0},{r}_{1},\dots ,{r}_{m}), j=0,1,\dots ,m. We define a differential monomial denoted by
p(r):={r}_{0}+2{r}_{1}+\cdots +(m+1){r}_{m} and deg(M) are called the weight and degree of {M}_{r}[w], respectively.
A differential polynomial P[w] is defined as follows:
where {a}_{r} are constants and I is a finite index set. The total weight and degree of P[w] are defined by W(P):={max}_{r\in I}\{p(r)\} and deg(P):={max}_{r\in I}\{deg({M}_{r})\}, respectively.
We will consider the following complex ordinary differential equation:
where n\in \mathbb{N}.
Let p,q\in \mathbb{N}. Suppose that equation (1.1) has a meromorphic solution w with at least one pole. We say that equation (1.1) satisfies the \u3008p,q\u3009 condition if there exactly exist p distinct meromorphic solutions of (1.1) with pole of multiplicity q at z=0.
We know that verifying the fact that equation (1.1) satisfies the \u3008p,q\u3009 condition may be very difficult, and many equations (1.1) do not satisfy the \u3008p,q\u3009 condition. We say that equation (1.1) satisfies the weak \u3008p,q\u3009 condition if substituting the Laurent series
into equation (1.1) we can determine p distinct Laurent principle parts as the form
In 2006, Eremenko [14] researched the existence of meromorphic solutions of the complex KuramotoSivashinsky equation
where ν, μ, b, and A are constants, and obtained that all meromorphic solutions w of equation (1.3) are such that w\in W. In 1986, Eremenko [15] investigated the korder BriotBouquet equations
where {P}_{i}(w) are polynomials with constant coefficients in w. He proved that any meromorphic solution w of equation (1.4) belongs to the class W if w has at least one pole and k is odd. In 2009, Eremenko et al. [16] proved the following.
Theorem A If w is a meromorphic solution of equation (1.4) and w has at least one pole, then w\in W.
Recently, Yuan et al. [17] obtained the following Theorem B and proposed Conjecture C.
Theorem B Let p,l,m,n\in \mathbb{N}, deg(P)<n, and equation (1.1) satisfy the \u3008p,q\u3009 condition. Then all meromorphic solutions w of equation (1.1) belong to the class W. If for some values of parameters such a solution w exists, then other meromorphic solutions form a oneparametric family w(z{z}_{0}), {z}_{0}\in \mathbb{C}. Furthermore, w with pole at 0 must be one of the following three cases:

(I)
Each rational function solution w:=R(z), say {z}_{1}=0, is of the form
R(z)=\sum _{i=1}^{l}\sum _{j=1}^{q}\frac{{c}_{ij}}{{(z{z}_{i})}^{j}}+{c}_{0},(1.5)
with l (≤p) distinct poles of multiplicity q.

(II)
Each simply periodic solution is a rational function R(\xi ) with pole at {\xi}_{1}=1 of \xi ={e}^{\alpha z} (\alpha \in \mathbb{C}). R(\xi ) has l (≤p) distinct poles of multiplicity q, and is of the form
R(\xi )=\sum _{i=1}^{l}\sum _{j=1}^{q}\frac{{c}_{ij}}{{(\xi {\xi}_{i})}^{j}}+{c}_{0}.(1.6) 
(III)
Each elliptic solution can be written as
\begin{array}{rl}w(z)=& \sum _{i=1}^{l1}\sum _{j=2}^{q}\frac{{(1)}^{j}{c}_{ij}}{(j1)!}\frac{{d}^{j2}}{d{z}^{j2}}(\frac{1}{4}{\left[\frac{{\mathrm{\wp}}^{\prime}(z)+{B}_{i}}{\mathrm{\wp}(z){A}_{i}}\right]}^{2}\mathrm{\wp}(z))\\ +\sum _{i=1}^{l1}\frac{{c}_{i1}}{2}\frac{{\mathrm{\wp}}^{\prime}(z)+{B}_{i}}{\mathrm{\wp}(z){A}_{i}}+\sum _{j=2}^{q}\frac{{(1)}^{j}{c}_{lj}}{(j1)!}\frac{{d}^{j2}}{d{z}^{j2}}\mathrm{\wp}(z)+{c}_{0},\end{array}(1.7)
where \mathrm{\wp}(z) is the Weierstrass elliptic function, {c}_{ij} are given by (1.2), {B}_{i}^{2}=4{A}_{i}^{3}{g}_{2}{A}_{i}{g}_{3} and {\sum}_{i=1}^{l}{c}_{i1}=0. And w has another form which is one of the following three forms.

(1)
If w is even and the pole of the Weierstrass elliptic function \mathrm{\wp}(z) is the pole of w, then w is a rational Q(\xi ) of \xi :=\mathrm{\wp}(z) and has the form of
Q(\xi )=\sum _{i=1}^{l}\sum _{j=1}^{q}\frac{{c}_{ij}}{{(\xi {\xi}_{i})}^{j}}+\sum _{i=0}^{{q}_{0}}{c}_{i}{\xi}^{i},(1.8)
where {q}_{0}\le \frac{q}{2}. If the pole of \mathrm{\wp}(z) is not the pole of w, then {q}_{0}=0.

(2)
If w is odd, then \frac{w}{{\mathrm{\wp}}^{\prime}(z)} is a rational Q(\xi ) of \xi :=\mathrm{\wp}(z).

(3)
If w is nonodd and noneven, then
w(z)={Q}_{1}(\mathrm{\wp}(z))+\mathrm{\wp}{(z)}^{\prime}{Q}_{2}(\mathrm{\wp}(z)),
where {Q}_{1}(\xi ) and {Q}_{2}(\xi ) are rational functions with the form of (1.8).
Conjecture C Suppose that p,m,n\in \mathbb{N}, equation (1.1) satisfies the weak \u3008p,q\u3009 condition and deg(P)<n. Then the conclusions of Theorem B hold.
In this paper, we employ Nevanlinna’s value distribution theory to investigate the existence of meromorphic solutions of some algebraic differential equations. We give positive answer to Conjecture C and obtain the representations of all meromorphic solutions of certain algebraic differential equations with constant coefficients and dominant term. Many results are the corollaries of our result, and we will give the complex method to find all traveling wave exact solutions of corresponding partial differential equations. As an example, we obtain all meromorphic solutions of the KuramotoSivashinsky equation (1.3) by using our complex method. Our results show that the complex method provides a powerful mathematical tool for solving great many nonlinear partial differential equations in mathematical physics.
Our main result is the following Theorem 1.
Theorem 1 Consider an algebraic differential equation
where m,n\in \mathbb{N}, a\ne 0, m is an odd integer, and P[w] is a differential polynomial. Suppose that equation (1.9) satisfies the weak \u3008p,q\u3009 condition, and p(r)+(q1)deg({M}_{r})<m+q, deg(P)<n. Then the conclusions of Theorem B hold, i.e., all meromorphic solutions w of equation (1.9) belong to the class W. If for some values of parameters such a solution w exists, then other meromorphic solutions form a oneparametric family w(z{z}_{0}), {z}_{0}\in \mathbb{C}. Furthermore, w with pole at 0 must be one of the following three cases:

(I)
Each rational function solution w:=R(z), say {z}_{1}=0, is of the form
R(z)=\sum _{i=1}^{l}\sum _{j=1}^{q}\frac{{c}_{ij}}{{(z{z}_{i})}^{j}}+{c}_{0},
with l (≤p) distinct poles of multiplicity q.

(II)
Each simply periodic solution is a rational function R(\xi ) with pole at {\xi}_{1}=1 of \xi ={e}^{\alpha z} (\alpha \in \mathbb{C}). R(\xi ) has l (≤p) distinct poles of multiplicity q, and is of the form
R(\xi )=\sum _{i=1}^{l}\sum _{j=1}^{q}\frac{{c}_{ij}}{{(\xi {\xi}_{i})}^{j}}+{c}_{0}. 
(III)
Each elliptic solution can be written as
\begin{array}{rl}w(z)=& \sum _{i=1}^{l1}\sum _{j=2}^{q}\frac{{(1)}^{j}{c}_{ij}}{(j1)!}\frac{{d}^{j2}}{d{z}^{j2}}(\frac{1}{4}{\left[\frac{{\mathrm{\wp}}^{\prime}(z)+{B}_{i}}{\mathrm{\wp}(z){A}_{i}}\right]}^{2}\mathrm{\wp}(z))\\ +\sum _{i=1}^{l1}\frac{{c}_{i1}}{2}\frac{{\mathrm{\wp}}^{\prime}(z)+{B}_{i}}{\mathrm{\wp}(z){A}_{i}}+\sum _{j=2}^{q}\frac{{(1)}^{j}{c}_{lj}}{(j1)!}\frac{{d}^{j2}}{d{z}^{j2}}\mathrm{\wp}(z)+{c}_{0},\end{array}
where \mathrm{\wp}(z) is the Weierstrass elliptic function, {c}_{ij} are given by (1.2), {B}_{i}^{2}=4{A}_{i}^{3}{g}_{2}{A}_{i}{g}_{3}, and {\sum}_{i=1}^{l}{c}_{i1}=0. And w has another form which is one of the following three forms.

(1)
If w is even and the pole of the Weierstrass elliptic function \mathrm{\wp}(z) is the pole of w, then w is a rational Q(\xi ) of \xi :=\mathrm{\wp}(z) and has the form of
Q(\xi )=\sum _{i=1}^{l}\sum _{j=1}^{q}\frac{{c}_{ij}}{{(\xi {\xi}_{i})}^{j}}+\sum _{i=0}^{{q}_{0}}{c}_{i}{\xi}^{i},
where {q}_{0}\le \frac{q}{2}. If the pole of \mathrm{\wp}(z) is not the pole of w, then {q}_{0}=0.

(2)
If w is odd, then \frac{w}{{\mathrm{\wp}}^{\prime}(z)} is a rational Q(\xi ) of \xi :=\mathrm{\wp}(z).

(3)
If w is nonodd and noneven, then
w(z)={Q}_{1}(\mathrm{\wp}(z))+\mathrm{\wp}{(z)}^{\prime}{Q}_{2}(\mathrm{\wp}(z)),
where {Q}_{1}(\xi ) and {Q}_{2}(\xi ) are rational functions with the form of (1.8).
Consider the algebraic differential equation
where {C}_{0}\ne 0, {C}_{i}, i=1,2,\dots ,8, are constants.
Corollary 2 If {C}_{8}\ne 0 or {C}_{8}=0, {C}_{4}\ne 0 or {C}_{8}={C}_{2}={C}_{4}=0, {C}_{7}\ne 0, then any meromorphic solution w of equation (1.10) belongs to W.
Remark 1 In 2010, Conte and Ng [18] obtained the above Corollary 2 by using the different method, in which {C}_{8}\ne 0 and all meromorphic solutions were given. In the later case, equation (1.10) is the same as the KuramotoSivashinsky equation (1.3), and Eremenko [14] pointed out that there are no meromorphic solutions except those found in [19–21].
This paper is organized as follows. In the next section, the preliminary lemmas and the complex method are given. The proof of Theorem 1 will be given in Section 3. All meromorphic solutions of the KuramotoSivashinsky equation (1.3) are derived from our complex method in Section 4. Some conclusions and discussions are given in the final section.
2 Preliminary lemmas and the complex method
In order to prove our results, we need the following four lemmas.
Lemma 1 (Clunie lemma [22, 23])
Let w be a meromorphic solution of an equation {w}^{n}P(z,w,{w}^{\prime},\dots ,{w}^{(m)})=Q(z,w,{w}^{\prime},\dots ,{w}^{(m)}), where P and Q are two differential polynomials in w and its derivatives {w}^{\prime},\dots ,{w}^{(m)} with meromorphic coefficients \{{a}_{\lambda}\lambda \in I\}, and m(r,{a}_{\lambda})=S(r,w). If the total degree of Q(z,w,{w}^{\prime},\dots ,{w}^{(m)}) in w and its derivatives {w}^{\prime},\dots ,{w}^{(m)} satisfy degQ(z,w,{w}^{\prime},\dots ,{w}^{(m)})\le n, then
Lemma 2 (Mohon’ko theorem [22, 23])
Let w be a meromorphic function, let
be an irreducible rational function in w with meromorphic coefficients {a}_{i}(z), {b}_{j}(z), and let T(r,{a}_{i})=S(r,w), T(r,{b}_{j})=S(r,w), i=0,\dots ,p, j=0,\dots ,q. Then
where d=max(p,q).
Lemma 3 Let {M}_{r,m}[w](z):={\prod}_{i=0}^{m}{[{w}^{(i)}(z)]}^{{r}_{i}} be a differential monomial with weight and degree p(r) and deg(M), respectively. Suppose that {w}_{1}(z) and {w}_{2}(z) are two functions. Then
where each {P}_{i,m}[{w}_{1},{w}_{2}]={\prod}_{k=0}^{i1}{[{w}_{1}^{(k)}]}^{{r}_{k}}{\prod}_{k=i+1}^{m}{[{w}_{2}^{(k)}]}^{{r}_{k}} ({\sum}_{k=0}^{{r}_{i}1}{[{w}_{1}^{(i)}]}^{k}{[{w}_{2}^{(i)}]}^{{r}_{i}1k}) (i=0,\dots ,m) is a homogenous differential polynomial in {w}_{1} and {w}_{2} with the total weight W({P}_{i,m})=p(r)i1 and degree deg({P}_{i,m})=deg(M)1, respectively.
Proof When m=0, we have
which shows that Lemma 3 holds.
Suppose that Lemma 3 holds for all k\le m. Noting
by the induction hypothesis, we know that the case m of Lemma 3 holds. Therefore Lemma 3 holds.
The proof of Lemma 3 is complete. □
Lemma 4 [24]
Let f(z) be an elliptic function of order m (m={q}_{1}+\cdots +{q}_{l}) and with l distinct poles {z}_{1},\dots ,{z}_{l} of multiplicity {q}_{1},\dots ,{q}_{l} per parallelogram of periods. Then
where {c}_{ij} is obtained by (1.2), {B}_{i}^{2}=4{A}_{i}^{3}{g}_{2}{A}_{i}{g}_{3} and {\sum}_{i=1}^{l}{c}_{i1}=0.
If 0 is a pole, say {z}_{l}=0, then (2.2) can be expressed as
In order to give the representations of elliptic solutions, we need some notations and results concerning elliptic function [24].
Let {\omega}_{1}, {\omega}_{2} be two given complex numbers such that Im\frac{{\omega}_{1}}{{\omega}_{2}}>0, L=L[2{\omega}_{1},2{\omega}_{2}] be discrete subset L[2{\omega}_{1},2{\omega}_{2}]=\{\omega \omega =2n{\omega}_{1}+2m{\omega}_{2},n,m\in \mathbb{Z}\}, which is isomorphic to \mathbb{Z}\times \mathbb{Z}. The discriminant \mathrm{\Delta}=\mathrm{\Delta}({c}_{1},{c}_{2}):={c}_{1}^{3}27{c}_{2}^{2} and
The Weierstrass elliptic function \mathrm{\wp}(z):=\mathrm{\wp}(z,{g}_{2},{g}_{3}) is a meromorphic function with double periods 2{\omega}_{1}, 2{\omega}_{2} and satisfies the equation
where {g}_{2}=60{s}_{4}, {g}_{3}=140{s}_{6}, and \mathrm{\Delta}({g}_{2},{g}_{3})\ne 0.
If we change (2.3a) to the form
we have {e}_{1}=\mathrm{\wp}({\omega}_{1}), {e}_{2}=\mathrm{\wp}({\omega}_{2}), {e}_{3}=\mathrm{\wp}({\omega}_{1}+{\omega}_{2}).
Inversely, given two complex numbers {g}_{2} and {g}_{3} such that \mathrm{\Delta}({g}_{2},{g}_{3})\ne 0, there exist double periods 2{\omega}_{1}, 2{\omega}_{2} Weierstrass elliptic function \mathrm{\wp}(z) such that above relations hold.
It is easy to see that the set of poles of the Weierstrass elliptic function \mathrm{\wp}(z) is L, \mathrm{\wp}(z) has four distinct complete multiple values {e}_{1}, {e}_{2}, {e}_{3} and infinite, and thus any other value of it must be simple.
The Weierstrass elliptic functions \mathrm{\wp}(z):=\mathrm{\wp}(z,{g}_{2},{g}_{3}) have two successive degeneracies and addition formula as follows.

(I)
Degeneracy to simply periodic functions (i.e., rational functions of one exponential {e}^{\alpha z}) according to
\mathrm{\wp}(z,3{d}^{2},{d}^{3})=2d\frac{3d}{2}{coth}^{2}\sqrt{\frac{3d}{2}}z,(2.5)
if one root {e}_{j} is double (\mathrm{\Delta}({g}_{2},{g}_{3})=0).

(II)
Degeneracy to rational functions of z according to
\mathrm{\wp}(z,0,0)=\frac{1}{{z}^{2}}
if one root {e}_{j} is triple ({g}_{2}={g}_{3}=0).

(III)
Addition formula
\mathrm{\wp}(z{z}_{0})=\mathrm{\wp}(z)\mathrm{\wp}({z}_{0})+\frac{1}{4}{\left[\frac{{\mathrm{\wp}}^{\prime}(z)+{\mathrm{\wp}}^{\prime}({z}_{0})}{\mathrm{\wp}(z)\mathrm{\wp}({z}_{0})}\right]}^{2}.(2.6)
By above lemmas, we can give a new method below, say the complex method, to find exact solutions of some PDEs.
Step 1. Substituting the transform T:u(x,t)\to w(z), (x,t)\to z into a given PDE gives nonlinear ordinary differential equation (1.9).
Step 2. Substitute (1.2) into equation (1.9) to verify that the weak \u3008p,q\u3009 condition and weight relations p(r)+(q1)deg({M}_{r})<m+q hold.
Step 3. By indeterminant relations (1.5), (1.6), and (1.7) we find the elliptic, rational and simply periodic solutions w(z) of equation (1.9) with pole at z=0, respectively.
Step 4. By Theorem 1 we obtain all meromorphic solutions w(z{z}_{0}).
Step 5. Substitute the inverse transform {T}^{1} into these meromorphic solutions w(z{z}_{0}), then we get all exact solutions u(x,t) of the original given PDE.
3 Proof of the main theorem
Proof of Theorem 1 Suppose that w is a meromorphic solution of equation (1.9). We divide the proof into three cases.
Case 1. w is entire.
We will first prove that w is not transcendental. Otherwise, rewrite (1.9) as follows:
Making use of Lemma 1, we get
Noting that N(r,w)=0, we have
a contradiction. So w is not a transcendental entire function.
Next, if w is a polynomial of degree k (k\ge 1), that is,
Substituting w into (1.9), we know that the coefficient {a}_{k}^{n} of the highest degree term in z is not zero. Hence w is constant.
Case 2. w is a meromorphic function with finite poles.
By using the logarithmic derivative lemma and properties of Nevanlinna’s characteristic function, we have T(r,\frac{{w}^{(i)}}{w})=O(logr)+S(r,w). Change P[w] to the form of
where each {b}_{i} (i=1,\dots ,n1) is its variables polynomial, then Lemma 2 gives
By Lemma 2 once more, we have T(r,{w}^{n})=nT(r,w)+O(1), and then T(r,w)=S(r,w)+O(logr). Hence w is rational.
Assume that {z}_{1},{z}_{2},\dots ,{z}_{p+1} are of p+1 distinct poles of w on the whole ℂ, then w(z+{z}_{1}),\dots ,w(z+{z}_{p+1}) are solutions of equation (1.9) which have pole at z=0. By the weak \u3008p,q\u3009 condition, we see that there exist at least two of them, say {w}_{1}(z):=w(z+{z}_{1}) and {w}_{2}(z):=w(z+{z}_{p+1}), such that {w}_{1}(z) and {w}_{2}(z) have the same Laurent principle parts. We will prove that {w}_{1}(z)\equiv {w}_{2}(z). Otherwise, z=0 is a zero of {w}_{1}(z){w}_{2}(z) with multiplicity l\ge 0. Substituting {w}_{1}(z) and {w}_{2}(z) into equation (1.9), we get
and
Since z=0 is a pole of {w}_{i} with multiplicity q, by hypothesis p(r)+(q1)deg({M}_{r})<m+q and deg(P)<n, (3.1) implies
Thus, by (3.3), we can change (3.1) into the form
Since m+q({\sum}_{l=0}^{j}(q+l){r}_{l})>m+qp(r)(q1)deg({M}_{r})>0, we get that for each i=1,2, as z\to 0,
Hence, setting z\to 0 in (3.4) and combining deg(P)<n, we have
By Lemma 3, (3.2) can be changed into the form
where each {P}_{i,j}[{w}_{1},{w}_{2}] (i=0,\dots ,j, j=0,\dots ,m1) is a homogenous differential polynomial in {w}_{1} and {w}_{2} such that the total weight
and degree
respectively.
And then
Noting that {P}_{i,j}[{w}_{1},{w}_{2}]={\prod}_{k=0}^{i1}{[{w}_{1}^{(k)}]}^{{r}_{k}}{\prod}_{k=i+1}^{j}{[{w}_{2}^{(k)}]}^{{r}_{k}} ({\sum}_{k=0}^{{r}_{i}1}{[{w}_{1}^{(i)}]}^{k}{[{w}_{2}^{(i)}]}^{{r}_{i}1k}) (i=0,\dots ,j) and m+q({\sum}_{l=0}^{j}(q+l){r}_{l})>m+qp(r)(q1)deg({M}_{r})>0, by the similarly argument and taking z\to 0, (3.7) implies
Since m is an odd integer, from both (3.5) and (3.8), we infer {c}_{q}=0. This is impossible.
Thus w(z)\equiv w(z{z}_{1}+{z}_{p+1}), hence w is periodic. But a periodic rational function must be constant, a contradiction.
Therefore w has at most l distinct poles on ℂ, say l\le p distinct poles {z}_{1},\dots ,{z}_{l}. Furthermore, w has the form of
where P(z) is a polynomial. Substituting (3.9) into equation (1.9), computing the indeterminant coefficients from the highest term in turn in z for P(z) by the hypothesis, we infer that P(z) is constant. Thus (I) occurs.
Case 3. w has infinite poles.
From former conclusion, we know that there exist l\le p distinct poles {z}_{1},\dots ,{z}_{l} such that the set of all poles of w can be expressed as {z}_{1}+\mathrm{\Gamma},\dots ,{z}_{l}+\mathrm{\Gamma}, where Γ is a nontrivial discrete subset on (\mathbb{C},+). Thus Γ is isomorphic ℤ, or isomorphic \mathbb{Z}\times \mathbb{Z}. We consider them, respectively.
If Γ is isomorphic ℤ, then \mathbb{C}/\mathrm{\Gamma}={\mathbb{C}}^{\ast}=\mathbb{C}\mathrm{\setminus}0, and w is a single periodic function. Then w=R(exp(\alpha z)), where R is a meromorphic function with l (≤p) distinct poles {\xi}_{1},\dots ,{\xi}_{l} of multiplicity q. We will prove that R is a rational function.
Set \xi =exp(\alpha z) and substitute w=R(\xi ) into equation (1.9), we have
It is the same argument as Case 1, if R is transcendental, Lemma 1 implies m(r,R)=S(r,R). Noting that R has and only has l\le p distinct poles, we have T(r,R)=S(r,R), a contradiction. Therefore, R is a rational function.
By a similar argument of the later part of Case 2 for R and equation (3.10), we see that (II) holds.
If Γ is isomorphic \mathbb{Z}\times \mathbb{Z}, then w is an elliptic function and has l (≤p) distinct poles {\xi}_{1},\dots ,{\xi}_{l} of multiplicity q per parallelogram of periods.
(1.7) can be obtained from (2.3) of Lemma 4. By Lemma 4, we can obtain another representation of w.

(1)
If w is even. By Lemma 4, we know that w can be expressed as w=Q(\mathrm{\wp}(z)), where Q(\xi ) is a rational function. Noting that the poles of w are of multiplicity q and the poles of \mathrm{\wp}(z) are of multiplicity 2, we infer that Q(\xi ) has the form of
Q(\xi )=\sum _{i=1}^{l}\sum _{j=1}^{q}\frac{{c}_{ij}}{{(\xi {\xi}_{i})}^{j}}+\sum _{i=0}^{{q}_{0}}{c}_{i}{\xi}^{i},(3.11)
where {q}_{0}\le \frac{q}{2} and the pole of \mathrm{\wp}(z) is the pole of w, or then {q}_{0}=0 if the pole of \mathrm{\wp}(z) is not the pole of w.

(2)
If w is odd, note that {\mathrm{\wp}}^{\prime}(z) is odd, then \frac{w}{{\mathrm{\wp}}^{\prime}(z)} is even. By conclusion (1), we deduce that \frac{w}{{\mathrm{\wp}}^{\prime}(z)} is a rational Q(\xi ) of \xi :=\mathrm{\wp}(z).

(3)
If w is nonodd and noneven, then rewrite w to the form of w(z)=\frac{w(z)+w(z)}{2}+\frac{w(z)w(z)}{2}. It is easy to know that \frac{w(z)+w(z)}{2} is even, and \frac{w(z)w(z)}{2} is odd. Therefore both conclusions (1) and (2) give
w(z)={Q}_{1}(\mathrm{\wp}(z))+\mathrm{\wp}{(z)}^{\prime}{Q}_{2}(\mathrm{\wp}(z)),
where {Q}_{1}(\xi ) and {Q}_{2}(\xi ) are rational functions with the form of (3.11). Conclusion (3) holds.
Thus (III) occurs.
The proof of Theorem 1 is complete. □
4 All meromorphic solutions of the KuramotoSivashinsky equation
In this section, we give an example to show our complex method and the application of Theorem 1.
Substituting (1.2) into equation (1.3), we have
Thus q=3, p=1, {c}_{3}=120\nu, {c}_{2}=15b, {c}_{1}=(\frac{60\mu}{19}\frac{15{b}^{2}}{76\nu}).
Hence, equation (1.3) satisfies the weak \u30081,3\u3009 condition. Obviously, equation (1.3) satisfies other conditions. So, by Theorem 1, we know that all meromorphic solutions of equation (1.3) belong to W. Now we will give the forms of all meromorphic solutions of equation (1.3).
By (2.3) of Lemma 4, we infer that the indeterminant of elliptic solutions with pole z=0 is
where \mathrm{\wp}(z) is the Weierstrass elliptic function, {c}_{3}=120\nu, {c}_{2}=15b, {c}_{0} indeterminant.
Substituting (4.1) into equation (1.3), we have {b}^{2}=16\nu \mu.
Therefore, all elliptic function solutions of equation (1.3) are
where {b}^{2}=16\nu \mu. Making use of addition formula (2.6) of Lemma 5, we can rewrite it into the form
where {z}_{0}\in \mathbb{C}, {b}^{2}=16\nu \mu.
Making using of (2.5) of Lemma 5, all simply periodic function solutions of equation (1.3) with pole z=0 can be degenerated by
Thus, we have all simply periodic function solutions
where {z}_{0}\in \mathbb{C}, d\ne 0.
Making use of (2.6) of Lemma 5, all rational function solutions of equation (1.3) with pole z=0 can be degenerated by
Putting (4.2) into (1.3), we deduce that A=b=\mu =0. Hence, we have all rational function solutions
where {z}_{0}\in \mathbb{C}, A=b=\mu =0.
5 Conclusions
The complex method is very important in finding the exact solutions of nonlinear evolution equations, and AODEq. (1.9) is a class of most important auxiliary equations because many nonlinear evolution equations can be converted to this equation making use of the traveling wave reduction. In this article, we employ Nevanlinna’s value distribution theory to investigate the existence of meromorphic solutions of some algebraic differential equations. We obtain the representations of all meromorphic solutions of certain algebraic differential equations with constant coefficients and dominant term. Many results are the corollaries of our result, and we will give the complex method to find all traveling wave exact solutions of corresponding partial differential equations. Our results show that the complex method provides a powerful mathematical tool for solving great many nonlinear partial differential equations in mathematical physics.
References
Ablowitz MJ, Clarkson PA London Mathematical Society Lecture Note Series. In Solitons, Nonlinear Evolution Equations and Inverse Scattering. Cambridge University Press, Cambridge; 1991.
Matveev VB, Salle MA Springer Series in Nonlinear Dynamics. In Darboux Transformations and Solitons. Springer, Berlin; 1991.
Hirota R, Satsuma J: Soliton solutions of a coupled KdV equation. Phys. Lett. A 1981, 85: 407–408. 10.1016/03759601(81)904230
Olver PJ Graduate Texts in Mathematics. In Applications of Lie Groups to Differential Equations. Springer, New York; 1993.
Li JB, Liu Z: Travelling wave solutions for a class of nonlinear dispersive equations. Chin. Ann. Math. 2002, 23: 397–418. 10.1142/S0252959902000365
Tang S, Huang W: Bifurcations of travelling wave solutions for the generalized double sinhGordon equation. Appl. Math. Comput. 2007, 189: 1774–1781. 10.1016/j.amc.2006.12.082
Feng D, He T, Lü J: Bifurcations of travelling wave solutions for (2+1)dimensional Boussinesq type equation. Appl. Math. Comput. 2007, 185: 402–414. 10.1016/j.amc.2006.07.039
Tang S, Xiao Y, Wang Z: Travelling wave solutions for a class of nonlinear fourth order variant of a generalized CamassaHolm equation. Appl. Math. Comput. 2009, 210: 39–47. 10.1016/j.amc.2008.10.041
Tang S, Zheng J, Huang W: Travelling wave solutions for a class of generalized KdV equation. Appl. Math. Comput. 2009, 215: 2768–2774. 10.1016/j.amc.2009.09.019
Malfliet W, Hereman W: The tanh method: I. Exact solutions of nonlinear evolution and wave equations. Phys. Scr. 1996, 54: 563–568. 10.1088/00318949/54/6/003
Fan E: Uniformly constructing a series of explicit exact solutions to nonlinear equations in mathematical physics. Chaos Solitons Fractals 2003, 16: 819–839. 10.1016/S09600779(02)004721
Wang ML: Solitary wave solutions for variant Boussinesq equations. Phys. Lett. A 1995, 199: 169–172. 10.1016/03759601(95)00092H
Yang L: ValueDistribution Theory and Its New Research. Science Press, Beijing; 1982.
Eremenko A: Meromorphic traveling wave solutions of the KuramotoSivashinsky equation. Zh. Mat. Fiz. Anal. Geom. 2006, 2: 278–286.
Eremenko A: Meromorphic solutions of equations of BriotBouquet type. Teor. Funkc. Funkc. Anal. Ih Prilozh. 1982, 38: 48–56. English translation: Amer. Math. Soc. Transl. 133(2), 15–23 (1986)
Eremenko A, Liao LW, Ng TW: Meromorphic solutions of higher order BriotBouquet differential equations. Math. Proc. Camb. Philos. Soc. 2009, 146: 197–206. 10.1017/S030500410800176X
Yuan WJ, Shang YD, Huang Y, Wang H: The representation of meromorphic solutions of certain ordinary differential equations and its applications. Sci. Sin. Math. 2013, 43(6):563–575. 10.1360/012012159
Conte R, Ng TW: Meromorphic solutions of a third order nonlinear differential equation. J. Math. Phys. 2010., 51: Article ID 033518
Kuramoto Y, Tsuzuki T: Persistent propagation of concentration waves in dissipative media far from thermal equilibrium. Prog. Theor. Phys. 1976, 55: 356–369. 10.1143/PTP.55.356
Kudryashov NA: Exact soliton solutions of the generalized evolution equation of wave dynamics. Prikl. Mat. Meh. 1988, 52: 465–470. English transl.: J. Appl. Math. Mech. 52, 361–365 (1988)
Kudryashov NA: Exact solutions of the generalized KuramotoSivashinsky equation. Phys. Lett. A 1990, 147: 287–291. 10.1016/03759601(90)90449X
Laine I: Nevanlinna Theory and Complex Differential Equations. de Gruyter, Berlin; 1993.
He YZ, Xiao XZ: Algebroid Functions and Ordinary Differential Equations. Science Press, Beijing; 1988.
Lang S: Elliptic Functions. 2nd edition. Springer, New York; 1987.
Conte R, Musette M: Elliptic general analytic solutions. Stud. Appl. Math. 2009, 123(1):63–81. 10.1111/j.14679590.2009.00447.x
Acknowledgements
The first author would like to express his hearty thanks to Professor Fang Mingliang and Liao Liangwen for their helpful discussions and suggestions. This work was supported by the Visiting Scholar Program of Chern Institute of Mathematics at Nankai University when the authors worked as visiting scholars. The authors would like to express their hearty thanks to Chern Institute of Mathematics for very comfortable research environment. This work was supported by the NSF of China (11271090), Tianyuan Youth Fund of the NSF of China (11326083), Shanghai University Young Teacher Training Program (ZZSDJ12020), Innovation Program of Shanghai Municipal Education Commission (14YZ164), the NSF of Guangdong Province (S2012010010121), Project 13XKJC01 from the Leading Academic Discipline Project of Shanghai Dianji University.
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
WY carried out the main part of this manuscript. JQ and YL participated in discussion and corrected the main theorem. All authors read and approved the final manuscript.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 2.0 International License ( https://creativecommons.org/licenses/by/2.0 ), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
About this article
Cite this article
Yuan, W., Li, Y. & Qi, J. All meromorphic solutions of some algebraic differential equations and their applications. Adv Differ Equ 2014, 105 (2014). https://doi.org/10.1186/168718472014105
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/168718472014105