Related papers: A note on Hurwitz's inequality
Let $G$ be a compact connected Lie group and let $K$ be a closed subgroup of $G$. In this paper we study whether the functional $g\mapsto \lambda_1(G/K,g)\operatorname{diam}(G/K,g)^2$ is bounded among $G$-invariant metrics $g$ on $G/K$.…
We show optimal Lipschitz regularity for very weak solutions of the (measure-valued) elliptic PDE $-\mathrm{div}(A(x) \nabla u) = Q \; \mathcal{H}^{n-1} \llcorner \Gamma$ in a smooth domain $\Omega \subset \mathbb{R}^n$. Here $\Gamma$ is a…
It is well known from the Perron-Frobenius theory that the spectral gap of a positive square matrix is positive. In this paper, we give a more quantitative characterization of the spectral gap. More specifically, using a complex extension…
Let $K$ be a compact convex domain in the Euclidean plane. The mixed area $A(K,-K)$ of $K$ and $-K$ can be bounded from above by $1/(6\sqrt{3})L(K)^2$, where $L(K)$ is the perimeter of $K$. This was proved by Ulrich Betke and Wolfgang Weil…
On a compact metric graph, we consider the spectrum of the Laplacian defined with a mix of standard and Dirichlet vertex conditions. A Cheeger-type lower bound on the gap $\lambda_2 - \lambda_1$ is established, with a constant that depends…
Let $S \subset {\mathbb R}^d$ be contained in the unit ball. Let $\Delta(S)=\{||a-b||:a,b \in S\}$, the Euclidean distance set of $S$. Falconer conjectured that the $\Delta(S)$ has positive Lebesque measure if the Hausdorff dimension of $S$…
For $e \in S^{2}$, the unit sphere in $\mathbb{R}^3$, let $\pi_{e}$ be the orthogonal projection to $e^{\perp} \subset \mathbb{R}^{3}$, and let $W \subset \mathbb{R}^{3}$ be any $2$-plane, which is not a subspace. We prove that if $K…
Let $\Gamma$ be a cofinite Fuchsian group acting on hyperbolic two-space $\HH.$ Let $M=\Gamma \setminus \HH $ be the corresponding quotient space. For $\gamma,$ a closed geodesic of $M$, let $l(\gamma)$ denote its length. The prime geodesic…
We prove $L^p$-Hardy inequalities with distance to the boundary for domains in the Heisenberg group ${\mathbb{H}}^n$, $n\geq 1$. Our results are based on a certain geometric condition. This is first implemented for the Euclidean distance in…
Inside a fixed bounded domain $\Omega$ of the plane, we look for the best compact connected set $K$, of given perimeter, in order to maximize the first Dirichlet eigenvalue $\lambda_1(\Omega\setminus K)$. We discuss some of the qualitative…
Let $0 \leq s \leq 1$. A set $K \subset \mathbb{R}^{2}$ is a Furstenberg $s$-set, if for every unit vector $e \in S^{1}$, some line $L_{e}$ parallel to $e$ satisfies $$\dim_{\mathrm{H}} [K \cap L_{e}] \geq s.$$ The Furstenberg set problem,…
The logarithmic Sobolev inequality for the Hamming cube {0,1}^n states that for any real-valued function f on the cube holds E(f,f) \ge 2 Ent(f^2), where E(f,f) is the appropriate Dirichlet form (also known as "sum of influences"). We show…
In a recent paper, C. Gambicchia and A. Pratelli proved a quantitative isoperimetric inequality involving the isoperimetric deficit $\delta(K)$ and the barycentric distance $\lambda_0(K)$ for sets $K\subset \mathbb{R}^N$ with given diameter…
We prove weighted isoperimetric inequalities for smooth, bounded, and simply connected domains. More precisely, we show that the moment of inertia of inner parallel curves for domains with fixed perimeter attains its maximum for a disk.…
A classical inequality by Gr\"unbaum provides a sharp lower bound for the ratio $\mathrm{vol}(K^{-})/\mathrm{vol}(K)$, where $K^{-}$ denotes the intersection of a convex body with non-empty interior $K\subset\mathbb{R}^n$ with a halfspace…
Fix an integer $\kappa\geqslant 2$. Let $P$ be prime and let $k> \kappa$ be an even integer. For $f$ a holomorphic cusp form of weight $k$ and full level and $g$ a primitive holomorphic cusp form of weight $2 \kappa$ and level $P$, we prove…
Let $\Omega \subset \mathbb{R}^d$ be a quasiconvex Lipschitz domain and $A(x)$ be a $d \times d$ uniformly elliptic, symmetric matrix with Lipschitz coefficients. Assume a nontrivial $u$ solves $-\nabla \cdot (A(x) \nabla u) = 0$ in…
In this paper we provide a way of taking $L^p$, $p > \frac{m}{2}$ bounds on a $m-$ dimensional Riemannian metric and transforming that into H\"{o}lder bounds for the corresponding distance function. One can think of this new estimate as a…
Given a compact Riemannian manifold with boundary, we prove that the space of embedded, which may be improper, free boundary minimal hypersurfaces with uniform area and Morse index upper bound is compact in the sense of smoothly graphical…
Using harmonic mean curvature flow, we establish a sharp Minkowski type lower bound for total mean curvature of convex surfaces with a given area in Cartan-Hadamard 3-manifolds. This inequality also improves the known estimates for total…