首页 > 最新文献

Journal of Computational Dynamics最新文献

英文 中文
Using Lie group integrators to solve two and higher dimensional variational problems with symmetry 利用李群积分器求解二维及高维对称变分问题
IF 1 Q3 Engineering Pub Date : 2019-12-01 DOI: 10.3934/jcd.2019025
Michele Zadra, E. Mansfield
The theory of moving frames has been used successfully to solve one dimensional (1D) variational problems invariant under a Lie group symmetry. In the one dimensional case, Noether's laws give first integrals of the Euler–Lagrange equations. In higher dimensional problems, the conservation laws do not enable the exact integration of the Euler–Lagrange system. In this paper we use the theory of moving frames to help solve, numerically, some higher dimensional variational problems, which are invariant under a Lie group action. In order to find a solution to the variational problem, we need first to solve the Euler Lagrange equations for the relevant differential invariants, and then solve a system of linear, first order, compatible, coupled partial differential equations for a moving frame, evolving on the Lie group. We demonstrate that Lie group integrators may be used in this context. We show first that the Magnus expansions on which one dimensional Lie group integrators are based, may be taken sequentially in a well defined way, at least to order 5; that is, the exact result is independent of the order of integration. We then show that efficient implementations of these integrators give a numerical solution of the equations for the frame, which is independent of the order of integration, to high order, in a range of examples. Our running example is a variational problem invariant under a linear action of begin{document}$ SU(2) $end{document} . We then consider variational problems for evolving curves which are invariant under the projective action of begin{document}$ SL(2) $end{document} and finally the standard affine action of begin{document}$ SE(2) $end{document} .
The theory of moving frames has been used successfully to solve one dimensional (1D) variational problems invariant under a Lie group symmetry. In the one dimensional case, Noether's laws give first integrals of the Euler–Lagrange equations. In higher dimensional problems, the conservation laws do not enable the exact integration of the Euler–Lagrange system. In this paper we use the theory of moving frames to help solve, numerically, some higher dimensional variational problems, which are invariant under a Lie group action. In order to find a solution to the variational problem, we need first to solve the Euler Lagrange equations for the relevant differential invariants, and then solve a system of linear, first order, compatible, coupled partial differential equations for a moving frame, evolving on the Lie group. We demonstrate that Lie group integrators may be used in this context. We show first that the Magnus expansions on which one dimensional Lie group integrators are based, may be taken sequentially in a well defined way, at least to order 5; that is, the exact result is independent of the order of integration. We then show that efficient implementations of these integrators give a numerical solution of the equations for the frame, which is independent of the order of integration, to high order, in a range of examples. Our running example is a variational problem invariant under a linear action of begin{document}$ SU(2) $end{document} . We then consider variational problems for evolving curves which are invariant under the projective action of begin{document}$ SL(2) $end{document} and finally the standard affine action of begin{document}$ SE(2) $end{document} .
{"title":"Using Lie group integrators to solve two and higher dimensional variational problems with symmetry","authors":"Michele Zadra, E. Mansfield","doi":"10.3934/jcd.2019025","DOIUrl":"https://doi.org/10.3934/jcd.2019025","url":null,"abstract":"The theory of moving frames has been used successfully to solve one dimensional (1D) variational problems invariant under a Lie group symmetry. In the one dimensional case, Noether's laws give first integrals of the Euler–Lagrange equations. In higher dimensional problems, the conservation laws do not enable the exact integration of the Euler–Lagrange system. In this paper we use the theory of moving frames to help solve, numerically, some higher dimensional variational problems, which are invariant under a Lie group action. In order to find a solution to the variational problem, we need first to solve the Euler Lagrange equations for the relevant differential invariants, and then solve a system of linear, first order, compatible, coupled partial differential equations for a moving frame, evolving on the Lie group. We demonstrate that Lie group integrators may be used in this context. We show first that the Magnus expansions on which one dimensional Lie group integrators are based, may be taken sequentially in a well defined way, at least to order 5; that is, the exact result is independent of the order of integration. We then show that efficient implementations of these integrators give a numerical solution of the equations for the frame, which is independent of the order of integration, to high order, in a range of examples. Our running example is a variational problem invariant under a linear action of begin{document}$ SU(2) $end{document} . We then consider variational problems for evolving curves which are invariant under the projective action of begin{document}$ SL(2) $end{document} and finally the standard affine action of begin{document}$ SE(2) $end{document} .","PeriodicalId":37526,"journal":{"name":"Journal of Computational Dynamics","volume":null,"pages":null},"PeriodicalIF":1.0,"publicationDate":"2019-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"78500700","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
On the influence of cross-diffusion in pattern formation 交叉扩散对模式形成的影响
IF 1 Q3 Engineering Pub Date : 2019-10-08 DOI: 10.3934/JCD.2021010
M. Breden, C. Kuehn, C. Soresina
In this paper we consider the Shigesada-Kawasaki-Teramoto (SKT) model to account for stable inhomogeneous steady states exhibiting spatial segregation, which describe a situation of coexistence of two competing species. We provide a deeper understanding on the conditions required on both the cross-diffusion and the reaction coefficients for non-homogeneous steady states to exist, by combining a detailed linearized analysis with advanced numerical bifurcation methods via the continuation software pde2path. We report some numerical experiments suggesting that, when cross-diffusion is taken into account, there exist positive and stable non-homogeneous steady states outside of the range of parameters for which the coexistence homogeneous steady state is positive. Furthermore, we also analyze the case in which self-diffusion terms are considered.
本文考虑了Shigesada-Kawasaki-Teramoto (SKT)模型来解释表现空间分离的稳定非均匀稳态,这描述了两个竞争物种共存的情况。我们通过延拓软件pde2path将详细的线性化分析与先进的数值分岔方法相结合,对非齐次稳态存在的交叉扩散和反应系数的条件有了更深入的了解。我们报告了一些数值实验,表明当考虑交叉扩散时,在共存均匀稳态为正的参数范围之外存在正稳定的非均匀稳态。此外,我们还分析了考虑自扩散项的情况。
{"title":"On the influence of cross-diffusion in pattern formation","authors":"M. Breden, C. Kuehn, C. Soresina","doi":"10.3934/JCD.2021010","DOIUrl":"https://doi.org/10.3934/JCD.2021010","url":null,"abstract":"In this paper we consider the Shigesada-Kawasaki-Teramoto (SKT) model to account for stable inhomogeneous steady states exhibiting spatial segregation, which describe a situation of coexistence of two competing species. We provide a deeper understanding on the conditions required on both the cross-diffusion and the reaction coefficients for non-homogeneous steady states to exist, by combining a detailed linearized analysis with advanced numerical bifurcation methods via the continuation software pde2path. We report some numerical experiments suggesting that, when cross-diffusion is taken into account, there exist positive and stable non-homogeneous steady states outside of the range of parameters for which the coexistence homogeneous steady state is positive. Furthermore, we also analyze the case in which self-diffusion terms are considered.","PeriodicalId":37526,"journal":{"name":"Journal of Computational Dynamics","volume":null,"pages":null},"PeriodicalIF":1.0,"publicationDate":"2019-10-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"82263227","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 13
The geometry of convergence in numerical analysis 数值分析中的收敛几何
IF 1 Q3 Engineering Pub Date : 2019-09-20 DOI: 10.3934/jcd.2021003
G. Patrick
The domains of mesh functions are strict subsets of the underlying space of continuous independent variables. Spaces of partial maps between topological spaces admit topologies which do not depend on any metric. Such topologies geometrically generalize the usual numerical analysis definitions of convergence.
网格函数的域是连续自变量底层空间的严格子集。拓扑空间之间的部分映射空间允许不依赖于任何度量的拓扑。这种拓扑从几何上推广了通常的收敛性数值分析定义。
{"title":"The geometry of convergence in numerical analysis","authors":"G. Patrick","doi":"10.3934/jcd.2021003","DOIUrl":"https://doi.org/10.3934/jcd.2021003","url":null,"abstract":"The domains of mesh functions are strict subsets of the underlying space of continuous independent variables. Spaces of partial maps between topological spaces admit topologies which do not depend on any metric. Such topologies geometrically generalize the usual numerical analysis definitions of convergence.","PeriodicalId":37526,"journal":{"name":"Journal of Computational Dynamics","volume":null,"pages":null},"PeriodicalIF":1.0,"publicationDate":"2019-09-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"79561213","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
A self-consistent dynamical system with multiple absolutely continuous invariant measures 具有多个绝对连续不变测度的自洽动力系统
IF 1 Q3 Engineering Pub Date : 2019-09-10 DOI: 10.3934/jcd.2021002
Fanni M. S'elley
In this paper we study a class of emph{self-consistent dynamical systems}, self-consistent in the sense that the discrete time dynamics is different in each step depending on current statistics. The general framework admits popular examples such as coupled map systems. Motivated by an example of M. Blank, we concentrate on a special case where the dynamics in each step is a $beta$-map with some $beta geq 2$. Included in the definition of $beta$ is a parameter $varepsilon > 0$ controlling the strength of self-consistency. We show such a self-consistent system which has a unique absolutely continuous invariant measure (acim) for $varepsilon=0$, but at least two for any $varepsilon > 0$. With a slight modification, we transform this system into one which produces a phase transition-like behavior: it has a unique acim for $0< varepsilon < varepsilon^*$, and multiple for sufficiently large values of $varepsilon$. We discuss the stability of the invariant measures by the help of computer simulations employing the numerical representation of the self-consistent transfer operator.
本文研究了一类emph{自洽动力系统,自洽}是指离散时间动力学在每一步中随当前统计量的不同而不同。一般框架允许流行的例子,如耦合地图系统。受M. Blank的一个例子的启发,我们专注于一个特殊情况,其中每个步骤中的动态是一个$beta$ -map和一些$beta geq 2$。在$beta$的定义中包含了一个控制自洽强度的参数$varepsilon > 0$。我们证明了这样一个自洽系统,它对$varepsilon=0$有唯一的绝对连续不变测度(acim),但对任意$varepsilon > 0$至少有两个。稍微修改一下,我们将这个系统转换成一个产生类似相变行为的系统:它对$0< varepsilon < varepsilon^*$有一个唯一的acim,对$varepsilon$有足够大的值有多个。利用自洽转移算子的数值表示,通过计算机模拟讨论了不变量测度的稳定性。
{"title":"A self-consistent dynamical system with multiple absolutely continuous invariant measures","authors":"Fanni M. S'elley","doi":"10.3934/jcd.2021002","DOIUrl":"https://doi.org/10.3934/jcd.2021002","url":null,"abstract":"In this paper we study a class of emph{self-consistent dynamical systems}, self-consistent in the sense that the discrete time dynamics is different in each step depending on current statistics. The general framework admits popular examples such as coupled map systems. Motivated by an example of M. Blank, we concentrate on a special case where the dynamics in each step is a $beta$-map with some $beta geq 2$. Included in the definition of $beta$ is a parameter $varepsilon > 0$ controlling the strength of self-consistency. We show such a self-consistent system which has a unique absolutely continuous invariant measure (acim) for $varepsilon=0$, but at least two for any $varepsilon > 0$. With a slight modification, we transform this system into one which produces a phase transition-like behavior: it has a unique acim for $0< varepsilon < varepsilon^*$, and multiple for sufficiently large values of $varepsilon$. We discuss the stability of the invariant measures by the help of computer simulations employing the numerical representation of the self-consistent transfer operator.","PeriodicalId":37526,"journal":{"name":"Journal of Computational Dynamics","volume":null,"pages":null},"PeriodicalIF":1.0,"publicationDate":"2019-09-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"90374525","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 5
Principal symmetric space analysis 主对称空间分析
IF 1 Q3 Engineering Pub Date : 2019-08-13 DOI: 10.3934/jcd.2019013
S. Marsland, R. McLachlan, Charles Curry
We develop a novel analogue of Euclidean PCA (principal component analysis) for data taking values on a Riemannian symmetric space, using totally geodesic submanifolds as approximating lower dimnsional submanifolds. We illustrate the technique on n-spheres, Grassmannians, n-tori and polyspheres.
我们开发了一种新的欧几里德PCA(主成分分析)的模拟,用于在黎曼对称空间上取值的数据,使用全测地线子流形作为近似低维子流形。我们在n球、格拉斯曼球、n环面和多球上说明了该技术。
{"title":"Principal symmetric space analysis","authors":"S. Marsland, R. McLachlan, Charles Curry","doi":"10.3934/jcd.2019013","DOIUrl":"https://doi.org/10.3934/jcd.2019013","url":null,"abstract":"We develop a novel analogue of Euclidean PCA (principal component analysis) for data taking values on a Riemannian symmetric space, using totally geodesic submanifolds as approximating lower dimnsional submanifolds. We illustrate the technique on n-spheres, Grassmannians, n-tori and polyspheres.","PeriodicalId":37526,"journal":{"name":"Journal of Computational Dynamics","volume":null,"pages":null},"PeriodicalIF":1.0,"publicationDate":"2019-08-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"79879358","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 4
An incremental approach to online dynamic mode decomposition for time-varying systems with applications to EEG data modeling 时变系统在线动态模态分解的增量方法及其在脑电数据建模中的应用
IF 1 Q3 Engineering Pub Date : 2019-08-02 DOI: 10.3934/jcd.2020009
M. Alfatlawi, Vaibhav Srivastava
Dynamic Mode Decomposition (DMD) is a data-driven technique to identify a low dimensional linear time invariant dynamics underlying high-dimensional data. For systems in which such underlying low-dimensional dynamics is time-varying, a time-invariant approximation of such dynamics computed through standard DMD techniques may not be appropriate. We focus on DMD techniques for such time-varying systems and develop incremental algorithms for systems without and with exogenous control inputs. We build upon the work in [35] to scenarios in which high dimensional data are governed by low dimensional time-varying dynamics. We consider two classes of algorithms that rely on (i) a discount factor on previous observations, and (ii) a sliding window of observations. Our algorithms leverage existing techniques for incremental singular value decomposition and allow us to determine an appropriately reduced model at each time and are applicable even if data matrix is singular. We apply the developed algorithms for autonomous systems to Electroencephalographic (EEG) data and demonstrate their effectiveness in terms of reconstruction and prediction. Our algorithms for non-autonomous systems are illustrated using randomly generated linear time-varying systems.
动态模态分解(DMD)是一种数据驱动的技术,用于识别高维数据下的低维线性时不变动态。对于这种潜在的低维动态是时变的系统,通过标准DMD技术计算的这种动态的时不变近似值可能不合适。我们专注于这种时变系统的DMD技术,并为无外生控制输入和有外生控制输入的系统开发增量算法。我们以[35]中的工作为基础,构建高维数据由低维时变动态控制的场景。我们考虑两类算法,它们依赖于(i)先前观测值的折扣因子和(ii)观测值的滑动窗口。我们的算法利用现有的增量奇异值分解技术,允许我们每次确定一个适当的简化模型,并且即使数据矩阵是奇异的也适用。我们将开发的自主系统算法应用于脑电图(EEG)数据,并证明了它们在重建和预测方面的有效性。我们对非自治系统的算法用随机生成的线性时变系统来说明。
{"title":"An incremental approach to online dynamic mode decomposition for time-varying systems with applications to EEG data modeling","authors":"M. Alfatlawi, Vaibhav Srivastava","doi":"10.3934/jcd.2020009","DOIUrl":"https://doi.org/10.3934/jcd.2020009","url":null,"abstract":"Dynamic Mode Decomposition (DMD) is a data-driven technique to identify a low dimensional linear time invariant dynamics underlying high-dimensional data. For systems in which such underlying low-dimensional dynamics is time-varying, a time-invariant approximation of such dynamics computed through standard DMD techniques may not be appropriate. We focus on DMD techniques for such time-varying systems and develop incremental algorithms for systems without and with exogenous control inputs. We build upon the work in [35] to scenarios in which high dimensional data are governed by low dimensional time-varying dynamics. We consider two classes of algorithms that rely on (i) a discount factor on previous observations, and (ii) a sliding window of observations. Our algorithms leverage existing techniques for incremental singular value decomposition and allow us to determine an appropriately reduced model at each time and are applicable even if data matrix is singular. We apply the developed algorithms for autonomous systems to Electroencephalographic (EEG) data and demonstrate their effectiveness in terms of reconstruction and prediction. Our algorithms for non-autonomous systems are illustrated using randomly generated linear time-varying systems.","PeriodicalId":37526,"journal":{"name":"Journal of Computational Dynamics","volume":null,"pages":null},"PeriodicalIF":1.0,"publicationDate":"2019-08-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"80797145","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 14
Numerical efficacy study of data assimilation for the 2D magnetohydrodynamic equations 二维磁流体动力学方程数据同化的数值有效性研究
IF 1 Q3 Engineering Pub Date : 2019-08-01 DOI: 10.3934/JCD.2019006
Joshua Hudson, M. Jolly
We study the computational efficiency of several nudging data assimilation algorithms for the 2D magnetohydrodynamic equations, using varying amounts and types of data. We find that the algorithms work with much less resolution in the data than required by the rigorous estimates in [ 7 ]. We also test other abridged nudging algorithms to which the analytic techniques in [ 7 ] do not seem to apply. These latter tests indicate, in particular, that velocity data alone is sufficient for synchronization with a chaotic reference solution, while magnetic data alone is not. We demonstrate that a new nonlinear nudging algorithm, which is adaptive in both time and space, synchronizes at a super exponential rate.
利用不同数量和类型的数据,研究了几种推动数据同化算法对二维磁流体动力学方程的计算效率。我们发现,这些算法在数据中的分辨率远低于[7]中严格估计所需的分辨率。我们还测试了[7]中的分析技术似乎不适用的其他简化的助推算法。这些后一种测试特别表明,速度数据本身足以与混沌参考解同步,而磁数据本身则不够。本文提出了一种具有时间和空间自适应的非线性微推算法,该算法能以超指数速率同步。
{"title":"Numerical efficacy study of data assimilation for the 2D magnetohydrodynamic equations","authors":"Joshua Hudson, M. Jolly","doi":"10.3934/JCD.2019006","DOIUrl":"https://doi.org/10.3934/JCD.2019006","url":null,"abstract":"We study the computational efficiency of several nudging data assimilation algorithms for the 2D magnetohydrodynamic equations, using varying amounts and types of data. We find that the algorithms work with much less resolution in the data than required by the rigorous estimates in [ 7 ]. We also test other abridged nudging algorithms to which the analytic techniques in [ 7 ] do not seem to apply. These latter tests indicate, in particular, that velocity data alone is sufficient for synchronization with a chaotic reference solution, while magnetic data alone is not. We demonstrate that a new nonlinear nudging algorithm, which is adaptive in both time and space, synchronizes at a super exponential rate.","PeriodicalId":37526,"journal":{"name":"Journal of Computational Dynamics","volume":null,"pages":null},"PeriodicalIF":1.0,"publicationDate":"2019-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"73961561","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 14
Computing Covariant Lyapunov Vectors in Hilbert spaces 希尔伯特空间中协变Lyapunov向量的计算
IF 1 Q3 Engineering Pub Date : 2019-07-29 DOI: 10.3934/jcd.2021014
Florian Noethen

Covariant Lyapunov Vectors (CLVs) are intrinsic modes that describe long-term linear perturbations of solutions of dynamical systems. With recent advances in the context of semi-invertible multiplicative ergodic theorems, existence of CLVs has been proved for various infinite-dimensional scenarios. Possible applications include the derivation of coherent structures via transfer operators or the stability analysis of linear perturbations in models of increasingly higher resolutions.

We generalize the concept of Ginelli's algorithm to compute CLVs in Hilbert spaces. Our main result is a convergence theorem in the setting of [19]. The theorem relates the speed of convergence to the spectral gap between Lyapunov exponents. While the theorem is restricted to the above setting, our proof requires only basic properties that are given in many other versions of the multiplicative ergodic theorem.

协变李雅普诺夫向量(clv)是描述动力系统解的长期线性扰动的固有模态。随着半可逆乘法遍历定理的最新进展,在各种无限维情形下证明了clv的存在性。可能的应用包括通过传递算符推导相干结构或在分辨率越来越高的模型中分析线性扰动的稳定性。我们推广了Ginelli算法的概念来计算Hilbert空间中的clv。我们的主要结果是在[19]的集合下的一个收敛定理。该定理将收敛速度与李雅普诺夫指数之间的谱间隙联系起来。虽然该定理仅限于上述情况,但我们的证明只需要在许多其他版本的乘法遍历定理中给出的基本性质。
{"title":"Computing Covariant Lyapunov Vectors in Hilbert spaces","authors":"Florian Noethen","doi":"10.3934/jcd.2021014","DOIUrl":"https://doi.org/10.3934/jcd.2021014","url":null,"abstract":"<p style='text-indent:20px;'>Covariant Lyapunov Vectors (CLVs) are intrinsic modes that describe long-term linear perturbations of solutions of dynamical systems. With recent advances in the context of semi-invertible multiplicative ergodic theorems, existence of CLVs has been proved for various infinite-dimensional scenarios. Possible applications include the derivation of coherent structures via transfer operators or the stability analysis of linear perturbations in models of increasingly higher resolutions.</p><p style='text-indent:20px;'>We generalize the concept of Ginelli's algorithm to compute CLVs in Hilbert spaces. Our main result is a convergence theorem in the setting of [<xref ref-type=\"bibr\" rid=\"b19\">19</xref>]. The theorem relates the speed of convergence to the spectral gap between Lyapunov exponents. While the theorem is restricted to the above setting, our proof requires only basic properties that are given in many other versions of the multiplicative ergodic theorem.</p>","PeriodicalId":37526,"journal":{"name":"Journal of Computational Dynamics","volume":null,"pages":null},"PeriodicalIF":1.0,"publicationDate":"2019-07-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"83054042","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 4
Re-factorising a QRT map 重构QRT映射
IF 1 Q3 Engineering Pub Date : 2019-06-02 DOI: 10.3934/jcd.2019016
N. Joshi, P. Kassotakis
A QRT map is the composition of two involutions on a biquadratic curve: one switching the $x$-coordinates of two intersection points with a given horizontal line, and the other switching the $y$-coordinates of two intersections with a vertical line. Given a QRT map, a natural question is to ask whether it allows a decomposition into further involutions. Here we provide new answers to this question and show how they lead to a new class of maps, as well as known HKY maps and quadrirational Yang-Baxter maps.
QRT映射是双二次曲线上的两个对合图的组合:一个用给定的水平线交换两个交点的x坐标,另一个用垂直线交换两个交点的y坐标。给定一个QRT映射,一个自然的问题是问它是否允许分解成进一步的卷积。在这里,我们为这个问题提供了新的答案,并展示了它们如何导致一类新的地图,以及已知的HKY地图和四次方杨-巴克斯特地图。
{"title":"Re-factorising a QRT map","authors":"N. Joshi, P. Kassotakis","doi":"10.3934/jcd.2019016","DOIUrl":"https://doi.org/10.3934/jcd.2019016","url":null,"abstract":"A QRT map is the composition of two involutions on a biquadratic curve: one switching the $x$-coordinates of two intersection points with a given horizontal line, and the other switching the $y$-coordinates of two intersections with a vertical line. Given a QRT map, a natural question is to ask whether it allows a decomposition into further involutions. Here we provide new answers to this question and show how they lead to a new class of maps, as well as known HKY maps and quadrirational Yang-Baxter maps.","PeriodicalId":37526,"journal":{"name":"Journal of Computational Dynamics","volume":null,"pages":null},"PeriodicalIF":1.0,"publicationDate":"2019-06-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"87225477","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 4
The Lie algebra of classical mechanics 经典力学中的李代数
IF 1 Q3 Engineering Pub Date : 2019-05-18 DOI: 10.3934/jcd.2019017
R. McLachlan, A. Murua
Classical mechanical systems are defined by their kinetic and potential energies. They generate a Lie algebra under the canonical Poisson bracket. This Lie algebra, which is usually infinite dimensional, is useful in analyzing the system, as well as in geometric numerical integration. But because the kinetic energy is quadratic in the momenta, the Lie algebra obeys identities beyond those implied by skew symmetry and the Jacobi identity. Some Poisson brackets, or combinations of brackets, are zero for all choices of kinetic and potential energy, regardless of the dimension of the system. Therefore, we study the universal object in this setting, the `Lie algebra of classical mechanics' modelled on the Lie algebra generated by kinetic and potential energy of a simple mechanical system with respect to the canonical Poisson bracket. We show that it is the direct sum of an abelian algebra $mathcal X$, spanned by `modified' potential energies isomorphic to the free commutative nonassociative algebra with one generator, and an algebra freely generated by the kinetic energy and its Poisson bracket with $mathcal X$. We calculate the dimensions $c_n$ of its homogeneous subspaces and determine the value of its entropy $lim_{ntoinfty} c_n^{1/n}$. It is $1.8249dots$, a fundamental constant associated to classical mechanics. We conjecture that the class of systems with Euclidean kinetic energy metrics is already free, i.e., the only linear identities satisfied by the Lie brackets of all such systems are those satisfied by the Lie algebra of classical mechanics.
经典机械系统是由它们的动能和势能来定义的。它们在正则泊松括号下生成一个李代数。这种李代数通常是无限维的,在系统分析和几何数值积分中都很有用。但是因为动能在动量上是二次的,李代数遵循的恒等式超越了那些由偏对称和雅可比恒等式所隐含的恒等式。有些泊松括号,或括号的组合,对于所有动能和势能的选择都是零,而不管系统的大小。因此,我们研究了这种情况下的普遍对象,即“经典力学的李代数”,它是在简单力学系统的动能和势能产生的李代数的基础上,对典型泊松括号进行建模的。我们证明了它是一个阿贝尔代数$mathcal X$的直接和,它是由“修正的”势能张成的,与一个生成器的自由交换非结合代数同构,和一个由动能及其泊松括号与$mathcal X$自由产生的代数。我们计算了它的齐次子空间的维数$c_n$并确定了它的熵值$lim_{ntoinfty} c_n^{1/n}$。它是$1.8249dots$,经典力学中的一个基本常数。我们推测具有欧几里得动能度量的系统是自由的,即所有这类系统的李括号所满足的唯一线性恒等式是经典力学的李代数所满足的。
{"title":"The Lie algebra of classical mechanics","authors":"R. McLachlan, A. Murua","doi":"10.3934/jcd.2019017","DOIUrl":"https://doi.org/10.3934/jcd.2019017","url":null,"abstract":"Classical mechanical systems are defined by their kinetic and potential energies. They generate a Lie algebra under the canonical Poisson bracket. This Lie algebra, which is usually infinite dimensional, is useful in analyzing the system, as well as in geometric numerical integration. But because the kinetic energy is quadratic in the momenta, the Lie algebra obeys identities beyond those implied by skew symmetry and the Jacobi identity. Some Poisson brackets, or combinations of brackets, are zero for all choices of kinetic and potential energy, regardless of the dimension of the system. Therefore, we study the universal object in this setting, the `Lie algebra of classical mechanics' modelled on the Lie algebra generated by kinetic and potential energy of a simple mechanical system with respect to the canonical Poisson bracket. We show that it is the direct sum of an abelian algebra $mathcal X$, spanned by `modified' potential energies isomorphic to the free commutative nonassociative algebra with one generator, and an algebra freely generated by the kinetic energy and its Poisson bracket with $mathcal X$. We calculate the dimensions $c_n$ of its homogeneous subspaces and determine the value of its entropy $lim_{ntoinfty} c_n^{1/n}$. It is $1.8249dots$, a fundamental constant associated to classical mechanics. We conjecture that the class of systems with Euclidean kinetic energy metrics is already free, i.e., the only linear identities satisfied by the Lie brackets of all such systems are those satisfied by the Lie algebra of classical mechanics.","PeriodicalId":37526,"journal":{"name":"Journal of Computational Dynamics","volume":null,"pages":null},"PeriodicalIF":1.0,"publicationDate":"2019-05-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"81072488","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 3
期刊
Journal of Computational Dynamics
全部 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