Searcharxiv⌕ Search

arXiv subjects

Anders Björn

Publications and source records attributed to Anders Björn.

At least 19 recordsLinked to original sources

Liouville theorems and removable sets for bounded $p$-harmonic and quasiharmonic functions on metric spaces under local assumptions

For connected proper metric spaces $X$, equipped with a locally doubling measure supporting a local $p$-Poincaré inequality, we completely characterize which compact sets $K$ with positive capacity are removable for bounded $p$-harmonic functions, $p>1$. Similar results are proved also for bounded quasiharmonic functions. The characterization is both in geometric and analytic terms. In particular, removability is shown to be equivalent to the validity of a Liouville type theorem in $X\setminus K$. Properties such as local connectedness, sequential annular quasiconvexity, concentration of capacity and $p$-parabolicity are identified as crucial for removability. Along the way, we give a rather elementary proof of the Liouville theorem for quasisuperharmonic functions in $p$-parabolic spaces. Our results apply in particular to manifolds and $\mathbf{R}^n$ equipped with (locally) $p$-admissible weights.

math.AP↗

Capacities, Wiener criteria and fine continuity for nonlocal nonlinear equations

In this paper we study nonlocal nonlinear equations of $s$-fractional $p$-Laplacian type in open subsets of $\mathbf{R}^n$. We investigate how the boundary regularity of solutions depends on the parameters $s$ and $p$, including the local case $s=1$. Specifically, we show exactly when regularity for $(s_1, p_1)$ implies regularity for $(s_2, p_2)$. The proof relies on the equivalence between Wiener criteria formulated with condenser and Sobolev capacities. To establish this equivalence, we derive precise comparison estimates between the two capacities. The Wiener integral defines thinness and the fine topology. We show that every superharmonic function associated with a nonlocal nonlinear operator is finely continuous. Moreover, we prove that polar sets in this fractional setting coincide with sets of zero capacity.

math.AP↗

Doubling measures and Poincaré inequalities for sphericalizations of metric spaces, with applications to $p$-harmonic functions in unbounded domains

The identification between the complex plane and the Riemann sphere preserves holomorphic and harmonic functions and is a classical tool. In this paper we consider a similar mapping from an unbounded metric space $X$ to a bounded space and show how it preserves $p$-harmonic functions and Poincaré inequalities. When $X$ is Ahlfors regular, this was shown in our earlier paper ($\textit{J. Math. Anal. Appl. }\mathbf{474}$ (2019), 852--875). Here we only require the much weaker (and more natural) doubling property of the measure. Furthermore, we consider a broader class of transformed measures. The sphericalization is then applied to obtain new results for the Dirichlet boundary value problem in unbounded sets and for boundary regularity at infinity for $p$-harmonic functions. Some of these results are new also for unweighted $\mathbf{R}^n$, $n \ge 2$ and $p\ne2$.

math.FA↗

Perron solutions and boundary regularity for nonlocal nonlinear Dirichlet problems

For nonlinear operators of fractional \p-Laplace type, we consider two types of solutions to the nonlocal Dirichlet problem: Sobolev solutions based on fractional Sobolev spaces and Perron solutions based on superharmonic functions. These solutions give rise to two different concepts of regularity for boundary points, namely Sobolev and Perron regularity. We show that these two notions are equivalent and we also provide several characterizations of regular boundary points. Along the way, we give a new definition of Perron solutions, which is applicable to arbitrary exterior Dirichlet data $g: Ω^c \to [-\infty,\infty]$. We obtain resolutivity results for these Perron solutions, and show that the Sobolev and Perron solutions coincide for a large class of exterior Dirichlet data. This also implies invariance of the Perron solutions under perturbations on sets of zero fractional capacity. A uniqueness result for the Dirichlet problem is also obtained for the class of bounded solutions taking prescribed continuous exterior data quasieverywhere on the boundary.

math.AP↗

Quasicontinuity of $N^{1,\infty}$ functions and the Vitali-Carathéodory property on general metric spaces

This note is a follow up on our recent paper with L. Malý (to appear in Rev. Mat. Complut.). We provide a simple example of a compact metric space $\mathcal{P}$ for which $L^\infty(\mathcal{P})$ has the Vitali-Carathéodory property, the Sobolev $C_\infty$-capacity is an outer capacity, but the Newtonian space $N^{1,\infty}(\mathcal{P})$ contains functions which are not weakly quasicontinuous. The novelty here is that the Vitali-Carathéodory property is satified. We also obtain some related results about quasicontinuous functions in $N^{1,\infty}(\mathcal{P})$ and a characterization of when $L^\infty(\mathcal{P})$ has the Vitali-Carathéodory property.

math.FA↗

Barriers, Barenblatt solutions and regularity of soda can domains for the heat equation and nonlinear $p$-parabolic equations

