Duality of capacities and Sobolev extendability in the plane

We reveal relations between the duality of capacities and the duality between Sobolev extendability of Jordan domains in the plane, and explain how to read the curve conditions involved in the Sobolev extendability of Jordan domains via the duality of capacities. Finally as an application, we give an alternative proof of the necessary condition for a Jordan planar domain to be W1,q\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$W^{1,\,q}$$\end{document}-extension domain when 2<q<∞\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$2<q<\infty$$\end{document}.


3
3 Page 2 of 6 as in Theorem 1.2. By denoting Ω the complementary domain of Ω , since Ω is a W 1, q -extension Jordan domain, there exists a constant C 0 ≥ 1 so that Then by applying Theorem 1.2 to both Ω and Ω (together with a technical lemma [15,Lemma 2.1] saying that we can always swap an unbounded domain with compact boundary to a bounded domain (and vice versa) with the same extendability), we conclude that By the arbitrariness of 1 , 3 ⊂ Ω , we conclude the extendability of p-capacity functions in Ω , i.e. those functions in W 1, p (Ω) take value 0 and 1 on two distinct subarcs of Ω , respectively. Then by the fact the exdentability of p-capacity functions in a planar Jordan domain implies the extendability of W 1, p -functions in that domain, we conclude the desired duality of Sobolev extendability. This fact was proven in [15] via an indirect method, and also see the recent paper [13] for further information.
To be more specific, for 1 < p < 2 in [15] we first show that, if every p-capacity function in a Jordan domain Ω is extendable, then its complementary domain Ω is (2 − p) -subhyperbolic, i.e. for 1 < p < 2 and every z 1 , z 2 ∈Ω , there exist a constant C 1 > 0 and a curve ⊂Ω joining z 1 and z 2 such that Then via this curve condition, we constructed an extension operator for all functions in W 1, p (Ω).
The curve condition (1.2) has been studied for a long time, up to notational change on the exponent. For example it can be used to characterize Lip -extension domain; see e.g. [5,16]. Also it appears in the characterization of W 1, q -extension domains with q > 2 ; see for instance [3,12,20].
In this paper, we show the relation between (1.2) and the duality of capacities (1.1). Towards this, let us introduce some terminology. Recall that the left-hand side of (1.2) is called the p-subhyperbolic length of for 1 < p < 2 , and accordingly we define the p -subhyperbolic distance between z 1 , z 2 , denoted by d p (z 1 , z 2 ) , via taking infimum of the p-subhyperbolic length among all the curves joining z 1 , z 2 in Ω . For more properties of this metric we refer to [20].
For 1 < p ≤ 2 and z 1 , z 2 ∈ Ω , the p-capacity between z 1 and z 2 in Ω is defined as where the infimum is again taken over all the curves connecting z 1 and z 2 inside Ω . We remark that the triangle inequality for this metric follows naturally from the subadditivity of capacity; see e.g. [4, Theorem 2 (vii), Chapter 4.7]. The theorems below indicate the relation between the p-capacity metric and the (2 − p)-subhyperbolic metric for 1 < p < 2 in the plane. Theorem 1.3 Let 1 < p < 2 and Ω ⊂ ℂ be a Jordan domain and p ∈ (1, 2) , and z 1 , z 2 ∈ Ω . Then for the hyperbolic geodesic joining z 1 , z 2 , we have where the constants depend only on p.
We note that, in [22] the relations between n-capacity metric and quasihyperbolic metric was studied via quasiconformal mappings in ℝ n . With the two theorems above, we are able to read both sides of (1.2) in terms of capacities and reveal their relations. We prove it in the last section.

Corollary 1.4
Let Ω be a Jordan W 1, q -extension domain in the plane with 2 < q < ∞ . Then for any two points z 1 , z 2 ∈ Ω , there exists a curve ⊂ Ω joining z 1 and z 2 such that where the constant depend only on the norm of the extension operator and q.
All the results above can be extended to the case where Ω is not Jordan but simply connected in the plane, via exhausting Ω by a sequence of Jordan domains. However, for the simplicity of the statement we omit it.

Prerequisites
We usually write the constants as positive real numbers C(⋅) with parenthesis including all the parameters on which the constant depends. The constant C(⋅) may vary between appearances, even within a chain of inequalities. By a ∼ b we mean that b∕C ≤ a ≤ Cb for some constant C ≥ 2.
For Euclidean spaces ℝ n , we denote the distance of sets A and B by dist (A, B) , and the diameter of a set A by diam (A) . Given an interval I in ℝ , we call a continuous map I → X a d Cap p (z 1 , z 2 ;Ω) = inf Cap p ( , Ω; Ω), path and its image a curve; the image of an injective map we call an arc. We denote by ( ) the length of the curve . Furthermore, if is an arc, then we refer to [x, y] the subarc of between points x and y in . The unit disk in ℝ 2 we denote by .
Recall that the image Γ of an embedding § 1 → ℂ is called a Jordan curve and, by the Jordan curve theorem, the set ℂ ⧵ Γ has exactly two components, both homeomorphic to the (open) unit disk . The bounded components of ℂ ⧵ Γ are called Jordan domains. By the Riemann mapping theorem, for each Jordan domain Ω in ℂ , there exists a conformal map → Ω . Moreover, given a Jordan domain Ω and a conformal map ∶ → Ω , has a homeomorphic extension → Ω by the Caratheodory-Osgood theorem, see e.g. [17].
Recall that for points z 1 and z 2 in , their hyperbolic distance is where the infimum is over all rectifiable curves joining z 1 to z 2 in . The hyperbolic geodesics in are arcs of (generalized) circles that intersect the unit circle orthogonally.
Let Ω be a Jordan domain ℂ with a base point z 0 . Given z ∈ Ω and r > 0 , we define the conformal annulus A(z, r;Ω) by where is the homeomorphic extension of a conformal map → Ω satisfying 0 ↦ z 0 . We supress again the role of the base point z 0 in the notation. Also for notational convenience For the conformal annuli, we have the following comparison lemma; the proof of the analog of it in [2, p. 645] gives our version with notational changes.

