Related papers: Strict stability of extension types
We introduce equations for special metrics, and notions of stability for some new types of augmented holomorphic bundles. These new examples include holomorphic extensions, and in this case we prove a Hitchin-Kobayashi correspondence…
This study aims to construct a stable, high-order compact finite difference method for solving Sobolev-type equations with Dirichlet boundary conditions in one-space dimension. Approximation of higher-order mixed derivatives in some…
We prove sectorial extension theorems for ultraholomorphic function classes of Beurling type defined by weight functions with a controlled loss of regularity. The proofs are based on a reduction lemma, due to the second author, which allows…
We study a stabilization of the symplectic category introduced by A. Weinstein as a domain for the geometric quantization functor. The symplectic category is a topological category with objects given by symplectic manifolds, and morphisms…
Let $H$ be a group and $E$ a set such that $H \subseteq E$. We shall describe and classify up to an isomorphism of groups that stabilizes $H$ the set of all group structures that can be defined on $E$ such that $H$ is a subgroup of $E$. A…
We survey some methods developed in a series of papers, for classifying localising subcategories of tensor triangulated categories. We illustrate these methods by proving a new theorem, providing such a classification in the case of the…
This dissertation introduces executable refinement types, which refine structural types by semi-decidable predicates, and establishes their metatheory and accompanying implementation techniques. These results are useful for undecidable type…
We explicitly construct global strict Lyapunov functions for rapidly time-varying nonlinear control systems. The Lyapunov functions we construct are expressed in terms of oftentimes more readily available Lyapunov functions for the limiting…
Formalized $1$-category theory forms a core component of various libraries of mathematical proofs. However, more sophisticated results in fields from algebraic topology to theoretical physics, where objects have "higher structure," rely on…
A stochastic differential equation with coefficients defined in a scale of Hilbert spaces is considered. The existence, uniqueness and path-continuity of infinite-time solutions is proved by an extension of the Ovsyannikov method. This…
We develop a method to prove almost global stability of stochastic differential equations in the sense that almost every initial point (with respect to the Lebesgue measure) is asymptotically attracted to the origin with unit probability.…
This survey is intended as an invitation to the theory of stable $\infty$-categories, addressed primarily to mathematicians working in the representation theory of algebras and related subjects.
The global stability of the nonhomogeneous positive steady state solution to a diffusive Holling-Tanner predator-prey model in a heterogeneous environment is proved by using a newly constructed Lyapunov function and estimates of nonconstant…
We develop a theory of Bridgeland stability conditions and moduli spaces of semistable objects for a family of varieties. Our approach is based on and generalizes previous work by Abramovich-Polishchuk, Kuznetsov, Lieblich, and…
We survey our recent results on stability of 3D crystals in the Schr\"odinger-Poisson-Newton model. We establish orbital stability for the ground state in the case of finite crystal and linear stability for infinite crystals under novel…
This paper proposes a unified approach for studying global exponential stability of a general class of switched systems described by time-varying nonlinear functional differential equations. Some new delay-independent criteria of global…
Given a compact space in a fixed universe of set theory, one can naturally define its interpretation in any ZFC extension of the universe. We investigate the stability of some classes of compact spaces with respect to extensions of this…
We carry out a stability analysis for the real space split operator method for the propagation of the time-dependent Klein-Gordon equation that has been proposed Ruf et al. [M. Ruf, H. Bauke, C.H. Keitel, A real space split operator method…
We give a detailed proof of the following fundamental result: the singularity category of a ring is triangle equivalent to the stabilization of its stable module category. The result yields singular equivalences between rings of different…
We prove pathwise (hence strong) uniqueness of solutions to stochastic evolution equations in Hilbert spaces with merely measurable bounded drift and cylindrical Wiener noise, thus generalizing Veretennikov's fundamental result on…