- Research
- Open Access
- Published:

# A geometric approach for solving the density-dependent diffusion Nagumo equation

*Advances in Difference Equations*
**volume 2016**, Article number: 89 (2016)

## Abstract

In this paper, some solutions of the density-dependent diffusion Nagumo equation are obtained by using a new approach, the Lie symmetry group-preserving scheme (LSGPS). The effects of various model parameters on the solution are investigated graphically using LSGPS. Finally, a different reduction method of PDEs is applied to construct two new analytical solutions and a first integral of the Nagumo equation.

## Introduction

A systematic and powerful method to derive the exact solutions of nonlinear differential equations is the Lie symmetry method which has some important properties such as conservation laws, can successfully be obtained using the symmetries [1–5]. Among the existing numerical algorithms, the group preserving scheme (GPS) provided by Liu [6] is a numerical method based upon Lie group solvers that preserves the Lie group structure under discretization. This method uses the Cayley transformation and the Padé approximations in the augmented Minkowski space \(\mathbb{M}^{n+1}\). One of the major benefits of GPS in the \(\mathbb{M}^{n+1}\) is that it can avoid ghost fixed points and spurious solutions. We refer the reader to the following papers about GPS, *e.g.* [7–16].

The density-dependent diffusion Nagumo equation [17]

with its diffusion coefficient being a simple power function and the nonlinearity assumed to be singular at zero, has various biological applications, such as population genetics, nuclear reactor theory, chemical reactions, and it is used in the modeling of electrical pulse propagation of nerve axons. The existence of one-dimensional traveling wave solutions of (1) has been studied in [18] by Sánchez-Garduño and Maini. Mansour in [19] has computed the traveling wave solutions of (1) with the wave speed *c* and the special case \(m=2\). The minimum speed and the corresponding trajectory for the sharp traveling waves have been determined in the mentioned paper. An approximation to the wave speed is considered by Pedersen in [20] and he claimed that the wave speed does not depend on the parameter \(g_{K,AT P}\), mimicking the glucose concentration in the islet. The *δ*-expansion method in [21] has been applied to obtain traveling wave solutions of (1) on the real line, subject to conditions at infinity. Masemola *et al.* in [22] have recently applied the Lie symmetry method to construct the conservation laws and the exact solutions of the underlying equation for the special cases \(m=2\) and \(\alpha=-1\).

## Group-preserving schemes

Most of the physical systems are formulated in terms of a system of *k* ordinary differential equations,

such that equation (2) is a differential equation on the manifold \(\mathfrak{M}\subset\mathbb{R}^{k}\), if

Many numerical approaches have been proposed to approximate the solution of equation (2). Almost all methods discretize the system of differential equations to produce related difference equations. Obviously, from the same differential equations, the methods obtain different difference equations, but they have the same aim in that the dynamics of the difference equation must correspond closely to the dynamics of the differential equations.

This section gives an introduction to GPS from the class of the relatively new area of numerical analysis called geometric integration. The name ‘geometric integration’ is utilized to a series of numerical approaches that aim to preserve the qualitative and geometrical features of a differential equation when it is discretized [23–25]. Hairer in [26] illustrated a procedure to modify classical methods for solving differential equations on manifolds in order to preserve certain geometric properties of the exact flow. The concept of geometric numerical integration by the important example of the Störmer/Verlet method is given by Hairer *et al.* in [27].

### A Lie algebra formulation

In the formulation of GPS, for a *k*-dimensional ordinary differential equations system (2), it is possible embed them into the \(k+1\)-dimensional augmented dynamical systems:

Clearly, the first equation in equation (4) is the same as the dynamical system (2), whereas the second equation imposes a Minkowskian structure of the augmented state variables of \(X:=(\mathbf{W}^{\mathrm{T}},\|\mathbf{W}\|)^{\mathrm{T}}\), satisfying the cone condition:

where

is a Minkowski metric. Hence equation (5) in terms of *X* becomes

Thus, we imposed a natural constraint (cone condition) on the augmented dynamical system and, consequently, we have an \(k+1\)-dimensional augmented system:

with constraint (5) and

satisfying^{Footnote 1}

The discretized mapping \(\mathcal{G}\in \mathit{SO}_{0}(k, 1)\), corresponding to \(\mathcal{A}\), preserves the following properties:

where \(\mathcal{G}_{0}^{0}\) is the 00th component of \(\mathcal{G}\). Now, we are ready to develop the group-preserving numerical scheme as follows:

where \(X_{n}\) denotes the numerical value of *X* at \(\xi_{n}\), and

where

Substituting \(\exp[\Delta\xi\mathcal{A}(n)]\) for \(\mathcal{G}(n)\) into equation (12) yields

Since \(\mathbf{f}_{n}\cdot\mathbf{W}_{n}\geq -\|\mathbf{f}_{n}\|\|\mathbf{W}_{n}\|\) one can prove that

