Related papers: An almost-almost-Schur lemma on the 3-sphere
We develop a direct Lyapunov method for the almost sure open-loop stabilizability and asymptotic stabilizability of controlled degenerate diffusion processes. The infinitesimal decrease condition for a Lyapunov function is a new form of…
We consider capillarity functionals which measure the perimeter of sets contained in a Euclidean half-space assigning a constant weight $\lambda \in (-1,1)$ to the portion of the boundary that touches the boundary of the half-space.…
Although quantitative stability for critical points of the Sobolev and fractional Sobolev inequalities has been extensively studied, the corresponding stability theory for critical points of the Hardy--Littlewood--Sobolev (HLS) inequality…
The purpose of this paper is twofold. We first prove a weighted Sobolev inequality and part of a weighted Morrey's inequality, where the weights are a power of the mean curvature of the level sets of the function appearing in the…
We prove two results related to the Schwarz lemma in complex geometry. First, we show that if the inequality in the Schwarz lemmata of Yau, Royden and Tosatti becomes equality at one point, then the equality holds on the whole manifold. In…
We start by providing a very simple and elementary new proof of the classical bound due to J. Beck which states that the spherical cap $\mathbb{L}_2$-discrepancy of any $N$ points on the unit sphere $\mathbb S^d$ in $\mathbb{R}^{d+1}$,…
The Assouad and quasi-Assouad dimensions of a metric space provide information about the extreme local geometric nature of the set. The Assouad dimension of a set has a measure theoretic analogue, which is also known as the upper regularity…
We develop a Nitsche-based formulation for a general class of stabilized finite element methods for the Stokes problem posed on a pair of overlapping, non-matching meshes. By ex- tending the least-squares stabilization to the overlap…
In [15], Jean Taylor has proved a regularity theorem away from boundary for Almgren almost minimal sets of dimension two in $\mathbb{R}^{3}$. It is quite important for understanding the soap films and the solutions of Plateau's problem away…
We consider skew-products on $M\times \mathbb{T}^2$, where $M$ is the two-sphere or the two-torus, which are partially hyperbolic and semi-conjugate to an Axiom A diffeomorphism. This class of dynamics includes the open sets of…
This paper is concerned with the study of a class of nonsmooth cost functions subject to a quasi-linear PDE in Lipschitz domains in dimension two. We derive the Eulerian semi-derivative of the cost function by employing the averaged adjoint…
Using uniform global Carleman estimates for discrete elliptic and semi-discrete hyperbolic equations, we study Lipschitz and logarithmic stability for the inverse problem of recovering a potential in a semi-discrete wave equation,…
We present a mechanical proof of the Cauchy-Schwarz inequality in ACL2(r) and a formalisation of the necessary mathematics to undertake such a proof. This includes the formalisation of $\mathbb{R}^n$ as an inner product space. We also…
This paper investigates sharp stability estimates for the fractional Hardy-Sobolev inequality: $$\mu_{s,t}\left(\mathbb{R}^N\right) \left(\int_{\mathbb{R}^N} \frac{|u|^{2^*_s(t)}}{|x|^t} \,{\rm d}x \right)^{\frac{2}{2^*_s(t)}} \leq…
This is the second of two papers wherein we estimate multiscale least squares approximations of certain measures by Menger-type curvatures. More specifically, we study an arbitrary d-regular measure on a real separable Hilbert space. The…
We establish quantitative properties of minimizers and stable sets for nonlocal interaction functionals, including the $s$-fractional perimeter as a particular case. On the one hand, we establish universal $BV$-estimates in every dimension…
We consider the nonlinear Schr\"odinger equation$$-\Delta u + V(x)\,u = a\,u^p + \mu u \quad \text{in }\mathbb{R}^n,\qquad \int_{\mathbb{R}^n} u^2 = 1,$$modeling attractive Bose--Einstein condensates. For all dimensions $n\ge 2$ and all…
We study the random data problem for 3D, defocusing, cubic nonlinear Schr\"odinger equation in $H_x^s(\mathbb{R}^3)$ with $s<\frac 12$. First, we prove that the almost sure local well-posedness holds when $\frac{1}{6}\leqslant s<\frac 12$…
We consider the problem of the stability (with sharp exponent) of the Lieb--Solovej inequality for symmetric $SU(N)$ coherent states, which was obtained only recently by the authors. Here, we propose an elementary proof of this result,…
Given a smooth closed Riemannian manifold $(M,g)$ of dimension $N \ge 3$, we derive sharp quantitative stability estimates for nonnegative functions near the solution set of the Yamabe problem on $(M,g)$. The seminal work of Struwe (1984)…