Abstract
Due to the invariance properties of cross-ratio, Möbius transformations are often used to map a set of points or other geometric object into a symmetric position to simplify a problem studied. However, when the points are mapped under a Möbius transformation, the distortion of the Euclidean geometry is rarely considered. Here, we identify several cases where the distortion caused by this symmetrization can be measured in terms of the Lipschitz constant of the Möbius transformation in the Euclidean or the chordal metric.
Similar content being viewed by others
1 Introduction
Symmetry is an important property considered by many mathematicans working in various areas of research, including classical analysis, geometry, and solutions to extremal problems [3, 4, 6, 7]. Problem-specific methods have been introduced with the purpose of transforming objects into symmetric ones [3]. Another use of symmetry is to reduce some complicated problem to its special case which exhibits symmetry and is therefore easier to solve than the original question.
For quadruples of points on the complex plane, a symmetrization can be performed by means of a Möbius transformation. The use of Möbius transformations is in fact a standard tool in classical function theory. However, while there are several metrics, such as the hyperbolic metric, that are invariant with respect to the Möbius transformations, these mappings affect the Euclidean distances between the complex points considered. Our aim is to analyze "cost" of the symmetrization due to distortion under Möbius transformations, measured in terms of Lipschitz constants. These Lipschitz constants can then be formulated with respect to Euclidean, hyperbolic, or chordal geometry.
We consider symmetrization of quadruples of points in several cases, under various constraints of the location of the points of the quadruple \(\{a,b,c,d\}.\) In the most general case, we find a Möbius transformation h mapping the quadruple onto the quadruple \(\{-1,-y,y,1\}\) symmetric with respect to the origin. For any such Möbius transformation h, it seems natural to call \(h^{-1}(0)\) a Möbius center of the quadruple. We give an explicit formula for such a Möbius center.
Theorem 1.1
Let h be the Möbius transformation of \(\overline{\mathbb {R}}^2\) that maps distinct points \(a,b,c,d\in \mathbb {R}^2\) onto \(-1,y,-y,1\), respectively. If a, b, c, d are collinear and \(|a-b|=|c-d|\), then \(h^{-1}(0)=(a+d)/2\). Otherwise,
where y is as in Lemma 4.2.
The structure of this paper is as follows. In Sect. 3, we study a certain chordal isometry and related Lipschitz constants of the chordal metric. In Sect. 4, we find a Möbius transformation for the symmetrization of any four distinct points on the complex plane and prove Theorem 1.1. In Sect. 5, we introduce three normalization methods for a pair of points in the unit disk and, in Sect. 6, we consider the symmetrization of quadruples of points on the unit circle.
2 Preliminaries
Let us first introduce the notations used in this paper. For a dimension \(n\ge 0\), \(e_n\) is the nth unit vector of the real space \(\mathbb {R}^n\), \(\mathbb {B}^n\) is the unit ball, and \(S^{n-1}\) is the unit sphere. For a point \(x\in \mathbb {R}^n\) and a radius r, let \(B^n(x,r)=\{y\in \mathbb {R}^n:\;|x-y|<r\}\) and \(S^{n-1}(x,r)=\{y\in \mathbb {R}^n:\;|x-y|=r\}\). For any point \(x\in \mathbb {C}\), denote its complex conjugate by \({\overline{x}}\). For two distinct points \(x,y\in \mathbb {R}^n\), let L(x, y) be the Euclidean line passing through them. Denote the extended real space by \(\overline{\mathbb {R}}^n=\mathbb {R}^n\cup \{\infty \}\).
The intersection point of two non-parallel lines L(a, b) and L(c, d) is given by [11, Ex. 4.3(1), p. 57 & p. 373]
If the four points a, b, c, d are on the unit circle, then we have \({\overline{z}}=1/z\) for \(z\in \{a,b,c,d\}\) and the formula (2.1) can be simplified as in the following proposition.
Proposition 2.2
[12, p.13] If a, b, c, d are four distinct complex points on the unit circle \(S^1\) chosen so that the lines L(a, b) and L(c, d) are non-parallel, then the complex conjugate \({\overline{f}}\) of the intersection point f of the lines L[a, c] and L[b, d] is
Proposition 2.3
Let \(a,b \in {\mathbb {C}}\) with \(|a|\ne |b|, |a||b| \ne 1.\) Then
Proof
The proof follows from (2.1). \(\square \)
Proposition 2.4
Let \(a,b \in {\mathbb {B}}^2\) be points non-collinear with 0 and \(c=\textrm{LIS}[a,b,0, i(a-b)].\) Then \(L[a,b]\cap S^1 =\{a_1,b_1\}\) where
and \(a_1,a,b,b_1\) are ordered in such a way that \(|a_1-a|<|a_1-b|.\)
Proof
The proof follows from (2.1). \(\square \)
2.5
Möbius transformations. [11, Ex. 3.2, pp. 25-26 & Def. 3.6, p. 27] For any \(t\in \mathbb {R}\) and \(u\in \mathbb {R}^n\backslash \{0\}\), the hyperplane perpendicular to the vector u and at distance \(t/|u|\) from the origin is
where \(\cdot \) denotes the dot product. The reflection in this hyperplane is defined by the function \(h:\overline{\mathbb {R}}^n\rightarrow \overline{\mathbb {R}}^n\),
Define then the inversion in \(S^{n-1}(v,r)\) as \(g:\overline{\mathbb {R}}^n\rightarrow \overline{\mathbb {R}}^n\),
A Möbius transformation is a function \(f:\overline{\mathbb {R}}^n\rightarrow \overline{\mathbb {R}}^n\) that can be defined as a function composition \(f=h_1\circ \cdots \circ h_m\) with an integer \(m\ge 1\) so that each \(h_j\), \(j=1,...,m\), is either a reflection in some hyperplane or an inversion in a sphere. The Möbius transformation is called sense-preserving when m here is even and sense-reversing when m is odd. By Liouville’s theorem, any conformal mapping with a domain in \(\mathbb {R}^n\), \(n\ge 3\), is a Möbius transformation in \(\overline{\mathbb {R}}^n\) restricted to this domain [11, Rmk 3.44, p. 47].
In the two-dimensional case, the expression of a sense-preserving Möbius transformation can be written as
The expression of the sense-reversing Möbius transformation can be obtained by replacing z by \({\overline{z}}\) in (2.6). The special Möbius transformation
maps the unit disk \({\mathbb {B}}^2\) onto itself with \(T_a(a) =0, T_a( \pm a/|a|)= \pm a/|a|\,.\)
Ahlfors [1] gave the following factorization for \(T_a\), \(a\in \mathbb {B}^2\setminus \{0\}\), as a composition of an inversion followed by a reflection which is given here in the complex notation. Denote \(a^*=a/|a|^2\). Let \(r=\sqrt{|a|^{-2}-1}\) and \(\sigma _a\) be the inversion in the circle \(S^1(a^*,r)\) orthogonal to the unit circle \(S^1\). Then \(\sigma _{a}(a)=0\) and \(\sigma _a(a^*)=\infty .\) Let \(p_a\) be the reflection over the line through 0 and perpendicular to a. Then both \(\sigma _a\) and \(p_a\) are sense-reversing transformations and their composite transformation \(T_a\) in (2.7) is a sense-preserving Möbius transformation with the decomposition
Clearly, \(p_a\) is a Euclidean isometry and hence the information about distance distortion under \(T_a\) is due to the mapping \(\sigma _a.\) Moreover, for \(a,b\in {{\mathbb {B}}}^2 {\setminus } \{0\}\,, |a|\ne |b|,\) a Möbius transformation \(T_{a,b}: \mathbb {B}^2\rightarrow \mathbb {B}^2\) with \( T_{a,b}(a) = b\) is given by
The above simple formula for the point c follows from Proposition 2.3(2) for the intersection of two lines \( c=\textrm{LIS}[a,b,a^*,b^*]. \) For \(a,b\in \mathbb {B}^2{\setminus }\{0\}\), the Möbius transformation \(T_{a,b}\) is a reflection over the line L(0, b) composed with the inversion in \(S^1(c,r)\) where \(r=\sqrt{|c|^2-1}\) so that \(S^1(c,r)\) is orthogonal to the unit circle. See Fig. 1.
Theorem 2.9
Let \(T_a\) and \(T_{a,b}\) be the above Möbius transformations (2.8). Then
and
where the Lipschitz constant are defined for the Euclidean metric.
Proof
The formula (2.10) was proved in [5, p. 43]. The second part follows from (2.8). \(\square \)
2.12
Hyperbolic geometry. Denote hyperbolic sine, cosine and tangent by sh, ch, and th, respectively. The hyperbolic metric \(\rho _{\mathbb {B}^n}\) in the unit ball \(\mathbb {B}^n\) is defined by
and, if \(n=2\), this is equivalent to
where A[x, y] is the Ahlfors bracket [2, 7.37]
We denote the hyperbolic line through \(x,y\in \mathbb {B}^2\) by \(J^*[x,y]\). If x, y are collinear with the origin, the line \(J^*[x,y]\) is a diameter of the unit disk and, otherwise, an arc of the circle that passes through x, y and is orthogonal to the unit circle [5]. For \(x,y\in \mathbb {B}^2\setminus \{0\}\), the end points of the hyperbolic line \(J^*[x,y]\) can be expressed as ep(x, y) and ep(y, x) where
Define then the absolute ratio of any four distinct points \(a,b,c,d\in \mathbb {R}^n\) as [5]
The hyperbolic metric fulfills
which shows that the hyperbolic metric is invariant under Möbius transformations of the unit disk onto itself.
Theorem 2.19
[13, Thm 1.4, p. 126] For given \(x,y\in \mathbb {B}^2\), the hyperbolic midpoint \(z\in \mathbb {B}^2\) with \(\rho _{\mathbb {B}^2}(x,z)=\rho _{\mathbb {B}^2}(y,z)=\rho _{\mathbb {B}^2}(x,y)/2\) is given by
2.21
Chordal geometry. Define the stereographic projection \(\ \pi :\overline{\mathbb {R}}^2\rightarrow S^2(\frac{1}{2} e_3,\frac{1}{2} )\), \(e_3=(0,0,1)\), as [11, (3.4), p. 28]
The mapping \(\pi \) is now the restriction to \(\overline{\mathbb {R}}^2\) of the inversion in \(S^2(e_3,1)\) and, since \(f^{-1}=f\) for every inversion f, \(\pi \) maps the “Riemann sphere” \(S^2(\frac{1}{2} e_3,\frac{1}{2} )\) onto \(\overline{\mathbb {R}}^2\). By using the stereographic projection \(\pi \), we can define the spherical (chordal) metric q in \(\overline{\mathbb {R}}^2\) as [11, (3.5), p. 29]
which can be extended to the n-dimensional case so that [11, (3.6), p. 29]
For \(x\in \mathbb {R}^n\) and \(r>0\), denote the chordal ball by \(B_q(x,r)=\{y\in \mathbb {R}^n:\;q(x,y)<r\}\).
3 Lipschitz constants in chordal metric
In this section, we introduce an isometry \(t_m\) of the chordal metric. Note that, while the mapping \(T_a\) is an isometry for the hyperbolic metric, it is not a chordal isometry. However, our computer tests suggest that it has the following Lipschitz constant.
Conjecture 3.1
For \(a\in \mathbb {B}^n\), the Lipschitz constant of the mapping \(T_a\) in the chordal metric is
It is well-known that \((1+|a|)/(1-|a|)\) is also the Lipschitz constant \(Lip(T_a|\mathbb {B}^n)\) for the Euclidean metric, as stated in Theorem 2.9.
Let us then define the chordal isometry. Recall the notation \(a^*\) for \(a\in \mathbb {R}^2\setminus \{0\}\) and \(p_a\) from Subsection 2.5. Let \(s_a\) be the inversion in the circle \(S^1(-a^*,\sqrt{1+|a|^{-2}})\). Now, we can define a chordal isometry as [11, (3.23), p. 40]
Trivially, \(t_a\) is a Möbius transformation and it satisfies \(t_a(a)=0\). In fact, we have the following formula [11, (B.9), p. 459]
Furthermore, we have [11, (B.10), p. 459]
Theorem 3.3
[8, Thm 5.12] For \( a,b\in \mathbb {R}^2\), the chordal midpoint m is given by
We see from the above formula that, if \(a,b\in {\mathbb {B}}^2\), their chordal midpoint \(m\in \mathbb {B}^2\).
Corollary 3.4
For \(a,b\in \mathbb {R}^2\), let m be their chordal midpoint as in Theorem 3.3. Then the chordal isometry \(t_m:\overline{\mathbb {R}}^2\rightarrow \overline{\mathbb {R}}^2\) has the formula
Furthermore, we have
Proof
The result follows by inputting m as in Theorem 3.3 into \(t_m(z)=(z-m)/(1+{\overline{m}}z)\). \(\square \)
4 Möbius symmetrization
In this section, we prove a few results related to using a Möbius transformation for the symmetrization of quadruples of points on the complex plane.
Lemma 4.1
[11, Lemma 3.17, p. 34] Let f be a Möbius transformation of \(\overline{\mathbb {R}}^n\) that maps a quadruple 0, \(e_1\), x, and \(\infty \) of distinct points onto the quadruple \(-e_1\), y, \(-y\), and \(e_1\), respectively, such that \(|y|\le 1\). Then
where \(t=\sqrt{(1+|x|)^2-|x-e_1|^2}\).
Lemma 4.2
For four distinct points \(a,b,c,d\in \mathbb {R}^2\), let h be the Möbius transformation of \(\overline{\mathbb {R}}^2\) that maps a, b, c, d onto \(-1,y,-y,1\), respectively, for some point \(y\in \mathbb {R}^2\). If a, b, c, d are collinear and \(|a-b|=|c-d|\), then
Otherwise,
where
The two possible solutions for y above are reciprocal numbers so we can choose y so that \(|y|<1\) in this case.
Proof
First, if a, b, c, d are collinear and satisfy \(|a-b|=|c-d|\), then h is a linear map and can be written \(h(z)=uz+v\). Since
we have
Thus, the first part of the lemma follows.
Next, let us consider the other case. We may assume that \(h(z)=\dfrac{pz+q}{z+s}\) since h is clearly not a linear map. From the conditions \(h(a)=-1,\ h(b)=y,\ h(c)=-y,\ h(d)=1\), we obtain
Calculating (4.3)+(4.6), (4.3)-(4.6), (4.4)+(4.5), and (4.4)-(4.5) results in the following equations, respectively:
By eliminating q from (4.7) and (4.9), we have
Similarly, by eliminating p from (4.7) and (4.9), we have
By eliminating s from (4.8) and (4.10), we have
Elimination of p from (4.8) and (4.10) gives us
Finally, by eliminating p from \( Y_1=0 \) and \(Y_2=0\), we have
which is equivalent to \(k_0y^2+2k_1+k_0=0\) where \(k_0\) and \(k_1\) are as in the lemma. The latter part of our lemma follows from this. \(\square \)
The Möbius transformation of the former lemma is a very useful mapping as it can be used for symmetrization. Namely, with this transformation, we can map the arbitrary quadruple of points a, b, c, d onto the points \(-1,y,-y,1\) that are clearly symmetric with respect to the origin. However, as the origin is not preserved under the mapping h, this raises the question about the location of the Möbius center \(h^{-1}(0)\) in terms of a, b, c, d. We can now prove Theorem 1.1 from Introduction.
4.11
Proof of Theorem 1.1 The mapping h is as in Lemma 4.2. If a, b, c, d are collinear and \(|a-b|=|c-d|\), then it is a linear map and \(h^{-1}(0)\) is the midpoint of a and d. Consider then the other case. Denote \(w=h^{-1}(0)\). Now, for p, q, s as in Lemma 4.2,
\(\square \)
5 Three normalizations of point pairs
Mathematical proofs involving distances are often simplified if the configurations studied exhibit some kind of symmetry or special structure. We study here, for a given pair of distinct points a, b in \(\mathbb {B}^2\setminus \{0\}\), three natural normalizations:
-
(1)
\(a=-b,\)
-
(2)
a, b, 0 are collinear,
-
(3)
\(|a|=|b|.\)
If the points are in general position, then they can be mapped onto each of the above special positions by means of a Möbius transformation. The cost is that the geometry is changed in each case: we measure the cost in terms of the Lipschitz constant of the Möbius transformation.
A simple way to achieve the normalization (2) above is to relabel the points a and b such that \(|a|\le |b|\) and to use the mapping \(T_a.\) By Theorem 2.9 the cost of normalization can be immediately obtained. In our discussion below, the plan is to carry out the normalization with a smaller cost, if possible.
Theorem 5.1
Consider a given pair of distinct points a, b in \(\mathbb {B}^2\setminus \{0\}\). Let k be the point on the hyperbolic line \(J^*[a,b]\) that is closest to the origin. In other words, \(k=0\) if a, b, 0 are collinear and, if a, b, 0 are not collinear, then
where let \(o_{ab}\) be the center of the circle through a and b, orthogonal to the unit circle. Let \(h_{ab}\) be the hyperbolic midpoint of a and b. Then there are Möbius transformations \(m_j:\mathbb {B}^2\rightarrow \mathbb {B}^2, j=1,2,3\) with the following properties: \(m_1(a)= -m_1(b)\) with
\(m_2(a), m_2(b),0\) are collinear and
and \(|m_3(a)|=| m_3(b)|\) and
where \(T_{h_{ab},k}\) is the mapping defined in (2.8).
Proof
We can choose for instance the mappings \(m_1=T_{h_{ab}}\), \(m_2=T_k\), and \(m_3=T_{h_{ab},k}\) in which case the following inequalities of the Lipschitz constants \(Lip(m_j)\) presented in the theorem hold with equality. \(\square \)
For all \(a,b\in \mathbb {B}^2\setminus \{0\}\), \(|k|\le |h_{ab}|\) where \(h_{ab}\) and k are as in Theorem 5.1. Namely, the hyperbolic point \(h_{ab}\) trivially is on the hyperbolic line \(J^*[a,b]\), but, unlike k, \(h_{ab}\) is not necessarily the closest point to the origin on this line. It follows from the inequality \(|k|\le |h_{ab}|\) that the Lipschitz constants \(Lip(T_{h_{ab}})\) and \(Lip(T_k)\) in Theorem 5.1 satisfy
for all \(a,b\in \mathbb {B}^2\). However, a similar inequality cannot be presented for the Lipschitz constant \(Lip(T_{h_{ab},k})\). Namely, for \(a=0.3\) and \(b=0.1i\),
but, for \(a=0.3\) and \(b=0.1i\),
In other words, \(Lip(T_{h_{ab},k})\) is sometimes less than the other two Lipschitz constants and sometimes greater than them.
6 Quadruples of points on the unit circle
Consider four distinct points a, b, c, d on the unit circle in the positive order. We can symmetrize the quadruple in two different ways using a Möbius transformation of the unit disk:
-
(1)
After the symmetrization, the new quadruple is symmetric with respect to a diameter of the unit disk.
-
(2)
After the symmetrization, the points of the new quadruple form the vertices of a rectangle.
We will next show how to construct the corresponding Möbius transformations and estimate the cost of symmetrization, the Lipschitz constant of the transformation.
Theorem 6.1
[13] (1) Let
Then the point \(w_2\) is the orthocenter of the triangle with vertices at the points 0, \(w_1\), \(w_3.\)
(2) The point of intersection of the hyperbolic lines \(J^*[a,c]\) and \(J^*[b,d]\) is given by
where the sign "\(+\)" or "−" in front of the square root is chosen such that \(|w_4|<1.\)
Theorem 6.2
Let a, b, c, d be four distinct points on the unit circle in the positive order. Let \(w_4\) be the point in Theorem 6.1(2) and \(w_5\) be the midpoint of the orthogonal arc with center at \(w_1=\textrm{LIS}[a,b,c,d].\) There exists a Möbius transformation \(m_4:\mathbb {B}^2\rightarrow \mathbb {B}^2\) such that \(m_4(a), m_4(b), m_4(c),m_4(d)\) are symmetric with respect to a line through 0 and
Moreover, if \(m_5= T_{w_4},\) then \(m_5(a) =- m_5(c), m_5(b)=-m_5(d).\)
For a given point \(w_1\in \mathbb {R}^2\setminus \overline{\mathbb {B}}^2\), a circle \(S^1(r,w_1)\), \(r>0\), is orthogonal to the unit circle if and only if its radius r is \(\sqrt{|w_1|^2-1}\). Consequently, the point \(w_5\) in Theorem 6.2 has the formula
The intersection point \(w_1=\textrm{LIS}[a,b,c,d]\) can be found with Proposition 2.2.
If \(a=e^{1i}\), \(b=e^{3i}\), \(c=e^{4i}\), and \(d=e^{5i}\), we have
and, if \(a=e^{6i}\), \(b=e^{6.1i}\), \(c=e^{6.13i}\), and \(d=e^{6.15i}\), we have
Consequently, neither of the mappings in Theorem 6.2 is always better than the other in terms of its Lipschitz constant. Computational tests suggest that \(T_{w_4}\) produces a smaller Lipschitz constant if the points a, b, c, d are close to each other, while \(T_{w_4,w_5}\) is better when they are spread more evenly around the whole unit circle. This observation could be also concluded from the geometric meaning of the points \(w_4\) and \(w_5\).
Availability of data and materials
Not applicable.
References
Ahlfors, L.V.: Möbius transformations in several dimensions. Ordway Professorship Lectures in Mathematics. University of Minnesota, School of Mathematics, Minneapolis, pp. ii+150 (1981)
Anderson, G.D., Vamanamurthy, M.K., Vuorinen, M.: Conformal Invariants, Inequalities, and Quasiconformal Maps. Wiley, New York (1997)
Baernstein, A.: Symmetrization in analysis. With David Drasin and Richard S. Laugesen. With a foreword by Walter Hayman. New Mathematical Monographs, 36. Cambridge University Press, Cambridge (2019)
Bandle, C.: Isoperimetric Inequalities and Applications. Monographs and Studies in Mathematics, vol. 7. Pitman (Advanced Publishing Program), Boston (1980)
Beardon, A.F.: The Geometry of Discrete Groups, Graduate Texts in Mathematics, vol. 91. Springer, New York (1983)
Berger, M.: Geometry Revealed. A Jacob’s Ladder to Modern Higher Geometry. Translated from the French by Lester Senechal. Springer, Heidelberg (2010)
Dubinin, V.N.: Condenser Capacities and Symmetrization in Geometric Function Theory. Translated from the Russian by Nikolai G. Kruzhilin. Springer, Basel (2014)
Fujimura, M., Rainio, O., Vuorinen, M.: Collinearity of Points on Poincaré Unit Disk and Riemann Sphere. Publicationes Mathematicae Debrecen, (to appear), arXiv:2212.09037
Gehring, F.W., Hag, K.: The Ubiquitous Quasidisk. With Contributions by Ole Jacob Broch. Mathematical Surveys and Monographs, Vol. 184. American Mathematical Society, Providence, pp. xii+171 (2012)
Greenberg, M.J.: Euclidean and Non-Euclidean Geometries. Development and History, 4th edn. W. H. Freeman and Company, New York (2008)
Hariri, P., Klén, R., Vuorinen, M.: Conformally Invariant Metrics and Quasiconformal Mappings. Springer Monographs in Mathematics, Springer, Berlin (2020)
Prasolov, V.V., Tikhomirov, V.M.: Geometry, vol. 200 of Translations of Mathematical Monographs. American Mathematical Society, Providence, RI. Translated from the 1997 Russian original by O. V. Sipacheva (2001)
Wang, G., Vuorinen, M., Zhang, X.: On cyclic quadrilaterals in Euclidean and hyperbolic geometries. Publ. Math. Debrecen 99/1–2, 123–140 (2021)
Acknowledgements
The authors are grateful to Professor Masayo Fujimura for her help in the proof of Lemma 4.2.
Funding
Open Access funding provided by University of Turku (including Turku University Central Hospital). O.R.’s research was funded by Magnus Ehrnrooth Foundation.
Author information
Authors and Affiliations
Contributions
O.R. wrote the manuscript text, proved some of the results, and prepared all the figures, and M.V. proved rest of the results and supervised the project.
Corresponding author
Ethics declarations
Conflict of interest
There are no Conflict of interest.
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
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. Lipschitz constants and quadruple symmetrization by Möbius transformations. Complex Anal Synerg 10, 8 (2024). https://doi.org/10.1007/s40627-024-00136-y
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s40627-024-00136-y