The group properties are preserved for all \(\Delta\xi>0\).

### Lie symmetry group preserving scheme

The LSGPS is actually a new combination of Lie symmetries and GPS. By using this procedure first the given PDE reduces to some ODEs by Lie symmetries and then we approximate the solution of reduced ODE by GPS. Generally, we call the combination of Lie symmetries and GPS LSGPS. To discuss LSGPS, let be a PDE as follows:

where Π is a nonlinear operator, and \(u=u(t,x)\) is an unknown dependent variable.

Suppose that the spatial (time) derivatives of (17) are discretized by some methods - finite differences, finite elements, finite volumes, or any other method. Then, this semi-discretization generates a system of ordinary differential equations that can be solved by GPS, but some problems may occur during this procedure. Semi-discretization is very sensitive to the choice of the discretization step size Δ*x* (Δ*t*), *i.e.* many criteria should be considered, *e.g.* consistency, stability, the Courant-Friedrichs-Levi (CFL) condition, and so on. Thus, if the choice of Δ*x* (Δ*t*) were either too little or too big then either the consistency or the stability of the discretization may be missed and thus the final solution of (17) could not be trusted. It may happen that Δ*x* (Δ*t*) has to be very small, *e.g.*
\(\Delta x=0.0001\), in order to achieve a good result with semi-discretization, thus leading to a huge number of ODEs, *e.g.*
\(\Delta x=10^{-n}\) means a system of *n* ODEs, for which the traditional GPS or Lie group shooting method will require a large number of operations and computations.

Instead the benefits of the LSGPS are several, mainly one needs just one ODE, while in the traditional GPS a large number of ODEs are necessary. Also since discretization reduces the accuracy and imposes the error, solutions obtained by LSGPS are more accurate than by GPS, because LSGPS uses the discretization in one dimension, while GPS uses the discretization in two dimensions.

## Lie group analysis and LSGPS of density-dependent diffusion Nagumo equation

Let us assume that equation (1), with independent variables *t*, *x* and dependent variable *u*, is invariant under one parameter continuous transformations:

where *ϵ* is the group parameter. The associated Lie algebra of infinitesimal symmetries is the set of vector fields of the form

If the above vector field generates a symmetry of equation (1), then

where \(\operatorname{Pr}^{(2)}X\) denotes the second prolongation of *V* and it concludes determining the equations containing an overdetermined system of linear PDEs in \(\xi^{1}\), \(\xi^{2}\), and *ϕ*.

These determining equations can easily be integrated to show that the symmetry group of equation (1) is spanned by the vector fields:

for arbitrary *m* and *α*,

for \(\alpha=-1\) and \(m=2\). However, it is important that the ambient concentration *α* should be in \((0,1)\). Thus, the last case \(\alpha=-1\) has no physical interpretation and we consider it just from the mathematical viewpoint. Here, we consider two nonzero conjugacy classes of one-dimensional subalgebras as follows:

Below, we list the corresponding similarity variables and similarity solutions as well as the reduced ODEs obtained from the generators of optimal system.

### Reduction 1

Using the subalgebra \(\mathcal{L}_{1,1}\), we obtain the similarity variables and similarity solutions \(u(t,x)=F(\xi)\), \(\xi=x-ct\), and the reduced ODE is

where \(c\in\mathbb{R}\) is the wave speed. Solutions of equation (23) are indeed traveling wave solutions of (1), which previously were discussed in the literature [17–21]. The solutions of equation (23) are indeed traveling wave solutions of (1) which previously were discussed in the literature [17–21]. Now, if we solve (23) by GPS, then the obtained results are indeed the solutions of (1) achieved by LSGPS. The natural conditions

where \(A,B\in\{0,1,\alpha\}\) are taken into account for dealing with (23). Also, the initial conditions \(F(0)=0.5\) and \(F'(0)=\lambda\) (\(\lambda\in\mathbb{R}\) and specially \(\lambda=0\)), which are determined by the application at hand are applied in our computations. As can be seen from the figures of this paper, it tries to achieve the equilibrium \(\lim_{\xi\rightarrow +\infty}F(\xi)=\alpha\). To illustrate the behavior of traveling wave solutions with different parameters *m*, *c* and *α*, we provide several numerical plots obtained from GPS. Figures 1 and 2 show the solutions with varying initial conditions \(F'(0)\) with respect to \(\alpha=0.6\) and \(\alpha=0.2\), respectively. Because of the singularity for large values of \(\|F'(0)\|\), small values are singled out. Equilibriums \(F(\xi)\rightarrow0.6\) as \(\xi\rightarrow+\infty\) in Figure 1 and \(F(\xi)\rightarrow0.2\) as \(\xi\rightarrow+\infty\) in Figure 2 are depicted. Now, in Figures 3-12, we take the pragmatic convection \(F'(0)=0\).

