arxiv: v1 [math.ap] 28 May 2013

Transcription

1 Rotationally ymmetic p-hamonic flow fom D 2 to S 2 : local well-poedne and finite time blow-up axiv: v [math.ap] 28 May 23 Razvan Gabiel Iaga, Salvado Moll, Abtact We tudy the p-hamonic flow fom the unit dik D 2 to the unit phee S 2 unde otational ymmety. We how that the Diichlet poblem with contant bounday condition i locally well-poed in the cla of claical olution and we alo give a ufficient citeion, in tem of the bounday condition, fo the deivative of the olution to blow-up in finite time. AMS Subject Claification: 35K5, 35K67, 35K92, 76A5, 82D4, 68U Keywod: p-hamonic flow, otational ymmety, p-laplacian, local well-poedne, finite time blow-up, image poceing, liquid cytal, feomagnetim. Intoduction and main eult Given a domain Ω R N, a eal numbe p >, a moothly embedded compact ubmanifold (without bounday) M of R N+, and a mapping u : Ω M, we conide the following functional: E p (u) := u p dx. (.) p Fo a geneic point v M, we denote by π v the othogonal pojection of R N+ onto the tangent pace T v M at point v. With thi notation, the p-hamonic flow aociated to E p i given by u t = π u ( p u), p u = div( u p 2 u). (.2) If we paticulaize M to be the unit phee S N of R N+, (.2) can be witten a an explicit paabolic ytem of patial diffeential equation: Ω u t = div( u p 2 u)+u u p. (.3) Depatamento de Análii Matemático, Univ. de Valencia, D. Moline 5, 46, Bujaot (Valencia), Spain, azvan.iaga@uv.e Intitute of Mathematic of the Romanian Academy, P.O. Box -764, RO-47, Buchaet, Romania. Depatamento de Análii Matemático, Univ. de Valencia, D. Moline 5, 46, Bujaot (Valencia), Spain, j.alvado.moll@uv.e

2 Beide it mathematical inteet on the eult of the competition between the diffuion tem and the eaction in the fom of gadient tem, the ytem (.3) ha been alo popoed in eveal application: feomagnetim [7], theoy of liquid cytal [3], multigain poblem [6] and image poceing [2]. In thi lat context, the ytem (.3) ha been ued a a pototype fo moe complicated eaction-diffuion ytem modeling the evolution of diecto field. Fom the mathematical point of view, we deal with the Diichlet poblem fo (.3) with (contant) bounday condition u(t,x) = u (x) fo (t,x) Q, whee Q := (, ) Ω. Thi poblem ha been widely tudied in the lat peiod, tating with the moe tandad cae p = 2, ee fo example [2, 3], then fo geneal p > [5,?, 9]. A pecial cae in the analyi, with ome paticula mathematical featue due to lack of ufficient egulaity, i the limit cae p =, intenively tudied ecently; indeed, local well-poedne, teady tate and eithe the appeaance of finite time blow-up o the exitence of global olution wee tudied fo p = in [6,, 2]; altogethe, it ha been hown that fo uitable bounday data, claical olution exit in hot time, and unde ome condition that thei fit deivative at the oigin blow-up in finite time. In all thee pape, the cae of otationally ymmetic olution and tationay bounday condition i conideed. On the othe hand, exitence and ome uniquene eult have been ecently obtained in [9, ] fo the Neumann poblem and p =. In a peviou wok [5], the autho tudied the otationally ymmetic teady tate coeponding to the ytem fo < p <, M = S 2, the unit phee in R 3, Ω = D 2, the unit dik in R 2. A otationally ymmetic olution to (.3) ha the geneal fom ( x u(t,x) = in h(t,), x ) 2 in h(t,),co h(t,), = x, x = (x,x 2 ) D 2, (.4) and the Diichlet bounday condition h(t,) = h(,) = l. The enegy functional E p in (.) become E p (u) = with a non-coecive Lagangian given by L p (,,ξ) = L p (,h,h )d, (.5) ( 2/p h 2 +(2 2p)/p in 2 h) p/2. By eplacing u in (.3) by it pecial fom (.4), the ytem (.3) become h t = ( ) (p 4)/2 [ ( h 2 + in2 h h 2 (p )h 2 2 h +(p 3) in hco h 2 + h3 + h in 2 h 2 in3 hco h 4 ], h in 2 ) h 3 (.6) ee [5] fo detail. In ou peviou wok, we tudied and claified the teady tate fo (.6), fo all < p <. In the peent pape we continue the tudy of the otationally ymmetic flow begun in [5], and we devote it to ome qualitative popetie of the olution u to (.3), o equivalently, h olution to (.6), uch a exitence and well-poedne fo hot time, 2

3 egulaity of olution and condition fo the phenomenon of blow-up in finite time to occu. We etict ouelve to the fat diffuion ange < p < 2, ince, fo the ange p 2, it ha been hown in [8] that tong olution exit globally fo any initial datum, they ae Hölde continuou and they convege to a teady-tate a t +. A imila eult fo the ange < p < 2 wa alo obtained in [8] but with a condition of mall enegy on the initial datum. We point out that ou appoach and eult ae totally diffeent to thoe in [8]. Fit of all, we obtain local exitence of claical olution fo any initial datum and econdly, we give a ufficient condition on the bounday containt fo claical olution ceaing to exit in finite time. Fo convenience, we denote J(h) := h 2 + in2 h 2, and ( h A(h) := (p )h 2 2 h in hco h +(p 3) 2 h in 2 ) h 3 + h3 +h in 2 h 2 in3 hco h 4, thu (.6) togethe with the initial and bounday condition can be witten in the fom of the following Diichlet poblem: h t = F(h) := J(h) (p 4)/2 A(h), (t,) (,T) (,), h(,) = h (), (,), h(t,) = h (), t [,T). We intoduce the concept of olution that we will ue thoughout the pape. (.7) Definition.. A claical olution to the Diichlet poblem (.7) in (, T) with initial datum h i a function h C,2 ([,T] [,]) which atifie (.7) pointwiely in [,T] [,]. Aguing imilaly a in the poof of [2, Lemma 2.], one can eaily get that u i a otationally ymmetic olution to the Diichlet poblem aociated to the ytem (.3) if and only if u ha the fom (.4) with h being a claical olution to the Diichlet poblem (.7) uch that h(t,) = fo all t [,T). Ou tudy i divided into two main pat: a fit one devoted to the local well-poedne of the Diichlet poblem (.7), and a econd, moe pecialized one dealing with the phenomenon of blow-up in finite time. We point out that the eult in thi pape and the tategy to pove them ae analogou to thoe of the cae p = povided in []. Howeve, due to the pecial nonlinea tem (p )h 2 h in (.6), all the poof ae in the peent cae much moe involved than thoe in []. Local well-poedne. We notice that, if h(t,) = kπ fo ome (,] and k Z, then the Diichlet poblem (.7) become degeneate aound (t, ). In ode to avoid thi exta difficulty, we aume that the initial condition h atifie the following condition h C 2 ([,]), h () =, h () (,π), fo all (,], h () >. (.8) In thi way, we avoid the degeneacy at t =. Howeve, thee popetie ae peeved along the evolution. Moe peciely, we have the following uniquene eult. 3

4 Theoem.2. Let p (,2) and aume that h atifie (.8). Then thee exit at mot one claical olution h defined in a maximal inteval (,T) to the Diichlet poblem (.7) with initial condition h. Moeove, the olution h atifie the following (a) Thee exit δ = δ(h ) (,), uch that h(t,) =, δ h(t,) π δ, h (t,) δ, (.9) fo all (,], t (,T). (b) Futhemoe, fo all t. h (t,) =, F(h(t, )) = =, (.) The poof of Theoem.2 i given in Subection 3. and follow a a conequence of a moe geneal compaion pinciple that will be poved in Section 2 and of the availability of explicit ub- and upeolution. In ode to pove exitence of olution and continuou dependence on the initial data, we need to impoe ome futhe condition on the initial datum. Theoem.3. Let h be a function that atifie (.8) and, h () =, F(h ) = =, h () C 2 ([,]). (.) Then thee exit a claical olution h to (.7) with initial condition h, defined in a maximal inteval [, T). Moeove, the poblem i well-poed (that i, the olution depend continuouly on h ) and we have futhe egulaity eult: (a) (t,) h(t,) C,2 ([,T) [,]), (b) h C,2 ((,T] (,]). The poof i quite complex and elie on the application of a geneal theoy of ectoial opeato, that i developed in an abtact famewok in the book [8], afte noticing that the lineaization of the (fully nonlinea) elliptic opeato aociated to ou equation i indeed ectoial. Pecie tatement and poof ae given in Subection 3.2. Finite time blow-up. Thi i the moe pecialized pat of the pape, whee we pove that, if h () i ufficiently lage, then the olution to (.7) i not global; moe peciely, it fit deivative blow up in finite time. The citical value fo h () i elated to the non-exitence of tationay olution. The tationay olution to (.6) fo p (, 2), that i, olution to A(h) = in ou notation, wee completely claified by the autho in [5, Theoem 2], which we ecall below in a hotened veion which i ueful fo ou aim. Popoition.4. Thee exit a unique global tationay olution h C ((, )) C ([, )) to Eq. (.6) (that i, A(h ) = ), which atifie the following popetie: (a) h () =, lim h () = π/2; 4

