Showing 1–50 of 139 results for author: Vuorinen, M

Hilbert metric and quasiconformal mappings

Authors: Sahsene Altinkaya, Masayo Fujimura, Matti Vuorinen

Abstract: We prove a functional identity between the Hilbert metric and the visual angle metric in the unit disk. The proof utilizes the Poincaré hyperbolic metric in terms of which both metrics can be expressed. This identity then yields sharp distortion results for quasiregular mappings and analytic functions, expressed in terms of the Hilbert metric. We also prove that Hilbert circles are, in fact, Eucli… ▽ More We prove a functional identity between the Hilbert metric and the visual angle metric in the unit disk. The proof utilizes the Poincaré hyperbolic metric in terms of which both metrics can be expressed. This identity then yields sharp distortion results for quasiregular mappings and analytic functions, expressed in terms of the Hilbert metric. We also prove that Hilbert circles are, in fact, Euclidean ellipses. The proof makes use of computer algebra methods. In particular, Gröbner bases are used. △ Less

Submitted 25 February, 2025; originally announced February 2025.

MSC Class: 30C62

Modulus estimates of semirings with applications to boundary extension problems

Authors: Anatoly Golberg, Toshiyuki Sugawa, Matti Vuorinen

Abstract: In our previous paper [GSV2020], we proved that the complementary components of a ring domain in $\mathbb{R}^n$ with large enough modulus may be separated by an annular ring domain and applied this result to boundary correspondence problems under quasiconformal mappings. In the present paper, we continue this work and investigate boundary extension problems for a larger class of mappings. In our previous paper [GSV2020], we proved that the complementary components of a ring domain in $\mathbb{R}^n$ with large enough modulus may be separated by an annular ring domain and applied this result to boundary correspondence problems under quasiconformal mappings. In the present paper, we continue this work and investigate boundary extension problems for a larger class of mappings. △ Less

Submitted 29 January, 2025; v1 submitted 9 January, 2025; originally announced January 2025.

Comments: 25 pages

MSC Class: 30C65; 26B35; 30C75; 31B15

On distortion of quasiregular mappings of the upper half plane

Authors: Masayo Fujimura, Matti Vuorinen

Abstract: We prove a sharp result for the distortion of a hyperbolic type metric under $K$-quasiregular mappings of the upper half plane. The proof makes use of a new kind of Bernoulli inequality and the Schwarz lemma for quasiregular mappings. We prove a sharp result for the distortion of a hyperbolic type metric under $K$-quasiregular mappings of the upper half plane. The proof makes use of a new kind of Bernoulli inequality and the Schwarz lemma for quasiregular mappings. △ Less

Submitted 12 March, 2025; v1 submitted 25 November, 2024; originally announced November 2024.

Comments: 10 pages

MSC Class: 30C60

Constrained maximization of conformal capacity

Authors: Harri Hakula, Mohamed M. S. Nasser, Matti Vuorinen

Abstract: We consider constellations of disks which are unions of disjoint hyperbolic disks in the unit disk with fixed radii and unfixed centers. We study the problem of maximizing the conformal capacity of a constellation with a fixed number of disks under constraints on the centers in two cases. In the first case the constraint is that the centers are at most at distance $R \in(0,1)$ from the origin and… ▽ More We consider constellations of disks which are unions of disjoint hyperbolic disks in the unit disk with fixed radii and unfixed centers. We study the problem of maximizing the conformal capacity of a constellation with a fixed number of disks under constraints on the centers in two cases. In the first case the constraint is that the centers are at most at distance $R \in(0,1)$ from the origin and in the second case it is required that the centers are on the subsegment $[-R,R]$ of a diameter of the unit disk. We study also similar types of constellations with hyperbolic segments instead of the hyperbolic disks. Our computational experiments suggest that a dispersion phenomenon occurs: the disks/segments go as close to the unit circle as possible under these constraints and stay as far as possible from each other. The computation of capacity reduces to the Dirichlet problem for the Laplace equation which we solve using two methods: a fast boundary integral equation method and a high-order finite element method. △ Less

Submitted 24 March, 2025; v1 submitted 30 April, 2024; originally announced April 2024.

MSC Class: 65E05; 31A15; 30C85

Visual angle metric in the upper half plane

Authors: Masayo Fujimura, Oona Rainio, Matti Vuorinen

Abstract: We prove an identity which connects the visual angle metric $v_{\mathbb{H}^2}$ and the hyperbolic metric $ρ_{\mathbb{H}^2}$ of the upper half plane $\mathbb{H}^2$. The proof is based on geometric arguments and uses computer algebra methods for formula manipulation. We also prove a sharp Hölder continuity result for quasiregular mappings with respect to the visual angle metric. We prove an identity which connects the visual angle metric $v_{\mathbb{H}^2}$ and the hyperbolic metric $ρ_{\mathbb{H}^2}$ of the upper half plane $\mathbb{H}^2$. The proof is based on geometric arguments and uses computer algebra methods for formula manipulation. We also prove a sharp Hölder continuity result for quasiregular mappings with respect to the visual angle metric. △ Less

Submitted 22 February, 2025; v1 submitted 13 April, 2024; originally announced April 2024.

Comments: 33 pages, 7 figures, 3 tables

MSC Class: 51M09 (Primary) 30C62 (Secondary)

On angular limits of quasiregular mappings

Authors: Jie Huang, Antti Rasila, Matti Vuorinen

Abstract: We investigate Lindelöf and Koebe type boundary behavior results for bounded quasiregular mappings in $n$-dimensional Euclidean space. Our results give sufficient conditions for the existence of non-tangential limits at a boundary point. We investigate Lindelöf and Koebe type boundary behavior results for bounded quasiregular mappings in $n$-dimensional Euclidean space. Our results give sufficient conditions for the existence of non-tangential limits at a boundary point. △ Less

Submitted 28 May, 2024; v1 submitted 17 January, 2024; originally announced January 2024.

Comments: 14 pages

MSC Class: 30C65

Journal ref: J. Math. Anal. Appl. 539 (2024) 128464

Lipschitz constants and quadruple symmetrization by Möbius transformations

Authors: Oona Rainio, Matti Vuorinen

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 symmetriz… ▽ More 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. △ Less

Submitted 22 March, 2024; v1 submitted 21 August, 2023; originally announced August 2023.

Comments: 14 pages, 4 figures

MSC Class: 51M10 (Primary) 51M16 (Secondary)

Fast computation of analytic capacity

Authors: Mohamed M S Nasser, Christopher C. Green, Matti Vuorinen

Abstract: A boundary integral equation method is presented for fast computation of the analytic capacities of compact sets in the complex plane. The method is based on using the Kerzman--Stein integral equation to compute the Szegö kernel and then the value of the Ahlfors map at the point at infinity. The proposed method can be used for domains with smooth and piecewise smooth boundaries. When combined with… ▽ More A boundary integral equation method is presented for fast computation of the analytic capacities of compact sets in the complex plane. The method is based on using the Kerzman--Stein integral equation to compute the Szegö kernel and then the value of the Ahlfors map at the point at infinity. The proposed method can be used for domains with smooth and piecewise smooth boundaries. When combined with conformal mappings, the method can be used for compact slit sets. Several numerical examples are presented to demonstrate the efficiency of the proposed method. We recover some known exact results and corroborate the conjectural subadditivity property of analytic capacity. △ Less

