International Journal of Mathematics and Mathematical Sciences

International Journal of Mathematics and Mathematical Sciences / 2009 / Article

Research Article | Open Access

Volume 2009 |Article ID 210304 | 16 pages | https://doi.org/10.1155/2009/210304

Integrable Equations and Their Evolutions Based on Intrinsic Geometry of Riemann Spaces

Academic Editor: Peter Basarab-Horwath
Received09 Mar 2009
Accepted11 Aug 2009
Published06 Sep 2009

Abstract

The intrinsic geometry of surfaces and Riemannian spaces will be investigated. It is shown that many nonlinear partial differential equations with physical applications and soliton solutions can be determined from the components of the relevant metric for the space. The manifolds of interest are surfaces and higher-dimensional Riemannian spaces. Methods for specifying integrable evolutions of surfaces by means of these equations will also be presented.

1. Introduction

Surfaces arise in the study of many classical systems, especially those in which interfaces or fronts appear. This occurs in the study of surface waves, deformations of membranes, and boundaries between regions of differing viscosity or densities. Surfaces are also finding applications at present in the areas of classical string theory and quantum field theory [1, 2]. Two cases which are particularly important for applications and have received much attention are the cases in which the surface can be ascribed a constant mean curvature or a constant Gaussian curvature. Each of these cases has a wide variety of nonlinear partial differential equations associated with it, and each has been studied with great interest recently [3, 4].

This is due to the fact that many partial differential equations, or systems of differential equations, can be generated as a consequence of formulas which result from the study of surfaces. Some equations such as those related to constant mean curvature are a consequence of the theory, and many related to constant Gaussian curvature can be obtained as a result of specifying quantities which are in the formulas in a particular form. Moreover, many of these equations are known to possess soliton solutions [5], and so this provides a link between equations, solitons, and surfaces. This has certainly been shown to be the case in the study of constant mean curvature surfaces [6]. In fact, many nonlinear equations which have been studied recently, such as the KdV and mKdV equations, are directly related to surfaces which have constant Gaussian curvature [7, 8]. These equations have soliton solutions, and conversely solutions from these equations can be used to determine the first and second fundamental forms of a surface. Historically, Bianchi and Bäcklund introduced symmetry transformations which can be regarded as transformations between surfaces and have come to be called Bäcklund transformations. This was initially done for the sine-Gordon equation which allows the construction of new pseudospherical surfaces from a given surface. In an approach that uses the inverse scattering transform method, one starts with the system of -dimensional linear problems , and then constructs explicit formulas for the immersion of one-parameter families of surfaces [9].

The study of the general theory of three-dimensional Riemann spaces has not been completed as far as a theory of surfaces is concerned [10]. In fact, various partial differential equations do arise within the study of problems in three and higher dimensional Riemann spaces as will be seen here. Three-dimensional Riemann spaces and possibly even higher dimensional versions play a crucial and fundamental role in general relativity and the study of gravity in general. One of the reasons for this is that any metric in general relativity can be transformed into a synchronic system of coordinates, which is one in which the spatial part of the metric is Riemannian. In this event, an initial value problem can be formulated in terms of three-dimensional Riemannian space plus one time variable in a very natural way. The study of higher-dimensional Riemann spaces can very well be of importance in the study of Kaluza-Klein theories as well as in formulating string theories.

The intrinsic geometry of surfaces and Riemannian spaces will be introduced and described without any reference to the enveloping space. Results from the study of these spaces are used to obtain nonlinear differential equations. This gives an automatic connection between surfaces and equations. The procedure will be to define a metric in mathematical form with a particular structure and a curvature which will depend on the components of the metric and given by a specific formula, in particular the curvature equation. This will be used to establish a relationship between the intrinsic geometry of the spaces as specified by the functions in the metric and multidimensional integrable equations which result from the curvature equation [11]. Methods for specifying integrable evolutions or deformations of surfaces will also be examined as well. The study of the solutions to these equations is not the main objective here, but to formulate some new, relevant equations and propose some new ones for study.

Consider two-dimensional surfaces which have a first fundamental form given in terms of components as

where , and are functions of the local coordinates of a surface. The basic invariant which is characteristic of the intrinsic geometry of a surface is the Gaussian curvature, which is determined by

In (2.2), is the nonzero component of the Riemann tensor and is related to by means of the expression [12]

