Special Issues

Model of tumour angiogenesis -- analysis of stability with respect to delays

  • Received: 01 March 2012 Accepted: 29 June 2018 Published: 01 December 2012
  • MSC : Primary: 34K11, 34K13, 34K18, 34K20, 49K25; Secondary: 92B05, 93C23.

  • In the paper we consider the model of tumour angiogenesis process proposed by Bodnar&Foryś (2009). The model combines ideas of Hahnfeldt et al. (1999) and Agur et al. (2004) describing the dynamics of tumour, angiogenic proteins and effective vessels density. Presented analysis is focused on the dependance of the model dynamics on delays introduced to the system. These delays reflect time lags in the proliferation/death term and the vessel formation/regression response to stimuli.It occurs that the dynamics strongly depends on the model parameters and the behaviour independent of the delays magnitude as well as multiple stability switches with increasing delay can be obtained.

    Citation: Marek Bodnar, Monika Joanna Piotrowska, Urszula Foryś, Ewa Nizińska. Model of tumour angiogenesis -- analysis of stability with respect to delays[J]. Mathematical Biosciences and Engineering, 2013, 10(1): 19-35. doi: 10.3934/mbe.2013.10.19

    Related Papers:

    [1] Yitian Wang, Xiaoping Liu, Yuxuan Chen . Semilinear pseudo-parabolic equations on manifolds with conical singularities. Electronic Research Archive, 2021, 29(6): 3687-3720. doi: 10.3934/era.2021057
    [2] Yaning Li, Yuting Yang . The critical exponents for a semilinear fractional pseudo-parabolic equation with nonlinear memory in a bounded domain. Electronic Research Archive, 2023, 31(5): 2555-2567. doi: 10.3934/era.2023129
    [3] Mingyou Zhang, Qingsong Zhao, Yu Liu, Wenke Li . Finite time blow-up and global existence of solutions for semilinear parabolic equations with nonlinear dynamical boundary condition. Electronic Research Archive, 2020, 28(1): 369-381. doi: 10.3934/era.2020021
    [4] Jun Zhou . Initial boundary value problem for a inhomogeneous pseudo-parabolic equation. Electronic Research Archive, 2020, 28(1): 67-90. doi: 10.3934/era.2020005
    [5] Qianqian Zhu, Yaojun Ye, Shuting Chang . Blow-up upper and lower bounds for solutions of a class of higher order nonlinear pseudo-parabolic equations. Electronic Research Archive, 2024, 32(2): 945-961. doi: 10.3934/era.2024046
    [6] Fanqi Zeng, Wenli Geng, Ke An Liu, Boya Wang . Differential Harnack estimates for the semilinear parabolic equation with three exponents on $ \mathbb{R}^{n} $. Electronic Research Archive, 2025, 33(1): 142-157. doi: 10.3934/era.2025008
    [7] Yang Cao, Qiuting Zhao . Initial boundary value problem of a class of mixed pseudo-parabolic Kirchhoff equations. Electronic Research Archive, 2021, 29(6): 3833-3851. doi: 10.3934/era.2021064
    [8] Milena Dimova, Natalia Kolkovska, Nikolai Kutev . Global behavior of the solutions to nonlinear Klein-Gordon equation with critical initial energy. Electronic Research Archive, 2020, 28(2): 671-689. doi: 10.3934/era.2020035
    [9] Lianbing She, Nan Liu, Xin Li, Renhai Wang . Three types of weak pullback attractors for lattice pseudo-parabolic equations driven by locally Lipschitz noise. Electronic Research Archive, 2021, 29(5): 3097-3119. doi: 10.3934/era.2021028
    [10] Hui Yang, Futao Ma, Wenjie Gao, Yuzhu Han . Blow-up properties of solutions to a class of $ p $-Kirchhoff evolution equations. Electronic Research Archive, 2022, 30(7): 2663-2680. doi: 10.3934/era.2022136
  • In the paper we consider the model of tumour angiogenesis process proposed by Bodnar&Foryś (2009). The model combines ideas of Hahnfeldt et al. (1999) and Agur et al. (2004) describing the dynamics of tumour, angiogenic proteins and effective vessels density. Presented analysis is focused on the dependance of the model dynamics on delays introduced to the system. These delays reflect time lags in the proliferation/death term and the vessel formation/regression response to stimuli.It occurs that the dynamics strongly depends on the model parameters and the behaviour independent of the delays magnitude as well as multiple stability switches with increasing delay can be obtained.


    In this paper, we consider the following initial boundary value problem of semilinear pseudo-parabolic equations with conical degeneration

    $ utΔButΔBu=|u|p1u, (xb,˜x)intB,t>0,
    $
    (1.1)
    $ u(xb,˜x,0)=u0,                 (xb,˜x)intB,
    $
    (1.2)
    $ u(0,˜x,t)=0,                    (0,˜x)B,t0,
    $
    (1.3)

    where $ u_{0}\in \mathcal{H}^{1,\frac{n}{2}}_{2,0}(\mathbb{B}) $, $ 1<p<\frac{n+2}{n-2} $ and $ n = l+1\geq2 $ is the dimension of $ \mathbb{B} $, $ l\in\mathbb{N} $. Here the domain $ \mathbb{B} = [0,1)\times X $ is regarded as the local model near the conical singularity on conical singular manifolds, where $ X\subset\mathbb{R}^{l} $ is a closed compact $ C^{\infty} $ manifold. Denoting the interior of $ \mathbb{B} $ by $ \text{int}\mathbb{B} $ and the boundary of $ \mathbb{B} $ by $ \partial\mathbb{B}: = \{0\}\times X $. We use the coordinates $ (x_b, \widetilde{x}): = (x_b, x_1, x_2, ..., x_l)\in\mathbb{B} $ for $ 0\le x_b<1 $, $ \widetilde{x}\in X $ near $ \partial\mathbb{B} $. The conical Laplacian operator is defined as

    $ \Delta_{\mathbb{B}} = \nabla^{2}_{\mathbb{B}} = (x_b\partial_{x_b})^{2}+\partial^{2}_{x_{1}}+...+\partial^{2}_{x_{l}}, $

    which is the totally characteristic degeneracy operators on a stretched conical manifold, and $ \nabla_{\mathbb{B}} = (x_b\partial_{x_b},\partial_{x_{1}},...,\partial_{x_{l}}) $ denotes the corresponding gradient operator with conical degeneracy on the boundary $ \partial\mathbb{B} $. In particular, we intend to investigate problem (1.1)-(1.3) in the weighted Mellin-Sobolev spaces $ \mathcal{H}^{1,\frac{n}{2}}_{2,0}(\mathbb{B}) $, and the definition of such distribution spaces will be introduced in Section 2.

    The classical pseudo-parabolic equation

    $ utΔutΔu=|u|p1u, xΩ,t>0,
    $
    (1.4)

    defined on a bounded domain $ \Omega\subset\mathbb{R}^n $ with smooth boundary appeared in various physical and biological phenomena. For example, taking $ u $ as the flow velocity, the homogeneous form of the model equation (1.4) was introduced to study the incompressible simple fluids with fading memory and the non-steady flow with the Rivlin-Ericksen tensors [47,16]. One can also know more about other applications by referring to [23,24,5].

    It is well known that equation (1.4) in the domains contained in classical Euclidean space with regular boundary has been well investigated. Cao et al. [9] considered the Cauchy problem of following model

    $ \frac{\partial}{\partial t}u-k\frac{\partial \Delta u}{\partial t} = \Delta u+u^{p}, \ x\in \mathbb{R}^n, t > 0, $

    and obtained the critical global existence exponent and the critical Fujita exponent by integral representation and contraction mapping principle. Subsequently, its uniqueness was proved by Khomrutai in [27] for the case $ 0<p<1 $. Furthermore, Li and Du [32] considered the Cauchy problem of

    $ u_t-k\Delta u_t = \Delta u+|x|^\sigma u^p,\ x\in \mathbb{R}^n, t > 0, $

    and achieved the global existence and blowup in finite time of solutions with the critical Fujita exponent and the second critical exponent respectively. They also showed that the inhomogeneous term $ |x|^{\sigma} $ affects the decay asymptotic behavior of solutions and accelerates the blowup of solutions. Khomrutai [28] studied the Cauchy problem of sublinear pseudo-parabolic equation

    $ \partial_t u-\Delta \partial_t u = \Delta u+V(x,t)u^p,\ x\in \mathbb{R}^n, t > 0, $

    where $ V(x,t)\sim \lambda(t)|x|^\sigma $ is a non-autonomous and unbounded potential function with $ 0<p<1 $, and established the global existence of solutions by approximation and monotonicity argument. They also derived the precise grow-up rate of solutions and critical growth exponent. In order to figure out the effects of small perturbation on the dynamical of diffusion and reaction, Cao and Yin [8] considered the following Cauchy problem

    $ \frac{\partial}{\partial t}u-k\frac{\partial \Delta u}{\partial t} = \Delta u+u^{p}+f(x), \ x\in \mathbb{R}^n, t > 0, $

    and revealed that small perturbation may develop large variation of solutions as time evolves. We also recommend that the reader refer to [43] to learn more about the effects of the power index of nonlinearity on the dynamical behavior of the solution. Different from above studies that focus on the influence of the nonlinearities especially the power index on the global well-posedness of the solution, [50,49,36] comprehensively studied equation (1.4) by considering the influences of the initial data on the global well-posedness and corresponding properties of solution. Depending on the potential well depth, they classified the initial data to subcritical initial energy level $ J(u_0)<d $, critical initial energy level $ J(u_0) = d $ and supcritical initial energy level $ J(u_0)>d $, and proved the global existence, finite time blow up and asymptotic behavior of solutions with $ J(u_0)\le d $. Moreover, thanks to the comparison principle, the global existence and nonexistence of solutions were also obtained at supcritical initial energy level $ J(u_0)>d $. When the nonlinear effects are dominated by the logarithmic term, Chen [14] investigated the following nonlinear pseudo-parabolic equation, i.e.,

    $ \partial_t u-\Delta u-\Delta \partial_t u = u\ln|u|,\ x\in \Omega, t > 0 $

    and proved the global existence and the finite time blow up of solutions under the subcritical and critical initial energy case, respectively. Focusing on the high initial energy level, Xu and Wang et al [51] studied the problem proposed in [50] and gave a sufficient condition on initial data leading to blow up in finite time by the potential well method, at the same time, they also estimated the upper bound of the blowup time. As an important method to reveal the influence of initial data on the dynamical behavior of solutions, the potential well theory can be applied not only to the study of the problem of parabolic equations, but also to the study of the problem for various types of nonlinear evolution equations or systems. Xu and Lian et al [48] investigated the global well-posedness of solutions for coupled parabolic systems in the variational framework, and the initial data leading to the global existence or finite time blow up of the solution are divided. Chen and Xu [15] considered a class of damped fourth-order nonlinear wave equations with logarithmic sources. By examining the effect of weak nonlinear sources on the blow up of the solution, they revealed the confrontation mechanism between the damping structure and the nonlinear source and found the initial data that caused the solution to blow up in infinite time. For related results of polynomial nonlinear sources, we refer to [52]. Furthermore, we suggest the readers refer to [53] for the study of high order nonlinear wave equations, [54,34] for the study of damped nonlinear wave equation problems using improved potential well methods at high initial energy levels, and so on, which are representative recent results, of course we can not list all of the results obtained by the potential well theory here due to the huge amount.

    Actually, geometric singularities have attracted considerable interest and have become the focus of extensive physical and mathematical research in recent years. To find static solutions of Einstein's equations coupled to brane sources, Michele [39] studied the generalizations of the so-called "football" shaped extra dimensions scenario to include two codimension branes, which can be transformed into the mathematical problem of solving the Liouville equation with singularities, where the function space he constructed can be described as a sphere with conical singularities at the brane locations. After that some cone solitons (in the case of compact surfaces) were found by Hamilton [25], where cone singularities also arise naturally on the study of such kind of solitons. Not only being widely applied in cosmology and physics, the cone singular manifold itself also brings a lot of interesting topics to pure mathematics, such as the analytic proof of the cobordism theorem [31]. Conical singularities become a hotspot mainly for reasons of two aspects. Firstly, a manifold with conical singularities is one of the most fundamental stratified spaces and the investigation on it is motivated by the desire of understanding the dynamic behavior of the solution of nonlinear evolution equations on such stratified space. Topologically these spaces are of iterated cone type, in which, due to the conical singularity, the classical differential operator cannot be applied to such manifolds. Secondly, the methods developed for the domains with smooth boundaries cannot be directly applied to domains with singularities. It is a challenge and also an interesting problem in the community to restitute the conclusions established on the smooth domain for the problems defined on the conical space.

    Inspired by above, it is natural to bring some ideas and develop techniques to establish a comprehensive understanding of operator theory on the manifolds with conical singularities, which was first explored by Kondrat'ev in [29] by introducing the celebrated Mellin-Sobolev spaces $ \mathcal{H}^{s,\gamma}_{p}(\mathbb{B}) $ as the work space for the partial differential equations, then the theory on the conically degenerate pseudo-differential operator and the weighted Sobolev space on the conical manifolds were summarized by Schulze and Egorov in [45] and [18]. With the development of the study related to the singularity problem, including the study on the partial differential equation on manifolds with conical singularities, there occurs a large number of related results about various kinds of initial boundary value problems for evolution equations. For example, when using the porous medium equation to describe the flow of a substance in a porous medium material, the medium usually shows various irregular shapes in different regions, among which the most essential case is that the boundary of region includes the conical singularities. In order to discuss such situation for the porous medium equation, Lian and Liu [33] studied the initial-boundary value problem of the porous medium equation

    $ u_t = \Delta u^m+V(x)u^p,\ x\in D, t > 0 $

    in a cone $ D = (0,\infty)\times\mathbb{S}^{n-1} $, and they proved that if the nonlinear power index $ p $ belongs to a suitable interval then the problem has no global non-negative solutions for any non-negative initial datum $ u_0 $ unless $ u_0\equiv0 $. Beside that, they also showed that this problem has global solutions for some $ u_0\ge0 $ when the nonlinear power index $ p $ is out of that interval. Considering the following porous medium equation

    $ utΔum=f(u,t), xD,t>0
    $
    (1.5)

    Roidos and Schrohe [44] obtained some results about the existence, uniqueness and maximal $ L^p $-regularity of a short time solution and showed the short time asymptotic behavior of the solution near the conical point. In addition, the behavior for large times of non-negative solutions to the linear Dirichlet problem of equation (1.5) in cone-like domains was obtained by Andreucci [2]. For more related work, we refer to Laptev [19,30] for the high-order evolution inequalities in cone-like domains and Mazzeo et al [38] for the Ricci flow on asymptotically conical surfaces.

    As a differential operator reflecting the diffusion form on the conical singular manifold, the emergence of the cone operator $ \Delta_{\mathbb{B}} $ brings about the first problem that needs to be solved urgently is the existence of solution of the differential equation. Unlike the usual smooth domain, the appearance of cone singularities makes the classical embedding theorem fail, which baffles the proof of the existence theorem. Therefore, in order to overcome the difficulty and obtain the existence of the weak solution by variational method in $ \mathcal{H}^{1,\frac{n}{2}}_{2,0}(\mathbb{B}) $, Chen et al [12] considered the nonlinear Dirichlet boundary value problems on manifolds with conical singularities

    $ ΔBu=|u|p1u, xintB,
    $

    and obtained the existence of non-trivial weak solution. Moreover, they also established the well-known cone Sobolev inequality and Poincar$ \acute{\rm e} $ inequality in the weighted Sobolev spaces. Subsequently, Chen et al [13] extended this result to the nonlinear elliptic equations with a general nonlinear source and the critical Sobolev exponents respectively. These works describe the mechanism by which cone differential operators act on the regularity of solutions of differential equations. Of course, differential operators do more than affect the regularity of solutions. The influence of degenerate differential operators on the solutions of nonlinear elliptic equations is also reflected in many other aspects such as the eigenvalue problems and the existence of multiple solutions. Far from being complete, we refer the readers to [22,42,40,41,3] and references therein. It is worth to mention here that the change of the variational structure of equations caused by the non-classical forms of differential operators can bring big challenges to the application of variational techniques [21,7]. Further more, when utilizing the variational techniques the geometrical feature needs to be taken into consideration [20]. In fact we need to overcome the difficulties mentioned above in the application of variational techniques to the parabolic version.

    In order to understand the effect of different initial data belonging to $ \mathcal{H}^{1,\frac{n}{2}}_{2,0}(\mathbb{B}) $ on the well-posedness of the solution, Chen and Liu [11] investigated the following conical degenerate parabolic equation on the conical manifold

    $ utΔBu=|u|p1u, xintB,t>0,
    $

    and obtained not only the existence of global solutions with exponential decay, but also the blow up in finite time under low initial energy level and critical initial energy level. Recently, Mohsen and Morteza [1] studied the semilinear conical-degenerate parabolic equation

    $ tuΔBu+V(x)u=g(x)|u|p1u, xintB,t>0,
    $

    where $ V(x)\in L^{\infty}(\text{int}\mathbb{B})\cap C(\text{int}\mathbb{B}) $ is the positive potential function and $ g\in L^{\infty}(\text{int}\mathbb{B})\cap C(\text{int}\mathbb{B}) $ is a non-negative weighted function. Then they got the results of global solutions with exponential decay and showed the finite time blow up of solutions on manifolds with conical singularities under subcritical initial energy level $ J(u_0)< d $.

    Our goal is to obtian local and global well-posedness of solutions to problem (1.1)-(1.3). In details, by the potential well method, we classify the initial datum and give a threshold condition, which tells us that as long as the initial datum falls into the specified invariant set and the initial energy satisfies $ J(u_0)\le d $, the solution exists as a global one or blow up in a finite time. Moreover, for global solutions, we give an estimation of the asymptotic behavior of them. For the solution that blows up in finite time, we estimate the lower bound of the blowup time. Different from previous proofs in the potential well framework, we integrate the proofs of the sub-critical and critical initial energy cases as a whole part, which makes the results much more concise. Last but not least, we also investigate the finite time blow up of solutions to problem (1.1)-(1.3) at high initial energy levels. By giving a sufficient condition tied to the initial data in weighted Sobolev space $ \mathcal{H}^{1,\frac{n}{2}}_{2,0}(\mathbb{B}) $, the theorem can not only explain what kind of initial data cause the solution to blow up in finite time, but also get the corresponding upper bound estimate of the blowup time.

    The content of this paper is arranged as follows. In Section 2, we give the geometric description of conical singularities, the definitions of the weighted Sobolev spaces and several propositions of the manifold with conical singularities. Then we introduce the potential well structure for problem (1.1)-(1.3) and prove a series of corresponding properties in Section 3. Section 4 is concerned with the local existence and uniqueness theory. In Section 5, we not only prove the invariant manifolds, global existence and decay of solutions to describe the corresponding asymptotic behavior, but also prove the finite time blow up of solutions and estimate the lower bound of blowup time in Theorem 5.2. In Section 6, we give a sufficient condition to obtain the finite time blow up of the solution in Theorem 6.4. In particular, we also estimate the upper bound of the blowup time of the solution. Finally, some remarks and acknowledgements about this paper are given.

    In this section, main definitions of the manifold with conical singularities together with a brief description of its properties are given, for more details we refer to [45,18] and the references therein. Furthermore, we introduce some functional inequalities on the manifold with conical singularity, for more applications of these inequalities one can refer to [12,13].

    For $ l\ge2 $, let $ X\subset \mathbb{S}^{l} $ be a bounded open set in a unit sphere of $ \mathbb{R}^{1+l}_{\hat{x}}, $ and define the straight cone $ X^{\Delta} $ by

    $ XΔ={ˆxR1+l | ˆx=0 or ˆx|ˆx|X}.
    $

    The polar coordinates $ (\rho,\theta) $ gives us a description of $ X^{\Delta}\backslash\{0\} $ in the form $ X^{\wedge} = \mathbb{R}_+\times X $, which is called the open stretched cone with the base $ X $, and $ \{0\}\times X $ is the boundary of $ X^{\wedge} $.

    Now we extend it to a more general situation by describing the singular space associated with a manifold with conical singularities. A finite dimensional manifold $ \mathcal{B} $ with finite conical singularities $ \mathcal{B}_0 = \{b_1, b_2, ..., b_N\} $ has the following two properties:

    a) $ \mathcal{B}-\mathcal{B}_0 $ is a $ C^{\infty} $ manifold.

    b) Any $ b_i\in \mathcal{B}_0 $ ($ i = 1,2,...,N $) has an open neighborhood $ G $ in $ \mathcal{B} $, such that there is a homeomorphism $ \chi: G\rightarrow X^{\Delta} $ for some closed compact $ C^{\infty} $ manifold $ X = X(b_i) $, and $ \varphi $ restricts a diffeomorphism $ \varphi': G\backslash\{0\}\rightarrow X^{\wedge} $.

    By above assumptions we can define the stretched manifold associated with $ \mathcal{B} $. Let $ \mathbb{B} $ be a $ C^{\infty} $ manifold with compact $ C^{\infty} $ boundary $ \partial\mathbb{B}\cong\cup_{b_i\in\mathcal{B}_0}X = X(b_i) $ for which there exists a diffeomorphism

    $ \mathcal{B}-\mathcal{B}_0\cong\mathbb{B}-\partial\mathbb{B}: = \text{int}\mathbb{B}. $

    Furthermore, the restriction of this diffeomorphism to $ G_i-b_i $ is also a diffeomorphism $ G_i-b_i\cong U_i-X(b_i) $, where $ G_i\subset\mathcal{B} $ is an open neighborhood near $ b_i $, and $ U_i\subset\mathbb{B} $ is a collar neiborhood with $ U_i\cong[0,1)\times X(b_i). $

    The typical differential operators on a manifold with conical singularities, i.e., the so-called Fuchsian type operators in a neighborhood of $ x_b = 0 $, have the following form

    $ A:=xμbμk=0ak(xb)(xbxb)k
    $

    with $ (x_b, \widetilde{x})\in X^{\wedge} $ and $ a_k(x_b)\in C^{\infty}(\overline{\mathbb{R}}_+,\text{Diff}^{\mu-k}(X)) $[45,18]. For such singular operators, we introduce the following cone weighted Sobolev space.

    Definition 2.1 (The space $ \mathcal{H}^{m,\gamma}_{p}(\mathbb{R}^{n}_{+}) $). For $ (x_b, \widetilde{x})\in \mathbb{R}_{+}\times\mathbb{R}^{l}: = \mathbb{R}^{n}_{+} $, $ m\in\mathbb{N} $, $ \gamma\in\mathbb{R} $ and $ 1<p<\infty $, assume $ u(x_b, \widetilde{x})\in \mathcal{D}'(\mathbb{R}^{n}_{+}) $, where the dual $ (C^{\infty}_0(\mathbb{R}^{n}_{+}))' = \mathcal{D}'(\mathbb{R}^{n}_{+}) $ is the space of all distributions in $ \mathbb{R}^{n}_{+} $. We denote the spaces

    $ \mathcal{H}^{m,\gamma}_{p}(\mathbb{R}^{n}_{+}): = \left\{u\in \mathcal{D}'(\mathbb{R}^{n}_{+})\ \bigg|\ x_b^{\frac{N}{p}-\gamma}(x_b\partial_{x_b})^{k}\partial^{\alpha}_{\widetilde{x}}u\in L^{p}(\mathbb{R}^{n}_{+})\right\} $

    for any $ k\in \mathbb{N}, $ multi-index $ \alpha \in \mathbb{N}^{n} $ with $ k+|\alpha|\leq m. $

    Therefore, $ \mathcal{H}^{m,\gamma}_{p}(\mathbb{R}^{n}_{+}) $ is a Banach space with the following norm

    $ \|u\|_{\mathcal{H}^{m,\gamma}_{p}(\mathbb{R}^{n}_{+})} = \sum\limits_{k+|\alpha|\leq m}\left(\int_{\mathbb{R}_+}\int_{\mathbb{R}^{N}}x_b^{N}|x_b^{-\gamma}(x_b\partial_{x_b})^{k}\partial^{\alpha}_{\widetilde{x}}u(x_b,\widetilde{x})|^{p}\frac{{\rm d}x_b}{x_b}{\rm d}\widetilde{x}\right)^{\frac{1}{p}}. $

    Definition 2.2 ([45] The space $ \mathcal{H}^{m,\gamma}_{p,0}(\mathbb{B}) $). We give the definition of $ \mathcal{H}^{m,\gamma}_{p,0}(\mathbb{B}) $ as follows

    (ⅰ) Let $ X $ be a closed compact $ C^{\infty} $ manifold covered by open neighborhoods $ \mathcal{O} = \{O_1,...,O_N\} $ of the coordinate. Let the subordinate partition of unity $ \{\psi_1,...,\psi_N\} $ be fixed and charts $ \chi_j:O_j\rightarrow \mathbb{R}^{n} $, $ j = 1,...,N $. Then we say that $ u\in\mathcal{H}^{m,\gamma}_{p}(X^{\wedge}) $ if and only if $ u\in\mathcal{D}'(X^{\wedge}) $, whose norm is defined as follows

    $ \|u\|_{\mathcal{H}^{m,\gamma}_{p}(X^{\wedge})} = \left(\sum\limits_{j = 1}^{N}\|(1\times\chi^{*}_{j})^{-1}\psi_ju\|^{p}_{\mathcal{H}^{m,\gamma}_{p}(\mathbb{R}^{n}_{+})}\right)^{\frac{1}{p}}, $

    where $ 1\times\chi^{*}_{j}: C^{\infty}_0(\mathbb{R}_{+}\times\mathbb{R}^{n})\rightarrow C^{\infty}_0(\mathbb{R}_{+}\times O_j) $ is the pull-back function with respect to $ 1\times\chi_{j}: \mathbb{R}_{+}\times O_j\rightarrow \mathbb{R}_{+}\times\mathbb{R}^{n} $. And the closure of $ C^{\infty}_{0}(X^{\wedge}) $ in $ \mathcal{H}^{m,\gamma}_{p}(X^{\wedge}) $ is denoted as $ \mathcal{H}^{m,\gamma}_{p,0}(X^{\wedge}) $.

    (ⅱ) Let $ \mathbb{B} $ be the stretched cone manifolds. Then $ \mathcal{H}^{m,\gamma}_{p}(\mathbb{B}) $ denotes the subspace of all $ u\in W^{m,p}_{{\rm loc}}(\text{int}\mathbb{B}) $ such that

    $ \mathcal{H}^{m,\gamma}_{p}(\mathbb{B}) = \left\{u\in W^{m,p}_{{\rm loc}}(\text{int}\mathbb{B})\ \bigg|\ \omega u\in \mathcal{H}^{m,\gamma}_{p,0}(X^{\wedge})\right\} $

    for any cut-off function $ \omega(x_b) $ supported by a collar neighborhood of $ x_b\in(0,1) $. Moreover, the subspace $ \mathcal{H}^{m,\gamma}_{p,0}(\mathbb{B}) $ of $ \mathcal{H}^{m,\gamma}_{p}(\mathbb{B}) $ is defined as follows

    $ \mathcal{H}^{m,\gamma}_{p,0}(\mathbb{B}) = [\omega]\mathcal{H}^{m,\gamma}_{p,0}(X^{\wedge})+[1-\omega]W^{m,p}_{0}(\text{int}\mathbb{B}), $

    where the classical Sobolev space $ W^{m,p}_{0}(\text{int}\mathbb{B}) $ denotes the closure of $ C^{\infty}_{0}(\text{int}\mathbb{B}) $ in $ W^{m,p}(\widetilde{\mathbb{B}}) $ for $ \widetilde{\mathbb{B}} $ as a closed compact $ C^{\infty} $ manifold of dimension $ n $ containing $ \mathbb{B} $ as a submanifold with boundary.

    Proposition 1 (Cone Sobolev inequality [12]). Assuming $ 1\le p<n,\ \ \frac{1}{p^{*}} = \frac{1}{p}-\frac{1}{n} $ then for all $ u(x_b, \widetilde{x})\in C^{\infty}_{0}(\mathbb{R}^{n}_{+}) $ the following estimate

    $ uLγp(Rn+)c1(xbxb)uLγp(Rn+)+(c1+c2)ni=1xiuLγp(Rn+)+c2c3uLγp(Rn+)
    $
    (2.1)

    holds, where $ \gamma,\gamma^{*} \in \mathbb{R} $ are constants with $ \gamma^{*} = \gamma-1, $ and

    $ c_{1} = \frac{(n-1)p}{n(n-p)}, $
    $ c_{2} = \frac{(n-1)p\left|(n-1)-\frac{(\gamma-1)(n-1)p}{n-p}\right|^{\frac{1}{n}}}{n(n-p)} $

    and

    $ c_{3} = \frac{(n-1)p}{n-p}. $

    Moreover, for $ u(x_b, \widetilde{x})\in\mathcal{H}^{1,\gamma}_{p,0}(\mathbb{R}^{n}_{+}), $ there holds

    $ uLγp(Rn+)CuH1,γp,0(Rn+),
    $

    where $ C_* = c_{1} +c_{2}. $

    Proposition 2 (Cone Poincar$ \acute{\rm e} $ inequality [12]). Let $ \mathbb{B} = [0,1)\times X \subset \mathbb{R}^{n}_{+} $ is bounded and $ 1<p<\infty $, $ \gamma $ is a constant. If $ u(x_b, \widetilde{x})\in \mathcal{H}^{1,\gamma}_{p,0}(\mathbb{B}) $ then

    $ \|u(x_b, \widetilde{x})\|_{L^{\gamma}_{p}(\mathbb{B})}\leq c\|\nabla_{\mathbb{B}}u(x_b, \widetilde{x})\|_{L^{\gamma}_{p}(\mathbb{B})}, $

    where the optimal constant $ c $ depends only on $ \mathbb{B} $ and $ p $.

    Proposition 3 (Cone Hölder inequality [13]). If $ u\in L^{\frac{n}{p}}_{p}(\mathbb{B}),v\in L^{\frac{n}{p'}}_{p'}(\mathbb{B}) $ with $ p,p'\in(1,\infty) $ and $ \frac{1}{p}+\frac{1}{p'} = 1, $ then we have the following cone type Hölder inequality

    $ B|uv|dxbxbd˜x(B|u|pdxbxbd˜x)1p(B|v|pdxbxbd˜x)1p.
    $

    Proposition 4 (Eigenvalue problem [13]). There exist $ 0<\lambda_1<\lambda_2\le\lambda_3\le...\le\lambda_k\le...\rightarrow \infty $, such that for each $ k\ge1 $, the following Dirichlet problem

    $ {ΔBψk=λkψk,  (xb,˜x)intB,ψk=0,  (xb,˜x)B,
    $

    admits a non-trivial solution in $ \mathcal{H}^{1,\frac{n}{2}}_{2,0}(\mathbb{B}) $. Moreover, $ \{\psi_k\}_{k\ge1} $ constitute an orthonormal basis of the Hilbert space $ \mathcal{H}^{1,\frac{n}{2}}_{2,0}(\mathbb{B}) $.

    In order to state our main results, we shall introduce some definitions and notations as follows. In the sequel, for convenience we denote

    $ (u,v)_{\mathbb{B}} = \int_{\mathbb{B}} uv \frac{{\rm d}x_b}{x_b}{\rm d}\widetilde{x}\ \ \ \text{and} \ \ \ \|u\|_{L^{\frac{n}{p}}_{p}(\mathbb{B})} = \left(\int_{\mathbb{B}}|u|^{p}\frac{{\rm d}x_b}{x_b}{\rm d}\widetilde{x}\right)^{\frac{1}{p}}. $

    Furthermore, we denote $ \|\cdot\|_{\mathcal{H}^{1,\frac{n}{2}}_{2,0}(\mathbb{B})}: = \left((\nabla_{\mathbb{B}} \cdot, \nabla_{\mathbb{B}}\cdot)_{\mathbb{B}}+(\cdot,\cdot)_{\mathbb{B}}\right)^{\frac{1}{2}} $. Of course, the norm $ \|\cdot\|_{\mathcal{H}^{1,\frac{n}{2}}_{2,0}(\mathbb{B})} $ is equivalent to the norm $ \|\nabla\cdot\|_{L^{\frac{n}{2}}_{2}(\mathbb{B})} $, which can be stemmed from Proposition 2.

    Throughout the paper, $ C $ will be used to denote various positive constants, whose value may change from line to line, and its dependence on other variables will be emphasised only if needed.

    Definition 3.1. (Weak solution). A function $ u $ is called a weak solution to problem (1.1)-(1.3) on $ [0,T]\times \mathbb{B} $, if it satisfies

    (ⅰ) $ u\in L^{\infty}(0,T;\mathcal{H}^{1,\frac{n}{2}}_{2,0}(\mathbb{B})) $ and $ u_{t}\in L^{2}(0,T;\mathcal{H}^{1,\frac{n}{2}}_{2,0}(\mathbb{B})); $

    (ⅱ) $ u(0) = u_0 $;

    (ⅲ) for any $ \eta\in\mathcal{H}^{1,\frac{n}{2}}_{2,0}(\mathbb{B}) $, the identity

    $ \int_{\mathbb{B}}u_{t}(t) \eta\frac{{\rm d}x_b}{x_b}{\rm d}\widetilde{x}+\int_{\mathbb{B}}\nabla_{\mathbb{B}}u_{t}(t) \nabla_{\mathbb{B}}\eta\frac{{\rm d}x_b}{x_b}{\rm d}\widetilde{x}+\int_{\mathbb{B}}\nabla_{\mathbb{B}}u(t)\nabla_{\mathbb{B}}\eta\frac{{\rm d}x_b}{x_b}{\rm d}\widetilde{x} $
    $ = \int_{\mathbb{B}}|u(t)|^{p-1}u(t)\eta \frac{{\rm d}x_b}{x_b}{\rm d}\widetilde{x} $

    holds for a.e. $ t\in[0,T] $.

    Let us introduce the following functionals on the cone Sobolev space $ \mathcal{H}^{1,\frac{n}{2}}_{2,0}(\mathbb{B}) $ as the potential energy functional

    $ J(u)=12B|Bu|2dxbxbd˜x1p+1B|u|p+1dxbxbd˜x
    $
    (3.1)

    and the so-called Nehari functional

    $ I(u)=B|Bu|2dxbxbd˜xB|u|p+1dxbxbd˜x.
    $
    (3.2)

    Then $ J(u) $ and $ I(u) $ are well-defined and belong to $ C^{1}(\mathcal{H}^{1,\frac{N}{2}}_{2,0}(\mathbb{B}),\mathbb{R}) $.

    The weak solution $ u(t) $ in Definition 3.1 satisfies the conservation of energy, i.e.,

    $ t0ut(τ)2H1,n22,0(B)dτ+J(u(t))=J(u0),   0t<T.
    $
    (3.3)

    By making use of the functionals above, we define the potential well depth $ d $ as follows

    $ d=infuNJ(u)>0,
    $
    (3.4)

    where the Nehari manifold

    $ N={uH1,n22,0(B) | I(u(t))=0,B|Bu(t)|2dxbxbd˜x0}
    $
    (3.5)

    separates the whole space $ \mathcal{H}^{1,\frac{n}{2}}_{2,0}(\mathbb{B}) $ into the following two unbounded manifolds

    $ N+={uH1,n22,0(B) | I(u(t))>0}
    $
    (3.6)

    and

    $ N={uH1,n22,0(B) | I(u(t))<0}.
    $
    (3.7)

    Furthermore, we introduce the following potential well

    $ W:=N+{0}
    $
    (3.8)

    and the outside of the corresponding potential well

    $ V:=N.
    $
    (3.9)

    Now, we give some corresponding properties of the potential well as follows.

    Lemma 3.2 (The properties of the energy functional $ J(u) $). Assume that $ u\in \mathcal{H}^{1,\frac{n}{2}}_{2,0}(\mathbb{B}) $ and $ \|\nabla_{\mathbb{B}}u\|_{L^{\frac{n}{2}}_{2}(\mathbb{B})}\neq0, $ we have

    (i) $ \lim_{\lambda\rightarrow0}j(\lambda) = 0 $ and $ \lim_{\lambda\rightarrow +\infty}j(\lambda) = -\infty, $ where $ j(\lambda): = J(\lambda u); $

    (ii) there exist a unique $ \lambda^{*} = \lambda^{*}(u)>0, $ such that $ j'(\lambda^{*}) = 0; $

    (iii) $ j(\lambda) $ is strictly increasing on $ 0\leq\lambda<\lambda^{*}, $ strictly decreasing on $ \lambda>\lambda^{*} $ and takes the maximum at $ \lambda = \lambda^{*}; $

    (iv) $ i(\lambda)>0 $ for $ 0\leq\lambda<\lambda^{*}, $ $ i(\lambda)<0 $ for $ \lambda>\lambda^{*} $ and $ i(\lambda^{*}) = 0, $ where $ i(\lambda): = I(\lambda u). $

    Proof. (ⅰ) From the definition of $ J(u), $ we know that

    $ j(λ)=J(λu)=λ22B|Bu|2dxbxbd˜xλp+1p+1B|u|p+1dxbxbd˜x,
    $

    which gives $ \lim_{\lambda\rightarrow0}j(\lambda) = 0 $ and $ \lim_{\lambda\rightarrow +\infty}j(\lambda) = -\infty. $

    (ⅱ) An easy calculation shows that

    $ j(λ)=λ(B|Bu|2dxbxbd˜xλp1B|u|p+1dxbxbd˜x).
    $
    (3.10)

    Then taking $ j'(\lambda) = 0 $ we obtain that

    $ λ=(B|Bu|2dxbxbd˜xB|u|p+1dxbxbd˜x)1p1>0.
    $

    (ⅲ) By a direct calculation, (3.10) gives $ j'(\lambda)>0, $ for $ 0<\lambda<\lambda^{*},\ j'(\lambda)<0 $ for $ \lambda^{*}<\lambda<\infty. $ Hence, the conclusion of (ⅲ) holds.

    (ⅳ) The conclusion follows from

    $ i(λ)=I(λu)=λ2B|Bu|2dxbxbd˜xλp+1B|u|p+1dxbxbd˜x=λj(λ).
    $

    Next we give the relationship between $ \|u\|_{\mathcal{H}^{1,\frac{n}{2}}_{2,0}(\mathbb{B})} $ and $ I(u) $ in the following lemma.

    Lemma 3.3 (The properties of the Nehari functional $ I(u) $). Suppose that $ u\in \mathcal{H}^{1,\frac{n}{2}}_{2,0}(\mathbb{B}) $ and $ r = \left(\frac{1}{(c^2+1)C^{p+1}_{*}}\right)^{\frac{1}{p-1}} $, where $ c $ and $ C_{*} $ are the optimal constants of the cone Poincar$ \acute{e} $ inequality and cone Sobolev inequality respectively.

    (i) If $ 0<\|u\|_{\mathcal{H}^{1,\frac{n}{2}}_{2,0}(\mathbb{B})}<r, $ then $ I(u)>0. $

    (ii) If $ I(u)<0, $ then $ \|u\|_{\mathcal{H}^{1,\frac{n}{2}}_{2,0}(\mathbb{B})}>r. $

    (iii) If $ I(u) = 0, $ then $ \|u\|_{\mathcal{H}^{1,\frac{n}{2}}_{2,0}(\mathbb{B})}\geq r $ or $ \|u\|_{\mathcal{H}^{1,\frac{n}{2}}_{2,0}(\mathbb{B})} = 0. $

    Proof. (ⅰ) From $ 0<\|u\|_{\mathcal{H}^{1,\frac{n}{2}}_{2,0}(\mathbb{B})}<r, $ we have

    $ B|u|p+1dxbxbd˜xCp+1up+1H1,n22,0(B)<Cp+1rp1u2H1,n22,0(B)=1c2+1u2H1,n22,0(B)Bu2Ln22(B).
    $

    Then by the definitions of $ r $ and $ I(u) $ we obtain that $ I(u)>0. $

    (ⅱ) It is easy to see that $ \|u\|_{\mathcal{H}^{1,\frac{n}{2}}_{2,0}(\mathbb{B})}\neq 0 $ by $ I(u)<0 $. Combining cone Poincar$ \acute{\rm e} $ inequality and cone Sobolev inequality, it follows that

    $ u2H1,n22,0(B)=B|Bu|2dxbxbd˜x+B|u|2dxbxbd˜x(c2+1)B|Bu|2dxbxbd˜x<(c2+1)B|u|p+1dxbxbd˜x(c2+1)Cp+1up+1H1,n22,0(B),
    $

    then we get

    $ uH1,n22,0(B)>(1(c2+1)Cp+1)1p1=r.
    $

    (ⅲ) If $ I(u) = 0 $ and $ \|u\|_{\mathcal{H}^{1,\frac{n}{2}}_{2,0}(\mathbb{B})}\neq 0 $, then by

    $ u2H1,n22,0(B)=B|Bu|2dxbxbd˜x+B|u|2dxbxbd˜x(c2+1)B|Bu|2dxbxbd˜x=(c2+1)B|u|p+1dxbxbd˜x(c2+1)Cp+1up+1H1,n22,0(B),
    $

    we get $ \|u\|_{\mathcal{H}^{1,\frac{n}{2}}_{2,0}(\mathbb{B})}\geq \left(\frac{1}{ (c^2+1)C^{p+1}_{*}}\right)^{\frac{1}{p-1}} = r. $

    The depth $ d $ can be estimated as follows.

    Lemma 3.4 (The potential well depth). Suppose that $ 1<p<\frac{n+2}{n-2} $ and $ d $ is defined as (3.4). Then we have

    $ d=infuNJ(u)=p12(p+1)(1(c2+1)p+12Cp+1)2p1,
    $
    (3.11)

    where $ c $ is the best coefficient of the cone Poincar$ \acute{ e} $ inequality.

    Proof. Suppose that $ u\in \mathcal{N}, $ then $ \|u\|_{\mathcal{H}^{1,\frac{n}{2}}_{2,0}(\mathbb{B})}\ge r $ from Lemma 3.3. Thus according to the definition of $ J(u) $, $ I(u) $ and cone Poincar$ \acute{\rm e} $ inequality, we arrive at

    $ J(u)=(121p+1)B|Bu|2dxbxbd˜x+1p+1I(u)(121p+1)1c2+1u2H1,n22,0(B)p12(p+1)(c2+1)r2,
    $

    which gives (3.11).

    Lemma 3.5 (Osgood Lemma, [10]). Let $ \rho:[t_0,T]\rightarrow [0,\alpha] $ be a measurable function, $ \gamma $ is a locally integrable, positive function defined on $ [t_0,T] $, $ \mu:[0,\alpha]\rightarrow [0,+\infty) $ is a nondecreasing, continuous function and $ \mu(0) = 0 $, $ a\ge0 $ is a constant. If

    $ \rho(t)\le a+\int^{t}_{t_0}\gamma(s)\mu(\rho(s)){\rm d}s, $

    holds almost everywhere for $ t\in[t_0,T] $, then

    $ -M(\rho(t))+M(a)\le \int^{t}_{t_0}\gamma(s){\rm d}s, $

    is true almost everywhere for $ t\in[t_0,T] $ when $ a>0 $, where $ M(x) = \int^{\alpha}_{x}\frac{{\rm d}s}{\mu(s)} $. In addition, when $ a = 0 $ and $ M(0) = \infty $, $ \rho(t) = 0 $ holds almost everywhere for $ t\in[t_0,T] $.

    In this section, we prove the local existence of the solution of problem (1.1)-(1.3). The local existence theorem is given as follows,

    Theorem 4.1 (Local existence). Suppose that $ u_{0}\in\mathcal{H}^{1,\frac{n}{2}}_{2,0}(\mathbb{B}) $. Then there exist $ T>0 $ and a unique weak solution $ u\in C([0,T],\mathcal{H}^{1,\frac{n}{2}}_{2,0}(\mathbb{B})) $ of problem (1.1)-(1.3) on $ [0,T]\times\mathbb{B} $. Moreover, if

    $ T_{\max} = \sup\{T > 0: u = u(t)\ \mathit{\text{exists on}}\ [0,T]\} < \infty, $

    then

    $ \lim\limits_{t\rightarrow T_{\max}}\| u(t)\|_{\mathcal{H}^{1,\frac{n}{2}}_{2,0}(\mathbb{B})} = \infty. $

    Proof. We divide the proof into 2 steps.

    Step 1. Local exisence. We prove the local existence of the solution to problem (1.1)-(1.3) by virtue of the Galerkin method and the compactness property [35]. For the initial data $ u_0\in \mathcal{H}^{1,\frac{n}{2}}_{2,0}(\mathbb{B}) $, let $ R^2: = 2\|\nabla_\mathbb{B}u_0\|^2_{L^{\frac{n}{2}}_{2}(\mathbb{B})} $. For every $ m\ge1 $, let $ \Psi_{m} = \text{Span}\{\psi_{1}, \psi_{2},...,\psi_{m}\} $, where $ \{\psi_{j}\} $ is the orthonormal complete system of eigenfuctions of $ -\Delta_{\mathbb{B}} $ in $ \mathcal{H}^{1,\frac{n}{2}}_{2,0}(\mathbb{B}) $ such that $ \|\psi_{j}\|_{L^{\frac{n}{2}}_{2}(\mathbb{B})} = 1 $ for all $ j $. Then, $ \{\psi_{j}\} $ is orthonormal and complete in $ L^{\frac{n}{2}}_{2}(\mathbb{B}) $ and $ \mathcal{H}^{1,\frac{n}{2}}_{2,0}(\mathbb{B}) $ by Proposition 4, and we denote by $ \{\lambda_{j}\} $ the corresponding eigenvalues. Let

    $ um0=mj=1(Bu0,Bψj)Bψj, mN+
    $
    (4.1)

    such that $ u_{m0}\in\Psi_{m} $ and

    $ um0u0 in H1,n22,0(B) as m.
    $
    (4.2)

    For all $ m\ge1 $, we seek $ C^1 $-continuous functions $ g_{m1}(t),...,g_{mm}(t) $ to form an approximate solution to problem (1.1)-(1.3) of the form

    $ um(t,xb,˜x)=mj=1gmj(t)ψj(xb,˜x),
    $
    (4.3)

    which solves the problem

    $ {(umt(t),ψj)B+(Bumt(t),Bψj)B+(Bum(t),Bψj)B=(|um(t)|p1um(t),ψj)B,um(0,xb,˜x)=um0,
    $
    (4.4)

    for $ j = 1,2,...,m $ and $ t\ge0 $. Problem (4.4) is equivalent to the following systems of ODEs

    $ {(1+λj)gmjt(t)+λjgmj(t)=(|um(t)|p1um(t),ψj)B,gmj(0)=(Bu0,Bψj)B, j=1,2,...,m.
    $
    (4.5)

    One can deduce that for any fixed $ m $ there exists a $ t_m>0 $ and a unique solution $ g_{mj}\in C^1[0,t_m] $ of the Cauchy problem (4.5) by the Cauchy-Peano theorem since $ f(t): = (|u_m(t)|^{p-1}u_m(t),\psi_j)_{\mathbb{B}} $ is continuous with respect to $ t $. Multiplying (4.4) by $ g_{mjt}(t) $ and summing for $ j $, we have

    $ (umt(t),umt(t))B+(Bumt(t),Bumt(t))B+(Bum(t),Bumt(t))B=(|um(t)|p1um(t),umt(t))B,
    $

    which tells us that for all $ t\in[0,t_m] $,

    $ umt(t)2Ln22(B)+Bumt(t)2Ln22(B)+12ddtBum(t)2Ln22(B)=B|um(t)|p1um(t)umt(t)dxbxbd˜x.
    $
    (4.6)

    For the last term in equation (4.6), by using the cone Hölder inequality (Proposition 1), cone Sobolev inequality (Proposition 3) and Young's inequality, we deduce

    $ B|um(t)|p1um(t)umt(t)dxbxbd˜xB|um(t)|p|umt(t)|dxbxbd˜xumt(t)Lnp+1p+1(B)um(t)pLnp+1p+1(B)Cp+1Bumt(t)Ln22(B)Bum(t)pLn22(B)12Bumt(t)2Ln22(B)+C2(p+1)2Bum(t)2pLn22(B),
    $
    (4.7)

    which together with (4.6) gives,

    $ umt(t)2H1,n22,0(B)+ddtBum(t)2Ln22(B)C2(p+1)Bum(t)2pLn22(B),t[0,tm].
    $
    (4.8)

    Integrating (4.8) over $ [0,t] $, we obtain

    $ Bum(t)2Ln22(B)+t0umt(s)2H1,n22,0(B)dsBum(0)2Ln22(B)+C2(p+1)t0Bum(s)2pLn22(B)ds,
    $

    which combining the formula (4.2) and the fact $ R^2: = 2\|\nabla_\mathbb{B}u_0\|^2_{L^{\frac{n}{2}}_{2}(\mathbb{B})} $ shows that there exists some $ m_0\in \mathbb N^+ $ such that

    $ Bum(t)2Ln22(B)+t0umt(s)2H1,n22,0(B)dsR2+C2(p+1)t0Bum(s)2pLn22(B)ds,
    $
    (4.9)

    for $ t\in[0,t_m] $ and $ m\ge m_0 $. In order to estimate the first term in (4.9), one can apply the Osgood lemma [10,Lemma 5.2.1] as follows.

    For any fixed $ m\ge m_0 $, let $ \rho(t): = \|\nabla_{\mathbb{B}}u_{m}(t)\|^2_{L^{\frac{n}{2}}_{2}(\mathbb{B})} $, $ t\in[0,t_m] $, since $ g_{mj}\in C^1[0,t_m] $, we deduce that $ \max\limits_{t\in[0,t_m]}|g_{mj}(t)| $ is bounded, $ j = 1,...,m $, then

    $ \rho(t) = \sum\limits^m_{j = 1}\lambda_j|g_{mj}(t)|^2\le m\max\limits_{1\le j\le m}\left(\lambda_j\max\limits_{t\in[0,t_m]} |g_{mj}(t)|^2\right): = \alpha_m < +\infty, $

    which implies that $ \rho:[0,t_m]\rightarrow [0,\alpha_m] $ is a measurable function. Now we pick

    $ γ(s)C2(p+1):[0,tm]R is a locally integrable, positive function,μ(s)=sp:[0,αm][0,+) is a continuous, non-decreasing function,
    $

    which satisfies $ \mu(0) = 0 $, and $ a = R^2 $, then,

    $ M(ν)=αmνdsμ(s)=1p1(ν(p1)α(p1)m).
    $

    Therefore, we have

    $ M(ρ(t))+M(a)t0γ(s)ds=C2(p+1)t,
    $

    that is,

    $ 1p1(α(p1)mBum(t)2(p1)Ln22(B))+1p1(R2(p1)α(p1)m)C2(p+1)t.
    $

    By a simple calculation, we obtain

    $ Bum(t)2Ln22(B)[R2(1p)(p1)C2(p+1)t]1p1,  t[0,tm].
    $
    (4.10)

    Taking

    $ T=T(R):=R2(1p)2(p1)C2(p+1),
    $
    (4.11)

    it follows from estimates (4.9)-(4.11) that

    $ Bum(t)2Ln22(B)+t0umt(s)2H1,n22,0(B)dsC(R),  t[0,T], mm0,
    $
    (4.12)

    where

    $ C(R)=R2(1+21p1p1).
    $

    Then combining with (4.12) and Proposition 1 we obtain

    $ |um(t)|p1um(t)Lnpp+1p+1p(B)=um(t)pLnp+1p+1(B)CpBum(t)pLn22(B)(CC(R))p
    $
    (4.13)

    for all $ t\in [0, T] $ and $ m\geq m_0 $, which means

    $ {um}  is bounded in  L(0,T;H1,n22,0(B)),{umt}  is bounded in  L2(0,T;H1,n22,0(B)),{|um|p1um}  is bounded in  L(0,T;Lnpp+1p+1p(B)).
    $

    Hence, by the Aubin-Lions-Simon Lemma [46] and the weak compactness there exist a $ u\in C([0, T]; \mathcal{H}^{1,\frac{n}{2}}_{2,0}(\mathbb{B})) $ and a subsequence of $ \{u_{m}\} $, which is still denoted by $ \{u_{m}\} $, such that

    $ umu in L(0,T;H1,n22,0(B)) weakly star,umu in C([0,T];Ln22(B)) and a.e. in [0,T]×intB,umtut in L2(0,T;H1,n22,0(B)) weakly,|um|p1umχ in L(0,T;Lnpp+1p+1p(B)) weakly star,
    $
    (4.14)

    which together with the Lions Lemma [35,Chap. 1,p12] deduce that

    $ χ=|u|p1u.
    $

    Then for each $ j $ fixed, let $ m\rightarrow \infty $ in (4.4), we have

    $ But(t)ψjdxbxbd˜x+BBu(t)Bψjdxbxbd˜x+BBut(t)Bψjdxbxbd˜x=B|u(t)|p1u(t)ψjdxbxbd˜x
    $

    for a.e. $ t\in [0, T] $ and every $ j = 1, 2, \cdots $. By the fact that $ \{\psi_{j}\} $ is the complete orthonormal basis in $ \mathcal{H}^{1,\frac{n}{2}}_{2,0}(\mathbb{B}) $, we have

    $ (ut(t),η)B+(Bu(t),Bη)B+(But(t),Bη)B=B|u(t)|p1u(t)ηdxbxbd˜x
    $

    for a.e. $ t\in [0, T] $ and every $ \eta\in\mathcal{H}^{1,\frac{n}{2}}_{2,0}(\mathbb{B}) $. By the convergence (4.14) and formula (4.12), we have

    $ Bu(t)2Ln22(B)+t0ut(s)2H1,n22,0(B)dsC(R),  t[0,T].
    $
    (4.15)

    Moreover, it follows from the fact $ u_m\rightarrow u $ in $ C([0, T]; L^{\frac{n}{2}}_{2}(\mathbb{B})) $ that

    $ um0=um(0)u(0)  in  Ln22(B),
    $

    which combining with (4.2) implies that

    $ u(0)=u0  in  H1,n22,0(B).
    $

    Thus, $ u\in C([0, T]; \mathcal{H}^{1,\frac{n}{2}}_{2,0}(\mathbb{B})) $ is a weak solution of problem (1.1)-(1.3) on $ [0,T]\times\mathbb{B} $.

    Step 2. Uniqueness. Suppose that there are two solutions $ u $ and $ v $ to problem (1.1)-(1.3) corresponding to the initial data $ u_0\in \mathcal{H}^{1,\frac{n}{2}}_{2,0}(\mathbb{B}) $. Then, $ w = v-v $ solves the following problem

    $ wtΔBwtΔBw=|u|p1u|v|p1v,(xb,˜x)intB,t>0,
    $
    (4.16)
    $ w(xb,˜x,0)=0,(xb,˜x)intB,
    $
    (4.17)
    $ w(0,˜x,t)=0,(0,˜x)B,t0.
    $
    (4.18)

    Since $ w\in C([0, T]; \mathcal{H}^{1,\frac{n}{2}}_{2,0}(\mathbb{B})) $, one can multiply both side of equation (4.16) by $ w(t) $ and show that

    $ ddt(w2Ln22(B)+Bw2Ln22(B))+2Bw2Ln22(B)= 2B(|u|p1u|v|p1v)wdxbxbd˜x,  t[0,T],
    $
    (4.19)

    For the last term in equation (4.19), by using the cone Hölder inequality (Proposition 1), cone Sobolev inequality (Proposition 3) and estimate (4.15), we deduce

    $ 2B(|u|p1u|v|p1v)wdxbxbd˜x= 2pB10|θu+(1θ)v|p1|w|2dθdxbxbd˜x 2pB(|u|p1+|v|p1)|w|2dxbxbd˜x 2p(up1Lnp+1p+1(B)+vp1Lnp+1p+1(B))w2Lnp+1p+1(B) 2pCp+1(Bup1Ln22(B)+Bvp1Ln22(B))Bw2Ln22(B) C1(R)Bw2Ln22(B),  t[0,T],
    $

    with $ C_1(R) = 4p C_*^{p+1}(C(R))^{\frac{p-1}{2}} $, which together with (4.19) gives,

    $ ddt(w2Ln22(B)+Bw2Ln22(B))C1(R)(w2Ln22(B)+Bw2Ln22(B)),  t[0,T].
    $
    (4.20)

    Applying the Gronwall inequality to (4.20) and making use of (4.17), we have

    $ w(t)2H1,n22,0(B)eC1(R)tw(0)2H1,n22,0(B)=0,  t[0,T],
    $

    which leads to the uniqueness of weak solution.

    Concerning formula (4.11) we observe that the local existence time $ T $ merely depends on the norms of the initial data. Therefore, by using the similar idea as shown in [4], the solution can be continued as long as $ \|u\|^2_{\mathcal{H}^{1,\frac{n}{2}}_{2,0}(\mathbb{B})} $ remains bounded. In details, taking $ u(\cdot,T) $ as the initial data and repeating above argument, we know that the problem (1.1)-(1.3) has a unique weak solution on the interval $ [0,T_1] $ ($ T_1>T $). After an iteration process, we get a single increasing sequence $ \{T_k\}^{\infty}_{k = 1} $ such that the problem (1.1)-(1.3) has a unique weak solution on $ [0,T_k] $, where $ T_k $ has two possibilities for sequence $ \{T_k\}^{\infty}_{k = 1} $, that either $ T_{\max} = \lim\limits_{k\rightarrow \infty}T_k $ is finite, or $ T_{\max} = \infty $. Moreover, if $ T_{\max} = \infty $, then the problem (1.1)-(1.3) possesses a unique global solution. If $ T_{\max}<+\infty $, then

    $ lim suptTmaxBu(t)2Ln22(B)=+.
    $
    (4.21)

    In fact, if

    $ \sup\limits_{t\in [0,T_{\max})}\|\nabla_{\mathbb{B}} u(t)\|^2_{L^{\frac{n}{2}}_{2}(\mathbb{B})}\le M(T_{\max}), $

    then for any $ t_0\in(0,T_{\max}) $, by taking $ u(\cdot,t_0) $ as the initial data, we know from the above argument that there exists a $ T^*>0 $ dependent on $ M $ and independent on $ t_0 $ such that the problem (1.1)-(1.3) has a unique weak solution on the interval $ [t_0,t_0+T^*] $. Due to the arbitrariness of $ t_0\in(0,T_{\max}) $, the weak solution of problem (1.1)-(1.3) can be extended to the interval $ [0,T_{\max}+\varepsilon] $ with arbitrary positive $ \varepsilon>0 $, which contradicts the maximal interval $ [0,T_{\max}) $. This contradiction shows that (4.21) holds.

    Moreover, we give the following corollary.

    Corollary 1 (Blow-up of the weak solution). Suppose that $ u $ is a weak solution of problem (1.1)-(1.3), which can be ensured by Theorem 4.1, if $ T_{\max}<\infty $, then we have

    $ limtTmaxu(t)2Lnss(B)=   for   smax{1,n(p1)2}.
    $

    Proof. Recalling the definition of energy functional $ J(u) $ in (3.1) and the energy relation (3.3), we get

    $ 12Bu2Ln22(B)1p+1up+1Lnp+1p+1(B)+J(u0) for all t[0,Tmax).
    $

    Combining with the following Gagliardo-Nirenberg interpolation inequality

    $ uLnB1B1(B)CBuaLnB2B2(B)u1aLnB3B3(B)
    $

    for $ \frac{1}{B_1} = \left(\frac{1}{B_2}-\frac{1}{n}\right)a+\frac{1-a}{B_3}\ \text{and}\ 0<a<1 $, we have

    $ 12Bu2Ln22(B)J(u0)1p+1up+1Lnp+1p+1(B)CBu(p+1)aLn22(B)u(p+1)(1a)Lnss(B),
    $

    where $ B_1 = p+1 $, $ B_2 = 2 $ and $ B_3 = s $ with $ \frac{n(p-1)}{2}<s<p+1 $ such that $ 0<a = \frac{2n(p-1-s)}{(p+1)(sn+2s-ns)}<\frac{2}{p+1} $. Thus we have

    $ 12Bu2(p+1)aLn22(B)J(u0)Bu(p+1)aLn22(B)Cu(p+1)(1a)Lnss(B),
    $

    which implies that $ \lim\limits_{t\rightarrow T_{\max}}\|u(t)\|^2_{L^{\frac{n}{s}}_{s}(\mathbb{B})} = \infty. $

    In this section, we study the well-posedness of solutions of problem (1.1)-(1.3) in the case of sub-critical and critical initial energy levels. The succeeding result is given to show the invariant sets of the solution for problem (1.1)-(1.3).

    Lemma 5.1. Suppose that $ u_{0}\in \mathcal{H}^{1,\frac{n}{2}}_{2,0}(\mathbb{B}) $ and $ J(u_0)<d $, then

    (i) all weak solutions of problem (1.1)-(1.3) belong to $ \mathcal{W} $ provided that $ u_0\in \mathcal{W}; $

    (ii) all weak solutions of problem (1.1)-(1.3) belong to $ \mathcal{V} $ provided that $ u_0\in \mathcal{V}. $

    Proof. (ⅰ) Suppose that $ J(u_0)<d $, $ I(u_0)>0 $ and $ u(t) $ is the corresponding solution of problem (1.1)-(1.3). If $ u_0 = 0 $, then $ u(t) = 0 $, i.e., $ u(t)\in \mathcal{W} $. If $ u_0\in \mathcal{N}_+ $, i.e., $ I(u_{0})>0 $, we claim that $ u(t)\in \mathcal{N}_+ $ for $ 0\le t<T $. By reduction to absurdity, provided that there exists a $ t_{0}\in (0,T) $ such that $ u(t_{0})\in \mathcal{N} $ for the first time and $ u(t)\in \mathcal{N}_+ $ for $ 0\le t<t_0 $, i.e., $ I(u(t))>0 $ for $ t\in [0,t_0) $ and $ I(u_0) = 0 $. Since $ u(t_{0}) $ is a solution of problem (1.1)-(1.3), by the conservation of energy, it follows that

    $ t00ut(τ)2H1,n22,0(B)dτ+J(u(t0))=J(u0)<d
    $
    (5.1)

    for any $ t_{0}\in (0,T) $. However, by the definition of $ d $ and $ I(u(t_{0})) = 0 $, it implies that $ J(u(t_{0}))\ge d $, which contradicts (5.1). Thus, $ u(t)\in \mathcal{N}_+\subset\mathcal{W} $ for any $ t\in [0,T) $.

    (ⅱ) Similar to the proof of (i), we can obtain that $ u(t)\in \mathcal{V} $ for $ t\in [0,T) $ provided $ u_0\in \mathcal{V} $.

    Theorem 5.2 (Global existence and asymptotic behavior). Suppose that $ u_{0}\in\mathcal{H}^{1,\frac{n}{2}}_{2,0}(\mathbb{B}) $ and $ J(u_0)\le d $. If $ u_0\in \mathcal{W}, $ then problem (1.1)-(1.3) admits a unique global weak solution $ u\in L^{\infty}(0,\infty;\mathcal{H}^{1,\frac{n}{2}}_{2,0}(\mathbb{B})) $ with $ u_{t}\in L^{2}(0,\infty;\mathcal{H}^{1,\frac{n}{2}}_{2,0}(\mathbb{B})) $ and satisfies

    $ u(t)2H1,n22,0(B)+t0ut(τ)2H1,n22,0(B)dτ<(1+2(p+1)(c2+1)p1)d,  t0.
    $
    (5.2)

    Moreover, the solution satisfies the estimate

    $ u2H1,n22,0(B)e2βtu02H1,n22,0(B),   0t<,
    $

    where $ \beta = 1-C^{p+1}_{*}\left(\frac{2(p+1)(c^2+1)}{p-1}J(u_0)\right)^{\frac{p-1}{2}}. $

    Proof. We divide the proof into two parts, which are the global existence and the asymptotic behavior.

    Part Ⅰ: Global existence.

    First, we give the global existence of the solution of problem (1.1)-(1.3) for $ J(u_0)<d $.

    Since the conclusion is trivial when $ u_0 = 0 $, we only consider the case $ u_{0}\in \mathcal{W}\backslash\{0\} $. From Theorem 4.1, let $ u $ be the weak solution of problem (1.1)-(1.3) corresponding to the initial data $ u_0 $. It follows from (3.1) and (3.2) that

    $ J(u(t))=p12(p+1)Bu(t)2Ln22(B)+1p+1I(u(t))
    $
    (5.3)

    and

    $ t0ut(τ)2H1,n22,0(B)dτ+J(u(t))=J(u0)<d.
    $
    (5.4)

    for all $ t\in [0, T_{\max}) $. Then by Lemma 5.1 we deduce that

    $ u(t)W, for all 0<t<Tmax,
    $

    which implies

    $ I(u(t))>0  for all  0<t<Tmax.
    $
    (5.5)

    Thus, the combination of (5.3)-(5.5) and Proposition 1 shows that

    $ u(t)2H1,n22,0(B)+t0ut(τ)2H1,n22,0(B)dτ<(1+2(p+1)(c2+1)p1)d,  0<t<Tmax.
    $
    (5.6)

    Therefore, by virtue of the Continuation Principle, it follows $ T_{\max} = \infty $, i.e., $ u \in L^{\infty}(0,\infty;\mathcal{H}^{1,\frac{n}{2}}_{2,0}(\mathbb{B})) $ with $ u_{t}\in L^{2}(0,\infty; \mathcal{H}^{\frac{n}{2}}_{2}(\mathbb{B})) $ is a global weak solution of problem (1.1)-(1.3) corresponding to initial data $ u_0 $ and satisfies the estimate (5.2).

    For the case $ J(u_0) = d $, we apply the idea of scalar transformation to get the corresponding global existence result.

    Let $ \gamma_k = 1-\frac{1}{k} $, $ k\in \mathbb{N}^+ $. Then there exists a sequence $ \{u_{k}(0)\} $ such that $ u_{k}(0) = \gamma_{k}u_0 $. Consider the corresponding initial boundary value problems

    $ utΔButΔBu=|u|p1u,(xb,˜x)intB,t>0,
    $
    (5.7)
    $ u(xb,˜x,0)=uk(0),(xb,˜x)intB,
    $
    (5.8)
    $ u(0,˜x,t)=0,(0,˜x)B,t0,
    $
    (5.9)

    according to Theorem 4.1 and the estimate (5.6), we know that the weak solution $ u $ to problem (5.7)-(5.9) corresponding to the initial data $ u_k(0) $ satisfies

    $ t0ut(τ)2H1,n22,0(B)dτ+J(u(t))=J(uk(0)),0<t<Tmax,
    $
    (5.10)

    where $ T_{\max} $ is the maximal existence time of the solution $ u $.

    By $ I(u_0)>0 $, it follows from (ⅲ)-(ⅳ) in Lemma 3.2 that $ \lambda = \lambda(u_0)\in(0,1) $ and $ \lambda^*>1 $, which implies that $ I(u_0)>I(\gamma_ku_0)>0 $ and $ J(\gamma_ku_0)<J(u_0)\le d $. By the continuity of $ I(u) $, $ J(u) $ with respect to $ u $, we can choose a sufficiently large $ k $ such that $ \|u_{k}(0)-\gamma_{k}u_0\|_{\mathcal{H}^{1,\frac{n}{2}}_{2,0}(\mathbb{B})}<\frac{1}{k} $ with $ I(u_{k}(0))>0 $ and $ J(u_{k}(0))<d $, which means $ u_{k}(t)\in \mathcal{W} $ for $ [0,T_{k}) $ by Lemma 5.1.

    Since $ \lim\limits_{k\rightarrow \infty}\gamma_{k} = 1 $, then for $ u_{k}(0)\in \mathcal{W} $ we have

    $ uk(0)u0 strongly in H1,n22,0(B), as k,
    $
    (5.11)

    and

    $ t0ukt(τ)2H1,n22,0(B)dτ+J(uk(t))=J(uk(0))<J(u0)=d,  0<t<˜T,
    $
    (5.12)

    then we can obtain the boundness of $ u_{k} $ by the same way in the previous case $ J(u_0)<d $, namely (5.6), and the global existence result follows.

    Part Ⅱ: Asymptotic behavior.

    In this part, we start with the claim that $ u(t)\in\mathcal{W} $ for $ t\in[0,\infty) $ when $ J(u)\le d $.

    If $ J(u_0)<d $, then by the assumption that $ I(u_0)>0 $ we can derive immediately that $ u(t)\in\mathcal{W} $ for $ t>0 $ from Lemma 5.1.

    If $ J(u_0) = d $, then we conclude that there exists an enough small $ t_0 $ such that $ I(u(t))>0 $ for $ t\in[0,t_0) $ through the continuity of $ I(u(t)) $ with respect to $ t $ and $ I(u_0)>0 $. Next, we assert that $ I(u(t))>0 $ for $ t\in[t_0,\infty) $. Arguing by contradiction, assuming that $ t_1\in[t_0,\infty) $ is the first time such that $ I(u(t_1)) = 0 $, then by the definition of the potential well depth, we have

    $ J(u(t1))d.
    $

    In addition, by the energy identity (3.3), we have

    $ 0<J(u(t1))=J(u0)t10ut(τ)H1,n22,0(B)dτd,
    $

    which tells us that $ J(u(t_1)) = d $ and $ u_t\equiv 0 $ for $ 0<t<t_1 $. On the other hand, as $ u $ is a global weak solution of problem (1.1)-(1.3), we directly obtain the following equation by multiplying (1.1) by $ u $ and integrating over $ \mathbb{B} $

    $ (u_{t},u )_{\mathbb{B}} +(\nabla_{\mathbb{B}}u_{t}, \nabla_{\mathbb{B}} u )_{\mathbb{B}} +(\nabla_{\mathbb{B}}u, \nabla_{\mathbb{B}}u)_{\mathbb{B}} = \int_{\mathbb{B}}|u|^{p+1}\frac{{\rm d}x_b}{x_b}{\rm d}\widetilde{x}, t\ge0. $

    Then from the definition of $ I(u) $ and $ I(u(t))>0 $ for $ t\in[0,t_1) $, it follows that

    $ (ut,u)B+(But,Bu)B=I(u)<0,t[0,t1),
    $
    (5.13)

    that is,

    $ \frac{{\rm d}}{{\rm d}t}\|u_t\|^2_{\mathcal{H}^{1,\frac{n}{2}}_{2,0}(\mathbb{B})} = -2I(u) < 0, t\in[0,t_1), $

    which contradicts with $ u_t\equiv 0 $ for $ 0<t<t_1 $. Hence, we conclude $ I(u(t))>0 $ for $ t\ge0 $.

    Since $ u(t)\in \mathcal{W} $ for $ t\ge0 $ of the case $ J(u_0)\le d $, namely $ I(u(t))>0 $ for $ 0\leq t<\infty $, and it is easy to derive that the energy functional $ J(u(t)) $ is non-increasing from the energy identity (3.3), then we have

    $ J(u0)J(u(t))=(121p+1)Bu2Ln22(B)+1p+1I(u)>p12(p+1)(c2+1)u2H1,n22,0(B),
    $
    (5.14)

    where $ c $ is the optimal constant in Proposition 2. Moreover,

    $ B|u|p+1dxbxbd˜xCp+1up+1H1,n22,0(B)=Cp+1(u2H1,n22,0(B))p12u2H1,n22,0(B).
    $
    (5.15)

    Then from (5.14) we define

    $ α:=Cp+1(u2H1,n22,0(B))p12<Cp+1(2(p+1))(c2+1)p1J(u0))p12Cp+1(2(p+1))(c2+1)p1d)p12=1c2+1<1.
    $

    Hence, taking $ \beta: = 1-\alpha>0 $, we obtain from (5.15) that

    $ B|u|p+1dxbxbd˜xαu2H1,n22,0(B)=(1β)u2H1,n22,0(B),
    $

    which gives

    $ βu2H1,n22,0(B)I(u(t)).
    $
    (5.16)

    On the other hand, by the definition of $ I(u) $ we have

    $ ddt(B(|u(t)|2+|Bu(t)|2)dxbxbd˜x)=2I(u(t))2βu2H1,n22,0(B).
    $
    (5.17)

    Then by Gronwall's inequality we can obtain

    $ u2H1,n22,0(B)e2βtu02H1,n22,0(B).
    $

    Theorem 5.3 (Finite time blow up and lower bound estimate of blowup time). Suppose that $ u_{0}\in\mathcal{H}^{1,\frac{n}{2}}_{2,0}(\mathbb{B}) $ and $ J(u_0)\le d $. If $ u_0\in \mathcal{V} $, then $ u(t) $ blows up in finite time, i.e., there exists a $ T >0 $ such that

    $ limtTt0u(τ)2H1,n22,0(B)dτ=+,   0<t<T.
    $

    Moreover, $ T $ is bounded below, which can be estimated by

    $ Tu0p+1H1,n22,0(B)rp+1(p1)Cp+1.
    $

    Proof. Firstly, by Theorem 4.1, we already have the local existence for $ u_0\in\mathcal{H}^{1,\frac{n}{2}}_{2,0}(\mathbb{B}) $, then arguing by contradiction, we suppose that the solution $ u $ exists globally in time and here we just consider nontrivial $ u $ since the trivial ones do not agree the initial condition, thus are not solutions of problem (1.1)-(1.3). Then we define an auxiliary function as

    $ M(t):=t0u(τ)2H1,n22,0(B)dτ,t[0,).
    $
    (5.18)

    For $ t\in[0,\infty) $ we can compute its derivative as follows

    $ M(t)=u(t)2H1,n22,0(B)=u(t)2Ln22(B)+Bu(t)2Ln22(B)
    $
    (5.19)

    and further by (1.1) and (3.2) we have

    $ M(t)=2(ut(t),u(t))B+2(But(t),Bu(t))B=2I(u(t)).
    $
    (5.20)

    Next, we will reveal that the solution actually does not exist globally by showing that $ M(t) $ tends to infinity in finite time. However, it is easier to demonstrate that $ M^{-\gamma}(t) $ has a zero point, where the exponent $ -\gamma $ is a negative constant. Therefore, we take the latter as the proof scheme. Before that, we claim that $ M^{-\gamma}(t) $ is concave for sufficiently large $ t $ by constructing a differential inequality with $ M(t) $. Recalling (3.3) and (5.3), for $ t\in[0,\infty) $ we can obtain by (5.19) and (5.20) that

    $ M(t)=2(p+1)J(u)+(p1)Bu(t)2Ln22(B)2(p+1)(t0ut2H1,n22,0(B)dτJ(u0))+(p1)M(t)c2+1,
    $
    (5.21)

    where $ c $ is the optimal constant of the Cone Poincar$ \acute{\rm e} $ inequality (see Proposition 2). Notice that

    $ (t0(u,ut)Bdτ)2=(12t0ddτu2H1,n22,0(B)dτ)2=14(u4H1,n22,0(B)2u02H1,n22,0(B)u2H1,n22,0(B)+u04H1,n22,0(B))=14((M(t))22M(t)u02H1,n22,0(B)+u04H1,n22,0(B)),
    $

    hence

    $ (M(t))2=4(t0(u,ut)Bdτ)2+2u02H1,n22,0(B)M(t)u04H1,n22,0(B).
    $
    (5.22)

    From (5.18), (5.21) and (5.22), making use of the Hölder inequality, we have for $ t\in[0,\infty) $

    $ M(t)M(t)p+12(M(t))2t0u2H1,n22,0(B)dτ(2(p+1)(t0ut2H1,n22,0(B)dτJ(u0))+(p1)M(t)c2+1)p+12(4(t0(u,ut)Bdτ)2+2M(t)u02H1,n22,0(B)u04H1,n22,0(B))=2(p+1)(t0u2H1,n22,0(B)dτt0ut2H1,n22,0(B)dτ(t0(u,ut)Bdτ)2)2(p+1)J(u0)M(t)+(p1)M(t)M(t)c2+1(p+1)M(t)u02H1,n22,0(B)+p+12u04H1,n22,0(B)2(p+1)J(u0)M(t)+(p1)M(t)M(t)c2+1(p+1)M(t)u02H1,n22,0(B).
    $
    (5.23)

    To estimate the right hand side of (5.23), we claim first that $ u(t)\in \mathcal{V} $ for $ t\in [0,\infty) $, and the proof of this claim is similar with the proof in the second step of Theorem 5.2, for which we omit it here. Therefore, we have $ I(u(t))<0 $ for $ t\ge0 $, then by the density of the real number we can derive that there exists a $ \delta>0 $ such that

    $ M(t)=2I(u(t))δ,t0,
    $
    (5.24)

    Integrating over the both sides of (5.24) from $ 0 $ to $ t $, we get

    $ M(t)δt+M(0)δt,t0.
    $
    (5.25)

    By applying the same operation that we took for (5.24), we have

    $ M(t)δt2+M(0)δt2,t0.
    $
    (5.26)

    Thus by (5.23), for sufficiently large $ t>0 $ we have

    $ M(t)M(t)p+12(M(t))22(p+1)J(u0)M(t)+(p1)M(t)M(t)c2+1(p+1)M(t)u02H1,n22,0(B)=M(t)(p12(c2+1)M(t)2(p+1)J(u0))+M(t)(p12(c2+1)M(t)(p+1)u02H1,n22,0(B))>0.
    $
    (5.27)

    By direct computation we can get that

    $ (Mγ(t))=γMγ2(t)(M(t)M(t)(γ+1)(M(t))2).
    $
    (5.28)

    Let $ \gamma = \frac{p-1}{2}>0 $ and $ N(t): = M^{-\gamma}(t) $, then (5.28) implies that $ N''(t)<0 $ for sufficiently large $ t>0 $ according to (5.27) and the facts that $ \gamma>0 $ and $ M(t)\ge0 $, which implies that $ N(t) $ is concave for sufficiently large $ t>0 $.

    Note first that there exists a sufficiently small $ \tilde{t}>0 $ such that the non-trivial $ u $ exists locally for $ t\in(0,\tilde{t}] $ by Theorem 4.1, which claims that $ N(t) = M^{-\gamma}(t)>0 $ for $ t\in(0,\tilde{t}] $. Then we assert that $ N(t) $ is decreasing for $ t\in(0,\infty) $. Recalling that $ M'(t)>0 $ for $ t\in(0,\infty) $, hence

    $ N(t)=γMγ1M(t)<0,t(0,),
    $

    which makes $ N(t) $ keep falling for $ t>0 $ and guarantees that the zero point can be reached.

    In fact, the case of the asymptote won't occur since $ N(t) $ is concave for sufficiently large $ t>0 $, which forces the curve of $ N(t) $ to hit the $ t $-axis for sufficiently large $ t>0 $ and ensures the existence of the zero point. Hence there exists a $ 0< T<\infty $ such that

    $ N(t)=M(t)γ0,tT,
    $

    which means also $ M(t) = \int^{t}_{0}\|u\|^{2}_{\mathcal{H}^{1,\frac{n}{2}}_{2,0}(\mathbb{B})}{\rm d}\tau\rightarrow \infty \ \text{as}\ \ t\rightarrow T^{-}, $ and contradicts the hypothesis of global existence, thus $ u $ blows up in finite time.

    Next, we seek the lower bound of the blow up time. By (5.20) we have

    $ M(t)=2I(u(t))=2Bu(t)2Ln22(B)+2u(t)p+1Lnp+1p+1(B).
    $
    (5.29)

    Then Proposition 2, (5.19) and (5.29) imply

    $ M(t)2Cp+1(M(t))p+12.
    $
    (5.30)

    By (5.25) we have already known $ M'(t)>0 $ for $ t\in[0,T) $, thus we can divide (5.30) by $ (M'(t))^{\frac{p+1}{2}} $ and get the following inequality,

    $ M(t)(M(t))p+122Cp+1.
    $
    (5.31)

    Integrating the inequality (5.31) from $ 0 $ to $ t $, we have

    $ (M(0))p12(M(t))p12(p1)Cp+1t.
    $
    (5.32)

    Let $ t\rightarrow T $ in (5.32), since $ M'(t) = \|u(t)\|^{2}_{\mathcal{H}^{1,\frac{n}{2}}_{2,0}(\mathbb{B})}>r^2 $ by (ii) of Lemma 3.3, we can conclude that

    $ Tu0p+1H1,n22,0(B)rp+1(p1)Cp+1.
    $

    In this section we give the finite time blow up result for the sup-critical initial energy case, for which we introduce the following three lemmas first.

    Lemma 6.1 ([26]). Suppose that a positive, twice-differentiable function $ \psi(t) $ satisfies

    $ ψ(t)ψ(t)(1+θ)(ψ(t))20, t>0,ψ(t)C2,ψ(t)>0
    $

    where $ \theta>0 $ is a constant. If $ \psi(0)>0 $ and $ \psi'(0)>0 $, then there exists a $ t_1 $ with $ 0<t_1\le \frac{\psi(0)}{\theta\psi'(0)} $ such that $ \psi(t) $ tends to infinity as $ t\rightarrow t_1 $.

    Lemma 6.2. Suppose that $ J(u_0)>0 $ and $ u_0\in\mathcal{V} $, then the map

    $ tu(t)2H1,n22,0(B)
    $

    increases strictly while $ u(t)\in \mathcal{V} $ for $ t\in[0,T_0] $, where $ T_0 $ is a positive constant.

    Proof. Firstly, an auxiliary function is defined as follows

    $ F(t):=u(t)2H1,n22,0(B).
    $
    (6.1)

    Then it follows from (1.1) that

    $ F(t)=2(ut(t),u(t))B+2(But(t),Bu(t))B=2I(u).
    $
    (6.2)

    Hence by $ u(t)\in \mathcal{V} $ for $ t\in[0,T_0] $ we get

    $ F(t)>0,t[0,T0],
    $
    (6.3)

    which implies that the map

    $ t\mapsto \|u(t)\|^2_{\mathcal{H}^{1,\frac{n}{2}}_{2,0}(\mathbb{B})} $

    is strictly increasing for $ t\in[0,T_0] $.

    Lemma 6.3 (Invariant set $ \mathcal{V} $). Assume that $ u_0 $ satisfies

    $ (p1)2(c2+1)(p+1)u02H1,n22,0(B)>J(u0)>0,
    $
    (6.4)

    where $ c $ is the optimal constant in Proposition 2, then $ u(t)\in \mathcal{V} $ for $ t\in[0,T) $, where $ T\le +\infty $ is the maximal existence time of the solution.

    Proof. First we claim that $ u_0\in \mathcal{V} $ by (6.4), i.e. $ u(t)\in \mathcal{V} $ for $ t = 0 $. By the definition of $ J(u(t)) $ (3.1) we have

    $ J(u0)=12Bu02Ln22(B)1p+1u0p+1Lnp+1p+1(B)=(121p+1)Bu02Ln22(B)+1p+1I(u0)(p1)2(c2+1)(p+1)u02H1,n22,0(B)+1p+1I(u0),
    $
    (6.5)

    thus by (6.4) and (6.5) we can drive that $ I(u_0)<0 $, namely $ u_0\in \mathcal{V} $.

    Then we prove that $ u(t)\in \mathcal{V} $ for $ t\in(0,T) $. Since $ I(u_0)<0, $ we have $ I(u(t))<0 $ on $ [0,t_0) $ for sufficiently small $ t_0>0 $ according to the continuity of $ I(u(t)) $ with respect to $ t $. Arguing by contradiction, if $ I(u(t)) $ doesn't remain negative on $ [0,T) $, then there must exist a $ t_1\in [t_0,\infty) $ such that $ I(u(t_1)) = 0 $ for the first time. It follows from Lemma 6.2 that the map $ t\mapsto \|u(t)\|^2_{\mathcal{H}^{1,\frac{n}{2}}_{2,0}(\mathbb{B})} $ increases strictly for $ t\in[0,t_1) $, by which and (6.4) we get

    $ u(t)2H1,n22,0(B)>u02H1,n22,0(B)>2(c2+1)(p+1)(p1)J(u0), t(0,t1),
    $
    (6.6)

    then from the continuity of $ \|u(t)\|^2_{\mathcal{H}^{1,\frac{n}{2}}_{2,0}(\mathbb{B})} $ with respect to $ t $, we can obtain

    $ u(t1)2H1,n22,0(B)>u02H1,n22,0(B)>2(c2+1)(p+1)p1J(u0).
    $
    (6.7)

    On the other hand, recalling the definition of $ J(u(t)) $ and (3.3), we have

    $ J(u0)=J(u(t1))+t10ut2H1,n22,0(B)dτ12Bu(t1)2Ln22(B)1p+1u(t1)p+1Lnp+1p+1(B)=(121p+1)Bu(t1)2Ln22(B)+1p+1I(u(t1)),
    $
    (6.8)

    then applying the Cone Poincar$ \acute{\rm e} $ inequality (Proposition 2) to (6.8) with $ I(u(t_1)) = 0 $, we have

    $ J(u0)p12(p+1)Bu(t1)2Ln22(B)(p1)2(c2+1)(p+1)u(t1)2H1,n22,0(B),(p1)2(c2+1)(p+1)u02H1,n22,0(B),
    $
    (6.9)

    which contradicts (6.7), thus we can drive that $ u(t)\in\mathcal{V} $ for $ t\in [0,T) $.

    Next we give the blow up results for arbitrary positive initial energy as follows:

    Theorem 6.4 (Finite time Blow up with $ J(u_0)>0 $). Let $ u_{0}\in\mathcal{H}^{1,\frac{n+1}{2}}_{2,0}(\mathbb{B}) $. If $ u_0 $ satisfies (6.4), then $ u(t) $ blows up in finite time. Furthermore, the upper bound of blowup time can be estimated by

    $ T4u02H1,n22,0(B)(p1)σ,
    $

    where $ \sigma: = \frac{p-1}{2(c^2+1)(p+1)}\|u_0\|^2_{\mathcal{H}^{1,\frac{n}{2}}_{2,0}(\mathbb{B})}-J(u_0) $.

    Proof. Similar as Theorem 5.2, we also divide the proof into two parts, which are the finite time blow up and the estimating of the upper bound of the blow up time.

    Part Ⅰ: Finite time blow up.

    Firstly, Theorem 4.1 has asserted the local existence of the solution, then arguing by contradiction, we suppose that $ u(t) $ exists globally in time, i.e. the maximal existence time $ T = \infty $.

    Now we take a sufficiently small $ \varepsilon>0 $ and a positive constant $ c_0>0 $ such that

    $ c0>14ε2u04H1,n22,0(B)
    $
    (6.10)

    and define a new auxiliary function for $ t\in[0,\infty) $ as follows

    $ P(t):=(M(t))2+ε1u02H1,n22,0(B)M(t)+c0,
    $
    (6.11)

    where $ M(t) $ is the auxiliary function defined before in (5.18). Hence for $ t\in[0,\infty) $,

    $ P(t)=(2M(t)+ε1u02H1,n22,0(B))M(t)
    $
    (6.12)

    and

    $ P(t)=(2M(t)+ε1u02H1,n22,0(B))M(t)+2(M(t))2.
    $

    Set $ \xi: = 4c_0-\varepsilon^{-2}\|u_0\|^4_{\mathcal{H}^{1,\frac{n}{2}}_{2,0}(\mathbb{B})}, $ then (6.10) indicates $ \xi>0. $ Thus for $ t\in[0,\infty) $ we have

    $ (P(t))2=(4(M(t))2+4ε1u02H1,n22,0(B)M(t)+ε2u04H1,n22,0(B))(M(t))2=(4(M(t))2+4ε1u02H1,n22,0(B)M(t)+4c0ξ)(M(t))2=(4P(t)ξ)(M(t))2,
    $

    which tells

    $ 4P(t)(M(t))2=(P(t))2+ξ(M(t))2,t[0,).
    $
    (6.13)

    By (6.13), for $ t\in[0,\infty) $ we get

    $ 2P(t)P(t)=2((2M(t)+ε1u02H1,n22,0(B))M(t)+2(M(t))2)P(t)=2(2M(t)+ε1u02H1,n22,0(B))M(t)P(t)+4P(t)(M(t))2=2(2M(t)+ε1u02H1,n22,0(B))M(t)P(t)+(P(t))2+ξ(M(t))2.
    $
    (6.14)

    Then from (6.13) and (6.14), for $ t\in[0,\infty) $ we can derive that

    $ 2P(t)P(t)(1+β)(P(t))2=2(2M(t)+ε1u02H1,n22,0(B))M(t)P(t)+ξ(M(t))2β(P(t))2=2(2M(t)+ε1u02H1,n22,0(B))M(t)P(t)+ξ(M(t))2β(4P(t)ξ)(M(t))2=2(2M(t)+ε1u02H1,n22,0(B))M(t)P(t)4βP(t)(M(t))2+ξ(1+β)(M(t))2>2(2M(t)+ε1u02H1,n22,0(B))M(t)P(t)4βP(t)(M(t))2,
    $
    (6.15)

    where $ \beta>0 $ is a positive constant that will be determined in the sequel.

    Next, we estimate the term $ M''(t) $. Testing the both sides of (1.1) by $ u $, for $ t\in[0,\infty) $ we have

    $ 12ddtu2H1,n22,0(B)=I(u)=Bu2Ln22(B)+up+1Lnp+1p+1(B)=2J(u)+p1p+1up+1Lnp+1p+1(B).
    $
    (6.16)

    By (6.4), we can take $ \beta $ such that

    $ 1<β<(p1)u02H1,n22,0(B)2(c2+1)(p+1)J(u0).
    $
    (6.17)

    Notice by Lemma 6.3 that $ I(u(t))<0 $ for $ t\in[0,+\infty) $, then combining (6.16) with (3.3), for $ t\in[0,\infty) $ we see

    $ 12ddtu2H1,n22,0(B)=2J(u)+p1p+1up+1Lnp+1p+1(B)=2(β1)J(u)2βJ(u)+p1p+1up+1Lnp+1p+1(B)2βJ(u0)+2βt0ut2H1,n22,0(B)dτ+p1p+1up+1Lnp+1p+1(B)=2βJ(u0)+2βt0ut2H1,n22,0(B)dτp1p+1I(u)+p1p+1Bu2Ln22(B)>2βJ(u0)+2βt0ut2H1,n22,0(B)dτ+p1p+1Bu2Ln22(B).
    $
    (6.18)

    The application of Cone Poincar$ \acute{\rm e} $ inequality asserts

    $ p1p+1Bu2Ln22(B)(p1)(c2+1)(p+1)u2H1,n22,0(B).
    $
    (6.19)

    Putting (6.19) into (6.18), for $ t\in[0,\infty) $ we have

    $ M(t)=ddtu2H1,n22,0(B)>4βJ(u0)+4βt0ut2H1,n22,0(B)dτ+2(p1)(c2+1)(p+1)u2H1,n22,0(B).
    $
    (6.20)

    By (6.16), H$ \ddot{\rm o} $lder and Young's inequalities, for $ t\in[0,\infty) $ we estimate the term $ (M'(t))^2 $ as follows

    $ (M(t))2=u4H1,n22,0(B)=(u02H1,n22,0(B)+2t0(u,ut)Bdτ)2(u02H1,n22,0(B)+2(t0u2H1,n22,0(B)dτ)12(t0ut2H1,n22,0(B)dτ)12)2=u04H1,n22,0(B)+4u02H1,n22,0(B)(t0u2H1,n22,0(B)dτ)12(t0ut2H1,n22,0(B)dτ)12+4M(t)t0ut2H1,n22,0(B)dτu04H1,n22,0(B)+2εu02H1,n22,0(B)M(t)+2ε1u02H1,n22,0(B)t0ut2H1,n22,0(B)dτ+4M(t)t0ut2H1,n22,0(B)dτ.
    $
    (6.21)

    Then from (6.20), (6.21) and (6.15), for $ t\in[0,\infty) $ we have

    $ 2P(t)P(t)(1+β)(P(t))2>2(2M(t)+ε1u02H1,n22,0(B))M(t)P(t)4βP(t)(M(t))2>I1I2I3I4,
    $

    where

    $ I1:=2P(t)(2M(t)+ε1u02H1,n22,0(B)),I2:=4βJ(u0)+4βt0ut2H1,n22,0(B)dτ+2(p1)(c2+1)(p+1)u2H1,n22,0(B),I3:=4βP(t),I4:=u04H1,n22,0(B)+2εu02H1,n22,0(B)M(t)+2ε1u02H1,n22,0(B)t0ut2H1,n22,0(B)dτ+4M(t)t0ut2H1,n22,0(B)dτ.
    $

    Taking $ \gamma: = \frac{2(p-1)}{(c^2+1)(p+1)}\|u_0\|^2_{\mathcal{H}^{1,\frac{n}{2}}_{2,0}(\mathbb{B})}-4\beta J(u_0), $ then (6.17) ensures $ \gamma>0. $ Choosing $ \varepsilon $ such that

    $ ε<γ2βu02H1,n22,0(B),
    $

    then recalling that $ \|u(t)\|^2_{\mathcal{H}^{1,\frac{n}{2}}_{2,0}(\mathbb{B})} $ is decreasing with respect to $ t $ by Lemma 6.2, for $ t\in[0,\infty) $ we obtain

    $ 2P(t)P(t)(1+β)(P(t))2>I1I2I3I4=I1(4βt0ut2H1,n22,0(B)dτ+γ)I3I4>I1(4βt0ut2H1,n22,0(B)dτ+2βεu02H1,n22,0(B))I3I4=4βP(t)(2M(t)+ε1u02H1,n22,0(B))(2t0ut2H1,n22,0(B)dτ+εu02)I3I4=I3((2M(t)+ε1u02H1,n22,0(B))(2t0ut2H1,n22,0(B)dτ+εu02H1,n22,0(B))I4)=0.
    $

    Thus

    $ P(t)P(t)1+β2(P(t))2>0,t[0,).
    $

    Since $ P(0) = c_0>\frac{1}{4}\varepsilon^{-2}\|u_0\|^4_{\mathcal{H}^{1,\frac{n}{2}}_{2,0}(\mathbb{B})}>0 $ and $ P'(0) = \varepsilon^{-1}\|u_0\|^4_{\mathcal{H}^{1,\frac{n}{2}}_{2,0}(\mathbb{B})}>0, $ by Lemma 6.1 we can conclude that there exists a $ 0<T<\infty $ such that

    $ limtTP(t)=+.
    $

    According to the definition of $ P(t) $, i.e. (6.11), we can conclude that

    $ limtTM(t)=+,
    $

    which claims the blow up of the solution.

    Part Ⅱ: Upper bound of the blow up time

    In Part I we have draw the conclusion that the maximal existence time $ T $ is finite, next, we estimate the upper bound of blowup time. For $ t\in[0,T) $, we define

    $ ψ(t):=t0u(τ)2H1,n22,0(B)dτ+(Tt)u02H1,n22,0(B)+μ(t+ν)2,
    $
    (6.22)

    where $ \mu>0 $ and $ \nu>0 $ are constants, which will be determined later in the process of argumentation. Thus we have

    $ ψ(t)=u(t)2H1,n22,0(B)u02H1,n22,0(B)+2μ(t+ν),
    $
    (6.23)

    then it follows from (3.3), Proposition 2 and (6.4) that

    $ ψ(t)=2I(u(t))+2μ(p1)Bu2H1,n22,0(B)2(p+1)J(u)p1c2+1u(t)2H1,n22,0(B)2(p+1)J(u)=p1c2+1u(t)2H1,n22,0(B)2(p+1)J(u0)+2(p+1)t0ut2H1,n22,0(B)dτ2(p+1)(p12(c2+1)(p+1)u02H1,n22,0(B)J(u0)+t0ut2H1,n22,0(B)dτ)>0.
    $
    (6.24)

    Furthermore, we obtain $ \psi'(t)\ge\psi'(0) = 2\mu(t+\nu)>0 $ via (3.3), which implies $ \psi(t)\ge\psi(0) = T\|u_0\|^2_{\mathcal{H}^{1,\frac{n}{2}}_{2,0}(\mathbb{B})}+\mu\nu^2>0 $ for all $ t\in[0,T) $.

    On the other hand, we can derive that

    $ 14(ψ(t))2=(12(u(t)2H1,n22,0(B)u02H1,n22,0(B))+μ(t+ν))2=(t0u2H1,n22,0(B)dτ+μ(t+ν)2)(t0ut2H1,n22,0(B)dτ+μ)(12(u(t)2H1,n22,0(B)u02H1,n22,0(B))+μ(t+ν))2(ψ(t)(Tt)u02H1,n22,0(B))(t0ut2H1,n22,0(B)dτ+μ)=I5I6(ψ(t)(Tt)u02H1,n22,0(B))(t0ut2H1,n22,0(B)dτ+μ),
    $
    (6.25)

    where

    $ I5:=(t0u2H1,n22,0(B)dτ+μ(t+ν)2)(t0ut2H1,n22,0(B)dτ+μ),I6:=(12(u(t)2H1,n22,0(B)u02H1,n22,0(B))+μ(t+ν))2.
    $

    To estimate (6.25) clearly, we will show that $ I_5-I_6>0 $,

    $ I5I6=I5(12(u(t)2H1,n22,0(B)u02H1,n22,0(B))+μ(t+ν))2=I5(12t0ddτu(τ)2H1,n22,0(B)dτ+μ(t+ν))2=I5(t0(u,ut)Bdτ+μ(t+ν))2I5(t0u(τ)H1,n22,0(B)ut(τ)H1,n22,0(B)dτ+μ(t+ν))2,
    $

    then by the Cauchy-Schwartz inequality we get

    $ I5I6I5(t0u(τ)H1,n22,0(B)dτt0ut(τ)H1,n22,0(B)dτ+μ(t+ν))2=I5(k1(t)k2(t)+μ(t+ν))2=((k1(t))2+μ(t+ν)2)((k2(t))2+μ)(k1(t)k2(t)+μ(t+ν))2=(μk1(t))22μk1(t)μ(t+ν)k2(t)+(μ(t+ν)k2(t))2=(μk1(t)μ(t+ν)k2(t))20,
    $

    where $ k_1(t): = \int^t_0\|u(\tau)\|_{\mathcal{H}^{1,\frac{n}{2}}_{2,0}(\mathbb{B})}{\rm d}\tau $ and $ k_2(t): = \int^t_0\|u_t(\tau)\|_{\mathcal{H}^{1,\frac{n}{2}}_{2,0}(\mathbb{B})}{\rm d}\tau $. Hence,

    $ (ψ(t))24(ψ(t)(Tt)u02H1,n22,0(B))(t0ut2H1,n22,0(B)dτ+μ)4ψ(t)(t0ut2H1,n22,0(B)dτ+μ).
    $
    (6.26)

    Then by (6.22), (6.24) and (6.26), we achieve

    $ ψ(t)ψ(t)p+12(ψ(t))2ψ(t)(ψ(t)2(p+1)(t0ut2H1,n22,0(B)dτ+μ))2(p+1)ψ(t)(p12(c2+1)(p+1)u02H1,n22,0(B)J(u0)μ).
    $
    (6.27)

    Let $ \sigma: = \frac{p-1}{2(c^2+1)(p+1)}\|u_0\|^2_{\mathcal{H}^{1,\frac{n}{2}}_{2,0}(\mathbb{B})}-J(u_0) $, then we can take a sufficiently small $ \mu\in\left(0,\sigma\right] $ such that

    $ p12(c2+1)(p+1)u02H1,n22,0(B)J(u0)μ0,
    $
    (6.28)

    hence for $ t\in[0,\infty) $, from (6.27) and (6.28) we have

    $ ψ(t)ψ(t)p+12(ψ(t))20.
    $

    It is easy to verify that $ \psi(0) = T\|u_0\|^2_{\mathcal{H}^{1,\frac{n}{2}}_{2,0}(\mathbb{B})}+\mu\nu^2>0 $, $ \psi'(0)\ge2\mu\nu>0 $, which implies that the conditions of Lemma 6.1 are satisfied. Then applying Lemma 6.1, we can derive that

    $ T2ψ(0)(p1)ψ(0)u02H1,n22,0(B)(p1)μνT+νp1.
    $
    (6.29)

    Let $ \nu $ be large enough such that

    $ ν(u02H1,n22,0(B)(p1)μ,+),
    $
    (6.30)

    then it follows from (6.29) that

    $ Tμν2(p1)μνu02H1,n22,0(B).
    $
    (6.31)

    Note that $ \mu\in (0,\sigma] $ by (6.28). To estimate the upper bound of the blow up time, we can revise the range of $ \mu $ according to (6.30) and define the following set to describe the pair $ (\mu,\nu) $

    $ M:={(ν,μ) | ν(u02H1,n22,0(B)(p1)σ,+),μ(u02H1,n22,0(B)(p1)ν,σ]}.
    $

    From the above discussions, we get

    $ Tinf(μ,ν)Mμν2(p1)μνu02H1,n22,0(B).
    $
    (6.32)

    Next we define

    $ f(μ,ν):=μν2(p1)μνu02H1,n22,0(B),
    $

    where $ (\mu,\nu)\in\mathfrak{M} $. Thus the estimation of the blow-up time turns into seeking the minimal value of $ f(\mu,\nu) $. First differentating $ f(\mu,\nu) $ with respect to $ \mu $, we have

    $ μf(μ,ν)=ν2u02H1,n22,0(B)((p1)μνu02H1,n22,0(B))2<0,
    $

    which means that $ f(\mu,\nu) $ is decreasing with respect to $ \mu $, for which we have

    $ inf(μ,ν)Mf(μ,ν)=infνf(σ,ν),
    $

    where $ \nu\in\left(\frac{\|u_0\|^2_{\mathcal{H}^{1,\frac{n}{2}}_{2,0}(\mathbb{B})}}{(p-1)\sigma},+\infty\right). $ Then we compute the partial derivative of $ f(\sigma,\nu) $ with respect to $ \nu $ and let it equal zero, we can obtain the minimum

    $ νmin=2u02H1,n22,0(B)(p1)σ,
    $

    thus we have

    $ inf(μ,ν)Mf(μ,ν)=f(σ,νmin)=4u02H1,n22,0(B)(p1)σ,
    $

    which means also

    $ T4u02H1,n22,0(B)(p1)σ.
    $

    In the first version [37] finished in 2016, XP Liu obtained the threshold conditions of the global existence and nonexistence for solutions together with the asymptotic behavior at both subcritical and critical initial energy levels. But this version [37] did not consider the local existence nor the dynamic behavior at the sup-critical initial energy level. Then, the authors realized that the framework of a family of potential wells brought some problems by unnecessary technical complexities without receiving the benefits expected. After XP Liu left HEU in 2016, YT Wang and YX Chen continued to reconsider problem (1.1)-(1.3) and reconstructed the conclusions again in the framework of a single potential well to replace the family version, and finally completed this second version in 2020. This new version of the present paper not only gives the same results with those in the first version [37] by a single potential well, but also proves the local existence and the finite time blow up at sup-critical initial energy level with the estimation of the blowup time at all initial energy levels.

    The authors are grateful to Professor Hua Chen in Wuhan University, who strongly encouraged this work when he visited Harbin Engineering University in 2017 and 2018.

    [1] Discrete Contin. Dyn. Syst. B, 4 (2004), 29-38.
    [2] European J. Cancer, 41 (2005), 159-167.
    [3] Angiogenesis, 5 (2002), 203-214.
    [4] J. Biol. Sys., 17 (2009), 1-25.
    [5] Funkcj. Ekvacioj, 29 (1986), 77-90.
    [6] Math. Biosci., 191 (2004), 159-184.
    [7] Applied Mathematics and Computation, 181 (2006), 1155-1162.
    [8] Math. Med. Biol., 26 (2009), 63-95.
    [9] Math. Biosci. Eng., 222 (2009), 13-26.
    [10] Nat. Rev. Clin. Oncol., 8, 1-12.
    [11] J. Biol. Sys., 12 (2004), 45-60.
    [12] Math. Biosci. Eng., 2 (2005), 511-525.
    [13] Int J Appl Math Comput Sci, 3 (2003), 395-406.
    [14] Neoplasia, 1 (1999), 226-230.
    [15] Cancer Res., 59 (1999), 4770-4775 (eng).
    [16] Springer, New York, 1977.
    [17] Springer, New York, 1993.
    [18] Oncogene, 18 (1999), 5356-5362.
    [19] Science, 307 (2005), 58-62 (eng).
    [20] Academic Press Inc., 1993.
    [21] Bull Math Biol, 56 (1994), 295-321.
    [22] SIAM J. Control Optim., 46 (2007), 1052-1079.
    [23] J. Theor. Biol., 252 (2008), 295-312.
    [24] J. Math. Anal. Appl., 382 (2011), 180-203.
    [25] Math. and Comp. Modelling, 54 (2011), 2183-2198.
    [26] Appl. Math., 36 (2009), 333-348.
    [27] in "Proc: IASTED Biomechanics 2006" Actapress, (2006).
    [28] J. Cancer Mol. 4 (2008), 37-45.
  • This article has been cited by:

    1. Ngo Tran Vu, Dao Bao Dung, Huynh Thi Hoang Dung, General decay and blow-up results for a class of nonlinear pseudo-parabolic equations with viscoelastic term, 2022, 516, 0022247X, 126557, 10.1016/j.jmaa.2022.126557
  • Reader Comments
  • © 2013 the Author(s), licensee AIMS Press. This is an open access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/4.0)
通讯作者: 陈斌, bchen63@163.com
  • 1. 

    沈阳化工大学材料科学与工程学院 沈阳 110142

  1. 本站搜索
  2. 百度学术搜索
  3. 万方数据库搜索
  4. CNKI搜索

Metrics

Article views(3128) PDF downloads(573) Cited by(10)

/

DownLoad:  Full-Size Img  PowerPoint
Return
Return

Catalog