Comparing Solutions to the Nonlinear Dissipative Wave Equation

Abstract

In previous decades, many of the practical problems arising in scientific fields such as physics, engineering, and mathematics have been related to nonlinear fractional partial differential equations. One of these nonlinear partial differential equations, the dissipative wave equation, has been found to have a plethora of useful applications in different fields. A special class of solutions has been studied for the dissipative wave equation including exact solutions and approximate solutions. The aim of this article is to compare the non-polynomial spline method and the cubic B-spline method with the solution of a nonlinear dissipative wave equation. We will conduct a comparison of the stability of the two methods using the Von Neumann stability analysis. In addition, a numerical example will be presented to illustrate the accuracy of these methods.

Share and Cite:

Alaofi, Z. , El-Danaf, T. and Dragomir, S. (2022) Comparing Solutions to the Nonlinear Dissipative Wave Equation. Journal of Applied Mathematics and Physics, 10, 1281-1296. doi: 10.4236/jamp.2022.104040.

1. Introduction

Nonlinear partial differential equations (NPDEs) are encountered in various fields such as physics, chemistry, biology, mathematics and engineering. Most nonlinear models of real-life problems are still proving difficult to solve either numerically or theoretically. Recently, much attention has been devoted to the search for better and more efficient solution methods for determining a solution, approximate or exact, analytical or numerical, for nonlinear models [1].

Many methods have been developed to solve a dissipative wave equation, including the non-polynomial spline method and the cubic B-spline method. Researchers who have used the non-polynomial spline method include El-Danaf and Faisal (2009), who used a non-polynomial spline-based method to obtain numerical solutions for a dissipative wave equation. The developed method was shown to be conditionally stable for the given values of specified parameters. Furthermore, the obtained numerical results reveal that their proposed method maintains good accuracy [2]. Zaki Ahmed et al. (2020) used a non-polynomial spline function to obtain numerical solutions for a dissipative wave equation at middle points for lattice in space direction and at the same time. The presented method was shown to be conditionally stable. In addition, the computational results revealed that their proposed technique was suitable for the solution of these equations and agreed with the true solutions [3]. The cubic B-spline has been employed by many researchers to solve nonlinear dissipative wave equations. The most recent relevant results are those presented by Alaofi et al. in 2021. The stability analysis investigation demonstrated that the method is conditionally stable. The developed method is shown to be conditionally stable for given values of specified parameters. The obtained numerical results indicate that the proposed method maintains good accuracy [4]. As the previous two methods, non-polynomial spline and cubic B-spline, have been used many times in recent years, we wanted to present a comparison between them to assist future researchers. Section one outlines some previous studies on the nonlinear dissipative wave equation. Section two offers basic definitions and descriptions of the non-polynomial spline functions, local truncation errors, and the cubic B-spline method. The third section will describe the stability analysis. Using the concept of stability and the von Neumann method, three stability-related cases are provided. Section four addresses numerical illustration. In this section, we offer an example from each author as well as their results. We have also presented additional results that we have obtained during our research. In the final section, we offer some conclusions and highlight some areas for further development.

The generalised nonlinear dissipative wave equation of the form [5]:

2 u t 2 2 u x 2 + 2 u t u = g ( x , t ) (1)

under the boundary conditions:

u ( a , t ) = η 1 , u ( b , t ) = η 2 , t 0 (2)

and initial conditions:

u ( x , 0 ) = f 1 ( x ) , u t ( x , 0 ) = f 2 ( x ) , a x b (3)

2. The Methods

In this section, we will illustrate the non-polynomial spline method and the cubic B-spline method.

2.1. Non-Polynomial Spline Method

The Non-polynomial Spline Functions [6]

Let a = x 0 < x 1 < < x N = b be a subdivision of the interval [ a , b ] . The non-polynomial spline function is defined by