Given the components of the first fundamental form or metric, the Christoffel symbols are evaluated by means of

The component can be calculated by means of

In terms of the components of the metric of a surface given by (2.1), the Gaussian curvature can be evaluated by first calculating (2.5) and then putting this result into (2.2). This procedure shows that the Gaussian curvature is related to the components of the metric of the surface by means of the Gauss equation

By specifying the components of the metric (2.1) in a particular way, it is possible to use (2.6) to generate various types of nonlinear equations. Several examples will serve to illustrate the main idea as to exactly how this can be done.

First put and in (2.6), then we obtain

Setting , this equation becomes

The coordinate curves are minimal lines, and for the case of constant Gaussian curvature , it specifies a particular nonlinear equation, the Liouville equation.

As another example, suppose that we take , and , then , and , and one has the lines of curvature as the coordinate curves. The Gauss equation (2.6) takes the form

Taking a constant negative curvature in (2.9), it is found that satisfies

Thus, for different metrics, or systems of coordinates, on a surface, the Gauss equation (2.6) reduces to a simple partial differential equation, as in (2.8) or (2.10). These equations have come up within the analysis of the pure geometry of surfaces. The well-known cases of nonlinear partial differential equations, such as the Liouville and sine-Gordon equations, correspond to the case of constant Gaussian curvature.

Finally, another equation which has many applications to physics can be developed in this way. Consider a geodesic system of coordinates for which , and (2.1) reduces to the diagonal form . Thus the curves equal constant are geodesics, and for (2.3) in this metric, this implies that . The Gauss equation takes the form

This is a linear equation, and when is fixed to be constant, the corresponding surfaces are the spherical or pseudospherical surfaces of constant curvature. It is important to realize that (2.11) is closely connected with the one-dimensional stationary Schrödinger equation [13, 14]. This can be seen by identifying

where denotes the real part, and is an arbitrary real or pure imaginary value of the spectral parameter in the equation

Therefore, solvable cases of the Schrödinger equation (2.13) provide the explicit expressions for the Gauss curvature and the metric of surfaces referred to their geodesic coordinates. Here in (2.13), the quantity acts as a parameter. In fact, in general, one can prescribe any dependence of and on the variable .

A way in which the dependence on can be fixed is to require that the function obeys the additional linear equation

where is some additional differential operator. Recalling (2.12), where obeys (2.13), we require that in addition to (2.13), the function satisfies an equation of the form

where is the linear differential operator in . The compatibility of (2.13) and (2.15) gives the preservation of (2.11) in the variable. Moreover, the compatibility condition for (2.13) and (2.15) is equivalent to a nonlinear partial differential equation for . As a simple example, take , where is a constant, then satisfies the two equations

Differentiating the second equation twice with respect to yields

Similarly, differentiating the first equation with respect to gives

Equating these two derivatives and simplifying the result, a first-order equation for is obtained, namely, . The general solution to this equation is and hence . In fact, a nonlinear equation arises with the choice of as a third-order differential operator.

Theorem 2.1. Suppose (2.15) is given by Then the compatibility condition for (2.13) and (2.19) is equivalent to the following equation for :

Proof. Substituting (2.13) into (2.19), we have the pair Calculating the compatibility condition based on (2.21), in order to enforce this, it is found that (2.20) must hold. Putting , (2.20) takes the form Equations (2.20) and (2.22) are precisely the KdV equation, which is known to be integrable. The basic idea of the method is to generate a solvable nonlinear system from the compatibility condition of linear partial differential equations with variable coefficients. Of course, the KdV equation has exact solutions, and so surfaces may be generated with soliton curvature and associated solitonic metric. Therefore, as an example, it can be checked that given below is a solution to (2.20): The coefficient in the metric obeys a nonlinear equation such as (2.22) for . This can be obtained by solving (2.13) for and substituting (2.19) to give

3. Evolutions of Surfaces

Consider now integrable evolutions or deformations of surfaces which are referred to geodesic coordinates [15]. Suppose that the coefficient or of the metric and the Gaussian curvature depend on an additional parameter which can be thought of as a time variable; so we write , . Evolutions of and in can be sought which preserve (2.11), or by virtue of (2.12), evolutions in which preserve (2.13). They are given by the compatibility condition of (2.13) and a linear equation of the form (2.15) with replaced by ; so there exists the pair

