Source author record

Pekka Koskela

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.FA math.CA math.AP math.CV math.MG math.PR math.DG

Catalog footprint

Research overview

21works

7topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2022arXiv

On Limits at Infinity of Weighted Sobolev Functions

We study necessary and sufficient conditions for a Muckenhoupt weight $w \in L^1_{\mathrm{loc}}(\mathbb R^d)$ that yield almost sure existence of radial, and vertical, limits at infinity for Sobolev functions $u \in W^{1,p}_{\mathrm{loc}}(\mathbb R^d,w)$ with a $p$ -integrable gradient $|\nabla u|\in L^p(\mathbb R^d,w)$ . The question is shown to subtly depend on the sense in which the limit is taken. First, we fully characterize the existence of radial limits. Second, we give essentially sharp sufficient conditions for the existence of vertical limits. In the specific setting of product and radial weights, we give if and only if statements. These generalize and give new proofs for results of Fefferman and Uspenski\uı.

preprint2020arXiv

Ahlfors reflection theorem for $p$ -morphisms

We prove an Ahlfors refection theorem for $p$ -reflections over Jordan curves bounding subhyperbolic domains in $\hat {\mathbb C}$ .

preprint2020arXiv

Sobolev extension via reflections

We show that the extension results by Mazya and Poborchi for polynomial planar cusps can be realized via composition operators generated by reflections.

preprint2020arXiv

Sobolev homeomorphic extensions onto John domains

Given the planar unit disk as the source and a Jordan domain as the target, we study the problem of extending a given boundary homeomorphism as a Sobolev homeomorphism. For general targets, this Sobolev variant of the classical Jordan-Schoenflies theorem may admit no solution - it is possible to have a boundary homeomorphism which admits a continuous $W^{1,2}$ -extension but not even a homeomorphic $W^{1,1}$ -extension. We prove that if the target is assumed to be a John disk, then any boundary homeomorphism from the unit circle admits a Sobolev homeomorphic extension for all exponents $p<2$ . John disks, being one sided quasidisks, are of fundamental importance in Geometric Function Theory.

preprint2019arXiv

Pointwise inequalities for Sobolev functions on outward cuspidal domains

We show that the first order Sobolev spaces on cuspidal symmetric domains can be characterized via pointwise inequalities. In particular, they coincide with the Hajlasz-Sobolev spaces.

preprint2016arXiv

A density problem for Sobolev spaces on Gromov hyperbolic domains

We prove that for a bounded domain $Ω\subset \mathbb R^n$ which is Gromov hyperbolic with respect to the quasihyperbolic metric, especially when $Ω$ is a finitely connected planar domain, the Sobolev space $W^{1,\,\infty}(Ω)$ is dense in $W^{1,\,p}(Ω)$ for any $1\le p<\infty$ . Moreover if $Ω$ is also Jordan or quasiconvex, then $C^{\infty}(\mathbb R^n)$ is dense in $W^{1,\,p}(Ω)$ for $1\le p<\infty$ .

preprint2016arXiv

A quasiconformal composition problem for the Q-spaces

Given a quasiconformal mapping $f:\mathbb R^n\to\mathbb R^n$ with $n\ge2$ , we show that (un-)boundedness of the composition operator ${\bf C}_f$ on the spaces $Q_α(\mathbb R^n)$ depends on the index $α$ and the degeneracy set of the Jacobian $J_f$ . We establish sharp results in terms of the index $α$ and the local/global self-similar Minkowski dimension of the degeneracy set of $J_f$ . This gives a solution to [Problem 8.4, 3] and also reveals a completely new phenomenon, which is totally different from the known results for Sobolev, BMO, Triebel-Lizorkin and Besov spaces. Consequently, Tukia-Väisälä's quasiconformal extension $f:\mathbb R^n\to\mathbb R^n$ of an arbitrary quasisymmetric mapping $g:\mathbb R^{n-p}\to \mathbb R^{n-p}$ is shown to preserve $Q_α (\mathbb R^n)$ for any $(α,p)\in (0,1)\times[2,n)\cup(0,1/2)\times\{1\}$ . Moreover, $Q_α(\mathbb R^n)$ is shown to be invariant under inversions for all $0<α<1$ .

