Related papers: Formalizing the Classical Isoperimetric Inequality…

For the incompressible Euler equations the pressure formally scales as a quadratic function of velocity. We provide several optimal regularity estimates on the pressure by using regularity of velocity in various Sobolev, Besov and Hardy…

Let $\Sigma$ be a hypersurface in an $n$-dimensional Riemannian manifold $M$, $n\geqslant 2$. We study the isometric extension problem for isometric immersions $f:\Sigma\to\mathbb R^n$, where $\mathbb R^n$ is equipped with the Euclidean…

We improve the constant $\frac{\pi}{2}$ in $L^1$-Poincar\'e inequality on Hamming cube. For Gaussian space the sharp constant in $L^1$ inequality is known, and it is $\sqrt{\frac{\pi}{2}}$. For Hamming cube the sharp constant is not known,…

We study the motion of an ideal incompressible fluid in a perforated domain. The porous medium is composed of inclusions of size $a$ separated by distances $\tilde d$ and the fluid fills the exterior. We analyse the asymptotic behavior of…

A central result of Sturm-Liouville theory (also called the Sturm-Hurwitz Theorem) states that if $\phi_k$ is a sequence of eigenfunctions of a second order differential operator on the interval $I \subset \mathbb{R}$, then any linear…

We give an alternative, simple method to prove isoperimetric inequalities over the hypercube. In particular, we show: 1. An elementary proof of classical isoperimetric inequalities of Talagrand, as well as a stronger isoperimetric result…

The Hardy-Rellich inequality in the whole space with the best constant was firstly proved by Tertikas and Zographopoulos in Adv. Math. (2007) in higher dimensions $N\geq 5$. Then it was extended to lower dimensions $N\in \{3, 4\}$ by…

Our basic result, an isoperimetric inequality for Hamming cube $Q_n$, can be written: \[ \int h_A^\beta d\mu \ge 2 \mu(A)(1-\mu(A)). \] Here $\mu$ is uniform measure on $V=\{0,1\}^n$ ($=V(Q_n)$); $\beta=\log_2(3/2)$; and, for $S\subseteq V$…

As one of the asymptotic formulas for the zeta-function, Hardy and Littlewood gave asymptotic formulas called the approximate functional equation. In 2003, R. Garunk\v{s}tis, A. Laurin\v{c}ikas, and J. Steuding (in [1]) proved the…

This paper is the blueprint underlying the Lean formalization of the proof of Carleson's classical result asserting almost everywhere convergence of Fourier series of continuous functions. We break up the proof into two steps, a reduction…

The Hurwitz form of a projective variety characterizes linear spaces of complementary dimension which meet the variety non-transversally. We extend this notion to varieties in a product of projective spaces. This parallels the multigraded…

We study the K\"ahler geometry of the classical Hurwitz space $\mathcal{H}^{n,b}$ of simple branched coverings of the Riemann sphere $\mathbb{P}^1$ by compact hyperbolic Riemann surfaces. A generalized Weil-Petersson metric on the Hurwitz…

In a real Hilbert space setting, we reconsider the classical Arrow-Hurwicz differential system in view of solving linearly constrained convex minimization problems. We investigate the asymptotic properties of the differential system and…

For compact Riemannian manifolds with convex boundary, B.White proved the following alternative: Either there is an isoperimetric inequality for minimal hypersurfaces or there exists a closed minimal hypersurface, possibly with a small…

The well known Hurwitz upper bound states that a closed Riemann surface $S$ of genus $g \geq 2$ has at most $84(g-1)$ conformal automorphisms. If $S$ has exactly $84(g-1)$ conformal automorphisms, then it is called a Hurwitz curve. The…

The main purpose of this paper is to prove a sharp Sobolev inequality in an exterior of a convex bounded domain. There are two ingredients in the proof: One is the observation of some new isoperimetric inequalities with partial free…

In 2016, the Hurwitz metric was introduced by D. Minda in arbitrary proper subdomains of the complex plane and he proved that this metric coincides with the Poincar\'e's hyperbolic metric when the domains are simply connected. In this…

In this paper we consider the problem of minimizing the relative perimeter under a volume constraint in the interior of a convex body, i.e., a compact convex set in Euclidean space with interior points. We shall not impose any regularity…

It is a classical fact in Euclidean geometry that the regular polygon maximizes area amongst polygons of the same perimeter and number of sides, and the analogue of this in non-Euclidean geometries has long been a folklore result. In this…

Let $A$ be an Artinian Gorenstein algebra over an infinite field $k$ with either $\hbox{char}(k)=0$ or $\hbox{char}(k)>\nu$, where $\nu$ is the socle degree of $A$. To every such algebra and a linear projection $\pi$ on its maximal ideal…