Related papers: KAM theorem for reversible mapping of low smoothne…
In this thesis, we investigate the computational content and the logical strength of Ramsey's theorem and its consequences. For this, we use the frameworks of reverse mathematics and of computable reducibility. We proceed to a systematic…
In this short note, we prove that a quasi-periodic torus, with a non-resonant frequency (that can be Diophantine or Liouville) and which is invariant by a sufficiently regular Hamiltonian flow, is KAM stable provided it is Kolmogorov…
In this paper we present a-posteriori KAM results for existence of $d$-dimensional isotropic invariant tori for $n$-DOF Hamiltonian systems with additional $n-d$ independent first integrals in involution. We carry out a covariant…
We prove that wave maps that factor as $\mathbb{R}^{1+d} \overset{\varphi_{\text{S}}}{\to} \mathbb{R} \overset{\varphi_{\text{I}}}{\to} M$, subject to a sign condition, are globally nonlinear stable under small compactly supported…
We prove a new invariant torus theorem, for $\alpha$-Gevrey smooth Hamiltonian systems, under an arithmetic assumption which we call the $\alpha$-Bruno-R\"ussmann condition, and which reduces to the classical Bruno-R\"ussmann condition in…
This paper focuses on using the first curvature $\kappa(t)$ of trajectory to describe the stability of linear time-invariant system. We extend the results for two and three-dimensional systems [Y. Wang, H. Sun, Y. Song et al.,…
Work of D. Stern and Bray-Kazaras-Khuri-Stern provide differential-geometric identities which relate the scalar curvature of Riemannian 3-manifolds to global invariants in terms of harmonic functions. These quantitative formulas are useful…
Using the Galatius--Kupers--Randal-Williams framework of cellular $E_2$-algebras, we prove a secondary stability theorem for mapping class groups of nonorientable surfaces. As a corollary, we obtain a new best known stability range for the…
The purpose of this note is twofold. First we show that, for weakly differentiable maps between Riemannian manifolds of any dimension, a smallness condition on a Morrey-norm of the gradient is sufficient to guarantee that the pulled-back…
Dissipative systems play a very important role in several physical models, most notably in Celestial Mechanics, where the dissipation drives the motion of natural and artificial satellites, leading them to migration of orbits, resonant…
In this note we use the normal forms of the completely resonant non--linear Schr\"odinger equation on a torus (NLS) derived in previous work in order to produce, under a KAM algorithm, large families of stable and unstable quasi periodic…
When the Canonical Ramsey's Theorem by Erd\H{o}s and Rado is applied to regressive functions one obtains the Regressive Ramsey's Theorem by Kanamori and McAloon. Taylor proved a "canonical" version of Hindman's Theorem, analogous to the…
In this paper, a simple proof is presented for the convergence of the algorithms for the class of relaxed $(u, v)$-cocoercive mappings and $\alpha$-inverse strongly monotone mappings. Based on $\alpha$-expansive maps, for example, a simple…
We prove that the homotopy algebraic K-theory of tame quasi-DM stacks satisfies cdh-descent. We apply this descent result to prove that if X is a Noetherian tame quasi-DM stack and i < -dim(X), then K_i(X)[1/n] = 0 (resp. K_i(X, Z/n) = 0)…
We provide a symplectic reduction of a partially integrable Hamiltonian system to a completely integrable one. The KAM theorem is applied to this reduced completely integrable Hamiltonian system. Its KAM perturbation generates a…
This paper concerns the tilt stability for the minimization of the sum of a twice continuously differentiable matrix-valued function and the Ky-Fan $\kappa$-norm. To achieve this goal, we first provide a sufficient and necessary condition…
The authors study the classical Lagrange inversion theorem--an antecedent of the modern implicit function theorem--in the smooth case. Examples are given to show that the result is sharp.
We consider the Dirichlet-to-Neumann map $\Lambda$ on a cylinder-like Lorentzian manifold related to the wave equation related to the metric $g$, a magnetic field $A$ and a potential $q$. We show that we can recover the jet of $g,A,q$ on…
The KAM theorem for analytic quasi-integrable anisochronous Hamiltonian systems yields that the perturbation expansion (Lindstedt series) for quasi-periodic solutions with Diophantine frequency vector converges. If one studies the Lindstedt…
In this paper, one-dimensional (1D) nonlinear wave equations $u_{tt} -u_{xx}+V(x)u =f(u)$, with periodic boundary conditions are considered; V is a periodic smooth or analytic function and the nonlinearity f is an analytic function…