Related papers: An epiperimetric inequality for the lower dimensio…
We establish an explicit $L^\infty(\Om)$ a priori estimate for weak solutions to subcritical elliptic problems with nonlinearity on the boundary, in terms of the powers of their $H^1(\Om)$ norms. To prove our result, we combine in a novel…
We introduce a symmetric (log-)epiperimetric inequality, generalizing the standard epiperimetric inequality, and we show that it implies a growth-decay for the associated energy: as the radius increases energy decays while negative and…
We verify functional a posteriori error estimate proposed by S. Repin for a class of obstacle problems. The obstacle problem is formulated as a quadratic minimization problem with constrains equivalently formulated as a variational…
In this paper we prove a $C^{1,\alpha}$ regularity result in dimension two for almost-minimizers of the constrained one-phase Alt-Caffarelli and the two-phase Alt-Caffarelli-Friedman functionals for an energy with variable coefficients. As…
We establish a lower bound on the total mass of the time slices of (n + 1)-dimensional asymptotically flat standard static spacetimes under the timelike convergence condition. The inequality can be viewed equivalently as a Minkowski-type…
In this work we present a general introduction to the Signorini problem (or thin obstacle problem). It is a self-contained survey that aims to cover the main currently known results regarding the thin obstacle problem. We present the theory…
In the previous work [Interfaces Free Bound., 19, 351--369, 2017], de Queiroz and Shahgholian established the optimal $C^{1,\log}_{\mathrm{loc}}$ regularity of solutions for the obstacle problem with singular logarithmic forcing term…
We present a formal verification of the classical isoperimetric inequality in the plane using the Lean 4 proof assistant and its mathematical library Mathlib. We follow Adolf Hurwitz's analytic approach to establish the inequality $L^2 \ge…
In this paper, we consider the obstacle scattering problem for biharmonic equations with a Dirichlet boundary condition in both two and three dimensions. Some basic properties are first derived for the biharmonic scattering solutions, which…
Global stability of the spherically symmetric nonisentropic compressible Euler equations with positive density around global-in-time background affine solutions is shown in the presence of free vacuum boundaries. Vacuum is achieved despite…
We consider a parabolic obstacle problem for Euler's elastic energy of graphs with fixed ends. We show global existence, well-posedness and subconvergence provided that the obstacle and the initial datum are suitably 'small'. For symmetric…
We present a new proof of the Willmore inequality for an arbitrary bounded domain $\Omega\subset\mathbb{R}^{n}$ with smooth boundary. Our proof is based on a parametric geometric inequality involving the electrostatic potential for the…
We prove a comparison theorem for the averages of the solutions of two exterior parabolic problems, the second being the "symmetrization" of the first one, by using approximation of the Schwarz symmetrization by polarizations, as it was…
We obtain inequalities for all Laplace eigenvalues of Riemannian manifolds with an upper sectional curvature bound, whose rudiment version for the first Laplace eigenvalue was discovered by Berger in 1979. We show that our inequalities…
We prove quasi-monotonicity formulas for classical obstacle-type problems with energies being the sum of a quadratic form with Lipschitz coefficients, and a H\"older continuous linear term. With the help of those formulas we are able to…
The thin obstacle problem or $n$-dimensional Signorini problem is a classical variational problem arising in several applications, starting with its first introduction in elasticity theory. The vast literature concerns mostly quadratic…
In this article, a posteriori error analysis of the elliptic obstacle problem is addressed using hybrid high-order methods. The method involve cell unknowns represented by degree-$r$ polynomials and face unknowns represented by degree-$s$…
The article [HPS] established a monotonicity inequality for the Helmholtz equation and presented applications to shape detection and local uniqueness in inverse boundary problems. The monotonicity inequality states that if two scattering…
Pisier's inequality is central in the study of normed spaces and has important applications in geometry. We provide an elementary proof of this inequality, which avoids some non-constructive steps from previous proofs. Our goal is to make…
In this paper, motivated by a problem arising in random homogenization theory, we initiate the study of uniform estimates for the fractional penalized obstacle problem, $ \Delta^{s}u^{\epsilon} = \beta_{\epsilon} (u^{\epsilon})$. In…