Blow up for some semilinear wave equations in multi-space dimensions Yi Zhou Wei Han. arxiv:17.536v [math.ap] 3 Jul 1 Abstract In this paper, we discuss a new nonlinear phenomenon. We find that in n space dimensions, there exists two indexes p and q such that the cauchy problems for the nonlinear wave equations and u(t,x) = u(t,x) q, x R n, (.1) u(t,x) = u t (t,x) p, x R n (.) both have global existence for small initial data, while for the combined nonlinearity, the solutions to the Cauchy problem for the nonlinear wave equation u(t,x) = u t (t,x) p + u(t,x) q, x R n, (.3) with small initial data will blow up in finite time. In the two dimensional case, we also find that if q =, the Cauchy problem for the equation (.1) has global existence, and the Cauchy problem for the equation u(t,x) = u(t,x)u t (t,x), x R (.) has almost global existence, that is, the life span is at least exp(cε ) for initial data of size ε. However, in the combined nonlinearity case, the Cauchy problem for the equation u(t,x) = u(t,x)u t (t,x) +u(t,x), x R (.5) hasalifespanwhichisoftheorderofε 18 fortheinitialdataofsizeε, thisisconsiderably shorter in magnitude than that of the first two equations. This solves an open optimality problem for general theory of fully nonlinear wave equations (see [6]). Keywords: Fully nonlinear wave equations ; Life-Span; Cauchy problem 1 Introduction and Main Results First we shall outline the general theory on the Cauchy problem for the following n- dimensional fully nonlinear wave equations: u tt u = F(u,Du,D x Du), ( = + x x 1 n), t = : u = εf(x), u t = εg(x), (x = (x 1,,x n )), (1.1) School of Mathematical Sciences, Fudan University, Shanghai 33, P. R. China (Email: yizhou@fudan.ac.cn) Department of Mathematics, North University of China, Taiyuan, Shanxi 351, P. R. China (Email: sh hanweiwei1@16.com) 1
where Du = (u x,u x1,,u xn ), x = t, D x Du = (u xi x j, i,j =,1,,n,i+j 1), f(x),g(x) C (Rn ) and ε > is a small parameter. Here, for simplicity of notations we write x = t. Let ˆλ = ( λ; (λ i ),i =,1,,n; (λ ij ),i,j =,1,,n, i+j 1 ). Suppose that in a neighborhood of ˆλ =, say, for ˆλ 1, the nonlinear term F = F(ˆλ) in equation (1.1) is a sufficiently smooth function with F(ˆλ) = O( ˆλ 1+α ), where α is an integer and α 1. We define a lifespan T(ε) of solutions to problem (1.1) to be the supremum of all τ > such that there exists a classical solution to (1.1) for x R on t < T(ε). When T(ε) = +, we mean that the problem (1.1) has global existence. In chapter of Li and Chen [7], we have long histories on the estimate for T(ε). The lower bounds of T(ε) are summarized in the following table. Let a = a(ε) satisfy a ε log(a+1) = 1 and c stand for a positive constant independent of ε. We have(see also a table in Li [8]) Table 1: General Theory for the sharp lower bound of the lifespan for fully nonlinear wave equations T(ε) α = 1 α = α 3 n= n=3 n= ca(ε), cε 1, in general case, if g(x)dx =, R cε, if uf() = cε, in general case, cε 6, in general case, cε 18, if 3 uf() = exp(cε ), if u l F() = (l = 3,) exp(cε 1 ), if u F() = exp(cε ), in general case,, if u F() = n 5 We note that all these lower bounds are known to be sharp except for the case (n,α) = (,) and uf() 3 =. The aim of this paper is to show that in this case the lower bound obtained by [6] is indeed sharp. Therefore, we solve an open optimality problem for general theory of fully nonlinear wave equations. We remark that the sharpness for (n,α) = (,1)
was only recently proved by Takamura and Wakasa [1], see also Zhou and Han [17]. For the case (n,α) = (,) and l uf() = (l = 3,), the sharpness is due to Zhou and Han [16], in this case, it was believed that l = is a technical condition which may be removed, however, we show in this paper that it is not the case, we show that if we drop this condition, the lifespan will be much shorter. Therefore our result shows that the condition l = is necessary. In this paper, we firstly consider the following Cauchy problem with small initial data in two space dimensions { u(t,x) = u(t,x)u t (t,x) +u (t,x), x R, t >, t = : u =, u t = εg(x), x R, where = t n x i is the wave operator, and g C (Rn ), ε > is a small parameter. i=1 (1.) For problem (1.), what interesting about this problem is that the Cauchy problem for the equation u(t,x) = u (t,x), x R, t > has global existence(see [3]), and the Cauchy problem for the equation u(t,x) = u(t,x)u t (t,x), x R, t > has almost global existence(see [7]). However, in the combined nonlinearity case, the Cauchy problem for the equation u = uu t +u, x R, t > has a life span which is of the order ε 18, this is considerably shorter in magnitude than that of and u = u(t,x)u t (t,x) u = u (t,x). For problem (1.), we consider compactly supported, radial, nonnegative data g C (R ), and satisfy g(x) = g( x ) >, for x < 1 g(x) =, for x > 1. (1.3) We establish the following theorem for (1.): Theorem 1.1. Let g is a smooth function with compact support g C (R ) and satisfies (1.3), space dimensions n =. Suppose that problem (1.) has a solution (u,u t ) C([,T), H 1 (R ) L 3 (R )) such that supp(u,u t ) {(x,t) : x t+1}. Then the solution u = u(t,x) will blow up in finite time, that is T <. Moreover, we have the following estimates for the lifespan T(ε) of solutions of (1.): there exists a positive constant A which is independent of ε such that T(ε) Aε 18. (1.) 3
Secondly, we will consider the following Cauchy problem with small initial data in n(n ) space dimensions { u(t,x) = u t (t,x) p + u(t,x) q, x R n, t >, t = : u = εf(x), u t = εg(x), x R n, where f,g C (Rn ), ε > is a small parameter, p > 1,q > 1. (1.5) For problem (1.5), we consider compactly supported nonnegative data f,g C (Rn ), n and satisfy f(x), g(x), f(x) = g(x) =, for x > 1 and g(x). (1.6) We establish the following theorem for (1.5): Theorem 1.. Let f,g are smooth functions with compact support f,g C (Rn ) and satisfy (1.6), space dimensions n. Suppose that problem (1.5) has a solution (u,u t ) C([,T), H 1 (R n ) L r (R n )), where r = max(,p) such that supp(u,u t ) {(x,t) : x t+1}, and the index p, q satisfies the following conditions: ( ) max 1, < p n n 1 n 1 ; (1.7) ( 1 < q < min (n 1)p +1, n n ). (1.8) Then the solution u = u(t,x) will blow up in finite time, that is T <. Moreover, we have the following estimates for the lifespan T(ε) of solutions of (1.5) : there exists a positive constant A which is independent of ε such that p(q 1) T(ε) Aε q+ (n 1)p(q 1). (1.9) Remark 1.1. In the Theorem 1., we restrict q < = n n in the condition (1.8), just to make that H 1 (R n ) L q (R n ), so the nonlinearity u q can be integrable in R n. Remark 1.. If we take n =, p = 3 and q = in theorem 1., we can also obtain the upper bound of the life span Aε 18. Remark 1.3. In problem (1.5), let p = p (n) = n 1 + 1, and q = q (n) is the positive root of the quadratic equation γ(n,q) = (n 1)q (n+1)q =, that is q = q (n) = n+1+ n +1n 7. (n 1) Then we know that p and q are the critical index of the following semilinear wave equations respectively: u(t,x) = u t (t,x) p, (1.1)
and u(t,x) = u(t,x) q. (1.11) If p > p, then the solution of the initial problem for the above equation (1.1) will exists globally, see [, 1]; and also if q > q, then the solution of the initial problem for the above equation (1.11) will exists globally, this problem has a long history, one can see [5,, 3, 1, 9, 13]. But it can be showed that there exisits p > p and q > q such that the conditions (1.7) and (1.8) can be still satisfied, for that purpose, we take for example p > p and sufficiently close to p, then (1.7) will be satisfied. Take q satisfies (1.8) and sufficiently close to (n 1)p +1 then q will be sufficiently close to n 1 +1 which is larger than q, this can be seen from the fact that ( ) γ n, n 1 +1 = 8 >. (1.1) n 1 Consequently, from Theorem 1., the solutions of the Cauchy problem (1.5) will blow up in finite time, while the Cauchy problems for (1.1) and (1.11) have global existence. The rest of the paper is arranged as follows. We state a preliminary Lemma in Section. In Section 3, we prove the sharpness of the lower bound obtained by [6], i.e., Theorem 1.1. Section is devoted to the proof for our Theorem 1., i.e., blow up and the upper bound estimate of lifespan of solutions to some semilinear wave equations with small initial data in n(n ) space dimensions. Preliminaries result: To prove the main results in this paper, we will employ the following important ODE Lemma.1. (see [9], also see [15]) Let β > 1, a 1, and (β 1)a > α. If F C ([,T)) satisfies (1) F(t) δ(t+1) a, d () F(t) k(t+1) α [F(t)] β, dt with some positive constants δ, k, then F(t) will blow up in finite time, T <. Furthermore, we have the the following estimate for the life span T(δ) of F(t) : T(δ) cδ where c is a positive constant depending on k but independent of δ. (β 1) (β 1)a α+, (.1) Proof. For the proof of blow up result part see Sideris [9]. For the estimate of the life span of F(t), one can see Lemma.1 in [15]. To outline the method, we following Yordanov and Zhang [11] will introduce the following functions: Let φ 1 (x) = e x ω dω. S n 1 5
Obviously, φ 1 (x) satisfy: φ 1 = φ 1. When space dimensions n, by rotation invariance, we have φ 1 (x) = e x ω 1 dω S n 1 = e x ω 1 dω 1 d ω = c ω 1 + ω =1 1 ce x 1 e x ω 1 ( 1 ω1 )n 3 dω 1 +c ce x 1 = ce x x n 1 ce x x n 1 = Ce x x n 1. 1 e x (1 ω1) ( 1 ω1 )n 3 dω 1 +C e x ω 1 ( 1 ω1 )n 3 dω 1 e x (1 ω 1) (1 ω 1 ) n 3 dω1 +C ( we take λ = x (1 ω 1 )) x Moreover, obviously we have e λ λ n 3 dλ+c e λ λ n 3 dλ+c Thus we can conclude that φ 1 (x) e x S n 1 dω = Ce x. φ 1 (x) Ce x (1+ x ) n 1 (n ). (.) By the positivity of φ 1 (x), so we get that when n, φ 1 (x) Ce x (1+ x ) n 1, (n ). In order to describe the following methods, we define the following test function Then ψ 1 = ψ 1, and ψ 1 =. One can see [11], also see [1]. ψ 1 (x,t) = φ 1 (x)e t, x R n, t. (.3) 3 The proof of Theorem 1.1 The aim of this section is to prove Theorem 1.1, so we need to consider the following Cauchy problem { u(t,x) = u(t,x)ut(t,x) +u (t,x), x R, t >, t = : u =, u t = εg( x ), x R, (3.1) 6
where g(x) = g( x ) >, for x < 1 g(x) =, for x > 1 (3.) We first prove that u is nonnegative. By the local existence of classical solutions, the solution to Cauchy problem (3.1) can be approximated by Picard iteration. Let u () and u (m) (t,x) = u (m 1) (t,x)u (m 1) t (t,x) +u (m 1) (t,x), x R, t >, t = : u (m) =, u (m) t = εg( x ), x R, (3.3) Then {u (m) (t,x)} is a series of approximate solutions to (3.1). Since u (), by the positivity of the fundamental solution of the wave operator in two space dimensions, we can prove that all u (m) are nonnegative by induction. Let m, we can conclude that u is nonnegative. The radial symmetric form of problem (3.1) can be written as u tt u rr ur r = uu t +u, t >, t = : u =, u t = εg(r), (3.) where r = x, x R. It follows from (3.) that ( ) ( t r) r 1 u = 1 u+r 1 uu r 3 t +r 1 u, t >, t = : u =, r 1 u t = εr 1 g(r). (3.5) Let G(r) = 1 r1 g(r), by D Alembert s formula, in the domain r > t, we have r 1 u(t,r) = ε r+t t r+t τ + 1 G(λ)dλ+ 1 8 r t t r+t τ r (t τ) r (t τ) λ 3 u(τ, λ) dλdτ λ 1 (uu t +u )(τ,λ)dλdτ. (3.6) Differentiate with respect to t yields: r 1 u t (t,r) = εg(t+r)+εg(r t)+ 1 8 + 1 t t [ u(τ,λ) λ=r+t τ + u(τ,λ) λ=r (t τ) ]dτ λ 3 [( ) ( λ(uu 1 t +u )(τ,λ) λ=r+t τ + Therefore, we obtain, in the domain r > t, r 1 u(t,r) ε r+t 7 r t λ 3 λ 1 (uu t +u )(τ,λ)) λ=r (t τ) ] dτ. (3.7) G(λ)dλ, (3.8)
r 1 ut (t,r) εg(t r). (3.9) It then easily follows that in the domain t 1 and 1 r t 3, we have u(t,r),u t (t,r) c εr 1. (3.1) Let F(t) = u(t,x)dx, (3.11) R then by integrating (3.1)with respect to x, we obtain F (t) = (uu t )(t,x)dx+ (u )(t,x)dx. R R Thus, by the positivity of the solution u, it follows F (t) (uu t)(t,x)dx, (3.1) R and Noting (3.1), we obtain It then follows from (3.1) that F (t) u (t,x)dx. (3.13) R R (uu t)(t,x)dx = c c t+1 t+ 3 t+ 1 cε 3 t+ 3 t+ 1 (uu t)(t,r)rdr (uu t)(t,r)rdr r 1 dr cε 3 (1+t) 1. On the other hand, it follows from Holder s inequality that F(t) = x t+1 Noting (3.13), we obtain ( u(t,x)dx u (t,x)dx R F(t) cε 3 (1+t) 3, t 1. (3.1) ( )1 dx x t+1 )3 C(1+t) 3 ( R u (t,x)dx F (t) C F (t) (1+t) 6. (3.15) Noting (3.1) and (3.15), we may apply Lemma.1 (in which we take δ = ε 3, β =, a = 3, α = 6) to get the desired estimate of the life span T(ε) Aε 18, (3.16) where A is a positive constant which is independent of ε. The proof of Theorem 1.1 is complete. 8 )1.
The proof of Theorem 1. Theorem 1. is a consequence of the blowup result and the upper bound estimate about nonlinear differential inequalities in Lemma.1. We multiply the equation in (1.5) by the test function ψ 1 (x,t) C (R n R) and integrate over R n, then we use integration by parts. d dt First, ψ 1 (u tt u)dx = ψ 1 u t p dx+ ψ 1 u q dx. R n R n R n By the expression ψ 1 (x,t) = φ 1 (x)e t, we have ψ 1 udx = ψ 1 udx = ψ 1 udx. R n R n R n So we have (ψ 1 u tt ψ 1 u)dx = ψ 1 ( u t p + u q )dx. R n R n (.1) Notice that d ψ 1 u t dx = (ψ 1 u tt u t ψ 1 )dx, dt R n R n (.) d (ψ 1 u)dx = [(ψ 1 ) t u+u t ψ 1 ]dx = [ψ 1 u t uψ 1 ]dx. dt R n R n R n (.3) Adding up the above two expressions, we obtain the following (ψ 1 u t +ψ 1 u)dx = (ψ 1 u tt u ψ 1 )dx = (ψ 1 u t p +ψ 1 u q )dx. (.) R n R n R n So we have (ψ 1 u t +ψ 1 u)dx R n t = (ψ 1 u t +ψ 1 u)dx t= + ψ 1 ( u t p + u q )dxdτ R n R n t = ε φ 1 (x)[f(x)+g(x)]dx+ ψ 1 ( u t p + u q )dxdτ. R n R n Adding the expressions (.1) and (.5), we have (ψ 1 u t +ψ 1 u tt )dx R n = ε φ 1 (x)[f(x)+g(x)]dx+ ψ 1 ( u t p + u q )dx+ R n R n ε φ 1 (x)[f(x)+g(x)]dx = C ε. R n t (.5) R n ψ 1 ( u t p + u q )dxdτ (.6) 9
Also, we know that d ψ 1 u t dx+ ψ 1 u t dx = [ψ 1 u tt +u t (ψ 1 ) t +ψ 1 u t ]dx dt R n R n R n = (ψ 1 u tt +ψ 1 u t )dx R n C ε. (.7) Multiplying the above differential inequality by e t, we get the following expression ) d (e t ψ 1 u t dx C εe t. (.8) dt R n So we have e R t ψ 1 u t dx C (e t 1)ε+ε φ 1 gdx. (.9) n R n Therefore, noting the positivity of φ 1 and g, we have ψ 1 u t dx C ε, (.1) R n where C is a positive constant. Let F(t) = udx, we integrate the equation R n u = u t p + u q, we have t udx u t p dx+ u q dx. (.11) R n R n R n That is F (t) u t p dx+ u q dx. (.1) R n R n By Holder s inequality, we can obtain ( )1 ( p ) 1 u t ψ 1 dx u t p p dx ψ 1 p dx, (.13) R n x t+1 where p and p satisfies 1 p + 1 p = 1. Noting (.), it turns out that ( ) 1 ( p ψ 1 p dx = e t x t+1 x t+1 φ 1 (x) p dx x t+1 ) 1 p Ce t ( t+1 [ Ce t (t+1) n 1 (n 1)p ) 1 e p r (1+r) (n 1)p r n 1 p dr ] 1 ( p t+1 [ ] = Ce t (t+1) n 1 p n 1 1 1 p e p (t+1) 1 p p ) 1 e p r p dr (.1) Ce t (t+1) n 1 p n 1 ( 1 p ) 1 p e t+1 = C(1+t) n 1 p n 1. 1
Noting (.1) and (.1), it follows from (.13) that Since p = p p 1, so we have [ n 1 p u t p ( C ε) p dx C R n (1+t) (n 1 p n 1 n 1 ] p = (n 1)p p (n 1)p thus the expression (.15) leads to the following By Holder s inequality, we obtain R n u t p dx C ( C ε) p (1+t) (n 1)(p ) )p. (.15) = (n 1)(p ),. (.16) ( F(t) = udx u q dx R n R n ( )1 q dx x t+1 ( )1 C u q q n dx (1+t) R n q, ) 1 q (.17) where q and q are conjugate numbers, they satisfy 1 q + 1 q = 1. Therefore, we have Rn u q dx C F(t)q (1+t) nq q. (.18) Noticing that q = q nq q 1, so q = n(q 1). So the expression (.18) leads to the following u q F(t) q dx C R n (1+t) Hence, F(t) satisfies the following inequality On the other hand, by (.16), we get: F F(t) q (t) C (1+t) F (t) C ε p (1+t) (n 1)(p ) So integrating the above expression twice, we have the following n(q 1). (.19) n(q 1). (.), (.1) F(t) Cε p (1+t) (n 1)(p ). (.) We take a = (n 1)(p ), α = n(q 1), β = q > 1 in Lemma.1, from the conditions (1.7) and (1.8) in theorem 1., we have β > 1, a 1 can be deduced from (1.7) and (β 1)a > α can be deduced from (1.8). So by the Lemma.1, F(t) will blow up in 11
finite time and thus the solutions to problem (1.5) will blow up in finite time, and also we have the following T(δ) cδ (β 1) (β 1)a α+ = cδ (q 1) q+1 (n 1)p(q 1), (.3) here we take δ = ε p, then we have the estimate for the lifespan of the solution to the problem (1.5): T(ε) Cε p(q 1) q+1 (n 1)p(q 1) = Cε p(q 1) q+ (n 1)p(q 1), (.) where C is a positive constant which is independent of ε. The proof of Theorem 1. is complete. Acknowledgments. The authors would like to thank Professor Takamura for pointing out the reference Katayama [6] to us and for helpful discussions. Yi Zhou s research is supported by the Key Laboratory of Mathematics for Nonlinear Sciences, Ministry of Education of China and Shanghai Key Laboratory for Contemporary and Applied Mathematics, and NSFC( No.11311 and 111111), and 111 project; Wei Han s research is supported by the Youth Science Foundation of Shanxi Province (111-), the National Sciences Foundation of China(19115), the Top Young Academic Leaders of Higher Learning Institutions of Shanxi. References [1] V. Georgiev, H. Lindblad and C. D. Sogge, Weighted strichartz estimates and global existence for semilinear wave equations, Amer. J. Math., 119 (1997) 191-1319. [] R. T. Glassey, Finite-time blow-up for solutions of nonlinear wave equations, Math. Z., 177 (1981) 33-3. [3] R. T. Glassey, Existence in the large for u = F(u) in two space dimensions, Math. Z., 178 (1981) 33-61. [] K. Hidano, C.B. Wang, K. Yokoyama, The Glassey conjecture with radially symmetric data, 5 Jul 11, arxiv:117.87 [math.ap]. [5] F. John, Blow-up of solutions of nonlinear wave equations in three space dimensions, Manuscripta Math., 8 (1979), pp. 35-68. [6] S. Katayama, Lifespan of solutions for two space dimensional wave equations with cubic nonlinearity, Commun. in partial Differential Equations., 6 (1) 5-3. [7] Ta-tsien Li and Y. M. Chen, Global classical solutions for nonlinear evolution equations, Pitman Monographs and Surveys in Pure and Applied Mathematics 5, Longman Scientific & Technical, 199. 1
[8] Ta-tsien Li, Lower bounds of the life-span of small classical solutions for nonlinear wave equations, in: M. Beals, R.B. Melrose, J. Rauch (Eds.), Microlocal Analysis and Nonlinear Waves, Minneapolis, MN, 1988-1989, in: IMA Vol. Math. Appl., vol. 3, Springer-Verlag, New York, 1991, pp. 15-136. [9] T. C. Sideris, Nonexistence of global solutions to semilinear wave equations in high dimensions, J. Differential Equations, 5 (198), pp. 378-6. [1] Hiroyuki Takamura and Kyouhei Wakasa, The sharp upper bound of the lifespan of solutions to critical semilinear wave equations in high dimensions, Journal of Differential Equations, 51 (11) 1157-1171. [11] B. Yordanov, and Q. S. Zhang, Finite time blowup for wave equations with a potential, SIAM J. Math. Anal. 36 (5), pp. 16-133. [1] B. Yordanov, and Q. S. Zhang, Finite time blow up for critical wave equations in high dimensions, Journal of Funct. Anal., 31 (6), pp. 361-37. [13] Y. Zhou, Life span of classical solutions to u tt u xx = u 1+α, Chin. Ann. of Math., 13B() (199), 3-3. [1] Y. Zhou, Blow up of solutions to the Cauchy problem for nonlinear wave equations, Chin. Ann. of Math., B: 3(1), 75-8. [15] Y. Zhou, W. Han, Blow up of Solutions to Semilinear Wave Equations with variable coefficients and boundary, J. Math. Anal. Appl. 37 (11) 585-61. [16] Y. Zhou, W. Han, Sharpness on the lower bound of the lifespan of solutions to nonlinear wave equations, Chin. Ann. of Math., 3B: (11), 51-56, DOI: 1.17/s111-11- 65-5. [17] Y. Zhou, W. Han, Life-span of solutions to critical semilinear wave equations, 19 March 11, arxiv:113.3758 [math.ap]. 13