Английская Википедия:Biharmonic map

Материал из Онлайн справочника
Перейти к навигацииПерейти к поиску

Шаблон:MOS In the mathematical field of differential geometry, a biharmonic map is a map between Riemannian or pseudo-Riemannian manifolds which satisfies a certain fourth-order partial differential equation. A biharmonic submanifold refers to an embedding or immersion into a Riemannian or pseudo-Riemannian manifold which is a biharmonic map when the domain is equipped with its induced metric. The problem of understanding biharmonic maps was posed by James Eells and Luc Lemaire in 1983.Шаблон:Sfnm The study of harmonic maps, of which the study of biharmonic maps is an outgrowth (any harmonic map is also a biharmonic map), had been (and remains) an active field of study for the previous twenty years.Шаблон:Sfnm A simple case of biharmonic maps is given by biharmonic functions.

Definition

Given Riemannian or pseudo-Riemannian manifolds Шаблон:Math and Шаблон:Math, a map Шаблон:Mvar from Шаблон:Mvar to Шаблон:Mvar which is differentiable at least four times is called a biharmonic map if

<math>\Delta\Delta f+\sum_{i=1}^m R^h\big(\Delta f,df(e_i),df(e_i)\big)=0;</math>

given any point Шаблон:Mvar of Шаблон:Mvar, each side of this equation is an element of the tangent space to Шаблон:Mvar at Шаблон:Math.Шаблон:Sfnm In other words, the above equation is an equality of sections of the vector bundle Шаблон:Math. In the equation, Шаблон:Math is an arbitrary Шаблон:Mvar-orthonormal basis of the tangent space to Шаблон:Mvar and Шаблон:Math is the Riemann curvature tensor, following the convention Шаблон:Math. The quantity Шаблон:Math is the "tension field" or "Laplacian" of Шаблон:Mvar, as was introduced by Eells and Sampson in the study of harmonic maps.Шаблон:Sfnm

In terms of the trace, interior product, and pullback operations, the biharmonic map equation can be written as

<math>\Delta\Delta f+\operatorname{tr}_g\Big(f^\ast\big(\iota_{\Delta f}R^h\big)\Big)=0.</math>

In terms of local coordinates Шаблон:Math for Шаблон:Mvar and local coordinates Шаблон:Math for Шаблон:Mvar, the biharmonic map equation is written as

<math>g^{ij}\left(\frac{\partial}{\partial x^i}\left(\frac{\partial(\Delta f)^\alpha}{\partial x^j}+\frac{\partial f^\beta}{\partial x^j}\Gamma_{\beta\gamma}^\alpha(\Delta f)^\gamma\right)-\Gamma_{ij}^k\left(\frac{\partial(\Delta f)^\alpha}{\partial x^k}+\frac{\partial f^\beta}{\partial x^k}\Gamma_{\beta\gamma}^\alpha(\Delta f)^\gamma\right)+\frac{\partial f^\delta}{\partial x^i}\Gamma_{\delta\epsilon}^\alpha\left(\frac{\partial(\Delta f)^\epsilon}{\partial x^j}+\frac{\partial f^\beta}{\partial x^j}\Gamma_{\beta\gamma}^\epsilon(\Delta f)^\gamma\right)\right)+g^{ij}R_{\beta\gamma\delta}^\alpha(\Delta f)^\beta\frac{\partial f^\gamma}{\partial x^i}\frac{\partial f^\delta}{\partial x^j}=0,</math>

in which the Einstein summation convention is used with the following definitions of the Christoffel symbols, Riemann curvature tensor, and tension field:

<math>\begin{align}

\Gamma_{ij}^k&=\frac{1}{2}g^{kl}\Big(\frac{\partial g_{jl}}{\partial x^i}+\frac{\partial g_{il}}{\partial x^j}-\frac{\partial g_{ij}}{\partial x^l}\Big)\\ \Gamma_{\beta\gamma}^\alpha&=\frac{1}{2}h^{\alpha\delta}\Big(\frac{\partial h_{\gamma\delta}}{\partial y^\beta}+\frac{\partial h_{\beta\delta}}{\partial y^\gamma}-\frac{\partial h_{\beta\gamma}}{\partial y^\delta}\Big)\\ R_{\beta\gamma\delta}^\alpha&=\frac{\partial\Gamma_{\gamma\delta}^\alpha}{\partial y^\beta}-\frac{\partial\Gamma_{\beta\delta}^\alpha}{\partial y^\gamma}+\Gamma_{\beta\rho}^\alpha\Gamma_{\gamma\delta}^\rho-\Gamma_{\gamma\rho}^\alpha\Gamma_{\beta\delta}^\rho\\ (\Delta f)^\alpha&=g^{ij}\Big(\frac{\partial^2f^\alpha}{\partial x^i\partial x^j}-\Gamma_{ij}^k\frac{\partial f^\alpha}{\partial x^k}+\frac{\partial f^\beta}{\partial x^i}\Gamma_{\beta\gamma}^\alpha\frac{\partial f^\gamma}{\partial x^j}\Big). \end{align}</math> It is clear from any of these presentations of the equation that any harmonic map is automatically biharmonic. For this reason, a proper biharmonic map refers to a biharmonic map which is not harmonic.

