We consider a general class of metric measure spaces equipped with a regular Dirichlet form and then provide a lower bound on the hitting time probabilities of the associated Hunt process. Using these estimates we establish (i) a generalization of the classical Liebs inequality on metric measure spaces and (ii) uniqueness of nonnegative super-solutions on metric measure spaces. Finally, using heat-kernel estimates we generalize the local Faber-Krahn inequality recently obtained in [LS18].
In this note we give several characterisations of weights for two-weight Hardy inequalities to hold on general metric measure spaces possessing polar decompositions. Since there may be no differentiable structure on such spaces, the inequalities are given in the integral form in the spirit of Hardys original inequality. We give examples obtaining new weighted Hardy inequalities on $mathbb R^n$, on homogeneous groups, on hyperbolic spaces, and on Cartan-Hadamard manifolds.
In this paper we study the regularity of non-linear parabolic PDEs and stochastic PDEs on metric measure spaces admitting heat kernels. In particular we consider mild function solutions to abstract Cauchy problems and show that the unique solution is Holder continuous in time with values in a suitable fractional Sobolev space. As this analysis is done via a-priori estimates, we can apply this result to stochastic PDEs on metric measure spaces and solve the equation in a pathwise sense for almost all paths. The main example of noise term is of fractional Brownian type and the metric measure spaces can be classical as well as given by various fractal structures. The whole approach is low dimensional and works for spectral dimensions less than 4.
We obtain new Faber-Krahn-type inequalities for certain perturbations of the Dirichlet Laplacian on a bounded domain. First, we establish a two- and three-dimensional Faber-Krahn inequality for the Schrodinger operator with point interaction: the optimiser is the ball with the point interaction supported at its centre. Next, we establish three-dimensional Faber-Krahn inequalities for one- and two-body Schrodinger operator with attractive Coulomb interactions, the optimiser being given in terms of Coulomb attraction at the centre of the ball. The proofs of such results are based on symmetric decreasing rearrangement and Steiner rearrangement techniques; in the first model a careful analysis of certain monotonicity properties of the lowest eigenvalue is also needed.
For a domain $Omega subset mathbb{R}^n$ and a small number $frak{T} > 0$, let [ mathcal{E}_0(Omega) = lambda_1(Omega) + {frak{T}} {text{tor}}(Omega) = inf_{u, w in H^1_0(Omega)setminus {0}} frac{int | abla u|^2}{int u^2} + {frak{T}} int frac{1}{2} | abla w|^2 - w ] be a modification of the first Dirichlet eigenvalue of $Omega$. It is well-known that over all $Omega$ with a given volume, the only sets attaining the infimum of $mathcal{E}_0$ are balls $B_R$; this is the Faber-Krahn inequality. The main result of this paper is that, if for all $Omega$ with the same volume and barycenter as $B_R$ and whose boundaries are parametrized as small $C^2$ normal graphs over $partial B_R$ with bounded $C^2$ norm, [ int |u_{Omega} - u_{B_R}|^2 + |Omega triangle B_R|^2 leq C [mathcal{E}_0(Omega) - mathcal{E}_0(B_R)] ] (i.e. the Faber-Krahn inequality is linearly stable), then the same is true for any $Omega$ with the same volume and barycenter as $B_R$ without any smoothness assumptions (i.e. it is nonlinearly stable). Here $u_{Omega}$ stands for an $L^2$-normalized first Dirichlet eigenfunction of $Omega$. Related results are shown for Riemannian manifolds. The proof is based on a detailed analysis of some critical perturbations of Bernoulli-type free boundary problems. The topic of when linear stability is valid, as well as some applications, are considered in a companion paper.
This paper proves the strong parabolic Harnack inequality for local weak solutions to the heat equation associated with time-dependent (nonsymmetric) bilinear forms. The underlying metric measure Dirichlet space is assumed to satisfy the volume doubling condition, the strong Poincare inequality, and a cutoff Sobolev inequality. The metric is not required to be geodesic. Further results include a weighted Poincare inequality, as well as upper and lower bounds for non-symmetric heat kernels.