 Research
 Open access
 Published:
Countable families of solutions of a limit stationary semilinear fourthorder CahnHilliardtype equation I. Mountain pass and LusternikSchnirel’man patterns in \(\mathbb{R}^{N}\)
Boundary Value Problems volume 2016, Article number: 171 (2016)
Abstract
Solutions of the stationary semilinear CahnHilliardtype equation
which are exponentially decaying at infinity, are studied. Using the mounting pass lemma allows us to determinate the existence of a radially symmetric solution. On the other hand, the application of LusternikSchnirel’man (LS) category theory shows the existence of, at least, a countable family of solutions.
However, through numerical methods it is shown that the whole set of solutions, even in 1D, is much wider. This suggests that, actually, there exists, at least, a countable set of countable families of solutions, in which only the first one can be obtained by the LS minmax approach.
1 Introduction and motivation for main problems
1.1 Models and preliminaries
This paper studies some multiplicity properties of the steadystates of the following fourthorder parabolic equation of the CahnHilliard (CH) type:
The problem is completed with bounded smooth initial data,
Assuming that data \(u_{0}(x)\) are sufficiently fast exponentially decaying at infinity, the same behaviour holds for the unique classic solution of (1.1), at least locally in time, since, for \(p>1\), \(u(x,t)\) may blowup in finite time; see key references and results in [1] and [2].
The classic CahnHilliard equation describes the dynamics of pattern formation in phase transition in alloys, glasses, and polymer solutions. When a binary solution is cooled sufficiently, phase separation may occur and then proceed in two ways: either nucleation, in which nuclei of the second phase appear randomly and grow, or, in the socalled spinodal decomposition, the whole solution appears to nucleate at once and then periodic or semiperiodic structures appear. Pattern formation resulting from a phase transition has been observed in alloys, glasses and polymer solutions. Mathematically the classic CahnHilliard equation reads
with the unknown function \(u=u(x,t)\) is a scalar for any \(x\in\mathbb{R}^{N}\), \(t\in\mathbb{R}_{+}\). Then, in general, the function \(f(u)\) is a polynomial of the order \(2p1\),
In particular, the classic CahnHilliard equation corresponds to the case \(p=2\) and
Moreover, CahnHilliard equationstype such as (1.1) have been studied by many authors during the last decades, especially for nonnegative solutions. Among some of the works where several aspects related to these equations are [3–7]. Additionally, one can check the surveys in [2, 8], where necessary aspects of global existence and blowup of solutions for (1.1) are discussed in sufficient detail.
Paralelly, these types of equations possess a great interest in biology and, after certain transformations (see below) as prototype for nerve conduction in the form of a FitzHughNagumo system which is represented by a noncooperative system (cf. [9, 10]). This is actually a great motivation for equation (1.1) presented here because the direct connection between equation (1.1) and a class of noncooperative systems; see details and further discussion below.
From the mathematical point of view, the nonstationary equation (1.1) involves a fourthorder elliptic operator and it contains a negative viscosity term and that is the reason because we say that (1.1) is a CahnHilliard equationstype. Hence, although both equations have a nonlinearity depending on a secondorder operator here we consider solutions of changing sign.
Many questions still remain unanswered for equations of this type, as well as noncooperative systems, especially in relation to multiplicity problems (see details below and references). Here we show some existence and multiplicity results for equation (1.1), which might be applied for other models such as the classical CahnHilliard equation (1.3). Additionally we have found numerically some surprising chaotic oscillatory patterns.
1.2 Variational approach and main results
Thus, we concentrate on the analysis of multiplicity results for the fourthorder elliptic stationary CahnHilliard equation
Note that (1.4) is not variational in \(L^{2}(\mathbb{R}^{N})\), though it is variational in \(H^{1}(\mathbb{R}^{N})\). Hence, multiplying (1.4) by \((\Delta)^{1}\), we obtain an elliptic equation with a nonlocal operator of the form
Here, as customary, \((\Delta)^{1}u=v\), if
This yields the following \(C^{1}\)functional associated with (1.5):
Solutions of equation (1.5) are then obtained as critical points of the functional (1.6), assuming them to be radially symmetric and belonging to the space where
In other words, we are looking for solutions belonging to the space H denoted by
where \(W^{1,2}_{\mathrm{rad}}(\mathbb{R}^{N})\) is the classical Sobolev space constrained to radially symmetric functions. The nonlocal operator \((\Delta)^{1}\) is a positive linear integral operator from \(L^{q}(\mathbb{R}^{N})\) to \(L^{2}(\mathbb{R}^{N})\), with \(q=\frac{2N}{N+4}\). Moreover, the operator \((\Delta)^{\frac{1}{2}}\) can be correctly defined as the square root of the operator \((\Delta)^{1}\) and it will also be referred to as a nonlocal linear operator.
Also, since the problem is set in \(\mathbb{R}^{N}\) we are defining this operator in a class of exponentially decaying functions; see below the details and conditions to have the weak expression of the problem with these exponentially decay solutions.
A similar fourthorder problem was studied in [1], where further references can be found. However, in [1] the stationary equation (1.4) was considered in a bounded smooth domain \(\Omega\subset\mathbb{R}^{N}\), with homogeneous Naviertype boundary conditions
In particular, it was shown that this problem (1.4), (1.8) admits a countable family of solutions (critical points/values). Moreover, in Section 6 of [11] for a different variational fourthorder problem in \(\mathbb{R}\), it was shown that a wider countable set of countable families of solutions can be expected, where only the first infinite family is the LusternikSchnirel’man one.
Hence, due to the analysis performed in [11, 12] we need to study, in a general multidimensional geometry, existence and multiplicity for the elliptic equation (1.4) in a class of functions properly decaying at infinity (in fact exponentially),
In particular, radial solutions that belong to the space H denoted by (1.7).
Subsequently, dealing with radial solutions in \(\mathbb{R}^{N}\) the Sobolev space \(W_{\mathrm{rad}}^{1,2}(\mathbb{R}^{N})\) is compactly imbedded into \(L^{p+1}(\mathbb{R}^{N})\) in the subcritical Sobolev’s range
In other words,
See [13] for further details. Note that, here, for the fourthorder elliptic operator in (1.4), \(p_{\mathrm{S}} =\frac{2N}{N2}\), with \(N\geq3\), because this operator has the representation
so that the necessary embedding features are governed by a standard secondorder one
Since the category of the functional subset increases without bound in such a limit, eventually, we then expect to arrive at, at least, a countable family of various critical values/points.
However, here we perform a variational study directly in \(\mathbb{R}^{N}\), which was done previously for many fourthorder ODEs and elliptic equations; see [14–16] as key examples (though those equations, mainly, contain coercive operators, with ‘nonoscillatory’ behaviour at infinity).
Namely, by a linearised analysis we first check that equation (1.4) provides us with a sufficient ‘amount’ of exponentially decaying solutions at infinity. Obviously, in any bounded class of such functions, and in a natural functional viewing, since, loosely speaking, nothing happens at infinity (effectively, the solutions vanish there), the variational problem can be treated as the one in a bounded domain. So that the embedding in (1.11) comes in charge in some sense.
Remark 1.1
As mentioned above, throughout this paper we shall consider radial solutions. Hence, we take into consideration a wellknown result about continuous Sobolev’s embedding (see for instance [17]). To be precise, we will consider the embedding
which is continuous for every \(1\leq p \leq p_{*}\) where
On the other hand, this embedding will be compact if in addition \(2\le N\) and \(p< p^{*}\) (see [18]). Thus, there is a constant \(S_{N}>0\) such that
Let us briefly summarise what we obtain here. First, we perform an analysis based on the application of the mountain pass theorem in order to ascertain the existence of one radial solution and, eventually, through a LusternikSchnirel’man argument the existence of more than one for equation (1.4).
Thus, we state (proved in Section 3) the following.
Theorem 1.1
Suppose \(N\geq2\). Then the nonlocal equation (1.5) possesses at least one solution in the space H, denoted by (1.7), with exponential decay and for exponents p’s in the Sobolev range (1.10).
As far as we know, to get the existence of more than one solution, this seems to be the best available approach, since, for this type of higherorder PDEs, we have a big lack of classical methodology and PDE theory.
In addition, secondly, we apply a LSfibering approach to get a countable family of solutions (critical points), though without any detailed information as regards how they look like. Indeed, we cannot be assured if the solutions obtained using the LS theory are radially symmetric or not.
Therefore we state and prove in Section 4 the following.
Theorem 1.2
Suppose \(N\geq2\). Then there is a countable family of solutions for the nonlocal equation (1.5) of the LS type.
Finally, we apply advanced numerical methods to describe general ‘geometric’ structure of various solutions assuming symmetric for even profiles and antisymmetric conditions for odd profiles (see below). In particular, we introduce some chaotic patterns for equation (1.4) for \(p=3\) and \(p=2\), showing some profiles that become very chaotic away from the point of symmetry.
These numerical experiments suggest that the whole set of solutions, even in 1D, is much wider. However, these numerical experiments, together with some analytical approaches and estimates, will be extended and analysed in more detail in [19]. Indeed, it will be proved there that there exists, at least, a countable set of countable families of critical points in which, only the first one can be obtained by the LS minmax approach. Note that we have used the numerical analysis in 1D just to show the existence of other families of solutions. Something that has not been proved here analytically.
Also, we observe that performing numerical experiments, shooting smoothly from \(x=0\) with \(u'(0)=u''(0)=u'''(0)=0\) and varying \(u(0)\), those chaotic patterns become more periodic when \(u(0)\) increases. Indeed, this fact appears to be sooner for \(p=3\) than for \(p=2\).
Moreover, it should be mentioned that this kind of transition behaviour is seen in similar phase solidification fourthorder equations, such as the KuromotoSivashinsky and SwiftHohenberg equations [20, 21], as the critical order parameter increases.
1.3 Previous related results
Recall again that, in [1], existence and multiplicity results were obtained for the steadystates of the unstable CH equation of the form
for a real parameter γ, where the multiplicity essentially depended on this parameter, which affected the category of the functional subset associated with the principal linear operator. The analysis was based on variational methods such as the fibering method, potential operator theory and LusternikSchnirel’man categorygenus theory, and others, such as homotopy approaches or perturbation theory existence. Specifically, it was found that, depending on the parameter γ, there exist a different number of stationary solutions, i.e.:

If the parameter \(\gamma\leq K \lambda_{1}\), with \(K>0\) a positive constant and \(\lambda_{1}>0\) the first eigenvalue of the biharmonic operator, i.e., \(\Delta^{2} \varphi _{1}=\lambda_{1} \varphi_{1}\) with Navier boundary conditions (1.8), then there exists at least one solution for the equation (1.14).

When the parameter is greater than the first eigenvalue of the biharmonic equation \(\lambda_{1}\), multiplied by the positive constant K, then there will not be any solution at all, if one assumes only positive solutions. However, for oscillatory solutions of changing sign the number of possible solutions increases with the value of the parameter γ. In fact, when the parameter γ goes to infinity, one has an arbitrarily large number of distinct solutions.
Remark 1.2
Note that the previous distinction in terms of the number of solutions is related to pattern formation of problems such as the KuramotoSivashinsky equation; see [20, 22] for further references and details.
Furthermore, the socalled mountain pass theorem [23] has been previously applied to get some multiplicity results. Indeed, in [24] the authors analysed the existence of a second solution for the fourthorder elliptic problem
where \(\delta_{a_{i}} \) represents the Dirac delta function supported at \(a_{i}\in\mathbb{R}^{N}\) and
and with \(N\geq5\), \(k>0\), \(m\in{\mathbb{N}}\), \(\alpha_{i}>0\), \(c_{1},c_{2}>0\).
Other methods utilised to solve similar problems to (1.4), such as
might be Hamiltonian methods or the strong maximum principle. The previous equation can be written by
where \(\mu_{1}\) and \(\mu_{2}\) are the roots of the characteristic polynomial
Then, if \(\beta\geq\sqrt{2}\) both roots are real and positive we can write equation (1.16) as the system
and apply the strong maximum principle having a positive solution
if we assume that u is a homoclinic orbit (see [16, 25] for any further details with \(N=1\)). Moreover, in this case one can ascertain certain qualitative properties for that homoclinic orbit, such as the existence of a precisely critical point for u, a priori estimates and the symmetry of u with respect to that critical point. However, if \(0<\beta<\sqrt{2}\), one cannot obtain such a decoupling.
Also, similar fourthorder equations to (1.16) have been analysed in [14, 15] in the dimensional space \(\mathbb{R}^{4}\) and via Hamiltonian methods obtaining the connection between the critical points of the Hamiltonian.
On the other hand, note that problem (1.4) can be written as the following elliptic system:
where \(v:=(\Delta)^{1}u\), which gives a different perspective to the problem in hand. The solutions of the system (1.18) represent the steadystates of a reactiondiffusion system of the form
with a great interest in biology and as prototype for nerve conduction in the form of a FitzHughNagumo system (cf. [9, 10]). Mathematically, we note that system (1.18) is weakly coupled. However, this coupling is noncooperative, in other words, the coupled terms have different signs. This means that the maximum principle is not valid for the system (1.18). For a cooperative system where the maximum principle can be applied to a very similar system to (1.18) see [26].
Basically, so far, one can see that, due to the lack of comparison methods, maximum principle, and several others classical methods in the analysis of higherorder PDEs different approaches must be followed in order to get new results for this type of higherorder PDEs. Therefore, in general the methodology is very limited and restricted to very specific examples.
1.4 Further extensions
Our results can be applied to other CH models. For example note that, for the ‘true’ fourthorder semilinear operator, the critical Sobolev’s exponent is different:
Obviously, a critical Sobolev’s range as in (1.20) occurs for a different sixthorder CH equation
However, if the unstable nonlinear diffusion operator is of fourth order, as in
we again arrive at the ‘secondorder’ Sobolev range as in (1.10).
Equations (1.21) and (1.22) can be studied along similar lines, but some aspects become more technical, though not affecting the principal conclusions and results.
2 Preliminary results: exponentially decaying patterns in \(\mathbb{R}^{N}\)
2.1 Exponentially decaying patterns in \(\mathbb{R}^{N}\)
The preliminary conclusions presented here formally allow us to consider our equations (1.4) in the whole \(\mathbb{R}^{N}\), unlike as in [1] where the problem was assumed to be in a bounded domain \(\Omega\subset\mathbb{R}^{N}\).
Indeed, for the functional (1.6) we deal with the integrals over \(\mathbb{R}^{N}\) and, actually, with the functional setting over a certain weighted Sobolev space,^{Footnote 1} instead of \(W_{0}^{2,2}(\Omega)\) as assumed in [1]. Such a functional setting of the problem in \(\mathbb{R}^{N}\) is key in the following. In fact, a proper functional setting assumes certain admissible asymptotic decay of solutions at infinity, which, for (1.4), is governed by the corresponding linearised operator.
Thus, considering (1.4) in the radial geometry, with \(u=u(r)\) and \(r = x \ge0\), we then obtain
Next, as usual, calculating the admissible decaying asymptotics from (2.1), using a two scale WKBJtype asymptotics, as a first approximation (sufficient for our purposes), we use an exponentially pattern of the form \(u(r) \approx r ^{\delta}\mathrm{e}^{a r}\) (as \(r\to\infty\)) in (2.1) leading easily to the following characteristic equation:
To be precise, note that the first equation in (2.2) comes from the homogeneity of the leading terms in (2.1). The second equality in (2.2) comes from a similar argument after evaluating the next leading terms on the lefthand side in (2.1). This yields a twodimensional exponential bundle:
where \(C_{1,2} \in\mathbb{R}\) are two arbitrary parameters of this linearised bundle.
Through this asymptotic analysis we shall be able to show some patterns after performing a shooting problem in Section 5.
Let us now perform a preliminary analysis. In this radial geometry, any regular bounded solution of (1.4) must satisfy two boundary conditions at the origin (making the biLaplacian nonsingular)
Hence, using a standard shooting strategy from \(r = +\infty\), algebraically, at least two parameters are needed to satisfy both (2.4).
Looking again at (2.3), where there exist two parameters \(C_{1,2} \in\mathbb{R}\), we observe that matching with two symmetry boundary conditions (2.4) yields a wellposed and wellbalanced algebraic ‘2D2D shooting problem’.
To justify existence of such solutions (critical points), we then need carefully apply different variational techniques. Of course, for the elliptic problem in \(\mathbb{R}^{N}\), one needs a more technical and delicate ‘asymptotic separation’ analysis. Namely, one needs to resolve the following ‘separation’ procedure (as is well known, for the biLaplacian, a standard separation of variables is not available):
where \(\Delta_{\sigma}\) is the LaplaceBeltrami operator on \(S^{N1}\). Indeed, using the representation
with \(R(r)\) obtained above, it then leads to a complicated equations on \(Y(\sigma)\). In general, such an asymptotic separation procedure is expected to determine a sufficiently wide infinitedimensional asymptotic bundle of solutions with an exponential decay at infinity.
However, we do not need such a full and rather technical analysis. We must admit that we still do not know that whether a countable family of LS critical points are radially symmetric solutions or not. If the former is true, then the above radial analysis is sufficient. In general, using our previous experience, we expect that minmax critical points are not all radially symmetric, but cannot prove that.
Finally, we note that, obviously, this is not the case in 1D. Indeed, in addition to the symmetric (even) profiles satisfying (2.4), there exist others dipolelike/antisymmetric (odd) solutions such that
We can also check existence of such solutions numerically; see Section 5.
2.2 Spectral theory in \(\mathbb{R}^{N}\)
Now, we consider the linear spectral problem for the corresponding linearised nonlocal equation (1.5), i.e.,
which was analysed, however, in a bounded domain, in full detail in [9]. In problem (2.8) \(\lambda_{\beta}\) represents the βtheigenvalue associated with the eigenfunction \(\psi_{\beta}\).
In the following we show and prove several properties of the spectrum of the linear eigenvalue problem (2.8). Subsequently, we will apply them, in particular, in order to get estimations of the category; see Section 4.
As usual, we begin checking that the linearised equation (2.8) admits solutions with a proper exponential decay at infinity. Indeed, writing it down in the equivalent form
we see that a proper exponential decay at infinity holds (here, as before, \(r=x \gg1\), so we are again restricted to the radial setting of this linear spectral problem).
Moreover, due to the positivity of the operator \(\mathbf{L}=\Delta^{2}+\mathrm{Id}\) on the lefthand side of (2.9), \(\lambda_{\beta}=0\) is not an eigenvalue, so that \(\lambda_{\beta}>0\), for any β. Secondly, owing to Theorem VI.8 of [27] and the compactness of the inverse integral operator the spectrum might contain either infinitely many isolated real eigenvalues or a finite number of isolated eigenvalues, formed by a monotone sequence of eigenvalues
In other words, for a sufficiently large α, the resolvent of the operator \(\mathbf{L}+\alpha\mathrm{I}\) is compact and, hence, the spectrum is discrete and, of course, real, by symmetry (selfadjoint). Note as well that when the operator is selfadjoint the method shown in [28] can be used to prove that there are infinitely many eigenvalues. Thus, we have the following result.
Proposition 2.1
The operator L admits a discrete set of eigenvalues that tend to +∞ and there exists at least a solution \(\psi\in W_{\mathrm{rad}}^{1,2}(\mathbb{R}^{N})\) for problem (2.9).
Remarks

