arxiv: v2 [math.ap] 3 Sep 2018

Transcription

1 TYPE II BLOW-UP IN THE 5-DIMENSIONAL ENERGY CRITICAL HEAT EQUATION arxiv: v [math.ap] 3 Sep 08 MANUEL DEL PINO, MONICA MUSSO, AND JUNCHENG WEI Abstract. We consider the Cauchy problem for the energy critical heat equation 4 u t = u+ u n u in R n (0,T), (0.) u(,0) = u 0 in R n in dimension n = 5. More precisely we find that for given points q,q,...,q k and any sufficiently small T > 0 there is an initial condition u 0 such that the solution u(x,t) of (0.) blows-up at exactly those k points with rates type II, namely with absolute size (T t) α for α > 3. The blow-up profile around 4 each point is of bubbling type, in the form of sharply scaled Aubin-Talenti bubbles.. Introduction Many studies have been devoted to the analysis of blow-up phenomena in a semilinear heat equation of the form u t = u+ u p u in Ω (0,T), u = 0 on Ω (0,T), (.) u(,0) = u 0 in Ω. p >, and Ω is a bounded smooth domain in R n (or entire space), starting with the seminal work by Fujita [] in the 960 s. A smooth solution of (.) blows-up at time T if lim u(,t) L t T (R n ) = +. We observe that for functions independent of the space variable the equation reduces to the ODE u t = u p u, which is solved for a suitable constant c p by the function u(t) = c p (T t) p and it blows-up at time T. It is commonly said that the blow-up of a solution u(x,t) is of type I if it happens at most at the ODE rate: while the blow-up is said of type II if lim sup(t t) p u(,t) L (R n ) < + t T lim sup(t t) p u(,t) L (R n ) = + t T Many results have predicted that type I is the typical or generic way in which blows-up takes place for solutions of equation (.). For instance it is known after a series of works, including [5, 6, 7], that type I is the only way possible if p < p S

2 TYPE II BLOW UP FOR THE 5-DIMENSIONAL CRITICAL HEAT EQUATION p S is the critical Sobolev exponent, n+ p S := n if n 3 + if n =,. Stability and genericity of type blow-up have been considered for instance in [3,, ]. Solutions with type II blow-up are in fact much harder to detect. The first example was discovered in [8, 9], for p > p JL p JL is the Joseph-Lundgreen exponent [0], + 4 p JL = n 4 if n n +, if n 0. See the book [3] for a survey of related results. In fact, no type II blow-up is present for radial solutions if p S < p < p JL, while for radial positive solutions this is not possible if p = n+ n [0]. Examples of nonradial positive blow-up solutions for p > p JL have been found in [, ]. Formally a sign-changing solution with type II blow-up was predicted for p = p S in [0] and a rigorous radial example in [4] for n = 4. In this paper we shall exhibit a first example of type II blow-up for dimension n = 5 and critical case p = p S and p = p S = 7 3. Our construction does not depend on any symmetries, in fact it can be made in such a way that blow-up takes place simultaneously at any prescribed points of space with a bubbling profile. We recall that all positive entire solutions of the equation 4 u+ u n u = 0 in R n are given by the family of Aubin-Talenti bubbles ( ) x ξ U λ,ξ (x) = λ n U λ U(y) is the standard bubble ( )n U(y) = α n + y, α n = (n(n )) n. (.) The solutions we construct do change sign, and lookat main order nearthe blow-up points as one of the bubbles (.) with time dependent parameters and µ(t) 0 as t T. Thus we consider the equation 4 u t = u+ u n u in Ω (0,T), u(,0) = u 0 in Ω (.3) In what follows we let n = 5. Let us fix arbitrary points q,q,...q k Ω. We consider a smooth function Z 0 L (Ω) with the property that Z 0 (q j) > 0 for all j =,...,k. Theorem. Let n = 5. For each T > 0 sufficiently small there exists an initial condition u 0 such that the solution of Problem (.3) blows-up at time T exactly at the k points q,...,q k. It looks at main order as u(x,t) = k U λj(t),ξ j(t)(x) Z0 (x)+θ(x,t) j=