Submitted 10 June, 2024; v1 submitted 4 July, 2023; originally announced July 2023.

MSC Class: 65E05; 30C40; 30C85; 65R20

Uniformly perfect sets, Hausdorff dimension, and conformal capacity

Authors: Oona Rainio, Toshiyuki Sugawa, Matti Vuorinen

Abstract: Using the definition of uniformly perfect sets in terms of convergent sequences, we apply lower bounds for the Hausdorff content of a uniformly perfect subset $E$ of $\mathbb{R}^n$ to prove new explicit lower bounds for the Hausdorff dimension of $E.$ These results also yield lower bounds for capacity test functions, which we introduce, and enable us to characterize domains of $\mathbb{R}^n$ with… ▽ More Using the definition of uniformly perfect sets in terms of convergent sequences, we apply lower bounds for the Hausdorff content of a uniformly perfect subset $E$ of $\mathbb{R}^n$ to prove new explicit lower bounds for the Hausdorff dimension of $E.$ These results also yield lower bounds for capacity test functions, which we introduce, and enable us to characterize domains of $\mathbb{R}^n$ with uniformly perfect boundaries. Moreover, we show that an alternative method to define capacity test functions can be based on the Whitney decomposition of the domain considered. △ Less

Submitted 3 April, 2024; v1 submitted 26 May, 2023; originally announced May 2023.

Comments: 29 pages, 2 figures

MSC Class: 30F45 (Primary) 30C85 (Secondary)

Formulas for the visual angle metric

Authors: Masayo Fujimura, Rahim Kargar, Matti Vuorinen

Abstract: We prove several new formulas for the visual angle metric of the unit disk in terms of the hyperbolic metric and apply these to prove a sharp Schwarz lemma for the visual angle metric under quasiregular mappings. We prove several new formulas for the visual angle metric of the unit disk in terms of the hyperbolic metric and apply these to prove a sharp Schwarz lemma for the visual angle metric under quasiregular mappings. △ Less

Submitted 30 May, 2024; v1 submitted 10 April, 2023; originally announced April 2023.

Comments: 15 pages, 9 Figures

MSC Class: 30C60; 51M09; 51M15

On the hyperbolic metric of certain domains

Authors: Aimo Hinkkanen, Matti Vuorinen

Abstract: We prove that if $E$ is a compact subset of the unit disk ${\mathbb D}$ in the complex plane, if $E$ contains a sequence of distinct points $a_n\not= 0$ for $n\geq 1$ such that $\lim_{n\to\infty} a_n=0$ and for all $n$ we have $ |a_{n+1}| \geq \frac{1}{2} |a_n| $, and if $G={\mathbb D} \setminus E$ is connected and $0\in \partial G$, then there is a constant $c>0$ such that for all $z\in G$ we hav… ▽ More We prove that if $E$ is a compact subset of the unit disk ${\mathbb D}$ in the complex plane, if $E$ contains a sequence of distinct points $a_n\not= 0$ for $n\geq 1$ such that $\lim_{n\to\infty} a_n=0$ and for all $n$ we have $ |a_{n+1}| \geq \frac{1}{2} |a_n| $, and if $G={\mathbb D} \setminus E$ is connected and $0\in \partial G$, then there is a constant $c>0$ such that for all $z\in G$ we have $ λ_{G } (z) \geq c/|z| $ where $λ_{G } (z)$ is the density of the hyperbolic metric in $G$. △ Less

Submitted 25 January, 2024; v1 submitted 14 March, 2023; originally announced March 2023.

MSC Class: 30C80

Hilbert metric in the unit ball

Authors: Oona Rainio, Matti Vuorinen

Abstract: The Hilbert metric between two points $x,y$ in a bounded convex domain $G$ is defined as the logarithm of the cross-ratio of $x,y$ and the intersection points of the Euclidean line passing through the points $x,y$ and the boundary of the domain. Here, we study this metric in the case of the unit ball $\mathbb{B}^n$. We present an identity between the Hilbert metric and the hyperbolic metric, give… ▽ More The Hilbert metric between two points $x,y$ in a bounded convex domain $G$ is defined as the logarithm of the cross-ratio of $x,y$ and the intersection points of the Euclidean line passing through the points $x,y$ and the boundary of the domain. Here, we study this metric in the case of the unit ball $\mathbb{B}^n$. We present an identity between the Hilbert metric and the hyperbolic metric, give several inequalities for the Hilbert metric, and results related to the inclusion properties of the balls defined in the Hilbert metric. Furthermore, we study the distortion of the Hilbert metric under conformal mappings. △ Less

Submitted 30 October, 2023; v1 submitted 7 March, 2023; originally announced March 2023.

Comments: 18 pages, 4 figures

MSC Class: 51M10 (Primary) 51M16 (Secondary)

Mobile disks in hyperbolic space and minimization of conformal capacity

Authors: Harri Hakula, Mohamed M. S. Nasser, Matti Vuorinen

Abstract: Our focus is to study constellations of disjoint disks in the hyperbolic space, the unit disk equipped with the hyperbolic metric. Each constellation corresponds to a set $E$ which is the union of $m>2$ disks with hyperbolic radii $r_j>0, j=1,...,m$. The centers of the disks are not fixed and hence individual disks of the constellation are allowed to move under the constraints that they do not ove… ▽ More Our focus is to study constellations of disjoint disks in the hyperbolic space, the unit disk equipped with the hyperbolic metric. Each constellation corresponds to a set $E$ which is the union of $m>2$ disks with hyperbolic radii $r_j>0, j=1,...,m$. The centers of the disks are not fixed and hence individual disks of the constellation are allowed to move under the constraints that they do not overlap and their hyperbolic radii remain invariant. Our main objective is to find computational lower bounds for the conformal capacity of a given constellation. The capacity depends on the centers and radii in a very complicated way even in the simplest cases when $m=3$ or $m=4$. In the absence of analytic methods our work is based on numerical simulations using two different numerical methods, the boundary integral equation method and the $hp$-FEM method, resp. Our simulations combine capacity computation with minimization methods and produce extremal cases where the disks of the constellation are grouped next to each other. This resembles the behavior of animal colonies minimizing heat flow in arctic areas. △ Less

Submitted 29 November, 2023; v1 submitted 28 February, 2023; originally announced March 2023.

Landen transformations applied to approximation

Authors: Rahim Kargar, Oona Rainio, Matti Vuorinen

