\documentclass[reqno]{amsart}
\usepackage{hyperref}

\AtBeginDocument{{\noindent\small
\emph{Electronic Journal of Differential Equations},
Vol. 2013 (2013), No. 70, pp. 1--8.\newline
ISSN: 1072-6691. URL: http://ejde.math.txstate.edu or http://ejde.math.unt.edu
\newline ftp ejde.math.txstate.edu}
\thanks{\copyright 2013 Texas State University - San Marcos.}
\vspace{9mm}}

\begin{document}
\title[\hfilneg EJDE-2013/70\hfil Point rupture solutions]
{Point rupture solutions of a singular elliptic equation}

\author[H. Jiang, A. Miloua \hfil EJDE-2013/70\hfilneg]
{Huiqiang Jiang, Attou Miloua}  % in alphabetical order

\address{Huiqiang Jiang \newline
Department of Mathematics, University of Pittsburgh, Pittsburgh,
 PA 15260, USA}
 \email{hqjiang@pitt.edu}

\address{Attou Miloua \newline
Department of Mathematics, University of Pittsburgh, Pittsburgh,
PA 15260, USA}
\email{atm33@pitt.edu}

\thanks{Submitted Submitted May 2, 2012. Published March 13, 2013.}
\thanks{Supported by grant DMS-1200599 from National Science Foundation.}
\subjclass[2000]{49Q20, 35J60, 35Q35}
\keywords{Thin film; point rupture; radial solution; singular equation}

\begin{abstract}
 We consider the elliptic equation
 \[
 \Delta u=f(u)
 \]
 in a region $\Omega\subset\mathbb{R}^2$, where $f$ is a positive continuous
 function satisfying
 \[
 \lim_{u\to 0^{+}}f(u)  =\infty.
 \]
 Motivated by the thin film equations, a solution $u$ is said to be a point
 rupture solution if for some $p\in\Omega$, $u(p)  =0$ and
 $u(p)  >0$ in $\Omega\backslash\{  p\}  $. Our main
 result is a sufficient condition on $f$ for the existence of radial point
 rupture solutions.
\end{abstract}

\maketitle
\numberwithin{equation}{section}
\newtheorem{theorem}{Theorem}[section]
\newtheorem{lemma}[theorem]{Lemma}
\newtheorem{proposition}[theorem]{Proposition}
\newtheorem{corollary}[theorem]{Corollary}
\newtheorem{remark}[theorem]{Remark}
\allowdisplaybreaks

\section{Introduction}

Let $\Omega$ be a region in $\mathbb{R}^2$ and $f$ be a continuous
function defined on $(0,\infty)  $ satisfying
\[
\lim_{v\to 0^{+}}f(v)  =\infty.
\]
We are interested in the elliptic equation
\begin{equation}
\Delta u=f(u) \quad \text{in }\Omega\label{equation main}
\end{equation}
with Neumann boundary condition $\frac{\partial u}{\partial n}=0$ on
$\partial\Omega$. A solution to \eqref{equation main} is said
to be a point rupture solution if for some $p\in\Omega$, $u(p)
=0$ and $u(x)  >0$ for any $x\in\Omega\backslash\{p\}  $.

In the lubrication model of thin films, $u$ will be the thickness of the thin
film over a planar region $\Omega$ and the dynamic of the thin film can be
modeled by the fourth order partial differential equation
\begin{equation}
u_{t}=-\nabla\cdot(u^{m}\nabla u)  -\nabla\cdot(
u^{n}\nabla\Delta u)  . \label{Equation dynamics}
\end{equation}
Here the fourth-order term in the equation reflects surface tension effects,
and the second-order term can reflect gravity, van der Waals interactions,
thermocapillary effects or the geometry of the solid substrate. This class of
model equation occurs in connection with many physical systems involving fluid
interfaces. When $n=1$ and $m=1$, it describes a thin jet in a Hele-Shaw cell
\cite{1996Almgren_Andrea_Brenner, 1994Bertozzi_Brenner_Dupont_Kadanoff,
1993Constantin_Dupont_Goldstein_Kadanoff_Shelley_Zhou,
1993Dupont_Goldstein_Kadanoff_Zhou, 1993Shelley_Goldstein_Pesci};
when $n=m=3$ it describes fluid droplets hanging from a ceiling
\cite{1994Ehrhard}; when $n=0$ and $m=1$, it is a modified
Kuramoto-Sivashinsky equation which describes solidification of a hyper-cooled
melt\cite{1995Bernoff_Bertozzi,2000Bertozzi_Pugh}, and when $n=3$,
$m=-1$, it models van der Waals force driven thin film
\cite{2010Jiang_Chen,2010Jiang_CPAA,1982Williams_Davis,
1999Witelski_Bernoff, 1999Zhang_Lister}.

