arxiv: v1 [math.dg] 27 Jan 2011

Transcription

1 ENERGY AND VOLUME OF VECTOR FIELDS ON SPHERICAL DOMAINS arxiv: v1 [math.dg] 7 Jan 011 FABIANO G. B. BRITO, ANDRÉ GOMES, AND GIOVANNI S. NUNES Abstract. We present in this paper a boundary version for theorems about minimality of volume and energy functionals on a spherical domain of threedimensional Euclidean sphere. 1. Introduction Let (M,g) be a closed, n-dimensional Riemannian manifold and T 1 M the unit tangent bundle of M considered as a closed Riemannian manifold with the Sasaki metric. Let X : M T 1 M be a unit vector field defined on M, regarded as a smooth section on the unit tangent bundle T 1 M. The volume of X was defined in [8] by vol(x) := vol(x(m)), where vol(x(m)) is the volume of the submanifold X(M) T 1 M. Using an orthonormal local frame {e 1,e,...,e n 1,e n = X}, the volume of the unit vector field X is given by n vol(x) = (1+ ea X M a=1 + ea X eb X +... a<b...+ ea1 X ean 1 X ) 1/ ν M (g) a 1< <a n 1 and the energy of the vector field X is given by E(X) = n vol(m)+ 1 n ea X ν M (g) M a=1 The Hopf vector fields on S 3 are unit vector fields tangent to the classical Hopf fibration π : S 3 S with fiber homeomorphic to S 1. The following theorems gives a characterization of Hopf flows as absolute minima of volume and energy functionals: Theorem 1.1 ([8]). The unit vector fields of minimum volume on the sphere S 3 are precisely the Hopf vector fields and no others. Theorem 1. ([1]). The unit vector fields of minimum energy on the sphere S 3 are precisely the Hopf vector fields and no others. We prove in this paper the following boundary version for these Theorems: Theorem 1.3. Let U be an open set of the three-dimensional unit sphere S 3 and let U be a compact set. Let be an unit vector field on U which coincides with a Hopf flow H along the boundary of. Then vol() vol(h) and E() E(H). ey words and phrases. Differential geometry, energy and volume of vector fields. 1

2 FABIANO G. B. BRITO, ANDRÉ GOMES, AND GIOVANNI S. NUNES Other results for higher dimensions may be found in [], [5], [7] and [8].. Preliminaries Let U S 3 be an open set. We consider a compact set U. Let H be a Hopf vector field on S 3 and let be an unit vector field defined on U. We also consider the map ϕ t : U S 3 ( 1+t ) given by ϕ t(x) = x+t(x). This map was introduced in [10] and [3]. Lemma.1. For t > 0 sufficiently small, the map ϕ t is a diffeomorphism. Proof. A simple application of the identity perturbation method In order to find the Jacobian matrix of ϕ u t, we define the unit vector field u 1 u(x) := (x) t x 1+t 1+t Using an adapted orthonormal frame {e 1,e,} on a neighborhood V U, we obtain an adapted orthonormal frame on ϕ t(v) given by {ē 1,ē, u}, where ē 1 = e 1, ē = e. In this manner, we can write t (e 1) = t (e 1),e 1 e1 + t (e 1),e e + t (e 1), u u t(e ) = t(e ),e 1 e1 + t(e ),e e + t(e ), u u t() = t(),e 1 e1 + t(),e e + t(), u u Now, by Gauss equation of immersion S 3 R 4, we have d(y) = Y,Yx for every vector field Y on S 3, and then t (e 1 ),e 1 = e1 +td(e 1 ),e 1 = 1+t e1,e 1 Analogously, we can conclude that t (e 1 ),e = t e1,e t (e ),e 1 = t e,e 1 t (e ),e = 1+t e,e t (e 1 ), u = 0 t (e ), u = 0 t (), u = 1+t By applying the notation h ij () := ei,e j (i,j = 1,), the determinant of the Jacobian matrix of ϕ t can be express in the form where, by definition, det( t) = 1+t (1+σ 1 ().t+σ ().t ) σ 1 () := h 11 ()+h () σ () := h 11 ()h () h 1 ()h 1 ()

