![Arxiv:1712.03870V2 [Math.DG]](http://data.docslib.org/img/5fbbb1cc9d783722acb0ce58b7289286-1.webp)
arXiv:1712.03870v2 [math.DG] 14 May 2018 o amncmp scnomlyivrati ieso dim dimension in invariant conformally is maps harmonic for amncmaps Harmonic qainrdc ohroi rtiilmp.Svrlresult Several whi maps. under trivial conditions or established: find harmonic to to interesting reduce t solve equation is maps it trivial reason and on maps this results harmonic For [10]. both of to that number obvious refer is large we It a survey a exists for there maps, maps harmonic dimensio for in As invariant conformally is bienergy the that Note hoetefloigcneto o h imn uvtr t curvature Riemann the for convention following the choose ∇ r enda rtclpit fteDrcltenergy Dirichlet the of points critical as defined are manifold where where eetdidcs h oncinLpainon Laplacian connection The indices. repeated scaatrzdb h aihn fthe map of biharmonic vanishing the the equation, by map characterized harmonic is the to contrast In hs rs sciia onso h inry[] hc sd is th which [6], are bienergy equation the of map points harmonic critical the as arise of These generalization have natural solutions [4]. A see its maps different of harmonic partial behavior on order qualitative and second existence elliptic on semilinear, a is This by given rtclpit f(.)aecaatrzdb h vanishing the by characterized are (1.1) of points critical [ IUIL-YETERMFRBHROI ASBETWEEN MAPS BIHARMONIC FOR THEOREM LIOUVILLE-TYPE A X,Y e od n phrases. and words Key 2010 Date OPEEREANA AIOD IHSALENERGIES SMALL WITH MANIFOLDS RIEMANNIAN COMPLETE ] Z a 5 2018. 15, May : φ e ahmtc ujc Classification. Subject Mathematics n the and hr 2 where ana aiodo dimension of manifold mannian Abstract. ne hs emti supin eso hti the if that show we assumptions sectio geometric whose these manifold Under Riemannian a into radius injectivity α . : N M sa rhnra ai of basis orthonormal an is emk s fteEnti umto ovnin enn t meaning convention, summation Einstein the of use make We . → n n < p < eeg ftempi ucetysalte vr biharmonic every then small sufficiently is map the of -energy N eogt h otsuidvrainlpolm ndifferenti in problems variational studied most the to belong epoeaLovletp hoe o iamncmp rma from maps biharmonic for theorem Liouville-type a prove We sampbtentetoReana aiod ( manifolds Riemannian two the between map a is . = 0 iamncmp;cmlt imninmnfls Liouvill manifolds; Riemannian complete maps; biharmonic τ 2 ( φ 1. := ) nrdcinadResults and Introduction n E − hthsalwrbudo t ic uvtr n positive and curvature Ricci its on bound lower a has that E = 0 OKRBRANDING VOLKER M T 2 82;53C43. 58E20; ∆ 1 ( φ ( τ ieso field bitension φ = ) ( τ = ) φ ( and + ) φ =tr := ) Z Z M 1 φ R M R ∗ | N N τ N T | dφ ( ( h dφ φ eoe h uvtr esro h target the of tensor curvature the denotes ∇ | ) 2 | sdfie y∆:= ∆ by defined is ( L 2 dφ. dV, e dV. p α a uvtr sbuddfo above. from bounded is curvature nal nr ftetninfil sbounded is field tension the of -norm ) fteso-called the of τ , a qain o hc ayresults many which for equation, ial nti ieto aearaybeen already have direction this in s fie as efined enotie.Frarcn survey recent a For obtained. been hsltoso h iamncmap biharmonic the of solutions ch ( dim n ebhroi a qain(1.2). equation map biharmonic he φ ensor M )) qaini ffut re and order fourth of is equation dφ 2. = aiu set fbiharmonic of aspects various so-called e M ( a utb harmonic, be must map e R α ( ,weesteenergy the whereas 4, = ) ,Y X, , ,h M, ∇ eso field tension theorem. e e α ) opeeRie- complete Z n ( and ) ∇ lgoer.They geometry. al iamncmaps biharmonic a esmover sum we hat e [ = α −∇ ∇ ,g N, X ∇ hc is which , , e ∇ α .The ). e Y α We . ] (1.1) (1.2) Z − . 2 VOLKER BRANDING
(1) For biharmonic functions on flat space a Liouville theorem was already established before the first article on biharmonic maps appeared. Let M = Rm and N = R and consider a solution u: Rm → R of ∆2u = 0. If u is bounded from above and below, then u is constant [5]. (2) Already in the first article on biharmonic maps [6] it was shown by a direct application of the maximum principle that biharmonic maps between compact Riemannian manifolds and the target having negative curvature must be harmonic. (3) If the domain manifold is a complete non-compact Riemannian manifold with positive Ricci curvature and the target a Riemannian manifold of non-positive sectional curvature then every biharmonic map of finite bi-energy must be harmonic [1]. (4) This result remains true if the condition of positive Ricci curvature on the domain is replaced by either the map having finite energy or the domain manifold having finite volume [11]. (5) This result was further generalized in [9]: It is shown that a biharmonic map from a complete Riemannian manifold to a Riemannian manifold with non-positive sectional curvature is harmonic if either the tension field is integrable in Lp with p ≥ 2 and the volume of the domain is infinite or if the tension field is integrable in Lp with p ≥ 2 and the Dirichlet energy of the map is finite. (6) Further generalizations were given in [7] and [8]. In this article we aim to establish another Liouville type theorem for biharmonic maps that does not require any assumption on the curvature of the target. To this end let (M, h) and (N, g) be two complete Riemannian manifolds. We will not have to assume that the target manifold has negative curvature, instead we will demand that the differential of the map is small in a certain Lp-norm. In the following the positive constant A will denote an upper bound on the sectional curvature KN of N. We will denote the dimension of M by dim M = n. The main result of this note is the following Theorem 1.1. Let φ: M → N be a smooth biharmonic map. Suppose that the Ricci curvature of M is bounded from below and that the injectivity radius of M is positive. Assume that the sectional curvature KN of N satisfies KN ≤ A. If
|τ(φ)|pdV < ∞ ZM and
|dφ|ndV < ε ZM for 2
|H|pdV < ∞ ZM and
|dφ|ndV < ε ZM for 2
2. Proof of the Theorem In order to prove Theorem 1.1 we extend the ideas developed in [9] and [11]. First, we need to establish some technical lemmas. We choose a cutoff function 0 ≤ η ≤ 1 on M that satisfies C η(x)=1 for x ∈ B (x ), η(x)=0 for x ∈ B (x ), |∇η|≤ for x ∈ M, r 0 2r 0 r where Br(x0) denotes the geodesic ball around x0 with radius r. Lemma 2.1. Let φ: M → N be a smooth biharmonic map. Suppose that the sectional curvature KN of N satisfies KN ≤ A. Then the following inequality holds
1 2 2 p−2 2 p 2 C p η |∇τ(φ)| |τ(φ)| dV ≤A η |τ(φ)| |dφ| dV + 2 |τ(φ)| dV (2.1) 2 ZM ZM R ZM − (p − 2) η2|h∇τ(φ),τ(φ)i|2|τ(φ)|p−4dV. ZM Proof. We test the biharmonic map equation (1.2) with η2τ(φ)|τ(φ)|p−2 and find 2 p−2 2 p−2 N η |τ(φ)| h∆τ(φ),τ(φ)i = η |τ(φ)| hR (dφ(eα),τ(φ))dφ(eα),τ(φ)i. Integrating over M and using integration by parts we obtain
− − η2|τ(φ)|p 2h∆τ(φ),τ(φ)idV = − 2 h∇τ(φ),τ(φ)i|τ(φ)|p 2η∇ηdV ZM ZM − − (p − 2) η2|h∇τ(φ),τ(φ)i|2|τ(φ)|p 4dV ZM − η2|∇τ(φ)|2|τ(φ)|p−2dV ZM C p 1 2 2 p−2 ≤ 2 |τ(φ)| dV − η |∇τ(φ)| |τ(φ)| dV R ZM 2 ZM − (p − 2) η2|h∇τ(φ),τ(φ)i|2|τ(φ)|p−4dV, ZM where we used Young’s inequality and the properties of the cutoff function η. Combining both equations we find
1 2 2 p−2 C p 2 2 p η |∇τ(φ)| |τ(φ)| dV ≤ 2 |τ(φ)| dV − (p − 2) η |h∇τ(φ),τ(φ)i| |τ(φ)| dV 2 ZM R ZM ZM 2 p−2 N − η |τ(φ)| hR (dφ(eα),τ(φ))dφ(eα),τ(φ)idV. ZM The result follows by estimating the last term on the right hand side.
Now we recall the following fact: Let (M, g) be a complete Riemannian manifold whose Ricci curvature is bounded from below and with positive injectivity radius. Then for f ∈ W 1,s(M) with compact support the following Gagliardo-Nierenberg type inequality holds 1 1 1 kfk r ≤ Ckdfk s , = − , 1 ≤ s 2 2 p 2 n 1 p 2 p 2 η |τ(φ)| |dφ| dV ≤ C |dφ| dV n |τ(φ)| dV + η |d|τ(φ)| 2 | dV , (2.3) Z Z R2 Z Z M M M M where the positive constant C depends on n,p and the geometry of M. 4 VOLKER BRANDING p Proof. We set f := |τ(φ)| 2 , which allows us to write η2|τ(φ)|p|dφ|2dV = η2f 2|dφ|2dV. ZM ZM By H¨older’s inequality we find r−1 r 1 2r η2f 2|dφ|2dV ≤ (ηf)2 dV r |dφ| r−1 dV r . Z Z Z M M M Note that we may now apply the Gagliardo-Nierenberg type inequality (2.2) since ηf has com- pact support. Consequently, we find 1 2r+n 2r 2rn |ηf| dV 2r ≤ C |d(ηf)| 2r+n dV 2rn . Z Z M M n Now, we choose r = n−2 and obtain n−2 2n 2 (ηf) n−2 dV n ≤ C |d(ηf)| dV. Z Z M M Using the properties of the cutoff function η we find 2 η2f 2|dφ|2dV ≤ C |dφ|ndV n |dη|2f 2dV + η2|df|2dV . Z Z Z Z M M M M p The result follows by using that f = |τ(φ)| 2 . Lemma 2.3. Let φ: M → N be a smooth biharmonic map. Suppose that the Ricci curvature of M is bounded from below and that the injectivity radius of M is positive. Moreover, assume that the sectional curvature KN of N satisfies KN ≤ A. If |τ(φ)|pdV < ∞ ZM and |dφ|ndV < ε ZM for 2 p− 1 2 p− 2 p− 4 p 2 2 4 2 4 2 2 |h∇τ(φ),τ(φ)i| |τ(φ)| = d|τ(φ)| |τ(φ)| = d|τ(φ)| |τ(φ)| = 2 d|τ(φ)| . 4 p Combining (2.1) with (2.3) and making use of the smallness assumption of the energy of the map we find 1 p− C p 4(p − 2) p 2 2 2 2 2 2 η |∇τ(φ)| |τ(φ)| dV ≤ 2 |τ(φ)| dV + (Cε − 2 ) η |d|τ(φ)| | dV. 2 ZM R ZM p ZM Choosing ε sufficiently small, making use of the finiteness assumption of the tension field and taking the limit R →∞ we get |∇τ(φ)|2|τ(φ)|p−2dV = 0, ZM which implies that τ(φ) is a parallel vector field and thus has constant norm. In the following we will make use of the following result due to Gaffney [2]: Theorem 2.4. Let (M, h) be a complete Riemannian manifold. If a C1 one-form ω satisfies |ω|dV < ∞ and |δω|dV < ∞ ZM ZM A LIOUVILLE THEOREM FOR BIHARMONIC MAPS BETWEEN COMPLETE RIEMANNIAN MANIFOLDS 5 or, equivalently, a C1 vector field X defined by ω(Y )= h(X,Y ), satisfies |X|dV < ∞ and div(X)dV < ∞, ZM ZM then (δω)dV = div(X)dV = 0. ZM ZM Making use of Gaffney’s result we can now prove Theorem 1.1. Proof of Theorem 1.1. We define a one-form ω as follows − p(n 1) −1 ω(X) := |τ(φ)| n hdφ(X),τ(φ)i. Note that − n−1 p(n 1) n 1 p |ω|dV ≤ |τ(φ)| n |dφ|dV ≤ |dφ| dV n |τ(φ)| dV n < ∞, Z Z Z Z M M M where we made use of the finiteness assumptions of both energy and bienergy of the map φ. We fix an orthonormal basis of T M denoted by eα, α = 1,..., dim M and compute −δω =∇eα ω(eα) p(n−1) − n 1 =∇eα (|τ(φ)| hdφ(eα),τ(φ)i) p(n−1) − n 1 =|τ(φ)| h∇eα dφ(eα),τ(φ)i − p(n 1) +1 =|τ(φ)| n , where we used that ∇X τ(φ) = 0 for all vector fields X and that |τ(φ)| is constant. Due to the p(n−1) p assumptions we have that n + 1 > 0. Again, since |τ(φ)| is constant and M |τ(φ)| dV is bounded by assumption we can apply Theorem 2.4 and conclude that τ(φ) = 0.R Acknowledgements: The author gratefully acknowledges the support of the Austrian Science Fund (FWF) through the project P30749-N35 “Geometric variational problems from string theory”. References [1] Paul Baird, Ali Fardoun, and Seddik Ouakkas. Liouville-type theorems for biharmonic maps between Rie- mannian manifolds. Adv. Calc. Var., 3(1):49–68, 2010. [2] Matthew P. Gaffney. A special Stokes’s theorem for complete Riemannian manifolds. Ann. of Math. (2), 60:140–145, 1954. [3] Emmanuel Hebey. Sobolev spaces on Riemannian manifolds, volume 1635 of Lecture Notes in Mathematics. Springer-Verlag, Berlin, 1996. [4] Fr´ed´eric H´elein and John C. Wood. Harmonic maps. In Handbook of global analysis, pages 417–491, 1213. Elsevier Sci. B. V., Amsterdam, 2008. [5] R. R. Huilgol. On Liouville’s theorem for biharmonic functions. SIAM J. Appl. Math., 20:37–39, 1971. [6] Guo Ying Jiang. 2-harmonic maps and their first and second variational formulas. Chinese Ann. Math. Ser. A, 7(4):389–402, 1986. An English summary appears in Chinese Ann. Math. Ser. B 7 (1986), no. 4, 523. [7] Yong Luo. Liouville-type theorems on complete manifolds and non-existence of bi-harmonic maps. J. Geom. Anal., 25(4):2436–2449, 2015. [8] Yong Luo. Remarks on the nonexistence of biharmonic maps. Arch. Math. (Basel), 107(2):191–200, 2016. [9] Shun Maeta. Biharmonic maps from a complete Riemannian manifold into a non-positively curved manifold. Ann. Global Anal. Geom., 46(1):75–85, 2014. [10] S. Montaldo and C. Oniciuc. A short survey on biharmonic maps between Riemannian manifolds. Rev. Un. Mat. Argentina, 47(2):1–22 (2007), 2006. [11] Nobumitsu Nakauchi, Hajime Urakawa, and Sigmundur Gudmundsson. Biharmonic maps into a Riemannian manifold of non-positive curvature. Geom. Dedicata, 169:263–272, 2014. University of Vienna, Faculty of Mathematics, Oskar-Morgenstern-Platz 1, 1090 Vienna, Austria, E-mail address: [email protected]