3 TYPE II BLOW UP FOR THE 5-DIMENSIONAL CRITICAL HEAT EQUATION 3 λ j (t) 0, ξ j (t) q j as t T, and θ L T a for some a > 0. More precisely, for numbers β j > 0 we have λ j (t) = β j (T t) (+o()), We observe that in particular, the solution predicted by the above result has type II blow up since u(,t) L (R 5 ) (T t) 3 and p S = 3 4 < 3. Our result is connected with that in [4] for dimension n = 4 obtained by a very different method and only in the radially symmetric case with one blow-up point. The example in this paper is the first one bubbling phenomenon is obtained with arbitrary blow-up points. Moreover, the fact that p S = 3 for n = 4, an odd integer, seems important in that approach. Our computations suggest that no blow-up of this type should be present in dimensions 6 or higher. We should point out that blow-up by bubbling (at main order time dependent, energy invariant, asymptotically singular scalings of steady states) is a phenomenon that arises in various problems of parabolic and dispersive nature. It has for been in particular widely studied for the energy critical wave equation u tt = u+ u 4 n. Amongotherworks,wereferthereaderforinstanceto[9,,3,4]. Themethodof this paper substantially differs from those in most of the above mentioned references for the parabolic case. It is close in spirit to the analysis in the works [4, 5, 8, 6, 7], the inner-outer gluing method is employed. That approach consists of reducing the original problem to solving a basically uncoupled system, which depends in subtle ways on the parameter choices (which are governed by relatively simple ODE systems). The rest of this paper will be devoted to the proof of Theorem.. Basics in the construction For notational simplicity we shall only carry out the proof in the case k = and at the end we will formulate the (relatively minor) changes needed for the general case. Thus we fix a point q Ω. Let us consider a function Z 0 smooth in Ω with Z 0 = 0 on Ω. We assume in addition that Z 0(q) < 0. (.) We let Z (x,t) be the unique solution of the initial-boundary value problem Zt = Z in Ω (0, ), Z = 0 on Ω (0, ), (.) Z (,0) = Z0 in Ω. We consider functions ξ(t) q, and parameters λ(t) 0 as t T. We look for a solution of the form u(x,t) = U µ(t),ξ(t) (x)+z (x,t)+ϕ(x,t) (.3)

4 TYPE II BLOW UP FOR THE 5-DIMENSIONAL CRITICAL HEAT EQUATION 4 with a remainder ϕ which we write in the form ϕ(x,t) = µ n φ(y,t)ηr (y)+ψ(x,t), y = x ξ(t) µ(t) (.4) ( ) y η R (y) = η 0 R and η 0 (s) is a smooth cut-off function with η 0 (s) = for s < and = 0 for s >. Let us set S(u) = u t + u+u p and compute S(U λ,ξ +Z +ϕ). We have that Then, setting we find t U µ,ξ + U µ,ξ = µ n+ E U p µ,ξ E(y,t) = µ µ[y U(y)+ n U(y)]+µ ξ U(y). (.5) N µ,ξ (Z) = U µ,ξ +Z p (U µ,ξ +Z) U p µ,ξ pup µ,ξ Z, S(U λ,ξ +Z +ϕ) = ϕ t + ϕ+pu p µ,ξ (ϕ+z )+µ n+ E +N(Z +ϕ) [ = η R µ n+ µ φ t + y φ+pu(y) p [φ+µ n (Z +ψ)]+e ] ψ t + x ψ +pµ ( η R )U(y) p (Z +ψ)+a[φ] +B[φ]+µ n+ E( ηr )+N(Z +ϕ) A[φ] := µ n+ y η R φ+ y η R y φ} B[φ] := µ n µ [ y y φ+ n φ ] η R + ξ y φη R + [ µy } y η R + ξ ] y η R φ and we have used U p µ,ξ ϕ = µ U(y) p ϕ. Thus, we will have a solution of the full problem if the pair (φ(y,t),ψ(x,t)) solves the following system of equations (which we call the outer-inner gluing system) µ φ t = y φ+pu(y) p φ+h(ψ,µ,ξ) in B R (0) (0,T) (.6) ψ t = x ψ +G(φ,ψ,µ,ξ) in Ω (0,T) ψ = U µ,ξ on Ω (0,T), (.7) ψ(,0) = 0 in Ω H(ψ,µ,ξ)(y,t) := µ n pu(y) p (Z (ξ +µy,t)+ψ(ξ +µy,t))+e(y,t), G(φ,ψ,µ,ξ)(x,t) := pµ ( η R )U(y) p (Z +ψ)+a[φ] +B[φ] +µ n+ E( ηr )+N(Z +ϕ), y = x ξ µ, (.8)

