Abstract

This paper is devoted to the initial and boundary value problems for a class of nonlinear metaparabolic equations . At low initial energy level (), we not only prove the existence of global weak solutions for these problems by the combination of the Galerkin approximation and potential well methods but also obtain the finite time blow-up result by adopting the potential well and improved concavity skills. Finally, we also discussed the finite time blow-up phenomenon for certain solutions of these problems with high initial energy.

1. Introduction

In this paper, we study the initial and boundary value problems for the following nonlinear metaparabolic equations in a bounded domain , where is the initial value function defined on , is the viscosity coefficient, is the interfacial energy parameter, and the nonlinear smooth function satisfies the following assumptions:

Equation (1) is a typical higher-order metaparabolic equation [1, 2], which has extensive physical background and rich theoretical connotation. This type of equation can be regarded as the regularization of Sobolev-Galpern equation by adding a fourth-order term . The Sobolev-Galpern equation appear in the study of various problems of fluid mechanics, solid mechanics, and heat conduction theory [3ā€“5]. There have been many outstanding results about the qualitative theory for Sobolev-Galpern which include the existence, nonexistence, asymptotic behavior, regularities, and other some special properties of solutions. We also refer the reader to see [6, 7] and the papers cited therein. In (1), is the concentration of one of the two phases, the fourth-order term denotes the capillarity-driven surface diffusion, and the nonlinear term is an intrinsic chemical potential. For example, differentiating (1) with respect to and taking , , then Equation (1) reduces to the well-known viscous Cahn-Hilliard equation

Equation (5) appears in the dynamics of viscous first-order phase transitions in cooling binary solutions such as glasses, alloys, and polymer mixtures [8ā€“10]. On the other hand, Equation (5) appears in the study of the regularization of nonclassical diffusion equations by adding a fourth-order term . There have been many outstanding results about the qualitative theory for this type of equations [11ā€“15]. For example, Liu and Yin [13] studied Equation (5) for in ; they proved the existence and nonexistence of global classical solutions and pointed out that the sign of is crucial to the global existence of solutions. In [14], Grinfeld and Novick-Cohen studied a Morse decomposition of the stationary solutions of the one-dimensional viscous Cahn-Hilliard equation by explicit energy calculations. They also proved a partial picture of the variation in the structure of the attractor () for the viscous Cahn-Hilliard equation as the mass constraint and homotopy parameter are varied. Zhao and Liu [15] considered the initial boundary problem for the viscous Cahn-Hilliard Equation (5). In their paper, the optimal control under boundary condition was given, and the existence of optimal solution was proved.

Let us mention that there is an abounding literature about the initial and boundary value problems or Cauchy problem to nonlinear parabolic and hyperbolic equations. We refer the reader to the monographs [16, 17] which devoted to the second-order parabolic and pseudoparabolic problems. For the fourth-order nonlinear parabolic and hyperbolic equations, there are also some results about the initial boundary value and Cauchy problems, especially on global existence/nonexistence, uniqueness/nonuniqueness, and asymptotic behavior [18ā€“25]. Bakiyevich and Shadrin [21] studied the Cauchy problem of the metaparabolic equation where , , and are constants. They proved that the solutions are expressed through the sum of convolutions of functions and with corresponding fundamental solutions.

In [22], Liu considered the metaparabolic equation where , , and (, and are positive constants). He proved the existence of weak solutions by using the method of continuity.

Khudaverdiyev and Farhadova [23] discussed the following fourth-order semilinear pseudoparabolic equation where is a fixed number. They proved the existence in large theorem (i.e., true for sufficiently large values of ) for generalized solution by means of Schauder stronger fixed-point principle.

In [24], Zhao and Xuan studied the generalized BBM-Burgers equation

They obtained the existence and convergence behavior of the global smooth solutions for Equation (9).

Philippin [25] studied the following fourth-order parabolic equation where , are positive constants or in general positive derivable functions of time . Under appropriate assumptions on the data, he proved that the solutions cannot exist for all time, and an upper bound is derived.

Equation (1) is also closely connected with many equations [26ā€“29]. For example, Yang [26] considered the initial and boundary value problems of the following equation

He studied the asymptotic property of the solution and gave some sufficient conditions of the blow-up. When the weak damping term of Equation (11) is replaced by the strong damping term , we have the following fourth-order wave equation

Chen and Lu [27] studied the initial and boundary value problems of Equation (12). They proved the existence and uniqueness of the global generalized solution and global classical solution by the Galerkin method. Furthermore, Xu et al. [28] considered the initial and boundary value problems and proved the global existence and nonexistence of solutions by adopting and modifying the so called concavity method under some conditions with low initial energy. Ali Khelghati and Khadijeh Baghaei [29] proved that the blow up for Equation (12) occurs in finite time for arbitrary positive initial energy.

