An Example of Bianchi Transformation in E⁴

We describe a particular class of pseudo-spherical surfaces in E⁴ which admit Bianchi transformations

Gespeichert in:
Bibliographische Detailangaben
Datum:2012
1. Verfasser: Gorkavyy, V.
Format: Artikel
Sprache:English
Veröffentlicht: Фізико-технічний інститут низьких температур ім. Б.І. Вєркіна НАН України 2012
Schriftenreihe:Журнал математической физики, анализа, геометрии
Online Zugang:http://dspace.nbuv.gov.ua/handle/123456789/106721
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Назва журналу:Digital Library of Periodicals of National Academy of Sciences of Ukraine
Zitieren:An Example of Bianchi Transformation in E⁴ / V. Gorkavyy // Журнал математической физики, анализа, геометрии. — 2012. — Т. 8, № 3. — С. 240-247. — Бібліогр.: 8 назв. — англ.

Institution

Digital Library of Periodicals of National Academy of Sciences of Ukraine
id irk-123456789-106721
record_format dspace
spelling irk-123456789-1067212016-10-04T03:02:27Z An Example of Bianchi Transformation in E⁴ Gorkavyy, V. We describe a particular class of pseudo-spherical surfaces in E⁴ which admit Bianchi transformations Описан специальный класс псевдосферических поверхностей в E⁴, допускающих преобразования Бианки 2012 Article An Example of Bianchi Transformation in E⁴ / V. Gorkavyy // Журнал математической физики, анализа, геометрии. — 2012. — Т. 8, № 3. — С. 240-247. — Бібліогр.: 8 назв. — англ. 1812-9471 http://dspace.nbuv.gov.ua/handle/123456789/106721 en Журнал математической физики, анализа, геометрии Фізико-технічний інститут низьких температур ім. Б.І. Вєркіна НАН України
institution Digital Library of Periodicals of National Academy of Sciences of Ukraine
collection DSpace DC
language English
description We describe a particular class of pseudo-spherical surfaces in E⁴ which admit Bianchi transformations
format Article
author Gorkavyy, V.
spellingShingle Gorkavyy, V.
An Example of Bianchi Transformation in E⁴
Журнал математической физики, анализа, геометрии
author_facet Gorkavyy, V.
author_sort Gorkavyy, V.
title An Example of Bianchi Transformation in E⁴
title_short An Example of Bianchi Transformation in E⁴
title_full An Example of Bianchi Transformation in E⁴
title_fullStr An Example of Bianchi Transformation in E⁴
title_full_unstemmed An Example of Bianchi Transformation in E⁴
title_sort example of bianchi transformation in e⁴
publisher Фізико-технічний інститут низьких температур ім. Б.І. Вєркіна НАН України
publishDate 2012
url http://dspace.nbuv.gov.ua/handle/123456789/106721
citation_txt An Example of Bianchi Transformation in E⁴ / V. Gorkavyy // Журнал математической физики, анализа, геометрии. — 2012. — Т. 8, № 3. — С. 240-247. — Бібліогр.: 8 назв. — англ.
series Журнал математической физики, анализа, геометрии
work_keys_str_mv AT gorkavyyv anexampleofbianchitransformationine4
AT gorkavyyv exampleofbianchitransformationine4
first_indexed 2025-07-07T18:54:05Z
last_indexed 2025-07-07T18:54:05Z
_version_ 1837015442308202496
fulltext Journal of Mathematical Physics, Analysis, Geometry 2012, vol. 8, No. 3, pp. 240–247 An Example of Bianchi Transformation in E4 V. Gorkavyy Mathematics Division, B. Verkin Institute for Low Temperature Physics and Engineering National Academy of Sciences of Ukraine 47 Lenin Ave., Kharkiv 61103, Ukraine E-mail: gorkaviy@ilt.kharkov.ua Received March 2, 2011 We describe a particular class of pseudo-spherical surfaces in E4 which admit Bianchi transformations. Key words: pseudo-spherical surface, Bianchi transformation, Beltrami surface. Mathematics Subject Classification 2010: 53A07, 53B25. Introduction The aim of this note is to describe a particular class of two-dimensional pseudo-spherical surfaces, which admit the Bianchi transformation, in the four- dimensional Euclidean space. Recall the classical definition of the Bianchi transformation, see [1, 2, 3]. Let F be a pseudo-spherical surface, i.e. a surface of the constant negative Gauss curvature K ≡ −k2, in the three-dimensional Euclidean space E3. Suppose that F is represented in E3 by a position-vector r(ϕ, v) in terms of horocyclic coordinates (ϕ, v), i.e. the metric form of F reads ds2 = 1 k2 dϕ2+e2ϕdv2. Consider a new surface F ∗ whose position vector is r∗ = r − ∂ϕr. (1) It is well known that F ∗ is pseudo-spherical and has the same Gauss curva- ture, K ≡ −k2; F ∗ is called a Bianchi transform of F . Using different horo- cyclic coordinates and applying the Bianchi transformation, one can construct a one-parameter family of various pseudo-spherical surfaces from a given pseudo- spherical surface. Notice that the Bianchi transformation possesses some excep- tional features in terms of geodesic congruences which may be used to suggest a synthetic definition of the Bianchi transformation equivalent to (1). c© V. Gorkavyy, 2012 An Example of Bianchi Transformation in E4 A direct generalization of the classical theory of Bianchi transformations to the case of n-dimensional pseudo-spherical submanifolds in the (2n− 1)-dimensional Euclidean space was suggested and described by Yu. Aminov in [4], see also [1, 2, 5]. On the other hand, the question of how to extend the concept of the Bianchi transformation to the case of n-dimensional pseudo-spherical submanifolds in N - dimensional Euclidean spaces with arbitrary n ≥ 2, N ≥ 2n remains unsolved. This open problem was supplied by Yu. Aminov and A. Sym in [6], and this is just what motivated our results in this note. In the simplest non-trivial case of n = 2, N = 4, if one asks to extend the Bianchi transformation to the case of two-dimensional surfaces in the four- dimensional Euclidean space E4, a reasonable way is to accept the same formula (1) in order to construct a new surface F ∗ from a given pseudo-spherical surface F ⊂ E4. Naturally, F ∗ is called a Bianchi transform of F provided that F ∗ is pseudo-spherical. However, it turns out that generically F ∗ is not pseudo- spherical and thus a generic pseudo-spherical surface in E4 does not admit Bianchi transforms [6]. Pseudo-spherical surfaces in E4 admitting Bianchi transforms were described in [7] in terms of solutions of some particular system of partial differential equa- tions GCR, which may be viewed as a generalization of the sine-Gordon equation. The description deals with the fundamental forms of surfaces. However, no para- metric representations for such particular pseudo-spherical surfaces were derived and no one concrete example was presented. Our note is just aimed to remove this gap. First, in Sec. 1 we recall the classical construction of the Bianchi trasfor- mation for pseudo-spherical surfaces in E3. Next, in Sec. 2 we describe a con- structive method for producing a pseudo-spherical surface in E4 from a given pseudo-spherical surface in E3, such surfaces in E4 will be referred to as stretched. It is proved that an arbitrary stretched pseudo-spherical surface in E4 admits a Bianchi transform and this Bianchi transform is stretched too. Relations between the stretched pseudo-spherical surfaces in E4 and the solutions of the mentioned GCR-system of [7] are analyzed in Sec. 3. As consequence, it is shown that there exist pseudo-spherical surfaces in E4, which are not stretched but admit Bianchi transforms (it should be quite interesting to find an explicit representation for these surfaces). Finally, in Sec. 4 we describe the stretched pseudo-spherical sur- faces in E4 produced from the standard pseudo-sphere (Beltrami surface) in E3. Journal of Mathematical Physics, Analysis, Geometry, 2012, vol. 8, No. 3 241 V. Gorkavyy 1. Classical Theory of Bianchi Transformation Let F̃ be a regular two-dimensional surface of the constant negative Gauss curvature K ≡ −k2 in E3. Locally F̃ is parameterized by the horocyclic coor- dinates (ϕ, v) so that its metric form reads ds̃2 = 1 k2 dϕ2 + e2ϕdv2. From the intrinsic point of view, the coordinate curves v = const are parallel geodesics, whereas ϕ = const are horocircles in F̃ . Generically, given a horocyclic coordinate system (ϕ, v), one can locally pa- rameterize F̃ by another local coordinate system (u, v) so that the coordinate curves u = const and v = const form a conjugate net in F̃ . Then the metric form reads ds̃2 = 1 k2 dϕ(u, v)2 + e2ϕ(u,v)dv2, (2) whereas the second fundamental form is diagonalized, b̃ = b̃11du2 + b̃22dv2. Ap- plying the fundamental Codazzi equations, it is easy to show that b̃11 = e−ϕ∂uϕ, b̃22 = −e3ϕ∂uϕ (3) after some rescaling u → f(u). Moreover, the fundamental Gauss equation reads ∂uue2ϕ + ∂vve −2ϕ + 2k2 = 0. (4) Thus, generically any pseudo-spherical surface in E3 generates a solution of the nonlinear pde (4). In its turn, due to the classical Bonnet theorem, any solu- tion of (4) generates via (2), (3) a pseudo-spherical surface in E3 parameterized by conjugate coordinates, whose one family of the coordinate curves is parallel geodesics. Let ρ(u, v) be the corresponding position vector of F̃ . Consider a new surface F̃ ∗ in E3 represented by the position vector ρ∗ = ρ− ∂ϕρ = ρ− 1 ∂uϕ ∂uρ. (5) It is easy to get that the metric form of F̃ ∗ reads ds̃∗2 = e−2ϕdu2 + 1 k2 dϕ2. Hence, if ∂vϕ 6= 0, then the surface F̃ ∗ is regular and has the constant negative Gauss curvature K = −k2. Thus, F̃ ∗ is pseudo-spherical and it is called a Bianchi transform of F̃ . The described Bianchi transformation of the pseudo-spherical surfaces in E3 has a number of remarkable geometric properties [3]. From the analytical point of view, it corresponds to the involuting transformation ϕ(u, v) → ϕ∗(u, v) = −ϕ(v, u) for the solutions of (4). Moreover, it may be interpreted as a particular transformation for the solutions of the sin-Gordon equation. 242 Journal of Mathematical Physics, Analysis, Geometry, 2012, vol. 8, No. 3 An Example of Bianchi Transformation in E4 2. Stretched Pseudo-Spherical Surfaces and Bianchi Transformation Now, view E3 as a horizontal hyperplane x4 = 0 in E4 and hence consider the above surface F̃ as a surface in E4. Given F̃ ⊂ E3 ⊂ E4, define a new two-dimensional surface F in E4 by r(u, v) = (ρ(u, v), Aϕ(u, v) + B) , (6) where A 6= 0, B are constant. Because of (2), the metric form of F is ds2 = ds̃2 + A2dϕ2 = ( A2 + 1 k2 ) dϕ2 + e2ϕ(u,v)dv2. (7) It is easy to show that the Gauss curvature of F is K = − k√ A2k2 + 1 . Hence F is pseudo-spherical, and the local coordinates (ϕ, v) in F are horocyclic. It should be natural to say that the pseudo-spherical surface F ⊂ E4 is obtained by stretching the pseudo-spherical surface F̃ ⊂ E3 ⊂ E4. Thereby F is referred to as stretched, whereas F̃ is called the base of F . Evidently, the stretched pseudo- spherical surfaces form a particular class of the pseudo-spherical surfaces in E4. Let us apply to F the transformation r∗ = r − ∂ϕr = r − 1 ∂uϕ ∂ur. (8) The vector function r∗ represents a new surface F ∗ in E4. Proposition 1. F ∗ is a stretched pseudo-spherical surface. Moreover, the base of F ∗ is the Bianchi transform F̃ ∗ of the base F̃ of F . P r o o f. Due to (6), we have r∗ = ( ρ− 1 ∂uϕ ∂uρ,Aϕ + B −A ) . (9) In view of (5), ρ∗ = ρ− 1 ∂uϕ∂uρ represents exactly the Bianchi transform F̃ ∗ of F̃ . Moreover, the metric form of F̃ ∗ is ds̃∗2 = e−2ϕdu2 + 1 k2 dϕ2, hence ϕ∗(u, v) = −ϕ(v, u). Therefore, (9) may be rewritten as follows: r∗ = (ρ∗, A∗ϕ∗ + B∗) , (10) where A∗ = −A,B∗ = B −A. Comparing (6) with (10), one can easily conclude that F ∗ is a stretched pseudo-spherical surface whose base surface is F̃ ∗. Notice that the Gauss curvature of F ∗ is still the same, K = − k√ A2k2 + 1 , q.e.d. Journal of Mathematical Physics, Analysis, Geometry, 2012, vol. 8, No. 3 243 V. Gorkavyy Thus, any stretched pseudo-spherical surface in E4 admits a Bianchi trans- form which is a stretched pseudo-spherical surface too. Besides, the Bianchi transformation of the stretched pseudo-spherical surfaces in E4 is generated by the classical Bianchi transformation of their base surfaces in E3. R e m a r k. The same stretching procedure was applied in [8] to produce two-dimensional pseudo-spherical surfaces, which admit Bianchi transforms, in Riemannian products Mn × R1, where Mn is the sphere Sn or the Lobachevski space Hn. It turns out that a pseudo-spherical surface in M3 × R1 admits a Bianchi transform if and only if it is either a stretched surface or a hypersurface in a horizontal slice M3 × {h0} ⊂ M3 × R1. As we will see in the next section, this is not true for the case of R3 ×R1, i.e. if M3 = E3. 3. Stretched Pseudo-Spherical Surfaces and Solutions of the GCR-System Pseudo-spherical surfaces in E4 admitting Bianchi transforms were described in [7]. Roughly speaking, a pseudo-spherical surface with K ≡ −1 in E4, which is not a hypersurface in any hyperplane E3 ⊂ E4, admits a Bianchi transform if and only if it can be parameterized in such a way that its fundamental forms read ds2 = dϕ2 + e2ϕdv2, (11) II1 = e−ϕ∂uϕdu2 − e3ϕ∂uϕdv2, II2 = eϕPdv2, (12) µ12 = Qdu, (13) where the functions ϕ(u, v), P (u, v) and Q(u, v) satisfy the Gauss–Codazzi–Ricci equations ∂uue2ϕ + ∂vve −2ϕ + 2(PQ + 1) = 0, (14) ∂uP −Qe2ϕ∂uϕ = 0, (15) ∂vQ + Pe−2ϕ∂vϕ = 0 (16) and the regularity conditions ∂uϕ 6= 0, ∂vϕ 6= 0, P 6= 0, Q 6= 0. (17) Due to the classical Bonnet theorem, any solution {ϕ, P, Q} of the GCR-system (14)–(17) generates a pseudo-spherical surface with K ≡ −1 in E4 which admits a Bianchi transform. Since the stretched pseudo-spherical surfaces in E4 admit Bianchi transforms, they correspond to some particular solutions of (14)–(17). 244 Journal of Mathematical Physics, Analysis, Geometry, 2012, vol. 8, No. 3 An Example of Bianchi Transformation in E4 Proposition 2. The stretched pseudo-spherical surface F in E4, represented by (6) with A = √ k2−1 k , has the following fundamental forms: ds2 = dϕ2 + e2ϕdv2, (18) II1 = e−ϕ∂uϕdu2 − e3ϕ∂uϕdv2, II2 = e2ϕ √ k2 − 1 dv2, (19) µ12 = e−ϕ √ k2 − 1 du. (20) P r o o f. Set A = √ k2−1 k in (6). Then (7) implies (18). Differentiate (6) and write the vectors tangent to F ∂ur = ( ∂uρ, √ k2 − 1 k ∂uϕ ) , ∂vr = ( ∂vρ, √ k2 − 1 k ∂vϕ ) . (21) The normal plane to F ⊂ E4 is spanned by the following unit vectors: N1 = (n, 0) , N2 = ( − √ k2 − 1 ∂uϕ ∂uρ, 1 k ) , (22) where n is the unit vector normal to the base surface F̃ ⊂ E3 ⊂ E4. Differentiate (21) and find the second fundamental forms IIσ = 〈d2r,Nσ〉 of F with respect to the normal frame (22); this yields (19). Finally, differentiate (22) and find µ12 = 〈dN1, N2〉; this proves (20), q.e.d. Comparing (18)–(20) with (11)–(13), we can see that the stretched pseudo- spherical surface F corresponds to the solution { ϕ, P = √ k2 − 1eϕ, Q = √ k2 − 1e−ϕ } , (23) whereas ϕ(u, v) is determined by the base F̃ and solves equation (11) which reduces to (4). This solution was presented in the formula (32) of [7], where one has to set c1 = 0, c2 = √ k2 − 1. Notice that (11), (12) has other solutions different from (23), see [7]. It means that there are pseudo-spherical surfaces in E4 which are neither stretched surfaces nor hypersurfaces in E3 ⊂ E4 but admit Bianchi transforms. 4. An Example: Stretched Pseudo-Spheres in E4 Let F̃ ⊂ E3 be a pseudo-sphere represented by the position vector ρ(ϕ, v) = (eϕ cos v, eϕ sin v, Ψ) , Journal of Mathematical Physics, Analysis, Geometry, 2012, vol. 8, No. 3 245 V. Gorkavyy where Ψ(ϕ) satisfies (Ψ′)2 + e2ϕ = 1 k2 , hence Ψ = ±1 k (√ 1− k2e2ϕ + 1 2 ln(1− √ 1− k2e2ϕ)− 1 2 ln(1 + √ 1− k2e2ϕ) ) . (24) The local coordinates (ϕ, v) in F̃ are horospherical since ds̃2 = 1 k2 dϕ2 + e2ϕdv2. However, if we apply the Bianchi transformation (1), then the transformed surface F̃ ∗ degenerates to a curve (the axis of rotation of F̃ ). So we need some other horocyclic coordinates in F . Such coordinates are given by ϕ = − ln ( 2e−ϕ̂ k2v̂2 + e−2ϕ̂ ) , v = 2v̂ k2v̂2 + e−2ϕ̂ . (25) In fact, it is easy to verify that the metric form of F̃ reads ds̃2 = 1 k2 dϕ̂2 + e2ϕ̂dv̂2, so the local coordinates (ϕ̂, v̂) in F̃ are horocyclic. Taking F̃ as the base, a stretched pseudo-spherical surface F in E4 is repre- sented by the position vector r(ϕ̂, v̂) = (eϕ cos v, eϕ sin v, Ψ, Av̂ + B) , where ϕ(ϕ̂, v̂), v(ϕ̂, v̂), Ψ(ϕ(ϕ̂, v̂)) are explicitly given by (24), (25), and A 6= 0, B are arbitrary constants. In terms of the original coordinates (ϕ, v), the stretched surface F is represented by r(ϕ, v) = ( eϕ cos v, eϕ sin v, Ψ(ϕ), A ln ( 1 + v2e2ϕk2 2 ) + B ) . This surface in E4 should be called a stretched pseudo-sphere (a stretched Beltrami surface). Applying the Bianchi transformation, one may obtain a new sequence of the stretched pseudo-spherical surfaces in E4. References [1] Yu.A. Aminov, Geometry of Submanifolds. Gordon & Breach Science Publ., Ams- terdam, 2001. [2] K. Tenenblat, Transformations of Manifolds and Applications to Differential Equa- tions. Wiley, New York, 1998. [3] Nonlinearity & Geometry. Luigi Bianchi Days. (D. Wojcik and J. Cieslinski, Eds.), Polish Scientific Publishers PWN, Warsawa, 1998. [4] Yu. Aminov, A Bianchi Transformation for a Domain of the Many-Dimensional Lobachevski Space. — Ukr. Geom. Sb. 21 (1978), 3–5. (Russian) 246 Journal of Mathematical Physics, Analysis, Geometry, 2012, vol. 8, No. 3 An Example of Bianchi Transformation in E4 [5] L.A. Masaltsev, Pseudo-Spherical Congruence in E2n−1. — Mat. fiz., analiz, geom. 1 (1994), No. 3/4, 505–512. (Russian) [6] Yu. Aminov and A. Sym, On Bianchi and Backlund Transformations of Two- Dimensional Surfaces in E4. — Math. Phys., Anal. Geom. 3 (2000), No. 1, 75–89. [7] V.A. Gorkavyy, Bianchi Congruences for Surfaces in E4. — Mat. Sb. 196 (2005), No. 10, 79–102. (Russian) [8] V.A. Gorkavyy and O.M. Nevmerzhitska, An Analogue of the Bianchi Transfor- mation for Two-Dimensional Surfaces in S3 × R1 and H3 × R1. In Proceedings of the International conference ”Geometry in ”large”, topology and applications”, dedicated to A.V. Pogorelov, ”Acta”, Kharkiv, 2010, 186–195. Journal of Mathematical Physics, Analysis, Geometry, 2012, vol. 8, No. 3 247