arXiv subjects

Juha Lehrbäck

Publications and source records attributed to Juha Lehrbäck.

At least 19 recordsLinked to original sources

arXiv2025

Self-improving properties of weighted norm inequalities on metric measure spaces

This work discusses self-improving properties of the Muckenhoupt condition and weighted norm inequalities for the Hardy-Littlewood maximal function on metric measure spaces with a doubling measure. Our main result provides direct proofs of these properties by applying a Whitney covering argument and a technique inspired by the Calderón-Zygmund decomposition. In particular, this approach does not rely on reverse Hölder inequalities.

math.CA↗

arXiv2024

Weakly porous sets and Muckenhoupt $A_p$ distance functions

We examine the class of weakly porous sets in Euclidean spaces. As our first main result we show that the distance weight $w(x)=\operatorname{dist}(x,E)^{-α}$ belongs to the Muckenhoupt class $A_1$, for some $α>0$, if and only if $E\subset\mathbb{R}^n$ is weakly porous. We also give a precise quantitative version of this characterization in terms of the so-called Muckenhoupt exponent of $E$. When $E$ is weakly porous, we obtain a similar quantitative characterization of $w\in A_p$, for $1<p<\infty$, as well. At the end of the paper, we give an example of a set $E\subset\mathbb{R}$ which is not weakly porous but for which $w\in A_p\setminus A_1$ for every $0<α<1$ and $1<p<\infty$.

math.CA↗

arXiv2024

Classifying Triebel-Lizorkin capacities in metric spaces

We study non-local or fractional capacities in metric measure spaces. Our main goal is to clarify the relations between relative Hajlasz-Triebel-Lizorkin capacities, potentional Triebel-Lizorkin capacities, and metric space variants of Riesz capacities. As an application of our results, we obtain a characterization of a Hajlasz-Triebel-Lizorkin capacity density condition, which is based on an earlier characterization of a Riesz capacity density condition in terms of Hausdorff contents.

math.CA↗

arXiv2022

Capacities and density conditions in metric spaces

We examine the relations between different capacities in the setting of a metric measure space. First, we prove a comparability result for the Riesz $(β,p)$-capacity and the relative Hajlasz $(β,p)$-capacity, for $1<p<\infty$ and $0<β\le 1$, under a suitable kernel estimate related to the Riesz potential. Then we show that in geodesic spaces the corresponding capacity density conditions are equivalent even without assuming the kernel estimate. In the last part of the paper, we compare the relative Hajlasz $(1,p)$-capacity to the relative variational $p$-capacity.

math.AP↗

arXiv2021

Fractional Poincaré and localized Hardy inequalities on metric spaces

We prove fractional Sobolev-Poincaré inequalities, capacitary versions of fractional Poincaré inequalities, and pointwise and localized fractional Hardy inequalities in a metric space equipped with a doubling measure. Our results generalize and extend earlier work where such inequalities have been considered in the Euclidean spaces or in the non-fractional setting in metric spaces. The results concerning pointwise and localized variants of fractional Hardy inequalities are new even in the Euclidean case.

math.CA↗

arXiv2021

Hardy-Sobolev inequalities and weighted capacities in metric spaces

Let $Ω$ be an open set in a metric measure space $X$. Our main result gives an equivalence between the validity of a weighted Hardy-Sobolev inequality in $Ω$ and quasiadditivity of a weighted capacity with respect to Whitney covers of $Ω$. Important ingredients in the proof include the use of a discrete convolution as a capacity test function and a Maz'ya type characterization of weighted Hardy-Sobolev inequalities.

math.CA↗

arXiv2021

Volume growth, capacity estimates, $p$-parabolicity and sharp integrability properties of $p$-harmonic Green functions

In a complete metric space equipped with a doubling measure supporting a $p$-Poincaré inequality, we prove sharp growth and integrability results for $p$-harmonic Green functions and their minimal $p$-weak upper gradients. We show that these properties are determined by the growth of the underlying measure near the singularity. Corresponding results are obtained also for more general $p$-harmonic functions with poles, as well as for singular solutions of elliptic differential equations in divergence form on weighted $\mathbf{R}^n$ and on manifolds. The proofs are based on a new general capacity estimate for annuli, which implies precise pointwise estimates for $p$-harmonic Green functions. The capacity estimate is valid under considerably milder assumptions than above. We also use it, under these milder assumptions, to characterize singletons of zero capacity and the $p$-parabolicity of the space. This generalizes and improves earlier results that have been important especially in the context of Riemannian manifolds.

math.AP↗

arXiv2020

Self-improvement of weighted pointwise inequalities on open sets

We prove a general self-improvement property for a family of weighted pointwise inequalities on open sets, including pointwise Hardy inequalities with distance weights. For this purpose we introduce and study the classes of $p$-Poincaré and $p$-Hardy weights for an open set $Ω\subset X$, where $X$ is a metric measure space. We also apply the self-improvement of weighted pointwise Hardy inequalities in connection with usual integral versions of Hardy inequalities.

math.CA↗

arXiv2019

Existence and almost uniqueness for $p$-harmonic Green functions on bounded domains in metric spaces

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 characterizations of singular functions are also given. Our results hold in complete metric spaces with a doubling measure supporting a $p$-Poincaré inequality, or under similar local assumptions.

math.AP↗

arXiv2018

A maximal function approach to two-measure Poincaré inequalities

This paper extends the self-improvement result of Keith and Zhong in [16] to the two-measure case. Our main result shows that a two-measure $(p,p)$-Poincaré inequality for $1 0$ under a balance condition on the measures. The corresponding result for a maximal Poincaré inequality is also considered. In this case the left-hand side in the Poincaré inequality is replaced with an integral of a sharp maximal function and the results hold without a balance condition. Moreover, validity of maximal Poincaré inequalities is used to characterize the self-improvement of two-measure Poincaré inequalities. Examples are constructed to illustrate the role of the assumptions. Harmonic analysis and PDE techniques are used extensively in the arguments.

