Search results for "potentiaaliteoria"
showing 10 items of 16 documents
A new Cartan-type property and strict quasicoverings when p = 1 in metric spaces
2018
In a complete metric space that is equipped with a doubling measure and supports a Poincar\'e inequality, we prove a new Cartan-type property for the fine topology in the case $p=1$. Then we use this property to prove the existence of $1$-finely open \emph{strict subsets} and \emph{strict quasicoverings} of $1$-finely open sets. As an application, we study fine Newton-Sobolev spaces in the case $p=1$, that is, Newton-Sobolev spaces defined on $1$-finely open sets.
Curve packing and modulus estimates
2018
A family of planar curves is called a Moser family if it contains an isometric copy of every rectifiable curve in $\mathbb{R}^{2}$ of length one. The classical "worm problem" of L. Moser from 1966 asks for the least area covered by the curves in any Moser family. In 1979, J. M. Marstrand proved that the answer is not zero: the union of curves in a Moser family has always area at least $c$ for some small absolute constant $c > 0$. We strengthen Marstrand's result by showing that for $p > 3$, the $p$-modulus of a Moser family of curves is at least $c_{p} > 0$.
Gradient estimates for heat kernels and harmonic functions
2020
Let $(X,d,\mu)$ be a doubling metric measure space endowed with a Dirichlet form $\E$ deriving from a "carr\'e du champ". Assume that $(X,d,\mu,\E)$ supports a scale-invariant $L^2$-Poincar\'e 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\"older inequality for the gradients of harmonic functions; (iii) $(R_p)$: $L^p$-boundedness of the Riesz transform ($p<\infty$); (iv) $(GBE)$: a generalised Bakry-\'Emery condition. We show that, for $p\in (2,\infty)$, (i), (ii) (iii) are equivalent, wh…
Tensorization of quasi-Hilbertian Sobolev spaces
2022
The tensorization problem for Sobolev spaces asks for a characterization of how the Sobolev space on a product metric measure space $X\times Y$ can be determined from its factors. We show that two natural descriptions of the Sobolev space from the literature coincide, $W^{1,2}(X\times Y)=J^{1,2}(X,Y)$, thus settling the tensorization problem for Sobolev spaces in the case $p=2$, when $X$ and $Y$ are infinitesimally quasi-Hilbertian, i.e. the Sobolev space $W^{1,2}$ admits an equivalent renorming by a Dirichlet form. This class includes in particular metric measure spaces $X,Y$ of finite Hausdorff dimension as well as infinitesimally Hilbertian spaces. More generally for $p\in (1,\infty)$ we…
Existence and almost uniqueness for p -harmonic Green functions on bounded domains in metric spaces
2020
We study ($p$-harmonic) singular functions, defined by means of upper gradients, in bounded domains in metric measure spaces. It is shown that singular functions exist if and only if the complement of the domain has positive capacity, and that they satisfy very precise capacitary identities for superlevel sets. Suitably normalized singular functions are called Green functions. Uniqueness of Green functions is largely an open problem beyond unweighted $\mathbf{R}^n$, but we show that all Green functions (in a given domain and with the same singularity) are comparable. As a consequence, for $p$-harmonic functions with a given pole we obtain a similar comparison result near the pole. Various c…
Dyadic Norm Besov-Type Spaces as Trace Spaces on Regular Trees
2019
In this paper, we study function spaces defined via dyadic energies on the boundaries of regular trees. We show that correct choices of dyadic energies result in Besov-type spaces that are trace spaces of (weighted) first order Sobolev spaces.
Heisenberg quasiregular ellipticity
2016
Following the Euclidean results of Varopoulos and Pankka--Rajala, we provide a necessary topological condition for a sub-Riemannian 3-manifold $M$ to admit a nonconstant quasiregular mapping from the sub-Riemannian Heisenberg group $\mathbb{H}$. As an application, we show that a link complement $S^3\backslash L$ has a sub-Riemannian metric admitting such a mapping only if $L$ is empty, the unknot or Hopf link. In the converse direction, if $L$ is empty, a specific unknot or Hopf link, we construct a quasiregular mapping from $\mathbb{H}$ to $S^3\backslash L$. The main result is obtained by translating a growth condition on $\pi_1(M)$ into the existence of a supersolution to the $4$-harmonic…
Self-improvement of pointwise Hardy inequality
2019
We prove the self-improvement of a pointwise p p -Hardy inequality. The proof relies on maximal function techniques and a characterization of the inequality by curves.
The Choquet and Kellogg properties for the fine topology when $p=1$ in metric spaces
2017
In the setting of a complete metric space that is equipped with a doubling measure and supports a Poincar´e inequality, we prove the fine Kellogg property, the quasi-Lindel¨of principle, and the Choquet property for the fine topology in the case p = 1. Dans un contexte d’espace m´etrique complet muni d’une mesure doublante et supportant une in´egalit´e de Poincar´e, nous d´emontrons la propri´et´e fine de Kellogg, le quasi-principe de Lindel¨of, et la propri´et´e de Choquet pour la topologie fine dans le cas p = 1. peerReviewed
A maximal Function Approach to Two-Measure Poincaré Inequalities
2018
This paper extends the self-improvement result of Keith and Zhong in Keith and Zhong (Ann. Math. 167(2):575–599, 2008) to the two-measure case. Our main result shows that a two-measure (p, p)-Poincare inequality for $$10$$ under a balance condition on the measures. The corresponding result for a maximal Poincare inequality is also considered. In this case the left-hand side in the Poincare inequality is replaced with an integral of a sharp maximal function and the results hold without a balance condition. Moreover, validity of maximal Poincare inequalities is used to characterize the self-improvement of two-measure Poincare inequalities. Examples are constructed to illustrate the role of t…