p ( x , t n ) = { p 0 ( x , t n ) , x [ x 0 , x 1 ] p 1 ( x , t n ) , x [ x 1 , x 2 ] p N 1 ( x , t n ) , x [ x N 1 , x N ]

where p j ( x , t n ) is a mixed spline function of the form:

p j ( x , t n ) = b 1 j ( t n ) cos ω ( x x j ) + b 2 j ( t n ) sin ω ( x x j ) + a 1 j ( t n ) ( x x j ) r + a 2 j ( t n ) ( x x j ) r 1 + + a r j ( x x j ) + a ( r + 1 ) j , j = 0 , 1 , , N 1.

and r represents the degree of the polynomial part.

Remark

We can use other functions as ( cosh ω x , sinh ω x ) , ( tanh ω x , sech ω x ) , ( cosh ω x , sech ω x ) and ( e ω x , e ω x ) instead of ( cos ω x , sin ω x ) in p j ( x , t n ) .

Local truncation error [6]

The truncation error is the difference between the differential equation and its approximating difference equation. Let F j n ( u ) = 0 represent the differential equation at the ( j , n ) t h mesh point. If u is replaced by U at the mesh points of the difference equation, then the value of F j n ( U ) is named the local truncation error at the ( j , n ) t h mesh point. We denote it by T j n .

Zaki Ahmed [3] et al. and El-Danaf [2] et al. used the non-polynomial spline method.

To set up the non-polynomial spline method, select an integer N > 0 and time-step size k > 0 . With h = b a N + 1 , the mesh points ( x i , t j ) are:

x i = a + i h , for each i = 0 , 1 , , N + 1

and,

t j = j k , for each j = 0 , 1 ,

Let Z i j Z ( x i , t j ) be an approximation to u ( x i , t j ) , obtained by the segment P i ( x , t j ) of the mixed spline function passing through the points ( x i , Z i j ) and ( x i + 1 , Z i + 1 j ) . Each segment has the forms (4) and (5) as follows:

Zaki Ahmed et al. used the following form,

Q i ( x , t j ) = a i ( t j ) cos w ( x x i ) + b i ( t j ) sin w ( x x i ) + c i ( t j ) (4)

El-Danaf et al. used the following form,

P i ( x , t j ) = a i ( t j ) cos ω ( x x i ) + b i ( t j ) sin ω ( x x i ) + c i ( t j ) ( x x i ) + d i ( t j ) (5)

where i = 0 , 1 , , n 1 ; j = 0 , 1 , ; a i ( t j ) ; b i ( t j ) ; c i ( t j ) and d i ( t j ) are unknowns to be determined and ω is a parameter of the trigonometric functions.

The truncation error for Equation (4) at i = 1 , n is as follows:

t i j = [ ( 6 8 ( w 0 + w 1 + w 2 + w 3 ) ) h 2 D x 2 + ( 1 2 ( w 0 + 3 w 1 + 5 w 2 + 7 w 3 2 ) ) h 3 D x 3 + ( 39 192 ( w 0 + 9 w 1 + 25 w 2 + 49 w 3 8 ) ) h 4 D x 4 + ( 1 16 ( w 0 + 27 w 1 + 125 w 2 + 343 w 3 48 ) ) h 5 D x 5 + ( 726 46080 ( w 0 + 81 w 1 + 625 w 2 + 2401 w 3 384 ) ) h 6 D x 6 + ] u i j

to make t i j , i = 1 , n of order O ( h 6 ) .

The approximation with local truncation error of O ( k 2 ) :

Z i 1 Z i 0 + k f 2 ( x i ) + k 2 2 ( g i 0 + d 2 f 1 d x 2 ( x i ) 2 f 2 f 1 ) , i = 1 , , N .

2.2. The Cubic B-Spline Method

The cubic B-spline functions { φ i ( x ) } are defined by:

φ i ( x ) = 1 h 3 { ( x x i 2 ) 3 x [ x i 2 , x i 1 ] h 3 + 3 h 2 ( x x i 1 ) + 3 h ( x x i 1 ) 2 3 ( x x i 1 ) 3 x [ x i 1 , x i ] h 3 + 3 h 2 ( x i + 1 x ) + 3 h ( x i + 1 x ) 2 3 ( x i + 1 x ) 3 x [ x i , x i + 1 ] ( x i + 2 x ) 3 x [ x i + 1 , x i + 2 ] 0 otherwise

where h = x i + 1 x i , i = 0 , 1 , , N 1 . The values of the cubic B-spline φ i ( x ) and its first and second derivatives vanish outside the interval ( x i 2 , x i + 2 ) . We establish the values of φ i ( x ) and its derivatives at the knots in Table 1.

This type of spline is used to obtain an approximate solution to partial differential equations, see [4].

The Analysis and the Initial State for the Dissipative Wave Equation

1) The approximate solution of the dissipative wave equation is considered to be:

Table 1. The values of φ i ( x ) and its derivatives with knots at the shown points.

where ϕ i ( x j ) represents the spline functions, and w i ( t j ) represents the unknowns to be determined.

2) The dissipative wave equation reduced to system of ODE.

