
Data Envelopment Analysis (DEA) is a prominent technique for evaluating the performance and ranking of a set of decision-making units (DMUs) that transform multiple inputs into multiple outputs. However, one of the challenges of the primary DEA models is facing imprecise data in real practical problems. To address this issue, fuzzy DEA have been proposed, which have been successfully applied in many real fields. On the other hand, in some real-world DEA applications, the primary objective of performance evaluation is the ranking of a group that consists of several DMUs that are typically under the control of a centralized management. In this paper, we try to use the theory of cooperative games and Shapley value method as a fair method to solve such games in order to rank groups in DEA. In this way, the resulting rank for groups is based on the average marginal shares of groups in different coalitions that are formed based on the theory of cooperative games. We applied the proposed method to rank groups of airlines considering fuzzy data. To the best of authors' knowledge, so far, no method has been presented in DEA literature for ranking groups in fuzzy environment and using game theory techniques.
Citation: Sharifeh Soofizadeh, Reza Fallahnejad. Evaluation of groups using cooperative game with fuzzy data envelopment analysis[J]. AIMS Mathematics, 2023, 8(4): 8661-8679. doi: 10.3934/math.2023435
[1] | Yanxia Hu, Qian Liu . On traveling wave solutions of a class of KdV-Burgers-Kuramoto type equations. AIMS Mathematics, 2019, 4(5): 1450-1465. doi: 10.3934/math.2019.5.1450 |
[2] | Qian Zhang, Ai Ke . Bifurcations and exact solutions of generalized nonlinear Schrödinger equation. AIMS Mathematics, 2025, 10(3): 5158-5172. doi: 10.3934/math.2025237 |
[3] | M. TarikulIslam, M. AliAkbar, M. Abul Kalam Azad . Traveling wave solutions in closed form for some nonlinear fractional evolution equations related to conformable fractional derivative. AIMS Mathematics, 2018, 3(4): 625-646. doi: 10.3934/Math.2018.4.625 |
[4] | Jin Hyuk Choi, Hyunsoo Kim . Exact traveling wave solutions of the stochastic Wick-type fractional Caudrey-Dodd-Gibbon-Sawada-Kotera equation. AIMS Mathematics, 2021, 6(4): 4053-4072. doi: 10.3934/math.2021240 |
[5] | Md. Nurul Islam, Md. Asaduzzaman, Md. Shajib Ali . Exact wave solutions to the simplified modified Camassa-Holm equation in mathematical physics. AIMS Mathematics, 2020, 5(1): 26-41. doi: 10.3934/math.2020003 |
[6] | Weiping Gao, Yanxia Hu . The exact traveling wave solutions of a class of generalized Black-Scholes equation. AIMS Mathematics, 2017, 2(3): 385-399. doi: 10.3934/Math.2017.3.385 |
[7] | Shami A. M. Alsallami . Investigating exact solutions for the (3+1)-dimensional KdV-CBS equation: A non-traveling wave approach. AIMS Mathematics, 2025, 10(3): 6853-6872. doi: 10.3934/math.2025314 |
[8] | M. Ali Akbar, Norhashidah Hj. Mohd. Ali, M. Tarikul Islam . Multiple closed form solutions to some fractional order nonlinear evolution equations in physics and plasma physics. AIMS Mathematics, 2019, 4(3): 397-411. doi: 10.3934/math.2019.3.397 |
[9] | Dan Chen, Da Shi, Feng Chen . Qualitative analysis and new traveling wave solutions for the stochastic Biswas-Milovic equation. AIMS Mathematics, 2025, 10(2): 4092-4119. doi: 10.3934/math.2025190 |
[10] | M. A. Habib, H. M. Shahadat Ali, M. Mamun Miah, M. Ali Akbar . The generalized Kudryashov method for new closed form traveling wave solutions to some NLEEs. AIMS Mathematics, 2019, 4(3): 896-909. doi: 10.3934/math.2019.3.896 |
Data Envelopment Analysis (DEA) is a prominent technique for evaluating the performance and ranking of a set of decision-making units (DMUs) that transform multiple inputs into multiple outputs. However, one of the challenges of the primary DEA models is facing imprecise data in real practical problems. To address this issue, fuzzy DEA have been proposed, which have been successfully applied in many real fields. On the other hand, in some real-world DEA applications, the primary objective of performance evaluation is the ranking of a group that consists of several DMUs that are typically under the control of a centralized management. In this paper, we try to use the theory of cooperative games and Shapley value method as a fair method to solve such games in order to rank groups in DEA. In this way, the resulting rank for groups is based on the average marginal shares of groups in different coalitions that are formed based on the theory of cooperative games. We applied the proposed method to rank groups of airlines considering fuzzy data. To the best of authors' knowledge, so far, no method has been presented in DEA literature for ranking groups in fuzzy environment and using game theory techniques.
The research of nonlinear evolution equations, which describe the real features in a variety of applied science, technology and engineering areas, is booming. The findings of their exact solutions are helpful to understand a variety of qualitative and quantitative features of these nonlinear scientific phenomena, which are widely present in nature such as vibration and self reinforcing solitary waves [8,9,19,25]. Specially, the study of the calculation and evolution of traveling wave solution, a kind of analytical solution of nonlinear evolution equations about spatial translation invariance, is helpful to understand the change process of the wave phenomena described by models under the action of nonlinearity, and to explain the relevant natural phenomena. In last some decades, many useful methods have been proposed to obtain traveling wave solutions with different physical structures, such as Hirota's bilinear transformation [11], inverse scattering method [3], Bäcklund transformation [2], the auxiliary equation mapping method and its extended modified form [7,37], the modified extended direct algebraic method [4], the logarithmic transformation and symbolic computation [32], extended algebraic method [36].
Vakhnenko in 1992 first proposed a nonlinear evolution equation [38]
∂∂x(∂∂t+u∂∂x)u+u=0, | (1.1) |
known as the Vakhnenko equation (VE), where u=u(x,t) represents the pulse wave envelopes, variables x and t stand for normalized displacement and time, respectively. He pointed out that (1.1) exhibits hydrodynamics nonlinearity similar to the Korteweg-de-Vries (KdV) equation, which implies that it may at least partially possesses the significant properties inherent to the KdV equation, such as the existence of soliton solutions. A series of traveling wave solutions for (1.1) and its variants were obtained through the auxiliary equation method [29] and the traveling wave reduction combined with a smart variable transformation [28]. Li-Ma used the Hirota bilinear method to derive N-order solutions and discussed the interaction dynamics of hybrid solitons and breathers for a generalized VE in [23]. Moreover, Vakhnenko and Parkes found (1.1) possesses loop-like wave solutions [31,33,39]. Additionally, Li et al. calculated N-loop soliton solutions of a (2+1)-dimensional VE and observed the dynamical interactions among the N-solitons are elastic [24]. These loop-like waves describe a special physical phenomenon where waves may be compressed in the spatiotemporal domain, and have shown great application prospects in ultra-fast optics [10]. In fact, (1.1) is still an integrable system originally proposed to describe the propagation of high-frequency waves in relaxing media. Additionally, many studies have shown that photons have better performance when propagating in relaxed media than in traditional media [35,47], so (1.1) also has important applications in high-speed optical fibers [17,49].
Later in 1998, Vakhnenko and Parkes unintentionally evolved VE into another new equation [39]
uuxxt−uxuxt+u2ut=0, | (1.2) |
namely, Vakhnenko-Parkes (VP) equation, by transforming the independent variables when they derived the exact two loop soliton solutions of (1.1). This transformation causes (1.2) to no longer have loop-like wave solutions, but the cusp-like wave solutions still exist. As a remarkable and important model to describe the propagation of gravity wave along the channel under the influence of Coriolis force, (1.2) has been proved to be integrable in sense of possessing multiple soliton-solutions [40,43]. Vakhnenko and Parkes found singular solutions of (1.2) with the inverse scattering method in [41] and the N-soliton solution with Hirota's method in [42]. The variable separation solutions with new coherent stuctures of (1.2), such as the soliton-type, instanton-type and rogue wave-type stuctures, were obtained in [48] by means of the variable separation approach based on the corresponding Bäcklund transformation. Moreover, there have been many profound achievements in the traveling wave solutions of (1.2), among which various methods have been developed including the (G'/G)-expansion method [1], the improved (G'/G)-expansion method [27], the simplest equation method [12], the exp-function and Exp(-ϕ(ξ))-expansion method [34] and the Hirota method [45]. Recently, Li proposed an extended Hirota bilinear method to construct the soliton, breather and multiple-wave soliton solutions of a generalized VP equation with time-dependent coefficients, and pointed out that the obtained soliton solutions can degenerate into existing single soliton solutions while the breather and multiple-wave soliton solutions are obtained for the first time [18].
In order to obtain more new and meaningful results, Majid et al. further extended (1.2) to family of the VP equation with power law nonlinearity [30]
uuxxt+auxuxt+bu2nut=0, | (1.3) |
where a, b are nonzero real constants and n∈Z+ indicates the power law nonlinearity parameter. Using the ansatz method, they confirmed the existence of non-topological solitary waves for any exponent n>1/2, topological solitary waves exist only in the case when n=3/2 and closed form solitary wave solutions exist only for a=−1. And then the exact topological and non-topological solitary wave solutions of (1.3) were calculated in [30]. In [15], the Painlevé property of (1.3) was analysed by the Kruskal approach [13], its symmetry was derived with help of the Lie group formalism [6] and invariant solutions of (1.3) are obtained through Bäcklund transformation method. In 2020, Jyoti and Kumar proposed a modified Vakhnenko-Parkes (mVP) equation with power law nonlinearity in the following generalised form [14]
uuxxt+auxuxt+bu3nut=0, | (1.4) |
where a, b are nonzero real constants and n≠1/3 is a power law nonlinearity parameter. For a=−1, b=1 and n=1, (1.4) reduces to the modified form of (1.2), which was first introduced by Wazwaz in 2018 and is called the mVP equation. In the same year, Wazwaz proved the complete integrability of the mVP equation by applying the Painlevé analysis in [45] and introduced two complex forms of the simplified Hirota's method to determine its multiple traditional and complex soliton solutions in [46], respectively. Then, Jyotia and Kumar [14] used the Kruskal approach to perform the Painlevé analysis of the mVP equation. In [5], the sine-Gordon expansion method [44] was presented to obtain the mixed dark bright wave patterns and some exact solutions, which comprises the hyperbolic, trigonometric, rational and exponential function with few licentious parameter. Further, in order to understand the dynamic behavior of these analytical solutions with different physical structures, authors of [5] completed their graphical analysis by means of 2D, 3D and contour plots.
However, there are still few studies on the analytical solutions of (1.3) and (1.4), especially the traveling wave solutions. The purpose of this paper is to systematically discuss the traveling wave solutions of family of VP equation exhibiting power law nonlinearity. Using the sense of the generalized Korteweg-de Vries-modified Korteweg-de Vries (KdV-mKdV) equation with high-order nonlinear terms [26], we consider a generalized Vakhnenko-Parkes-modified Vakhnenko-Parkes (VP-mVP) equation with non-homogeneous power law nonlinearity
uuxxt+αuxuxt+(βu2n+γu3n)ut=0, | (1.5) |
where n∈Z+ is a power law nonlinearity parameter, and α,β,γ are nonzero real constants. It's not hard to see that when the parameters are taken as different values, the VP equation, the mVP equation and Eqs (1.3) and (1.4) can be derived from (1.5). Because a traveling wave solution of a nonlinear partial differential equation (NPDE) usually corresponds to a orbit of its traveling wave system in phase space, this correspondence just makes the bifurcation method of dynamical system become an effective way to study nonlinear evolution equations, and more detailed research ideas and usage techniques can be found in [16,22]. In recent years, Li and Liu et al. have utilized and developed this method to systematically analyze the existence laws of solitary waves, kink waves and periodic waves in the parameter space [20,21,25,27]. Based on these, we attempt to employ the bifurcation method of dynamical systems to investigate all possible bounded traveling wave solutions of (1.5). The topological phase portraits produced by the vector fields of the corresponding traveling wave system of (1.5) determine all possible traveling wave solutions u(x,t)=ϕ(ξ), ξ=x−t. If there is a finite real number M, such that |ϕ(ξ)|<M holds for any ξ, then ϕ(ξ) is called a bounded traveling wave solution, otherwise it is called an unbounded traveling wave solution.
The rest of the paper is organized as follows: in Section 2 we first study the traveling wave system corresponding to (1.5) to investigate the existence of all possible bounded traveling waves, including solitary wave, periodic wave, breaking wave, solitary cusp wave and periodic cusp wave. Then, we give all existence conditions of these waves in 4-dimensional parameter space of α,β,γ and an integral parameter. In Sections 3 and 4, we derive exact explicit expressions of solitary wave solution, periodic wave solution, breaking wave solution, solitary cusp wave solution and periodic cusp wave solution of (1.5), and analyze the evolutionary relationship between them. Finally, simulations of these traveling wave solutions and conclusions of this paper are given in Section 5.
Substituting u(x,t)=ϕ(ξ) with ξ=x−t into Eq (1.5) and integrating it once, we have the following ordinary differential equation
ϕϕ″+α−12(ϕ′)2+β2n+1ϕ2n+1+γ3n+1ϕ3n+1=G, | (2.1) |
where ′ denotes the derivative with respect to ξ, G is an integral constant. When we let ϕ′=y, then (2.1) is transformed into
{dϕdξ=y,dydξ=−α−12y2+f(ϕ)ϕ, | (2.2) |
where f(ϕ):=−βϕ2n+1/(2n+1)−γϕ3n+1/(3n+1)+G. Since (2.2) is invariant under (α,β,γ,G)→(−α,−β,−γ,−G), we need only to consider β>0. When (α−1) and G are not 0 at the same time, (2.2) is a singular traveling wave system of the first kind [22] with a singular straight line ϕ=0, which brings challenges to our study. Thus, we assume in (2.2) that
(α,β,γ,G)∈Ω:={(α,β,γ,G)∈R4:αγ((α−1)2+G2)≠0,β>0,α∈Z}. |
Further, we introduce the transformation dξ=ϕdη, and then singular system (2.2) is reduced to the following regular system
{dϕdη=ϕy,dydη=−α−12y2+f(ϕ). | (2.3) |
Actually, (2.2) and (2.3) have the same first integral Hn(ϕ,y) of form
ϕα−1[y2+2β(2n+1)(2n+α)ϕ2n+1+2γ(3n+1)(3n+α)ϕ3n+1−2Gα−1] |
when (α−1)(α+2n)(α+3n)≠0, of form
y2+2β(2n+1)2ϕ2n+1+2γ(3n+1)2ϕ3n+1−2Gln(ϕ) |
when α=1, of form
1ϕ2n+1y2+2β2n+1ln(ϕ)+2γn(3n+1)ϕn+2G2n+11ϕ2n+1 |
when α=−2n and of form
1ϕ3n+1y2−2βn(2n+1)1ϕn+2γ3n+1ln(ϕ)+2G3n+11ϕ3n+1 |
when α=−3n. This implies that (2.2) and (2.3) have the same topological phase portraits, except the singular line ϕ=0. Therefore, we can understand the phase portrait of (2.2) from that of (2.3).
It is not difficult to know that from the expression of (2.3) the equilibria of (2.3) only exist on the ϕ-axis and the singular line ϕ=0, while the equilibria on the ϕ-axis are the ones of (2.2). So, we first investigate the type and distribution of equilibria in (2.2), which requires us to determine the zeros of f(ϕ). Since the derivative function f′(ϕ)=−ϕ2n(β+γϕn) obviously has at most three zeros 0 and ϕ±n:=±n√−β/γ, and then we have at most three bifurcation curves
G±n(β)=±n√−βγnβ3(2n+1)(3n+1)γ2andG0(β)≡0. | (2.4) |
From (G±n(β))′=±n√−β/γβ2/((2n+1)γ2), we can know that these three bifurcation curves do not intersect each other. Further, we conclude that when n is odd, f(ϕ) has at most 2 zeros which are denoted by ϕin(i=1,2) and satisfy ϕ1n⩽ϕ2n; when n is even, f(ϕ) has at most 3 zeros which are denoted by φjn(j=1,2,3) and satisfy φ1n⩽φ2n⩽φ3n. Then, (ϕin,0)(i=1,2) or (φjn,0)(j=1,2,3) is an equilibrium of (2.2) and has characteristic equation λ2−ϕ0f′(ϕ0)=0, where ϕ0 is equal to ϕin or φjn. This implies that the equilibria of (2.2) are distributed as follows:
(Ⅰ) Under n=2m−1(m∈Z+) and γ>0, there exist the following facts.
(Ⅰ1) If G>G0(β), f(ϕ) has two zeros ϕ1n and ϕ2n, satisfying the inequality ϕ1n<0<ϕ2n. And then (2.2) has exactly two equilibria (ϕ1n,0) and (ϕ2n,0), both of which are centers.
(Ⅰ2) If G=G0(β), f(ϕ) has two zeros ϕ1n and ϕ2n, satisfying the inequality ϕ1n<ϕ2n=0. And then (2.2) has only one equilibrium (ϕ1n,0), which is a center.
(Ⅰ3) If G+n(β)<G<G0(β), f(ϕ) has two zeros ϕ1n and ϕ2n, satisfying the inequality ϕ1n<ϕ2n<0. And then (2.2) has exactly two equilibria (ϕ1n,0) and (ϕ2n,0), of which the former is a center and the latter is a saddle.
(Ⅰ4) If G=G+n(β), f(ϕ) has only one zero ϕ1n, satisfying the inequality ϕ1n=ϕ+n<0. And then (2.2) has only one equilibrium (ϕ1n,0), which is a degenerated equilibrium.
(Ⅰ5) If G<G+n(β), f(ϕ) has no zeros, which means that (2.2) has no equilibria.
(Ⅱ) Under n=2m−1(m∈Z+) and γ<0, there exist the following facts.
(Ⅱ1) If G>G+n(β), f(ϕ) has no zeros, which means that (2.2) has no equilibria.
(Ⅱ2) If G=G+n(β), f(ϕ) has only one zero ϕ1n, satisfying the inequality ϕ1n=ϕ+n>0. And then (2.2) has only one equilibrium (ϕ1n,0), which is a degenerated equilibrium.
(Ⅱ3) If G0(β)<G<G+n(β), f(ϕ) has two zeros ϕ1n and ϕ2n, satisfying the inequality 0<ϕ1n<ϕ2n. And then (2.2) has exactly two equilibria (ϕ1n,0) and (ϕ2n,0), of which the former is a center and the latter is a saddle.
(Ⅱ4) If G=G0(β), f(ϕ) has two zeros ϕ1n and ϕ2n, satisfying the inequality ϕ1n=0<ϕ2n. And then (2.2) has only one equilibrium (ϕ2n,0), which is a saddle.
(Ⅱ5) If G<G0(β), f(ϕ) has two zeros ϕ1n and ϕ2n, satisfying the inequality ϕ1n<0<ϕ2n. And then (2.2) has exactly two equilibria (ϕ1n,0) and (ϕ2n,0), both of which are saddles.
(Ⅲ) Under n=2m(m∈Z+) and γ>0, there exist the following facts.
(Ⅲ1) If G>G0(β), f(ϕ) has only one zero φ1n>0. And then (2.2) has only one equilibrium (φ1n,0), which is a center.
(Ⅲ2) If G=G0(β), f(ϕ) has only one zero φ1n=0, which implies that (2.2) has no equilibria.
(Ⅲ3) If G<G0(β), f(ϕ) has only one zero φ1n<0. And then (2.2) has only one equilibrium (φ1n,0), which is a saddle.
(Ⅳ) Under n=2m(m∈Z+) and γ<0, there exist the following facts.
(Ⅳ1) If G>G+n(β), f(ϕ) has only one zero φ1n<0. And then (2.2) has only one equilibrium (φ1n,0), which is a center.
(Ⅳ2) If G=G+n(β), f(ϕ) has two zeros φ1n and φ2n, satisfying the inequality φ1n<0<φ2n=ϕ+n. And then (2.2) has exactly two equilibria (φ1n,0) and (φ2n,0), of which the former is a center and the latter is a degenerated equilibrium.
(Ⅳ3) If G0(β)<G<G+n(β), f(ϕ) has three zeros φ1n, φ2n and φ3n, satisfying the inequality φ1n<0<φ2n<φ3n. And then (2.2) has exactly three equilibria (φ1n,0), (φ2n,0) and (φ3n,0), of which the first two are centers and the last one is a saddle.
(Ⅳ4) If G=G0(β), f(ϕ) has three zeros φ1n, φ2n and φ3n, satisfying the inequality φ1n<φ2n=0<φ3n. And then (2.2) has exactly two equilibria (φ1n,0) and (φ3n,0), of which the former is a center and the latter is a saddle.
(Ⅳ5) If G−n(β)<G<G0(β), f(ϕ) has three zeros φ1n, φ2n and φ3n, satisfying the inequality φ1n<φ2n<0<φ3n. And then (2.2) has exactly three equilibria (φ1n,0), (φ2n,0) and (φ3n,0), of which the first one is a center and the last two are saddles.
(Ⅳ6) If G=G−n(β), f(ϕ) has two zeros φ1n and φ2n, satisfying the inequality φ1n=ϕ−n<0<φ2n. And then (2.2) has exactly two equilibria (φ1n,0) and (φ2n,0), of which the former is a degenerated equilibrium and the latter is a saddle.
(Ⅳ7) If G<G−n(β), f(ϕ) has only one zero φ3n>0. And then (2.2) has only one equilibrium (φ3n,0), which is a saddle.
In addition, when (α−1)G>G0(β), (2.3) also has two other equilibria P±(0,±√2G/(α−1)) on the singular line ϕ=0. Their corresponding eigenvalues are
λ1(P±)=±√2Gα−1,λ2(P±)=∓(α−1)√2Gα−1. |
Thus, P± are two saddles for α>1 and are two nodes for α<1. When G=G0(β), (2.3) has only one equilibrium on the line ϕ=0, lying at (0,0). It is a high-order equilibrium because its Jacobian matrix is degenerate. When (α−1)G<G0(β) or α=1, (2.3) has no equilibria on the line ϕ=0.
To sum up, all bifurcation curves of (2.3) with respect to the equilibria are given in (2.4).
For a fixed integral constant h∈R, Hn(ϕ,y)=h defines a set of invariant curves, which corresponds to a family of energy conservation orbits of (2.3). With the change of h, the dynamic behaviors of this family of orbits will change, which requires us to find out their topology in phase plan (ϕ,y).
Lemma 2.1. In the phase plane (ϕ,y) of (2.3), the intersection between ϕ-axis and each family of energy conservation orbits with energy h is given by Fn(ϕ)=h, where
Fn(ϕ):={2γ(3n+1)(3n+α)ϕ3n+α+2β(2n+1)(2n+α)ϕ2n+α−2Gα−1ϕα−1,forα≠1,−2n,−3n,2γ(3n+1)2ϕ3n+1+2β(2n+1)2ϕ2n+1−2Gln∣ϕ∣,forα=1,2γn(3n+1)ϕn+2β2n+1ln∣ϕ∣+2G2n+11ϕ2n+1,forα=−2n,2γ3n+1ln∣ϕ∣−2βn(2n+1)1ϕn+2G3n+11ϕ3n+1,forα=−3n. |
It is not difficult to find that the bifurcation curves of equilibria of (2.3) we have given in (2.4) are also bifurcation curves of its phase portraits. Moreover, from Lemma 2.1 we found another kind of bifurcation curves of phase portraits in the cases of α>1 and α<−3n, on which the corresponding energy of the saddle of system (2.3) lying on ϕ-axis is 0. We denote this bifurcation curve as G∗n(β).
For n=1, we can calculate the explicit expression of saddle of (2.3) lying on the ϕ-axis through the Tianheng formula. Thus at the saddle making Hn(ϕ,y)=0, that is, when α>1,γ<0 or α<−3,γ>0, the expression of the bifurcation curve G∗1(β)=G satisfies the following equation
2β3(α+2)ω3+γ2(α+3)ω4−2Gα−1=0, |
where
ω=β−√β2+3(3√δ1+3√δ2)+√2β2−3(3√δ1+3√δ2)+6√δ0−3γ, |
δ0=β49+9γ3G−β23(3√δ1+3√δ2)+(3√δ1+3√δ2)2, |
δ1,2=−32γ3G(β2±√β4+12γ3G). |
For n>1, since the explicit expression of saddle of (2.3) lying on ϕ-axis is difficult to obtain, we only can draw the bifurcation curve G∗n(β) numerically. For example, let n=2, (α−1)(α+2n)(α+3n)≠0 and expand the following equation
s7+7β(α+6)5γ(α+4)s5−7G(α+6)γ(α−1)=(s−s1)2(s5+4∑i=0eisi). |
Comparing the coefficients of each order of s on both sides of the above equation, we get the following equations
e4−2s1=0, |
s21−2e4s1+e3=7β(α+6)5γ(α+4), |
e4s21−2e3s1+e2=0, |
e3s21−2e2s1+e1=0, |
e2s21−2e1s1+e0=0, |
e1s21−2e0s1=0, |
e0s21=−7G(α+6)γ(α−1). |
And then, we obtain the expression of G∗2(β) as
G∗2(β)=2∣α−1∣(α+6)2β335γ2(α+4)3√−β(α+6)γ(α+4),for(α−1)(α+6)>0,γ<0. |
Similarly, we can apply this method to simulate bifurcation curves G∗n(β) when n>2. Further, for given α,β and γ, we can get the value of G∗n(β) numerically, and obtain the bifurcation diagrams of (2.3) as shown in the Figures 1–4.
Based on the above analysis, (1.5) has solitary wave solutions, solitary cusp wave solutions, periodic wave solutions, periodic cusp wave solutions and breaking wave solutions, whose existence conditions are concluded in Lemmas 2.2–2.6.
Lemma 2.2. If and only if α>1, (1.5) has breaking wave solutions.
Lemma 2.3. When one of the following conditions holds, (1.5) has solitary wave solutions.
(Ⅰ) For the case of n=2m−1(m∈Z+) and γ>0, one of the following conditions shall be met
(Ⅰ1) α⩾−3n and G+n(β)<G⩽G0(β);
(Ⅰ2) −3n⩽α⩽1 and G=G+n(β);
(Ⅰ3) α<−3n is odd, and G+n(β)⩽G<G∗n(β) or G=G0(β);
(Ⅰ4) α<−3n is even, and G+n(β)<G<G∗n(β) or G∗n(β)<G⩽G0(β).
(Ⅱ) For the case of n=2m−1(m∈Z+) and γ<0, one of the following conditions shall be met
(Ⅱ1) α>1 and G∗n(β)<G<G+n(β);
(Ⅱ2) −3n⩽α⩽1 is odd or α<−3n, and G<G+n(β);
(Ⅱ3) −3n⩽α⩽1 is even, and G0(β)⩽G<G+n(β).
(Ⅲ) For the case of n=2m(m∈Z+) and γ>0, one of the following conditions shall be met
(Ⅲ1) α<−3n is odd, and G=G0(β);
(Ⅲ2) α<−3n is even or −3n⩽α⩽1, and G⩽G0(β).
(Ⅳ) For the case of n=2m(m∈Z+) and γ<0, one of the following conditions shall be met
(Ⅳ1) α>1 and G∗n(β)<G<G+n(β) or G−n(β)<G⩽G0(β);
(Ⅳ2) α<−3n is odd, and G−n(β)⩽G<G+n(β);
(Ⅳ3) α<−3n is even or −3n⩽α⩽1, and G<G+n(β).
Lemma 2.4. When one of the following conditions holds, (1.5) has periodic wave solutions.
(Ⅰ) For the case of n=2m−1(m∈Z+) and γ>0, one of the following conditions shall be met (I1) α<−3n is odd or −3n⩽α⩽1; (I2) α<−3n is even or α>1, and G>G+n(β).
(Ⅱ) For the case of n=2m−1(m∈Z+) and γ<0, one of the following conditions shall be met (II1) G0n(β)<G<G+n(β); (II2) α<−3n and G<G0(β).
(Ⅲ) For the case of n=2m(m∈Z+) and γ>0, one of the following conditions shall be met (III1) α>1 and G>G0(β); (III2) α⩽1 and G≠G0(β).
(Ⅳ) For the case of n=2m(m∈Z+) and γ<0, one of the following conditions shall be met (IV1) α>1 and G>G−n(β); (IV2) α⩽1.
Lemma 2.5. When α>1,G=G∗n(β) or α<1,G=G0(β), (1.5) with γ<0 has a non-smooth solitary wave solution, also known as solitary cusp wave solution.
Lemma 2.6. When α>1 and one of the following conditions holds, (1.5) has a non-smooth periodic solitary wave solution, also known as periodic cusp wave solution.
(Ⅰ) n=2m(m∈Z+) and G>G0(β);
(Ⅱ) n=2m−1(m∈Z+), γ>0 and G>G0(β);
(Ⅲ) n=2m−1(m∈Z+), γ<0 and G0(β)<G<G∗n(β).
In fact, for a nonlinear evolution equation, a solitary wave solution (resp. a periodic wave solution) corresponds to a homoclinic orbit (resp. periodic closed orbit) in its traveling wave system. In particular, for a traveling wave system with singularity, when its homoclinic orbit (resp. periodic closed orbit) intersects its singular line at two different saddles, the smooth solitary wave solution (resp. smooth periodic wave solution) corresponding to the original NPDE will lose its smoothness and evolve into solitary cusp wave solution (resp. periodic cusp wave solution). From the above correspondence and the Figures 1–4, it is not difficult to prove Lemmas 2.2–2.6, so the detailed proof process is omitted here.
Moreover, by Lemmas 2.3–2.5 and [16,Theorems 2.3,2.4 and 2.6] we get that when α<1 and G⩽G0(β) (2.2) has the following four special properties.
Property A. There are two heteroclinic orbits connecting the saddle (ϕ2n,0) (resp. (φ3n,0)) and the degenerate equilibrium (0,0) when n=2m−1(m∈Z+) (resp. n=2m(m∈Z+)), γ<0 and G=G0(β), which gives rise to a solitary wave. And there are no equilibria inside the loop surrounded by these two heteroclinic orbits.
Property B. There are infinitely many periodic orbits passing through the singular line ϕ=0 and intersecting at two points P± when G<G0(β), which give rise to a family of periodic waves. And there are no equilibria inside this family of periodic orbits.
Property C. There are infinitely many homoclinic orbits intersecting to the singular line ϕ=0 at (0,0) when G=G0(β), which give rise to a family of smooth solitary waves. And there are no equilibria inside this family of homoclinic orbits.
Property D. There exists a homoclinic orbit passing through the singular line ϕ=0 and intersecting at two points P± in each of the following cases:
Case Da. n=2m−1(m∈Z+) and one of the following five conditions holds
(Da1) −3n⩽α<1, γ>0 and G+n(β)⩽G<G0(β);
(Da2) α<−3n is odd, γ>0 and G+n(β)⩽G<G∗n(β);
(Da3) α<−3n is even, γ>0 and G∗n(β)<G<G0(β);
(Da4) −3n⩽α<1 is odd, γ<0 and G<G0(β);
(Da5) α<−3n, γ<0 and G<G0(β).
Case Db. n=2m(m∈Z+) and one of the following conditions holds
(Db1) −3n⩽α<1, γ>0 and G<G0(β);
(Db2) α<−3n is even, γ>0 and G<G0(β);
(Db3) α<−3n, γ<0 and G−n(β)⩽G<G0(β);
(Db4) −3n⩽α<1, γ<0 and G<G0(β).
There are no equilibria inside this family of homoclinic orbits, and they give rise to a family of smooth solitary waves.
In this section, combined with the existence conditions of solitary wave solutions and periodic wave solutions given by Lemmas 2.3 and 2.4, we calculate the explicit expressions of these two kinds of solutions of (1.5) for the case of n=1 and α=−1.
Theorem 3.1. For γ<0, (1.5)n=1 holds the following conclusions:
(1) when G0(β)<G<G+1(β), there are a valley-solitary wave solution
ϕ1(ξ)=r1−(r2−r1)(ϕ21−r1)(ϕ21−r2)tanh2(14√−γ(ϕ21−r1)(ϕ21−r2)∣ξ∣)+r1−ϕ21 |
and a family of periodic wave solutions with expression
ϕ2(ξ,h)=r3−(r5−r3)(r4−r3)(r5−r4)sn2(14√−γ(r6−r4)(r5−r3)∣ξ∣,√(r5−r4)(r6−r3)(r6−r4)(r5−r3))+r3−r5; |
(2) when G=G0(β), there are infinitely many peak-solitary wave solutions
ϕ3(ξ,˜h)=s2−s2(s2−s1)s2−s1tanh2(14√−γs1s2∣ξ∣), |
where s1=(4β−2√4β2+9γ˜h)/(−3γ), s2=(4β+2√4β2+9γ˜h)/(−3γ), ˜h∈(0,4β2/(−9γ)). Moreover, ri(i=1,2,⋯,6) satisfy inequalities r1<r2, r3<r4<r5<r6 and equations H1(r1,0)=H1(r2,0)=H1(ϕ21,0), H1(r3,0)=H1(r4,0)=H1(r5,0)=H1(r6,0)=h, h∈(H1(ϕ11,0),H1(ϕ21,0)), where (ϕ11,0) and (ϕ21,0) are the center and the saddle of (2.2) respectively. It is worth noting that when h→H1(ϕ21,0)−0, we have
ϕ2(ξ,h)→ϕ1(ξ), |
which means that the solitary wave solution ϕ1(ξ) is the limit solution of this family of periodic wave solutions ϕ2(ξ,h).
Theorem 3.2. For γ>0, (1.5)n=1 holds the following conclusions:
(1) when G=G0(β), there are a family of periodic wave solutions with expression
ϕ4(ξ)=r8−r8(r8−r7)r7tan2(14√γr7r8∣ξ∣)+r8, |
a family of valley-solitary wave solutions with expression
ϕ5(ξ)=r10−r10(r10−r9)r10−r9tanh2(14√−γr9r10∣ξ∣) |
and a family of peak-solitary wave solutions with expression
ϕ6(ξ)=r9+r9(r10−r9)r9−r10tanh2(14√−γr9r10∣ξ∣); |
(2) when G+1(β)<G<G0(β), there are a valley-solitary wave solution
ϕ7(ξ,G)=r12−(r12−r11)(r12−ϕ21)(ϕ21−r11)tanh2(14√γ(r12−ϕ21)(ϕ21−r11)∣ξ∣)+r12−ϕ21 |
and a peak-solitary wave solution with expression
ϕ8(ξ,G)=r11+(r12−r11)(ϕ21−r11)(r12−ϕ21)tanh2(14√γ(r12−ϕ21)(ϕ21−r11)∣ξ∣)+ϕ21−r11; |
(3) when G=G+1(β), there are a peak-solitary wave solution with expression
ϕ9(ξ)=−βγ+12β9γ+β2ξ2 |
and a family of periodic wave solutions with expression
ϕ10(ξ)=(r13A−r14B)cn(√γAB4∣ξ∣,√(r14−r13)2−(A−B)24AB)+r13A+r14B(A−B)cn(√γAB4∣ξ∣,√(r14−r13)2−(A−B)24AB)+A+B. |
Here, ϕ11 and ϕ21 are the abscissa values of the center and the saddle point of (2.2) respectively, r7=−(4β+√16β2+144γh1)/(3γ), r8=−(4β−√16β2+144γh1)/(3γ), r9=−(4β+√16β2+144γh2)/(3γ), r10=−(4β−√16β2+144γh2)/(3γ), A2=(8β(r13+2r14)+3γ(r213+2r13r14+3r214)−12h3)/(3γ), B2=(8β(2r13+r14)+3γ(3r213+2r13r14+r214)−12h3)/(3γ), h1∈(H1(ϕ11,0),0), h2∈(0,+∞), h3∈R∖{−β2/(2γ)}, and parameters ri(i=11,12,13,14) satisfy r11<r12, r13<r14, H1(r11,0)=H1(r12,0)=H1(ϕ21,0) and H1(r13,0)=H1(r14,0)=h3. Moreover, when G→G0(β)−0, we have
ϕ7(ξ,G)→ϕ5(ξ),ϕ8(ξ,G)→ϕ6(ξ); |
when G→G+1(β)+0, we have
ϕ7(ξ,G)→−βγ,ϕ8(ξ,G)→ϕ9(ξ), |
which reveals the process that the solitary wave solutions of (1.5)n=1 changes with the change of G in the case of α=−1 and γ>0.
Detailed proofs of the above two theorems are given below.
Proof of Theorem 3.1. Assume that α=−1 and γ<0 (see Figure 3(b)). The proof is divided into the following two cases.
Case 1. G0(β)<G<G+1(β). Clearly, H1(ϕ,y)=H1(ϕ21,0) defines a homoclinic orbit of (2.3)n=1. It possesses the expression
y2=−γ4(ϕ−ϕ21)2(ϕ−r1)(ϕ−r2),forr2⩽ϕ<ϕ21. |
Substituting the above formula into the first equation of (2.2) and integrating it along the homoclinic orbit, we have
∫ϕr2dϕ(ϕ21−ϕ)√(ϕ−r1)(ϕ−r2)=√−γ4∣ξ∣. |
Letting x=√(ϕ−r2)/(ϕ−r1), we get
∫ϕr2dϕ(ϕ21−ϕ)√(ϕ−r1)(ϕ−r2)=1√(ϕ21−r1)(ϕ21−r2)ln√ϕ21−r2+√ϕ21−r1x√ϕ21−r2−√ϕ21−r2x |
and express the solitary wave solution ϕ1(ξ).
Moreover, H1(ϕ,y)=h,h∈(H1(ϕ11,0),H1(ϕ21,0)), defines a periodic closed orbits with expression
y2=−γ4(ϕ−r3)(ϕ−r4)(r5−ϕ)(r6−ϕ),forr4⩽ϕ⩽r5. |
Substituting the above formula into the first equation of (2.2) and integrating it along the corresponding periodic closed orbit, we have
∫ϕr4dϕ√(ϕ−r3)(ϕ−r4)(r5−ϕ)(r6−ϕ)=√−γ4∣ξ∣. |
According to the elliptic integral formula,
∫ϕr4dϕ√(ϕ−r3)(ϕ−r4)(r5−ϕ)(r6−ϕ)=2√(r6−r4)(r5−r3)sn−1(√(r5−r3)(ϕ−r4)(r5−r4)(ϕ−r3),√(r5−r4)(r6−r3)(r6−r4)(r5−r3)). |
Thus, we can express the periodic wave solutions ϕ2(ξ,h). In particular, as h→H1(ϕ21,0)−0, it follows that r3→r1, r4→r2 and r5,6→ϕ21. Then we have
limh→H1(ϕ21,0)−0ϕ2(ξ,h)=r1−(ϕ21−r1)(r2−r1)(ϕ21−r2)sn2(14√−γ(ϕ21−r2)(ϕ21−r1)∣ξ∣,1)+r1−ϕ21=r1−(ϕ21−r1)(r2−r1)(ϕ21−r2)tanh2(14√−γ(ϕ21−r2)(ϕ21−r1)∣ξ∣)+r1−ϕ21=ϕ1(ξ). |
Case 2. G=G0(β). Clearly, when ˜h∈(0,4β2/(−9γ)), H1(ϕ,y)=˜h defines a homoclinic orbit of (2.3)n=1. It possesses the expression
y2=−γ4ϕ2(s1−ϕ)(s2−ϕ),for0<ϕ⩽s1. |
Substituting the above formula into the first equation of (2.2) and integrating it along the homoclinic orbit, we have
∫s1ϕdϕϕ√(s1−ϕ)(s2−ϕ)=√−γ4∣ξ∣. |
Letting x=√(s1−ϕ)/(s2−ϕ), we get
∫s1ϕdϕϕ√(s1−ϕ)(s2−ϕ)=1√s1s2ln√s1+√s2x√s1−√s2x |
and express the solitary wave solution ϕ3(ξ,˜h). Furthermore, it confirms the validity of Property C mentioned in Section 2.
Proof of Theorem 3.2. Assume that α=−1 and γ>0 (see Figure 3(a)). The proof is divided into the following three cases.
Case 1. G=G0(β). Clearly, for given h1∈(H1(ϕ11,0),0), H1(ϕ,y)=h1 defines a periodic closed orbit of (2.3). It possesses the expression
y2=γ4ϕ2(ϕ−r7)(r8−ϕ),forr7⩽ϕ⩽r8. |
Substituting the above formula into the first equation of (2.2) and integrating it along the corresponding periodic closed orbit, we have
∫ϕr7dϕ−ϕ√(ϕ−r7)(r8−ϕ)=√γ4∣ξ∣. |
Letting x=√(ϕ−r7)/(r8−ϕ), we get
∫ϕr7dϕ−ϕ√(ϕ−r7)(r8−ϕ)=2√r7r8tan−1(√r8(ϕ−r7)r7(r8−ϕ)), |
and then express the solitary wave solution ϕ4(ξ).
Moreover, for any h2∈(0,+∞), H1(ϕ,y)=h2 defines two homoclinic orbits with expression
y2=γ4ϕ2(ϕ−r9)(r10−ϕ),forr9⩽ϕ<0or0<ϕ⩽r10. |
Substituting the above formula into the first equation of (2.2) and integrating it along the corresponding homoclinic orbit, we have
∫ϕr9dϕ−ϕ√(ϕ−r9)(r10−ϕ)=√γ4∣ξ∣ |
and
∫r10ϕdϕϕ√(ϕ−r9)(r10−ϕ)=√γ4∣ξ∣, |
respectively. Letting x=√(ϕ−r9)/(r10−ϕ) and z=√(r10−ϕ)/(ϕ−r9), we get
∫ϕr9dϕ−ϕ√(ϕ−r9)(r10−ϕ)=1√−r9r10ln√−r9+√r10x√−r9−√r10x |
and
∫r10ϕdϕϕ√(ϕ−r9)(r10−ϕ)=1√−r9r10ln√r10+√−r9z√r10−√−r9z, |
respectively. Therefore, we can express the solitary wave solutions ϕ5(ξ) and ϕ6(ξ). Furthermore, it confirms the validity of Property C mentioned in Section 2.
Case 2. G+1(β)<G<G0(β). Clearly, H1(ϕ,y)=H1(ϕ21,0) defines two homoclinic orbits with a same expression
y2=γ4(ϕ21−ϕ)2(ϕ−r11)(r12−ϕ),forr11⩽ϕ<ϕ21orϕ21<ϕ⩽r12. |
Substituting the above formula into the first equation of (2.2) and integrating it along the corresponding homoclinic orbit, we have
∫ϕr11dϕ(ϕ21−ϕ)√(ϕ−r11)(r12−ϕ)=√γ4∣ξ∣ |
and
∫r12ϕdϕ(ϕ−ϕ21)√(ϕ−r11)(r12−ϕ)=√γ4∣ξ∣, |
respectively. Letting x=√(ϕ−r11)/(r12−ϕ) and z=√(r12−ϕ)/(ϕ−r11), we get
∫ϕr11dϕ(ϕ21−ϕ)√(ϕ−r11)(r12−ϕ)=1√(r12−ϕ21)(ϕ21−r11)ln√ϕ21−r11+√r12−ϕ21x√ϕ21−r11−√r12−ϕ21x |
and
∫r12ϕdϕ(ϕ−ϕ21)√(ϕ−r11)(r12−ϕ)=−1√(r12−ϕ21)(ϕ21−r11)ln√r12−ϕ21+√ϕ21−r11z√r12−ϕ21−√ϕ21−r11z, |
respectively. Therefore, we can express the solitary wave solutions ϕ7(ξ,G) and ϕ8(ξ,G). Furthermore, it confirms the validity of Property D mentioned in Section 2.
Case 3. G=G+1(β). Clearly, H1(ϕ,y)=−β4/(2γ3) defines a homoclinic orbit with expression
y2=γ4(ϕ+βγ)3(β3γ−ϕ),for−βγ<ϕ⩽β3γ. |
Substituting the above formula into the first equation of (2.2) and integrating it along the corresponding homoclinic orbit, we have
∫β3γϕdϕ(ϕ+βγ)√(ϕ+βγ)(β3γ−ϕ)=√γ4∣ξ∣, |
and then express the peak-solitary wave solution ϕ9(ξ). Furthermore, it confirms the validity of Property D mentioned in Section 2.
Moreover, for any h3∈R∖{−β4/(2γ3)}, H1(ϕ,y)=h3 defines a periodic closed orbit with expression
y2=γ4(ϕ−r13)(r14−ϕ)(ϕ2+(8β3γ+r13+r14)ϕ+8β3γ(r13+r14)+r213+r214+r13r14−4h3γ), |
for r13⩽ϕ⩽r14. Substituting the above formula into the first equation of (2.2) and integrating it along the corresponding closed orbit, we have
∫ϕr13dϕ√(ϕ−r13)(r14−ϕ)(ϕ2+(8β3γ+r13+r14)ϕ+8β3γ(r13+r14)+r213+r214+r13r14−4h3γ)=√γ2∣ξ∣. |
According to the elliptic integral formula, we can express the periodic wave solution ϕ10(ξ), which confirms the validity of Property B mentioned in Section 2.
Finally, from the expressions of ϕi(ξ)(i=5,6,9) and ϕj(ξ,G)(i=7,8) we further obtain the following relationship of these solitary waves. As G→G0(β)−0, it follows that ϕ21→0, r11→r9 and r12→r10. Then it is not difficult to deduce
limG→G0(β)−0ϕ7(ξ,G)=ϕ5(ξ),limG→G0(β)−0ϕ8(ξ,G)=ϕ6(ξ). |
As G→G+1(β)+0, it follows that ϕ21→−β/γ, r11→−β/γ, r12→β/(3γ) and
tanh(√γ(r12−ϕ21)(ϕ21−r11)16ξ)∼√γ(r12−ϕ21)(ϕ21−r11)16ξ. |
Then it is not difficult to deduce limG→G+1(β)+0ϕ7(ξ,G)=−β/γ and
limG→G+1(β)+0ϕ8(ξ,G)=−βγ+16(β3γ+βγ)γ(β3γ+βγ)2ξ2+16=ϕ9(ξ). |
From Lemmas 2.5 and 2.6, (1.5) may have non-smooth traveling wave solutions. In this section we give explicit expressions of solitary cusp wave solution and periodic cusp wave solution of (1.5) for the case of n=1.
Theorem 4.1. For α>1, γ>0 and G>G0(β), (1.5)n=1 has a peak-periodic cusp wave solution with expression
ϕ11(ξ)=(r15C−r16D)cn(√γCD2(α+3)∣ξ∣,k)+r15C+r16D(C−D)cn(√γCD2(α+3)∣ξ∣,k)+C+D,∣ξ∣<cn−1(r16D+r15Cr16D−r15C,k) |
and a valley-periodic cusp wave solution with expression
ϕ12(ξ)=(r15C−r16D)cn(√γCD2(α+3)∣ξ∣,k)−r15C−r16D(C−D)cn(√γCD2(α+3)∣ξ∣,k)−C−D,∣ξ∣<cn−1(r15C+r16Dr15C−r16D,k). |
Here, k=√((r16−r15)2−(C−D)2)/(4CD), C2=4β(α+3)(r15+2r16)/(3γ(α+2))+r215+2r15r16+3r216, D2=4β(α+3)(2r15+r16)/(3γ(α+2))+3r215+2r15r16+r216, and parameters r15,16 satisfy r15<r16 and are determined by equations
4β(α+3)3γ(α+2)(r215+r15r16+r216)+r315+r215r16+r15r216+r316=0, |
4β(α+3)3γ(α+2)(r215r16+r15r216)+r315r16+r215r216+r15r416+4G(α+3)γ(α−1)=0. |
Theorem 4.2. For α>1, γ<0 and G=G∗1(β), (1.5)n=1 has a valley-solitary cusp wave solution with expression
ϕ13(ξ)=β(α+3)−γ(α+2)(1−exp(−βα+2√α+3−γ∣ξ∣))(1+(5−2√6)exp(−βα+2√α+3−γ∣ξ∣))1+4(√6−2)exp(−βα+2√α+3−γ∣ξ∣)−(5−2√6)exp(−2βα+2√α+3−γ∣ξ∣). |
Theorem 4.3. For α=−1, γ<0 and G=G0(β), (1.5)n=1 has a valley-solitary cusp wave solution
ϕ14(ξ)=4β−3γ(exp(−2β3√−γ∣ξ∣)+1). |
Detailed proofs of the above three theorems are given below.
Proof of Theorem 4.1. For the case of α>1, γ>0 and G>G0(β) (see Figure 2(a)), H1(ϕ,y)=0 defines two heteroclinic orbits of (2.3), which possess the same expression
y2=γ(ϕ−r15)(r16−ϕ)2(α+3)(ϕ2+(4β(α+3)3γ(α+2)+r15+r16)ϕ+4β(α+3)3γ(α+2)(r15+r16)+r215+r216+r15r16), |
for r15⩽ϕ<0 or 0<ϕ⩽r16. Substituting the above formula into the first equation of (2.2) and integrating it along the corresponding orbit, we have
∫ϕr15dϕ√(ϕ−r15)(r16−ϕ)(ϕ2+(4β(α+3)3γ(α+2)+r15+r16)ϕ+4β(α+3)3γ(α+2)(r15+r16)+r215+r216+r15r16)=√γ2(α+3)∣ξ∣ |
and
∫r16ϕdϕ√(ϕ−r15)(r16−ϕ)(ϕ2+(4β(α+3)3γ(α+2)+r15+r16)ϕ+4β(α+3)3γ(α+2)(r15+r16)+r215+r216+r15r16)=√γ2(α+3)∣ξ∣, |
respectively. According to the elliptic integral formula,
∫ϕr15dϕ√(ϕ−r15)(r16−ϕ)(ϕ2+(4β(α+3)3γ(α+2)+r15+r16)ϕ+4β(α+3)3γ(α+2)(r15+r16)+r215+r216+r15r16)=1√CDcn−1((r16−ϕ)D−(ϕ−r15)C(r16−ϕ)D+(ϕ−r15)C,√(r16−r15)2−(C−D)24CD) |
and
∫r16ϕdϕ√(ϕ−r15)(r16−ϕ)(ϕ2+(4β(α+3)3γ(α+2)+r15+r16)ϕ+4β(α+3)3γ(α+2)(r15+r16)+r215+r216+r15r16)=1√CDcn−1((ϕ−r15)C+(ϕ−r16)D(ϕ−r15)C−(ϕ−r16)D,√(r16−r15)2−(C−D)24CD). |
Thus, we can express the peak-periodic cusp wave solution ϕ11(ξ) and the valley-periodic cusp wave solution ϕ12(ξ).
Proof of Theorem 4.2. For the case of α>1, γ<0 and G=G∗1(β), H1(ϕ,y)=0 defines three heteroclinic orbits of (2.3) connecting the saddles P± and (−β(α+3)/(γ(α+2)),0) with expression
y2=−γ2(α+3)(ϕ+β(α+3)γ(α+2))2((ϕ−β(α+3)3γ(α+2))2+2β2(α+3)29γ2(α+2)3), |
for 0<ϕ<−β(α+3)γ(α+2). Substituting the above formula into the first equation of (2.2) and integrating it along the corresponding orbit, we have
∫ϕ0dϕ(−β(α+3)γ(α+2)−ϕ)√(ϕ−β(α+3)3γ(α+2))2+2β2(α+3)29γ2(α+2)3=√−γ2(α+3)∣ξ∣. |
Letting tan(θ)=√2/2−3γ(α+2)ϕ/(√2β(α+3)), we calculate
∫ϕ0dϕ(−β(α+3)γ(α+2)−ϕ)√(ϕ−β(α+3)3γ(α+2))2+2β2(α+3)29γ2(α+2)3=−1√2r0ln(3√2ϕ−2√9ϕ2+6r0ϕ+3r20+3√2r0(√6−2)(3√2ϕ+√9ϕ2+6r0ϕ+3r20)), |
where r0=−β(α+3)/(γ(α+2)). Thus, we express the valley-solitary cusp wave solution ϕ13(ξ).
Proof of Theorem 4.3. For the case of α=−1, γ<0 and G=G0(β), H1(ϕ,y)=−4β2/(9γ) defines two heteroclinic orbits of (2.3) connecting the saddles (0,0) and (−4β/(3γ),0), which possess the following expression
y2=−γ4ϕ2(ϕ+4β3γ)2,for0<ϕ<−4β3γ. |
Substituting the above formula into the first equation of (2.2) and integrating it along the corresponding orbits, we have
∫ϕ−2β3γ−3γdϕϕ(3γϕ+4β)=√−γ4∣ξ∣. |
By direct calculation, we have
∫ϕ−2β3γ−3γdϕϕ(3γϕ+4β)=−3γ4βln−3γϕ3γϕ+4β. |
Thus, we express the valley-solitary cusp wave solution ϕ14(ξ). Furthermore, it confirms the validity of Property A mentioned in Section 2.
In this paper, we apply the dynamical system methods to investigate the traveling wave system (2.3) corresponding to a generalized VP-mVP equation with non-homogeneous power law nonlinearity (1.5) in the case of (α,β,γ,G)∈Ω. This method allows detailed analysis on phase space geometry of (2.3) to obtain parameter bifurcation sets so that all possible traveling waves of (1.5) and corresponding existence conditions can be identified clearly. All types of traveling waves and bifurcation diagrams of (2.3) have been obtained. 14 exact explicit expressions of traveling wave solutions, including smooth and non-smooth ones, are derived.
Notice that α is an important parameter in (1.5). Depending on α>1, α=1 or α<1, system (2.3) has different dynamics. When α>1, (1.5) has non-smooth traveling wave solutions, including solitary cusp wave solutions and periodic cusp wave solutions. When α=1, (1.5) has only smooth traveling wave solutions, including solitary wave solutions and periodic wave solutions, whose phase orbits do not intersect the singular line ϕ=0. When α<1, there is a special class of homoclinic orbits (resp. periodic closed orbits), that intersects with the singular line ϕ=0 and there are no equilibria inside them. Then, these orbits give rise to a family of smooth solitary wave solutions (resp. smooth periodic wave solutions).
Finally, by (2.1) we give two examples of numerical simulation to visualize each kind of traveling wave solution of (1.5).
Example 1. For the case of n=α=β=2, γ=−1 and G=256√6/2835, when taking initial values (˜φ1−0.1,0), (˜φ1−0.3,0), (˜φ1−0.5,0) and (˜φ1−0.7,0) respectively, we get the numerical simulation results as shown in Figure 5(a). When taking initial values (˜φ1,0), (˜φ1+0.02,0), (˜φ1+0.04,0) and (˜φ1+0.07,0) respectively, we get the numerical simulation results as shown in Figure 5(b). When taking initial values (˜φ2,0), (˜φ2+0.1,0), (˜φ2+0.2,0) and (˜φ2+0.5,0) respectively, we get the numerical simulation results as shown in Figure 5(c). Here, ˜φ1=−2.024285 and ˜φ2=0.000001.
From Figure 5(a), it is seen that when the initial value (ϕ(0),ϕ′(0)) meets ϕ(0)∈(−∞,˜φ1) and ϕ′(0)=0, the graph of ϕ(ξ) satisfying (2.1) is fully close to the line ϕ=0 within a limited time. This implies that, for an orbit of (2.2) with initial value being on the left of the point (˜φ1,0), there is a finite value ξ=˜ξ, such that limξ→±˜ξϕ(ξ)=0. By [16,Theorem 2.4], these orbits give rise to uncountably infinitely many bounded breaking wave solutions (i.e., Compactons). From Figure 5(b), we see that if (ϕ(0),ϕ′(0)) meets ϕ(0)∈(˜φ1,0) and ϕ′(0)=0, the graph of ϕ(ξ) satisfying (2.1) is a periodic curve, which gives rise to a periodic wave solution. Especially when ϕ(0)→˜φ1, this curve is fully close to the boundary curves consisting of a segment P+P− and an arc ^P+P− defined by H2(ϕ,y)=0, in which by [16,Theorems 2.3 and 2.4] the arc ^P+P− gives rise to a periodic cusp wave solution. From Figure 5(c), we see that if (ϕ(0),ϕ′(0)) meets ϕ(0)∈(0,1.632993) and ϕ′(0)=0, the graph of ϕ(ξ) satisfying (2.1) is a periodic curve, which gives rise to a periodic wave solution of (1.5). Especially when ϕ(0)→0 or ϕ(0)→1.632993, this curve gradually loses its smoothness and periodicity, which implies that this periodic wave solution gradually evolve into a solitary cusp wave solution.
Example 2. For the case of n=β=1, α=γ=−4 and G=0, when taking initial values (0.1,0), (0.2,0), (0.3,0) and (0.333333,0) respectively, we get the numerical simulation results as shown in Figure 6(a). For the case of n=β=1, α=γ=−4 and G=−4, when taking initial values (0.872629,0) and (−0.992475,0) respectively, we get the numerical simulation results as shown in Figure 6(b); when taking initial values (−1.2,0), (−1.1,0) and (−1,0) respectively, we get the numerical simulation results as shown in Figure 6(c).
From Figure 6(a), it is seen that the graphs of ϕ(ξ) is a family of Gaussian curves when initial values (ϕ(0),ϕ′(0)) meet ϕ(0)∈(0,1/3) and ϕ′(0)=0, which giving rise to uncountably infinitely many solitary wave solutions. From Figure 6(b), it is seen that the graphs of ϕ(ξ) are two Gaussian curves when initial values are (0.872629,0) and (−0.992475,0) respectively and pass through the line ϕ=0. This phenomenon implies that two homoclinic orbits of (2.2) pass through the singular line ϕ=0. From Figure 6(c), we see that when (ϕ(0),ϕ′(0)) meets ϕ(0)∈(−1.337699,−0.992475) and ϕ′(0)=0, the graph of ϕ(ξ) satisfying (2.1) passes through the line ϕ=0 periodically. This phenomenon implies that infinitely many periodic orbits of (2.2) pass through the singular line ϕ=0.
The authors declare they have not used Artificial Intelligence (AI) tools in the creation of this article.
This work is supported by the Fundamental Research Funds for the Central Universities (No. PHD2023-053) and the Natural Science Foundation of China (No. 12271378).
The authors have no relevant financial or non-financial interests to disclose.
[1] |
A. Charnes, W. W. Cooper, E. Rhodes, Measuring the efficiency of decision making units, Eur. J. Oper. Res., 2 (1978), 429–444. https://doi.org/10.1016/0377-2217(78)90138-8 doi: 10.1016/0377-2217(78)90138-8
![]() |
[2] |
A. S. Camanho, R. G. Dyson, Data envelopment analysis and Malmquist indices for measuring group performance, J. Prod. Anal., 26 (2006), 35–49. https://doi.org/10.1016/j.ejor.2006.01.019 doi: 10.1016/j.ejor.2006.01.019
![]() |
[3] | W. D. Cook, J. Zhu, Within-group common weights in DEA: An analysis of power plant efficiency, Eur. J. Oper. Res., 178 (2007), 207–216. |
[4] |
C. J. O'Donnell, D. P. Rao, G. E. Battese, Meta-frontier frameworks for the study of _rm-level e_ciencies and technology ratios, Empir. Econ., 34 (2008), 231–255. https://doi.org/10.1007/s00181-007-0119-4 doi: 10.1007/s00181-007-0119-4
![]() |
[5] |
H. B. Valami, Group performance evaluation an application of data envelopment analysis, J. Comput. Appl. Math., 230 (2009), 485–490. https://doi.org/10.1016/j.cam.2008.12.020 doi: 10.1016/j.cam.2008.12.020
![]() |
[6] | L. S. Shapley, A value for n-person games, Contrib. Theor. Games, 28 (1953), 307–317. |
[7] | M. Sugiyama, T. Sueyoshi, Finding a common weight vector of data envelopment analysis based upon bargaining game, Stud. Eng. Tech., 1 (2013), 13–21. |
[8] |
J. Wu, L. Liang, F. Yang, Determination of the weights for the ultimate cross efficiency using shapley value in cooperative game, Expert Syst. Appl., 36 (2009), 872–876. https://doi.org/10.1016/j.eswa.2007.10.006 doi: 10.1016/j.eswa.2007.10.006
![]() |
[9] |
Y. Li, L. Liang, A Shapley value index on the importance of variables in DEA models, Expert Syst. Appl., 37 (2010), 6287–6292. https://doi.org/10.1016/j.eswa.2010.02.093 doi: 10.1016/j.eswa.2010.02.093
![]() |
[10] | J. Wu, Q. Zhu, W. D. Cook, J. Zhu, Best cooperative partner selection and input resource reallocation using DEA, J. Oper. Res. Soc., 67 (2016). |
[11] |
J. Wu, L. Liang, F. Yang, Determination of the weights for the ultimate cross efficiency using shapley value in cooperative game, Expert Syst. Appl., 36 (2009), 872–876. https://doi.org/10.1016/j.eswa.2007.10.006 doi: 10.1016/j.eswa.2007.10.006
![]() |
[12] |
K. Nakabayashi, K. Tone, Egoist's dilemma: A DEA game, Omega, 34 (2006), 135–148. https://doi.org/10.1016/j.omega.2004.08.003 doi: 10.1016/j.omega.2004.08.003
![]() |
[13] |
J. Du, L. Liang, Chen, W. D. Cook, J. Zhu, A bargaining game model for measuring performance of two-stage network structures, Eur. J. Oper. Res., 210 (2011), 390–397. https://doi.org/10.1016/j.ejor.2010.08.025 doi: 10.1016/j.ejor.2010.08.025
![]() |
[14] | S. Asadi-Rahmati, R. Fallahnejad, Ranking decision-making units in data envelopment analysis based on cooperative games, J. New Res. Math., 7 (2021), 187–198. |
[15] |
Z. Zhou, L. Sun, W. Yang, W. Liu, C. Ma, A bargaining game model for efficiency decomposition in the centralized model of two-Stage systems, Comput. Ind. Eng., 64 (2013), 103–108. https://doi.org/10.1524/olzg.2013.0011 doi: 10.1524/olzg.2013.0011
![]() |
[16] |
Y. Li, J. Xie, M. Wang, L. Liang, Super efficiency evaluation using a common platform on a cooperative game, Eur. J. Oper. Res., 255 (2016), 884–892. https://doi.org/10.1016/j.ejor.2016.06.001 doi: 10.1016/j.ejor.2016.06.001
![]() |
[17] |
A. Hatami-Marbini, A. Ebrahimnejad, S. Lozano, Fuzzy efficiency measures in data envelopment analysis using lexicographic multi objective approach, Comput. Ind. Eng., 105 (2017), 362–376. https://doi.org/10.1016/j.cie.2017.01.009 doi: 10.1016/j.cie.2017.01.009
![]() |
[18] |
R. E. Bellman, L. A. Zadeh, Decision-making in a fuzzy environment, Manage. Sci., 17B (1970), 141–164. https://doi.org/10.1287/mnsc.17.4.B141 doi: 10.1287/mnsc.17.4.B141
![]() |
[19] |
J. K. Sengupta, A fuzzy systems approach in data envelopment analysis, Comput. Math. Appl., 24 (1992), 259–266. https://doi.org/10.1111/j.1547-5069.1992.tb00731.x doi: 10.1111/j.1547-5069.1992.tb00731.x
![]() |
[20] | A. Hatami-Marbini, S. Saati, S. M. Sajadi, Efficiency analysis in two-stage structures using fuzzy data envelopment analysis, Cent. Eur. J. Oper. Res., 2018. |
[21] |
N. Saini, G. Neeraj, R. Kumar Bajaj, R. P. Dwivedi. Ranking of decision-making units in Pythagorean fuzzy CCR model using data envelopment analysis, Mater. Today Proc., 171 (2020), 114342. https://doi.org/10.1016/j.eswa.2020.114342 doi: 10.1016/j.eswa.2020.114342
![]() |
[22] |
S. Tabatabaei, M. R. Mozaffari, M. Rostamy-Malkhalifeh, F. H. Lotfi, Fuzzy efficiency evaluation in relational network data envelopment analysis: Application in gas refineries, Complex Intell. Syst., 8 (2022), 4021–4049. https://doi.org/10.1007/s40747-022-00687-9 doi: 10.1007/s40747-022-00687-9
![]() |
[23] |
M. Izadikhah, A fuzzy stochastic slacks-based data envelopment analysis model with application to healthcare efficiency, Healthc. Anal., 2 (2022), 100038. https://doi.org/10.1016/j.health.2022.100038 doi: 10.1016/j.health.2022.100038
![]() |
[24] |
S. Wang, L. Liang, L. Xing, Urban circular economy performance evaluation: A novel fully fuzzy data envelopment analysis with large datasets, J. Clean. Prod., 324 (2021), 129214. https://doi.org/10.1016/j.jclepro.2021.129214 doi: 10.1016/j.jclepro.2021.129214
![]() |
[25] |
P. Fortemps, M. Roubens, Ranking and defuzzification methods based on area compensation, Fuzzy Set. Syst., 82 (1996), 319–330. https://doi.org/10.1016/0165-0114(95)00273-1 doi: 10.1016/0165-0114(95)00273-1
![]() |
[26] |
A. Barzegarinezhad, F. H. Lotfi, M. Rostamy-Malkhalifeh, A non-Radial DEA model for evaluating of performance decision making units using fuzzy data, Jor, 13 (2016), 111–120. https://doi.org/10.22495/cocv13i3p10 doi: 10.22495/cocv13i3p10
![]() |
[27] |
A. Charnes, W. W. Cooper, Programming with linear fractional functional, Nav. Res. Log. Quart., 9 (1962), 67–88. https://doi.org/10.1061/JSUEAX.0000088 doi: 10.1061/JSUEAX.0000088
![]() |
[28] |
L. S. Shapley, A value for n-person games, Contrib. Theor. Games, 28 (1953), 307–317. https://doi.org/10.2307/453672 doi: 10.2307/453672
![]() |
[29] |
R. Mahmoudi, A. Emrouznejad, S. N. Shetab-Boushehri, S. R. Hejazi, The origins, development and future directions of data envelopment analysis approach in transportation systems, Socio-Econ. Plan. Sci., 69 (2020), 100672. https://doi.org/10.1016/J.SEPS.2018.11.009 doi: 10.1016/J.SEPS.2018.11.009
![]() |
[30] |
H. Omrani, M. Valipour, A. Emrouznejad, A novel best worst method robust data envelopment analysis: Incorporating decision makers' preferences in an uncertain environment, Oper. Res. Perspect., 8 (2021), 100184. https://doi.org/10.1016/J.ORP.2021.100184 doi: 10.1016/J.ORP.2021.100184
![]() |
[31] |
E. Soltanzadeh, H. Omrani, Dynamic network data envelopment analysis model with fuzzy inputs and outputs: An application for Iranian Airlines, Appl. Soft Comput., 63 (2018), 268–288. https://doi.org/10.1016/J.ASOC.2017.11.031 doi: 10.1016/J.ASOC.2017.11.031
![]() |
[32] |
C. Heydari, H. Omrani, R. Taghizadeh, A fully fuzzy network DEA-range adjusted measure model for evaluating airlines efficiency: A case of Iran, J. Air Transp. Manag., 89 (2020), 101923. https://doi.org/10.1016/J.JAIRTRAMAN.2020.101923 doi: 10.1016/J.JAIRTRAMAN.2020.101923
![]() |
1. | Minzhi Wei, Liping He, Existence of periodic wave of a BBM equation with delayed convection and weak diffusion, 2023, 111, 0924-090X, 17413, 10.1007/s11071-023-08743-w | |
2. | Jibin Li, Ai Ke, Dynamical Behavior and Exact Explicit Traveling Wave Solutions of a Generalized Vakhnenko-Parkes Equation, 2025, 24, 1575-5460, 10.1007/s12346-025-01264-4 |