Arxiv:2104.07873V1 [Math.CV] 16 Apr 2021 Theorem A

Improved regularity of harmonic diffeomorphic extensions on quasihyperbolic domains Zhuang Wang, Haiqing Xu∗ Abstract Let X be a Jordan domain satisfying hyperbolic growth conditions. Assume that ' is a homeomorphism from the boundary @X of X onto the unit circle. Denote by h the harmonic diffeomorphic extension of ' from X onto the unit disk. We establish the optimal Orlicz-Sobolev regularity and weighted Sobolev estimate of h: These generalize the Sobolev regularity of h by Koski-Onninen [21, Theorem 3.1]. 1 Introduction A planar Jordan curve Γ is a simple closed curve, i.e. a non-self-intersection continuous curve, in the plane R2. The famous Jordan Curve Theorem asserts that each planar Jordan curve Γ divides the plane into two regions (an \interior" and an \exterior"), with Γ being the common boundary. Moreover every continuous path, connecting a point in one region to a point in the other, intersects with Γ somewhere. Every region with a Jordan curve as its boundary is called a Jordan domain. Due to its importance in low-dimensional topology and complex analysis, the Jordan Curve Theorem received great attention from prominent mathematicians of the first half of the 20th century. Various proofs of the theorem and its generalizations were obtained by J. W. Alexander, L. Antoine, L. Brouwer, and A. Pringsheim et al. One generalization from A. Schoenflies is as follows: arXiv:2104.07873v1 [math.CV] 16 Apr 2021 Theorem A. Fix two Jordan domains X ⊂ R2 and Y ⊂ R2: Every homeomorphism ' from the boundary @X of X onto @Y has a homeomorphic extension Φ: R2 ! R2: We shall refer to Theorem A as the Jordan-Schoenflies theorem. In geometric topology, people concern diffeomorphic approximation of Φ, see [25]. On the other hand, it is more important for analysts to explore the regularity of Φ: By [31, Example 4.3], there is a self-homeomorphism ' on the unit circle S: From its construction, we find that ' fails to 2010 Mathematics Subject classfication: 58E20, 46E35, 30C62 Key words and phases: Poisson extension, Orlicz-Sobolev homeomorphisms, weighted Sobolev homeomorphisms, quasihyperbolic domains ∗ Corresponding author 1 be differentiable on a subset of S. Therefore ' does not have a diffeomorphic extension. Meanwhile note that ' has weak derivative on the whole S: One can expect that its extension Φ is weakly differentiable on the entire R2: Hence it is reasonable to discuss the Sobolev W 1;p regularity of Φ: Fix Jordan domains X ⊂ R2 and Y ⊂ R2: Let 1;p 1;p H (X; Y) = h : h : X ! Y is a homeomorphism in W (X; Y) : J. M. Ball [2,3] introduced H1;p(X; Y) to study mathematical problems of nonlinear elasticity. Denote by f a deformation of a body in Rn: (1) During a deformation in nonlinear elasticity, the material cannot break and no cavities are created. This corresponds to that f is continuous. (2) No interpenetration of material and invertibility of deformation process require that f is injective and invertible, respectively. (3) Not all deformation f is a diffeomorphism. Therefore when we study energy of a deformation homeomorphism f, the Sobolev regularity of f is a natural choice. After Ball's work, people begin to use calculus of variations to study mathematical problems of nonlinear elasticity. We summarize these problems as follows: find the minimization of an energy functional for a class of Sobolev deformation homeomorphisms, i.e. Z (1.1) inf E(x; h(x); Dh(x)) dx: h2H1;p( ; ) X Y X From the physical background, physicists often directly assume that H1;p(X; Y) in (1.1) is not empty. For mathematicians, it is interesting to offer a rigorous mathematical proof. By a boundary homeomorphism we can describe a deformation from X onto Y: Therefore to check that H1;p(X; Y) 6= ;, it suffices to show that for a homeomorphism ' : @X ! @Y as in the Jordan-Schoenflies theorem, there is a Sobolev homeomorphic extension. We call such a problem the Sobolev-Jordan-Schoenflies problem. Function theory of H1;p(X; Y) is also interesting. The Ball-Evans problem asks for the diffeomorphic approximation of H1;p(X; Y) mappings. Its solution will simplify the function classes in the minimization problem (1.1). See [6, 12, 13] for answers to the Ball-Evans problem. Results on the Sobolev-Jordan-Schoenflies problem belong to the trace theory of H1;p(X; Y): The trace theory of classical Sobolev spaces has important applications in the boundary value problem of PDE. We expect that the trace theory of H1;p(X; Y) can be potentially applied to analogous problems. Let Y be a bounded convex Jordan domain in the plane. Assume that ' is a homeomorphism from the unit circle S onto the boundary @Y of Y: Denote by h the complex-valued Poisson extension of ', that is 1 Z 1 − jzj2 h(z) = 2 '(ξ) jdξj 2π S jz − ξj 2 for all z 2 D: Then the Radó-Kneser-Choquet theorem [5,16,27] states that h is a univalent mapping from D onto Y: In view of the \averaging" property of h; the requirement that Y is convex is necessary. Furthermore Lewy showed in [24] that the Jacobian of h nowhere vanishes. Hence h is a real analytic diffeomorphism from D onto Y: We refer to [7] written by P. Duren for more on complex-valued harmonic mappings in the plane. Notice that derivatives of h are not always uniformly bounded. Therefore when we study the regularity of derivatives of h on D; the Sobolev regularity of h becomes the theme. The study for Sobolev regularity of the harmonic extension h stems from Astala et al. [1]. With additionally the C1-smoothness of @Y; they showed that the mapping from Y onto D, whose distortion function has the minimal L1 integrability, is exactly the inverse of the unique harmonic extension h : D ! Y: Furthermore this minimal L1 energy equals to the square integrability of the derivative of h on D; which is comparable to that Z Z (1.2) j log j'−1(ξ) − '−1(η)jj jdξj jdηj < 1: @Y @Y The condition (1.2) does not automatically hold. In fact Verchota [30] showed that the harmonic homeomorphisms of D onto itself need to be in the Sobolev space W 1;p(D; D) for p < 2; but not in W 1;2: Iwaniec et al. [14] established more delicate estimates, which provided a weak type L2-estimate and estimates in Orlicz classes near L2(D) for the gradient of h: Later Xu et al. [20, 31] generalized these results to the case that Y is an internal chord-arc Jordan domain. Their extension mapping eh : D ! Y has the form eh = h ◦ F; where h : D ! D is the Poisson extension and F : D ! Y is a bi-Lipschitz mapping with respect to the internal metric λY: Here λY(y1; y2) for y1 2 Y and y2 2 Y is defined as the infimum of lengths of all rectifiable curves in Y joining y1 to y2: Moreover they studied connections between W 1;p(D; Y) regularity of eh for p ≥ 1; a double integral condition on '−1 like (1.2), and the internal p-Douglas condition Z Z p (λY('(ξ);'(η))) p jdξj jdηj < 1: S S jξ − ηj They also explored weighted Sobolev regularity and Orlicz-Sobolev regularity of the extension mapping eh. In all above works, harmonic extensions are defined on the unit disk D: By the Riemann mapping theorem we may relax D to a Jordan domain X: Still denote by h the harmonic diffeomorphism from X onto a bounded convex Jordan domain Y: The Sobolev regularity for such h is also interesting. Assume that Y is the unit disk, and X has s-hyperbolic growth for s 2 (0; 1); see Definition 2.3 for the precise definition. Koski and Onninen recently proved in [21, Theorem 3.2] that h 2 W 1;p(X; D) for all p < 1 + s: In this paper, we explore the estimate in Orlicz classes near L1+s(X) for the derivatives of h and the weighted W 1;1+s estimate of h: Our first main result is the following. 3 Theorem 1.1. Let X be a Jordan domain with s-hyperbolic growth for s 2 (0; 1) and ' : @X ! @D be a homeomorphism. Let h : X ! D be the harmonic extension of '. Then λ h 2 W 1;Φ(X; D) where Φ(t) = t1+s log (e + t) for all λ < −1. Our second main result concerns weighted W 1;1+s estimate of h: Denote by d(z; @X) the Euclidean distance between z and the boundary @X of a Jordan domain X: Theorem 1.2. Let X be a Jordan domain with s-hyperbolic growth for s 2 (0; 1) and ' : @X ! @D be a homeomorphism. The harmonic extension h : X ! D of ' satisfies that R jDh(z)j1+s logλ(e + 1 ) dz < 1 for all λ < −1: X d(z;@X) Example 4.1 shows the sharpness of the ranges on λ in both Theorem 1.1 and Theorem 1.2. In Corollary 3.4 we obtain analogous integrability results on more general domains. Moreover Example 4.2 shows the optimality of these regularity. Besides Poisson extensions, there are other methods to construct extensions. Let Y be a quasidisk. Given a homeomorphism ' : S ! @Y; Koskela-Koski-Onninen [18] 1;p 2 2 found a Wloc (R ; R ) homeomorphic extension for all p < 2: They used the bi-Lipschitz characterization of quasidisks by Rohde [28] and an extension result of quasidisks by Tukia [29].

Load more