Traveling waves, by varying wave speeds *c*, are demonstrated in Figure 3. A high smoothness of the solutions by varying *c* from 0.1 to 4 is reported. Similar to the two previous figures, by increasing the *c*, a smooth tending of the solutions to \(\alpha=0.2\) is reported in Figure 4.

As mentioned in [17], the power *m* appearing in the nonlinear density dependence serves to smooth out the solutions of the density-dependent diffusion Nagumo equation. Indeed, the oscillations diminish while *m* is increasing, and Figures 5 and 6 exhibit that there are more oscillations for the standard Nagumo equation (\(m=0\)) than \(m>0\) and monotone solutions for \(m\geq2\) are reported.

Now, we present the obtained traveling wave solutions for variable density parameter \(\alpha\in(0,1)\), with respect to \(c=1\) and \(c=0.3\). Comparison of Figures 7, 9, and 11 with their related Figures 8, 10, and 12 shows that the solutions with respect to \(c=1\) tend directly to *α* in a more streamlined manner than the solutions with respect to \(c=0.3\).

### Reduction 2

Using the subalgebra \(\mathcal{L}_{2,1}\), we obtain the similarity variables and similarity solutions \(u(t,x)=\frac{e^{t}\Psi(\xi)}{\sqrt{e^{2t}+c}}\), \(\xi=x\), and the reduced ODE is

Now, we utilize the reduction method [11, 28–32], instead of using the usual method based on invariants. Obtaining the first integrals of ODEs is often sophisticated work, however, using the mentioned reduction method, the first integral of the reduced ODE (25) is easily obtained. Equation (25) can be written as an autonomous system of two ODEs of first order, *i.e.*:

using the obvious change of dependent variables

It is possible to choose \(w_{1}\) as a new independent variable, because (26) is autonomous. In this way, a first-order nonautonomous ODE can be extracted from system (26) as follows:

of which its integration leads to

with \(a_{1}\) an arbitrary constant. Clearly, corresponding first integral of equation (25) is

Lastly we replace (29) from (26) into the first equation of system (26) from which one concludes to a first-order separable as follows:

The exact solution of equation (31) can be implicitly expressed by

and replacing \(w_{1}\) with \(\Psi(\xi)\) yields the exact solution of (25). Assuming \(a_{1}=0\) yields the following explicit solutions:

and therefore

The solution of \(u_{+}(t,x)\) in three dimensions is plotted in Figure 13 with respect to \(c=a_{2}=1\).

## Final remarks

In this paper, we considered the density-dependent diffusion Nagumo equation within a new geometric method, LSGPS. Three dimensional Lie algebra and optimal system of Lie algebras related to equation (1) were obtained. After the reduction of this equation by utilizing the Lie symmetries, the traveling wave solutions are first discussed in Reduction 1. Another reduction of the Nagumo equation, by using Lie symmetries and Nucci’s method (Reduction 2), leads to a first integral and two new analytical solutions of equation (1).

## Notes

\(\mathcal{A}\) is an element of the Lie algebra \(\mathit{so}(k,1)\) of the proper orthochronous Lorentz group \(\mathit{SO}_{0}(k, 1)\).

## References

Olver, PJ: Application of Lie Groups to Differential Equations. Springer, New York (1993)

Bluman, GW, Cheviakov, AF, Anco, SC: Applications of Symmetry Methods to Partial Differential Equations. Springer, New York (2010)

Bluman, GW, Kumei, S: Symmetries and Differential Equations. Springer, New York (1989)

Cantwell, BJ: Introduction to Symmetry Analysis. Cambridge University Press, Cambridge (2002)

Ibragimov, NH: Elementary Lie Group Analysis and Ordinary Differential Equations. Wiley, Chichester (1999)

Liu, C-S: Cone of non-linear dynamical system and group preserving schemes. Int. J. Non-Linear Mech.

**36**, 1047-1068 (2001)Chang, CW, Liu, C-S: The backward group preserving scheme for multi-dimensional nonhomogeneous and nonlinear backward wave problems. Appl. Math. Model.

**38**, 4027-4048 (2014)Liu, C-S, Chang, C-W: A simple algorithm for solving Cauchy problem of nonlinear heat equation without initial value. Int. J. Heat Mass Transf.

**80**, 562-569 (2015)Liu, C-S: To solve the inverse Cauchy problem in linear elasticity by a novel Lie-group integrator. Inverse Probl. Sci. Eng.

**22**, 641-671 (2014)Chang, CW, Kuo, CC: A Lie-group approach for solving backward two-dimensional nonlinear Klein-Gordon equation. Proc. Eng.

**79**, 590-598 (2014)Abbasbandy, S, Hashemi, MS: Group preserving scheme for the Cauchy problem of the Laplace equation. Eng. Anal. Bound. Elem.

