Related papers: Sharp Fourier extension for functions with localiz…
In a previous paper, the author proved the existence of extremal function for the Moser-Trudinger inequality on a compact manifold. In the this paper, we will give a new proof of one of the key proposition.
We prove a sharp quantitative version for the stability of the Sobolev inequality with explicit constants. Moreover, the constants have the correct behavior in the limit of large dimensions, which allows us to deduce an optimal quantitative…
We prove a spectral upper bound for the torsion function of symmetric stable processes that holds for convex domains in $\mathbb{R}^d$. Our bound is explicit and captures the correct order of growth in $d$, improving upon the existing…
The Fourier coefficients of a smooth $K$-invariant function on a compact symmetric space $M=U/K$ are given by integration of the function against the spherical functions. For functions with support in a neighborhood of the origin, we…
We establish sharp estimates for the convergence rate of the Kranosel'ski\v{\i}-Mann fixed point iteration in general normed spaces, and we use them to show that the asymptotic regularity bound recently proved in [11] (Israel Journal of…
We give a complete proof of the generalized Khavinson conjecture which states that, for bounded harmonic functions on the unit ball of $\mathbb{R}^n$, the sharp constants in the estimates for their radial derivatives and for their gradients…
Following their appearance in 2014, so-called shifted square and maximal functions have seen an eruption of use in the study of singular integral operators. In this paper, we will generalize a recent theorem of G. Dosidis, B. Park, and L.…
We establish an uncertainty principle for functions $f: \mathbb{Z}/p \rightarrow \mathbb{F}_q$ with constant support (where $p \mid q-1$). In particular, we show that for any constant $S > 0$, functions $f: \mathbb{Z}/p \rightarrow…
Cylindric skew Schur functions, a generalization of skew Schur functions, are closely related to the famous problem finding a combinatorial formula for the 3-point Gromov-Witten invariants of Grassmannian. In this paper, we prove cylindric…
We prove that functions defined on a lattice in a finite dimensional torus with bounded finite differences can be smoothly extended to the whole torus, and relate the bounds on the extension's derivatives with bounds on the original…
The error of approximation of the $2\pi$-periodic sawtooth function $(\pi-x)/2$, $0\leq x<2\pi$, by its $n$-th Fourier polynomial is shown to be bounded by arccot$((2n+1)\sin(x/2))$. Related asymptotically tight inequalities with explicit…
In this paper, we determine, in the case of the Laplacian on the flat two-dimensional torus (R/Z) 2 , all the eigenvalues having an eigenfunction which satisfies Courant's theorem with equality (Courant-sharp situation). Following the…
The main result of this paper is, that if we suppose that a function is absolutely continuous and uniformly H\"older continuous and that its finite difference function does not oscillate infinitely often on a bounded interval, then the…
In this note we prove two isoperimetric inequalities for the sharp constant in the Sobolev embedding and its associated extremal function. The first such inequality is a variation on the classical Schwarz Lemma from complex analysis,…
Opial's inequality and its ramifications play an important role in the theory of differential and difference equations. A sharp unifying generalization of Opial's inequality is presented that contains both its continuous and discrete…
We prove the following sharp Sobolev inequality on the circle $$\int_{\mathbb{S}^1} [4(v')^2 - v^2] \mathrm{d} \theta \geq - \frac{4\pi^2}{\int_{\mathbb{S}^1} v^{-2} \mathrm{d} \theta},$$ with the equality being achieved when $v^{-2}…
For all functions on an arbitrary open set $\Omega\subset\R^3$ with zero boundary values, we prove the optimal bound \[ \sup_{\Omega}|u| \leq (2\pi)^{-1/2} \left(\int_{\Omega}|\nabla u|^2 \,dx\, \int_{\Omega}|\Delta u|^2 \,dx\right)^{1/4}.…
Let $E$ be a Jordan rectifiable curve in the complex plane and let $G$ be the bounded component of $\mathbb{C}\backslash E$. Now let $n\in \mathbb{N}$, and let $m_{n,E}$ denote the extremal constants defined by \begin{equation*}m_{n,E}=\inf…
Sharp Moser-Trudinger type inequalities and their extremal functions play an important role in studying nonlinear PDEs and geometry. We establish a new sharp Moser-Trudinger type inequality in the upper half space in two dimensions and…
In this paper we associate with an infinite family of real extended functions defined on a locally convex space, a sum, called robust sum, which is always well-defined. We also associate with that family of functions a dual pair of problems…