arxiv: v2 [math.dg] 13 Aug 2018

Transcription

1 SOME CONSTRUCTIONS OF BIHARMONIC MAPS AND CHEN S CONJECTURE ON BIHARMONIC HYPERSURFACES YE-LIN OU arxiv: v [math.dg] 13 Aug 018 Abstract We give several construction methods and use them to produce many examples of proper biharmonic maps including biharmonic tori of any dimension in Euclidean spheres Theorem., Corollaries.3,.4), biharmonic maps between spheres Theorem.6) and into spheres Theorem.7) via orthogonal multiplications and eigenmaps. We also study biharmonic graphs of maps, derive the equation for a function whose graph is a biharmonic hypersurface in a Euclidean space, and give an equivalent formulation of Chen s conjecture on biharmonic hypersurfaces by using the biahrmonic graph equation Theorem 4.1) which paves a way for analytic study of the conjecture. 1. introduction In this paper, all manifolds, maps, and tensor fields are assumed to be smooth unless there is an otherwise statement. A biharmonic map is a map ϕ : M,g) N,h) between Riemannian manifolds that is a critical point of the bienergy functional E ϕ,ω) = 1 τϕ) dx for every compact subset Ω of M, where τϕ) = Trace g dϕ is the tension field of ϕ. The Euler-Lagrange equation of this functional gives the biharmonic map equation [16]) 1) τ ϕ) := Trace g ϕ ϕ ϕ M )τϕ) Trace g R N dϕ,τϕ))dϕ = 0, Ω Date: 08/13/ Mathematics Subject Classification. 58E0, 53C1. Key words and phrases. Biharmonic maps, biharmonic graphs, biharmonic tori, orthogonal multiplications, Chen s conjecture. Supported by Texas A & M University-Commerce Faculty Research Enhancement Project ). 1

2 YE-LIN OU which states the fact that the map ϕ is biharmonic if and only if its bitension field τ ϕ) vanishes identically. In the above equation we have used R N to denote the curvature operator of N,h) defined by R N X,Y)Z = [ N X, N Y ]Z N [X,Y]Z. It is clear from 1) that any harmonic map is biharmonic, so we call those non-harmonic biharmonic maps proper biharmonic maps. A submanifold is biharmonic if the isometric immersion defining the submanifoldisabiharmonicmap. It iswell known that anisometric immersion isminimal if and only if it is harmonic. So a minimal submanifold is trivially biharmonic and we call those non-minimal biharmonic submanifolds proper biharmonic submanifolds. Examples of proper biharmonic maps are very difficult to find. Most of the known examples come from the following families. 1. Biharmonic isometric immersions: i) The generalized Clifford torus S p 1 ) S q 1 ) S n with p q,p+q = n [18]); ii) The hypersphere S n 1 ) S n+1 [6]); iii) Biharmonic cylinder : S 1 1 ) R S R [7]); iv) The hyperplanes z = k k is a constant > C) in the conformally flat space R m+1 +,h = z+c D ) m dx i +dz )) [7]);. Biharmonic conformal immersions: i) The inversion in 3-sphere: φ : R 4 \ {0} R 4 with φx) = x [1]). This is also the only x known biharmonic morphism which is not a harmonic morphisms [1]); ii) Some proper biharmonic identity maps [1]: Euclidean-to-Hyperbolic space, id : H 4 = R 3 R +,ds ) H 4,x 4 ds ) and id : B 4 = {x R 4 : x < 1},ds ) B 4,41 x ) ds ); Euclidean-to-spherical space, id : R 4,ds ) S 4 \ {N},41 + x ) ds ). iii) Conformal immersions from Euclidean space into space forms [6]: ϕ : R 3 R +,ḡ = δ ij ) H 5 = R 4 R +,h = y 5 δ αβ) with ϕx 1,...,x 4 ) = 1,x 1,...,x 4 ) and ϕ : R 4,ḡ = δ ij ) S 5 \ {N} R 5,h = 4δ αβ 1+ y ) ) with ϕu 1,...,u 4 ) = u 1,...,u 4,0), where u 1,...,u 5 ) are conformal coordinates on S 5 \{N} R 5 ; iv) The conformal biharmonic surfaces in R 3 [6]: For λ = C e ±z/r C 1 C 1 R e z/r) / with constants C 1,C, the maps φ : D,g = λ R dθ +dz )) R 3,dσ = dρ +ρ dθ +dz ) with φθ,z) = R,θ,z) is a family of proper biharmonic conformal immersions of a cylinder of radius R into Euclidean space R 3, where D = {θ,z) 0,π) R : z ± R lnc 1R /C )}.