According to our analysis above, to get exponentially decaying solutions, the real eigenvalues in (2.8) must satisfy
$$ \lambda_{\beta}>0 \quad \mbox{for any }\beta. $$(2.10)Note that problem (2.9) admits a positive first eigenvalue \(\lambda _{1}\) characterised by the Raileigh quotient
$$ \lambda_{1}:=\inf_{u\in W_{\mathrm{rad}}^{2,2}(\mathbb{R}^{N})} \frac{ \int _{\mathbb{R} ^{N}} \Delta u^{2}+\int_{\mathbb{R}^{N}} u^{2}}{\int_{\mathbb{R}^{N}} \nabla u^{2}}. $$(2.11) 
Furthermore, the strict positivity of eigenvalues, for eigenfunctions with an exponential decay at infinity follows directly from the equality
$$ \int\Delta\psi_{\beta}^{2} + \int\psi_{\beta}^{2}= \lambda_{\beta}\int\nabla\psi _{\beta}^{2}, $$(2.12)obtained after multiplying 2.9 by \(\psi_{\beta}\) and integrating in \(L^{2}\).

Moreover, the corresponding associated family of eigenfunctions \(\{\psi_{\beta}\}\) is a complete orthogonal set in \(W^{2,2}\).
Also, we find the following simple observation:
Proposition 2.2
If \(\lambda_{\beta}>0\) is an eigenvalue of (2.9) for any β, then
Proof
Indeed, from (2.12), integrating by parts and applying the Hölder inequality yields
which proves the proposition. □
Furthermore, the natural space for the eigenfunctions of problem (2.9) is \(W_{\mathrm{rad}}^{2,2}(\mathbb{R}^{N})\), i.e., the closure of \(C_{0}^{\infty}\)functions with respect to the norm
and the associated inner product
Indeed, the space \(W_{\mathrm{rad}}^{2,2}(\mathbb{R}^{N})\) is a reflexive Hilbert space.
Under those assumptions we have the following variational expression of problem (2.9):
Thus, \(\psi_{\beta}\in W_{\mathrm{rad}}^{2,2}(\mathbb{R}^{N})\setminus\{0\}\) is an eigenfunction of the problem (2.9) associated with the eigenvalue \(\lambda_{\beta}\).
3 Mountain pass theorem and existence of at least one solution
In this section, we apply the celebrated mountain pass theorem (cf. [23, 29] for details of this highly cited theorem) to ascertain the existence of a solution for problem (1.4) in \(\mathbb{R}^{N}\).
Recall that, in \(\mathbb{R}^{N}\), with any \(N \ge2\), we are restricted to a class of radially symmetric solutions that belong to the space H denoted by (1.7) and for which we know their exponential decay at infinity. For \(N=1\), we can deal with both even and odd patterns. However, in general, restrictions to both symmetries or not, makes no difference in the variational analysis. Nevertheless, in order to have the compact Sobolev’s embedding (1.12) in the subcritical range (1.10) our results in this section are restricted to \(N\geq2\). Note that for \(N=1\) one could argue to the possibility of getting that compact with some extra conditions in the cone of positive radially decreasing functions, however, here we cannot be assured of the positivity of the solutions.
3.1 Mountain pass theorem to ascertain the existence of a solution for problem (1.4)
To obtain the existence of solutions for the stationary CahnHilliard equation (1.4) we apply the mountain pass theorem to equation (1.5). Hence, we look for critical points of the functional \(\mathcal{F}(u)\) (1.6) which correspond to weak solutions of equation (1.5), i.e.,
for any \(\varphi\in W_{{\mathrm{rad}}}^{1,2}(\mathbb{R}^{N})\equiv H_{{\mathrm{rad}}}^{1}(\mathbb{R}^{N})\) (or \(C_{0}^{\infty}(\mathbb{R}^{N})\)) a radial function. However, by elliptic regularity, those weak solutions u are also strong solutions of equation (1.5); see [30].
Then we look for the existence of critical points for the functional \(\mathcal{F}(u)\) (1.6). As previously proved in [1] this functional is weakly lower semicontinuous and its Fréchet derivative has the expression
such that the directional derivative (Gâteaux’s derivative) of the functional (1.6) is the following:
Moreover, we know that the functional is \(C^{1}\) and the critical points of the functional (1.6) denoted by
are weak solutions in \(H_{{\mathrm{rad}}}^{1}(\mathbb{R}^{N})\) for equation (1.5), i.e.,
Thus, \(u\in\mathcal{C}\) then
where \(\mathcal{F}'\) is called the gradient of \(\mathcal{F}\) at u. Again, by classic elliptic regularity (Schauder’s theory; see [30] for further details) we will then always obtain classical solutions for such equations.
The main ingredient we are applying in getting the existence of a solution is the celebrated mountain pass theorem due to AmbrosettiRabinowitz [23]. Before applying the mountain pass theorem, we show a sufficient condition in order to find a critical point via the mountain pass theorem. This is the socalled PalaisSmale condition.
3.2 PalaisSmale condition (PS)
Let E be a Banach space and \(\{u_{n}\} \subset E\) a sequence such that
then \(\{u_{n}\}\) is precompact, i.e., \(\{u_{n}\}\) has a convergent subsequence. In particular,
The (PS) condition is a convenient way of imposing some kind of compactness into the functional \(\mathcal{F}\). Indeed, this (PS) condition implies that the set of critical points at the level value c
is compact for any \(c\in\mathbb{R}\).
Remark 3.1
Since the functional \(\mathcal{F}\) is \(C^{1}\) it is easily proved that if there exists a minimizing sequence \(\{u_{n}\}\) for the functional \(\mathcal{F}\) weakly convergent in \(H_{{\mathrm{rad}}}^{1}(\mathbb{R}^{N})\) to certain \(u_{0}\in H_{{\mathrm{rad}}}^{1}(\mathbb{R}^{N})\) and such that \(\mathcal{F}'(u_{n}) \to0\) then we can be assured that \(u_{0}\) is a critical point, i.e., \(\mathcal{F}'(u_{0})=0\).
Remark 3.2
As AmbrosettiRabinowitz mentioned, on a heuristic level, the mountain pass theorem says that, if a pair of points in the graph of \(\mathcal{F}\) are separated by a mountain range there must be a mountain pass containing a critical point between them. Also, although the statement of the theorem does not imply it, normally in the applications the origin \(u=0\) is a local minimum for the functional \(\mathcal{F}\). As we will see below that is our case.
Most of the critical points will be maxima or minima. However, we cannot be assured directly that those critical points are global maxima or minima, we shall need to work a bit harder to obtain that.
Thus, we first show that for our problem the trivial solution \(u=0\) is a local minimum.
Lemma 3.1
The functional \(\mathcal{F}(u)\) defined by (1.6) possesses a local minimum at \(u=0\).
Proof
Take a function \(g\in H_{\mathrm{rad}}^{1}(\mathbb{R}^{N})\) normalised in the following way:
Then, taking a real number t sufficiently close to 0, using the expression of the functional \(\mathcal{F}\) and applying the compact Sobolev embedding (1.12), (1.10) we find that
for a constant \(K>0\) that depends on the Sobolev constant \(S_{N}\). Then we arrive at
with t sufficiently close to zero, i.e.,
□
As a first step we prove that the (PS) condition is satisfied by the functional \(\mathcal{F}\) (1.6).
Lemma 3.2
The functional \(\mathcal{F}\) denoted by (1.6) satisfies the PalaisSmale condition.
Proof
Let \(\{u_{n}\}\) be a sequence of radial functions such that \(\mathcal{F}(u_{n}) \to c\) and \(\mathcal{F}'(u_{n}) \to0\). Then, since \(\mathcal{F}'(u_{n}) \to 0\), for any \(\varepsilon>0\), there exists a subsequence of \(\{u_{n}\}\) (denoted again by \(\{u_{n}\}\)) such that
Indeed, \(\varphi=u_{n}\) yields
Furthermore, due to (3.2) we see that \(\mathcal{F}(u_{n})\) is bounded (or \(\mathcal{F}(u_{n})\to c\)), i.e.,
Hence, for a positive constant \(\mu\in\mathbb{R}\) (to be chosen below) and using (3.3), (3.4)
Indeed, we actually see that
Subsequently, choosing μ bigger than 2 but sufficiently close to it, i.e., for \(2 \delta+2<\mu<p+1\), with \(\delta>0\) we arrive at the inequality
Consequently, for any appropriate \(\varepsilon>0\), sufficiently small, we get the boundedness of the norms in \(W_{{\mathrm{rad}}}^{1,2}(\mathbb{R}^{N})\) for the elements of the subsequence \(\{u_{n}\}\). Consequently, we obtain the strong convergence of the sequence for a further the subsequence \(\{u_{n}\}\) thanks to the Sobolev embedding (1.12), proving the (PS) condition. □
Finally, we apply the mountain pass theorem in order to obtain the existence of a solution for equation (1.5). Thus, we state the following result.
Lemma 3.3
Let \(\mathcal{F} \in C^{1}(\mathbf{H},\mathbb{R})\) be the functional denoted by (1.6). Then:

(a)
there exist \(\rho, \alpha>0\) such that
$$\mathcal{F}_{\partial B(0,\rho)} \geq\alpha, $$where \(B(0,\rho)\) represents the ball centered at the origin and of radius \(\rho>0\);

(b)
also, there exists \(e\in\mathbf{H} \setminus B(0,\rho)\) such that \(\mathcal{F}(e)\leq0\).
Proof
First, taking \(u\in\mathbf{H}\setminus\{0\}\), we see that
Indeed, since \(u\in\mathbf{H}\) and due to the Sobolev embedding (1.12), in the range (1.10), yields
so that
Thus, we can be assured that there exist \(\rho, \alpha>0\) such that
Additionally, assuming the compact Sobolev’s embedding (1.12) and satisfying the decay condition at infinity (1.9), we find that
as \(t\to\infty\), for \(u\in\mathbf{H}\) (1.7). □
These results provide us with the existence of at least a solution for the nonlocal equation (1.5) and, hence, the existence of at least a stationary solution for the CahnHilliard equation (1.4).
4 Towards a first countable family of LS critical points
In order to estimate the number of critical points of a functional, we shall apply LusternikSchnirel’man’s (LS) classic theory of calculus of variations; see [1] and Chapters 8, 9, 10 of [29] for further details. Thus, the number of critical points of the functional (1.6) will also depend on the category of a functional subset (see below some details).
Basically, this topological theory for potential compact operators is a natural extension of the standard minimax principles which characterise the eigenvalues of linear compact selfadjoint operators. Applying the Calculus of Variations to the eigenvalue problem in an appropriate functional setting, one can see that the critical values of the functional involved are precisely the eigenvalues of the problem. Indeed, performing this characterisation in the unit sphere \(S^{N1}\) one sees that the eigenvalues are the critical points of the functional associated to a linear operator L in the unit ball
To extend these ideas to nonlinear potential operators, LusternikSchnirel’man introduced the concept of category getting a lower estimate of the number of critical points on the projective spaces. Indeed, this is estimated by the topological concept of the genus of a set introduced by Krasnosel’skii in the 1951 [31], avoiding the transition to the projective spaces obtained by identifying points of the sphere which are symmetric with respect to the centre, needed to estimate the category of LusternikSchnirel’man. Thus, the genus of a set provides us with a lower bound of the category.
Moreover, an estimate of the number of critical points of a functional is at the same time an estimate of the number of eigenvectors of the gradient functional (in Krasnosel’skii’s terms) and, hence, of the number of solutions of the associated nonlinear equation.
In our particular case, this functional subset is the following:
in the spirit of the eigenvalues of linear operators in the unit ball (4.1). According to the LS approach (see [30, 32], etc.), in order to obtain the critical points of a functional on the corresponding functional subset, \(\mathcal{R}_{0}\), one needs to estimate the category ρ of that functional subset. Thus, the category will provide us with the (minimal) number of critical points that belong to the subset \(\mathcal{R}_{0}\). Namely, similar to [1, 12], we, formally, may use a standard result.
Lemma 4.1
The category of the manifold \(\mathcal{R}_{0}\), denoted by \(\rho (\mathcal{R}_{0})\), is given by the number of eigenvalues (with multiplicities) of the corresponding linear eigenvalue problem satisfying
where
Proof
Let \(\lambda_{\beta}\) be the βeigenvalue of the linear biharmonic problem (4.4) such that
taking into consideration the multiplicity of the βeigenvalue, under the natural ‘normalising’ constraint
Here, (4.5) represents the associated eigenfunctions to the eigenvalue \(\lambda_{\beta}\) and
is a basis of the eigenspace of dimension \(M_{\beta}\). Moreover, assume a critical point
belonging to the functional subset (4.2) and the eigenspace of dimension \(M_{\beta}\), i.e., any real linear combination of orthonormal eigenfunctions \(\{\hat{\psi}_{\beta}\}\).
Thus, substituting (4.6) (since we are looking for solutions of that form) into equation (1.5) and using the expression of the spectral problem (4.4) yields
which provides us with an implicit condition for the coefficients \(a_{k}\) corresponding to the critical point (4.6). Indeed, assuming normalised eigenfunctions \(\psi_{\beta}\), i.e.,
and multiplying by u in (1.5) and integrating we see that
Furthermore, taking into account that \(u\in\mathcal{R}_{0,\lambda}\) rewriting down (4.2)
and substituting into it any real linear combination of orthonormal eigenfunctions \(\{\psi_{\beta}\}\) yields
Therefore, \(\mathcal{R}_{0}\) contains a sphere of an arbitrary bounded dimension. Hence, its category is then infinite. □
One can say that the functional (1.6) restricted to the subset \(\mathcal{R}_{0}\) is between at least two values, a maximum and a minimum one,
Therefore, having at least two positive critical points for such a functional and since the LS characterisation provides us with a lower bound for solutions, but not exactly how many, we should not ruled out the situation in which there are infinitely many critical points.
Note that \(\rho(\mathcal{R}_{0})\) measures, at least, a lower bound of the total of number of LS critical points. Moreover, thanks to the spectral theory shown above in Section 2 we have the sufficient spectral information as regards the eigenvalue problem (4.4) to obtain a sharp estimate of the category (4.3).
4.1 LS sequence of critical points
Thus, we look for critical values \(c_{\beta}\) denoted by
corresponding to the critical points \(\{u_{\beta}\}\) of the functional \(\mathcal{F}(u)\) (1.6) on the set \(\mathcal{R}_{0}\), where
is the class of closed sets in \(\mathcal{R}_{0}\) such that each member of \(\mathcal{A}_{\beta}\) is of genus (or category) at least β in \(\mathcal{R}_{0}\). The fact that \(\mathcal{A}=\mathcal{A}\) comes from the definition of genus (Krasnosel’skii [33], p.358) such that, if we denote by \(\mathcal{A}^{*}\) the set disposed symmetrically to the set \(\mathcal{A}\),
then \(\rho(\mathcal{A})=1\) when each simply connected component of the set \(\mathcal{A} \cup \mathcal{A}^{*}\) contains neither of the pair of symmetric points v and −v. Furthermore, \(\rho(\mathcal{A})=\beta\) if each subset of \(\mathcal{A}\) can be covered by a minimum, β sets of genus one, and without the possibility of being covered by \(\beta1\) sets of genus one.
Note that just applying the definition of those critical points (4.8) we have the next result.
Lemma 4.2
(Monotonicity property of the genus)
Let \(c_{j}\) be the critical points defined by (4.8). Then
with β standing for the category of \(\mathcal{R}_{0}\).
Proof
Taking \(\varepsilon>0\), due to definition of the critical values \(c_{\beta+1}\), we see that a set \(A_{1} \in\mathcal{A}_{\beta+1}\) exists, such that
Hence, if \(A_{1}\) contains a subset \(A_{0} \in \mathcal{A}_{\beta}\) such that
and
then
which completes the proof. □
Roughly speaking, since the dimension of the sets \(\mathcal{A}\) belonging to the classes of sets \(\mathcal{A}_{\beta}\) increases with β such that
this guarantees that the critical points delivering critical values (4.8) are ordered. Hence, to get those critical values we need to estimate the category ρ of that set \(\mathcal{R}_{0}\).
Additionally, for this functional we show the following particular result (see Chapter 9 of [29] for any further details), which provides us with a countable family of critical points for the functional \(\mathcal{F}\) (1.6) in the spirit of the mountain pass theorem.
Theorem 4.1
Let \(\mathcal{F} \in C^{1}(\mathbf{H},\mathbb{R})\) be the functional defined by (1.6) with p an odd number, \(C^{1}\) and \(\mathcal{F}(0)=0\), such that the conditions of the mountain pass theorem proved in Lemma 3.3 are satisfied. Then the functional \(\mathcal{F}\) possesses a countable number of critical values.
Remark 4.1
Thus, we find a countable family of critical points of the functional \(\mathcal{F}\) defined by (4.8) such that \(c_{\beta}=\mathcal{F}(u_{\beta})\) with \(u_{\beta}\) a weak solution of problem (1.5). However, we cannot be assured how many exactly since so far we only acknowledge the existence of a solution obtained through the mountain pass arguments performed in the previous section.
5 Numerical analysis in 1D and in the radial geometry
Considering radial geometry as discussed in Section 2.1, (1.4) takes the form
This is considered together with the farfield asymptotic behaviour (2.3), written in the form
where we conveniently use the constants \(k_{1,2}\) in place of \(C_{1,2}\), together with symmetry (2.4) or antisymmetry (2.7) conditions at the origin.
Using the farfield behaviour (5.2), a 2D shooting problem may be formulated where the parameters \(k_{1,2}\) are determined by satisfying the symmetry condition (2.4) at the origin for the even profiles and antisymmetry condition (2.7) for the odd profiles. Matlab’s ode15s solver is used with tight error tolerances (\(\mathrm{RelTol}=\mathrm{AbsTol}=10^{13}\)).
Figures 15 show illustrative even and odd profiles for \(N=1\) and \(p=2\) or \(p=3\). The condition (5.2) is used as initial data at sufficiently large r (typically 25 or 50 as given by the domain in the plots).
We complete this numerical introduction with illustration of a different class of solutions to (5.1). We may perform numerical experiments, shooting smoothly from \(x=0\) with \(u'(0)=u''(0)=u'''(0)=0\) and varying \(u(0)\).
Shown in Figures 6 and 7 are selected profiles in one dimension (\(N=1\)) in the illustrative parameter cases \(p=3\) and \(p=2\), respectively. For sufficiently small \(u(0)\) seemingly chaotic patterns are obtained, which emerge into a more periodic structure as \(u(0)\) increases.
This emergence appears sooner for \(p=3\) than \(p=2\) when increasing the size of \(u(0)\). Such a transition behaviour is seen in similar phase solidification fourthorder equations, such as the KuromotoSivashinsky and SwiftHohenberg equations [20, 21], as a critical order parameter increases.
Notes
This is just a characteristic of a functional class: surely, we cannot use any weighted metric, where any potential approaches are lost.
References
ÁlvarezCaudevilla, P, Galaktionov, VA: Steady states, global existence and blowup for fourthorder semilinear parabolic equations of CahnHilliard type. Adv. Nonlinear Stud. 12, 315361 (2012)
Evans, JD, Galaktionov, VA, Williams, JF: Blowup and global asymptotics of the limit unstable CahnHilliard equation. SIAM J. Math. Anal. 38, 64102 (2006)
Admaev, OV, Pukhnachev, VV: Selfsimilar solutions of the equation \(u_{t} + \Delta^{2} u + \Delta (u^{2})=0\). Preprint no. 3, Comp. Centre, Krasnoyarsk (1997)
NovickCohen, A: Blow up and growth in the directional solidification of dilute binary alloys. Appl. Anal. 47, 241257 (1992)
NovickCohen, A: The CahnHilliard equation: mathematical and modeling perspectives. Adv. Math. Sci. Appl. 8, 965985 (1998)
NovickCohen, A: The CahnHilliard equation. In: Handbook of Differential Equations: Evolutionary Equations, vol. IV. Handb. Differ. Equat., pp. 201228. Elsevier, Amsterdam (2008)
NovickCohen, A, Segel, LA: Nonlinear aspects of the CahnHilliard equation. Physica D 10, 277298 (1984)
Galaktionov, VA, Vazquez, JL: The problem of blowup in nonlinear parabolic equations. Discrete Contin. Dyn. Syst. 8, 399433 (2002)
de Figueiredo, DG, Mitidieri, E: A maximum principle for an elliptic system and applications to semilinear problems. SIAM J. Math. Anal. 17, 836849 (1986)
Klassen, GA, Mitidieri, E: Standing wave solutions for a system derived from the FitzHughNagumo equations for nerve conduction. SIAM J. Math. Anal. 17, 7483 (1986)
Galaktionov, VA, Mitidieri, E, Pohozaev, SI: Variational approach to complicated similarity solutions of higherorder nonlinear PDEs. II. Nonlinear Anal., Real World Appl. 12, 24352466 (2011). arXiv:1103.2643
Galaktionov, VA, Mitidieri, E, Pohozaev, SI: Variational approach to complicated similarity solutions of higherorder nonlinear evolution equations of parabolic, hyperbolic, and nonlinear dispersion types. In: Maz’ya, V (ed.) Sobolev Spaces in Mathematics. II: Appl. Anal. and Part. Differ. Equat. Int. Math. Ser., vol. 9. Springer, New York (2009) (an extended version in arXiv:0902.1425)
Strauss, WA: Existence of solitary waves in higher dimensions. Commun. Math. Phys. 55, 149162 (1977)
Kalies, WD, Kwapisz, J, VanderVorst, RCAM: Homotopy classes for stable connections between Hamiltonian saddlefocus equilibria. Commun. Math. Phys. 193, 337371 (1998)
Kalies, WD, Kwapisz, J, VandenBerg, JB, VanderVorst, RCAM: Homotopy classes for stable periodic and chaotic patterns in fourthorder Hamiltonian systems. Commun. Math. Phys. 214, 573592 (2000) (Erratum: Commun. Math. Phys. 215, 707728 (2001))
Peletier, LA, Troy, WC: Spatial Patterns: Higher Order Models in Physics and Mechanics. Birkhäuser, Boston (2001)
Adams, RA, Fournier, JF: Sobolev Spaces, 2nd edn. Pure and Applied Mathematics, vol. 140. Elsevier, Amsterdam (2003)
Lions, PL: Symétrie et compacité dans les espaces de Sobolev. J. Funct. Anal. 49(3), 315334 (1982)
ÁlvarezCaudevilla, P, Evans, JD, Galaktionov, VA: Countable families of solutions of a limit stationary semilinear fourthorder CahnHilliard equation II. NonLusternikSchnirel’man patterns in \(\mathbb{R}\) (in preparation)
Paniconi, M, Elder, KR: Stationary, dynamical, and chaotic states of the twodimensional KuramotoSivashinsky equation. Phys. Rev. E 56, 27132721 (1977)
Cross, M, Greenside, H: Pattern Formation and Dynamics in Nonequilibrium Systems. Cambridge University Press, New York (2009)
Hoyle, R: Pattern Formation. Cambridge University Press, Cambridge (2006)
Ambrosetti, A, Rabinowitz, PH: Dual variational methods in critical point theory and applications. J. Funct. Anal. 14, 349381 (1973)
Sato, T, Watanabe, T: Singular positive solutions for a fourth order elliptic problem in \(\mathbb{R}^{N}\). Commun. Pure Appl. Anal. 10, 245268 (2011)
Santra, S, Wei, J: Homoclinic solutions for fourth order traveling wave equations. SIAM J. Math. Anal. 41, 20382056 (2009)
ÁlvarezCaudevilla, P: Variational approach for a class of cooperative systems. Nonlinear Anal. TMA 75, 56205638 (2012)
Brezis, H: Analyse fonctionnelle: Théorie et applications. Collection Mathématiques Appliquées pour la Maîtrise. (Collection of Applied Mathematics for the Master’s Degree). Masson, Paris (1983)
de Figueiredo, D: Positive solutions of semilinear elliptic problems. In: Differential Equations (Sao Paulo, 1981). Lecture Notes in Math., vol. 957, pp. 3487. Springer, Berlin (1982)
Rabinowitz, PH: Minimax Methods in Critical Point Theory with Applications to Differential Equations. CBMS Regional Conference Series in Mathematics, vol. 65. Am. Math. Soc., Providence (1986). Published for the Conference Board of the Mathematical Sciences, Washington, DC
Berger, M: Nonlinearity and Functional Analysis. Academic Press, New York (1977)
Krasnosel’skii, MA: Vector fields which are symmetric with respect to a subspace. Dokl. Acad. Nauk Ukrain. SSR No. 1 (1951)
Krasnosel’skii, MA, Zabreiko, PP: Geometrical Methods of Nonlinear Analysis. Springer, Berlin (1984)
Krasnosel’skii, MA: Topological Methods in the Theory of Nonlinear Integral Equations. Pergamon Press, Oxford (1964)
Acknowledgements
The authors would like to thank the anonymous referees by their valuable suggestions, helpful comments which further improved the content and presentation of the paper. Also, this work has been partially supported by the Ministry of Economy and Competitiveness of Spain under research project MTM201233258. The first author has also been supported by the Ramón y Cajal project RYC201415284 of the Ministry of Economy and Competitiveness.
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
All authors contributed equally to the writing of this paper. All authors read and approved the final manuscript.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
ÁlvarezCaudevilla, P., Evans, J. & Galaktionov, V. Countable families of solutions of a limit stationary semilinear fourthorder CahnHilliardtype equation I. Mountain pass and LusternikSchnirel’man patterns in \(\mathbb{R}^{N}\) . Bound Value Probl 2016, 171 (2016). https://doi.org/10.1186/s1366101606775
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s1366101606775