Motivated by the above researches, in the present work, we mainly study the initial and boundary value problems (1)ā€“(3) of metaparabolic equations. Hereafter, for simplicity, we set . Especially, the appearance of the dispersion term and nonlinearity for these problems cause some difficulties such that we cannot apply the normal Galerkin approximation, concavity, and potential methods directly; we have to invent some new skills and methods to overcome these difficulties.

Our paper is organized as follows. In Section 2, we introduce some functionals and potential wells and discuss the invariance of some sets which are needed for our work. In Sections 3 and 4, the existence and nonexistence of global weak solutions for problems (1)ā€“(3) are proved by the Galerkin approximation and potential well and improved concavity methods at low initial energy (). Especially, the threshold result between global existence and nonexistence is obtained under certain conditions. In the last section, we investigate the finite time blow-up for certain solutions of problems (1)ā€“(3) with high initial energy.

2. Preliminaries

In this section, we introduce some functionals, potential wells, and important lemmas that will be needed in this paper. Throughout this paper, the following abbreviations are used for precise statement:

And the notation for the -inner product will also be used for the notation of duality paring between dual spaces.

First of all, let us consider the functionals as follows. The ā€œtotal energyā€ and ā€œpotential energyā€ associated with the problems (1)ā€“(3) are defined by

Then, by simple calculation, it follows that

The corresponding ā€œNehari manifoldā€ and ā€œpotential well depthā€ are given by

In addition, we define

To obtain the results of this paper, we also introduce so called stable and unstable sets:

Next, we shall give the following some essential lemmas which are important to obtain the main results of this paper.

Lemma 1. Let satisfy (4), , then the following hold: (1)If , then ();(2)If , then (3)If , then , where

Proof. (1)If , then which gives or ().(2)If , then and which gives .(3)If , then from we have .

Lemma 2. Let satisfy (4) and , then

Proof. For any , we have by Lemma 1 (3) that . Hence, from and the definition of potential depth , we get .

For simplicity, we define the weak solution of (1)ā€“(3) over the interval , but it is to be understood that is either infinity or the limit of the existence interval.

Definition 3. We say that is called a weak solution of the problems (1)ā€“(3) on the interval . If , with satisfy the following conditions (i)For any , such that (ii) in .(iii)The following energy inequality holds for any .

Lemma 4. Let satisfy (4) and be a solution of (1)ā€“(3) over the interval . If there exists a time such that , then for any , where is either infinity or the limit of the existence interval.

Proof. Arguing by contradiction and considering the time continuity of and , we suppose that there exists a time such that for any , but , which means that (1) or (2) , . By (15) and , we have . It follows that case (1) is impossible. If , , then by the definition of , we have which contradicts . The case (2) is also impossible.

Lemma 5. Let satisfy (4) and be a solution of (1)ā€“(3) over the interval . If there exists a time such that , then for any , where is either infinity or the limit of the existence interval.

Proof. The proof of Lemma 5 is similar to Lemma 4.

Lemma 6 (see [29, 30]). Assume that the function , satisfies for certain real number , , and . Then, there exists a real number with such that

We construct an approximate weak solution of the problems (1)-(3) by the GalerkinĀ”ĀÆs method. Let be the eigenfunction system of problem

Obviously, there exist some basis such that , and it is dense in . Now, suppose that the approximate weak solution of the problems (1)ā€“(3) can be written

According to Galerkinā€™s method, these coefficients need to satisfy the following initial value problem of the nonlinear differential equations where , , in .

The initial value problem (32) possesses a local solution in , for an arbitrary . Under some appropriate assumptions on the nonlinear terms and the initial data, we prove that the system (32) has global weak solutions in the interval . Furthermore, we show that the solutions of the problems (1)ā€“(3) can be approximated by the functions .

3. Existence of Global Weak Solutions

In this section, we shall prove the existence of global weak solution by the combination of the Galerkin approximation and potential well methods.

Theorem 7. Assume that satisfy (4), and , then the problems (1)ā€“(3) admits a global weak solution , with and for all .

Proof. Multiplying (32) by and summing for , then we have

By a direct calculation, it follows that where

Utilizing the strong convergence of in , we note that . Hence, we get for sufficiently large . On the other hand, from and in , it follows that for sufficiently large . Similar to the proof of Lemma 4, we have that the solution constructed by (31) remains in for and sufficiently large .

Thus, from (4) and we obtain where , . Therefore, there exist a subsequence of which from now on will be also denoted by such that as

Convergences (38)ā€“(42) permit us to pass to the limit in (32). Taking , we obtain

for Considering that the basis are dense in , we choose a function having the form , where are given functions. Multiplying (43) by and summing , then we have

Moreover, (32) gives in . Next, we will prove that satisfies (27). Taking into account the nonlinear term of the functional , we deduce

as , where . Hence, we have

Then, making use of Fatouā€™s Lemma and (34), (46), we deduce which yields (27). Thus, we obtain that is a global weak solution of problems (1)ā€“(3). Finally, making use of Lemma 4 again, we get for .

4. Finite Time Blow-up of Solutions with