Many mathematically rigorous works have been done when the space dimension is
one. Laugesen and Pugh \cite{MR1844589} considered positive periodic
steady states and touchdown steady states in a more general setting. The
dynamics of a special type of thin film equation has been investigated by 
Bernis and  Friedman \cite{1990BF}. They established the existence of weak
solutions and showed that the support of the thin film will expand with time.
On the other hand, when the space dimension is two, the physically realistic
dimension, the dynamics of \eqref{Equation dynamics}  is not
well understood. Naturally, we start with its steady state. When $n-m\neq1$,
let
\[
p=-\frac{1}{m-n+1}u^{m-n+1}-\Delta u,
\]
which can be viewed as the pressure of the fluid. We can rewrite 
\eqref{Equation dynamics} as
\[
u_{t}=\nabla(u^{n}\nabla p)  .
\]


Now let $\Omega\subset R^2$ be the bottom of a cylindrical container
occupied by the thin film fluid, we assume that there is no flux across the
boundary, which yields the boundary condition
\begin{equation}
\frac{\partial p}{\partial\nu}=0\quad \text{on }\partial\Omega.
\label{Equation no flux}
\end{equation}
We also ignore the wetting or non-wetting effect, and assume that the fluid
surface is perpendicular to the boundary of the container, i.e.,
\begin{equation}
\frac{\partial h}{\partial\nu}=0\quad \text{on }\partial\Omega.
\label{Equation nonwetting}
\end{equation}


Whenever $m-n\neq-1$ or $-2$, we can associate 
\eqref{Equation dynamics}) with the energy
\[
E(u)  =\int_{\Omega}(\frac{1}{2}| \nabla
u| ^2-\frac{1}{(m-n+1)  (m-n+2)}u^{m-n+2})  ,
\]
and formally, using \eqref{Equation no flux}  ,
\eqref{Equation nonwetting}), we have
\[
\frac{d}{dt}E(u)  =-\int_{\Omega}u^{n}| \nabla p| ^2.
\]
Hence, for a thin film fluid at rest, $p$ has to be a constant, and $u$
satisfies
\[
-\Delta u-\frac{1}{m-n+1}u^{m-n+1}=p\quad \text{in }\Omega,
\]
which is an elliptic equation.

If we further assume $m-n+1<-1$, which includes the van der Waals force case.
We can write the equation as
\begin{equation}
\Delta u=\frac{1}{\alpha}u^{-\alpha}-p\quad \text{in }\Omega,
\label{Equation van}
\end{equation}
where $p$ is an unknown constant and
\[
\alpha=-(m-n+1)  >1\text{.}
\]
For van der Waals force driven thin film, $\alpha=3$.

Hence, \eqref{equation main} can be viewed as a
generalization of the stationary thin film equation with van der Waals force.

The rupture set $\Sigma=\{  x\in\Omega:u(x)  =0\}  $
corresponds to ``dry spots'' in the thin films, which is of great significance
in the coatings industry where nonuniformities are very undesirable. In a
joint work of  Lin and the first author, an estimate on the Hausdorff
dimension of the rupture set to \eqref{Equation van}  was
obtained using geometric measure theory, under the assumption that the total
energy is finite \cite{2004Jiang_Lin2} and such estimate seems the first
estimate for such problems.