Abstract: We study computational methods for the approximation of special functions recurrent in geometric function theory and quasiconformal mapping theory. The functions studied can be expressed as quotients of complete elliptic integrals and as inverses of such quotients. In particular, we consider the distortion function $\varphi_K(r)$ which gives a majorant for $|f(x)|$ when… ▽ More We study computational methods for the approximation of special functions recurrent in geometric function theory and quasiconformal mapping theory. The functions studied can be expressed as quotients of complete elliptic integrals and as inverses of such quotients. In particular, we consider the distortion function $\varphi_K(r)$ which gives a majorant for $|f(x)|$ when $f: \mathbb{B}^2 \to \mathbb{B}^2, f(0)=0,$ is a quasiconformal mapping of the unit disk $\mathbb{B}^2.$ It turns out that the approximation method is very simple: five steps of Landen iteration is enough to achieve machine precision. △ Less

Submitted 20 May, 2024; v1 submitted 19 December, 2022; originally announced December 2022.

Comments: 16 pages, 4 figures

MSC Class: Primary: 30C62; Secondary: 33C75

Collinearity of points on Poincaré unit disk and Riemann sphere

Authors: Masayo Fujimura, Oona Rainio, Matti Vuorinen

Abstract: We study certain points significant for the hyperbolic geometry of the unit disk. We give explicit formulas for the intersection points of the Euclidean lines and the stereographic projections of great circles of the Riemann sphere passing through these points. We prove several results related to collinearity of these intersection points, offer new ways to find the hyperbolic midpoint, and represe… ▽ More We study certain points significant for the hyperbolic geometry of the unit disk. We give explicit formulas for the intersection points of the Euclidean lines and the stereographic projections of great circles of the Riemann sphere passing through these points. We prove several results related to collinearity of these intersection points, offer new ways to find the hyperbolic midpoint, and represent a formula for the chordal midpoint. The proofs utilize Gröbner bases from computer algebra for the solution of polynomial equations. △ Less

Submitted 4 July, 2024; v1 submitted 18 December, 2022; originally announced December 2022.

Comments: 26 pages, 7 figures

MSC Class: 51M10 (Primary) 51M09 (Secondary)

Intrinsic metrics in polygonal domains

Authors: D. Dautova, R. Kargar, S. Nasyrov, M. Vuorinen

Abstract: We study inequalities between the hyperbolic metric and intrinsic metrics in convex polygonal domains in the complex plane. Special attention is paid to the triangular ratio metric in rectangles. A local study leads to an investigation of the relationship between the conformal radius at an arbitrary point of a planar domain and the distance of the point to the boundary. We study inequalities between the hyperbolic metric and intrinsic metrics in convex polygonal domains in the complex plane. Special attention is paid to the triangular ratio metric in rectangles. A local study leads to an investigation of the relationship between the conformal radius at an arbitrary point of a planar domain and the distance of the point to the boundary. △ Less

Submitted 8 June, 2022; originally announced June 2022.

Comments: 20 pages, 7 figures

MSC Class: 51M09; 51M16; 30C20

Level sets of potential functions bisecting unbounded quadrilaterals

Authors: Mohamed M. S. Nasser, Semen Nasyrov, Matti Vuorinen

Abstract: We study the mixed Dirichlet-Neumann problem for the Laplace equation in the complement of a bounded convex polygonal quadrilateral in the extended complex plane. The Dirichlet\,/\,Neumann conditions at opposite pairs of sides are $\{0,1\}$ and $\{0,0\},$ resp. The solution to this problem is a harmonic function in the unbounded complement of the polygon known as the \emph{potential function} of t… ▽ More We study the mixed Dirichlet-Neumann problem for the Laplace equation in the complement of a bounded convex polygonal quadrilateral in the extended complex plane. The Dirichlet\,/\,Neumann conditions at opposite pairs of sides are $\{0,1\}$ and $\{0,0\},$ resp. The solution to this problem is a harmonic function in the unbounded complement of the polygon known as the \emph{potential function} of the quadrilateral. We compute the values of the potential function including its value at infinity. △ Less

Submitted 2 June, 2022; originally announced June 2022.

Comments: 14 pages, 5 figures

MSC Class: 30C30

Conformal capacity of hedgehogs

Authors: Dimitrios Betsakos, Alexander Solynin, Matti Vuorinen

Abstract: In this paper we discuss problems concerning the conformal condenser capacity of "hedgehogs", which are compact sets $E$ in the unit disk $\mathbb{D}=\{z:\,|z|<1\}$ consisting of a central body $E_0$ that is typically a smaller disk $\overline{\mathbb{D}}_r=\{z:\,|z|\le r\}$, $0<r<1$, and several spikes $E_k$ that are compact sets lying on radial intervals $I(α_k)=\{te^{iα_k}:\,0\le t<1\}$. The ma… ▽ More In this paper we discuss problems concerning the conformal condenser capacity of "hedgehogs", which are compact sets $E$ in the unit disk $\mathbb{D}=\{z:\,|z|<1\}$ consisting of a central body $E_0$ that is typically a smaller disk $\overline{\mathbb{D}}_r=\{z:\,|z|\le r\}$, $0<r<1$, and several spikes $E_k$ that are compact sets lying on radial intervals $I(α_k)=\{te^{iα_k}:\,0\le t<1\}$. The main questions we are concerned with are the following: (1) How does the conformal capacity ${\rm cap}(E)$ of $E=\cup_{k=0}^n E_k$ behave when the spikes $E_k$, $k=1,\ldots,n$, move along the intervals $I(α_k)$ toward the central body if their hyperbolic lengths are preserved during the motion? (2) How does the capacity ${\rm cap}(E)$ depend on the distribution of angles between the spikes $E_k$? We prove several results related to these questions and discuss methods of applying symmetrization type transformations to study the capacity of hedgehogs. Several open problems, including problems on the capacity of hedgehogs in the three-dimensional hyperbolic space, also will be suggested. △ Less

Submitted 9 September, 2022; v1 submitted 17 May, 2022; originally announced May 2022.

Comments: 44 pages, 6 figures

MSC Class: 30C85; 31A15; 51M10

Numerical computation of a preimage domain for an infinite strip with rectilinear slits

Authors: El Mostafa Kalmoun, Mohamed M. S. Nasser, Matti Vuorinen

Abstract: Let $Ω$ be the multiply connected domain in the extended complex plane $\overline{\C}$ obtained by removing $m$ non-overlapping rectilinear segments from the infinite strip $S=\{z\,:\, \left|\Im z\right|<π/2\}$. In this paper, we present an iterative method for numerical computation of a conformally equivalent bounded multiply connected domain $G$ in the interior of the unit disk $\D$ and the exte… ▽ More Let $Ω$ be the multiply connected domain in the extended complex plane $\overline{\C}$ obtained by removing $m$ non-overlapping rectilinear segments from the infinite strip $S=\{z\,:\, \left|\Im z\right|<π/2\}$. In this paper, we present an iterative method for numerical computation of a conformally equivalent bounded multiply connected domain $G$ in the interior of the unit disk $\D$ and the exterior of $m$ non-overlapping smooth Jordan curves. We demonstrate the utility of the proposed method through two applications. First, we estimate the capacity of condensers of the form $(S,E)$ where $E\subset S$ be a union of disjoint segments. Second, we determine the streamlines associated with uniform incompressible, inviscid and irrotational flow past disjoint segments in the strip $S$. △ Less

