1. Introduction
The main objective of this article is to provide some insights about the qualitative analysis of a non-autonomous neuronal network of Hodgkin-Huxley (HH) Reaction-Diffusion (RD) equations. The model under consideration writes as follows
The dynamics of each individual neuron is described by a standard HH equation containing ionic (sodium, potassium, leakage) fluxes and a spatial diffusion term. We refer for example to [
1,
2,
3] and references therein for details about the HH RD systems. Functions and parameters on the above equation are as follows
These values correspond to the ones found in [
3]. As for the space domain, we consider a one dimensional interval
. We assume Neumann boundary conditions. Each neuron is embedded in a network and receives inputs from its presynaptic neurons trough the coupling term
with,
Since
is a sigmoid function, the presynaptic neurons
of
will have an effect only when they spike. The parameter
S is set to
which means that when there is enough presynaptic activity, the neuron
will tend to
S; this corresponds to depolarization and eventually a spike. This means that in our network all neurons have an excitatory effect. As we deal with spatial extended neurons, we need to specify where the connectivity arises with respect to the spatial position. We assume that the neurons are connected from the right-end side of the presynaptic neuron
j to the left-end side of the post-synaptic neuron
i. This is to model the fact that action potential travel trough the axon in one direction and kick the post-synaptic neuron through synaptic connections. As a consequence, the function
c is generally set to zero everywhere but in the left-end part of size
l,
of the neuron. We assume that
c has the following expression
and we use the term
to express that only the right-end side of the presynaptic neuron
j connects to the left-end side of the neuron
i. Finally, the network topology is set as follows. We assume that there is three levels in the network which separate the network into three sets of neurons. At level one, the set one contains three neurons which receive periodic input
. Each of this three neurons possesses only one unidirectional connection to a unique neuron in level two. Therefore, the second set of neurons contains also three neurons, each of which receives an input for a single neuron of level 1. The neurons in this second set connect to all neurons of level 2 and 3. Finally the last set of neurons, which correspond to level 3 are connected to all of the neurons of level 2 and 3, but do not receive any inputs from neurons of level 1. The network topology is represented in
Figure 1.
Finally the functions
are set to 0 for all but the 3 neurons in the set 1. For these 3 neurons, indexed by
a periodic signal is injected at neuron’s left-end as follows,
for
for some small
l and 0 elsewhere. The dynamics of the
ODE have been widely studied. For the parameters’ values considered here, it is known from numerical studies that the HH system undergoes a subcritical Hopf Bifurcation around
. For a certain region of
, one can observe the coexistence of stable limit-cycle and a stable stationary point. In the next section we will consider a non-autonomous HH ODE system.
The present article is a theoretical and numerical investigation of Equation (1), a mathematical model which arises in neuroscience context. Aside from the standard HH framewoek, several specificities of the model, namely periodic stimulation at different locations with specific frequencies, are indeed inspired by recent studies which are worth to mention here. The topic of brain dynamics modeling has attracted an increasing interest in particular for the therapeutical potential of Non-Invasive Brain Stimulation (NIBS), see for example [
4] for a summary about the Transcranial alternating current stimulation (tACS) method, its mechanisms, use for cognitive applications, and novel developments for personalized stimulation. A software, SimNIBS has been developed to simulate NIBS on realistic domains representing brain geometries, see [
5]. SimNIBS is based on finite element methods to solve time dependent Poisson equations. In the context of EEG data driven modeling, recent studies have shown the importance of periodic current sources to retrieve real spatiotemporal signals, see [
6,
7]. HH neural networks have also been used recently to model the effect of specific frequency stimulation to help patients suffering from Post-Traumatic Stress Disorder (PTSD), see [
8].
3. Theoretical Framework and Analysis
In this section, we provide some theoretical results. We start we the existence of solutions in an appropriate functional space. Let the space of continuous functions defined on the real interval . The following result holds.
Theorem 1. Assume that , and that for all and . Then,
-
1.
There exists a unique solution of Equation (1) in .
-
2.
For all , for all and ,
-
3.
.
Proof. The proof is based on the semigroup generated by the operator
with NBC and the fact that
ODE has a an invariant region. We refer to [
3] in which the details have been provided for a similar system. □
Let , and let denotes the set of indices of level 3 in the network. The next proposition emphasizes that is a solution of Equation (1)
Proposition 1.
We assume that at , , then
Proof. Since for neurons in level 3 the network topology is of all to all type, each single neuron receives the same inputs. □
What is more striking for this non-autonomous network, is that the synchronizes solution attracts other solutions. The next result provides mathematical insights about this fact. It indicates that the coupling practically implies an "energy" decrease. Let
Theorem 2.
The following inequality holds:
where are positive constants.
Proof. Let
. We compute
We have
where
denotes the classical reaction term in the first equation of HH. Note that
, we ommit that part for simplicity. We consider different terms successively.
□
4. Synchronization in the Forced Network of PDE HH Equations
This section focuses on the illustration of numerical results obtained from simulation of Equation (1). Simulations were carried out using our own C++ program, with a finite difference scheme in space and a Runge-Kutta 4 method in time. The time step was
and the space step was 1. The space domain was
, and
.
Figure 5 illustrates the time evolution of the potential for three neurons at three distinct location. The first row, in blue, corresponds to a neuron of level 1. It receives a periodic input
. The second row, in green corresponds to the unique neuron connected to the first one. Finally, the third row, in red, corresponds to a neuron in level 3. The first column corresponds to
, the second column corresponds to
, the last column corresponds to
. This illustrates how the signal is propagated from left to right and how small oscillations in the left of the neuron are filtered. The colors as those in
Figure 1.
Figure 6 and
Figure 7 illustrate the synchronization phenomenon for neurons in level 3. Although, initial conditions were different, asymptotically they are the same: the synchronized manifold attracts some solutions.
Figure 6 illustrates the time evolution of the potential for different neurons at fixed spaces. In each panel, two neurons are represented. The curves are almost indistinguishable to the naked eye emphasizing the synchronization phenomenon.
In our neural network, when we exclude from the network the neurons we have stimulated(blue) and the neurons that are unidirectionally connected to the stimulated neurons(green), we observe that the rest of the network synchronizes(red). In
Figure 7, even if we perturb the initial conditions, we observe identical synchronization.