We conjecture that the ruptures are discrete for finite energy solutions, and
we expect that the radial point rupture solutions will serve as the blow up
profile of the solution near any point rupture. The main purpose of this paper
is on the existence of radial point rupture solution. And we are only
interested in the local solutions in a neighborhood of the point rupture.
Since the equation has no singularity away from the rupture, the possible
extension of point rupture solution to a global solution could be carried out
using similar arguments in \cite{0002Jiang_Ni} where the case
 $f(u)  =u^{-\alpha}-1$, $\alpha>1$, is completely studied.

Now we state our main result.

\begin{theorem} \label{thm1}
Let $\sigma^{\ast}>0$ and $f$ be a continuous, monotone decreasing positive
function on $(0,\sigma^{\ast}]  $ such that
\[
\lim_{v\to 0^{+}}f(v)  =\infty.
\]
Let
\begin{equation}
G(v)  =\int_0^{v}\frac{1}{f(s)  }ds.
\label{Definition G}
\end{equation}
Assume in addition that
\begin{equation}
\frac{v}{f(v)  G(v)  }\in L^{1}[0,\sigma^{\ast}]  . \label{Technical assumption}
\end{equation}
Then there exists $r^{\ast}>0$ and a radial point rupture solution 
$u_0$ to \eqref{equation main} in $B_{r^{\ast}}(0)$
such that $u_0=u_0(r)  $ is continuous on $[  0,r^{\ast}]  $,
\[
u_0(0)  =0, \quad
u_0(r)  >0\text{ for any }r\in(0,r^{\ast}]  ,
\]
and $u$ is a weak solution to \eqref{equation main} in
$B_{r^{\ast}}(0)  $. Moreover, $u_0$ is monotone increasing and
\[
G^{-1}\big(\frac{1}{4}r^2\big)  \leq u_0(r)  \leq
\int_0^{G^{-1}(r^2/4) }\frac{v}{f(v)
G(v)  }dv\quad \text{for any }r\in [  0,r^{\ast}]  .
\]
\end{theorem}

\begin{remark} \label{rmk1} \rm
Here the technical assumption \eqref{Technical assumption} is
not very strong, for example, if $f(v)  =v^{-\alpha}$, for some
$\alpha>0$, we would have
\[
\frac{v}{f(v)  G(v)  }=\frac{v}{v^{-\alpha}(
\frac{1}{1+\alpha}v^{1+\alpha})  }=1+\alpha\in L^{1}[
0,\sigma^{\ast}]  .
\]
Such assumption also holds for some singularity of exponential growth, for
example, if
\[
f(v)  =v^{p+1}e^{1/v^p},\quad 0<p<1,
\]
we have
\[
\frac{v}{f(v)  G(v)  }=\frac{p}{v^{p}}\in
L^{1}[  0,\sigma^{\ast}]  .
\]
\end{remark}

\begin{remark} \label{rmk2} \rm
The assumption that $f$ is monotone decreasing can be replaced by the
assumption that $f$ is a product of a monotone deceasing function and a
bounded positive function.
\end{remark}

Such result is a generalization of the existence result obtained 
by the first author and  Ni in \cite{0002Jiang_Ni} for
 $f(v)  =\frac {1}{\alpha}v^{-\alpha}-1$ with $\alpha>1$ 
where uniqueness of the radial
rupture solution is also established. In space dimension $N\geq3$, the
existence result has also been obtained by  Guo,  Ye and 
Zhou\cite{MR2398987}, where the technical assumption 
\eqref{Technical assumption}) is not needed.

\section{Proof of main results}

For any $\sigma\in(0,\sigma^{\ast})  $, we use $u_{\sigma}$ to
denote the unique solution to the initial value problem
\begin{equation}
\begin{gathered}
u_{rr}+\frac{1}{r}u_{r}=f(u)  ,\\
u(0)  =\sigma,\quad u'(0)  =0.
\end{gathered}  \label{Equation IVP}
\end{equation}


