Source author record

Jani Onninen

Jani Onninen appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

24works
5topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

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.

Published work

24 published item(s)

preprint2021arXiv

Sobolev homeomorphic extensions from two to three dimensions

We study the basic question of characterizing which boundary homeomorphisms of the unit sphere can be extended to a Sobolev homeomorphism of the interior in 3D space. While the planar variants of this problem are well-understood, completely new and direct ways of constructing an extension are required in 3D. We prove, among other things, that a Sobolev homeomorphism $φ\colon \mathbb R^2 \to \mathbb R^2$ in $W_{loc}^{1,p} (\mathbb R^2 , \mathbb R^2)$ for some $p\in [1,\infty )$ admits a homeomorphic extension $h \colon \mathbb R^3 \to \mathbb R^3$ in $W_{loc}^{1,q} (\mathbb R^3, \mathbb R^3) $ for $1\le q < \frac{3}{2}p$. Such an extension result is nearly sharp, as the bound $q=\frac{3}{2}p$ cannot be improved due to the Hölder embedding. The case $q=3$ gains an additional interest as it also provides an $L^1$-variant of the celebrated Beurling-Ahlfors extension result.

preprint2020arXiv

A Neohookean model of plates

This article is about hyperelastic deformations of plates (planar domains) which minimize a neohookean type energy. Particularly, we investigate a stored energy functional introduced by J.M. Ball in his seminal paper "Global invertibility of Sobolev functions and the interpenetration of matter". The mappings under consideration are Sobolev homeomorphisms and their weak limits. They are monotone in the sense of C. B. Morrey. One major advantage of adopting monotone Sobolev mappings lies in the existence of the energy-minimal deformations. However, injectivity is inevitably lost, so an obvious question to ask is: what are the largest subsets of the reference configuration on which minimal deformations remain injective? The fact that such subsets have full measure should be compared with the notion of global invertibility which deals with subsets of the deformed configuration instead. In this connection we present a Cantor type construction to show that both the branch set and its image may have positive area. Another novelty of our approach lies in allowing the elastic deformations be free along the boundary, known as frictionless problems.

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.

preprint2020arXiv

The Dirichlet Principle for Inner Variations

We are concerned with the Dirichlet energy of mappings defined on domains in the complex plane. The motivation behind our questions, however, comes from more general energy integrals of mathematical models of Hyperelasticity. The Dirichlet Principle, the name coined by Riemann, tells us that the outer variation of a harmonic mapping increases its energy. Surprisingly, when one jumps into details about inner variations, which are just a change of independent variables, new equations and related questions start to matter. The inner variational equation, called the Hopf Laplace equation, is no longer the Laplace equation. Its solutions are generally not harmonic; we refer to them as Hopf harmonics. The natural question that arises is how does a change of variables in the domain of a Hopf harmonic map affect its energy? We show, among other results, that in case of a simply connected domain the energy increases. This should be viewed as Riemann's Dirichlet Principle for Hopf harmonics. The Dirichlet Principle for Hopf harmonics in domains of higher connectivity is not completely solved. What complicates the matter is the insufficient knowledge of global structure of trajectories of the associated Hopf quadratic differentials, mainly because of the presence of recurrent trajectories. Nevertheless, we have established the Dirichlet Principle whenever the Hopf differential admits closed trajectories and crosscuts. Regardless of these assumptions, we established the so-called Infinitesimal Dirichlet Principle for all domains and all Hopf harmonics. Precisely, the second order term of inner variation of a Hopf harmonic map is always nonnegative.

preprint2020arXiv

The Sobolev Jordan-Schonflies Problem

We consider the planar unit disk $\mathbb D$ as the reference configuration and a Jordan domain $\mathbb Y$ as the deformed configuration, and study the problem of extending a given boundary homeomorphism $φ\colon \partial \mathbb D \to \partial \mathbb Y$ as a Sobolev homeomorphism of the complex plane. Investigating such a Sobolev variant of the classical Jordan-Schönflies theorem is motivated by the well-posedness of the related pure displacement variational questions in the theory of Nonlinear Elasticity (NE) and Geometric Function Theory (GFT). Clearly, the necessary condition for the boundary mapping $φ$ to admit a $W^{1,p}$-Sobolev homeomorphic extension is that it first admits a continuous $W^{1,p}$-Sobolev extension. For an arbitrary target domain $\mathbb Y$ this, however, is not sufficent.

preprint2019arXiv

Deformations of Bi-conformal Energy and a new Characterization of Quasiconformality