3 CONSTRUCTIONS OF BIHARMONIC MAPS & CHEN S CONJECTURE 3 3. Biharmonic horizontally weakly conformal maps: i) Hopf construction map φ : R R R R, φz,w) = z w,z w) with the standard Euclidean metric on the domain and certain conformally flat metric on the target space [8]); ii) The map φ : R 3 R,ḡ) with φx 1,x,x 3 ) = x 1 +x,x 3) and a certain conformally flat metric ḡ [8]); iii) Biharmonic Riemannian submersions [1]: φ : R R,dx +dy +β x)dz ) R,dx +dy ), φx,y,z) = x,y) with c 1,c R, β = c e fx)dx, and fx) = c 11+e c 1 x ), is a family of 1 e c 1 x biharmonic Riemannian submersions; 4. Biharmonic maps which are neither conformal immersions nor horizontally weakly conformal maps: i) The composition of the Hopf map and the inclusion: S 3 1 ) S 1 ) S 3 [19]), and more generally, the pull-backs of proper biharmonic maps S m 1 ) S m+1 m =,4,8) by the Hopf fibrations S m 1 S m 1 ) [5]); ii) The composition of a harmonic map ψ from a compact manifold with constant energy density and the inclusion map of a biharmonic hypersurface [19]: i ψ : M,g) S n 1 ) S n+1 ; iii) The axially symmetric biharmonic maps [3]: φ : 0, ) t S m 1 R f S n 1, φt,x) = ρt),ϕ 0 x)), where ϕ 0 is a constant map; φ : R m \{0} R m \{0} with φx) = x/ x m, m 4. In this paper, we give several construction methods and use them to produce many examples of proper biharmonic maps including biharmonic tori of any dimension in Euclidean spheres Theorem., Corollaries.3,.4 and??), biharmonic maps between spheres Theorem.6) and into spheres Theorem.7) via orthogonal multiplications and eigenmaps. We also study biharmonic graphs of maps, derive the equation for a function whose graph is a biharmonic hypersurface in a Euclidean space, and give an equivalent formulation of Chen s conjecture on biharmonic hypersurfaces by using the biharmonic graph equation Theorem 4.1) which reveals a similarity to the well-known Bernstein s conjecture on the existence of entire minimal graph. We hope this will pave a way and attract more work and especially more analytic study to Chen s conjecture on biharmonic hypersurfaces.. Constructions of proper Biharmonic maps Let M 1 M,g 1 g ) be the Riemannian product of manifolds M m 1,g 1) and M n,g ). For any map F : M 1 M,g 1 g ) N,h) with F = Fx 1,x ) we have two families of maps F 1,: M m 1,g 1 ) N,h) with F 1 x 1 ) = Fx 1,x )

4 4 YE-LIN OU for fixed x M and F,: M n,g ) N,h) with F x ) = Fx 1,x ) for fixed x 1 M. Then, we know cf. [1], Section 4.15)) that F is harmonic if it is harmonic with respect to each variable separately, i.e., both F 1 and F are harmonic. This can be generalized to the case of biharmonic maps as Proposition.1. Biharmonic maps from product spaces) Biharmonic maps from product spaces) Let F : M 1 M,g 1 g ) N,h) with F = Fx 1,x ) and F 1,: M m 1,g 1) N,h) with F 1 x 1 ) = Fx 1,x ) for fixed x M and F,: M n,g ) N,h) with F x ) = Fx 1,x ) for fixed x 1 M. Then, the bitension field of F is given by ) τ F) = τ F 1 ) π 1 +τ F ) π J F 1 π 1 τf π ) ) J F π τf1 π 1 ) ). In particular, for F : M 1 M,g 1 g ) R n, we have 3) τ F) = M 1 F 1 ) π 1 + M F ) π + M1 M F π ), where, M1 M F π ) = M M1 F1 π 1 ). Therefore, if one of F1 and F is proper biharmonic and the other is harmonic, then F is a proper biharmonic map. Proof. Choose a local orthonormal frame {e i },...,m on M 1 and a local orthonormal frame {c a } a=1,...,n on M so that {e i,c a },...,m, a=1,...,n form a local orthonormal frame on M 1 M. Let π k : M 1 M M k,π k x 1,x ) = x k, be the projection onto the kth factor k = 1,). Then, it is easily seen that 4) df = df 1 π 1 )+df π ), The tension field of F is given see e.g., 4.15) in [1]) by 5) τf) = + { F 1 π 1 e i df 1 π 1 )e i df 1 π 1 ) M 1 M ei e i } n a=1 { F π c a df π )c a df π ) M 1 M ca c a } = τf 1 π 1 )+τf π ).

5 CONSTRUCTIONS OF BIHARMONIC MAPS & CHEN S CONJECTURE 5 Using the fact that the Jacobi operator is linear we have τ F) = J F τf)) = J F[ τf 1 π 1 )+τf π ) ] 6) = J F τf 1 π 1 ) ) J F τf π ) ) = J F 1 π 1 τf1 π 1 ) ) J F π τf π ) ) J F 1 π 1 τf π ) ) J F π τf1 π 1 ) ) = τ F 1 π 1 )+τ F π ) J F 1 π 1 τf π ) ) J F π τf1 π 1 ) ) = τ F 1 ) π 1 +τ F ) π J F 1 π 1 τf π ) ) J F π τf1 π 1 ) ), where the last equality is obtained by using the fact that both π 1 and π are harmonic morphisms with constant dilations λ 1 and hence biharmonic morphisms [4]). The first statement of the proposition follows from 6). For the second statement, notice that when the target manifold of F is a Euclidean space, we have τf) = M1 F 1 π 1 )+ M F π ), and a straightforward computation yields τ F) = M 1 F 1 π 1 )+ M F π )+ M1 M F π )+ M M1 F π ). On the other hand, since π 1 : M 1 M,g 1 g ) M 1,g 1 ) is a Riemannian submersion with totally geodesic fibers, horizontal distribution H = TM 1, and vertical distributuin V = TM. Noting that M1 = H and M = V, we ) can useawell-knownfactsee[5])that ) H V = V H tohave M1 M F π = M M1 F1 π 1. Thus, we complete the proof of the proposition. Remark 1. It is very easy to see that the converse of Proposition.1 is not true. For example, F : S 1 S 1 S 3 defined by Fx,y) = 3 cos x, 3 1 sinx, cosy, 1 siny) is harmonic and hence biharmonic) but it is not biharmonic with respect to either single variable. Example 1. The map F : R R 4 \ {0}) R 4 Ft,x) = tx x with rational functions as component functions is a proper biharmonic map. The effect of the map can be interpreted as an inversion of the point x R 4 about the unit sphere S 3 R 4 followed by a translation of t unit along the direction of x for t > 0 and opposite direction of x for t < 0). To see that this map is proper biharmonic we notice that for each fixed t 0, the map Ft 0, ) : R 4 \{0} R 4 is a constant multiple of the inversion about 3-sphere which is proper biharmonic by [1]. On the other hand, for each fixed x 0, the map F,x 0 ) : R R 4 is a linear map, a straight line and hence a geodesic, which is clearly harmonic. From these and Proposition.1 we conclude that the map is indeed proper biharmonic.

