Surfaces of a Constant Negative Curvature
Abstract
I study the geometric notion of a differential system describing surfaces of a constant negative curvature and describe a family of pseudospherical surfaces for the nonlinear partial differential equations with constant Gaussian curvature −1.
1. Introduction
In recent decades, a class of transformations having their origin in the work by Bäcklund in the late nineteenth century has provided a basis for remarkable advances in the study of nonlinear partial differential equations (NLPDEs) [1]. The importance of Bäcklund transformations (BTs) and their generalizations is basically twofold. Thus, on one hand, invariance under a BT may be used to generate an infinite sequence of solutions for certain NLPDEs by purely algebraic superposition principles. On the other hand, BTs may also be used to link certain NLPDEs (particularly nonlinear evolution equations (NLEEs) modelling nonlinear waves) to canonical forms whose properties are well known [2, 3]. Nonlinear wave phenomena have attracted the attention of physicists for a long time. Investigation of a certain kind of NLPDEs has made great progress in the last decades. These equations have a wide range of physical applications and share several remarkable properties [4–6]: (i) the initial value problem can be solved exactly in terms of linear procedures, the so-called “inverse scattering method (ISM);” (ii) they have an infinite number of “conservation laws;” (iii) they have “BTs;” (iv) they describe pseudo-spherical surfaces (pss), and hence one may interpret the other properties (i)–(iii) from a geometrical point of view; (v) they are completely integrable [1, 3]. This geometrical interpretation is a natural generalization of a classical example given by Chern and Tenenblat [2] who introduced the notion of a differential equation (DE) for a function that describes a pss, and they obtained a classification for such equations of type (). These results provide a systematic procedure to obtain a linear eigenvalue problem associated to any NLPDE of this type [7].
Sasaki [6] gave a geometrical interpretation for inverse scattering problem (ISP), considered by Ablowitz et al. [4], in terms of pss. Based on this interpretation, one may consider the following definition.
The main aim of this paper is to use the geometric properties and differentiable functions in the construction of BTs for some NLEEs which describe pss.
The paper is organized as follows. In Section 2 we summarize the AKNS formulation of the ISM using the language of exterior differential forms; this language is very useful for geometry. The correspondence between NLEEs and their families of pss is established in Section 3. In Section 4 we find the BTs for some NLEEs (Liouville, Burgers, and sinh-Gordon equations, a third-order evolution equation (TOEE), a modified Korteweg-de Vries (mKdV) equation, and both families of equations I and II) which describe pss. Finally, we give some conclusions in Section 5.
2. The AKNS System for Some NLEEs
- (a)
Liouville’s equation:
()() - (b)
Burgers’ equation:
()() - (c)
sinh-Gordon equation:
()() - (d)
A TOEE [22]:
()() -
where , .
- (e)
A mKdV equation:
() -
where a is a constant,
() -
where , .
- (f)
A family of equations I [23]:
() -
where g(u) is a differentiable function of u which satisfies g′′ + μg = θ, with α, β, μ, and θ are real constants, such that ξ2 = αη2 + μ,
() - (g)
A family of equations II [23] similar to the family I, but with some signs changed:
() -
where g(u) is a differentiable function of u which satisfies g′′ + μg = θ, with α, β, μ, and θ are real constants, such that ξ2 = αη2 − μ,
() -
keeping in mind that the parameter η plays the role of the eigenvalue for the scattering problem in (2.1). Note that the one-form, Ω, is not unique for a given NLPDE, for the scattering equations (2.1), (2.2), and (2.3) are form invariant under the “gauge” transformation:
() -
where A is an arbitrary 2 × 2 matrix with determinant unity,
() -
Integrability of (2.1) is,
() -
requires the vanishing of the two form
()
3. The NLEEs Which Describe pss
Let M2 be a two-dimensional differentiable manifold parametrized by coordinates x, t. We consider a metric on M2 defined by ω1, ω2. The first two equations in (1.3) are the structure equations which determine the connection form ω3, and the last equation in (1.3), the Gauss equation, determines that the Gaussian curvature of M2 is −1, that is, M2 is a pss. Moreover, an EE must be satisfied for the existence of forms (3.1) satisfying (1.3). This justifies the definition of a DE which describes a pss that we considered in the introduction.
We will restrict ourselves to the case where f21 = η. More precisely, we say that a DE for u(x, t) describes a pss if it is a necessary and sufficient condition for the existence of functions fij, 1 ≤ i ≤ 3, 1 ≤ j ≤ 2, depending on u(x, t) and its derivatives, f21 = η, such that the one-forms in (1.2), satisfy the structure equations (1.3) of a pss. It follows from this definition that for each nontrivial solution u of the DE, one gets a metric defined on M2, whose Gaussian curvature is −1.
It has been known, for along time, that the sinh-Gordon (SG) equation describes a pss. In this paper, we extend the same analysis to include the Liouville, Burgers, sinh-Gordon equations, a TOEE, a mKdV equation, and both families of equations I and II.
Example 3.1. Let M2 be a differentiable surface, parametrized by coordinates x, t.
- (a)
Liouville’s equation.
-
Consider
() -
Then M2 is a pss if and only if u satisfies Liouville’s equation (2.4).
- (b)
Burgers’ equation.
-
Consider
() -
Then M2 is a pss if and only if u satisfies the Burgers’ equation (2.6).
- (c)
sinh-Gordon equation.
-
Consider
() -
Then M2 is a pss if and only if u satisfies the sinh-Gordon equation (2.8).
- (d)
A TOEE.
-
Consider
() -
Then M2 is a pss iff u satisfies a TOEE (2.10).
- (e)
A mKdV equation.
-
Consider
() -
Then M2 is a pss iff u satisfies a mKdV equation (2.12).
- (f)
A family of equations I.
-
Consider
() -
Then M2 is a pss if and only if u satisfies the family of equations I (2.14).
- (g)
A family of equations II.
-
Consider
() -
Then M2 is a pss if and only if u satisfies the family of equations II (2.16).
4. A Geometric Method Which Provides BTs
In this section, we show how the geometric properties of a pss may be applied to obtain analytic results for some NLEEs which describe pss.
The classical Bäcklund theorem originated in the study of pss, relating solutions of the SG equation. Other transformations have been found relating solutions of specific equations in [15, 17, 24, 25]. Such transformations are called BTs after the classical one. A BT which relates solutions of the same equation is called a self-Bäcklund transformation (sBT). An interesting fact which has been observed is that DEs which have sBT also admit a superposition formula. The importance of such formulas is due to the following: if u0 is a solution of the NLEE and u1, u2 are solutions of the same equation obtained by the sBT, then the superposition formula provides a new solution u′ algebraically. By this procedure one obtains the soliton solutions of a NLEE. In what follows we show that geometrical properties of pss provide a systematic method to obtain the BTs for some NLEEs which describe pss.
Proposition 4.1. Given a coframe and corresponding connection one-form on a smooth Riemannian surfaces M2, there exists a new coframe and new connection one-form satisfying the following:
Proof. Assume that the orthonormal dual to the coframes and possesses the same orientation. The one-forms and are connected by means of [27–31]:
Geometrically, (4.1) and (4.3) determine geodesic coordinates on M2. Now, if describes pss with associated one-forms ωi = fi1dx + fi2dt, (4.1) and (4.3) imply that the Pfaffian system,
Proposition 4.2. Let be a NLEE which describe a pss with associated one-forms (1.2). Then, for each solution u(x, t) of , the system of equations for ϕ(x, t),
- (a)
BT for Liouville’s equation.
-
For (2.4) we consider the functions defined by
() -
for any solution u(x, t) of (2.4), the above functions satisfy (2.21). Then (4.9) becomes
() -
If we choose Γ′ and u′ as
() -
then Γ′ and u′ satisfy (4.13). If we eliminate Γ in (4.13) and (4.10) with (4.14), we get the BT:
() -
Equation (4.15) is the BT for Liouville’s equation (2.4) with f11, f22, and f32 given in (4.12).
- (b)
BT for Burgers’ equation.
-
For any solution u(x, t) of the Burgers’ equation (2.6), the functions
() -
The above functions fij satisfy (2.21). Then (4.9) becomes [27]
() -
If we choose Γ′ and u′ as
() -
then Γ′ and u′ satisfy (4.17). If we eliminate Γ in (4.17) and (4.10) with (4.18), we get the BT:
() -
where we put and u = 4wx. Equation (4.19) is the BT for the Burgers’ equation (2.6) with f11, f22, and f32 given in (4.16).
- (c)
BT for sinh-Gordon equation.
-
For (2.8) we consider the following functions of u(x, t) defined by [28]
() -
for any solution u(x, t) of (2.8), the above functions fij satisfy (2.21). Then (4.9) becomes [29]
() -
If we choose Γ′ and u′ as
() -
then Γ′ and u′ satisfy (4.21). If we eliminate Γ in (4.21) and (4.10) with (4.22), we get the BT:
() -
Equation (4.23) is the BT for the sinh-Gordon equation (2.8) with f11, f22, and f32 given in (4.20).
- (d)
BT for a TOEE.
-
For (2.10) we consider the functions defined by
() -
The above functions fij satisfy (2.21). Then (4.9) becomes [30]
() -
If we choose Γ′ and u′ as
() -
then Γ′ and u′ satisfy (4.25). If we eliminate Γ in (4.25) and (4.10) with (4.26), we get the BT:
() -
Equation (4.27) is the BT for a TOEE (2.10) with f11, f22, and f32 given in (4.24).
- (e)
BT for a mKdV equation.
-
For (2.12) we consider the following functions of u(x, t) defined by
() -
for any solution u(x, t) of (2.12), the above functions fij satisfy (2.21). Then (4.9) becomes [31]
() -
If we choose Γ′ and u′ as
() -
then Γ′ and u′ satisfy (4.29). If we eliminate Γ in (4.29) and (4.10) with (4.30), we get the BT:
() -
where we put and . Equation (4.31) is the BT for an mKdV equation (2.12) with f11, f22, and f32 given in (4.28).
- (f)
BT for the family of equations I.
-
For any solution u of the family of equations I (2.14), the functions
() -
The above functions fij satisfy (2.21). Then (4.9) becomes [34]
() -
If we choose Γ′ and u′ as
() -
then Γ′ and u′ satisfy (4.33). If we eliminate Γ in (4.33) and (4.10) with (4.34), we get the BT:
() -
Equation (4.35) is the BT for the family of equations I (2.14) with f11, f22, and f32 given in (4.32).
- (g)
BT for the family of equations II.
-
For (2.16) we consider the functions of u(x, t) defined by
() -
for any solution u(x, t) of (2.16), the above functions fij satisfy (2.21). Then (4.9) becomes
() -
If we choose Γ′ and u′ as
() -
then Γ′ and u′ satisfy (4.37). If we eliminate Γ in (4.37) and (4.10) with (4.38), we get the BT:
()
Equation (4.39) is the BT for the family of equations II (2.16) with f11, f22, and f32 given in (4.36).
We have previously discussed the relationships among the geometrical properties and the BT. There, we restrict our discussion to the NLEEs which can be reduced to the Liouville’s form of the geometrical properties such as the Burgers, the sinh-Gordon equations, a TOEE, a mKdV, and the two family of equations I and II.
5. Conclusions
We may hope to find some relationships among various soliton equations which describe pss. The latter yields directly the curvature condition (Gaussian curvature equal to −1, corresponding to pseudo-spherical surfaces). This geometrical method is considered for several NLPDEs which describe pss: Liouville, Burgers, sinh-Gordon equations, a TOEE, a mKdV, and the two families of equations I and II. We show how the geometric properties of a pss may be applied to obtain analytic results for some NLEEs which describe pss. This geometrical method allows some further generalization of the work on Bäcklund transformations given by Wadati et al. [3]. The Bäcklund transformations for all seven NLPDEs mentioned above are derived in this way.