Isothermal coordinates

In mathematics, specifically in differential geometry, isothermal coordinates on a Riemannian manifold are local coordinates where the metric is conformal to the Euclidean metric. This means that in isothermal coordinates, the Riemannian metric locally has the form

[math]\displaystyle{ g = \varphi (dx_1^2 + \cdots + dx_n^2), }[/math]

where [math]\displaystyle{ \varphi }[/math] is a positive smooth function. (If the Riemannian manifold is oriented, some authors insist that a coordinate system must agree with that orientation to be isothermal.)

Isothermal coordinates on surfaces were first introduced by Gauss. Korn and Lichtenstein proved that isothermal coordinates exist around any point on a two dimensional Riemannian manifold.

By contrast, most higher-dimensional manifolds do not admit isothermal coordinates anywhere; that is, they are not usually locally conformally flat. In dimension 3, a Riemannian metric is locally conformally flat if and only if its Cotton tensor vanishes. In dimensions > 3, a metric is locally conformally flat if and only if its Weyl tensor vanishes.

Isothermal coordinates on surfaces

In 1822, Carl Friedrich Gauss proved the existence of isothermal coordinates on an arbitrary surface with a real-analytic Riemannian metric, following earlier results of Joseph Lagrange in the special case of surfaces of revolution.({{{1}}}, {{{2}}}) The construction used by Gauss made use of the Cauchy–Kowalevski theorem, so that his method is fundamentally restricted to the real-analytic context.({{{1}}}, {{{2}}}) Following innovations in the theory of two-dimensional partial differential equations by Arthur Korn, Leon Lichtenstein found in 1916 the general existence of isothermal coordinates for Riemannian metrics of lower regularity, including smooth metrics and even Hölder continuous metrics.({{{1}}}, {{{2}}})

Given a Riemannian metric on a two-dimensional manifold, the transition function between isothermal coordinate charts, which is a map between open subsets of R², is necessarily angle-preserving. The angle-preserving property together with orientation-preservation is one characterization (among many) of holomorphic functions, and so an oriented coordinate atlas consisting of isothermal coordinate charts may be viewed as a holomorphic coordinate atlas. This demonstrates that a Riemannian metric and an orientation on a two-dimensional manifold combine to induce the structure of a Riemann surface (i.e. a one-dimensional complex manifold). Furthermore, given an oriented surface, two Riemannian metrics induce the same holomorphic atlas if and only if they are conformal to one another. For this reason, the study of Riemann surfaces is identical to the study of conformal classes of Riemannian metrics on oriented surfaces.

By the 1950s, expositions of the ideas of Korn and Lichtenstein were put into the language of complex derivatives and the Beltrami equation by Lipman Bers and Shiing-shen Chern, among others.({{{1}}}, {{{2}}}) In this context, it is natural to investigate the existence of generalized solutions, which satisfy the relevant partial differential equations but are no longer interpretable as coordinate charts in the usual way. This was initiated by Charles Morrey in his seminal 1938 article on the theory of elliptic partial differential equations on two-dimensional domains, leading later to the measurable Riemann mapping theorem of Lars Ahlfors and Bers.({{{1}}}, {{{2}}})

Beltrami equation

The existence of isothermal coordinates can be proved by applying known existence theorems for the Beltrami equation, which rely on L^p estimates for singular integral operators of Calderón and Zygmund. A simpler approach to the Beltrami equation has been given more recently by Adrien Douady.

If the Riemannian metric is given locally as

[math]\displaystyle{ ds^2 = E \, dx^2 + 2F \, dx \, dy + G \, dy^2, }[/math]

then in the complex coordinate [math]\displaystyle{ z = x + iy }[/math], it takes the form

[math]\displaystyle{ ds^2 = \lambda| \, dz +\mu \, d\overline{z}|^2, }[/math]

where [math]\displaystyle{ \lambda }[/math] and [math]\displaystyle{ \mu }[/math] are smooth with [math]\displaystyle{ \lambda\gt 0 }[/math] and [math]\displaystyle{ \left\vert \mu \right\vert \lt 1 }[/math]. In fact

