On the obstacle problem for the 1D wave equation

1.   Introduction

Nonlinear partial differential equations (PDEs) impart multi-scale characteristics to the system, thereby allowing for a more accurate prediction of the transmission process of soliton solutions. In practical uses, nonlinear PDEs and soliton solutions are vital for characterizing various phenomena in science and engineering such as biology, physics, ocean engineering, and many more ^[1,2,3]. Various types of soliton solutions have been reported for integrable systems. For instance, horse-shoe like soliton and lump chain solitons have been studied for the elliptic cylindrical Kadomtsev–Petviashvili equation ^[4]. Yang et al. analyzed degenerating lump chains into anomalously scattered lumps for the Mel'nikov equation ^[5]. In literature ^[6], a series of ripple waves with decay modes for the (3+1)‑dimensional Kadomtsev–Petviashvili equation have been reported. Rogue wave solutions to the (3+1)-dimensional Korteweg-de Vries Benjamin-Bona-Mahony equation were studied via the Hirota bilinear approach ^[7]. The propagation features and interactions of Rossby waves soliton of the geophysical equation were studied ^[8]. Breather, lump, and its interaction solutions for the higher dimensional evolution equation were studied^[9]. Multisoliton solutions for the variable coefficient Schrödinger equation has been explored in the literature ^[10]. Some other solitons solutions have been reported for the regularized long-wave equation ^[11], the Sharma-Tasso-Olver-Burgers equation ^[12], the modified Schrödinger's equation ^[13], the complex Ginzburg–Landau equation ^[14], the (2+1) dimensional Chaffee–Infante equation ^[15], and many more ^[16,17,18].

Stochastic differential equations (DEs) deal with phenomena having randomness or uncertainties. Stochastic DEs can be used in various field of science and engineering ^[19,20,21]. Solving stochastic nolinear PDEs is very challenging and hard due to randomness. Therefore, various methods have been introduced and implemented to derive solutions of stochatics PDEs such as the modified tanh method ^[22], the modified Kudrayshov technique ^[23], the Sardar subequation method ^[24], and many more ^[25,26].

Fractional operators (FOs) have been frequently used for modelling the physical phenomena in various fields due to its memory process ^[27,28,29]. In literature, several FOs have been constructed by researchers and scientists ^[30,31,32]. Most of them do not satisfy some properties such as the chain and quotient rules. A few years ago, Atangana ^[33] defined a local FO called beta derivative, which generalized the classical operator. The {beta derivative (BD)} is defined as follows:

Here, the $BD$ has the following characteristics: For every real numbers, $m$ and $n$:

The $BD$ has been used for the analysis of soliton solutions with the fractional behavior of nonlinear PDEs ^[34,35,36]. This work modifies the Benjamin-Bona-Mahony equation (BBME) as follows:

where $\rho$ is real parameter, $\mathcal{M} = \mathcal{M}\left(x, t\right)$ is a real valued wave profile, $\tau$ is the intensity of sound, and $\mathcal{P} = \mathcal{P}\left(t\right)$ is a white noise having the following properties:

$(i) \mathcal{P}$ possesses constant trajectories.

$(ii) \mathcal{P}\left(0\right) = 0.$

$(iii) \mathcal{P}\left(t_{j+1}\right)-\mathcal{P}\left(t_{j}\right)$ has a normal standard distribution.

When we consider $\tau = 0$ and $\beta = 1,$ we get the BBME as follows:

Benjamin, Bona, and Mahony examined equation (1.2) as an adjustment to the KdV equation. The BBME has been used to analyze the prorogation of long surface gravity pulses with small amplitudes. There are several studies on the BBME. For instance, BBME was studied by using the variational method ^[37], the deep learning method ^[38], the generalized exp-function method ^[39], and many more ^[40,41]. In ^[42], the authors have used the F-expansion method to study the solitary waves BBME under BD with white noise. In this paper, we use two advanced analytical methods to deduce more solitary waves solutions and to study the influence of the BD and the white noise.

2.   The general procedure of the proposed approaches

This section provides the general procedure of the suggested approaches that one can use to find solitary and other waves solutions.

