arxiv: v1 [math.ap] 13 Jan 2017

Transcription

1 NONDEGENEACY OF HALF-HAMONIC MAPS FOM INTO S 1 arxiv: v1 [math.ap] 13 Jan 017 YANNICK SIE, JUNCHENG WEI, AND YOUQUAN ZHENG Abstract We prove that the standard half-harmonic map U : S 1 defined by x ( x 1 x +1 x x +1 is nondegenerate in the sense that all bounded solutions of the linearized half-harmonic map equation are linear combinations of three functions corresponding to rigid motions(dilation, translation and rotation of U. 1. Introduction Due to their importance in geometry and physics, the analysis of critical points of conformal invariant Lagrangians has attracted much attention since 1950s. A typical example is the Dirichlet energy which is defined on two-dimensional domains and its critical points are harmonic maps. This definition can be generalized to even-dimensional domains whose critical points are called polyharmonic maps. In recent years, people are very interested in the analog of Dirichlet energy in odd-dimensional case, for example, [], [3], [4], [5], [13], [14] and the references therein. Among these works, a special case is the so-called half-harmonic maps from into S 1 which are defined as critical points of the line energy L(u 1 ( 1 4 u dx. (1.1 Note that the functional L is invariant under the trace of conformal maps keeping invariant the half-space +: the Möbius group. Halfharmonic maps have close relations with harmonic maps with partially free boundary and minimal surfaces with free boundary, see [1] and [13]. Computing the associated Euler-Lagrange equation of (1.1, we obtain that if u : S 1 is a half-harmonic map, then u satisfies the 1

2 Y. SIE, J. WEI, AND Y.ZHENG following equation, ( 1 u(x ( 1 π It was proved in [13] that u(x u(y dy u(x in. (1. x y Proposition 1.1. ([13] Let u Ḣ1/ (,S 1 be a non-constant entire half-harmonic map into S 1 and u e be its harmonic extension to +. Then there exist d N, ϑ, {λ k } d k1 (0, and {a k} d k1 such that u e (z or its complex conjugate equals to Furthermore, e iϑ d k1 E(u, [u] H 1/ ( 1 λ k (z a k i λ k (z a k +i. + u e dz πd. This proposition shows that the map U : S 1 x ( x 1 x +1 x x +1 is a half-harmonic map corresponding to the case ϑ 0, d 1, λ 1 1 and a 1 0. In this paper, we prove the nondegeneracy of U which is a crucial ingredient when analyzing the singularity formation of halfharmonic map flow. Note that ( U is invariant under translation, dilation cosα sinα androtation, i.e., forq O(,q andλ sinα cosα +, the function ( x q QU λ ( cosα sinα U sinα cosα ( x q still satisfies (1.. Differentiating with α, q and λ respectively and then set α 0, q 0 and λ 1, we obtain that the following three functions ( x ( 4x ( 4x x Z 1 (x +1 (x x 1, Z (x +1 (x (1 x, Z 3 (x +1 x(1 x (1.3 x +1 (x +1 (x +1 satisfy the linearized equation at the solution U of (1. defined as ( ( 1 1 U(x U(y v(x dy v(x π x y ( 1 (U(x U(y (v(x v(y + dy U(x (1.4 in π x y λ

3 NONDEGENEACY OF HALF-HAMONIC MAPS FOM INTO S 1 3 for v : T U S 1. Our main result is Theorem 1.1. The half-harmonic map U : S 1 x ( x 1 x +1 x x +1 is nondegenerate in the sense that all bounded solutions of equation (1.4 are linear combinations of Z 1, Z and Z 3 defined in (1.3. In the case of harmonic maps from two-dimensional domains into S, the non-degeneracy of bubbles was proved in Lemma 3.1 of [7]. Integro-differential equations have attracted substantial research in recent years. The nondegeneracy of ground state solutions for the fractional nonlinear Schrödinger equations has been proved by Frank and Lenzmann [10], Frank, Lenzmann and Silvestre [11], Fall and Valdinoci [9], and the corresponding result in the case of fractional Yamabe problem was obtained by Dávila, del Pino and Sire in [6].. Proof of Theorem 1.1 The rest of this paper is devoted to the proof of Theorem 1.1. For convenience, we identify S 1 with the complex unite circle. Since Z 1, Z and Z 3 are linearly independent and belong to the space L ( Ker(L 0, weonlyneedtoprovethatthedimensionofl ( Ker(L 0 is 3. Here the operator L 0 is defined as ( L 0 (v ( 1 1 v(x π ( 1 π U(x U(y x y (U(x U(y (v(x v(y dy x y dy v(x U(x,

4 4 Y. SIE, J. WEI, AND Y.ZHENG for v : T U S 1. Let us come back to equation (1.4, for v : T U S 1, v(x U(x 0 holds pointwisely. Using this fact and the definition of ( 1 (see [8], we have ( ( 1 1 U(x U(y v(x dy v(x π x y ( 1 (U(x U(y (v(x v(y + dy U(x π x y ( 1 U(x U(y dy v(x π x y ( 1 (U(x U(y + dy v(x U(x π x y ( 1 (v(x v(y + dy U(x U(x π x y ( 1 U(x U(y dy v(x π x y ( 1 (v(x v(y + dy U(x U(x π x y ( 1 U(x U(y dy v(x π x y + (( 1 v(x U(x U(x. Therefore equation (1.4 becomes to ( ( 1 1 U(x U(y v(x π x y dy v(x+ (( 1 v(x U(x U(x ( x +1 v(x+ ( 1 v(x U(x U(x. (.1 Next, wewill liftequation(.1tos 1 viathestereographic projection from to S 1 \{pole}: ( x x S(x +1 1 x x +1. (. It is well known that the Jacobian of the stereographic projection is J(x x +1. For a function ϕ :, define ϕ : S 1 by ϕ(x J(x ϕ(s(x. (.3

5 NONDEGENEACY OF HALF-HAMONIC MAPS FOM INTO S 1 5 Then we have [( S 1 1 ϕ](s(x 1 π Therefore, 1 π 1+x 4π 1+x ϕ(s(x ϕ(s(y ds(y S(x S(y 1+x ϕ(x 1+y ϕ(y 4(x y (x +1(y +1 1+y dy (1+x ϕ(x (1+y ϕ(y dy (x y [ ] x ( 1/ +1 ϕ(x 1+x ( 1/ [ ϕ(s(x]. ( 1/ [ ϕ(s(x] J(x[( S 1 1 ϕ](s(x. Denote v (v 1,v and let ṽ 1, ṽ be the functions defined by (.3 respectively. Then the linearized equation (.1 becomes { J(x( S 1 ṽ 1 1 J(xṽ 1 + x 1 x 1 J(x( x +1 x +1 S ṽ x 1 x J(x( x +1 x +1 S ṽ 11, J(x( S 1 1 ṽ J(xṽ + x x 1 J(x( x +1 x +1 S ṽ x x J(x( x +1 x +1 S ṽ 11. Since J(x > 0 and set U (cosθ,sinθ, we get { ( S 1 1 ṽ 1 ṽ 1 +cos θ( S 1 1 ṽ 1 +cosθsinθ( S 1 1 ṽ, ( S 1 1 ṽ ṽ +cosθsinθ( S 1 1 ṽ 1 +sin θ( S 1 1 ṽ, which is equivalent to { ( S 1 1 ṽ 1 ṽ 1 +cosθ( S 1 1 ṽ 1 +sinθ( S 1 1 ṽ, ( S 1 1 ṽ ṽ +sinθ( S 1 1 ṽ 1 cosθ( S 1 1 ṽ. Set w ṽ 1 +iṽ, z cosθ+isinθ, then we have ( S 1 1 w w+z ( S 1 1 w. (.4 Here w is the conjugate of w. Since v L (, w is also bounded, so we can expand w into fourier series w a k z k. k

6 6 Y. SIE, J. WEI, AND Y.ZHENG Note that all the eigenvalues for ( S 1 1 are λ k k, k 0,1,,, see [1]. Using (.4, ( S 1 1 z k kz k and ( S 1 1 z k k z k, we obtain ( k a k ( kā k, if k < 0, (k a k ( kā k, if 0 k, a k ā k, if k 3. Furthermore, fromthe orthogonal condition v(x U(x 0 (so (ṽ 1,ṽ (cosθ,sinθ 0, we have Thus and hold, which imply that a k ā k, k 1,0,1,. a k 0, if k < 0 or k 3 a 0 ā, a 1 ā 1 w ā +a 1 z +a z a(iz+b [ ] i (z 1 Here a, b, c are real numbers and satisfy relations i(a b a 1, c + i b a. +c (z 1. i And it is easy to check that iz, (z 1 and (z 1 are respectively Z 1, Z and Z 3 under stereographic projection (.. By the one-to-one correspondence of w and v, we know that the dimension of L ( Ker(L 0 is 3. This completes the proof. eferences [1] Sun-Yung A. Chang and Paul C. Yang. Extremal metrics of zeta function determinants on 4-manifolds. Ann. of Math. (, 14(1:171 1, [] Francesca Da Lio. Fractional harmonic maps into manifolds in odd dimension n > 1. Calc. Var. Partial Differential Equations, 48(3-4:41 445, 013. [3] Francesca Da Lio. Compactness and bubble analysis for 1/-harmonic maps. Ann. Inst. H. Poincaré Anal. Non Linéaire, 3(1:01 4, 015. [4] Francesca Da Lio and Tristan ivière. Sub-criticality of non-local Schrödinger systems with antisymmetric potentials and applications to half-harmonic maps. Adv. Math., 7(3: , 011. [5] Francesca Da Lio and Tristan ivière. Three-term commutator estimates and 1 the regularity of -harmonic maps into spheres. Anal. PDE, 4(1: , 011. [6] Juan Dávila, Manuel del Pino and Yannick Sire. Nondegeneracy of the bubble in the critical case for nonlocal equations. Proc. Amer. Math. Soc., 141(11: , 013.

7 NONDEGENEACY OF HALF-HAMONIC MAPS FOM INTO S 1 7 [7] Juan Dávila, Manuel del Pino and Juncheng Wei. Singularity formation for the two-dimensional harmonic map flow into S. Preprint. [8] Eleonora Di Nezza, Giampiero Palatucci and Enrico Valdinoci. Hitchhiker s guide to the fractional Sobolev spaces. Bull. Sci. Math., 136(5:51 573, 01. [9] Mouhamed Moustapha Fall and Enrico Valdinoci. Uniqueness and nondegeneracy of positive solutions of ( s u + u u p in N when s is close to 1. Comm. Math. Phys., 39(1: , 014. [10] upert L. Frank and Enno Lenzmann. Uniqueness of non-linear ground states for fractional Laplacians in. Acta Math., 10(:61 318, 013. [11] upert L. Frank, Enno Lenzmann and Luis Silvestre. Uniqueness of radial solutions for the fractional Laplacian. Comm. Pure Appl. Math., 69(9: , 016. [1] Ailana Fraser and ichard Schoen. Sharp eigenvalue bounds and minimal surfaces in the ball. Invent. Math., 03(3:83 890, 016. [13] Vincent Millot and Yannick Sire. On a fractional Ginzburg-Landau equation and 1/-harmonic maps into spheres. Arch. ation. Mech. Anal., 15(1:15 10, 015. [14] Armin Schikorra. egularity of n/-harmonic maps into spheres. J. Differential Equations, 5(: , 01. Johns Hopkins University, Department of mathematics, Krieger Hall, Baltimore, MD 118, USA address: sire@math.jhu.edu Department of Mathematics, University of British Columbia, Vancouver, B.C., Canada, V6T 1Z address: wei@math.cuhk.edu.hk School of Science, Tianjin University, 9 Weijin oad, Tianjin 30007, P.. China address: zhengyq@tju.edu.cn