Solitary wave dynamics governed by the modified FitzHugh-Nagumo equation
Aleksandra Gawlik, Sergii Skurativskyi, Vsevolod Vladimirov

TL;DR
This paper investigates the solitary wave solutions of the modified FitzHugh-Nagumo system, revealing two types with different velocities, analyzing their stability, and exploring their formation and annihilation mechanisms.
Contribution
It demonstrates the existence of two soliton-type solutions with distinct velocities and provides a detailed stability analysis using numerical and Evans function techniques.
Findings
Fast solitary waves are stable.
Slow solitary waves are unstable.
Formation and annihilation of localized regimes are discussed.
Abstract
The paper deals with the studies of the nonlinear wave solutions supported by the modified FitzHugh-Nagumo (mFHN) system. It was proved in our previous work that the model, under certain conditions, possesses a set of soliton-like traveling wave (TW) solutions. In this paper we show that the model has two solutions of the soliton type differing in propagation velocity. Their location in parametric space, and stability properties are considered in more details. Numerical results accompanied by the application of the Evans function technique prove the stability of fast solitary waves and instability of slow ones. A possible way of formation and annihilation of localized regimes in question is studied therein too.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Solitary wave dynamics governed by the modified FitzHugh-Nagumo equation
Aleksandra Gawlik*a,111e-mail: [email protected], Sergii Skurativskyib,222e-mail: [email protected], Vsevolod Vladimirova,*333e-mail: [email protected]
a* Faculty of Applied Mathematics,
AGH University of Science and Technology,
Mickiewicz Avenue 30, 30-059 Kraków, Poland,*
b* Division of Geodynamics of Explosion,
Subbotin Institute of Geophysics, NAS of Ukraine,
Acad. Palladina Avenue 32, 03142 Kyiv, Ukraine*
**Abstract. **The paper deals with the studies of the nonlinear wave solutions supported by the modified FitzHugh-Nagumo (mFHN) system. It was proved in our previous work that the model, under certain conditions, possesses a set of soliton-like traveling wave (TW) solutions. In this paper we show that the model has two solutions of the soliton type differing in propagation velocity. Their location in parametric space, and stability properties are considered in more details. Numerical results accompanied by the application of the Evans function technique prove the stability of fast solitary waves and instability of slow ones. A possible way of formation and annihilation of localized regimes in question is studied therein too.
**Keyword: **modified FitzHugh-Nagumo model; solitary wave solutions; spectral stability; soliton collision; the Evans function technique; birth and annihilation of solitary waves
1 Introduction
The transport phenomena play a significant role in open dissipative systems, in which self-organization processes are most pronounced [1, 2]. For this reason, the models of these phenomena are the subject of numerous studies both in the field of applied mathematics and in natural sciences. The comprehensive understanding of mechanism of transfer processes has been achieved up to date for relatively simple systems in which the deviations from the state of thermodynamical equilibrium are small. In this case the linear approach is applicable, leading to the well-known wave and diffusive equations.
However, in living systems and other active strongly nonequilibrium media the transport processes manifest a different properties [5, 4, 3, 6]. Among others, the wave dynamics in nerve demonstrates the specific response creation when a stimulus threshold exceeds [8, 7]. This response propagates in the form of solitary wave, behavior of which essentially differs from that of linear wave.
The first attempts to simulate this phenomenon have been performed in papers [9, 10]. A simplified form of this model (making it easier to analyze and use) was studied in [11]. An even simpler model, making possible the obtaining exact solutions, was proposed in paper [12, 13] and investigated in more details in [14, 15]. Despite of considerable successes in the nerve dynamics modeling, there are still many problems concerning the justification of mathematical models used. In other words, the starting models for pulse transmission belong to the class of parabolic equations leading to infinite velocities of wave propagation, which is unphysical. To agree the observed wave dynamics and properties of model applied, the hyperbolicity of equations can be incorporated into the model from the very beginning. Using the improved axon model [16] or the internal variables approach [17, 18, 20, 6, 19], the following modified FitzHugh-Nagumo is proposed:
[TABLE]
where is the phenomenological source term, , , and is the time of relaxation. Note that the model with as well as the model with piecewise (-shaped) continuous function is suitable for both the analytical [21, 22, 18, 23] and qualitative [24, 25] treatment.
In case when , where controls in fact the coordinates of nontrivial roots, the model has been studied by Miura [26]. Both of these cubic functions are evidently related by means of the scaling transformation. Indeed, the transformations
[TABLE]
allow one to pass from the system studied by Miura to the system (1) with
According to the theoretical studies performed in [27], the modeling system (1) still supports the solitary TW solutins, whose existence have been proved earlier for the case in [21, 22, 23, 28, 29]. However, the comprehensive numerical experiments with the solitary wave evolution, creation and interaction were not performed in [27]. The aim of this work is to fill in this gap by elucidating the properties of solitary wave dynamics within the framework of the mFHN model (1).
The structure of the paper is following. In Sec.2 we outline the results of phase space analysis for the dynamical system possessing the homoclinic solutions which relate to the solitary wave profiles. The solitary wave location in the parametric space is considered therein too. Sec. 3 presents the results of numerical studies of single solitary waves’ evolution. The analysis of spectral stability of solitary waves, based on the Evans function technique, is performed numerically in Sec. 4. The creation of fast solitary waves in piston problem and the mutual annihilation of a pair of identical fast solitary waves moving in opposite directions are discussed in Sec. 5. The paper ends up with concluding remarks at Sec. 6.
2 Trapping the solitary wave solution to the mFHN equation
In this studies we use Miura’s version of the source function . We thus are going to treat the traveling wave solutions , where is the wave velocity. Inserting this anzatz into (1), we obtain the following ODE system:
[TABLE]
Introducing the parameter and new variable , we finally get the dynamical system
[TABLE]
describing the family of TW solutions. Let us mention that due to the condition the velocity cannot be arbitrarily large (which is unphysical) because of the inequality . We also note that when replacing the inequality by , neither in this model, nor in its simplified analogue [18], soliton solutions were not found and there is the reason to believe that either they do not exist when or they are unstable, and therefore unobservable.
As is was shown in [26], at the system (2) possesses the homoclinic orbit bi-asymptotic to the origin. Now we want to ensure that the homoclinic loop also remains in the modified equation when the term with is added.
We start building a homoclinic curve with an analysis of the linearization of system (2) at the origin:
[TABLE]
The eigenvalues of the linearization matrix satisfy the characteristic equation
[TABLE]
We assume that the parameter’s value is such that the inequality is satisfied. Under this condition, the equation (4) possesses one positive real root, provided that the remaining parameters are positive. This means that there exists a one-dimensional unstable manifold starting from the origin. In fact, the unstable manifold has two branches, and we associate with the homoclinic trajectory that one, which is directed towards the first octant of the phase space. If the linearization matrix, in addition to the above mentioned positive eigenvalue, has a pair of roots with negative real parts, then the assumed homoclinic trajectory will return to the origin along the two-dimensional unstable manifold , which is tangent to the linear space spanned by the corresponding pair of eigenvectors. These conditions allow us to state the parameter constrains providing the possibility for homoclinic loop to exist. Advanced studies of the homoclinic orbit creation are based upon the small parameter technique application [27], which gives an additional information about the location of homoclinic trajectory in the parametric space. Taking this into account, we fix the parameters’ values as follows: and (in accordance with Miura’s suggestions [26]), , . In this case the eigenvalues of the matrix attain the values . We start from the initial data , , where is the eigenvector corresponding to the eigenvalue . Integration of dynamical system (2) with the appropriate initial data by means of standard command from the ”Mathematica” package allows us to identify the interval of velocities , where are the values of the parameter for which the trajectory tends to and , respectively.
Using the command ParametricNDSolve[], the value of is chosen with high accuracy for which the orbit, leaving the stationary point along approaches it at large values of as close as possible. Using this procedure, two homoclinic trajectories are identified at and . The wave corresponding to the smaller value of is traditionally called the slow solitary wave, whereas that corresponding to larger one – the fast wave. Their phase portraits are depicted in Figure 1. Note that the fast wave (Fig. 1(b)) is higher and wider in comparison with the slow one (Fig. 1(a)). Both wave profiles are unsymmetrical, which is connected with the dissipative character of the model.
No less interesting is the distribution of homoclinic orbits in the two dimensional parametric space , see Figure 2. The curves are plotted for (the smaller the value of , the higher is the corresponding curve in this figure). Note that variation of the parameter does not change the shape of the curve in essential way. All curves look like ”bananas” observed at for the classical FHN model [29]. The upper branch of “banana” corresponds to the fast solitary waves, while the lower one relates to the slow waves. However, a distinctive feature of the graphs obtained for our model is that the parameter does not rush to infinity when approaches zero from the right. When the parameter grows, the fast wave velocity reduces more rapidly than that of slow wave, and the gap between them becomes smaller. We note in conclusion that the coordinates of the inflection point of the curves are almost independent of the value of the parameter .
3 Simulation of the single solitary wave movement
Consider now the evolution of the single solitary wave defined by the solution of the dynamical system (2). At first, let us chose the profile of slow solitary wave, see Figure 1(a), as an initial condition for the PDE (1). In this case, , , , , the boundary conditions are periodic, i.e. , . Note that the initial profile needs some correction in the tail region, because of impossibility to approach to zero as close as necessary. Therefore, we match at certain point the right profile edge with the linear approximation of solution located in the plane tangent to at the origin. This trick results is as follows. Let , then we compose the following profile
[TABLE]
In fact, the position of gluing does not play an essential role as it will be shown below.
Among the numerical methods [26, 30, 28] suitable for simulation of the wave movement, the method of lines [31] is used. Consider the spatial interval . Let , , , be the equidistant mesh points in and on these lines , . Then the numerical scheme is as follows
[TABLE]
subjected to the initial condition , , . For the boundary points we prescribe , , , .
Note that the result of application of method of lines coincides also with the using of “Mathematica” package command NDSolve[ ].
It follows from Figure 3(a) that for some time the slow wave moves in a self-similar mode. Moreover, the weak nonsmoothness of the tail disappears. For the wave loses its stability, which is manifested in the deformation of initial profile. It turns out that the height of the wave grows causing the wave transformation into the fast solitary wave, as it can be seen comparing the resulting profiles in Figure 3(a) and Figure 3(b).
The fast solitary wave shows essentially different behavior. According to Figure 3(b), the wave propagates without change of the form, so it seems to be stable. To be convinced that the above conjectures are valid, in the following section the solitary wave stability is studied via the Evans function technique [35].
4 Study of spectral stability of the solitary waves
In present studies we are going to deal with the spectral stability concept when the spectrum of linearized operator allows one to predict the behavior of small disturbances in a vicinity of specified solution.
The operator in question is defined by the linearization of the system near the solitary wave solution . In studying spectral stability it is instructive to pass in (1) to traveling wave coordinates , in which the solitary wave solution becomes stationary. After doing this, we insert into (1) the ansatz of special form
[TABLE]
where is a small perturbation. In accordance with (2), we assume that Inserting the ansatz (5) into (1), and dropping out the terms of the order we get:
[TABLE]
where . The above equations can be rewritten in the form of the following generalized eigenvalue problem:
[TABLE]
Let us recall that if belongs to the spectrum of the operator , then the corresponding bounded solution satisfying specified boundary conditions is the eigenfunction corresponding to this eigenvalue. The wave is said to be spectrally stable if the spectrum has no intersection with the positive half-plane of the complex plane, [32, 37].
Investigation of the presence (or absence) of isolated eigenvalues of the operator in the positive half-plane is performed with the help of the Evans function technique [35, 36, 37]. Within this technique, we are interested in the set composed of solutions of the linear system (6) bounded as tends to and the set composed of solutions bounded at . In case when the sets and have a nonzero intersection, the linearized system has a bounded solution, and the eigenvalue for which this property takes place belongs to the discrete spectrum of the operator . The above condition is fulfilled, provided that the Wronskian of these solutions nullifies. Thus, the Evans function is defined as follows E(\lambda)=\mbox{ det}(Z^{-},Z^{+})\Bigr{|}_{z=0}.
The alternative definition can be formulated in the term of transmission coefficient [34, 33, 35]. In paper [35] it has been considered the case when the spectrum of contains only one eigenvalue with negative real part, and posseses only one eigenvalue with negative real part But , which is bounded at , as a solution of autonomous linear system possesses the component at . Thus, the bounded solution exists if the coefficient nullifies. In this context nullifying of the Evans function means the absence of unstable components in the set of solutions.
When the homoclinic orbit is studied, as in our case, . It can be checked, that for the eigenvalues of the matrix satisfy the inequalities . In order to get the appropriate signs of eigenvalues, the temporal variable in the system (6) is replaced with the variable having the opposite sign.
Applying this trick we arrive at the system whose eigenvalues satisfy the inequalities Then at the system possesses one-dimensional stable component, while at one-dimensional unstable and two-dimensional stable linear manifolds. If we start to integrate from stable solution at , then we intersect the one-dimensional unstable component at defining the Evans function. This strategy is realized numerically.
It is instructive to make the change of variables leading to the following representation:
[TABLE]
We are looking for the solution such that having the asymptotics as , and as . This system should be accompanied by the system describing the wave profile subjected by the proper initial condition. The solitary wave profile is taken from Figure 3 when the initial profile has moved during 10 time units and got rid of its original nonsmoothness. By placing this profile at the interval we identify the and . Thus, to get the Evans function values we should integrate (7) from to and extract the first coordinate of solutions . But to improve the convergence of evaluation, the recommendation from [35] can be applied and then , where is the left eigenvector of , .
At first, using the procedure outlined, the real valued Evans function is evaluated. Figure 4(a) illustrates the graph of corresponding to the slow solitary wave shown in Figure 3(a), whereas Figure 4(b) relates to the fast solitary wave depicted in Figure 3(b). Since in the former case possesses the positive root, then the slow solitary wave is unstable that agrees with the simulation results. The latter case tells us that there are no positive real roots only and thus we should consider in addition the possibility of complex roots existence.
To do this, the Nyquist diagram technique [36, 37] can be used. This method allows one to estimate a number of zeros located in the closed region for an analytic function. More precisely, the difference between numbers of zeros and poles is equal to a number of encircling the origin by the curve as it is prescribed by Cauchy’s argument principle.
Let us choose the contour in the form of half-circle with radius equal 2, see Figure 5(a), then their image via the Evans function is shown in Figure 5(b).
As we can see, the curve in Figure 5(b) does not surround the origin. Therefore, there are no zeros inside the contour shown in Figure 5(a). The same result is obtained when taking the contours of larger radius. Thus, the application of the Evans function technique confirms the instability of slow wave and does not reveal the instability of fast one.
5 On the formation of solitary waves and their behavior during mutual collisions
Piston problem for mFHN equation
Motivated by the question on the possible source of solitary wave appearance, we have opted to solve the piston problem for the mFHN model.
To do this, the appropriate boundary conditions should be prescribed. We considered the interval , where is large enough to make it possible the observation of the localized modes formation. Next, we fixed the initial condition as follows , . The piston at left edge had the velocity and moved to the right. So, the boundary condition , (or ) were posed. To match the velocity value at left edge and its value at , the initial profile for was chosen in the form
The results of simulation for is presented in Figure 6. We see that after some period of time (depending on ) the profile resembling the fast solitary wave is forming. Comparing the final profiles in Figure 6 and profiles in Figure 1(c) we can conclude that this is indeed the fast solitary wave observed at the end of simulation.
For the solitary wave formation was never observed. Thus, there is the threshold of separating the values at which in front of piston the solitary wave can be formed and values when the localized regimes do not appear.
Solitary waves collision
Another interesting problem is the solitary wave behavior during the mutual collisions. According to the Figure 6, the identical fast solitary waves moving towards each other annihilate after the collision. At the beginning they combine and form a one-humped standing wave, see Figure 6(a), which is destroyed as the time passes by, see Figure 6(b),(c).
6 Concluding remarks
To sum up, we have shown that, like the classical FHN model, the modified FitzHugh-Nagumo system (1) possesses the solitary waves solutions. At fixed parameters the solitary waves solutions are observed along the ”banana-shaped” curves in the parameter space In particular, the larger is the value of , the more lean the banana-shaped curve becomes. Increasing of also causes the decreasing of maximal solitary wave velocity, which is not surprising due to the inequality
Simulations of the single wave movement reveal that the fast solitary wave propagates in a self-similar mode, whereas the slow solitary wave with time begins to grow and finally transforms into the fast solitary wave. The latter means the instability of slow pulses. The simulation findings concerning the stability property of waves are confirmed by the analysis of the Evans function. It turns out that there is the positive real root of the Evans function evaluated for the slow pulse, which proves its instability. In the case of the fast pulse no real or complex Evans function roots in the right complex half-plane are fixed.
It is also shown that the fast solitary waves can appear in front of the piston moving into the medium described by the mFHN equations provided that its velocity exceeds some threshold value. The annihilation of two fast (stable) pulses of the same forms during the mutual is observed. The latter is rather typical for the dissipative systems.
Acknowledgements
The investigations carried out by two authors (AG and VV) were partially supported by the Faculty of Applied Mathematics AGH UST within subsidy of Ministry of Science and Higher Education of Poland, grant # 11.11.420.004
The reference list from the paper itself. Each links out to its DOI / PubMed record.
- 1[1] A.S. Makarenko, M. Moskalkov, and S. Levkov, On blow-up solutions in turbulence , Phys. Lett. A 23 (1997), pp. 391–397.
- 2[2] V.A. Danylenko, T.B. Danevych, O.S. Makarenko, S.I. Skurativskyi, and V.A. Vladimirov, Self-organization in nonlocal non-equilibrium media , Subbotin Institute of Geophysics, Kyiv 2011.
- 3[3] A.S. Davydov, Solitons in Molecular Systems , Reidel, Dodrecht, 1991.
- 4[4] A. Kolmogorov, I. Petrovskii, and N. Piskunov, Study of a Diffusion Equation That Is Related to the Growth of a Quality of Matter and Its Application to a Biological Problem, Bull. of Moscow State University, ser. Mathematics 1 (1937), pp. 1–26.
- 5[5] R.K. Dodd, J.C. Eilbeck, J.D. Gibbon and H.C. Morris, Solitons and Nonlinear Wave Equations , Academic Press, London, 1984.
- 6[6] S. Kar, S.K. Banik, and Sh. Ray, Exact solutions of Fisher and Burgers equations with finite transport memory , J. Phys. A: Math. Gen. 36(11) (2003), pp. 2771–2780.
- 7[7] A. Scott, Nonlinear Science , Oxford University Press, Oxford, 2003.
- 8[8] A. Hasegawa and Y. Kodama Solitons in Optical Communicatin , Calderon Press, Oxford, 1995.
