Abstract
The hyperbolic metric and different hyperbolic type metrics are studied in open sector domains of the complex plane. Several sharp inequalities are proven for them. Our main result describes the behavior of the triangular ratio metric under quasiconformal maps from one sector onto another one.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Geometric function theory studies families of functions such as conformal maps and analytic functions as well as quasiconformal and quasiregular mappings defined in subdomains G of \(\mathbb {R}^n, n\ge 2\,.\) In this research, a key notion is an intrinsic distance, which is a distance between two points in the domain, specific to the domain itself and, in particular, its boundary [6, 7]. In the planar case \(n=2\), such a distance is the hyperbolic distance that can be readily defined by use of a conformal mapping for a simply connected domain, but this does not generalize to higher dimensions. It is natural therefore to look for various extensions and generalizations of hyperbolic metrics. Twelve metrics recurrent in geometric function theory are listed by Papadopoulos [13, pp. 42–48].
Many people have studied generalizations of hyperbolic metrics to subdomains of \(\mathbb {R}^n\), \(n\ge 3\), and found hyperbolic type metrics, which share some but not all properties of the hyperbolic metric. In their study of quasidisks, Gehring and Hag [6] apply the hyperbolic, quasihyperbolic, distance ratio, and Apollonian metrics. Very recently, the geometry of the quasihyperbolic metric has been studied by Herron and Julian [12], Rasila et al. [17], Buckley and Herron [3]. Another hyperbolic type metric is the triangular ratio metric introduced by Hästö [9] and most recently studied by Fujimura et al. [5]. The interrelations between these metrics have been investigated by Hästö et al. [10]. See also Herron et al. [11] and Aksoy et al. [1].
Our work is motivated by the recent progress of the study of the intrinsic geometry of domains, of which the above papers and the monographs [6, 7, 13] are examples. First, in Sect. 3, we find new inequalities between three different hyperbolic type metrics in sector domains of the complex plane and establish sharp forms of some earlier results in [4, 8]. In Sect. 4, we apply a rotation method involving Möbius transformations to obtain a sharp inequality between the triangular ratio metric and the hyperbolic metric in a sector with a fixed angle. Finally, in Sect. 5, we present our main result that provides a sharp distortion theorem for the triangular ratio metric under quasiconformal maps between two planar sector domains.
2 Preliminary Facts
Suppose that G is a proper domain in \(\mathbb {R}^n\). In other words, choose a subset \(G\subsetneq \mathbb {R}^n\) so that it is non-empty, open and connected. Denote the Euclidean distance dist\((x,\partial G)=\inf \{|x-z|\text { }|\text { }z\in \partial G\}\) between the point x and the boundary of G by \(d_G(x)\). Define then the following hyperbolic type metrics: The triangular ratio metric \(s_G:G\times G\rightarrow [0,1]\),
the \(j^*_G\)-metric \(j^*_G:G\times G\rightarrow [0,1),\)
and the point pair function \(p_G:G\times G\rightarrow [0,1),\)
Note that the point pair function is not a metric in some domains G [4, Rmk. 3.1 p. 689], and see [4, 8, 14,15,16] for more details about these functions.
In this paper, we focus on the case where the domain G is an open sector \(S_\theta =\{x\in \mathbb {C}\text { }\backslash \{0\}|\text { }0<\arg (x)<\theta \}\) with an angle \(\theta \in (0,2\pi )\). In the limiting case \(\theta =0\), we consider the strip domain \(S_0=\{x\in \mathbb {C}\text { }|\text { }0<\text {Im}(x)<\pi \}\). Other common domains are the upper half-space \(\mathbb {H}^n=\{(x_1,\ldots ,x_n)\in \mathbb {R}^n\text { }|\text { }x_n>0\}\) and the unit ball \(\mathbb {B}^n=B^n(0,1)\). Here, \(B^n(x,r)\) is the open ball with the Euclidean metric, \(\overline{B}^n(x,r)\) is its closure and \(S^{n-1}(x,r)\) is the boundary \(\partial B^n(x,r)\). For two distinct points x, y, L(x, y) is the Euclidean line passing through them and [x, y] is the Euclidean line segment between them.
With the notations presented above, we can also write formulas for the hyperbolic metric \(\rho _G\) in these domains \(G\in \{\mathbb {H}^n,\mathbb {B}^n,S_\theta \}\) as [7, (4.8), p. 52 & (4.14), p. 55]
Note that the third formula above follows from the conformal invariance of the hyperbolic metric: If G is a domain and \(f:G\rightarrow G'=f(G)\) is a conformal mapping, then
Thus, the hyperbolic metric \(\rho _G\) can be defined in any planar simply connected domain in terms of a conformal mapping of the domain onto the unit disk [2, Thm. 6.3 p. 26]. Furthermore, the hyperbolic metric is invariant under Möbius transformations, see [7, Def. 3.6, p. 27] for the definition, because Möbius transformations are a subclass of conformal mappings. In the two-dimensional plane, the definitions of hyperbolic metric can be simplified to
where \(\overline{y}\) is the complex conjugate of y.
The following inequalities between hyperbolic type metrics are already known:
Theorem 2.1
[8, Lem. 2.3, p. 1125]. For a proper subdomain G of \(\mathbb {R}^n\), the inequality \(j^*_G(x,y)\le p_G(x,y)\le \sqrt{2}j^*_G(x,y)\) holds for all \(x,y\in G\).
Theorem 2.2
[8, Lem. 2.1, p. 1124 and Lemma 2.2, p. 1125]. For a proper subdomain G of \(\mathbb {R}^n\), the inequality \(j^*_G(x,y)\le s_G(x,y)\le 2j^*_G(x,y)\) holds for all \(x,y\in G\).
Theorem 2.3
[8, Lem. 2.8 and Thm 2.9(1), p. 1129]. If \(G\subsetneq \mathbb {R}^n\) is convex, \(j^*_G(x,y)\le s_G(x,y)\le \sqrt{2}j^*_G(x,y)\) holds for all \(x,y\in G\).
The following results are useful when calculating the value of \(s_G(x,y)\):
Lemma 2.4
(Heron’s shortest distance problem) Given \(x,y\in \mathbb {H}^2\), the Heron point \(w=L(\overline{x},y)\cap \mathbb {R}\) minimizes the sum \(|x-z|+|z-y|\) where \(z\in \mathbb {R}\), and therefore \(\inf _{z\in \mathbb {R}}(|x-z|+|z-y|)=|\overline{x}-y|\).
It follows from Lemma 2.4 that for all \(x,y\in \mathbb {H}^2\),
Theorem 2.5
For all \(\theta \in (0,2\pi )\) and \(x,y\in S_\theta \), there is an analytical solution to the value of \(s_{S_\theta }(x,y)\).
Proof
Consider a line \(l\subset \mathbb {R}^2\), a half-line \(l_0\subset l\) and two points \(x,y\in \mathbb {R}^2\). If \([x,y]\cap l_0\ne \varnothing \), \(\inf _{z\in l_0}(|x-z|+|z-y|)=|x-y|\). Let \(x'\) be the point x reflected over the line l. If \([x,y]\cap l_0=\varnothing \) and \([y,x']\cap l_0\ne \varnothing \), then, by Lemma 2.4, \(\inf _{z\in l_0}(|x-z|+|z-y|)=|x'-y|\). Otherwise, \(\inf _{z\in l_0}(|x-z|+|z-y|)=|x-z_0|+|z_0-y|\) where \(z_0\) is the endpoint of \(l_0\). Clearly,
where \(l_1,l_2\) are the half-lines forming the sector \(S_\theta \). See Fig. 1. \(\square \)
2.6
Some computed values of \(s_{S_{\theta }}(x,y).\) In Table 1, there are some values of the triangular ratio metric \(s_{S_{\theta }}(x,y)\) in a sector \(S_\theta \) for a few different choices of x, y and \(\theta \). These values have been computed by applying the above theorem and some formulas for the geometry of the complex plane such as reflection over line from [7, (B.3) and (B.11), pp. 458-460]. In Fig. 1, the points are \(x=1+7i/10\) and \(y=(1+14i)/10\), and the angle \(\theta =3\pi /4\), so the triangular ratio distance \(s_{S_{\theta }}(x,y)\) is \(\sqrt{65/29}/3\) in this case.
3 Hyperbolic Type Metrics
In this section, our main result is Theorem 3.23. This theorem provides sharp inequalities between the hyperbolic type metrics in a sector domain. First, we will show that certain equalities are possible.
Lemma 3.1
For any fixed domain \(G\subsetneq \mathbb {R}^n\), there are distinct points \(x,y\in G\) such that \(s_G(x,y)=j^*_G(x,y)=p_G(x,y)\).
Proof
Fix \(x\in G\) and choose a ball \(B^n(x,r)\subset G\) with \(S^{n-1}(x,r)\cap \partial G\ne \varnothing \) where \(r>0\). Fix \(z\in S^{n-1}(x,r)\cap \partial G\) and \(y\in [x,z]\) so that \(|x-y|=kr\) with \(k\in (0,1)\). From \(d_G(x)=r\) and \(d_G(y)=(1-k)r\), it follows that \(j^*_G(x,y)=p_G(x,y)=k/(2-k)\). By [7, 11.2.1(1), p. 205],
so that \(s_G(x,y)=k/(2-k)\), too. \(\square \)
Lemma 3.2
For any fixed Jordan domain \(G\subsetneq \mathbb {R}^2\), if there exists a line segment \([u,v]\subset \partial G\), then there are distinct points \(x,y\in G\) such that \(p_G(x,y)=\sqrt{2}j^*_G(x,y)\).
Proof
First, note that the equality \(p_G(x,y)=\sqrt{2}j^*_G(x,y)\) holds non-trivially when \(x\ne y\) and \(|x-y|/2=d_G(x)=d_G(y)\). If \([u,v]\subset \partial G\), we can fix a segment \([x,y]\subset G\) so that it is parallel to the segment [u, v], has the same perpendicular bisector as [u, v] and fulfills \(d_G(x)=d_G(y)=d([x,y],[u,v])=|x-y|/2\). The equality \(p_G(x,y)=\sqrt{2}j^*_G(x,y)\) follows. \(\square \)
Remark 3.3
The metrics \(s_G\) and \(j^*_G\), and the point pair function \(p_G\) are all invariant under the stretching \(z\mapsto rz\) by a factor \(r>0\) and the reflection by the symmetry axis of the domain G, if G is, for instance, \(\mathbb {H}^2\), \(S_\theta \) or \(\mathbb {R}^n\backslash \{0\}\).
Theorem 3.4
For a fixed angle \(\theta \in (\pi ,2\pi )\) and for all \(x,y\in S_\theta \), the sharp inequality \(s_{S_\theta }(x,y)\le 2\sin (\theta /4)j^*_{S_\theta }(x,y)\) holds.
Proof
Consider the quotient
We clearly need to find the maximal value of this quotient for each \(\theta \in (\pi ,2\pi )\). First, fix the point z so that it gives the infimum \(\inf _{z\in \partial S_\theta }(|x-z|+|z-y|)\). Since clearly \(d_{S_\theta }(x)\le |x-z|\) and \(d_{S_\theta }(y)\le |z-y|\), the sum \(d_{S_\theta }(x)+d_{S_\theta }(y)\) has an upper limit \(|x-z|+|z-y|\). If we set \(r=d_{S_\theta }(x)+d_{S_\theta }(y)\), it follows that \(\min \{d_{S_\theta }(x),d_{S_\theta }(y)\}\le \min \{d_{S_\theta }(x),r-d_{S_\theta }(x)\}\). To find the maximum of \(\min \{d_{S_\theta }(x),d_{S_\theta }(y)\}\), we need to choose \(d_{S_\theta }(x)=r/2=d_{S_\theta }(y)\).
Now, we need to minimize the value of \(\inf _{z\in \partial S_\theta }(|x-z|+|z-y|)\) compared to the numerator \(|x-y|+r\) of the quotient (3.5). This happens when the point z in the infimum is fixed to the origin, and x and y are on different sides of the bisector of the sector \(S_\theta \). It follows that \(\inf _{z\in \partial S_\theta }(|x-z|+|z-y|)=|x|+|y|\).
Let us next consider the distance \(|x-y|\) compared to the infimum in the quotient (3.5). Suppose \(\inf _{z\in \partial S_\theta }(|x-z|+|z-y|)=|x|+|y|\) is fixed. By Pythagoras’ theorem, \(|x-y|=\sqrt{|x|^2-l^2}+\sqrt{|y|^2-l^2}\), where \(l=d([x,y],\{0\})\) so we see that, for a fixed sum \(|x|+|y|\), the value of \(|x-y|\) is at maximum when \(|x|=|y|\).
Because of these observations and by Remark 3.3, we can fix \(x=e^{hi}\) and \(y=e^{(\theta -h)i}\) with some \((\theta -\pi )/2<h<\theta /2\). It follows that
If \(h<\pi /2\), the quotient (3.5) is \(\sin (\theta /2-h)+\sin (h)\), which attains a maximum when \(h=\theta /4\). Clearly, \((\theta -\pi )/2<\theta /4<\pi /2\) for all \(\theta \in (\pi ,2\pi )\). Thus, the maximum value of the quotient (3.5) with limitation \(h<\pi /2\) is \(2\sin (\theta /4)\).
If \(h\ge \pi /2\) instead, the quotient (3.5) is \(\sin (\theta /2-h)+1\). Within the limitation \(h\ge \pi /2\), this quotient attains its maximum \(1-\cos (\theta /2)\) when \(h=\pi /2\). Since, for all \(\theta \in (\pi ,2\pi )\), \(1-\cos (\theta /2)<2\sin (\theta /4)\), the true maximum value of the quotient is \(2\sin (\theta /4)\) and the theorem follows. \(\square \)
Theorem 3.6
For a domain \(G\subsetneq \mathbb {R}^n\), the sharp inequality
holds for all \(x,y\in G\).
Proof
According to [7, 11.16(1), p. 203], the inequality \(p_G(x,y)/\sqrt{2}\le s_G(x,y)\) holds for all \(x,y\in G\) and this is sharp for \(p_G(x,y)/\sqrt{2}=s_G(x,y)\) if \(G=\{z\in \mathbb {C}\text { }|\text { }0<\text {Im}(z)<1\}\), \(x=i/4\) and \(y=3i/4\).
If we fix \(z\in \partial G\) so that it gives the infimum \(\inf _{z\in \partial G}(|x-z|+|z-y|)\),
It can be shown by the inequality of arithmetic and geometric means that the quotient above attains its maximum value \(\sqrt{2}\), when \(|x-z|=|z-y|\). This proves the inequality \(s_G(x,y)\le \sqrt{2}p_G(x,y)\). Here, the equality holds for \(G=\mathbb {R}^2\backslash \{0\}\), \(x=-1\) and \(y=1\), since now \(s_G(x,y)=\sqrt{2}p_G(x,y)=1\). \(\square \)
Remark 3.7
Theorem 3.6 improves the upper bound of [8, Lem. 2.5(1), p. 1126].
Theorem 3.8
A domain \(G\subsetneq \mathbb {R}^n\) is convex if and only if the inequality \(s_G(x,y)\le p_G(x,y)\) holds for all \(x,y\in G\).
Proof
By [7, Lem. 11.6(1), p. 197], \(s_G(x,y)\le p_G(x,y)\) holds for all \(x,y\in G\) if G is convex. Suppose now that G is non-convex and fix \(x,y\in G\) so that \([x,y]\cap \partial G\ne \varnothing \). Clearly, \(s_G(x,y)\ge p_G(x,y)\) because
Consequently, if \(s_G(x,y)\le p_G(x,y)\) holds for all \(x,y\in G\), then G must be convex. \(\square \)
Theorem 3.9
For a fixed angle \(\theta \in (0,\pi )\) and for all \(x,y\in S_\theta \), the sharp inequality
holds.
Proof
Consider the quotient
Suppose without loss of generality that \(x=e^{hi}\) and \(y=re^{ki}\) with \(0<h\le k<\theta \) and \(r>0\). If \(k\le \theta /2\), then the closest boundary points of \(\partial S_\theta \) to x, y are on the positive real axis, as is the point z in the infimum of the triangular ratio metric. Consequently, \(s_{S_\theta }(x,y)=s_{\mathbb {H}^2}(x,y)\) and \(p_{S_\theta }(x,y)=p_{\mathbb {H}^2}(x,y)\) and, because \(s_{\mathbb {H}^2}(x,y)=p_{\mathbb {H}^2}(x,y)\) by [7, p. 460], we will have \(p_{S_\theta }(x,y)=s_{S_\theta }(x,y)\). By symmetry, \(p_{S_\theta }(x,y)=s_{S_\theta }(x,y)\) also when \(h\ge \theta /2\).
Next, assume that \(h<\theta /2<k\). Now, the infimum in the quotient (3.10) is \(\min \{|\overline{x}-y|,|x-y'|\}\), where \(\overline{x}\) is the complex conjugate of x and \(y'\) is the point y reflected over the line \(L(0,e^{\theta i})\). Clearly, \(|\overline{x}-y|=|1-re^{(k+h)i}|\) and \(|x-y'|=|1-re^{(2\theta -k-h)i}|\). Let \(u=k+h\), so that \(k=u-h\). Note that \(\theta /2<u<3\theta /2\). By the law of cosines, the quotient (3.10) can be written as
where \(\theta /2<u<3\theta /2\) and \(\max \{0,u-\theta \}<h<\min \{u/2,u-\theta /2,\theta /2\}\). By differentiation and the addition formula of the sine function, we will have
Because
for all \(\theta /2<u<3\theta /2\), the quotient (3.11) is always at minimum with respect to h at \(h\le u/2-\theta /4\). Consequently, the quotient (3.10) is therefore bounded below by
where \(\theta /2<u<3\theta /2\). Because the values of this quotient are the same at \(u=v\) and \(u=2\theta -v\) for all \(\theta /2<v<3\theta /2\), we can suppose without loss of generality that \(\theta /2<u\le \theta \). By differentiation, it can be proved that the quotient
is decreasing with respect to \(u\in (\theta /2,\theta ]\) and therefore bounded below by
By using differentiation again, we can show that the expression above attains its minimum value with \(r=1\). Thus, the minimum value of the quotient (3.10) is
\(\square \)
Theorem 3.13
For a fixed angle \(\theta \in [\pi ,2\pi )\) and for all \(x,y\in S_\theta \), the sharp inequality \(p_{S_\theta }(x,y)\le s_{S_\theta }(x,y)\) holds.
Proof
Fix \(x=e^{hi}\) and \(y=re^{ki}\) with \(0<h\le k<\theta \) and \(r>0\). Denote \(u=h+k\) and \(q=\inf _{z\in \partial S_\theta }(|x-z|+|z-y|)\). By symmetry, suppose that \(u\le \theta \). Namely, if \(u>\theta \), we could reflect the points x and y over the line \(L(0,e^{\theta i/2})\) so that \(u<\theta \) for the new points, see Remark 3.3. If \(u\le \pi \), then \(q=|\overline{x}-y|=|1-re^{ui}|\); if \(\pi <u\le \min \{\theta ,\pi +2h\}\), \(q=|x|+|y|=1+r\), and if \(u\ge \pi +2h\), \([x,y]\cap \partial S_\theta \ne \varnothing \) and \(q=|x-y|\). Furthermore, \(d_{S_\theta }(x)=\sin (h)\) for \(h\le \pi /2\) and \(d_{S_\theta }(x)=1\) for \(\pi /2<h<\theta /2\). Similarly, \(d_{S_\theta }(y)=r\sin (k)\) for \(k\le \pi /2\), \(d_{S_\theta }(y)=r\) for \(\pi /2<k<\theta -\pi /2\) and \(d_{S_0}(y)=r \sin (\theta -k)\) for \(k\ge \theta -\pi /2\).
It follows from this that there are seven different options for the value of the quotient \(s_{S_\theta }(x,y)/p_{S_\theta }(x,y)\):
The situation of the third quotient (3.16) is shown in Fig. 2.
The conditions \(0<h\le \pi /2\) and \(\pi /2+h<u\le \min \{\theta -\pi /2+h,\pi \}\) of the quotient (3.15) are equivalent to \(\pi /2<u\le \pi \) \(\max \{u-\theta + \pi /2,0\}\le h<u-\pi /2\).By differentiation,
It follows that to minimize the quotient (3.15) with respect to h, we need to choose one of the endpoints of h’s interval: either \(h=\max (u-\theta +\pi /2,0)\) or \(h=u-\pi /2\). With these choices of h, we see that the quotient (3.15) either has the value of 1 or, if \(\max \{\pi /2,\theta -\pi /2\}\le u\le \pi \), it can also become the following quotient instead:
Since it can be proved that the inequality above holds with \(\max \{\pi /2,\theta -\pi /2\}\le u\le \pi \), it follows that the quotient (3.15) is greater than or equal to 1.
Clearly, the quotient (3.16) is greater than or equal to 1 if and only if
Clearly, the left side of the inequality is increasing with respect to u when \(h\le \pi /2\) and \(\pi<u<\min \{\theta -\pi /2+h,\pi +2h\}\). Consequently, we will have
so the value of the quotient (3.16) is at least 1.
Furthermore, the quotient (3.17) is greater than or equal to 1, because trivially \(-\cos (u-2h)+2\ge 1\) for all choices of h, u. The quotient (3.18) is at least 1, too, because it can be shown by differentiation with respect to k that
with \(h\le \pi /2,\,\max \{\theta -\pi /2,\pi -h\}\le k<\min \{\theta -h,\pi +h\}\). Furthermore, if \(\theta -k\le \pi /2\),
from which it follows that the quotient (3.19) is also at least 1. Consequently, we have now checked all the possible cases and the theorem is proved. \(\square \)
Theorem 3.22
For a fixed angle \(\theta \in (\pi ,2\pi )\) and for all \(x,y\in S_\theta \), the sharp inequality
holds.
Proof
Just like in the proof of Theorem 3.13, let us fix \(x=e^{hi}\) and \(y=re^{ki}\) with \(0<h\le k<\theta \) and \(r>0\), denote \(u=h+k\) and let \(u\le \theta \) by symmetry. Let us now go through again all the seven options in the proof of Theorem 3.13, and find their maximum values. Note that \(\sqrt{2}\sin (\theta /4)\ge 1\) for all \(\theta \ge \pi \), so the quotient (3.14) fulfills this inequality trivially.
Recall the differentiation in (3.21). Note that the value \(u/3-\pi /6\) of h is possible within the conditions of the quotient (3.15) if
So to maximize the quotient (3.15), we need to choose \(h=u/3-\pi /6\) if \(\pi /2<u\le \min \{3\theta /2-\pi ,\pi \}\), and \(h=u-\theta +\pi /2>0\) if \(3\theta /2-\pi <u\le \pi \) and \(\theta <4\pi /3\). Since it can be proved by differentiation that both the quotients
are increasing with respect to u and the inequalities
hold, it follows that the quotient (3.15) is at most \(\sqrt{2}\sin (\theta /4)\).
Let us assume that \(0<h<\pi /2\) and that \(\pi<u<\min \{\theta -\pi /2+h,\pi +2h\}\). If \(\pi<\theta -\pi /2+h<\pi +2h\), then \(\max \{3\pi /2-\theta ,\theta 3-\pi /2\}<h<\pi /2\) and the quotient (3.16) is
If \(\pi <\pi +2h\le \theta -\pi /2+h\) instead, then \(0<h<\theta -3\pi /2\) and
Consequently, the quotient (3.16) is less than or equal to \(\sqrt{2}\sin (\theta /4)\).
If \(h\ge \pi /2\) and \(\pi <u\le \min \{\theta ,\pi +2h\}\), then \(0<u-2h\le \min \{\theta -2h,\pi \}\le \theta -\pi \), and the quotient (3.17) is
Denote now \(v=k-h\) so that
The bounds \(h\le \pi /2\), \(\max \{\theta -\pi /2,\pi -h\}\le k<\min \{\theta -h,\pi +h\}\) can be now written as \(\theta -\pi<v<\pi \) and \(\max \{\theta -\pi /2-v,\pi /2-v/2\}\le h\le \theta /2-v/2\). By differentiation,
and
It follows that the quotient (3.18) fulfills
Furthermore, we can see that the inequality in the theorem cannot have a better constant by considering the quotient (3.18) when \(r=1\), \(h=\theta /4\) and \(k\rightarrow 3\theta /4^-\).
By denoting \(u=h+k\), the quotient (3.19) can be written as
where \(\pi<\theta <3\pi /2\), \(\theta -\pi /2<u<\pi \) and \(0<h<u-\theta +\pi /2\). With the same differentiation as in (3.12), we can see that
but, unlike in (3.12), this value of h is the location of a maximum and it is not always included in the values of \(h\in (0,u-\theta +\pi /2)\). Consequently, to maximize the quotient (3.19) with respect to h, we need to choose \(h=\min \{u/2-\theta /4,u-\theta +\pi /2\}\). If \(\pi <\theta \le 4\pi /3\) and \(3\theta /2-\pi \le u\le \pi \), then \(u/2-\theta /4\le u-\theta +\pi /2\) and the quotient (3.19) is majorized by
If \(\pi<\theta <3\pi /2\) and \(\theta -\pi /2<u<\pi \) still but we choose \(h=u-\theta +\pi /2\) instead, then the quotient (3.19) is
Thus, the value of the quotient (3.19) is at most \(\sqrt{2}\sin (\theta /4)\).
Finally, for \(0<h<(\theta -\pi )/\) and \(\pi +h<k<\theta \), the quotient (3.20) fulfills
so our proof is complete. \(\square \)
Theorem 3.23
For a fixed angle \(\theta \in (0,2\pi )\), the following inequalities hold:
-
(1)
\(j^*_{S_\theta }(x,y)\le p_{S_\theta }(x,y)\le \sqrt{2}j^*_{S_\theta }(x,y)\) if \(\theta \in (0,2\pi )\),
-
(2)
\(j^*_{S_\theta }(x,y)\le s_{S_\theta }(x,y)\le \sqrt{2}j^*_{S_\theta }(x,y)\) if \(\theta \in (0,\pi ]\),
-
(3)
\(j^*_{S_\theta }(x,y)\le s_{S_\theta }(x,y)\le 2\sin (\theta /4)j^*_{S_\theta }(x,y)\) if \(\theta \in (\pi ,2\pi )\),
-
(4)
\((\sqrt{2}\cos (\theta /4))^{-1}p_{S_\theta }(x,y)\le s_{S_\theta }(x,y)\le p_{S_\theta }(x,y)\) if \(\theta \in (0,\pi ]\),
-
(5)
\(p_{S_\theta }(x,y)\le s_{S_\theta }(x,y)\le \sqrt{2}\sin (\theta /4)p_{S_\theta }(x,y)\) if \(\theta \in (\pi ,2\pi )\).
Furthermore, the constants are sharp in each case.
Proof
Inequality (1) and its sharpness follow from Theorem 2.1 and Lemmas 3.1 and 3.2. Inequality (2) holds by Theorems 2.3 and its sharpness follows from Lemma 3.1 and the fact that, for \(k=\sin (\min \{\theta /2,\pi /4\})\), \(x=1+ki\) and \(y=1+2k+ki\), the equality \(s_{S_\theta }(x,y)=\sqrt{2}j^*_{S_\theta }(x,y)\) holds. By Theorem 2.2, Lemma 3.1 and Theorem 3.4, the inequality (3) holds and is sharp. The inequality (4) and its sharpness follow from Theorem 3.8, Lemma 3.1 and Theorem 3.9. Finally, the inequality (5) holds and is sharp by Theorems 3.13 and 3.22. \(\square \)
In the limiting case, where \(\theta \rightarrow 0^+\), we obtain the following results for the strip domain \(S_0\).
Theorem 3.24
The following inequalities hold for all \(x,y\in S_0\):
-
(1)
\(j^*_{S_0}(x,y)\le p_{S_0}(x,y)\le \sqrt{2}j^*_{S_0}(x,y)\),
-
(2)
\(j^*_{S_0}(x,y)\le s_{S_0}(x,y)\le \sqrt{2}j^*_{S_0}(x,y)\),
-
(3)
\(p_{S_0}(x,y)/\sqrt{2}\le s_{S_0}(x,y)\le p_{S_0}(x,y)\).
Furthermore, in each case the constants are sharp.
Proof
The inequality (1) and its sharpness follow from Theorem 2.1 and Lemmas 3.1 and 3.2. The inequalities (2) and (3) hold by Theorems 2.3, 3.6 and 3.8. They are sharp, too: For \(x=1+i\) and \(y=3+i\), \(s_{S_0}(x,y)=p_{S_0}(x,y)=\sqrt{2}j^*_{S_0}(x,y)\) and, for \(x=(\pi /4)i\) and \(y=(3\pi /4)i\), \(s_{S_0}(x,y)=j^*_{S_0}(x,y)=p_{S_0}(x,y)/\sqrt{2}\). \(\square \)
4 Hyperbolic Metric in a Sector
The main result of this section is Corollary 4.9 which compares the triangular ratio metric and the hyperbolic metric of a sector domain. To prove it, we construct a conformal self-map of the sector, mapping two points in a general position to a pair of points, symmetric with respect to the bisector of the sector angle. Because conformal maps preserve the hyperbolic distance, under this mapping the hyperbolic distance remains invariant whereas the triangular ratio distance may change. This enables us to reduce the comparison of these two metrics to the case where the points are symmetric with respect to the bisector.
Proposition 4.1
Let \(x,y\in \mathbb {H}^2\) be two distinct points, let L(x, y) be the line through them, and let the angle of intersection between L(x, y) and the real axis be \(\alpha \) and suppose that \(\alpha \in (0,\pi /2)\). Then there are two circles \(S^1(c_1,r_1)\) and \(S^1(c_2,r_2)\), centered at the real axis and orthogonal to each other, such that \(x,y\in S^1(c_1,r_1)\) and \(c_2=L(x,y)\cap \mathbb {R}\).
Proof
First, fix \(\beta =\pi /2+\arg (x-y)\) so that \([x,y]\perp [0,e^{\beta i}]\). Choose now
Let \(r_2\) be such that \(r_1^2+r_2^2=(c_1-c_2)^2\), so that the two circles are orthogonal. \(\square \)
Lemma 4.2
For given two distinct points \(x\,, y \in \mathbb {H}^2\), there exists a Möbius transformation \(g:\mathbb {H}^2\rightarrow \mathbb {H}^2\) such that \(|g(x)|=|g(y)| =1\) and \(\mathrm{Im}(g(x)) = \mathrm{Im}(g(y))\,.\)
-
(1)
If \(\mathrm{Im}(x) = \mathrm{Im}(y)\,,\) then \(g(z)=(z-a)/r\) where \(a= \mathrm{Re}((x+y)/2)\) and \(r =|x-a|\,.\)
-
(2)
If \(\mathrm{Re}(x) = \mathrm{Re}(y) =a\,\) and \(r=\sqrt{\mathrm{Im}(x) \mathrm{Im}(y)}\), then g is the Möbius transformation fulfilling \(g(a-r)=0\), \(g(a)=1\) and \(g(a+r) =\infty \).
-
(3)
In the remaining case, the angle \(\alpha =\measuredangle (L(x,y),\mathbb {R})\) belongs to \((0,\pi /2)\). Let \(S^1(c_1,r_1)\) and \(S^1(c_2,r_2)\) be as in Proposition 4.1. Then g is determined by \(g(B^2(c_1,r_1)\cap \mathbb {H}^2)=\mathbb {B}^2\cap \mathbb {H}^2\,,\) \(g(c_1-r_1)=-1\), \(g(c_1+r_1)=1\) and \(g(S^1(c_2,r_2)\cap \mathbb {H}^2)=\{yi\text { }|\text { }y>0\}\).
Proof
-
(1)
This case is obvious.
-
(2)
Since \(g(S^1(a,r))\) is the imaginary axis, \(g(\{z\text { }|\text { }\mathrm{Re}(z)=a\})=S^1(0,1)\) and, because \(S^1(a,r)\) passes through the hyperbolic midpoint of the segment J[x, y] [7, pp. 52-53], it follows that the required conditions hold.
-
(3)
There are two possible cases. If \(c_1-r_1<c_2-r_2<c_1+r_1\), the transformation g fulfills \(g(u)=0\) for \(u=c_2-r_2\) and is given by
$$\begin{aligned} g(z)=\frac{r_1(z+r_2-c_2)}{(c_1+r_2-c_2)z+r_1^2+c_1c_2-c_1^2-c_1r_2}. \end{aligned}$$(4.3)See Fig. 3. Otherwise \(c_1-r_1<c_2+r_2<c_1+r_1\), g is given by the formula (4.3), substituting \(r_2\) with \(-r_2\), and it holds that \(g(c_2+r_2)=0\). \(\square \)
Circles \(S^1(c_1,r_1)\) and \(S^1(c_2,r_2)\) before and after the transformation g of Lemma 4.2
Remark 4.4
The proof of Lemma 4.2 shows that the circle \(S^1(c_2,r_2)\) bisects the hyperbolic segment J[x, y] joining x and y in \(\mathbb {H}^2\).
Lemma 4.5
For all \(\theta \in (0,2\pi )\) and \(x,y\in S_\theta \), there exists a conformal mapping \(f:S_\theta \rightarrow S_\theta \) such that \(f(x)=e^{(1-k)\theta i/2}\) and \(f(y)=e^{(1+k)\theta i/2}\) for some \(k\in (0,1)\). Furthermore,
Proof
Let \(h:S_\theta \rightarrow \mathbb {H}^2\) be the conformal map \(h(z)=z^{\pi /\theta }\) for all \(z\in S_\theta \). By Lemma 4.2, we find a Möbius transformation \(g:\mathbb {H}^2\rightarrow \mathbb {H}^2\) such that \(|g(h(x))|=|g(h(y))|=1\) and Im\((g(h(x)))=\)Im(g(h(y))). It follows that the points \(h^{-1}(g(h(x)))\) and \(h^{-1}(g(h(y)))\) are \(e^{(1-k)\theta i/2}\) and \(e^{(1+k)\theta i/2}\), respectively, for some \(k\in (0,1)\). Thus, we can always form a suitable conformal map \(f=h^{-1}\circ g\circ h\), and the latter part of the assertion follows from the conformal invariance of the hyperbolic metric. \(\square \)
Theorem 4.6
For a fixed angle \(\theta \in (0,\pi )\) and for all \(x,y\in S_\theta \), the sharp inequality \(s_{S_\theta }(x,y)\le \mathrm{th}(\rho _{S_\theta }(x,y)/2)\le (\pi /\theta )\sin (\theta /2) s_{S_\theta }(x,y)\) holds.
Proof
Consider the quotient
By Lemma 4.5, we can choose points so that \(x=e^{(1-k)\theta i/2}\) and \(y=e^{(1+k)\theta i/2}\), where \(k\in (0,1)\) without loss of generality. It follows that the quotient (4.7) is
which is decreasing with respect to k. Thus, the extreme values of the quotient are
\(\square \)
Theorem 4.8
For a fixed angle \(\theta \in (\pi ,2\pi )\) and for all \(x,y\in S_\theta \), the sharp inequality
holds.
Proof
Just like in the proof of Theorem 4.6, we can fix \(x=e^{(1-k)\theta i/2}\) and \(y=e^{(1+k)\theta i/2}\) with \(0<k<1\). The quotient (4.7) is
depending on if \(k<\pi /\theta \) or not. It has a minimum value
and a maximum value \(\lim _{k\rightarrow 1^-}\sin (k\pi /2)=1\). \(\square \)
Corollary 4.9
For a fixed angle \(\theta \in (0,2\pi )\) and for all \(x,y\in S_\theta \), the following results hold:
-
(1)
\(s_{S_\theta }(x,y)\le \mathrm{th}(\rho _{S_\theta }(x,y)/2)\le (\pi /\theta )\sin (\theta /2) s_{S_\theta }(x,y)\) if \(\theta \in (0,\pi )\),
-
(2)
\(s_{S_\theta }(x,y)=\mathrm{th}(\rho _{S_\theta }(x,y)/2)\) if \(\theta =\pi \),
-
(3)
\((\pi /\theta )s_{S_\theta }(x,y)\le \mathrm{th}(\rho _{S_\theta }(x,y)/2)\le s_{S_\theta }(x,y)\) if \(\theta \in (\pi ,2\pi )\).
Furthermore, these bounds are also sharp.
Proof
Follows from Theorems 4.6 and 4.8, and from [4, Rmk. 2.9 p. 687]. \(\square \)
Corollary 4.10
For a fixed angle \(\theta \in (0,2\pi )\) and for all \(x,y\in S_\theta \), the following results hold:
-
(1)
\(j^*_{S_\theta }(x,y)\le \mathrm{th}(\rho _{S_\theta }(x,y)/2)\le \sqrt{2}(\pi /\theta )\sin (\theta /2) j^*_{S_\theta }(x,y)\) if \(\theta \in (0,\pi )\),
-
(2)
\(j^*_{S_\theta }(x,y)\le \mathrm{th}(\rho _{S_\theta }(x,y)/2)\le \sqrt{2}j^*_{S_\theta }(x,y)\) if \(\theta =\pi \),
-
(3)
\((\pi /\theta )j^*_{S_\theta }(x,y){\le } \mathrm{th}(\rho _{S_\theta }(x,y)/2){\le }2\sin (\theta /4) j^*_{S_\theta }(x,y)\) if \(\theta {\in }(\pi ,2\pi )\).
Proof
Follows from Theorem 3.23 and Corollary 4.9. \(\square \)
Corollary 4.11
For a fixed angle \(\theta \in (0,2\pi )\) and for all \(x,y\in S_\theta \), the following results hold:
-
(1)
\(p_{S_\theta }(x,y)/(\sqrt{2}\cos (\theta /4))\le \mathrm{th}(\rho _{S_\theta }(x,y)/2)\le (\pi /\theta )\sin (\theta /2) p_{S_\theta }(x,y)\) if \(\theta \in (0,\pi )\),
-
(2)
\(p_{S_\theta }(x,y)=\mathrm{th}(\rho _{S_\theta }(x,y)/2)\) if \(\theta =\pi \),
-
(3)
\((\pi /\theta )p_{S_\theta }(x,y)\le \mathrm{th}(\rho _{S_\theta }(x,y)/2)\le \sqrt{2}\sin (\theta /4) p_{S_\theta }(x,y)\) if \(\theta \in (\pi ,2\pi )\).
Proof
Follows from Theorem 3.23, Corollary 4.9 and [4, Rmk. 2.9 p. 687]. \(\square \)
Theorem 4.12
For all \(x,y\in S_0\), the sharp inequality
holds.
Proof
First, note that there is a conformal mapping \(h:S_0\rightarrow \mathbb {H}^2\), \(h(z)=e^z\). By using the Möbius transformation g of Lemma 4.2, we can create a conformal mapping \(f=h^{-1}\circ g\circ h:S_0\rightarrow S_0\) such that \(f(x)=(1-k)\pi i/2\) and \(f(y)=(1+k)\pi i/2\) for some \(k\in (0,1)\). Just like in the proof of Lemma 4.5, it follows that
Consider now the quotient
Clearly, \(s_{S_0}(f(x),f(y))=s_{S_0}((1-k)\pi i/2,(1+k)\pi i/2)=k\). Furthermore,
The quotient on the right hand side of (4.13) is therefore \(\sin (k\pi /2)/k\). By differentiation, it can be shown that this result is decreasing with regards to k, so its minimum value is \(\lim _{k\rightarrow 1^-}(\sin (k\pi /2)/k)=1\) and its maximum value \(\lim _{k\rightarrow 0^+}(\sin (k\pi /2)/k)=\pi /2\). \(\square \)
Corollary 4.14
For all \(x,y\in S_0\), the following inequalities hold:
-
(1)
\(j^*_{S_0}(x,y)\le \mathrm{th}(\rho _{S_0}(x,y)/2)\le (\pi /\sqrt{2})j^*_{S_0}(x,y)\),
-
(2)
\(p_{S_0}(x,y)/\sqrt{2}\le \mathrm{th}(\rho _{S_0}(x,y)/2)\le (\pi /2)p_{S_0}(x,y)\).
Proof
Follows from Theorems 3.24(2), 3.24(3) and 4.12. \(\square \)
Remark 4.15
The inequalities of Theorem 4.12 and Corollary 4.14 are the same as the inequalities of Corollaries 4.9, 4.10 and 4.11 when \(\theta \rightarrow 0^+\).
5 Triangular Ratio Metric in Quasiconformal Mappings
The main result of this section and the whole paper is Corollary 5.11. First, we introduce a general result related to the triangular ratio metric under quasiconformal mappings and then we develop it further with the inequalities of Corollary 4.9. At the end of this section, we also consider the triangular ratio metric under a conformal mapping between sectors. The behaviour of the triangular ratio metric under Möbius transformations and quasiconformal mappings has been studied earlier; see [4, Thms. 1.2 & 1.3 p. 684; Cor. 3.30 & Thm. 3.31 p. 697], [8, Thm. 4.7 p. 1144; Thm. 4.9 p. 1146].
For the definition and basic properties of K-quasiconformal homeomorphisms, the reader is referred to [18, Ch. 2]. We start with two preliminary results.
Lemma 5.1
For all \(t\in (0,1)\) and \(d\ge 1\), the inequality \(\mathrm{th}(d\mathrm{arth}(t))\le dt\) holds.
Proof
For all \(t>0\), \(\text {th}(t)/t\) is decreasing. This is because, by differentiation,
which clearly holds since \(\text {ch}(t)\ge \text {sh}(t)\ge t\) for \(t>0\). It follows from this that
\(\square \)
Lemma 5.2
For all \(t\in (0,1)\) and \(c\ge K\ge 1\),
where \(d=2(c /2)^K\).
Proof
The function \(h(\alpha )=\text {th}(u^\alpha )^{1/\alpha }\), where \(u>0\) is fixed, is increasing for \(\alpha >0\) because, by differentiation,
It follows that
Clearly, \(A\le \text {th}(\text {arth}(t))^{1/K}=t^{1/K}\) if \(d\in (0,1]\). If \(d>1\) instead, by Lemma 5.1, \(A\le d^{1/K}t^{1/K}\). \(\square \)
Theorem 5.3
The function
where \(t\in (0,1)\), \(K\ge 1\) and \(C\ge 1\), fulfills \(H(t)\le Ct^{1/K}\) and is thus Hölder continuous with exponent \(1/K\).
Proof
Observe first that
If \(t\in (0,t_1)\), by Lemma 5.2,
If \(t\in [t_1,1)\) instead, by Lemma 5.1,
Thus, the inequality \(H(t)\le Ct^{1/K}\) holds for all \(t\in (0,1)\). \(\square \)
In order to understand the following results, consider the definition of a quasiregular mapping.
5.4
K-quasiregular mappings. [7, pp. 288–289] Choose a domain \(G\subset \mathbb {R}^n\), and suppose that a function \(f:G\rightarrow \mathbb {R}^n\) is \(\mathrm{ACL}^n\), which is defined, for instance, in [7, p. 150]. Denote the Jacobian determinant of f at point \(x\in G\) by \(J_f(x)\). The function f is called quasiregular, if there exists a constant \(K\ge 1\) such that f fulfills
a.e in G. Furthermore, the smallest constant \(K\ge 1\) for which the inequality (5.5) holds, is the outer dilatation of f, denoted by \(K_O(f)\). Similarly, the inner dilatation of f, denoted by \(K_I(f)\), is the smallest constant \(K\ge 1\) such that the inequality
holds a.e in G. The function f is now K-quasiregular, if \(\max \{K_I(f),K_O(f)\}\le K\).
Define a decreasing homeomorphism \(\gamma _2:(1,\infty )\rightarrow (0,\infty )\) with the following formulas [7, (7.18), p. 122]
Define then an increasing homeomorphism \(\varphi _{K,2}:[0,1]\rightarrow [0,1]\), [7, (9.13), p. 167]
Now, we can denote
as in [7, Thm. 16.39, p. 313].
Remark 5.7
By [7, Thm. 16.39, p. 313],
and, in particular, \(c(K)\rightarrow 1\), when \(K\rightarrow 1\).
The main results of this section are based on the following recent form of the quasiregular Schwarz lemma:
Theorem 5.8
[7, Thm. 16.39, p. 313], [19] If \(f:\mathbb {B}^2\rightarrow \mathbb {B}^2\) is a K-quasiregular and non-constant mapping, then
for all \(x,y\in \mathbb {B}^2\) where c(K) is as in (5.6).
Note that Theorem 5.8 trivially holds also if we replace the unit disks by two simply connected planar domains \(G_1,G_2\subsetneq \mathbb {R}^2\). Namely, by Riemann’s mapping theorem, there exists a conformal mapping \(h:G\rightarrow \mathbb {B}^2=h(G)\) for any simply connected planar domain G and the inverse mapping of any conformal mapping is conformal, too. Since the hyperbolic metric is conformally invariant, using these mappings to map some simply connected planar domain onto the unit disk and vice versa does not change the hyperbolic distances between the points. Furthermore, Theorem 5.8 holds for quasiconformal mappings, too, because the sense-preserving K-quasiconformal mappings form a subclass of K-quasiregular mappings [7, Rmk. 15.30 & (15.6), p. 289], [18, p. VI] and, for every sense-reversing K-quasiconformal mapping f, the function composition \(\sigma \circ f\) of f and any reflection \(\sigma \) is a sense-preserving K-quasiconformal mapping and the hyperbolic distances do not change under reflection \(\sigma \).
Consequently, Theorem 5.8 can be written as:
Theorem 5.9
Let \(G_1\) and \(G_2\) be simply-connected domains in \(\mathbb {R}^2\) and \(f:G_1\rightarrow G_2=f(G_1)\) a \(K-\)quasiconformal homeomorphism. Then
for all \(x,y\in G_1\).
Corollary 5.10
Let \(G_1\) and \(G_2\) be simply-connected domains in \(\mathbb {R}^2\) and \(f:G_1\rightarrow G_2=f(G_1)\) a K-quasiconformal homeomorphism. Suppose that there exist \(A,B\in (0,\infty )\) so that \(As_{G_2}(u,v)\le \mathrm{th}(\rho _{G_2}(u,v)/2)\) for all \(u,v\in G_2\) and \(\mathrm{th}(\rho _{G_1}(x,y)/2)\le Bs_{G_1}(x,y)\) for all \(x,y\in G_1\). Then, for all \(x,y\in G_1\),
Proof
By Theorem 5.9,
and, applying Theorem 5.3 with \(C=c(K)\), we will have
\(\square \)
Corollary 5.11
If \(\alpha ,\beta \in (0,2\pi )\) and \(f:S_\alpha \rightarrow S_\beta =f(S_\alpha )\) is a K-quasiconformal homeomorphism, the following inequalities hold for all \(x,y\in S_\alpha \).
Proof
Follows from Corollaries 4.9 and 5.10, and the fact that the inverse mapping \(f^{-1}\) of a K-quasiconformal mapping f is another K-quasiconformal mapping with the same constant c(K). \(\square \)
Corollary 5.12
If \(f:\mathbb {H}^2\rightarrow \mathbb {H}^2=f(\mathbb {H}^2)\) is a K-quasiconformal homeomorphism,
Proof
Follows from Corollary 5.11, or directly from Corollary 5.10 and the fact that, in the upper half-plane, th\((\rho _{\mathbb {H}^2}(x,y)/2)=s_{\mathbb {H}^2}(x,y)\). \(\square \)
Remark 5.13
Note that the inequality in Corollary 5.12 reduces to an identity if \(K=1\).
Corollary 5.14
If \(\theta \in (0,2\pi )\) and \(f:S_0\rightarrow S_\theta =f(S_0)\) is a K-quasiconformal homeomorphism, the following inequalities hold for all \(x,y\in S_0\).
Proof
Follows from Corollary 4.9, Theorem 4.12 and Corollary 5.10. \(\square \)
Lemma 5.15
If \(\alpha ,\beta \in (0,\pi ]\) and \(f:S_\alpha \rightarrow S_\beta \), \(f(z)=z^{(\beta /\alpha )}\), then for all \(x,y\in S_\alpha \)
Furthermore, the constants here are sharp.
Proof
By symmetry, we can suppose that \(\arg (x)\le \arg (y)\) and \(\arg (x)\le \alpha -\arg (y)\). It follows that
Consider now the quotient
By Lemma 4.5, there exists a conformal mapping \(h:S_\alpha \rightarrow S_\alpha \) such that \(h(x)=e^{(1-k)\alpha i/2}\) and \(h(y)=e^{(1+k)\alpha i/2}\) for some \(k\in (0,1)\), and the quotient (5.16) is invariant to this transformation. Thus, we can fix \(x=e^{(1-k)\alpha i/2}\) and \(y=e^{(1+k)\alpha i/2}\). Now, \(f(x)=e^{(1-k)\beta i/2}\) and \(f(y)=e^{(1+k)\beta i/2}\), so it follows that the quotient (5.16) is
By differentiation, it can be proved that this quotient is monotonic with respect to k, and its extreme values are therefore
It only depends on whether \(\alpha \le \beta \) or not, which one of these extreme values is the minimum and which one the maximum, so our theorem follows. \(\square \)
Change history
18 July 2022
Missing Open Access funding information has been added in the Funding Note.
References
Aksoy, A.G., Ibragimov, Z., Whiting, W.: Averaging one-point hyperbolic-type metrics. Proc. Am. Math. Soc. 146(12), 5205–5218 (2018)
Beardon, A.F., Minda, D.: The hyperbolic metric and geometric function theory. In: Ponnusamy, S., Sugawa, T., Vuorinen, M. (eds.) Proceedings of International Workshop on Quasiconformal Mappings and their Applications (IWQCMA05), pp. 9–56 (2006)
Buckley, S., Herron, D.: Quasihyperbolic geodesics are hyperbolic quasi-geodesics. J. Eur. Math. Soc. 22(6), 1917–1970 (2020)
Chen, J., Hariri, P., Klén, R., Vuorinen, M.: Lipschitz conditions, triangular ratio metric, and quasiconformal maps. Ann. Acad. Sci. Fenn. Math. 40, 683–709 (2015)
Fujimura, M., Mocanu, M., Vuorinen, M.: Barrlund’s distance function and quasiconformal maps. Complex Var. Elliptic Equ. 66(8), 1225–1255 (2021)
Gehring, F.W., Hag, K.: The ubiquitous quasidisk, vol. 184 of Mathematical Surveys and Monographs. American Mathematical Society, Providence, RI (2012) (With contributions by Ole Jacob Broch)
Hariri, P., Klén, R., Vuorinen, M.: Conformally Invariant Metrics and Quasiconformal Mappings. Springer, Springer Monographs in Mathematics (2020)
Hariri, P., Vuorinen, M., Zhang, X.: Inequalities and bilipschitz conditions for triangular ratio metric. Rocky Mt. J. Math. 47(4), 1121–1148 (2017)
Hästö, P.: A new weighted metric, the relative metric I. J. Math. Anal. Appl. 274, 38–58 (2002)
Hästö, P., Ibragimov, Z., Minda, D., Ponnusamy, S., Sahoo, S.K.: Isometries of some hyperbolic-type path metrics, and the hyperbolic medial axis. In the tradition of Ahlfors-Bers, IV. Contemp. Math. 432, 63–74 (2007)
Herron, D., Ibragimov, Z., Minda, D.: Geodesics and curvature of Möbius invariant metrics. Rocky Mt. J. Math. 38(3), 891–921 (2008)
Herron, D., Julian, P.: Blaschke’s rolling ball property and conformal metric ratios. Rocky Mt. J. Math. 47(1), 161–184 (2017)
Papadopoulos, A.: Metric spaces, convexity and non-positive curvature, second ed., vol. 6 of IRMA Lectures in Mathematics and Theoretical Physics. European Mathematical Society (EMS), Zürich (2014)
Rainio, O.: Intrinsic metrics under conformal and quasiregular mappings. Publ. Math. Debr. (to appear in 2022). arXiv:2103.04397
Rainio, O.: Intrinsic quasi-metrics. Bull. Malays. Math. Sci. Soc. 44(5), 2873–2891 (2021)
Rainio, O., Vuorinen, M.: Triangular ratio metric in the unit disk. Complex Var. Elliptic Equ. (to appear). https://doi.org/10.1080/17476933.2020.1870452. arXiv:2009.00265
Rasila, A., Talponen, J., Zhang, X.: Observations on quasihyperbolic geometry modeled on Banach spaces. Proc. Am. Math. Soc. 146(9), 3863–3873 (2018)
Väisälä, J.: Lectures on \(n\)-dimensional quasiconformal mappings. In: Lecture Notes in Mathematics, Vol. 229 (Springer, Berlin, 1971)
Wang, G., Vuorinen, M.: The visual angle metric and quasiregular maps. Proc. Am. Math. Soc. 144(11), 4899–4912 (2016)
Acknowledgements
The authors would like to thank the referees for their useful and detailed corrections.
Funding
Open access funding provided by University of Turku (UTU) including Turku University Central Hospital.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Thomas Ransford.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Missing Open Access funding information has been added in the Funding Note.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Rainio, O., Vuorinen, M. Triangular Ratio Metric Under Quasiconformal Mappings in Sector Domains. Comput. Methods Funct. Theory 23, 269–293 (2023). https://doi.org/10.1007/s40315-022-00447-3
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s40315-022-00447-3