6 6 YE-LIN OU Example. The map φ : S n 1 ) R S n+1 1 R with φx,t) = x,,t) is a proper biharmonic map. This follows from Proposition.1 and the fact that for each fixed t, the map is the inclusion S n 1 ) S n+1 which is proper biharmonic [6]); and for each fixed x S n 1 ), the map is a geodesic in S n+1 R and hence harmonic..1 Biharmonic maps via orthogonal multiplications. An orthogonal multiplication is a bilinear map f : R p R q R r such that fx,y) = x y. It is well known see, e.g., [1], Section 4.16)) that any orthogonal multiplication restricts to a bi-eigenmap f : S p 1 S q 1 S r 1 which is totally geodesic embedding and hence a harmonic map in each variable separately. Furthermore, for the orthogonal multiplications f : R n R n R n,n = 1,,4,8 defined by the usual multiplications of algebras of real, complex, quaternionic, and Cayley numbers, the Hopf construction maps F : R n R n R n+1 defined by Fx,y) = fx,y), x y ) restrict to the Hopf fibrations S n 1 S n which are harmonic maps. The following theorem shows that any orthogonal multiplication can be used to construct a proper biharmonic map from a torus into a sphere. Theorem.. For any orthogonal multiplication f : R p R q R n, the map φ : R p R q R n+1 defined by φx,y) = 1 1 fx,y), ) restricts to a proper biharmonic map S p 1 S q 1 S n. Proof. It is well known see 4.16) in [1] ) that an orthogonal multiplication f : R p R q R n restricts to a harmonic map using the same notation) f : S p 1 S q 1 S n 1 with constant energy density. It is easily checked that ϕ : S p 1 S q 1 S n 1 ) defined by ϕx,y) = 1 fx,y) is again a harmonic map with constant energy density. On the other hand, notice that, the map φ : S p 1 S q 1 S n defined by the restriction of φ : R p R q R n+1, φx,y) = 1 1 fx,y), ), is the composition of ϕ : S p 1 S q 1 S n 1 1 ), ϕx,y) = 1 fx,y), followed by the inclusion map i : S n 1 1 ) S n. It follows from Theorem 1.1 in [19] that the map φ : S p 1 S q 1 S n 1 1 ) S n, φx,y) = 1 1 fx,y), ), is a proper biharmonic map. Thus, we obtain the theorem. Corollary.3. Biharmonic tori in S n ) For any k,n, there is a proper biharmonic map T k = S 1... S 1 S n from flat torus into n-sphere. In particular, the map φt,s) = 1 1 cost+s), 1 sint+s), ) is a proper biharmonic map from -torus T into -sphere S.

7 CONSTRUCTIONS OF BIHARMONIC MAPS & CHEN S CONJECTURE 7 Proof. The proper biharmonic flat torus φ : S 1 S 1 S is obtained by applying Theorem. with the orthogonal multiplication f : C C C defined by the product of complex numbers, i.e., fz,w) = zw. In fact, let z,w) = e it,e is ) S 1 S 1. then, By Theorem., the map can be expressed as φt,s) = 1 1 cost + s), 1 sint + s), ). Note that with respect to each variable the map φ is a proper biharmonic curve up to an affine transformation of arc-length parameter) in S [6]). By totally geodesically embedding S into S n and a result in [5] stating that totally geodesically immersing the target manifold of a biharmonic map into another manifold does not change the biharmonicity of the map we obtain the flat torus in S n. Remark. Note that the proper biharmonic map T S constructed in Corollary.3 is not onto so the degree of the map is 0. It would be interesting to know if there exists proper biharmonic map of degree ±1 from T to S as it was showed by J. Eells and J.C. Wood [14] that there exists no harmonic map from T to S whatever the metrics chosen) in the homotopy class of Brower degree ±1. Corollary.4. A flat torus in S 4 ) The map φ : φ : S 1 S 1 S 4 defined by φt,s) = 1 costcoss, costsins, sintcoss, sintsins, 1) is a proper biharmonic map. Proof. This is obtained by applying Theorem. with the orthogonal multiplication f : R R R 4 defined c.f., [9]) by fx,y) = x 1 y 1,x y 1,x 1 y,x y ). Note that in this case, there is an interesting way to see that the map is a proper biharmonic curve in S 4 with respect to each variable separately. For instance, with respect to t-variable s is fixed), the map becomes a curve φt,s) = c 1 cost+c sint+c 3, where c 1 = 1 coss,sins,0,0,0), c = 1 0,0,coss,sins,0), c 3 = 0,0,0,0, 1 ) are three mutually orthogonal vectors in R 5. It follows from Proposition 4.4 in [7] thatthet-curve isaproperbiharmoniccurvein S 4 uptoanaffinetransformation of arc-length parameter). Similarly, with respect to s-variable, the map φ is also a proper biharmonic curve. Remark 3. 1) A similar construction applies to the family of the orthogonal multiplications f : R R R 4 defined in [9] will produce a family of proper