[math]\displaystyle{ \lambda={1\over 4} ( E + G +2\sqrt{EG -F^2}),\,\,\, {\displaystyle \mu ={(E-G+2iF) \over 4\lambda }}. }[/math]

In isothermal coordinates [math]\displaystyle{ (u,v) }[/math] the metric should take the form

[math]\displaystyle{ ds^2 = e^{\rho} (du^2 + dv^2) }[/math]

with ρ smooth. The complex coordinate [math]\displaystyle{ w = u + iv }[/math] satisfies

[math]\displaystyle{ e^{\rho} \, |dw|^2 = e^{\rho} |w_{z}|^2 | \, dz + {w_{\overline {z}}\over w_z} \, d\overline{z}|^2, }[/math]

so that the coordinates (u, v) will be isothermal if the Beltrami equation

[math]\displaystyle{ {\partial w\over \partial \overline{z}} = \mu {\partial w\over \partial z} }[/math]

has a diffeomorphic solution. Such a solution has been proved to exist in any neighbourhood where [math]\displaystyle{ \lVert \mu \rVert_\infty\lt 1 }[/math].

Existence via local solvability for elliptic partial differential equations

The existence of isothermal coordinates on a smooth two-dimensional Riemannian manifold is a corollary of the standard local solvability result in the analysis of elliptic partial differential equations. In the present context, the relevant elliptic equation is the condition for a function to be harmonic relative to the Riemannian metric. The local solvability then states that any point p has a neighborhood U on which there is a harmonic function u with nowhere-vanishing derivative.

Isothermal coordinates are constructed from such a function in the following way. Harmonicity of u is identical to the closedness of the differential 1-form [math]\displaystyle{ \star du, }[/math] defined using the Hodge star operator [math]\displaystyle{ \star }[/math] associated to the Riemannian metric. The Poincaré lemma thus implies the existence of a function v on U with [math]\displaystyle{ dv=\star du. }[/math] By definition of the Hodge star, [math]\displaystyle{ du }[/math] and [math]\displaystyle{ dv }[/math] are orthogonal to one another and hence linearly independent, and it then follows from the inverse function theorem that u and v form a coordinate system on some neighborhood of p. This coordinate system is automatically isothermal, since the orthogonality of [math]\displaystyle{ du }[/math] and [math]\displaystyle{ dv }[/math] implies the diagonality of the metric, and the norm-preserving property of the Hodge star implies the equality of the two diagonal components.

Gaussian curvature

In the isothermal coordinates [math]\displaystyle{ (u,v) }[/math], the Gaussian curvature takes the simpler form

[math]\displaystyle{ K = -\frac{1}{2} e^{-\rho} \left(\frac{\partial^2 \rho}{\partial u^2} + \frac{\partial^2 \rho}{\partial v^2}\right). }[/math]

See also

• Conformal map
• Liouville's equation
• Quasiconformal map

References

• Ahlfors, Lars V. (1952), "Conformality with respect to Riemannian metrics.", Ann. Acad. Sci. Fenn. Ser. A I 206: 1–22 
• Ahlfors, Lars V. (2006). Lectures on quasiconformal mappings. University Lecture Series. 38. With supplemental chapters by C. J. Earle, I. Kra, M. Shishikura and J. H. Hubbard (Second edition of 1966 original ed.). Providence, RI: American Mathematical Society. doi:10.1090/ulect/038. ISBN 0-8218-3644-7. 
• Bers, Lipman (1958). Riemann surfaces. Notes taken by Rodlitz, Esther and Pollack, Richard. Courant Institute of Mathematical Sciences at New York University. pp. 15–35. 
• Bers, Lipman; John, Fritz; Schechter, Martin (1979). Partial differential equations. Lectures in Applied Mathematics. 3A. American Mathematical Society. ISBN 0-8218-0049-3. 
• Chern, Shiing-shen (1955). "An elementary proof of the existence of isothermal parameters on a surface". Proceedings of the American Mathematical Society 6 (5): 771–782. doi:10.2307/2032933. 
• DeTurck, Dennis M.; Kazdan, Jerry L. (1981). "Some regularity theorems in Riemannian geometry". Annales Scientifiques de l'École Normale Supérieure. Série 4 14 (3): 249–260. doi:10.24033/asens.1405. ISSN 0012-9593. http://www.numdam.org/item?id=ASENS_1981_4_14_3_249_0. .
• do Carmo, Manfredo P. (2016). Differential geometry of curves & surfaces (Revised and updated second edition of 1976 original ed.). Mineola, NY: Dover Publications, Inc.. ISBN 978-0-486-80699-0. 
• Douady, Adrien; Buff, X. (2000), Le théorème d'intégrabilité des structures presque complexes. [Integrability theorem for almost complex structures], London Mathematical Society Lecture Note Series, 274, Cambridge University Press, pp. 307–324 

