In this paper, we prove that associated with a sub-static asymptotically flat manifold endowed with a harmonic potential there is a one-parameter family $\{F_β\}$ of functions which are monotone along the level-set flow of the potential. Such monotonicity holds up to the optimal threshold $β=\frac{n-2}{n-1}$ and allows us to prove a geometric capacitary inequality where the capacity of the horizon plays the same role as the ADM mass in the celebrated Riemannian Penrose Inequality.
We establish a Maz'ya type capacitary inequality which resolves a special case of a conjecture by David R. Adams. As a consequence, we obtain several equivalent norms for Choquet integrals associated to Bessel or Riesz capacities. This enables us to obtain bounds for the Hardy-Littlewood maximal function in a sublinear setting.
We provide monotonicity formulas for solutions to the p-Laplace equation defined in the exterior of a convex domain. A number of analytic and geometric consequences are derived, including the classical Minkowski inequality as well as new characterizations of rotationally symmetric solutions and domains. The proofs rely on the conformal splitting technique introduced by the second author in collaboration with V. Agostiniani.
We prove that that the 1-Riesz capacity satisfi es a Brunn-Minkowski inequality, and that the capacitary function of the 1/2-Laplacian is level set convex.
Let $M$ be a complete, non-compact, connected Riemannian manifold with Ricci curvature bounded from below by a negative constant. A sufficient condition is obtained for open and connected sets $D$ in $M$ for which the corresponding Dirichlet heat semigroup is intrinsically ultracontractive. That condition is formulated in terms of capacitary width. It is shown that both the reciprocal of the bottom of the spectrum of the Dirichlet Laplacian acting in $L^2(D)$, and the supremum of the torsion function for $D$ are comparable with the square of the capacitary width for $D$ if the latter is suffic…
} In this article, we put forward a Neumann eigenvalue problem for the bi-harmonic operator $Δ^2$ on a bounded smooth domain $\Om$ in the Euclidean $n$-space ${\bf R}^n$ ($n\ge2$) and then prove that the corresponding first non-zero eigenvalue $Υ_1(\Om)$ admits the isoperimetric inequality of Szegö-Weinberger type: $Υ_1(\Om)\le Υ_1(B_{\Om})$, where $B_{\Om}$ is a ball in ${\bf R}^n$ with the same volume of $\Om$. The isoperimetric inequality of Szegö-Weinberger type for the first nonzero Neumann eigenvalue of the even-multi-Laplacian operators $Δ^{2m}$ ($m\ge1$) on $\Om$ is also exploited.
It is known that the $L^{2}$-norms of a harmonic function over spheres satisfies some convexity inequality strongly linked to the Almgren's frequency function. We examine the $L^{2}$-norms of harmonic functions over a wide class of evolving hypersurfaces. More precisely, we consider compact level sets of smooth regular functions and obtain a differential inequality for the $L^{2}$-norms of harmonic functions over these hypersurfaces. To illustrate our result, we consider ellipses with constant eccentricity and growing tori in $\mathbf{R}^3.$ Moreover, we give a new proof of the convexity resul…
In this paper, we prove an extended version of the Minkowski Inequality, holding for any smooth bounded set $Ω\subset \mathbb R^n$, $n\geq 3$. Our proof relies on the discovery of effective monotonicity formulas holding along the level set flow of the $p$-capacitary potentials associated with $Ω$, for every $p$ sufficiently close to $1$. Besides constituting a neat improvement of those introduced in [Fog_Maz_Pin] to treat the case of convex domains, these formulas testify the existence of a link between the monotonicity formulas derived by Colding and Minicozzi for the level set flow of Green'…
We study the Sobolev regularity of $p$-harmonic functions. We show that $|Du|^{\frac{p-2+s}{2}}Du$ belongs to the Sobolev space $W^{1,2}_{loc}$, $s>-1-\frac{p-1}{n-1}$, for any $p$-harmonic function $u$. The proof is based on an elementary inequality.
In this paper, we give a harmonic analysis proof of the Neumann boundary observability inequality for the wave equation in an arbitrary space dimension. Our proof is elementary in nature and gives a simple, explicit constant. We also extend the method to prove the observability inequality of a visco-elastic wave equation.
We investigate various boundary decay estimates for $p(\cdot)$-harmonic functions. For domains in $\mathbb{R}^n, n\geq 2$ satisfying the ball condition ($C^{1,1}$-domains) we show the boundary Harnack inequality for $p(\cdot)$-harmonic functions under the assumption that the variable exponent $p$ is a bounded Lipschitz function. The proof involves barrier functions and chaining arguments. Moreover, we prove a Carleson type estimate for $p(\cdot)$-harmonic functions in NTA domains in $\mathbb{R}^n$ and provide lower- and upper- growth estimates and a doubling property for a $p(\cdot)$-harmonic …
We prove a critical Hardy inequality on the half-space by using the harmonic transplantation. Also we give an improvement of the subcritical Hardy inequality on the half-space, which converges to the critical Hardy inequality. Sobolev type inequalities are also discussed.
We show that harmonic spinors obey a strengthened version of the well-known pointwise Kato inequality for sections of a vector bundle with a connection. We then prove a decay estimate for eigenspinors using this Kato-Yau estimate and resulting differential inequality. We briefly describe some applications to gauge theory---specifically to integral estimates which are used when gluing and ungluing PU(2) monopoles (math.DG/9907107).
In this article, we will use the harmonic mean curvature flow to prove a new class of Alexandrov-Fenchel type inequalities for strictly convex hypersurfaces in hyperbolic space in terms of total curvature, which is the integral of Gaussian curvature on the hypersurface. We will also use the harmonic mean curvature flow to prove a new class of geometric inequalities for horospherically convex hypersurfaces in hyperbolic space. Using these new Alexandrov-Fenchel type inequalities and the inverse mean curvature flow, we obtain an Alexandrov-Fenchel inequality for strictly convex hypersurfaces in …
We first prove the following generalization of Schwarz lemma for harmonic mappings. Let $u$ be a harmonic mapping of the unit ball onto itself. Then we prove the inequality $\|u(x)-(1-\|x\|^2)/(1+\|x\|^2)^{n/2} u(0)\|\le U(|x| N)$. By using the Schwarz lemma for harmonic mappings we derive Heinz inequality on the boundary of the unit ball by providing a sharp constant $C_n$ in the inequality: $\|\partial_r u(rη)\|_{r=1}\ge C_n$, $\|η\|=1$, for every harmonic mapping of the unit ball into itself satisfying the condition $u(0)=0$, $\|u(η)\|=1$.
We study harmonic and quasi-harmonic discs in metric spaces admitting a uniformly local quadratic isoperimetric inequality for curves. The class of such metric spaces includes compact Lipschitz manifolds, metric spaces with upper or lower curvature bounds in the sense of Alexandrov, some sub-Riemannian manifolds, and many more. In this setting, we prove local Hoelder continuity and continuity up to the boundary of harmonic and quasi-harmonic discs.
In this paper, we prove some refined estimate in the neck region when a sequence of harmonic maps from surfaces blow up. The new estimate allows us to see the shape of the center of the neck region. As an application, we prove an inequality about the nullity and index when blow-up occurs.
We give a proof of Lipschitz continuity of p-harmonious functions, that are tug-of-war game analogies of ordinary p-harmonic functions. This result is used to obtain a new proof of Harnack's inequality for p-harmonic functions in the case $p>2$ that avoids classical techniques like Moser iteration, but instead relies on suitable choices of strategies for the stochastic tug-of-war game.
We prove that, in general, given a $p$-harmonic map $F:M\to N$ and a convex function $H:N\to\mathbb{R}$, the composition $H\circ F$ is not $p$-subharmonic. By assuming some rotational symmetry on manifolds and functions, we reduce the problem to an ordinary differential inequality. The key of the proof is an asymptotic estimate for the $p$-harmonic map under suitable assumptions on the manifolds.
We discuss various representations of planar $p$-harmonic systems of equations and their solutions. For coordinate functions of $p$-harmonic maps we analyze signs of their Hessians, the Gauss curvature of $p$-harmonic surfaces, the length of level curves as well as we discuss curves of steepest descent. The isoperimetric inequality for the level curves of coordinate functions of planar $p$-harmonic maps is proven. Our main techniques involve relations between quasiregular maps and planar PDEs. We generalize some results due to P. Lindqvist, G. Alessandrini, G. Talenti and P. Laurence.
We extend an inequality for harmonic functions, obtained in previous research by the authors, to the case of solutions of uniformly elliptic equations in divergence form, with merely measurable coefficients. The inequality for harmonic functions turned out to be a crucial ingredient in the study of the stability of the radial symmetry for Alexandrov's Soap Bubble Theorem and Serrin's problem. The proof of our inequality is based on a mean value property for elliptic operators by L. Caffarelli, proved in full detail by I. Blank and Z. Hao.
We consider the class of \emph{stable} harmonic mappings $f=h+\overline{g}$ introduced by Martin, Hernandez, and the class of \emph{stable} logharmonic mappings $f=zh\overline{g}$ introduced by AbdulHadi, El-Hajj. We determine Bohr's radius for the classes of stable univalent harmonic mappings, stable convex harmonic mappings and stable univalent logharmonic mappings. We also consider improved and refined versions of Bohr's inequality and discuss the Bohr's Rogonsiski radius for these family of mappings.
In this paper, we study Bessel operators and Bessel Laplace equations studied by Weinstein, Huber, and related the harmonic function theory introduced by Muckenhoupt--Stein. We establish the Moser type inequality for these harmonic functions, which is missing in this setting before. We then apply it to give a direct proof for the equivalence of characterizations of the Hardy spaces associated to Bessel operator via non-tangential maximal function and radial maximal function defined in terms of the Poisson semigroup.
In my previous paper I have contrived a Ginzburg-Landau heat flow with a time-dependent parameter and by using it, I constructed a harmonic heat flow into spheres with a monotonical inequality and a reverse Poincaré inequality. This paper establishes these two energy inequalities near the boundary and then by making the best of them, we discuss a partial boundary regularity. In addition to it, we demonstrate a whole domain's regularity under "the one-sided condition." This has been proposed by S.Hildebrandt and K.-O.Widman.
The Moser-Trudinger embedding has been generalized in [Adimurthi A.; Sandeep K., A singular Moser-Trudinger embedding and its applications, \textit{NoDEA Nonlinear Differential Equations Appl.}, 13 (2007), no. 5-6, 585--603] to the following weighted version: if $Ω\subset\mathbb{R}^n$ is bounded, $ω_{n-1}$ is the $\mathcal{H}^{n-1}$ measure of the unit sphere, then for $α>0$ and $β\in [0,n)$, $$ \sup_{u\in\mathcal{B}_1}\int_Ω\frac{e^{α|u|^{n/(n-1)}}}{|x|^β}\leq C \ \Leftrightarrow \ \fracα{α_n}+\fracβ{n}\leq1,\qquad $$ where $α_n=n\cnn$ and $\mathcal{B}_1 = \left\{ u \in W_0^{1, n}(Ω) \ | \ \i…
We provide a fractional counterpart of the classical results by Schwarz and Malmheden on harmonic functions. From that we obtain a representation formula for $s$-harmonic functions as a linear superposition of weighted classical harmonic functions which also entails a new proof of the fractional Harnack inequality. This proof also leads to optimal constants for the fractional Harnack inequality in the ball.
In this paper, we consider a product of a symmetric stable process in $\mathbb{R}^d$ and a one-dimensional Brownian motion in $\mathbb{R}^+$. Then we define a class of harmonic functions with respect to this product process. We show that bounded non-negative harmonic functions in the upper-half space satisfy Harnack inequality and prove that they are locally Hölder continuous. We also argue a result on Littlewood-Paley functions which are obtained by the $α$-harmonic extension of an $L^p(\mathbb{R}^d)$ function.
In the first part of this article, we prove two-sided estimates of hitting probabilities of balls, the potential kernel and the Green function for a ball for general isotropic unimodal Lévy processes. Our bounds are sharp under the absence of the Gaussian component and a mild regularity condition on the density of the Lévy measure: its radial profile needs to satisfy a scaling-type condition, which is equivalent to $O$-regular variation at zero and at infinity with lower indices greater than $-d - 2$. We also prove a supremum estimate and a regularity result for functions harmonic with respect…
In this article we study two classical problems in convex geometry associated to $\mathcal{A}$-harmonic PDEs, quasi-linear elliptic PDEs whose structure is modeled on the $p$-Laplace equation. Let $p$ be fixed with $2\leq n\leq p<\infty$. For a convex compact set $E$ in $\mathbb{R}^{n}$, we define and then prove the existence and uniqueness of the so called $\mathcal{A}$-harmonic Green's function for the complement of $E$ with pole at infinity. We then define a quantity $\mbox{C}_{\mathcal{A}}(E)$ which can be seen as the behavior of this function near infinity. In the first part of this artic…
We prove a stability theorem for the elliptic Harnack inequality: if two weighted graphs are equivalent, then the elliptic Harnack inequality holds for harmonic functions with respect to one of the graphs if and only if it holds for harmonic functions with respect to the other graph. As part of the proof, we give a characterization of the elliptic Harnack inequality.
Based on the recently proved Khavinson conjecture, we establish an inequality of Schwarz-Pick type for harmonic functions on the unit ball of $\mathbb{R}^n$.
Assume that $p\in[1,\infty]$ and $u=P_{h}[ϕ]$, where $ϕ\in L^{p}(\mathbb{S}^{n-1},\mathbb{R}^n)$ and $u(0) = 0$. Then we obtain the sharp inequality $|u(x)|\le G_p(|x|)\|ϕ\|_{L^{p}}$ for some smooth function $G_p$ vanishing at $0$. Moreover, we obtain an explicit form of the sharp constant $C_p$ in the inequality $\|Du(0)\|\le C_p\|ϕ\|_{L^{p}}$. These two results generalize and extend some known result from harmonic mapping theory (\cite[Theorem 2.1]{kalaj2018}) and hyperbolic harmonic theory (\cite[Theorem 1]{bur}).
Let $(X,d,μ)$ be a doubling metric measure space endowed with a Dirichlet form $\E$ deriving from a "carré du champ". Assume that $(X,d,μ,\E)$ supports a scale-invariant $L^2$-Poincaré inequality. In this article, we study the following properties of harmonic functions, heat kernels and Riesz transforms for $p\in (2,\infty]$: (i) $(G_p)$: $L^p$-estimate for the gradient of the associated heat semigroup; (ii) $(RH_p)$: $L^p$-reverse Hölder inequality for the gradients of harmonic functions; (iii) $(R_p)$: $L^p$-boundedness of the Riesz transform ($p<\infty$); (iv) $(GBE)$: a generalised Bakry-É…
An isoperimetric inequality for Neumann eigenvalues with radial log-concave measures
College of informatics, Huazhong Agricultural University（华中农业大学信息学院）；School of Mathematical Sciences, Soochow University（苏州大学数学科学学院）；School of Mathematics and Statistics, Wuhan University（武汉大学数学与统计学院）
Motivared by Carleman's proof of the isoperimetric inequality in the plane, we study some sharp integral inequalities for harmonic functions on the upper halfspace. We also derive the regularity for nonnegative solutions of the associated integral system and some Liouville type theorems.