3 ENERGY AND VOLUME OF VECTOR FIELDS ON SPHERICAL DOMAINS 3 3. Proof of Theorem 1.3 The energy of the vector field (on ) is given by E() := 1 d = 3 vol()+ 1 Using the notations above, we have E() = 3 vol()+ 1 [( (h ij ) +(,e 1 ) +(,e ) ] and then i,j=1 E() 3 vol()+ 1 (h ij ) i,j=1 3 vol()+ 1 (h 11 h h 1 h 1 ) = 3 vol()+ σ () On the other hand, by change of variables theorem, we obtain vol[ϕ H t ()] = 1+t (1+σ 1 (H).t+σ (H).t ) = δ vol(s 3 ( 1+t )) where δ := vol()/vol(s 3 ). (Remark that σ 1 (H) and σ (H) are constant functions on S 3, in fact, we have σ 1 (H) = 0 and σ (H) = 1, by a straightforward computation shown in [6]). Suppose now that is an unit vector field on which coincides with a Hopf vector field H on the boundary of. Then, obviously Therefore, we obtain vol[ϕ t()] = vol[ϕ t ()] = vol[ϕh t ()] 1+t (1+σ 1 ().t+σ ().t ) = δ vol(s 3 ( 1+t )) = [vol()](1+t ) 3/ By identity of polynomials, we conclude that σ () = vol() and consequently E() 3 vol()+vol() = E(H) Now, observing that vol(h) = vol(), σ () = vol() and h ij () σ () i,j=1

4 4 FABIANO G. B. BRITO, ANDRÉ GOMES, AND GIOVANNI S. NUNES we can obtain an analogue of this result for volumes vol(x) = 1+ h ij +[det(h ij)] + 1+σ +σ = (1+σ ) = vol() = vol(h) 4. Final remarks (1) If is a spherical cap (the closure of a connected open set with round boundary of the three unit sphere), the theorem provides a boundary version for the minimalization theorem of energy and volume functionals on [1] and [8]. () The Hopf boundary hypothesis is essential. In fact, if there is no constraint for the unit vector field on, it is possible to construct vector fields on small caps such that is small on (exponential maps may be used on that construction). A consequence of this is that E() and vol() are less than volume and energy of Hopf vector fields respectively. (3) The results of this paper may, possibly, be extended for the energy of solenoidal unit vector fields in the higher dimensional case (n = k + 1). We intend to treat this subject in a forthcoming paper. (4) We express our gratitude to Prof. Jaime Ripoll for helpful conversation concerning the final draft of our paper. References [1] F. G. B. Brito, Total bending of flows with mean curvature correction, Diff. Geom. Appl. 1, (000), [] F. B. B. Brito, P. M. Chacón and A. M. Naveira, On the volume of unit vector fields on spaces of constant sectional curvature, Comment. Math. Helv., 79 (004) [3] F. G. B. Brito, R. Langevin and H. Rosenberg, Intégrales de courbure sur des variétés feuilletées, J. Differential Geom. 16, (1981), no. 1, 19?50. [4] E. Boeckx, J. C. Gonzáles-Dávila and L. Vanhecke, Energy of radial vector fields on compact rank one symmetric spaces, Ann. Global Anal. Geom., 3 (003), no. 1, 9-5. [5] V. Borrelli and O. Gil-Medrano, A critical radius for unit Hopf vector fields on spheres, Math. Ann. 334, (006), no. 4, 731?751. [6] P. M. Chacón, Sobre a energia e energia corrigida de campos unitários e distribuições. Volume de campos unitários, PhD Thesis, Universidade de São Paulo, Brazil. [7] P. M. Chacón, A. M. Naveira and J. M. Weston, On the energy of distributions, with application to the quaternionic Hopf fibrations, Monatsh. Math. 133, (001), no. 4, [8] H. Gluck and W. Ziller, On the volume of the unit vector fields on the three sphere, Comment. Math. Helv. 61, (1986), [9] D. L. Johnson, Volumes of flows, Proc. Amer. Math. Soc. 104 (1988), no. 3, 93?931. [10] J. Milnor, Analytic proofs of the hairy ball theorem and the Brouwer fixed-point theorem, Amer. Math. Monthly 85, (1978), no. 7, 51?54.

5 ENERGY AND VOLUME OF VECTOR FIELDS ON SPHERICAL DOMAINS 5 Universidade Federal do Estado do Rio de Janeiro, Brazil Universidade de São Paulo, Brazil Universidade Federal de Pelotas, Brazil