\begin{lemma} \label{lem1}
There exists $r_{\sigma}>0$ such that $u_{\sigma}$ is defined on
 $[0,r_{\sigma}]  $ with $u_{\sigma}(r_{\sigma})=\sigma^{\ast}$. 
Moreover, $u_{\sigma}'(r)  >0$ on $(0,r_{\sigma}]  $ and
\begin{equation}
G^{-1}\big(\frac{1}{4}r^2\big)  \leq u_{\sigma}(r)
\leq\sigma+\int_0^{G^{-1}(r^2/4)  }\frac{v}{f(
v)  G(v)  }dv\quad \text{on }[  0,r_{\sigma}]  .
\label{Equation bounds for u-sigma}
\end{equation}
\end{lemma}

\begin{proof}
For simplicity, we suppress the $\sigma$ subscript in this proof. We write
\[
u_{rr}+\frac{1}{r}u_{r}=f(u)
\]
in the form of $(ru_{r})  _{r}=rf(u)  \geq0$,
so we have
\[
ru_{r}=\int_0^{r}sf(u(s)  )  ds\geq0.
\]
In particular, $u$ is monotone increasing and $u$ can be extended whenever
$f(u)  $ is defined and bounded. Hence, there exists 
$r_{\sigma }>0$ such that $u_{\sigma}$ is defined on 
$[  0,r_{\sigma}]  $ with
$u_{\sigma}(r_{\sigma})  =\sigma^{\ast}$. Since $u$ is monotone
increasing and $f$ is monotone decreasing, we have
\[
ru_{r}=\int_0^{r}sf(u(s)  )  ds\geq f(u(r)  )
\int_0^{r}sds=\frac{1}{2}r^2f(u(r)  )  ,
\]
hence,
\[
\frac{u_{r}}{f(u)  }\geq\frac{1}{2}r.
\]
Integrating again, we have
\[
G(u(r)  )  \geq G(\sigma)  +\frac{1}{4}r^2\geq\frac{1}{4}r^2.
\]
Since $G$ is strictly monotone increasing, we have
\[
u(r)  \geq G^{-1}\big(\frac{1}{4}r^2\big)  .
\]
On the other hand,
\[
ru_{r}=\int_0^{r}sf(u(s)  )  ds\leq\int_0
^{r}f(G^{-1}(\frac{1}{4}s^2)  )  sds.
\]
Let $v=G^{-1}(\frac{1}{4}s^2)  $, we have $G(v)
=\frac{1}{4}s^2$, and
\[
\frac{1}{f(v)  }dv=\frac{1}{2}sds.
\]
Hence,
\[
\int_0^{r}f(G^{-1}(\frac{1}{4}s^2)  )s\,ds
=\int_0^{G^{-1}(r^2/4)  }2dv=2G^{-1}(\frac{1}{4}r^2)  .
\]
Hence,
\[
u_{r}\leq\frac{2}{r}G^{-1}\big(\frac{1}{4}r^2\big)
\]
which yields
\begin{align*}
u(r)   
&  \leq\sigma+\int_0^{r}\frac{2}{s}G^{-1}(
\frac{1}{4}s^2)  ds\\
&  =\sigma+\int_0^{G^{-1}\big(\frac{1}{4}r^2\big)  }\frac{v}{f(
v)  G(v)  }dv.
\end{align*}
\end{proof}

The bounds on $u_{\sigma}$ imply the following result.

\begin{corollary}\label{coro1}
There exists $r^{\ast}>0$ such that for any 
$\sigma\in(0,\frac {\sigma^{\ast}}{2}]  $,
\[
r_{\sigma}\geq r^{\ast}.
\]
We can take
\[
r^{\ast}=2\sqrt{G(H^{-1}(\frac{\sigma^{\ast}}{2}))  },
\]
where
\[
H(u)  =\int_0^{u}\frac{v}{f(v)  G(v)}dv.
\]
\end{corollary}

