Abstract
Nonlinear partial differential equations formed the mathematical core of nonlinear science. They revealed the intrinsic link between algebraic structures and complex dynamical behaviors. Traditional analytical and numerical methods, however, faced high computational costs, cumbersome derivations, limited accuracy, and poor generality. They especially struggled to solve high-dimensional integrable systems efficiently. To meet these challenges, this study built on traditional neural network methods. We introduced the Hirota bilinear transformation to convert the original nonlinear equation into a bilinear form. We then constructed a bilinear neural network solving procedure deeply coupled with symbolic computation. This strategy effectively suppressed error accumulation caused by random initialization and approximate approximation in traditional numerical iterative methods. Within this framework, this study constructed complete single-hidden-layer and double-hidden-layer neural network models to obtain analytical solutions of the auxiliary equation. By designing network structures with multiple activation functions, we built diverse trial solutions. We also systematically established a coupling adaptation mechanism among activation functions, network depth, and the bilinear transformation. To verify the effectiveness and robustness of the proposed method, we applied it to the Calogero–Bogoyavlenskii–Schiff (CBS) equation. We successfully derived multiple new exact solutions. We further constructed various neural network models and heuristic strategies. This study provided new ideas for neural network solving of integrable systems. It also offered a feasible path for approximation-free exact solutions of high-dimensional nonlinear partial differential equations. The findings held important theoretical value and broad application prospects in fluid dynamics, optical communication, plasma physics, and related engineering fields.
Keywords:
bilinear neural network; symbolic computation; CBS equation; nonlinear partial differential equation; Hirota bilinear transformation MSC:
35Q51; 35A25
1. Introduction
Nonlinear partial differential equations (NPDEs) served as the mathematical cornerstone of nonlinear science, applied mathematics, and engineering physics. They drew widespread attention because of their interdisciplinary applications across biological sciences, fluid dynamics, optics, and other fields. Related interdisciplinary findings frequently appeared in the literature [1,2]. These equations established a deep connection between algebraic structures and dynamical behaviors. They served as indispensable analytical tools for interpreting nonlinear evolution phenomena. They accurately depicted the evolutionary nature of various complex systems. These encompassed shallow water waves and multilayer fluid interface wave propagation in fluid dynamics. They also covered ion acoustic waves and magnetohydrodynamic fluctuations in plasma physics. Other examples included optical pulse transmission and planar optical waveguiding in nonlinear optics. High-dimensional integrable nonlinear systems generally governed these scenarios. To deeply explore their evolution laws, scholars successively constructed a series of models. These included the Schrödinger equation, Navier-Stokes (N-S) equation, Boussinesq equation [3], Korteweg-de Vries (KdV) equation, and KP equation. They conducted systematic research in their respective fields [4,5,6].
Once a model is established, solving the problem becomes the central challenge. Due to the inherent complexity of nonlinearity, it is difficult to obtain closed-form solutions for a large number of equations using simple analytical methods. However, with the continuous development of mathematical physics theory, scholars both domestically and internationally have gradually established three mature methodological frameworks: exact solution methods, approximate analytical methods, and high-dimensional non-traveling-wave methods, which have powerfully advanced the development and refinement of the theory for solving nonlinear partial differential equations. In terms of exact solutions, methods such as the inverse scattering transform and the extended tanh expansion have been widely applied to integrable systems such as the KdV equation and the nonlinear Schrödinger equation [7]. These methods can effectively construct analytical solutions for solitons, traveling waves, and periodic waves, and reveal the typical structures and evolutionary characteristics of nonlinear waves. Of course, exact solutions cannot be obtained for all equations; for such complex nonlinear models, approximate analytical methods—such as the Adomian decomposition [8], variational iteration [9], and homotopy perturbation [10]—provide efficient solution pathways. These methods do not rely on small-parameter assumptions and can yield high-precision approximate analytical solutions through iterative approximation, making them more widely applicable. However, as research expands into high-dimensional, variable-coefficient nonlinear evolution equations, traditional traveling-wave methods are gradually revealing their limitations. Methods such as the extended co-residence test and the extended three-wave method, based on the theory of generalized separation of variables, can effectively solve various non-traveling-wave analytical solutions [11,12]. Among these, the extended co-residence test has been successfully applied to the CBS equation studied in this paper [13], enriching the solution space of nonlinear equations and refining the theoretical framework for solving high-dimensional nonlinear systems.
As theories in mathematical physics continue to evolve, traditional analytical and numerical methods have gradually revealed shortcomings such as large data volumes, slow computation speeds, and difficulties in solving high-dimensional problems; computer technology is playing an increasingly critical role in solving nonlinear partial differential equations. M. Raissi et al. pioneered the concept of Physics-Informed Neural Networks (PINNs), which embed physical rules into nonlinear partial differential equations [14,15]. Compared to traditional numerical methods, PINNs embedded partial differential equations into the loss function of neural networks. They removed the reliance on complex structured grids. They used physical equations as constraints to flexibly handle irregular geometric domains. This provided a highly promising general framework for high-dimensional, nonlinear, and inverse problem solving.
Although PINNs had broad prospects, they still faced challenges such as high model complexity and large computational costs. Their solution accuracy was typically measured by numerical error. It was also affected by network structures, training strategies, and optimization processes. These issues have become key bottlenecks limiting their application, and researchers continue to explore more efficient and accurate improvement strategies. To address the issue of lagging computational efficiency, the academic community has introduced adaptive configuration points and multiscale training strategies [16,17], enabling the network to focus on key regions where the physical field undergoes drastic changes; Jnini et al. employed a Gauss–Newton natural gradient optimization method, which increased the convergence rate by several hundred times compared to traditional gradient descent, while combining Green’s functions with numerical differentiation to avoid computational redundancy caused by higher-order automatic differentiation [18]. In terms of accuracy improvement, Karniadakis et al. integrated Gauss–Newton optimization and multi-stage residual correction into the network, pushing the solution accuracy to the machine double-precision limit and applying it to the exploration of singularities in the fluid equations [19]; this work aligns with the overall development trend of physics-informed machine learning [20]; The S-PINN and gPINN proposed by Wu et al. significantly mitigated training instability by strengthening conservation constraints and gradient information [21]. As research continues to advance, PINNs are being continuously refined and expanded. Zhang R.F. et al. also proposed a pioneering solution strategy, namely the bilinear neural network method [22,23,24,25,26], which was subsequently extended to the solution of fractional-order equations [27,28,29]. The basic approach is as follows: First, convert the bilinearizable nonlinear partial differential equation into the Hirota bilinear form. Then, a neural network is constructed to generate auxiliary test functions. After substituting these into the bilinear equation, a system of algebraic equations is established through coefficient matching; the network parameters are solved using Maple; and, finally, the exact analytical solution of the original equation is obtained via an inverse transformation. It should be noted that PINNs and the method in this paper belonged to different paradigms: PINNs aimed to achieve numerical approximation, with accuracy affected by discretization, optimization, and network capacity. In contrast, bilinear neural network methods aimed to construct exact analytical solutions via symbolic computation. Their approach was as follows: convert the bilinearizable equation into the Hirota bilinear form. Construct neural network trial functions. Establish algebraic equations through coefficient matching. Solve parameters with Maple. Obtain the original equation solution through inverse transformation. The obtained solution was verified by a residual identically equal to zero, with zero error in the symbolic sense. Therefore, this paper did not directly benchmark efficiency or accuracy against PINNs. Instead, it provided a complementary exact analytical solving path to PINNs.
Nonlinear wave dynamics had broad applications in fluid mechanics, optical fiber communications, and micro/nano systems. The CBS equation, as an important model in this field, was rooted in fluid dynamics and plasma physics. It mainly characterized the propagation mechanisms of nonlinear waves such as shallow water waves and magnetohydrodynamic disturbances [30,31,32]. In recent years, research on the solution structures and mathematical properties of the CBS equation has attracted widespread attention [33]. In particular, Akram et al. [34] explored inelastic lump-breather interactions and periodic wave dynamics of the generalized CBS equation based on a bilinear neural network architecture. Talib et al. [35] analyzed nonlinear wave interactions and stability in the CBS-nCBS model using the bilinear neural network method. Against this background, this paper aimed to further expand the adaptability and solving capability of the bilinear neural network method on such models.
This paper investigated the following (2+1)-dimensional CBS equation:
Here, a and b are real parameters. Bogoyavlenskii and Schiff constructed the CBS equation in different ways. Han et al. [36] adopted generalized bilinear operators and polynomial methods. They systematically studied rational solutions of the generalized CBS equation. This provided an effective path for the bilinearization and exact solution construction of CBS-type equations.
Therefore, this paper focuses on the case of Equation (1) when :
This paper aimed to apply the bilinear neural network coupled with symbolic computation method (BNNM) to this parameter case. We tested the method’s ability to construct analytical solutions of the bilinear auxiliary equation under different parameter conditions. It should be particularly noted that for the specific parameter branch obtained from the neural network trial functions in this paper, symbolic constraints eliminated the explicit dependence of the auxiliary function f on the spatial variable x. This yielded a dimension-reduced auxiliary solution (that is, it forced the relevant x-direction weight to zero, and the term containing x did not contain t). The whole system still acted jointly through y and t. After the Hirota inverse transformation, this auxiliary function corresponded to the trivial solution of the original CBS equation. Therefore, this work focused on revealing the algebraic structure characteristics of the auxiliary function f. The related images only served to intuitively display its spatial structure. They should not be interpreted as the physical wave field of the original CBS equation. They also did not involve discussions of physical dynamical behaviors such as non-trivial soliton families or elastic collisions.
Although the bilinear neural network paradigm was successfully applied to the YTSF equation, Hirota bilinear equation, and Boussinesq equation, this paper focused on applying this framework to the 2+1-dimensional CBS equation containing general parameters a and b. The core work was: within the established bilinear neural network framework, combining neural networks with symbolic computation. We adopted specific network architectures and activation function combinations. We systematically explored the diversity of algebraic structures of the bilinear auxiliary equation. In terms of single-hidden-layer architectures, this paper built a [3-4-1] architecture on the basis of the [3-3-1] model. By increasing the number of hidden layer neurons, we expanded the network’s parameter dimension and mapping capacity at the depth level. This enhanced the ability to capture complex nonlinear algebraic constraints. In terms of double-hidden-layer architectures, we constructed a [3-3-2-1] double-hidden-layer network. Compared with the single-hidden-layer structure, this architecture added more layers at the width level. It achieved multi-level nonlinear mapping and effectively broadened the expression dimension of trial functions. Furthermore, in terms of the activation function system, this paper introduced the Weierstrass P elliptic function into the double-hidden-layer network. This function possessed double periodicity and second-order pole characteristics. Compared with elementary function activation functions in conventional categories, the introduction of the elliptic function enabled trial functions to contain more complex singular manifolds and periodic characteristics. Its coupling with the exponential function successfully constructed a more diverse mixed structure of auxiliary functions. This strategy broke through the limitations of traditional elementary function families. It effectively expanded the algebraic structure boundary of auxiliary equations at the function family level. It provided a function construction space with greater depth and breadth for bilinear neural networks to handle complex integrable systems.
2. Bilinear Neural Network-Coupled Symbolic Computation Method (BNNCSCM)
To transform the (2+1)-dimensional CBS (Calogero–Bogoyavlenskii–Schiff) equations into the Hirota bilinear form suitable for solution by a bilinear neural network, we introduce the Hirota bilinear transformation to convert the original nonlinear equations into a bilinear form.
This paper focuses on the case where a = 3 and b = 3, that is, Equation (2).
Let be an auxiliary function, and introduce the Hirota transformation:
substituting transformation (3) into Equation (2) and rearranging yields the following bilinear expansion:
The Hirota bilinear differential operator is defined as follows:
Based on the above definition, expanding the bilinear operator in Equation (2) yields the following form of the partial derivatives of the auxiliary function:
Consequently, the original CBS nonlinear partial differential equation is transformed into a bilinear equation in terms of the auxiliary function f. This form avoids the need to directly handle the complex nonlinear terms of the original equation and provides a foundation for subsequently constructing bilinear neural network exploratory functions and solving for network parameters using symbolic computation methods.
Compared to traditional solution methods, the bilinear neural network method exhibits fundamental differences: traditional PINNs can only obtain numerical approximate solutions, whose accuracy is constrained by various factors such as network structure, training strategies, and loss function design; in contrast, the bilinear neural network method, by constructing a specific bilinear network architecture, can guarantee the accuracy of the solution and directly generate exact analytical solutions that strictly satisfy the original control equation. Furthermore, by integrating symbolic computation, this method effectively overcomes the limitations of traditional numerical methods, such as high computational complexity and significant resource consumption. This paper constructs the following bilinear neural network model:
Step 1. Using the Hirota bilinear transformation, we transform the original nonlinear equations into a bilinear form.
Step 2. Based on the neural network model constructed above, we can develop various activation functions for both single-hidden-layer and multi-hidden-layer networks. By experimenting with different activation functions and iteratively replacing the search function, we can identify the optimal search function. The analytical expressions for these networks are as follows:
- 1.
- Single-hidden-layer bilinear neural networkModel [3-3-1]Model [3-4-1]
- 2.
- Double-hidden-layer bilinear neural network Model [3-3-2-1]
Step 3. Substitute the obtained test function expression into the nonlinear micro-differential equation after bilinear transformation, and combine like terms to obtain a system of algebraic equations.
Step 4. Use Maple to perform symbolic computation to solve the system of algebraic equations, obtaining an analytical solution constrained only by weights and thresholds
Step 5. We substituted the parameter constraints into the trial function and obtained the trial solution. We then verified it symbolically in the original CBS Equation (1). For the specific parameter branch from the neural network trial function, symbolic constraints removed the explicit x-dependence of f (the x-direction weight was forced to zero). This yielded a dimension-reduced auxiliary solution. If the residual vanished identically, we identified it as the corresponding dimension-reduced auxiliary analytical solution.
Step 6. For the parameter branch in Section 3.2 that retained the x-direction weight, we substituted the x-containing auxiliary function f into . This yielded an explicit solution u containing x. Symbolic verification in the original CBS equation gave an identically zero residual. Thus, we obtained an x-containing analytical structure complementary to the dimension-reduced auxiliary solution.
Based on the core research steps described above, this paper utilizes the theoretical framework of the bilinear neural network shown in Figure 1 to construct single-hidden-layer and double-hidden-layer models of the bilinear neural network, respectively.As shown in Figure 2.
Figure 1.
Neural Network Model and Algorithm Flowchart.
Figure 2.
Single-hidden-layer and double-hidden-layer neural network models constructed in this study.
3. Single-Hidden-Layer Bilinear Neural Network
3.1. Model [3-3-1]-1
To construct a bilinear neural network model, we selected the activation function expression (7) to solve the CBS equation and set the following activation function in the single hidden layer:
Substituting this activation function into the analytical form of the network, and by collecting the network outputs and coefficients, we constructed the following trial function:
Using this trial function, we also obtained several dimension-reduced auxiliary solutions.
3.1.1. Case 1
Substituting the test function (10) into the bilinear form of the CBS equation and performing symbolic computation using Maple yields the following parameter constraints:
We substituted Equation (12) back into the original CBS Equation (2). Using Maple 2023 symbolic computation, the obtained solution served as a dimension-reduced auxiliary solution of the CBS equation.
To more clearly illustrate the spatiotemporal evolution of the solution, we use Maple to assign values to the parameters and generate numerical plots, providing a visual representation of the solution.
Figure 3 shows a three-dimensional plot displaying the local maximum structure of the auxiliary function . The amplitude reached its maximum at and decayed symmetrically toward both sides. Contour plots and heatmaps characterized the contour trajectories and numerical distribution of f. High values concentrated in specific regions. The evolution plots presented profiles at different times. Their peaks and shapes followed specific patterns.
Figure 3.
Plots of solution Equation (12), with , , , , , , , , and . Here, y denotes the spatial variable, t denotes the temporal variable, and f represents the auxiliary dimension-reduced solution. For brevity, the definitions of variables in all subsequent similar figures are identical to those stated here.
3.1.2. Case 2
To obtain more exact analytical solutions, we continue to use the trial function (10) mentioned above. After substituting (10) into the equation, we obtained different parameter constraints through symbolic computation:
SWe substituted Equation (14) back into the original CBS Equation (2). Using Maple symbolic computation, the obtained solution served as a dimension-reduced auxiliary solution of the CBS equation.
As in the previous subsection, to more clearly reveal the spatiotemporal evolution of the solution, we use Maple 2023 to assign values to the parameters and generate numerical plots, thereby providing a visual representation of the solution.
Figure 4 shows a three-dimensional surface plot displaying the spatial form of the auxiliary function f in the spatiotemporal domain. It showed that its values mainly concentrated on intersecting linear ridges, while the background region remained flat. The top-right planar projection and the bottom-left density plot further characterized the geometric topology and numerical distribution trajectories of these characteristic ridges on the t-y plane. The bottom-right time cross-section slices (corresponding to revealed the local peak shapes and functional structures of this auxiliary solution along the spatial coordinate y at different times.
Figure 4.
Plots of solution Equation (14), with , .
3.1.3. Case 3
We continue to use this test function to seek more exact solutions. After substituting (10) into the equation, we obtained different parameter constraints through symbolic computation:
We substituted Equation (16) back into the original CBS Equation (2). Using Maple symbolic computation, the obtained solution served as a dimension-reduced auxiliary solution of the CBS equation.
Similarly, to more clearly reveal the spatiotemporal evolution of the solution, we use Maple 2023 to assign values to the parameters and generate plots, thereby providing a visual representation of the solution.
Figure 5 shows a three-dimensional surface plot visually displaying the spatial morphology of the auxiliary function f in the spatiotemporal domain. Its values concentrated markedly on intersecting linear ridges, while the background remained a flat base. The top-right planar projection and the bottom-left density plot further revealed the geometric topology and numerical distribution trajectories of these characteristic ridges on the t-y plane. The bottom-right time cross-section slices (corresponding to ) delineated in detail the local peak morphology and functional structure of this auxiliary solution along the spatial coordinate y at different times.
Figure 5.
Plots of solution Equation (16), with , .
The CBS multi-soliton solutions in References [37,38] are all based on positive-definite exponents and constructions of f, with all soliton components having the same sign. In this paper, the and terms are coupled in opposite phases through parameter constraints (Equation (16)). This formed a local algebraic structure where peaks and troughs coexisted. The traditional Hirota construction of the CBS equation could hardly generate this structure directly.
3.2. Model [3-4-1]-2
In Section 3.1, symbolic constraints on a specific parameter branch eliminated the dependence of the auxiliary function f on x. This yielded a dimension-reduced auxiliary solution. To explore the diversity of algebraic structures, we retained the single-hidden-layer [3-3-1] architecture in this section. We replaced the activation function combination with one containing . The resulting parameter branch did not eliminate the x-direction weight. Thus, we obtained an exact analytical solution containing the spatial variable x. We substituted the trial function back into the Hirota bilinear transformation (Equation (3)). Symbolic computation confirmed that its residual remained identically zero. It strictly satisfied the bilinear form of the original CBS equation. This x-containing solution complemented the dimension-reduced solution in Section 3.1. It demonstrated the regulatory effect of activation functions on the algebraic structure of auxiliary functions.
To construct the bilinear neural network model, we selected activation function expression (7) to solve the CBS equation. In the single hidden layer, we set the following activation functions:
We substituted this activation function into the analytical form of the network. Through neural network output and coefficient collection, we constructed the following trial function:
Using this trial function, we also derived several exact analytical solutions.
3.2.1. Case 1
We substituted trial function (17) into the bilinear form of the CBS equation. We used Maple for symbolic computation and obtained the following parameter constraints:
We then substituted Equation (18) back into Equation (17) and obtained the following trial solutions:
We further applied the Hirota transformation (3), namely . We derived the analytical expression (Equation (20)) for the corresponding solution u of the original CBS equation. Symbolic computation verified that this expression strictly satisfied the original CBS equation, with the residual identically zero. Its specific form is given below:
We assigned values to the parameters in Maple 2023 to reveal the spatiotemporal evolution more clearly. We then generated numerical plots to visualize the obtained solution.
The Figure 6 displayed the spatiotemporal structure and numerical distribution of the solution obtained by inverse transformation of the bilinear auxiliary equation. The top-left three-dimensional slice plot visually presented the periodic undulating patterns generated by the wave field u as it evolved over time in the spatiotemporal domain. The top-right planar projection and the bottom-left density plot ( plane) further characterized the transverse stripe distribution and periodic structural patterns of this solution in spacetime, accompanied by local phase variations. The bottom-right time cross-section slices (corresponding to and ) revealed in detail the high-frequency, violent oscillation patterns of the wave field u along the spatial coordinate x at specific times. Its amplitude fluctuated between .
Figure 6.
Plots of solution Equation (20), with , . Here, x and t represent the spatial and temporal variables, respectively, and u denotes the exact analytical solution. For brevity, the variable definitions in all subsequent similar figures are identical to those stated here.
3.2.2. Case 2
We continued to use trial function (17) to obtain more exact analytical solutions. We substituted Equation (17) into the equation. Symbolic computation yielded different constraints on the solving parameters:
We then substituted Equation (21) back into Equation (17) and obtained another trial solution of the equation:
We derived the auxiliary function f (Equation (22)) via the Hirota transformation. We calculated the analytical expression for the solution u (Equation (23)). Maple symbolic computation verified that this expression strictly satisfied the original CBS equation, with the residual identically zero. Its specific form is given below:
To reveal the spatiotemporal evolution more clearly, we assigned parameter values in Maple 2023 and generated numerical plots. This visualized the obtained solution.
Figure 7 shows a three-dimensional surface plot visually displaying the wave field u as a continuous undulating three-dimensional form in the spatiotemporal domain. Its values showed clear periodic oscillations with the spatial coordinate. The top-right planar projection and the bottom-left spatiotemporal density plot ( plane) further characterized the transverse periodic stripe distribution of this wave field. They clearly showed the phase shift and propagation trajectory of the wave, with values roughly between −1.5 and 2.5. The bottom-right time cross-section slices (corresponding to ) revealed in detail the high-frequency oscillation patterns of the wave field u along the spatial coordinate x at different times. Its amplitude peaks exhibited a non-constant evolution over time.
Figure 7.
Plots of solution Equation (23), with .
3.2.3. Case 3
We continued to substitute trial function (17) into the bilinear form of the CBS equation. We used Maple for symbolic computation. We then obtained the following parameter constraints:
We then substituted Equation (24) back into Equation (17) and obtained the following trial solution:
Similarly, we continued to apply the Hirota transformation. We derived the analytical expression for the solution u (Equation (26)) from the auxiliary function f. Symbolic computation verified that this expression strictly satisfied the original CBS equation, with the residual identically zero. Its specific form is given below:
To reveal the spatiotemporal evolution of the solution more clearly, we assigned values to the parameters in Maple 2023. We then generated numerical plots. These plots visualized the obtained solution directly.
Figure 8 shows a subplot visually presenting the three-dimensional undulating form of the wave field within a specific local region. It clearly showed a regular and dense alternating peak-valley structure. The top-right and bottom-left subplots (planar projection and spatiotemporal density plot) further characterized the overall distribution of this solution across a broad spatiotemporal domain. They exhibited complex transverse periodic stripes and phase shift trajectories, with values fluctuating between −0.25 and 0.15. The bottom-right time cross-section slices (corresponding to ) revealed in detail the violent high-frequency oscillation patterns of the wave field u along the spatial coordinate x at several specific times. Its amplitude peaks showed a certain evolutionary pattern over time.
Figure 8.
Plots of solution Equation (26), with , .
3.3. Model [3-4-1]
To construct more bilinear neural network models, we further tested different activation function expressions. We selected activation function expression (8) to solve the CBS equation. To obtain different types of analytical structures for the auxiliary function, we tried replacing the activation function. We then reset new activation functions in the single hidden layer as follows:
By substituting this trial function into the analytical form of the network, we constructed the following trial function:
Using this trial function, we obtained several dimension-reduced auxiliary solutions, as follows:
3.3.1. Case 1
Substituting the test function (27) into the bilinear form of the CBS equation and performing symbolic calculations in Maple yields the following parameter constraint:
We substituted Equation (29) back into the original CBS Equation (2). Using Maple symbolic computation, we obtained a dimension-reduced auxiliary solution of the CBS equation.
To more clearly illustrate the spatiotemporal evolution of the solution, we use Maple 2023 to assign values to the parameters and generate numerical plots, thereby providing a visual representation of the solution.
Figure 9 shows a 3D surface plot displaying the spatial form of the auxiliary function f in the spatiotemporal domain. Its values concentrated markedly on several intersecting linear ridges. The background remained flat. The top-right planar projection and the bottom-left density plot further characterized the geometric topology and numerical distribution trajectories of these ridges on the t-y plane. The bottom-right time cross-section slices (t = −20, −10, 0, 10, 20) revealed in detail the local peak morphology and functional structure of this auxiliary solution along the spatial coordinate y at different times.
Figure 9.
Plots of solution Equation (29), with , .
3.3.2. Case 2
To obtain more dimension-reduced auxiliary analytical solutions, we continue to use the trial function (27) as in the previous model. After substituting it into the equation, we obtained different parameter constraints through symbolic computation:
We substituted Equation (31) back into the original CBS Equation (2). Using Maple symbolic computation, we obtained a dimension-reduced auxiliary solution of the CBS equation.
As in the previous subsection, to more clearly illustrate the spatiotemporal evolution of the solution, we used Maple 2023 software to assign values to the parameters and generate numerical plots, thereby providing a visual representation of the solution.
Figure 10 shows the extreme numerical structural characteristics of the dimension-reduced solution for the bilinear auxiliary equation in a local region. The top-left three-dimensional surface plot visually presented an extremely narrow, high-amplitude pulse-like spike of f within a specific local spatiotemporal domain. The top-right local planar projection and the bottom-left density plot further depicted the contour gradient variations and sharp numerical transitions around the spike extremum. The bottom-right time cross-section slices (corresponding to ) revealed in detail the sharp local peak morphology and functional structure of this local solution along the spatial coordinate y at different times.
Figure 10.
Plotsof solution Equation (31), with ,
Wazwaz’s [37,38] multi-soliton solutions do not contain unbounded functions, whereas this paper introduces the sinh activation function (Equation (31)) to obtained a mixed function structure superimposed on a nonzero background. This solution differed from the structure Ma et al. [33] obtained by parameter complexification. We constructed it entirely in the real parameter space. It therefore had a more intuitive algebraic structure.
3.3.3. Case 3
We continue to use this test function to seek more exact solutions. After substituting (27) into the equation, we obtained different parameter constraints through symbolic computation:
Similarly, we substituted Equation (33) back into the original CBS Equation (2). The resulting solution served as a dimension-reduced auxiliary solution of the CBS equation.
Similarly, to more clearly illustrate the spatiotemporal evolution of the solution, we use Maple 2023 software to assign values to the parameters and generate numerical plots, thereby providing a visual representation of the solution.
Figure 11 shows a 3D surface plot displaying the spatial form of f in the spatiotemporal domain. It appeared as local downward linear grooves on a flat high-value base. The top-right planar projection and the bottom-left density plot further characterized the geometric topology and numerical distribution trajectories of these linear grooves on the plane. The color bar indicated values from about 7.5 to 10. The bottom-right time cross-section slices () revealed in detail the local depression morphology and functional structure of this auxiliary solution along the spatial coordinate y at different times.
Figure 11.
Plots of solution Equation (33), with ,
4. Double-Hidden-Layer Bilinear Neural Network
4.1. Model [3-3-2-1]
Unlike the single-hidden-layer neural network architectures discussed in the previous two sections, in this section we present a double-hidden-layer neural network architecture. We selected the activation function given by Equation (9) to solve the equations, and in the double-hidden-layer architecture, we set the activation functions as follows:
Substituting this function into the analytical form of the network, we construct the following test function:
Using this test function, we obtained the following exact analytical solutions.
4.1.1. Case 1
Substituting the test function (34) into the bilinear form of the equation, and after collecting the neural network outputs and coefficients, we obtained the following parameter constraints through symbolic computation:
As with the previous two models, we substituted Equation (35) back into the original CBS Equation (2). The resulting solution was a dimension-reduced auxiliary solution of the CBS equation.
As with the previous two models, substituting Equation (36) back into the original CBS Equation (2) yields a residual that is always zero; therefore, this solution is an exact analytical solution for dimension reduction of the CBS equation.
To more clearly illustrate the spatiotemporal evolution of the solution, we used Maple 2023 to assign values to the parameters and generate numerical plots, thereby providing a visual representation of the solution.
Figure 12 shows the specific mathematical structure of the dimension-reduced solution for the bilinear auxiliary equation. The top-left three-dimensional surface plot visually presented the spatial form of the auxiliary function f in the spatiotemporal domain. It appeared as local downward linear grooves on a flat high-value base. The top-right planar projection and the bottom-left density plot further characterized the geometric topology and numerical distribution trajectories of these linear grooves on the plane. The color bar showed values ranging from about 7.5 to 10. The bottom-right time cross-section slices (corresponding to ) revealed in detail the local depression morphology and functional structure of this auxiliary solution along the spatial coordinate y at different times.
Figure 12.
Plotsof solution Equation (36), with ,
All solutions by Wazwaz [37,38] and Najafi et al. They are limited to elementary functions and do not involve elliptic functions. This paper is the first to introduce the Weierstrass P elliptic function as an activation function in the CBS equation (Equation (36)), We derived a hybrid auxiliary function structure that coupled exponential and elliptic functions, marking a substantial expansion of the solution space of the CBS equation at the level of function families.
4.1.2. Case 2
To obtain more precise analytical solutions, we continue to use the test function (34). After substituting it into the equation, we obtained different parameter constraints through symbolic computation:
Similarly, we substituted Equation (38) back into the original CBS Equation (2). We obtained a dimension-reduced auxiliary solution of the CBS equation.
To more clearly illustrate the spatiotemporal evolution of the solution, we use Maple 2023 to assign values to the parameters and generate numerical plots, thereby providing a visual representation of the solution.
Figure 13 shows a 3D surface plot showing that a steep linear boundary divided the function f in the plane into two parts. The two sides differed greatly in numerical magnitude, up to . The top-right planar projection and the bottom-left density plot further characterized the geometric topology and contour distribution of this sharp transition interface on the plane. The bottom-right time cross-section slices revealed in detail the local extremum points and abrupt morphological changes of this auxiliary solution along the spatial coordinate y as time evolved.
Figure 13.
Plots of solution Equation (38), with ,
The respiron solution by Ma et al. [33] is essentially a combination of elementary functions, whereas this solution belongs to the category of elliptic functions and has no precedent in the existing literature on the CBS equation.In subplots (a) three-dimensional plot, (b) contour plot, and (c) density plot, the colors represent the magnitude of the auxiliary function f, as indicated by the colorbars. In subplot (d) curve chart, the differently colored curves represent the spatial profiles at different time instants, corresponding to the legend at the bottom.
4.1.3. Case 3
To expand the solution space, we continue to use this trial function. Substituting it into the equation and performing symbolic calculations yields several sets of distinct parameter constraints:
Similarly, we substituted Equation (40) back into the original CBS Equation (2). We obtained a dimension-reduced auxiliary solution of the CBS equation.
To facilitate observation of the evolution of the solution, we use Maple 2023 to set specific values for the parameters and generate corresponding graphs for visualization.
Figure 14 shows a 3D surface plot visually showing periodically arranged isolated sharp peaks of f in the spatiotemporal domain. The whole field rested on a relatively high background base. The top-right planar projection and the bottom-left density plot further characterized the geometric distribution and numerical transition trajectories of these discrete pulse lattices on the t-y plane. The color bar indicated values varying sharply from about to . The bottom-right time cross-section slices (corresponding to ) revealed in detail the independent towering peak morphology of this auxiliary solution along the spatial coordinate y at different times.
Figure 14.
Plots of solution Equation (40), with ,
All known solutions in References [37,38] are globally defined functions. This solution “truncates” the biperiodic behavior of the Weierstrass P function into a local oscillation mode (Equation (40)) via the inner sech function, yielding an algebraic Structure of Elliptic Functions. The gCBS lump solution by Chen and Ma [33] exhibits algebraic decay , whereas the exponential decay in this paper’s solution is more localized.
5. Conclusions
We constructed a bilinear neural network solving framework integrated with symbolic computation. This framework aimed to systematically construct analytical solutions of nonlinear partial differential equations. It differed from machine learning models that relied on data-driven training and gradient updates. The bilinear neural network here was essentially a fixed symbolic algebraic architecture. Its parameters were determined entirely by symbolic computation and algebraic equation solving. It did not involve loss functions or iterative training. We introduced the Hirota bilinear transformation and combined it with potential function simplification. This transformed the original nonlinear equation into a bilinear form. It effectively avoided direct handling of complex nonlinear terms. In designing the symbolic architecture, we constructed single-hidden-layer ([3-3-1], [3-4-1]) and double-hidden-layer ([3-3-2-1]) network topologies. We selected suitable activation functions to generate various trial solutions. We substituted them into the bilinear equation to establish algebraic equations. We then solved these equations exactly with symbolic computation tools. Finally, we substituted the obtained symbolic parameters back. This yielded dimension-reduced analytical solutions of the bilinear auxiliary equation.
To verify the effectiveness of this method, we applied it to the (2+1)-dimensional CBS equation. We obtained multiple analytical solutions of the auxiliary function and their corresponding dimension-reduced solutions. For a specific parameter branch from the trial function, symbolic constraints eliminated the explicit dependence of f on the spatial variable x. This produced dimension-reduced auxiliary solutions. That is, x and t did not couple. The terms containing x did not contain t. The whole system still acted through y and t together. After inverse transformation, these auxiliary functions corresponded to the trivial solution u = 0 of the original equation. Thus, the structures we obtained covered algebraic features of various auxiliary functions. These included exponential–elliptic function coupling, periodic pulses, and anti-phase coupling. They significantly enriched the function family of auxiliary equation solutions. They provided a new mathematical perspective for symbolic computation of high-dimensional nonlinear systems.
Compared with traditional numerical methods and physics-informed neural networks (PINNs), the bilinear neural network symbolic architecture adopted here removed the reliance on data-driven and gradient optimization. It effectively avoided the accumulation of discretization and truncation errors. With symbolic algebraic operations, the obtained analytical solutions of the auxiliary functions strictly satisfied the bilinear form. The residual remained identically zero. Meanwhile, by flexibly adjusting network layers, activation function types, and bilinear transformation structures, this framework provided a general paradigm. It allowed for systematic solving of dimension-reduced analytical solutions for various auxiliary equations.
In comparison with existing work on the YTSF equation, Hirota bilinear equation, and Boussinesq equation, this paper built on the existing framework. It expanded algebraic structures through specific network topologies and function combinations. In architecture, we adopted a [3-4-1] single-hidden-layer structure with more neurons to deepen the expression dimension. We also built a [3-3-2-1] double-hidden-layer model with stacked layers to broaden the mapping dimension. At the activation function level, we introduced the Weierstrass P elliptic function. This function possessed double periodicity and second-order pole characteristics. We coupled its rich singular manifolds with exponential functions. This generated diverse hybrid structures of auxiliary functions. Combined with combination strategies of different functions such as sech, sech2, tanh2, and sinh, we obtained a hybrid structure with anti-phase coupling of sech2 and tanh2 in the (2+1)-dimensional CBS equation. This mathematical construction perspective differed from the work of Akram et al., which focused on lump-breather solutions. It further enriched the function family of auxiliary equations.
This work provided a new entry point for combining symbolic computation with bilinear neural network architectures. It also opened a path for analytical construction of auxiliary equations in high-dimensional integrable systems. Future research will aim to extend this framework to variable-coefficient, non-autonomous, and higher-dimensional nonlinear partial differential equations. It will also explore hybrid solving strategies that combine this symbolic architecture with various numerical methods. The goal is to provide more universal mathematical tools for engineering fields related to nonlinear waves.
Author Contributions
Y.G.: conceptualization, supervision, methodology, project administration, writing—original draft preparation. K.D.: methodology, validation, writing—original draft preparation. H.X.: conceptualization, validation. J.S.: methodology, Conceptualization, validation, writing—review and editing. Q.L.: methodology, supervision, project administration, funding acquisition. All authors have read and agreed to the published version of the manuscript.
Funding
This research was funded by Training Program of Yibin University, China, grant number 2024XJPY13; Sailing Project of Yibin University, grant number 2024XJQH04; and the Open Research Fund of Computational Physics Key Laboratory of Sichuan Province, Yibin University, China, grant number YBUJSWL-KX-2025-04.
Data Availability Statement
No new data were created or analyzed in this study. Data sharing is not applicable to this article.
Conflicts of Interest
The authors declare no conflicts of interest.
References
- Ma, W.X.; Zhou, Y. Lump solutions to nonlinear partial differential equations via Hirota bilinear forms. J. Differ. Equ. 2018, 264, 2633–2659. [Google Scholar] [CrossRef] [Scilit]
- Kadomtsev, B.B. On the stability of solitary waves in weakly dispersing media. Sov. Phys. Dokl. 1970, 15, 539–541. [Google Scholar]
- Liang, J.B.; Du, B.Y.; Li, X.; Shen, J.L. A new neural network framework integrating symbolic computation to solve the (2+1)-dimensional Boussinesq equation. Mathematics 2026, 14, 648. [Google Scholar] [CrossRef] [Scilit]
- Gardner, C.S.; Greene, J.M.; Kruskal, M.D.; Miura, R.M. Method for solving the Korteweg-deVries equation. Phys. Rev. Lett. 1967, 19, 1095. [Google Scholar] [CrossRef] [Scilit]
- Zayed, E.M.E.; Abdelaziz, M.A.M. Exact solutions for the nonlinear Schrödinger equation with variable coefficients using the generalized extended tanh-function, the sine–cosine and the exp-function methods. Appl. Math. Comput. 2011, 218, 2259–2268. [Google Scholar] [CrossRef] [Scilit]
- Raza, N.; Deifalla, A.; Rani, B.; Shah, N.A.; Ragab, A.E. Analyzing soliton solutions of the (n+1)-dimensional generalized Kadomtsev–Petviashvili equation: Comprehensive study of dark, bright, and periodic dynamics. Results Phys. 2024, 56, 107224. [Google Scholar] [CrossRef] [Scilit]
- Wazwaz, A.M. The extended tanh method for abundant solitary wave solutions of nonlinear wave equations. Appl. Math. Comput. 2007, 187, 1131–1142. [Google Scholar] [CrossRef] [Scilit]
- He, J.H. Homotopy perturbation technique. Comput. Methods Appl. Mech. Eng. 1999, 178, 257–262. [Google Scholar] [CrossRef] [Scilit]
- He, J.H. Variational iteration method–a kind of non-linear analytical technique: Some examples. Int. J. Non-Linear Mech. 1999, 34, 699–708. [Google Scholar] [CrossRef] [Scilit]
- Ganji, D.D.; Sadeghi, E.M.M.; Rahmat, M.G. Modified Camassa–Holm and Degasperis–Procesi equations solved by Adomian’s decomposition method and comparison with HPM and exact solutions. Acta Appl. Math. 2008, 104, 303–311. [Google Scholar] [CrossRef] [Scilit]
- Li, Z.; Dai, Z.; Liu, J. Exact three-wave solutions for the (3+1)-dimensional Jimbo–Miwa equation. Comput. Math. Appl. 2011, 61, 2062–2066. [Google Scholar] [CrossRef] [Scilit]
- Darvishi, M.T.; Najafi, M. A modification of extended homoclinic test approach to solve the (3+1)-dimensional potential-YTSF equation. Chin. Phys. Lett. 2011, 28, 040202. [Google Scholar] [CrossRef] [Scilit]
- Darvishi, M.T.; Najafi, M.; Najafi, M. New application of EHTA for the generalized (2+1)-dimensional nonlinear evolution equations. Int. J. Math. Comput. Sci. 2010, 6, 132–138. [Google Scholar]
- Raissi, M.; Perdikaris, P.; Karniadakis, G.E. Physics-informed neural networks: A deep learning framework for solving forward and inverse problems involving nonlinear partial differential equations. J. Comput. Phys. 2019, 378, 686–707. [Google Scholar] [CrossRef] [Scilit]
- Lagaris, I.E.; Likas, A.; Fotiadis, D.I. Artificial neural networks for solving ordinary and partial differential equations. IEEE Trans. Neural Netw. 1998, 9, 987–1000. [Google Scholar] [CrossRef] [Scilit] [PubMed]
- Lu, L.; Meng, X.; Mao, Z.; Karniadakis, G.E. DeepXDE: A deep learning library for solving differential equations. SIAM Rev. 2021, 63, 208–228. [Google Scholar] [CrossRef] [Scilit]
- McClenny, L.D.; Braga-Neto, U.M. Self-adaptive physics-informed neural networks. J. Comput. Phys. 2023, 474, 111722. [Google Scholar] [CrossRef] [Scilit]
- Jnini, A.; Vella, F.; Zeinhofer, M. Gauss-Newton natural gradient descent for physics-informed computational fluid dynamics. Comput. Fluids 2025, 291, 106955. [Google Scholar] [CrossRef] [Scilit]
- Karniadakis, G.E.; Kevrekidis, I.G.; Lu, L.; Perdikaris, P.; Wang, S.; Yang, L. Physics-informed machine learning. Nat. Rev. Phys. 2021, 3, 422–440. [Google Scholar] [CrossRef] [Scilit]
- Yu, J.; Lu, L.; Meng, X.; Karniadakis, G.E. Gradient-enhanced physics-informed neural networks for forward and inverse PDE problems. Comput. Methods Appl. Mech. Eng. 2022, 393, 114823. [Google Scholar] [CrossRef] [Scilit]
- Wu, G.Z.; Fang, Y.; Kudryashov, N.A.; Wang, Y.; Dai, C. Prediction of optical solitons using an improved physics-informed neural network method with the conservation law constraint. Chaos Solitons Fractals 2022, 159, 112143. [Google Scholar] [CrossRef] [Scilit]
- Zhang, R.F.; Bilige, S. Bilinear neural network method to obtain the exact analytical solutions of nonlinear partial differential equations and its application to p-gBKP equation. Nonlinear Dyn. 2019, 95, 3041–3048. [Google Scholar] [CrossRef] [Scilit]
- Zhang, R.; Bilige, S.; Chaolu, T. Fractal solitons, arbitrary function solutions, exact periodic wave and breathers for a nonlinear partial differential equation by using bilinear neural network method. J. Syst. Sci. Complex. 2021, 34, 122–139. [Google Scholar] [CrossRef] [Scilit]
- Shen, J.L.; Zhang, R.F.; Huang, J.W.; Gao, Y.; Liang, J.B. Exact solutions of the (2+1)-dimensional BLMP equation via neural network based symbolic computation. Adv. Differ. Equ. Control Process. 2025, 32, 3589. [Google Scholar] [CrossRef] [Scilit]
- Liu, J.G.; Zhu, W.H.; Wu, Y.K.; Jin, G.H. Application of multivariate bilinear neural network method to fractional partial differential equations. Results Phys. 2023, 47, 106341. [Google Scholar] [CrossRef] [Scilit]
- Shen, J.; Liu, M.; Liang, J.; Zhang, R. New solutions to the (3+1)-dimensional HB equation using bilinear neural networks method and symbolic ansatz method using neural network architecture. AIMS Math. 2025, 10, 30307–30330. [Google Scholar] [CrossRef] [Scilit]
- Gao, Y.; Huang, J.; Du, B.; Shen, J. A new efficient symbolic computation fusion neural network method: Solving exact solutions of (3+1)-dimensional nonlinear partial differential equations. AIMS Math. 2026, 11, 10566–10588. [Google Scholar] [CrossRef] [Scilit]
- Bruzon, M.S.; Gandarias, M.L.; Muriel, C.; Ramirez, J.; Saez, S.; Romero, F.R. The Calogero–Bogoyavlenskii–Schiff equation in (2+1) dimensions. Theor. Math. Phys. 2003, 137, 1367–1377. [Google Scholar] [CrossRef] [Scilit]
- Shen, J.; Muhammad, J.; Younas, U. Investigating the higher-dimensional dynamical perspective of the Boiti–Leon–Manna–Pempinelli equation for modeling complex wave interactions in fluid systems. Ocean Eng. 2026, 358, 125822. [Google Scholar] [CrossRef] [Scilit]
- Toda, K.; Song-Ju, Y.; Fukuyama, T. The Bogoyavlenskii–Schiff hierarchy and integrable equations in (2+1) dimensions. Rep. Math. Phys. 1999, 44, 247–254. [Google Scholar] [CrossRef] [Scilit]
- Khan, M.H.; Wazwaz, A.M. Lump, multi-lump, cross kinky-lump and manifold periodic-soliton solutions for the (2+1)-D Calogero–Bogoyavlenskii–Schiff equation. Heliyon 2020, 6, e03701. [Google Scholar] [CrossRef] [Scilit] [PubMed]
- Chen, S.T.; Ma, W.X. Lump solutions of a generalized Calogero–Bogoyavlenskii–Schiff equation. Comput. Math. Appl. 2018, 76, 1680–1685. [Google Scholar] [CrossRef] [Scilit]
- Ma, H.; Cheng, Q.; Deng, A. Solitons, breathers, and lump solutions to the (2+1)-dimensional generalized Calogero–Bogoyavlenskii–Schiff equation. Complexity 2021, 2021, 7264345. [Google Scholar] [CrossRef] [Scilit]
- Akram, S.; Rahman, M.U.; Al-Essa, L.A. Inelastic lump–breather interactions and periodic wave dynamics in the generalized Calogero–Bogoyavlenskii–Schiff equation via a bilinear neural architecture. Eur. Phys. J. Spec. Top. 2026, 235, 2019–2038. [Google Scholar] [CrossRef] [Scilit]
- Talib, U.; Yao, F.; Tipu, G.H.; Javed, F. Nonlinear wave interactions and stability analysis in the CBS–nCBS model via bilinear neural network approach. Mod. Phys. Lett. B 2026, 40, 2650087. [Google Scholar] [CrossRef] [Scilit]
- Han, L.; Bilige, S.; Wang, X.; Li, M.; Zhang, R. Rational Wave Solutions and Dynamics Properties of the Generalized (2+1)-Dimensional Calogero–Bogoyavlenskii–Schiff Equation by Using Bilinear Method. Adv. Math. Phys. 2021, 2021, 9295547. [Google Scholar] [CrossRef] [Scilit]
- Wazwaz, A.M. Abundant solutions of various physical features for the (2+1)-dimensional modified KdV-Calogero–Bogoyavlenskii–Schiff equation. Nonlinear Dyn. 2017, 89, 1727–1732. [Google Scholar] [CrossRef] [Scilit]
- Wazwaz, A.M. Two new Painlevé integrable KdV–Calogero–Bogoyavlenskii–Schiff (KdV-CBS) equation and new negative-order KdV-CBS equation. Nonlinear Dyn. 2021, 104, 4311–4315. [Google Scholar] [CrossRef] [Scilit]
Disclaimer/Publisher’s Note: The statements, opinions and data contained in all publications are solely those of the individual author(s) and contributor(s) and not of MDPI and/or the editor(s). MDPI and/or the editor(s) disclaim responsibility for any injury to people or property resulting from any ideas, methods, instructions or products referred to in the content. |
© 2026 by the authors. Licensee MDPI, Basel, Switzerland. This article is an open access article distributed under the terms and conditions of the Creative Commons Attribution (CC BY) license.