**35**, 1003-1009 (2011)Abbasbandy, S, Hashemi, MS, Liu, C-S: The Lie-group shooting method for solving the Bratu equation. Commun. Nonlinear Sci. Numer. Simul.

**16**, 4238-4249 (2011)Hashemi, MS, Abbasbandy, S: A geometric approach for solving Troesch’s problem. Bull Malays. Math. Sci. Soc. (2015). doi:10.1007/s40840-015-0260-8

Hashemi, MS, Nucci, MC, Abbasbandy, S: Group analysis of the modified generalized Vakhnenko equation. Commun. Nonlinear Sci. Numer. Simul.

**18**, 867-877 (2013)Hashemi, MS, Baleanu, D, Parto-Haghighi, M, Darvishi, E: Solving the time-fractional diffusion equation using a Lie group integrator. Therm. Sci.

**19**, 77-83 (2015)Hashemi, MS, Baleanu, D, Parto-Haghighi, M: A Lie group approach to solve the fractional Poisson equation. Rom. J. Phys.

**60**, 1289-1297 (2015)Gorder, RAV, Vajravelu, K: Analytical and numerical solutions of the density dependent diffusion Nagumo equation. Phys. Lett. A

**372**, 5152-5158 (2008)Sánchez-Garduño, F, Maini, PK: Travelling wave phenomena in non-linear diffusion degenerate Nagumo equations. J. Math. Biol.

**35**, 713-728 (1997)Mansour, MBA: Accurate computation of traveling wave solutions of some nonlinear diffusion equations. Wave Motion

**44**, 222-230 (2007)Pedersen, MG: Wave speeds of density dependent Nagumo diffusion equations-inspired by oscillating gap-junction conductance in the islets of Langerhans. J. Math. Biol.

**50**, 683-698 (2005)Van Gorder, RA: Travelling waves for a density dependent diffusion Nagumo equation over the real line. Commun. Theor. Phys.

**58**, 5-11 (2012)Masemola, P, Kara, AH, Fakhar, K: Reductions and new exact solutions of the density-dependent Nagumo and Fisher equations. J. Eng. Math.

**82**, 77-83 (2013)Budd, CJ, Iserles, A: Geometric integration: numerical solution of differential equations on manifolds. Philos. Trans. R. Soc. Lond. A

**357**, 945-956 (1999)Cucker, F, Ciarlet, PG, Lions, JL: Handbook of Numerical Analysis. Special Volume: Foundations of Computational Mathematics. Elsevier, Amsterdam (2003)

Dorodnitsyn, V: Applications of Lie Groups to Difference Equations. Differential and Integral Equations and Their Applications, vol. 8. CRC Press, Boca Raton (2011)

Hairer, E: Geometric integration of ordinary differential equations on manifolds. BIT Numer. Math.

**41**, 996-1007 (2001)Hairer, E, Lubich, C, Wanner, G: Geometric numerical integration illustrated by the Störmer-Verlet method. Acta Numer.

**12**, 399-450 (2003)Nucci, MC: The complete Kepler group can be derived by Lie group analysis. J. Math. Phys.

**37**, 1772-1775 (1996)Nucci, MC: Lie symmetries of a Painlevé-type equation without Lie symmetries. J. Nonlinear Math. Phys.

**15**, 205-211 (2008)Hashemi, MS, Nucci, MC: Nonclassical symmetries for a class of reaction-diffusion equations: the method of heir-equations. J. Nonlinear Math. Phys.

**20**, 44-60 (2013)Hashemi, MS, Haji-Badali, A, Vafadar, P: Group invariant solutions and conservation laws of the Fornberg-Whitham equation. Z. Naturforsch. A

**69**, 489-496 (2014)Hashemi, MS, Abbasbandy, S, Alhuthali, MS, Alsulam, HH: Conservation laws and symmetries of MKDV-KP equation. Rom. J. Phys.

**60**, 904-917 (2015)

## Acknowledgements

The authors would like to thank the referees for their useful comments and remarks.

## Author information

### Authors and Affiliations

### Corresponding author

## Additional information

### Competing interests

The authors declare that they have no competing interests.

### Authors’ contributions

All authors contributed equally and significantly in writing this article. All authors read and approved the final manuscript.

## Rights and permissions

**Open Access** This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.

## About this article

### Cite this article

Hashemi, M.S., Darvishi, E. & Baleanu, D. A geometric approach for solving the density-dependent diffusion Nagumo equation.
*Adv Differ Equ* **2016**, 89 (2016). https://doi.org/10.1186/s13662-016-0818-2

Received:

Accepted:

Published:

DOI: https://doi.org/10.1186/s13662-016-0818-2

### Keywords

- group-preserving scheme
- Minkowski space
- reduction method