Submitted 2 December, 2022; v1 submitted 1 April, 2022; originally announced April 2022.

MSC Class: Primary 30C85; 31A15; Secondary 65E05

Conformal capacity and polycircular domains

Authors: Harri Hakula, Mohamed M. S. Nasser, Matti Vuorinen

Abstract: We study numerical conformal mapping of multiply connected planar domains with boundaries consisting of unions of finitely many circular arcs, so called polycircular domains. We compute the conformal capacities of condensers defined by polycircular domains. Experimental error estimates are provided for the computed capacity and, when possible, the rate of convergence under refinement of discretisa… ▽ More We study numerical conformal mapping of multiply connected planar domains with boundaries consisting of unions of finitely many circular arcs, so called polycircular domains. We compute the conformal capacities of condensers defined by polycircular domains. Experimental error estimates are provided for the computed capacity and, when possible, the rate of convergence under refinement of discretisation is analysed. The main ingredients of the computation are two computational methods, on one hand the boundary integral equation method combined with the fast multipole method and on the other hand the $hp$-FEM method. The results obtained with these two methods agree with high accuracy. △ Less

Submitted 1 July, 2022; v1 submitted 25 February, 2022; originally announced February 2022.

Metrics and quasimetrics induced by point pair function

Authors: Dina Dautova, Semen Nasyrov, Oona Rainio, Matti Vuorinen

Abstract: We study the point pair function in subdomains $G$ of $\mathbb{R}^n$. We prove that, for every domain $G\subsetneq\mathbb{R}^n$, the this function is a quasi-metric with the constant less than or equal to $\sqrt{5}\slash2$. Moreover, we show that it is a metric in the domain $G=\mathbb{R}^n\setminus\{0\}$ with $n\geq1$. We also consider generalized versions of the point pair function, depending on… ▽ More We study the point pair function in subdomains $G$ of $\mathbb{R}^n$. We prove that, for every domain $G\subsetneq\mathbb{R}^n$, the this function is a quasi-metric with the constant less than or equal to $\sqrt{5}\slash2$. Moreover, we show that it is a metric in the domain $G=\mathbb{R}^n\setminus\{0\}$ with $n\geq1$. We also consider generalized versions of the point pair function, depending on an arbitrary constant $α>0$, and show that in some domains these generalizations are metrics if and only if $α\leq12$. △ Less

Submitted 9 January, 2023; v1 submitted 17 February, 2022; originally announced February 2022.

Comments: 21 pages, 3 figures

MSC Class: 51M10 (Primary) 30C62 (Secondary)

Moduli of quadrilaterals and quasiconformal reflection

Authors: Semen Nasyrov, Toshiyuki Sugawa, Matti Vuorinen

Abstract: We study the interior and exterior moduli of polygonal quadrilaterals. The main result is a formula for a conformal mapping of the upper half plane onto the exterior of a convex polygonal quadrilateral. We prove this by a careful analysis of the Schwarz-Christoffel transformation and obtain the so-called accessory parameters and then the result in terms of the Lauricella hypergeometric function. T… ▽ More We study the interior and exterior moduli of polygonal quadrilaterals. The main result is a formula for a conformal mapping of the upper half plane onto the exterior of a convex polygonal quadrilateral. We prove this by a careful analysis of the Schwarz-Christoffel transformation and obtain the so-called accessory parameters and then the result in terms of the Lauricella hypergeometric function. This result enables us to understand the dissimilarities of the exterior and interior of a convex polygonal quadrilateral. We also give a Mathematica algorithm for the computation. In particular, we study the special case of an isosceles trapezoidal polygon $L$ and obtain some estimates for the coefficient of quasiconformal reflection over $L$ in terms of special functions and geometric parameters of~$L$. △ Less

Submitted 16 November, 2021; originally announced November 2021.

Comments: 30 pages, 4 figures

MSC Class: 30C20 (Primary); 30C15; 31 (Secondary)

The Ptolemy-Alhazen problem and quadric surface mirror reflection

Authors: Masayo Fujimura, Marcelina Mocanu, Matti Vuorinen

Abstract: We discuss the problem of the reflection of light on spherical and quadric surface mirrors. In the case of spherical mirrors, this problem is known as the Alhazen problem. For the spherical mirror problem, we focus on the reflection property of an ellipse, and show that the catacaustic curve of the unit circle follows naturally from the equation obtained from the reflection property of an ellipse.… ▽ More We discuss the problem of the reflection of light on spherical and quadric surface mirrors. In the case of spherical mirrors, this problem is known as the Alhazen problem. For the spherical mirror problem, we focus on the reflection property of an ellipse, and show that the catacaustic curve of the unit circle follows naturally from the equation obtained from the reflection property of an ellipse. Moreover, we provide an algebraic equation that solves Alhazen's problem for quadric surface mirrors. △ Less

Submitted 5 June, 2022; v1 submitted 1 November, 2021; originally announced November 2021.

Comments: 19 pages, 5 figures

MSC Class: 30C20; 30C15; 51M99

Journal ref: Complex Variables and Elliptic Equations, 68, 11 (2023) , 1880--1898

Circular arc polygons, numerical conformal mappings, and moduli of quadrilaterals

Authors: Mohamed Nasser, Oona Rainio, Antti Rasila, Matti Vuorinen, Terry Wallace, Hang Yu, Xiaohui Zhang

Abstract: We study numerical conformal mappings of planar Jordan domains with boundaries consisting of finitely many circular arcs and compute the moduli of quadrilaterals for these domains. Experimental error estimates are provided and, when possible, comparison to exact values or other methods are given. The main ingredients of the computation are boundary integral equations combined with the fast multipo… ▽ More We study numerical conformal mappings of planar Jordan domains with boundaries consisting of finitely many circular arcs and compute the moduli of quadrilaterals for these domains. Experimental error estimates are provided and, when possible, comparison to exact values or other methods are given. The main ingredients of the computation are boundary integral equations combined with the fast multipole method. △ Less

Submitted 23 July, 2021; originally announced July 2021.

MSC Class: 65E05; 30C85; 31A15

Möbius metric in sector domains

Authors: Oona Rainio, Matti Vuorinen

Abstract: The Möbius metric $δ_G$ is studied in the cases where its domain $G$ is an open sector of the complex plane. We introduce upper and lower bounds for this metric in terms of the hyperbolic metric and the angle of the sector, and then use these results to find bounds for the distortion of the Möbius metric under quasiregular mappings defined in sector domains. Furthermore, we numerically study the M… ▽ More The Möbius metric $δ_G$ is studied in the cases where its domain $G$ is an open sector of the complex plane. We introduce upper and lower bounds for this metric in terms of the hyperbolic metric and the angle of the sector, and then use these results to find bounds for the distortion of the Möbius metric under quasiregular mappings defined in sector domains. Furthermore, we numerically study the Möbius metric and its connection to the hyperbolic metric in polygon domains. △ Less