math.CA↗

arXiv2017

Fractional Hardy-Sobolev type inequalities for half spaces and John domains

As our main result we prove a variant of the fractional Hardy-Sobolev-Maz'ya inequality for half spaces. This result contains a complete answer to a recent open question by Musina and Nazarov. In the proof we apply a new version of the fractional Hardy-Sobolev inequality that we establish also for more general unbounded John domains than half spaces.

math.CA↗

arXiv2017

Maximal function estimates and self-improvement results for Poincaré inequalities

Our main result is an estimate for a sharp maximal function, which implies a Keith-Zhong type self-improvement property of Poincaré inequalities related to differentiable structures on metric measure spaces. As an application, we give structure independent representation for Sobolev norms and universality results for Sobolev spaces.

math.CA↗

arXiv2017

Muckenhoupt $A_p$-properties of distance functions and applications to Hardy-Sobolev -type inequalities

Let $X$ be a metric space equipped with a doubling measure. We consider weights $w(x)=\operatorname{dist}(x,E)^{-α}$, where $E$ is a closed set in $X$ and $α\in\mathbb R$. We establish sharp conditions, based on the Assouad (co)dimension of $E$, for the inclusion of $w$ in Muckenhoupt's $A_p$ classes of weights, $1\le p<\infty$. With the help of general $A_p$-weighted embedding results, we then prove (global) Hardy-Sobolev inequalities and also fractional versions of such inequalities in the setting of metric spaces.

math.CA↗

arXiv2017

Measures with predetermined regularity and inhomogeneous self-similar sets

We show that if $X$ is a uniformly perfect complete metric space satisfying the finite doubling property, then there exists a fully supported measure with lower regularity dimension as close to the lower dimension of $X$ as we wish. Furthermore, we show that, under the condensation open set condition, the lower dimension of an inhomogeneous self-similar set $E_C$ coincides with the lower dimension of the condensation set $C$, while the Assouad dimension of $E_C$ is the maximum of the Assouad dimensions of the corresponding self-similar set $E$ and the condensation set $C$. If the Assouad dimension of $C$ is strictly smaller than the Assouad dimension of $E$, then the upper regularity dimension of any measure supported on $E_C$ is strictly larger than the Assouad dimension of $E_C$. Surprisingly, the corresponding statement for the lower regularity dimension fails.

math.CA↗

arXiv2017

Hardy inequalities and Assouad dimensions

We establish both sufficient and necessary conditions for weighted Hardy inequalities in metric spaces in terms of Assouad (co)dimensions. Our sufficient conditions in the case where the complement is thin are new even in Euclidean spaces, while in the case of a thick complement we give new formulations for previously known sufficient conditions which reveal a natural duality between these two cases. Our necessary conditions are rather straight-forward generalizations from the unweighted case, but together with some examples they indicate the essential sharpness of our results. In addition, we consider the mixed case where the complement may contain both thick and thin parts.

math.FA↗

arXiv2015

Self-improvement of uniform fatness revisited

We give a new proof for the self-improvement of uniform p-fatness in the setting of general metric spaces. Our proof is based on rather standard methods of geometric analysis, and in particular the proof avoids the use of deep results from potential theory and analysis on metric spaces that have been indispensable in the previous proofs of the self-improvement. A key ingredient in the proof is a self-improvement property for local Hardy inequalities.

math.CA↗

arXiv2015

The annular decay property and capacity estimates for thin annuli

We obtain upper and lower bounds for the nonlinear variational capacity of thin annuli in weighted $\mathbf{R}^n$ and in metric spaces, primarily under the assumptions of an annular decay property and a Poincaré inequality. In particular, if the measure has the $1$-annular decay property at $x_0$ and the metric space supports a pointwise $1$-Poincaré inequality at $x_0$, then the upper and lower bounds are comparable and we get a two-sided estimate for thin annuli centred at $x_0$, which generalizes the known estimate for the usual variational capacity in unweighted $\mathbf{R}^n$. Most of our estimates are sharp, which we show by supplying several key counterexamples. We also characterize the $1$-annular decay property.

math.AP↗

arXiv2015

Uniqueness of diffusion on domains with rough boundaries

Let $Ω$ be a domain in $\mathbf R^d$ and $h(φ)=\sum^d_{k,l=1}(\partial_kφ, c_{kl}\partial_lφ)$ a quadratic form on $L_2(Ω)$ with domain $C_c^\infty(Ω)$ where the $c_{kl}$ are real symmetric $L_\infty(Ω)$-functions with $C(x)=(c_{kl}(x))>0$ for almost all $x\in Ω$. Further assume there are $a, δ>0$ such that $a^{-1}d_Γ^δ\,I\le C\le a\,d_Γ^δ\,I$ for $d_Γ\le 1$ where $d_Γ$ is the Euclidean distance to the boundary $Γ$ of $Ω$. We assume that $Γ$ is Ahlfors $s$-regular and if $s$, the Hausdorff dimension of $Γ$, is larger or equal to $d-1$ we also assume a mild uniformity property for $Ω$ in the neighbourhood of one $z\inΓ$. Then we establish that $h$ is Markov unique, i.e. it has a unique Dirichlet form extension, if and only if $δ\ge 1+(s-(d-1))$. The result applies to forms on Lipschitz domains or on a wide class of domains with $Γ$ a self-similar fractal. In particular it applies to the interior or exterior of the von Koch snowflake curve in $\mathbf R^2$ or the complement of a uniformly disconnected set in $\mathbf R^d$.

math.AP↗