Intrinsic metrics in ring domains

Three hyperbolic type metrics including the triangular ratio metric, the $j^*$-metric and the M\"obius 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\"obius-invariant lower bound is proved for the conformal capacity of a general ring domain by using a symmetric quantity defined with the M\"obius 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 plane domain by mapping the domain conformally onto the unit disk [9, (7.13), p. 133], this method does not work for a non-simply connected domain such as the annular ring R(r, 1). Consequently, the only way 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 [9, (7.18), p. 135] over all rectifiable curves γ from x to y in R(r, 1), see [9,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 hyperbolic metric: the j * -metric found first in [7] by modifying the distance ratio metric introduced in 1979 by Gehring and Palka [4], the triangular ratio metric introduced by P. Hästö in 2002 [8] and recently studied in [1,12,13,15,16], and the Möbius metric originally introduced in [19, pp. 115-116] and extensively studied by P. Seittenranta in his PhD thesis [17]. 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 [5, 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 Section 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 Section 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 Section 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.
Acknowledgements. This research continues my earlier work in [12,13,14,15,16]. Three last mentioned of these articles have been co-written with Professor Matti Vuorinen, to whom I am indebted for all guidance and support. My research is funded by the University of Turku Graduate School UTUGS.

Preliminaries
For any three points x, y, z ∈ R n , let XZY 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 XOY . 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 [5, (4.14), p. 55] where y is the complex conjugate of y. The hyperbolic metric is conformally invariant: If a conformal mapping f fulfills h : According to the Riemann mapping theorem, any simply connected plane domain G 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 [9, 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 [5, (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 [5, (3.10), p. 33]: Suppose then G is a domain in R n so that its complement (R n \G) contains at least two points. Then the Möbius metric in this domain G is the function δ G : 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 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 sense-reversing Möbius transformation that preserves the annular ring R(r, 1) but maps S 1 (0, r) onto S 1 and vice versa.
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 [ x, y ∈ R n and the point z ∈ S n−1 is chosen so that it gives the infimum inf z∈S n−1 (|x − z| + |z − y|). If x, y ∈ B n , the line L(0, z) bisects the angle XZY , see Figure 1. If x, y ∈ R n \B n so that [x, y] ∩ B n = ∅, then z ∈ [x, y] ∩ S n−1 . In the third case where x, y ∈ R n \B n with [x, y] ∩ B n = ∅, the line L(0, z) bisects the angle XZY , just like in the first case.
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.  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 inf z∈∂R(r, 1) 2 (0, r) = ∅, and otherwise z fulfills the equality xyz 4 − j 2 (x + y)z 3 + j 4 (x + y)z − j 4 xy = 0 with either j = r or j = 1.
If the points x and z are fixed instead, finding a point y such that z gives the infimum inf z∈∂S 1 (|x − z| + |z − y|) is a very simple task and this is often useful when generating points with certain values of the triangular ratio metric.  Proof. Since x = |x|e µi and z = e ui , the point x reflected over the line L(0, z) is x = |x|e (2u−µ)i . Now, the point z bisects the angle XZY 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 Figure 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 XOY , Suppose below that cos(µ/2) < r/h instead. Clearly, x, y)}. 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 XZY and, consequently, this point z must be r. Thus, by the law of cosines and the half-angle formula of the sine function, 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. Figure 3. Note that if x, y ∈ R(r, 1), then x 0 , y 0 ∈ R(r, 1) always, but it might be so that Figure 3. Euclidean midpoint rotation for the points x, y in an annular ring R(r, 1).
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.12. For all distinct points x, y ∈ R(r, 1), fix x 0 , y 0 , x 1 , y 1 as in Definition 3.9. If the distance s R(r,1) (x 1 , y 1 ) is well-defined for x 1 , y 1 ∈ R(r, 1), the inequality 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 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, [15,Thm 4.11,p. 15], it follows that s R(r,1) (x 0 , y 0 ) = max{s which proves the first part of the inequality.
A similar result also holds in the punctured unit disk B 2 \{0}.

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. For all x, y ∈ R(r, 1) with |y| ≤ |x|, where µ ∈ (0, π) is the value of the angle XOY , and Proof. Since |y| ≤ |x|, trivially  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.
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 XOY is 0, and if the value of the angle XOY 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), |e −u(v)i , |x|, re vi , |y|e µi | = |e −u(π)i , x, re πi , y| = |1, x, −r, y|, because the value of the angle XOY 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. Lemma 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 µ ∈ [0, π/2]. Suppose next that [x, y] is some diameter of S 1 (k * , q * ) ⊂ R 2 \B 2 where q * , k * > 0. 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 S s (x, ) = {y ∈ R(r, 1) | s R(r,1) (x, y) = }, 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 As we can see from Figure 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 4(a) 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 [5, p. 206], which follows from the fact that s G (x, y) = 1 whenever [x, y] ∩ ∂G = ∅. We also notice from Figure 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 [5,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).

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 BXY = 0. Fix now y * ∈ [y , b] ∩ ∂E instead as in Figure 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.
G E x y y y * a b Figure 5. 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.
Corollary 5.3. For all non-empty sets E, F ⊂ R n such that E ∩ F = ∅, δ R n \F (E) = δ R n \E (F ).
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 x,y∈∂E, a,b∈∂F log(1 + |a, x, y, b|) = sup x,y∈∂E, a,b∈∂F Now that we have proved the symmetry of δ(E, F ), let us study it further by finding its value in a few special cases. Proof.
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 consist 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 [18, 6.1, p. 16] and [5, 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 ).
Lemma 5.7. If R = R(E, F ) ⊂ R n is a ring and c n as in (5.6), then cap (R) ≥ 1 2 c n δ(E, F ).