The harmonic map is introduced and several physical applications are presented. The classical nonlinear σ model can be looked at as the embedding of a two-dimensional surface in a threedimensional sphere, which is itself embedded in a four-dimensional space. A system of nonlinear evolution equations are obtained by working out the zero curvature condition for the Gauss equations relevant to this geometric formulation.
Citation: Paul Bracken. Harmonic Maps Surfaces and Relativistic Strings[J]. AIMS Mathematics, 2016, 1(1): 1-8. doi: 10.3934/Math.2016.1.1
Related Papers:
[1]
Yanlin Li, Mohd Danish Siddiqi, Meraj Ali Khan, Ibrahim Al-Dayel, Maged Zakaria Youssef .
Solitonic effect on relativistic string cloud spacetime attached with strange quark matter. AIMS Mathematics, 2024, 9(6): 14487-14503.
doi: 10.3934/math.2024704
[2]
Hassan Al-Zoubi, Bendehiba Senoussi, Mutaz Al-Sabbagh, Mehmet Ozdemir .
The Chen type of Hasimoto surfaces in the Euclidean 3-space. AIMS Mathematics, 2023, 8(7): 16062-16072.
doi: 10.3934/math.2023819
[3]
Chuang Wang, Junzhe Mo, Zhihong Liu .
On univalent spirallike log-harmonic mappings. AIMS Mathematics, 2024, 9(11): 30515-30528.
doi: 10.3934/math.20241473
[4]
Qingtian Shi .
Equivalent characterizations of harmonic Teichmüller mappings. AIMS Mathematics, 2022, 7(6): 11015-11023.
doi: 10.3934/math.2022615
[5]
Jinhua Qian, Jie Liu, Xueshan Fu, Seoung Dal Jung .
Geometric characterizations of canal surfaces with Frenet center curves. AIMS Mathematics, 2021, 6(9): 9476-9490.
doi: 10.3934/math.2021551
[6]
Muhammad Amer Latif .
Fejér type inequalities for harmonically convex functions. AIMS Mathematics, 2022, 7(8): 15234-15257.
doi: 10.3934/math.2022835
[7]
Mohd Danish Siddiqi, Meraj Ali Khan, Ibrahim Al-Dayel, Khalid Masood .
Geometrization of string cloud spacetime in general relativity. AIMS Mathematics, 2023, 8(12): 29042-29057.
doi: 10.3934/math.20231487
[8]
Noura Alhouiti, Fatemah Mofarreh, Akram Ali, Fatemah Abdullah Alghamdi .
On gradient normalized Ricci-harmonic solitons in sequential warped products. AIMS Mathematics, 2024, 9(9): 23221-23233.
doi: 10.3934/math.20241129
[9]
Fatemah Mofarreh, Rashad A. Abdel-Baky .
Spacelike ruled surfaces with stationary Disteli-axis. AIMS Mathematics, 2023, 8(4): 7840-7855.
doi: 10.3934/math.2023394
[10]
Muhammad Ghaffar Khan, Bakhtiar Ahmad, Thabet Abdeljawad .
Applications of a differential operator to a class of harmonic mappings defined by Mittag-leffer functions. AIMS Mathematics, 2020, 5(6): 6782-6799.
doi: 10.3934/math.2020436
Abstract
The harmonic map is introduced and several physical applications are presented. The classical nonlinear σ model can be looked at as the embedding of a two-dimensional surface in a threedimensional sphere, which is itself embedded in a four-dimensional space. A system of nonlinear evolution equations are obtained by working out the zero curvature condition for the Gauss equations relevant to this geometric formulation.
1. Introduction
One area in which linear and nonlinear equations appear to be in very close relationship is the embedding of Riemannian manifolds into manifolds of higher dimension. The embedded manifold is constructed by means of linear differential equations. These equations form an overdetermined set and the integrability conditions they obey in order for a solution to exist are in general nonlinear differential equations. They would be obeyed by the metric or second fundamental form of the embedded manifold, for example.
2. Discussion
The term harmonic map generally refers to a class of nonlinear field equations [1] which have a surprising number of applications. There are various applications such as the description of theories with broken symmetries, with or instead of Yang-Mills equations. They can also be quite similar to the Einstein equations for gravitation and to some of the equations which appear in string theory [2,3]. The wave or Laplace equation for a scalar field
(1)
characterizes harmonic functions from which the class of harmonic maps takes its name. The usual nonlinear geodesic equation is also a specialized subclass of the harmonic maps. The general harmonic map combines aspects of both these equations in the nonlinear partial differential equation which can be obtained from the action
(2)
For example, physical theories of this class would be those where is flat Minkowski space. A nontrivial example of this class of theories is the nonlinear -model where is the metric of a sphere and the are independent fields. In fact, Minkowski spacetime can be replaced by any -dimensional spacetime with a Lorentz or Euclidean signature metric . The action of a spin- particle of mass propagating in -dimensional spacetime is
In a quantum theory, this action would lead to the massive Klein-Gordon equation in curved spacetime which determines a wavefunction.
Harmonic maps can be used to create surfaces and of course there continues to be great interest in differential equations which can be used to induce surfaces {\cal [4,5,6]}. Let and be two pseudo-Riemannian manifolds with coordinates on and coordinates on . If is thought of as spacetime, its metric can be restricted to flat Minkowski or Euclidean space. The manifold is the set of possible values for some nonlinear field . Nonlinearity enters because the metric on can be thought of as being curved
Therefore, a mapping , is represented in coordinates as , and will be referred to as a harmonic map if it satisifes the Euler-Lagrange equations obtained from (2). For example, let be a flat Euclidean or Minkowski space and take to be the sphere with the usual metric
(3)
A mapping is a pair of fields , which are obtained by requiring they satisfy differentiability requirements which arise from the structures of and the spacetime . The action in this case takes the form,
(4)
and (4) leads to the following field equations
(5)
(6)
When is constant, this system reduces to the sine-Gordon equation.
In addition to harmonic functions with and geodesics with , any isometry or covering of Riemannian manifolds is a harmonic map. Minimal hypersurfaces are coordinate conditions in constructing solutions of Einstein's equations. In fact, any minimal immersion of Riemannian manifolds is a harmonic map.
Harmonic maps can help in understanding some of the nonlinearities that occur in the Einstein equations of general relativity as the Yang-Mills equations have done. In two space-time dimensions, the classical nonlinear model may be studied as the embedding of a two-dimensional surface in a three-dimensional sphere which is itself embedded in four-dimensional Euclidean space.
The nonlinear model in two-dimensional space-time which will be studied here consists of four scalar fields , , which undergo self-interaction defined by the constraint
(7)
The Lagrangian density for this system is given by
(8)
and in (8) is a Lagrange multiplier with . The equations of motion which result from (8) are
(9)
(10)
The fields in these equations can be interpreted as the components of a vector in a four-dimensional space which is Euclidean. Constraint (10) implies that this vector must reside on the surface of a three-dimensional sphere. A solution of (9) describes a two-dimensional surface embedded in this sphere. The problem of solving (9)} and (10) then reduces to the problem of embedding a surface in a three-dimensional sphere which in turn is itself embedded in a four-dimensional Euclidean space. The metric on the four-dimensional Euclidean space has the form,
(11)
This induces a metric on the two-dimensional surface given by
(12)
In this context, it is always possible to choose the coordinates , so that the following system holds:
(13)
Consequently, the metric (12) of the surface can be expressed in terms of a single scalar field as follows
(14)
To complete the description of a surface embedded in a higher-dimensional space, the second fundamental form is required.
The extrinsic curvature is given by a symmetric tensor which has the following four components
(15)
As , span the tangent plane to the three-sphere is defined to be a unit vector which is orthogonal to these vectors. Let , be unit vectors parallel to and , respectively. To generate an orthonormal tetrad in the surrounding Euclidean space, it suffices to include the element as the final element in the set.
The components of the metric tensor can be obtained from (14),
Expanding out equations (9) in terms of the -variables, must satisfy
(16)
By writing the scalar product of (16) with using (15) and the identification , the following important constraint is obtained
(17)
Therefore, equation (17) implies that the diagonal components of are equal, . The Gauss-Weingarten equations assume the following form,
(18)
Once the Gauss-Weingarten equations have been obtained, they can be used to construct a surface. The integrability conditions for (18) are the Gauss-Codazzi equations. The quantity is a four-component object which consists of the four vectors ,
(19)
The matrices and which appear in (18) are given explicitly in the following form,
(20)
(21)
Substituting and into the pair of equations (18) and working out the components of each one, the following five equations result,
(22)
(23)
(24)
(25)
(26)
Equation (22) can be written in the form,
(27)
The two quantities and satisfy the equation
for and , respectively,
(28)
From (28), it follows there exists a function or field called such that and can be expressed as
(29)
This choice puts (27) into the form of a compatibility condition for , and the remaining two equations (25)-(26) then take the form,
(30)
The matrices and defined in equations (20) and (21) are elements of the Lie algebra and they are uniquely determined by two three-dimensional rotations
(31)
In fact, and can be put in the following forms
(32)
(33)
The matrices and can be obtained from the matrices and by means of the discrete transformation
(34)
The matrices and have the following structure
(35)
(36)
The transformation leaves the metric and extrinsic curvature of the surface unaltered. It is possible to introduce a set of unit vectors , , in three-dimensional space so that the system (18) takes the following form
(37)
(38)
Differentiating both (37) and (38) with respect to and respectively, the zero-curvature condition for implies the following relation satisifed by and ,
(39)
Similarly, the field implies the following relation satisifed by and ,
(40)
It should be stated that and are in a one-to-one correspondence with and , so it suffices to work out just one of these equations. Substituting the matrices (33) and (34) into (39), the diagonal elements of the zero curvature condition are found to sum to zero, and we are left with the following nontrivial results. After simplifying the first column and second row, the following equation is obtained
(41)
From the first column and third row we have
(42)
This can be put in the form of an identity
Finally, from the second column and the third row, the last equation is found to be
(43)
Applying the product rule, the following relation holds
(44)
Using (44), (43) can be put in the following form after some simplification
(45)
These constitute the system of equations which result as a consequence of applying zero curvature condition (39) from the field. Therefore, the following Theorem has been proved and it is summarized below.
Theorem. Compatibility condition (39) resulting from (37) for the matrix problem defined by the matrices (32) and (33) is equivalent to the following system of coupled partial differential equations for and ,
(46)
(47)
Moreover, the results in these equations are completely consistent with the equations in (30) which were obtained from Gauss-Weingarten equations (18). □
3. Conclusion
This is not the first time these equations have appeared. Equations (46) and (47) have also been obtained by Pohlmeyer [7] by means of a study of the nonlinear model in field theory. This approach however is more geometric than the one in Pohlmeyer [7]. It should also be stated that this model has led to a system of two coupled, Lorentz-invariant, nonlinear equations in two independent variables which will possess solitary wave solutions. From the theorem, it is seen that one of the fields is massless and moves in a background geometry that has a dynamical evolution of its own specified by a second field which has a sine-Gordon type self-interaction.
References
[1]
P. Bracken, A. M. Grundland, On Certain Classes of Solutions of the Weierstrass-Enneper System Inducing Constant Mean Curvature Surfaces, J. Nonlin. Math. Phys. 6 (1999), 294-313.
[2]
P.Bracken, A. M. Grundland, Properties and Explicit Solutions of the Generalized Weierstrass System, J. Math. Phys. 42 (2001), 1250-1282.
[3]
S. Helgason, Di erential Geometry and Symmetric Spaces, Academic Press, New York, 1962.
[4]
F. Lund, T. Regge, Unified Approach to Strings and Vortices with Soliton Solutions, Phys. Rev. D, 14 (1976), 1524.
[5]
F. Lund, Note on the Geometry of the Nonlinear σ Model in Two Dimensions, Phys. Rev. D, 15 (1977), 1540-1543.
[6]
C. W. Misner, Harmonic maps as models for physical theories, Phys. Rev. D, 18 (1978), 4510-4524.
[7]
K. Pohlmeyer, Integrable Hamiltonian Systems and Interactions through Quadratic Constraints, Commun. Math. Phys. 46 (1976), 207-221.
This article has been cited by:
1.
Yang Yang, Ling Yan, Jing Gu,
Vertical or horizontal: optimal integration strategy under separation of ownership and control,
2023,
36,
1331-677X,
2233,
10.1080/1331677X.2022.2097104