Intrinsic metrics in ring domains

Three hyperbolic-type metrics including the triangular ratio metric, the j∗\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$j^*$$\end{document}-metric, and the Möbius metric are studied in an annular ring. The Euclidean midpoint rotation is introduced as a method to create upper and lower bounds for these metrics, and their sharp inequalities are found. A new Möbius-invariant lower bound is proved for the conformal capacity of a general ring domain by using a symmetric quantity defined with the Möbius metric.


Introduction
Given two points x, y in a domain G, their intrinsic distance indicates how these points are located with respect to both each other and the domain's boundary ∂G. One way to measure these kinds of distances is the hyperbolic metric, but there are also numerous other hyperbolic-type and intrinsic metrics that can be used. In this article, we focus on three different metrics to study the intrinsic geometry of the annular ring R(r , 1) = {z ∈ C | r < |z| < 1} with 0 < r < 1.
While the value of the hyperbolic metric can be defined in any proper plane subdomain by mapping it conformally onto the unit disk [10, (7.13), p. 133], this method does not work for a non-simply connected domain such as the annular ring R(r , 1). Consequently, one of the only ways to compute the hyperbolic distance between points x, y ∈ R(r , 1) is to find the infimum of the line integrals of the hyperbolic density in [10, (7.18), p. 135] over all rectifiable curves γ from x to y in R(r , 1), see [10,Def. 7.3,p. 125]. Since there is no explicit formula for this infimum, the hyperbolic metric is not very well suited for measuring the intrinsic distances in this kind of domain.
Thus, in order to study the intrinsic geometry of the ring R(r , 1), we use here a few known generalizations of the B Oona Rainio ormrai@utu.fi 1 Department of Mathematics and Statistics, University of Turku, 20014 Turku, Finland hyperbolic metric: the j * -metric found first in [7] by modifying the distance ratio metric introduced in 1979 by Gehring and Palka [5], the triangular ratio metric introduced by Hästö in 2002 [9] and recently studied in [1,[14][15][16][17], and the Möbius metric originally introduced in [20, pp. 115-116] and extensively studied by P. Seittenranta in his PhD thesis [18]. These metrics are important tools in hyperbolic geometry because they share several properties of the hyperbolic metric, such as invariance under similarity mappings, monotonicity with respect to domain and sensitivity to boundary variation [8, pp. 191-192, 209]. Furthermore, as noted in the results of this article, the values of these three metrics can be often bounded with their distances found by rotating the original points around their midpoint.
The structure of this article is as follows. In Sect. 3, we study the triangular ratio metric in an annular ring and show how the Euclidean midpoint rotation can be used to create upper and lower bounds for the triangular ratio metric in this domain, see Definition 3.9 and Theorem 3.12. In Sect. 4, we introduce Theorem 4.1 that can be used to compute the Möbius metric in an annular ring, and also present sharp inequalities between the three hyperbolic-type metrics considered. We also inspect the metrical circles drawn with these three metrics. Finally, in Sect. 5, we consider the Möbius metric in more general ring domains instead of just an annular ring and present a Möbius invariant lower bound for the capacity of a ring.

Preliminaries
For any three points x, y, z ∈ R n , let X ZY be the angle centered at z with the point x on its one side and the point y on its other side. Denote the Euclidean line passing through x, y by L(x, y), the Euclidean line segment from x to y by [x, y], and the smaller angle between the lines L(x, 0) and L(y, 0) by X OY . Furthermore, for all x ∈ R n and r > 0, let B n (x, r ) be the x-centered Euclidean open ball with the radius r , B n (x, r ) its closure and S n−1 (x, r ) its boundary sphere. For the unit ball and unit sphere, use the simplified notations B n = B n (0, 1) and S n−1 = S n−1 (0, 1). Denote R(r , 1) = {z ∈ C | r < |z| < 1} for 0 < r < 1 as in Introduction, and R n = R n ∪ {∞}.
Define the hyperbolic metric ρ for all points x, y in the unit ball B n with the formulas [8, (4.14), p. 55] where y is the complex conjugate of y. The hyperbolic metric is conformally invariant: If a conformal mapping h fulfills h : According to the Riemann mapping theorem, any simply connected proper domain G R 2 can be mapped conformally onto the unit disk, so the aforementioned formula for ρ B 2 (x, y) can be used to compute the hyperbolic metric in different plane domains, such as the upper half-plane and an open sector [10, Ex. 1, p. 133].
By denoting the Euclidean distance from a point x in a domain G R n to the boundary ∂G by d G (x) = inf{|x − z| | z ∈ ∂G}, we can define the following hyperbolic-type metrics: The distance ratio metric [1, p. 685 .
For all distinct points x, y ∈ R n , define the spherical (chordal) metric [8, (3.6), p. 29] q(x, y) = |x − y| Using this definition, the expression of the cross-ratio can be written for any four distinct points a, b, c, d ∈ R n as in [8, (3.10), p. 33]: Suppose then G is a domain in R n so that its complement The hyperplane perpendicular to a vector u ∈ R n \{0} and at distance t/|u| from the origin for some t ≥ 0 is where · is the symbol of the dot product. The reflection in a hyperplane P(u, t) is h r : Any function f : R n → R n created as a function composition f = h 1 • · · · • h m by combining a number m ∈ Z + of these reflections and inversions is a Möbius transformation. If the number m here is even, the Möbius transformation f is sense-preserving, and otherwise f is sense-reversing.

Example 2.3
For any 0 < r < 1, the function f : is an inversion in the circle S 1 (0, √ r ) and therefore a sensereversing Möbius transformation that preserves the annular ring R(r , 1) but maps S 1 (0, r ) onto S 1 and vice versa.
Theorem 2.4 [18], [ Consider the following equalities and inequalities between the metrics introduced above.

Triangular ratio metric in the annular ring
In this section, we will study the triangular ratio metric in an annular ring R(r , 1) with 0 < r < 1. In order to do this, we need to find a point z from a certain circle that minimizes the sum |x − z| + |z − y|, when both the points x, y are either inside or outside of the circle. This optimization problem has been much studied during its long history because the correct solution z is also the point in which a light ray from the point x must strike a spherical mirror to be reflected to the point y, see [2] and [ While there is no explicit formula for the point z defining the infimum inf z∈∂ R(r ,1) (|x − z| + |z − y|), it can be solved from the quartic equation presented below. Fig. 1 If the point z gives the infimum inf z∈S 1 (|x − z| + |z − y|) for x, y ∈ B 2 , then the line L(0, z) bisects the angle X ZY Theorem 3.2 Consider the annular ring domain R(r , 1) with 0 < r < 1. Let x, y ∈ R(r , 1) and choose z from the boundary of R(r , 1) so that it gives the infimum Proof The first part follows trivially from the triangle Proof Since x = |x|e μi and z = re ui , the point x reflected over the line bisects the angle X ZY if and only if y ∈ L(z, x ) so that y is on the same side of the line L(0, z) than x , see Fig. 2.
Consequently, there must be some R > 0 such that y = R(x − z) + z, from which the result follows.
While finding the value of the triangular ratio distance between points x, y ∈ R(r , 1) in the general case is quite difficult, there are explicit formulas for this metric if the points x, y are either collinear with the origin or at the same distance from the origin.

Lemma 3.6
For all x, y ∈ R(r , 1) such that |x| = |y| = h and μ ∈ (0, π) is the value of the angle X OY , Proof Fix x = he μi/2 = h(cos(μ/2) + sin(μ/2)i) and y = x = he −μi/2 without loss of generality. If h cos(μ/2) ≤ r , then [x, y] ∩ S 1 (0, r ) = ∅ and trivially s R(r ,1) (x, y) = 1. Suppose below that cos(μ/2) > r /h instead. Clearly, By Lemma 3.1, the line L(0, z) through the point z giving the infimum inf z∈S(0,r ) (|x −z|+|z− y|) bisects the angle X ZY and, consequently, this point z must be r . Thus, by the law of cosines and the half-angle formula of the sine function, Euclidean midpoint rotation for the points x, y in an annular ring R(r , 1) and otherwise The quotient (3.8) is greater than or equal to (3.7) if and only if The lemma follows now by combining all the results above.
Any distinct points x, y ∈ R(r , 1) can be rotated around their midpoint in the following way so that the value of the triangular ratio metric for the rotated points can be found with either Proposition 3.4 or Lemma 3.6. Definition 3.9 [14, Def. 4.1, p. 10] Euclidean midpoint rotation. Choose distinct point x, y ∈ R 2 . Denote k = (x + y)/2 and q = |x − k| = |y − k|. Fix then four distinct points This midpoint rotation can be used to find bounds for the value of the triangular ratio metric, because the rotated points fulfill the inequality of Theorem 3.12.
Theorem 3.11 [14,Cor. 4 holds. Otherwise only the first part of this inequality holds and the points x, y can be rotated around their Euclidean midpoint into new points x , y so that s R(r ,1) (x , y ) → 1 − .
Proof Denote k = (x + y)/2 and q = |x − k|. Suppose without loss of generality that k ∈ [0, 1] ∩ R(r , 1). Now, the points of Definition 3.9 can be written as x 0 = k + qi, y 0 = k − qi, x 1 = k + q and y 1 = k − q. Furthermore, denote the angle between L(x, y) and the real axis by μ. It follows from Lemma 3.1 that the infimum inf z∈S(0,r ) (|x 0 − z| + |z − y 0 |) is given by z = r and thus By the law of cosines and Proposition 3.10, [14,Thm 4.11,p. 15], it follows that which proves the first part of the inequality.
∅ and the rest of the theorem follows trivially.
A similar result also holds in the punctured unit disk B 2 \{0}.
Proof Clearly,

Möbius metric in the annular ring
In this section, we will study the Möbius metric defined in the annular ring R(r , 1). Our main result is the following theorem that can be used to compute the exact value of the Möbius metric for any points x, y in R(r , 1). Since the supremum in Theorem 4.1 only needs to be found for one variable v defined in a closed real-valued interval [μ, π] with μ ∈ [0, π] instead of the two boundary points in the general expression of the Möbius metric, this result can be used to write an effective algorithm for computation of the Möbius metric with some single-variable optimization function, like the function optimize in R.

Theorem 4.1
For all x, y ∈ R(r , 1) with |y| ≤ |x|, where μ ∈ (0, π) is the value of the angle X OY , and Since δ B 2 (x, y) = ρ B 2 (x, y) by Theorem 2.5(4), the first two components of the maximum expression above are the same as in the theorem. Let us now maximize the supremum sup a∈S 1 , b∈S 1 (0,r ) |a, x, b, y| with respect to a. Since the cross-ratio is invariant under reflections and rotations in the ring R(r , 1), we can assume without loss of generality that arg(x) = 0 and 0 ≤ arg(y) ≤ π . Note that if arg(a) ∈ (0, π) or arg(b) ∈ (π, 2π) now, we can reflect one or both of the points a, b over the real axis without decreasing the cross-ratio |a, x, b, y|. Thus, we can also suppose that arg(a) ∈ ({0} ∪ [π, 2π)) and arg(b) ∈ [0, π], and fix a = e −ui and b = re vi with u, v ∈ [0, π]. By the law of cosines, By differentiation and the angle sum formula of the sine function,
Denote t = sin(u). By the angle sum formula and the quadratic formula, Here, 0 ≤ t ≤ 1 because 0 ≤ u ≤ π and only the positive root for t is a zero of the derivative above. It can be verified that the cross-ratio |a, x, b, y| is majorized by |e −ui , x, b, y| for u such that t = sin(u) is the positive root in question. Clearly, this solution fulfills 0 ≤ u ≤ π/ 2 because otherwise cos(u) < 0 and the left side of the second equality above is negative, unlike the right side. Thus, we can choose u = arcsin(t), where t is the positive root above. Since now arg(x) = 0, 0 ≤ arg(y) ≤ π and arg(a) ∈ ({0} ∪ [3π/2, 2π)), we see that arg(b) must be on the interval [arg(y), π ]: If 0 ≤ arg(b) ≤ arg(y), we could reflect b over the line L(0, y) to increase the cross-ratio |a, x, b, y|. Thus, the result follows.
With Theorem 4.1, we can find the value of the Möbius metric for points collinear with the origin in the annular ring R(r , 1).

Corollary 4.2 For all points x, y ∈ R(r , 1) collinear with the origin such that |y| ≤ |x|,
if the value of the angle X OY is 0, and if the value of the angle X OY is π .
Proof Suppose without loss of generality that x ∈ R(r , 1) ∩ [0, 1]. Consider first the case where y is on the line segment [0, 1], too. It can be shown by differentiation that (k +u +v)/ (ku) with constants u, v > 0 is decreasing with respect to k > 0. Consequently, for all a ∈ S 1 and b ∈ S 1 (0, r ), and therefore sup a∈S 1 , b∈S 1 (0,r ) |a, x, b, y| = |1, x, r , because the value of the angle X OY is μ = π and therefore v ∈ [μ, π] = {π } here. The result now follows from Theorem 4.1, the formula (2.1), and the observation that Next, we will study the Euclidean midpoint rotation for the Möbius metric but, first, consider the following conjecture.  R(r , 1).

Remark 4.4
Choose distinct points x, y ∈ R(r , 1) so that |y| ≤ |x| and x 0 , y 0 , x 1 , y 1 ∈ R(r , 1), when these points are as in Definition 3.9. Suppose that Conjecture 4.3 holds. Now, the Möbius metric fulfills Proof Denote k = (x + y)/2 and q = |x − y|/2. Suppose without loss of generality that k ∈ (1, r ) and x = qe μi + k, y = qe (π +μ)i + k for some 0 ≤ μ ≤ π/2. Now, (x, y) = (x 0 , y 0 ) if μ = π/2 and (x, y) = (x 1 , y 1 ) if μ = 0. Recall from Theorem 4.1 and its proof that the expression of δ R(r , 1) can be written as a maximum expression with three components: The result follows if each of these three components is decreasing with respect to μ and we already assumed that the cross-ratio fulfills this condition. Furthermore, we can write and this is clearly decreasing with respect to μ This circle can be mapped with an inversion in the unit disk onto another circle inside the unit disk, and both the hyperbolic metric and angle magnitudes are invariant under inversions. Thus, it follows directly from above that ρ R 2 \B 2 (q * e μi + k * , q * e (π +μ)i + k * ) is decreasing with respect to μ ∈ [0, π/2] and, since this property is invariant under the stretching by a factor r > 0, ρ R 2 \B 2 (0,r ) (q * e μi + k * , q * e (π +μ)i + k * ) is decreasing with respect to μ, too.

Remark 4.5
Also the j * -metric fulfills the inequality related to the Euclidean midpoint rotation, as can be trivially seen from its definition in (4.7).
Next, let us compare the three different hyperbolic-type metrics in an annular ring R(r , 1). The different properties of the triangular ratio metric, the Möbius metric, and the j *metric can be visually demonstrated by plotting the metrical circles for a few different values of ∈ (0, 1). Note that the circles of the Möbius metric are drawn by fixing their radius to be the hyperbolic tangent function with the value of the Möbius metric divided by two as an input, so that these circles are comparable to those of the other two metrics which can only attain values from the interval [0, 1]. Figure 4 shows these metric circles in (4.6), when their center is fixed to x = 0.75, the inner radius of the annular ring is r = 0.6 and the radii of the metrical circles are = 0.2, 0.3, . . . , 0.9. All the subfigures of Fig. 4 were drawn in R-Studio by using a grid of the size 1000×1000 test points and the contourplot function contour. The values of the triangular ratio metric and the Möbius metric were computed with the optimization function optimize with the help of The- (4.7) As we can see from Fig. 4, the metrical circles drawn with the triangular ratio metric and the Möbius metric resemble each other more than they do the circles of the j * -metric. Figure 4a shows that the triangular ratio metric disks are starlike with respect to their center x: For all points y ∈ R(r , 1) with s R(r ,1) (x, y) < ∈ (0, 1), [x, y] ∩ S s (x, ) = ∅. This is a general property of the triangular ratio metric [8, p. 206], which follows from the fact that s G (x, y) = 1 whenever [x, y] ∩ ∂G = ∅. We also notice from Fig. 4 that the metric circles drawn with the smallest radii = 0.2 resemble Euclidean circles while the shape of the domain affects more clearly the circles with larger radii, which is a common property of a hyperbolic-type metric, see [8,Ch. 13,.
Consider then the following inequality between these three metrics.

Theorem 4.8
For all x, y ∈ R(r , 1), where the constants 1/2 and 1 are sharp when r → 0 + , and the constants 2 are sharp for all values of r ∈ (0, 1).  y) holds for all x, y ∈ G R n , so the inequality of the theorem follows from this and Lemma 2.5(2). By Corollary 4.2, for x = √ r and y = − √ r ,

Corollary 4.9
For all x, y ∈ R(r , 1) and any Möbius transformation f : R 2 → R 2 such that f (R(r , 1)) = R(r , 1), Proof Follows from Theorem 4.8 and the Möbius invariance of the Möbius metric.

Remark 4.10
Computer tests suggest that the Lipschitz constant Li p( f |R(r , 1)) of the function f of Example 2.3 is 2 for both the triangular ratio metric and the j * -metric, so probably only the inequality for the distortion of the j * -metric in Corollary 4.9 is sharp.
Let us yet study the Möbius metric in the punctured unit disk B 2 \{0}.

Lemma 4.13
For all x, y ∈ B 2 \{0}, and the constants here are the best ones possible.

Möbius metric in ring domains and capacity
In this final section, we briefly study condenser capacity by using the Möbius metric. Below, we introduce a new quantity that can be used to create lower bounds for the ring capacity of an arbitrary ring, see Lemma 5.7 and the preceding definitions. Note that it is useful to form bounds for the capacity of a condenser or a ring with the Möbius metric rather than some other intrinsic metric, because the Möbius invariance of this metric reflects the conformal invariance of the capacity at least partially.
It follows from Corollary 5.3 below that the quantity δ(E, F) is truly symmetric but, in order to prove this theorem, we will need to consider another result first.
Proof (1) By the Möbius invariance of δ G , we may assume that G is an interval (a, b) ⊂ R and, since the maximum value of the cross-ratio |a, x, b, y| for a < u ≤ x < y ≤ v < b is trivially obtained with x = u and y = v, the result follows.
(2) Let a, b ∈ ∂G and choose some points x, y ∈ E. Suppose that y / ∈ ∂ E. Rotate y around the point x into a new point y ∈ E so that |y − b| is at minimum. Clearly, |a, x, b, y | > |a, x, b, y| because |y − b| decreases and all the other distances are preserved in this rotation. If y ∈ ∂ E, fix y * = y . If y / ∈ ∂ E, then B XY = 0. Fix now y * ∈ [y , b] ∩ ∂ E instead as in Fig. 5. Note that the points are collinear in this case, and regardless whether they are on the line in the order x, y , y * , b or in the order x, b, y * , y , we will have |a, x, b, y * | > |a, x, b, y |. Thus, for any y / ∈ ∂ E, we can always find a point y * ∈ ∂ E such that |a, x, b, y * | > |a, x, b, y|. Similarly, if x / ∈ ∂ E, the point x can be replaced with a suitable boundary point x * . Thus, for all a, b ∈ ∂G, the maximum value of |a, x, b, y| is obtained with points x, y ∈ ∂ E and the result follows.
(3) By the Möbius invariance of δ G , it is enough to prove the result in the case G ⊂ R n . If n = 1, the result follows from the first part of this theorem. Suppose that n ≥ 2, fix x, y ∈ E and let a, b ∈ ∂G be the points giving the supremum sup a,b∈∂G |a, x, b, y|. If y / ∈ ∂ E, consider the plane containing y, x, b and replace y by a new point y * on this plane, just like above. If x / ∈ ∂ E, choose similarly a new point on the plane with x, a, y * . Since these changes cannot decrease the cross-ratio, the result follows. The point y * ∈ ∂ E such that |a, x, b, y * | ≥ |a, x, b, y| is found as in the proof of Theorem 5.2 for x, y ∈ E ⊂ G and a, b ∈ ∂G Proof It follows from Theorem 5.2(3), the symmetry of cross-ratio and the fact that ∂ F = ∂(R n \F) for all sets F ⊂ R n that δ R n \F (E) = δ R n \F (∂ E) = sup Now that we have proved the symmetry of δ(E, F), let us study it further by finding its value in a few special cases. (2) If E = [0, r ] and F = S n−1 , 0 < r < 1, instead, then δ(E, F) = 2arth(r ).
(2) By Theorem 2.5(4), We will yet introduce a few definitions that will be needed for Lemma 5.7. The pair (G, E) consisting of a domain G ⊂ R n and a non-empty compact set E ⊂ G is called a condenser. Furthermore, if G and E are convex, then the set difference G\E is an example of a ring. More generally, a ring is any domain D ⊂ R n whose complement R n \D consists of exactly two components C 0 and C 1 , and it can be denoted by R(C 0 , C 1 ). The annular ring R(r , 1) with 0 < r < 1 is a ring R(B 2 (0, r ), R n \B 2 ).
Define now the conformal capacity of a condenser (G, E) as cap (G, E) = inf u G |∇u| n dm, (5.5) where infimum is taken over all functions u ∈ C ∞ 0 (G), u : G → [0, ∞) with u(x) ≥ 1 for all x ∈ E and dm stands for the n-dimensional Lebesgue measure. The definition (5.5) can be also written as cap (G, E) = M( (E, ∂G; G)), where (E, ∂G; G) is the family consisting of all such curves joining the set E to the boundary ∂G that are fully inside the domain G, and M( ) means the conformal modulus of the curve family , see [19, 6.1, p. 16] and [8, pp. 103-106]. Similarly, the capacity of a ring R(C 0 , C 1 ) is M( (C 0 , C 1 )), where (C 0 , C 1 ) = (C 0 , C 1 ; R n ).