Blow-up analysis for two kinds of nonlinear wave equations

were firstly studied by John [8] when n = 3. More precisely, he showed that the semilinear wave equation (1) has the global solutions if p > 1 + √ 2 and initial data are sufficiently small. Meanwhile, he proved the finite time blow-up of solutions if p < 1 + √ 2 and the initial data are not both identically zero. Then Strauss conjectured, when n ≥ 2, the existence or nonexistence of global solutions to equation (1) for p ∈ (pc(n),∞) or p ∈ (1, pc(n)],


Introduction
The blow-up results concerning the semilinear wave equation were firstly studied by John [8] when n = 3. More precisely, he showed that the semilinear wave equation (1) has the global solutions if p > 1 + √ 2 and initial data are sufficiently small. Meanwhile, he proved the finite time blow-up of solutions if p < 1 + √ 2 and the initial data are not both identically zero. Then Strauss conjectured, when n ≥ 2, the existence or nonexistence of global solutions to equation (1) for p ∈ (p c (n), ∞) or p ∈ (1, p c (n)], where p c (n) is the positive root of the quadratic equation (n -1)p 2 -(n + 1)p -2 = 0.
After that, there has been much work concerning this conjecture. We give a brief summary here. To see the global existence of solutions to (3), one can refer to Glassey [3] for n = 2, Lindblad and Sogge [14] for n ≤ 8 for n ≥ 4; Georgiev, Lindblad, and Sogge [2] for n ≥ 4 and p c < p ≤ n+3 n-1 . To see the finite time blow-up of solutions to (3), one can see Glassey [4] for n = 2 and Sideris [15] for n ≥ 4, Yordanov and Zhang [21] and Zhou [23] for n ≥ 4, Takamura and Wakasa [18] and Zhou and Han [25] for n ≥ 2 and the sharp upper bound of the lifespan of the solution by using a different method, respectively. The lifespan T( ) of the solutions of (1) is the largest value such that solutions exist for x ∈ R n , 0 ≤ t < T( ). To the best knowledge of the authors, there is little work concerning the analog of the Strauss conjecture on cosmological spacetimes except the work of Lindblad et al. [13]. They showed the global existence of solutions for the semilinear wave equation on Kerr black hole backgrounds. Zhou and Han [24] first obtained a blow-up result on semilinear wave equations with variable coefficients and boundary. Lai and Zhou [9,10] obtained finite time blow-up result for nonlinear wave equations in exterior domains. Yan [19] verified this conjecture on blow-up result for semilinear wave equation in de Sitter spacetimes. After that, Li, Li, and Yan [11] gave the blow-up results of semilinear damped wave equation in de Sitter spacetimes. We refer the reader to [1,5,12,22] for more related results. In this paper, one of our main results is to study the blow-up result on quasilinear wave equations with variable coefficients.
Another problem concerns the blow-up solution of nonlinear wave equation with exponential type nonlinearity. The global existence of initial value problem for the nonlinear wave equation with exponential type nonlinearity was studied by Ibrahim, Majdoub, and Masmoudi [6]. They showed that if the initial energy is small, then the nonlinear wave equation with exponential type nonlinearity is globally well-posed. Here α is a positive constant in (0, 4π]. A scattering problem in the energy space for Klein-Gordon equations with nonlinearity of exponential growth in two space dimensions was studied in [7]. Struwe [16] established the global well-posedness of solutions to the Cauchy problem for the wave equations with exponential nonlinearities in the super-critical regime of large energies for smooth and radially symmetric data. Then, he [17] showed that the Cauchy problem for wave equations with critical exponential nonlinearities in two space dimensions is globally well-posed for arbitrary smooth initial data.

Main results
In this paper, we consider the following Cauchy problem with small initial data in n ≥ 2 space dimensions: (2020) 2020:59 Page 3 of 12 , is a small parameter, λ k (k = 0, 1, 2, 3) are nonnegative constants, p k > 1. Here, for simplicity of notations, we write x 0 = t.
We assume that compactly supported nonnegative data f and g satisfy Here we give one of our main results.
Theorem 1 Let f , g be smooth functions with compact support f , g ∈ C ∞ 0 and satisfy (5), and the index p 0 > 1, p 2 > 1, p 3 > 1 and p 1 satisfies Then the solution 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 (3): there exists a positive constant C, which is independent of , such that where C 0 is a positive constant which is independent of .
Secondly, we consider the following problem: We assume that compactly supported nonnegative data f and g satisfy Theorem 2 Let g be a smooth function with compact support g ∈ C ∞ 0 (R 2 ) and satisfy (7).
Then the solution 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 (6): there exists a positive constant C, which is independent of , such that where C 0 is a positive constant which is independent of .
The organization of this paper is as follows. In Sect. 2, we recall some blow-up criteria on ODEs. Section 3 is devoted to proving the finite time blow-up of solutions for the quasilinear wave equation (3) with variable coefficients. In the last section, the proof of Theorem 2 is given.

Preliminaries
This section recalls some blow-up results for ordinary differential inequality. The first relevant result on ODE was established by Sideris [15]. The following blow-up result can be found in [18,21] as Lemma 2.1.
A more general blow-up result was given in [19]. One can see Lemma 2.2 in [19] for more details on the proof.
where K , T 0 , A, and R denote positive constants with T 0 ≥ R, a(t) and b(t) are positive strictly increasing smooth functions, and b -1 2 (t + R)a p-1 2 -δ (t) is a strictly decreasing smooth function for t > 0, and there exist fixed t 0 ≥ 2T 1 and a positive constantK such that Then T must satisfy T ≤ 2T 1 provided that K ≥ K 0 , where with arbitrarily chosen δ satisfying 0 < δ < p-1 2 .
It follows from Yordanov and Zhang [20] that we introduce φ 0 (x) ∈ C 2 (R n ) and which are solutions of respectively. It is easy to see that φ 0 (x) = φ 1 (x). Then one can verify φ 0 (x) and φ 1 (x) (see [26]) such that where C is a positive constant. Moreover, we introduce a test function It is easy to see One can see [20,21,26] for more details.

Furthermore, we have
where C 0 is a positive constant which is independent of . We complete the proof of Theorem 1.

Proof of Theorem 2
Then we consider the approximation equation of (6) where (t, x) ∈ R + × R 2 and m ∈ N.
By the local existence of classical solutions, the solution to Cauchy problem (29) can be approximated by Picard iteration. Set u (0) ≡ 0. Then u (0) t ≡ 0. So by the positivity of the fundamental solution of the wave operator in two space dimensions, we can prove that u (m) (t, x) is a series of approximate solutions to (29) by induction. Let m − → ∞, we conclude that u(t, x) is a nonnegative solution to (6).

Conclusion
In our paper, we show blow-up phenomena for two kinds of nonlinear wave equations, i.e., nonlinear wave equation with with variable coefficient and wave equation with exponential type nonlinearity. The importance of our results is that if the null condition or weak null condition cannot be satisfied, a perturbation of quasilinear term can destroy the global well-posedness.