首页 > 最新文献

SIAM Journal on Applied Dynamical Systems最新文献

英文 中文
Graph-Based Sufficient Conditions for the Indistinguishability of Linear Compartmental Models 线性区隔模型无差别性的基于图的充分条件
IF 2.1 4区 数学 Q2 MATHEMATICS, APPLIED Pub Date : 2024-08-02 DOI: 10.1137/23m1614663
Cashous Bortner, Nicolette Meshkat
SIAM Journal on Applied Dynamical Systems, Volume 23, Issue 3, Page 2179-2207, September 2024.
Abstract.An important problem in biological modeling is choosing the right model. Given experimental data, one is supposed to find the best mathematical representation to describe the real-world phenomena. However, there may not be a unique model representing that real-world phenomena. Two distinct models could yield the same exact dynamics. In this case, these models are called indistinguishable. In this work, we consider the indistinguishability problem for linear compartmental models, which are used in many areas, such as pharmacokinetics, physiology, cell biology, toxicology, and ecology. We exhibit sufficient conditions for indistinguishability for models with a certain graph structure: paths from input to output with “detours.” The benefit of applying our results is that indistinguishability can be proven using only the graph structure of the models, without the use of any symbolic computation. This can be very helpful for medium-to-large sized linear compartmental models. These are the first sufficient conditions for the indistinguishability of linear compartmental models based on graph structure alone, as previously only necessary conditions for indistinguishability of linear compartmental models existed based on graph structure alone. We prove our results by showing that the indistinguishable models are the same up to a renaming of parameters, which we call permutation indistinguishability.
SIAM 应用动力系统期刊》,第 23 卷第 3 期,第 2179-2207 页,2024 年 9 月。 摘要:生物建模的一个重要问题是选择正确的模型。给定实验数据后,人们应该找到描述真实世界现象的最佳数学表征。然而,可能并不存在一个唯一的模型来代表真实世界的现象。两个不同的模型可以产生完全相同的动力学结果。在这种情况下,这些模型被称为无差别模型。在这项研究中,我们考虑了线性区室模型的不可区分性问题,这些模型被广泛应用于药物动力学、生理学、细胞生物学、毒理学和生态学等领域。我们为具有特定图结构的模型展示了不可区分性的充分条件:从输入到输出的路径带有 "迂回"。应用我们的结果的好处是,只需使用模型的图结构就能证明无差别性,而无需使用任何符号计算。这对大中型线性分区模型非常有帮助。这是第一个仅基于图结构就能证明线性分隔模型不可区分性的充分条件,因为以前仅基于图结构就能证明线性分隔模型不可区分性的必要条件。我们通过证明不可区分的模型在参数重命名之前是相同的(我们称之为置换不可区分性)来证明我们的结果。
{"title":"Graph-Based Sufficient Conditions for the Indistinguishability of Linear Compartmental Models","authors":"Cashous Bortner, Nicolette Meshkat","doi":"10.1137/23m1614663","DOIUrl":"https://doi.org/10.1137/23m1614663","url":null,"abstract":"SIAM Journal on Applied Dynamical Systems, Volume 23, Issue 3, Page 2179-2207, September 2024. <br/> Abstract.An important problem in biological modeling is choosing the right model. Given experimental data, one is supposed to find the best mathematical representation to describe the real-world phenomena. However, there may not be a unique model representing that real-world phenomena. Two distinct models could yield the same exact dynamics. In this case, these models are called indistinguishable. In this work, we consider the indistinguishability problem for linear compartmental models, which are used in many areas, such as pharmacokinetics, physiology, cell biology, toxicology, and ecology. We exhibit sufficient conditions for indistinguishability for models with a certain graph structure: paths from input to output with “detours.” The benefit of applying our results is that indistinguishability can be proven using only the graph structure of the models, without the use of any symbolic computation. This can be very helpful for medium-to-large sized linear compartmental models. These are the first sufficient conditions for the indistinguishability of linear compartmental models based on graph structure alone, as previously only necessary conditions for indistinguishability of linear compartmental models existed based on graph structure alone. We prove our results by showing that the indistinguishable models are the same up to a renaming of parameters, which we call permutation indistinguishability.","PeriodicalId":49534,"journal":{"name":"SIAM Journal on Applied Dynamical Systems","volume":null,"pages":null},"PeriodicalIF":2.1,"publicationDate":"2024-08-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141881052","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
A Mathematical Model of the Visual MacKay Effect 视觉麦凯效应数学模型
IF 2.1 4区 数学 Q2 MATHEMATICS, APPLIED Pub Date : 2024-08-01 DOI: 10.1137/23m1616686
Cyprien Tamekue, Dario Prandi, Yacine Chitour
SIAM Journal on Applied Dynamical Systems, Volume 23, Issue 3, Page 2138-2178, September 2024.
Abstract.This paper investigates the intricate connection between visual perception and the mathematical modeling of neural activity in the primary visual cortex (V1). The focus is on modeling the visual MacKay effect [D. M. MacKay, Nature, 180 (1957), pp. 849–850]. While bifurcation theory has been a prominent mathematical approach for addressing issues in neuroscience, especially in describing spontaneous pattern formations in V1 due to parameter changes, it faces challenges in scenarios with localized sensory inputs. This is evident, for instance, in MacKay’s psychophysical experiments, where the redundancy of visual stimuli information results in irregular shapes, making bifurcation theory and multiscale analysis less effective. To address this, we follow a mathematical viewpoint based on the input-output controllability of an Amari-type neural fields model. In this framework, we consider sensory input as a control function, a cortical representation via the retino-cortical map of the visual stimulus that captures its distinct features. This includes highly localized information in the center of MacKay’s funnel pattern “MacKay rays.” From a control theory point of view, the Amari-type equation’s exact controllability property is discussed for linear and nonlinear response functions. For the visual MacKay effect modeling, we adjust the parameter representing intra-neuron connectivity to ensure that cortical activity exponentially stabilizes to the stationary state in the absence of sensory input. Then, we perform quantitative and qualitative studies to demonstrate that they capture all the essential features of the induced after-image reported by MacKay.
SIAM 应用动力系统期刊》第 23 卷第 3 期第 2138-2178 页,2024 年 9 月。 摘要:本文研究了视觉感知与初级视觉皮层(V1)神经活动数学建模之间错综复杂的联系。重点是视觉麦凯效应建模[D. M. MacKay, Nature, 180 (1957), pp.]虽然分岔理论一直是解决神经科学问题的重要数学方法,尤其是在描述 V1 因参数变化而自发形成的模式方面,但它在具有局部感官输入的情况下面临挑战。例如,在麦凯的心理物理实验中,视觉刺激信息的冗余导致了不规则的形状,使得分岔理论和多尺度分析的效果大打折扣。为了解决这个问题,我们采用了一种基于 Amari 型神经场模型输入输出可控性的数学观点。在这一框架中,我们将感觉输入视为一种控制功能,即通过视网膜-皮质图谱捕捉视觉刺激的明显特征的皮质表征。这包括麦凯漏斗图案 "麦凯射线 "中心的高度局部化信息。从控制理论的角度,讨论了线性和非线性响应函数的 Amari 型方程的精确可控性。在视觉麦凯效应建模中,我们调整了代表神经元内部连通性的参数,以确保在没有感觉输入的情况下,大脑皮层活动以指数方式稳定在静止状态。然后,我们进行了定量和定性研究,以证明它们捕捉到了麦凯报告的诱导残像的所有基本特征。
{"title":"A Mathematical Model of the Visual MacKay Effect","authors":"Cyprien Tamekue, Dario Prandi, Yacine Chitour","doi":"10.1137/23m1616686","DOIUrl":"https://doi.org/10.1137/23m1616686","url":null,"abstract":"SIAM Journal on Applied Dynamical Systems, Volume 23, Issue 3, Page 2138-2178, September 2024. <br/> Abstract.This paper investigates the intricate connection between visual perception and the mathematical modeling of neural activity in the primary visual cortex (V1). The focus is on modeling the visual MacKay effect [D. M. MacKay, Nature, 180 (1957), pp. 849–850]. While bifurcation theory has been a prominent mathematical approach for addressing issues in neuroscience, especially in describing spontaneous pattern formations in V1 due to parameter changes, it faces challenges in scenarios with localized sensory inputs. This is evident, for instance, in MacKay’s psychophysical experiments, where the redundancy of visual stimuli information results in irregular shapes, making bifurcation theory and multiscale analysis less effective. To address this, we follow a mathematical viewpoint based on the input-output controllability of an Amari-type neural fields model. In this framework, we consider sensory input as a control function, a cortical representation via the retino-cortical map of the visual stimulus that captures its distinct features. This includes highly localized information in the center of MacKay’s funnel pattern “MacKay rays.” From a control theory point of view, the Amari-type equation’s exact controllability property is discussed for linear and nonlinear response functions. For the visual MacKay effect modeling, we adjust the parameter representing intra-neuron connectivity to ensure that cortical activity exponentially stabilizes to the stationary state in the absence of sensory input. Then, we perform quantitative and qualitative studies to demonstrate that they capture all the essential features of the induced after-image reported by MacKay.","PeriodicalId":49534,"journal":{"name":"SIAM Journal on Applied Dynamical Systems","volume":null,"pages":null},"PeriodicalIF":2.1,"publicationDate":"2024-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141881051","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
The Nucleation-Annihilation Dynamics of Hotspot Patterns for a Reaction-Diffusion System of Urban Crime with Police Deployment 有警察部署的城市犯罪反应-扩散系统热点模式的成核-湮灭动力学
IF 2.1 4区 数学 Q2 MATHEMATICS, APPLIED Pub Date : 2024-07-29 DOI: 10.1137/23m1562330
Chunyi Gai, Michael J. Ward
SIAM Journal on Applied Dynamical Systems, Volume 23, Issue 3, Page 2018-2060, September 2024.
Abstract. A hybrid asymptotic-numerical approach is developed to study the existence and linear stability of steady-state hotspot patterns for a three-component one-dimensional reaction-diffusion (RD) system that models urban crime with police intervention. Our analysis is focused on a new scaling regime in the RD system where there are two distinct competing mechanisms of hotspot annihilation and creation that, when coincident in a parameter space, lead to complex spatio-temporal dynamics of hotspot patterns. Hotspot annihilation events are shown numerically to be triggered by an asynchronous oscillatory instability of the hotspot amplitudes that arises from a secondary instability on the branch of periodic solutions that emerges from a Hopf bifurcation of the steady-state solution. In addition, hotspots can be nucleated from a quiescent background when the criminal diffusivity is below a saddle-node bifurcation threshold of hotspot equilibria, which we estimate from our asymptotic analysis. To investigate instabilities of hotspot steady states, the spectrum of the linearization around a two-boundary hotspot pattern is computed, and instability thresholds due to either zero-eigenvalue crossings or Hopf bifurcations are shown. The bifurcation software pde2path is used to follow the branch of periodic solutions and detect the onset of the secondary instability. Overall, these results provide a phase diagram in parameter space where distinct types of dynamical behaviors occur. In one region of this phase diagram, where the police diffusivity is small, a two-boundary hotspot steady state is unstable to an asynchronous oscillatory instability in the hotspot amplitudes. This instability typically triggers a nonlinear process leading to the annihilation of one of the hotspots. However, for parameter values where this instability is coincident with the nonexistence of a one-hotspot steady state, we show that hotspot patterns undergo complex “nucleation-annihilation” dynamics that are characterized by large-scale persistent oscillations of the hotspot amplitudes. In this way, our results identify parameter ranges in the three-component crime model where the effect of police intervention is to simply displace crime between adjacent hotspots and where new crime hotspots regularly emerge “spontaneously” from regions that were previously free of crime. More generally, it is suggested that when these annihilation and nucleation mechanisms are coincident for other multihotspot patterns, the problem of predicting the spatial-temporal distribution of crime is largely intractable.
SIAM 应用动力系统期刊》,第 23 卷第 3 期,第 2018-2060 页,2024 年 9 月。 摘要本文建立了一种渐近-数值混合方法,以研究一个三元一维反应-扩散(RD)系统的稳态热点模式的存在性和线性稳定性。我们的分析侧重于 RD 系统中的一种新的缩放机制,在该机制中存在两种截然不同的热点湮灭和创造竞争机制,当这两种机制在参数空间中重合时,会导致热点模式的复杂时空动态。数值研究表明,热点湮灭事件是由热点振幅的异步振荡不稳定性引发的,这种不稳定性来自稳态解的霍普夫分岔所产生的周期解分支上的次级不稳定性。此外,当犯罪扩散率低于热点平衡的鞍节点分岔阈值时,热点可以从静态背景中核化出来,我们通过渐近分析估计了这一阈值。为了研究热点稳态的不稳定性,我们计算了围绕双边界热点模式的线性化频谱,并显示了零特征值交叉或霍普夫分岔导致的不稳定阈值。分岔软件 pde2path 用于跟踪周期解的分支,并检测二次不稳定性的发生。总体而言,这些结果提供了参数空间中的相图,其中出现了不同类型的动力学行为。在该相图的一个区域,即警察扩散率较小的区域,双边界热点稳定状态不稳定,热点振幅出现异步振荡不稳定。这种不稳定性通常会引发一个非线性过程,导致其中一个热点湮灭。然而,对于这种不稳定性与单热点稳态不存在同时出现的参数值,我们发现热点模式经历了复杂的 "成核-湮灭 "动力学过程,其特点是热点振幅的大尺度持续振荡。通过这种方式,我们的结果确定了三要素犯罪模型中的参数范围,在这些范围内,警方干预的效果仅仅是在相邻热点之间移位犯罪,而新的犯罪热点则会定期 "自发 "地从以前没有犯罪的地区出现。更广泛地说,当这些湮灭和成核机制同时出现在其他多热点模式中时,预测犯罪的时空分布问题在很大程度上是难以解决的。
{"title":"The Nucleation-Annihilation Dynamics of Hotspot Patterns for a Reaction-Diffusion System of Urban Crime with Police Deployment","authors":"Chunyi Gai, Michael J. Ward","doi":"10.1137/23m1562330","DOIUrl":"https://doi.org/10.1137/23m1562330","url":null,"abstract":"SIAM Journal on Applied Dynamical Systems, Volume 23, Issue 3, Page 2018-2060, September 2024. <br/> Abstract. A hybrid asymptotic-numerical approach is developed to study the existence and linear stability of steady-state hotspot patterns for a three-component one-dimensional reaction-diffusion (RD) system that models urban crime with police intervention. Our analysis is focused on a new scaling regime in the RD system where there are two distinct competing mechanisms of hotspot annihilation and creation that, when coincident in a parameter space, lead to complex spatio-temporal dynamics of hotspot patterns. Hotspot annihilation events are shown numerically to be triggered by an asynchronous oscillatory instability of the hotspot amplitudes that arises from a secondary instability on the branch of periodic solutions that emerges from a Hopf bifurcation of the steady-state solution. In addition, hotspots can be nucleated from a quiescent background when the criminal diffusivity is below a saddle-node bifurcation threshold of hotspot equilibria, which we estimate from our asymptotic analysis. To investigate instabilities of hotspot steady states, the spectrum of the linearization around a two-boundary hotspot pattern is computed, and instability thresholds due to either zero-eigenvalue crossings or Hopf bifurcations are shown. The bifurcation software pde2path is used to follow the branch of periodic solutions and detect the onset of the secondary instability. Overall, these results provide a phase diagram in parameter space where distinct types of dynamical behaviors occur. In one region of this phase diagram, where the police diffusivity is small, a two-boundary hotspot steady state is unstable to an asynchronous oscillatory instability in the hotspot amplitudes. This instability typically triggers a nonlinear process leading to the annihilation of one of the hotspots. However, for parameter values where this instability is coincident with the nonexistence of a one-hotspot steady state, we show that hotspot patterns undergo complex “nucleation-annihilation” dynamics that are characterized by large-scale persistent oscillations of the hotspot amplitudes. In this way, our results identify parameter ranges in the three-component crime model where the effect of police intervention is to simply displace crime between adjacent hotspots and where new crime hotspots regularly emerge “spontaneously” from regions that were previously free of crime. More generally, it is suggested that when these annihilation and nucleation mechanisms are coincident for other multihotspot patterns, the problem of predicting the spatial-temporal distribution of crime is largely intractable.","PeriodicalId":49534,"journal":{"name":"SIAM Journal on Applied Dynamical Systems","volume":null,"pages":null},"PeriodicalIF":2.1,"publicationDate":"2024-07-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141865110","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Stochastic Energy-Balance Model With A Moving Ice Line 带有移动冰线的随机能量平衡模型
IF 2.1 4区 数学 Q2 MATHEMATICS, APPLIED Pub Date : 2024-07-29 DOI: 10.1137/23m1619873
Ilya Pavlyukevich, Marian Ritsch
SIAM Journal on Applied Dynamical Systems, Volume 23, Issue 3, Page 2061-2098, September 2024.
Abstract.In [SIAM J. Appl. Dyn. Syst., 12 (2013), pp. 2068–2092], Widiasih proposed and analyzed a deterministic one-dimensional Budyko–Sellers energy-balance model with a moving ice line. In this paper, we extend this model to the stochastic setting and analyze it within the framework of stochastic slow-fast systems. We derive the dynamics for the ice line in the limit of a small parameter as a solution to a stochastic differential equation. The stochastic approach enables the study of co-existing (metastable) climate states as well as the transition dynamics between them.
SIAM 应用动力系统期刊》,第 23 卷,第 3 期,第 2061-2098 页,2024 年 9 月。 摘要:在 [SIAM J. Appl. Dyn. Syst.在本文中,我们将该模型扩展到随机环境,并在随机慢-快系统框架内对其进行分析。我们将冰线在小参数极限下的动力学推导为随机微分方程的解。采用随机方法可以研究共存的(可转移的)气候状态以及它们之间的过渡动力学。
{"title":"Stochastic Energy-Balance Model With A Moving Ice Line","authors":"Ilya Pavlyukevich, Marian Ritsch","doi":"10.1137/23m1619873","DOIUrl":"https://doi.org/10.1137/23m1619873","url":null,"abstract":"SIAM Journal on Applied Dynamical Systems, Volume 23, Issue 3, Page 2061-2098, September 2024. <br/> Abstract.In [SIAM J. Appl. Dyn. Syst., 12 (2013), pp. 2068–2092], Widiasih proposed and analyzed a deterministic one-dimensional Budyko–Sellers energy-balance model with a moving ice line. In this paper, we extend this model to the stochastic setting and analyze it within the framework of stochastic slow-fast systems. We derive the dynamics for the ice line in the limit of a small parameter as a solution to a stochastic differential equation. The stochastic approach enables the study of co-existing (metastable) climate states as well as the transition dynamics between them.","PeriodicalId":49534,"journal":{"name":"SIAM Journal on Applied Dynamical Systems","volume":null,"pages":null},"PeriodicalIF":2.1,"publicationDate":"2024-07-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141865182","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
A Geometric Singular Perturbation Analysis of Shock Selection Rules in Composite Regularized Reaction-Nonlinear Diffusion Models 复合正则化反应-非线性扩散模型中冲击选择规则的几何奇异扰动分析
IF 2.1 4区 数学 Q2 MATHEMATICS, APPLIED Pub Date : 2024-07-29 DOI: 10.1137/23m1591803
Bronwyn H. Bradshaw-Hajek, Ian Lizarraga, Robert Marangell, Martin Wechselberger
SIAM Journal on Applied Dynamical Systems, Volume 23, Issue 3, Page 2099-2137, September 2024.
Abstract.Reaction-nonlinear diffusion partial differential equations (RND PDEs) have recently been developed as a powerful and flexible modeling tool in order to investigate the emergence of steep fronts in biological and ecological contexts. In this work, we demonstrate the utility and scope of regularization as a technique to investigate the existence and uniqueness of steep-fronted traveling wave solutions in RND PDE models with forward-backward-forward diffusion. In a recent work (see [Y. Li et al., Phys. D, 423 (2021), 132916]), geometric singular perturbation theory (GSPT) was introduced as a framework to analyze these regularized RND PDEs. Using the GSPT toolbox, different regularizations were shown to give rise to distinct families of monotone steep-fronted traveling waves which limit to their shock-fronted singular counterparts, obeying either the equal area or extremal area (i.e., algebraic decay) rules that are well known in the shockwave literature. In this work, we extend those earlier results by showing that composite regularizations can be used to construct families of monotone shock-fronted traveling waves sweeping out distinct generalized area rules, which smoothly interpolate between these two extremal rules for shock selection. Our analysis blends Melnikov methods—including a new variant of the method which can be applied to autonomous piecewise-smooth systems—with GSPT techniques applied to the traveling wave problem of the regularized RND model over distinct spatiotemporal scales. We further demonstrate using numerical continuation that our composite model supports more exotic shock-fronted solutions, namely, nonmonotone shock-fronted waves as well as shock-fronted waves containing slow tails in the aggregation (backward diffusion) regime. We complement these existence results with a numerical spectral stability analysis of some of these new “interpolated” steep-fronted waves. Using techniques from geometric spectral stability theory, our numerical results suggest that the monotone families remain spectrally stable in the “interpolation” regime, which extends recent stability results by some of the authors in [I. Lizarraga and R. Marangell, Phys. D, 460 (2024), 134069], [I. Lizarraga and R. Marangell, J. Nonlinear Sci., 33 (2023), 82]. The multiple-scale nature of the composite regularized RND PDE model continues to play an important role in the numerical analysis of the spatial eigenvalue problem.
SIAM 应用动力系统期刊》,第 23 卷第 3 期,第 2099-2137 页,2024 年 9 月。 摘要.反应非线性扩散偏微分方程(RND PDEs)最近被开发成一种强大而灵活的建模工具,用于研究生物和生态环境中陡峭前沿的出现。在这项工作中,我们展示了正则化作为一种技术在研究具有前向-后向-前向扩散的 RND PDE 模型中陡锋行波解的存在性和唯一性方面的实用性和范围。在最近的一项工作中(见 [Y. Li et al., Phys. D, 423 (2021), 132916]),引入了几何奇异扰动理论(GSPT)作为分析这些正则化 RND PDE 的框架。利用 GSPT 工具箱,不同的正则化被证明会产生不同的单调陡前行波系列,这些行波会极限到它们的冲击前奇异对应波,服从冲击波文献中众所周知的等面积或极值面积(即代数衰减)规则。在这项研究中,我们扩展了之前的研究成果,证明复合正则化可以用来构建单调冲击前行波族,扫出不同的广义面积规则,在这两种极端规则之间平滑插值,以进行冲击选择。我们的分析融合了梅尔尼科夫方法(包括该方法的一个新变体,它可应用于自主片状光滑系统)和应用于不同时空尺度上正则化 RND 模型行波问题的 GSPT 技术。我们通过数值延续进一步证明,我们的复合模型支持更奇特的冲击波前解,即非单调冲击波前解以及在聚集(后向扩散)机制中包含慢尾的冲击波前解。我们对这些新的 "插值 "陡前波进行了数值谱稳定性分析,以补充这些存在性结果。利用几何谱稳定性理论的技术,我们的数值结果表明,单调族在 "插值 "机制中保持谱稳定性,这扩展了[I. Lizarraga and R. Marangell, Phys. D, 460 (2024), 134069]、[I. Lizarraga and R. Marangell, J. Nonlinear Sci., 33 (2023), 82]中一些作者的最新稳定性结果。复合正则化 RND PDE 模型的多尺度性质在空间特征值问题的数值分析中继续发挥着重要作用。
{"title":"A Geometric Singular Perturbation Analysis of Shock Selection Rules in Composite Regularized Reaction-Nonlinear Diffusion Models","authors":"Bronwyn H. Bradshaw-Hajek, Ian Lizarraga, Robert Marangell, Martin Wechselberger","doi":"10.1137/23m1591803","DOIUrl":"https://doi.org/10.1137/23m1591803","url":null,"abstract":"SIAM Journal on Applied Dynamical Systems, Volume 23, Issue 3, Page 2099-2137, September 2024. <br/> Abstract.Reaction-nonlinear diffusion partial differential equations (RND PDEs) have recently been developed as a powerful and flexible modeling tool in order to investigate the emergence of steep fronts in biological and ecological contexts. In this work, we demonstrate the utility and scope of regularization as a technique to investigate the existence and uniqueness of steep-fronted traveling wave solutions in RND PDE models with forward-backward-forward diffusion. In a recent work (see [Y. Li et al., Phys. D, 423 (2021), 132916]), geometric singular perturbation theory (GSPT) was introduced as a framework to analyze these regularized RND PDEs. Using the GSPT toolbox, different regularizations were shown to give rise to distinct families of monotone steep-fronted traveling waves which limit to their shock-fronted singular counterparts, obeying either the equal area or extremal area (i.e., algebraic decay) rules that are well known in the shockwave literature. In this work, we extend those earlier results by showing that composite regularizations can be used to construct families of monotone shock-fronted traveling waves sweeping out distinct generalized area rules, which smoothly interpolate between these two extremal rules for shock selection. Our analysis blends Melnikov methods—including a new variant of the method which can be applied to autonomous piecewise-smooth systems—with GSPT techniques applied to the traveling wave problem of the regularized RND model over distinct spatiotemporal scales. We further demonstrate using numerical continuation that our composite model supports more exotic shock-fronted solutions, namely, nonmonotone shock-fronted waves as well as shock-fronted waves containing slow tails in the aggregation (backward diffusion) regime. We complement these existence results with a numerical spectral stability analysis of some of these new “interpolated” steep-fronted waves. Using techniques from geometric spectral stability theory, our numerical results suggest that the monotone families remain spectrally stable in the “interpolation” regime, which extends recent stability results by some of the authors in [I. Lizarraga and R. Marangell, Phys. D, 460 (2024), 134069], [I. Lizarraga and R. Marangell, J. Nonlinear Sci., 33 (2023), 82]. The multiple-scale nature of the composite regularized RND PDE model continues to play an important role in the numerical analysis of the spatial eigenvalue problem.","PeriodicalId":49534,"journal":{"name":"SIAM Journal on Applied Dynamical Systems","volume":null,"pages":null},"PeriodicalIF":2.1,"publicationDate":"2024-07-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141865181","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Rigorous Computation of Solutions of Semilinear PDEs on Unbounded Domains via Spectral Methods 通过谱方法严格计算无界域上半线性 PDE 的解
IF 2.1 4区 数学 Q2 MATHEMATICS, APPLIED Pub Date : 2024-07-22 DOI: 10.1137/23m1607507
Matthieu Cadiot, Jean-Philippe Lessard, Jean-Christophe Nave
SIAM Journal on Applied Dynamical Systems, Volume 23, Issue 3, Page 1966-2017, September 2024.
Abstract.In this article we present a general method to rigorously prove existence of strong solutions to a large class of autonomous semilinear PDEs in a Hilbert space [math] ([math]) via computer-assisted proofs. Our approach is fully spectral and uses Fourier series to approximate functions in [math] as well as bounded linear operators from [math] to [math]. In particular, we construct approximate inverses of differential operators via Fourier series approximations. Combining this construction with a Newton–Kantorovich approach, we develop a numerical method to prove existence of strong solutions. To do so, we introduce a finite-dimensional trace theorem from which we build smooth functions with support on a hypercube. The method is then generalized to systems of PDEs with extra equations/parameters, such as eigenvalue problems. As an application, we prove the existence of a traveling wave (soliton) in the Kawahara equation in [math] as well as eigenpairs of the linearization about the soliton. These results allow us to prove the stability of the aforementioned traveling wave.
SIAM 应用动力系统期刊》,第 23 卷第 3 期,第 1966-2017 页,2024 年 9 月。 摘要.本文提出了一种通用方法,通过计算机辅助证明,严格证明希尔伯特空间[math]([math])中一大类自治半线性 PDE 的强解的存在性。我们的方法是全谱性的,使用傅立叶级数来近似 [math] 中的函数以及 [math] 到 [math] 中的有界线性算子。特别是,我们通过傅里叶级数近似来构造微分算子的近似逆。将这种构造与牛顿-康托洛维奇方法相结合,我们开发了一种数值方法来证明强解的存在性。为此,我们引入了有限维迹线定理,并据此建立了在超立方体上有支持的平滑函数。然后,我们将该方法推广到具有额外方程/参数的 PDE 系统,如特征值问题。作为应用,我们证明了[math]中川原方程中存在行波(孤子),以及关于孤子线性化的特征对。通过这些结果,我们可以证明上述行波的稳定性。
{"title":"Rigorous Computation of Solutions of Semilinear PDEs on Unbounded Domains via Spectral Methods","authors":"Matthieu Cadiot, Jean-Philippe Lessard, Jean-Christophe Nave","doi":"10.1137/23m1607507","DOIUrl":"https://doi.org/10.1137/23m1607507","url":null,"abstract":"SIAM Journal on Applied Dynamical Systems, Volume 23, Issue 3, Page 1966-2017, September 2024. <br/> Abstract.In this article we present a general method to rigorously prove existence of strong solutions to a large class of autonomous semilinear PDEs in a Hilbert space [math] ([math]) via computer-assisted proofs. Our approach is fully spectral and uses Fourier series to approximate functions in [math] as well as bounded linear operators from [math] to [math]. In particular, we construct approximate inverses of differential operators via Fourier series approximations. Combining this construction with a Newton–Kantorovich approach, we develop a numerical method to prove existence of strong solutions. To do so, we introduce a finite-dimensional trace theorem from which we build smooth functions with support on a hypercube. The method is then generalized to systems of PDEs with extra equations/parameters, such as eigenvalue problems. As an application, we prove the existence of a traveling wave (soliton) in the Kawahara equation in [math] as well as eigenpairs of the linearization about the soliton. These results allow us to prove the stability of the aforementioned traveling wave.","PeriodicalId":49534,"journal":{"name":"SIAM Journal on Applied Dynamical Systems","volume":null,"pages":null},"PeriodicalIF":2.1,"publicationDate":"2024-07-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141743114","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Transverse Lyapunov Exponent and Chimeras in Globally Coupled Maps 全局耦合地图中的横向 Lyapunov 指数和嵌合体
IF 2.1 4区 数学 Q2 MATHEMATICS, APPLIED Pub Date : 2024-07-19 DOI: 10.1137/23m1603339
Théophile Caby, Pierre Guiraud
SIAM Journal on Applied Dynamical Systems, Volume 23, Issue 3, Page 1946-1965, September 2024.
Abstract.We study the stability properties and the long-term dynamics of chimeras in systems of globally coupled maps. In particular, we establish a formula for the transverse Lyapunov exponent of the states of the system containing synchronized units. We use this formula to present numerical evidence of attracting chimeras having chaotic dynamics as well as periodic behaviors. We also show that, at least for polynomial local maps, attracting periodic cycles tend to belong to cluster spaces, and, more generally, limit sets of chimera orbits have zero Lebesgue measure for strong coupling regimes.
SIAM 应用动力系统期刊》,第 23 卷第 3 期,第 1946-1965 页,2024 年 9 月。 摘要:我们研究了全局耦合映射系统中嵌合体的稳定性和长期动力学。特别是,我们建立了包含同步单元的系统状态的横向 Lyapunov 指数公式。我们利用这个公式提出了具有混沌动力学和周期行为的吸引嵌合体的数值证据。我们还证明,至少对于多项式局部映射,吸引周期性循环倾向于属于簇空间,更一般地说,在强耦合状态下,嵌合体轨道的极限集的勒贝格度量为零。
{"title":"Transverse Lyapunov Exponent and Chimeras in Globally Coupled Maps","authors":"Théophile Caby, Pierre Guiraud","doi":"10.1137/23m1603339","DOIUrl":"https://doi.org/10.1137/23m1603339","url":null,"abstract":"SIAM Journal on Applied Dynamical Systems, Volume 23, Issue 3, Page 1946-1965, September 2024. <br/> Abstract.We study the stability properties and the long-term dynamics of chimeras in systems of globally coupled maps. In particular, we establish a formula for the transverse Lyapunov exponent of the states of the system containing synchronized units. We use this formula to present numerical evidence of attracting chimeras having chaotic dynamics as well as periodic behaviors. We also show that, at least for polynomial local maps, attracting periodic cycles tend to belong to cluster spaces, and, more generally, limit sets of chimera orbits have zero Lebesgue measure for strong coupling regimes.","PeriodicalId":49534,"journal":{"name":"SIAM Journal on Applied Dynamical Systems","volume":null,"pages":null},"PeriodicalIF":2.1,"publicationDate":"2024-07-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141743223","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Hopf Bifurcations of Two Population Neural Fields on the Sphere with Diffusion and Distributed Delays
IF 1.7 4区 数学 Q2 MATHEMATICS, APPLIED Pub Date : 2024-07-15 DOI: 10.1137/23m1554011
L. Spek, S. V. van Gils, Yuri A. Kuznetsov, M. Polner
{"title":"Hopf Bifurcations of Two Population Neural Fields on the Sphere with Diffusion and Distributed Delays","authors":"L. Spek, S. V. van Gils, Yuri A. Kuznetsov, M. Polner","doi":"10.1137/23m1554011","DOIUrl":"https://doi.org/10.1137/23m1554011","url":null,"abstract":"","PeriodicalId":49534,"journal":{"name":"SIAM Journal on Applied Dynamical Systems","volume":null,"pages":null},"PeriodicalIF":1.7,"publicationDate":"2024-07-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141646513","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Rate and Bifurcation Induced Transitions in Asymptotically Slow-Fast Systems 渐近慢-快系统中的速率和分岔诱导转变
IF 2.1 4区 数学 Q2 MATHEMATICS, APPLIED Pub Date : 2024-07-15 DOI: 10.1137/24m1632000
Samuel Jelbart
SIAM Journal on Applied Dynamical Systems, Volume 23, Issue 3, Page 1836-1869, September 2024.
Abstract.This work provides a geometric approach to the study of bifurcation and rate induced transitions in a class of nonautonomous systems referred to herein as asymptotically slow-fast systems, which may be viewed as “intermediate” between the (smaller, resp., larger) classes of asymptotically autonomous and nonautonomous systems. After showing that the relevant systems can be viewed as singular perturbations of a limiting system with a discontinuity in time, we develop an analytical framework for their analysis based on geometric blow-up techniques. We then provide sufficient conditions for the occurrence of bifurcation and rate induced transitions in low dimensions, as well as sufficient conditions for “tracking” in arbitrary (finite) dimensions, i.e., the persistence of an attracting and normally hyperbolic manifold through the transitionary regime. The proofs rely on geometric blow-up, a variant of the Melnikov method which applies on noncompact domains, and general invariant manifold theory. The formalism is applicable in arbitrary (finite) dimensions, and for systems with forward and backward attractors characterized by nontrivial (i.e., nonconstant) dependence on time. The results are demonstrated for low dimensional applications.
SIAM 应用动力系统期刊》,第 23 卷第 3 期,第 1836-1869 页,2024 年 9 月。 摘要.本研究提供了一种几何方法,用于研究一类非自治系统的分岔和速率诱导转换,在此称为渐近慢-快系统,可视为渐近自治和非自治系统(较小,或较大)之间的 "中间 "系统。在证明相关系统可被视为具有时间不连续性的极限系统的奇异扰动之后,我们基于几何炸毁技术建立了一个分析框架。然后,我们提供了在低维度上发生分岔和速率诱导转换的充分条件,以及在任意(有限)维度上 "跟踪 "的充分条件,即一个吸引的、正常的双曲流形在过渡体制中的持续性。证明依赖于几何膨胀、适用于非紧凑域的梅尔尼科夫方法变体以及一般不变流形理论。该形式主义适用于任意(有限)维度,以及具有前向和后向吸引子的系统,这些吸引子的特征是对时间的非三维(即非恒定)依赖。结果在低维应用中得到了证明。
{"title":"Rate and Bifurcation Induced Transitions in Asymptotically Slow-Fast Systems","authors":"Samuel Jelbart","doi":"10.1137/24m1632000","DOIUrl":"https://doi.org/10.1137/24m1632000","url":null,"abstract":"SIAM Journal on Applied Dynamical Systems, Volume 23, Issue 3, Page 1836-1869, September 2024. <br/> Abstract.This work provides a geometric approach to the study of bifurcation and rate induced transitions in a class of nonautonomous systems referred to herein as asymptotically slow-fast systems, which may be viewed as “intermediate” between the (smaller, resp., larger) classes of asymptotically autonomous and nonautonomous systems. After showing that the relevant systems can be viewed as singular perturbations of a limiting system with a discontinuity in time, we develop an analytical framework for their analysis based on geometric blow-up techniques. We then provide sufficient conditions for the occurrence of bifurcation and rate induced transitions in low dimensions, as well as sufficient conditions for “tracking” in arbitrary (finite) dimensions, i.e., the persistence of an attracting and normally hyperbolic manifold through the transitionary regime. The proofs rely on geometric blow-up, a variant of the Melnikov method which applies on noncompact domains, and general invariant manifold theory. The formalism is applicable in arbitrary (finite) dimensions, and for systems with forward and backward attractors characterized by nontrivial (i.e., nonconstant) dependence on time. The results are demonstrated for low dimensional applications.","PeriodicalId":49534,"journal":{"name":"SIAM Journal on Applied Dynamical Systems","volume":null,"pages":null},"PeriodicalIF":2.1,"publicationDate":"2024-07-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141721243","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Less Interaction with Forward Models in Langevin Dynamics: Enrichment and Homotopy 在朗格文动力学中减少与前向模型的互动:丰富性与同调
IF 1.7 4区 数学 Q2 MATHEMATICS, APPLIED Pub Date : 2024-07-15 DOI: 10.1137/23m1546841
M. Eigel, Robert Gruhlke, David Sommer
{"title":"Less Interaction with Forward Models in Langevin Dynamics: Enrichment and Homotopy","authors":"M. Eigel, Robert Gruhlke, David Sommer","doi":"10.1137/23m1546841","DOIUrl":"https://doi.org/10.1137/23m1546841","url":null,"abstract":"","PeriodicalId":49534,"journal":{"name":"SIAM Journal on Applied Dynamical Systems","volume":null,"pages":null},"PeriodicalIF":1.7,"publicationDate":"2024-07-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141646772","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
期刊
SIAM Journal on Applied Dynamical Systems
全部 Acc. Chem. Res. ACS Applied Bio Materials ACS Appl. Electron. Mater. ACS Appl. Energy Mater. ACS Appl. Mater. Interfaces ACS Appl. Nano Mater. ACS Appl. Polym. Mater. ACS BIOMATER-SCI ENG ACS Catal. ACS Cent. Sci. ACS Chem. Biol. ACS Chemical Health & Safety ACS Chem. Neurosci. ACS Comb. Sci. ACS Earth Space Chem. ACS Energy Lett. ACS Infect. Dis. ACS Macro Lett. ACS Mater. Lett. ACS Med. Chem. Lett. ACS Nano ACS Omega ACS Photonics ACS Sens. ACS Sustainable Chem. Eng. ACS Synth. Biol. Anal. Chem. BIOCHEMISTRY-US Bioconjugate Chem. BIOMACROMOLECULES Chem. Res. Toxicol. Chem. Rev. Chem. Mater. CRYST GROWTH DES ENERG FUEL Environ. Sci. Technol. Environ. Sci. Technol. Lett. Eur. J. Inorg. Chem. IND ENG CHEM RES Inorg. Chem. J. Agric. Food. Chem. J. Chem. Eng. Data J. Chem. Educ. J. Chem. Inf. Model. J. Chem. Theory Comput. J. Med. Chem. J. Nat. Prod. J PROTEOME RES J. Am. Chem. Soc. LANGMUIR MACROMOLECULES Mol. Pharmaceutics Nano Lett. Org. Lett. ORG PROCESS RES DEV ORGANOMETALLICS J. Org. Chem. J. Phys. Chem. J. Phys. Chem. A J. Phys. Chem. B J. Phys. Chem. C J. Phys. Chem. Lett. Analyst Anal. Methods Biomater. Sci. Catal. Sci. Technol. Chem. Commun. Chem. Soc. Rev. CHEM EDUC RES PRACT CRYSTENGCOMM Dalton Trans. Energy Environ. Sci. ENVIRON SCI-NANO ENVIRON SCI-PROC IMP ENVIRON SCI-WAT RES Faraday Discuss. Food Funct. Green Chem. Inorg. Chem. Front. Integr. Biol. J. Anal. At. Spectrom. J. Mater. Chem. A J. Mater. Chem. B J. Mater. Chem. C Lab Chip Mater. Chem. Front. Mater. Horiz. MEDCHEMCOMM Metallomics Mol. Biosyst. Mol. Syst. Des. Eng. Nanoscale Nanoscale Horiz. Nat. Prod. Rep. New J. Chem. Org. Biomol. Chem. Org. Chem. Front. PHOTOCH PHOTOBIO SCI PCCP Polym. Chem.
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
0
微信
客服QQ
Book学术公众号 扫码关注我们
反馈
×
意见反馈
请填写您的意见或建议
请填写您的手机或邮箱
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
Book学术官方微信
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术
文献互助 智能选刊 最新文献 互助须知 联系我们:info@booksci.cn
Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。
Copyright © 2023 Book学术 All rights reserved.
ghs 京公网安备 11010802042870号 京ICP备2023020795号-1