preprint2015arXiv

A density problem for Sobolev spaces on planar domains

We prove that for a bounded simply connected domain $Ω\subset \mathbb R^2$ , the Sobolev space $W^{1,\,\infty}(Ω)$ is dense in $W^{1,\,p}(Ω)$ for any $1\le p<\infty$ . Moreover, we show that if $Ω$ is Jordan, then $C^{\infty}(\mathbb R^2)$ is dense in $W^{1,\,p}(Ω)$ for $1\le p<\infty$ .

preprint2015arXiv

Approximation and quasicontinuity of Besov and Triebel-Lizorkin functions

We show that, for $0<s<1$ , $0<p<\infty$ , $0<q<\infty$ , Hajłasz-Besov and Hajłasz-Triebel-Lizorkin functions can be approximated in the norm by discrete median convolutions. This allows us to show that, for these functions, the limit of medians, $\lim_{r\to 0}m_u^γ(B(x,r))=u^*(x),$ exists quasieverywhere and defines a quasicontinuous representative of $u$ . The above limit exists quasieverywhere also for Hajłasz functions $u\in M^{s,p}$ , $0<s\le 1$ , $0<p<\infty$ , but approximation of $u$ in $M^{s,p}$ by discrete (median) convolutions is not in general possible.

preprint2015arXiv

Bounded compositions on scaling invariant Besov spaces

For $0 < s < 1 < q < \infty$ , we characterize the homeomorphisms $φ: \real^n \to \real^n$ for which the composition operator $f \mapsto f \circ φ$ is bounded on the homogeneous, scaling invariant Besov space $\dot{B}^s_{n/s,q}(\real^n)$ , where the emphasis is on the case $q\not=n/s$ , left open in the previous literature. We also establish an analogous result for Besov-type function spaces on a wide class of metric measure spaces as well, and make some new remarks considering the scaling invariant Triebel-Lizorkin spaces $\dot{F}^s_{n/s,q}(\real^n)$ with $0 < s < 1$ and $0 < q \leq \infty$ .

preprint2014arXiv

Intrinsic Hardy-Orlicz spaces of conformal mappings

We define a new type of Hardy-Orlicz spaces of conformal mappings on the unit disk where in place of the value |f(x)| we consider the intrinsic path distance between f(x) and f(0) in the image domain. We show that if the Orlicz function is doubling then these two spaces are actually the same, and we give an example when the intrinsic Hardy-Orlicz space is strictly smaller.

preprint2013arXiv

Boundary blow up under Sobolev mappings

We prove that for mappings $W^{1,n}(B^n, \R^n),$ continuous up to the boundary, with modulus of continuity satisfying certain divergence condition, the image of the boundary of the unit ball has zero $n$ -Hausdorff measure. For Hölder continuous mappings we also prove an essentially sharp generalized Hausdorff dimension estimate.

preprint2013arXiv

Intrinsic Geometry and Analysis of Diffusion Processes and $L^\infty$ -Variational Problems

The aim of this paper is two-fold: First, we obtain a better understanding of the intrinsic distance of diffusion processes. Precisely, (i) for all $n\ge1$ , the diffusion matrix $A$ is weak upper semicontinuous on $Ω$ if and only if the intrinsic differential and the local intrinsic distance structures coincide; (ii) if $n=1$ , or if $n\ge2$ and $A$ is weak upper semicontinuous on $Ω$ , the intrinsic distance and differential structures always coincide; (iii) if $n\ge2$ and $A$ fails to be weak upper semicontinuous on $Ω$ , the (non-) coincidence of the intrinsic distance and differential structures depend on the geometry of the non-weak-upper-semicontinuity set of $A$ . Second, for an arbitrary diffusion matrix $A$ , we show that the intrinsic distance completely determines the absolute minimizer of the corresponding $L^\infty$ -variational problem, and then obtain the existence and uniqueness for given boundary data. We also give an example of a diffusion matrix $A$ for which there is an absolute minimizer that is not of class $C^1$ . When $A$ is continuous, we also obtain the linear approximation property of the absolute minimizer.

