Abstract
In this work we consider a nonlinear parabolic higher order partial differential equation that has been proposed as a model for epitaxial growth. This equation possesses both global-in-time solutions and solutions that blow up in finite time, for which this blow-up is mediated by its Hessian nonlinearity. Herein, we further analyze its blow-up behaviour by means of the construction of explicit solutions in the square, the disc, and the plane. Some of these solutions show complete blow-up in either finite or infinite time. Finally, we refine a blow-up criterium that was proved for this evolution equation. Still, existent blow-up criteria based on a priori estimates do not completely reflect the singular character of these explicit blowing up solutions.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
In this work we consider both the initial and initial-boundary value problems for the partial differential equation
posed either on \(\mathbb {R}^2\) or on a bounded subset of the plane. Higher order equations have attracted attention for both its mathematical structure, as they in general lack the maximum principles characteristic of second order models, as well as their interest in different applications [12]. Higher order equations constitute one of the current trends in the modern theory of partial differential equations, such as equations that involve fractional derivatives [2].
Equation (1) is a higher order parabolic equation provided with a Hessian nonlinearity and, because of that, it possesses no second order analogue; in this respect, it is an interesting model to be analyzed. It has been studied in the context of condensed matter physics as a model for epitaxial growth [3, 9]. Its stationary solutions have been analyzed in [7, 8, 10]. Its self-similar solutions were studied in [5]. Its higher dimensional counterparts have been considered in [1, 4, 11]. Its numerical analysis was carried out in [13]. And the initial-boundary value problem for this equation, posed on a bounded domain with either Dirichlet or Navier boundary conditions, was initially analyzed in [6], and the analysis was subsequently developed in [14,15,16,17].
To connect Eq. (1) to epitaxial growth we consider the function
which mathematically describes the height of the epitaxially growing interface in the spatial point \((x,y) \in \Omega \subseteq \mathbb {R}^{2} \) at the time instant \(t \in \mathbb {R}_{+}\). We reduce the study to the case \(N=2\), since it is the one that corresponds to the actual physical situation. The macroscopic description of the growing interface is given by a suitable partial differential equation to be solved for \(\sigma \). There are several partial differential equations of this sort, see for instance the discussion in [3, 9], and references therein. We now summarize the geometric derivation of this model following [7]. Let us start assuming that the height function \(\sigma \) obeys a gradient flow with a forcing term
The functional \(J(\sigma )\) denotes a potential that describes the microscopic properties of the interface at the macroscopic scale and is given by
where the square root term models growth along the normal to the surface (i. e. the mathematical expression of the physical interface), z denotes the mean curvature of the graph of \(\sigma (x,y,\cdot )\), which analytically describes the surface, and Q is an unknown function of z. After assuming analyticity on Q(z), it can be expressed as its power series expansion given by
Applying the small gradient expansion, which assumes \(|\nabla \sigma | \ll 1\), together with this power series expansion, yields, after simplification, the reduced expression
for the equation, if only linear and quadratic terms are retained. For the relation between this equation and other models in this field, along with a geometrical explanation of each term in it, we refer the reader to [7]. For modeling reasons we can assume that \(K_{0}=0~\text{ and }~K_{3}=0\), see again [7]. Therefore it reduces to
This equation can be considered as a possible continuum description of epitaxial growth [3, 9]. Equation (1) arises after non-dimensionalization and by suppressing the time-dependent forcing term (i. e. we set \(\zeta (x,y,t) \equiv 0\)), which is a measure of the speed at which new particles are deposited into the system. In this autonomous case we denote the solution by u rather than \(\sigma \) (to be precise, they are different, since u is the non-dimensionalization of \(\sigma \)). Note that the non-autonomous case is also accessible to mathematical analysis [6], but in the search of explicit solutions, like herein, it is more convenient to consider the autonomous situation.
Along this work we complement the previous results on blowing up solutions for the evolution problem that have been found in [6, 14,15,16,17]. Our approach is two-fold: first, we compute explicit solutions to model (1) that belong to three different classes; some blow up in finite time, some blow up in infinite time, and others do not blow up at all. This program is carried out in Sect. 2 by means of three complementary problems: one is posed on the unit square, other is posed on the unit disc, and the third one is posed on the whole of the plane. In all the cases where it happens, the blow-up is shown to be complete; and some regularities in the blow-up structure of all of these examples are appreciated. The blow-ups are then so wild that they exceed the estimations shown in [6, 14,15,16,17]. For instance, in [6], the blow-up is shown to be in the Sobolev space \(H^2(\Omega )\), but this in turn implies the divergence of the \(W^{1,\infty }(\Omega )-\)norm of the solution; this fact is proven in our current Sect. 3, and this section indeed constitutes the second step of our approach. But also note that the blow-up is shown to be in \(L^2(\Omega )\) in [16]. Still, our explicit examples show a more dramatic behavior than the one expected from the a priori estimates. Moreover, under the precise conditions assumed in [6], infinite time blow-up is proven not to happen. But in all the situations considered herein, at least in the cases exhaustively analyzed, solutions that blow up in infinite time are present. Overall, this shows that Eq. (1) still presents some features that are not completely captured by the theoretical developments built so far. Our main conclusions, which highlight some open questions, are drawn in Sect. 4.
2 Explicit Formulas
2.1 Explicit Solutions on the Unit Square
Consider Eq. (1) in the domain \([0,1]^2\) subject to the boundary conditions
It admits the explicit solution
For \(a_0=0\) the solution \(u \equiv 0\) for all times. For \(a_0 > 0\) the solution exists for all times but blows up in infinite time in such a way that
for all \((x,y) \in [0,1]^2\). For \(a_0 < 0\) the solution blows up in finite time:
In this case we observe
in the sets \([0,1]^2 \cap \{x =0\}\) and \([0,1]^2 \cap \{y=0\}\). We also find
for all other \((x,y) \in [0,1]^2\). We note that in all cases the blow-up is complete.
2.2 Explicit Solutions on the Unit Disc
On the unit disc our model reads
where \(r = \sqrt{x^2 + y^2}\) and \(\Delta _r(\cdot )=\frac{1}{r}[r(\cdot )_r]_r\). We consider it now subject to the boundary conditions
The explicit solution in this case reads
For \(a_0=0\) the solution \(u \equiv 0\) for all times. For \(a_0 < 0\) the solution exists for all times but blows up in infinite time in this fashion:
for all \(r \in [0,1]\). For \(a_0 > 0\) the solution blows up in finite time:
and it fulfils
and
for all \(r \in \, ]0,1]\).
2.3 Families of Solutions on the Plane
On \(\mathbb {R}^2\), and in the non-radial case, we have the following families of solutions
where \(a_0\), \(a_1\), \(a_2\), \(a_3\), \(a_4\), \(a_5\) and \(a_6\) are arbitrary real parameters expect for:
The solution blows up in finite time
provided \(a_0 \, a_3 < 0\), in which case it blows up on the set
unless the condition
holds, in which case the blow-up is complete. Note that condition (4) is immediately met whenever \(a_1=0\). In such a case formula (2) reduces to
and it fulfils
on the set
and, if \(a_0>0\), also on the set
conversely, if \(a_0<0\), also on the set
On the other hand we find
if \(a_0>0\) on the set (8), and if \(a_0<0\) on the set (7). The solution (2) blows up in infinite time if \(a_0 \, a_3 > 0\) and (4) is fulfilled; so in particular formula (5) is a valid example of this fact. In this case
for all \((x,y) \in \mathbb {R}^2\). The solution is global in \([0,\infty ]\) if \(a_0=0\); in such a case it reduces to
In the radial case we find
where \(a_0\), \(a_1\) and \(a_2\) are arbitrary real parameters except that \(a_1 \ne 0\). If \(a_0 = 0\) then \(u(r,t)=a_2\) and therefore the solution is global in time. If \(a_0 \, a_1 <0\) the solution blows up in infinite time in the following fashion:
for all \(r \in [0,\infty [\). If \(a_0 \, a_1 >0\) the solution blows up in finite time:
In this case the blow-up is again complete and such that
and
for all \(r \in \, ]0,\infty [\).
We have yet another family of non-radial solutions that might blow up in infinite time
where \(a_0\), \(a_1\), \(a_2\), \(a_3\), \(a_4\), \(a_5\) and \(a_6\) are arbitrary real parameters. The solution does not blow up in infinite time if simultaneously either \(a_1=0\) or \(a_2=0\) and either \(2 \, a_2 \le a_3^2\) or \(a_3=0\); it neither blows up in infinite time if simultaneously either \(a_1=0\) or \(a_2=0\) and \(a_0=0\). Conversely it does blow up in infinite time if either \(a_1 \, a_2 \ne 0\) or \(2 \, a_2 > a_3^2\) and \(a_3 \ne 0\) and \(a_0 \ne 0\). For this solution we can identify the following types of behavior: if either \(a_3=0\) or \(2 \, a_2 \le a_3^2\) or \(a_0 = 0\) then
for \(a_1 \, a_2 > 0\) and all \((x,y) \in \mathbb {R}^2\), and
for \(a_1 \, a_2 < 0\) and all \((x,y) \in \mathbb {R}^2\). If \(a_3 \ne 0\), \(a_0 \ne 0\), and \(2 \, a_2 > a_3^2\) then
if \(a_0 > 0\) and for all \((x,y) \in \mathbb {R}^2\), and
if \(a_0 < 0\) and for all \((x,y) \in \mathbb {R}^2\).
3 Refinement of a Previous Blow-up Result
The aim of this section is to prove that, under exactly the same conditions considered in [6], the \(H^2(\Omega )\) blow-up proven there is in fact a \(W^{1,\infty }(\Omega )\) blow-up. We will show that this fact follows as a consequence of the Gagliardo-Nirenberg interpolation.
Along this section we will consider C a universal positive constant which numerical value may change from line to line or even within the same line, and \(\Omega \subset \mathbb {R}^2\) a bounded and open domain provided with a smooth boundary. The setting is exactly the same as the one assumed in [6].
Lemma 3.1
Let \(u \in C([0,T],H^2_0(\Omega ))\) be a weak solution to the initial-Dirichlet problem for Eq. (1) as defined in [6] such that
Then
for all \(0 \le t \le T\) and some positive universal constants \(C_1, C_2\), where the initial condition \(u_0 \in H^2_0(\Omega )\).
Proof
Test Eq. (1) against \(\Delta ^2 u\) and integrate by parts to find
after integration by parts and the use of Hölder inequality. Now compute
after integrating by parts and using Hölder inequality. Consider the Gagliardo-Nirenberg interpolation
Rearranging all the estimates we find
and
after the use of Young inequality. In consequence
and thus Grönwall inequality leads to
The last three equations lead to
\(\forall \, 0 \le t \le T\). \(\square \)
Corollary 3.2
There exists a non-empty \(\mathcal {U} \subset H^2_0(\Omega )\) such that if \(u_0 \in \mathcal {U}\) then there exists a \(T^* < \infty \) such that
Moreover we have \(\limsup _{t \nearrow T^*} \Vert u\Vert _{H^2(\Omega )}=\infty \) if and only if the above equality holds.
Proof
This result is a direct consequence of Lemma 3.1 and the results in [6]. \(\square \)
Remark 3.3
Note that the weak solution to the initial-Dirichlet problem for Eq. (1) ceases to exist in a finite time \(T^*\) if and only if \(\limsup _{t \nearrow T^*} \Vert u\Vert _{H^2(\Omega )}=\infty \), see [6].
4 Conclusions and Open Questions
In Sect. 2 we have found explicit solutions to Eq. (1) in the unit square, the unit disc, and in the plane. We have exhaustively analyzed the blow-up structure of all of these solutions except for (2), which is the more complex by far; anyway, in this case partial results are discussed. For all the other solutions complete blow-up is always found, with a striking regularity in its structure. If the blow-up is in infinite time then all points go to either \(+\infty \) or \(-\infty \), and both possibilities do happen. If the blow-up happens in finite time, then some points go to \(+\infty \) and others to \(-\infty \). We have not found counterexamples to these two facts even in the behavior of (2); for instance, in the case of infinite time blow-up exhaustively analyzed for this solution we have again found that these rules are fulfilled. Therefore, as open questions we may list the determination of the conditions under which the blow-up is necessarily complete and when there are regions of the plane which do not blow up. Also, if it is possible to find solutions for which the infinite time blow-up can happen simultaneously to \(+\infty \) and \(-\infty \); conversely, if the finite time blow-up may happen only towards \(+\infty \) or \(-\infty \), but not to both. Some answers to these questions may arise if solution (2) is further understood or if new explicit formulas are derived.
To fully understand the blow-up structure of solution (2) one needs to understand in turn the sets
and
These make up the set (3) and, when \(a_1=0\), give rise to the sets (6), (7), and (8). In which of these sets we are located, along with the sign of \(a_0\), will determine if the blow up is towards \(+\infty \), \(-\infty \), or if there are regions of the plane in which the blow-up does not happen. In this respect it is also important to understand the condition
complementary of (4), which may be relevant for finding regions of the plane which do not blow up.
Also, theoretical developments in [6, 14,15,16,17], and in Sect. 3 too, show a priori estimates that suggest a less dramatic blow-up than the one found in the explicit examples presented in Sect. 2. It remains to be clarified if this theoretical framework could be refined in order to capture the real nature of the blowing up solutions, or if on the contrary the boundary conditions play such a fundamental role that they forbid the wild divergences found herein in the cases studied in those references. On the other hand, the infinite time blow-up for the initial-Dirichlet problem was ruled out in [6], but it is present in some of these explicit solutions. So the conditions that allow this type of singular behavior are still to be revealed, as well as their potential connection with the other features that characterize the singular solutions we have herein introduced.
References
Balodis, P., Escudero, C.: Polyharmonic \(k\)-Hessian equations in \(\mathbb{R}^N\). J. Differ. Equ. 265, 3363–3399 (2018)
Escudero, C.: The fractional Keller-Segel model. Nonlinearity 19, 2909 (2006)
Escudero, C.: Geometric principles of surface growth. Phys. Rev. Lett. 101, 196102 (2008)
Escudero, C.: On polyharmonic regularizations of \(k-\)Hessian equations: Variational methods. Nonlinear Analysis T. M. A. 125, 732–758 (2015)
Escudero, C., Gazzola, F., Hakl, R., Peral, I., Torres, P.J.: Existence results for a fourth order partial differential equation arising in condensed matter physics. Math. Bohem. 140, 385–393 (2015)
Escudero, C., Gazzola, F., Peral, I.: Global existence versus blow-up results for a fourth order parabolic PDE involving the Hessian. J. Math. Pures Appl. 103, 924–957 (2015)
Escudero, C., Hakl, R., Peral, I., Torres, P.J.: On radial stationary solutions to a model of nonequilibrium growth. Eur. J. Appl. Math. 24, 437–453 (2013)
Escudero, C., Hakl, R., Peral, I., Torres, P.J.: Existence and nonexistence results for a singular boundary value problem arising in the theory of epitaxial growth. Math. Methods Appl. Sci. 37, 793–807 (2014)
Escudero, C., Korutcheva, E.: Origins of scaling relations in nonequilibrium growth. J. Phys. A Math. Theor. 45, 125005 (2012)
Escudero, C., Peral, I.: Some fourth order nonlinear elliptic problems related to epitaxial growth. J. Differ. Equ. 254, 2515–2531 (2013)
Escudero, C., Torres, P.J.: Existence of radial solutions to biharmonic \(k-\)Hessian equations. J. Differ. Equ. 259, 2732–2761 (2015)
Gazzola, F., Grunau, H., Sweers, G.: Polyharmonic Boundary Value Problems: Positivity Preserving and Nonlinear Higher Order Elliptic Equations in Bounded Domains. Lecture Notes in Mathematics, Springer, Berlin (2010)
Verma, A.K., Pandit, B., Escudero, C.: Numerical solutions for a class of singular boundary value problems arising in the theory of epitaxial growth. Eng. Comput. 37, 2539–2560 (2020)
Xu, G., Zhou, J.: Global existence and blow-up for a fourth order parabolic equation involving the Hessian. Nonlinear Differ. Equ. Appl. 24, 41 (2017)
Xu, G., Zhou, J.: Asymptotic behavior for a fourth-order parabolic equation involving the Hessian. Z. Angew. Math. Phys. 69, 147 (2018)
Zhou, J.: \(L^2\)-norm blow-up of solutions to a fourth order parabolic PDE involving the Hessian. J. Differ. Equ. 265, 4632–4641 (2018)
Zhou, J.: Lifespan of solutions to a fourth order parabolic PDE involving the Hessian modeling epitaxial growth. Commun. Pure Appl. Anal. 19, 5581–5590 (2020)
Acknowledgements
The author gratefully acknowledges Filippo Gazzola and Michael Winkler for discussions. This work has been partially supported by the Government of Spain (Ministerio de Ciencia, Innovación y Universidades) through Project PGC2018-097704-B-I00.
Funding
Open Access funding provided thanks to the CRUE-CSIC agreement with Springer Nature.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Escudero, C. Explicit Blowing Up Solutions for a Higher Order Parabolic Equation with Hessian Nonlinearity. J Dyn Diff Equat 35, 2939–2949 (2023). https://doi.org/10.1007/s10884-021-10094-2
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10884-021-10094-2
Keywords
- Fourth order partial differential equations
- Hessian nonlinearity
- Finite time blow-up
- Infinite time blow-up
- Complete blow-up
- Explicit solutions