where is a linear differential operator. The evolutions which can be taken for can come from the KdV hierarchy [16, 17].

Dynamics for a surface can also be introduced by fixing the dependence of and using one of the equations from the KdV hierarchy and then specifying the evolution in by another equation from the hierarchy. The common solution of the KdV equation (2.22) and a higher KdV equation, for example, generates the evolution of surfaces.

Another way for fixing the dependence of and on and determination of the evolution in consists in considering the compatibility of a system composed of (2.13) and an equation of the form

where is an arbitrary polynomial, and are functions. The compatibility of (2.13) and (3.2) is equivalent to a 2+1-dimensional integrable equation for . The following theorem gives a case in point.

Theorem 3.1. (i) Consider the following pair of evolution equations with :
where here and in what follows one defines Then the compatibility condition of (3.3) and (3.4) is equivalent to the following equation for :
(ii) Consider the following pair of evolution equations:
The compatibility condition for these two equations implies that satisfies The proof of this Theorem runs along exactly the same lines as Theorem 2.1. All of the lengthy calculations throughout have been done with Maple [18].

Equation (3.6), for example, has an infinite set of integrals of motion, which are

where the densities are given by the recursion

The first such integrals of motion turn out to be

Thus, there exists an infinite set of global characteristics of a surface that are invariant under the evolution discussed in Theorem 3.1.

As a generalization of (3.3) and (3.7) in Theorem 3.1, we have the Theorem which follows.

Theorem 3.2. Consider the following pair of evolution equations: where and is a constant. The compatibility condition for these two equations implies that satisfies This 2+1-dimensional equation is integrable.

A more systematic method [19] for passing to higher dimensions involves considering the compatibility condition for a pair of equations of the form

where are arbitrary polynomials in the operator , and are the variables. A slightly different reformulation of this system will be of particular interest here, namely,

In particular, if there are three variables and we take , with , then (3.16) takes the form

Differentiating the first of the equations in (3.17) with respect to and the second with respect to twice, the compatibility condition for (3.17) takes the following form:

Expanding this out, we have the explicit form

Let us work out (3.19) explicitly for the case in which is the operator

where is an arbitrary constant, and and depend on .

Theorem 3.3. With operator given by (3.20), (3.19) is given explicitly as follows: The last term in is absent from (3.21) provided that and satisfy the equation Therefore when (3.22) is satisfied, compatibility condition (3.19) holds if the equation for multiplying in (3.21) vanishes, namely,

To prove Theorem 3.3, the compatibility condition for (3.17) is worked out, and the higher derivatives of in are eliminated using the first equation of (3.17). This is a long calculation.

A solution to (3.22) can be determined. Let us set

where constant will be determined in the process. Substituting (3.24) into (3.22), the solution will work if and is determined from

which implies that we can take . Let us summarize these results in the following theorem.

Theorem 3.4. Let be given by (3.20) with and given by Then (3.19) is satisfied identically provided that satisfies the partial differential equation

4. Scalar Curvature of Three and Four-Dimensional Riemann Spaces

In the previous section, it has been seen that the Gauss equation for the two-dimensional Riemann spaces connects the Gaussian curvature to the coefficients of the metric. In fact, two of the three components of the surface metric can always be transformed away by a change of variables.

For three-dimensional Riemann spaces, by means of a transformation of coordinates, the corresponding metric can be converted to diagonal form

where allow us to control the signs in the metric and are functions. In terms of the components of the metric, the scalar curvature is given by

For the diagonal metric (4.1), can be evaluated explicitly, and the scalar curvature takes the following form:

The factor on the left side arises from a factor of on the right-hand side divided out.

Let us begin with the simplest case for which and with , . In this case, (4.3) takes the form

By setting

(4.4) can be put in the equivalent form

For the case , (4.6) becomes the two-dimensional stationary Schrödinger equation, while for the case the perturbed string equation results.

As in the two-dimensional case, one can specify the dependence of the scalar curvature on another variable by requiring that , and hence , obeys an additional linear partial differential equation compatible with (4.6). Consider Riemann spaces such that the scalar curvature and metric obey the linear system of equations

In (4.7), is a linear partial differential operator. Equivalently, in terms of and , the equations in (4.7) can be written as