5 (b) Thee exit an inceaing equence of citical point n of h uch that n a n, h ( 2n ) (π/2,π) and ae local maxima, h ( 2n+ ) (,π/2) and ae local minima. Moeove, thee exit ome poitive intege n ufficiently lage uch that h ( n ) π/2 i deceaing fo n n, and h ( ) π { h = max ( n ) π } : n ; 2 2 (c) Any non-contant finite tationay global olution h to Eq. (.6) ha the fom h() = kπ ±h (α), fo ome α > and k Z. Let H := h ( ) = max{h () : > }. Then H (π/2,π) and, fom the above popoition, fo any l (H,π), thee exit no tationay olution h to (.6) atifying h() = and h() = l. Moeove, we have the following obviou conequence of Popoition.4. Coollay.5. Fo l (H,π), the unique tationay olution h to (.6) uch that h() = l i given by H l () = π h (α), whee α > i detemined by h (α) = π l. On the othe hand, if h i a global olution to the Diichlet poblem (.7), then it i expected, a uual fo paabolic equation, that it lage-time behavio a t, to be a tationay tate to theequation. Thu, wededucethat if theinitial datumatifie h() = and h() = l (H,π), the olution to (.7) with initial condition h i not global. Indeed, we have Theoem.6. Let h be a in Theoem.3 and T > it maximum exitence time. If h () (H,π), then T < and the deivative of the olution h blow up at the oigin at t = T. The poof of Theoem.6 i vey involved and technical and equie eveal tep that ae ketched below. (A) We fit how that indeed, if a global olution h to (.7) exit, then it behavio a t i given by a tationay tate to (.6). In ode to pove it, we need pat (B) below. (B) To pove (A), we fit deive ome weighted bound in L of the deivative h, moe peciely, unifom bound of h, that in paticula imply local boundedne fo h outide the oigin. Thi i done in Section 4. (C) We alo need ome pecial, explicit ubolution that blow up in finite time. Thei fom pove to be quite imple, but poving that indeed they ae ubolution to (.6) howed to be technically difficult. In fact, we have the following eult poved in the Appendix: Popoition.7. Let p (,2). Thee exit δ >, uch that h(t,) := p+4 ( ) actan, b(t) = b tδ, 3 b(t) i a ubolution to Eq. (.6), that i fo any b > and δ (,δ ). h t J(h) (p 4)/2 A(h), fo any (t,) (,b /δ) (,), (.2) 5

6 With all thee tep, the poof of Theoem.6 follow eaily fom a contadiction agument. The poof of claim (A) above togethe with thi final contadiction agument may be found in Section 5. Finally, we can complete the panoama of blow up in finite time by howing that it may alo occu, although not a a geneal phenomenon, even when h() < H. Moe peciely Theoem.8. Fo any l (,π), thee exit h, h and T a in Theoem.3 uch that h () = l and T <. The poof of thi theoem i imila to the one of [3, Popoition 2.2] o [, Theoem 4] and it will be ketched at the end of Section 5. 2 Compaion pinciple In thi ection we pove a compaion pinciple fo (.6) that will be often ueful in the equel. It i analogou, but technically moe involved, to Lemma 4.2 in [2], whee the compaion pinciple i poved fo p =. To thi end, we etablih the notion of ub- and upeolution to (.6) Definition 2.. A function h C,2 ([,T] [,]) i called a ubolution (ep. a upeolution) to Eq. (.6) if h t J(h) (p 4)/2 A(h), (ep. h t J(h) (p 4)/2 A(h)), fo all (t,) (,T) (,). We then pove Popoition 2.2. Aume that h, f C,2 ([,T] [,]) ae two function that atify h(t,) = f(t,) = fo any t [,T] and that inf{j(θh+( θ)f) : (t,,θ) (,T) (,) (,)} >. Aume that h i a upeolution to (.6) and f i a ubolution to (.6) and that h(t,) f(t,), h(,) f(,), fo all t [,T], epectively [,]. Then h f in [,T] [,]. Poof. Set F(,x,y,z) = and notice that Let w := h f. Denoting ( ) (p 4)/2 { [ y 2 + in2 x y 2 (p )y 2 2 inxcox z +(p 3) 2 } + y3 + zin2 x 2 in3 xcox 4 h t F(,h,h,h ), f t F(,f,f,f ). v(t,,θ) := θh(t,)+( θ)f(t,), (t,,θ) (,T) (,) (,), ] yin2 x 3 6

7 it follow by the mean-value theoem that w atifie the following inequality whee w t A(t,)w B(t,)w C(t,)w, (t,) (,T) (,), (2.) A(t,) := F z dθ, B(t,) := F y dθ, C(t,) := F x dθ, in all of thee, the integal being taken fo F(,v,v,v ). Moeove, w(t,) = and w(t,) fo all t [,T) and w(,) fo all [,]. Thu, we have to pove that (2.) atifie the tandad compaion pinciple fo linea paabolic equation. To thi end, we how that A(t,) and C(t,) i bounded fom above, fo all (t,) (,T) (,). We have ( ) (p 4)/2 ( ) F z (,x,y,z) = y 2 + in2 x 2 (p )y 2 + in2 x 2, thu A(t,) fo all (t,) (,T) (,). On the othe hand, afte ome calculation we find ( ) (p 6)/2 F x (,x,y,z) = y 2 + in2 x 2 (P +Q+R), (2.2) whee and P(,x,y,z) := in2x [ (p 2)(p 3) 2 y 2 + p 2 in 2 x [ ( y 2 inxcox (p 3) 2 yin2 x 3 Q(,x,y) := (p 4)in2x 2 2 R(,x,y) := ] z, )+ y3 in3 xcox 4 ( )[ ( y 2 + in2 x y 2 co2x 2 (p 3) 2 yin2x ) 3 3in2 xco 2 x in 4 ] x 4. Since J(v) > up to > by hypothei and h > nea =, we have v (t,,θ ) >, cov(t,,θ ) = co2v(t,,θ ) = fo any (t,θ ) [,T] [,] and ufficiently cloe to. Thu, fixing a (,) and any (t,θ ) [,T] [,], thee exit ome a > ufficiently mall, that can be choen independent of (t,θ ), uch that y = v (t,,θ) >, a < cov(t,,θ), a < co2v(t,,θ), (2.3) fo all (t,,θ) W a (t,θ ), whee W a (t,θ ) i the following neighbohood of (t,θ ): W a (t,θ ) := {(t,,θ) [,T] (,) [,] : (, a ), t t < a, θ θ < a }. Similaly a in [2], we denote m := minv >, M := maxv and chooe a mall enough W a W a uch that m am. Then, by the mean-value theoem, we have ], ma inx M, 2ma 2 in2x 7 2M in W a. (2.4)