In the special setting where Шаблон:Mvar is a (pseudo-)Riemannian immersion, meaning that it is an immersion and that Шаблон:Mvar is equal to the induced metric Шаблон:Math, one says that one has a biharmonic submanifold instead of a biharmonic map. Since the mean curvature vector of Шаблон:Mvar is equal to the laplacian of Шаблон:Math, one knows that an immersion is minimal if and only if it is harmonic. In particular, any minimal immersion is automatically a biharmonic submanifold. A proper biharmonic submanifold refers to a biharmonic submanifold which is not minimal.

The motivation for the biharmonic map equation is from the bienergy functional

<math>E_2(f) = \frac{1}{2}\,\int_M |\Delta f|_h^2\, dv_g,</math>

in the setting where Шаблон:Mvar is closed and Шаблон:Mvar and Шаблон:Mvar are both Riemannian; Шаблон:Math denotes the volume measure on <math>M</math> induced by Шаблон:Mvar. Eells & Lemaire, in 1983, suggested the study of critical points of this functional.Шаблон:Sfnm Guo Ying Jiang, in 1986, calculated its first variation formula, thereby finding the above biharmonic map equation as the corresponding Euler-Lagrange equation.Шаблон:Sfnm Harmonic maps correspond to critical points for which the bioenergy functional takes on its minimal possible value of zero.

Examples and classification

A number of examples of biharmonic maps, such as inverses of stereographic projections in the special case of four dimensions, and inversions of punctured Euclidean space, are known.Шаблон:Sfnm There are many examples of biharmonic submanifolds, such as (for any Шаблон:Mvar) the generalized Clifford torus

<math>\Big\{x\in\mathbb{R}^{n+2}:x_1^2+\cdots+x_{k+1}^2=x_{k+2}^2+\cdots+x_{n+2}^2=\frac{1}{2}\Big\},</math>

as a submanifold of the Шаблон:Math-sphere.Шаблон:Sfnm It is minimal if and only if Шаблон:Mvar is even and equal to Шаблон:Math.

The biharmonic curves in three-dimensional space forms can be studied via the Frenet equations. It follows easily that every constant-speed biharmonic curve in a three-dimensional space form of nonpositive curvature must be geodesic.Шаблон:Sfnm Any constant-speed biharmonic curves in the round three-dimensional sphere Шаблон:Math can be viewed as the solution of a certain constant-coefficient fourth-order linear ordinary differential equation for a Шаблон:Math-valued function.Шаблон:Sfnm As such the situation can be completely analyzed, with the result that any such curve is, up to an isometry of the sphere:

<math>t\mapsto \Big(\frac{\cos at}{\sqrt{2}},\frac{\sin at}{\sqrt{2}},\frac{\cos bt}{\sqrt{2}},\frac{\sin bt}{\sqrt{2}}\Big)</math>
for any Шаблон:Math on the circle of radius Шаблон:Math around the origin in Шаблон:Math.

In particular, every constant-speed biharmonic curve in Шаблон:Math has constant geodesic curvature.

As a consequence of the purely local study of the Gauss-Codazzi equations and the biharmonic map equation, any connected biharmonic surface in Шаблон:Math must have constant mean curvature.Шаблон:Sfnm If it is nonzero (so that the surface is not minimal) then the second fundamental form must have constant length equal to Шаблон:Math, as follows from the biharmonic map equation. Surfaces with such strong geometric conditions can be completely classified, with the result that any connected biharmonic surface in Шаблон:Math must be either locally (up to isometry) part of the hypersphere

<math>\left\{\Big((w,x,y,\frac{1}{\sqrt{2}}\Big):w^2+x^2+y^2=\frac{1}{2}\right\},</math>

or minimal.Шаблон:Sfnm In a similar way, any biharmonic hypersurface of Euclidean space which has constant mean curvature must be minimal.Шаблон:Sfnm

Guo Ying Jiang showed that if Шаблон:Mvar and Шаблон:Mvar are Riemannian, and if Шаблон:Mvar is closed and Шаблон:Mvar has nonpositive sectional curvature, then a map from Шаблон:Math to Шаблон:Math is biharmonic if and only if it is harmonic.Шаблон:Sfnm The proof is to show that, due to the sectional curvature assumption, the Laplacian of Шаблон:Math is nonnegative, at which point the maximum principle applies. This result and proof can be compared to Eells & Sampson's vanishing theorem, which says that if additionally the Ricci curvature of Шаблон:Mvar is nonnegative, then a map from Шаблон:Math to Шаблон:Math is harmonic if and only if it is totally geodesic.Шаблон:Sfnm As a special case of Jiang's result, a closed submanifold of a Riemannian manifold of nonpositive sectional curvature is biharmonic if and only if it is minimal. Partly based on these results, it was conjectured by R. Caddeo, S. Montaldo and C. Oniciuc that every biharmonic submanifold of a Riemannian manifold of nonpositive sectional curvature must be minimal.Шаблон:Sfnm This, however, is now known to be false.Шаблон:Sfnm The special case of submanifolds of Euclidean space is an older conjecture of Bang-Yen Chen.Шаблон:Sfnm Chen's conjecture has been proven in a number of geometrically special cases.Шаблон:Sfnm

References

Шаблон:Refbegin Footnotes Шаблон:Reflist Books and surveys

Articles

Шаблон:Refend

Партнерские ресурсы
Криптовалюты
Магазины
Хостинг
Разное

Источник — http://wikihandbk.com/ruwiki/index.php?title=Английская_Википедия:Biharmonic_map&oldid=13515344