\begin{proof}
For any $\sigma\in(0,\sigma^{\ast}/2]  $,
\begin{align*}
\sigma^{\ast}  
&  =u_{\sigma}(r_{\sigma})  \leq\sigma+\int
_0^{G^{-1}(\frac{1}{4}r_{\sigma}^2)  }\frac{v}{f(
v)  G(v)  }dv\\
&  \leq\frac{\sigma^{\ast}}{2}+\int_0^{G^{-1}(\frac{1}{4}r_{\sigma
}^2)  }\frac{v}{f(v)  G(v)  }dv.
\end{align*}
Hence,
\[
\int_0^{G^{-1}(\frac{1}{4}r_{\sigma}^2)  }\frac{v}{f(
v)  G(v)  }dv\geq\frac{\sigma^{\ast}}{2}.
\]
Since $\frac{v}{f(v)  G(v)  }$ is integrable, the
function
\[
H(u)  =\int_0^{u}\frac{v}{f(v)  G(v)
}dv
\]
is strictly monotone increasing, so
\[
H\Big(G^{-1}\big(\frac{1}{4}r_{\sigma}^2\big)  \Big)  \geq
\frac{\sigma^{\ast}}{2}
\]
implies
\[
r_{\sigma}\geq2\sqrt{G\Big(H^{-1}\big(\frac{\sigma^{\ast}}{2}\big)\Big)  }.
\]
\end{proof}

The point rupture solution can be constructed as the limit of $u_{\sigma}$ as
$\sigma\to 0$.

\begin{proposition}\label{prop1}
There exists a sequence $\{ \sigma_{k}\}
_{k=1}^{\infty}\subset(0,\frac{\sigma^{\ast}}{2}]  $ satisfying
$\lim_{k\to \infty}\sigma_{k}=0$, such that $u_{\sigma_{k}}\to
u_0$ uniformly in $\overline{B_{r^{\ast}}(0)  }$ as
$k\to \infty$, for some function $u_0\in C^{0}(\overline
{B_{r^{\ast}}(0)  })  \cap C^2(\overline
{B_{r^{\ast}}(0)  }\backslash\{  0\}  )  $.
Moreover, $u_0$ is a classical solution to \eqref{equation main}
   in $B_{r^{\ast}}(0)  \backslash\{  0\}  $
and
\[
G^{-1}\big(\frac{1}{4}r^2\big)  \leq u_0(r)  \leq
\int_0^{G^{-1}\big(\frac{1}{4}r^2\big)  }\frac{v}{f(v)
G(v)  }dv\text{ on }[  0,r^{\ast}]  .
\]
\end{proposition}

\begin{proof}
For any $\varepsilon>0$, $u_{\sigma}$, 
$\sigma\in(0,\sigma^{\ast}/2]  $ is a family of uniformly bounded 
classical solutions to
\[
\Delta u=f(u)  \text{ in }\overline{B_{r^{\ast}}(0)
}\backslash B_{\varepsilon}(0)  ,
\]
hence by a diagonal argument, there exists a sequence 
$\{  \sigma_{k}\}  _{k=1}^{\infty}\subset(0,\frac{\sigma^{\ast}}{2}]
$ satisfying $\lim_{k\to \infty}\sigma_{k}=0$, such that $u_{\sigma
_{k}}\to  u_0$ locally uniformly in $\overline{B_{r^{\ast}}(
0)  }\backslash\{  0\}  $ as $k\to \infty$. Now
\eqref{Equation bounds for u-sigma} implies
\[
G^{-1}\big(\frac{1}{4}r^2\big)  \leq u_0(r)  \leq
\int_0^{G^{-1}\big(\frac{1}{4}r^2\big)  }\frac{v}{f(v)
G(v)  }dv\text{ on }[  0,r^{\ast}]  .
\]
Since
\[
\lim_{r\to 0}\int_0^{G^{-1}(r^2/4)  }\frac{v}{f(v)  G(v)  }dv=0,
\]
it is not difficulty to see, from the bounds of $u_{\sigma}$ and $u_0$,
that $u_{\sigma_{k}}\to  u_0$ uniformly in
$\overline{B_{r^{\ast}}(0)  }$ as $k\to \infty$.
\end{proof}

