Abstract
In this article, the periodic version of the classical Da Prato–Grisvard theorem on maximal \({{L}}^p\)-regularity in real interpolation spaces is developed, as well as its extension to semilinear evolution equations. Applying this technique to the bidomain equations subject to ionic transport described by the models of FitzHugh–Nagumo, Aliev–Panfilov, or Rogers–McCulloch, it is proved that this set of equations admits a unique, strong T-periodic solution in a neighborhood of stable equilibrium points provided it is innervated by T-periodic forces.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Given a sectorial operator \({\mathcal {A}}\) on a Banach space X, the problem of maximal regularity for the inhomogenous Cauchy problem
received a lot of attention since the pioneering articles by Da Prato–Grisvard [10], Dore–Venni [13] and Lunardi [22]. Nowadays, due to a result due to Weis [26], it is well known that for X being a UMD-space and \(1<p<\infty \), maximal \({{L}}^p\)-regularity of (ACP) can be characterized in terms of the \({\mathcal {R}}\)-boundedness of the resolvent of \({\mathcal {A}}\). For further information, see also [11, 12] and [23].
The aim of this article is twofold: we first study maximal regularity of the inhomogeneous Cauchy problem within the periodic setting
as well as for its semilinear counterpart. The results are then applied to the bidomain equations with FitzHugh–Nagumo transport. This is a well-established system of equations describing the electrical activities of the heart, see, e.g., Colli Franzone et al. [7] and the monograph by Keener and Sneyd [21].
Let us start by describing the problem of maximal periodic regularity for the period \(T = 2 \pi \). We say that \({\mathcal {A}}\) admits maximal periodic \({{L}}^p\)-regularity, if for all \(f \in {{L}}^p(0,2\pi ;X)\) Eq. (PACP) with \(T = 2 \pi \) admits a unique solution u within the class
It was proved by Arendt–Bu [4] that, given \(1<p<\infty \), X a UMD-space, and \({\mathcal {A}}:D({\mathcal {A}}) \rightarrow X\) a closed operator, \({\mathcal {A}}\) admits maximal periodic \({{L}}^p\)-regularity if and only if
For definitions of UMD-spaces and \({\mathcal {R}}\)-bounded families of operators as well as their properties, we refer, e.g., to [11] or [20].
In this article, we have the following two extensions of this result in mind: The first is, that some situations make it necessary to handle the case \(p = 1\). However, it is known that if maximal regularity holds for (ACP) for \(p=1\), then X is necessarily a non-reflexive space and that contradicts the \({\mathrm {UMD}}\)-property. The second extension we have in mind is to provide an elegant way to treat polynomial nonlinearities. These can be estimated easily if the ground space X is a Banach algebra. The largest Banach algebra within the scale of Sobolev spaces is the Besov space \({\mathrm {B}}^{n / p}_{p , 1}\), which is again not reflexive and thus does not enjoy the \({\mathrm {UMD}}\)-property. In the classical maximal regularity theory for (ACP), a result accounting for these issues is the well-known theorem of Da Prato and Grisvard. In fact, let \(-{\mathcal {A}}\) be the generator of a bounded analytic semigroup \({\mathrm {e}}^{-t{\mathcal {A}}}\) on a Banach space X with domain \(D({\mathcal {A}})\). For \(\theta \in (0 , 1)\) and \(1 \le p < \infty \), we denote by \(D_{{\mathcal {A}}}(\theta ,p)\) the space defined as
When equipped with the norm \(\Vert x\Vert _{\theta ,p}:=\Vert x\Vert + [x]_{\theta ,p}\), the space \(D_{{\mathcal {A}}}(\theta ,p)\) becomes a Banach space. It is well known that \(D_{{\mathcal {A}}} (\theta , p)\) coincides with the real interpolation space \((X , D({\mathcal {A}}))_{\theta , p}\) and that the respective norms are equivalent. If \(0 \in \rho ({\mathcal {A}})\), then the real interpolation space norm is equivalent to the homogeneous norm \([\cdot ]_{\theta ,p}\), see [17, Corollary 6.5.5].
Let now \(\theta \in (0 , 1)\), \(1 \le p < \infty \), and \(0< T < \infty \). Then, for \(f \in {{L}}^p(0 , T ; D_{{\mathcal {A}}}(\theta , p))\) we consider
which is the unique mild solution to the abstract Cauchy problem (ACP) and fulfills, thanks to the classical Da Prato and Grisvard theorem [10], the following maximal regularity estimate.
Theorem 1.1
([10, Da Prato–Grisvard]) Let \(\theta \in (0 , 1), 1 \le p < \infty \), and \(0< T < \infty \). Then there exists a constant \(C > 0\) such that for all \(f \in {{L}}^p(0 , T ; D_{{\mathcal {A}}}(\theta , p))\), the function u given by (1.2) satisfies \(u(t) \in D({\mathcal {A}})\) for almost every \(0< t < T\) and
As counterpart to the Arendt–Bu theorem characterizing maximal periodic \({{L}}^p\)-regularity for \(1<p<\infty \) and X being a UMD-space, we provide a short derivation of a periodic version of Theorem 1.1. As the classical Da Prato–Grisvard theorem, it holds for \(1\le p < \infty \) and arbitrary Banach spaces X.
To formulate this result, we define the periodicity of a measurable function as follows. For \(0< T < \infty \), we call a measurable function \(f : {\mathbb {R}}\rightarrow X\) periodic of period T if \(f (t) = f(t + T)\) holds true for almost all \(t \in (- \infty , \infty )\). Then, formally, a candidate for a solution u to (PACP) is given by
The periodic version of the Da Prato–Grisvard theorem now states that, under certain assumptions on \({\mathcal {A}}\) and f, u is indeed well-defined, continuous, and periodic and satisfies a maximal regularity estimate in the sense of Da Prato–Grisvard. More precisely, let \(- {\mathcal {A}}\) be the generator of a bounded analytic semigroup on X with \(0 \in \rho ({\mathcal {A}})\), let \(\theta \in (0 , 1)\), \(1 \le p < \infty \), and \(0< T < \infty \). We then show that there exists a constant \(C > 0\) such that for all T-periodic functions \(f : {\mathbb {R}}\rightarrow D_{{\mathcal {A}}} (\theta , p)\) with \(f_{|(0 , T)} \in {{L}}^p(0 , T ; D_{{\mathcal {A}}} (\theta , p))\) the function u defined by (1.3) lies in \({{C}}({\mathbb {R}}; D_{{\mathcal {A}}} (\theta , p))\), is periodic of period T, satisfies \(u (t) \in D({\mathcal {A}})\) for almost every \(t \in {\mathbb {R}}\), and satisfies
Our second aim is to apply the above technique to the bidomain equations with FitzHugh–Nagumo (or related) transport terms as well as to the Allen–Cahn equations. Note that these equations are, however, semilinear evolution equations. Hence, in order to follow the above strategy, we first need to develop a semilinear version of the periodic Da Prato–Grisvard theorem. This will be done in Sect. 3.
The bidomain system is given by
subject to the boundary conditions
and the initial data
Here \(\varOmega \subset {\mathbb {R}}^n\) denotes a domain describing the myocardium, the functions \(u_{\mathrm{i}}\) and \(u_{\mathrm{e}}\) model the intra- and extracellular electric potentials, \(u := u_{\mathrm{i}}- u_{\mathrm{e}}\) denotes the transmembrane potential, and \(\nu \) denotes the outward unit normal vector to \(\partial \varOmega \). The anisotropic properties of the intra- and extracellular tissue parts will be described by the conductivity matrices \(\sigma _{\mathrm{i}}(x)\) and \(\sigma _{\mathrm{e}}(x)\). Furthermore, \(I_{\mathrm{i}}\) and \(I_{\mathrm{e}}\) stand for the intra- and extracellular stimulation current, respectively. The variable w, the so-called gating variable, corresponds to the ionic transport through the cell membrane.
Mathematical models describing the propagation of impulses in electrophysiology have a long tradition starting with the classical model by Hodgkin and Huxley in the 1950s, see, e.g., [1, 3, 8, 14, 24] and the recent survey article of Stevens [25]. In this article, we consider the bidomain model subject to various models for the ionic transport including the models by FitzHugh–Nagumo, Aliev–Panfilov, and Rogers–McCulloch. The FitzHugh–Nagumo model reads as
where \(0<a<1\) and b, \(c > 0\). The Aliev–Panfilov model as well as the Rogers–McCulloch model are described in detail in Sect. 4.
Note that the so-called bidomain operator is a very non-local operator, which makes the analysis of this equation seriously more complicated compared, e.g., to the classical Allen–Cahn equation.
The rigorous mathematical analysis of this system started with the work of Colli Franzone and Savaré [9], who introduced a variational formulation of the problem and showed the global existence and uniqueness of weak and strong solutions for the FitzHugh–Nagumo model. In 2009, a new approach to this system was presented by Bourgault, Coudière, and Pierre in [6]. They introduced for the first time the so-called bidomain operator A within the \({{L}}^2\)-setting and showed that it is a nonnegative and self-adjoint operator. They further showed the existence and uniqueness of a local strong solution and the existence of a global, weak solution to the system above for a large class of ionic models.
New impetus to the field was recently given by Giga and Kajiwara [15], who investigated the bidomain equations within the \({{L}}^p\)-setting for \(1<p\le \infty \). They showed that the negative of bidomain operator A is the generator of an analytic semigroup on \({{L}}^p(\varOmega )\) for \(p \in (1,\infty ]\) and constructed a local, strong solution to the bidomain system within this setting.
Very recently the bidomain operator A was shown to admit a bounded \({\mathrm {H}}^\infty \)-calculus on \({{L}}^p_0(\varOmega )\), see [19]. Moreover, using the theory of critical spaces, it was shown in [18] that the bidomain equations admit global, strong solutions for \(d=2,3\) for initial data lying in critical Besov spaces.
In this context, it is now a natural question to ask, whether the bidomain equations admit time-periodic solutions. Of course, periodic solutions can be formulated in various ways and various regularity classes, ranging from weak over mild to strong solutions. In this article, we are interested in unique, strong periodic solutions. We show that the innervated system admits a unique, strong time-periodic solution of period T provided the outer forces \(I_{\mathrm{i}}\) and \(I_{\mathrm{e}}\) are both time-periodic of period \(T>0\). Our approach to the existence of unique, strong T-periodic solutions to the bidomain equations in a neighborhood of stable equilibrium points is the semilinear version of the periodic Da Prato–Grisvard theorem in Sect. 3.
Let us emphasize that we consider here the full bidomain model taking into account the anisotropic phenomena and not only the so-called monodomain approximation.
Recently, a very different approach to periodic solutions to the bidomain equations was developed by Giga, Kajiwara, and Kress [16]. They showed the existence of a strong, periodic solution to the bidomain equations for arbitrary large \(f \in {{L}}^2(\varOmega )\) based on a weak-strong uniqueness argument. Observe, however, that this approach does, by its nature, not yield uniqueness of the periodic solution. On the other hand, the semilinear version of the periodic Da Prato–Grisvard theorem given in Sect. 3 yields existence and uniqueness of a periodic solution and allows also to consider forcing terms \(f \in {{L}}^p(0,T;D_{A}(\theta ,p))\).
This paper is organized as follows: Sect. 2 presents the periodic version of the Da Prato–Grisvard theorem, which will be extended in Sect. 3 to the semilinear setting. In Sect. 4, we present our second main result, the existence of a unique, strong T-periodic solution to the bidomain equations subject to a large class of models for the ionic transport. The proofs of the main results concerning the bidomain equations will be given in Sect. 5.
2 A periodic version of the Da Prato–Grisvard theorem
Let X be a Banach space and \(- {\mathcal {A}}\) be the generator of a bounded analytic semigroup on X, i.e., \({\mathcal {A}}\) is closed and densely defined and there exists \(\theta \in (\pi / 2 , \pi )\) and \(C > 0\) such that \(\varSigma _{\theta }:=\{\lambda \in {\mathbb {C}}{\setminus } \{0\}: |{\mathrm {arg}} \lambda | < \theta \} \subset \rho (- {\mathcal {A}})\) and such that for all \(\lambda \in \varSigma _{\theta }\) we have
In order to formulate the periodic version of the Da Prato–Grisvard theorem let \(\theta \in (0 , 1)\) and \(1 \le p < \infty \) and recall the space \(D_{{\mathcal {A}}} (\theta , p)\) defined in (1.1). Let \(0< T < \infty \) and assume that \(f : {\mathbb {R}}\rightarrow D_{{\mathcal {A}}} (\theta , p)\) is periodic of period T. We recall that the periodic version of (ACP) reads as
Formally, a candidate for a solution u to (PACP) is given by (1.3). The following lemma shows that, under certain assumptions on \({\mathcal {A}}\) and f, u is indeed well-defined, continuous, and periodic.
Lemma 2.1
Let \(f : {\mathbb {R}}\rightarrow D_{{\mathcal {A}}} (\theta ,p)\) be a T-periodic function satisfying \(f_{|(0 , T)} \in {{L}}^p(0 , T ; D_{{\mathcal {A}}} (\theta , p))\) and assume that \(0 \in \rho ({\mathcal {A}})\). Then, the function u defined by (1.3) is well-defined, satisfies \(u \in {{C}}( {\mathbb {R}}; D_{{\mathcal {A}}} (\theta , p))\), and is T-periodic.
Proof
Let \(k_0 \in {\mathbb {Z}}\) be such that \(- k_0 T < t \le - (k_0 - 1) T\). Using Hölder’s inequality, the periodicity of f, and the exponential decay of \({\mathrm {e}}^{-t {\mathcal {A}}}\), we obtain
for some \(\omega >0\). It follows that u is well defined. For the continuity of u, we write for \(h > 0\)
By the boundedness of the semigroup it suffices to consider the second integral. This resembles the expression from the first part of the proof but with f being replaced by \([ {\mathrm {e}}^{- h {\mathcal {A}}} - {{\,\mathrm{Id}\,}}] f\). Thus,
and the right-hand side tends to zero as \(h \rightarrow 0\) by Lebesgue’s theorem. The periodicity of u directly follows by using the transformation \(s^{\prime } = s + T\) and the periodicity of f. \(\square \)
We now state the periodic version of the Da Prato–Grisvard theorem.
Proposition 2.2
Let X be a Banach space and \(- {\mathcal {A}}\) be the generator of a bounded analytic semigroup on X with \(0 \in \rho ({\mathcal {A}})\). Let \(\theta \in (0 , 1)\), \(1 \le p < \infty \), and \(0< T < \infty \).
Then there exists a constant \(C > 0\) such that for all T-periodic functions \(f : {\mathbb {R}}\rightarrow D_{{\mathcal {A}}} (\theta , p)\) with \(f_{|(0 , T)} \in {{L}}^p(0 , T ; D_{{\mathcal {A}}} (\theta , p))\) the function u defined by (1.3) lies in \({{C}}({\mathbb {R}}; D_{{\mathcal {A}}} (\theta , p))\), is periodic of period T, satisfies \(u (t) \in D({\mathcal {A}})\) for almost every \(t \in {\mathbb {R}}\), and satisfies
Proof
The continuity and periodicity of u are proven in Lemma 2.1. Let \(t \in [0 , T)\) and use the transformation \(s^{\prime } = s + (k + 1) T\) for \(k \in {\mathbb {N}}_0\) as well as that f is periodic to write
Set \( {\mathfrak {u}}:= \int _0^T {\mathrm {e}}^{- (T - s) {\mathcal {A}}} f(s) \; {\mathrm {d}}s\). Since Theorem 1.1 implies
and
the exponential decay of the semigroup implies that it suffices to prove the estimate
Following Lemma 4.14 and Theorem 4.15 of [10], estimate (2.2) holds true provided \({\mathfrak {u}}\) belongs to the space of traces \({\mathcal {T}}\) at 0 of functions belonging to the maximal regularity class \({\hbox {MR}}:=\{u \in {{L}}^p(0 , T ; D({\mathcal {A}})): u^{\prime }, {\mathcal {A}}u \in {{L}}^p(0 , T ; D_{{\mathcal {A}}} (\theta , p)) \}\). Observe that the function \(v:[0,T] \rightarrow X, t \mapsto \int _0^t {\mathrm {e}}^{-(t-s){\mathcal {A}}}f(s) {\mathrm {d}}s\) belongs to MR and hence so does \(v(T - \cdot )\). Consequently, \({\mathfrak {u}}= v(T) \in {\mathcal {T}}\) and the proof is complete. \(\square \)
Remark 2.3
We remark that estimate (2.2) can be obtained not only by interpolation methods as explained in the proof above but also by elementary considerations based on Hölder’s inequality and Fubini’s theorem. For the convenience of the reader, we present here also this elementary proof. To this end, let \(\gamma _1 , \gamma _2 \in (0 , 1)\) with \(\gamma _1 + \gamma _2 = 1\) and \(1 / p^{\prime }< \gamma _2 < 1 - \theta + 1 / p^{\prime }\), where \(p^{\prime }\) denotes the Hölder conjugate exponent to p. Then, the boundedness and the analyticity of the semigroup and Hölder’s inequality imply
Next, \(t > 0\) implies
An application of (2.3) and Fubini’s theorem yields
as well as
Another application of Fubini’s theorem yields
where \(\gamma = p (1 + 1 / p^{\prime } - \theta - \gamma _2)\) and
We finally obtain
Now, let \(\vartheta _1 , \vartheta _2 , \vartheta _3 \in (0,1)\) with \(\vartheta _1 + \vartheta _2 + \vartheta _3 = 1\), \(\vartheta _1 < \theta \), \(\vartheta _2 p^{\prime } < 1\) and \(\vartheta _3 p < 1\). Since \(D_{{\mathcal {A}}}(\theta , p) \hookrightarrow D({\mathcal {A}}^{\vartheta _1})\) the bounded analyticity of \({\mathrm {e}}^{-t{\mathcal {A}}}\), Hölder’s inequality, and the above embedding implies
Consequently,
\(\square \)
We conclude this section by showing that, under the assumptions of Proposition 2.2, u defined by (1.3) indeed is the unique strong solution to \({\mathrm {(PACP)}}\).
Proposition 2.4
Under the hypotheses of Proposition 2.2the function u defined by (1.3) is the unique strong solution to \({\mathrm {(PACP)}}\), i.e., u is the unique periodic function of period T in \({{C}}({\mathbb {R}}; X)\) that is for almost every \(t \in {\mathbb {R}}\) differentiable in t, satisfies \(u(t) \in D({\mathcal {A}})\), and \({\mathcal {A}}u \in {{L}}^p(0,T;X)\), and u solves
Proof
First of all, u is periodic by Lemma 2.1 and since \(D_{{\mathcal {A}}} (\theta , p)\) continuously embeds into X the very same lemma implies \(u \in {{C}}({\mathbb {R}}; X)\).
Assume first that \(f_{|(0 , T)} \in {{L}}^p(0 , T ; D({\mathcal {A}}))\). Then, by a direct calculation, u defined by (1.3) is differentiable, satisfies \(u(t) \in D({\mathcal {A}})\), and solves
for every \(t \in {\mathbb {R}}\). The density of \({{L}}^p(0 , T ; D({\mathcal {A}}))\) in \({{L}}^p(0 , T ; D_{{\mathcal {A}}} (\theta , p))\) and the estimate proven in Proposition 2.2 imply that all these properties carry over to all right-hand sides in \({{L}}^p(0 , T ; D_{{\mathcal {A}}} (\theta , p))\) (but only for almost every \(t \in {\mathbb {R}}\)) by an approximation argument.
For the uniqueness, assume that \(v \in {{C}}({\mathbb {R}}; X)\) with \(v^{\prime }, {\mathcal {A}}v \in {{L}}^p(0,T;X)\) is another periodic function of period T which satisfies the equation for almost every \(t \in {\mathbb {R}}\). Let \(w := u - v\). Then w satisfies
In this case, for \(t > 0\), w can be written by means of the semigroup as \(w (t) = {\mathrm {e}}^{- t {\mathcal {A}}} (u(0) - v(0))\). Now, the exponential decay of the semigroup and the periodicity of w imply that w must be zero for all \(t \in {\mathbb {R}}\). \(\square \)
For \(0< T < \infty \), we define the solution space \({\mathbb {E}}_{{\mathcal {A}}}^{{\mathrm {per}}}\) as
with norm
which corresponds to the data space
Combining Propositions 2.2 and 2.4 shows that for each periodic f with period T and \(f_{|(0 , T)} \in {{L}}^p(0 , T ; D_{{\mathcal {A}}} (\theta , p))\) also \(u^{\prime }_{|(0 , T)} \in {{L}}^p(0 , T ; D_{{\mathcal {A}}} (\theta , p))\). The same is true for u since \(0 \in \rho ({\mathcal {A}})\). Summarizing, there exists a constant \(C > 0\) such that
3 Time-periodic solutions for semilinear equations
In this section, we use the periodic version of the Da Prato–Grisvard theorem to construct time-periodic solutions to semilinear parabolic equations by employing Banach’s fixed point theorem.
3.1 An existence theorem for general types of nonlinearities
Let \(- {\mathcal {A}}\) be the generator of a bounded analytic semigroup \({\mathrm {e}}^{-t {\mathcal {A}}}\) on a Banach space X with the domain \(D({\mathcal {A}})\) and \(0 \in \rho ({\mathcal {A}})\). For \(T > 0\), \(\theta \in (0 , 1)\), and \(1 \le p < \infty \) let \(f : {\mathbb {R}}\rightarrow D_{{\mathcal {A}}}(\theta , p)\) be periodic of period T with \(f_{|(0 , T)} \in {{L}}^p(0 , T ; D_{{\mathcal {A}}} (\theta , p))\). We are aiming for the strong solvability of
under some smallness assumptions on f. The solution u will be constructed in the space of maximal regularity \({\mathbb {E}}_{{\mathcal {A}}}^{{\mathrm {per}}}\) defined in (2.5). Recall the corresponding data space
and let \({\mathbb {B}}_\rho := {\mathbb {B}}^{{\mathbb {E}}_{{\mathcal {A}}}^{{\mathrm {per}}}} (0 , \rho )\) denote the ball in \({\mathbb {E}}_{{\mathcal {A}}}^{{\mathrm {per}}}\) centered at 0 and with radius \(\rho > 0\). For the nonlinear term F, we make the following standard assumption.
Assumption N
There exists \(R > 0\) such that the nonlinear term F is a mapping from \({\mathbb {B}}_R\) into \({\mathbb {F}}_{{\mathcal {A}}}\) and satisfies
where \({\hbox {DF}} : {\mathbb {B}}_R \rightarrow {\mathcal {L}}({\mathbb {E}}_{{\mathcal {A}}}^{{\mathrm {per}}}, {\mathbb {F}}_{{\mathcal {A}}})\) denotes the Fr\(\acute{\mathrm {e}}\)chet derivative.
The following theorem proves existence and uniqueness of solutions to \({\mathrm {(NACP)}}\) in the class \({\mathbb {E}}_{{\mathcal {A}}}^{{\mathrm {per}}}\) for small forcings f.
Theorem 3.1
Let \(T > 0\), \(0< \theta < 1\), \(1 \le p < \infty \), and F and \(R > 0\) subject to Assumption N. Then there is a constant \(r \le R\) and \(c=c(T , \theta , p , r)>0\) such that if \(f : {\mathbb {R}}\rightarrow D_{{\mathcal {A}}} (\theta , p)\) is T-periodic with \(\Vert f\Vert _{{\mathbb {F}}_{{\mathcal {A}}}} \le c\), then there exists a unique solution \(u : {\mathbb {R}}\rightarrow D_{{\mathcal {A}}}(\theta , p)\) of \({\mathrm {(NACP)}}\) with the same period T and \(u_{|(0,T)} \in {\mathbb {B}}_r\).
Proof
Let \(S : {\mathbb {B}}_R \rightarrow {\mathbb {E}}_{{\mathcal {A}}}^{{\mathrm {per}}}, v \mapsto u_v\) be the solution operator of the linear equation
with \(u_v (0) = u_v (T)\). This is well-defined since \(F[v] \in {\mathbb {F}}_{{\mathcal {A}}}\) by Assumption N, so that, by Proposition 2.4 and the remarks at the end of Sect. 2, \(u_v\) uniquely exists and lies in \({\mathbb {E}}_{{\mathcal {A}}}^{{\mathrm {per}}}\).
We prove that this solution operator is a contraction on \({\mathbb {B}}_r\) for some \(r \le R\). Let \(M > 0\) denote the infimum of all constants C satisfying (2.6). Choose \(r > 0\) small enough such that
which is possible by Assumption N. By virtue of (2.6) as well as the mean value theorem, estimate for any \(v \in {\mathbb {B}}_r\) and f satisfying \(\Vert f\Vert _{{\mathbb {F}}_{{\mathcal {A}}}} \le r / (2M) =: c\),
So \(S({\mathbb {B}}_r) \subset {\mathbb {B}}_r\). Similarly, for any \(v_1, v_2 \in {\mathbb {B}}_r\),
Consequently, the solution operator S is a contraction on \({\mathbb {B}}_r\) and the contraction mapping theorem is applicable. The solution to \({\mathrm {(NACP)}}\) is defined as follows. Let u be the unique fixed point of S. Since \(S u = u\), u satisfies \(u(0) = u(T)\) and thus can be extended periodically to the whole real line. This function solves \({\mathrm {(NACP)}}\). \(\square \)
4 Periodic solutions to the bidomain equations
Let the space dimension \(n \ge 2\) be fixed and let \(\varOmega \subset {\mathbb {R}}^n\) denote a bounded domain with boundary \(\partial \varOmega \) of class \({{C}}^2\). For the conductivity matrices \(\sigma _{\mathrm{i}}\) and \(\sigma _{\mathrm{e}}\), we make the following assumptions.
Assumption E
The conductivity matrices \(\sigma _{\mathrm{i}} , \sigma _{\mathrm{e}} : {\overline{\varOmega }} \rightarrow {\mathbb {R}}^{n \times n}\) are symmetric matrices and are functions of class \({{C}}^1 ({\overline{\varOmega }})\). Ellipticity is imposed by means of the following condition: there exist constants \({\underline{\sigma }}\), \({\overline{\sigma }}\) with \(0< {\underline{\sigma }} < {\overline{\sigma }}\) such that
for all \(x \in {\overline{\varOmega }}\) and all \(\xi \in {\mathbb {R}}^n\). Moreover, it is assumed that
It is known that (4.2) is a biological reasonable assumption.
Next, we define the bidomain operator in the \({{L}}^q\)-setting for \(1< q < \infty \). To this end, let \({{L}}^q_{av} (\varOmega ):= \{u\in {{L}}^q(\varOmega ) : \int _\varOmega u \; {\mathrm {d}}x = 0\}\) and let \(P_{av}\) be the canonical projection from \({{L}}^q(\varOmega )\) to \({{L}}^q_{av}(\varOmega )\), i.e., \(P_{av} u := u - \frac{1}{|\varOmega |} \int _\varOmega u \; {\mathrm {d}}x\). We then introduce the operators \(A_{\mathrm{i}}\) and \(A_{\mathrm{e}}\) by
where \(A_{i , e}\) and \(\sigma _{i , e}\) indicates that either \(A_{\mathrm{i}}\) and \(\sigma _{\mathrm{i}}\) or \(A_{\mathrm{e}}\) and \(\sigma _{\mathrm{e}}\) are considered. Due to condition (4.2), we obtain \(D (A_{\mathrm{i}}) = D (A_{\mathrm{e}})\), and thus, it is possible to define the sum \(A_{\mathrm{i}} + A_{\mathrm{e}}\) of \(A_{\mathrm{i}}\) and \(A_{\mathrm{e}}\) with the domain \(D(A_{\mathrm{i}})= D(A_{\mathrm{e}})\). Note that the inverse operator \((A_{\mathrm{i}} + A_{\mathrm{e}})^{-1}\) on \({{L}}^q_{av} (\varOmega )\) is a bounded linear operator.
Following [15], we define the bidomain operator as follows. Let \(\sigma _{\mathrm{i}}\) and \(\sigma _{\mathrm{e}}\) satisfy Assumption E. Then the bidomain operator A is defined as
with domain
The following result for A was proven by Giga and Kajiwara in [15] using a contradiction argument. For a direct proof and the \({\mathrm {H}}^\infty \)-calculus property of A, see [19].
Proposition 4.1
[15, Theorem 4.7, Theorem 4.9], [19] Let \(1< q < \infty \), \(\varOmega \) be a bounded \({{C}}^2\)-domain and let \(\sigma _{\mathrm{i}}\) and \(\sigma _{\mathrm{e}}\) satisfy Assumption E. Then \(-A\) generates a bounded analytic semigroup \({\mathrm {e}}^{-tA}\) on \({{L}}^q(\varOmega )\).
Under the assumption of the conservation of currents, i.e.,
and assuming moreover \(\int _\varOmega u_{\mathrm{e}} \; {\mathrm {d}}x=0\), the bidomain equations (BDE) may be equivalently rewritten as an evolution equation [6, 15] of the form
where
is the modified source term. The functions \(u_{\mathrm{e}}\) and \(u_{\mathrm{i}}\) can be recovered from u by virtue of the following relations
For the situation of the bidomain operator A, the solution space for u reads as
The solution space for the gating variable w is defined as
Then, the solution space for the periodic bidomain system is defined as the product space
Finally, for a Banach space X we denote by \({\mathbb {B}}^X(u^*,R)\) the closed ball in X with center \(u^*\in X\) and radius \(R>0\), i.e.,
We now state our main results concerning the existence and uniqueness of strong T-periodic solutions to the bidomain equations subject to various models of the ionic transport. Notice that the respective models treated here are slightly more general as described in the introduction, as an additional parameter \(\varepsilon > 0\) is introduced, that incorporates the phenomenon of fast and slow diffusion.
Additionally to Assumption E on the conductivity matrices of the bidomain operator A, we require the following regularity and periodicity conditions on the forcing term I.
Assumption P
Let \(2 \theta \in (0 , 1)\), \(1 \le p < \infty \), and \(1< q < \infty \) satisfy \(2 \theta > n / q\) or, if \(p = 1\) let \(2 \theta \ge n / q\). Assume \(I: {\mathbb {R}}\rightarrow D_A(\theta ,p)\) is a T-periodic function satisfying \(I_{|(0,T)} \in {\mathbb {F}}_A\) for some \(\theta \in (0,1/2)\) and \(T > 0\).
Remark 4.2
If \(\varOmega \) has a \({{C}}^4\)-boundary and if the conductivity matrices \(\sigma _{\mathrm{i}}\) and \(\sigma _{\mathrm{e}}\) lie in \({\mathrm {W}}^{3 , \infty } (\varOmega ; {\mathbb {R}}^{n \times n})\), then Assumption P is satisfied by virtue of (4.5) if \(I_{\mathrm{i}} , I_{\mathrm{e}}: {\mathbb {R}}\rightarrow D_A(\theta ,p)\) are T-periodic functions satisfying \(I_{i|_{(0,T)}}\) and \(I_{e|_{(0,T)}} \in {\mathbb {F}}_A\). Indeed, this follows by real interpolation since \(A_{\mathrm{i}} (A_{\mathrm{i}} + A_{\mathrm{e}})^{-1}\) is bounded on \({{L}}^q_{av} (\varOmega )\) and from D(A) into \({\mathrm {W}}^{2 , q} (\varOmega )\cap {{L}}^q_{av} (\varOmega )\).
We start with the most classical model due to FitzHugh and Nagumo.
4.1 The periodic bidomain FitzHugh–Nagumo model
For \(T > 0\), \(0< a < 1\), and \(b , c , \varepsilon > 0\), the periodic bidomain FitzHugh–Nagumo equations are given by
This system has three equilibrium points, the trivial one \((u_1,w_1) = (0,0)\) and two others given by \((u_2,w_2)\) and \((u_3,w_3)\), where
and \(d=\sqrt{(a+1)^2-4(a+\frac{c}{b})}\). We assume that the following stability condition \({\mathrm {(S}_{FN})}\) on the coefficients is satisfied:
Our result on strong periodic solutions to the bidomain FitzHugh–Nagumo equations reads then as follows.
Theorem 4.3
Let \(\varOmega \subset {\mathbb {R}}^n\), \(n \ge 2\), be a bounded \({{C}}^2\)-domain and suppose that Assumptions E and P hold true.
-
(a)
Then there exist constants \(R>0\) and \(C(R)>0\) such that if \(\Vert I\Vert _{{\mathbb {F}}_A} <C(R)\), Eq. (4.6) admits a unique T-periodic strong solution (u, w) with \((u , w)_{|(0 , T)} \in {\mathbb {B}}^{{\mathbb {E}}}((0,0),R)\).
-
(b)
If condition \(({\hbox {S}}_{{\mathrm{FN}}})\) is satisfied, then there exist constants \(R>0\) and \(C(R)>0\) such that if \(\Vert I\Vert _{{\mathbb {F}}_A}<C(R)\), Eq. (4.6) admits a unique T-periodic strong solution (u, w) with \((u,w)_{|(0 , T)} \in {\mathbb {B}}^{{\mathbb {E}}}((u_3,w_3),R)\).
4.2 The periodic bidomain Aliev–Panfilov model
For \(T > 0\), \(0< a < 1\), and \(d , k , \varepsilon > 0\), the periodic bidomain Aliev–Panfilov equations are given by
This system has only one stable equilibrium point, namely the trivial solution \((u_1,w_1) = (0,0)\). Our theorem on the existence and uniqueness of strong, periodic solutions to the periodic bidomain Aliev–Panfilov equations reads as follows.
Theorem 4.4
Let \(\varOmega \subset {\mathbb {R}}^n\), \(n \ge 2\), be a bounded \({{C}}^2\)-domain and suppose that Assumptions E and P hold true. Then, there exist constants \(R>0\) and \(C(R)>0\) such that if \(\Vert I\Vert _{{\mathbb {F}}_A} <C(R)\), Eq. (4.8) admits a unique T-periodic strong solution (u, w) with \((u , w)_{|(0 , T)} \in {\mathbb {B}}^{{\mathbb {E}}}((0,0),R)\).
4.3 The periodic bidomain Rogers–McCulloch model
For \(T > 0\), \(0< a < 1\), and \(b , c , d , \varepsilon > 0\), the periodic bidomain Rogers–McCulloch equations are given by
This system has three equilibrium points, the trivial one \((u_1,w_1) = (0,0)\) and two others given by \((u_2,w_2)\) and \((u_3,w_3)\), where
and \(e=\sqrt{\left( a+1-\frac{c}{bd}\right) ^2-4a}\). We assume that the following stability condition \(({\hbox {S}}_{{\mathrm{RM}}})\) on the coefficients is satisfied:
Our theorem on the existence and uniqueness of strong periodic solutions to the periodic bidomain Rogers–McCulloch equations reads as follows.
Theorem 4.5
Let \(\varOmega \subset {\mathbb {R}}^n\), \(n \ge 2\), be a bounded \({{C}}^2\)-domain and suppose that Assumptions E and P hold true.
-
(a)
Then there exist constants \(R>0\) and \(C(R)>0\) such that if \(\Vert I\Vert _{{\mathbb {F}}_A} < C(R)\), Eq. (4.9) admits a unique T-periodic strong solution (u, w) with \((u , w)_{|(0 , T)} \in {\mathbb {B}}^{{\mathbb {E}}}((0,0),R)\).
-
(b)
If condition \(({\hbox {S}}_{{\mathrm{RM}}})\) is satisfied, then there exist constants \(R>0\) and \(C(R)>0\) such that if \(\Vert I\Vert _{{\mathbb {F}}_A}<C(R)\), Eq. (4.9) admits a unique T-periodic strong solution (u, w) with \((u,w)_{|(0 , T)} \in {\mathbb {B}}^{{\mathbb {E}}}((u_3,w_3),R)\).
4.4 The periodic bidomain Allen–Cahn equation
For \(T > 0\), the periodic bidomain Allen–Cahn equation is given by
This system has three equilibrium points, \(u_1 = - 1\), \(u_2 = 0\), and \(u_3 = 1\) and our theorem on the existence and uniqueness of strong, periodic solutions to the periodic bidomain Allen–Cahn equation reads as follows.
Theorem 4.6
Let \(\varOmega \subset {\mathbb {R}}^n\), \(n \ge 2\), be a bounded \({{C}}^2\)-domain and suppose that Assumptions E and P hold true.
-
(a)
Then, there exist constants \(R>0\) and \(C(R)>0\) such that if \(\Vert I\Vert _{{\mathbb {F}}_A} < C(R)\) Eq. (4.12) admits a unique T-periodic strong solutions u with \(u_{|(0 , T)} \in {\mathbb {B}}^{{\mathbb {E}}_A^{{\mathrm {per}}}}(-1,R)\).
-
(b)
Then, there exist constants \(R>0\) and \(C(R)>0\) such that if \(\Vert I\Vert _{{\mathbb {F}}_A} < C(R)\) Eq. (4.12) admits a unique T-periodic strong solutions u with \(u_{|(0 , T)} \in {\mathbb {B}}^{{\mathbb {E}}_A^{{\mathrm {per}}}}(1,R)\).
5 Proofs of the theorems related to the bidomain equations
The proofs of the results presented in Sect. 4 will be subdivided in several subsections. We start with a result on the linear part of the bidomain systems. The linear part of the bidomain system will be represented as an operator matrix and it will be eminent that the negative of this operator matrix generates a bounded analytic semigroup.
5.1 Linear theory
Let \(- B\) be the generator of a bounded analytic semigroup on a Banach space \(X_1\) with \(0 \in \rho (B)\), \(1 \le p < \infty \), and \(\theta \in (0 , 1)\). Let \(X_2 = D_B (\theta , p)\) and define for \(d > 0\) and \(b , c \ge 0\) the operator \({\mathcal {A}}: X := X_1 \times X_2 \rightarrow X\) with domain \(D ({\mathcal {A}}) := D(B) \times X_2\) by
Lemma 5.1
Then \(- {\mathcal {A}}\) generates a bounded analytic semigroup on X with \(0 \in \rho ({\mathcal {A}})\).
Proof
Let \(\varSigma _{\omega }\), \(\omega \in (\pi / 2 , \pi ]\), be a sector that satisfies \(\rho (- B) \subset \varSigma _{\omega }\) with
First note that \(0 \in \rho ({\mathcal {A}})\); its inverse being
Note that the choice \(X_2 = D_B (\theta , p)\) is used here as \({\mathcal {A}}^{-1}\) is only an operator from \(X_1 \times X_2\) onto \(D(B) \times X_2\) if \(D(B) \subset X_2 \subset X_1\) and if \(B (b c + d B)^{-1}\) maps \(X_2\) into \(X_2\). By the definition of \(D_B (\theta , p)\) in (1.1) this latter is satisfied.
For the resolvent problem let \(\lambda \in \varSigma _{\beta }\), \(\beta \in (\pi / 2 , \omega )\) to be chosen. Then,
whenever \(\lambda + \frac{bc}{\lambda + d} \in \rho (- B)\). To determine the angle \(\beta \) for which \(\lambda + \frac{bc}{\lambda + d} \in \rho (- B)\) distinguish between the cases \(|\lambda |< M\) and \(|\lambda |\ge M\) for some suitable constant \(M > 0\). Notice that only the case \(b , c > 0\) is of interest. Let \(C_{\omega } > 0\) be a constant depending solely on \(\omega \) such that \(|\lambda + d |\ge C_{\omega } (|\lambda |+ d)\). Choose M such that \(|\lambda |\ge M\) if and only if
This implies
and thus that \(\lambda + \frac{b c}{\lambda + d} \in \varSigma _{\omega }\). Moreover,
Next, choose \(\beta \) that close to \(\pi / 2\) such that
Notice that M itself depends on \(\beta \), however, it depends only uniformly on its distance to \(\omega \) by (5.1). In the case \(|\lambda |< M\) the validity of (5.3) together with trigonometric considerations implies that \({\text {Re}}\big ( \lambda + \frac{bc}{d + \lambda } \big ) \ge 0\) proving that under conditions (5.1) and (5.3) we have \(\lambda + \frac{bc}{d + \lambda } \in \varSigma _{\omega }\) whenever \(\lambda \in \varSigma _{\beta }\). We conclude that \(\lambda \in \rho (- {\mathcal {A}})\). To obtain the resolvent estimate, we calculate
The first term on the right-hand side is directly handled by the resolvent estimate of B. The second is treated by this resolvent estimate as well and by noting that \(X_2 \subset X_1\). The fourth term is estimated by using that the definition of \(X_2\) in (1.1) implies resolvent estimates in \(X_2\) [the resolvent commutes with the semigroup appearing in (1.1)]. For the third term, the estimate follows from the invertibility of B and the interpolation inequality \(\Vert x \Vert _{X_2} \le C \Vert x \Vert _{X_1}^{1 - \theta } \Vert B x \Vert _{X_1}^{\theta }\). Altogether, this yields
The resolvent estimate for \(|\lambda |\ge M\) follows by means of the uniform boundedness of the term \(|\lambda / (\lambda + d) |\) and by (5.2).
For \(|\lambda |< M\) the function \(\lambda \mapsto \lambda (\lambda + {\mathcal {A}})^{-1}\) is continuous on \(\overline{\varSigma _{\beta }} \cap \overline{B(0 , M)}\) since \(0 \in \rho ({\mathcal {A}})\). This implies the resolvent estimate also for small \(\lambda \). \(\square \)
5.2 The bidomain equations as semilinear evolution equations
A short glimpse toward the models presented in Sects. 4.1–4.4 reveals that one of the following situations occurs:
-
The bidomain operator A appears only in the first but not in the second equation of the bidomain models and the nonlinearity depends linearly on the gating variable w. (Sects. 4.1–4.3)
-
The ODE and the gating variable w are omitted. (Sect. 4.4)
As a consequence, in the first situation the operator associated with the linearization of the bidomain models can be written as an operator matrix whose first component of the domain embeds into a \({\mathrm {W}}^{2 , q}\)-space. Since the dynamics of the gating variable is described only by an ODE, there appears no smoothing in the spatial variables of w. However, as we aim to employ Theorem 3.1 and as the nonlinearity of the first equation depends linearly on w, at least in the models of Aliev–Panfilov and Rogers–McCulloch, w must be contained in \(D_A (\theta , p)\). Otherwise, one cannot view the nonlinearity as a suitable right-hand side as it is done in Sect. 3.1. Hence, we choose \(D_A (\theta , p)\) as the ground space for the gating variable.
To describe this situation in our setup, assume in the following, that \(- {\mathcal {A}}\) is the generator of a bounded analytic semigroup on a Banach space \(X = X_1 \times X_2\), with domain \(D({\mathcal {A}}) = D(A_1) \times D(A_2)\), and \(0 \in \rho ({\mathcal {A}})\). We further set for some \(1< q < \infty \), \(1 \le p < \infty \), and \(\theta \in (0 , 1)\)
Furthermore, define two types of nonlinearities as follows: For \(a_1 , a_2 , a_3 , a_4 \in {\mathbb {R}}\) let
and for \(b_1\), \(b_2 \in {\mathbb {R}}\) let
Here, \(F_1\) will be a prototype of the nonlinearities considered in Sects. 4.1–4.3 and \(F_2\) for the one considered in Sect. 4.4. For the moment, the condition \(0 \in \rho ({\mathcal {A}})\) seems inappropriate as \(0 \notin \rho (A)\). However, we will linearize the bidomain equations around suitable stable stationary solutions and in this situation \(0 \in \rho ({\mathcal {A}})\) will be achieved.
In the following, we concentrate only on \(F_1\), since the results for \(F_2\) may be proved in a similar way. To derive conditions on p, q, and \(\theta \) ensuring that \(F_1\) satisfies Assumption N, the following lemma is essential.
Lemma 5.2
Let \(\varOmega \subset {\mathbb {R}}^n\) be a bounded \({{C}}^2\)-domain. Let \(s > 0\) and \(p , q \in [1 , \infty )\) with \(s > n / q\) or, in the case \(p = 1\), let \(s \ge n / q\). Then \({\mathrm {B}}^s_{q , p} (\varOmega )\) is a Banach algebra.
Proof
If \(\varOmega = {\mathbb {R}}^n\) and \(s > n / q\) this readily follows by Sobolev’s embedding combined with [5, Cor. 2.86]. If \(s = n / q\) and \(p = 1\), then [5, Cor. 2.86] has to be combined with [5, Prop. 2.39]. Finally, the algebra property on domains is directly transferred from the whole space since bounded \({{C}}^2\)-domains are Sobolev extension domains. \(\square \)
Proposition 5.3
Let \(2 \theta \in (0 , 1)\), \(1 \le p < \infty \), and \(1< q < \infty \) satisfy \(2 \theta > n / q\) or, if \(p = 1\) let \(2 \theta \ge n / q\). Then there exists a constant \(C > 0\) such that
for all \(u_1 \in {\mathbb {E}}_{A_1}^{{\mathrm {per}}}\) and \(u_2 \in {\mathbb {E}}_{A_2}^{{\mathrm {per}}}\).
Proof
Let \(\alpha \in \{1 , 2 , 3\}\) and \(\beta \in \{0 , 1\}\). By [2] and [17, Corollary 6.5.5], we have \(D_A (\theta , p) = {\mathrm {B}}^{2 \theta }_{q , p} (\varOmega )\). Lemma 5.2 implies that
for some constant \(C > 0\). Using that \({\mathrm {W}}^{1 , p} (0 , T ; {\mathrm {B}}^{2 \theta }_{q , p} (\varOmega )) \subset {{L}}^{\infty } (0 , T ; {\mathrm {B}}^{2 \theta }_{q , p} (\varOmega ))\) delivers
By definition of \({\mathbb {E}}_{A_1}^{{\mathrm {per}}}\) and \({\mathbb {E}}_{A_2}^{{\mathrm {per}}}\) this readily proves the proposition. \(\square \)
Finally, by definition of \(F_1\) it is clear that \(F_1 (0 , 0) = 0\). Moreover, due to the polynomial structure of \(F_1\) it is clear that \(F_1\) is Fréchet differentiable with \(D F_1 (0 , 0) = 0\). Hence, we have the following proposition.
Proposition 5.4
With the definitions of this subsection the nonlinearities \(F_1\) and \(F_2\) satisfy Assumption N.
Now, we are ready to prove the main results presented in Sect. 4. To do so, the equilibrium points of the nonlinearities are calculated for the respective models. Afterward, the solutions to the bidomain models are written as the sum of the equilibrium solution and a perturbation. This results in an equation for the perturbation which is shown via Theorem 3.1 to have strong periodic solutions for suitable equilibrium points.
5.3 The periodic bidomain FitzHugh–Nagumo equation
Recall the periodic bidomain FitzHugh–Nagumo equation
In order to calculate the equilibrium points, we consider
Then, the equilibrium points are \((u_1,w_1)=(0,0)\) and assuming \(c<b\big (\frac{(a+1)^2}{4}-a\big )\), we obtain furthermore
with \(d=\sqrt{(a+1)^2-4(a+\frac{c}{b})}\). In the following, we use the results from Sects. 2 and 3 to obtain periodic solutions in a neighborhood of these equilibrium points. For this purpose, we use Taylor expansion at the equilibrium points and perform the following change of variables
for \(i=1,2,3\). Then, functions F and G describing the ionic transport defined as in the introduction read as follows
Plugging this into Eq. (5.4) and shifting the linear parts of F and G to the left-hand side yields
First of all, notice that Proposition 5.4 implies that the nonlinearity in (5.9) satisfies Assumption N. Next, regarding the system with respect to the equilibrium point (0, 0), then \(-(\varepsilon A +\frac{a}{\varepsilon })\) generates a bounded analytic semigroup by Proposition 4.1 and since \(0 \in \rho (\varepsilon A +\frac{a}{\varepsilon })\), we may apply Lemma 5.1 to conclude that the negative of the operator matrix in (5.9) has zero in its resolvent set and generates a bounded analytic semigroup. Consequently, Theorem 3.1 is applicable in the case of the equilibrium point (0, 0) and delivers a unique strong periodic solution (v, z) to (5.9) in the desired function space for small periodic forcings I.
For the second equilibrium point, we have \(3u_2^2-2(a+1)u_2+a<0\). Since \(0 \in \sigma (A)\) the operator \(- (\varepsilon A+\frac{1}{\varepsilon }[3u_2^2-2(a+1)u_2+a])\) does not generate a bounded analytic semigroup so that Lemma 5.1 is not applicable.
If
we obtain \(3u_3^2-2(a+1)u_3+a>0\). Thus, \(-(\varepsilon A +\frac{1}{\varepsilon }[3u_3^2-2(a+1)u_3+a])\) generates a bounded analytic semigroup by Proposition 4.1 and \(0\in \rho (\varepsilon A+\frac{1}{\varepsilon } [3u_3^2-2(a+1)u_3+a])\). Hence, we can apply Lemma 5.1 to conclude that the negative of the operator matrix in (5.9) has zero in its resolvent set and generates a bounded analytic semigroup. Consequently, Theorem 3.1 is applicable in this case of the equilibrium point \((u_3 , w_3)\) and delivers a unique strong periodic solution (v, z) to (5.9) in the desired function spaces for small periodic forcings I. This proves Theorem 4.3.
5.4 The periodic bidomain Aliev–Panfilov equation
Recall the periodic bidomain Aliev–Panfilov equation
In order to calculate the equilibrium points, we consider
Then, the equilibrium points are \((u_1,w_1)=(0,0)\) and, if we assume \(\frac{(a+1)^2}{4} + \frac{da}{1-d} > 0\), furthermore
with \(e=\sqrt{\frac{(a+1)^2}{4}+\frac{da}{1-d}}\). In the following, we want to use the results from Sects. 2 and 3 to obtain periodic solutions in a neighborhood of these equilibrium points. For this purpose, we use Taylor expansion at the equilibrium points and perform the following change of variables
for \(i=1,2,3\). Then, functions F and G describing the ionic transport defined as in the introduction read as follows
Plugging this into Eq. (5.10) and shifting the linear parts of F and G to the left-hand side yields
According to Proposition 5.4, the nonlinearity in (5.15) satisfies Assumption N. Moreover, considering the system for the equilibrium point (0, 0), then \(-(\varepsilon A +\frac{ka}{\varepsilon })\) generates a bounded analytic semigroup by Proposition 4.1 and since \(0 \in \rho (\varepsilon A +\frac{ka}{\varepsilon })\), we can apply Lemma 5.1 to conclude that the negative of the operator matrix in (5.15) has zero in its resolvent set and generates a bounded analytic semigroup. Consequently, Theorem 3.1 is applicable in the case of the equilibrium point (0, 0) and delivers a unique strong periodic solution (v, z) to (5.15) in the desired function space for small periodic forcings I.
For the second equilibrium point, we see that \(u_2 < 0\), so that the component in the upper right component of the operator matrix is negative. Therefore, we cannot apply Lemma 5.1 for \((u_2,w_2)\).
Similarly, for \((u_3 , w_3)\) it is
Hence, Lemma 5.1 is not applicable in this case. Altogether, Theorem 4.4 follows.
5.5 The periodic bidomain Rogers–McCulloch equation
The reasoning is literally the same as in Sect. 5.4 and is therefore omitted.
5.6 The periodic bidomain Allen–Cahn equation
Recall the periodic bidomain Allen–Cahn equation
The equilibrium points of this system are \(u_1=-1\), \(u_2=0\), and \(u_3=1\). In the following, we want to use the results from Sects. 2 and 3 to obtain periodic solutions in a neighborhood of these equilibrium points. For this purpose, we use Taylor expansion at the equilibrium points and perform the change of variables \(v = u - u_{\mathrm{i}}\) for \(i=1,2,3\). Then, the function \(F(u)= u^3-u\) reads as follows
Plugging this into Eq. (5.16) and shifting the linear parts of F to the left-hand side yields
for \(i=1,2,3\). According to Proposition 5.4, the nonlinearity in (5.17) satisfies Assumption N. Since \(-(A+2)\) generates a bounded analytic semigroup by Proposition 4.1 and since \(0 \in \rho (A+2)\), Theorem 3.1 is applicable in the case of the equilibrium points \(u_1\) and \(u_3\) and delivers a unique strong periodic solution v to (5.17) in the desired function space for small forcings I. Thus, we obtain Theorem 4.6.
References
Aliev, R.R., Panfilov, A.V.: A simple two-variable model of cardiac excitation. Chaos Solitons Fractals 7(3), 293–301 (1996)
Amann, H.: Nonhomogeneous linear and quasilinear elliptic and parabolic boundary value problems. In: Schmeisser, H., Triebel, H. (eds.) Function Spaces, Differential Operators and Nonlinear Analysis, pp. 9–126. Springer, Berlin (1993)
Ambrosio, L., Colli Franzone, P., Savaré, G.: On the asymptotic behaviour of anisotropic energies arising in the cardiac bidomain model. Interfaces Free Bound 2(3), 213–266 (2000)
Arendt, W., Bu, S.: The operator-valued Marcinkiewicz multiplier theorem and maximal regularity. Math. Z. 240(2), 311–343 (2002)
Bahouri, H., Chemin, J.-Y., Danchin, R.: Fourier Analysis and Nonlinear Partial Differential Equations, Grundlehren der Mathematischen Wissenschaften, vol. 343. Springer, Heidelberg (2011)
Bourgault, Y., Coudière, Y., Pierre, C.: Existence and uniqueness of the solution for the bidomain model used in cardiac electrophysiology. Nonlinear Anal. Real World Appl. 10(1), 458–482 (2009)
Colli Franzone, P., Pavarino, L.F., Scacchi, S.: Mathematical Cardiac Electrophysiology, MS&A. Modeling, Simulation and Applications, vol. 13. Springer, Cham (2014)
Colli Franzone, P., Pennacchio, M., Savaré, G.: Multiscale modeling for the bioelectric activity of the heart. SIAM J. Math. Anal. 37(4), 1333–1370 (2005)
Franzone, P.C., Savaré, G.: Degenerate evolution systems modeling the cardiac electric field at micro- and macroscopic level. In: Lorenzi, A., Ruf, B. (eds.) Evolution Equations, Semigroups and Functional Analysis (Milano, 2000), pp. 49–78. Birkhäuser, Basel (2002)
Da Prato, G., Grisvard, P.: Sommes d’opérateurs linéaires et équations difféntielles opérationelles. J. Math. Pures Appl. 54(3), 305–387 (1975)
Denk, R., Hieber, M., Prüss, J.: \({\cal{R}}\)-boundedness, Fourier multipliers and problems of elliptic and parabolic type. Mem. Am. Math. Soc. 166, 788 (2003)
Denk, R., Hieber, M., Prüss, J.: Optimal \(\text{ L }^{p}-\text{ L }^{q}\)-estimates for parabolic boundary value problems with inhomogeneous data. Math. Z. 257(1), 193–224 (2007)
Dore, G., Venni, A.: On the closedness of the sum of two closed operators. Math. Z. 196, 189–201 (1987)
FitzHugh, R.: Impulses and physiological states in theoretical models of nerve membrane. Biophys. J. 1(6), 445–466 (1961)
Giga, Y., Kajiwara, N.: On a resolvent estimate for bidomain operators and its applications. J. Math. Anal. Appl. 459(1), 528–555 (2018)
Giga, Y., Kajiwara, N., Kress, K.: Strong time-periodic solutions to the bidomain equations with arbitrary large forces. Nonlinear Anal. 47, 398–413 (2019)
Haase, M.: The functional calculus for sectorial operators. Operator theory: advances and applications, vol. 169. Birkhäuser Verlag, Basel (2006)
Hieber, M., Prüss, J.: On the bidomain problem with FitzHugh–Nagumo transport. Arch. Math. 111(3), 313–327 (2018)
Hieber, M., Prüss, J.: Bounded \(H^{\infty }\)-calculus for a class of nonlocal operators: the bidomain operator in the \(L_q\)-setting. Math. Ann. (2019). https://doi.org/10.1007/s00208-019-01916-2
Hytönen, T., van Neerven, J., Veraar, M., Weis, L.: Analysis in Banach Spaces, vol. II. Springer, Berlin (2017)
Keener, J., Sneyd, J.: Mathematical physiology. In: Fall, C.P., Marland, E.S., Wagner, J.M., Tyson, J.J. (eds.) Interdisciplinary Applied Mathematics, vol. 8. Springer, New York (1998)
Lunardi, A.: Analytic semigroups and optimal regularity in parabolic problems. In: Brezis, H., et al. (eds.) Progress in Nonlinear Differential Equations and their Applications, vol. 16. Birkhäuser Verlag, Basel (1995)
Lunardi, A.: Interpolation Theory. Lecture Notes, Scuola Normale Superiore di Pisa (New Series), 2nd edn. Edizioni della Normale, Pisa (2009)
Mori, Y., Matano, H.: Stability of front solutions of the bidomain equation. Commun. Pure Appl. Math. 69(12), 2364–2426 (2016)
Stevens, A.: Mathematics and the life-sciences: a personal point of view. Jahresber. Dtsch. Math. Ver. 119(3), 143–168 (2017)
Weis, L.: Operator-valued Fourier multiplier theoreems and maximal \(L^p\)-regularity. Math. Ann. 319(4), 735–758 (2001)
Acknowledgements
Open Access funding provided by Projekt DEAL. We thank the referee for valuable comments concerning a previous version of this paper.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Naoto Kajiwara was supported by JSPS Japanese-German Graduate Externship and scientific grant Kiban S (26220702) as a research assistant of the University of Tokyo. Klaus Kress and Patrick Tolksdorf were supported by the DFG International Research Training Group 1529 on Mathematical Fluid Dynamics at TU Darmstadt.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article's Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article's Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Hieber, M., Kajiwara, N., Kress, K. et al. The periodic version of the Da Prato–Grisvard theorem and applications to the bidomain equations with FitzHugh–Nagumo transport. Annali di Matematica 199, 2435–2457 (2020). https://doi.org/10.1007/s10231-020-00975-6
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10231-020-00975-6
Keywords
- Maximal regularity in real interpolation spaces
- Theorem of Da Prato and Grisvard
- Periodic solutions to semilinear evolution equations
- Bidomain system