5 TYPE II BLOW UP FOR THE 5-DIMENSIONAL CRITICAL HEAT EQUATION 5 and E(y,t) is given by (.5). 3. Formal derivation of µ and ξ Next we do a formal consideration that allows us to identify the parameters µ(t) and ξ(t) at main order. Leaving aside smaller order terms, what approximates the inner problem (.6) is an equation of the form with µ φ t = y φ+pu(y) p φ+h(y,t) in R n (0,T) φ(y,t) 0 as y (3.) h(y,t) = µ µ(u(y)+y U(y))+pµ n U(y) p Z 0(q) + µ ξ U(y)+pµ n U(y) p Z 0 (q) y. (3.) The condition of decay in y is natural in order to mitigate the effect of φ in the outer problem (.7), making at main order (.6) and (.7) decoupled. At this point we recall that the elliptic equation L[φ] := y φ+pu(y) p φ = g(y) in R n φ(y) 0 as y, with h(y) = O( y a ) with 0 < a <, is solvable if and only if φ = O( y a ) provided that g(y)z i (y)dy = 0 for all i =,...,n+, R n Z i (y) = i U(y), i =,...,n, Z n+ (y) = n U(y)+y U(y) TheseareinfactallboundedsolutionsoftheequationL[Z] = 0. Itseemsreasonable to get an approximation to a solution of equation (3.) (valid up to large y ) by solving the elliptic equation y φ+pu(y) p φ+h(y,t) = 0 in R n (0,T) φ(y,t) 0 as y, which we can indeed do under the conditions h(y,t)z i (y)dy = 0 for all i =,...,n+, t [0,T). (3.3) R n Let us check the meaning of (3.3) for h in (3.). Integrating against Z n+ (y) we get h(y,t)z n+ (y)dy = µ µ(t) Z n n+dy µ(t) n Z R n R 0 (q) U p dy N R n This quantity is zero if and only if for a certain explicit constant β n > 0 we have µ(t) = β n Z0 (q) µ(t)n 4, µ(t) = 0. For n = 5 this equation leads to the solution µ (t) = α(t t), α = 4 β n Z 0(q). (3.4)

6 TYPE II BLOW UP FOR THE 5-DIMENSIONAL CRITICAL HEAT EQUATION 6 In a similar way, the remaining n relations in (3.3) lead us to ξ(t) = µ(t) n b for a certain vector b. Hence ξ(t) = O(T t) 3 and ξ(t) = q +O(T t). We see then that if u(x,t) U ξ(t),µ(t) (x) then u(,t) L (Ω) µ(t) n (T t) 3 as t T. This rate is type II since type I corresponds to the order O(T t) 3 4. To solve the actual parabolic problem (3.), even assuming (3.3) further constraints are needed. Indeed, let us recall that the operator L has a positive radially symmetric bounded eigenfunction Z 0 associated to the only positive eigenvalue λ 0 to the problem L 0 [φ] = λφ, φ L (R n ). It is known that λ 0 is a simple eigenvalue and that Z 0 decays like Z 0 (y) y n e λ 0 y as y. Let us write p(t) = φ(y,t)z 0 (y)dy, q(t) = h(y,t)z 0 (y)dy. R n R n Then we compute µ(t) ṗ(t) λ 0 p(t) = q(t). Since µ(t) (T t), then p(t) will have exponential growth in time p(t) e c T t unless p(t) = e t 0 dτ T µ (τ) t e s 0 dτ µ (τ) µ(s) q(s)ds This relation imposes a linear constraint on the initial value φ(y, 0) to our desired solution φ(y, t) to (.6). φ(y,0)z 0 (y)dy = l,h (3.5) R n l,h := T 0 e s 0 dτ µ (τ) µ(s) R n h(y,s)z 0 (y)dyds 4. The linear inner and outer problems 4.. The linear inner problem. In order to deal with the inner problem (.6) we need to solve a linear problem like (3.) restricted to a large ball B R orthogonality conditions like (3.3) are assumed and the initial condition of the solution depends on a scalar parameter which is part of the unknown, connected with constraint (3.5). We construct a solution (φ, l) which defines a linear operator of functions h(y,t) defined on to the initial value problem D R = B R (0,T) µ φ t = y φ+pu(y) p φ+h(y,t) in D R φ(y,0) = lz 0 (y) in B R, (4.)