2.1.   $\frac{\mathcal{G}^{\prime}}{\mathcal{G}^{\prime}+\mathcal{G}+\mathcal{A}}$-expansion method

Here, we present the general procedure of the $\frac{\mathcal{G}^{\prime}}{\mathcal{G}^{\prime}+\mathcal{G}+\mathcal{A}}$-expansion technique. Consider a PDE under space $BD$ as follows

where $\mathcal{A}_{1}$ is a polynomial in $\mathcal{M} = \mathcal{M}\left(x, t\right)$ and its partial derivatives. To use the proposed procedure, one should abide by the following:

Step 1. First using the wave transformation, one can obtain ODE as follows:

where $\omega_{1} = \frac{\xi_{1}}{\beta}\left(x+\frac{1}{\Gamma(\beta)}\right)^{\beta}+\xi_{2}t$. Additionally, $\xi_{1}$ and $\xi_{2}$ are referred to as the wave speed and the wave number, respectively. By inserting Eq (2.2) in Eq (2.1), the following will be obtained:

where the ordinary derivatives of different orders are indicated by primes.

Step 2. According to the proposed strategy, we examine the following form for the solution to Eq (2.3):

where $\mathcal{F}_{i}$ is the function of the polynomial's coefficients $\left(\frac{\mathcal{G}^{\prime}}{\mathcal{G}^{\prime}+\mathcal{G}+\mathcal{A}}\right)^{i}, \thinspace\thinspace i = 0, 1, 2, \ldots , \aleph.$ Assume that $\mathcal{G}\left(\omega_{1}\right)$ is a function that fulfills the subsequent relation:

The value of $\aleph$ can be determined using the homogeneous balance rule (HBR) between the highest nonlinear term and the highest order derivative in Eq (2.3).

Step 3. In this step, the result obtained from the substitution of Eq (2.4) into Eq (2.3) and the coefficients of various powers of $\left(\frac{\mathcal{G}^{\prime}}{\mathcal{G}^{\prime}+\mathcal{G}+\mathcal{A}}\right)$ should be compared in terms of $\mathcal{A}, \mathcal{B}, \xi_{1}, \xi_{2}$, and $i = 0, 1, 2, \ldots , \aleph$. Using Mathematica or any other mathematical package, one can determine the solution's values $\mathcal{G}$ in the term $\left(\frac{\mathcal{G}^{\prime}}{\mathcal{G}^{\prime}+\mathcal{G}+\mathcal{A}}\right)$, and ultimately for the principles of $\left(\frac{\mathcal{G}^{\prime}}{\mathcal{G}^{\prime}+\mathcal{G}+\mathcal{A}}\right)$, $\mathcal{F}_{i}$ and $\omega_{1}$. In doing so, the solution of Eq (2.2) can be obtained.

2.2.   The modified $\frac{\mathcal{G}^{\prime}}{\mathcal{G}^{2}}$-expansion approach

Here, we present the general procedure of applying the modified $\frac{\mathcal{G}^{\prime}}{\mathcal{G}^{2}}$-expansion approach to obtain the wave solutions of a nonlinear PDE. This approach contains the following expansion:

where $\mathcal{G}\left(\omega_{1}\right)$ satisfies the following the equation:

where $\varPsi, \psi$, and $\varpi$ are the arbitrary constants. Next, one should find the value of $\aleph$ as previously mentioned. Then, substituting Eq (2.6) and using Eq (2.7) into Eq (2.3), one can obtain a differential equation in $\mathcal{G}(\omega_1)$. Then, collecting those terms which contain $\left(\frac{\mathcal{G}^{\prime}}{\mathcal{G}^{2}}\right)^{i},$ $\left(i = 0, 1, 2, \ldots, n\right),$ and setting all the coefficients of $\left(\frac{\mathcal{G}^{\prime}}{\mathcal{G}^{2}}\right)^{i}$ equal to zero, one can acquire a system of algebraic equations. Solving the obtained system can possibly result in the following families.

Family 1. If $\varPsi\varpi > 0$ and $\psi = 0,$ the we have the following:

where $p_{1}, p_{2}, \varPsi$, and $\varpi$ are arbitrary constants.

Family 2. If $\varPsi\varpi < 0$ and $\psi = 0,$ then we have the following:

3.   Traveling wave solutions of considered equation

Here, we explore the wave solutions for the proposed stochastic BBME under BD as given in Eq (1.1) with the following procedure:

Furthermore, we have the following:

and

Inserting Eq (3.1) into Eq (1.1) and using Eqs (3.2) and (3.3), we obtain the following:

By considering $\mathcal{P}\left(t\right)$, the Gaussian process, and $\mathcal{E}e^{\tau\mathcal{P}\left(t\right)} = e^{\frac{1}{2}\tau^{2}t},$ then, Eq (3.4) becomes:

Integrating Eq (3.5) one time while considering the integration constant to be zero, we obtain the following:

where

In Eq (3.6), by using the homogeneous balance principle, we obtain $\aleph = 2$. Now, we have Eq (2.4) in the following form:

Inserting the solution of Eq (3.7) with Eq (2.5) into Eq (3.6), the polynomial of the left side will be in $\left(\frac{\mathcal{G}^{\prime}}{\mathcal{G}^{\prime}+\mathcal{G}+\mathcal{A}}\right)^{i}, \thinspace\thinspace i = 0, 1, 2\cdots\aleph.$ By further equating the coefficients of various powers of $\left(\frac{\mathcal{G}^{\prime}}{\mathcal{G}^{\prime}+\mathcal{G}+\mathcal{A}}\right)$ to zero, we obtain a system of algebraic equations. Using Mathematica to solve the system of equations, we obtain the following sets:

Now, inserting the parameter values presented in Eq (3.8) into Eq (3.7), we get the exact solutions of Eq (3.6) in the following two cases:

Set 1. For $\mathcal{D} = \mathcal{A}^{2}-4\mathcal{B} > 0$, we have the following:

where $\nu_{1}$ and $\nu_{2}$ remain constants.

Set 2. For $\mathcal{\mathcal{\mathcal{D}}} = \mathcal{A}^{2}-4\mathcal{B} < 0,$ we have the following:

4.   Application of modified $\frac{\mathcal{G}^{\prime}}{\mathcal{G}^{2}}$-expansion approach

Since the highest-order nonlinear term and the highest-order derivative term are balanced according to the homogenous balance principle in Eq (3.6), we know that the balance number is $\aleph = 2$. Therefore, we have the following:

Inserting Eq (4.1) with aid of Eq (2.7) into Eq (3.6), and following the same procedure as earlier, we obtain the following:

Putting the values of the parameters presented in Eq (4.1) into Eq (3.6) and making use of Eqs (2.8) and (2.9), we obtain the following exact solutions.

Family 1. If $\varPsi\varpi > 0$ and $\psi = 0,$ then we have the following:

Family 2. If $\varPsi\varpi < 0$ and $\psi = 0,$ then we have the following:

5.   Graphical analysis

This portion of the present work graphically visualize the obtained solutions and presents some physical interpretations and discussions on the obtained results. In Figure 1, solution (3.9) with particular values (i.e, $\nu_{1} = 5, \; \nu_{2} = -.5, \; \xi_{1} = -.2, \; \xi_{2} = -1, \; \mathcal{A} = 3, \; \mathcal{B} = 2.6, \; \tau = 0, \; \mathcal{P} = 0$) is visualized. In Figure 1, the value of $\beta$ is varied while the noise intensity $\tau$ is considered as zero. The $\beta$ is used as 1, 0.9, and 0.8 for subfigures (1a, 1d), (1b, 1e), and (1c, 1f), respectively. Here, we observed the dark soliton wave, where we see that as the fractional order decreases when the wave separation is increased.

Figure 1.  The visualization of exact solution (2.2) with $\nu_{1} = .5, \nu_{2} = 1, \xi_{1} = -.7, \xi_{2} = .5, p_{1} = 2, p_{2} = 1, \mathcal{A} = -3, \mathcal{B} = 0, \tau = 0, \mathcal{P} = 0, \tau = 0$ and varying $\beta$.