In this paper we study when the origin $(0,0)$ is a regular (or irregular) boundary point for the so-called soda can domains of the type \[ Θ_{l,θ}:= \{(x,t) \in \mathbf{R}^{n+1}: 0<-t < θ|x|^l <θ\}, \quad \text{with $l,θ>0$,} \] for the $p$-parabolic equation $\partial_t u- Δ_p u=0$, where $1<p<\infty$. For $p<2n/(n+1)$ and for the heat equation (i.e.\ $p=2$) we completely determine when the origin is regular for soda can domains. The domains $Θ_{l,θ}$ have nonconvex time sections with power dependence on time. For domains with rotationally symmetric convex time sections with power dependence on time, the regularity of the origin as the last point was characterized by Petrovskii (in 1935) for the heat equation, and almost completely in the nonlinear case ($p \ne 2$) in our earlier paper (joint with Gianazza, Math. Ann. 368 (2017), 885--904).

math.AP↗

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↗

Boundary regularity and Wiener-type criteria at infinity for nonlinear elliptic equations of $p$-Laplace type

We study boundary regularity at the infinity point $\boldsymbol{\infty}$ for nonlinear elliptic equations of $p$-Laplace type in unbounded open sets $Ω\subset \mathbf{R}^n$. We consider the case $p \ge n \ge 2$ and characterize the regularity at $\boldsymbol{\infty}$ by means of Wiener-type integrals. Our approach uses circular inversion, which maps $\boldsymbol{\infty}$ to the origin and the original nonlinear equation to a similar weighted equation. The Wiener criterion at the origin for such equations is then transformed back to provide Wiener-type criteria at $\boldsymbol{\infty}$. When $p>n$, the criteria simplify so that $\boldsymbol{\infty}$ is regular if and only if the boundary $\partialΩ$ is unbounded. For $p=n$ this is not true, as shown by an example. This simplified criterion is also proved for $p$-harmonic functions in unbounded open subsets of Ahlfors $Q$-regular metric measure spaces with $Q<p$, supporting a Poincaré inequality.

math.AP↗

Semiregular and strongly irregular boundary points for nonlocal Dirichlet problems

In this paper we study nonlocal nonlinear equations of fractional $(s,p)$-Laplacian type on $\mathbf{R}^n$. We show that the irregular boundary points for the Dirichlet problem can be divided into two disjoint classes: semiregular and strongly irregular boundary points, with very different behaviour. Two fundamental tools needed to show this are the Kellogg property (from our previous paper) and a new removability result for solutions in the $V^{s,p}$ Sobolev type space, which we deduce more generally also for supersolutions of equations with a right-hand side. Semiregular and strongly irregular points are also characterized in various ways. Finally, it is explained how semiregularity depends on $s$ and $p$.

math.AP↗

Uniqueness and nonuniqueness of $p$-harmonic Green functions on weighted $\mathbf{R}^n$ and metric spaces

We study uniqueness of $p$-harmonic Green functions in domains $Ω$ in a complete metric space equipped with a doubling measure supporting a $p$-Poincaré inequality, with $1<p<\infty$. For bounded domains in unweighted $\mathbf{R}^n$, the uniqueness was shown for the $p$-Laplace operator $Δ_p$ and all $p$ by Kichenassamy--Véron (Math. Ann. 275 (1986), 599-615), while for $p=2$ it is an easy consequence of the linearity of the Laplace operator $Δ$. Beyond that, uniqueness is only known in some particular cases, such as in Ahlfors $p$-regular spaces, as shown by Bonk--Capogna--Zhou (arXiv:2211.11974). When the singularity $x_0$ has positive $p$-capacity, the Green function is a particular multiple of the capacitary potential for $\text{cap}_p(\{x_0\},Ω)$ and is therefore unique. Here we give a sufficient condition for uniqueness in metric spaces, and provide an example showing that the range of $p$ for which it holds (while $x_0$ has zero $p$-capacity) can be a nondegenerate interval. In the opposite direction, we give the first example showing that uniqueness can fail in metric spaces, even for $p=2$.

math.AP↗

Non-quasicontinuous Newtonian functions and outer capacities based on Banach function spaces

We construct various examples of Sobolev-type functions, defined via upper gradients in metric spaces, that fail to be quasicontinuous or weakly quasicontinuous. This is done with quasi-Banach function lattices $X$ as the function spaces defining the smoothness of the Sobolev-type functions. These results are in contrast to the case $X=L^p$ with $1\le p<\infty$, where all Sobolev-type functions in $N^p$ are known to be quasicontinuous, provided that the underlying metric space $\mathcal{P}$ is locally complete. In most of our examples, $\mathcal{P}$ is a compact subset of $\mathbf{R}^2$ and $X=L^\infty$. Four particular examples are the damped topologist's sine curve, the von Koch snowflake curve, the Cantor ternary set and the Sierpiński carpet. We also discuss several related properties, such as whether the Sobolev capacity is an outer capacity, and how these properties are related. A fundamental role in these considerations is played by the lack of the Vitali--Carathéodory property.

math.FA↗

Condenser capacities and capacitary potentials for unbounded sets, and global $p$-harmonic Green functions on metric spaces