The compatibility condition for this system is equivalent to a nonlinear partial differential equation for the function . It will be useful to write the first equation in (4.7) and (4.8) in a different form for the following theorem by introducing the variables and which are defined such that and .

Theorem 4.1. Consider the following system of partial differential equations: where and are constants with and given by Then the function satisfies the following partial differential equation:

The proof of this goes along exactly the same lines as the previous theorems. It suffices to substitute the integrals (4.10) into (4.9) and compute the compatibility condition by calculating the derivatives , , which is some work, and then putting them in the equation . This generates (4.11).

The result in (4.11) is the simplest and lowest member of a hierarchy of nonlinear partial differential equations which is referred to as the Nizhnik-Veselov-Novikov equation. This equation is integrable by means of the IST method. Its properties are different for the cases and , and .

Continuing further, some nonlinear partial differential equations will be produced which are associated with the scalar curvature equation (4.3).

The first example to be considered corresponds to selecting and , which implies that the metric has the form

Equation (4.3) for the scalar curvature then simplifies to the form

Suppose, for example, that we take so that upon differentiation and , then the equation takes the form

If instead we take in the metric, the equation obtained from (4.3) is given by

When and is put equal to a constant value, (4.15) reduces to the Liouville equation.

Another interesting case is the one in which trigonometric functions appear in the metric. To have an example of this case, take , and with and are given by

Equation (4.3) can be simplified to the form

Suppose that , , and such that

The following equation results from (4.3):

Equation (4.19) can be considered to be a type of generalized sine-Gordon equation.

Another interesting equation results if we take , and with

The equation for obtained from (4.3) using (4.20) is given by

Integrating this equation with respect to , the following system is obtained:

To prove (4.22), multiply the first equation by and differentiate both sides with respect to to obtain

Substituting from (4.22) and factoring , the original equation (4.21) is obtained.

For the case in which the scalar curvature is independent of , the second equation in (4.22) can be written as

By integration, this implies that is given by

where is an arbitrary function of . Substituting from (4.25) into the first equation of (4.22), we get

Another interesting case to examine is the one in which the metric is given by . For the metric in this form, (4.3) reduces to

In terms of a function which is defined by , this equation reduces to the following form:

Finally, some equations relevant to a four-dimensional Riemann space with diagonal metric which is an extension of (4.1) will be determined. The metric is written as

where as before, and are functions to be specified in a given case. The scalar curvature can be calculated by means of (4.2) given the components of metric (4.29). Some equations will be determined based on metric (4.29) in the following.

(i)Suppose that we take , , and with the functions , . Equation (4.2) produces the following equation: (ii)The case in which , , and with functions and yields (iii) The selection with and produces the following equation: (iv) When the metric is diagonal of the form and all , the equation generated by (4.3) is given by If we take in (4.33), we obtain the equation (v)As a final example, suppose that , and trigonometric functions are used for the in the metric, , , then the equation for can be put in the form

5. Conclusions

It has been shown that several equations of physical interest arise within the analysis of the geometry of surfaces, such as the Liouville and Schrödinger equations, or as a result of the compatibility condition of two linear equations. Moreover, these equations can be combined in such a way as to produce integrable evolutions or deformations of surfaces. An introduction to a more systematic approach to going to higher dimensional partial differential equations has been mentioned. Finally, by calculating the scalar curvature based on the Riemannian metric for three- and four-dimensional Riemann spaces, a large group of nonlinear partial differential equations has been determined in both three and four dimensions. It remains as a separate task to begin to study the various kinds of solutions and their characteristics for some of these equations.