The concept of hyperelastic deformations of bi-conformal energy is developed as an extension of quasiconformality. These are homeomorphisms $h:X \to Y$ between domains $ X, Y \subset \mathbb R^n$ of the Sobolev class $W^{1,n}_{loc} (X, Y)$ whose inverse $f =h^{-1}:Y \to X$ also belongs to $W^{1,n}_{loc}(Y, X)$. Thus the paper opens new topics in Geometric Function Theory with connections to mathematical models of Nonlinear Elasticity. In seeking differences and similarities with quasiconformal mappings we examine closely the modulus of continuity of deformations of bi-conformal energy. This leads us to a new characterization of quasiconformality. Specifically, it is observed that quasiconformal mappings behave locally at every point like radial stretchings. Without going into detail, if a quasiconformal map $h$ admits a function $ϕ$ as its optimal modulus of continuity at a point $x_0$, then $f = h^{-1}$ admits the inverse function $ψ= ϕ^{-1}$ as its modulus of continuity at $y_0 = h(x_0)$. That is to say; a poor continuity of $h$ at a given point $x_0$ is always compensated by a better continuity of $f$ at $y_0$, and vice versa. Such a gain/loss property, seemingly overlooked by many authors, is actually characteristic of quasiconformal mappings. It turns out that the elastic deformations of bi-conformal energy are very different in this respect. Unexpectedly, such a map may have the same optimal modulus of continuity as its inverse deformation. In line with Hooke's Law, when trying to restore the original shape of the body (by the inverse transformation) the modulus of continuity may neither be improved nor become worse. However, examples to confirm this phenomenon are far from being obvious. We eventually hope that our examples will gain an interest in the materials science, particularly in mathematical models of hyperelasticity.

preprint2015arXiv

Monotone Sobolev Mappings of planar domains and surfaces

An approximation theorem of Youngs (1948) asserts that a continuous map between compact oriented topological 2-manifolds (surfaces) is monotone if and only if it is a uniform limit of homeomorphisms. Analogous approximation of Sobolev mappings is at the very heart of Geometric Function Theory (GFT) and Nonlinear Elasticity (NE). In both theories the mappings in question arise naturally as weak limits of energy-minimizing sequences of homeomorphisms. As a result of this, the energy-minimal mappings turn out to be monotone. In the present paper we show that, conversely, monotone mappings in the Sobolev space $W^{1,p}, 1<p < \infty$, are none other than $W^{1,p}$-weak (also strong) limits of homeomorphisms. In fact, these are limits of diffeomorphisms. By way of illustration, we establish the existence of energy-minimal deformations within the class of Sobolev monotone mappings for $\,p\,$-harmonic type energy integrals.

preprint2013arXiv

Approximation up to the boundary of homeomorphisms of finite Dirichlet energy

Let X and Y be planar Jordan domains of the same finite connectivity, Y being inner chordarc regular (such are Lipschitz domains). Every homeomorphism h:X->Y in the Sobolev space $W^{1,2}$ extends to a continuous map between closed domains. We prove that there exist homeomorphisms between closed domains which converge to h uniformly and in $W^{1,2}$. The problem of approximation of Sobolev homeomorphisms, raised by J. M. Ball and L. C. Evans, is deeply rooted in a study of energy-minimal deformations in nonlinear elasticity. The new feature of our main result is that approximation takes place also on the boundary, where the original map need not be a homeomorphism.

preprint2012arXiv

Mappings of least Dirichlet energy and their Hopf differentials

The paper is concerned with mappings between planar domains having least Dirichlet energy. The existence and uniqueness (up to a conformal change of variables in the domain) of the energy-minimal mappings is established within the class $\bar{\mathscr H}_2(X, Y)$ of strong limits of homeomorphisms in the Sobolev space $W^{1,2}(X, Y)$, a result of considerable interest in the mathematical models of Nonlinear Elasticity. The inner variation leads to the Hopf differential $h_z \bar{h_{\bar{z}}} dz \otimes dz$ and its trajectories. For a pair of doubly connected domains, in which $X$ has finite conformal modulus, we establish the following principle: A mapping $h \in \bar{\mathscr H}_2(X, Y)$ is energy-minimal if and only if its Hopf-differential is analytic in $X$ and real along the boundary of $X$. In general, the energy-minimal mappings may not be injective, in which case one observes the occurrence of cracks in $X$. Nevertheless, cracks are triggered only by the points in the boundary of $Y$ where $Y$ fails to be convex. The general law of formation of cracks reads as follows: Cracks propagate along vertical trajectories of the Hopf differential from the boundary of $X$ toward the interior of $X$ where they eventually terminate before making a crosscut.

preprint2012arXiv

The Hopf-Laplace equation: harmonicity and regularity

The central theme in this paper is the Hopf-Laplace equation, which represents stationary solutions with respect to the inner variation of the Dirichlet integral. Among such solutions are harmonic maps. Nevertheless, minimization of the Dirichlet energy among homeomorphisms often leads to mappings which are neither harmonic nor homeomorphisms. We prove that such mappings are harmonic outside of a singular set with small image. On the singular set they are locally Lipschitz, but not necessarily differentiable.

