Abstract
We consider the two dimensional free boundary Stefan problem describing the evolution of a spherically symmetric ice ball $\{r\leq \l(t)\}$. We revisit the pioneering analysis of \cite{HeVe} and prove the existence in the radial class of finite time {\it melting} regimes
$$
\l(t)=\left\{\begin{array}{ll} (T-t)^{1/2}e^{-\frac{\sqrt{2}}{2}\sqrt{|\ln(T-t)|}+O(1)}\\
(c+o(1))\frac{(T-t)^{\frac{k+1}{2}}}{|\ln (T-t)|^{\frac{k+1}{2k}}}, \ \ k\in \Bbb N^*\end{array}\right.
\quad\text{ as } t\to T
$$
which respectively correspond to the fundamental {\it stable} melting rate, and a sequence of codimension $k\in \Bbb N^*$ excited regimes. Our analysis fully revisits a related construction for the harmonic heat flow in \cite{RS1} by introducing a new and canonical functional framework for the study of type II (i.e. non self similar) blow up. We also show a deep duality between the construction of the melting regimes and the derivation of a discrete sequence of global-in-time {\it freezing} regimes
$$
\l_\infty - \l(t)\sim\left\{\begin{array}{ll} \frac{1}{\log t}\\
\frac{1}{t^{k}(\log t)^{2}}, \ \ k\in \Bbb N^*\end{array}\right.
\quad\text{ as } t\to +\infty
$$
which correspond respectively to the fundamental {\it stable} freezing rate, and excited regimes which are codimension $k$ stable.
$$
\l(t)=\left\{\begin{array}{ll} (T-t)^{1/2}e^{-\frac{\sqrt{2}}{2}\sqrt{|\ln(T-t)|}+O(1)}\\
(c+o(1))\frac{(T-t)^{\frac{k+1}{2}}}{|\ln (T-t)|^{\frac{k+1}{2k}}}, \ \ k\in \Bbb N^*\end{array}\right.
\quad\text{ as } t\to T
$$
which respectively correspond to the fundamental {\it stable} melting rate, and a sequence of codimension $k\in \Bbb N^*$ excited regimes. Our analysis fully revisits a related construction for the harmonic heat flow in \cite{RS1} by introducing a new and canonical functional framework for the study of type II (i.e. non self similar) blow up. We also show a deep duality between the construction of the melting regimes and the derivation of a discrete sequence of global-in-time {\it freezing} regimes
$$
\l_\infty - \l(t)\sim\left\{\begin{array}{ll} \frac{1}{\log t}\\
\frac{1}{t^{k}(\log t)^{2}}, \ \ k\in \Bbb N^*\end{array}\right.
\quad\text{ as } t\to +\infty
$$
which correspond respectively to the fundamental {\it stable} freezing rate, and excited regimes which are codimension $k$ stable.
Original language | English |
---|---|
Number of pages | 70 |
Journal | Journal of the European Mathematical Society |
Publication status | Accepted/In press - 15 Feb 2017 |
Keywords
- Singularity formation, Free boundary problems