7 TYPE II BLOW UP FOR THE 5-DIMENSIONAL CRITICAL HEAT EQUATION 7 for some constant l, under the orthogonality conditions B R h(y,t)z i (y)dy = 0 for all i =,...,Z n+, t [0,T). (4.) We impose on the parameter function µ the following constraints, which are motivated on the discussion in the previous section: let us write µ 0 (t) = (T t) For some positive constants α and β (to be fixed later) we impose αµ 0 (t) µ(t) βµ 0 (t) for all t [0,T]. Let us fix numbers 0 < a < and ν > 0. We will consider functions h that behave like h(y,t) µ 0(t) ν + y +a in D R The formal analysis of the previous section would make us hope to find a solution to (4.) such that φ(y,t) µ 0(t) ν + y a in D R. We will find a solution so that a somewhat worse bound for φ(y,t) in space variable is found but coinciding with the expected behavior when y R. Let us define the following norms. We let h +a,ν be the least number K such that h(y,t) K µ 0(t) ν + y +a in D R (4.3) We also define φ a,ν be the least number K with We observe that φ a,ν φ a,ν. φ(y,t) Kµ 0 (t) ν Rn+ a + y n+ in D R. (4.4) The following is the key linear result associated to the inner problem. Lemma 4.. There is a C > 0 such For all sufficiently large R > 0 and any h with h +a,ν < + that satisfies relations (4.) there exist linear operators φ = T in µ [h], l = l[h] which solve Problem (4.) and define linear operators of h with l[h] + (+ y ) y φ a,ν + φ a,ν C h ν,+a. Proof. Letting τ = τ 0 + t 0 µ(s) ds and expressing φ = φ(y,τ), Problem (4.) becomes φ τ = y φ+pu(y) p φ+h(y,τ) in B R (τ 0, ) φ(y,0) = lz 0 (y) in B R. The result then follows from Proposition 5.5 and the gradient estimates in the proof of Proposition 7. in [4]. We remark that we also have the validity of a Hölder estimate in space time with the form

8 TYPE II BLOW UP FOR THE 5-DIMENSIONAL CRITICAL HEAT EQUATION The linear outer problem. The outer problem (.7) in linear version is actually simpler than its counterpart (4.), corresponding just to the standard heat equation with nearly singular right hand sides and zero initial and boundary conditions. Thus we consider the problem ψ t = x ψ +g(x,t) in Ω (0,T) ψ = 0 on Ω (0,T), (4.5) ψ(,0) = 0 in Ω. The class of right hand sides g that we want to take are naturally controlled by the following norms. Let 0 < a <, q Ω and µ 0 (t) = (T t). We define the norms g o and ψ o to be respectively the least numbers K and K such that for all (x,t) Ω [0,T), [ ] g(x,t) K µ 0 (t) + + y +a [ ], y = x q ψ(x,t) K + y a +T 3 a µ 0 (t) Then the following estimate holds. Lemma 4.. There exists a constant C such that for all sufficiently small T > 0 and any g with g o < +, the unique solution ψ = T out [g] of problem (4.5) satisfies the estimate ψ o C g o. (4.6) Proof. We will find a positive supersolution ψ to the problem ψ t x ψ µ + in Ω (0,T) 0 + y +a ψ 0 on Ω (0,T), ψ(,0) 0 in Ω. with the property that (4.7) [ ] ψ(x,t) C + y a +T 3 a. (4.8) After this is done, estimate (4.6) follows from standard comparison. Let us consider the function ψ (x,t) = p(y) p(y) is a radial solution of y p(y) = + y +a in R n, with p(y) + y a as y + (p corresponds to the Newtonian potential of the right hand side). Then t ψ x ψ = µ 0 g(x,t) = µ 0 + g(x,t) (4.9) + y +a + y +a µ 0 µ 0 y p(y).

