1. Introduction
During the past three decades, fractional calculus achieved significant popularity and importance as a result of its applications in numerous fields of science and engineering [
1,
2,
3,
4,
5,
6,
7]. For example, it has been successfully applied to problems in physics [
8], hydrology [
9,
10], and chaos theory [
11,
12]. Fractional differential equations (FDEs), which are generalizations of classical differential equations of integer order, can describe physical phenomena that depend on both the time instant and time history. Although these fractional differential equations are often difficult to solve analytically, many methods have been proposed and proven efficient, such as homotopy analysis technique [
13,
14], variational iteration method [
15], Sumudu decomposition method [
16], Lie symmetry analysis method [
17,
18], and so on [
19]. At the same time, many definitions of fractional derivative have been proposed and studied, such as the Caputo fractional derivative, Riemann–Liouville derivative, Grünwald–Letnikov derivative, Hadamard derivative, and the conformable derivative [
20]. Among these, beta-derivatives [
21,
22,
23,
24] can be used to change fractional differential equations into partial differential equations (PDEs) or ordinary differential equations (ODEs). Therefore, approaches for finding exact solutions of nonlinear PDEs such as the Bäcklund transformation method [
25], Hirota’s bilinear method [
26],
Painlevé expansion method [
27], and so on [
28,
29,
30], can be employed to find exact solutions to fractional differential equations.
Ferrite materials, which have many special magnetic and electrical properties such as high resistivity, high magnetic permeability, moderate saturation magnetization, and excellent thermal stability, have been widely used in many high-tech fields for over half a century. Recently, certain nanofabrication techniques have made it possible to manufacture ferromagnetic particles to lengths of 20–30 nm. Since the original work by Kraenkel, Manna, and Merle in 2000 [
31], researchers have constructed a series of Kraenkel–Manna–Merle (KMM) systems in order to study microwave propagation behavior in ferrite media, which are of importance in explaining and predicting nonlinear phenomena that occur in ferrite materials. Up to now, there have been (1+1)-dimensional KMM systems [
32,
33,
34,
35,
36,
37,
38,
39,
40,
41], their complex forms [
42,
43,
44], (2+1)-dimensional KMM systems [
45,
46], and various generalizations [
47,
48,
49,
50,
51,
52,
53], when considering Gilbert damping or inhomogeneous exchange. For the (1+1)-dimensional KMM systems, loop-like solutions [
32,
33], rogue wave solutions [
36,
39], and interactional behaviors such as twining behaviors between solitons have been studied [
34,
38,
40,
41]. Particularly, the fractional KMM system in (1+1)-dimensions with beta-derivative has been proposed and studied [
24]. It has been shown that the wave profile changes for different values of the fractional parameter. Inspired by this, we wanted to investigate the fractional KMM (FKMM) system with beta-derivative in (2+1)-dimensions. From the point of view of mathematical physics, solitons or stable solitary waves that are localized in more than (1+1)-dimensions are of great interest.
To the best of our knowledge, the fractional forms of (2+1)-dimensional KMM systems have not been reported in the existing literature. In this paper, we investigated the following (2+1)-dimensional fractional KMM (FKMM) system:
where the physical observables
and
describe the external magnetization and the magnetic field, respectively.
is the beta-derivative [
21,
22,
23,
24], and is defined as follows:
The beta-derivative has the following properties [
21]:
In fact, the beta-derivative can build the relationship between fractional differential equations and classical differential equations. If we take the following transformation:
then FKMM system (1) can be changed into the following (2+1)-dimensional KMM system [
45,
46]:
In [
45], based on Maxwell’s equations and the Landau–Lifshitz equation, system (3) was proposed to describe the electromagnetic wave propagation in a saturated, nonconducting ferromagnetic medium. KMM system (3) is a (2+1)-dimensional generalization of the well-known, completely integrable (1+1)-dimensional sine-Gordon model [
45]. In [
46], the transverse stability of short line-solitons for system (3) has been researched, and it has been found that the unstable line solitons of system (3) could decay into stable two-dimensional solitary waves. To the best of our knowledge, there is no further research that studied KMM system (3).
The main purpose of this paper is two-fold: on the one hand, through performing Lie symmetry analysis, we obtained group-invariant solutions to KMM system (3). In the process of applying Lie symmetries to achieve group-invariant solutions, each symmetry sub-algebra corresponds to a group-invariant solution. In order to classify all of the group-invariant solutions, the optimal system of the symmetry algebra will be considered by a direct algorithm. Then, exact solutions to system (3) can be constructed by the optimal system. On the other hand, we derived exact solutions to the FKMM system (1) by means of transform (2) and the solutions of system (3).
The framework of the remainder of this paper is organized as follows. In
Section 2, we initially perform Lie symmetry analysis on KMM system (3), then find the optimal system of the symmetries. In
Section 3, using the obtained optimal system, all of the reduction equations and many new exact solutions for the KMM system and FKMM system are obtained. In
Section 4, beginning from a reduction equation in the previous section, power series solutions for the KMM system and FKMM system are obtained. In
Section 5, exact solutions of the FKMM system are further studied by means of a transformation.
Section 6 is devoted to analysis and discussion of the methods and results in this paper. In
Section 7, some closing words and future directions of the research are presented.
2. Lie Symmetry Analysis and Optimal System of KMM System (3)
Generally speaking, Lie symmetry denotes a transformation that leaves the solution manifold of a system invariant, i.e., it maps any solution of the system into a solution of the same system, hence it is also called geometric symmetry. In this section, we will perform Lie symmetry analysis on KMM system (3). Suppose that Lie symmetry of system (3) is expressed as follows:
where
and
are functions of
and
, respectively. According to [
29], the Lie symmetry (4) can be determined by the following invariant condition equations:
where
Substituting (6) into (5), with
being solutions of (3), we collect the coefficients of the derivatives of
and
and set them to zero to obtain the following:
where
, and
are arbitrary constants, and
is an arbitrary function of
Thus, the Lie algebra of (3) is spanned by the following:
and
For (7), the commutation relations are obtained by the following Lie bracket:
and they are listed in the following
Table 1.
From
Table 1, we know that the symmetries
…
form a closed five-dimensional Lie algebra. The five-dimensional Lie algebra has many sub-algebras; theoretically, one sub-algebra can derive a group-invariant solution. In order to classify all of the group-invariant solutions, we find the optimal system of (7) by the method proposed in [
54] and used in [
55].
In order to construct the optimal system, invariants will initially be derived. Taking
where
and
…
are constants, we have the following:
with
For any
the function
with regard to
and
needs to satisfy the following condition:
Collecting the coefficients of all
in (10), we will obtain five differential equations as follows:
By searching for the solutions to (11), we can obtain with being an arbitrary function of and Hence, KMM system (3) has the following two basic invariants: and .
According to the theory in [
29,
54], the adjoint representation can be obtained by the following:
and the results are shown in the following
Table 2.
Applying the adjoint action of
on
we have the following:
where
Similarly, one can obtain
and
as follows:
Then, the adjoint transformation equation for KMM system (3) is the following:
where
and
Now, we can construct the optimal system of (7). From (12), we can obtain the following cases:
Case 1. whereis an arbitrary constant.
Takingwe find thatis equivalent towith
Case 2. Let, thenTakingwe find thatis equivalent to
Case 3. Let, thenTakingwe find thatis equivalent to
In the following, we discuss the case when
Case 4. Takingwe find thatis equivalent to
Case 5. Takingwe find thatis equivalent towhere
Case 6. Takingwe find thatis equivalent to
Case 7. Thus,is equivalent to
In summary, an optimal system of (7) is
where
and
are arbitrary constants.
3. Reduction Equations and Group-Invariant Solutions to (3) and (1)
Based on the optimal system (13), we can reduce KMM system (3) to eight PDEs in (1+1)-dimensions. For some reduction systems in (1+1)-dimensions, it is still difficult to find their exact solutions. Hence, we perform Lie symmetry analysis on them for a second time, and reduce them to ODEs.
For the symmetrywe can obtain the following group-invariant solution to system (3):whereandsatisfy the following reduction equations: The above linear differential equations can be solved, and then an analytical solution to KMM system (3) can be obtained as follows:whereandare arbitrary functions of.
For the symmetrywe can obtain a group-invariant solution as follows:whereandsatisfy the following reduction equations: The equations in (16) constitute the (1+1)-dimensional KMM system [
36].
Case 10. with
For the symmetrywithwe can obtain a group-invariant solution as follows:whereandsatisfy the following reduction equations: Applying the variable separating method [
56]
to the above equations, we can find two exact solutions to system (3) as shown below:andwhere and are constants. Case 11. with
For the symmetrywithwe can obtain a group-invariant solution as follows:where,andsatisfy the following reduction equations: From (19), we obtain a dark soliton solution of (3) via
the consistent Riccati expansion (CRE) method [
57,
58]
, as follows:where and are constants, This is a new soliton solution to KMM system (3), and it is different from the soliton solution in [
45,
46]
. Usually, the CRE method can be used to find various interaction solutions between different types of excitations. The CRE method has been successfully applied to (1+1)-dimensional KMM systems and exact solutions, including breather soliton, periodic oscillation soliton as well as multipole instanton [
36]
. However, for the (2+1)-dimensional KMM system (3), (20) is the only result we can achieve. From (20) and (2), a dark soliton solution to FKMM system (1) is as follows: For the symmetrywe can obtain a group-invariant solution as follows:where andsatisfy the following reduction equations: The equations in (23) are variable-coefficient (1+1)-dimensional PDEs, and it is very difficult to solve them. We perform Lie symmetry analysis on (23). After calculations, Lie symmetry of (23) is as shown below:whereandare arbitrary constants. From (24), we obtain a group-invariant solution of (23)
where and are solutions of the following reduction equations: From (22)
and (25),
an exact solution for (3)
is as shown below:where and are determined by (26).
For the symmetry,we can obtain a group-invariant solution to (3)
as follows:
where and satisfy the following reduction equations: After performing Lie symmetry analysis on (29), we find that the Lie symmetry of (29) is the following:where andare arbitrary constants.Whenwe can obtain the following group-invariant solution to (29):
where and satisfy the following reduction equations:
The equations in (32) are solvable. Whenan oblique analytical solution of (3) can be obtained by (28) and (31) as follows: Whena rational function solution to (3) can also be obtained by (28) and (31) as shown below: Hereandare arbitrary constants. From (33), we can obtain an oblique traveling wave solution for FKMM system (1) by replacingwith. Then, from (34), a rational function solution for (1) can be derived by replacingwith.
For the symmetrywe can obtain a group-invariant solution to (3) as follows:where andsatisfy the following reduction equations: After performing Lie symmetry analysis on (36), we find that the Lie symmetry of (36) is the same as for (30). From (30), we can obtain a group-invariant solution to (36) when:whereandsatisfy the following reduction equations:
The equations in (38) are also solvable. Whenandan oblique traveling wave solution of (3) can be obtained by (35) and (37): Whenanother rational function solution to (3) can also be obtained by (35) and(37) Hereandare arbitrary constants. From (39) and (40), two analytical solutions to FKMM system (1) can be obtained by replacingwithThe characteristics of these solutions will be further discussed inSection 6.
For the symmetrywe can obtain a group-invariant solution as shown below:where andsatisfy the following reduction equations: The equations in (42) are variable-coefficient PDEs, and their solutions are difficult to construct. Therefore, we seek Lie symmetry for (42), which are shown as follows: By means ofwe can obtain the following group-invariant solution to (42):where andsatisfy the following reduction equations: Exact solutions to (45) can be found, and they are as follows: Based on (41) and (44), the following rational function solution to (3) can be obtained:where andare constants. From (47), a rational function solution to (1) can be obtained by replacingwithBy means ofwe can find a group-invariant solution to (42) as shown below:where andsatisfy the following reduction equations: This is a system of ODEs, and we will study its power series solution in the next section.
Remark 1. Using optimal system (13), we reduce KMM system (3) to eight reduction equations in (1+1)-dimensions. These equations represent the complete classification of all (1+1)-dimensional reduction equations. For the reduction equations (23), (29), (36) and (42), we perform Lie symmetry analysis on them for a second time, and reduce them to ordinary differential equations (26), (32), (38), (45) and (49). The solutions to (32), (38) and (45) have been found; solutions to (49) will be studied in Section 4. However, the solutions of (26) have not been found. Remark 2. We should mention that all of the solutions for KMM system (3) in this section have not been reported in the existing literature. The oblique analytical solutions expressed by (33) and (39) are difficult to achieve usingother methods, for example, the CRE method in [
57]
and the MAE method in [
24].
4. Power Series Solutions to Systems (3) and (1)
The power series method is very useful for solving ODEs [
59]. We will seek a solution for system (49) in the following form:
where
and
…
are all undetermined constants. Taking (50) into (49), we obtain the following:
For arbitrary constants
and
we can obtain the following coefficients from (51):
for all
….
Thus, from (54) we can obtain the following:
and so on.
Therefore, we can obtain a power series solution (50) with the coefficients given by (52)–(54). Moreover, we can show the convergence of (50).
From (54), one can obtain the following:
Suppose that
and
where
…. Then, it is easily seen that
…. In other words, the two series
and
are majorant series of
and
in (50), respectively.
Next, we prove that
and
have a positive radius of convergence. After calculation, we have the following:
Consider the following implicit functional system of
:
Since
and
are analytic in the neighborhood of
and
and
the following Jacobian determinant:
thus
and
are analytic in the neighborhood of
, and with a positive convergence radius by the implicit function theorem [
60]. This means that the two power series in (50) converge in the neighborhood of
Thus, the power series solution (50) is an analytical solution to (49). Therefore, the analytical solution to (3) is the following:
where the coefficients
and
…
are determined by (52), (53) and (54). From (58), a power series solution to (1) can be obtained by replacing
with
6. Results and Discussion
In this paper, FKMM system (1) with beta-derivative in (2+1)-dimensions were studied from the point of analytical solutions. The beta-derivative, which is a new proposed definition of the fractional derivative, has been used to change fractional differential equations into PDEs for the first time. The beta-derivative may not be seen as a fractional derivative but can be considered to be a natural extension of the classical derivative. Using one of the advantages of the beta-derivative in changing fractional differential equations into classical differential equations, we changed the (2+1)-dimensional FKMM system (1) into the (2+1)-dimensional KMM system (3) and a system of ODEs named (60) and (61). Taking a suitable transformation, FKMM system (1) can be changed into (1+1)-dimensional PDEs. For example, if we set the following:
then FKMM system (1) can be changed into a system of (1+1)-dimensional PDEs.
Through the optimal system (13), we reduced the (2+1)-dimensional KMM system (3) to (1+1)-dimensional PDEs. For some of the derived (1+1)-dimensional PDEs, we performed Lie symmetry analysis for a second time and reduced them to ODEs. These ODEs are different from those in (60) and (61), and they possess novel solutions. For example, from (39), a solution to FKMM system (1) is expressed as follows:
This is a triangular periodic solution expressed by sine and cosine functions, and it is different from the triangular periodic solutions in (1+1)-dimensional FKMM, which are expressed by tangent or cotangent functions [
24]. In [
61], the authors also studied these kinds of oblique traveling wave solutions for the Heisenberg models of ferromagnetic spin chains with beta-derivative by implementing the generalized exponential expansion method. However, the structures of oblique traveling wave solutions in [
61] differ from our results.
In addition to the oblique traveling wave solutions, we also obtained two soliton solutions for FKMM system (1). Solution (21) is a dark soliton solution, while solution (67) is a combo soliton solution. In (67),
is a bright soliton, and
is a dark soliton. Soliton solutions have very important uses in describing wave propagation in various media. We take as an example to illustrate the behaviors of the electromagnetic wave in a saturated ferromagnetic medium.
Figure 1,
Figure 2 and
Figure 3 depict the solution
for different
at
when taking
Figure 4 shows the different locations of the solution with different
at
As can be seen from the figures, the wave profiles and locations of the solutions change as the fractional order parameter
changes. The larger the value of
, the more forward the solution is located; conversely, the smaller the value of
, the more backward the solution is located.
7. Conclusions
Recently, beta-derivative, which is a newly introduced fractional derivative, was applied to a (2+1)-dimensional KMM system. The new model can describe electromagnetic wave propagation in a saturated nonconducting ferromagnetic medium when considering the effects of memory. Applying the properties of beta-derivatives, the KMM system with beta-derivative (FKMM system (1)) can be changed into KMM system (3). To the best of our knowledge, this is the first time that beta-derivative has been used to change fractional differential equations into PDEs. Through constructing exact solutions for KMM system (3), exact solutions for FKMM system (1) can be derived through a transformation.
In this paper, we first investigated new exact solutions to KMM system (3) by the Lie symmetry analysis method. Lie symmetries and their optimal system were derived. By the optimal system, all of the (1+1)-dimensional reduction equations of KMM system (3) were obtained. Through performing Lie symmetry analysis on some reduction equations, we reduced them to ODEs. Based on the reduced (1+1)-dimensional PDEs and ODEs, many new analytical solutions for KMM system (3), including soliton solutions, oblique analytical solutions, rational function solutions, and power series solutions, were obtained. The solitary wave solution of (3) that was obtained in [
45] was derived as well. In addition, we obtained a novel dark soliton solution (20) for (3). In particular, we obtained novel oblique analytical solutions (33) and (39), which are triangular periodic solutions of (3) and are expressed by sine and cosine functions. Those oblique solutions are difficult to obtain by other algebraic methods, for example, the CRE method in [
57] and the MAE method [
24]. For FKMM system (1), dark soliton solutions and oblique analytical solutions were constructed at the same time. Furthermore, one can still investigate the solutions to the KMM system and FKMM system via the reduced (1+1)-dimensional PDEs and ODEs. The explicit solutions for (26) remain an open problem.
In addition, the FKMM system is also changed into a system of ODEs by means of a transformation and the properties of beta-derivatives. Making use of the known solutions to a Jacobi elliptic equation, Jacobi elliptic function solutions and soliton solutions for the FKMM system were constructed. To the best of our knowledge, a (2+1)-dimensional FKMM system with beta-derivative has been proposed and studied for the first time, and all the solutions for the FKMM system are new. Soliton solutions (21) as well as (67), and oblique analytical solution (69) have important physical applications. The properties of (67) have been illustrated by
Figure 1,
Figure 2,
Figure 3 and
Figure 4.
For the (1+1)-dimensional KMM system, it has rich soliton structures [
36,
41]. However, some similar results have not been derived for the (2+1)-dimensional KMM system. In the future, rogue wave solutions for the (2+1)-dimensional KMM system and FKMM system will be studied using the truncated Painlevé analysis method or Hirota’s bilinear method. Moreover, new propagation structures such as the breather soliton and periodic oscillation soliton may be studied.
There have been many definitions of fractional derivative, such as the Riemann–Liouville derivative, the Atangana–Baleanu derivative, the conformable derivative, and so on. In this paper, we only studied the fractional KMM system with beta-derivative, which is a weakness of our research. In the future, we will study the KMM system with other derivatives, and compare the results between different fractional derivatives.