8 8 YE-LIN OU flat tori in S 4. ) Note that none of the proper biharmonic maps constructed above is an isometric immersion. So they are different from the closed orientable proper biharmonic embedded surfaces of any genus in S 4 described in [7]. The following proposition shows that orthogonal multiplications can also be used to construct proper biharmonic maps into Euclidean space. Proposition.5. Let f : R p R q R n be an orthogonal multiplication. If one of ϕ : M R p and ψ : N R q is proper biharmonic and the other is harmonic, then the map f ϕ,ψ) : M N R n is proper biharmonic. Proof. This follows from Proposition.1 and the fact that with respect to each variable, the orthogonal multiplication f : R p R q R n is a homothetic totally geodesic imbedding. Example 3. Let f : R 4 R 4 R 4, fx,y) = xy bethe orthogonal multiplication defined by the product of quaternions. Let ϕ : R 4 \{0} R 4 with ϕx) = x x be the inversion about 3-sphere, which is proper biharmonic. Then, a straightforward computation of the bi-laplacian of component functions shows that the map f ϕ,ϕ) : R 4 \{0}) R 4 \{0}) R 4 defined by f ϕ,ϕ)x,y) = xy is not x y a biharmonic map. However, the map f ϕ,id) : R 4 \{0}) R 4 \{0}) R 4 defined by f ϕ,id)x,y) = xy is a proper biharmonic map. x. More on biharmonic maps between spheres and into spheres There are many harmonic maps between spheres which include the standard minimal isometric immersions embeddings) of spheres into spheres. To the author s knowledge, the only known examples of proper biharmonic maps between Euclidean spheres seem to be the following: 1) the inclusion map [6]) i : S m 1 ) S m+1, ix) = x, 1 ) for x R m+1 with x = 1, or more generally, homothetic immersion φ : S m S m+1, ix) = x, 1 ) for x R m+1 with x = 1 see [5] for details); ) The composition of minimal isometric immersion S k 1 ) S m 1 ) followed by the inclusion S m 1 ) S m+1 [7], [0]), the composition of Veronese map: S 3) S 4 1 ) S 5 [7]); 3) ThecompositionoftheHopfmapandtheinclusion: S 3 1 ) S 1 ) S 3 [19]), and more generally, the pull-backs of proper biharmonic maps S m 1 ) S m+1 m =,4,8) by the Hopf fibrations S m 1 S m 1 ) [5]).

9 CONSTRUCTIONS OF BIHARMONIC MAPS & CHEN S CONJECTURE 9 The following construction can be used to produce many proper biharmonic maps between Euclidean spheres. Theorem.6. For any eigenmap f : S m 1 S n 1 there is an associated proper biharmonic map F : S m 1 S n defined by Fx) = 1 1 fx), ). Remark 4. As we can see from Theorem.6 and the introduction in this section that all known examples of proper biharmonic maps between spheres come from the construction given in Theorem.6. It would be interesting to know whether there is other type of proper biharmonic maps between spheres. Theorem.7. Let ϕ : M S p and ψ : N S q be harmonic maps with constant energy density from compact manifolds, and j : S p 1 ) S q 1 ) S p+q+1,p q, be the standard inclusion. Then, φ = j ϕ, ψ ) : M N S p+q+1 is a proper biharmonic map. Corollary.8. 1) Let ϕ : S m S p and ψ : S n S q be any eigenmaps, then the map φ : S m S n S p+q+1 with φx,y) = 1 ϕx),ψy)) is a proper biharmonic map for p q; ) Let ϕ : S m 1 S m S p and ψ : S n 1 S n S q be any bi-eigenmapsdefined by orthogonal multiplications, then the map φ : S m 1 S m S n 1 S n S p+q+1 with φx 1,x,y 1,y ) = 1 ϕx 1,x ), ψy 1,y )) is a proper biharmonic map for p q; Remark 5. When ϕ : S k 1 ) S p, ϕx) = x and ψ : S k 1 ) S q, ψy) = y be the homothetic minimal embedding of spheres into spheres, our Theorem.7 recover part of results in Proposition 3.10 and Theorem 3.11 in [7] Example 4. Let ϕ : S 1 S 1, ϕz) = z,z C be the identity map and ψ : S 3 S be the Hopf fibration defined by ψx,y) = xy, x y ),x,y C. Then, by Theorem.7, we have a proper biharmonic map φ : S 1 S 3 S 4 with φz,x,y) = 1 z,xy, x y ). Example 5. Let ϕ : S 1 S 1, ϕz) = z,z C be the identity map and ψ : S S be a family of isometries with parameter t) defined by ψy 1,y,y 3 ) = y 1 cos t + y sin t, y 1 sin t + y cos t, y 3 ),y S. Then, by Theorem.7, we have a family of proper biharmonic map φ : S 1 S S 4 with φ t z,y) = 1 z,y 1 cos t+y sin t, y 1 sin t+y cos t, y 3 ). In particular, when t = 0, the proper biahrmonic map becomes φ 0 z,y) = 1 z, y), the standard homothetic embedding which is the composition S 1 S S 1 1 ) S 1 ) S 4.

