Radial and cylindrical symmetry of solutions to the Cahn-Hilliard equation

TL;DR

This paper classifies entire solutions to the Cahn-Hilliard equation in Euclidean space, establishing conditions under which solutions exhibit radial or cylindrical symmetry, especially when their nodal sets are bounded or cylindrical.

Contribution

It provides new symmetry classification results for solutions of the Cahn-Hilliard equation with specific nodal set geometries.

Findings

Solutions with bounded or cylindrical nodal sets are radially or cylindrically symmetric under certain conditions.

The paper extends symmetry results to solutions with particular geometric constraints on their nodal sets.

Abstract

The paper is devoted to the classification of entire solutions to the Cahn-Hilliard equation $-\Delta u = u-u^3-\delta$ in $\R^N$, with particular interest in those solutions whose nodal set is either bounded or contained in a cylinder. The aim is to prove either radial or cylindrical symmetry, under suitable hypothesis.

Equations

$$-\Delta u=f(u)-\delta$$

$$E(u,\Omega):=\int_{\Omega}\bigg{(}\frac{1}{2}|\nabla u|^{2}+W(u)\bigg{)}dx,\qquad W(t):=\frac{(1-t^{2})^{2}}{4},$$

$$\frac{1}{|\Omega |}{\int }_{\Omega }udx=m,m\in (-1,1),$$

$$z_1(\delta )<-1/\sqrt{3}<z_2(\delta )<1/\sqrt{3}<z_3(\delta ),$$

$$u_{\delta }>z_2(\delta )\text{outside a ball BR⊂RN.}$$

$$E_{\varepsilon}(u,\Omega)=\int_{\Omega}\bigg{(}\frac{\varepsilon}{2}|\nabla u|^{2}+\frac{W(u)}{\varepsilon}\bigg{)}dx$$

$$-\epsilon \Delta u={\epsilon }^{-1}(u-u^3)-\ell ,\ell >0,$$

$$C_R:=\{(x^{\prime },x_N)\in {\mathbb{R}}^N:|x^{\prime }|<R\}$$

$$u_{\delta }>z_2(\delta )\text{outside a cylinder CR⊂RN.}$$

$$z_1(\delta )\le u_{\delta }(x)\le z_3(\delta )$$