They get:

a i ω i 1 n + 1 + b i ω i n + 1 + c i ω i + 1 n + 1 = d i ω i 1 n e i ω i n f i ω i + 1 n n i ω i 1 n 1 s i ω i n 1 l i ω i + 1 n 1 + k 2 η i n ( x , t )

3) Using the boundary conditions to get N + 3 equations in N + 3 unknowns.

6 h 2 ω 1 12 h 2 ω 0 + 6 h 2 ω 1 = 0 ,

6 h 2 ω N 1 12 h 2 ω N + 6 h 2 ω N + 1 = 0 .

4) Apply the initial conditions to get the independent variables:

( ω 1 0 , ω 0 0 , , ω N 0 , ω N + 1 0 ) T

5) After getting the following system of algebraic equations:

A ω n + 1 = B ω n C ω n 1 + k 2 η i n ( x , t )

6) Two initial conditions are applied to get the following system:

ω i 1 0 + 4 ω i 0 + ω i + 1 0 = u ( x j , 0 ) , j = 0 , 1 , 2 , , N

7) Adding the following two initial conditions to complete the system of equations:

3 ω 1 0 + 3 ω 1 0 = h u x ( a , 0 ) 3 ω N 1 0 + 3 ω N + 1 0 = h u x ( b , 0 )

3. The Stability Analysis

Stability [7]

Suppose that, in a computation involving a difference scheme, an error ξ 0 is introduced at a time level t 0 , and suppose that no further errors occur. If ξ n denotes the error resulting from this error at time t n , then the scheme is stable if | ξ n | remains bounded as n (i.e., the error must not grow without limit).

Stability by the Fourier series method (Von Neumann’s Method) [7]

This method, developed by Von Neumann during World War II, was first discussed in detail by O’Brien, Hyman and Kaplan in a paper published in 1951. It expresses an initial line of errors in terms of a finite Fourier series, and considers the growth of a function that reduces to this series for t = 0 using a “variables separable” method identical to that commonly used for deriving analytical solutions to partial differential equations. If we write N j n = u j n + ξ j n in the difference scheme, and if it is linear, then ξ n will satisfy the same equation as u j n expresses the error as a finite Fourier series of the form ξ n ( t ) e i k x j . Furthermore, if the equation is linear, then we need consider only the growth of a single form:

ξ j n = ξ n e i k x j ,

where i = 1 , and let:

g = ξ n + 1 ξ n ,

where g is called the growth of an amplification factor. For stability, the Von Neumann condition requires:

| g | 1 + Ο ( Δ t ) .

i.e. the error will not increase as t increases.

It should be noted that this method applies only to linear difference equations with periodic initial data. The criterion | g | 1 is necessary and sufficient for three or more level equations—though it is always necessary. In practice, the method often gives useful results even when its application is not fully justified.

According to the Von Neumann technique we have:

S i j = ξ j e ( q φ h i ) (6)

where q 2 = 1 , φ is the mode number, h is the element size, and ξ is the amplification factor.

For stability, we must have | ξ ± | 1 . Also, from Equation (6) we can observe that the product of the two values of ξ is clearly unity. So, three cases arise.

Case 1: Both the roots are equal to unity. In this case, the discriminant of the quadratic Equation (6) is zero.

Case 2: One of the roots is greater than unity. In this case, the discriminant is greater than zero. This means the stability condition, that is | ξ ± | 1 , is not satisfied. In other words, ξ j would grow in an unbounded manner.

Case 3: The discriminant is less than zero, that is: μ 2 1 < 0 . Thus, for stability:

1 μ 1 (7)

[2] and [3] using Equation (6), the above inequality becomes:

k 2 d * 2 2 k 2 sin 2 ( ϕ / 2 ) ( β + 2 α ) 4 α sin 2 ( ϕ / 2 ) 2 k 2 d * 2 (8)

Two cases will be discussed:

Case 1: For β = 2 α , inequality (8) becomes:

k 2 d * 2 k 2 2 α 2 k 2 d * 2

