Skip to main content
Top
Published in: The Journal of Supercomputing 11/2018

01-09-2018

Approximation of conformal mappings and novel applications to shape recognition of planar domains

Author: Sa’ar Hersonsky

Published in: The Journal of Supercomputing | Issue 11/2018

Log in

Activate our intelligent search to find suitable subject content or patents.

search-config
loading …

Abstract

Our goal is to provide a novel method of representing 2D shapes, where each shape will be assigned a unique fingerprint—a computable approximation to the conformal map of the given shape to a canonical shape in 2D or 3D space (see page 22 for a few examples). In this paper, we make the first significant step in this program where we address the case of simply and doubly connected planar domains. We prove uniform convergence of our approximation scheme to the appropriate conformal mapping. To this end, we affirm a conjecture raised by Ken Stephenson in the 1990s which predicts that the Riemann mapping can be approximated by a sequence of electrical networks. In fact, we first treat a more general case. Consider a planar annulus, i.e., a bounded, 2-connected, Jordan domain, endowed with a sequence of triangulations exhausting it. We construct a corresponding sequence of maps which converge uniformly on compact subsets of the domain, to a conformal homeomorphism onto the interior of a Euclidean annulus bounded by two concentric circles. The resolution of Stephenson’s conjecture then follows by a limiting argument. With more complex topology of the given shape, i.e., when it has higher genus, we will use methods invented by Arabnia (J Parallel Distrib Comput 10:188–192, 1990) and Wani–Arabnia (J Supercomput 25:43–62, 2003). First, to divide the domain into subdomains and thereafter to make the scheme presented in this paper suitable for parallel processing. We will then be able to compare our results for those appearing, for instance, in the work of Arabnia–Oliver (Comput Graph Forum 8:3–11, 1989) that provides algorithms for the translation and scaling of complicated digitalized images.

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Appendix
Available only for authorised users
Literature
1.
go back to reference Andreev EM (1970) On convex polyhedra in Lobac̆evskiĭ space. Mathematicheskii Sbornik (N.S.) 81(123):445–478 (Russian); (1970) Math USSR Sbornik 10:413–440 Andreev EM (1970) On convex polyhedra in Lobac̆evskiĭ space. Mathematicheskii Sbornik (N.S.) 81(123):445–478 (Russian); (1970) Math USSR Sbornik 10:413–440
2.
go back to reference Andreev EM (1970) On convex polyhedra of finite volume in Lobac̆evskiĭ space. Mathematicheskii Sbornik (N.S.) 83(125):256–260 (Russian); (1970) Math USSR Sbornik 10:255–259 Andreev EM (1970) On convex polyhedra of finite volume in Lobac̆evskiĭ space. Mathematicheskii Sbornik (N.S.) 83(125):256–260 (Russian); (1970) Math USSR Sbornik 10:255–259
3.
go back to reference Angermann L, Knabner P (2003) Numerical methods for elliptic and parabolic partial differential equations, vol 44. Texts in applied mathematics. Springer, New YorkMATH Angermann L, Knabner P (2003) Numerical methods for elliptic and parabolic partial differential equations, vol 44. Texts in applied mathematics. Springer, New YorkMATH
4.
go back to reference Arabnia HR (1990) A parallel algorithm for the arbitrary rotation of digitized images using process-and-data-decomposition approach. J Parallel Distrib Comput 10:188–192CrossRef Arabnia HR (1990) A parallel algorithm for the arbitrary rotation of digitized images using process-and-data-decomposition approach. J Parallel Distrib Comput 10:188–192CrossRef
5.
go back to reference Arabnia HR, Oliver MA (1989) A transputer network for fast operations on digitized images. Comput Graph Forum 8:3–11CrossRef Arabnia HR, Oliver MA (1989) A transputer network for fast operations on digitized images. Comput Graph Forum 8:3–11CrossRef
7.
go back to reference Bendito E, Carmona A, Encinas AM (2000) Solving boundary value problems on networks using equilibrium measures. J Funct Anal 171:155–176MathSciNetCrossRef Bendito E, Carmona A, Encinas AM (2000) Solving boundary value problems on networks using equilibrium measures. J Funct Anal 171:155–176MathSciNetCrossRef
8.
go back to reference Bendito E, Carmona A, Encinas AM (2004) Difference schemes on uniform grids performed by general discrete operators. Appl Numer Math 50:343–370MathSciNetCrossRef Bendito E, Carmona A, Encinas AM (2004) Difference schemes on uniform grids performed by general discrete operators. Appl Numer Math 50:343–370MathSciNetCrossRef
13.
go back to reference Chipot M (2009) Elliptic equations: an introductory course. Birkhäuser Verlag, BaselCrossRef Chipot M (2009) Elliptic equations: an introductory course. Birkhäuser Verlag, BaselCrossRef
14.
go back to reference Chung FR, Grigoŕyan A, Yau ST (1996) Upper bounds for eigenvalues of the discrete and continuous Laplace operators. Adv Math 117:165–178MathSciNetCrossRef Chung FR, Grigoŕyan A, Yau ST (1996) Upper bounds for eigenvalues of the discrete and continuous Laplace operators. Adv Math 117:165–178MathSciNetCrossRef
16.
go back to reference Conway JB (1995) Functions of one complex variable. II, vol 159. Graduate texts in mathematics. Springer-Verlag, New YorkMATH Conway JB (1995) Functions of one complex variable. II, vol 159. Graduate texts in mathematics. Springer-Verlag, New YorkMATH
17.
go back to reference Courant R (1950) Dirichlet’s principle, conformal mapping, and minimal surfaces. Appendix by M. Schiffer. Interscience Publishers Inc, New YorkMATH Courant R (1950) Dirichlet’s principle, conformal mapping, and minimal surfaces. Appendix by M. Schiffer. Interscience Publishers Inc, New YorkMATH
18.
go back to reference Dubejko T (1997) Random walks on circle packings. In: Lipa’s legacy (New York, 1995). Contemporary Mathematics 211. American Mathematical Society, Providence, pp 169–182 Dubejko T (1997) Random walks on circle packings. In: Lipa’s legacy (New York, 1995). Contemporary Mathematics 211. American Mathematical Society, Providence, pp 169–182
19.
go back to reference Dubejko T (1999) Discrete solutions of Dirichlet problems, finite volumes, and circle packings. Discrete Comput Geom 22:19–39MathSciNetCrossRef Dubejko T (1999) Discrete solutions of Dirichlet problems, finite volumes, and circle packings. Discrete Comput Geom 22:19–39MathSciNetCrossRef
20.
go back to reference Duminil-Copin H, Smirnov S (2012) Conformal invariance of lattice models. In: Probability and statistical physics in two and more dimensions. Clay Mathematics Proceedings, 15. American Mathematical Society, Providence, pp 213–276 Duminil-Copin H, Smirnov S (2012) Conformal invariance of lattice models. In: Probability and statistical physics in two and more dimensions. Clay Mathematics Proceedings, 15. American Mathematical Society, Providence, pp 213–276
21.
go back to reference Eymard R, Gallouët T, Herbin R (2000) Finite methods volume. In: Ciarlet PG, Lions JL (eds) Handbook of numerical analysis, vol VII. North-Holland, Amsterdam, pp 713–1020 Eymard R, Gallouët T, Herbin R (2000) Finite methods volume. In: Ciarlet PG, Lions JL (eds) Handbook of numerical analysis, vol VII. North-Holland, Amsterdam, pp 713–1020
23.
go back to reference Glickenstein D (2011) Discrete conformal variations and scalar curvature on piecewise flat two- and three-dimensional manifolds. J Differ Geom 87:201–237MathSciNetCrossRef Glickenstein D (2011) Discrete conformal variations and scalar curvature on piecewise flat two- and three-dimensional manifolds. J Differ Geom 87:201–237MathSciNetCrossRef
24.
go back to reference Goluzin GM (1969) Geometric theory of functions of a complex variable, vol 26. Translations of mathematical monographs. American Mathematical Society, ProvidenceMATH Goluzin GM (1969) Geometric theory of functions of a complex variable, vol 26. Translations of mathematical monographs. American Mathematical Society, ProvidenceMATH
25.
go back to reference Grisvard P (1985) Elliptic problems in nonsmooth domains. Pitman, BostonMATH Grisvard P (1985) Elliptic problems in nonsmooth domains. Pitman, BostonMATH
26.
go back to reference Grossmann C, Roos HG, Stynes M (2007) Numerical treatment of partial differential equations. Universitext. Springer, BerlinCrossRef Grossmann C, Roos HG, Stynes M (2007) Numerical treatment of partial differential equations. Universitext. Springer, BerlinCrossRef
27.
go back to reference Gu XD, Luo F, Wei Z, Yau SH (2011) Numerical computation of surface conformal mappings. Comput Methods Funct Theory 11:747–787MathSciNetCrossRef Gu XD, Luo F, Wei Z, Yau SH (2011) Numerical computation of surface conformal mappings. Comput Methods Funct Theory 11:747–787MathSciNetCrossRef
28.
go back to reference Gu XD, Luo F, Yau SH (2009) Recent advances in computational conformal geometry. Commun Inf Syst 9:163–195MathSciNetMATH Gu XD, Luo F, Yau SH (2009) Recent advances in computational conformal geometry. Commun Inf Syst 9:163–195MathSciNetMATH
30.
go back to reference Hersonsky S, Arabnia HR, Taha TR (2017) A novel approach to the approximation of conformal mappings and emerging applications to shape recognition of planar-domains. In: Arabnia HR, Deligiannidis L, Tinetti FG, Tran Q-N, Yang MQ (eds) Proceedings of the 2017 International Conference on Computational Science and Computational Intelligence. IEEE CPS, pp 532–534 Hersonsky S, Arabnia HR, Taha TR (2017) A novel approach to the approximation of conformal mappings and emerging applications to shape recognition of planar-domains. In: Arabnia HR, Deligiannidis L, Tinetti FG, Tran Q-N, Yang MQ (eds) Proceedings of the 2017 International Conference on Computational Science and Computational Intelligence. IEEE CPS, pp 532–534
31.
32.
go back to reference He Zheng-Xu, Schramm O (1998) The \({{\mathbb{C}}}^{\infty }\)-convergence of hexagonal disk packings to the Riemann map. Acta Math 180:219–245MathSciNetCrossRef He Zheng-Xu, Schramm O (1998) The \({{\mathbb{C}}}^{\infty }\)-convergence of hexagonal disk packings to the Riemann map. Acta Math 180:219–245MathSciNetCrossRef
33.
34.
go back to reference Hersonsky S (2012) Boundary value problems on planar graphs and flat surfaces with integer cone singularities I; The Dirichlet problem. J Reine Angew Math 670:65–92MathSciNetMATH Hersonsky S (2012) Boundary value problems on planar graphs and flat surfaces with integer cone singularities I; The Dirichlet problem. J Reine Angew Math 670:65–92MathSciNetMATH
35.
go back to reference Hersonsky S (2011) Boundary value problems on planar graphs and flat surfaces with integer cone singularities II. Dirichlet–Neumann problem. Differ Geom Appl 29:329–347MathSciNetCrossRef Hersonsky S (2011) Boundary value problems on planar graphs and flat surfaces with integer cone singularities II. Dirichlet–Neumann problem. Differ Geom Appl 29:329–347MathSciNetCrossRef
36.
go back to reference Hersonsky S (2015) Discrete harmonic maps and convergence to conformal maps, I: basic constructions. Comment Math Helv 90:325–364MathSciNetCrossRef Hersonsky S (2015) Discrete harmonic maps and convergence to conformal maps, I: basic constructions. Comment Math Helv 90:325–364MathSciNetCrossRef
38.
go back to reference Wani MA, Arabnia HR (2003) Parallel edge-region-based segmentation algorithm targeted at reconfigurable multiring network. J Supercomput 25:43–62 ([PDF] from researchgate.net)CrossRef Wani MA, Arabnia HR (2003) Parallel edge-region-based segmentation algorithm targeted at reconfigurable multiring network. J Supercomput 25:43–62 ([PDF] from researchgate.net)CrossRef
39.
40.
go back to reference Koebe P (1908) Uber die Unifirmiseriung beliegiger analytischer Kurven III. Nachrichten Gesellschaft für Wisseenschaften in Göttingen, pp 337–358 Koebe P (1908) Uber die Unifirmiseriung beliegiger analytischer Kurven III. Nachrichten Gesellschaft für Wisseenschaften in Göttingen, pp 337–358
41.
go back to reference Koebe P (1936) Kontaktprobleme der konformen abbildung. Ber Schs Akad Wiss Leipzig Math Phys Kl 88:141–164MATH Koebe P (1936) Kontaktprobleme der konformen abbildung. Ber Schs Akad Wiss Leipzig Math Phys Kl 88:141–164MATH
42.
go back to reference Olli L, Ilmari VK (1973) Quasiconformal mappings in the plane, 2nd edn. Springer, New York Olli L, Ilmari VK (1973) Quasiconformal mappings in the plane, 2nd edn. Springer, New York
43.
go back to reference Mercat C (2007) Discrete Riemann surfaces, In: Papadopoulos A (ed) Handbook of Teichmller theory, vol I. IRMA Lectures in mathematics and theoretical physics, 11. European Mathematical Society, Zürich, pp 541–575 Mercat C (2007) Discrete Riemann surfaces, In: Papadopoulos A (ed) Handbook of Teichmller theory, vol I. IRMA Lectures in mathematics and theoretical physics, 11. European Mathematical Society, Zürich, pp 541–575
44.
go back to reference Mukhopadhyay A, New AT, Arabnia HR, Bhandarkar SM (2012) Non-rigid shape correspondence and description using geodesic field estimate distribution. In: Proceedings of ACM SIGGRAPH 2012, ISBN: 978-1-4503-1682-8, August Mukhopadhyay A, New AT, Arabnia HR, Bhandarkar SM (2012) Non-rigid shape correspondence and description using geodesic field estimate distribution. In: Proceedings of ACM SIGGRAPH 2012, ISBN: 978-1-4503-1682-8, August
45.
go back to reference Nehari Z (1975) Conformal mapping. Reprinting of the 1952 edition. Dover Publications Inc, New YorkMATH Nehari Z (1975) Conformal mapping. Reprinting of the 1952 edition. Dover Publications Inc, New YorkMATH
46.
go back to reference Polthier K (2005) Computational aspects of discrete minimal surfaces. In: Global theory of minimal surfaces. Clay Mathematics Proceedings, 2. American Mathematical Society, Providence, pp 65–111 Polthier K (2005) Computational aspects of discrete minimal surfaces. In: Global theory of minimal surfaces. Clay Mathematics Proceedings, 2. American Mathematical Society, Providence, pp 65–111
47.
go back to reference Polthier K, Razafindrazaka F (2015) Discrete geometry for reliable surface quad-remeshing. In: Anderssen RS, Broadbridge P, Fukumoto Y, Kajiwara K, Takagi T, Verbitskiy E, Wakayama M (eds) Proceedings of the forum of mathematics for industry 2014. Springer, Berlin Polthier K, Razafindrazaka F (2015) Discrete geometry for reliable surface quad-remeshing. In: Anderssen RS, Broadbridge P, Fukumoto Y, Kajiwara K, Takagi T, Verbitskiy E, Wakayama M (eds) Proceedings of the forum of mathematics for industry 2014. Springer, Berlin
48.
49.
go back to reference Sass CT, Stephenson K, Brock WG (2012) Circle packings on conformal and affine tori. In: Computational algebraic and analytic geometry. Contemporary Mathematics, 572. American Mathematical Society, Providence, pp 211–220 Sass CT, Stephenson K, Brock WG (2012) Circle packings on conformal and affine tori. In: Computational algebraic and analytic geometry. Contemporary Mathematics, 572. American Mathematical Society, Providence, pp 211–220
50.
go back to reference Schatz AH, Wahlbin LB (1978) Maximum norm estimates in the finite element method on polygonal domains, Part 1. Math Comput 32:73–109MATH Schatz AH, Wahlbin LB (1978) Maximum norm estimates in the finite element method on polygonal domains, Part 1. Math Comput 32:73–109MATH
53.
go back to reference Soardi PM (1994) Potential theory on infinite networks, vol 1590. Lecture notes in mathematics. Springer, BerlinMATH Soardi PM (1994) Potential theory on infinite networks, vol 1590. Lecture notes in mathematics. Springer, BerlinMATH
54.
go back to reference Stephenson K (2005) Introduction to circle packing: the theory of discrete analytic functions. Cambridge University Press, CambridgeMATH Stephenson K (2005) Introduction to circle packing: the theory of discrete analytic functions. Cambridge University Press, CambridgeMATH
55.
56.
go back to reference Stephenson K (1996) A probabilistic proof of Thurston’s conjecture on circle packings. Rend Sem Mat Fis Milano 66:201–291MathSciNetCrossRef Stephenson K (1996) A probabilistic proof of Thurston’s conjecture on circle packings. Rend Sem Mat Fis Milano 66:201–291MathSciNetCrossRef
57.
58.
go back to reference Thurston WP (1985) The finite Riemann mapping theorem, invited address. In: International Symposium in Celebration of the Proof of the Bieberbach Conjecture. Purdue University Thurston WP (1985) The finite Riemann mapping theorem, invited address. In: International Symposium in Celebration of the Proof of the Bieberbach Conjecture. Purdue University
59.
go back to reference Thurston WP (1982) The geometry and topology of 3-manifolds. Princeton University Notes, PrincetonMATH Thurston WP (1982) The geometry and topology of 3-manifolds. Princeton University Notes, PrincetonMATH
60.
go back to reference Taylor ME (2011) Partial differential equation I, 2nd edn. Springer, BerlinCrossRef Taylor ME (2011) Partial differential equation I, 2nd edn. Springer, BerlinCrossRef
61.
go back to reference Whitney H (1934) Analytic extensions of differentiable functions defined in closed sets. Trans Am Math Soc 36:63–89MathSciNetCrossRef Whitney H (1934) Analytic extensions of differentiable functions defined in closed sets. Trans Am Math Soc 36:63–89MathSciNetCrossRef
62.
go back to reference Zhang M, Guo R, Zeng W, Luo F, Yau ST, Gu XD (2014) The unified discrete surface Ricci flow. Graph Models 78:321–339CrossRef Zhang M, Guo R, Zeng W, Luo F, Yau ST, Gu XD (2014) The unified discrete surface Ricci flow. Graph Models 78:321–339CrossRef
Metadata
Title
Approximation of conformal mappings and novel applications to shape recognition of planar domains
Author
Sa’ar Hersonsky
Publication date
01-09-2018
Publisher
Springer US
Published in
The Journal of Supercomputing / Issue 11/2018
Print ISSN: 0920-8542
Electronic ISSN: 1573-0484
DOI
https://doi.org/10.1007/s11227-018-2564-6

Other articles of this Issue 11/2018

The Journal of Supercomputing 11/2018 Go to the issue

Premium Partner