$$\{\begin{array}{ll}-\Delta v_{\delta }=v_{\delta }-v_{\delta }^3-\delta & \text{in RN}\\ v_{\delta }(0)={\min }_{{\mathbb{R}}^N}{v}_{\delta },v_{\delta }<z_3(\delta ),v_{\delta }(x)\to z_3(\delta )& \text{as ∣x∣→∞}\end{array}$$

$$E_{\delta }(r):=\frac{1}{2}(w_{\delta }^{\prime }{)}^2-W_{\delta }(w_{\delta })$$

$$\frac{d}{dr}E(r)=w_{\delta }^{\prime }(w_{\delta }^{\prime \prime }-W_{\delta }^{\prime }(w_{\delta }))=-\frac{N-1}{r}(w_{\delta }^{\prime }{)}^2<0,\forall r>0.$$

$$-W_{\delta }(w_{\delta }(0))=E_{\delta }(0)>0,$$

$$\underset{{\mathbb{R}}^N}{\inf }{u}_{\delta }<-1+ϵ.$$

$$-\Delta v+|v{|}^{p}v\le 0$$

$$\alpha :=z_1(\delta )-z_2(\delta )<0,$$

$$\beta :=z_3(\delta )-z_2(\delta )>0,$$

$$w:=u_{\delta }-z_2(\delta ),$$

$$\Delta w=\Delta u_{\delta }=(u_{\delta }-z_1(\delta ))(u_{\delta }-z_2(\delta ))(u_{\delta }-z_3(\delta ))=w(w-\alpha )(w-\beta ),$$

$$\Delta (w-\beta {)}^{+}={\chi }_{\{w>\beta \}}\Delta w={\chi }_{\{w>\beta \}}w(w-\alpha )(w-\beta )\ge ((w-\beta {)}^{+}{)}^3,$$

$$\Delta u=u{P}_n^{\prime }(|u{|}^2),P_n(t):=\frac{1}{2}{\Pi }_{j=1}^n(t-k_j{)}^2,$$

$${\Sigma }_{\lambda }:=\{x\in {\mathbb{R}}^3:x_1<\lambda \}.$$

$$u(x_1,x^{\prime \prime })\to z_3(\delta ),$$

$$w(x_1,x^{\prime \prime })\to \beta$$

$$0<z_3(\delta )-u_{\delta }(x_1,x^{\prime \prime })\le C(\gamma )e^{-\gamma x_1},\forall x=(x_1,x^{\prime \prime })\in {\mathbb{R}}^N\backslash {\Sigma }_{\lambda }.$$

$$v(x)\le \Vert v{\Vert }_{L^{\infty }({\mathbb{R}}^N)}\le \mu e^{-\gamma M},$$

$$(-\Delta +{\gamma }^2)(v-\mu e^{\gamma x_1})=h_{\delta }(v)+{\gamma }^{2}v\le 0$$

$$-\Delta v=g(v)$$

$$v-v_{\lambda }\ge 0$$

$$\{\begin{array}{l}-\Delta (v-v_{\lambda })=h_{\delta }(v)-h_{\delta }(v_{\lambda })<0\text{in ω,}\\ v-v_{\lambda }=0\text{on ∂ω,}\end{array}$$

Full text

The author was partially supported by Fondecyt postdoctoral research grant 3170111 and Fondo Basal AFB170001 CMM-Chile. Moreover, the author is particularly grateful to his PhD advisor Alberto Farina for his crucial comments and remarks about this paper

AMS classification: 35B10, 35B06

1. Introduction

We consider the entire equation

[TABLE]

with $f(u):=u-u^{3}$ and $\delta\in\mathbb{R}$. This equation has a variational characterisation, indeed, if we consider it on a domain $\Omega\subset\mathbb{R}^{N}$, it arises as the Euler equation of the Ginzburg-Landau functional

[TABLE]

under the mass constraint

[TABLE]

which gives rise to the Lagrange multiplier $\delta$. The interest in the minimisers $u$ of $E(\cdotp,\Omega)$ arises from the phase transitions theory. In other words, if two different fluids are mixed in a container $\Omega$, the number $u(x)$ represents the density of one of the two at $x$, in an equilibrium configuration. Here we take $\delta\in(-\frac{2}{3\sqrt{3}},\frac{2}{3\sqrt{3}})$, so that the polynomial $f_{\delta}(t):=t-t^{3}-\delta$ admits exactly $3$ real roots

[TABLE]

with $z_{2}(\delta)$ satisfying $\delta z_{2}(\delta)\geq 0$. The main results of the paper deal with symmetry properties of entire solutions to the Cahn-Hilliard equation (1.1).

Theorem 1**.**

Let $N\geq 2$, $\delta\in(-\frac{2}{3\sqrt{3}},\frac{2}{3\sqrt{3}})$ and let $u_{\delta}$ be a solution to (1.1) such that

[TABLE]

1. (1)

If $\delta\in(-\frac{2}{3\sqrt{3}},0]$, then $u\equiv z_{3}(\delta)$. 2. (2)

If $\delta\in(0,\frac{2}{3\sqrt{3}})$, then $u_{\delta}$ is radially symmetric (not necessarily constant).

We note that, for $\delta>0$, nontrivial bubble solutions are known to exist. This is an important difference with the case $\delta\leq 0$. Moreover, we will see that the zero level set of radial solutions is non empty. In particular, we have the following Corollary.

Corollary 2**.**

Let $\delta\in(0,\frac{2}{3\sqrt{3}})$ and let $u_{\delta}$ be a non constant solution to (1.1) such that $u_{\delta}>z_{2}(\delta)$ outside a ball $B_{R}$. Then the nodal set of $u_{\delta}$ is a sphere.

This result agrees with the variational theory, which studies the asymptotic behaviour of the scaled functionals

[TABLE]

as $\varepsilon\to 0$. For instance, Modica proved that, if $\varepsilon_{k}$ is a sequence of positive numbers tending to [math] and $u_{\varepsilon_{k}}$ is a sequence of minimisers of $E_{\varepsilon_{k}}(\cdotp,\Omega)$ under the constraint (1.3) such that $u_{\varepsilon_{k}}\to u_{0}$ in $L^{1}(\Omega)$, then $u_{0}(x)\in\{\pm 1\}$ for almost every $x\in\Omega$, and the boundary in $\Omega$ of the set $E:=\{x\in\Omega:\,u_{0}(x)=1\}$ has minimal perimeter among all subsets $F\subset\Omega$ such that $|F|=|E|$, where $|\cdotp|$ denotes the volume (see [16], Theorem $1$). Further $\Gamma$-convergence results relating $E_{\varepsilon}(\cdotp,\Omega)$ to the perimeter can be found in [17]. Therefore, given a family $\{u_{\varepsilon}\}_{\varepsilon\in(0,\varepsilon_{0})}$ of minimisers under the constraint (1.3), their nodal set is expected to be close to a compact Alexandrov-embedded constant mean curvature surface, at least for $\varepsilon$ small. Corollary 2, together with a scaling argument, shows that, for $\varepsilon$ small enough, the nodal set of any entire solution to

[TABLE]

in $\mathbb{R}^{N}$ such that $u>z_{2}(\varepsilon\ell)$ outside a ball is actually a sphere, which is known to be the unique compact Alexandrov-embedded constant mean surface in $\mathbb{R}^{N}$ (see [2]).

After that, we set

[TABLE]

and we consider solutions satisfying

[TABLE]

The aim is to study their symmetry properties and their asymptotic behaviour as $\delta\to 0$, with particular interest in solutions which have one periodicity direction.

Theorem 3**.**

Let $\{u_{\delta}\}_{\delta\in(0,\frac{2}{3\sqrt{3}})}$ be a family of non constant solutions to (1.1) in $\mathbb{R}^{N}$, with $N\geq 2$. Assume furthermore that $u_{\delta}$ is periodic in $x_{N}$ and, for any $\delta\in(0,\frac{2}{3\sqrt{3}})$, there exists $R(\delta)>0$ such that (1.7) is true. Then

1. (1)

$z_{1}(\delta)<u_{\delta}(x)<z_{3}(\delta)$, for any $x\in\mathbb{R}^{N}$. 2. (2)

$u_{\delta}$* is radially symmetric in $x^{\prime}$.* 3. (3)

$u_{\delta}\to-1$* as $\delta\to 0$ uniformly on compact subsets of $\mathbb{R}^{N}$.*

In view of the aforementioned $\Gamma$-convergence results, given a solution $u$ to (1.6) satisfying (1.7), with $\delta=\varepsilon\ell$, we expect its nodal set to be close to an Alexandrov-embedded constant mean curvature surface which is contained in a cylinder. This kind of surfaces are fully classified, at least the ones which are embedded in $\mathbb{R}^{3}$, in fact it is known that the unique examples are the sphere and Delaunay unduloids, that is a family of non compact revolution surfaces obtained by rotating a periodic curve around a fixed axis in $\mathbb{R}^{3}$, which can be taken to be the $x_{3}$-axis, parametrised by a real number $\tau\in(0,1)$. We will denote the period of $D_{\tau}$ by $T_{\tau}$. For a detailed introduction of Delaunay surfaces, we refer to [13, 15]. For any $\tau\in(0,1)$, Kowalczyk and Hernandez [12] constructed a family $\{u_{\tau,\varepsilon}\}_{\varepsilon\in(0,\varepsilon_{0})}$ of solutions to (1.6) in $\mathbb{R}^{3}$, with $\ell=\ell_{\varepsilon}$ depending on $\varepsilon$, such that

1. (1)

$\ell_{\varepsilon}$ is positive and bounded uniformly in $\varepsilon$. 2. (2)

$u_{\tau,\varepsilon}$ is radially symmetric in $x^{\prime}$. 3. (3)

$u_{\tau,\varepsilon}(x)\to\pm 1$ as $\varepsilon\to 0$, uniformly on compact subsets of $\Omega_{\tau}^{\pm}$, where $\Omega_{\tau}^{\pm}$ denote the exterior and the interior of the Delaunay surface $D_{\tau}$, respectively. 4. (4)

$u_{\tau,\varepsilon}(x^{\prime},x_{3})\to z_{3}(\varepsilon\ell_{\varepsilon})$ as $|x^{\prime}|\to\infty$, uniformly in $x_{3}$. 5. (5)

$u_{\tau,\varepsilon}$ is periodic in $x_{3}$ of period $T_{\tau}$.

We observe that the solutions $u_{\varepsilon,\tau}$ constructed in [12] are actually negative outside a cylinder, however, in order to obtain the aforementioned family, thanks to the oddness of $f$, it is enough to replace them with $-u_{\varepsilon,\tau}$. An interesting question is uniqueness. In other words, we are interested in the following question.

Question 4** (Uniqueness).**

Let $\varepsilon_{0}>0$, $\tau\in(0,1)$ and let $v$ be a non constant solution to (1.6) in $\mathbb{R}^{3}$ with $\ell=\ell_{\varepsilon}$, for $\varepsilon\in(0,\varepsilon_{0})$. Assume in addition that

• •

$\ell_{\varepsilon}$* is bounded uniformly in $\varepsilon$.*

• •

$v$* is periodic in $x_{3}$, with period $T_{\tau}$.*

• •

$v>z_{2}(\varepsilon\ell_{\varepsilon})$* outside a ball $B_{R}$.*

Is it true that $v=u_{\varepsilon,\tau}$, at least if $\varepsilon_{0}$ is small enough?

This would be the counterpart of Corollary 2 for periodic solutions. For now we are not able to give a full answer to this question. However Theorem 3 is a first step in this direction, since it proves that any family $\{v_{\varepsilon}\}_{\varepsilon\in(0,\varepsilon_{0})}$ of such solutions has to share many properties with the family $\{u_{\tau,\varepsilon}\}_{\varepsilon\in(0,\varepsilon_{0})}$ constructed by Hernandez and Kowalczyk. For instance, for $\varepsilon$ small, $v_{\varepsilon}$ has to satisfy (1), (2), (4) and the scaled functions $v_{\varepsilon}(\varepsilon x)$ tend to $-1$ uniformly on compact subsets of $\mathbb{R}^{N}$ as $\varepsilon\to 0$.

The plan of the paper is the following. In Section 2 we will state some quite general results, of which the Theorems stated in the introduction are consequences. Section 3 is devoted to the proofs. It is divided into three subsections, dedicated to prove global boundedness, radial symmetry and the asymptotic behaviour for $\delta$ small respectively.

2. Some relevant results

In this section we state some results that are proved in section 3. First we prove boundedness of solutions, which holds irrespectively of the sign of $\delta$.

Proposition 5**.**

Let $\delta\in(-\frac{2}{3\sqrt{3}},\frac{2}{3\sqrt{3}})$ and let $u_{\delta}\in L^{3}_{loc}(\mathbb{R}^{N})$ be a distributional solution to the Cahn-Hilliard equation (1.1). Then

[TABLE]

a. e. in $\mathbb{R}^{N}$.

Remark 6**.**

• •

Using Proposition 5, standard elliptic estimates (see **[11]**, Theorem $8.8$ and Corollary $6.3$) and a bootstrap argument, it is possible to show that any distributional solution $u\in L^{3}_{loc}(\mathbb{R}^{3})$ is actually in $C^{\infty}(\mathbb{R}^{N})$. This parallels the regularity result proved in **[7]** for the Allen-Cahn equation.

• •

It follows from the strong maximum principle that either $u_{\delta}$ is constant, and in this case it has to be either $z_{1}(\delta)$, or $z_{2}(\delta)$ or $z_{3}(\delta)$, or it satisfies $z_{1}(\delta)<u_{\delta}<z_{3}(\delta)$ in $\mathbb{R}^{N}$.

We observe that Proposition 5 and Remark 6 prove point (1) of Theorem 3, which is actually true for any non constant entire solution. After that, we rule out the case $\delta\leq 0$, in which only constant solutions are allowed.

Proposition 7**.**

Let $u_{\delta}$ be a solution to (1.1) in $\mathbb{R}^{N}$, with $-\frac{2}{3\sqrt{3}}<\delta\leq 0$ such that $u_{\delta}>z_{2}(\delta)$ outside a stripe $\{x\in\mathbb{R}^{N}:\,|x_{N}|<L\}$. Then $u_{\delta}\equiv z_{3}(\delta)$.

We stress that the latter result proves point (1) of Theorem 1 and agrees with the sign of $\delta$ obtained by Hernández and Kowalczyk in [12]. Using boundedness and the famous result by Gidas, Ni and Nirenberg [10], or Theorem $2$ of [8], which relies on the moving planes method, we can prove this symmetry result.

Proposition 8**.**

*Let $\delta\in(0,2/3\sqrt{3})$ and let $u_{\delta}$ be a non constant solution to (1.1) such that $u_{\delta}>z_{2}(\delta)$ outside a ball $B_{R}$, for some $R>0$. Then

• •

$u_{\delta}$* is radially symmetric, that is, up to a translation, $u_{\delta}(x)=w_{\delta}(|x|)$.*

• •

$u_{\delta}$* is radially increasing, in the sense that $(\nabla u_{\delta}(x),x)>0$, for any $x\in\mathbb{R}^{N}\backslash\{0\}$.*

Proposition 8 proves point (2) of Theorem 1. More precisely, it is known that, for $\delta\in(0,\frac{2}{3\sqrt{3}})$, the problem

[TABLE]

admits a unique solution which is radially symmetric (see [19, 5, 18]), that is $v_{\delta}(x)=w_{\delta}(|x|)$. In view of this fact, we can actually prove the following classification result.

Proposition 9**.**

Let $\delta\in(0,\frac{2}{3\sqrt{3}})$ and let $u_{\delta}$ be a non constant solution to (1.1) such that $u_{\delta}>z_{2}(\delta)$ outside a ball $B_{R}$. Then, up to a translation, $u_{\delta}=v_{\delta}$.

In the sequel, we will use the notation $W_{\delta}(t):=W(t)+\delta t$.

Remark 10**.**

It is possible to see that, for any $\delta\in(0,\frac{2}{3\sqrt{3}})$, there exists $R(\delta)>0$ such that $w_{\delta}(R(\delta))=0$. In fact, the energy

[TABLE]

is strictly decreasing, since

[TABLE]

Thus, using that, by Proposition 8, $v_{\delta}$ is decreasing,

[TABLE]

which yields that $w_{\delta}(0)<0$.

In particular, in view of Remark 10, which yields that the nodal set of $v_{\delta}$ is neither empty nor a singleton, Corollary 2 is true.

Considering solutions that are approaching a positive limit just with respect to $N-1$ variables, we can prove the following.

Proposition 11**.**

*Let $\delta\in(0,2/3\sqrt{3})$ and let $u_{\delta}$ be a non constant solution to (1.1) such that $u_{\delta}>z_{2}(\delta)$ outside a cylinder $C_{R}$, for some $R>0$. If $u_{\delta}$ is periodic in $x_{N}$, then

• •

$u_{\delta}$* is radially symmetric in $x^{\prime}$, that is, up to a translation, $u_{\delta}(x)=w_{\delta}(|x^{\prime}|,x_{N})$.*

• •

$u_{\delta}$* is radially increasing, in the sense that $(\nabla u_{\delta}(x),(x^{\prime},0))>0$, for any $x=(x^{\prime},x_{N})\in\mathbb{R}^{N}\backslash\{0\}$.*

We note that this proves point (2) of Theorem 3. Even in this case, our result agrees with the construction of [12], where the authors prove the existence of a family of solutions fulfilling the symmetries of the Delaunay surface $D_{\tau}$, hence, in particular they are periodic in $x_{N}$, radially symmetric and radially increasing in $x^{\prime}$. Here we show that any periodic solution has to be radially symmetric and radially increasing in $x^{\prime}$. Finally, in order to prove point (3) of Theorem 3, we need the following result, which shows that the phase transition has to be complete.

Proposition 12**.**

For any $\epsilon>0$ there exists $\delta_{0}\in(0,\frac{2}{3\sqrt{3}})$ such that, for any $\delta\in(0,\delta_{0})$ and for any non constant solution $u_{\delta}$ to (1.1) satisfying $\sup_{\mathbb{R}^{N}}u_{\delta}=z_{3}(\delta)$, we have

[TABLE]

This result somehow parallels Lemma $2.5$ of [9]. The proof relies on both the moving planes and the sliding method. For a detailed proof of point (3) of Theorem 3, we refer to section 3.

3. The proofs

3.1. Boundedness

In order to prove boundedness for distributional solutions to (1.1), we will rely on a result proved by Brezis in [3].

Lemma 13** (Brezis-Kato inequality).**

Let $p>1$ and assume that $v\in L^{p}_{loc}(\mathbb{R}^{k})$ satisfies

[TABLE]

Then $v\leq 0$ a.e. in $\mathbb{R}^{N}$.

Now we prove Proposition 5.

Proof.

Writing $-f_{\delta}(t)=(t-z_{1}(\delta))(t-z_{2}(\delta))(t-z_{3}(\delta))$ and setting

[TABLE]

we have

[TABLE]

thus

[TABLE]

where $\chi_{\{w>\beta\}}$ denotes the characteristic function of the set $\{\in\mathbb{R}^{N}:\,w(x)>\beta\}$. By the Kato-Brezis inequality (see Lemma 13), we have $w\leq\beta$. The same argument applied to $(\alpha-w)^{+}$ gives the lower bound $w\geq\alpha$. ∎

Remark 14**.**

A similar argument is used in [6] to prove boundedness for solutions to a class of vectorial equations of the form

[TABLE]

with $0<k_{1}<\dots<k_{n}$. The scalar Allen-Cahn equation is included in this class. Here we prove that a similar result is true for a slightly different non linearity, due to the presence of $\delta$.

Now we can prove Proposition 7, using boundedness and a result of [7] where non-existence f ground states for some special non lineariries is proved.

Proof.

By Lemma 13, $z_{1}(\delta)\leq u_{\delta}\leq z_{3}(\delta)$, in particular, since $\delta\leq 0$, $|z_{1}(\delta)|\leq z_{3}(\delta)$, hence $|u_{\delta}|\leq z_{3}(\delta)$. By Lemma 15, $u_{\delta}\to z_{3}(\delta)$ as $x_{1}\to\pm\infty$, the limit being uniform in $x^{\prime}$. Moreover, setting $f_{\delta}(t):=f(t)-\delta$, we have

• •

$f_{\delta}(t)\geq 0$, $\forall\,t\in(0,z_{3}(\delta))$,

• •

$f_{\delta}(t)+f_{-\delta}(t)=-2\delta\geq 0$, $\forall\,t\in(0,z_{3}(\delta))$,

• •

$f_{\delta}(t)$ is non increasing in a left neighbourhood of $z_{3}(\delta)$.

Therefore, by Theorem $4.2$ of [7], $u_{\delta}\equiv z_{3}(\delta)$. ∎

3.2. Radial symmetry

The aim of this subsection is to prove Proposition 11. In order to do so, we need some decay at infinity of the solution. From now on, we denote the variables by $x:=(x_{1},x^{\prime\prime})\in\mathbb{R}\times\mathbb{R}^{N-1}$. For $\lambda\in\mathbb{R}$, we set

[TABLE]

This changing of notation is justified by the fact that several times this section $x_{N}$ is the periodicity variable, hence we are not allowed to start the moving planes in that direction.

Lemma 15**.**

Let $u_{\delta}$ be a solution to (1.1). Assume furthermore that $u_{\delta}>z_{2}(\delta)$ in the half-space $\mathbb{R}^{N}\backslash\Sigma_{\lambda}$, for some $\lambda\in\mathbb{R}$. Then

[TABLE]

Proof.

The statement is trivial if $u_{\delta}$ is constant (see Remark 6), hence we can assume that it is non constant. We apply Lemma $2.3$ of [7] to $w:=u_{\delta}-z_{2}(\delta)$ in the half space $\mathbb{R}^{N}\backslash\Sigma_{\lambda}$, where, by Lemma 13, $0<w<\beta$. This is possible since the non linearity $g(t):=-t(t-\alpha)(t-\beta)$ is positive in $(0,\beta)$ and $g^{\prime}(0)>0$. We recall that the constants $\alpha$ and $\beta$ are defined in the proof of Proposition 5. The conclusion is that

[TABLE]

and the limit is uniform in the other variables. ∎

Using the fact that $f^{\prime}(z_{3}(\delta))<0$, we can actually prove a better result about the decay rate of $z_{3}(\delta)-u_{\delta}$.

Lemma 16**.**

Let $u_{\delta}$ be a solution to (1.1) such that $u_{\delta}>z_{2}(\delta)$ in the half space $\mathbb{R}^{N}\backslash\Sigma_{\lambda}$, for some $\lambda\in\mathbb{R}$. Then, for any $\gamma\in(0,\sqrt{-f^{\prime}(z_{3}(\delta))})$, there exists a constant $C(\gamma)>0$, depending on $\gamma$, such that

[TABLE]

Proof.

We compare the bounded function $v:=z_{3}(\delta)-u_{\delta}$ with the barrier $\mu e^{-\gamma x_{1}}$, for $\gamma\in(0,\sqrt{-f^{\prime}(z_{3}(\delta))})$, in the half-space $\mathbb{R}^{N}\backslash\Sigma_{M}$, with $M>0$ large enough. In fact, on $\partial(\mathbb{R}^{N}\backslash\Sigma_{M})$, we have

[TABLE]

provided $\mu\geq\|v\|_{L^{\infty}(\mathbb{R}^{N})}e^{\gamma M}$. Note that here we use the fact that $v\in L^{\infty}$, which is true by Lemma 13. Moreover, setting $h_{\delta}(v):=-f_{\delta}(z_{3}(\delta)-v)$, we have $h_{\delta}(0)=-f_{\delta}(z_{3}(\delta))=0$ and $h^{\prime}_{\delta}(0)=f^{\prime}(z_{3}(\delta))<0$, thus

[TABLE]

in $\mathbb{R}^{N}\backslash\Sigma_{M}$ if $M$ is large enough, since, by Lemma 15, $z_{3}(\delta)-v$ is decaying as $x_{1}\to\infty$, uniformly with respect to $x^{\prime\prime}$. Thus, by the maximum principle for possibly unbounded domains (see Lemma $2.1$ of [4]), we conclude that (3.4) is true in $\mathbb{R}^{N}\backslash\Sigma_{M}$. Changing, if necessary, the constant $C(\gamma)$, the required inequality is fulfilled in the whole space. ∎

Now we prove Proposition 8

Proof.

By Proposition 5, $z_{1}(\delta)<u_{\delta}<z_{3}(\delta)$ and, by Remark 6, $u_{\delta}$ is smooth. By Lemma 15, it converges to $z_{3}(\delta)$ as $|x|\to\infty$, therefore, by the famous symmetry result by [10], or by Theorem $2$ of [8], we conclude that $u_{\delta}$ is radially symmetric and radially decreasing. ∎

Now we prove Proposition 9.

Proof.

Since, by Proposition 8, $u_{\delta}$ is radially symmetric and radially decreasing, then, up to translation, we have $u_{\delta}(0)=\min_{\mathbb{R}^{N}}u_{\delta}$. Since, by Lemma 15, $u_{\delta}(x)\to z_{3}(\delta)$ as $|x|\to\infty$, then it solves (2.8), therefore, by uniqueness, $u_{\delta}=v_{\delta}$. ∎

In order to prove Proposition 11, we need to apply Theorem $2$ of [8], which we recall, for the reader’s convenience.

Theorem 17** ([8]).**

Let $v>0$ be a bounded entire solution to

[TABLE]

in $\mathbb{R}^{N}$, with $g\in C^{1}(\mathbb{R})$ such that $g^{\prime}(s)\leq 0$ in $(0,\eta)$, for some $\eta>0$. Writing $x=(y,z)\in\mathbb{R}^{M}\times\mathbb{R}^{N-M}$, we assume that

• •

$v(y,z)\to 0$* as $|y|\to\infty$, uniformly in $z$.*

• •

$v$* is periodic in $z$.*

Then $v$ is radially symmetric in $y$, that is, up to a translation, $v(y,z)=w(|y|,z)$, and radially decreasing in $y$, that is $\partial_{y_{j}}v(y,z)<0$ for any $x=(y,z)\in\mathbb{R}^{M}\times\mathbb{R}^{N-M}$ with $y\neq 0$.

Proof.

By Proposition 5, $z_{1}(\delta)<u_{\delta}<z_{3}(\delta)$ and, by Remark 6, $u_{\delta}$ is smooth. By Lemma 15, it converges to $z_{3}(\delta)$ as $|x^{\prime}|\to\infty$, uniformly in $x_{N}$. Since $u_{\delta}$ is periodic, in order to conclude that it is radially symmetric in $x^{\prime}$ and radially decreasing, it is enough to apply Theorem 17 to $v:=z_{3}(\delta)-u_{\delta}$. ∎

3.3. The asymptotic behaviour for $\delta$ small

First we show that if a solution lies between $1/\sqrt{3}$ and $z_{3}(\delta)$, then it is constant. This is proved by the moving planes method.

Lemma 18**.**

Let $\delta\in[0,2/3\sqrt{3})$ and let $u_{\delta}$ be a solution to (1.1) in $\mathbb{R}^{N}$ such that $u_{\delta}(x)\geq 1/\sqrt{3}$, for any $x\in\mathbb{R}^{N}$. Then $u_{\delta}\equiv z_{3}(\delta)$.

Proof.

We set $v:=z_{3}(\delta)-u_{\delta}$. Setting, for any $\lambda\in\mathbb{R}$, $v_{\lambda}(x):=v(2\lambda-x_{1},x^{\prime\prime})$, we have

[TABLE]

In order to prove this fact, we assume by contradiction that there exists $\lambda\in\mathbb{R}$ such that the open set $\Omega_{\lambda}:=\{x\in\Sigma_{\lambda}:v-v_{\lambda}<0\}$ is nonempty, and we observe that, in any connected component $\omega$ of $\Omega_{\lambda}$ we have

[TABLE]

due to the strict monotonicity of $f_{\delta}$ in $[1/\sqrt{3},1)$ (for the definition of $h_{\delta}$, see the proof of Lemma 16). As a consequence, by the maximum principle for possibly unbounded domains, we have $v-v_{\lambda}\leq 0$ in $\omega$, a contradiction.

By (3.5), we have $\partial_{x_{1}}v\leq 0$ in $\mathbb{R}^{N}$. The same argument applied to $\tilde{v}(x):=v(-x_{1},x^{\prime})$ implies that also $\tilde{v}$ satisfies (3.5), hence $\partial_{x_{1}}v\geq 0$ in $\mathbb{R}^{N}$, thus $\partial_{x_{1}}v\equiv 0$. Composing $v$ with any rotation of $\mathbb{R}^{N}$, we conclude that $v$ is a constant solution to (1.1), thus $v\equiv 0$. ∎

Given the double well potential $W(t)=\frac{(1-t^{2})^{2}}{4}$, $0<\alpha<W(1/\sqrt{3})=\frac{1}{9}$ and $\delta\in(0,2/3\sqrt{3})$, we set

[TABLE]

Moreover, we take a smooth cutoff function $\chi:\mathbb{R}\to[0,1]$ such that $\chi=1$ in $(-\infty,-1)$ and $\chi=0$ in $(0,\infty)$ and we set

[TABLE]

We will denote $\tilde{W}:=\tilde{W}_{0}$. It is possible to see that $\tilde{W}_{\delta}$ enjoys the following properties:

[TABLE]

[TABLE]

and

[TABLE]

In the sequel, we will be interested in a solution to

[TABLE]

for $\delta\geq 0$ small enough and $R$ large. This will be used as a barrier in the proof of Proposition 2.10, which relies on a sliding method. This can be obtained in a variational technique, by minimising the functional

[TABLE]

among all $H^{1}(B_{R})$ functions with trace $z_{1}(\delta)$ on $\partial B_{R}$. The case $\delta=0$ is treated in Lemma $2.4$ of [9].

Lemma 19**.**

Let $\delta_{0}>0$ be so small that $W_{\delta}(z_{3}(\delta))<\alpha/2$, for any $\delta\in[0,\delta_{0})$. Then, For any $R>0$ and $\delta\in[0,\delta_{0})$, there exists a minimiser $\beta_{R,\delta}\in C^{2}(B_{R})$ of (3.11) among all functions with trace $z_{1}(\delta)$ on $\partial B_{R}$. Moreover, there exists $R_{0}>0$ such that, for any $R\geq R_{0}$ and for any $\delta\in[0,\delta_{0})$,

• •

[TABLE]

• •

[TABLE]

• •

there exists a solution $\beta_{R}$ of (3.10) with $\delta=0$ such that

[TABLE]

Proof.

Existence follows from coercivity and weak lower semi continuity. By the fact that $\tilde{W}_{\delta}\equiv\alpha$ in $(-\infty,\mu(\delta))$ and (3.8), we can see the minimiser actually has to satisfy $z_{1}(\delta)\leq\beta_{R,\delta}\leq z_{3}(\delta)$, thus, due to the strong maximum principle, either (3.12) holds or $\beta_{R,\delta}\equiv z_{1}(\delta)$.

Now we prove (3.13), which, in particular, shows that $\beta_{R,\delta}>z_{1}(\delta)$ in $B_{R}$, at least for $R\geq R_{0}$. In order to do so, we assume that there exists a sequence $R_{k}\to\infty$ and a sequence $\delta_{k}\in[0,\delta_{0})$ such that

[TABLE]

It follows that, on the one hand

[TABLE]

where $\omega_{N}$ denotes the surface of $S^{N-1}$. On the other hand, if, for $R>1$ and $\delta\in[0,\delta_{0})$, we take $w_{R,\delta}$ to be equal to $z_{1}(\delta)$ on $\partial B_{R}$ and to $z_{3}(\delta)$ in $B_{R-1}$ with $|\nabla w_{R,\delta}|$ bounded uniformly in $\delta$, we can see that there exists a constant $C>0$ such that, for $k$ large enough,

[TABLE]

since $\delta_{k}\in[0,\delta_{0})$, hence $W_{\delta_{k}}(z_{3}(\delta_{k}))<\alpha/2$. This contradicts the minimality of $\beta_{R_{k},\delta_{k}}$.

Finally we prove (3.14). In the forthcoming argument, $R>0$ will always be arbitrary but fixed. We observe that, since $\beta_{R,\delta}$ is bounded uniformly in $R>0$ and $\delta>0$, then any sequence $\delta_{k}\to 0$ admits a subsequence, that we still denote by $\delta_{k}$, such that $\beta_{R,\delta_{k}}$ converges in $C^{2}(B_{R})$ to a solution $\beta_{R}$ to

[TABLE]

satisfying $\beta_{R}=-1$ on $\partial B_{R}$. Since the convergence is uniform and (3.12) holds, then

[TABLE]

as $\delta\to 0$. Moreover, by (3.13) and the strong maximum principle, $\sup_{B_{R}}\beta_{R}\in[\frac{1}{\sqrt{3}},1)$. ∎

Now we can prove Proposition 2.10.

Proof.

It is enough to prove that, if there exists a sequence $\delta_{k}\to 0$, a sequence $u_{\delta_{k}}$ of solutions to (1.1) and $\nu>-1$ such that

[TABLE]

then there exists a subsequence $\delta_{k^{\prime}}$ such that $u_{\delta_{k^{\prime}}}\equiv z_{3}(\delta_{k^{\prime}})$.

Claim: for any $\varepsilon>0$ and $\rho>0$, there exists a subsequence, which we still denote by $u_{\delta_{k}}$, and a sequence $x^{k}\in\mathbb{R}^{N}$ such that

[TABLE]

Since $\sup_{\mathbb{R}^{N}}u_{\delta_{k}}=z_{3}(\delta_{k})$, there exists $x^{k}\in\mathbb{R}^{N}$ such that

[TABLE]

Therefore the sequence $u^{k}(x):=u_{\delta_{k}}(x+x^{k})$ admits a subsequence converging, in $C^{2}_{loc}(\mathbb{R}^{N})$, to a solution $u^{\infty}$ to the Allen-Cahn equation

[TABLE]

By (3.19), we can see that $u^{\infty}(0)=1$, thus $u^{\infty}\equiv 1$. As a consequence, for any $\varepsilon>0$ (small) and $\rho>0$, there exists a subsequence (still denoted by $u^{k}$) such that

[TABLE]

hence the claim is true.

In order to prove our result, we first observe that, by (3.13), for $\delta_{0}$ small as in Lemma 19 and $\delta\in(0,\delta_{0})$, there exists $R>0$ and a solution $\beta_{R,\delta}$ to (3.10) such that

[TABLE]

Moreover, by (3.14), there exists a solution $\beta_{R}$ to

[TABLE]

and $\delta_{1}=\delta_{1}(R)>0$ such that, for any $\delta\in(0,\delta_{1})$, we have

[TABLE]

As a consequence, for any $\delta\in(0,\bar{\delta})$, where $\bar{\delta}=\bar{\delta}(R):=\min\{\delta_{0},\delta_{1}(R)\}$, we get

[TABLE]

Now, applying the claim with $\rho=R$ and

[TABLE]

we can prove the existence of a subsequence, still denoted by $u_{\delta_{k}}$, and a sequence $x^{k}$ in $\mathbb{R}^{N}$ such that

[TABLE]

Sliding $\beta_{R,\delta_{k}}$, with $k\geq k_{0}$ fixed, we get the lower bound

[TABLE]

In conclusion, by Lemma 18, $u_{\delta_{k}}\equiv z_{3}(\delta_{k})$. ∎

Proposition 20**.**

Let $\delta\in(0,2/3\sqrt{3})$ and let $\{u_{\delta}\}_{\delta\in(0,\frac{2}{3\sqrt{3}})}$ be a family of non constant solutions to (1.1) in $\mathbb{R}^{N}$ such that

• •

for any $\delta\in(0,2/3\sqrt{3})$ there exists $R(\delta)>0$ such that $u_{\delta}>z_{2}(\delta)$ outside the cylinder $C_{R(\delta)}$.

• •

$u_{\delta}$* is periodic in $x_{N}$.*

Then

[TABLE]

and

[TABLE]

Remark 21**.**

We note that point (3) of Theorem 3 is a consequence of Proposition 3.25.

Proof.

By Lemma 13, the family $u_{\delta}$ is uniformly bounded, hence any sequence $\delta_{k}\to 0$ admits a subsequence, that we still denote by $\delta_{k}$, such that $u_{\delta_{k}}$ converges in $C^{2}_{loc}(\mathbb{R}^{N})$ to a solution $u^{\infty}$ to the Allen-Cahn equation (3.20). Since $u_{\delta}$ are all non constant solutions, then, by Proposition 2.10, we have

[TABLE]

By periodicity and Theorem 11, we know that, for $\delta$ small, $u_{\delta}$ is radially symmetric in $x^{\prime}$ and, up to a translation,

[TABLE]

hence, passing to the limit, we get

[TABLE]

which yields that $u^{\infty}\equiv-1$, thus (3.24) holds.

In order to prove (3.25), we assume by contradiction that there exists $\bar{R}>0$ and a sequence $\delta_{k}\to 0$ such that $R(\delta_{k})\leq\bar{R}$. By (3.24), $u_{\delta_{k}}\to-1$ uniformly in $B^{N-1}_{2\bar{R}}\times[-1,1]$, thus, for $k$ large enough,

[TABLE]

if, for instance, $x^{\prime}_{k}=(2R(\delta_{k}),0)\in\mathbb{R}\times\mathbb{R}^{N-2}$, which contradicts the fact that $u_{\delta_{k}}$ is radially increasing. ∎