8 We can thu etimate the thee tem P, Q, R in W a. Fit of all, we get the following etimate fo P: P(,x,y,z) M (a), M (a) >. (2.5) Indeed, by imply bounding fom above all the tem and taking modulu, uing (2.4) we can take ( (p 2)(p 3) M (a) = 2M M p ) 2 2 M2 max v (t,,θ) > W a and deive (2.5). In ode to etimate Q and R, we tate and pove the following Claim: Thee exit M 2 (a), M 3 (a) uch that Q(,x,y) 2M 2(a), R(,x,y) 2M 3(a) (2.6) in W a, with M 2 (a)+m 3 (a) < fo a (,) ufficiently cloe to. End of the poof. Aume fo a moment that the claim i tue. Then, fom (2.2), (2.5) and(2.6)wededucethatf x (,x,y,z) < inw a povided [, (M 2 (a)+m 3 (a))/m (a)). Since the only ingulaity i at =, by continuity we get that F x i bounded fom above fo any (,) and (t,θ) uch that t t < a and θ θ < a. Recalling that a wa taken independent of the tating point (t,θ ), we conclude that F x, whence alo C(t,), i bounded fom above in (,T) (,). Then the maximum pinciple applie to (2.) and we each the concluion. Poof of the claim. To etimate Q(,x,y), uing (2.4), we notice that [ y 2 inxcox 2 yin2 x 3 = ( ) ] y 2in2x inx 2 y 2 (M3 a 2 m 3 ), hence we find 2 2 Q(,x,y) (p 4)in2x [ (p 3)(M 3 a 2 m 3 )+m 3 M 3]. (2.7) Since a <, p (,2) and obviouly m < M, the ight-hand ide of (2.7) i negative. Thu, uing once moe (2.4), we finally get Q(,x,y) 2M 2(a), M 2 (a) = M(p 4) 2 In ode to etimate R, we fit notice that (2.4) and (2.3) imply [ (p 3)(M 3 a 2 m 3 )+m 3 M 3] >. (2.8) hence y 2 co2x 2 yin2x 3 am2 2M 2 2, ( ) y 2 + in2 x 2 R(,x,y) [ (p 3)(am 2 2 2M 2 ) a 3 m 2 2a 4 m 2]. 8

9 It follow that R(,x,y) 2M 3(a), M 3 (a) = (+a 2 )m 2[ (p 3)(am 2 2M 2 ) a 3 m 2 2a 4 m 2]. (2.9) We notice that, fo a ufficiently cloe to, M 3 (a) <. Moeove, fom (2.8) and (2.9), and taking into account that am m M, we have M 2 (a)+m 3 (a) = (p 4)M [ (p 3)(M 3 a 2 m 3 )+m 3 M 3] 2 +(+a 2 )m 2[ (p 3)(am 2 2M 2 ) a 3 m 2 2a 4 m 2] (p 4)M [ (p 4)M 3 +(a 2 (3 p)+)a 3 M 3] 2 +a 2 (+a 2 )M 2[ 2(3 p)m 2 a 2 (a(3 p)+a 3 +2a 2 )M 2] = M 4 G(a,p), whee it i immediate to ee that lim G(a,p) = 2p <. a Thu, fo a ufficiently cloe to we get that M 2 (a)+m 3 (a) < and the claim i poved. 3 Local well-poedne In thi ection we how that the Diichlet poblem (.7) i well-poed at leat locally when the initial condition h atifie (.8). 3. Uniquene. Poof of Theoem.2 We begin with the following eay fact. Lemma 3.. Fo all λ >, the function Φ λ () := 2actan(λ) i a ubolution to (.6) and the function Ψ λ () := π Φ λ () i a upeolution to (.6). Poof. We note that and Φ λ () = 2λ +λ 2 2, Φ λ () = 4λ3 (+λ 2 2 ) 2, inφ λ () = 2λ +λ 2 2, coφ λ() = λ2 2 +λ 2 2. Afte taightfowad calculation, we find that A(Φ λ ()) = 32(2 p)λ5 (+λ 2 2 ) 2 >, ince < p < 2. In a imila way Ψ λ i a upeolution, we omit the detail. 9

10 Poof of Theoem.2. The uniquene follow diectly fom Popoition 2.2. Let then h be a claical olution with initial condition h atifying (.8). Step. We how fit that h(t,) = fo all t (,T). We ague by contadiction and aume that thi i not tue; hence, by continuity thee exit t (,T) uch that h(t,) ( π/2,π/2) \{}. We then deduce fom the equation (.6) that, a t = t and +, h t = ( ) (p 4)/2 ( ) h 2 + in2 h [h (p )h 2 + in2 h + h 2 ( ) h 2 h +(3 p)in2 2 inhcoh ( )] 2 (3 p)h 2 + in2 h 2 = coh p (+o()) a +, which contadict the egulaity of h a a claical olution. Hence h(t,) = fo any t (,T). Step 2. We pove the et of pat (a) in Theoem.2. By aumption in (.8), thee exit T > uch that h (t,) > and h(t,) (,π) fo all (t,) (,T ) (,]. Thu, we apply Popoition 2.2 in (,T ) (,] coupled with Lemma 3. with λ ufficiently mall, to get Φ λ () h(t,) Ψ λ (), (t,) (,T ) (,]. But ince h(t,) =, we notice that h(t,) 2actan(λ) h (T,) = lim lim = 2λ >, + + thu we can etat the agument fom t = T and extend it up to T by a tandad maximality agument. Finally, ince actan(x) x 2 π, fo all x (,], 4 we can eplace Φ λ () by δ and Ψ λ () by π δ in the above inequality, povided 2δ πλ. In paticula, we alo get that h (t,) δ, fo all t [,T). Step 3. We pove pat (b) in Theoem.2. Since h(t,) = fo all t >, we have h t (t,) =, hence A(h) = at (t,). We evaluate A(h) at (t,) a +, taking into account that, h 2 inhcoh 2 h3, h in 2 h 3 h3, a + It follow that the ingula tem in the expeion of A(h) cancel (in a fit ode appoximation) a +, whence ph (t,)h 2 (t,) = which implie the fit pat of the concluion. The econd one i tivial, ince = h t (t,) = F(h(t, )) =.

11 3.2 Local exitence and continuou dependence A explained in the Intoduction, Eq. (.6) ha ingula coefficient, thu the tandad exitence theoy fo ODE cannot be applied diectly. In ode to implify it witing and, in a fit tep, tanfom it tigonometic nonlineaitie into algebaic one, we intoduce the following change of vaiable: The equation atified by u ead a follow: 2j (4 p)/2 + 2 u 2u t = h(t,) = 2actan(u(t,)). 8 ( 2 u 2 +) 4 [ (u ( 2 (p )u 2 +2(p )uu +pu 2 )( 2 u 2 +) +2 5 ( p)uu 4 2 u 3 ( 2 (6p 7)u 2 2p+) uu 2 (32 (3p 4)u 2 5p+4)+u u 2 (3p 2 (9p 6)u 2 )+4(2 p)u5 ) ], with j(,u,w) = 4(u+w)2 +4u 2 (+ 2 u 2 ) 2. Theabove equation can bewitten in a implified fom a [ u t = a(,u,u )u + b(,u,u ] ) u +f(,u,u ) =: G(u), (3.) with a(,u,w) = j(,u,w) (p 4)/24(p )(u+w)2 +4u 2 (+ 2 u 2 ) 2, (3.2) b(,u,w) = j(,u,w) (p 4)/2 2pu 2 (+ 2 u 2 ) 3, (3.3) and f(,u,w) gathe the emaining tem in the equation above, we omit it pecie expeion. The initial and Diichlet condition become u (t,) =, u(t,) = u (), fo t >, u(,) = u (), fo [,]. (3.4) We then follow the idea in [, Section 4] and conide the lineaization of the ight-hand ide above aound compatible initial data u uch that u > and u, () =. To thi end, we conide the Féchet deivative of the ight-hand ide of (3.) aound a geneic point (u,u, ) and obtain that the lineaized opeato ha the fom: L(v) := a(,u,u, )v + b(,u,u, ) v +c(,u,u, )v +d(,u,u, )v, (3.5) whee a, b ae given epectively in (3.2) and (3.3) and and c = a w u, + b u, + f w w d = a u u, + b u, + f u u.