Submitted 9 January, 2023; v1 submitted 13 April, 2021; originally announced April 2021.

Comments: 27 pages, 5 figures

MSC Class: 51M10 (Primary) 30C62 (Secondary)

Condenser capacity and hyperbolic perimeter

Authors: Mohamed M. S. Nasser, Oona Rainio, Matti Vuorinen

Abstract: We study the conformal capacity by using novel computational algorithms based on implementations of the fast multipole method, and analytic techniques. Especially, we apply domain functionals to study the capacities of condensers $(G,E)$ where $G$ is a simply connected domain in the complex plane and $E$ is a compact subset of $G$. Due to conformal invariance, our main tools are the hyperbolic geo… ▽ More We study the conformal capacity by using novel computational algorithms based on implementations of the fast multipole method, and analytic techniques. Especially, we apply domain functionals to study the capacities of condensers $(G,E)$ where $G$ is a simply connected domain in the complex plane and $E$ is a compact subset of $G$. Due to conformal invariance, our main tools are the hyperbolic geometry and functionals such as the hyperbolic perimeter of $E$. Our computational experiments demonstrate, for instance, sharpness of established inequalities. In the case of model problems with known analytic solutions, very high precision of computation is observed. △ Less

Submitted 11 October, 2021; v1 submitted 18 March, 2021; originally announced March 2021.

Comments: 35 pages, 19 figures

MSC Class: 30C85; 31A15 (Primary) 65E10 (Secondary)

Condenser capacity and hyperbolic diameter

Authors: Mohamed M. S. Nasser, Oona Rainio, Matti Vuorinen

Abstract: Given a compact connected set $E$ in the unit disk $\mathbb{B}^{2}$, we give a new upper bound for the conformal capacity of the condenser $(\mathbb{B}^{2}, E)$ in terms of the hyperbolic diameter $t$ of $E$. Moreover, for $t>0$, we construct a set of hyperbolic diameter $t$ and apply novel numerical methods to show that it has larger capacity than a hyperbolic disk with the same diameter. The set… ▽ More Given a compact connected set $E$ in the unit disk $\mathbb{B}^{2}$, we give a new upper bound for the conformal capacity of the condenser $(\mathbb{B}^{2}, E)$ in terms of the hyperbolic diameter $t$ of $E$. Moreover, for $t>0$, we construct a set of hyperbolic diameter $t$ and apply novel numerical methods to show that it has larger capacity than a hyperbolic disk with the same diameter. The set we construct is called a Reuleaux triangle in hyperbolic geometry and it has constant hyperbolic width equal to $t$. △ Less

Submitted 27 November, 2021; v1 submitted 12 November, 2020; originally announced November 2020.

Comments: 15 pages, 5 figures

MSC Class: 30C85; 31A15 (Primary) 65E10 (Secondary)

Isoperimetric properties of condenser capacity

Authors: Mohamed M. S. Nasser, Matti Vuorinen

Abstract: For compact subsets $E$ of the unit disk $ \mathbb{D}$ we study the capacity of the condenser ${\rm cap}( \mathbb{D},E)$ by means of set functionals defined in terms of hyperbolic geometry. In particular, we study experimentally the case of a hyperbolic triangle and arrive at the conjecture that of all triangles with the same hyperbolic area, the equilateral triangle has the least capacity. For compact subsets $E$ of the unit disk $ \mathbb{D}$ we study the capacity of the condenser ${\rm cap}( \mathbb{D},E)$ by means of set functionals defined in terms of hyperbolic geometry. In particular, we study experimentally the case of a hyperbolic triangle and arrive at the conjecture that of all triangles with the same hyperbolic area, the equilateral triangle has the least capacity. △ Less

Submitted 12 February, 2021; v1 submitted 19 October, 2020; originally announced October 2020.

MSC Class: 30C85; 31A15; 65E10

Introducing a new intrinsic metric

Authors: Oona Rainio, Matti Vuorinen

Abstract: A new intrinsic metric called $t$-metric is introduced. Several sharp inequalities between this metric and the most common hyperbolic type metrics are proven for various domains $G\subsetneq\mathbb{R}^n$. The behaviour of the new metric is also studied under a few examples of conformal and quasiconformal mappings, and the differences between the balls drawn with all the metrics considered are comp… ▽ More A new intrinsic metric called $t$-metric is introduced. Several sharp inequalities between this metric and the most common hyperbolic type metrics are proven for various domains $G\subsetneq\mathbb{R}^n$. The behaviour of the new metric is also studied under a few examples of conformal and quasiconformal mappings, and the differences between the balls drawn with all the metrics considered are compared by both graphical and analytical means. △ Less

Submitted 5 October, 2020; originally announced October 2020.

Comments: 20 pages, 8 figures

MSC Class: 51M10 (Primary) 30C65 (Secondary)

Conformally invariant complete metrics

Authors: Toshiyuki Sugawa, Matti Vuorinen, Tanran Zhang

Abstract: For a domain $G$ in the one-point compactification $\overline{\mathbb{R}}^n = \mathbb{R}^n \cup \{ \infty\}$ of $\mathbb{R}^n, n \ge 2$, we characterize the completeness of the modulus metric $μ_G$ in terms of a potential-theoretic thickness condition of $\partial G\,,$ Martio's $M$-condition. Next, we prove that $\partial G$ is uniformly perfect if and only if $μ_G$ admits a minorant in terms of… ▽ More For a domain $G$ in the one-point compactification $\overline{\mathbb{R}}^n = \mathbb{R}^n \cup \{ \infty\}$ of $\mathbb{R}^n, n \ge 2$, we characterize the completeness of the modulus metric $μ_G$ in terms of a potential-theoretic thickness condition of $\partial G\,,$ Martio's $M$-condition. Next, we prove that $\partial G$ is uniformly perfect if and only if $μ_G$ admits a minorant in terms of a Möbius invariant metric. Several applications to quasiconformal maps are given. △ Less

Submitted 3 June, 2022; v1 submitted 14 September, 2020; originally announced September 2020.

Comments: 28 pages

MSC Class: Primary 30C35; Secondary 30C55

Journal ref: Mathematical Proceedings of the Cambridge Philosophical Society, 2022

Triangular ratio metric in the unit disk

Authors: Oona Rainio, Matti Vuorinen

Abstract: The triangular ratio metric is studied in a domain $G\subsetneq\mathbb{R}^n$, $n\geq2$. Several sharp bounds are proven for this metric, especially, in the case where the domain is the unit disk of the complex plane. The results are applied to study the Hölder continuity of quasiconformal mappings. The triangular ratio metric is studied in a domain $G\subsetneq\mathbb{R}^n$, $n\geq2$. Several sharp bounds are proven for this metric, especially, in the case where the domain is the unit disk of the complex plane. The results are applied to study the Hölder continuity of quasiconformal mappings. △ Less