In this section, we consider the finite time blow up of solutions with for the problems (1)ā€“(3).

Theorem 8. Let satisfy (4), and . Assume that and , where is defined in Lemma 2, then the weak solution of problems (1)ā€“(3) blow-up in finite time.

Proof. Let be any weak solution of the problems (1)ā€“(3) with and , be the maximal existence time of . Next, we will prove . Arguing by contradiction, we suppose . We define the function by where , and are positive constants to be chosen later. By simple calculation, we have

By (1), we obtain

Therefore, we can get where

Using the Schwarz and Young inequalities, we have

Inserting (53)ā€“(55) into (52), we have

Thus, where

From , and Lemma 5, we have for all . Hence, by Lemma 1, it follows that . Thus, we have from (58) that

We choose small enough such that , then we have

for all . From for all and (50), we get . Hence, we have for all .

From what has been discussed above, using Lemma 6 and letting , we can obtain that there exists a finite time such that or where which contradicts . Hence, the desired assertion immediately follows.

From the discussed above in Sections 3 and 4, a threshold result of global existence and nonexistence of solutions for problems (1)ā€“(3) has been obtained as follows.

Corollary 9. Let satisfy (4), and . Assume that . Then, problems (1)ā€“(3) admits a global weak solution provided (includes ); Problems (1)ā€“(3) dose not admit any global solution provided .

5. Finite Time Blow-up of Solutions with High Initial Energy

In this section, we shall state and prove the finite time blow-up result with high initial energy for the problems (1)ā€“(3).

Theorem 10. Let satisfy (4), and . Assume that where is the optimal constant satisfying the PoincĆ”re inequality , then the weak solution of problems (1)ā€“(3) blow-up in finite time.

Proof. Arguing by contradiction, we suppose that is a global weak solution of the problems (1)ā€“(3). Considering that so we have

From (16), (66) and Hƶlderā€™s inequality, we obtain

Since assume that is a global weak solution of the problems (1)ā€“(3), we get for all . Otherwise, there exists a time such that . Hence, from we have and which implies that . Therefore, by the results of Theorem 8, we obtain that blows up in finite time, which is a contradiction. Thus, we have

Next, combining (67) and (69), we get

for all .

On the other hand, multiplying on two sides of Equation (1) and integrating by parts, we have

The Poincaā€™re inequality gives , where is the first eigenvalue of the problem

Thus, we have

By the combination of (4), (73), and Sobolevā€™s inequality, we can get that

Since , for , we have

Taking in (75) and , then we have

Integrating the inequality (76) from 0 to , we see which means that

From the assumption condition (64), we have . Hence, we get from (69) and (78) that , i.e.,

From the combination of (70) and (79), we have

Clearly, the above inequality cannot hold for large enough, this means that the solution of problems (1)ā€“(3) cannot exist all time.

Furthermore, by (80) and , we can obtain the inequality which implies that there exists a finite time such that and is the largest root of the following equation

This completes the proof.

6. Conclusion and Future Work

In our work, we mainly study the qualitative properties of the solutions for the initial and boundary value problems (1)ā€“(3). It is well known that Equation (1) is a typical higher-order metaparabolic equation, which has extensive practical background and rich theoretical connotation. For example, the solutions of (1) can be used to denote the concentration of one of the two phases, the fourth-order term presents the capillarity-driven surface diffusion, and the nonlinear term is an intrinsic chemical potential. Especially, the interaction between the dispersion term and nonlinearity of these problems cause some difficulties such that we cannot apply the normal Galerkin approximation, concavity, and potential methods directly. Considering the above situation, at low initial energy level, we first prove the existence of global weak solutions for these problems by the Galerkin approximation and potential well methods and obtain the finite time blow-up result by the potential well and improved concavity skills. In addition, we establish the finite time blow-up result for certain solutions with high initial energy. However, as far as we know, there is little information on the long-time behavior of global solutions for above problems. Whether the global solutions will exhibit a long-time dynamic behavior at low initial energy? Do both problems (1)ā€“(3) have the global solutions and asymptotic property at high initial energy level? These questions are all opening, and we are now working on these problems. On the other hand, we note that the fractional partial differential equations have been applied in various areas of science, and their related theoretical results and applications have been investigated by some authors (see [31ā€“33] and the references therein). The study of their qualitative properties is one of the hot topics. Do the conclusions of present paper also hold for the initial and boundary value problems of the fractional nonlinear metaparabolic equations? This question is very interesting and opening.

Data Availability

The data used to support the findings of this study are included within the article.

Conflicts of Interest

The authors declare that they have no competing interests.

Acknowledgments

This work is supported by the NSF of China (11801108 and 11701116), the Scientific Program of Guangdong Province (2016A030310262), and the College Scientific Research Project of Guangzhou University (YG2020005). Dr. Huafei Di also specially appreciates Prof. Yue Liu for his invitation of visiting to the University of Texas at Arlington.