Lemma 2.1
Let Ω be a Jordan domain, y 1 , y 2 ∈ Ω , and let be the hyperbolic geodesic in Ω joining y 1 and y 2 . For each The constants of comparability in (2.1) and (2.2) are independent of Ω , points y 1 and y 2 , the parameter k, and the (tacitly omitted) base point z 0 .
We can apply Lemma 2.1 to show the following capacity estimate Proof Fix the domain Ω and let q = p p−1 . By Theorem 1.2, we only need to bound the q-capacity of (a part of) the outer boundary and (a part of) the inner boundary of the conformal annulus A(y i , k) inside one of the components A of A(y i , k) ⧵ i, k from above by a multiple of ( i, k ) 2−q .
Let us fix one of the component A.

Proof of Theorem 1.3
Proof of Theorem 1. 3 Let ⊂ Ω be an arbitrary curve joining z 1 and z 2 . We extend the hyperbolic geodesic to the boundary, and denote the two end points on Ω by y 1 and y 2 . The notation in Lemma 2.1 will be applied. We first show that The discussion is divided into two cases. and Since we take infimum among the curves in the both definitions of p-metric and p-capacity metric, respectively, we conclude the theorem in the special case.
Case 2 z 1 and z 2 are not in the same or neighboring conformal annulus (A(y i , 2 −k )) for some i ∈ {1, 2} . We may assume that z 1 and z 2 are on the boundary of some conformal annuli by our consequence of Case 1. Then by the subadditivity of p-capacity we conclude that Then by taking the infimum over u ∈ Δ( , Ω;Ω) we obtain the other direction. Thus (3.1) follows with the constant depending only on p. The rest part of the theorem follows analogously according to the calculation above: For example, by choosing as in (3.2) one concludes via the calculation above that and then obtains by the arbitrariness of u ∈ Δ( , Ω;Ω) . The other inequalities in Theorem 1.3 follow similarly. ◻

The proof of Corollary 1.4
Proof of Corollary 1.4 Let us first consider the case z 1 , z 2 ∈ Ω . We claim that for these two points, there exists a curve ⊂ Ω such that Let be the hyperbolic geodesic joining z 1 and z 2 . Notice that z 1 , z 2 divide Ω into two subarcs; namely Ω = Γ 1 ∪ Γ 2 .
Then each Γ i with the hyperbolic geodesic gives us a Jordan domain. Moreover, by applying an approximation argument, we generalize Theorem 1.2 in the case where 1 = Γ 1 , 3 = Γ 2 , and 2 and 4 there are just points z 1 and z 2 , respectively.

.3] yields
Since Ω is a W 1, q -extension domain, then with the constant depending only on the extension operator. Hence, by (4.1), Cap q (z 1 , z 2 ; Ω) ∼ Cap q (z 1 , z 2 ; ] denote the line segment joining x 1 , z 1 and x 2 , z 2 , respectively, and is the hyperbolic geodesic joining z 1 , z 2 . Then by our claim above with the assumption (4.2), we conclude that where we used the fact that the triangle inequality and the assumption (4.2) yield ◻ Remark 4.1 When p = q = 2 , one may apply Theorem 1.2 to a Jordan W 1, 2 -extension domain to similarly show that, for any z 1 , z 2 ∈ Ω , the hyperbolic curve Γ joining them satisfies provided z 1 , z 2 are relatively far (compared with their distances to the boundary). This is the Gehring-Osgood characterization of quasidisks [6], and it is proven that a Jordan domain in the plane is a W 1, 2 -extension domain if and only if the domain is a quasidisk; see [7][8][9]11]. Hence one can also prove the necessity of a Jordan W 1, 2 -extension domain without using any test function. Moreover, this indicates the relations between Gehring-Osgood condition and (1.2) via Theorem 1.2, i.e. the left-hand side is comparable to certain capacity (p-capacity for (1.2) and 2-capacity for Gehring-Osgood condition) inside the domain, and the right-hand side is comparable to the reciprocal of its dual capacity in the Euclidean space with the correct power. 2|x 1 − x 2 | ≤ max{ dist (x 1 , Ω), dist (x 2 , Ω)},