Submitted 7 March, 2021; v1 submitted 1 September, 2020; originally announced September 2020.

Comments: 26 pages, 4 figures

MSC Class: 51M10 (Primary) 30C65 (Secondary)

Intrinsic geometry and boundary structure of plane domains

Authors: Oona Rainio, Toshiyuki Sugawa, Matti Vuorinen

Abstract: For a non-empty compact set $E$ in a proper subdomain $Ω$ of the complex plane, we denote the diameter of $E$ and the distance from $E$ to the boundary of $Ω$ by $d(E)$ and $d(E,\partialΩ),$ respectively. The quantity $d(E)/d(E,\partialΩ)$ is invariant under similarities and plays an important role in Geometric Function Theory. In the present paper, when $Ω$ has the hyperbolic distance… ▽ More For a non-empty compact set $E$ in a proper subdomain $Ω$ of the complex plane, we denote the diameter of $E$ and the distance from $E$ to the boundary of $Ω$ by $d(E)$ and $d(E,\partialΩ),$ respectively. The quantity $d(E)/d(E,\partialΩ)$ is invariant under similarities and plays an important role in Geometric Function Theory. In the present paper, when $Ω$ has the hyperbolic distance $h_Ω(z,w),$ we consider the infimum $κ(Ω)$ of the quantity $h_Ω(E)/\log(1+d(E)/d(E,\partialΩ))$ over compact subsets $E$ of $Ω$ with at least two points, where $h_Ω(E)$ stands for the hyperbolic diameter of the set $E.$ We denote the upper half-plane by $\mathbb{H}$. Our main results claim that $κ(Ω)$ is positive if and only if the boundary of $Ω$ is uniformly perfect and that the inequality $κ(Ω)\leqκ(\mathbb{H})$ holds for all $Ω,$ where equality holds precisely when $Ω$ is convex. △ Less

Submitted 31 March, 2021; v1 submitted 8 August, 2020; originally announced August 2020.

Comments: 21 pages, 2 figures

MSC Class: 30F45 (Primary) 30C85 (Secondary)

Conformal Moduli of Symmetric Circular Quadrilaterals With Cusps

Authors: Harri Hakula, Semen Nasyrov, Matti Vuorinen

Abstract: We investigate moduli of planar circular quadrilaterals symmetric with respect to both the coordinate axes. First we develop an analytic approach which reduces this problem to ODEs and devise a numeric method to find out the accessory parameters. This method uses the Schwarz equation to determine conformal mapping of the unit disk onto a given circular quadrilateral. We also give an example of a c… ▽ More We investigate moduli of planar circular quadrilaterals symmetric with respect to both the coordinate axes. First we develop an analytic approach which reduces this problem to ODEs and devise a numeric method to find out the accessory parameters. This method uses the Schwarz equation to determine conformal mapping of the unit disk onto a given circular quadrilateral. We also give an example of a circular quadrilateral for which the value of the conformal modulus can be found in the analytic form; this example is used to validate the numeric calculations. We also use another method, so called hpFEM, for the numeric calculation of the moduli. These two different approaches provide results agreeing with high accuracy. △ Less

Submitted 9 May, 2021; v1 submitted 18 June, 2020; originally announced June 2020.

Comments: 21 pages

MSC Class: 65E05; 31A15; 30C85

Teichmüller's theorem in higher dimensions and its applications

Authors: Anatoly Golberg, Toshiyuki Sugawa, Matti Vuorinen

Abstract: For a given ring (domain) in $\overline{\mathbb{R}}^n$ we discuss whether its boundary components can be separated by an annular ring with modulus nearly equal to that of the given ring. In particular, we show that, for all $n\ge 3\,,$ the standard definition of uniformly perfect sets in terms of Euclidean metric is equivalent to the boundedness of moduli of separating rings. We also establish sep… ▽ More For a given ring (domain) in $\overline{\mathbb{R}}^n$ we discuss whether its boundary components can be separated by an annular ring with modulus nearly equal to that of the given ring. In particular, we show that, for all $n\ge 3\,,$ the standard definition of uniformly perfect sets in terms of Euclidean metric is equivalent to the boundedness of moduli of separating rings. We also establish separation theorems for a "half" of a ring. As applications of those results, we will prove boundary Hölder continuity of quasiconformal mappings of the ball or the half space in $\mathbb{R}^n.$ △ Less

Submitted 2 June, 2020; originally announced June 2020.

Comments: 19 pages

MSC Class: Primary 30C65; Secondary 26B35; 30C75; 31B15

A new intrinsic metric and quasiregular maps

Authors: Masayo Fujimura, Marcelina Mocanu, Matti Vuorinen

Abstract: We introduce a new intrinsic metric in subdomains of a metric space and give upper and lower bounds for it in terms of well-known metrics. We also prove distortion results for this metric under quasiregular maps. We introduce a new intrinsic metric in subdomains of a metric space and give upper and lower bounds for it in terms of well-known metrics. We also prove distortion results for this metric under quasiregular maps. △ Less

Submitted 21 January, 2021; v1 submitted 26 May, 2020; originally announced May 2020.

Comments: 12 pages, 2 figures. arXiv admin note: text overlap with arXiv:1903.12475

MSC Class: 30C20; 30C15; 51M99

Journal ref: Complex Anal Synerg 7, 6 (2021)

Triangular ratio metric under quasiconformal mappings in sector domains

Authors: Oona Rainio, Matti Vuorinen

Abstract: 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. 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. △ Less

Submitted 3 September, 2020; v1 submitted 25 May, 2020; originally announced May 2020.

Comments: 14 pages, 1 figure

MSC Class: 51M10 (Primary) 30C65 (Secondary)

Conformal Invariants in Simply Connected Domains

Authors: Mohamed M S Nasser, Matti Vuorinen

Abstract: We study numerical computation of several conformal invariants of simply connected domains in the complex plane including, the hyperbolic distance, the reduced modulus, the harmonic measure, and the modulus of a quadrilateral. The method we use is based on the boundary integral equation with the generalized Neumann kernel. Several numerical examples are presented. We validate the performance and a… ▽ More We study numerical computation of several conformal invariants of simply connected domains in the complex plane including, the hyperbolic distance, the reduced modulus, the harmonic measure, and the modulus of a quadrilateral. The method we use is based on the boundary integral equation with the generalized Neumann kernel. Several numerical examples are presented. We validate the performance and accuracy of our method by considering several model problems with known analytic solutions. △ Less

Submitted 28 January, 2020; originally announced January 2020.

MSC Class: 65E05; 30C85; 31A15; 30C30

On cyclic quadrilaterals in euclidean and hyperbolic geometries

Authors: Gendi Wang, Matti Vuorinen, Xiaohui Zhang