\begin{remark} \label{rmk3} \rm
The above limit should be independent of the choice of 
$\{  \sigma_{k}\}  _{k=1}^{\infty}$. Actually, we expect that 
$u_{\sigma}\to  u_0$ uniformly on $[  0,r^{\ast}]  $ as
$\sigma\to 0$. Unfortunately, we are unable to provide a proof here.
\end{remark}

To show that $u_0$ is a weak solution. We need the following lemma.

\begin{lemma} \label{lem2}
\begin{equation}
\lim_{r\to 0^{+}}ru_0'(r)  =0.
\label{Lemma limit zero}
\end{equation}
\end{lemma}

\begin{proof}
For any $r\in(0,r^{\ast})  $, we have
\[
(ru_0'(r)  )  '=rf(u_0)  >0.
\]
Hence, $ru_0'(r)  $ is monotone increasing in $(0,r^{\ast})  $.
Since $ru_0'(r)  \geq0$ in
$(0,r^{\ast})  $,
\[
\beta=\lim_{r\to 0^{+}}ru_0'(r)  \geq0
\]
is well defined. If $\beta>0$, we have for $r$ sufficiently small, say
$r\in(0,\tilde{r}]  $,
\[
ru_0'(r)  \geq\frac{\beta}{2}
\]
hence, for any $r\in(0,\tilde{r}]  $,
\[
u_0(r)  =u_0(\tilde{r})  -\int_{r}^{\tilde{r}}u_0'(r)  dr
\leq u_0(\tilde{r}) -\int_{r}^{\tilde{r}}\frac{\beta}{2r}dr.
\]
which contradicts to the fact that $u_0$ is continuous at $0$ if we let
$r\to 0^{+}$. Hence $\beta=0$ and \eqref{Lemma limit zero} holds.
\end{proof}

\begin{proposition}\label{prop2}
$f(u_0)  \in L^{1}(B_{r^{\ast}}(0)  )  $ and $u_0$ is a weak solution to 
\eqref{equation main}) in $B_{r^{\ast}}(0)  $.
\end{proposition}

\begin{proof}
For any test function $\varphi\in C_{c}^{\infty}(B_{r^{\ast}}(
0)  )  $, we have
\begin{align*}
&  \int_{B_{r^{\ast}}(0)  }u_0\Delta\varphi dx\\
&=\lim
_{\varepsilon\to 0^{+}}\int_{B_{r^{\ast}}(0)
\backslash\overline{B_{\varepsilon}(0)  }}u_0\Delta\varphi dx\\
&=   \lim_{\varepsilon\to 0^{+}}\Big(\int_{B_{r^{\ast}}(
0)  \backslash\overline{B_{\varepsilon}(0)  }}\Delta
u_0\varphi dx
-\int_{\partial B_{\varepsilon}(0)  }\Big(
u_0\frac{\partial\varphi}{\partial n}-\varphi\frac{\partial u_0}{\partial
n}\Big)  ds_{x}\Big) \\
&=   \lim_{\varepsilon\to 0^{+}}\Big(\int_{B_{r^{\ast}}(
0)  \backslash\overline{B_{\varepsilon}(0)  }}f(
u_0)  \varphi dx
-\int_{\partial B_{\varepsilon}(0)}u_0\frac{\partial\varphi}{\partial n}ds_{x}
+\int_{\partial B_{\varepsilon}(0)  }\varphi
 \frac{\partial u_0}{\partial n}ds_{x}\Big)  .