10 10 YE-LIN OU For classification results on proper biharmonic isometric immersions into spheres, i.e., proper biharmonic submanifolds in spheres see a recent survey in [4]..3 Biharmonic maps by complete lifts. Let ϕ : R m U R n be a map into Euclidean space. The complete lift of ϕ is defined in [3] to be a map φ : U R m R n with φx,y) = d x ϕ)y). It was proved in [3] that the complete lift of a harmonic map is a harmonic map, the complete lift of a quadratic harmonic morphism is again a quadratic harmonic morphism. We will show that the complete lift method can also be used to produce new biharmonic maps from given ones. Proposition.9. The complete lift of a proper biharmonic map is a proper biharmonic map. Proof. Let ϕx) = ϕ 1 x),ϕ x),...,ϕ n x)), then, by definition, φx,y) = m ϕ 1 x i y i, m ϕ x i y i,..., m ϕ n x i y i ). It is easy tocheck thatamap into Euclidean space is biharmonic if and only if each of its component function is biharmonic. Let x,y) denote the LaplacianonU R m, clearly, x,y) = x + y. Therefore, 7) x,y) φa x,y) = x,y) x,y) = from which we obtain the proposition. x ϕa x i )y i = ϕ a y i ) ) x i x i x ϕ a) y i, Example 6. Let ϕ : R 4 \{0} R 4 be the inversion about 3-sphere in R 4 defined by ϕx) = x/ x which is known [1]) to be a proper biharmonic map. Its complete lift φ : R 4 \{0} R 4 R 4 is defined by φx,y) = x x x 1 )y 1 x 1 x i y i, x x )y x x i y i, 8) i x x 3 )y 3 x 3 x i y i, x x 4 )y ) 4 x 4 x i y i, i 3 which is a proper biharmonic map by Proposition.9. Note that this is another example of proper biharmonic map defined by rational functions..4 Biharmonic maps by direct sum construction. Let ϕ : M R n and ψ : N R n be two maps. Then the direct sum of ϕ and ψ is defined see [] and also []) to be the map ϕ ψ : M N R n i i 4

11 given by CONSTRUCTIONS OF BIHARMONIC MAPS & CHEN S CONJECTURE 11 ϕ ψ)p,q) = ϕp)+ψq) where M N is the product of M and N, endowed with the Riemannian product metric G = g h. An immediate consequence of Proposition.1 is the following Corollary.10. The direct sum of biharmonic maps is again a biharmonic map; the direct sum of a harmonic map and a proper biharmonic map is a proper biharmonic map. Example 7. The map φ : R 3,g = e x dx 1 + dx ) + dx 3 ) R3 defined by φx 1,x,x 3 ) = cos x 1 +3x 3, sin x 1 +x 3, x x 3 ) is a proper biharmonic map. This follows from Corollary.10 and the fact that the map φ is the direct sum of the the geodesic map) ψ : R 1 R 3 defined by ψx 3 ) = 3x 3,x 3, x 3 ) and the map ϕ : R,g = e x dx 1 +dx )) R3, ϕx 1,x ) = cos x 1,sin x 1,x ), which is a proper biharmonic conformal immersion of R into Euclidean space R 3 [6]). 3. Biharmonic maps into a product manifold The graph of a map ψ : M,g) N,h) is defined to be the map φ : M M N,g h) with φx) = x,ψx)) which is easily checked to be an embedding. So with respect to the pull-back metric φ g + h) = g + ψ h the graph φ is an isometric embedding whilst with respect to the original metric g on M it need not be so. The harmonicity of the graph of a map ψ with respect to the pull-back metric φ g +h) = g +ψ h and the original metric g on M were studied in [13] and [11]. Proposition 3.1. [13], E)) Let ψ : M,g) N,h) be a map. Then, the graph φ : M,g) M N,g h) with φx) = x,ψx)) is a harmonic map if and only if the map ψ : M,g) N,h) is a harmonic map. Proposition 3.. [11]) Let ψ : M,g) N,h) be a map. Then, the graph φ : M,φ g h)) M N,g h) with φx) = x,ψx)) is a harmonic map if and only if both π 1 φ and π φ = ψ are harmonic, where π 1 : M N,g h) M,g) and π : M N,g h) N,h) are the projections onto the first and the second factor respectively. We will show that these results generalize to the case of biharmonic maps. Actually, we will prove that the generalizations follow from the following theorem. Theorem 3.3. Biharmonic maps into product spaces) Let ϕ : M,g) N 1,h 1 ) and ψ : M,g) N,h ) be two maps. Then, the map φ : M,g) N 1 N,h 1 h ) with φx) = ϕx),ψx)) is biharmonic if and only if both map