12 We note that no ingula tem nea = appea in c and d ince u, + u,. Without lo of geneality, we will aume that a(,u,u, ) = =. We define next the following opeato: and L v := v + 3 v, (3.6) L ε v := a()v + b() +ε v +c()v +d()v, (3.7) whee we have omitted fom the expeion of a, b, c and d the dependence on u fo implicity. Fom the peviou conideation, we fomally expect that Lv L v, a +, Lv L ε v, fo > >. (3.8) Following [, Section 4], we will employ the theoy of ectoial opeato. We do not ecall the definition of a ectoial opeato, that can be found in [8, Definition 2..] o [, Definition 4.], but we tate the following ufficient condition that we ue in the equel. Popoition 3.2. Let X be a complex Banach pace and A : D(A) X X be a linea opeato. If thee exit ω R and M > uch that the eolvent (A) = {λ C : λ A i invetible} contain the et S := {λ C : Reλ ω} and λ(λ A) x M x (3.9) hold tue fo all λ S and x X, then A i ectoial fom D(A) to X. Ou tategy i to how that the lineaized opeato L in (3.5) i ectoial fom D(L) := {v C 2 ([,]) : v () = v() = } to X = C([,]). In ode to do it, we take a tating point the fomal appoximation in (3.8) and the fact that the opeato L and L ε, defined in (3.6) and (3.7) epectively, ae both ectoial. Fo L, thi i poved by Angenent in [, Lemma 4.3] in a moe geneal context, ee alo [, Theoem 4.3], while fo L ε, thi follow fom a moe geneal theoy in [8, Coollay 3..2.(ii) and Theoem 3..9]. We can combine thee two fact into the following eult: Popoition 3.3. The opeato L defined in (3.5) i ectoial fom D(L) := {v C 2 ([,]) : v () = v() = } to X = C([,]). In addition, thee exit C = C(M) > depending on M := (infa) +(infb) + a + b + c + d, whee the infima and nom ae taking ove [,], uch that, fo all v D(L) and λ C uch that Reλ C(M), we have λ v + λ /2 v + v C(M) (λ L)v. (3.) Poof. The poof follow ome idea in [, Popoition 4.5] and ue Popoition 3.2. We divide the poof into eveal tep. Step. We how that thee exit ome ω > ufficiently lage uch that λ L i injective fo all λ C with Reλ ω. Let v D(L) be uch that (λ L)v =. We want to how 2

13 that fo ω ufficiently lage, thi implie v. We begin by the following calculation: = [ ] v(λ L)v +v(λ L)v a = [ 2Reλ v 2 a(vv +vv ) b(vv +vv ) c(vv +vv ) 2d v 2] a ( b = (vv +vv ) a + c ) ( v 2 ) 2(d Reλ) v 2. a a Let a = infa >, b = infb >, A = a, B = b, C = c, D = d. We integate ove (,) the peviou equality and etimate it tem by tem a follow. (i)afteintegatingbypatandtakingintoaccountthatv() = andthat lim(b()/a()) = 3, we have: (vv +vv b ( ) b )d v 2 d ( v 2 ) d (ii) We eaily find that = 2 = 2 a ( v 2 ) d = 2 v 2 d ( ) b a v 2 d +2 v() 2 + 2Reλ a v 2 d 2Reλ A + v 2 ( b a v 2 d. (iii) Afte uing Hölde and Young inequalitie, we get c a ( v 2 ) d 2C ( ) /2 ( v 2 d (iv) Obviouly, a v 2 d + C2 a 2 2d a v 2 d 2D a v 2 d. v 2 d. Gatheing the etimate (i)-(iv) above, we obtain ( 2Reλ 2 v 2 d +2 v() 2 + C2 A a 2 2D ) v 2 d a On the othe hand, ( ) b () = a 6pu [ 2 (p )u 2, +2(p )u u, +pu 2 a ( ) b v 2 d a ) v 2 d. ) /2 v 2 d ] 2( 2 u 2 +)2 { (p )u u, (u, +u )( 2 u 2 +)+( p)u 3, +u 2 [ 3 2 (p )u u 2 +u, ((4p 3)u 2 )+pu 3 ] + (p )u 2 u, 3 ( ) b v 2 d. (3.) a }

14 and taking into account that u () >, u () = and u C 2 ([,]), we find that thee exit ome C > ufficiently lage uch that ( ) b () a C. (3.2) Replacing thi etimate into (3.), we obtain that ( 2Reλ 2 v 2 d +2 v() 2 + C2 A a 2 2D ) C a whence v if λ C i taken with Reλ ufficiently lage. v 2 d, Step 2. In ode to pove the ujectivity of λ L, we chaacteize the invee of λ L uing a gluing between appoximate invee, though a patition of unity. Let ε (,) to be choen late. Since a() = and b() = 3, a, b C([,]), thee exit δ = δ(ε) > uch that a() < ε, b() 3 < ε, fo all (,2δ). (3.3) Let ϕ, ϕ C ([,]) uch that uppϕ [,2δ], uppϕ [δ,] and ϕ 2 ()+ϕ2 () = fo any [,]. Recall that the opeato L, L ε intoduced in (3.6), epectively (3.7), ae ectoial, hence thee exit ω(ε) [, ) uch that, fo any λ C with Reλ ω(ε), λ L and λ L ε ae both invetible. Thu, fo any λ C with Reλ ω(ε) and fo any f C([,]), we can define and the opeato v := (λ L ) (ϕ f), v := (λ L ε ) (ϕ f), T λ : C([,]) D(L), T λ f := ϕ v +ϕ v, A λ : C([,]) C([,]), A λ f := (λ L)T λ f. (3.4) We tate the following Claim. Thee exit ε > ufficiently mall and ω 2 > ω(ε) ufficiently lage uch that A λ f f 2 f, (3.5) fo all f C([,]) and λ C with Reλ ω 2. Auming that the claim i tue, then we can poceed exactly a in the poof of [, Popoition 4.5] to find that fit A λ i invetible, then λ L i invetible too fo any λ C with Reλ max{ω,ω 2 }, and the invee i given by (λ L) = T λ A λ. It only emain to pove the claim. Step 3. Poof of the claim. Let λ C uch that Reλ max{, ω(ε)}, with the notation in Step 2. Since the opeato L and L ε ae ectoial, thee exit two contant C > and C(ε) >, the lat one depending on ε, uch that λ v + λ /2 v + v C f (3.6) and λ v + λ /2 v + v C(ε) f. (3.7) 4

15 By a taightfowad calculation, we obtain that whee A λ f f = [L,ϕ ]v [L,ϕ ]v +ϕ (L L)v +ϕ (L ε L)v, (3.8) [L,ϕ ]v := aϕ v +2aϕ v + b ϕ v +cϕ v, [L,ϕ ]v := aϕ v +2aϕ v + b ϕ v +cϕ v. We etimate next the tem in (3.8). Recalling that ϕ i = in [,δ], fo i =,2, and uing (3.6) and (3.7) we have and [L,ϕ ]v C v +C 2 v C λ /2 f [L,ϕ ]v C 3 v +C 4 v C(ε) λ /2 f. On the othe hand, taking into account (3.3), we alo have ϕ (L L)v ϕ ( a)v 3 b +ϕ v +ϕ cv +ϕ dv ε v +ε v +C v +C v C(ε+ λ /2 ) f, and imilaly ϕ (L ε L)v C(ε) λ /2 f. Gatheing all the peviou etimate and eplacing them into (3.8), we obtain that thee exit C 5 > and C = C(ε) >, depending only on the peviou contant and ε, uch that [ A λ f f C 5 λ /2 + C(ε) ] f. Chooing then λ C uch that C λ /2 < /4 and finally chooing ε > ufficiently mall uch that C(ε) < /4, we end the poof of the claim. Step 4. It only emain to pove the etimate (3.), that will imply immediately (3.9) and in paticula that L i ectoial, ending the poof. But thi i identical to the end of the poof of [, Popoition 4.5] and we omit the detail. In ode to pove the exitence of olution to ou nonlinea PDE, we follow [] and ue eult about ectoial opeato intoduced by Lunadi, moe peciely [, Theoem 4.6] o [8, Theoem 8.. and Coollay 8.3.3] to which we efe. We ecall the definition of the following pace, fo α (,) C α α((,t];c 2 ([,])) = {v L ((,T);C 2 ([,])) : (t t α v(t)) C α ((,t];c 2 ([,]))}, and B α ((,T];C 2α ([,])) = {g : (,T] C 2α ([,]) : up t α g(t) C 2α < }. t (,T) With thi notation, we tate the following eult: 5

