Abstract In this paper we consider an adaptive spatial discretization scheme for the Nagumo PDE. The scheme is a commonly used spatial mesh adaptation method based on equidistributing the arclength of the solution under consideration. We assume that this equidistribution is strictly enforced, which leads to the non-local problem with infinite range interactions that we derived in Hupkes and Van Vleck (J Dyn Differ Equ 28:955, 2016). For small spatial grid-sizes, we establish some useful Fredholm properties for the operator that arises after linearizing our system around the travelling wave solutions to the original Nagumo PDE. In particular, we perform a singular perturbation argument to lift these properties from the natural limiting operator. This limiting operator is a spatially stretched and twisted version of the standard second order differential operator that is associated to the PDE waves.
more »
« less
Travelling Waves for Adaptive Grid Discretizations of Reaction Diffusion Systems III: Nonlinear Theory
In this paper we consider a spatial discretization scheme with an adaptive grid for the Nagumo PDE and establish the existence of travelling waves. In particular, we consider the time dependent spatial mesh adaptation method that aims to equidistribute the arclength of the solution under consideration. We assume that this equidistribution is strictly enforced, which leads to the non-local problem with infinite range interactions that we derived in Hupkes and Van Vleck (J Dyn Differ Eqn, 2021). Using the Fredholm theory developed in Hupkes and Van Vleck (J Dyn Differ Eqn, 2021) we setup a fixed point procedure that enables the travelling PDE waves to be lifted to our spatially discrete setting.
more » « less- Award ID(s):
- 1714195
- NSF-PAR ID:
- 10474440
- Publisher / Repository:
- Springer Science + Business Media
- Date Published:
- Journal Name:
- Journal of Dynamics and Differential Equations
- Volume:
- 35
- Issue:
- 4
- ISSN:
- 1040-7294
- Format(s):
- Medium: X Size: p. 2743-2811
- Size(s):
- ["p. 2743-2811"]
- Sponsoring Org:
- National Science Foundation
More Like this
-
-
Abstract In this paper we consider a spatial discretization scheme with an adaptive grid for the Nagumo PDE. In particular, we consider a commonly used time dependent moving mesh method that aims to equidistribute the arclength of the solution under consideration. We assume that the discrete analogue of this equidistribution is strictly enforced, which allows us to reduce the effective dynamics to a scalar non-local problem with infinite range interactions. We show that this reduced problem is well-posed and obtain useful estimates on the resulting nonlinearities. In the sequel papers (Hupkes and Van Vleck in Travelling waves for adaptive grid discretizations of reaction diffusion systems II: linear theory; Travelling waves for adaptive grid discretizations of reaction diffusion systems III: nonlinear theory) we use these estimates to show that travelling waves persist under these adaptive spatial discretizations.more » « less
-
null (Ed.)In this work, we study the nonlinear travelling waves in density stratified fluids with piecewise-linear shear currents. Beginning with the formulation of the water-wave problem due to Ablowitz et al. ( J. Fluid Mech. , vol. 562, 2006, pp. 313–343), we extend the work of Ashton & Fokas ( J. Fluid Mech. , vol. 689, 2011, pp. 129–148) and Haut & Ablowitz ( J. Fluid Mech. , vol. 631, 2009, pp. 375–396) to examine the interface between two fluids of differing densities and varying linear shear. We derive a systems of equations depending only on variables at the interface, and numerically solve for periodic travelling wave solutions using numerical continuation. Here, we consider only branches which bifurcate from solutions where there is no slip in the tangential velocity at the interface for the trivial flow. The spectral stability of these solutions is then determined using a numerical Fourier–Floquet technique. We find that the strength of the linear shear in each fluid impacts the stability of the corresponding travelling wave solutions. Specifically, opposing shears may amplify or suppress instabilities.more » « less
-
Abstract Motor systems show an overall robustness, but because they are highly nonlinear, understanding how they achieve robustness is difficult. In many rhythmic systems, robustness against perturbations involves response of both the shape and the timing of the trajectory. This makes the study of robustness even more challenging. To understand how a motor system produces robust behaviors in a variable environment, we consider a neuromechanical model of motor patterns in the feeding apparatus of the marine mollusk Aplysia californica (Shaw et al. in J Comput Neurosci 38(1):25–51, 2015; Lyttle et al. in Biol Cybern 111(1):25–47, 2017). We established in (Wang et al. in SIAM J Appl Dyn Syst 20(2):701–744, 2021. https://doi.org/10.1137/20M1344974 ) the tools for studying combined shape and timing responses of limit cycle systems under sustained perturbations and here apply them to study robustness of the neuromechanical model against increased mechanical load during swallowing. Interestingly, we discover that nonlinear biomechanical properties confer resilience by immediately increasing resistance to applied loads. In contrast, the effect of changed sensory feedback signal is significantly delayed by the firing rates’ hard boundary properties. Our analysis suggests that sensory feedback contributes to robustness in swallowing primarily by shifting the timing of neural activation involved in the power stroke of the motor cycle (retraction). This effect enables the system to generate stronger retractor muscle forces to compensate for the increased load, and hence achieve strong robustness. The approaches that we are applying to understanding a neuromechanical model in Aplysia , and the results that we have obtained, are likely to provide insights into the function of other motor systems that encounter changing mechanical loads and hard boundaries, both due to mechanical and neuronal firing properties.more » « less
-
Embedding properties of network realizations of dissipative reduced order models Jörn Zimmerling, Mikhail Zaslavsky,Rob Remis, Shasri Moskow, Alexander Mamonov, Murthy Guddati, Vladimir Druskin, and Liliana Borcea Mathematical Sciences Department, Worcester Polytechnic Institute https://www.wpi.edu/people/vdruskin Abstract Realizations of reduced order models of passive SISO or MIMO LTI problems can be transformed to tridiagonal and block-tridiagonal forms, respectively, via dierent modi cations of the Lanczos algorithm. Generally, such realizations can be interpreted as ladder resistor-capacitor-inductor (RCL) networks. They gave rise to network syntheses in the rst half of the 20th century that was at the base of modern electronics design and consecutively to MOR that tremendously impacted many areas of engineering (electrical, mechanical, aerospace, etc.) by enabling e cient compression of the underlining dynamical systems. In his seminal 1950s works Krein realized that in addition to their compressing properties, network realizations can be used to embed the data back into the state space of the underlying continuum problems. In more recent works of the authors Krein's ideas gave rise to so-called nite-dierence Gaussian quadrature rules (FDGQR), allowing to approximately map the ROM state-space representation to its full order continuum counterpart on a judicially chosen grid. Thus, the state variables can be accessed directly from the transfer function without solving the full problem and even explicit knowledge of the PDE coe cients in the interior, i.e., the FDGQR directly learns" the problem from its transfer function. This embedding property found applications in PDE solvers, inverse problems and unsupervised machine learning. Here we show a generalization of this approach to dissipative PDE problems, e.g., electromagnetic and acoustic wave propagation in lossy dispersive media. Potential applications include solution of inverse scattering problems in dispersive media, such as seismic exploration, radars and sonars. To x the idea, we consider a passive irreducible SISO ROM fn(s) = Xn j=1 yi s + σj , (62) assuming that all complex terms in (62) come in conjugate pairs. We will seek ladder realization of (62) as rjuj + vj − vj−1 = −shˆjuj , uj+1 − uj + ˆrj vj = −shj vj , (63) for j = 0, . . . , n with boundary conditions un+1 = 0, v1 = −1, and 4n real parameters hi, hˆi, ri and rˆi, i = 1, . . . , n, that can be considered, respectively, as the equivalent discrete inductances, capacitors and also primary and dual conductors. Alternatively, they can be viewed as respectively masses, spring stiness, primary and dual dampers of a mechanical string. Reordering variables would bring (63) into tridiagonal form, so from the spectral measure given by (62 ) the coe cients of (63) can be obtained via a non-symmetric Lanczos algorithm written in J-symmetric form and fn(s) can be equivalently computed as fn(s) = u1. The cases considered in the original FDGQR correspond to either (i) real y, θ or (ii) real y and imaginary θ. Both cases are covered by the Stieltjes theorem, that yields in case (i) real positive h, hˆ and trivial r, rˆ, and in case (ii) real positive h,r and trivial hˆ,rˆ. This result allowed us a simple interpretation of (62) as the staggered nite-dierence approximation of the underlying PDE problem [2]. For PDEs in more than one variables (including topologically rich data-manifolds), a nite-dierence interpretation is obtained via a MIMO extensions in block form, e.g., [4, 3]. The main di culty of extending this approach to general passive problems is that the Stieltjes theory is no longer applicable. Moreover, the tridiagonal realization of a passive ROM transfer function (62) via the ladder network (63) cannot always be obtained in port-Hamiltonian form, i.e., the equivalent primary and dual conductors may change sign [1]. 100 Embedding of the Stieltjes problems, e.g., the case (i) was done by mapping h and hˆ into values of acoustic (or electromagnetic) impedance at grid cells, that required a special coordinate stretching (known as travel time coordinate transform) for continuous problems. Likewise, to circumvent possible non-positivity of conductors for the non-Stieltjes case, we introduce an additional complex s-dependent coordinate stretching, vanishing as s → ∞ [1]. This stretching applied in the discrete setting induces a diagonal factorization, removes oscillating coe cients, and leads to an accurate embedding for moderate variations of the coe cients of the continuum problems, i.e., it maps discrete coe cients onto the values of their continuum counterparts. Not only does this embedding yields an approximate linear algebraic algorithm for the solution of the inverse problems for dissipative PDEs, it also leads to new insight into the properties of their ROM realizations. We will also discuss another approach to embedding, based on Krein-Nudelman theory [5], that results in special data-driven adaptive grids. References [1] Borcea, Liliana and Druskin, Vladimir and Zimmerling, Jörn, A reduced order model approach to inverse scattering in lossy layered media, Journal of Scienti c Computing, V. 89, N1, pp. 136,2021 [2] Druskin, Vladimir and Knizhnerman, Leonid, Gaussian spectral rules for the three-point second dierences: I. A two-point positive de nite problem in a semi-in nite domain, SIAM Journal on Numerical Analysis, V. 37, N 2, pp.403422, 1999 [3] Druskin, Vladimir and Mamonov, Alexander V and Zaslavsky, Mikhail, Distance preserving model order reduction of graph-Laplacians and cluster analysis, Druskin, Vladimir and Mamonov, Alexander V and Zaslavsky, Mikhail, Journal of Scienti c Computing, V. 90, N 1, pp 130, 2022 [4] Druskin, Vladimir and Moskow, Shari and Zaslavsky, Mikhail LippmannSchwingerLanczos algorithm for inverse scattering problems, Inverse Problems, V. 37, N. 7, 2021, [5] Mark Adolfovich Nudelman The Krein String and Characteristic Functions of Maximal Dissipative Operators, Journal of Mathematical Sciences, 2004, V 124, pp 49184934 Go back to Plenary Speakers Go back to Speakers Go backmore » « less