DownLoad: Full-Size Img PowerPoint

Furthermore, Figure 2 shows the dynamics of the exact solution (2.2) by varying the noise intensity while keeping the $\beta = 0.95$. Other parameters are used for the simulation of Figure 1. The $\tau$ is used as 0.1, 0.4, and 0.9 for subfigures (2a, 2d), which is (2b, 2e), and (2c, 2f), respectively. In Figure 2, one can observe the affects of noise on the dynamics of the solution, which is simulated here. Furthermore, the dynamics of the exact solution (3.10) are visualized in Figures 3 and 4 by varying $\beta$ and $\tau$, respectively. In the simulation of these figures, the parameters are selected in the form $\nu_{1} = .5, \nu_{2} = 1, \xi_{1} = -.7, \xi_{2} = .5, p_{1} = 2, p_{2} = 1, \mathcal{A} = -4, \mathcal{B} = 0, \tau = 0, \mathcal{P} = 0$; alternatively in Figure 3, the $\tau$ is considered as zero. and in Figure 4. the $\beta$ is fixed as $0.95$. The $\beta$ is used as 1, 0.9, and 0.8 for subfigures (3a, 3d), (3b, 3e), and (3c, 3f), respectively. Similarly, $\tau$ is used as 0.2, 0.5, and 0.8 for subfigures (4a, 4d), (4b, 4e), and (4c, 4f), respectively. Here, we observed the interaction of the bright wave with a kink wave, where the amplitude of the bright wave decreases as the $\beta$ decreases in the negative region of the spatial coordinate.

Figure 2.  The visualization of exact solution (2.2) with $\nu_{1} = .5, \nu_{2} = 1, \xi_{1} = -.7, \xi_{2} = .5, p_{1} = 2, p_{2} = 1, \mathcal{A} = -3, \mathcal{B} = 0, \mathcal{P} = 0.5, \beta = 0.95.$ and varying $\tau$.

DownLoad: Full-Size Img PowerPoint

Figure 3.  The visualization of solution $\nu_{1} = .5, \nu_{2} = 1, \xi_{1} = -.7, \xi_{2} = .5, p_{1} = 2, p_{2} = 1, \mathcal{A} = -4, \mathcal{B} = 0, \mathcal{P} = 0, \tau = 0$ and different values of $\beta$.

DownLoad: Full-Size Img PowerPoint

Figure 4.  The visualization of solution $\nu_{1} = .5, \nu_{2} = 1, \xi_{1} = -.7, \xi_{2} = .5, p_{1} = 2, p_{2} = 1, \mathcal{A} = -4, \mathcal{B} = 0, \mathcal{P} = 0, \beta = 0.95$ and different values of $\tau$.

DownLoad: Full-Size Img PowerPoint

In Figure 5, the solution (3.9) with particular values (i.e, $\nu_{1} = 5, \; \nu_{2} = -.5, \; \xi_{1} = -.2, \; \xi_{2} = -1, \; \mathcal{A} = 3, \; \mathcal{B} = 2.6, \; \tau = 0,$ and $\mathcal{P} = 0$) is visualized. In Figure 5, the various values for $\beta$ are considered, while the noise intensity $\tau$ is supposed to be zero. The $\beta$ is considered as 1, 0.95, and 0.9 for subfigures (5a, 5d), (5b, 5e), and (5c, 5f), respectively. Here, we observed the hybrid bright-dark soliton wave, where we see that as the fractional order decreases when then amplitude of the dark solitons increases and the bright soliton is decreases.

Figure 5.  The visualization of solution with $\rho = 1, \varpi = -.1, \xi_{1} = 1, \varPsi = 1, p_{1} = 1, p_{2} = 1, \mathcal{P} = 0, \tau = 0,$ and varying $\beta$.

DownLoad: Full-Size Img PowerPoint