preprint2013arXiv

Luzin's Condition (N) and Modulus of Continuity

In this paper, we establish Luzin's condition (N) for mappings in certain Sobolev-Orlicz spaces with certain moduli of continuity. Further, given a mapping in these Sobolev-Orlicz spaces, we give bounds on the size of the exceptional set where Luzin's condition (N) may fail. If a mapping violates Luzin's condition (N), we show that there is a Cantor set of measure zero that is mapped to a set of positive measure.

preprint2013arXiv

Nonexistence of quasiconformal maps between certain metric measure spaces

We provide new conditions that ensure that two metric measure spaces are not quasiconformally equivalent. As an application we deduce that there exists no quasiconformal map between the sub-Riemannian Heisenberg and roto-translation groups.

preprint2013arXiv

Solvability of the divergence equation implies John via Poincaré inequality

Let $Ω\subset \rr^2$ be a bounded simply connected domain. We show that, for a fixed (every) $p\in (1,\fz),$ the divergence equation $\mathrm{div}\,\mathbf{v}=f$ is solvable in $W^{1,p}_0(Ω)^2$ for every $f\in L^p_0(Ω)$ , if and only if $Ω$ is a John domain, if and only if the weighted Poincaré inequality $$\int_Ω|u(x)-u_Ω|^q\,dx\le C\int_Ω|\nabla u(x)|^q\dist(x,\partial Ω)^q\,dx$$ holds for some (every) $q\in [1,\fz)$. In higher dimensions similar results are proved under some additional assumptions on the domain in question.

preprint2012arXiv

Geometry and Analysis of Dirichlet forms

Let $\mathscr E$ be a regular, strongly local Dirichlet form on $L^2(X, m)$ and $d$ the associated intrinsic distance. Assume that the topology induced by $d$ coincides with the original topology on $X$ , and that $X$ is compact, satisfies a doubling property and supports a weak $(1, 2)$ -Poincaré inequality. We first discuss the (non-)coincidence of the intrinsic length structure and the gradient structure. Under the further assumption that the Ricci curvature of $X$ is bounded from below in the sense of Lott-Sturm-Villani, the following are shown to be equivalent: (i) the heat flow of $\mathscr E$ gives the unique gradient flow of $\mathscr U_\infty$ , (ii) $\mathscr E$ satisfies the Newtonian property, (iii) the intrinsic length structure coincides with the gradient structure. Moreover, for the standard (resistance) Dirichlet form on the Sierpinski gasket equipped with the Kusuoka measure, we identify the intrinsic length structure with the measurable Riemannian and the gradient structures. We also apply the above results to the (coarse) Ricci curvatures and asymptotics of the gradient of the heat kernel.

preprint2012arXiv

Gromov hyperbolicity and quasihyperbolic geodesics

We characterize Gromov hyperbolicity of the quasihyperbolic metric space (Ω,k) by geometric properties of the Ahlfors regular length metric measure space (Ω,d,μ). The characterizing properties are called the Gehring--Hayman condition and the ball--separation condition.

preprint2011arXiv

Characterizations of Besov and Triebel-Lizorkin Spaces on Metric Measure Spaces

On a metric measure space satisfying the doubling property, we establish several optimal characterizations of Besov and Triebel-Lizorkin spaces, including a pointwise characterization. Moreover, we discuss their (non)triviality under a Poincaré inequality.

preprint2011arXiv

Quasi-nearly subharmonic functions and quasiconformal mappings

We prove that the composition of a quasi-nearly subharmonic function and a quasiregular mappings of bounded multiplicity is quasi-nearly subharmonic. Also, we prove that if $u\circ f$ is quasi-nearly subharmonic for all quasi-nearly subharmonic $u$ and $f$ satisfies some additional conditions, then $f$ is quasiconformal. Similar results are further established for the class of regularly oscillating functions.