Abstract: Four points ordered in the positive order on the unit circle determine the vertices of a quadrilateral, which is considered either as a euclidean or as a hyperbolic quadrilateral depending on whether the lines connecting the vertices are euclidean or hyperbolic lines. In the case of hyperbolic lines, this type of quadrilaterals are called ideal quadrilaterals. Our main result gives a euclidean cou… ▽ More Four points ordered in the positive order on the unit circle determine the vertices of a quadrilateral, which is considered either as a euclidean or as a hyperbolic quadrilateral depending on whether the lines connecting the vertices are euclidean or hyperbolic lines. In the case of hyperbolic lines, this type of quadrilaterals are called ideal quadrilaterals. Our main result gives a euclidean counterpart of an earlier result on the hyperbolic distances between the opposite sides of ideal quadrilaterals. The proof is based on computations involving hyperbolic geometry. We also found a new formula for the hyperbolic midpoint of a hyperbolic geodesic segment in the unit disk. As an application of some geometric properties, we provided a euclidean construction of the symmetrization of random four points on the unit circle with respect to a diameter which preserves the absolute cross ratio of quadruples. △ Less

Submitted 7 June, 2020; v1 submitted 27 August, 2019; originally announced August 2019.

Comments: 14 pages, 10 figures

Computation of conformal invariants

Authors: Mohamed M S Nasser, Matti Vuorinen

Abstract: We study numerical computation of conformal invariants of domains in the complex plane. In particular, we provide an algorithm for computing the conformal capacity of a condenser. The algorithm applies for wide kind of geometries: domains are assumed to have smooth or piecewise smooth boundaries. The method we use is based on the boundary integral equation method developed and implemented in [30].… ▽ More We study numerical computation of conformal invariants of domains in the complex plane. In particular, we provide an algorithm for computing the conformal capacity of a condenser. The algorithm applies for wide kind of geometries: domains are assumed to have smooth or piecewise smooth boundaries. The method we use is based on the boundary integral equation method developed and implemented in [30]. A characteristic feature of this method is that, with small changes in the code, a wide spectrum of problems can be treated and we include code snippets within the text to indicate implementation details. We compare the performance and accuracy to previous results in the cases when numerical data is available and also in the case of several model problems where exact results are available. △ Less

Submitted 17 August, 2020; v1 submitted 13 August, 2019; originally announced August 2019.

MSC Class: 65E05; 30C85; 31A15

Numerical computation of Mityuk's function and radius for circular-radial slit domains

Authors: El Mostafa Kalmoun, Mohamed M S Nasser, Matti Vuorinen

Abstract: We consider Mityuk's function and radius which have been proposed in \cite{Mit} as generalizations of the reduced modulus and conformal radius to the cases of multiply connected domains. We present a numerical method to compute Mityuk's function and radius for canonical domains that consist of the unit disk with circular/radial slits. Our method is based on the boundary integral equation with the… ▽ More We consider Mityuk's function and radius which have been proposed in \cite{Mit} as generalizations of the reduced modulus and conformal radius to the cases of multiply connected domains. We present a numerical method to compute Mityuk's function and radius for canonical domains that consist of the unit disk with circular/radial slits. Our method is based on the boundary integral equation with the generalized Neumann kernel. Special attention is given to the validation of the theoretical results on the existence of critical points and the boundary behavior of Mityuk's radius. △ Less

Submitted 14 June, 2020; v1 submitted 11 August, 2019; originally announced August 2019.

MSC Class: 65E05; 30C30; 65R20

Journal ref: Journal of Mathematical Analysis and Applications Volume 490, Issue 2, 15 October 2020, 124328

Numerical computation of the capacity of generalized condensers

Authors: Mohamed M S Nasser, Matti Vuorinen

Abstract: We present a boundary integral method for numerical computation of the capacity of generalized condensers. The presented method applies to a wide variety of generalized condenser geometry including the cases when the plates of the generalized condenser are bordered by piecewise smooth Jordan curves or are rectilinear slits. The presented method is used also to compute the harmonic measure in multi… ▽ More We present a boundary integral method for numerical computation of the capacity of generalized condensers. The presented method applies to a wide variety of generalized condenser geometry including the cases when the plates of the generalized condenser are bordered by piecewise smooth Jordan curves or are rectilinear slits. The presented method is used also to compute the harmonic measure in multiply connected domains. △ Less

Submitted 11 August, 2019; originally announced August 2019.

MSC Class: 65R20; 65E05; 30C85; 31A15

Conformal module of the exterior of two rectilinear slits

Authors: D. Dautova, S. Nasyrov, M. Vuorinen

Abstract: We study moduli of planar ring domains whose complements are linear segments and establish formulas for their moduli in terms of the Weierstrass elliptic functions. Numerical tests are carried out to illuminate our results. We study moduli of planar ring domains whose complements are linear segments and establish formulas for their moduli in terms of the Weierstrass elliptic functions. Numerical tests are carried out to illuminate our results. △ Less

Submitted 7 August, 2019; originally announced August 2019.

Comments: 21 pages, 4 figures

MSC Class: 30C20; 30C30; 31A15

Barrlund's distance function and quasiconformal maps

Authors: Masayo Fujimura, Marcelina Mocanu, Matti Vuorinen

Abstract: Answering a question about triangle inequality suggested by R. Li, A. Barrlund introduced a distance function which is a metric on a subdomain of ${\mathbb R}^n\,.$ We study this Barrlund metric and give sharp bounds for it in terms of other metrics of current interest. We also prove sharp distortion results for the Barrlund metric under quasiconformal maps. Answering a question about triangle inequality suggested by R. Li, A. Barrlund introduced a distance function which is a metric on a subdomain of ${\mathbb R}^n\,.$ We study this Barrlund metric and give sharp bounds for it in terms of other metrics of current interest. We also prove sharp distortion results for the Barrlund metric under quasiconformal maps. △ Less

Submitted 25 March, 2020; v1 submitted 27 March, 2019; originally announced March 2019.

Comments: 29 pages, 6 figures. arXiv admin note: text overlap with arXiv:1903.12475

MSC Class: 30C20; 30C15; 51M99

Journal ref: Complex Variables and Elliptic Equations, 66, 8 (2021), 1225--1255

Remarks on the scale invariant Cassinian metric

Authors: Gendi Wang, Xiaoxue Xu, Matti Vuorinen

Abstract: We study the geometry of the scale invariant Cassinian metric and prove sharp comparison inequalities between this metric and the hyperbolic metric in the case when the domain is either the unit ball or the upper half space. We also prove sharp distortion inequalities for the scale invariant Cassinian metric under Möbius transformations. We study the geometry of the scale invariant Cassinian metric and prove sharp comparison inequalities between this metric and the hyperbolic metric in the case when the domain is either the unit ball or the upper half space. We also prove sharp distortion inequalities for the scale invariant Cassinian metric under Möbius transformations. △ Less

Submitted 5 July, 2020; v1 submitted 21 March, 2019; originally announced March 2019.

Comments: 15 pages, 5 figures