We study the condenser capacity $\mathrm{cap}_p(E,Ω)$ on \emph{unbounded} open sets $Ω$ in a proper connected metric space $X$ equipped with a locally doubling measure supporting a local $p$-Poincaré inequality, where $1 0$. As an application, we deduce new results for Perron solutions and boundary regularity for the Dirichlet boundary value problem for $p$-harmonic functions in unbounded open sets.

math.AP↗

Removable sets for Newtonian Sobolev spaces and a characterization of $p$-path almost open sets

We study removable sets for Newtonian Sobolev functions in metric measure spaces satisfying the usual (local) assumptions of a doubling measure and a Poincaré inequality. In particular, when restricted to Euclidean spaces, a closed set $E\subset \mathbf{R}^n$ with zero Lebesgue measure is shown to be removable for $W^{1,p}(\mathbf{R}^n \setminus E)$ if and only if $\mathbf{R}^n \setminus E$ supports a $p$-Poincaré inequality as a metric space. When $p>1$, this recovers Koskela's result (Ark. Mat. 37 (1999), 291--304), but for $p=1$, as well as for metric spaces, it seems to be new. We also obtain the corresponding characterization for the Dirichlet spaces $L^{1,p}$. To be able to include $p=1$, we first study extensions of Newtonian Sobolev functions in the case $p=1$ from a noncomplete space $X$ to its completion $\widehat{X}$. In these results, $p$-path almost open sets play an important role, and we provide a characterization of them by means of $p$-path open, $p$-quasiopen and $p$-finely open sets. We also show that there are nonmeasurable $p$-path almost open subsets of $\mathbf{R}^n$, $n \geq 2$, provided that the continuum hypothesis is assumed to be true. Furthermore, we extend earlier results about measurability of functions with $L^p$-integrable upper gradients, about $p$-quasiopen, $p$-path and $p$-finely open sets, and about Lebesgue points for $N^{1,1}$-functions, to spaces that only satisfy local assumptions.

math.AP↗

The Perron method associated with finely $p$-harmonic functions on finely open sets

Given a bounded finely open set $V$ and a function $f$ on the fine boundary of $V$, we introduce four types of upper Perron solutions to the nonlinear Dirichlet problem for $p$-energy minimizers, $1<p<\infty$, with $f$ as boundary data. These solutions are given as pointwise infima of suitable families of fine $p$-superminimizers in $V$. We show (under natural assumptions) that the four upper Perron solutions are equal quasieverywhere and that they are fine $p$-minimizers of the $p$-energy integral. We moreover show that the upper and lower Perron solutions coincide quasieverywhere for Sobolev and for uniformly continuous boundary data, i.e.\ that such boundary data are resolutive. For the uniformly continuous boundary data, the Perron solutions are also shown to be finely continuous and thus finely $p$-harmonic. We prove our results in a complete metric space $X$ equipped with a doubling measure supporting a $p$-Poincaré inequality, but they are new also in unweighted $\mathbf{R}^n$.

math.AP↗

Convergence and local-to-global results for $p$-superminimizers on quasiopen sets

In this paper, several convergence results for fine $p$-(super)minimizers on quasiopen sets in metric spaces are obtained. For this purpose, we deduce a Caccioppoli-type inequality and local-to-global principles for fine $p$-(super)minimizers on quasiopen sets. A substantial part of these considerations is to show that the functions belong to a suitable local fine Sobolev space. We prove our results for a complete metric space equipped with a doubling measure supporting a $p$-Poincaré inequality with $1<p< \infty$. However, most of the results are new also for unweighted $\mathbf{R}^n$.

math.AP↗

Poincaré inequalities and $A_p$ weights on bow-ties

A metric space $X$ is called a \emph{bow-tie} if it can be written as $X=X_{+} \cup X_{-}$, where $X_{+} \cap X_{-}=\{x_0\}$ and $X_{\pm} \ne \{x_0\}$ are closed subsets of $X$. We show that a doubling measure $μ$ on $X$ supports a $(q,p)$--Poincaré inequality on $X$ if and only if $X$ satisfies a quasiconvexity-type condition, $μ$ supports a $(q,p)$-Poincaré inequality on both $X_{+}$ and $X_{-}$, and a variational \p-capacity condition holds. This capacity condition is in turn characterized by a sharp measure decay condition at $x_0$. In particular, we study the bow-tie $X_{\mathbf{R}^n}$ consisting of the positive and negative hyperquadrants in $\mathbf{R}^n$ equipped with a radial doubling weight and characterize the validity of the \p-Poincaré inequality on $X_{\mathbf{R}^n}$ in several ways. For such weights, we also give a general formula for the capacity of annuli around the origin.

math.MG↗

The Dirichlet problem for p-minimizers on finely open sets in metric spaces

We initiate the study of fine $p$-(super)minimizers, associated with $p$-harmonic functions, on finely open sets in metric spaces, where $1 < p < \infty$. After having developed their basic theory, we obtain the $p$-fine continuity of the solution of the Dirichlet problem on a finely open set with continuous Sobolev boundary values, as a by-product of similar pointwise results. These results are new also on unweighted $\mathbf{R}^n$. We build this theory in a complete metric space equipped with a doubling measure supporting a $p$-Poincaré inequality.

math.AP↗