Russian Journal of Nonlinear Dynamics, 2019, vol. 15, no. 1, pp. 13-19. Full-texts are available at http://nd.ics.org.ru DOI: 10.20537/nd190102
NONLINEAR PHYSICS AND MECHANICS
MSC 2010: 37D40
On Integrability of the FitzHugh — Rinzel Model
N. A. Kudryashov
The integrability of the FitzHugh-Rinzel model is considered. This model is an example of the system of equations having the expansion of the general solution in the Puiseux series with three arbitrary constants. It is shown that the FitzHugh-Rinzel model is not integrable in the general case, but there are two formal first integrals of the system of equations for its description. Exact solutions of the FitzHugh-Rinzel system of equations are given.
Keywords: FitzHugh-Rinzel model, Painleve test, first integral, general solution, exact solution
1. Introduction
One of the most important problems now is understanding how impulses are propagated from one neuron to another. The solution of this problem would not only provide a better understanding of complex processes, but also allow significant progress in the creation of artificial intelligence.
It is well known that the classical standard model in neuroscience is the FitzHugh-Nagumo model. This model was presented in [1-3] as a simplification of the famous Hodgkin - Huxley model [4] for description of the impulse propagation from one neuron to another.
The FitzHugh-Nagumo model has been studied many times in the periodical literature. Some recent results can be found, for example, in [5-12].
There is an important question of the existence of exact solutions for many models in neuroscience. Firstly, we need to obtain analytical dependencies on time for activation functions in constructing neuron networks. Secondly, it is necessary to test different applications of models in neuroscience, and the best way is to check the mathematical model taking into account the exact solutions of nonlinear differential equations. To investigate the question of integrability and to find exact solutions of the nonlinear mathematical model, we can use the Painleve test.
Received March 03, 2019 Accepted March 17, 2019
This research was supported by the Russian Science Foundation under Grant No 18-11-00209 "Development of methods for investigation of nonlinear mathematical models".
Nikolay A. Kudryashov [email protected]
Department of Applied Mathematics, National Research Nuclear University MEPHI Kashirskoe sh. 31, Moscow, 115409 Russia
In the recent paper [15], the authors considered the analytical properties of the so-called FitzHugh - Rinzel model and built some simple solutions of the system of equations used to describe the process of neuron propagation. They showed that the general solution of a third-order equation is represented by a Puiseux series with three arbitrary constants.
This raises the question of the integrability of a third-order equation that corresponds to this system of equations.
The FitzHugh-Rinzel model is described by the following system of equations [13-15]:
1 3
vt = v - - V -w + y + Iext,
wt = S (v - fiw), (L1) yt = j (a - v - jy).
The system of equations (1.1) can be written in the form of third-order nonlinear ordinary equations at (3S = jj as follows:
I'm + (v2 + a - 1) vtt + 2vvf + (av2 + c) vt + ^ bv3 + ev- (Iext + a) (3^6 = 0, (1.2) where
a = (3S + j j, b = (3Syj, c = b — a + S + j, e = jS(@ + y) — b. (1.3)
The origin of the expansion for the general solution of the system of equations (1.1) with three arbitrary constants in the Puiseux series is explained by the fact that two of the three equations of the system are linear and therefore by definition do not have critical movable singular points. The first-order equation of the system (1.1) is nonlinear, but it always has a critical pole at t = t0 with the exception of quadratic nonlinearity.
The aim of this note is to consider the first integrals of the third-order differential equation (1.2) and to find the general solution of this equation taking into account the values of the Fuchs indices at the expansion of the general solution in the Puiseux series.
2. First integrals of the FitzHugh — Rinzel model
The first term of the expansion of the general solution in the Puiseux series can be found from the equation with the leading terms
d2 ( 1 \
vttt + v2 vtt + '2v vj = ivt + - v3 j = 0. (2.1)
We can note that the equation with leading terms is determined by calculating the second derivative of two terms of the first equation (1.1). We can see that Eq. (1.2) does not pass the Painleve test because there is the critical movable point in the expansion [16-21]. However, there is the expansion of the general solution of Eq. (1.2) in the Puiseux series with three arbitrary constants to, a3 and a5 in the form [15]
T a,3(t - to) ± -7- (1 + 166 - 16a - 16c) (t - to)3'2 =F a5 (t - i0) • • • • 4o
Let us note that we have a critical movable pole of the general solution and the three arbitrary constants t0, a3 and a5 for the expansion of the general solution in the Puiseux series. These arbitrary constants may correspond to first integrals with the leading terms of vt + m v3 and vtt + mv2 vt [22, 23].
With these observations in mind, we can look for the first integrals for Eq. (1.2) in the form
vtt = S (t) — v2 vt — mv3 — nvt — pv,
(2.3)
where the coefficients m, n, p and the function S(t) should be determined from the compatibility conditions with Eq. (1.2).
Differentiating Eq. (2.3) with respect to t and substituting Vttt and vtt into Eq. (1.2), we can find parameters m, n and p in the form
mi = ß 6 — 1, ni = i ß 6, pi = 6 + ß — ß 6,
3
m2 = T Ai — 1, = P2 = 6 + ß~Yß-
(2.4)
To obtain the equation for the function S(t), we have to take into account the additional condition for parameters fi, ô y and /j, of the third-order differential equation (1.2) in the form
ß (ßö — y ß) =0.
In this case we get the equation for the function S(t) in the form
St + ßöS = 0. At ß = 0 and ßö = ßY we obtain a first integral in the form
Vtt + V2 Vt + (ß5- 1) Ut + IU3 + 6(1 - ß) u = C\.
3
This first integral corresponds to the partial case of Eq. (1.2) at ß = 0
Vttt + (v2 + ßö — 1) vtt + 2 v v2 + (ßö u2 — ßö + ö) ut = 0.
Let us forget how Eq. (1.2) was obtained, then the first integral of Eq. (1.2) at ß = the form
Vtt + V2 Vt + 2 V v2 + (ß5- 1) Vt + V3 + 6 (l + ^ - ß^j V = Ci e~ßSt. This integral is also a special case of Eq. (1.2)
Vttt + {v2 + ß5-l) Vt + '2vv2t +ß5 2v2 + 2ß5-2 + ^ + ^j vt +
ßö
(2.5)
(2.6)
(2.7)
(2.8)
takes
(2.9)
ßH2
3
+
1 1
ß + Y
■ vs + ß2 ö2 ( 4 + - - 1 ) v = 0.
(2.10)
In the case 5 = 0 the system of equations is transformed into the system of two equations. At 5 = 0 we have y = -ft and the first integral of Eq. (2.9) can be written as
vt + \v3-v = (C2 + C1t) e~ßSt. 3
(2.11)
Y
Equation (1.2) at j = —f and j = —S takes the form
32 S2
vttt + (v2 +P6-i)vt + 2 v vj + 2/35 (v2 + f36 - l) vt + ^-r- v3 - p2 62 v = 0. (2.12)
3
The Cauchy problem for this equation can be solved using Eq. (2.11) with two arbitrary constants C1 and C2.
fS
Let us consider the case /j, = — using the system of equations (1.1). Substituting this condition into the system of equations (1.1), we have a system in the form
13
vt = v - - V -w + y + Iext,
Wt + Sfw = Sv, (2.13)
^ax 135(7 yt + fiby =-.
Y
Substituting y — w from the first equation of the system of equations (2.13) into the difference of the two last Eqs. (2.13), we have a second-order differential equation in the form
Vtt + V2 Vt + f3 6 Vt — Vt — f3 6 v — /3 6 Iext + \i36v3 + l—vt- — = 0. (2.14)
3 Y Y
3
Taking into account the Fuchs index equal to ^ we obtain a first integral in the form
vt +l-V3-V = Iext + J3+C2 e~j3St- (2-15)
Let us note that the first integral (2.15) coincides with the first integral of the third-order differential equation (1.2) at Ci = 0. These first integrals can be used for construction of exact solutions for the system of equations (1.1).
3. Exact solutions of the FitzHugh — Rinzel model
It seems to us that the general solution of the nonautonomous first-order differential equation (2.11) cannot be found. We could not find a general solution of Eq. (2.11) in the handbooks [24-26]. Naturally, the general solution of the equation at C1 = 0 and C2 = 0 cannot be found by the conventional methods presented, for the example, in [27-31]. At C1 = C2 = 0 we have the Bernoulli equation from (2.11) in the form
vt + iv3-v = 0, (3.1)
which is linearized by means of transformations
1,(t) = (3'2)
As a result, we have the equation
Ut + 2 u = 1 (3.3)
with the solution
w(t) = 1 + Ci e"2(3.4) Taking into account formula (3.2), we get a solution for u(t) in the form
v(t) = , V (3.5)
V ' a/1 + 3 Ci e 2t
Assuming C1 =0 and C2 = 0, we get an equation from (2.11) in the form
vt + -v3-v = C2e~l3St. (3.6)
3
Let us look for a solution of Eq. (3.6) in the form
v(t) = w(t) et. (3.7)
Substituting expression (3.7) into (3.6), we obtain
wt el + - w3 e3t = C2 e~l3St. (3.8) 3
The last equation is transformed at fS = —3 to the following integral:
w(t) = (3 C2)1/3 F(t), J ^ = C3 + 2(3^)1/3e2t. (3.9)
Calculating integral (3.9) with respect to F, we have a solution in the form
v(t) = et w(t) = et (3 C2)1/3 F(t), (3.10)
where the function F(t) is determined from the equation
In
F2 + F + 1 F'2 - 2F + 1
+ 2v3 arctan
+(2F + 1)
The solution of the FitzHugh-Rinzel system of equations (3.9) has two arbitrary constants. The authors of [15] considered the same dependence of t for functions y(t) and w(t) in the
form
a
y = w-~. (3.12)
In this case there are two equations in the form
1 3
Vt H— v — v = 0,
3 ' (3.13)
wt + f3j = 5 v.
The first equation of this system is linearized as we have shown before, and the second equation of the system is the first-order linear equation. However, this integrable case without the Painleve property corresponds to the second-order differential equation of the FitzHugh-Rinzel system of equations.
4. Conclusion
In this note we have considered the FitzHugh -Rinzel model for description of the propagation from one neuron to another. This topic was studied in the paper [15], and this note has been written under the influence of this article.
The main interest in this system of equations is due to the fact that the general solution of this system, due to the specificity of the system, has an expansion of the general solution in the Puiseux series with three arbitrary constants. In fact, there is a local general (though nonmero-morphic) solution to this system of equations. This raises the question of the global solution and the existence of first integrals for the third-order equation obtained from the FitzHugh - Rinzel system of equations.
In this note we have shown that there are two nonautonomous first integrals for the third-order differential equation corresponding to the FitzHugh-Rinzel system of equations which allow us to obtain some exact solutions of this system.
References
[1] FitzHugh, R., Impulses and Physiological States in Theoretical Models of Nerve Membrane, Bio-phys. J., 1961, vol.1, no. 6, pp. 445-466.
[2] Nagumo, J., Arimoto, S., and Yoshizawa, S., An Active Pulse Transmission Line Simulating Nerve Axon, Proc. of the IRE, 1962, vol. 50, no. 10, pp. 2061-2070.
[3] FitzHugh, R., A Kinetic Model for the Conductance Changes in Nerve Membranes, J. Cell. Comp. Physiol., 1965, vol.66, suppl. 2, pp. 111-117.
[4] Hodgkin, A. L. and Huxley, A. F., A Quantitative Description of Membrane Current and Its Application to Conduction and Excitation in Nerve, J. Physiol., 1952, vol. 117, no. 4, pp. 500-544.
[5] Postnikov, E.B. and Titkova, O.V., A Correspondence between the Models of Hodgkin - Huxley and FitzHugh - Nagumo Revised, Eur. Phys. J. Plus, 2016, vol. 131, no. 11, Art. 411.
[6] Saha, A. and Feudel, U., Extreme Events in FitzHugh - Nagumo Oscillators Coupled with Two Time Delays, Phys. Rev. E, 2017, vol.95, no. 6, 062219, 10 pp.
[7] Schmidt, A., Kasmatis, Th., Hizanidas, J., Provata, A., and Hovel, P., Chimera Patterns in Two-Dimensional Networks of Coupled Neurons, Phys. Rev. E, 2017, vol.95, no. 3, 032224, 13 pp.
[8] Zemskov, E. P., Tsyganov, M.A., and Horsthemke, W., Oscillatory Pulses and Wave Trains in a Bistable Reaction-Diffusion System with Cross Diffusion, Phys. Rev. E, 2017, vol.95, no. 1, 012203, 9 pp.
[9] Scott, A., Nonlinear Science. Emergence and Dynamics of Coherent Structures, 2nd ed., Oxford: Oxford Univ. Press, 2005.
[10] Kudryashov, N. A., Asymptotic and Exact Solutions of the FitzHugh - Nagumo Model, Reggul. Chaotic Dyn, 2018, vol. 23, no. 2, pp. 152-160.
[11] Kudryashov, N.A., Rybka, R. B., and Sboev, A. G., Analytical Properties of the Perturbed FitzHugh-Nagumo Model, Appl. Math. Lett., 2018, vol.76, pp. 142-147.
[12] Llibre, J. and Vidal, C., Periodic Solutions of a Periodic FitzHugh - Nagumo System, Internat. J. Bifur. Chaos Appl. Sci. Engrg, 2015, vol.25, no. 13, 1550180, 6pp.
[13] Rinzel, J., A Formal Classification of Bursting Mechanisms in Excitable Systems, in Mathematical Topics in Population Biology, Morphogenesis and Neurosciences, E. Teramoto, M. Yamaguti (Eds.), Lecture Notes in Biomath., vol.71, Berlin: Springer, 1987, pp. 267-281.
[14] Belykh, V. N. and Pankratova, E. V., Chaotic Synchronization in Ensembles of Coupled Neurons Modeled by the FitzHugh - Rinzel System, Radiophys. Quantum El., 2006, vol.49, no. 11, pp. 910921; see also: Izv. Vyssh. Uchebn. Zaved. Radiofizika, 2006, vol.49, no. 11, pp. 1002-1014.
[15] Zemlyanukhin, A.I. and Bochkarev, A. V., Analytical Properties and Solutions of the FitzHugh-Rinzel Model, Russian J. Nonlinear Dyn., 2019, vol. 15, no. 1, pp. 3-12.
[16] Painleve, P., Sur les equations différentielles du second ordre et d'ordre superieur dont l'integrale generale est uniforme, Acta Math.., 1902, vol. 25, pp. 1-85.
[17] Gambier, B., Sur les equations differetielles dont l'integrate generale est uniforme, C. R. Acad. Sci. Paris, 1906, vol. 142, pp. 266-269, 1403-1406, 1497-1500.
[18] Kudryashov, N. A., Amalgamations of the Painleve Equations, J. Math. Phys., 2003, vol.44, no. 12, pp.6160-6178.
[19] Borisov, A. V. and Kudryashov, N. A., Paul Painleve and His Contribution to Science, Regul. Chaotic Dyn, 2014, vol. 19, no. 1, pp. 1-19.
[20] Kudryashov, N. A., Higher Painleve Transcensents As Special Solutions of Some Nonlinear Integrable Hierarchies, Regul. Chaotic Dyn., 2014, vol. 19, no. 1, pp. 48-63.
[21] Kudryashov, N. A., Nonlinear Differential Equations Associated with the First Painleve Hierarchy, Appl. Math. Lett., 2019, vol. 90, pp. 223-228.
[22] Kudryashov, N. A., Exact Solutions of the Equation for Surface Waves in a Convecting Fluid, Appl. Math. Comput, 2019, vol. 344/345, pp. 97-106.
[23] Kudryashov, N. A., Exact Solutions and Integrability of the Duffing - van der Pol Equation, Regul. Chaotic Dyn, 2018, vol.23, no. 4, pp. 471-479.
[24] Polyanin, A. D. and Zaitsev, V. F., Handbook of Exact Solutions for Ordinary Differential Equations, 2nd ed., Boca Raton, Fla.: Chapman & Hall/CRC, 2002.
[25] Polyanin, A.D. and Zaitsev, V.F., Handbook of Nonlinear Partial Differential Equations, 2nd ed., Boca Raton, Fla.: CRC, 2012.
[26] Polyanin, A.D. and Zaitsev, V.F., Handbook of Ordinary Differential Equations: Exact Solutions, Methods, and Problems, Boca Raton, Fla.: Chapman & Hall/CRC, 2017.
[27] Kudryashov, N.A., Exact Solutions of the Generalized Kuramoto-Sivashinsky Equation, Phys. Lett. A, 1990, vol.147, nos. 5-6, pp. 287-291.
[28] Kudryashov, N. A., Solitary and Periodic Solutions of the Generalized Kuramoto-Sivashinsky Equation, Regul. Chaotic Dyn., 2008, vol. 13, no. 3, pp. 234-238.
[29] Kudryashov, N. A., One Method for Finding Exact Solutions of Nonlinear Differential Equations, Commun. Nonlinear Sci. Numer. Simul., 2012, vol. 17, no. 6, pp. 2248-2253.
[30] Kudryashov, N. A., Polynomials in Logistic Function and Solitary Waves of Nonlinear Differential Equations, Appl. Math. Comput, 2013, vol. 219, no. 17, pp. 9245-9253.
[31] Kudryashov, N.A., Painleve Analysis and Exact Solutions of the Korteweg-de Vries Equation with a Source, Appl. Math. Lett., 2015, vol.41, pp. 41-45.