An official website of the United States government
Abstract We study families of analytic semigroups, acting on a Banach space, and depending on a parameter, and give sufficient conditions for existence of uniform with respect to the parameter norm bounds using spectral properties of the respective semigroup generators. In particular, we use estimates of the resolvent operators of the generators along vertical segments to estimate the growth/decay rate of the norm for the family of analytic semigroups. These results are applied to prove the Lyapunov linear stability of planar traveling waves of systems of reaction–diffusion equations, and the bidomain equation, important in electrophysiology.
more »
« less
On the Norm Equivalence of Lyapunov Exponents for Regularizing Linear Evolution Equations
We consider the top Lyapunov exponent associated to a dissipative linear evolution equation posed on a separable Hilbert or Banach space. In many applications in partial differential equations, such equations are often posed on a scale of nonequivalent spaces mitigating, e.g., integrability (L^p) or differentiability (W^{s,p}). In contrast to finite dimensions, the Lyapunov exponent could a priori depend on the choice of norm used. In this paper we show that under quite general conditions, the Lyapunov exponent of a cocycle of compact linear operators is independent of the norm used. We apply this result to two important problems from fluid mechanics: the enhanced dissipation rate for the advection diffusion equation with ergodic velocity field; and the Lyapunov exponent for the 2d Navier–Stokes equations with stochastic or periodic forcing.
more »
« less
- PAR ID:
- 10529104
- Publisher / Repository:
- Springer-Verlag
- Date Published:
- Journal Name:
- Archive for Rational Mechanics and Analysis
- Volume:
- 247
- Issue:
- 5
- ISSN:
- 0003-9527
- Format(s):
- Medium: X
- Sponsoring Org:
- National Science Foundation
More Like this
-
-
Abstract We establish several useful estimates for a non-conforming 2-norm posed on piecewise linear surface triangulations with boundary, with the main result being a Poincaré inequality.We also obtain equivalence of the non-conforming 2-norm posed on the true surface with the norm posed on a piecewise linear approximation.Moreover, we allow for free boundary conditions.The true surface is assumed to be C 2 , 1 C^{2,1} when free conditions are present; otherwise, C 2 C^{2} is sufficient.The framework uses tools from differential geometry and the closest point map (see [G. Dziuk, Finite elements for the Beltrami operator on arbitrary surfaces, Partial Differential Equations and Calculus of Variations , Lecture Notes in Math. 1357, Springer, Berlin (1988), 142–155]) for approximating the full surface Hessian operator.We also present a novel way of applying the closest point map when dealing with surfaces with boundary.Connections with surface finite element methods for fourth-order problems are also noted.more » « less
-
Vector Lyapunov functions are a multi-dimensional extension of the more familiar (scalar) Lyapunov functions, commonly used to prove stability properties in systems described by non-linear ordinary differential equations (ODEs). This paper explores an analogous vector extension for so-called barrier certificates used in safety verification. As with vector Lyapunov functions, the approach hinges on constructing appropriate comparison systems, i.e., related differential equation systems from which properties of the original system may be inferred. The paper presents an accessible development of the approach, demonstrates that most previous notions of barrier certificate are special cases of comparison systems, and discusses the potential applications of vector barrier certificates in safety verification and invariant synthesis.more » « less
-
We present a framework for stability analysis of systems of coupled linear Partial-Differential Equations (PDEs). The class of PDE systems considered in this paper includes parabolic, elliptic and hyperbolic systems with Dirichelet, Neuman and mixed boundary conditions. The results in this paper apply to systems with a single spatial variable and assume existence and continuity of solutions except in such cases when existence and continuity can be inferred from existence of a Lyapunov function. Our approach is based on a new concept of state for PDE systems which allows us to express the derivative of the Lyapunov function as a Linear Operator Inequality directly on L2 and allows for any type of suitably well-posed boundary conditions. This approach obviates the need for integration by parts, spacing functions or similar mathematical encumbrances. The resulting algorithms are implemented in Matlab, tested on several motivating examples, and the codes have been posted online. Numerical testing indicates the approach has little or no conservatism for a large class of systems and can analyze systems of up to 20 coupled PDEs.more » « less
-
Abstract A linear equation with coefficients in $$\mathbb{F}_q$$ is common if the number of monochromatic solutions in any two-coloring of $$\mathbb{F}_q^{\,n}$$ is asymptotically (as $$n \to \infty$$) at least the number expected in a random two-coloring. The linear equation is Sidorenko if the number of solutions in any dense subset of $$\mathbb{F}_q^{\,n}$$ is asymptotically at least the number expected in a random set of the same density. In this paper, we characterize those linear equations which are common, and those which are Sidorenko. The main novelty is a construction based on choosing random Fourier coefficients that shows that certain linear equations do not have these properties. This solves problems posed in a paper of Saad and Wolf.more » « less
- Free Publicly Accessible Full Text
-
Accepted Manuscript1.0
- Journal Article:
- https://doi.org/10.1007/s00205-023-01928-y