9 TYPE II BLOW UP FOR THE 5-DIMENSIONAL CRITICAL HEAT EQUATION 9 We see that for some γ > 0 independent of T we have 0 if x q γ T t, g(x,t) c(t t) 3 a if x q γ T t. Hence, if we set we get ψ (x,t) = t+cα (T α (T t) α ), α = 3 a t ψ x ψ = c(t t) 3 a + g(x,t)+. (4.0) Adding inequalities (4.9) and (4.0) we get the validity of (4.8) for ψ = ψ +ψ. We remark that since for arbitrary T < T, g Cµ 0 (T ) g o, standard parabolic estimates yield, for given 0 < α <, in addition a uniform Hölder bound in space-time of the form [ψ] α,t is the least number K such that [ψ] α,t Cµ 0 (T ) g o (4.) ψ(x,t ) ψ(x,t ) K( x x α + t t α ) for all x,x Ω, 0 t,t T. 5. The proof of Theorem With the abovepreliminarieswearenowreadyto carryout theproofoftheorem for the case k =. We want to find a tuple p = (φ,ψ,µ,ξ) so that the innerouter gluing system (.6)-(.7) is satisfied, so that u in (.3) solves (.3) and the remainder (.4) is small at all times t [0,T]. We will achieve this by formulating the problem as a fixed point problem for p in a small region of a suitable Banach space. We start by setting up the inner problem. For a function h(y,t) defined in D R we write B c j [h](t) = R h(y,t)z j (y)dy B R Z j (y) dy so that the function satisfies n+ h(y,t) = h(y,t) c j [h](t)z j (y) B R h(y,t)zj (y)dy = 0 for all j =,...,n+, t [0,T) which makes the result of Lemma 4. applicable to the equation µ φ t = y φ+pu(y) p φ+ H(ψ,µ,ξ) in D R φ(,0) = lz 0 in B R (5.) j=

10 TYPE II BLOW UP FOR THE 5-DIMENSIONAL CRITICAL HEAT EQUATION 0 n+ H(ψ,µ,ξ) = H(ψ,µ,ξ) c j [H(ψ,µ,ξ)]Z j and H(ψ,µ,ξ) is defined in (.8). Using Lemma 4., we find a solution to (5.) if the following equation is satisfied. j= φ = T in µ [ H(ψ,µ,ξ)] =: F (φ,ψ,µ,ξ). (5.) We will have the inner equation (.6) satisfied if in addition we have c j [H(ψ,µ,ξ)] = 0 for all j =,...,n+. (5.3) In addition, we have that equation (.7) is satisfied provided that ψ = T out [G(φ,ψ,µ,ξ)] =: F (φ,ψ,µ,ξ). (5.4) the operator G(φ,ψ,µ,ξ) is defined in (.8). We will solve System (5.)- (5.3)-(5.4) using a degree-theoretical argument. For λ [0,] we define the homotopy H λ (ψ,µ,ξ)(y,t) = µ n pu(y) p Z0(q)+µ µz n+ (y) n +µ ξ j Z j (y) j= + λµ n pu(y) p (Z (ξ +µy,t) Z0 (q)+ψ(ξ +µy,t)), and consider the system of equations n+ φ = T µ in [H λ (ψ,µ,ξ) c j [H λ (ψ,µ,ξ)]z j ] j= (5.5) c j [H λ (ψ,µ,ξ)] = 0 for all j =,...,n+, ψ = T out [λg(φ,ψ,µ,ξ)]. We observe that for λ = this problem precisely corresponds to that we want to solve, (5.)-(5.3)-(5.4). It is convenient to write µ(t) = µ (t)+µ () (t), ξ(t) = q +ξ () (t) t [0,T] µ (t) was defined in (3.4), and µ () (T) = 0, ξ () (t) = 0. µ (t) = α (T t), α = 4 β n Z 0(q) We assume that we have a solution (φ,ψ,µ (),ξ () ) of system (5.5) we assume the following constraints hold: µ () (t) + ξ () (t) δ 0 φ a,ν + ψ δ (5.6) δ 0,δ are small positive constants whose value we will later adjust (and may depend on T) We will also assume that Z is sufficiently small but fixed independently of T, Z.