References

  1. D. G. Gross, C. N. Pope, and S. Weinberg, Two Dimensional Quantum Gravity and Random Surfaces, World Scientific, Singapore, 1992.
  2. D. Nelson, T. Piran, and S. Weinberg, Statistical Mechanics of Membranes and Surfaces, World Scientific, Singapore, 1992.
  3. P. Bracken and A. M. Grundland, “Symmetry properties and explicit solutions of the generalized Weierstrass system,” Journal of Mathematical Physics, vol. 42, no. 3, pp. 1250–1282, 2001. View at: Publisher Site | Google Scholar | Zentralblatt MATH | MathSciNet
  4. P. Bracken, “Partial differential equations which admit integrable systems,” International Journal of Pure and Applied Mathematics, vol. 43, no. 3, pp. 409–421, 2008. View at: Google Scholar | Zentralblatt MATH | MathSciNet
  5. M. J. Ablowitz and P. A. Clarkson, Solitons, Nonlinear Evolution Equations and Inverse Scattering, vol. 149 of London Mathematical Society Lecture Note Series, Cambridge University Press, Cambridge, UK, 1991. View at: MathSciNet
  6. P. Bracken, A. M. Grundland, and L. Martina, “The Weierstrass-Enneper system for constant mean curvature surfaces and the completely integrable sigma model,” Journal of Mathematical Physics, vol. 40, no. 7, pp. 3379–3403, 1999. View at: Publisher Site | Google Scholar | Zentralblatt MATH | MathSciNet
  7. S. S. Chern and K. Tenenblat, “Pseudospherical surfaces and evolution equations,” Studies in Applied Mathematics, vol. 74, no. 1, pp. 55–83, 1986. View at: Google Scholar | Zentralblatt MATH | MathSciNet
  8. R. Sasaki, “Soliton equations and pseudospherical surfaces,” Nuclear Physics B, vol. 154, no. 2, pp. 343–357, 1979. View at: Publisher Site | Google Scholar | MathSciNet
  9. F. Calogero and A. Degasperis, Spectral Transform and Solitons. Vol. I, vol. 13 of Studies in Mathematics and Its Applications, North-Holland, Amsterdam, The Netherlands, 1982. View at: MathSciNet
  10. B. G. Konopelchenko, “Soliton curvatures of surfaces and spaces,” Journal of Mathematical Physics, vol. 38, no. 1, pp. 434–457, 1997. View at: Publisher Site | Google Scholar | Zentralblatt MATH | MathSciNet
  11. B. G. Konopelchenko, Introduction to Multidimensional Integrable Equations, Plenum, New York, NY, USA, 1992. View at: MathSciNet
  12. S. S. Chern, W. H. Chen, and K. S. Lam, Lectures on Differential Geometry, vol. 1 of Series on University Mathematics, World Scientific, Singapore, 1999. View at: MathSciNet
  13. L. D. Landau and E. M. Lifshitz, Quantum Mechanics, Pergamon Press, Oxford, UK, 1997.
  14. R. Beutler and B. G. Konopelchenko, “Surfaces of revolution via the Schrödinger equation: construction, integrable dynamics and visualization,” Applied Mathematics and Computation, vol. 101, no. 1, pp. 13–43, 1999. View at: Publisher Site | Google Scholar | Zentralblatt MATH | MathSciNet
  15. P. Bracken, “Dynamics of induced surfaces in four-dimensional Euclidean space,” Pacific Journal of Applied Mathematics, vol. 1, no. 2, pp. 207–220, 2008. View at: Google Scholar | MathSciNet
  16. I. A. Taimanov, “Surfaces of revolution in terms of solitons,” Annals of Global Analysis and Geometry, vol. 15, no. 5, pp. 419–435, 1997. View at: Publisher Site | Google Scholar | Zentralblatt MATH | MathSciNet
  17. B. G. Konopelchenko, “Induced surfaces and their integrable dynamics,” Studies in Applied Mathematics, vol. 96, no. 1, pp. 9–51, 1996. View at: Google Scholar | Zentralblatt MATH | MathSciNet
  18. B. W. Char, K. O. Geddes, B. L. Leong, M. Monagen, and S. Watt, Maple V Language Reference Manual, Springer, New York, NY, USA, 1991.
  19. V. E. Zakharov, “Integrable systems in multidimensional spaces,” in Mathematical Problems in Theoretical Physics, vol. 153 of Lecture Notes in Physics, pp. 190–216, Springer, Berlin, Germany, 1982. View at: Publisher Site | Google Scholar | MathSciNet

Copyright © 2009 Paul Bracken. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.


More related articles

426 Views | 430 Downloads | 0 Citations
 PDF  Download Citation  Citation
 Download other formatsMore
 Order printed copiesOrder

Related articles

We are committed to sharing findings related to COVID-19 as quickly and safely as possible. Any author submitting a COVID-19 paper should notify us at help@hindawi.com to ensure their research is fast-tracked and made available on a preprint server as soon as possible. We will be providing unlimited waivers of publication charges for accepted articles related to COVID-19. Sign up here as a reviewer to help fast-track new submissions.