FINITE TIME BLOW-UP AND GLOBAL EXISTENCE OF SOLUTIONS FOR SEMILINEAR PARABOLIC EQUATIONS WITH NONLINEAR DYNAMICAL BOUNDARY CONDITION

For a class of semilinear parabolic equations under nonlinear dynamical boundary conditions in a bounded domain, we obtain finite time blowup solutions when the initial data varies in the phase space H1 0 (Ω) at positive initial energy level and get global solutions with the initial data at low and critical energy level. Our main tools are potential well method and concavity method.

(Ω) at positive initial energy level and get global solutions with the initial data at low and critical energy level. Our main tools are potential well method and concavity method.
The dynamical boundary conditions, although not too widely considered in the mathematical literature, are very natural in many mathematical models as heat transfer in a solid in contact with moving fluid, thermoelasticity, diffusion phenomena, problems in fluid dynamics, etc. (see [3,5,6,7,8,9,10,11,13,19,20] and the references therein). We note, however, that most of the literatures concern with the existence and uniqueness of local solutions, while few papers focus on global existence of solutions for parabolic equations with nonlinear dynamical boundary conditions.
Hintermann [13] considered the local well-posedness of the following initial boundary value problem where f, g may depend on space, time or the solutions. Under some assumptions, the author transformed the equations to abstract Cauchy problems, and applied the semigroup theory in Banach spaces to prove the local well-posedness results. Local existence and uniqueness of solution to general quasilinear parabolic equation (systems) with dynamical boundary condition has been established in a series of papers by Escher [7,8,9]. For example, Escher in [7] studied the existence and uniqueness of local solutions for the following problem The author proved that if u 0 is in H τ p , the Besov potential space, then there exists a unique maximal weak solution in an open time interval. He also pointed out that if there is a uniform priori estimate of a solution on the space H τ p , then the solution can be extended to be a global one.
J. von Below and G. Pincet-Mailly [3] dealt with the blow-up phenomena of the nonlinear parabolic problem in a bounded domain Ω ⊂ R n . Their main tools are comparison principle, energy methods and spectral comparison. The paper also contains some results concerning the upper bound of the blow-up time.
Wu [20] studied the asymptotic behavior of the solution to the parabolic problem with a linear dynamical boundary condition where Ω ⊂ R n (n ∈ N + ) is a bounded domain with smooth boundary Γ, ν is the outward normal direction to the boundary and µ ∈ {0, 1}, f is analytic with respect to u. He proved that a global solution converges to an equilibrium, i.e., the solution of the concerned stationary problem, as time goes to infinity by means of a generalized Lojasiewicz-Simon-type inequality.
In [10], Fan and Zhong studied the global attractors parabolic equations with dynamic boundary conditions u t − ∆u + f (u) = 0, in Ω, Under the assumption of (u 0 , γ(u 0 )) ∈ L 2 (Ω) × L 2 (Γ), f ∈ C 1 , f (s) ≥ −l, and they proved the local existence of solutions with Galerkin truncation and pointed out that the global existence of solutions can be studied by means of the comparison principle, as developed in the recent papers [5,6] and reference therein. However, they did not give any global existence theorems. Later, they established the existence of a (L 2 (Ω) × L 2 (Γ)), (W 1,2 (Ω) ∩ L p (Ω) × L p (Γ))-global attractor and proved the asymptotic compactness of the corresponding semigroup.
In [19], Vitillaro dealt with the local and global existence of solutions of the heat equation in bounded domains with nonlinear boundary conditions which involve damping and source terms (but the equation is homogeneous and linear) where Ω ⊂ R n (n ≥ 1) is a regular bounded domain, ∂Ω = Γ 0 ∪Γ 1 , m > 1, 2 ≤ p < r, r = 2(n−1) n−2 when n ≥ 3, r = ∞ when n = 1, 2. He proved the local existence of solutions in H 1 Γ0 (Ω) when m > r/(r + 1 − p) or n = 1, 2, and global existence when p ≤ m or the initial datum is inside the potential well associated to the stationary problem. The method to prove global existence of (2) with small initial data can also be used in our work. However, the inhomogeneous equation in (1) makes the proof of global existence for problem (1) more difficult.
Based on the approaches in [7,8,9] etc., Fila and Quittner [11] considered several results concerning the asymptotic behavior of solutions to the parabolic problem (1). The authors obtained local existence and regularity (in Besov spaces) results by using the abstract approach by Amann and Escher in the framework of semigroup theory. They showed the boundedness of global solutions, i.e., there exists a constant K = K(J(u 0 )) > 0 such that with the condition of (N − 2)p < N + 2, (N − 2)q < N and u 0 ∈ H 1 0 (Ω). However, only based on the assumptions of the existence of the global solutions, they established the boundary estimates of the global solutions. That is to say, they did not give any global existence theories to assure the global existence. And of course, we do not know in what conditions the global solutions exist and also the boundedness results hold. So it is necessary to give a global existence theorem and point out in what conditions on both the nonlinear terms and the initial data, the local solutions exist for all the time. Later, they obtained the blow up results with negative initial energy, i.e. J(u 0 ) < 0. This is a very classical conclusion. And it's interesting to ask what will happen if J(u 0 ) > 0. If we denote the mountain pass level by d, the known works [4,15,16,17,21] tell us that the case 0 < J(u 0 ) ≤ d can be considered to use the potential well method combined with concavity method to deal with the blow up of the solutions. But it is not trivial to study the high energy case, i.e. J(u 0 ) > d. So for this problem, the global existence and nonexistence for J(u 0 ) < d, J(u 0 ) = d and J(u 0 ) > d respectively is still open problem. In order to answer the above problems, we try to tackle (1) with potential well method and concavity method, as those methods can be well applied to the parabolic problems [22,23,24] and the hyperbolic problems [14,25] to describe a whole picture of the energy levels.
Motivated by the papers above, we focus on the global existence results and finite time blow up results for J(u 0 ) ≤ d and the blow up results when J(u 0 ) > 0, which is an expansion of [11].
This paper is organized as follows. In Section 2, we recall some preliminary tools and definitions. In Section 3, we get global existence and finite time blow up of solutions when the initial data are at low and critical energy levels. In Section 4, based on the arbitrary high initial energy, we prove the finite time blowup of the solution as an interesting part in this paper.

