Gwsih
Gwsih
net/publication/266137900
CITATIONS READS
0 26
1 author:
Paul Bracken
University of Texas Rio Grande Valley
175 PUBLICATIONS 737 CITATIONS
SEE PROFILE
Some of the authors of this publication are also working on these related projects:
All content following this page was uploaded by Paul Bracken on 26 September 2014.
Dynamical Systems
Publication details, including instructions for authors and subscription information:
http://www.informaworld.com/smpp/title~content=t713414890
To cite this Article Bracken, Paul(2009)'The generalized Weierstrass system and an application to the study of deformations of
surfaces by means of integrable hierarchies',Dynamical Systems,24:2,223 — 235
To link to this Article: DOI: 10.1080/14689360802609351
URL: http://dx.doi.org/10.1080/14689360802609351
This article may be used for research, teaching and private study purposes. Any substantial or
systematic reproduction, re-distribution, re-selling, loan or sub-licensing, systematic supply or
distribution in any form to anyone is expressly forbidden.
The publisher does not give any warranty express or implied or make any representation that the contents
will be complete or accurate or up to date. The accuracy of any instructions, formulae and drug doses
should be independently verified with primary sources. The publisher shall not be liable for any loss,
actions, claims, proceedings, demand or costs or damages whatsoever or howsoever caused arising directly
or indirectly in connection with or arising out of the use of this material.
Dynamical Systems
Vol. 24, No. 2, June 2009, 223–235
This result is combined with a second linear problem with an unknown second
matrix in terms of a parameter. It is then shown how an integrable hierarchy can
be obtained. Solutions to this hierarchy generate deformations which preserve the
surface-inducing means of generalized Weierstrass representation.
Keywords: integrable hierarchy; surface of revolution; deformation of surfaces
PACS: 02.30.Ik, 05.45.-a, 65.35.Ja
1. Introduction
Equations that lead to minimal surfaces embedded in three-dimensional Euclidean space
were first formulated by Enneper and Weierstrass [1,2] in the nineteenth century. More
recently, this kind of idea has been substantially generalized by Konopelchenko [3].
He established a connection between certain classes of constant mean curvature surfaces
and the trajectories of an infinite-dimensional Hamiltonian system. Konoplechenko
and Taimanov [4] considered a non-linear Dirac system which consists of partial
differential equations which are given in terms of two complex-valued functions 1 and 2
written as
@ 1 ¼ p 2, @ 2 ¼ p 1
ð1:1Þ
@ 1 ¼ p 2 , @ 2 ¼ p 1 :
*Email: [email protected]
ð
X3 ¼ 2 ð 1 2 dz þ 1
2 dzÞ:
By virtue of (1.1), the integrals in (1.2) do not depend on the choice of the curve of
integration, which starts at z0 and ends at z. One then treats z and z as local parameters for
a surface such that (X1, X2, X3) are coordinates of its immersion in R3. Substitution of
( 1, 2) into (1.2) yields the explicit coordinates of a surface in R3 by means of the
solutions to system (1.1). The first fundamental form is
2 2
¼ 4ðj 1j þj 2j
Þdz dz, ð1:3Þ
j 1 j þ
It has also been shown that (1.1) is an integrable system [5] and by introducing a new
complex variable ¼ 1 = 2 , it can be shown that solutions of (1.1) are related to solutions
of the integrable two-dimensional non-linear Euclidean sigma model and conversely [6].
The symmetries of these two systems have also been studied [7] and a Bäcklund
transformation has been determined [8]. Konopelchenko and Landolfi [9,10] have
discussed how this formalism can be extended to higher dimensional spaces.
Surfaces and integrable systems have been discussed in [11–13] recently. The primary
objective of these authors is the problem of the immersion of a two-dimensional surface
into a three-dimensional Euclidean space, as well as the n-dimensional generalization. It is
shown that this is related to the study of Lie groups and surfaces in Lie algebras. It is
shown in [11] that all compact surfaces generated by the infinite number of symmetries of
the sine-Gordon equation are homeomorphic to a sphere. Under the rigid SU(2) rotations
all integrable equations are mapped to a sphere. A mapping from each symmetry of
integrable equation to surface in R3 can be established. In contrast, what is done here is
different. A generalized Weierstrass representation is used to produce a linear problem
based on surfaces of revolution. When this is combined with a second linear problem in
a different parameter, an integrable hierarchy is obtained.
One of the reasons for the interest in this type of representation is that due to the linear
character of (1.1), it allows the description of integrable deformations of induced surfaces
in a straightforward manner. To consider integrable deformations suppose that the
functions p, 1 and 2 in (1.1) also depend on an additional real parameter t. Consider
then those deformations of ( 1, 2) for which differential operators A, B, C and D exist,
such that the t evolution is given by
This system in (1.5) can be written in the form of a single matrix operator M in the
following way
1 1
¼M : ð1:6Þ
2 t 2
Dynamical Systems 225
t ¼ N2kþ1 ðÞ,
Downloaded By: [Bracken, Paul] At: 17:50 27 April 2009
where the N2kþ1 are a sequence of non-linear operators. These equations can be
represented by pairs of Lax operators, which are referred to as (L, A)-pairs, such that one
of the operators pertains to the KdV or mKdV hierarchy, respectively.
The Novikov–Veselov equation and the modified Novikov–Veselov equation can be
placed together with associated A operators into hierarchies attached to particular
L-operators. These are of course two-dimensional generalizations of the KdV and mKdV
systems, respectively. System (1.1) is two-dimensional and so it is appropriate for one of
the operators in the (L, A)-pair. System (1.1) can be written in the form of the following
linear problem
@ p 1 0
L ¼ ¼ : ð1:7Þ
p @ 2 0
However, it is important to realize that (2 þ 1) equations, and the Novikov–Veselov
equation among them, do not admit a simple representation in terms of a local operator.
Some work exists in this direction, and a method based on bilocal operators [15], but its
realization is more difficult than the case of (1 þ 1) equations.
The aim of this work is to consider the representation of surfaces of revolution by
means of representation (1.1) [16]. It will be seen that this will effectively lead to
a reduction in dimension from two to one in terms of the space variables which appear in
the equations. It will yield an operator which can be used to investigate (1 þ 1) equations.
Such an operator can be used as one of the elements of an (L, A)-pair. It will be shown how
the corresponding element of the pair can be generated based on this postulated matrix in
a novel way. The general equations from the compatibility condition will be derived and
one general solution for the elements of the matrix will be given. Finally, some general
results implied by these facts with regard to these surfaces will be discussed [17].
2. Surfaces of revolution
Let be a surface of revolution in three-dimensional Euclidean space which has
coordinates (z1, z2, z3). Here, will be generated by revolving a curve in the z2 ¼ 0 plane
226 P. Bracken
about the z3-axis. The surface can then be parametrized in terms of two parameters which
we will call x and y as follows
A normal vector to the surface is given by zx zy ¼ (’x cos y, ’x sin y, ’x).
This determines a unit normal vector to the surface
1
N ¼ pffiffiffiffiffiffiffiffiffiffiffiffiffiffiffi ð’x cos y, ’x sin y, x Þ: ð2:3Þ
x þ ’2x
2
with the corresponding potential function p ¼ p(x) a function of x. System (1.1) reduces to the
coupled pair of first-order equations
1 1
rx ¼ r þ 2ps, sx ¼ s 2pr, ð2:6Þ
2 2
for the functions (r, s).
Proof The derivatives in terms of x and y can be written in terms of the variables x and y
as @ ¼ 12 ð@x i@y Þ and @ ¼ 12 ð@x þ i@y Þ. Therefore,
1 r 1 s
@ 1 ¼ rx eiy=2 þ eiy=2 , @ 2 ¼ sx eiy=2 eiy=2 :
2 4 2 4
Substituting these derivatives into (1.1), the pair of (2.6) follows.
System (2.6) can also be written in the form of the following linear matrix problem
L ¼ 0, ð2:7Þ
Here, the new function q ¼ 4p has been introduced, and (2.8) amounts to writing (2.6) in
matrix form. A surface is represented by (2.7), (2.8) and (1.2).
Dynamical Systems 227
If we multiply the first equation in (2.6) by sx and the second by rx and subtract the
resulting pair, we obtain
1
ðsx r þ srx Þ 2pðssx þ rrx Þ ¼ 0:
2
Integrating this, it is found that r and s must satisfy
sr ¼ 2pðs2 þ r2 Þ þ C, ð2:9Þ
1 C
s2 rs þ r2 þ ¼ 0: ð2:10Þ
2p 2p
This determines one element of the pair (r, s) in terms of the other. Solving for s and
substituting into (2.6 i), a differential equation for r is obtained
pffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffi
ffi
Downloaded By: [Bracken, Paul] At: 17:50 27 April 2009
œ
Lemma 1: Subject to system (2.6) and (2.13), the functions (r, s) satisfy the following
six equations
1 1
s2 ¼ ð þ x Þ, r2 ¼ ð x Þ:
2 2
These can be shown by differentiating and using (2.6) and (2.13). In particular, the
expression ’2x ¼ 2 x2 implies that xx ¼ (x ’x’xx)/x and allows us to write the first
and second fundamental forms as follows
I ¼ ðxÞ2 ðdx2 þ dy2 Þ, II ¼ ’xx ’x dx2 þ ’x dy2 : ð2:14Þ
x
228 P. Bracken
The Gaussian and mean curvatures can be determined from (2.14) using these results and
they are
A spectral parameter can be written along the main diagonal of the matrix in (2.8) to give
the related linear problem
1 q 1 0
@x ¼ : ð3:1Þ
2 q 2 0
Now let us write a linear system which can be regarded as a sequence of linear systems
which are indexed by n in terms of a parameter tn given by
" ! #
1 AðnÞ BðnÞ 1 0
@ tn ¼ : ð3:2Þ
2 CðnÞ
A ðnÞ
2 0
The Lax matrix in (3.2) is a standard form and will be denoted Qn(), since the elements
will come to depend on the spectral parameter in the development. For convenience,
we will often denote tn simply by t. The compatibility condition in matrix form is
1
LðÞ, @t Qn ðÞ ¼ 0: ð3:3Þ
2
1 ðnÞ 1 ðnÞ 1 ðnÞ q ðnÞ 1
@x @t 1 ¼ @x A þ A qB 1þ A þ @x BðnÞ BðnÞ 2:
2 4 4 4 2 4
1
@x AðnÞ ¼ qðBðnÞ þ CðnÞ Þ, qt ¼ @x BðnÞ BðnÞ þ qAðnÞ : ð3:4Þ
2
Dynamical Systems 229
q
@x AðnÞ ¼ ðBðnÞ þ CðnÞ Þ,
2
Now we want to look for solutions to system (3.6). In particular, consider solutions in
the form of ascending series in powers of . It will prove useful to define the following
series expansions in powers of
X
n X
n1 X
n
AðnÞ ¼ AðnÞ
2kþ1
2kþ1
, BðnÞ þ CðnÞ ¼ 2 SðnÞ
2kþ1
2kþ1
, BðnÞ CðnÞ ¼ 2 TðnÞ 2k
2k :
k¼0 k¼0 k¼0
ð3:7Þ
Let us now make use of the series defined in (3.7) by substituting into (3.6). It will be
required that the coefficients of match each other on both sides of each respective
equation. Substituting (3.7(i)) and (3.7(ii)) into (3.6(i)), we obtain
X
n X
n1
@x AðnÞ
2kþ1
2kþ1
¼q SðnÞ
2kþ1
2kþ1
: ð3:8Þ
k¼0 k¼0
The power 2nþ1 can be matched by taking AðnÞ 2nþ1 to be constant with respect to x and
in particular, normalized so that AðnÞ
2nþ1 ¼ 1. If we equate the remaining coefficients of the
powers of on both sides of (3.8), there results
@x AðnÞ ðnÞ
2kþ1 ¼ qS2kþ1 ,
ð3:9Þ
X
n
qt ¼ @x TðnÞ
0 þ ð@x TðnÞ ðnÞ 2k
2k S2k1 Þ : ð3:11Þ
k¼1
@x TðnÞ ðnÞ
2k ¼ S2k1 :
ð3:12Þ
qt ¼ @x TðnÞ
0 :
ð3:13Þ
This will lead to the n-th equation in the hierarchy once a specific form for TðnÞ
0
has been specified.
If we now subtract the second and third equations of (3.6), we find that
Downloaded By: [Bracken, Paul] At: 17:50 27 April 2009
X
n1
ð@x SðnÞ ðnÞ ðnÞ
2kþ1 T2k þ qA2kþ1 Þ
2kþ1
ðTðnÞ ðnÞ
2n qA2nþ1 Þ
2nþ1
¼ 0: ð3:14Þ
k¼0
TðnÞ
2n ¼ q:
ð3:15Þ
AðnÞ
2nþ1 ¼ 1, TðnÞ
2n ¼ q,
ð3:17Þ
@x AðnÞ ðnÞ
2kþ1 ¼ qS2kþ1 ,
ð3:18Þ
@x TðnÞ ðnÞ
2k ¼ S2k1 ,
ð3:19Þ
AðnÞ 1 ðnÞ
2kþ1 ¼ @x ðqS2kþ1 Þ, TðnÞ 1 ðnÞ
2k ¼ @x S2k1 :
ð3:21Þ
Substituting (3.21) into (3.20), we find that the coefficients of S(n) satisfy
Moving the second term of (3.22) to the right-hand side and differentiating both sides of
the result with respect to @x, we have
ðnÞ ðnÞ
ð@2x þ q2 þ qx @1
x qÞS2kþ1 ¼ S2k1 : ð3:23Þ
D ¼ @2x þ q2 þ qx @1
x q: ð3:24Þ
Downloaded By: [Bracken, Paul] At: 17:50 27 April 2009
DSðnÞ ðnÞ
2kþ1 ¼ S2k1 , SðnÞ 1 ðnÞ
2kþ1 ¼ D S2k1 :
ð3:25Þ
In (3.25), the operator D1 is the formal inverse of D. The operators D and D1 can be
interpreted as lowering or raising operators, as the case may be, with respect to the k-index
of SðnÞ
2kþ1 . Using the relations (3.25) and induction, we have proved the following result.
SðnÞ
2kþ1 ¼ D
nk1
qx , ð3:26Þ
AðnÞ 1
2kþ1 ¼ @x ðqD
nk1
qx Þ, TðnÞ 1 nk
2k ¼ @x D qx , ð3:27Þ
for k ¼ 0, . . . , n 1.
Thus, from (3.27) with k ¼ 0, we have TðnÞ 1 n
0 ¼ @x D qx and so the hierarchy (3.13) is
given explicitly in the form
@t q ¼ Dn qx : ð3:28Þ
The first two equations of the hierarchy generated by (3.28) are given by
3
qt ¼ qxxx þ q2 qx ,
2 ð3:29Þ
5 5 15
qt ¼ qxxxxx þ q2 qxxx þ 10qqx qxx þ q3x þ q4 qx :
2 2 8
As an example, there are two distinct solutions to (3.29(i)) in terms of both (x, t) of
the form
1 1
qðx, tÞ ¼ t , qðx, tÞ ¼ : ð3:30Þ
4 coshðx8 þ 512Þ x
16 coshð32 t
þ 32768Þ
232 P. Bracken
Each of these functions has a standard soliton profile and generate a potential function
through p ¼ q/4. Substituting this p into (2.12), a function r can be obtained and finally s.
Putting (2.5) into (1.2), the coordinates of a surface in R3 are obtained upon integration
such that the coordinates depend on the remaining evolution parameter t.
f Dg dx ¼ Dy f g dx: ð4:2Þ
as required.
(b) It is required to show that for an arbitrary function h, @x Dy h ¼ D@x h ¼
y
@2x hx þ q2 hx þ qx @1
x qhx . To do this, we write @xD h as follows
@x Dy h ¼ @x ð@2x h þ q2 h q@1
x ðqx hÞÞ
¼ @3x h þ 2qqx h þ q2 @x h qx @1 3 2 1
x ðqx hÞ qðqx hÞ ¼ @x h þ qqx h þ q @x h qx @x ðqx hÞ:
1
@x Dy h ¼ @3x h þ ðq2 Þx h þ q2 h qx hq þ qx @1 3 2 1
x ðqhx Þ ¼ @x h þ q hx þ qx @x ðqhx Þ ¼ D@x h:
2
The first integral of the mKdV equation is proportional to the Willmore functional
defined as
ðT
W ¼ q2 dx: ð4:3Þ
0
œ
Dynamical Systems 233
Theorem 5: The Willmore functional W is conserved provided that q satisfies the hierarchy
of equations (3.28)
qtn ¼ Dn qx :
Proof Applying Lemma 2 repeatedly, D must satisfy
ðT
@W
¼ 2½qðDy Þn qT0 2 q@x ððDy Þn qÞdx
@tn 0
ðT
¼ 2½qðDy Þn qT0 2 qðDn qx Þdx:
0
Therefore,
ðT ðT
y n
2 n
qðD qx Þ dx ¼ 2½qðD Þ qT0 2 qðDn qx Þ dx:
0 0
Putting all the terms with an integral on the left-hand side, the surface term is required to
vanish, and hence we obtain
ðT
1
qðDn qx Þ dx ¼ ½qðDy Þn qT0 ¼ 0:
0 2
This is the case when the function q(Dy)nq is periodic, for example, or if q vanishes at the
endpoints. From this, it follows that @W/@tn ¼ 0. œ
Another way of expressing this result in a specific context is to say that the squared
mean curvature W of a torus of revolution is preserved by mKdV deformations.
¼ @p2 ,
@! 2,
@! ¼ @p ð5:2Þ
and their complex conjugate equations, the modified Novikov–Vesolov equation results
þ 3 p@! þ 3 p@! ¼ 0:
@t p þ @3 p þ @3 p þ 3!@p þ 3! @p ð5:3Þ
2 2
Equation (5.3) is the associated non-linear integrable equation for the potential function p.
However, a link between the linear spectral problem and the generation of an
integrable hierarchy related to the mKdV equation has been clearly established which
yields the idea of mKdV deformations. The n-th mKdV equation is the compatibility
condition (3.3) for (3.1) and (3.2). The deformation of the potential q ¼ 4p by means of
(3.28) induces the deformation of by (3.2). Using the deformed functions 1(x, y, t) and
2(x, y, t) of (2.5) in (1.2), the n-th mKdV deformation of a surface of revolution is
obtained. It might also be considered what additional hierarchies might be generated
by altering (3.1).
References
[7] P. Bracken and A.M. Grundland, Symmetry Properties and Explicit Solutions of the Generalized
Weierstrass System, J. Math. Phys. 42 (2001), p. 1250.
[8] P. Bracken and A.M. Grundland, On the Backlund Transformation and the Generalized
Weierstrass System, Inverse Problems 16 (2000), p. 145.
[9] B.G. Konopelchenko and G. Landolfi, Generalized Weierstrass Representations for Surfaces in
Multi-Dimensional Riemann Spaces, J. Geom. Phys. 29 (1999), p. 319.
[10] P. Bracken and A.M. Grundland, Solutions of the Generalized Weierstrass Representation in
Four-Dimensional Euclidean Space, J. Nonlin. Math. Phys. 9 (2002), p. 357.
[11] O. Ceyhan, A.S. Fokas, and M. Gürses, Deformations of Surfaces Associated with Integrable
Gauss-Mainardi-Codazzi Equations, J. Math. Phys. 41 (2000), p. 2251.
[12] A.S. Fokas and I.M. Gelfand, Surfaces on Lie Groups, on Lie Algebras, and Their Integrability,
Commun. Math. Phys. 177 (1996), p. 203.
[13] F. Finkel and A.S. Fokas, A New Immersion Formula for Surfaces on Lie Algebras and
Integrable Equations, Vol. 29, CRM Proceedings and Lecture Notes, 2001.
[14] I. Taimanov, Modified Novikov-Vesolov Equation and Differential Geometry of Surfaces,
Translations Amer. Math. Soc., Ser 2 179 (1997), p. 133.
[15] I.A. Taimanov, Surfaces in four-space and the Davey Stewartson equations, J. Geom. Phys. 56
(2006), pp. 1235–1256.
Downloaded By: [Bracken, Paul] At: 17:50 27 April 2009
[16] I. Taimanov, Surfaces of Revolution in Terms of Solitons, Ann. Global Anal. Geom. 15 (1997),
p. 419.
[17] R. Osserman, A Survey of Minimal Surfaces, Dover, New York, 1996.