16 Popoition 3.4. Let u C 2 ([,]) uch that infu >, u () = and G(u ) = =, whee G(u) i defined in (3.). Then thee exit a time T > and a unique u C,2 ([,T] [,]) C α α((,t];c 2 ([,])) fo all α (,), which olve the poblem (3.)- (3.4). Moeove, u depend continuouly on u and u t B α ((,T];C 2α ([,])) fo any α (,)\{/2}. The poof i an immediate adaptation of that of [, Popoition 4.7] and we omit it. The peviou exitence eult allow u to pove Theoem.3. Poof of Theoem.3. Let h C 2 ([,]) atify condition (.8) and (.). Then the function u () := ( ) tan h () 2 i well defined and belong to C 2 ([,]), and it i eay to check that lim + = h ()/2 >, hence infu >. Moeove, fom (.) we deduce that u () = and that G(u ) = = F(h ) = =. By Popoition 3.4, thee exit T > and a unique u C,2 ([,T] [,]) C α α((,t];c 2 ([,])) with the popetie decibed in Popoition 3.4. Thu, undoing the change of vaiable, the function i the claimed olution. Then, noticing that h(t,) = 2actan(u(t,)) h (t,) = 2(u(t,)+u (t,)) + 2 u 2, (t,) [,T] [,], (t,) in ode to pove pat (b) in Theoem.3, it i enough to how that u C,2 ([ε,t] [ε,]) fo any ε >. (3.9) Let ε > and α (/2,). It follow fom Popoition 3.4 that up u t (t, ) C 2α ([,]) <. (3.2) t (ε,t) Since u C,2 ([,T] [,]) and infu >, we obtain that the mapping (t,) (a(t,),f(t,)) = (a(,u(t,),u (t,)),f(,u(t,),u (t,)), i of cla C([,T];C ([,])), while Recalling that infa >, we define (t,) b(t,) = b(,u(t,)) C([,T];C 2 ([,])). l(t,) := a(t,) (u t(t,) f(t,)) = u (t,)+ b(t,) a(t, ) then l L ([ε,t];c ([,])). u (t,), 6

17 In ode to implify the notation, in the following technical etimate we omit the dependence on time vaiable. We fit define ( ) u() 6(p )/p ( b w() = exp[ 3 u() a () 3 + 6(p )u ) ] d (3.2) pu and we note that and w w = b a w() = 3 (+o()), whee the o() ymbol i taken a +. By tandad integation by pat, we obtain u = w( )l( )d = [ ( ) ] l() w()d w() d l ( )d, (3.22) w() w() We alo have whence ( ) b u = l a ( ) b = l a + bl [( + b a a u u = l b a u, u + b [( + b ) u a a b a 2 ) w 2 2 l ( + b ) ( a w w()d ] = L +L 2 +L 3, ] ) w() d l ( )d (3.23) ) whee L = l ( b u a. Ou next aim i to how that u i bounded fo [,]. Recall that u / i boundedin [,] and notice that u i unifomly boundedfo [δ,] fo any δ >, thu we will only have to pove that the unifom boundedne can be extended up to =. In ode to etimate L, we take into account (3.2) and the fact that u () =, and we get lim +I = l (). (3.24) On the othe hand, ince + b a = 4 6(p )u pu +o() = 4+o(), a +, we can wite L 3 = bl [ ( 4+o() 4 a 5 (+o()) 4 + = bl [ a (+o()) (+o()) ) 3 o()d ] ] 3 o()d o() a +. (3.25) 7

18 In a imila way, we can etimate L 2 = b a ( + b ) 4 a 5 (+o()) 4 (+o())l ()d 3 5 l (), a +, (3.26) Gatheing (3.25), (3.26) and (3.24) and taking limit a + in (3.23), we obtain that u L ([ε,t];c([,])), fo any ε >, and moeove u (t,) = 2l (t,)/5. Thi implie that a,b and f belong to L ([ε,t];c 2 ([,])). Then, ecalling (3.2) and the definition of l, we have l L ([ε,t];c 2α ([,])), which implie in paticula that up u (t, ) C 2α ([ε,]) <. (3.27) t (ε,t) Intepolating between (3.2) and (3.27) (ee e.g. [8, Lemma 5..]) yield up u (,) C α ([ε,t]) <. (ε,) Togethe with (3.27), thi mean that u C α,2α ([ε,t] [ε,]), and uing the equation we obtain that u C +α,2+2α ([ε,t] [ε,]). (3.28) To conclude, we note that u i the unique olution to the linea poblem { vt av = bu +f in Q ε,t := [ε,t] [ε,] (P v ) v = u on Q ε,t {t < T}. If we fomally diffeentiate the equation once with epect to, we obtain the bounday value poblem ( ) w t aw a w = bu +f =: F in Q ε,t (P w ) w = u on [ε,t] [ε,] w(ε,) = u (ε,) [ε,]. Becaue of (3.28), letting l = 2α we have ã, ã, F C (+l)/2,+l (Q ε,t ) C l/2,l (Q ε,t ), u [ε,] C (+l)/2 ([ε,t]), and u (ε, ) C 2+l ([ε,]). Hence we may apply to (P w ) the claical well-poedne eult in Hölde pace given in [7, Theoem IV.5.3], yielding the exitence and uniquene of w C +l/2,2+l (Q ε,t ). Finally, it i not difficult to check that ũ(t,) = u(t,ε) + ε w(t,)d i a olution to (P v): hence ũ = u and u = w C +l/2,2+l (Q ε,t ) C,2 (Q ε,t ). Since ε (,) i abitay, (3.9) hold and the poof i complete. 4 Bound on the deivative In thi ection, we etablih ome unifom inteio bound fo h, whee h i a geneic olution to (.6). Thi will be done though a maximum and minimum pinciple applied to ome uitable PDE. 8

19 Popoition 4.. Let h atify (.8) and (.). Then, thee exit K = K(h ()) uch that the claical olution h to (.7) with initial condition h, given by Theoem.2 and.3, atifie up h (t,) max (t,) [,T) (,) { up [,] ( ) π 2/3 h (),K}. (4.) h () Notice that the ight hand ide of (4.) i finite due to aumption in (.8). Poof. We pove the lowe and the uppe bound in two diffeent tep. Step. The uppe bound. We fit take d(t,) := (h (t,)) /γ h(t,) ( γ)/γ, with γ > to be choen late. Taking into account that d = d γ + γ γ d γ+ h γ + d γ γh γh, (4.2) afte ome taightfowad computation, we then notice that the patial diffeential equation atified by d ha the fom: whee z(,h,d)d t = a(,h,d)d +b(,h,d,d )d +c(h,d), (4.3) b(,h,d,d ) C([,] [,π] R 2 ) and z(,h,d) = p ((d γ h γ ) 2 +in 2 h) 6 p 2 > a(,h,d) = 2 in 2 h(p(d γ h γ ) 4 +in 2 h) >, c(h,d) = 7 c j d +(j )γ, j= whee c j ae polynomial in (h,inh,coh); we omit the detail of the calculation. Notice that c doe not depend on, due to the homogeneity of Eq. (.6). We thu only want to evaluate the ign of c 7, that i, the dominating tem with epect to the powe of d, in ode to veify that a maximum pinciple hold tue. We notice that c 7 (h) = γ γ (p )h4 6γ ((p )γ +2 p) If we chooe now γ = /3 o that 4 6γ = 2, then c 7 (h) <, which implie that thee exit a univeal contant d > uch that c(h,d) < fo all d > d and h [,π]. Let u define { } ( K := max d, up [,] (h ()) 3 h 2 (),K 9, K := 3(3 p) 4(p )h /3 () ) 3/2.

20 Aume by contadiction that thee exit a point (t, ) uch that d(t, ) > K, and let (t, ) be the point whee d attain it maximum in the compact et [,t ] [,]. Then d(t, ) > K and obviouly t >, >. We alo want to avoid =. At =, we have h t = fom the Diichlet condition, hence (eveything being evaluated at (t,)) h = [ h 2 (3 p)+in 2 h ] inhcoh [ h 2 +(3 p)in2 h ] h (p )h 2 +in 2. (4.4) h We alo notice that, fo p (,2), we have whence < (3 p)h2 +in 2 h (p )h 2 +in 2 h < 3 p p, < h2 +(3 p)in 2 h (p )h 2 +in 2 h < 3 p p, (4.5) h (t,) < (3 p) 2(p ) h (t,) = (3 p) 2(p ) d(t,)/3 h () 2/3. (4.6) Then, eplacing (4.6) into (4.2), we obtain d (t,) < 3d(t,)2/3 h () 2/3 [ 3 p 2(p ) 2 ] 3 d(t,)2/3 h () /3, whence d (t,) < if d(t,) > K > K. It follow that <, hence d t (t, ), d (t, ) = and d (t, ). Evaluating (4.3) at (t, ), we find c(h(t, ),d(t, )), which contadict thechoice of d(t, ) > K > d. Thu, d(t,) K in [,T) [,], hence h (t,) = d(t,) /3 h(t,) 2/3 K /3 π 2/3 =: K, which i the claimed uppe bound. Step 2. The lowe bound. Fo the lowe bound, thing ae technically imple. We let d(t,) = h (t,)(π +h(t,)) and we follow the ame idea a in Step. In thi cae, the equation atified by d ha the ame fom a in (4.3), whee z(,h,d) = p (π +h) p+2 ((π +h) 2 in 2 h+pd 2 ) >, a(,h,d) = 2 (π +h) 6 in 2 h((π +h) 2 in 2 h+pd 2 ) >, b(,h,d,d ) C([,] [,π] R 2 ) and c(h,d) = 7 c j d j, j= whee c j ae polynomial in (h,inh,coh). In thi cae, c 7 = p(p ) >. 2

21 Thu thee exit a univeal contant d > uch that c(h,d) > fo all d (, d ] and h [,π]. Let u define, a in Step, { } K := max d, up (π +h ())h (),K, (,) [ ] K := 2π2 4(p 2) 2 π +(p ) 2 2(2 p). p π Aumebycontadictionthattheeexitapoint(t, ) [,T) [,] uchthatd(t, ) < K, and let (t, ) be the point whee d(t,) attain it minimum in the compact et [,t ] [,]; obviouly, d(t, ) < K and, by the condition on h, we have t >, >. We want to avoid the cae = ; thu, evaluating (.6) at =, we obtain (4.4) and we ue again the etimate (4.5), aiving to the following inequality: h (t,) > 2 (3 p)d(t,) (p )(π +h ()), hence (eveything being taken at (t,), that we omit fom the witing) d = (π +h)h +h 2 +(π +h)h d 2 d+ (π +h) 2 3 p (π +h) 2 p d d 2 = (π +h) 2 2(2 p) p d d2 (π +h) 2 4π 2 2(2 p) d π >, p when d(t,) < K, which implie that <. Thu, d t (t, ), d (t, ) = and d (t, ). Evaluating (4.3) at (t, ) and taking into account the peviou inequalitie, we obtain that c(h(t, ),d(t, )), which contadict the aumption that d(t, ) < K < d. Theefoe d(t,) > K in [,T) [,], yielding which i the deied lowe bound. h (t,) > K π +h > K π, 5 Blow up in finite time A decibed in the Intoduction, in thi ection we pove Theoem.6. It elie on thee tep maked a (A), (B) and (C) in the Intoduction, among which it emain to pove only pat (A), that i made pecie in the following tatement Popoition 5.. Let h, T and h be a in Theoem.3. If h i a global olution (that i, T = ), then fo any equence t n, thee exit a ubequence (not elabeled) and a tationay tate g C ((,]) of (.6) uch that. lim n h(t n) g L ([ε,]) =, fo any ε > 2

22 Thepoofivey imila tothat of [, Lemma7.], thuweonlyketch it. Befoetating, let u define the following B(h) := ( ) (p )h 2 + in2 h 2 A(h) = h +R(h) h S(h)inhcoh 2, (5.) with R(h) := (h ) 2 +(3 p)in 2 h (p )(h ) 2 +in 2 h, S(h) := (3 p)(h ) 2 +in 2 h (p )(h ) 2 +in 2 h. Poof of Popoition 5.. Aume that T = and take any equence t n and any ε (,). In thi poof, by C ε we will alway undetand a geneic poitive contant depending on ε, which may change without elabeling. Fom Popoition 4., thee exit a contant C ε >, depending on ε, uch that h C ε, C ε inh C ε, J(h) C ε, (5.2) fo any (t,) [, ) [ε,]. Uing then the Azelà-Acoli theoem, thee exit a ubequence (not elabeled) uch that h(t n ) h locally unifomly in (,], a n, the agument being made completely igoou in the poof of [, Lemma 7.]. Following a thee, we let g n (,) := h(t n +,), (,) [, ) [,], whence g n atifie the following bound unifomly in n, which ae a conequence of (5.2): g n C ε, ing n C ε C ε, J(g n ) C ε, (5.3) fo any (,) [, ) [ε,]. Then whence B(g n ) = ( ) (p )h 2 + in2 h 2 J(g n ) (4 p)/2 g n 2 in 2 C ε g n, g n B(g n ) 2 C ε g 2 n, (,) [, ) [ε,]. On the othe hand, it i taightfowad to check that R(h),S(h) 3 p p, fo any [,], h and p (,2), thu, fom the definition of B and the bound (5.3), we get g n = B(g n ) R(g n ) g n +S(g n) ing ncog n 2 B(g n ) g n + 3 p C ε p C ε(+ B(g n ) ), by modifying conveniently the contant C ε in each tep. We thu have the ame bound a in the poof of [, Lemma 7.], allowing u to continue a thee and deduce that thee 22

23 exit a limit g a n and it coincide with ou peviou h, giving the deied locally unifom convegence. It only emain to how that g i a claical tationay olution to (.6), that i, B(g) =. Let ε > and ome tet function ϕ C ((ε,]). We know that B(g n) in L 2 ([,];L 2 loc ((,])), thu = lim n B(g n )ϕddt = lim n ( g n + R(g n)g n S(g ) n)ing n cog n 2 ϕddt. Following the ame agument a in pat (II) of the poof of [, Lemma 7.] which involve the Aubin-Simon compactne citeium, we obtain that, fo a ubequence (not elabeled), g n g in L 2 ([,];H ([ε,])) and in paticula g n g a.e. Thu, we can eaily pa to the limit in the ight-hand ide above to obtain that B(g) = and that g ha the equied moothne. We omit the detail. Joining Popoition 5. and Coollay.5, we have the following immediate conequence whoe poof we kip. Coollay 5.2. Let h, h, T be a in Theoem.3 and uch that h () = l (H,π) and T =. Then we have lim t h(t) H l(t) L ([ε,]) =, fo all ε >, whee H l i the tationay olution to (.6) intoduced in Coollay.5. We finally have all the needed ingedient fo the poof of Theoem.6 Poof of Theoem.6. Aumebycontadiction that hi aglobal olution uch thath() =, h() = l (H,π). Then, Coollay 5.2 hold tue fo h. Since H l () = π > (p+4)π/6, we can take ome θ > uch that H l (θ) > (p+4)π/6. By Coollay 5.2, thee exit t > uch that h(t,θ) > (p+4)π, fo all t t. 6 Define now the ecaled function h(t,) := h(t +θt,θ). Then h i a olution to (.6) in [, ) [,], uch that h(,) = h(t,θ) fo [,], and the Diichlet condition (p+4)π h(t,) =, h(t,) >, fo t >. 6 Conide now f a ubolution fom the family defined in Popoition.7, chooing b o lage uch that f(,) = p+4 ( ) actan 3 b h(,) = h(t,θ). Since f(t,) (p+4)π/6 h(t,), fo any t >, by the compaion pinciple in Section 2, we obtain f h in [,b /δ ) [,]. But thi i a contadiction with the egulaity of h when taking limit a t b /δ, hence T <. We end with the poof of the nongeneic blow up in finite time. 23

24 Poof of Theoem.8. We only ketch the poof, a it follow the line of [, Theoem 4]. Let g be a in Theoem.3 with g () = l (,π) and g (/2) > (p + 4)π/6, and let g be the unique olution to the Diichlet poblem (.7) with initial datum g. Then by continuity, thee exit a time t > uch that g(t,/2) > (p + 4)π/6, fo t [,t ]. Let now f be a ubolution fom the family defined in Popoition.7, with b > uch that b /δ < t. Thu, the deied initial datum i a function h atifying the egulaity hypothei in Theoem.3, h () = l and { max{f(,),g ()}, if (,/2), h () g (), if (/2,). Let h be the olution with initial datum h and T it maximal exitence time; let alo t = min{b /δ,t} < t. By tandad compaion, h g, thu in paticula h(t,/2) g(t,/2) (p + 4)π/6 > f(t,/2) fo all t [,t ]. We can thu apply once moe the compaion pinciple to compae h and f to get that f h in the paabolic cylinde [,t ] [,/2]. Since h(t,) = fo all t < T and (p+4)π lim h(t,) lim f(t,) =, fo all (,], t (b /δ ) t (b /δ ) 6 it follow that T < b /δ <, a claimed. 6 Appendix Thi ection i devoted to pove Popoition.7. We fit note that the tatement i omehow analogou to [, Lemma 5.], although by letting p we do not ecove the ame ubolution a thee, but thei fom i imila. Howeve, the poof in ou cae i much moe involved and highly technical, due to the complicated fom of (.6). We will fit tate and pove an inequality that will be ueful at eveal point in the poof. Lemma 6.. Fo k (2,4), the following inequality hold tue: ( ( )) in kactan < kx x +x 2 (6.) Poof. Let θ := k actan(/x). We fit note that if θ [π, 2π], then the inequality i tivial. Let now g(k,x) := kx ( ( )) +x 2 in kactan. x We diffeentiate it with epect to k g k (k,x) = x +x 2 co ( kactan ( )) actan x ( ), x and 2 ( ( )) ( ) g k2(k,x) = in kactan actan 2. x x 24

25 Since θ (,π), thi econd deivative i tictly poitive, whence the fit deivative inceae with k. It follow that g g (k,x) k k (2,x) = x ( ) +x 2 x2 x 2 + actan >, x the lat inequality being tivial fo x and following fom the fact that ( ) actan < x x = x x 2 < x x 2, when x >. Thu, g inceae with k fo all x, hence g(k,x) g(2,x) =. Poof of Popoition.7. By diffeentiating it with epect to time and letting := b/, (.2) wite p+4 3 δ (+2 )J(h) (p 4)/2 A(h) = J(h)(p 4)/2 ( ) 3 (+ 2 ) 3/2 4 (+ 2 ) 5/2 A(h) (6.2) Thinking at (, ) a an independent vaiable (not depending on time), it i enough to pove that the ight-hand ide of (6.2) i unifomly poitive fo any p (,2). To thi end, we fit notice, by taightfowad calculation, that, a J(h) (p 4)/2 3 (+ 2 2(p 4)/2 ) 3/2 ( p+4 ince b < b < and p >. On the othe hand, letting 3 ) p 4 () p = C (p)b p >, A (h) := 4 (+ 2 ) 5/2 A(h), θ = θ(,p) := p+4 3 actan and conideing (, p) a independent vaiable fom now on, we have whee and ( ), A (,p) = 3(+2 ) 2 in(2θ) [ 9(+ 2 ) 2 in 2 θ+(3 p)(p+4) 2 2] 54(+ 2 ) 3/2 2(p+4)[ 9(+ 2 ) 2 ((p 3) 2 +p )in 2 θ+(p+4) 2 2 (2p 3 2 ) ] 54(+ 2 ) 3/2 = 54(+ 2 ) 3/2(I +I 2 +I 3 +I 4 ), I = 27(+ 2 ) 4 in(2θ)in 2 θ, I 2 = 3(3 p)(p+4) 2 2 (+ 2 ) 2 in(2θ), I 3 = 8(p+4)(+ 2 ) 2[ (p 3) 2 +p ] in 2 θ, I 4 = 2(p+4) 3 3 (2p 3 2 ). By a athe long but eay calculation that take into account that inθ (p +4)/3, a, we find A (,p) (p+4)(p5 +p 4 +72p p 2 28p 536) 729 = C 2 (p) > a, 25

26 which hold tue fo p < 2. Thu, in ode to get the deied unifom poitivity, it only emain to pove that I +I 2 +I 3 +I 4 < fo any (, ). Thi will be done in a eie of technical lemma. Lemma 6.2. With the notation and condition above, I +I 3 < fo p (,2), (, ). Poof. It uffice to how that I 5 = I 5 (,p) := 3(+ 2 ) 2 in(2θ)+2(p+4) [ (p 3) 2 +p ]. Thi will be done by howing that I 5 i tictly inceaing with p (,2] and I 5 (,2) = fo any >. Diffeentiating it once with epect to p, we get I 5 p = 6(+2 ) 2 co(2θ)θ p +2 [ (2p+) 2 +2p+3 ]. If θ [,π/4] [3π/4,π], then obviouly I 5 p >. If θ (π/4,3π/4), we diffeentiate two time moe with epect to p: 2 [ I 5 p 2 = 4(+2 ) ( ) ] 3 (+2 )actan 2 in(2θ), and 3 I 5 p 3 = 4 9 (+2 ) 2 actan 3 ( ) co(2θ) >, taking into account the ange of θ. It follow that 2 I 5 p 2 i inceaing with p and in paticula attain it minimum eithe fo p o fo the value of p fo which θ = π/4, in cae thi value of p i geate than. In the latte cae, we can etict the ange of by noticing that p = 3π/(4actan(/)) 4 >, and at the ame time θ = (p+4)actan(/)/3 = π/4, whence thi econd cae hold only if tan(3π/2) < < tanπ/8. In thi ange we have 2 ( )] I 5 p 2 4(+2 ) [ +2 actan 2. (6.3) 3 But it i eay to check that in the indicated ange fo (which in paticula implie > ), we have ( ) actan 2 2 < 3 + 2, whence the ight-hand ide in (6.3) i poitive. In the fome cae (when the minimum i attained a p ), we get 2 ( ) ( ( ))] I 5 p 2 4(+2 ) [ +2 actan 2 in 3 3 actan. (6.4) 26

27 To pove that the ight-hand ide in (6.4) i poitive, we fit notice that if θ [π/2,3π/4) we ae done, ince in(2θ). It emain to tudy the cae θ [π/4,π/2), which implie again a etiction fo the ange of to tan(3π/) < < tan(3π/2). We ue then Lemma 6. fo k = /3, obtaining that ( ( )) in 3 actan < 3(+ 2 ), (6.5) and, due to the peviou etiction on we alo get that actan 2 (/) < 9π 2 /. Joining thi with (6.5), we obtain that the ight-hand ide of (6.4) i poitive in ou ange, which how futhemoe that I 5 p inceae with p. In paticula, I 5 p attain it minimum eithe fo p o fo the value of p fo which θ = π/4, in cae thi value of p i geate than. In the latte, we tivially get In the fome, we eplace p = to obtain [ (+ 2 ) 2 co I 5 p 2 I 5 p 2[ (2p+) 2 +2p+3 ] >. ( 3 actan ( )) actan ( ) ] +(3 2 +5) In ode to pove that the ight-hand ide above i poitive fo θ (π/4,3π/4), we etict the ange of to (/tan(9π/2),/tan(3π/2)). Since /3actan(/) [ π 2, 5π 3 ], then co ( 3 actan( )) > 2. Hence, we only have to check that l() := (3 2 +5) ( ) ( ) 2 (+2 ) 2 actan >, fo any tan(9π/2),. tan(3π/2) It i eaily een that l i inceaing in and thee exit a unique > uch that l( ) =. By appoximation uing fo example Newton method, we find that <.5 < / tan(9π/2), which how that we have coveed all the admiible inteval fo. Thu, I 5 i inceaing with epect to p and it follow that I 5 < fo p (,2), ince I 5 p=2. Lemma 6.3. Unde the notation and condition above, I 2 +I 3 < fo any p (,2) and > 3/7. Poof. The inequality to pove i equivalent to (3 p)(p+4)coθ+3 [ (p 3) 2 +p ] inθ <, o futhemoe ( ) ϕ() := θ(,p) accot 3(p 3)2 +3(p ) >. (3 p)(p+4) 27

28 We diffeentiate once with epect to and find ϕ () = (2 p)(p+4) [ 2 (p 3)(p 2 +7p+24)+8(p ) ] 3(+ 2 )[9 4 (p 3) (p 3)(p 3 +5p 2 +p 66)+9(p ) 2 ] = A(,p) B(,p). It i obviou that B(,p) >. On the othe hand, a it eay to check, fo < p < 2, 8(p ) (3 p)(p 2 +7p+24) 3 7 < 2, whence A(,p) < in ou ange fo and p. Thu, ϕ() i deceaing with fo > 3/7, hence ϕ() > lim ϕ() =, which end the poof. Lemma 6.4. Unde the notation and condition above, I +I 4 < fo any p (,2). Poof. Let θ = θ(,p) = p+4 3 actan( ) [,π] and let I 6 := 27(+ 2 ) 4 in 3 (θ)co(θ)+ 3 (p+4) 3 (2p 2 3). We diffeentiate I 6 with epect to p and we obtain I 6 p = 27(+2 ) 4 θ p (4in 2 (θ)co 2 (θ) in 4 (θ)) 3 (p+4) 2 (3 2 8p+). In cae that θ [ 2π 3,π] (which implie that / 3), both ummand ae non-negative and theefoe I 6 p. Thi implie that I 6 I 6 p=2 =. Fo the cae in which θ [, 2π 3 ), we ue Lemma 6. and we obtain that I +I 4 = 27(+ 2 ) 4 in(2θ)in 2 (θ)+2 3 (p+4) 3 (2p 2 3) hence we will tudy the ign of < 8(p+4)(+ 2 ) 3 in 2 θ+2 3 (p+4) 3 (2p 2 3), I 6 := 9(+ 2 ) 3 in 2 θ + 2 (p+4) 2 (2p 2 3). A in the peviou Lemma 6.2, we diffeentiate eveal time with epect to p, and obtain I 6 p = 9(+2 ) 3 in(2θ)θ p +2 2 (p+4)(3p+ 2 ), 2 I 6 p 2 = 8(+2 ) 3 co(2θ)θ 2 p +22 (6p+3 2 ), and finally, 3 I 6 p 3 = 2[ 2 3(+ 2 ) 3 in(2θ)θp 3 ], 4 I 6 p 4 = 8 9 (+2 )co(2θ)actan 4 ( ). 28

29 Theefoe In the fit cae, 3 I 6 p 3 3 I 6 p 3 p=2, if θ(,2) π 4, 3 I 6 p 3 θ= π 4, if θ(,) π 4 θ(,2), 3 I 6 p 3 p=, 3 I 6 p ( 4 )actan 3 othewie. ( ) (54 +4) >, the intemediate inequality following afte ome algebaic manipulation fom the tandad fact that actan(/) / fo any >. In the econd and thid cae, we can etimate 3 I 6 p (+2 ) 3 actan 3 ( ). (6.6) It emain to how that the ight hand ide in (6.6) i poitive within the ange In ode to pove it, we intoduce 3 < < tan( π 8 ). l() := (+2 ) 3 actan 3 ( We diffeentiate it and, taking into account again that actan(/) / we obtain [ ( )( ( )) ] l () = 4 (+ 2 ) 2 actan 2 2actan +6 [ ( )] 4 6 (+ 2 ) 2 actan 2 =: l(). and futhemoe [ l () = 8 (+ 2 )actan [ > 8 3 (+ 2 )actan ( )( ( 2actan )] >, ). ( )) ] +3 a it i eay to check in the ange / 3 < < /tan(π/8). Then, l inceae with which implie that l () > l(/ 3) > ; hence, l inceae with yielding l() > l(/ 3) = 4 256π3 287 >. Hence 2 I 6 i inceaing with epect to p. Thu, letting p, we get p 2 2 I 6 p 2 2co(2θ)actan2 29 ( ) (+ 2 ) (9 2 ).

30 We notice that the ight-hand ide above i clealy poitive when co(2θ) >, whence it emain to pove it when θ (π/4,2π/3), that i (taking into account that p = ) In thi ange, 3 < < tan(3π/2). 2 [ ( )] I 6 p (9 2 ) (+ 2 ) 3 actan 2. Now, if 3 < <, we ue the inequality actan(/) and we obtain that 2 I 6 p 2 22 ( 2 ) >. If intead > we ue actan(/) / and we obtain that fo /tan(3π/2). 2 I 6 p 2 2 2[4 (9 2 ) (+ 2 ) 3 ] >. It follow that 2 I 6 > and the fit deivative i inceaing with epect to p. We again p 2 let p to get I 6 p 3(+2 ) 3 in ( 3 actan ( )) actan ( ) + 2 (4 2 ) (6.7) To pove that the ight-hand ide above i poitive, we divide the inteval fo a follow ( ) ( ) [ ] ( ) 3, = 3, = J J 2 J 3, tan(3π/) tan(3π/), tan( 3π 2 ) tan( 3π 2 ), and notice that fo J 2, both tem in the ight-hand ide of (6.7) ae poitive. Alo fo J, we eaily get I 6 p 2 (4 2 ) 3(+ 2 ) 33π ( 4 3 tan 2 (3π/) ) 9π ( + ) 3 tan 2 > (3π/) Finally, fo > /tan(3π/2), we can invet the ine function and the inequality to pove i equivalent to ψ() := ( ) ( 3 actan 2 ( 2 ) 4) acin 3(+ 2 ) 3 >. actan(/) We how that ψ i deceaing with epect to, o equivalently ψ () <. Thi i, afte taightfowad calculation, equivalent to 3( ) actan ( ) ( ) 9( 2 +) 6 actan 2 4 ( 2 4) 2 <, 3

31 which can be poved by etimating actan(/) in the convenient way at each point, uing the well-known inequalitie ( ) 3 3 < actan <, we omit the detail. It follow that ψ i deceaing, whence it i poitive fo (2, ), ince lim ψ() =. We finally obtain that I 6 p > fo any > 3 and p (,2), hence I 6 i inceaing with p (,2). The concluion follow then fom the fact that I 6 p=2. Lemma 6.5. Unde the notation and condition above, I 2 +I 4 < fo any p (,2) and (, 3/7). Poof. The concluion i equivalent to I 7 := 3(3 p)(+ 2 ) 2 in(2θ)+2(p+4)(2p 3 2 ) <. We diffeentiate it with epect to p: I 7 p = 3(+2 ) 2 in(2θ)+(3 p)(+ 2 ) 2 co(2θ)θ p +2(4p+5 2 ). Since (, 3/7), we have θ = p+4 3 actan ( ) ( ) > actan =: θ > π/2, 3 and if θ [3π/4,π], the fit deivative i obviouly poitive ince co(2θ) >, in(2θ) < and 4p+5 2 > 9 3/7 >. In the complementay cae θ (θ,3π/4), we diffeentiate again with epect to p to find 2 I 7 p 2 = 2(+2 ) 2 [co(2θ)+(3 p)in(2θ)θ p ]θ p +8 >, ince in(2θ) < and co(2θ) < in the conideed ange of θ. Hence I 7 p inceae with p fo all angle θ (θ,π), in paticula attaining it minimum a p. Thi implie that ( ( )) I 7 p 3(+2 ) 2 in 3 actan ( ( )) ( ) (6.8) +4(+ 2 ) 2 co 3 actan actan +2(9 2 ). In ode to pove that the ight-hand ide in (6.8) i poitive, we fit notice that thi i tivial fo θ := 5 3 actan(/) [3π/4,π], ince in(2θ ) < and co(2θ ) >. Fo θ (θ,3π/4), we dop the fit tem and pove the tonge fact that 4(+ 2 ) 2 co ( 3 actan 3 ( )) actan ( ) +2(9 2 ) >,

32 o equivalently (9 2 ( ( )) ) 2( 2 +) 2 actan(/) +co 3 actan >. It i eay to check that thee exit a unique (, 3/7) uch that (9 2 ) 2( 2 +) 2 actan(/) fo, (9 2 ) 2( 2 +) 2 actan(/) < fo <. In the inteval [, 3/7), we ae done. In the emaining pat (, ), we can invet the coine function, in a imila manne a in poof of Lemma 6.4, and then pove that the eulting function i deceaing by diffeentiation and etimate. We kip the technical detail. Thu, I 7 i inceaing with p (,2) and thu it i negative, ince I 7 p=2. Fom Lemma 6.2, 6.3, 6.4 and 6.5 we deduce that I +I 2 +I 3 +I 4 < C (p) < fo any p (,2) fixed, (, ), which, togethe with the good behavio a, end the poof. Acknowledgement. The autho have been patially uppoted by the Spanih MEC poject MTM Refeence [] S. Angenent, Local exitence and egulaity fo a cla of degeneate paabolic equation, Math. Ann., 28 (988), [2] M. Betch, R. Dal Pao and A. Piante, Point ingulaitie and non-uniquene fo the heat flow fo hamonic map, Comm. Patial Diffeential Equation, 28 (23), [3] M. Betch, R. Dal Pao and R. van de Hout, Nonuniquene fo the heat flow of hamonic map on the dik, Ach. Ration. Mech. Anal., 6 (22), [4] K.-C. Chang, W.-Y. Ding and R. Ye, Finite time blow-up of heat flow of hamonic map fom uface, J. Diffe. Geom., 36 (992), [5] Y. Chen, M-C. Hong and N. Hungebuhle, Heat flow of p-hamonic map with value into phee, Math.Z. 25 (994), [6] R. Dal Pao, L. Giacomelli and S. Moll, Rotationally ymmetic -hamonic map fom D 2 to S 2, Calc. Va. Patial Diffeential Equation, 32 (28), [7] A. DeSimone and P. Podio-Guidugli, On the continuum theoy of feomagnetic olid, Ach. Rational Mech. Analyi, 36 (996), [8] A. Fadoun and R. Regbaoui, Heat flow fo p-hamonic map with mall initial data, Calc. Va. Patial Diffeential Equation, 6 (23), 6. 32