首页 > 最新文献

Math. Comput. Model.最新文献

英文 中文
Approximating viscosity solutions of the Euler system 近似欧拉系统的粘度解
Pub Date : 2021-02-15 DOI: 10.1090/mcom/3738
E. Feireisl, M. Lukáčová-Medvid’ová, Simon Schneider, Bangwei She
Applying the concept of S-convergence, based on averaging in the spirit of Strong Law of Large Numbers, the vanishing viscosity solutions of the Euler system are studied. We show how to efficiently compute a viscosity solution of the Euler system as the S-limit of numerical solutions obtained by the viscosity finite volume method. Theoretical results are illustrated by numerical simulations of the Kelvin–Helmholtz instability problem.
应用s收敛的概念,基于强大数定律的平均,研究了欧拉系统的消失粘度解。我们展示了如何有效地计算欧拉系统的粘度解作为由粘度有限体积法得到的数值解的s极限。通过对开尔文-亥姆霍兹不稳定性问题的数值模拟对理论结果进行了说明。
{"title":"Approximating viscosity solutions of the Euler system","authors":"E. Feireisl, M. Lukáčová-Medvid’ová, Simon Schneider, Bangwei She","doi":"10.1090/mcom/3738","DOIUrl":"https://doi.org/10.1090/mcom/3738","url":null,"abstract":"Applying the concept of S-convergence, based on averaging in the spirit of Strong Law of Large Numbers, the vanishing viscosity solutions of the Euler system are studied. We show how to efficiently compute a viscosity solution of the Euler system as the S-limit of numerical solutions obtained by the viscosity finite volume method. Theoretical results are illustrated by numerical simulations of the Kelvin–Helmholtz instability problem.","PeriodicalId":18301,"journal":{"name":"Math. Comput. Model.","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2021-02-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"87656411","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
Counting zeros of Dedekind zeta functions 计算Dedekind ζ函数的零点
Pub Date : 2021-02-09 DOI: 10.1090/MCOM/3665
Elchin Hasanalizade, Quanli Shen, PENG-JIE Wong
Given a number field $K$ of degree $n_K$ and with absolute discriminant $d_K$, we obtain an explicit bound for the number $N_K(T)$ of non-trivial zeros (counted with multiplicity), with height at most $T$, of the Dedekind zeta function $zeta_K(s)$ of $K$. More precisely, we show that for $T geq 1$, $$ Big| N_K (T) - frac{T}{pi} log Big( d_K Big( frac{T}{2pi e}Big)^{n_K}Big)Big| le 0.228 (log d_K + n_K log T) + 23.108 n_K + 4.520, $$ which improves previous results of Kadiri and Ng, and Trudgian. The improvement is based on ideas from the recent work of Bennett $et$ $al.$ on counting zeros of Dirichlet $L$-functions.
给定一个阶为$n_K$的数字域$K$,并且具有绝对判别式$d_K$,我们得到了$K$的Dedekind zeta函数$zeta_K(s)$的高度不超过$T$的非平凡零(用多重数计数)个数$N_K(T)$的显式边界。更准确地说,我们显示了$T geq 1$, $$ Big| N_K (T) - frac{T}{pi} log Big( d_K Big( frac{T}{2pi e}Big)^{n_K}Big)Big| le 0.228 (log d_K + n_K log T) + 23.108 n_K + 4.520, $$,这改进了Kadiri, Ng和Trudgian之前的结果。这一改进是基于Bennett $et$$al.$最近关于Dirichlet $L$ -函数的零计数工作的想法。
{"title":"Counting zeros of Dedekind zeta functions","authors":"Elchin Hasanalizade, Quanli Shen, PENG-JIE Wong","doi":"10.1090/MCOM/3665","DOIUrl":"https://doi.org/10.1090/MCOM/3665","url":null,"abstract":"Given a number field $K$ of degree $n_K$ and with absolute discriminant $d_K$, we obtain an explicit bound for the number $N_K(T)$ of non-trivial zeros (counted with multiplicity), with height at most $T$, of the Dedekind zeta function $zeta_K(s)$ of $K$. More precisely, we show that for $T geq 1$, $$ Big| N_K (T) - frac{T}{pi} log Big( d_K Big( frac{T}{2pi e}Big)^{n_K}Big)Big| \u0000le 0.228 (log d_K + n_K log T) + 23.108 n_K + 4.520, $$ which improves previous results of Kadiri and Ng, and Trudgian. The improvement is based on ideas from the recent work of Bennett $et$ $al.$ on counting zeros of Dirichlet $L$-functions.","PeriodicalId":18301,"journal":{"name":"Math. Comput. Model.","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2021-02-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"75603577","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
The simultaneous conjugacy problem in the symmetric group 对称群中的联立共轭问题
Pub Date : 2021-02-06 DOI: 10.1090/MCOM/3637
A. Brodnik, A. Malnic, Rok Požar
The transitive simultaneous conjugacy problem asks whether there exists a permutation $tau in S_n$ such that $b_j = tau^{-1} a_j tau$ holds for all $j = 1,2, ldots, d$, where $a_1, a_2, ldots, a_d$ and $b_1, b_2, ldots, b_d$ are given sequences of $d$ permutations in $S_n$, each of which generates a transitive subgroup of $S_n$. As from mid 70' it has been known that the problem can be solved in $O(dn^2)$ time. An algorithm with running time $O(dn log(dn))$, proposed in late 80', does not work correctly on all input data. In this paper we solve the transitive simultaneous conjugacy problem in $O(n^2 log d / log n + dnlog n)$ time and $O(n^{3/ 2} + dn)$ space. Experimental evaluation on random instances shows that the expected running time of our algorithm is considerably better, perhaps even nearly linear in $n$ at given $d$.
传递同时共轭问题询问是否存在一个排列$tau in S_n$,使得$b_j = tau^{-1} a_j tau$对所有$j = 1,2, ldots, d$都成立,其中$a_1, a_2, ldots, a_d$和$b_1, b_2, ldots, b_d$是$S_n$中$d$排列的序列,每一个都生成$S_n$的传递子群。从70年代中期开始,人们就知道这个问题可以在$O(dn^2)$时间内解决。80年代末提出的运行时间为$O(dn log(dn))$的算法不能正确处理所有输入数据。本文解决了$O(n^2 log d / log n + dnlog n)$时间和$O(n^{3/ 2} + dn)$空间上的传递联立共轭问题。在随机实例上的实验评估表明,我们的算法的预期运行时间相当好,在给定$d$的情况下,$n$甚至可能接近线性。
{"title":"The simultaneous conjugacy problem in the symmetric group","authors":"A. Brodnik, A. Malnic, Rok Požar","doi":"10.1090/MCOM/3637","DOIUrl":"https://doi.org/10.1090/MCOM/3637","url":null,"abstract":"The transitive simultaneous conjugacy problem asks whether there exists a permutation $tau in S_n$ such that $b_j = tau^{-1} a_j tau$ holds for all $j = 1,2, ldots, d$, where $a_1, a_2, ldots, a_d$ and $b_1, b_2, ldots, b_d$ are given sequences of $d$ permutations in $S_n$, each of which generates a transitive subgroup of $S_n$. As from mid 70' it has been known that the problem can be solved in $O(dn^2)$ time. An algorithm with running time $O(dn log(dn))$, proposed in late 80', does not work correctly on all input data. In this paper we solve the transitive simultaneous conjugacy problem in $O(n^2 log d / log n + dnlog n)$ time and $O(n^{3/ 2} + dn)$ space. Experimental evaluation on random instances shows that the expected running time of our algorithm is considerably better, perhaps even nearly linear in $n$ at given $d$.","PeriodicalId":18301,"journal":{"name":"Math. Comput. Model.","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2021-02-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"75514541","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
Totally positive algebraic integers with small trace 带小迹的全正代数整数
Pub Date : 2021-01-27 DOI: 10.1090/MCOM/3636
Congjie Wang, Jie Wu, Qiang Wu
The “Schur-Siegel-Smyth trace problem” is a famous open problem that has existed for nearly 100 years. To study this problem with the known methods, we need to find all totally positive algebraic integers with small trace. In this work, on the basis of the classical algorithm, we construct a new type of explicit auxiliary functions related to Chebyshev polynomials to give better bounds for S k S_k , and reduce sharply the computing time. We are then able to push the computation to degree 15 15 and prove that there is no such totally positive algebraic integer with absolute trace 1.8 1.8 . As an application, we improve the lower bound for the absolute trace of totally positive algebraic integers to 1.793145 ⋯ 1.793145cdots .
“Schur-Siegel-Smyth迹问题”是一个存在了近100年的著名开放问题。为了用已知的方法研究这个问题,我们需要找到所有带小迹的全正代数整数。本文在经典算法的基础上,构造了一种新的与Chebyshev多项式相关的显式辅助函数,给出了S k S_k更好的界,大大减少了计算时间。然后,我们能够将计算推到15次15次,并证明不存在绝对迹为1.8 1.8的完全正代数整数。作为一个应用,我们将完全正代数整数的绝对迹的下界改进为1.793145⋯1.793145cdots。
{"title":"Totally positive algebraic integers with small trace","authors":"Congjie Wang, Jie Wu, Qiang Wu","doi":"10.1090/MCOM/3636","DOIUrl":"https://doi.org/10.1090/MCOM/3636","url":null,"abstract":"The “Schur-Siegel-Smyth trace problem” is a famous open problem that has existed for nearly 100 years. To study this problem with the known methods, we need to find all totally positive algebraic integers with small trace. In this work, on the basis of the classical algorithm, we construct a new type of explicit auxiliary functions related to Chebyshev polynomials to give better bounds for \u0000\u0000 \u0000 \u0000 S\u0000 k\u0000 \u0000 S_k\u0000 \u0000\u0000, and reduce sharply the computing time. We are then able to push the computation to degree \u0000\u0000 \u0000 15\u0000 15\u0000 \u0000\u0000 and prove that there is no such totally positive algebraic integer with absolute trace \u0000\u0000 \u0000 1.8\u0000 1.8\u0000 \u0000\u0000. As an application, we improve the lower bound for the absolute trace of totally positive algebraic integers to \u0000\u0000 \u0000 \u0000 1.793145\u0000 ⋯\u0000 \u0000 1.793145cdots\u0000 \u0000\u0000.","PeriodicalId":18301,"journal":{"name":"Math. Comput. Model.","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2021-01-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"87424571","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 Extended Galerkin analysis in finite element exterior calculus 有限元外微积分中的扩展伽辽金分析
Pub Date : 2021-01-24 DOI: 10.1090/mcom/3707
Q. Hong, Yuwen Li, Jinchao Xu
For the Hodge–Laplace equation in finite element exterior calculus, we introduce several families of discontinuous Galerkin methods in the extended Galerkin framework. For contractible domains, this framework utilizes seven fields and provides a unifying inf-sup analysis with respect to all discretization and penalty parameters. It is shown that the proposed methods can be hybridized as a reduced two-field formulation.
对于有限元外微积分中的Hodge-Laplace方程,我们在扩展Galerkin框架中引入了几类不连续Galerkin方法。对于可收缩域,该框架利用了7个域,并提供了关于所有离散化和惩罚参数的统一的影响分析。结果表明,所提出的方法可以杂交为简化的双场公式。
{"title":"An Extended Galerkin analysis in finite element exterior calculus","authors":"Q. Hong, Yuwen Li, Jinchao Xu","doi":"10.1090/mcom/3707","DOIUrl":"https://doi.org/10.1090/mcom/3707","url":null,"abstract":"For the Hodge–Laplace equation in finite element exterior calculus, we introduce several families of discontinuous Galerkin methods in the extended Galerkin framework. For contractible domains, this framework utilizes seven fields and provides a unifying inf-sup analysis with respect to all discretization and penalty parameters. It is shown that the proposed methods can be hybridized as a reduced two-field formulation.","PeriodicalId":18301,"journal":{"name":"Math. Comput. Model.","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2021-01-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"90665922","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}
引用次数: 10
Convergence analysis of some tent-based schemes for linear hyperbolic systems 线性双曲型系统几种基于帐篷格式的收敛性分析
Pub Date : 2021-01-12 DOI: 10.1090/mcom/3686
Dow Drake, Jay Gopalakrishnan, J. Schöberl, C. Wintersteiger
Finite element methods for symmetric linear hyperbolic systems using unstructured advancing fronts (satisfying a causality condition) are considered in this work. Convergence results and error bounds are obtained for mapped tent pitching schemes made with standard discontinuous Galerkin discretizations for spatial approximation on mapped tents. Techniques to study semidiscretization on mapped tents, design fully discrete schemes, prove local error bounds, prove stability on spacetime fronts, and bound error propagated through unstructured layers are developed.
本文研究了非结构前沿(满足因果关系条件)对称线性双曲系统的有限元方法。用标准不连续伽辽金离散法对映射帐篷进行空间逼近,得到了映射帐篷俯仰方案的收敛结果和误差界。研究了映射帐篷的半离散化、完全离散方案的设计、局部误差边界的证明、时空前沿稳定性的证明以及边界误差在非结构化层中的传播等技术。
{"title":"Convergence analysis of some tent-based schemes for linear hyperbolic systems","authors":"Dow Drake, Jay Gopalakrishnan, J. Schöberl, C. Wintersteiger","doi":"10.1090/mcom/3686","DOIUrl":"https://doi.org/10.1090/mcom/3686","url":null,"abstract":"Finite element methods for symmetric linear hyperbolic systems using unstructured advancing fronts (satisfying a causality condition) are considered in this work. Convergence results and error bounds are obtained for mapped tent pitching schemes made with standard discontinuous Galerkin discretizations for spatial approximation on mapped tents. Techniques to study semidiscretization on mapped tents, design fully discrete schemes, prove local error bounds, prove stability on spacetime fronts, and bound error propagated through unstructured layers are developed.","PeriodicalId":18301,"journal":{"name":"Math. Comput. Model.","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2021-01-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"73465800","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
On symmetric-conjugate composition methods in the numerical integration of differential equations 微分方程数值积分中的对称共轭复合方法
Pub Date : 2021-01-11 DOI: 10.1090/mcom/3715
S. Blanes, F. Casas, P. Chartier, A. Escorihuela-Tomàs
We analyze composition methods with complex coefficients exhibiting the so-called “symmetry-conjugate” pattern in their distribution. In particular, we study their behavior with respect to preservation of qualitative properties when projected on the real axis and we compare them with the usual left-right palindromic compositions. New schemes within this family up to order 8 are proposed and their efficiency is tested on several examples. Our analysis shows that higherorder schemes are more efficient even when time step sizes are relatively large. AMS numbers: 65L05, 65P10, 37M15
我们分析了具有复系数的复合方法在其分布上表现出所谓的“对称共轭”模式。特别是,我们研究了它们在投影到实轴上时关于保留定性性质的行为,并将它们与通常的左右回文组合进行了比较。在该族中提出了高达8阶的新方案,并通过几个实例验证了它们的有效性。我们的分析表明,即使时间步长相对较大,高阶方案也更有效。AMS编号:65L05, 65P10, 37M15
{"title":"On symmetric-conjugate composition methods in the numerical integration of differential equations","authors":"S. Blanes, F. Casas, P. Chartier, A. Escorihuela-Tomàs","doi":"10.1090/mcom/3715","DOIUrl":"https://doi.org/10.1090/mcom/3715","url":null,"abstract":"We analyze composition methods with complex coefficients exhibiting the so-called “symmetry-conjugate” pattern in their distribution. In particular, we study their behavior with respect to preservation of qualitative properties when projected on the real axis and we compare them with the usual left-right palindromic compositions. New schemes within this family up to order 8 are proposed and their efficiency is tested on several examples. Our analysis shows that higherorder schemes are more efficient even when time step sizes are relatively large. AMS numbers: 65L05, 65P10, 37M15","PeriodicalId":18301,"journal":{"name":"Math. Comput. Model.","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2021-01-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"77077712","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}
引用次数: 7
A Two-Level Preconditioned Helmholtz-Jacobi-Davidson Method for the Maxwell Eigenvalue Problem 求解Maxwell特征值问题的两级预条件Helmholtz-Jacobi-Davidson方法
Pub Date : 2021-01-11 DOI: 10.1090/mcom/3702
Qigang Liang, Xuejun Xu
In this paper, based on a domain decomposition (DD) method, we shall propose an efficient two-level preconditioned Helmholtz-Jacobi-Davidson (PHJD) method for solving the algebraic eigenvalue problem resulting from the edge element approximation of the Maxwell eigenvalue problem. In order to eliminate the components in orthogonal complement space of the eigenvalue, we shall solve a parallel preconditioned system and a Helmholtz projection system together in fine space. After one coarse space correction in each iteration and minimizing the Rayleigh quotient in a small dimensional Davidson space, we finally get the error reduction of this two-level PHJD method as γ = c(H)(1 − C δ H2 ), where C is a constant independent of the mesh size h and the diameter of subdomains H , δ is the overlapping size among the subdomains, and c(H) decreasing as H → 0, which means the greater the number of subdomains, the better the convergence rate. Numerical results supporting our theory shall be given.
本文基于域分解(DD)方法,提出了一种有效的两级预条件Helmholtz-Jacobi-Davidson (PHJD)方法,用于求解由Maxwell特征值问题的边元近似引起的代数特征值问题。为了消去特征值在正交补空间中的分量,我们将在精细空间中求解一个平行预条件系统和一个亥姆霍兹投影系统。在每个迭代和最小化一个粗空间校正后的瑞利商小维戴维森空间,我们最后得到的错误减少二级PHJD方法γ= c (H)(1−cδH2), c是一个恒定的独立的筛孔尺寸H和子域的直径H,δ是子域之间的重叠的大小,和c (H)降低H→0时,这意味着更大的子域的数量,收敛速度就越好。将给出支持我们理论的数值结果。
{"title":"A Two-Level Preconditioned Helmholtz-Jacobi-Davidson Method for the Maxwell Eigenvalue Problem","authors":"Qigang Liang, Xuejun Xu","doi":"10.1090/mcom/3702","DOIUrl":"https://doi.org/10.1090/mcom/3702","url":null,"abstract":"In this paper, based on a domain decomposition (DD) method, we shall propose an efficient two-level preconditioned Helmholtz-Jacobi-Davidson (PHJD) method for solving the algebraic eigenvalue problem resulting from the edge element approximation of the Maxwell eigenvalue problem. In order to eliminate the components in orthogonal complement space of the eigenvalue, we shall solve a parallel preconditioned system and a Helmholtz projection system together in fine space. After one coarse space correction in each iteration and minimizing the Rayleigh quotient in a small dimensional Davidson space, we finally get the error reduction of this two-level PHJD method as γ = c(H)(1 − C δ H2 ), where C is a constant independent of the mesh size h and the diameter of subdomains H , δ is the overlapping size among the subdomains, and c(H) decreasing as H → 0, which means the greater the number of subdomains, the better the convergence rate. Numerical results supporting our theory shall be given.","PeriodicalId":18301,"journal":{"name":"Math. Comput. Model.","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2021-01-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"77132226","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}
引用次数: 6
Minimization with differential inequality constraints applied to complete Lyapunov functions 用微分不等式约束最小化应用于完全李雅普诺夫函数
Pub Date : 2021-01-06 DOI: 10.1090/mcom/3629
P. Giesl, C. Argáez, S. Hafstein, H. Wendland
Motivated by the desire to compute complete Lyapunov functions for nonlinear dynamical systems, we develop a general theory of discretizing a certain type of continuous minimization problems with differential inequality constraints. The resulting discretized problems are quadratic optimization problems, for which there exist e fficient solution algorithms, and we show that their unique solutions converge strongly in appropriate Sobolev spaces to the unique solution of the original continuous problem. We develop the theory and present examples of our approach, where we compute complete Lyapunov functions for nonlinear dynamical systems. A complete Lyapunov function characterizes the behaviour of a general dynamical system. In particular, the state space is divided into the chain-recurrent set, where the complete Lyapunov function is constant along solutions, and the part characterizing the gradient-like flow, where the complete Lyapunov function is strictly decreasing along solutions. We propose a new method to compute a complete Lyapunov function as the solution of a quadratic minimization problem, for which no information about the chain-recurrent set is required. The solutions to the discretized problems, which can be solved using quadratic programming, converge to the complete Lyapunov function.
为了计算非线性动力系统的完全李雅普诺夫函数,我们提出了一类具有微分不等式约束的连续最小化问题的离散化的一般理论。所得到的离散化问题是二次优化问题,存在5种有效的解算法,并证明了它们的唯一解在适当的Sobolev空间内强收敛于原连续问题的唯一解。我们发展了理论并给出了我们的方法的例子,其中我们计算非线性动力系统的完整李雅普诺夫函数。完备的李雅普诺夫函数描述了一般动力系统的行为。特别地,将状态空间划分为链循环集,其中完备Lyapunov函数沿解是常数,以及表征类梯度流的部分,其中完备Lyapunov函数沿解严格递减。本文提出了一种计算完全Lyapunov函数的新方法,作为不需要链循环集信息的二次最小化问题的解。离散化问题的解收敛于完全李雅普诺夫函数,可以用二次规划求解。
{"title":"Minimization with differential inequality constraints applied to complete Lyapunov functions","authors":"P. Giesl, C. Argáez, S. Hafstein, H. Wendland","doi":"10.1090/mcom/3629","DOIUrl":"https://doi.org/10.1090/mcom/3629","url":null,"abstract":"Motivated by the desire to compute complete Lyapunov functions for nonlinear dynamical systems, we develop a general theory of discretizing a certain type of continuous minimization problems with differential inequality constraints. The resulting discretized problems are quadratic optimization problems, for which there exist e fficient solution algorithms, and we show that their unique solutions converge strongly in appropriate Sobolev spaces to the unique solution of the original continuous problem. \u0000We develop the theory and present examples of our approach, where we compute complete Lyapunov functions for nonlinear dynamical systems. \u0000A complete Lyapunov function characterizes the behaviour of a general dynamical system. In particular, the state space is divided into the chain-recurrent set, where the complete Lyapunov function is constant along solutions, and the part characterizing the gradient-like flow, where the complete Lyapunov function is strictly decreasing along solutions. We propose a new method to compute a complete Lyapunov function as the solution of a quadratic minimization problem, for which no information \u0000about the chain-recurrent set is required. The solutions to the discretized problems, which can be solved using quadratic programming, converge to the complete Lyapunov function.","PeriodicalId":18301,"journal":{"name":"Math. Comput. Model.","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2021-01-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"73667987","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
The Minimality of the Georges-Kelmans Graph 乔治-凯尔曼图的极小性
Pub Date : 2021-01-04 DOI: 10.1090/mcom/3701
G. Brinkmann, Jan Goedgebeur, B. McKay
In 1971, Tutte wrote in an article that"it is tempting to conjecture that every 3-connected bipartite cubic graph is hamiltonian". Motivated by this remark, Horton constructed a counterexample on 96 vertices. In a sequence of articles by different authors several smaller counterexamples were presented. The smallest of these graphs is a graph on 50 vertices which was discovered independently by Georges and Kelmans. In this article we show that there is no smaller counterexample. As all non-hamiltonian 3-connected bipartite cubic graphs in the literature have cyclic 4-cuts -- even if they have girth 6 -- it is natural to ask whether this is a necessary prerequisite. In this article we answer this question in the negative and give a construction of an infinite family of non-hamiltonian cyclically 5-connected bipartite cubic graphs. In 1969, Barnette gave a weaker version of the conjecture stating that 3-connected planar bipartite cubic graphs are hamiltonian. We show that Barnette's conjecture is true up to at least 90 vertices. We also report that a search of small non-hamiltonian 3-connected bipartite cubic graphs did not find any with genus less than 4.
1971年,Tutte在一篇文章中写道:“人们很容易猜测,每一个三连通的二部三次图都是哈密顿图。”受此启发,Horton在96个顶点上构造了一个反例。在不同作者的一系列文章中,提出了几个较小的反例。这些图中最小的是一个有50个顶点的图,它是由乔治和凯尔曼独立发现的。在本文中,我们将展示没有比这更小的反例了。由于文献中所有的非哈密顿3连通二部三次图都有循环4切——即使它们的周长为6——很自然地要问这是否是必要的先决条件。本文否定地回答了这个问题,并给出了非哈密顿循环五连通二部三次图无穷族的构造。1969年,Barnette给出了这个猜想的一个较弱的版本,说明3连通平面二部三次图是哈密顿图。我们证明Barnette的猜想对至少90个顶点是正确的。我们还报道了一个小的非哈密顿3连通二部三次图的搜索没有发现任何格小于4的图。
{"title":"The Minimality of the Georges-Kelmans Graph","authors":"G. Brinkmann, Jan Goedgebeur, B. McKay","doi":"10.1090/mcom/3701","DOIUrl":"https://doi.org/10.1090/mcom/3701","url":null,"abstract":"In 1971, Tutte wrote in an article that\"it is tempting to conjecture that every 3-connected bipartite cubic graph is hamiltonian\". Motivated by this remark, Horton constructed a counterexample on 96 vertices. In a sequence of articles by different authors several smaller counterexamples were presented. The smallest of these graphs is a graph on 50 vertices which was discovered independently by Georges and Kelmans. In this article we show that there is no smaller counterexample. As all non-hamiltonian 3-connected bipartite cubic graphs in the literature have cyclic 4-cuts -- even if they have girth 6 -- it is natural to ask whether this is a necessary prerequisite. In this article we answer this question in the negative and give a construction of an infinite family of non-hamiltonian cyclically 5-connected bipartite cubic graphs. In 1969, Barnette gave a weaker version of the conjecture stating that 3-connected planar bipartite cubic graphs are hamiltonian. We show that Barnette's conjecture is true up to at least 90 vertices. We also report that a search of small non-hamiltonian 3-connected bipartite cubic graphs did not find any with genus less than 4.","PeriodicalId":18301,"journal":{"name":"Math. Comput. Model.","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2021-01-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"90659108","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
期刊
Math. Comput. Model.
全部 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