The derivation of continuum limits of neuronal networks with gap-junction couplings

  • Received: 01 April 2013 Revised: 01 March 2014
  • Primary: 34C60, 35K57; Secondary: 92C42, 05C90.

  • We consider an idealized network, formed by $N$ neurons individually described by the FitzHugh-Nagumo equations and connected by electrical synapses. The limit for $N \to \infty$ of the resulting discrete model is thoroughly investigated, with the aim of identifying a model for a continuum of neurons having an equivalent behaviour. Two strategies for passing to the limit are analysed: i) a more conventional approach, based on a fixed nearest-neighbour connection topology accompanied by a suitable scaling of the diffusion coefficients; ii) a new approach, in which the number of connections to any given neuron varies with $N$ according to a precise law, which simultaneously guarantees the non-triviality of the limit and the locality of neuronal interactions. Both approaches yield in the limit a pde-based model, in which the distribution of action potential obeys a nonlinear reaction-convection-diffusion equation; convection accounts for the possible lack of symmetry in the connection topology. Several convergence issues are discussed, both theoretically and numerically.

    Citation: Claudio Canuto, Anna Cattani. The derivation of continuum limits of neuronal networks with gap-junction couplings[J]. Networks and Heterogeneous Media, 2014, 9(1): 111-133. doi: 10.3934/nhm.2014.9.111

    Related Papers:

    [1] Fabian Ziltener . Note on coisotropic Floer homology and leafwise fixed points. Electronic Research Archive, 2021, 29(4): 2553-2560. doi: 10.3934/era.2021001
    [2] Meng Wang, Naiwei Liu . Qualitative analysis and traveling wave solutions of a predator-prey model with time delay and stage structure. Electronic Research Archive, 2024, 32(4): 2665-2698. doi: 10.3934/era.2024121
    [3] Mohammed Shehu Shagari, Faryad Ali, Trad Alotaibi, Akbar Azam . Fixed point of Hardy-Rogers-type contractions on metric spaces with graph. Electronic Research Archive, 2023, 31(2): 675-690. doi: 10.3934/era.2023033
    [4] Souad Ayadi, Ozgur Ege . Image restoration via Picard's and Mountain-pass Theorems. Electronic Research Archive, 2022, 30(3): 1052-1061. doi: 10.3934/era.2022055
    [5] Xianyi Li, Xingming Shao . Flip bifurcation and Neimark-Sacker bifurcation in a discrete predator-prey model with Michaelis-Menten functional response. Electronic Research Archive, 2023, 31(1): 37-57. doi: 10.3934/era.2023003
    [6] Mingjun Zhou, Jingxue Yin . Continuous subsonic-sonic flows in a two-dimensional semi-infinitely long nozzle. Electronic Research Archive, 2021, 29(3): 2417-2444. doi: 10.3934/era.2020122
    [7] Xiaofei Zhang, Fanjing Wang . Brake orbits with minimal period estimates of first-order variant subquadratic Hamiltonian systems. Electronic Research Archive, 2022, 30(11): 4220-4231. doi: 10.3934/era.2022214
    [8] Marek Janasz, Piotr Pokora . On Seshadri constants and point-curve configurations. Electronic Research Archive, 2020, 28(2): 795-805. doi: 10.3934/era.2020040
    [9] Limin Guo, Weihua Wang, Cheng Li, Jingbo Zhao, Dandan Min . Existence results for a class of nonlinear singular $ p $-Laplacian Hadamard fractional differential equations. Electronic Research Archive, 2024, 32(2): 928-944. doi: 10.3934/era.2024045
    [10] A. Safari-Hafshejani, M. Gabeleh, M. De la Sen . Optimal pair of fixed points for a new class of noncyclic mappings under a $ (\varphi, \mathcal{R}^t) $-enriched contraction condition. Electronic Research Archive, 2024, 32(4): 2251-2266. doi: 10.3934/era.2024102
  • We consider an idealized network, formed by $N$ neurons individually described by the FitzHugh-Nagumo equations and connected by electrical synapses. The limit for $N \to \infty$ of the resulting discrete model is thoroughly investigated, with the aim of identifying a model for a continuum of neurons having an equivalent behaviour. Two strategies for passing to the limit are analysed: i) a more conventional approach, based on a fixed nearest-neighbour connection topology accompanied by a suitable scaling of the diffusion coefficients; ii) a new approach, in which the number of connections to any given neuron varies with $N$ according to a precise law, which simultaneously guarantees the non-triviality of the limit and the locality of neuronal interactions. Both approaches yield in the limit a pde-based model, in which the distribution of action potential obeys a nonlinear reaction-convection-diffusion equation; convection accounts for the possible lack of symmetry in the connection topology. Several convergence issues are discussed, both theoretically and numerically.


    Consider a symplectic manifold $ (M, \omega) $, a coisotropic submanifold $ N \subseteq M $, and a Hamiltonian diffeomorphism $ \psi:M\to M $. The isotropic (or characteristic) distribution $ TN^ \omega $ on $ N $ gives rise to the isotropic foliation on $ N $. A leafwise fixed point for $ \psi $ is a point $ x\in N $ for which $ \psi(x) $ lies in the leaf through $ x $ of this foliation. We denote by $ {\operatorname{Fix}}(\psi,N) $ the set of such points. A fundamental problem in symplectic geometry is the following:

    Problem. Find conditions under which $ {\operatorname{Fix}}(\psi,N) $ is non-empty and find lower bounds on its cardinality.

    This generalizes the problems of showing that a given Hamiltonian diffeomorphism has a fixed point and that a given Lagrangian submanifold intersects its image under a Hamiltonian diffeomorphism. References for solutions to the general problem are provided in [20,22].

    Example(translated points). As explained in [19,p. 97], translated points of the time-1-map of a contact isotopy starting at the identity are leafwise fixed points of the Hamiltonian lift of this map to the symplectization.

    We denote

    $ N_ \omega: = \big\{ \text{isotropic leaves of }N\big\}. $

    We call $ N $ regular (or "fibering") iff there exists a smooth manifold structure on $ N_ \omega $, such that the canonical projection from $ N $ to $ N_ \omega $ is a smooth submersion.1 Let $ X $ be a manifold and $ h\in C\big([0,1] \times X,M\big) $. We call $ h $ a semistrong $ (N, \omega) $-homotopy iff for every $ t\in[0,1] $ there is a leaf $ F $ of $ N $ that contains the image of $ \{t\} \times \partial X $ under $ h $.

    1Such a structure is unique if it exists. In this case the symplectic quotient of $ N $ is well-defined.

    We denote by $ \mathbb{D} $ the closed unit disk in $ \mathbb{R}^2 $. We call $ (N, \omega) $ (or simply $ N $) adiscal iff every map $ u\in C\big( \mathbb{D},M\big) $ that sends $ \partial \mathbb{D} = S^1 $ to a leaf of $ N $, is semistrongly $ (N, \omega) $-homotopic to a constant map.

    The main result of [20] (Theorem 1.1) implies the following. We denote by $ b_i(N) $ the $ i $-th $ \mathbb{Z}_2 $-Betti-number of $ N $.

    Theorem 1.1 (leafwise fixed points for adiscal coisotropic). Assume that $ (M, \omega) $ is geometrically bounded, $ N $ is closed2, regular, and adiscal, and that $ (N,\psi) $ is nondegenerate in the sense of [20,p. 105]. Then the following estimate holds:

    2This means compact and without boundary.

    $ |Fix(ψ,N)|dimNi=0bi(N).
    $
    (1)

    This bound is sharp if there exists a $ \mathbb{Z}_2 $-perfect Morse function on $ N $, see [20,Theorem 1.2]. The idea of the proof of Theorem 1.1 given in [20], is to find a suitable Lagrangian embedding $ \iota_N $ of $ N $ into a geometrically bounded symplectic manifold, see (5) below. We then apply Y. Chekanov's Main Theorem in [3], which implies the result in the Lagrangian case.3 The Lagrangian intersection points of the image of $ \iota_N $ correspond to leafwise fixed points of $ \psi $.

    3[20,Theorem 1.1] is formulated in a more general setting than Theorem 1.1. Chekanov's result is needed to deal with that setting, whereas in the setting of Theorem 1.1 Floer's original article [5] suffices.

    Similarly to Theorem 1.1, in [21] for a regular $ N $, we defined monotonicity and the minimal Maslov number $ m(N) $, and we proved the following result ([21,Theorem 3]):

    Theorem 1.2 (leafwise fixed points for monotone coisotropic). Assume that $ (M, \omega) $ is geometrically bounded or convex at infinity4, $ N \subseteq M $ is closed, monotone, and regular, and $ (N,\psi) $ is non-degenerate. Then the following estimate holds:

    4[20,Theorem 1.1] is stated for the geometrically bounded case, but the proof goes through in the convex at infinity case.

    $ |Fix(ψ,N)|m(N)2i=dimNm(N)+2bi(N).
    $
    (2)

    The idea of the proof of this theorem given in [21], is to use the same Lagrangian embedding as in the proof of Theorem 1.1. We then apply P. Albers' Main Theorem in [2], which states Theorem 1.2 in the Lagrangian case.

    Finally, the main result of [22] (Theorem 1) implies that leafwise fixed points exist for an arbitrary closed coisotropic submanifold if the Hamiltonian flow is suitably $ C^0 $-small. More precisely, it implies the following:

    Theorem 1.3 (leafwise fixed points for $ C^0 $-close coisotropic). Let $ (M, \omega) $ be a symplectic manifold and $ N \subseteq M $ be a closed coisotropic submanifold. Then there exists a $ C^0 $-neighbourhood $ \mathcal{U} \subseteq C(N,M) $ of the inclusion $ N\to M $ with the following property. Let $ ( \varphi^t)_{t\in[0,1]} $ be a Hamiltonian flow on $ M $ satisfying $ \varphi^t|_N\in \mathcal{U} $, for every $ t\in[0,1] $. If $ (N, \varphi^1) $ is nondegenerate then the following estimate holds:

    $ |Fix(φ1,N)|dimNi=0bi(N).
    $
    (3)

    This result is optimal in the sense that the $ C^0 $-condition cannot be replaced by Hofer smallness of $ \varphi^1 $. The idea of the proof of Theorem 1.3 given in [22], is to find a suitable embedding of $ N $ as a Lagrangian submanifold $ {\widetilde{N}} $ of some symplectic manifold $ {\widetilde{M}} $ that is a Weinstein neighbourhood of $ {\widetilde{N}} $, see (7) below. We then use Weinstein's neighbourhood theorem and the existence of Lagrangian intersection points for the zero-section in the cotangent bundle. These points correspond to leafwise fixed points for $ \varphi^1 $. Since $ N $ is not assumed to be regular in Theorem 1.3, in contrast with Theorems 1.1 and 1.2, we can construct $ {\widetilde{M}} $ only locally around $ {\widetilde{N}} $.

    The point of this note is to reinterpret the proofs of Theorems 1.1 and 1.2 in terms of a version of Floer homology for an adiscal or monotone regular coisotropic submanifold. I also outline a definition of a local version of Floer homology for an arbitrary closed coisotropic submanifold and use it to reinterpret the proof of Theorem 1.3. Details of the construction of this homology will be carried out elsewhere. For the extreme cases $ N = M $ and $ N $ Lagrangian, local versions of Floer homology were developed in [7,15,16,4,18,9]; see also the book [17,Section 17.2]. 5

    5In [1] a Lagrangian Floer homology was constructed that is "local" in a different sense.

    Potentially a (more) global version of coisotropic Floer homology may be defined under a suitable condition on $ N $ that is weaker than regularity, so that the $ C^0 $-condition on $ ( \varphi^t) $ in Theorem 1.3 can be relaxed. 6 This may also yield a lower bound on $ \big| {\operatorname{Fix}}(\psi,N)\big| $ that is higher then the sum of the Betti numbers of $ N $, for a suitably generic pair $ (\psi,N) $.

    6This can only work under suitable conditions on $ N $. The reason is that by [10,Theorem 1.1], there exists a closed hypersurface $ N $ in $ \mathbb{R}^{2n} $ and a Hamiltonian diffeomorphism on $ \mathbb{R}^{2n} $ that is arbitrarily Hofer-close to $ {\operatorname{id}} $ and has no leafwise fixed points w.r.t. $ N $.

    Based on the ideas outlined below, one can define a Floer homology for certain regular contact manifolds and use it to show that a given time-1-map of a contact isotopy has translated points. Namely, consider a closed manifold $ N $ and a contact form $ \alpha $ on $ N $. Assume that $ \alpha $ is regular, i.e., that its symplectic quotient is well-defined. Then $ N $ is naturally a smooth principal $ S^1 $-bundle, which is called a Boothby-Wang fibration. The associated real two-dimensional vector bundle $ E $ is equipped with a natural symplectic form, see e.g. [8,proof of Lemma 3,p. 200]. The idea is now to define the Floer homology of $ (N, \alpha) $ to be the Floer homology of the circle bundle in $ E $ of some radius $ r $. If the symplectic quotient of $ N $ is monotone then for a suitable choice of $ r $ this circle bundle is a monotone coisotropic submanifold with minimal Maslov number at least 2. Hence its Floer homology is well-defined. Since part of the symplectization of $ (N, \alpha) $ symplectically embeds into $ E $, it follows that translated points exist under suitable hypotheses.

    Various versions of coisotropic Floer homology may play a role in mirror symmetry, as physicists have realized that the Fukaya category should be enlarged by coisotropic submanifolds, in order to make homological mirror symmetry work, see e.g. [11].

    To explain the coisotropic Floer homology in the regular case, consider a geometrically bounded symplectic manifold $ (M, \omega) $, and a closed, regular coisotropic submanifold $ N \subseteq M $.

    Suppose first also that $ N $ is adiscal. We define the Floer homology of $ N $ as follows. Let $ \varphi = ( \varphi^t)_{t\in[0,1]} $ be a Hamiltonian isotopy starting at $ {\operatorname{id}} $, such that $ (N, \varphi^1) $ is nondegenerate. We call a point $ x_0\in M $ a $ (N, \varphi) $-contractible leafwise fixed point iff the path $ x:[0,1]\to M $, $ x(t): = \varphi^t(x_0) $, is semistrongly $ (N, \omega) $-homotopic to a constant path.7 We define

    7 By definition, for every such point $ x_0 $, the point $ x(1) = \varphi^1(x_0) $ lies in the isotropic leaf of $ x_0 $. Hence $ x_0 $ is a leafwise fixed point of $ \varphi^1 $.

    $ Fixc(N,φ):={(N,φ)-contractible leafwise fixed points},CF(N,φ):=Fixc(N,φ)Z2.
    $
    (4)

    Remark. By definition this direct sum contains one copy of $ \mathbb{Z}_2 $ for each point in $ {\operatorname{Fix}_{\operatorname{c}}}(N, \varphi) $.

    We now define a collection of boundary operators on $ {\operatorname{CF}}(N, \varphi) $, one for each $ (N, \varphi^1) $-regular time-dependent almost complex structure. To explain this, observe that, since $ N $ is regular, $ N_ \omega $ carries canonical smooth and symplectic structures $ \mathcal A_{N, \omega} $ and $ \omega_N $. We define

    $ ˆM:=M×Nω,ˆω:=ω(ωN),ιN:NˆM,ιN(x):=(x,isotropic leaf through x),ˆN:=ιN(N),ˆφt:=φt×idNω.
    $
    (5)

    The map $ \iota_N $ is a $ \hat \omega $-Lagrangian embedding of $ N $ into $ \widehat{M} $, see [20,Lemma 3.2]. It follows from [21,Proposition 61,p. 43] that the restriction of the map $ \iota_N $, given by

    $ ιN:Fixc(N,φ)Fixc(ˆN,ˆφ)={ˆxˆN(ˆφ1)1(ˆN)|tˆφt(ˆx) contractible with endpoints in ˆN}
    $
    (6)

    is well-defined and injective. A straightforward argument shows that it is surjective.

    Let $ p\in(2,\infty) $ and $ \psi $ be a Hamiltonian diffeomorphism on $ M $. We call a $ t $-dependent $ \hat \omega $-compatible smooth almost complex structure $ \widehat{J} $ on $ \widehat{M} $ $ (N,\psi) $-regular, iff the vertical differential of its Cauchy-Riemann operator is surjective for all finite-energy $ \widehat{J} $-holomorphic strips with compact image and boundary on $ \widehat{N} $ and $ \widehat{\psi}(\widehat{N}) $. (For definitions see [5,Proposition 2.1].8) We define $ \mathcal{J}_{\operatorname{reg}}(N,\psi): = \mathcal{J}_{\operatorname{reg}}\big(M, \omega,N,\psi, p\big) $ to be the set of all $ (N,\psi) $-regular $ \widehat{J} $.9 For every $ \widehat{J}\in \mathcal{J}_{\operatorname{reg}}(N, \varphi^1) $ we define the Floer boundary operator

    8 The exponent $ p $ enters the Banach bundle setup of that proposition.

    9 It follows from the proof of [5,Proposition 2.1] that this set is dense in the set of all $ t $-dependent $ \hat \omega $-compatible almost complex structures, and therefore nonempty. See [6,Theorem 5].

    $ \partial_{N, \varphi,\widehat{J}}: {\operatorname{CF}}(N, \varphi)\to {\operatorname{CF}}(N, \varphi) $

    to be the (Lagrangian) Floer boundary operator of $ \big(\widehat{M},\hat \omega,\widehat{N},\widehat{ \varphi},\widehat{J}\big) $, where $ {\operatorname{CF}}(N, \varphi) $ is as in (4). (See [5,Definition 3.1].)

    To see that this operator is well-defined, recall that it is defined on the direct sum of $ \mathbb{Z}_2 $'s indexed by the set occurring on the right hand side of (6).10 Using the bijection (6), we identify this direct sum with $ {\operatorname{CF}}(N, \varphi) $. Hence $ \partial_{N, \varphi,\widehat{J}} $ is defined between the right spaces.

    10 Sometimes this is called the "$ \mathbb{Z}_2 $-vector space spanned by this index set". Here we identify the intersection $ \widehat{N}\cap\big(\widehat{ \varphi}^1\big)^{-1}(\widehat{N}) $ with $ \widehat{ \varphi}^1(\widehat{N})\cap\widehat{N} $ via the map $ \widehat{ \varphi}^1 $.

    We check the conditions of [5,Definition 3.1]. Since $ N $ is closed, the same holds for $ N_ \omega $. Since $ (M, \omega) $ is geometrically bounded, it follows that $ (\widehat{M},\hat \omega) $ is geometrically bounded. The Lagrangian $ \widehat{N} $ is diffeomorphic to $ N $ via $ \iota_N $, and therefore also closed. Since $ N $ is adiscal, it follows from [21,Proposition 61,p. 43] that the same holds for $ \widehat{N} $. Since $ \big(N, \varphi^1\big) $ is nondegenerate, by [20,Lemma 3.2(c)] the intersection of $ \widehat{N} $ and $ \widehat{ \varphi}^{-1}(\widehat{N}) $ is transverse. Hence the conditions of [5,Definition 3.1] are satisfied, and therefore the boundary operator $ \partial_{N, \varphi,\widehat{J}} $ is well-defined.11 By [5,Lemma 3.2] it squares to 0. Hence we may define the Floer homology of $ \big(N, \varphi,\widehat{J}\big) $ to be the homology

    11In [5] Floer assumes that the symplectic manifold is closed. However, the same construction of Floer homology works for geometrically bounded symplectic manifolds. Here we use that we only consider Floer strips with compact image.

    $ \operatorname{HF}\big(N, \varphi,\widehat{J}\big): = H\big( {\operatorname{CF}}(N, \varphi), \partial_{N, \varphi,\widehat{J}}\big). $

    Let $ G $ be a $ \mathbb{Z} $-grading of the $ \mathbb{Z}_2 $-vector space $ {\operatorname{CF}}(N, \varphi) $, which via the identification (6) is compatible with the Viterbo-Maslov index for strips satisfying Lagrangian boundary conditions.12 Such a $ G $ induces a grading on $ \operatorname{HF}\big(N, \varphi,\widehat{J}\big) $. For every pair $ \widehat{J_0},\widehat{J_1}\in \mathcal{J}_{\operatorname{reg}}(N, \varphi^1) $ we denote by

    12By [5,Proposition 2.4] such a grading exists and each two gradings differ by an additive constant.

    $ \Phi_{\widehat{J_0},\widehat{J_1}}: \operatorname{HF}\big(N, \varphi,\widehat{J_0}\big)\to \operatorname{HF}\big(N, \varphi,\widehat{J_1}\big) $

    the canonical isomorphism provided by the proof of [5,Proposition 3.1,p. 522]. This isomorphism respects the grading $ G $. It does not depend on the choice of $ G $.

    Definition 2.1 (Floer homology for adiscal coisotropic). We define the Floer homology of $ (N, \varphi) $ to be

    $ \operatorname{HF}(N, \varphi): = \left(\left( \operatorname{HF}\big(N, \varphi,\widehat{J}\big)\right)_{\widehat{J}\in \mathcal{J}_{\operatorname{reg}}(N, \varphi^1)},\left(\Phi_{\widehat{J_0},\widehat{J_1}}\right)_{\widehat{J_0},\widehat{J_1}\in \mathcal{J}_{\operatorname{reg}}(N, \varphi^1)}\right). $

    Remarks.   ● This is a collection of graded $ \mathbb{Z}_2 $-vector spaces together with grading-preserving isomorphisms.

    ● Philosophically, the Floer homology of $ (N, \varphi) $ is defined to be $ \operatorname{HF}\big(N, \varphi,\widehat{J}\big) $, for some choice of $ \widehat{J} $. The collection of isomorphisms $ \left(\Phi_{\widehat{J_0},\widehat{J_1}}\right) $ encodes the sense in which this does "not depend" on this choice.

    By the proof of [5,Theorem 1] $ \operatorname{HF}(N, \varphi) $ is isomorphic to the singular homology of $ \widehat{N} $ (hence of $ N $) with $ \mathbb{Z}_2 $-coefficients. Since $ \operatorname{HF}(N, \varphi) $ is generated by the $ (N, \varphi) $-contractible leafwise fixed points of $ \varphi^1 $, this reproves Theorem 1.1.

    Suppose now that $ N $ is monotone in the sense of [21] and of minimal Maslov number $ m(N)\geq2 $. 13

    13We continue to assume that $ (M, \omega) $ is geometrically bounded, $ N $ is closed and regular, and that $ (N, \varphi^1) $ is nondegenerate.

    Definition 2.2 (Floer homology for monotone coisotropic). We define the Floer homology of $ (N, \varphi) $ to be the Floer homology of $ (\widehat{N},\widehat{ \varphi}) $, as defined in [13,14].

    Since $ N $ is monotone, the same holds for $ \widehat{N} $. The minimal Maslov numbers of $ N $ and $ \widehat{N} $ agree, see the proof of [21,Theorem 3,p. 17]. It follows that the Floer homology of $ (N, \varphi) $ is well-defined. By [2,Corollary 2.1] it is isomorphic to singular homology in degrees $ i = \dim N-m(N)+2,\ldots,m(N)-2 $. It follows that (2) holds. This reproves Theorem 1.2.

    Consider now the situation in which $ (M, \omega) $ is any symplectic manifold, $ N $ an arbitrary closed coisotropic submanifold of $ M $, and $ \varphi = ( \varphi^t) $ a Hamiltonian flow on $ M $ whose restriction to $ N $ stays "$ C^0 $-close" to the inclusion $ N\to M $, such that $ (N, \varphi^1) $ is nondegenerate. We also fix an $ \omega $-compatible almost complex structure $ J $ on $ M $. Heuristically, we define the local Floer homology $ \operatorname{HF}(N, \varphi,J) $ as follows. Its chain complex is generated by the points $ x\in {\operatorname{Fix}}(N, \varphi^1) $, for which there is a "short" path from $ x $ to $ \varphi^1(x) $ within the isotropic leaf through $ x $.

    To explain the boundary operator $ \partial = \partial_{N, \varphi,J} $, we denote by $ i_N:N\to M $ the inclusion map. We equip the product $ M \times N $ with the presymplectic form $ \omega\oplus(-i_N^* \omega) $. By [22,Lemma 4] there exists a symplectic submanifold $ {\widetilde{M}} $ of $ M \times N $ that contains the diagonal

    $ ˜N:={(x,x)|xN}
    $
    (7)

    as a Lagrangian submanifold. We shrink $ {\widetilde{M}} $, so that it is a Weinstein neighbourhood of $ {\widetilde{N}} $. The flow $ \varphi $ induces a Hamiltonian flow $ {\widetilde{ \varphi}} $ that is defined on an open neighbourhood $ {\widetilde{N}} $ of $ {\widetilde{M}} $. The structure $ J $ induces an almost complex structure $ {\widetilde{J}} $ on $ {\widetilde{M}} $ that is $ \tilde \omega $-compatible.

    The boundary operator $ \partial $ is now defined to be the boundary operator of the "local Lagrangian Floer homology" of $ \left({\widetilde{M}},\tilde \omega,{\widetilde{N}},{\widetilde{ \varphi}},{\widetilde{J}}\right) $. This map counts finite energy $ {\widetilde{J}} $-holomorphic strips in $ {\widetilde{M}} $ that stay "close" to $ {\widetilde{N}} $, have Viterbo-Maslov index $ 1 $, map the lower and upper boundaries of the strip to $ {\widetilde{N}} $ and $ ({\widetilde{ \varphi}}^1)^{-1}({\widetilde{N}}) $, and connect two intersection points of $ {\widetilde{N}} $ and $ ({\widetilde{ \varphi}}^1)^{-1}({\widetilde{N}}) $. Such points correspond to points $ x\in {\operatorname{Fix}}(N, \varphi^1) $, for which there exists a short path from $ x $ to $ \varphi^1(x) $ within a leaf. (See [22,Lemma 6].)

    To understand why heuristically, the boundary operator $ \partial $ is well-defined and squares to zero, observe that $ {\widetilde{N}} $ intersects $ ({\widetilde{ \varphi}}^1)^{-1}({\widetilde{N}}) $ transversely, since $ (N, \varphi^1) $ is nondegenerate. (See [22,Lemma 7].) Therefore, for generic $ {\widetilde{J}} $ 14, the moduli space of $ {\widetilde{J}} $-strips is a 0-dimensional manifold in a natural sense. (Here we divided by the translation action.) It is compact for the following reasons:

    14Here one needs to work with a family of almost complex structures depending on the time $ t $.

    ● Holomorphic strips with boundary on $ {\widetilde{N}} $ and $ ({\widetilde{ \varphi}}^1)^{-1}({\widetilde{N}}) $ stay inside some fixed compact neighbourhood of $ {\widetilde{N}} $, provided that $ {\widetilde{ \varphi}}^1 $ is close enough to the identity. This follows from the fact that there is a neighbourhood $ {\widetilde{U}} $ of $ {\widetilde{N}} $ and an exhausting $ {\widetilde{J}} $-plurisubharmonic function on $ {\widetilde{U}} $.

    ● Disks or spheres cannot bubble off. This follows from our assumption that $ {\widetilde{M}} $ is a Weinstein neighbourhood of $ {\widetilde{N}} $, which implies that $ {\widetilde{N}} $ is an exact Lagrangian in $ {\widetilde{M}} $.

    ● Index-1-strips generically do not break.

    It follows that heuristically, $ \partial $ is well-defined. For similar reasons we have $ \partial^2 = 0 $.

    Given two choices of symplectic submanifolds $ {\widetilde{M}},{\widetilde{M}}' \subseteq M \times N $ containing $ {\widetilde{N}} $, one obtains a symplectomorphism between open neighbourhoods of $ {\widetilde{N}} $ in $ {\widetilde{M}} $ and $ {\widetilde{M}}' $, by sliding $ {\widetilde{M}} $ to $ {\widetilde{M}}' $ along the isotropic leaves of $ N $. This symplectomorphism intertwines the corresponding $ {\widetilde{ \varphi}} $'s and $ {\widetilde{J}} $'s. It follows that the boundary operator does not depend on the choice of $ {\widetilde{M}} $, and therefore, heuristically, is well-defined.

    To make the outlined Floer homology rigorous, the words "close" and "short" used above, need to be made precise. To obtain an object that does not depend on the choice of "closeness", the local Floer homology of $ (N,J) $ should really be defined to be the germ of the map

    $ \varphi\mapsto \operatorname{HF}(N, \varphi,J) $

    around $ {\operatorname{id}}:M\to M $.

    By showing that $ \operatorname{HF}(N, \varphi,J) $ is isomorphic to the singular homology of $ {\widetilde{N}} $, it should be possible to reproduce the lower bound (1) of Theorem 1.3.

    Remark(local presymplectic Floer homology). A presymplectic form on a manifold is a closed two-form with constant rank. By [12,Proposition 3.2] every presymplectic manifold can be coisotropically embedded into some symplectic manifold. By [12,4.5. Théorème on p. 79] each two coisotropic embeddings are equivalent. Hence heuristically, we may define the local Floer homology of a presymplectic manifold to be the local Floer homology of any of its coisotropic embeddings.

    Remark (relation between the constructions). Assume that $ N $ is regular. Then the constructions of its "global" and local Floer homologies are related as follows. Namely, the symplectic submanifold $ {\widetilde{M}} \subseteq M \times N $ can be viewed as a local version of $ \widehat{M} $. More precisely, shrinking $ {\widetilde{M}} $ if necessary (so that it still contains $ {\widetilde{N}} $), the manifold $ {\widetilde{M}} $ symplectically embeds into $ \widehat{M} $ via the map

    $ (x,y)\mapsto\big(x, \text{isotropic leaf through }y\big). $

    I would like to thank Will Merry for an interesting discussion and the anonymous referees for valuable suggestions.

    [1] R. B. Bapat, D. Kalita and S. Pati, On weighted directed graphs, Linear Algebra Appl., 436 (2012), 99-111. doi: 10.1016/j.laa.2011.06.035
    [2] A. Cattani, "Multispecies'' Models to Describe Large Neuronal Networks, Ph.D. Thesis Polytechnic University of Turin, 2014.
    [3] P. Colli Franzone and G. Savaré, Degenerate evolution systems modeling the cardiac electric field at micro- and macroscopic level, in Evolution Equations, Semigroups and Functional Analysis (Milano, 2000), Progress in Nonlinear Differential Equations and their Applications, 50, Birkhäuser, Basel, 2002, 49-78.
    [4] G. B. Ermentrout and D. H Terman, Mathematical Foundations of Neuroscience, 1st edition, Springer, New York, 2010. doi: 10.1007/978-0-387-87708-2
    [5] R. FitzHugh, Impulses and physiological states in theoretical models of nerve membrane, Biophysical Journal, 1 (1961), 445-466. doi: 10.1016/S0006-3495(61)86902-6
    [6] R. FitzHugh, Motion picture of nerve impulse propagation using computer animation, J. Appl. Physiol., 25 (1968), 628-630.
    [7] M. Galarreta and S. Hestrin, Electrical synapses between Gaba-Releasing interneurons, Nature Reviews Neuroscience, 2 (2001), 425-433. doi: 10.1038/35077566
    [8] A. L. Hodgkin and A. F. Huxley, A quantitative description of membrane current and its application in conduction and excitation in nerve, J. Physiol., 117 (1952), 500-544. doi: 10.1016/S0092-8240(05)80004-7
    [9] J. Keener and J. Sneyd, Mathematical Physiology, 1st edition, Springer-Verlag, New York, 1998.
    [10] E. Marder, Electrical synapses: rectification demystified, Current Biology: CB, 19 (2009), R34-R35. doi: 10.1016/j.cub.2008.11.008
    [11] J. D. Murray, Mathematical Biology I, An Introduction, 3rd edition, Springer-Verlag, New York, 2002.
    [12] S. Sanfelici, Convergence of the Galerkin approximation of a degenerate evolution problem in electrocardiology, Numer. Methods Partial Differential Equations, 18 (2002), 218-240. doi: 10.1002/num.1000
    [13] A. C. Scott, The electrophysics of a nerve fiber, Review of Modern Physics, 47 (1975), 487-533.
    [14] J. Smoller, Shock Waves and Reaction-Diffusion Equations, 2nd edition, Springer-Verlag, New York, 1994. doi: 10.1007/978-1-4612-0873-0
    [15] P. Wallisch, M. Lusignan, M. Benayoun, T. I. Baker, A. S. Dickey and N. G. Hatsopoulos, Matlab for Neuroscientists, Elsevier/Academic Press, Amsterdam, 2009.
    [16] Y. C. Yu, S. He, S. Chen, Y. Fu, K. N. Brown, X.-H. Yao, J. Ma, K. P. Gao, G. E. Sosinsky, K. Huang and S. H. Shi, Preferential electrical coupling regulates neocortical lineage-dependent microcircuit assembly, Nature, 486 (2012), 113-117. doi: 10.1038/nature10958
  • Reader Comments
  • © 2014 the Author(s), licensee AIMS Press. This is an open access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/4.0)
通讯作者: 陈斌, bchen63@163.com
  • 1. 

    沈阳化工大学材料科学与工程学院 沈阳 110142

  1. 本站搜索
  2. 百度学术搜索
  3. 万方数据库搜索
  4. CNKI搜索

Metrics

Article views(3721) PDF downloads(112) Cited by(1)

Other Articles By Authors

/

DownLoad:  Full-Size Img  PowerPoint
Return
Return

Catalog