Loading [MathJax]/jax/output/SVG/jax.js
Research article

Existence and blow-up of solutions for finitely degenerate semilinear parabolic equations with singular potentials

  • In this article, we investigate the initial-boundary value problem for a class of finitely degenerate semilinear parabolic equations with singular potential term. By applying the Galerkin method and Banach fixed theorem we establish the local existence and uniqueness of the weak solution. On the other hand, by constructing a family of potential wells, we prove the global existence, the decay estimate and the finite time blow-up of solutions with subcritical or critical initial energy.

    Citation: Huiyang Xu. Existence and blow-up of solutions for finitely degenerate semilinear parabolic equations with singular potentials[J]. Communications in Analysis and Mechanics, 2023, 15(2): 132-161. doi: 10.3934/cam.2023008

    Related Papers:

    [1] Tehreem, Harish Garg, Kinza Ayaz, Walid Emam . Multi attribute decision-making algorithms using Hamacher Choquet-integral operators with complex intuitionistic fuzzy information. AIMS Mathematics, 2024, 9(12): 35860-35884. doi: 10.3934/math.20241700
    [2] Misbah Rasheed, ElSayed Tag-Eldin, Nivin A. Ghamry, Muntazim Abbas Hashmi, Muhammad Kamran, Umber Rana . Decision-making algorithm based on Pythagorean fuzzy environment with probabilistic hesitant fuzzy set and Choquet integral. AIMS Mathematics, 2023, 8(5): 12422-12455. doi: 10.3934/math.2023624
    [3] Li Chen, Suyun Wang, Yongjun Li, Jinying Wei . New results for fractional ordinary differential equations in fuzzy metric space. AIMS Mathematics, 2024, 9(6): 13861-13873. doi: 10.3934/math.2024674
    [4] Muhammad Qiyas, Muhammad Naeem, Neelam Khan . Fractional orthotriple fuzzy Choquet-Frank aggregation operators and their application in optimal selection for EEG of depression patients. AIMS Mathematics, 2023, 8(3): 6323-6355. doi: 10.3934/math.2023320
    [5] Zengtai Gong, Chengcheng Shen . Monotone set-valued measures: Choquet integral, f-divergence and Radon-Nikodym derivatives. AIMS Mathematics, 2022, 7(6): 10892-10916. doi: 10.3934/math.2022609
    [6] Yasir Yasin, Muhammad Riaz, Kholood Alsager . Synergy of machine learning and the Einstein Choquet integral with LOPCOW and fuzzy measures for sustainable solid waste management. AIMS Mathematics, 2025, 10(1): 460-498. doi: 10.3934/math.2025022
    [7] Maysaa Al-Qurashi, Mohammed Shehu Shagari, Saima Rashid, Y. S. Hamed, Mohamed S. Mohamed . Stability of intuitionistic fuzzy set-valued maps and solutions of integral inclusions. AIMS Mathematics, 2022, 7(1): 315-333. doi: 10.3934/math.2022022
    [8] Tatjana Grbić, Slavica Medić, Nataša Duraković, Sandra Buhmiler, Slaviša Dumnić, Janja Jerebic . Liapounoff type inequality for pseudo-integral of interval-valued function. AIMS Mathematics, 2022, 7(4): 5444-5462. doi: 10.3934/math.2022302
    [9] Mohammed Shehu Shagari, Akbar Azam . Integral type contractions of soft set-valued maps with application to neutral differential equations. AIMS Mathematics, 2020, 5(1): 342-358. doi: 10.3934/math.2020023
    [10] Manar A. Alqudah, Artion Kashuri, Pshtiwan Othman Mohammed, Muhammad Raees, Thabet Abdeljawad, Matloob Anwar, Y. S. Hamed . On modified convex interval valued functions and related inclusions via the interval valued generalized fractional integrals in extended interval space. AIMS Mathematics, 2021, 6(5): 4638-4663. doi: 10.3934/math.2021273
  • In this article, we investigate the initial-boundary value problem for a class of finitely degenerate semilinear parabolic equations with singular potential term. By applying the Galerkin method and Banach fixed theorem we establish the local existence and uniqueness of the weak solution. On the other hand, by constructing a family of potential wells, we prove the global existence, the decay estimate and the finite time blow-up of solutions with subcritical or critical initial energy.



    In this paper, we are concerned with the Cauchy problem for the generalized Camassa-Holm equation

    (12x)ut+(k+1)(k+2)2ukuxk(k1)2uk2u3x2kuk1uxuxxukuxxx=0,kN+, (1.1)
    u(0,x)=u0(x), (1.2)

    which is introduced by S. Hakkaev and K. Kirchev [14,15]. In Eq (1.1), u=u(t,x) stands for the fluid velocity at time t>0 in the spatial direction. Equation (1.1) admits following conservative laws

    E=R12(uk+2+uku2x)dx, (1.3)
    F=R12(u2+u2x)dx, (1.4)

    and

    H=Rudx. (1.5)

    An important feature of Eq (1.1) is the existence of traveling solitary waves, interacting like solitons, also called "peakons"

    u(t,x)=c1kexct. (1.6)

    Since then, Eq (1.1) attracted lots of the attentions in the last few years. The well-posedness of the solutions for Eq (1.1) is obtained by parabolic regularization method [14], Kato's semigroup approach [20] and by classical Friedrichs's regularization method [21], respectively. In [17], Lai and Wu obtained a sufficient condition for the existence of weak solutions of Eq (1.1) in lower order Sobolev space Hs(R) with 1<s3/2. Yan [23] proved that Eq (1.1) does not depend uniformly continuously on the initial data in Hs(R) with s<3/2 and that the Cauchy problem for the generalized Camassa-Holm equation is locally well-posedness in B3/22,1. In [24], Zhou focused on the persistence property in weighted Lp spaces.

    When k=1, Eq (1.1) reduced to the well-known Camassa-Holm equation

    (12x)ut=3uux+2uxuxx+uuxxx, (1.7)

    which was derived by Camassa and Holm [1] and by Fokas and Fuchssteiner [11]. It describes the motion of shallow water waves and possesses soliton solutions, a Lax pair, a bi-Hamiltonian structures and infinitely many conserved integrals [1,32], and it can be solved by the Inverse Scattering Method. The dynamic properties related the equation can be found in [3,4,5,10,12,13,14,15,16,18,19,20,22,25] and the references therein. It is well-known that a major interest in water waves is the existence of breaking waves (solutions that remain bounded but whose slope becomes unbounded in finite time[7]). Comparing with KdV equation, another important feature of Camassa-Holm equation is that it possesses breaking wave[6,7,8,9].

    To our best knowledge, blow-up, analyticity and analytical solutions have not been investigated yet for the problems (1.1) and (1.2). Inspired by the ideas from [7], the objective of this paper is to investigate the blow-up phenomenon, analyticity and analytical solutions for the problems (1.1) and (1.2). In our blow-up phenomenon analysis, the quantity R((uk)x)3dx plays a key role. Taking advantage of complicated calculation, we obtain the Riccati inequality of quantity R((uk)x)3dx to arrive at a new blow-up result. In addition, we present some analytical solutions for the problems (1.1) and (1.2). Finally, we prove the analyticity. The results we obtained complements earlier results in this direction.

    Notations. The space of all infinitely differentiable functions ϕ(t,x) with compact support in [0,+)×R is denoted by C0. Let Lp=Lp(R)(1p<+) be the space of all measurable functions h such that hPLP=R|h(t,x)|pdx<. We define L=L(R) with the standard norm hL=infm(e)=0supxRe|h(t,x)|. For any real number s, Hs=Hs(R) denotes the Sobolev space with the norm defined by

    hHs=(R(1+|ξ|2)s|ˆh(t,ξ)|2dξ)12<,

    where ˆh(t,ξ)=Reixξh(t,x)dx.

    We denote by the convolution, using the green function G(x)=12ex, we have (12x)1f=G(x)f for all fL2, and p(uuxx)=u. For T>0 and nonnegative number s, C([0,T);Hs(R)) denotes the Frechet space of all continuous Hs-valued functions on [0,T). For simplicity, throughout this article, we let c denote any positive constant

    The Cauchy problems (1.1) and (1.2) is equivalent to

    ut+ukux=x(12x)1(k(k+3)2(k+1)uk+1+k2uk1u2x), (1.8)
    u(0,x)=u0(x), (1.9)

    which is also equivalent to

    yt+ukyx+2kuk1uxy+k(k1)2(ukuxuk2u3x)=0, (1.10)
    y=uuxx,u(0,x)=u0(x). (1.11)

    The rest sections are organized as follows. In the second section, we give a blow up criterion and a new blow up phenomenon. Existence of weak solution (CH-type peakon) and analytical solutions are studied in third section. In the forth section, we proved analyticity of strong solutions..

    We firstly give some useful Lemmas.

    Lemma 2.1. Given u(x,0)=u0Hs(R),s>3/2, then there exist a maximal T=T(u0) and a unique solution u to the problems (1.1) and (1.2) such that

    u=u(,u0)C([0,T);Hs(R))C1([0,T);Hs1(R)).

    Moreover, the solution depends continuously on the initial data, i.e., the mapping u0u(,u0):HsC([0,T);Hs(R))C1([0,T);Hs1(R)) is continuous.

    Proof. Using the Kato's theorem[27], we can prove the above theorem. Because there exist some similarities, here we omit the proof of Lemma 2.1, a detailed proof can be found in [26].

    Lemma 2.2. ([2]) Let fC1(R), a>0, b>0 and f(0)>ba. If f(t)af2(t)b, then

    f(t)+astT=12ablog(f(0)+baf(0)ba). (2.1)

    Lemma 2.3. (see [23]) Let u0B3/22,1 and u be the corresponding solution to (1.1). Assume that T is the maximal time of existence of the solution to the problems (1.1) and (1.2). If T<, then

    T0uxLdτ=+. (2.2)

    Remark 1. For s>32, it is well known that HsB3/22,1, so we have the following result:

    Let u0Hs with s>32 and u be the corresponding solution to (1.1). Assume that T is the maximal time of existence of the solution to the problems (1.1) and (1.2). If T<, then

    T0uxLdτ=+. (2.3)

    Lemma 2.4. Let u0Hs(R) with s>32. Let T>0 be the maximum existence time of the solution u to the problems (1.1) and (1.2) with the initial data u0. Then the corresponding solution u blows up in finite time if and only if

    limtTuk1uxL=+.

    Proof. Applying Lemma 2.1 and a simple density argument, it suffices to consider the case s=3. Let T>0 be the maximal time of existence of solution u to the problems (1.1) and (1.2) with initial data u0H3(R). From Lemma 2.1 we know that uC([0,T);H3(R))C1([0,T);H2(R)). Due to y=uuxx, by direct computation, one has

    y2L2=R(uuxx)2dx=R(u2+2u2x+u2xx)dx. (2.4)

    So,

    u2H2≤∥y2L22u2H2. (2.5)

    Multiplying equation (1.10) by 2y and integrating by parts and using the interpolation ux2LCuH1yL2, we obtain

    ddty2L2=2Ryytdx=3kRuk1uxy2dxk(k1)Rukuxydx+k(k1)Ruk2u3xydxc(uk1uxLy2L2+ukLyL2uxL2+uk2Lu2xLyL2uxL2)c(uk1uxL+C1)y2L2. (2.6)

    where C1=C1(u0H1).

    If there exists a constant M>0 such that uk1uxL<M, from (2.6) we deduce that

    ddty2L2c(M+C1)y2L2. (2.7)

    By virtue of Gronwall's inequality, one has

    y2L2≤∥y02L2ec(M+C1)t. (2.8)

    On the other hand, due to u=py and ux=pxy, then

    uk1uxL≤∥uk1LuxL≤∥pk1L2pxL2ykL2

    This completes the proof of Lemma 2.4.

    Now, we present the blow-up phenomenon.

    Theorem 2.5. Let u0Hs(R) for s>32. Suppose that u(t,x) be corresponding solution of problems (1.1) and (1.2) with the initial datum u0. If the slope of uk0 satisfies

    R(uk0)3x<KK1, (2.9)

    where K=3k(6k2+7k2)4(k+1)u02kH1 and K1=12cku0kH1. Then there exists the lifespan T< such that the corresponding solution u(t,x) blows up in finite time T with

    T=12KK1log(K1h(0)KK1h(0)+K). (2.10)

    Proof. Defining g(t)=uk(t,x), h(t)=Rg3xdx, it follows that

    gt+ggx=kuk1Q, (2.11)

    where Q=x(12x)1(k(k+2)2(k+1)uk+1+k2uk1u2x).

    Differentiating the above Eq (2.11) with respect x yields

    gtx+ggxx=12g2x+k(k1)uk2uxQ+k2(k+2)2(k+1)g2k2(k+2)2(k+1)uk1(12x)1(uk+1)k22uk1(12x)1(uk1u2x). (2.12)

    Multiplying 3g2x both sides of (2.12) and integrating with respect x over R, one has

    ddtRg3xdx=12Rg4xdx+3k(k1)Ruk2uxg2xQdx+3k2(k+2)2(k+1)Rg2g2xdx3k2(k+2)2(k+1)Rg2xuk1(12x)1(uk+1)dx3k22Rg2xuk1(12x)1(uk1u2x)dx=Γ1+Γ2+Γ3+Γ4+Γ5. (2.13)

    Using the Hölder's inequality, Yong's inequality and (1.4), from (2.13) we get

    Γ2=3k(k1)Ruk2uxg2xQdx3k(k1)QL(R(uk2ux)2dx)12(R(gx)2dx)123k(k1)2u02kH1(R(gx)4dx)123k(k1)2(u04kH12ϵ+ϵR(gx)4dx2), (2.14)
    Γ3=3k2(k+2)2(k+1)Rg2g2xdx3k2(k+2)2(k+1)(Rg4dx)12(R(gx)4dx)123k2(k+2)2(k+1)u02kH1(R(gx)4dx)123k2(k+2)2(k+1)(u04kH12ϵ+ϵR(gx)4dx2), (2.15)
    Γ4=3k2(k+2)2(k+1)Rg2xuk1(12x)1(uk+1)dx3k2(k+2)2(k+1)(12x)1(uk+1)L(Ru2k2dx)12(R(gx)4dx)123k2(k+2)2(k+1)u02kH1(R(gx)4dx)123k2(k+2)2(k+1)(u04kH12ϵ+ϵR(gx)4dx2), (2.16)

    and

    Γ5=3k22Rg2xuk1(12x)1(uk1u2x)dx3k22(12x)1(uk1u2x)L(Ru2k2dx)12(R(gx)4dx)123k22u02kH1(R(gx)4dx)123k22(u04kH12ϵ+ϵR(gx)4dx2). (2.17)

    Combining the above inequalities (2.14)–(2.17), we obtain

    Γ2+Γ3+Γ4+Γ5∣≤3k(6k2+7k2)8ϵ(k+1)u04kH1+ϵ23k(6k2+7k2)4(k+1)R(gx)4dx. (2.18)

    Choosing ϵ=2(k+1)3k(6k2+7k2), which results in

    ddtRg3xdx14Rg4xdx+K2. (2.19)

    in which K2=9k2(6k2+7k2)216(k+1)2u04kH1. Using the Hölder's inequality, we get

    (Rg3xdx)2cRg2xdxRg4xdxck2u02kH1Rg4xdx. (2.20)

    Combining (2.19) and (2.20), we have

    ddth(t)K21h2(t)+K2, (2.21)

    where K21=14ck2u02kH1.

    It is observed from assumption of Theorem that h(0)<KK1, the continuity argument ensures that h(t)<h(0). Lemma 2.1 (a=K21 and b=K2) implies that h(t) as tT=12K1KlogK1h(0)KK1h(0)+K.

    On the other hand, by using the fact that

    Rg3xdx∣≤Rg3xdxk3uk1ux(t,x)LRg2xdx=k3uk1ux(t,x)Lu02kH1. (2.22)

    Lemma 2.4 implies that the Theorem 2.5 is true. This completes the proof of Theorem 2.5.

    The solitons do not belong to the spaces Hs(R) with s>32 [28,29], so it motivates us to carry out the study of analytical solutions to problems (1.1) and (1.2).

    Definition 3.1. Given initial data u0Hs, s>32, the function u is said to be a weak solution to the initial-value problems (1.8) and (1.9) if it satisfies the following identity

    T0Ruφt+1k+1uk+1φx+G(k(k+3)2(k+1)uk+1+k2uk1u2x)φxdxdt+Ru0(x)φ(0,x)dx=0 (3.1)

    for any smooth test function φ(t,x)Cc([0,T)×R). If u is a weak solution on [0,T) for every T>0, then it is called a global weak solution.

    Theorem 3.2 The peakon function of the form

    u(t,x)=p(t)e|xq(t)| (3.2)

    is a global weak solution to problems (1.1) and (1.2) in the sense of Definition 3.1. Assumed that the functions p(t) and q(t) satisfy

    pk+1(t)p(t)q(t)p(t)=0,

    and

    pk+1(t)p(t)q(t)+p(t)=0.

    where denotes differentiation.

    Proof. We firstly claim that

    u=p(t)e|xq(t)| (3.3)

    is a peakon solution of (1.1) and

    ut=p(t)e|xq(t)|+p(t)sign(xq(t))q(t)e|xq(t)|,ux=p(t)sign(xq(t))e|xq(t)|. (3.4)

    Hence, using (3.1), (3.4) and integration by parts, we derive that

    T0Ruφt+1k+1uk+1φxdxdt+Ru0(x)φ(0,x)dx=T0Rφ(ut+ukux)dxdt=T0Rφ[p(t)e|xq(t)|+sign(xq(t))(p(t)q(t)e|xq(t)|pk+1e(k+1)|xq(t)|)]dxdt. (3.5)

    On the other hand, using (3.4), we obtain

    T0RG(k(k+3)2(k+1)uk+1+k2uk1u2x)φxdxdt=T0RφGx[k2uk1u2x+k(k+3)2(k+1)uk+1]dxdt=T0RφGx[k(k+2)k+1uk+1]dxdt. (3.6)

    Note that Gx=12sign(x)e|x|. For x>q(t), directly calculate

    Gx[k(k+2)k+1uk+1]=12Rsign(xy)e|xy|k(k+2)k+1pk+1(t)e(k+1)|yq(t)|dy=12(q(t)+xq(t)+x)sign(xy)e|xy|k(k+2)k+1pk+1(t)e(k+1)|yq(t)|dy=I1+I2+I3. (3.7)

    We directly compute I1 as follows

    I1=12q(t)sign(xy)e|xy|k(k+2)k+1pk+1(t)e(k+1)|yq(t)|dy=12k(k+2)k+1pk+1(t)q(t)ex(k+1)q(t)e(k+2)ydy=12k(k+2)k+1pk+1(t)ex(k+1)q(t)q(t)e(k+2)ydy=12(k+2)k(k+2)k+1pk+1(t)ex+q(t). (3.8)

    In a similar procedure,

    I2=12xq(t)sign(xy)e|xy|k(k+2)k+1ak+1e(k+1)|yq(t)|dy=12k(k+2)k+1pk+1xq(t)ex+(k+1)q(t)ekydy=12k(k+2)k+1pk+1ex+(k+1)q(t)xq(t)ekydy=12kk(k+2)k+1pk+1(e(k+1)(xq(t))ex+q(t)), (3.9)

    and

    I3=12xsign(xy)e|xy|k(k+2)k+1pk+1e(k+1)|yq(t)|dy=12k(k+2)k+1pk+1xex+(k+1)q(t)e(k+2)ydy=12k(k+2)k+1pk+1ex+(k+1)q(t)xe(k+2)ydy=12(k+2)k(k+2)k+1pk+1e(k+1)(xq(t)). (3.10)

    Substituting (3.8)–(3.10) into (3.7), we deduce that for x>q(t)

    Gx[k(k+2)k+1uk+1]=2(k+1)k(k+2)Ωex+q(t)2(k+1)k(k+2)Ωe(k+1)(xq(t))=pk+1(t)ex+q(t)+pk+1(t)e(k+1)(xq(t)), (3.11)

    where Ω=12k(k+2)k+1pk+1(t).

    For x<q(t),

    Gx[(k(k+2)k+1uk+1]=12Rsign(xy)e|xy|(k(k+2)k+1pk+1(t)e(k+1)|yq(t)|dy=12(x+q(t)x+q(t))sign(xy)e|xy|k(k+2)k+1pk+1(t)e(k+1)|yq(t)|dy=Δ1+Δ2+Δ3. (3.12)

    We directly compute Δ1 as follows

    Δ1=12xsign(xy)e|xy|k(k+2)k+1pk+1e(k+1)|yq(t)|dy=12k(k+2)k+1pk+1(t)xex(k+1)q(t)e(k+2)ydy=12k(k+2)k+1pk+1(t)ex(k+1)q(t)xe(k+2)ydy=12(k+2)k(k+2)k+1pk+1(t)e(k+1)(xq(t)). (3.13)

    In a similar procedure,

    Δ2=12ctxsign(xy)e|xy|k(k+2)k+1pk+1e(k+1)|yq(t)|dy=12k(k+2)k+1pk+1(t)q(t)xex(k+1)q(t)ekydy=12k(k+2)k+1pk+1(t)ex(k+1)q(t)q(t)xekydy=12kk(k+2)k+1pk+1(t)(e(k+1)(xq(t))+exq(t)), (3.14)

    and

    Δ3=12q(t)sign(xy)e|xy|k(k+2)k+1pk+1(t)e(k+1)|yq(t)|dy=12k(k+2)k+1pk+1(t)q(t)ex+(k+1)q(t)e(k+2)ydy=12k(k+2)k+1pk+1(t)ex+(k+1)q(t)q(t)e(k+2)ydy=12(k+2)k(k+2)k+1pk+1(t)exq(t). (3.15)

    Therefore, from (3.8)–(3.10), we deduce that for x<q(t)

    Gx[k(k+2)k+1uk+1]=2(k+1)k(k+2)Θexq(t)2(k+1)k(k+2)Θe(k+1)(xq(t))=pk+1(t)exq(t)pk+1(t)e(k+1)(xq(t)), (3.16)

    where Θ=12k(k+2)k+1pk+1(t).

    Recalling u=p(t)e|xq(t)|, we have

    p(t)e|xq(t)|+sign(xq(t))(p(t)q(t)e|xq(t)|pk+1e(k+1)|xq(t)|)={p(t)ex+q(t)+p(t)q(t)ex+q(t)pk+1e(k+1)(xq(t),forx>q(t),p(t)exq(t)p(t)q(t)exq(t)+pk+1e(k+1)(xq(t)),forxq(t).

    To ensure that u=p(t)e|xq(t)| is a global weak solution of (1.1) in the sense of Definition 3.1, we infer that

    pk+1(t)p(t)q(t)p(t)=0 (3.17)

    and

    pk+1(t)p(t)q(t)+p(t)=0 (3.18)

    hold.

    It completes the proof of Theorem 3.2.

    Remark 2. Solving Eqs (3.17) and (3.18), we get

    p(t)=c1k,andq(t)=ct+x0c>0. (3.19)

    Therefore, we conclude that peakon solution for problems (1.1) and (1.2)

    u=c1ke|xctx0|,c>0. (3.20)

    Remark 3. For x>q(t), the solution of problems (1.1) and (1.2) is of following form

    u=p(t)ex+q(t), (3.21)

    where p(t) and q(t) satisfy

    pk+1(t)p(t)q(t)p(t)=0. (3.22)

    For x<q(t), the solution of problems (1.1) and (1.2) is of following form

    u=p(t)exq(t), (3.23)

    where p(t) and q(t) satisfy

    pk+1(t)p(t)q(t)+p(t)=0. (3.24)

    Example. For x>q(t), letting q(t)=t+c,c>0, from (3.17) we derive that

    p+12tppk+1=0. (3.25)

    (3.25) implies that

    p=(2t+2k)1k. (3.26)

    Hence, we obtain from (3.3) the solution of (1.1) for x>q(t).

    u=(2t+2k)1kex+t+c. (3.27)

    For x<q(t), letting q(t)=t+c,c>0, from (3.18) we derive that

    p12tp+pk+1=0. (3.28)

    (3.28) implies that

    p=(2t2k)1k. (3.29)

    Therefore, we obtain from (3.3) the solution of (1.1) for x<q(t).

    u=(2t2k)1kextc. (3.30)

    In this section, we focus on the analyticity of the Cauchy problems (1.1) and (1.2) based on a contraction type argument in a suitably chosen scale of the Banach spaces. In order to state the main result, we will need a suitable scale of the Banach spaces as follows. For any s>0, we set

    Es={uC(R):|||u|||s=supkN0sk||ku||H2k!/(k+1)2<},

    where H2(R) is the Sobolev space of order two on the real line and N0 is the set nonnegative integers. One can easily verify that Es equipped with the norm ||||||s is a Banach space and that, for any 0<s<s, Es is continuously embedded in Es with

    |||u|||s|||u|||s.

    Another simple consequence of the definition is that any u in Es is a real analytic function on R. Our main theorem is stated as follows.

    Theorem 4.1. If the initial data u0 is analytic and belongs to a space Es0, for some 0<s01, then there exist an ε>0 and a unique solution u(t,x) to the Cauchy problems (1.1) and (1.2) that is analytic on (ε,ε)×R.

    For the proof of Theorem 4.1, we need the following lemmas

    Lemma 4.2. ([30]) Let 0<s<1. There is a constant C>0, independent of s, such that for any u and v in Es we have

    |||uv|||sC|||u|||s|||v|||s.

    Lemma 4.3. ([30]) There is a constant C>0 such that for any 0<s<s<1, we have |||xu|||sCss, and |||(12x)1u|||s|||u|||s, |||x(12x)1u|||s|||u|||s.

    Lemma 4.4. ([31]) Let {Xs}0<s<1 be a scale of decreasing Banach spaces, namely for any s<s we have XsXs and ||||||s||||||s. Consider the Cauchy problem

    dudt=F(t,u(t)), (4.1)
    u(0,x)=0. (4.2)

    Let T, R and C be positive constants and assume that F satisfies the following conditions:

    (1) If for 0<s<s<1 the function tu(t) is holomorphic in |t|<T and continuous on |t|T with values in Xs and

    sup|t|T|||u(t)|||s<R,

    then tF(t,u(t)) is a holomorphic function on |t|<T with values in Xs.

    (2) For any 0<s<s<1 and only u,vXs with |||u|||s<R, |||v|||s<R,

    sup|t|T|||F(t,u)F(t,v)|||sCss|||uv|||s.

    (3) There exists M>0 such that for any 0<s<1,

    sup|t|T|||F(t,0)|||sM1s,

    then there exist a T0(0,T) and a unique function u(t), which for every s(0,1) is holomorphic in |t|<(1s)T0 with values in Xs, and is a solution to the Cauchy problems (1.1) and (1.2).

    Let u1=u and u2=ux, then the problems (1.1) and (1.2) can be written as a system for u1 and u2.

    u1t=uk1u2x(12x)1(k(k3)2(k1)uk+11+k2uk11u22)=F1(u1,u2), (4.3)
    u2t=kuk11u22uk1u2x2x(12x)1(k(k3)2(k1)uk+11+k2uk11u22)=F2(u1,u2), (4.4)
    u1(x,0)=u(x,0)=u0(x),u2(x,0)=ux(x,0)=u0x(x). (4.5)

    To apply Lemma 4.4 to prove Theorem 4.1, we rewrite the system (4.3)-(3.28) as

    dUdt=F(u1,u2), (4.6)
    U(0)=(u0,u0), (4.7)

    where U=(u1,u2) and F(t,U)=F(u1,u2)=(F1(u1,u2),F2(u1,u2)).

    Proof of Theorem 4.1. Theorem 4.1 is a straightforward consequence of the Cauchy-Kowalevski theorem [31]. We only need verify the conditions (1)–(3) in the statement of the abstract Cauchy-Kowalevski theorem (see Lemma 4.4) for both F1(u1,u2) and F2(u1,u2) in the systems (4.3)–(3.28), since neither F1 nor F2 depends on t explicitly. For 0<s<s<1, we derive from Lemmas 4.2 and 4.3 that

    |||F1(u1,u2)|||s|||u1|||ks|||u2|||s+C|||u1|||k+1s+C|||u1|||k1s|||u2|||2s
    |||F2(u1,u2)|||sC|||u1|||k1s|||u2|||2s+Css|||u1|||ks|||u2|||s+Css|||u1|||k+1s+Css|||u1|||k1s|||u2|||2s,

    where the constant C depends only on R, so condition (1) holds.

    Notice that to verify the second condition it is sufficient to estimate

    |||F(u1,u2)F(v1,v2)|||s|||F1(u1,u2)F1(v1,v2)|||s+|||F2(u1,u2)F2(v1,v2)|||sC|||uk1u2vk1v2|||s+C|||x(12x)1(uk+11vk+11)|||s+C|||x(12x)1(uk11u22vk11v22)|||s+C|||uk11u22vk11v22|||s+C|||uk1u2xvk1v2x|||s+C|||2x(12x)1(uk+11vk+11)|||s+C|||2x(12x)1(uk11u22vk11v22)|||s,

    Using Lemmas 4.2 and 4.3, we get the following estimates

    |||uk1u2vk1v2|||s|||uk1u2uk1v2|||s+|||uk1v2vk1v2|||sC|||u2v2|||s|||u1|||ks+|||u1v1|||s|||v2|||s(k10(|||u1|||k1is|||v1|||is)),
    |||x(12x)1(uk+11vk+11)|||s|||uk+11vk+11|||s|||u1v1|||s(k0(|||u1|||kis|||v1|||is)),
    |||uk11u22vk11v22|||s|||uk11u22uk11v22|||s+|||uk11v22vk11v22|||sC|||u2v2|||s(|||u2+v2|||s)|||u1|||k1s+|||u1v1|||s|||v2|||2s(k20(|||u1|||k2is|||v1|||is)),

    and

    |||x(12x)1(uk11u22vk11v22)|||sC|||u2v2|||s(|||u2+v2|||s)|||u1|||k1s+|||u1v1|||s|||v2|||2s(k20(|||u1|||k2is|||v1|||is)),
    |||uk1u2xvk1v2x|||s|||uk1u2uk1v2x|||s+|||uk1v2xvk1v2|||sCss|||u2v2|||s|||u1|||ks+Css|||u1v1|||s|||v2|||s(k10(|||u1|||k1is|||v1|||is)),
    |||2x(12x)1(uk+11vk+11)|||sCss|||uk+11vk+11|||sCss|||u1v1|||s(k0(|||u1|||kis|||v1|||is)),
    |||2x(12x)1(uk11u22vk11v22)|||sCss|||u2v2|||s(|||u2+v2|||s)|||u1|||k1s+Css|||u1v1|||s|||v2|||2s(k20(|||u1|||k2is|||v1|||is)).

    Therefore, we arrive at

    |||F(u1,u2)F(v1,v2)|||sC|||u2v2|||s|||u1|||ks+|||u1v1|||s|||v2|||s(k10(|||u1|||k1is|||v1|||is))+C|||u1v1|||s(k0(|||u1|||kis|||v1|||is))+Css|||u1v1|||s(k0(|||u1|||kis|||v1|||is))+2C|||u2v2|||s|||u2+v2|||s|||u1|||k1s+|||u1v1|||s|||v2|||2s(k20(|||u1|||k2is|||v1|||is))+Css|||u2v2|||s|||u1|||ks+Css|||u1v1|||s|||v2|||s(k10(|||u1|||k1is|||v1|||is))+Css|||u2v2|||s|||u2+v2|||s|||u1|||k1s+Css|||u1v1|||s|||v2|||2s(k20(|||u1|||k2is|||v1|||is)),

    where the constant C depends only on R and k. The conditions (1)–(3) above are easily verified once our system is transformed into a new system with zero initial data as (4.1) and (4.2). So, we have completed the proof of Theorem 4.1.

    In this paper, we focus on several dynamic properties of the Cauchy problems (1.1) and (1.2). We first establish a new blow-up criterion and a blow-up phenomenon for the problem, then we study analytical solutions for the equation by using a new method, here, we present two analytical solutions for the problems (1.1) and (1.2) for the first time. Finally, we study the analyticity in a suitable scale of the Banach spaces. The properties of the problems (1.1) and (1.2) not only present fundamental importance from mathematical point of view but also are of great physical interest.

    This research was funded by the Guizhou Province Science and Technology Basic Project (Grant No. QianKeHe Basic [2020]1Y011).

    There is no conflict of interest.



    [1] M. Alimohammady, M. K. Kalleji, Existence result for a class of semilinear totally characteristic hypoelliptic equations with conical degeneration, J. Funct. Anal., 265 (2013), 2331–2356. https://doi.org/10.1016/j.jfa.2013.07.013 doi: 10.1016/j.jfa.2013.07.013
    [2] P. Baras, J. Goldstein, The heat equation with a singular potential, Trans. Amer. Math. Soc., 284 (1984), 121–139. https://doi.org/10.1090/S0002-9947-1984-0742415-3 doi: 10.1090/S0002-9947-1984-0742415-3
    [3] J. M. Bony, Principe du maximum, inégalité de Harnack et unicité du problème de Cauchy pour les opérateurs elliptiques dégénérés, Ann. Inst. Fourier, 19 (1969), 277–304. https://doi.org/10.5802/aif.319 doi: 10.5802/aif.319
    [4] M. Bramanti, An Invitation to Hypoelliptic Operators and Hörmander's Vector Fields, Springer, 2014. https://doi.org/10.1007/978-3-319-02087-7
    [5] X. Cabré, Y. Martel, Existence versus explosion instantanée pour des équations de la chaleur linéaires avec potentiel singulier, C. R. Acad. Sci. Paris Sér. I Math., 329 (1999), 973–978. https://doi.org/10.1016/S0764-4442(00)88588-2 doi: 10.1016/S0764-4442(00)88588-2
    [6] L. Capogna, D. Danielli, N. Garofalo, An embedding theorem and the Harnack inequality for nonlinear subelliptic equations, Comm. Partial Differ. Equ., 18 (1993), 1765–1794. https://doi.org/10.1080/03605309308820992 doi: 10.1080/03605309308820992
    [7] H. Chen, N. Liu, Asymptotic stability and blow-up of solutions for semi-linear edge-degenerate parabolic equations with singular potentials, Discrete Contin. Dyn. Syst., 36 (2016), 661–682. https://doi.org/10.3934/dcds.2016.36.661 doi: 10.3934/dcds.2016.36.661
    [8] H. Chen, P. Luo, Lower bounds of Dirichlet eigenvalues for some degenerate elliptic operators, Calc. Var. Partial Differ. Equ., 54 (2015), 2831–2852. https://doi.org/10.1007/s00526-015-0885-3 doi: 10.1007/s00526-015-0885-3
    [9] H. Chen, H. Chen, X. Yuan, Existence and multiplicity of solutions to Dirichlet problem for semilinear subelliptic equation with a free perturbation, J. Differential Equations, 341 (2022), 504–537. https://doi.org/10.1016/j.jde.2022.09.021 doi: 10.1016/j.jde.2022.09.021
    [10] L. D'Ambrosio, Hardy-type inequalities related to degenerate elliptic differential operators, Ann. Scuola Norm. Sup. Pisa Cl. Sci., IV (2005), 451–486. https://doi.org/10.2422/2036-2145.2005.3.04 doi: 10.2422/2036-2145.2005.3.04
    [11] L. C. Evans, Partial Differential Equations, 2nd edition, American Mathematical Society, 2015.
    [12] F. Gazzola, T. Weth, Finite time blow up and global solutions for semilinear parabolic equations with initial data at high energy level, Differ. Integr. Equations, 18 (2005), 961–990. https://doi.org/10.57262/die/1356060117 doi: 10.57262/die/1356060117
    [13] L. Hörmander, Hypoelliptic second order differential equations, Acta Math., 119 (1967), 147–171. https://doi.org/ 10.1007/BF02392081 doi: 10.1007/BF02392081
    [14] D. Jerison, The Poincaré inequality for vector fields satisfying Hörmander's condition, Duke Math. J., 53 (1986), 503–523. https://doi.org/10.1215/S0012-7094-86-05329-9 doi: 10.1215/S0012-7094-86-05329-9
    [15] D. Jerison, A. Sánchez-Calle, Estimates for the heat kernel for a sum of squares of vector fields, Indiana Univ. Math. J., 35 (1986), 835–854. https://doi.org/10.1512/iumj.1986.35.35043 doi: 10.1512/iumj.1986.35.35043
    [16] J. Jost, C. J. Xu, Subelliptic harmonic maps, Trans. Amer. Math. Soc., 350 (1998), 4633–4649. https://doi.org/10.1090/S0002-9947-98-01992-8 doi: 10.1090/S0002-9947-98-01992-8
    [17] J. J. Kohn, Subellipticity of the ˉ-Neumann problem on pseudo-convex domains: sufficient conditions, Acta Math., 142 (1979), 79–122. https://doi.org/10.1007/BF02395058 doi: 10.1007/BF02395058
    [18] V. Komornik, Exact controllability and stabilization: the multiplier method, Siam Review 02, 1994.
    [19] H. Lewy, An example of a smooth linear partial differential equation without solution, Ann. Math., 66 (1957) 155–158. https://doi.org/10.2307/1970121
    [20] W. Lian, V. Rădulescu, R. Xu, Y. Yang, N. Zhao, Global well-posedness for a class of fourth-order nonlinear strongly damped wave equations, Adv. Calc. Var., 14 (2021), 589–611. https://doi.org/10.1515/acv-2019-0039 doi: 10.1515/acv-2019-0039
    [21] W. Lian, J. Wang, R. Xu, Global existence and blow up of solutions for pseudo-parabolic equation with singular potential, J. Differ. Equations, 269 (2020), 4914–4959. https://doi.org/10.1016/j.jde.2020.03.047 doi: 10.1016/j.jde.2020.03.047
    [22] W. Lian, R. Xu, Global well-posedness of nonlinear wave equation with weak and strong damping terms and logarithmic source term, Adv. Nonlinear Anal., 9 (2020), 613–632. https://doi.org/10.1515/anona-2020-0016 doi: 10.1515/anona-2020-0016
    [23] Y. Liu, On potential wells and vacuum isolating of solutions for semilinear wave equations, J. Differ. Equations, 192 (2003), 155–169. https://doi.org/10.1016/S0022-0396(02)00020-7 doi: 10.1016/S0022-0396(02)00020-7
    [24] Y. Liu, J. Zhao, On potential wells and applications to semilinear hyperbolic equations and parabolic equations, Nonlinear Anal., 64 (2006), 2665–2687. https://doi.org/10.1016/j.na.2005.09.011 doi: 10.1016/j.na.2005.09.011
    [25] Y. Luo, R. Xu, C. Yang, Global well-posedness for a class of semilinear hyperbolic equations with singular potentials on manifolds with conical singularities, Calc. Var., 61 (2022), 210. https://doi.org/10.1007/s00526-022-02316-2 doi: 10.1007/s00526-022-02316-2
    [26] G. Métivier, Fonction spectrale et valeurs propres d'une classe d'opérateurs non elliptiques, Comm. Partial Differ. Equ., 1 (1976), 467–519. https://doi.org/10.1080/03605307608820018 doi: 10.1080/03605307608820018
    [27] R. Montgomery, A Tour of Subriemannian Geometries, Their Geodesics and Applications, American Mathematical Society, 91, 2002. http://dx.doi.org/10.1090/surv/091
    [28] L. E. Payne, D. H. Sattinger, Saddle points and instability of nonlinear hyperbolic equations, Isr. J. Math., 22 (1975), 273–303. https://doi.org/10.1007/BF02761595 doi: 10.1007/BF02761595
    [29] L. P. Rothschild, E. M. Stein, Hypoelliptic differential operators and nilpotent groups, Acta Math., 137 (1976), 247–320. https://doi.org/10.1007/bf02392419 doi: 10.1007/bf02392419
    [30] Z. Schuss, Theory and Application of Stochastic Differential Equations, Wiley, New York, 1980. https://doi.org/10.1063/1.2914346
    [31] R. Temam, Infinite-Dimensional Dynamical Systems in Mechanics and Physics, 2nd edition, Springer, New York, 1997. https://doi.org/10.1007/978-1-4612-0645-3
    [32] X. Wang, R. Xu, Global existence and finite time blowup for a nonlocal semilinear pseudo-parabolic equation, Adv. Nonlinear Anal., 10 (2021), 261–288. https://doi.org/10.1515/anona-2020-0141 doi: 10.1515/anona-2020-0141
    [33] C. J. Xu, Semilinear subelliptic equations and Sobolev inequality for vector fields satisfying Hörmander's condition, Chinese J. Contemp. Math., 15 (1994), 183–192.
    [34] R. Xu, Initial boundary value problem for semilinear hyperbolic equations and parabolic equations with critical initial data, Q. Appl. Math., 68 (2010), 459–468. https://doi.org/10.1090/S0033-569X-2010-01197-0 doi: 10.1090/S0033-569X-2010-01197-0
    [35] R. Xu, W. Lian, Y. Niu, Global well-posedness of coupled parabolic systems, Sci. China Math., 63 (2020), 321–356. https://doi.org/10.1007/s11425-017-9280-x doi: 10.1007/s11425-017-9280-x
    [36] R. Xu, J. Su, Global existence and finite time blow-up for a class of semilinear pseudo-parabolic equations, J. Funct. Anal., 264 (2013), 2732–2763. https://doi.org/10.1016/j.jfa.2013.03.010 doi: 10.1016/j.jfa.2013.03.010
    [37] R. Xu, Y. Niu, Addendum to "Global existence and finite time blow-up for a class of semilinear pseudo-parabolic equations" [J. Funct. Anal. 264 (12) (2013) 2732-2763], J. Funct. Anal., 270 (2016), 4039–4041. https://doi.org/10.1016/j.jfa.2016.02.026 doi: 10.1016/j.jfa.2016.02.026
    [38] C. Yang, V. Rădulescu, R. Xu, M. Zhang, Global well-posedness analysis for the nonlinear extensible beam equations in a class of modified Woinowsky-Krieger models, Adv. Nonlinear Stud., 22 (2022), 436–468. https://doi.org/10.1515/ans-2022-0024 doi: 10.1515/ans-2022-0024
    [39] P. L. Yung, A sharp subelliptic Sobolev embedding theorem with weights, Bull. London Math. Soc., 47 (2015), 396–406. https://doi.org/10.1112/blms/bdv010 doi: 10.1112/blms/bdv010
  • This article has been cited by:

    1. Zengtai Gong, Chengcheng Shen, Monotone set-valued measures: Choquet integral, f-divergence and Radon-Nikodym derivatives, 2022, 7, 2473-6988, 10892, 10.3934/math.2022609
    2. Deli Zhang, Radko Mesiar, Endre Pap, Choquet type integrals for single-valued functions with respect to set-functions and set-multifunctions, 2023, 630, 00200255, 252, 10.1016/j.ins.2023.02.038
    3. B. Bedregal, C. G. da Costa, E. Palmeira, E. Mansilla, B. L. L. Bedregal, A generalization of the Moore and Yang integral and interval probability density functions, 2024, 53, 0308-1079, 302, 10.1080/03081079.2023.2272036
    4. Gleb Beliakov, Jian-Zhang Wu, Weiping Ding, Representation, optimization and generation of fuzzy measures, 2024, 106, 15662535, 102295, 10.1016/j.inffus.2024.102295
    5. Deli Zhang, Radko Mesiar, Endre Pap, Multi-valued Choquet integral based on a couple of set functions with an application in multi-attribute decision-making, 2024, 01650114, 109249, 10.1016/j.fss.2024.109249
  • Reader Comments
  • © 2023 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(2195) PDF downloads(203) Cited by(21)

Other Articles By Authors

/

DownLoad:  Full-Size Img  PowerPoint
Return
Return

Catalog