Searcharxiv⌕ Search

arXiv subjects

Jana Björn

Publications and source records attributed to Jana Björn.

At least 37 records · Page 2Linked to original sources
arXiv2021

Poincaré inequalities and compact embeddings from Sobolev type spaces into weighted $L^q$ spaces on metric spaces

We study compactness and boundedness of embeddings from Sobolev type spaces on metric spaces into $L^q$ spaces with respect to another measure. The considered Sobolev spaces can be of fractional order and some statements allow also nondoubling measures. Our results are formulated in a general form, using sequences of covering families and local Poincaré type inequalities. We show how to construct such suitable coverings and Poincaré inequalities. For locally doubling measures, we prove a self-improvement property for two-weighted Poincaré inequalities, which applies also to lower-dimensional measures. We simultaneously treat various Sobolev spaces, such as the Newtonian, fractional Hajłasz and Poincaré type spaces, for rather general measures and sets, including fractals and domains with fractal boundaries. By considering lower-dimensional measures on the boundaries of such domains, we obtain trace embeddings for the above spaces. In the case of Newtonian spaces we exactly characterize when embeddings into $L^q$ spaces with respect to another measure are compact. Our tools are illustrated by concrete examples. For measures satisfying suitable dimension conditions, we recover several classical embedding theorems on domains and fractal sets in ${\bf R}^n$.

math.FA↗
arXiv2021

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↗
arXiv2021

Behaviour at infinity for solutions of a mixed boundary value problem via inversion

We study a mixed boundary value problem for the quasilinear elliptic equation $\mathop{\rm div}\mathcal{A}(x,\nabla u(x))=0$ in an open infinite circular half-cylinder with prescribed continuous Dirichlet data on a part of the boundary and zero conormal derivative on the rest. We prove the existence and uniqueness of bounded weak solutions to the mixed problem and characterize the regularity of the point at infinity in terms of \p-capacities. For solutions with only Neumann data near the point at infinity we show that they behave in exactly one of three possible ways, similar to the alternatives in the Phragmén--Lindelöf principle.

math.AP↗
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

Poincaré inequalities and Newtonian Sobolev functions on noncomplete metric spaces

Let $X$ be a noncomplete metric space satisfying the usual (local) assumptions of a doubling property and a Poincaré inequality. We study extensions of Newtonian Sobolev functions to the completion $\widehat{X}$ of $X$ and use them to obtain several results on $X$ itself, in particular concerning minimal weak upper gradients, Lebesgue points, quasicontinuity, regularity properties of the capacity and better Poincaré inequalities. We also provide a discussion about possible applications of the completions and extension results to $p$-harmonic functions on noncomplete spaces and show by examples that this is a rather delicate issue opening for various interpretations and new investigations.

math.AP↗
arXiv2020

Resolutivity and invariance for the Perron method for degenerate equations of divergence type

We consider Perron solutions to the Dirichlet problem for the quasilinear elliptic equation $\mathop{\rm div}\mathcal{A}(x,\nabla u) = 0$ in a bounded open set $Ω\subset\mathbf{R}^n$. The vector-valued function $\mathcal{A}$ satisfies the standard ellipticity assumptions with a parameter $1<p<\infty$ and a $p$-admissible weight $w$. We show that arbitrary perturbations on sets of $(p,w)$-capacity zero of continuous (and certain quasicontinuous) boundary data $f$ are resolutive and that the Perron solutions for $f$ and such perturbations coincide. As a consequence, we prove that the Perron solution with continuous boundary data is the unique bounded solution that takes the required boundary data outside a set of $(p,w)$-capacity zero.

math.AP↗
arXiv2020

Mixed boundary value problem for $p$-harmonic functions in an infinite cylinder

We study a mixed boundary value problem for the $p$-Laplace equation $Δ_p u=0$ in an open infinite circular half-cylinder with prescribed Dirichlet boundary data on a part of the boundary and zero Neumann boundary data on the rest. Existence of weak solutions to the mixed problem is proved both for Sobolev and for continuous data on the Dirichlet part of the boundary. We also obtain a boundary regularity result for the point at infinity in terms of a variational capacity adapted to the cylinder.

math.AP↗
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↗
arXiv2019

The quasisuperminimizing constant for the minimum of two quasisuperminimizers in R^n

It was shown in Björn--Björn--Korte ("Minima of quasisuperminimizers", Nonlinear Anal. 155 (2017), 264-284) that $u:=\min\{u_1,u_2\}$ is a $\overline{Q}$-quasisuperminimizer if $u_1$ and $u_2$ are $Q$-quasisuperminimizers and $\overline{Q}=2Q^2/(Q+1)$. Moreover, one-dimensional examples therein show that $\overline{Q}$ is close to optimal. In this paper we give similar examples in higher dimensions. The case when $u_1$ and $u_2$ have different quasisuperminimizing constants is considered as well.

math.AP↗
arXiv2018

The Liouville theorem for $p$-harmonic functions and quasiminimizers with finite energy

We show that, under certain geometric conditions, there are no nonconstant quasiminimizers with finite $p$th power energy in a (not necessarily complete) metric measure space equipped with a globally doubling measure supporting a global $p$-Poincaré inequality. The geometric conditions are that either (a) the measure has a sufficiently strong volume growth at infinity, or (b) the metric space is annularly quasiconvex (or its discrete version, annularly chainable) around some point in the space. Moreover, on the weighted real line $\mathbf{R}$, we characterize all locally doubling measures, supporting a local $p$-Poincaré inequality, for which there exist nonconstant quasiminimizers of finite $p$-energy, and show that a quasiminimizer is of finite $p$-energy if and only if it is bounded. As $p$-harmonic functions are quasiminimizers they are covered by these results.