• Gauss, C. F. (1825). "Allgemeine Auflösung der Aufgabe die Theile einer gegebenen Flache auf einer andern gegebnen Fläche so abzubilden, dass die Abbildung dem Abgebildeten in den kleinsten Theilen ähnlich wird". Astronomische Abhandlungen, Drittes Heft. Altona: Hammerich und Heineking. pp. 1–30. https://books.google.com/books?id=pgizxQ8X-WUC.  Reprinted in:
  • Gauss, Carl Friedrich (2011) (in German). Werke: Volume 4. Cambridge Library Collection. New York: Cambridge University Press. doi:10.1017/CBO9781139058254.005. ISBN 978-1-108-03226-1. 
  Translated to English in:
  • Gauss (1929). "On conformal representation". A source book in mathematics. Source Books in the History of the Sciences. New York: McGraw-Hill Book Co.. pp. 463–475. https://archive.org/details/sourcebookinmath00smit. 

• Imayoshi, Y.; Taniguchi, M. (1992). An introduction to Teichmüller spaces. Tokyo: Springer-Verlag. doi:10.1007/978-4-431-68174-8. ISBN 0-387-70088-9. 
• Korn, A. (1914). "Zwei Anwendungen der Methode der sukzessiven Annäherungen". Berlin, Heidelberg: Springer. pp. 215–229. doi:10.1007/978-3-642-50735-9_16. ISBN 978-3-642-50426-6. 
• Lagrange, J. (1779). "Sur la construction des cartes géographiques". Nouveaux mémoires de l'Académie royale des sciences et belles-lettres de Berlin: 161–210. https://books.google.com/books?id=U1ZFAAAAcAAJ.  Reprinted in:
  • "Œuvres de Lagrange: tome 4" (in French). Œuvres de Lagrange: tome 4. Paris: Gauthier-Villars. 1867. http://sites.mathdoc.fr/cgi-bin/oeitem?id=OE_LAGRANGE__4_637_0. 
• Lichtenstein, Léon (1916). "Zur Theorie der konformen Abbildung. Konforme Abbildung nichtanalytischer, singularitätenfreier Flächenstücke auf ebene Gebiete". Bulletin International de l'Académie des Sciences de Cracovie: Classe des Sciences Mathématiques et Naturelles. Série A: Sciences Mathématiques: 192–217. https://books.google.com/books?id=BWAWAQAAIAAJ. 
• Morrey, Charles B. (1938). "On the solutions of quasi-linear elliptic partial differential equations". Transactions of the American Mathematical Society 43 (1): 126–166. doi:10.2307/1989904. 
• Spivak, Michael (1999). A comprehensive introduction to differential geometry. Volume four (Third edition of 1975 original ed.). Publish or Perish, Inc.. ISBN 0-914098-73-X. 
• Taylor, Michael E. (2000). Tools for PDE. Pseudodifferential operators, paradifferential operators, and layer potentials. Mathematical Surveys and Monographs. 81. Providence, RI: American Mathematical Society. doi:10.1090/surv/081. ISBN 0-8218-2633-6. 
• Taylor, Michael E. (2011). Partial differential equations I. Basic theory. Applied Mathematical Sciences. 115 (Second edition of 1996 original ed.). New York: Springer. doi:10.1007/978-1-4419-7055-8. ISBN 978-1-4419-7054-1. 

External links

• Hazewinkel, Michiel, ed. (2001), "Isothermal coordinates", Encyclopedia of Mathematics, Springer Science+Business Media B.V. / Kluwer Academic Publishers, ISBN 978-1-55608-010-4, https://www.encyclopediaofmath.org/index.php?title=p/i052890