12 1 YE-LIN OU ϕ and ψ are biharmonic. Furthermore, if one of ϕ and ψ is harmonic and the other is a proper biharmonic map, then φ is a proper biharmonic map. Proof. It is easily seen that 9) dφx) = dϕx)+dψx), X TM. It follows that 10) φ X dφy) = φ X dϕy)+ φ XdψY), X, Y TM. Let {e 1,...,e m } be a local orthonormal frame on M,g) and let Y = Y i e i, then dϕy) = Y i ϕ a i E a ϕ) for some function ϕ a i defined locally on M. A straightforward computation yields 11) φ X dϕy) = φ X Y i ϕ a i)e a ϕ) = [XY i ϕ a i )]E a ϕ)+y i ϕ a i ) N 1 dϕx) E a ϕ) = ϕ X Y i ϕ a i)e a ϕ) = ϕ X dϕy). Similarly, we have 1) φ X dψy) = ψ X dψy). By using 9), 10), 11), and 1) we have 13) τφ) = = { φ e i dφe i ) dφ M e i e i )} { ϕ e i dϕe i ) dϕ M e i e i )+ ψ e i dψe i ) dψ M e i e i )} = τϕ)+τψ). To compute the bitension field of the map φ, we notice that τϕ) is tangent to N 1 whilst τψ) is tangent to N. We use the property of the curvature of the product manifold to have R N 1 N dφe i ),τφ))dφe i ) = R N 1 dϕe i ),τϕ))dϕe i )+R N ddψe i ),τψ))dψe i ).

13 Therefore, 14) CONSTRUCTIONS OF BIHARMONIC MAPS & CHEN S CONJECTURE 13 τ φ) = = { φ e i φ e i τφ) φ M e i e i τφ) R N 1 N dφe i ),τϕ))dφe i )} { ϕ e i ϕ e i τϕ) ϕ M e i e i τϕ) R N 1 dϕe i ),τϕ))dϕe i )} + { ψ e i ψ e i τψ) ψ M e i e i τψ) R N dψe i ),τψ))dψe i )} = τ ϕ)+τ ψ), from which, together with 13) the theorem follows. The following corollary generalizes Proposition 3.1 in [13] and can be used to produce proper biharmonic maps from given ones. Corollary 3.4. Let ψ : M, g) N, h) be a map. Then, the graph φ : M,g) M N,g h) with φx) = x,ψx)) is a biharmonic map if and only if the map ψ : M,g) N,h) is a biharmonic map. Furthermore, if ψ is proper biharmonic, then so is the graph. Proof. The corollary follows from Theorem 3.3 with ϕ : M,g) M,g) being identity map which is harmonic. Example 8. The map φ : R 4 \ {0} R 4 R 4 given by φx) = x,x/ x ) is a proper biharmonic map. This follows from Theorem 3.3 and the fact that φ is the graph of the inversion ψ : R 4 \{0} R 4 defined by ψx) = x/ x which is known [1]) to be a proper biharmonic map. Example 9. The map φ : R,g = e x dx 1 + dx )) R R 3,e x dx 1 + dx ) + dx 3 + dx 4 + dx 5) defined by ψx 1,x ) = x 1,x,cos x 1,sin x 1,x ) is a proper biharmonic map. This is because the map φ is the graph of the map ψ : R,g = e x dx 1 + dx )) R 3, ψx 1,x ) = cos x 1,sin x 1,x ), which is a proper biharmonic conformal immersion of R into Euclidean space R 3 [6]). Another consequence of Theorem 3.3 is the following Corollary 3.5. Let ψ : M,g) N,h) be a map. Then, 1) the graph φ : M,φ g h)) M N,g h) with φx) = x,ψx)), is a biharmonic isometric embedding if and only if both maps ϕ : M,g + ψ h) M,g) with ϕx) = x and ψ : M,g +ψ h) N,h) are biharmonic. Furthermore, if one of the component maps is proper biharmonic then so is the graph φ; ) A submanifold ψ : M,g) N,h) is biharmonic if and only if its graph

14 14 YE-LIN OU φ : M,g) M N,g h) with φx) = x,ψx)) is a biharmonic embedded submanifold. 3) The graph of ψ : M,g) N,h) is a biharmonic isometric embedding if and only if the map ψ : M,g +ψ h) N,h) is biharmonic. Proof. The Statement 1) follows from Theorem 3.3 immediately. For Statement ), note that if ψ : M,g) N,h) is an isometric immersion, then φ g h) = g, from which and Theorem 3.3 we obtain the required result. To prove Statement 3), first note that, by Theorem 3.3, the biharmonicity of the graph φ is equivalent to the biharmonicity of ϕ : M,g + ψ h) M,g) and ψ : M,g + ψ h) N,h). Since ϕ is an identity map between two Riemann surfaces, one can easily check that ϕ is harmonic. It follows that φ is biharmonic if and only if ψ is biharmonic. 4. Biharmonic graphs and Chen s conjecture Concerning biharmonic submanifolds of Euclidean space we have the following Chen s Conjecture: any biharmonic submanifold of Euclidean space is minimal. Jiang [17], Chen-Ishikawa [9] proved that any biharmonic surface in R 3 is minimal; Dimitrić [10] showed that any biharmonic curves in R n is a part of a straight line, any biharmonic submanifold of finite type in R n is minimal, any pseudoumbilical submanifolds M m R n with m 4 is minimal, and any biharmonic hypersurface in R n with at most two distinct principal curvatures is minimal; it is proved in [15] that any biharmonic hypersurface in R 4 is minimal. However, the conjecture is still open. As any hypersurface of Euclidean space is locally the graph of a real-valued function, we believe that the next strategic step in attacking Chen s conjecture is to check whether a biharmonic graph in Euclidean space is minimal. The following theorem gives conditions on a real-valued function whose graphs produce biharmonic hypersurfaces in a Euclidean space, from which we obtain an equivalent analytic formulation of Chen s conjecture. Theorem 4.1. I) A function f : R m D R has biharmonic graph {x,fx)) : x D} R m+1 if and only if of f is a solution of 15) { f = 0, f k ) f +g f k, f) = 0, k = 1,,...,m,