\end{align*}
Now for any $\varepsilon\in(0,r^{\ast})  $, since 
$u_0(\varepsilon)  \leq u_0(r^{\ast})  \leq\delta^{\ast}$, we
have
\begin{align*}
\big| \int_{\partial B_{\varepsilon}(0)  }u_0
\frac{\partial\varphi}{\partial n}ds_{x}\big| 
 &  \leq u_0( \varepsilon)  \| \nabla\varphi\| _{L^{\infty}(
B_{r^{\ast}}(0)  )  }| \partial B_{\varepsilon
}(0)  | \\
&  \leq2 \pi\varepsilon u_0(\varepsilon)  \|
\nabla\varphi\| _{L^{\infty}(B_{r^{\ast}}(0)
)  }\to 0
\end{align*}
as $\varepsilon\to 0^{+}$. On the other hand, 
\eqref{Lemma limit zero})  implies that
\[
\big| \int_{\partial B_{\varepsilon}(0)  }\varphi
\frac{\partial u_0}{\partial n}ds_{x}\big| 
\leq2\pi\varepsilon u_0'(\varepsilon)  \| \varphi\|
_{L^{\infty}(B_{r^{\ast}}(0)  )  }\to 0
\]
as $\varepsilon\to 0^{+}$. Hence, we have for any $\varphi\in
C_{c}^{\infty}(B_{r^{\ast}}(0)  )  $,
\[
\int_{B_{r^{\ast}}(0)  }u_0\Delta\varphi dx=\lim_{\varepsilon
\to 0^{+}}\int_{B_{r^{\ast}}(0)  \backslash\overline
{B_{\varepsilon}(0)  }}f(u_0)  \varphi dx.
\]
Choosing $\varphi$ such that $\varphi\equiv1$ near the origin, the above limit
implies that $f(u_0)  $ is integrable near the origin. Since
$f(u_0)  $ is a positive continuous function in $B_{r^{\ast}
}(0)  \backslash\{  0\}  $, we conclude $f(
u_0)  \in L^{1}(B_{r^{\ast}}(0)  )  $. So we
have for any test function 
$\varphi\in C_{c}^{\infty}(B_{r^{\ast} }(0)  )  $,
\[
\int_{B_{r^{\ast}}(0)  }u_0\Delta\varphi dx=\lim_{\varepsilon
\to 0^{+}}\int_{B_{r^{\ast}}(0)  \backslash\overline
{B_{\varepsilon}(0)  }}f(u_0)  \varphi
dx=\int_{B_{r^{\ast}}(0)  }f(u_0)  \varphi dx;
\]
i.e., $u_0$ is a weak solution to \eqref{equation main}   in
$B_{r^{\ast}}(0)  $.
\end{proof}

The main theorem is a combination of Proposition \ref{prop1} and Proposition
\ref{prop2}.

\begin{thebibliography}{99}


\bibitem {1996Almgren_Andrea_Brenner}
Robert Almgren, Andrea Bertozzi, Michael P. Brenner.
 \newblock Stable and unstable singularities in the
unforced {H}ele-{S}haw cell. \newblock {\em Phys. Fluids}, 8(6):1356--1370, 1996.

\bibitem {1990BF} Francisco Bernis and Avner Friedman. 
\newblock  Higher order
nonlinear degenerate parabolic equations.
\newblock {\em J. Differential Equations}, 83(1):179--206, 1990.

\bibitem {1995Bernoff_Bertozzi}Andrew J. Bernoff, Andrea L. Bertozzi.
\newblock Singularities in a modified {K}uramoto-{S}ivashinsky equation
describing interface motion for phase transition. \newblock {\em Phys. D},
85(3):375--404, 1995.

\bibitem {2000Bertozzi_Pugh} A.~L. Bertozzi,  M.~C. Pugh.
\newblock Finite-time blow-up of solutions of some long-wave unstable thin
film equations. \newblock {\em Indiana Univ. Math. J.}, 49(4):1323--1366, 2000.

\bibitem {1994Bertozzi_Brenner_Dupont_Kadanoff} 
Andrea L. Bertozzi,  Michael P. Brenner, Todd F. Dupont,  Leo P. Kadanoff. 
\newblock Singularities and
similarities in interface flows. \newblock In \emph{Trends and perspectives in
applied mathematics}, volume 100 of \emph{Appl. Math. Sci.}, pages 155--208.
Springer, New York, 1994.