preprint2012arXiv

The weak and strong closures of Sobolev homeomorphisms are the same

Let X and Y be bounded multiply connected Lipschitz domains in \R^2. We consider the class H_p (X, Y) of homeomorphisms h : X -> Y in the Sobolev space W^{1,p} (X, \R^2). We prove that the weak and strong closures of H_p (X, Y), 2 \le p< \infty, are equal. The importance of this result to the existence theory in the calculus of variations and anticipated applications to nonlinear elasticity are captured by Theorem 1.5.

preprint2011arXiv

n-Harmonic mappings between annuli

The central theme of this paper is the variational analysis of homeomorphisms $h\colon \mathbb X \onto \mathbb Y$ between two given domains $\mathbb X, \mathbb Y \subset \mathbb R^n$. We look for the extremal mappings in the Sobolev space $\mathscr W^{1,n}(\mathbb X,\mathbb Y)$ which minimize the energy integral \[ \mathscr E_h=\int_{\mathbb X} ||Dh(x)||^n dx. \] Because of the natural connections with quasiconformal mappings this $n$-harmonic alternative to the classical Dirichlet integral (for planar domains) has drawn the attention of researchers in Geometric Function Theory. Explicit analysis is made here for a pair of concentric spherical annuli where many unexpected phenomena about minimal $n$-harmonic mappings are observed. The underlying integration of nonlinear differential forms, called free Lagrangians, becomes truly a work of art.

preprint2010arXiv

Doubly connected minimal surfaces and extremal harmonic mappings

The concept of a conformal deformation has two natural extensions: quasiconformal and harmonic mappings. Both classes do not preserve the conformal type of the domain, however they cannot change it in an arbitrary way. Doubly connected domains are where one first observes nontrivial conformal invariants. Herbert Groetzsch and Johannes C. C. Nitsche addressed this issue for quasiconformal and harmonic mappings, respectively. Combining these concepts we obtain sharp estimates for quasiconformal harmonic mappings between doubly connected domains. We then apply our results to the Cauchy problem for minimal surfaces, also known as the Bjorling problem. Specifically, we obtain a sharp estimate of the modulus of a doubly connected minimal surface that evolves from its inner boundary with a given initial slope.

preprint2010arXiv

Existence of energy-minimal diffeomorphisms between doubly connected domains

The paper establishes the existence of homeomorphisms between two planar domains that minimize the Dirichlet energy. Specifically, among all homeomorphisms f : R -> R* between bounded doubly connected domains such that Mod (R) < Mod (R*) there exists, unique up to conformal authomorphisms of R, an energy-minimal diffeomorphism. No boundary conditions are imposed on f. Although any energy-minimal diffeomorphism is harmonic, our results underline the major difference between the existence of harmonic diffeomorphisms and the existence of the energy-minimal diffeomorphisms. The existence of globally invertible energy-minimal mappings is of primary pursuit in the mathematical models of nonlinear elasticity and is also of interest in computer graphics.

preprint2009arXiv

Harmonic mappings of an annulus, Nitsche conjecture and its generalizations

As long ago as 1962 Nitsche conjectured that a harmonic homeomorphism $h \colon A(r,R) \to A(r_*, R_*)$ between planar annuli exists if and only if $\frac{R_*}{r_*} \ge {1/2} (\frac{R}{r} + \frac{r}{R})$. We prove this conjecture when the domain annulus is not too wide; explicitly, when $\log \frac{R}{r} \le {3/2}$. For general $A(r,R)$ the conjecture is proved under additional assumption that either $h$ or its normal derivative have vanishing average on the inner boundary circle. This is the case for the critical Nitsche mapping which yields equality in the above inequality. The Nitsche mapping represents so-called free evolution of circles of the annulus $A(r,R)$. It will be shown on the other hand that forced harmonic evolution results in greater ratio $\frac{R_*}{r_*}$. To this end, we introduce the underlying differential operators for the circular means of the forced evolution and use them to obtain sharp lower bounds of $\frac{R_*}{r_*}$.

preprint2009arXiv

The Nitsche conjecture

The conjecture in question concerns the existence of a harmonic homeomorphism between circular annuli A(r,R) and A(r*,R*), and is motivated in part by the existence problem for doubly-connected minimal surfaces with prescribed boundary. In 1962 J.C.C. Nitsche observed that the image annulus cannot be too thin, but it can be arbitrarily thick (even a punctured disk). Then he conjectured that for such a mapping to exist we must have the following inequality, now known as the Nitsche bound: R*/r* is greater than or equal to (R/r+r/R)/2. In this paper we give an affirmative answer to his conjecture. As a corollary, we find that among all minimal graphs over given annulus the upper slab of catenoid has the greatest conformal modulus.