Global bifurcation and stability of steady states for a bacterial colony model with density-suppressed motility

Authors: Manjun Ma, Peng Xia, Qifeng Zhang, Matti Vuorinen

Abstract: We investigate the structure and stability of the steady states for a bacterial colony model with density-suppressed motility. We treat the growth rate of bacteria as a bifurcation parameter to explore the local and global structure of the steady states. Relying on asymptotic analysis and the theory of Fredholm solvability, we derive the second-order approximate expression of the steady states. We… ▽ More We investigate the structure and stability of the steady states for a bacterial colony model with density-suppressed motility. We treat the growth rate of bacteria as a bifurcation parameter to explore the local and global structure of the steady states. Relying on asymptotic analysis and the theory of Fredholm solvability, we derive the second-order approximate expression of the steady states. We analytically establish the stability criterion of the bifurcation solutions, and show that sufficiently large growth rate of bacteria leads to a stable uniform steady state. While the growth rate of bacteria is less than some certain value, there is pattern formation with the admissible wave mode. All the analytical results are corroborated by numerical simulations from different stages. △ Less

Submitted 14 May, 2020; v1 submitted 26 February, 2019; originally announced February 2019.

Comments: 23 pages, 4 figures

Apollonian metric, uniformity and Gromov hyperbolicity

Authors: Yaxiang Li, Matti Vuorinen, Qingshan Zhou

Abstract: The main purpose of this paper is to investigate the properties of a mapping which is required to be roughly bilipschitz with respect to the Apollonian metric (roughly Apollonian bilipschitz) of its domain. We prove that under these mappings the uniformity, $\varphi$-uniformity and $δ$-hyperbolicity (in the sense of Gromov with respect to quasihyperbolic metric) of proper domains of… ▽ More The main purpose of this paper is to investigate the properties of a mapping which is required to be roughly bilipschitz with respect to the Apollonian metric (roughly Apollonian bilipschitz) of its domain. We prove that under these mappings the uniformity, $\varphi$-uniformity and $δ$-hyperbolicity (in the sense of Gromov with respect to quasihyperbolic metric) of proper domains of $\mathbb{R}^n$ are invariant. As applications, we give four equivalent conditions for a quasiconformal mapping which is defined on a uniform domain to be roughly Apollonian bilipschitz, and we conclude that $\varphi$-uniformity is invariant under quasimöbius mappings. △ Less

Submitted 16 December, 2018; v1 submitted 18 May, 2018; originally announced May 2018.

Comments: accept by CVEE

On capacity computation for symmetric polygonal condensers

Authors: Sergei Bezrodnykh, Andrei Bogatyrev, Sergei Goreinov, Oleg Grigoriev, Harri Hakula, Matti Vuorinen

Abstract: Making use of two different analytical-numerical methods for capacity computation, we obtain matching to a very high precision numerical values for capacities of a wide family of planar condensers. These two methods are based respectively on the use of the Lauricella function and Riemann theta functions. We apply these results to benchmark the performance of numerical algorithms, which are based o… ▽ More Making use of two different analytical-numerical methods for capacity computation, we obtain matching to a very high precision numerical values for capacities of a wide family of planar condensers. These two methods are based respectively on the use of the Lauricella function and Riemann theta functions. We apply these results to benchmark the performance of numerical algorithms, which are based on adaptive $hp$--finite element method and boundary integral method. △ Less

Submitted 4 March, 2019; v1 submitted 4 April, 2018; originally announced April 2018.

Comments: 21 pages, 5 figures, 7 tables

MSC Class: 65E05 31A15 30C85 14H42 31B15

Characterizations of John spaces

Authors: Yaxiang Li, Matti Vuorinen, Qingshan Zhou

Abstract: The main purpose of this paper is to study the characterizations of John spaces. We obtain five equivalence characteristics for length John spaces. As an application, we establish a dimension-free quasisymmetric invariance of length John spaces.This result is new also in the case of the Euclidean space. The main purpose of this paper is to study the characterizations of John spaces. We obtain five equivalence characteristics for length John spaces. As an application, we establish a dimension-free quasisymmetric invariance of length John spaces.This result is new also in the case of the Euclidean space. △ Less

Submitted 15 December, 2018; v1 submitted 1 December, 2017; originally announced December 2017.

Comments: Monatshefte fur Mathematik;2018

On the hyperbolic distance of $n$-times punctured spheres

Authors: Toshiyuki Sugawa, Matti Vuorinen, Tanran Zhang

Abstract: The length of the shortest closed geodesic in a hyperbolic surface $X$ is called the systole of $X.$ When $X$ is an $n$-times punctured sphere $\hat{ \mathbb{C}} \setminus A$ where $A \subset \hat{\mathbb{C}}$ is a finite set of cardinality $n\ge4,$ we define a quantity $Q(A)$ in terms of cross ratios of quadruples in $A$ so that $Q(A)$ is quantitatively comparable with the systole of $X.$ We next… ▽ More The length of the shortest closed geodesic in a hyperbolic surface $X$ is called the systole of $X.$ When $X$ is an $n$-times punctured sphere $\hat{ \mathbb{C}} \setminus A$ where $A \subset \hat{\mathbb{C}}$ is a finite set of cardinality $n\ge4,$ we define a quantity $Q(A)$ in terms of cross ratios of quadruples in $A$ so that $Q(A)$ is quantitatively comparable with the systole of $X.$ We next propose a method to construct a distance function $d_X$ on a punctured sphere $X$ which is Lipschitz equivalent to the hyperbolic distance $h_X$ on $X.$ In particular, when the construction is based on a modified quasihyperbolic metric, $d_X$ is Lipschitz equivalent to $h_X$ with Lipschitz constant depending only on $Q(A).$ △ Less

Submitted 18 July, 2017; originally announced July 2017.

Comments: 20 pages, 1 figure

MSC Class: 30C35 (Primary); 30C55 (Secondary)

The Ptolemy-Alhazen problem and spherical mirror reflection

Authors: Masayo Fujimura, Parisa Hariri, Marcelina Mocanu, Matti Vuorinen

Abstract: An ancient optics problem of Ptolemy, studied later by Alhazen, is discussed. This problem deals with reflection of light in spherical mirrors. Mathematically this reduces to the solution of a quartic equation, which we solve and analyze using a symbolic computation software. Similar problems have been recently studied in connection with ray-tracing, catadioptric optics, scattering of electromagne… ▽ More An ancient optics problem of Ptolemy, studied later by Alhazen, is discussed. This problem deals with reflection of light in spherical mirrors. Mathematically this reduces to the solution of a quartic equation, which we solve and analyze using a symbolic computation software. Similar problems have been recently studied in connection with ray-tracing, catadioptric optics, scattering of electromagnetic waves, and mathematical billiards, but we were led to this problem in our study of the so-called triangular ratio metric. △ Less

Submitted 22 January, 2018; v1 submitted 21 June, 2017; originally announced June 2017.

Comments: 20 pages, 5 figures