11 TYPE II BLOW UP FOR THE 5-DIMENSIONAL CRITICAL HEAT EQUATION The function µ (t) solves the equation µ (t) Zn+ dy +µ (t) n 4 Z 0 (q) pu p Z n+ dy = 0. (5.7) R N R n The equation c n+ (H λ (ψ,µ +µ,ξ))(t) = 0 t [0,T) (5.8) which corresponds to 0 = µ(t) ( Zn+dy ) + µ(t) n 4 Z 0 (q) pu p Z n+ dy B R B R + λµ(t) n 4 pu(y) p (Z (ξ(t)+µ(t)y,t) Z0 (q)+ψ(ξ(t)+µ(t)y,t))z n+(y)dy R n can be written as µ(t)+βµ(t) n 4 = µ(t) n 4 (δr +λθ(ψ,ξ,µ )) for a suitable number β > 0, δ R = O(R ) and the operator θ satisfies, for some absolute constant C, θ(ψ,ξ,µ ) C[T + ψ ] can be written, using (5.7), in the linearized form, for a suitable γ > 0, µ + γ T t µ = (T t)g 0 (ψ,µ,ξ) with g 0 (ψ,ξ,µ (),λ)(t) C( ψ +T +R ). The linear problem µ+ γ T t µ = (T t)g(t), µ (T) = 0 can be uniquely solved by the operator in g, T µ(t) = T 0 [g](t) := (T t) γ (T s) γ+ g 0 (s)ds. It defines a linear operator on g with estimates Equation (5.8) then becomes and we get (T t) µ + (T t) µ C g 0. µ () (t) = T (0) [g 0 (ψ,ξ,µ (),λ)](t) for all t [0,T) (T t) µ () + (T t) µ () C( ψ +T +R ) (5.9) Similarly, equations can be written in vector form as c j [H λ (ψ,µ,ξ)] = 0 for all j =,...,n, t and ξ () (t) = T () [g (ψ,µ,ξ )](t) for all t [0,T). (5.0) T () [g] := T t (T s)g(s)ds. g (ψ,ξ,µ (),λ)(t) C( ψ +T).