preprint2010arXiv

Pointwise Characterizations of Besov and Triebel-Lizorkin Spaces and Quasiconformal Mappings

In this paper, the authors characterize, in terms of pointwise inequalities, the classical Besov spaces $\dot B^s_{p,\,q}$ and Triebel-Lizorkin spaces $\dot F^s_{p,\,q}$ for all $s\in(0,\,1)$ and $p,\,q\in(n/(n+s),\,\infty],$ both in ${\mathbb R}^n$ and in the metric measure spaces enjoying the doubling and reverse doubling properties. Applying this characterization, the authors prove that quasiconformal mappings preserve $\dot F^s_{n/s,\,q}$ on $\rn$ for all $s\in(0,\,1)$ and $q\in(n/(n+s),\,\infty]$ . A metric measure space version of the above morphism property is also established.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Pekka Koskela

Research overview

Is this your work?

21 publications

On Limits at Infinity of Weighted Sobolev Functions

Ahlfors reflection theorem for $p$ -morphisms

Sobolev extension via reflections

Sobolev homeomorphic extensions onto John domains

Pointwise inequalities for Sobolev functions on outward cuspidal domains

A density problem for Sobolev spaces on Gromov hyperbolic domains

A quasiconformal composition problem for the Q-spaces

A density problem for Sobolev spaces on planar domains

Approximation and quasicontinuity of Besov and Triebel-Lizorkin functions

Bounded compositions on scaling invariant Besov spaces

Intrinsic Hardy-Orlicz spaces of conformal mappings

Boundary blow up under Sobolev mappings

Intrinsic Geometry and Analysis of Diffusion Processes and $L^\infty$ -Variational Problems

Luzin's Condition (N) and Modulus of Continuity

Nonexistence of quasiconformal maps between certain metric measure spaces

Solvability of the divergence equation implies John via Poincaré inequality

Geometry and Analysis of Dirichlet forms

Gromov hyperbolicity and quasihyperbolic geodesics

Characterizations of Besov and Triebel-Lizorkin Spaces on Metric Measure Spaces

Quasi-nearly subharmonic functions and quasiconformal mappings

Pointwise Characterizations of Besov and Triebel-Lizorkin Spaces and Quasiconformal Mappings

See the researcher in context

Building this map preview

Pekka Koskela

Research overview

Is this your work?

21 publications

On Limits at Infinity of Weighted Sobolev Functions

Ahlfors reflection theorem for ppp-morphisms

Sobolev extension via reflections

Sobolev homeomorphic extensions onto John domains

Pointwise inequalities for Sobolev functions on outward cuspidal domains

A density problem for Sobolev spaces on Gromov hyperbolic domains

A quasiconformal composition problem for the Q-spaces

A density problem for Sobolev spaces on planar domains

Approximation and quasicontinuity of Besov and Triebel-Lizorkin functions

Bounded compositions on scaling invariant Besov spaces

Intrinsic Hardy-Orlicz spaces of conformal mappings

Boundary blow up under Sobolev mappings

Intrinsic Geometry and Analysis of Diffusion Processes and L∞L^\inftyL∞-Variational Problems

Luzin's Condition (N) and Modulus of Continuity

Nonexistence of quasiconformal maps between certain metric measure spaces

Solvability of the divergence equation implies John via Poincaré inequality

Geometry and Analysis of Dirichlet forms

Gromov hyperbolicity and quasihyperbolic geodesics

Characterizations of Besov and Triebel-Lizorkin Spaces on Metric Measure Spaces

Quasi-nearly subharmonic functions and quasiconformal mappings

Pointwise Characterizations of Besov and Triebel-Lizorkin Spaces and Quasiconformal Mappings

See the researcher in context

Building this map preview

Ahlfors reflection theorem for $p$ -morphisms

Intrinsic Geometry and Analysis of Diffusion Processes and $L^\infty$ -Variational Problems