15 CONSTRUCTIONS OF BIHARMONIC MAPS & CHEN S CONJECTURE 15 where the Laplacian and the gradient are taken with respect to the induced metric g ij = δ ij +f i f j. II) The following statements are equivalent: i) Any biharmonic hypersurface in Euclidean space R m+1 is minimal Chen s Conjecture for biharmonic hypersurfaces [8]); ii) Any solution of Equation 15) is a harmonic function, i.e., f = 0. Proof. To prove Statement I), let f : R m D R with f = fx 1,...,x m ) be a function. Then, by Corollary 3.5, the graph φ : R m D R m+1 with φx) = x 1,...,x m,fx 1,...,x m )) is a biharmonic hypersurface if and only if all component functions are biharmonic with respect to the induced metric g = g ij ) = δ ij +f i f j ). This is equivalent to f being a solution of 16) { f = 0, x k = 0, k = 1,,...,m. To prove the equivalence of 15) and 16) we need to find a way to compute the Laplacian on the hypersurface. To this end, we use the standard Cartesian coordinates x 1,...,x m,x 0 ) in R m+1 and with respect to which the standard Euclidean metric is given by h 0 = dx dx m +dx 0. We will use the notations i = x i,i = 0,1,,...,m, f i = f x i, and f ij = f x j x i. Claim: The Laplacian on the hypersurface with respect to the induced metric g is given by u = g ij u ij gij f ij 17) f 1+ 0 f i u i where u is a function defined on D R m. In particular, 18) f = gij f ij 1+ 0 f. Proof of the Claim: It is easy to check that { X i = dφ i ) = i +f i 0, i = 1,,...,m, 19) ξ = 0 f + 0 )/ 1+ 0 f, where 0 denoting the Euclidean gradient, form a frame not necessarily an orthonormalone)onr m+1 adaptedtothehypersurfacewithξ beingtheunitnormal vector field. Clearly, the induced metric on the hypersurface has components 0) g ij ) = X i,x j ) = δ ij +f i f j ), g ij ) = g ij ) 1.

16 16 YE-LIN OU 1) Let denote the connection of the ambient Euclidean space. Then, we have Xi X j = fi 0 + i )f j 0 + j ) = f ij 0. The second fundamental form of the hypersurface with respect to the frame {X i } is give by ) b ij = bx i,x j ) = Xi X j,ξ = f ij 1+ 0 f. We can apply the Gauss formula Xi X j Xi X j = bx i,x j )ξ for a hypersurface to have 3) Xi X j = Xi X j bx i,x j )ξ = f ij 0 f + 0 f 0 )/1+ 0 f ). On the other hand, it is well known that the Laplacian on a manifold M m with Riemannian metric g is given by u = {e i e i u) ei e i )u}, where {e i : i = 1,,,m} is an orthonormal frame on M m,g). By a straightforward computation one can check that with respect to an arbitrary frame {X i : i = 1,,,m} on M,g), we have 4) u = g ij X j X i u Xi X j u). Using the frame defined in 19), and Equations 3), 4) we obtain Formula 17), and from which we ontain 18) by replacing u by f and a straightforward computation. Thus, we end the proof of the Claim. 5) Now using 17) and a straightforward computation we have x k = f k f, k = 1,,...,m. A further computation using 17), 18) and 5) shows that 16) is indeed equivalent to 15), which ends the proof of the first statement. For statement II), first notice that the mean curvature of the graph is given by 6) mh = g ij b ij = g ij f ij 1+ 0 f = 1+ 0 f f. It follows that the function f has minimal graph if and only if the graph φ, as an isometric embedding, is harmonic. This is equivalent to the vanishing of both