12 TYPE II BLOW UP FOR THE 5-DIMENSIONAL CRITICAL HEAT EQUATION From equation (5.0) we thus find (T t) ξ() + (T t) ξ () C( ψ +T) (5.) On the other hand, we have µ(t)n H(ψ,µ,ξ)(y,t) C + y 4( ψ + Z )+ hence for any 0 < a < we have µ µ + y n + H(ψ,µ,ξ)(y,t) C µ 0(t) n ( ψ + y +a + Z ). µ ξ + y n and from the first equation in (5.5) and Lemma 4. we find that φ a,ν C ( ψ + Z ) n, ν =. (5.) for the norm defined in (4.4). Next we consider the last equation in (5.5). We recall that G(φ,ψ,µ,ξ)(x,t) = pµ ( η R )U(y) p (Z +ψ)+a[φ] +B[φ] +µ n+ E( ηr )+N(Z +µ n ηr φ+z +ψ), E(y,t) = µ µ[y U(y)+ n U(y)]+µ ξ U(y), A[φ] = µ n+ y η R φ+ y η R y φ} B[φ] = µ n µ [ y y φ+ n φ ] η R + ξ y φη R + [ µy } y η R + ξ ] y η R φ Let us consider for example the error terms We see that and g (x,t) = µ ( η R )U p (Z +ψ), g (x,t) = µ n+ E( ηr ). g (x,t) R σµ C + y +σ( Z + ψ ). g (x,t) [ n µ y n µ ( µ µ + µ ξ ) R 3 σµ C + y +σ. Let us now estimate the term A[φ]. Let us choose σ = a, a is the number in the definition of φ a,ν. We have A[φ](x,t) µ n R +R σ µ sup ( φ + y φ ) y +σ R< y <R and similarly, µ R a + y +σ φ a, n B[φ](x,t) Cµ R n+ a [µ µ+µ ξ ] + y n+ φ a, n R n+ a Cµ µ3 + y +σ φ a, n.

13 TYPE II BLOW UP FOR THE 5-DIMENSIONAL CRITICAL HEAT EQUATION 3 Now for some σ > 0 we have N(Z +µ n ηr φ+z +ψ) Cµ µ σ + y +σ( φ a, n R n+ a + Z + ψ ) +C( Z + ψ ) p. According to the above estimates, it follows that if T is sufficiently reduced depending on the large R we have fixed, we get using Lemma 4., ψ CT σ Z +R σ φ a, n. (5.3) Combining (5.) and (5.3) and then using (5.9)-(5.), we finally get ψ CT σ Z φ a, n C Z (5.4) (T t) ξ() + (T t) ξ () C(T σ ( Z +)+R ) (T t) µ () + (T t) µ () CT σ ( Z +) We write System (5.5) in the form φ = Tµ in [ H λ (T out [λg(φ,ψ,µ,ξ),µ,ξ)] ψ = T out [λg(φ,ψ,µ,ξ)] µ () = T (0) [ g 0 (ψ,ξ (),µ (),λ)] ξ () =T () [ g (ψ,µ (),ξ (),λ)] Here, we can write, g 0 (ψ,ξ (),µ (),λ) =c R H λ (T out [λg(φ,ψ,µ,ξ)],µ,ξ)z n+ (y)dy B R g (ψ,ξ (),µ (),λ) =c R H λ (T out [λg(φ,ψ,µ,ξ)],µ,ξ) U(y)dy B R (5.5) for suitable positive constants c l R, l = 0,. We fix an arbitrarily small ε > 0 and consider the problem defined only up to time t = T ε. φ = Tµ in [ H λ (T out [λg(φ,ψ,µ,ξ),µ,ξ)], (y,t) B R [0,T ε] ψ = T out [λg(φ,ψ,µ,ξ)], (x,t) Ω [0,T ε] µ () = T ε (0) [ g 0 (ψ,ξ (),µ () (5.6),λ)], t [0,T ε] ξ () =T ε () [ g (ψ,µ (),ξ (),λ)], t [0,T ε]. T 0 ε [g](t) := (T t) γ T ε t (T s) γ+ g 0 (s)ds, T () ε [g] := T ε t (T s)g(s)ds. The key is that the operators in the right hand side of (5.6) are compact when we regard them as defined in the space of functions (φ,ψ,µ (),ξ () ) X X X 3 X 4

14 TYPE II BLOW UP FOR THE 5-DIMENSIONAL CRITICAL HEAT EQUATION 4 defined as, with their respective norms, X =φ / φ C(B R [0,T ε]), y φ C(B R [0,T ε])}, φ X = φ + y φ X =ψ / φ C( Ω [0,T ve])}, ψ X = ψ X 3 =µ () / µ () C [0,T ε]}, µ () X3 = µ () + µ () X 4 =ξ () / ξ () C [0,T ε]}, ξ () X4 = ξ () + ξ (). Compactness on bounded sets of all the operators involved in the above expression is a direct consequence of the Hölder estimate (4.) for the operator T out and Arzela-Ascoli s theorem. On the other hand, the a priori estimate we obtained for ε = 0 holds equally well, uniformly on arbitrary small ε > 0, and for a solution of (5.6). Leray Schauder degree applies in a suitable ball B that contains the origin in this space: essentially one slightly bigger than that defined by relations (5.4), which amounts to a choice of the parameters δ 0 and δ in (5.6): in fact the homotopy connects with the identity at λ = 0, and hence the total degree in the region defined by relations (5.4) is equal to. The existence of a solution to the approximate problem satisfying bounds (5.4) then follows. Finally, a standard diagonal argument yields a solution to the original problem with the desired size. The proof of the theorem for the case k = is concluded. The general case of k distinct points q,...,q k is actually identical: in that case we have k inner problems and one outer problem with analogous properties. We look for a solution of the form u(x,t) = k j= U µj,ξ j (x)+z (x,t)+µ n j φ(y j,t)η R (y j )+ψ(x,t), y j = x ξ j µ j Z solves heat equation with initial condition Z 0 which is chosen so that (.) holds at all concentration points: Z 0 (q j) < 0, and ξ j (T) = q j, µ j (T) = 0. A string of fixed point problems (with essentially decoupled equations associated at each point) then appears and it solved in the same way. We omit the details. Acknowledgements: M. del Pino and M. Musso have been partly supported by grants Fondecyt 6035, 50066, Fondo Basal CMM. The research of J. Wei is partially supported by NSERC of Canada. References [] C. Collot, Non radial type II blow up for the energy supercritical semilinear heat equation. Anal. PDE 0 (07) 7 5. [] C. Collot, F. Merle, P. Raphael, On strongly anisotropic type II blow up Preprint ArXiv: [3] C. Collot, P. Raphael, J. Szeftel On the stability of type I blow up for the energy super critical heat equation. Preprint ArXiv: [4] C. Cortázar, M. del Pino, M. Musso, Green s function and infinite-time bubbling in the critical nonlinear heat equation. Preprint arxiv: To appear in J. Eur. Math. Soc. (JEMS). [5] P. Daskalopoulos, M. del Pino, N. Sesum. Type II ancient compact solutions to the Yamabe flow. Preprint ArXiv: To appear in J. Reine Angew. Math. [6] M. del Pino, M. Musso, J. Wei, Infinite time blow-up for the 3-dimensional energy critical heat equation. Preprint ArXiv:

15 TYPE II BLOW UP FOR THE 5-DIMENSIONAL CRITICAL HEAT EQUATION 5 [7] M. del Pino, M. Musso, J. Wei, Geometry driven Type II higher dimensional blow-up for the critical heat equation. Preprint Arxiv: [pdf, ps, other] [8] J. Dávila, M. del Pino, J. Wei, Singularity formation for the two-dimensional harmonic map flow into S Preprint ArXiv: [9] T. Duyckaerts, C.E. Kenig, F.Merle, Universality of blow-up profile for small radial type II blow-up solutions of the energy-critical wave equation. J. Eur. Math. Soc. (JEMS) 3 (0), no. 3, [0] S. Filippas, M.A. Herrero, J.J.L. Velázquez, Fast blow-up mechanisms for sign-changing solutions of a semilinear parabolic equation with critical nonlinearity. R. Soc. Lond. Proc. Ser. A Math. Phys. Eng. Sci. 456 (000), no. 004, [] H. Fujita. On the blowing up of solutions of the Cauchy problem for u t = u+u +a. J. Fac. Sci. Univ. Tokyo Sect. I, 3 (966), [] J. Jendrej, Construction of type II blow-up solutions for the energy-critical wave equation in dimension 5, Preprint, arxiv: [3] C. E. Kenig and F. Merle, Global well-posedness, scattering and blow-up for the energycritical focusing non-linear wave equation. Acta Math. 0, 47- (008) [4] J. Krieger, W. Schlag, D. Tataru, Slow blow-up solutions for the H () (R 3 ) critical focusing semilinear wave equation. Duke Math. J. 47 (009), no., 53. [5] Y. Giga and R. V. Kohn. Asymptotically self-similar blow-up of semilinear heat equations. Comm. Pure Appl. Math., 38(3) (985), [6] Y. Giga and R. V. Kohn, Characterizing blowup using similarity variables, Indiana Univ. Math. J. 36: (987), -40. [7] Y. Giga, S. Matsui, and S. Sasayama, Blow up rate for semilinear heat equations with subcritical nonlinearity, Indiana Univ. Math. J. 53: (004), [8] M.A. Herrero, J.J.L. Velázquez. Explosion de solutions d equations paraboliques semilineaires supercritiques. [Blowup of solutions of supercritical semilinear parabolic equations] C. R. Acad. Sci. Paris Ser. I Math. 39 (994), no., [9] M.A. Herrero, J.J.L. Velázquez. A blow up result for semilinear heat equations in the supercritical case. Unpublished. [0] D. D. Joseph and T. S. Lundgren, Quasilinear Dirichlet problems driven by positive sources, Arch. Rational Mech. Anal. 49 (973), [] H. Matano, F. Merle. Threshold and generic type I behaviors for a supercritical nonlinear heat equation. J. Funct. Anal. 6 (0), no. 3, [] F. Merle and H. Zaag. Stability of the blow-up profile for equations of the type u t = u+ u p u. Duke Math. J., 86() (997) [3] P. Quittner, Ph. Souplet. Superlinear parabolic problems. Blow- up, global existence and steady states. Birkhauser Advanced Texts. Birkhauser, Basel, 007. [4] R. Schweyer. Type II blow-up for the four dimensional energy critical semi linear heat equation. J. Funct. Anal. 63 (0), no., Department of Mathematical Sciences University of Bath, Bath BA 7AY, United Kingdom, and Departamento de Ingeniería Matemática-CMM Universidad de Chile, Santiago , Chile address: m.delpino@bath.ac.uk Department of Mathematical Sciences University of Bath, Bath BA 7AY, United Kingdom, and Departamento de Matemáticas, Universidad Católica de Chile, Macul , Chile address: m.musso@bath.ac.uk Department of Mathematics University of British Columbia, Vancouver, BC V6T Z, Canada address: jcwei@math.ubc.ca