SearcharxivSearch

arXiv subjects

Aapo Kauranen

Publications and source records attributed to Aapo Kauranen.

13 recordsLinked to original sources

Minimal Extension for the $α$-Manhattan norm

Let $\partial \mathcal{Q}$ be the boundary of a convex polygon in $\mathbb{R}^2$, $e_α= (\cosα, \sin α)$ and $e_α^{\bot} = (-\sinα, \cos α)$ be a basis of $\mathbb{R}^2$ for some $α\in[0,2π)$ and $ϕ:\partial\mathcal{Q} \to\mathbb{R}^2$ be a continuous, finitely piecewise linear injective map. We construct a finitely piecewise affine homeomorphism $v: \mathcal{Q} \to \mathbb{R}^2$ coinciding with $ϕ$ on $\partial \mathcal{Q}$ such that the following property holds: $|\langle Dv, e_α\rangle|(\mathcal{Q})$ (resp. $\langle Dv, e_α^{\bot}\rangle|(\mathcal{Q})$) is as close as we want to $\inf |\langle Du, e_α\rangle|(\mathcal{Q})$ (resp. $\inf |\langle Du, e_α^{\bot}\rangle|(\mathcal{Q})$) where the infimum is meant over the class of all $BV$ homeomorphisms $u$ extending $ϕ$ inside $\mathcal{Q}$. This result extends that already proven in [14] in the shape of the domain.

math.AP

Classification of area-strict limits of planar BV homeomorphisms

We present a classification of area-strict limits of planar $BV$ homeomorphisms. This class of mappings allows for cavitations and fractures but fulfil a suitable generalization of the INV condition. As pointed out by J. Ball [4], these features are expected in limit configurations of elastic deformations. In [12], De Philippis and Pratelli introduced the \emph{no-crossing} condition which characterizes the $W^{1,p}$ closure of planar homeomorphisms. In the current paper we show that a suitable version of this concept is equivalent with a map, $f$, being the area-strict limit of BV homeomorphisms. This extends our results from [10], where we proved that the \emph{no-crossing BV} condition for a BV map was equivalent with the map being the m-strict limit of homeomorphisms (i.e. $f_k$ converges $w^*$ to $f$ and $|D_1f_k|(Ω)+|D_2f_k|(Ω) \to |D_1f|(Ω)+|D_2f|(Ω)$). Further we show that the \emph{no-crossing BV} condition is equivalent with a seemingly stronger version of the same condition.

math.AP

Classification of strict limits of planar BV homeomorphisms

We present a classification of strict limits of planar BV homeomorphisms. The authors and S. Hencl showed in a previous work \cite{CHKR} that such mappings allow for cavitations and fractures singularities but fulfill a suitable generalization of the INV condition. As pointed out by J. Ball \cite{B}, these features are physically expected by limit configurations of elastic deformations. In the present work we develop a suitable generalization of the \emph{no-crossing} condition introduced by De Philippis and Pratelli in \cite{PP} to describe weak limits of planar Sobolev homeomorphisms that we call \emph{BV no-crossing} condition, and we show that a planar mapping satisfies this property if and only if it can be approximated strictly by homeomorphisms of bounded variations.

math.AP

On BLD-mappings with small distortion

We show that every $L$-BLD-mapping in a domain of $\mathbb{R}^n$ is a local homeomorphism if $L < \sqrt{2}$ or $K_I(f) < 2$. These bounds are sharp as shown by a winding map.

math.MG

On distributional adjugate and derivative of the inverse

Let $Ω\subset\er^3$ be a domain and let $f\colonΩ\to\er^3$ be a bi-$BV$ homeomorphism. Very recently in \cite{HKL} it was shown that the distributional adjugate of $Df$ (and thus also of $Df^{-1}$) is a matrix-valued measure. In the present paper we show that the components of $\Adj Df$ are equal to components of $Df^{-1}(f(U))$ as measures and that the absolutely continuous part of the distributional adjugate $\Adj Df$ equals to the pointwise adjugate $\adj Df(x)$ a.e. We also show the equivalence of several approaches to the definition of the distributional adjugate.

math.FA

Minimizers for the thin one-phase free boundary problem

We consider the "thin one-phase" free boundary problem, associated to minimizing a weighted Dirichlet energy of the function in $\mathbb R^{n+1}_+$ plus the area of the positivity set of that function in $\mathbb R^n$. We establish full regularity of the free boundary for dimensions $n \leq 2$, prove almost everywhere regularity of the free boundary in arbitrary dimension and provide content and structure estimates on the singular set of the free boundary when it exists. All of these results hold for the full range of the relevant weight. While our results are typical for the calculus of variations, our approach does not follow the standard one first introduced in \cite{AltCaffarelli}. Instead, the nonlocal nature of the distributional measure associated to a minimizer necessitates arguments which are less reliant on the underlying PDE.

math.AP

Weak regularity of the inverse under minimal assumptions

Let $Ω\subset\mathbb{R}^3$ be a domain and let $f\in BV_{\operatorname{loc}}(Ω,\mathbb{R}^3)$ be a homeomorphism such that its distributional adjugate is a finite Radon measure. We show that its inverse has bounded variation $f^{-1}\in BV_{\operatorname{loc}}$. The condition that the distributional adjugate is finite measure is not only sufficient but also necessary for the weak regularity of the inverse.

math.CA

On proper branched coverings and a question of Vuorinen

We study global injectivity of proper branched coverings defined on the Euclidean $n$-ball in the case when the branch set is compact. In particular we show that such mappings are homeomorphisms when $n=3$ or when the branch set is empty. This proves the corresponding cases of a question of Vuorinen from [Vuo79].

math.CV

Mappings of finite distortion: compactness of the branch set

We show that an entire branched cover of finite distortion cannot have a compact branch set if its distortion satisfies a certain asymptotic growth condition. We furthermore show that this bound is strict by constructing an entire, continuous, open and discrete mapping of finite distortion which is piecewise smooth, has a branch set homeomorphic to $(n-2)$-dimensional torus and distortion arbitrarily close to the asymptotic bound.

math.CV

Korn's inequality and John domains

It is quite well known that Korn's inequality is true on all John domains. We are interested in the converse implication under assumption of so called separation condition of the domain. Our result implies that in a simply connected planar domain the Korn's inequality holds if and only if the domain is John. In particular, we obtain the equivalence of Korn's inequality, Babu\v ska-Aziz inequality and Friedrich's inequality in simply connected planar domains.

math.CA

Korn inequality on irregular domains

In this paper, we study the weighted Korn inequality on some irregular domains, e.g., $s$-John domains and domains satisfying quasi-hyperbolic boundary conditions. Examples regarding sharpness of the Korn inequality on these domains are presented. Moreover, we show that Korn inequalities imply certain Poincaré inequality.

math.CA

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.

math.CA

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.

math.CA