17 CONSTRUCTIONS OF BIHARMONIC MAPS & CHEN S CONJECTURE 17 18) and 5), which is equivalent to f being a harmonic function with respect to the metric φ h 0 = g ij = δ ij +f i f j and, by 6), it is equivalent to the mean curvature H vanishes identically). By the implicit function theorem any hypersurface is locally the graph of a function. It follows that the existence of a non-harmonic biharmonic hypersurface is equivalent to the existence of a solution of 15) which is not harmonic, from which weobtainthestatement II)which completes theproofofthetheorem. Remark 6. We notice that the well-known Bernstein s conjecture and Chen s conjecture on biharmonic hypersurfaces are similar in the following sense: Bernstein conjecture claimed that for m, any entire solution of the minimal graph equation f = 0 i,j=1 δ ij f ) if j 1+ f f ij = 0, is trivial, i.e., f is an affine function. According to our Theorem 4.1, Chen s conjecture for biharmonic hypersurfcaes is equivalent to claiming that for m, any solution of the biharmonic graph equation { f) = 0, 7) is trivial, i.e., f = 0. f k ) f +g f k, f) = 0, k = 1,,...,m, We know that Bernstein s conjecture is true for m = Bernstein, 1915), m = 3 De Giorgi,1965), m = 4 Almgren, 1966), and m 7 J. Simons, 1968); however, it fails to be true for m > 7 Bombieri-De Giorgi-Giusti, 1969). We are not sure whether the similarity between the two conjectures implies that Chen s conjecture is more likely to be false. We do hope that the equivalent analytic formulation of Chen s conjecture for biharmonic hypersurfaces and its interesting link to Bernstein s conjecture will attract more work and especially more analytic study of the conjecture. Acknowledgments. The author would like to thank the referees for some valuable suggestions. References [1] P. Baird and D. Kamissoko, On constructing biharmonic maps and metrics, Ann. Global Anal. Geom ), no. 1, [] P. Baird and J. C. Wood, Harmonic morphisms between Riemannian manifolds, London Math. Soc. Monogr. N.S.) No. 9, Oxford Univ. Press 003).

18 18 YE-LIN OU [3] A. Balmus, S. Montaldo, C. Oniciuc, Biharmonic maps between warped product manifolds, J. Geom. Phys ), no., [4] A. Balmus, S. Montaldo and C. Oniciuc, Properties of biharmonic submanifolds in spheres, Preprint 009, arxiv: [5] L. Berard Bergery and J. L. Bourguignon, Laplacian and Riemannian submersions with totally geodesic fibres, Illinois J. Math, Volume 6 ), 198, [6] R. Caddeo, S. Montaldo, and C. Oniciuc, Biharmonic submanifolds of S 3, Internat. J. Math ), no. 8, [7] R. Caddeo, S. Montaldo and C. Oniciuc, Biharmonic submanifolds in spheres, Israel J. Math ), [8] B. Y. Chen, Some open problems and conjectures on submanifolds of finite type, Soochow J. Math ), no., [9] B. Y. Chen and S. Ishikawa, Biharmonic pseudo-riemannian submanifolds in pseudo- Euclidean spaces, Kyushu J. Math ), no. 1, [10] I. Dimitrić, Submanifolds of E m with harmonic mean curvature vector, Bull. Inst. Math. Acad. Sinica 0 199), no. 1, [11] J. Eells, Minimal graphs, Manuscripta Math ), no. 1-3, [1] J. Eells and L. Lemaire, A report on harmonic maps, Bull. London Math. Soc ), no. 1, [13] J. Eells and J. H. Sampson, Harmonic mappings of Riemannian manifolds, Amer. J. Math [14] J. Eells and J. C. Wood, The existence and construction of certain harmonic maps, Symposia Mathematica, Vol. XXVI Rome, 1980), pp , Academic Press, London-New York, 198. [15] T. Hasanis and T. Vlachos, Hypersurfaces in E 4 with harmonic mean curvature vector field, Math. Nachr ), [16] G. Y. Jiang, -Harmonic maps and their first and second variational formulas, Chin. Ann. Math. Ser. A 71986) [17] G. Y. Jiang, Some non-existence theorems of -harmonic isometric immersions into Euclidean spaces, Chin. Ann. Math. Ser. 8A 1987) [18] G. Y. Jiang, -harmonic isometric immersions between Riemannian manifolds. Chinese Ann. Math. Ser. A ), no., [19] E. Loubeau and C. Oniciuc, On the biharmonic and harmonic indices of the Hopf map, Trans. Amer. Math. Soc ), no. 11, [0] E. Loubeau and C. Oniciuc, The index of biharmonic maps in spheres, Comp. Math ), [1] E. Loubeau and Y. -L. Ou, Biharmonic maps and morphisms from conformal mappings, Tôhoku Math J., Vol. 6 1), 010), [] Y.-L. Ou. On constructions of harmonic morphisms into Euclidean spaces, J. Guangxi University for Nationalities,, 1996, 1-6. [3] Y. -L. Ou, Complete lifts of harmonic maps and morphisms between Euclidean spaces, Beiträge Algebra Geom ), no. 1, [4] Y.-L. Ou, Biharmonic morphisms between Riemannian manifolds, Geometry and topology of submanifolds, X Beijing/Berlin, 1999),

19 CONSTRUCTIONS OF BIHARMONIC MAPS & CHEN S CONJECTURE 19 [5] Y. -L. Ou, p-harmonic morphisms, biharmonic morphisms, and nonharmonic biharmonic maps, J. Geom. Phys ) [6] Y. -L. Ou, On conformal biharmonic immersions, Ann. Global Analysis and Geometry, 36) 009), [7] Y. -L. Ou, Biharmonic hypersurfaces in Riemannian manifolds, Pacific J. of Math, 48 1), 010), [8] S. Ouakkas, Biharmonic maps, conformal deformations and the Hopf maps, Differential Geom. Appl ), no. 5, [9] M. Parker, Orthogonal multiplications in small dimensions, Bull. London Math. Soc ), no. 4, Department of Mathematics, Texas A & M University-Commerce, Commerce TX 7549, USA. yelin ou@tamu-commerce.edu