SearcharxivSearch

arXiv subjects

Riikka Korte

Publications and source records attributed to Riikka Korte.

At least 19 recordsLinked to original sources

Fractional $p$-Laplacians via Neumann problems in unbounded metric measure spaces

We prove well-posedness, Harnack inequality and sharp regularity of solutions to a fractional $p$-Laplace non-homogeneous equation $(-Δ_p)^su =f$, with $0<s<1$, $1<p<\infty$, for data $f$ satisfying a weighted $L^{p'}$ condition in a doubling metric measure space $(Z,d_Z,ν)$ that is possibly unbounded. Our approach is inspired by the work of Caffarelli and Silvestre \cite{CS} (see also Mol{č}anov and Ostrovski{ĭ} \cite{MO}), and extends the techniques developed in \cite{CKKSS}, where the bounded case is studied. Unlike in \cite{EbGKSS}, we do not assume that $Z$ supports a Poincaré inequality. The proof is based on the well-posedness of the Neumann problem on a Gromov hyperbolic space $(X,d_X, μ)$ that arises as an hyperbolic filling of $Z$.

math.AP

Traces of Newton-Sobolev functions on the visible boundary of domains in doubling metric measure spaces supporting a $p$-Poincaré inequality

We consider the question of whether a domain with uniformly thick boundary at all locations and at all scales has a large portion of its boundary visible from the interior; here, "visibility" indicates the existence of John curves connecting the interior point to the points on the "visible boundary". In this paper, we provide an affirmative answer in the setting of a doubling metric measure space supporting a $p$-Poincaré inequality for $1<p<\infty$, thus extending the results of [20,2,9] to non-Ahlfors regular spaces. We show that $t$-codimensional thickness of the boundary for $0<t<p$ implies $p$-codimensional thickness of the visible boundary. For such domains we prove that traces of Sobolev functions on the domain belong to the Besov class of the visible boundary.

math.MG

Solving Dirichlet problem on unbounded uniform domains by using sphericalization techniques

Within the setting of metric spaces equipped with a doubling measure and supporting a $p$-Poincaré inequality, establishing existence of solutions to Dirichlet problem in a bounded domain in such a metric space is accomplished via direct methods of calculus of variation and the use of a Maz'ya type inequality, which is a consequence of the Poincaré inequality. However, when the domain and its boundary are unbounded, such a method is unavailable. In this paper, using the technique of sphericalization developed in the prior paper~[32], we establish the existence of solutions to the Dirichlet boundary value problem for $p$-harmonic functions in unbounded uniform domains with unbounded boundary when $1<p<\infty$. We also explore the issue of whether such solutions are unique by considering $p$-parabolicity and $p$-hyperbolicity properties of the domain.

math.AP

Characterisations of Sobolev spaces and constant functions over metric spaces

In a doubling metric measure space $(X,ρ,μ)$ supporting a Poincaré inequality, we give a new characterisation of first-order Sobolev spaces by mean oscillations, and extend previous characterisations of constant functions in terms of the finiteness of certain integrals through a new approach. As a key tool of independent potential, we introduce a novel ``macroscopic'' Poincaré inequality, whose right-hand side has oscillations of the same form as the left-hand side, but at a smaller macroscopic scale $r\in(0,R)$. Besides intrinsic interest, these results are motivated by applications to quantitative compactness properties of commutators $[f,T]$ of pointwise multipliers and singular integrals. With pivotal use of the present results, a characterisation of commutator mapping properties, over the same class of general domains $(X,ρ,μ)$, is obtained in a companion paper.

math.FA

Preserving Besov (fractional Sobolev) energies under sphericalization and flattening

We introduce a new sphericalization mapping for metric spaces that is applicable in very general situations, including totally disconnected fractal type sets. For an unbounded complete metric space which is uniformly perfect at a base point for large radii and equipped with a doubling measure, we make a more specific construction based on the measure and equip it with a weighted measure. This mapping is then shown to preserve the doubling property of the measure and the Besov (fractional Sobolev) energy. The corresponding results for flattening of bounded complete metric spaces are also obtained. Finally, it is shown that for the composition of a sphericalization with a flattening, or vice versa, the obtained space is biLipschitz equivalent with the original space and the resulting measure is comparable to the original measure.

math.FA

Sharp Hölder regularity of weak solutions of the Neumann problem and applications to nonlocal PDE in metric measure spaces

We prove global Hölder regularity result for weak solutions $u\in N^{1,p}(Ω, μ)$ to a PDE of $p$-Laplacian type with a measure as non-homogeneous term: \[ -\text{div}\!\left( |\nabla u|^{p-2}\nabla u \right)=\overlineν, \] where $1<p<\infty$ and $\overlineν\in (N^{1,p}(Ω,μ))^*$ is a signed Radon measure supported in $\overline Ω$. Here, $Ω$ is a John domain in a metric measure space satisfying a doubling condition and a $p$-Poincaré inequality, and $\nabla u$ is the Cheeger gradient. The regularity results obtained in this paper improve on earlier estimates proved by the authors in \cite{CGKS} for the study of the Neumann problem, and have applications to the regularity of solutions of nonlocal PDE in doubling metric spaces. Moreover, the obtained Hölder exponent matches with the known sharp result in the Euclidean case \cite{CSt,BLS,BT}.

math.AP

Sharp conditions for preserving uniformity, doubling measure and Poincaré inequality under sphericalization

We study sphericalization, which is a mapping that conformally deforms the metric and the measure of an unbounded metric measure space so that the deformed space is bounded. The goal of this paper is to study sharp conditions on the deforming density function under which the sphericalization preserves uniformity of the space, the doubling property of the measure and the support of a Poincaré inequality. We also provide examples that demonstrate the sharpness of our conditions.

math.MG

Sharp Hausdorff content estimates for accessible boundaries of domains in metric measure spaces of controlled geometry

We give a sharp Hausdorff content estimate for the size of the accessible boundary of any domain in a metric measure space of controlled geometry, i.e., a complete metric space equipped with a doubling measure supporting a $p$-Poincaré inequality for a fixed $1\le p<\infty$. This answers a question posed by Jonas Azzam. In the process, we extend the result to every doubling gauge in metric measure spaces which satisfies a codimension one bound.

math.MG

Solving a Dirichlet problem for unbounded domains via a conformal transformation

In this paper, we solve the $p$-Dirichlet problem for Besov boundary data on unbounded uniform domains with bounded boundaries when the domain is equipped with a doubling measure satisfying a Poincaré inequality. This is accomplished by studying a class of transformations that have been recently shown to render the domain bounded while maintaining uniformity. These transformations conformally deform the metric and measure in a way that depends on the distance to the boundary of the domain and, for the measure, a parameter $p$. We show that the transformed measure is doubling and the transformed domain supports a Poincaré inequality. This allows us to transfer known results for bounded uniform domains to unbounded ones, including trace results and Adams-type inequalities, culminating in a solution to the Dirichlet problem for boundary data in a Besov class.

math.AP

The John-Nirenberg space: Equality of the vanishing subspaces $VJN_p$ and $CJN_p$

The John-Nirenberg spaces $JN_p$ are generalizations of the space of bounded mean oscillation $BMO$ with $JN_{\infty}=BMO$. Their vanishing subspaces $VJN_p$ and $CJN_p$ are defined in similar ways as $VMO$ and $CMO$, which are subspaces of $BMO$. As our main result, we prove that $VJN_p$ and $CJN_p$ coincide by showing that certain Morrey type integrals of $JN_p$ functions tend to zero for small and large cubes. We also show that $JN_{p,q}(\mathbb{R}^n) = L^p(\mathbb{R}^n) / \mathbb{R}$, if $p = q$.

math.FA

Neumann problems for $p$-harmonic functions, and induced nonlocal operators in metric measure spaces

Following ideas of Caffarelli and Silvestre in~\cite{CS}, and using recent progress in hyperbolic fillings, we define fractional $p$-Laplacians $(-Δ_p)^θ$ with $0<θ<1$ on any compact, doubling metric measure space $(Z,d,ν)$, and prove existence, regularity and stability for the non-homogenous non-local equation $(-Δ_p)^θu =f.$ These results, in turn, rest on the new existence, global Hölder regularity and stability theorems that we prove for the Neumann problem for $p$-Laplacians $Δ_p$, $1<p<\infty$, in bounded domains of measure metric spaces endowed with a doubling measure that supports a Poincaré inequality. Our work also extends beyond the compact setting, and includes as special cases much of the previous results by other authors in the Euclidean, Riemannian and Carnot group settings. Unlike other recent contributions in the metric measure spaces context, our work does not rely on the assumption that $(Z,d,ν)$ supports a Poincaré inequality.

math.AP

Accessible parts of the boundary for domains in metric measure spaces

We prove in the setting of $Q$--Ahlfors regular PI--spaces the following result: if a domain has uniformly large boundary when measured with respect to the $s$--dimensional Hausdorff content, then its visible boundary has large $t$--dimensional Hausdorff content for every $0<t<s\leq Q-1$. The visible boundary is the set of points that can be reached by a John curve from a fixed point $z_{0}\in Ω$. This generalizes recent results by Koskela-Nandi-Nicolau (from $\mathbb{R}^2$) and Azzam ($\mathbb{R}^n$). In particular, our approach shows that the phenomenon is independent of the linear structure of the space.

math.MG

Regularity of Solutions to the Fractional Cheeger-Laplacian on Domains in Metric Spaces of Bounded Geometry

We study existence, uniqueness, and regularity properties of the Dirichlet problem related to fractional Dirichlet energy minimizers in a complete doubling metric measure space $(X,d_X,μ_X)$ satisfying a $2$-Poincaré inequality. Given a bounded domain $Ω\subset X$ with $μ_X(X\setminusΩ)>0$, and a function $f$ in the Besov class $B^θ_{2,2}(X)\cap L^2(X)$, we study the problem of finding a function $u\in B^θ_{2,2}(X)$ such that $u=f$ in $X\setminusΩ$ and $\mathcal{E}_θ(u,u)\le \mathcal{E}_θ(h,h)$ whenever $h\in B^θ_{2,2}(X)$ with $h=f$ in $X\setminusΩ$. We show that such a solution always exists and that this solution is unique. We also show that the solution is locally Hölder continuous on $Ω$, and satisfies a non-local maximum and strong maximum principle. Part of the results in this paper extend the work of Caffarelli and Silvestre in the Euclidean setting and Franchi and Ferrari in Carnot groups.

math.AP

Equivalence of two BV classes of functions in metric spaces, and existence of a Semmes family of curves under a $1$-Poincaré inequality

We consider two notions of functions of bounded variation in complete metric measure spaces, one due to Martio and the other due to Miranda~Jr. We show that these two notions coincide, if the measure is doubling and supports a $1$-Poincaré inequality. In doing so, we also prove that if the measure is doubling and supports a $1$-Poincaré inequality, then the metric space supports a \emph{Semmes family of curves} structure.

math.MG

Lower semicontinuous obstacles for the porous medium equation

We deal with the obstacle problem for the porous medium equation in the slow diffusion regime $m>1$. Our main interest is to treat fairly irregular obstacles assuming only boundedness and lower semicontinuity. In particular, the considered obstacles are not regular enough to work with the classical notion of variational solutions, and a different approach is needed. We prove the existence of a solution in the sense of the minimal supersolution lying above the obstacle. As a consequence, we can show that non-negative weak supersolutions to the porous medium equation can be approximated by a sequence of supersolutions which are bounded away from zero.

math.AP

The space $JN_p$: nontriviality and duality

We study a function space $JN_p$ based on a condition introduced by John and Nirenberg as a variant of BMO. It is known that $L^p\subset JN_{p}\subsetneq L^{p,\infty}$, but otherwise the structure of $JN_p$ is largely a mystery. Our first main result is the construction of a function that belongs to $JN_p$ but not $L^p$, showing that the two spaces are not the same. Nevertheless, we prove that for monotone functions, the classes $JN_{p}$ and $L^p$ do coincide. Our second main result describes $JN_p$ as the dual of a new Hardy kind of space $HK_{p'}$.

math.FA

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

Notions of Dirichlet problem for functions of least gradient in metric measure spaces

We study two notions of Dirichlet problem associated with BV energy minimizers (also called functions of least gradient) in bounded domains in metric measure spaces whose measure is doubling and supports a $(1,1)$-Poincaré inequality. Since one of the two notions is not amenable to the direct method of the calculus of variations, we construct, based on an approach of [23, 29], solutions by considering the Dirichlet problem for $p$-harmonic functions, $p>1$, and letting $p\to 1$. Tools developed and used in this paper include the inner perimeter measure of a domain.

math.AP