Moreover, Figure 6 shows the dynamics of the exact solution (3.9) by varying the noise intensity while keeping the $\beta = 0.95$. Other parameters are used for the simulation of Figure 5. The $\tau$ is used as 0.5, 0.6, and 0.9 for subfigures (6a, 6d), (6b, 6e), and (6c, 6f), respectively. In Figure 6, one can observe the affects of noise on the dynamics of the solution, which is simulated here; it can be seen that the highest and lowest amplitude areas become more random as $\tau$ increases.

Figure 6.  The visualization of solution with $\rho = 1, \varpi = -.1, \xi_{1} = 1, \varPsi = 1, p_{1} = 1, p_{2} = 1, \mathcal{P} = 0, \beta = 0.95$ and varying $\tau$.

DownLoad: Full-Size Img PowerPoint

Furthermore, the dynamics of the exact solution (3.10) are visualized in Figures 7 and 8 by varying $\beta$ and $\tau$, respectively. In the simulation of these figures, the parameters are selected in the form $\rho = 1, \varpi = -.1, \xi_{1} = 1, \varPsi = 1, p_{1} = 1, p_{2} = 1, \mathcal{P} = 0,$ and $\tau = 0$; alternatively, in Figure 7, the $\tau$ is considered as zero, and in Figure 8, the $\beta$ is fixed as $0.95$. The $\beta$ is used as 1, 0.9, and 0.8 for subfigures (7a, 7d), (7b, 7e), and (7c, 7f), respectively. Similarly, $\tau$ is used as 0.05, 0.3, and 0.6 for subfigures (8a, 8d), (8b, 8e), and (8c, 4f), respectively. Here, we observed the periodic wave solution, where the amplitude of the periodic waves decreases as the $\beta$ decreases in the negative region of the spatial coordinate. Furthermore, we see that the wave profile behaves more randomly in areas where the amplitude is either low or high. Thus, from these analyses, it can be noticed that the obtained results are more generalized than the solutions reported in previous papers. Indeed, when the $BD$ operators equals one, the solution converges to the stochastic integer order solutions. If the intensity of the white noise is zero, then the solutions converge to a deterministic case. When $\beta = 1$ and $\tau = 0$, the obtained solutions converge to the determinsitic case.

Figure 7.  The visualization of solution with $\rho = 1, \varpi = -.1, \xi_{1} = 1, \varPsi = 1, p_{1} = 1, p_{2} = 1, \mathcal{P} = 0, \tau = 0$ and varying $\beta$.

DownLoad: Full-Size Img PowerPoint

Figure 8.  The visualization of solution with $\rho = 1, \varpi = -.1, \xi_{1} = 1, \varPsi = 1, p_{1} = 1, p_{2} = 1, \mathcal{P} = 0, \beta = 0.95$ and varying $\tau$.

DownLoad: Full-Size Img PowerPoint

6.   Conclusions

This study has explored the stochastic BBME with the BD, thereby incorporating multiplicative noise in the Itô sense. We have derived various analytical soliton solutions for these equations by utilizing two distinct expansion methods, both within the framework of beta derivatives. A fractional multistep transformation was employed to convert the equations into nonlinear forms with respect to an independent variable. After performing algebraic manipulations, the solutions were found to be trigonometric and hyperbolic trigonometric functions. Our analysis demonstrated that the wave behavior was influenced by the fractional-order derivative in the proposed equations, thus providing deeper insights into the wave composition as the fractional order increases or decreases. Additionally, we examined the effect of white noise on the propagation of wave solutions. This study has underscored the computational robustness and adaptability of the proposed approach to investigate various phenomena in the physical sciences and engineering.

Author contributions

Conceptualization: M.S.D.S. Methodology: K.A.A. Software: S.S. Validation: A.K. Formal analysis: A.K. Investigation: M.H. Writing-original draft preparation: K.A.A. Writing-review and editing: H.S., A.M.

Acknowledgments

The Researchers would like to thank the Deanship of Graduate Studies and Scientific Research at Qassim University for financial support (QU-APC-2024-9/1). The authors wish to extend their sincere gratitude to the Deanship of Scientific Research at the Islamic University of Madinah.

Conflict of interest

All authors declare no conflicts of interest in this paper.