Setup and notations
Let T * (u 0 ) denote the maximal existence time of the solution with initial condi- We denote by · p the L p (Ω) norm for 1 < p < ∞, by · q,Γ the L q (Γ) norm and u H = (u, u) 1 2 H . We denote the Sobolev critical exponent of the imbedding H 1 (Ω) → Lr(Ω) bȳ We also recall the trace theorem (Theorem 5.8 in [1]) the continuous imbedding Hence we have the compact Sobolev constant for imbedding H 1 (Ω) → L p+1 (Ω) and the trace-Sobolev constant for imbedding H 1 (Ω) → L q+1 (Γ), which means that there exist S p+1 and S q+1 such that By the Sobolev imbedding theorem and the trace theorem, for the compact imbedding L p+1 (Ω) → L 2 (Ω) and L q+1 (Γ) → L 2 (Γ), we can get [1] (4) 0 < C 1 = min We define the energy functional J(u) and the Nehari functional I(u) By multiplying (1) by u t (t) and integrating by parts, we get d dt i.e., All nontrivial stationary solutions belong to Nehari manifold N defined by and N separates two unbounded sets The mountain-pass level d is characterized as We also consider the sublevels of J and we introduce the stable set W and the unstable set V defined by Then, the mountain-pass level d defined in (9) may also be characterized as d = min u∈N J(u).

Global existence and blow up of solutions for J(u 0 ) ≤ d
In this section, we show global existence and blow up of solutions when J(u 0 ) ≤ d with potential well method and the classical concavity method.
We first give the following elementary statement.
Next, we give a global existence theorem for weak solutions of problem (1) in the sence of the Definition 2.1.

Theorem 3.2. (Global existence of solutions for
Proof. By (8), it is derived that the map J is decreasing respect to t. We can conclude u(t) ∈ W from I(u 0 ) > 0 for any t ∈ [0, T * (u 0 )). By contradictory arguments, we can suppose that there exists a first timet ∈ (0, T * (u 0 )) making u(t) ∈ N . From (9), we see that which is self-contradictory. Thus there holds u(t) ∈ W for any t ∈ [0, T * (u 0 )). Lemma 3.1 together with the inequality (8) implies that there exists an m > 1 satisfies then we obtain By (3) and (4), we obtain and Hence, we conclude the corresponding results. Now, we show blow-up of solutions by potential well method and the classical concavity method similarly as in the proofs of corresponding results in [2,18]. Before the blow up theorem, we give a basic lemma which implies that the initial datum in N − can generate blow up solutions.
Proof. Multiplying (1) by u(t) and integrate the resultant equation with respect to x over Ω we obtain , for all t ∈ [0, T * (u 0 )). This completes the proof. Now, we arrive at a blow up result for solutions of (1). In our proof, we first prove the invariance of the unstable set V , which improves the processing of blow up results in [2,18]. Proof. The proof is based on the argument by contradiction. We assume that T * (u 0 ) = ∞. By (8), we know that the map J is decreasing respect to t. Then if I(u 0 ) < 0 holds, we have u(t) ∈ V for all t ∈ [0, T * (u 0 )). Indeed, if it was not the case, there would exist a first timet ∈ (0, T * (u 0 )) such that u(t) ∈ N , i.e., I(u(t)) = 0. Then we know that I(u) < 0 for 0 ≤ t <t and I(u) > 0 for t < t < T * (u 0 ). By the variational characterization (9) and (8), whose contradiction directly gives u(t) ∈ V for all t ∈ [0, T * (u 0 )). Now, we consider M : [0, T * (u 0 )) → R + defined by then M (t) = u(t) 2 2 + u(t) 2 2,Γ , and Since I(u) < 0, we have M (t) > 0. By the proof of Lemma 3.1 in [11], we obtain where ε, c are positive constants and δ is defined as Using Cauchy-Schwarz inequality, we obtain Therefore, we obtain Observe that we have and there exists a t 1 > t 0 such that when t > t 1 , Thus the function M (t) − δ 4 is concave for t > t 1 , and where θ = δ 4 > 0, which indicates that M (t) −θ hits zero in finite time, then there exists a T 1 ∈ [0, T * (u 0 )) such that This completes the proof.
From Theorem 3.2 and Theorem 3.4, we can obtain a sharp condition for global existence of solutions for problem (1) with J(u 0 ) ≤ d as follows.
Then the solutions of problem (1) blow up in finite time.
Proof. We will prove this theorem by two steps.
Step II. We prove the blow up results now. As we discussed in Theorem 3.4, we assume T * (u 0 ) = ∞ and consider M : [0, T * (u 0 )) → R + defined by