math.MG↗
arXiv2018

Local and semilocal Poincaré inequalities on metric spaces

We consider several local versions of the doubling condition and Poincaré inequalities on metric spaces. Our first result is that in proper connected spaces, the weakest local assumptions self-improve to semilocal ones, i.e. holding within every ball. We then study various geometrical and analytical consequences of such local assumptions, such as local quasiconvexity, self-improvement of Poincaré inequalities, existence of Lebesgue points, density of Lipschitz functions and quasicontinuity of Sobolev functions. It turns out that local versions of these properties hold under local assumptions, even though they are not always straightforward. We also conclude that many qualitative, as well as quantitative, properties of p-harmonic functions on metric spaces can be proved in various forms under such local assumptions, with the main exception being the Liouville theorem, which fails without global assumptions.

math.AP↗
arXiv2018

A uniqueness result for functions with zero fine gradient on quasiconnected and finely connected sets

We show that every Sobolev function in $W^{1,p}_{\textrm{loc}}(U)$ on a $p$-quasiopen set $U \subset {\bf R}^n$ with a.e.-vanishing $p$-fine gradient is a.e.-constant if and only if $U$ is $p$-quasiconnected. To prove this we use the theory of Newtonian Sobolev spaces on metric measure spaces, and obtain the corresponding equivalence also for complete metric spaces equipped with a doubling measure supporting a $p$-Poincaré inequality. On unweighted ${\bf R}^n$, we also obtain the corresponding result for $p$-finely open sets in terms of $p$-fine connectedness, using a deep result by Latvala.

math.AP↗
arXiv2018

Boundary regularity for the porous medium equation

We study the boundary regularity of solutions to the porous medium equation $u_t = Δu^m$ in the degenerate range $m>1$. In particular, we show that in cylinders the Dirichlet problem with positive continuous boundary data on the parabolic boundary has a solution which attains the boundary values, provided that the spatial domain satisfies the elliptic Wiener criterion. This condition is known to be optimal, and it is a consequence of our main theorem which establishes a barrier characterization of regular boundary points for general -- not necessarily cylindrical -- domains in ${\bf R}^{n+1}$. One of our fundamental tools is a new strict comparison principle between sub- and superparabolic functions, which makes it essential for us to study both nonstrict and strict Perron solutions to be able to develop a fruitful boundary regularity theory. Several other comparison principles and pasting lemmas are also obtained. In the process we obtain a rather complete picture of the relation between sub/super\-para\-bolic functions and weak sub/super\-solu\-tions.

math.AP↗
arXiv2017

The tusk condition and Petrovski criterion for the normalized $p\mspace{1mu}$-parabolic equation

We study boundary regularity for the normalized $p\mspace{1mu}$-parabolic equation in arbitrary bounded domains. Effros and Kazdan (Indiana Univ. Math. J. 20 (1970), 683-693) showed that the so-called tusk condition guarantees regularity for the heat equation. We generalize this result to the normalized $p\mspace{1mu}$-parabolic equation, and also obtain Hölder continuity. The tusk condition is a parabolic version of the exterior cone condition. We also obtain a sharp Petrovski criterion for the regularity of the latest moment of a domain. This criterion implies that the regularity of a boundary point is affected if one side of the equation is multiplied by a constant.

math.AP↗
arXiv2017

Tensor products and sums of p-harmonic functions, quasiminimizers and p-admissible weights

The tensor product of two p-harmonic functions is in general not p-harmonic, but we show that it is a quasiminimizer. More generally, we show that the tensor product of two quasiminimizers is a quasiminimizer. Similar results are also obtained for quasisuperminimizers and for tensor sums. This is done in weighted R^n with p-admissible weights. It is also shown that the tensor product of two p-admissible measures is p-admissible. This last result is generalized to metric spaces.

math.AP↗
arXiv2016

Dichotomy of global capacity density in metric measure spaces

The variational capacity cap_p in Euclidean spaces is known to enjoy the density dichotomy at large scales, namely that for every subset E of R^n, inf_{x in R^n} (cap_p(E \cap B(x,r),B(x,2r)) / cap_p(B(x,r),B(x,2r))) is either zero or tends to 1 as r tends to infinity. We prove that this property still holds in unbounded complete geodesic metric spaces equipped with a doubling measure supporting a p-Poincaré inequality, but that it can fail in nongeodesic metric spaces and also for the Sobolev capacity in R^n. It turns out that the shape of balls impacts the validity of the density dichotomy. Even in more general metric spaces, we construct families of sets, such as John domains, for which the density dichotomy holds. Our arguments include an exact formula for the variational capacity of superlevel sets for capacitary potentials and a quantitative approximation from inside of the variational capacity.

math.AP↗
arXiv2016

The Dirichlet problem for p-harmonic functions with respect to arbitrary compactifications

We study the Dirichlet problem for p-harmonic functions on metric spaces with respect to arbitrary compactifications. A particular focus is on the Perron method, and as a new approach to the invariance problem we introduce Sobolev-Perron solutions. We obtain various resolutivity and invariance results, and also show that most functions that have earlier been proved to be resolutive are in fact Sobolev-resolutive. We also introduce (Sobolev)-Wiener solutions and harmonizability in this nonlinear context, and study their connections to (Sobolev)-Perron solutions, partly using Q-compactifications.

math.AP↗