Abstract

With Bell polynomials and symbolic computation, this paper investigates the (3+1)-dimensional Jimbo-Miwa equation, which is one of the equations in the Kadomtsev-Petviashvili hierarchy of integrable systems. We derive a bilinear form and construct a bilinear Bäcklund transformation (BT) for the (3+1)-dimensional Jimbo-Miwa equation, by virtue of which the soliton solutions are obtained. Bell-polynomial-typed BT is also constructed and cast into the bilinear BT.

1. Introduction

Dynamical systems, such as those for the shallow waters [1, 2], plasmas and optical fiber communications [36], can often be described by the nonlinear evolution equations (NLEEs) [79] and studied by the relevant methods including the inverse scattering [1], Bäcklund transformation (BT) [1013], and Hirota method [1416]. Among them, the Hirota method [17, 18] is a direct tool for dealing with certain NLEEs and relevant soliton problems [19, 20]. Based on the bilinear form of a given NLEE, one can obtain the multisoliton solutions [21], bilinear auto-BTs [18], nonlinear superposition formulas, Lax pair, Wronskian formulation [22], and so on [23].

Reflecting the complex nonlinear phenomena in our real world [2426], higher-dimensional NLEEs with their analytic solutions and integrable properties [2729] have been of great interest. In fact, some -dimensional NLEEs have been investigated with different methods, for example, the -dimensional breaking soliton equation, Kadomtsev-Petviashvili equation, and -dimensional Kaup-Kupershmidt equation [3032]. However, for some -dimensional NLEEs, the conventional integrability test fails [27], and then a natural problem is whether or not there exists BT for a given -dimensional NLEE. Moreover, for the higher-dimensional NLEEs, finding a bilinear BT via the exchange formula is often difficult, even if possible [18, 21].

In this paper, we will study the following -dimensional Jimbo-Miwa (JM) equation [32]:where is a real scalar function with four independent variables , , , and and the subscripts denote the corresponding partial derivatives. Seen as one of the equations in the Kadomtsev-Petviashvili hierarchy of integrable systems [32, 33], (1) describes certain -dimensional waves [13, 32] but does not have the Painlevé property [34] as defined in [35]. The soliton [36, 37], periodic [15], rational, and dromion solutions [38, 39] for (1) have been obtained. BTs and analytic solitonic solutions have been given in [13] with the truncated Painlevé expansion at the constant level term.

However, existing literature has not studied the bilinear BT and Bell-polynomial-typed BT of (1) as yet. Therefore, in this paper, by means of the Bell polynomials and Hirota bilinear method, we will obtain two BTs for (1), which are different from those in [13]. In Section 2, we will introduce some concepts on the Bell polynomials and their connection with the bilinear forms. In Section 3, using the Bell-polynomial expressions, we will derive a bilinear form of (1). In Section 4, based on this bilinear form, we will obtain a bilinear BT with soliton solutions and a Bell-polynomial-typed BT. Finally, our conclusions will be given in Section 5.

2. Preliminaries

Suppose that is -function with respect to , and set . Then the Bell exponential polynomials are given as [4043]where .

For example,Two-dimensional Bell polynomials are expressed as [4043]with hereby being -function of and .

Based on the Bell polynomials given above, the binary Bell polynomials, namely, -polynomials, can be defined as [41]where the vertical line means that the elements on the left-hand side are chosen according to the rule on the right-hand side, while and are the functions that replace in the corresponding positions of the Bell polynomials. For simplicity, we denote as or if or , respectively.

As one special kind of -polynomials, -polynomials only possess the even-order partial differential terms and, with , are defined as [40, 41]which vanish unless is even.

According to the above, the lower-order -polynomials can be given as

For a given pair of exponentials,where and are -functions of and , while the Hirota -operators are defined as [17, 42, 43]where , are the formal variables.

It has been found that there exist some relations between the binary Bell polynomials and the Hirota -operators [40, 41]. When , , a binary Bell polynomial can be transformed into a bilinear term according to the identity [40, 41]Likewise, when , -polynomials can be associated with the Hirota -operators according to the identity [40, 41]

3. Bilinear Form

We will next investigate (1), to be written in -polynomial form with one independent variable. Based on the relation between the binary Bell polynomials and Hirota bilinear operators, namely, identities (10) and (11), (1) can be translated into the corresponding bilinear forms.

Consider the following scale transformations:where , , , , , and are the real constants. Invariance of (1) under such transformations requires that , , and .

Notice that if we require that , we have to set in (1) and obtainwhere is an arbitrary constant.

In order to express (13) with -polynomials, we choose . Thenwhose corresponding bilinear form is

Therefore, we get the bilinear form of (1), which is (14) with -polynomials or (15) with the bilinear operators. We note that (15) is the same as that in [15], but the method that we used is different from that in [15].

4. Bell-Polynomial-Typed BT and Bilinear BT with Soliton Solutions

To construct a BT, we express (1) with -polynomials:

Based on we will derive the Bell-polynomial-typed BT under the homogenous constraints between the primary and replica fields instead of using exchange formulae.

Using the Bell polynomials, we have

Note that Therefore, substituting (18) into (17), we havewhereand is an arbitrary constant.

Further computation shows thatHereby, if we choose and set , thenHence, Moreover, a decomposition of (23) leads to the following Bell-polynomial-typed BT:where , , , and are the arbitrary constants.

Using the connection between the Bell polynomials and bilinear operators, we give a bilinear BT between and as

As an application, we derive the one-soliton solutions from a trivial solution, by virtue of the bilinear BT, that is, (25). Taking , , and in (25), we getSubstituting (26) into (28), we haveand hence we take where and is a nonzero constant. On the other hand, we can choose and substitute it into (26) and (29), which implies thatSimilarly, substituting (26) into (27) leads toSolving (32), we obtain Finally, we can present the one-soliton solutions of (1) as where , while the parameters , , , and are all arbitrary constants.

5. Discussions and Conclusions

We have investigated the -dimensional Jimbo-Miwa equation, that is, (1). With the aid of the Bell polynomials and Hirota bilinear operators, we have derived bilinear form (16) of (1) and then constructed a new BT, that is, (25), with the Bell polynomials and symbolic computation. The bilinear form and BT are important integrable property for the nonlinear evolution equations. Moreover, a BT often can be cast into the Lax pair for integrable equations. It may be possible to construct the bilinear BTs for the -dimensional Jimbo-Miwa equation via the exchange formulae; however, the computation is tedious. Bell-polynomial-typed BTs (24) have been constructed hereby and then cast into bilinear BTs (25), which help us avoid the difficulties in using the exchange formulae. As an application, one-soliton solutions (34) have been obtained via BT (25). The existence of solution obtained via solving this BT indicates that (24) or (25) are genuine ones.

Conflict of Interests

The authors declare that there is no conflict of interests regarding the publication of this paper.

Acknowledgments

The authors would like to express their sincere thanks to Mr. Q. X. Qu and Mr. K. Sun for their helpful suggestions. This work has been supported by the National Natural Science Foundation of China under Grant no. 11272023, by the Open Fund of State Key Laboratory of Information Photonics and Optical Communications (Beijing University of Posts and Telecommunications), and by the Fundamental Research Funds for the Central Universities of China under Grant no. 2011BUPTYB02.