We can say that our system is stable for β = 2 α , α < 0 , and k 2 | α | such that | α | , and k 2 are small enough.

Case For α > 0 , β > 2 α , the quantity ( β + 2 α ) 4 α sin 2 ( ϕ / 2 ) is positive, so we can say that stability in this case requires α > 0 , β > 0 , and β > 2 α such that α , β and k 2 β are small enough and sin ( ϕ / 2 ) 0 .

On the other hand, [4] using Equation (6), the (7) inequality becomes:

1 [ ( 2 r 1 ) cos ϕ h + ( 4 + r 1 ) ] [ ( 2 + 2 k 2 m ) cos ϕ h + ( 4 + 4 k 2 m ) ] 1 . (9)

After simplifying inequality (9), we get:

( m h 2 3 + 1 ) + ( 2 m h 2 3 2 ) sin 2 ϕ h 2 ( 1 + 2 m h 2 3 ) ,

If h is small enough, the method is conditionally stable.

4. Numerical Illustration

Example. Consider the dissipative wave equation [8]:

2 u t 2 2 u x 2 + 2 u t u = 2 sin 2 x sin t cos t x π , t 0 , (10)

with the initial conditions:

u ( x , 0 ) = sin x , u t ( x , 0 ) = 0 , (11)

and the boundary conditions:

u ( 0 , t ) = u ( π , t ) = 0 . (12)

4.1. The Results of [2]

Table 2 shows maximum error occurred at 0.5, 1.5, 2.5, and 3.5 respectively. Numerical values have been computed using the non-polynomial spline method and reported in Table 3 & Table 4. The simulation is done up to x = 0.8π. We

Table 2. The L error for the numerical and exact solutions when k = 0.01 , h = π 40 , α = 1.01 ; β = 2 α .

Table 3. Comparison between the numerical and exact solutions at h = π / 40 ; t = 1.5 ; α = 2 × 10 7 ; β = 6.18 × 10 3 .

can conclude that applying nonpolynomial splines in the solution of partial differential equations is a promising approach.

4.2. The Results of [3]

L error norms are reported in Table 5. In addition, comparisons of approximate and exact solutions at different nodes x and different time levels are reported in Table 6 & Table 7.

The relation between time and the maximum error is shown in Figure 1 and

Table 4. Comparison between the numerical and exact solutions at h = π / 40 ; t = 2.5 ; α = 2 × 10 7 ; β = 6.18 × 10 3 .

Table 5. The maximum absolute errors at h = π 50 , k = 0.01 , α = 1 and β = 2 α .

Table 6. The true and numerical solution at h = π 50 , k = 0.001 , t = 0.25 , α = 10 5 and β = 0.005 .

Table 7. The true and numerical solution at h = π 50 , k = 0.01 , t = 2.5 , α = 1 and β = 2 α .

Figure 1. The relation between time and maximum error as per Table 5.

the graph of exact and approximate solutions for different time levels are depicted in Figure 2.

4.3. The Results of [4]

To make a comparison quantitatively, they have computed the error norms L in Table 8. Moreover, the comparison of obtained numerical results with the cubic B-spline method is presented in Table 9 & Table 10 when t = 0.2 and t = 2.

Figure 3 & Figure 4 depict a comparison of exact and approximate solutions when t = 2 and t = 5.

In the following section, we introduce the numerical results, which have been obtained by [4].

Figure 2. The true solution (green) and numerical solution (red) at h = π 50 , k = 0.01 , α = 1 , β = 2 α and t = 2.5 .

Table 8. The L error for the numerical and exact solutions when k = 0.01, h = π 20 from t = 0.5 to t = 2.0.

Table 9. Comparison between the numerical and exact solutions at t = 0.2, k = 0.002, h = π 20 .

4.4. Our Results

In Table 11, the computational maximum errors with respect to the exact solution and numerical solution.

Table 10. Comparison between the numerical and exact solutions at t = 2, k = 0.002, h = π 20 .

Figure 3. The exact and numerical results when the time t = 2.0 with k = 0.01.

Figure 4. The exact and numerical results when the timet = 5.0 with k = 0.01.

Table 11. The L error for the numerical and exact solutions for a big time when k = 0.01, h = π 20 from t = 15.0 to t = 50.0.