\bibitem {2010Jiang_Chen} Xinfu Chen, Huiqiang Jiang. 
\newblock Singular
limit of an energy minimizer arising from dewetting thin film model with van
der waal, born repulsion and surface tension forces.
\newblock {\em Calc. Var. Partial Differential Equations}, 44(1-2):221--246, 2012.

\bibitem {1993Constantin_Dupont_Goldstein_Kadanoff_Shelley_Zhou}
 Peter Constantin, Todd F. Dupont, Raymond E. Goldstein, Leo P. Kadanoff, 
Michael J. Shelley, Su-Min Zhou. 
\newblock Droplet breakup in a model of the
{H}ele-{S}haw cell. \newblock {\em Phys. Rev. E (3)}, 47(6):4169--4181, 1993.

\bibitem {1993Dupont_Goldstein_Kadanoff_Zhou}
Todd F. Dupont, Raymond E. Goldstein, Leo P. Kadanoff,  Su-Min Zhou.
 \newblock Finite-time singularity
formation in {H}ele-{S}haw systems. \newblock {\em Phys. Rev. E (3)},
47(6):4182--4196, 1993.

\bibitem {1994Ehrhard} P. Ehrhard. 
\newblock The spreading of hanging drops.
\newblock {\em J. Colloid \& Interface}, 168(1):242--246, 1994.

\bibitem {MR2398987} Zongming Guo, Dong Ye,  Feng Zhou. 
\newblock Existence
of singular positive solutions for some semilinear elliptic equations.
\newblock {\em Pacific J. Math.}, 236(1):57--71, 2008.

\bibitem {2010Jiang_CPAA} Huiqiang Jiang.
 \newblock Energy minimizers of a thin
film equation with {B}orn repulsion force.
\newblock {\em Commun. Pure Appl. Anal.}, 10(2):803--815, 2011.

\bibitem {2004Jiang_Lin2} Huiqiang Jiang, Fanghua Lin. 
\newblock Zero set of
soblev functions with negative power of integrability.
\newblock {\em Chinese Ann. Math. Ser. B}, 25(1):65--72, 2004.

\bibitem {0002Jiang_Ni} Huiqiang Jiang, Wei-Ming Ni. 
\newblock On steady
states of van der {W}aals force driven thin film equations.
\newblock {\em European J. Appl. Math.}, 18(2):153--180, 2007.

\bibitem {MR1844589} R. S. Laugesen, M. C. Pugh.
 \newblock Properties of steady states for thin film equations.
\newblock {\em European J. Appl. Math.}, 11(3):293--351, 2000.

\bibitem {1993Shelley_Goldstein_Pesci}Michael
J. Shelley, Raymond E. Goldstein,  Adriana~I. Pesci. 
\newblock Topological transitions in
{H}ele-{S}haw flow. \newblock In \emph{Singularities in fluids, plasmas and
optics (Heraklion, 1992)}, volume 404 of \emph{NATO Adv. Sci. Inst. Ser. C
Math. Phys. Sci.}, pages 167--188. Kluwer Acad. Publ., Dordrecht, 1993.

\bibitem {1982Williams_Davis} B. Williams, S.~H. Davis.
\newblock Nonlinear theory of film rupture. 
\newblock {\em J. Colloid Interface Sci.},
90:220--228, 1982.

\bibitem {1999Witelski_Bernoff} Thomas P. Witelski, Andrew J. Bernoff.
\newblock Stability of self-similar solutions for van der {W}aals driven thin
film rupture. \newblock {\em Phys. Fluids}, 11(9):2443--2445, 1999.

\bibitem {1999Zhang_Lister} Wendy W. Zhang, John R. Lister.
\newblock Similarity solutions for van der {W}aals rupture of a thin film on a
solid substrate. \newblock {\em Phys. Fluids}, 11(9):2454--2462, 1999.

\end{thebibliography}


\end{document}
