Ancient multiple-layer solutions to the Allen-Cahn equation

We consider the parabolic one-dimensional Allen-Cahn equation $$u_t= u_{xx}+ u(1-u^2)\quad (x,t)\in \mathbb{R}\times (-\infty, 0].$$ The steady state $w(x) =\tanh (x/\sqrt{2})$, connects, as a "transition layer" the stable phases $-1$ and $+1$. We construct a solution $u$ with any given number $k$ of transition layers between $-1$ and $+1$. At main order they consist of $k$ time-traveling copies of $w$ with interfaces diverging one to each other as $t\to -\infty$. More precisely, we find $$u(x,t) \approx \sum_{j=1}^k (-1)^{j-1}w(x-\xi_j(t)) + \frac 12 ((-1)^{k-1}- 1)\quad \hbox{as} t\to -\infty,$$ where the functions $\xi_j(t)$ satisfy a first order Toda-type system. They are given by $$\xi_j(t)=\frac{1}{\sqrt{2}}\left(j-\frac{k+1}{2}\right)\log(-t)+\gamma_{jk},\quad j=1,...,k,$$ for certain explicit constants $\gamma_{jk}.

The two-dimensional Lazer-McKenna conjecture for an exponential nonlinearity

We consider the problem of Ambrosetti-Prodi type \begin{equation}\label{0}\quad\begin{cases} \Delta u + e^u = s\phi_1 + h(x) &\hbox{in} \Omega, u=0 & \hbox{on} \partial \Omega, \end{cases} \nonumber \end{equation} where $\Omega$ is a bounded, smooth domain in $\R^2$, $\phi_1$ is a positive first eigenfunction of the Laplacian under Dirichlet boundary conditions and $h\in\mathcal{C}^{0,\alpha}(\bar{\Omega})$. We prove that given $k\ge 1$ this problem has at least $k$ solutions for all sufficiently large $s>0$, which answers affirmatively a conjecture by Lazer and McKenna \cite{LM1} for this case. The solutions found exhibit multiple concentration behavior around maxima of $\phi_1$ as $s\to +\infty$.Comment: 24 pages, to appear in J. Diff. Eqn

Ancient shrinking spherical interfaces in the Allen-Cahn flow

We consider the parabolic Allen-Cahn equation in $\mathbb{R}^n$, $n\ge 2$, $$u_t= \Delta u + (1-u^2)u \quad \hbox{ in } \mathbb{R}^n \times (-\infty, 0].$$ We construct an ancient radially symmetric solution $u(x,t)$ with any given number $k$ of transition layers between $-1$ and $+1$. At main order they consist of $k$ time-traveling copies of $w$ with spherical interfaces distant $O(\log |t| )$ one to each other as $t\to -\infty$. These interfaces are resemble at main order copies of the {\em shrinking sphere} ancient solution to mean the flow by mean curvature of surfaces: $|x| = \sqrt{- 2(n-1)t}$. More precisely, if $w(s)$ denotes the heteroclinic 1-dimensional solution of $w'' + (1-w^2)w=0$ $w(\pm \infty)= \pm 1$ given by $w(s) = \tanh \left(\frac s{\sqrt{2}} \right)$ we have $$u(x,t) \approx \sum_{j=1}^k (-1)^{j-1}w(|x|-\rho_j(t)) - \frac 12 (1+ (-1)^{k}) \quad \hbox{ as } t\to -\infty$$ where $$\rho_j(t)=\sqrt{-2(n-1)t}+\frac{1}{\sqrt{2}}\left(j-\frac{k+1}{2}\right)\log\left(\frac {|t|}{\log |t| }\right)+ O(1),\quad j=1,\ldots ,k.$

Large mass boundary condensation patterns in the stationary Keller-Segel system

We consider the boundary value problem $-\Delta u + u =\lambda e^u$ in $\Omega$ with Neumann boundary condition, where $\Omega$ is a bounded smooth domain in $\mathbb R^2$, $\lambda>0.$ This problem is equivalent to the stationary Keller-Segel system from chemotaxis. We establish the existence of a solution $u_\lambda$ which exhibits a sharp boundary layer along the entire boundary $\partial\Omega$ as $\lambda\to 0$. These solutions have large mass in the sense that $ \int_\Omega \lambda e^{u_\lambda} \sim |\log\lambda|.

Serrin's Overdetermined Problem and Constant Mean Curvature Surfaces

For all $N \geq 9$, we find smooth entire epigraphs in $\R^N$, namely smooth domains of the form $\Omega : = \{x\in \R^N\ / \ x_N > F (x_1,\ldots, x_{N-1})\}$, which are not half-spaces and in which a problem of the form $\Delta u + f(u) = 0$ in $\Omega$ has a positive, bounded solution with 0 Dirichlet boundary data and constant Neumann boundary data on $\partial \Omega$. This answers negatively for large dimensions a question by Berestycki, Caffarelli and Nirenberg \cite{bcn2}. In 1971, Serrin \cite{serrin} proved that a bounded domain where such an overdetermined problem is solvable must be a ball, in analogy to a famous result by Alexandrov that states that an embedded compact surface with constant mean curvature (CMC) in Euclidean space must be a sphere. In lower dimensions we succeed in providing examples for domains whose boundary is close to large dilations of a given CMC surface where Serrin's overdetermined problem is solvable.Comment: 59 page