Figure 5. The exact and numerical results when the time t = 15.0 with k = 0.01.

Figure 6. The exact and numerical results when the time t = 25.0 with k = 0.01.

From Figures 5-9, we observe that the smaller the Δ t = k (than the value of h), the better the accuracy. The numerical approximations are still acceptable within the large time.

The following figures, Figures 10-13, show the 3D representation of the numerical solutions of the dissipative equation for virus time and the same discretisations (h).

5. Conclusion

In this article, we discussed the non-polynomial spline method and the cubic

Figure 7. The exact and numerical results when the time t = 35.0 with k = 0.01.

Figure 8. The exact and numerical results when the time t = 45.0 with k = 0.01.

Figure 9. The exact and numerical results when the timet = 50.0 with k = 0.01.

Figure 10. 3D representation of the numerical solutions of the dissipative from the time t = 0.0 to t = 10.0.

Figure 11. 3D representation of the numerical solutions of the dissipative from the time t = 0.0 to 20.0.

B-spline method for solving a nonlinear dissipative wave equation and its truncation errors. The stability analysis of these methods was shown to be conditionally stable. Furthermore, the obtained approximate numerical solutions maintain good accuracy compared with the exact solutions, especially for small values.

Figure 12. 3D representation of the numerical solutions of the dissipative from the time t = 10.0 to t = 20.0.

Figure 13. 3D representation of the numerical solutions of the dissipative from the timet = 20.0 to t = 40.0.

The results obtained by [4] demonstrate that solving the nonlinear dissipative wave equation using the cubic B-spline method is more accurate than using the non-polynomial spline method. A large set of values was used to treat the nonlinear dissipative wave equation using the cubic B-spline method, and both 2D and 3D graph representations were provided. Our conclusion was that the non-polynomial spline method is more useful when the researcher wants to obtain the local truncation error, while the B-spline method is more accurate for solving nonlinear partial differential equations.

Conflicts of Interest

The authors declare no conflicts of interest regarding the publication of this paper.

References

[1] Hereman, W. and Takaoka, M. (1990) Solitary Wave Solutions of Nonlinear Evolution and Wave Equations Using a Direct Method and MACSYMA. Journal of Physics A: Mathematical and General, 23, 4805-4822.
https://doi.org/10.1088/0305-4470/23/21/021
[2] El Danaf, T.S. and Abdel Alaal, F.E.I. (2009) Non-Polynomial Spline Method for the Solution of the Dissipative Wave Equation. International Journal of Numerical Methods for Heat & Fluid Flow, 19, 950-959.
https://doi.org/10.1108/09615530910994441
[3] Ahmed, Z., Ahmad, N., Ghonamy, M.I. and Rashid, N. (2020) On the Numerical Solution of the Dissipative Wave Equation at Midpoints. Journal of Critical Reviews, 7, 8623-8632.
https://researchgate.net/publication/344467678
[4] Alaofi, Z., Sayed Ali, T. and Dragomir, S. (2021) A Numerical Solution of the Dissipative Wave Equation by Means of Cubic B-Spline Method. Journal of Physics Communications, 5.
https://doi.org/10.1088/2399-6528/ac2940
[5] Adomian, G. (1994) Solving Frontier Problems of Physics: The Decomposition Method. Kluwer Academic Publisher, Boston, MA.
https://doi.org/10.1007/978-94-015-8289-6
[6] Amin, M., Abbas, M., Iqbal, M.K. and Baleanu, D. (2019) Non-Polynomial Quintic Spline for Numerical Solution of Fourth-Order Time Fractional Partial Differential Equations. Advances in Difference Equations, 2019, 1-22.
https://doi.org/10.1186/s13662-019-2125-1
[7] Li, M., Ding, X. and Xu, Q. (2018) Non-Polynomial Spline Method for the Time-Fractional Nonlinear Schrödinger Equation. Advances in Difference Equations, 2018, 1-15.
https://doi.org/10.1186/s13662-018-1743-3
[8] Adomian, G. (1994) Nonlinear Dissipative Wave Equations. Applied Mathematics Letters, 11, 125-126.
https://doi.org/10.1016/S0893-9659(98)00044-5

Copyright © 2024 by authors and Scientific Research Publishing Inc.

Creative Commons License

This work and the related PDF file are licensed under a Creative Commons Attribution 4.0 International License.