\documentclass[reqno]{amsart} \usepackage{hyperref} \AtBeginDocument{{\noindent\small \emph{Electronic Journal of Differential Equations}, Vol. 2008(2008), No. 132, pp. 1--10.\newline ISSN: 1072-6691. URL: http://ejde.math.txstate.edu or http://ejde.math.unt.edu \newline ftp ejde.math.txstate.edu (login: ftp)} \thanks{\copyright 2008 Texas State University - San Marcos.} \vspace{9mm}} \begin{document} \title[\hfilneg EJDE-2008/132\hfil Large time behavior in parabolic problems] {Large time behavior for solutions of nonlinear parabolic problems with sign-changing \\ measure data} \author[F. Petitta\hfil EJDE-2008/132\hfilneg] {Francesco Petitta} \address{Francesco Petitta \newline CMA, University of Oslo, P.O. Box 1053 Blindern, NO-0316 Oslo, Norway} \email{francesco.petitta@cma.uio.no} \thanks{Submitted June 13, 2008. Published September 23, 2008.} \subjclass[2000]{35B40, 35K55} \keywords{Asymptotic behavior; nonlinear parabolic equations; measure data} \begin{abstract} Let $\Omega\subseteq \mathbb{R}^N$ a bounded open set, $N\geq 2$, and let $p>1$; in this paper we study the asymptotic behavior with respect to the time variable $t$ of the entropy solution of nonlinear parabolic problems whose model is \begin{gather*} u_{t}(x,t)-\Delta_{p} u(x,t)=\mu \quad \text{in } \Omega\times(0,\infty),\\ u(x,0)=u_{0}(x) \quad \text{in } \Omega, \end{gather*} where $u_0 \in L^{1}(\Omega)$, and $\mu\in \mathcal{M}_{0}(Q)$ is a measure with bounded variation over $Q=\Omega\times(0,\infty)$ which does not charge the sets of zero $p$-capacity; moreover we consider $\mu$ that does not depend on time. In particular, we prove that solutions of such problems converge to stationary solutions. \end{abstract} \maketitle \numberwithin{equation}{section} \newtheorem{theorem}{Theorem}[section] \newtheorem{lemma}[theorem]{Lemma} \newtheorem{definition}[theorem]{Definition} \newtheorem{remark}[theorem]{Remark} \section{Introduction} A large number of papers was devoted to the study of asymptotic behavior for solution of parabolic problems under various assumptions and in different contexts: for a review on classical results see \cite{f,a,sp}, and references therein. More recently in \cite{g} the same problem was studied for bounded data and a class of operators rather different to the one we will discuss. Moreover, in \cite{lp} and \cite{pet} it was used an approach similar to our one, to face, respectively, the quasilinear case with natural growth terms of the type $g(u)|\nabla u|^2$ and the linear case with general measure data. While the same problem was studied in \cite{pe1} for nonnegative data. Here we want to generalize this result to changing sign measure data. Let $a:\Omega\times \mathbb{R}^N\to\mathbb{R}^N$ be a Carath\'eodory function (i.e. $a(\cdot,\xi)$ is measurable on $\Omega$, for all $\xi\in\mathbb{R}^N$, and $a(x,\cdot)$ is continuous on $\mathbb{R}^N$ for a.e. $x\in\Omega$) such that the following holds: \begin{gather} \label{1a1} a(x,\xi)\cdot\xi\geq\alpha|\xi|^{p}, \\ \label{2} |a(x,\xi)|\leq\beta[b(x)+|\xi|^{p-1}], \\ \label{3} (a(x,\xi)-a(x,\eta))\cdot(\xi-\eta)>0, \end{gather} for almost every $x\in\Omega$, for all $\xi,\ \eta\in\mathbb{R}^N$ with $\xi\neq\eta$, where $p>1$ and $\alpha,\ \beta$ are positive constants and $b$ is a nonnegative function in $L^{p'}(\Omega)$. For every $u\in W^{1,p}_0(\Omega)$, let us define the differential operator \[ A(u)=-\mathop{\rm div}(a(x,\nabla u)), \] that, thanks to the assumptions on $a$, turns out to be a coercive monotone operator acting from the space $W^{1,p}_0(\Omega)$ into its dual $W^{-1,p'}(\Omega)$. We shall deal with the solutions of the initial boundary-value problem \begin{equation}\label{nh} \begin{gathered} u_{t}+A(u)=\mu \quad \text{in } \Omega\times(0,\infty), \\ u(x,0)=u_0 (x) \quad \text{in } \Omega,\\ u(x,t)=0 \quad \text{on } \partial\Omega\times(0,\infty), \end{gathered} \end{equation} where $\mu$ is a measure with bounded variation over $Q=\Omega\times(0,\infty)$ that does not depend on time, and $u_0 \in L^1(\Omega)$. Let us fix $T>0$. If $\mu\in L^{p'}(0,T;W^{-1,p'}(\Omega))$, it is well known that problem \eqref{nh} has a unique variational solution in $Q_T=\Omega\times (0,T)$ such that $u\in L^{p}(0,T;W^{1,p}_0(\Omega))\cap C([0,T];L^{2}(\Omega))$ and $u_{t}\in L^{p'}(0,T;W^{-1,p'}(\Omega))$, that is \begin{align*} &\int_{0}^{T}\langle u_{t},\varphi \rangle_{W^{-1,p'}(\Omega),W^{1,p}_0(\Omega)}\,dt +\int_{Q_T} a(x,\nabla u)\cdot\nabla \varphi\,dx\,dt\\ &=\int_{0}^{T}\langle \mu ,\varphi\rangle_{W^{-1,p'}(\Omega),W^{1,p}_0(\Omega)}\,dt, \end{align*} for all $\varphi\in L^{p}(0,T;W^{1,p}_0(\Omega))$ (see \cite{l} for the case $p\geq 2$ and \cite{lm} for $10$, and it holds \begin{equation}\label{vare} \int_{\Omega} a(x,\nabla v)\cdot\nabla T_{k}(v-\varphi)\,dx\leq\int_{\Omega} T_{k}(v-\varphi)\,d\mu, \end{equation} for all $\varphi\in W^{1,p}_0(\Omega)\cap L^{\infty}(\Omega)$, for all $k>0$ An analogous definition will be given in the parabolic case following \cite{p}. To our aim, it suffices to give the definition in the the case of measures which do not depend on time. \begin{definition} \label{def1.1} \rm Let $k>0$ and define \[ \Theta_{k}(z)=\int_{0}^{z}T_{k}(s)\,ds, \] as the primitive function of the truncation function; let $\mu\in \mathcal{M}_{0}(Q)$ be independent of $t$, and $u_{0}\in L^{1}(\Omega)$. We say that $u(x,t)\in C([0,\infty);L^{1}(\Omega))$ is an \emph{entropy solution} of the problem \begin{equation}\label{baseu0} \begin{gathered} u_{t}+A(u)=\mu \quad \text{in }\Omega\times(0,\infty), \\ u(x,0)=u_{0}(x) \quad \text{in }\Omega, \\ u(x,t)=0, \quad \text{on } \partial\Omega\times(0,\infty), \end{gathered} \end{equation} if, for all $k, T >0$, we have that \- $T_{k}(u)\in L^{p}(0,T;W^{1,p}_0(\Omega)) $, and it holds \begin{equation}\label{varp} \begin{aligned} &\int_{\Omega}\Theta_{k}(u-\varphi)(T)\,dx -\int_{\Omega}\Theta_{k}(u_{0}-\varphi(0))\,dx \\ &+\int_{0}^{T}\langle \varphi_{t},T_{k}(u-\varphi)\rangle_{W^{-1,p'}(\Omega),W^{1,p}_0(\Omega)}\,dt + \int_{Q_T} a(x,\nabla u)\cdot\nabla T_{k}(u-\varphi)\,dx\,dt\\ &\leq\int_{Q_T} T_{k}(u-\varphi)\,d\mu, \end{aligned} \end{equation} for any $\varphi\in L^{p}(0,T;W^{1,p}_0(\Omega)) \cap L^{\infty}(Q_T)\cap C([0,T];L^{1}(\Omega))$ with $\varphi_{t}$ in the space $L^{p'}(0,T;W^{-1,p'}(\Omega))$. \end{definition} \begin{remark} \label{rmk1.2} \rm The entropy solution $u$ of the problem (\ref{baseu0}) exists and is unique as shown in \cite{p} for $L^{1}$ data; this result was improved in many papers for more general measure data. In \cite{po} it was proved via the notion of \emph{renormalized solution} which turns out to be equivalent to the one of entropy solution with this kind of data (see \cite{dpr}). Moreover, the solution $u$ is such that $|a(x,\nabla u)|\in L^{q}(Q_T)$ for all $ q<1+\frac{1}{(N+1)(p-1)}$, $T>0$, even if its approximated gradient may not belong to any Lebesgue space. Let us finally remark that the continuity of the entropy solution with values in $ L^1(\Omega)$, which is false in general for measure data (see \cite{ppp}), turns out to hold true in our framework since the measure $\mu$ is supposed to be independent of $t$ (see \cite{pe1}). \end{remark} Our main result reads as follows. \begin{theorem}\label{mainnh} Let $\mu\in \mathcal{M}_0(Q)$ be independent of the variable $t$, $p>\frac{2N+1}{N+1}$, $u_{0}\in L^{1}(\Omega)$ be a function; let $u(x,t)$ be the entropy solution of problem \eqref{nh}, and $v$ the entropy solution of the corresponding elliptic problem \eqref{e}. Then \[ \lim_{t\to +\infty} u(x,t)=v(x), % ci lascio t e non T...va bene? anche negli altri 2 enunciati \] in $L^{1}(\Omega)$. \end{theorem} \section{Proof of main result} Before passing to the proof of our main result let us state some interesting results about the entropy solution $v$ of the elliptic problem \eqref{e}. According to \cite{bbggpv} (see also \cite{bgo}) we have that $v$ is in the Marcinkiewicz space $M^{\frac{N(p-1)}{N-p}}(\Omega)$ that implies $v\in L^q(\Omega)$ fon any $q< \frac{N(p-1)}{N-p} $; hence, if $p>\frac{2N}{N+1}$, we have $v\in C(0,\infty;L^1(\Omega))$. So let us suppose $p>\frac{2N}{N+1}$ and let us observe that such a solution actually turns out to be an entropy solution of the initial boundary-value problem (\ref{baseu0}) with initial datum $u_{0}(x)=v(x)$, since, for all $T>0$, we have \begin{align*} &\int_{\Omega}\Theta_{k}(v-\varphi)(T)\,dx -\int_{\Omega}\Theta_{k}(v-\varphi)(0)\,dx \\ &=\int_{Q_T}\frac{d}{dt}\Theta_{k}(v-\varphi)\,dx\,dt=\int_{0}^{T} \langle (v-\varphi)_{t}, T_{k}(v-\varphi)\rangle_{W^{-1,p'}(\Omega),W^{1,p}_0(\Omega)}\,dt\\ &=-\int_{0}^{T}\langle \varphi_{t},T_{k}(v-\varphi)\rangle_{W^{-1,p'}(\Omega),W^{1,p}_0(\Omega)}\,dt \end{align*} that can be cancelled out with the analogous term in \eqref{varp} getting the right formulation (\ref{vare}) for $v$. For technical reasons we shall use the stronger assumption \begin{equation}\label{ass} p>\frac{2N+1}{N+1} \end{equation} throughout this note; notice that, according to \cite{bdgo} (see also \cite{dpp}), in this case a solution $u$ of problem \eqref{nh} belongs to $L^r (0,T; W_{0}^{1,r})$ for any $r0$. Observe that $p-\frac{N}{N+1}>1$ if and only if \eqref{ass} holds true; hence, in this case, the gradient of the entropy solution $u$ (that coincides with the distributional one) actually belong $L^{1}(Q_T)$, for any $T>0$. Moreover, this is the same assumption used in \cite{p} since it allows, for instance, to get continuity of the solution with values in $L^1(\Omega)$ directly by using the trace result of \cite{po}. Most part of our work will rely on comparison between suitable entropy subsolutions and supersolutions of problem \eqref{nh}. The notion of entropy subsolution and supersolution for the parabolic problem has been given as a natural extension of the one for the elliptic case (see for instance \cite{pa}) in \cite{pe1}. Let us recall it. \begin{definition}\label{sub} \rm A function $\underline{u}(x,t)\in C([0,\infty);L^{1}(\Omega))$ is an \emph{entropy subsolution} of problem \eqref{nh} if, for all $k, T>0$, we have that $T_{k}(\underline{u})\in L^{p}(0,T;W^{1,p}_0(\Omega)) $, and holds \begin{align*} &\int_{\Omega}\Theta_{k}((\underline{u}-\varphi)^{+})(T)\,dx -\int_{\Omega}\Theta_{k}((\underline{u}_{0}-\varphi(0))^{+})\,dx \\ &+\int_{0}^{T}\langle \varphi_{t},T_{k}(\underline{u}-\varphi)^{+} \rangle_{W^{-1,p'}(\Omega),W^{1,p}_0(\Omega)}\,dt + \int_{Q_T} a(x,\nabla \underline{u})\cdot\nabla T_{k}(\underline{u} -\varphi)^{+}\,dx\,dt\\ &\leq\int_{Q_T} T_{k}(\underline{u}-\varphi)^{+}\,d\mu, \end{align*} for all $\varphi \in L^{p}(0,T;W^{1,p}_0(\Omega)) \cap L^{\infty}(Q_T)\cap C([0,T];L^{1}(\Omega))$ with $\varphi_{t}$ in the space $L^{p'}(0,T;W^{-1,p'}(\Omega))$ and $\underline{u}(x,0)\equiv\underline{u}_{0}(x)\leq u_{0}(x)$ almost everywhere on $\Omega$ with $ \underline{u}_{0}\in L^{1}(\Omega)$. On the other hand, $\overline{u}(x,t)\in C([0,\infty);L^{1}(\Omega))$ is an \emph{entropy supersolution} of problem \eqref{nh} if, for all $k, T>0$, we have that $T_{k}(\overline{u})\in L^{p}(0,T;W^{1,p}_0(\Omega))$, and holds \begin{align*} &\int_{\Omega}\Theta_{k}((\overline{u}-\varphi)^{-})(T)\,dx -\int_{\Omega}\Theta_{k}((\overline{u}_{0}-\varphi(0))^{-})\,dx \\ &+\int_{0}^{T}\langle \varphi_{t},T_{k}(\overline{u}-\varphi)^{-} \rangle_{W^{-1,p'}(\Omega),W^{1,p}_0(\Omega)}\,dt + \int_{Q_T} a(x,\nabla \overline{u})\cdot\nabla T_{k} (\overline{u}-\varphi)^{-}\,dx\,dt\\ &\geq\int_{Q_T} T_{k}(\overline{u}-\varphi)^{-}\,d\mu, \end{align*} for all $\varphi \in L^{p}(0,T;W^{1,p}_0(\Omega)) \cap L^{\infty}(Q_T)\cap C([0,T];L^{1}(\Omega))$ with $\varphi_{t}$ in the space $L^{p'}(0,T;W^{-1,p'}(\Omega))$ and $\overline{u}(x,0)\equiv\overline{u}_{0}(x)\geq u_{0}(x)$ almost everywhere on $\Omega$ with $ \overline{u}_{0}\in L^{1}(\Omega)$. \end{definition} In \cite{pe1} the author proved the following result. \begin{lemma}\label{nhlemma} Let $\mu\in \mathcal{M}_{0}(\Omega)$, and let $\underline{u}$ and $\overline{u}$ be, respectively, an entropy subsolution and an entropy supersolution of problem \eqref{nh}, and let $u$ be the unique entropy solution of the same problem. Then, for any $t>0$, $\underline{u}(t)\leq u(t)\leq \overline{u}(t)$, a.e. in $\Omega$. \end{lemma} Thanks to this result we are able to prove Theorem \ref{mainnh}. For the sake of simplicity, in what follows, the convergences are all understood to be taken up to a suitable subsequence extraction, even if no explicitly claimed. \begin{proof}[Proof of Theorem \ref{mainnh}] We will prove it in a few steps. As usual, the symbol $C$ will indicate any positive constant whose value may change from line to line. Let us consider $v^\oplus$ and $v^\ominus$ as the entropy solutions of, respectively, \begin{equation}\label{e+} \begin{gathered} A(v)=\mu^+ \quad \text{in }\Omega, \\ v=0 \quad \text{on } \partial\Omega, \end{gathered} \end{equation} and \begin{equation}\label{e-} \begin{gathered} A(v)=-\mu^- \quad \text{in }\Omega, \\ v=0 \quad \text{on } \partial\Omega, \end{gathered} \end{equation} By comparison \cite{pa}, we have both $v^\ominus\leq 0\leq v^\oplus$ and \begin{equation}\label{vvv} v^\ominus\leq v\leq v^\oplus\,. \end{equation} Moreover, it is easy to see that both $v^\oplus$ and $v^\ominus$ are stationary solution of the associated parabolic problem with themselves as initial data. \noindent{\it Step $1$}. $u_0= v^\oplus$. Some \emph{a Priori Estimates}. To simplify the notation, during this proof, we will indicate by $Q$ the parabolic cylinder of height one $\Omega\times(0,1)$, instead of $Q_1$ as usual; let $n\in\mathbb{N}\cup\{0\}$, and define $u^{n}(x,t)$ as the entropy solution of the initial boundary-value problem \begin{equation}\label{basen} \begin{gathered} u^{n}_{t}+A(u^{n})=\mu \quad \text{in }\Omega\times(0,1), \\ u^{n}(x,0)=u(x,n) \quad \text{in }\Omega, \\ u^{n}(x,t)=0 \quad \text{on } \partial\Omega\times(0,1), \end{gathered} \end{equation} with $u(x,0)=v^\oplus$. Notice that, since $\mu$ does not depend on $t$, $u^n$ turns out to be nothing but the time-translation (of length $n$) of the solution $u$ with initial datum $v^\oplus$. Thanks to Lemma \ref{nhlemma} we readily have $u(x,t)\leq v^\oplus$, for any $t>0$. So, using again the fact that the datum $\mu$ does not depend on time, we can apply the comparison result also between $u(x,t+s)$ solution with $u_{0}=u(x,s)$, with $s$ a positive parameter, and $u(x,t)$, the solution with $u_{0}=v^{\oplus}$ as initial datum; so we obtain $u(x,t+s)\leq u(x,t)$ for all $t,s\geq 0$, a.e. in $\Omega$. Recall that, since $u\in C([0,\infty); L^1(\Omega))$, then $u(x,n)\in L^1(\Omega)$ is well defined. Now, let us look for some \emph{a priori estimates} concerning the sequence $u^{n}$. Following the same outline of \cite{pe1}, we can perform the same calculations to prove first \begin{equation}\label{s1} \int_Q|\nabla T_{k}(u^{n})|^{p}\,dx\,dt\leq Ck; \end{equation} moreover, from \eqref{s1}, we deduce that the sequence $u^{n}$ is uniformly bounded in the \emph{Marcinkiewicz} space $M^{p-1 +\frac{p}{N}}(Q)$; this fact implies, since in particular $p>\frac{2N}{N+1}$, that $u^{n}$ is uniformly bounded in $L^{m}(Q)$ for all $1\leq m\frac{2N+1}{N+1}$, $|\nabla u^{n}|$ is uniformly bounded in $L^{s}(Q)$ with $1\leq s0$, \begin{gather*} T_{k}(u^{n})\rightharpoonup T_{k}(\overline{u}),\quad \text{weakly in }\ L^p(0,1;W^{1,p}_0(\Omega)),\\ T_{k}(u^{n})\to T_{k}(\overline{u}),\quad \text{strongly in }L^{p}(Q). \end{gather*} Finally, the sequence $u^{n}$ satisfies the hypotheses of \cite[Theorem 3.3]{bdgo}, and so we get \[ \nabla u^{n}\to \nabla\overline{u} \quad \text{a.e. in }\Omega. \] All these results allow us to pass to the limit in the entropy formulation of $u^{n}$; indeed, for all $k>0$, $u^{n}$ satisfies \begin{align}\label{a1a1} &\int_{\Omega}\Theta_{k}(u^{n}-\varphi)(1)\,dx \\ \label{a2a1} &-\int_{\Omega}\Theta_{k}(u^{n}(x,0)-\varphi(0))\,dx \\ \label{a3a1} &+\int_{0}^{1}\langle \varphi_{t},T_{k}(u^{n}-\varphi)\rangle_{W^{-1,p'}(\Omega),W^{1,p}_0(\Omega)}\,dt \\ \label{a4} &+ \int_Q a(x,\nabla u^{n})\cdot\nabla T_{k}(u^{n}-\varphi)\,dx\,dt\\ \label{a5} & \leq\int_Q T_{k}(u^{n}-\varphi)\,d\mu, \end{align} for $\varphi \in L^{p}(0,1;W^{1,p}_0(\Omega)) \cap L^{\infty}(Q) \cap C([0,1];L^{1}(\Omega))$ with $\varphi_{t}\in L^{p'}(0,1;W^{-1,p'}(\Omega))$. Let us analyze this inequality term by term: recalling that $\mu$ can be decomposed as $\mu=f-\mathop{\rm div}(g)$, where $f\in L^{1}(\Omega)$ and $g\in (L^{p'}(\Omega))^{N}$, then, since $ T_{k}(u^{n}-\varphi)$ converges to $T_{k}(\overline{u}-\varphi)$ $\ast$-weakly in $L^{\infty}(Q)$, and $T_{k}(u^{n}-\varphi)$ converges to $ T_{k}(\overline{u}-\varphi)$ also weakly in $L^p(0,1;W^{1,p}_0(\Omega))$, we have \[ \int_Q T_{k}(u^{n}-\varphi)\,d\mu\stackrel{n}{\longrightarrow}\int_Q T_{k}(\overline{u}-\varphi)\,d\mu; \] moreover, we can write \begin{equation}\label{spe} \begin{aligned} &\int_Q a(x,\nabla u^{n})\cdot\nabla T_{k}(u^{n}-\varphi)\,dx\,dt\\ &= \int_Q (a(x,\nabla u^{n})-a(x,\nabla\varphi))\cdot\nabla T_{k}(u^{n}-\varphi)\,dx\,dt\\ &\quad + \int_Q a(x,\nabla \varphi)\cdot\nabla T_{k}(u^{n}-\varphi)\,dx\,dt, \end{aligned} \end{equation} and the second term on the right-hand side of (\ref{spe}) converges, as $n$ tends to infinity, to \[ \int_Q a(x,\nabla \varphi)\cdot\nabla T_{k}(\overline{u}-\varphi)\,dx\,dt, \] while to deal with the nonnegative first term of the right hand side of (\ref{spe}), we must use the a.e. convergence of the gradients; then, applying \emph{Fatou's lemma}, we get \begin{align*} &\int_Q (a(x,\nabla \overline{u})-a(x,\nabla\varphi))\cdot \nabla T_{k}(\overline{u}-\varphi)\,dx\,dt\\ &\leq\liminf_{n} \int_Q (a(x,\nabla u^{n})-a(x,\nabla\varphi))\cdot\nabla T_{k}(u^{n}-\varphi)\,dx\,dt. \end{align*} On the other hand, since $u(x,t)$, is monotone nonincreasing in $t$ and recalling \eqref{vvv}, we have that there exists a function $w$ such that $$ v(x)\leq w(x)\leq u(x,t)\leq v^\oplus(x) $$ and $u(x,t)$ converges to $w$ a.e. in $\Omega$ as $t$ tends to infinity. Clearly $w$ does not depend on $t$ and, thanks to dominated convergence theorem, $u(x,t)$ converges to $w$ in $ L^1(\Omega)$. Our goal is to prove that $\overline{u}=v$ almost everywhere in $\Omega$; to do that, it is enough to observe that $\overline{u}$ does not depend on time (in fact, $\overline{u}(x,t)=w(x)$, since $u^n(x,t)=u(x,t+n)$), and that (\ref{a1a1})+(\ref{a2a1})+(\ref{a3a1}) converges to zero as $n$ tends to infinity. Indeed, if that holds true, we obtain that $\overline{u}$ satisfies the entropy formulation for the elliptic problem \eqref{e}, and so, since the entropy solution is unique, we get that $\overline{u}=v$ a.e. in $\Omega$. Let us check that (\ref{a1a1})+(\ref{a2a1})+(\ref{a3a1}) approaches zero as $n$ goes to infinity. Using the \emph{monotone convergence theorem}, we get \begin{align*} \lim_{n} [(\ref{a1a1})+(\ref{a2a1})] &= \int_{\Omega}\Theta_{k}(w(x)-\varphi(1))\,dx -\int_{\Omega}\Theta_{k}(w(x)-\varphi(0))\,dx \\ &=\int_{\Omega}\int_{0}^{1}\frac{d}{dt}\Theta(w(x)-\varphi)\,dtdx\\ &=\int_{0}^{1}\langle (w(x)-\varphi)_{t},T_{k}(w(x)-\varphi) \rangle_{W^{-1,p'}(\Omega),W^{1,p}_0(\Omega)}\,dt, \end{align*} while, since $T_{k}(u^{n}-\varphi)$ converges to $ T_{k}(w-\varphi)$ weakly in $L^p(0,1;W^{1,p}_0(\Omega))$, we have \begin{align*} &\int_{0}^{1}\langle \varphi_{t},T_{k}(u^{n}-\varphi)\rangle_{W^{-1,p'}(\Omega),W^{1,p}_0(\Omega)}\,dt\\ &\stackrel{n}{\longrightarrow}\int_{0}^{1}\langle \varphi_{t},T_{k}(w -\varphi) \rangle_{W^{-1,p'}(\Omega),W^{1,p}_0(\Omega)}\,dt. \end{align*} Finally we can sum all these terms and, since $w$ does not depend on time, we find \[ \lim_{n} [(\ref{a1a1})+(\ref{a2a1})+(\ref{a3a1})] =\int_{0}^{1}\langle w_{t},T_{k}(w-\varphi) \rangle_{W^{-1,p'}(\Omega),W^{1,p}_0(\Omega)}\,dt=0; \] and, as we mentioned above, this is enough to prove that $w(x)=v(x)$. The same argument can be developed to prove that the solution of \eqref{nh} with $v^\ominus$ as initial data converges in $ L^1(\Omega)$ to $v$. Using again Lemma \ref{nhlemma}, we easily deduce that the result holds true for any solution of problem \eqref{nh} with $u_0$ such that $v^\ominus \leq u_0\leq v^\oplus$. \medskip \noindent{\it Step 2.} $v^{\ominus,\tau}\leq u_0\leq v^{\oplus,\tau}$. Let us fix $\tau >1$. Then, we can easily readapt the idea of \cite{pe1} to show that the same result holds true even for initial data data $v^{\ominus,\tau}\leq u_0\leq v^{\oplus,\tau}$, where $v^{\oplus,\tau}$ and $v^{\ominus,\tau}$ solve \eqref{e} with, respectively, \[ \mu_{\oplus,\tau}= \begin{cases} \tau\mu^+ & \text{if } f^+=0, \\ \tau f^+ -\mathop{\rm div}(g^+) & \text{if } f^+\neq 0, \end{cases} \] and \[ \mu_{\ominus,\tau}= \begin{cases} - \tau\mu^- & \text{if } f^-=0, \\ - \tau f^{-} + \mathop{\rm div}(g^-) & \text{if } f^-\neq 0. \end{cases} \] as data. Here, thanks to the decomposition result of \cite{bgo}, $\mu^{\pm}=f^{\pm}-\mathop{\rm div}(g^\pm)$ ($f^{\pm}\geq 0$ in $L^{1}(\Omega)$, $g^\pm\in(L^{p'}(\Omega))^{N}$). \medskip \noindent{\it Step 3.} $ u_0\in L^1(\Omega)$ and $\mu\neq 0$. Let us consider the general case of a solution $u(x,t)$ with initial datum $u_{0}\in L^{1}(\Omega)$ and let suppose that $\mu\neq 0$ since, if $\mu=0$, then the result it is well known; let us define the family of functions \[ u_{0,\tau}=\begin{cases} \min(u_{0}, v^{\oplus,\tau})& \text{if } u_0\geq 0\\ \max(u_{0}, v^{\ominus,\tau})& \text{if } u_0< 0. \end{cases}. \] As we have shown in Step $2$, for every fixed $\tau>1$, $u_{\tau}(x,t)$, the entropy solution of problem \eqref{nh} with $u_{0,\tau}$ as initial datum, converges to $v$ a.e. in $\Omega$, as $t$ tends to infinity. Moreover, we have also that $T_{k}(u_{\tau}(x,t))$ converges to $T_{k}(v)$ weakly in $W^{1,p}_0(\Omega)$ as $t$ diverges, for every fixed $k>0$. So, using Lemma $3.4$ of \cite{pe1}, we can easily check that $u_{0,\tau}$ converges to $u_{0}$ in $L^{1}(\Omega)$ as $\tau$ tends to infinity. Therefore, using a stability result of entropy solution (see for instance \cite{po}) we obtain that $T_{k}(u_{\tau}(x,t))$ converges to $T_{k}(u(x,t))$ strongly in $L^p(0,T;W^{1,p}_0(\Omega))$ as $\tau$ tends to infinity. Now, making the same calculations used in \cite{p} to prove the uniqueness of entropy solutions applied to $u$ and $u_{\tau}$, where $u_{\tau}$ is considered as the solution obtained as limit of approximating solutions with smooth data, we can easily find, for any fixed $\tau>1$, the following estimate \[ \int_{\Omega} \Theta_{k}(u-u_{\tau})(t)\,dx\leq \int_{\Omega}\Theta_{k}(u_{0}-u_{0,\tau})\,dx, \] for every $k, t>0$. Then, let us divide the above inequality by $k$, and let us pass to the limit as $k$ tends to $0$; we obtain \begin{equation}\label{unif} \|u(x,t)-u_{\tau}(x,t)\|_{L^{1}(\Omega)}\leq \|u_{0}(x)-u_{0,\tau}(x)\|_{L^{1}(\Omega)}, \end{equation} for every $t>0$. Hence, we have \[ \|u(x,t)-v(x)\|_{L^{1}(\Omega)}\leq \|u(x,t)-u_{\tau}(x,t)\|_{L^{1}(\Omega)}+\|u_{\tau}(x,t)-v(x) \|_{L^{1}(\Omega)}; \] then, thanks to the fact that the estimate in (\ref{unif}) is uniform in $t$, for every fixed $\varepsilon$, we can choose $\bar{\tau}$ large enough such that \[ \|u(x,t)-u_{\bar{\tau}}(x,t)\|_{L^{1}(\Omega)}\leq \frac{\varepsilon}{2}, \] for every $t>0$; on the other hand, according to Step $2$, there exists $\bar{t}$ such that \[ \|u_{\bar{\tau}}(x,t)-v(x)\|_{L^{1}(\Omega)}\leq \frac{\varepsilon}{2}, \] for every $t>\bar{t}$, and this proves our result. \end{proof} \begin{remark} \label{rmk2.3} \rm As we said before, in many cases, the convergence in norm to the stationary solution can be improved depending on the regularity of the limit solution (or equivalently to the regularity of the datum); for instance, according to Lemma \ref{nhlemma}, we have that, if $0\leq u_0\leq v$, \[ 0\leq u(x,t)\leq v(x),\quad \text{for all } t\in (0,\infty), \text{a.e. in } \Omega; \] so, if $\mu\in L^q(\Omega)$ with $ q>\frac{N}{p}$, then Stampacchia's type estimates ensure that the solution $v$ of the stationary problem \begin{gather*} A(v)=\mu \quad \text{in }\Omega, \\ v=0 \quad \text{on } \partial\Omega, \end{gather*} is in $L^{\infty}(\Omega)$ and so the convergence of $u(x,t)$ to $v$ of Theorem \ref{mainnh} is at least $\ast$-weak in $L^{\infty}(\Omega)$ and almost everywhere. Reasoning similarly one can refine, depending on the data, the asymptotic result of Theorem \ref{mainnh}. \end{remark} \begin{thebibliography}{00} \bibitem{a} A. Arosio; Asymptotic behavior as $t\to +\infty $ of solutions of linear parabolic equations with discontinuous coefficients in a bounded domain, Comm. Partial Differential Equations \textbf{4} (1979), no. 7, 769--794. \bibitem{ben} E. DiBenedetto; \emph{Degenerate Parabolic Equations}, Springer-Verlag, New York, 1993. \bibitem{bbggpv} P. B\'enilan, L. Boccardo, T. Gallou\"et, R. Gariepy, M. Pierre, J. L. Vazquez; An $L^{1}-$theory of existence and uniqueness of nonlinear elliptic equations, Ann. Scuola Norm. Sup. Pisa Cl. Sci., \textbf{22} (1995), 241--273. \bibitem{bg}L. Boccardo, T. Gallou\"et; Nonlinear elliptic and parabolic equations involving measure data, J. Funct. Anal., \textbf{87} (1989), 149--169. \bibitem{bdgo}L. Boccardo, A. Dall'Aglio, T. Gallou\"et, L. Orsina; Nonlinear parabolic equations with measure data, J. Funct. Anal. , \textbf{147} (1997) no.1 , 237--258. \bibitem{bgo} L. Boccardo, T. Gallou\"et, L. Orsina; Existence and uniqueness of entropy solutions for nonlinear elliptic equations with measure data, Ann. Inst. H. Poincar\'e Anal. Non Lin\'eaire, \textbf{13} (1996), 539--551. \bibitem{do} A. Dall'Aglio, L. Orsina; Existence results for some nonlinear parabolic equations with nonregular data, Differential Integral Equations, \textbf{5} (1992), 1335--1354. \bibitem{dpp} J. Droniou, A. Porretta, A. Prignet; Parabolic capacity and soft measures for nonlinear equations, Potential Anal. \textbf{19} (2003), no. 2, 99--161. \bibitem{dpr} J. Droniou, A. Prignet; Equivalence between entropy and renormalized solutions for parabolic equations with smooth measure data, NoDEA Nonlinear Differential Equations Appl. \textbf{14}, 181--205 (2007). \bibitem{f} A. Friedman; \emph{Partial differential equations of parabolic type}, Englewood Cliffs, N. J., Prentice-Hall 1964. \bibitem{g} N. Grenon; Asymptotic behaviour for some quasilinear parabolic equations, Nonlinear Anal. \textbf{20} (1993), no. 7, 755--766. \bibitem{lm} R. Landes, V. Mustonen; A strongly nonlinear parabolic initial-boundary-value problem, Arkiv for Matematik, \textbf{25} (1987), no. 1, 29--40. \bibitem{lp} T. Leonori, F. Petitta; Asymptotic behavior of solutions for parabolic equations with natural growth term and irregular data, Asymptotic Analysis \textbf{48(3)} (2006), 219--233. \bibitem{l} J. L. Lions; \emph{Quelques m\'ethodes de r\'esolution des probl\`emes aux limites non lin\'eaire}, Dunod et Gautier-Villars, (1969). \bibitem{pa} M. C. Palmeri; Entropy subsolution and supersolution for nonlinear elliptic equations in $L^{1}$, Ricerche Mat. \textbf{53} (2004), no. 2, 183--212. \bibitem{pet} F. Petitta; Asymptotic behavior of solutions for linear parabolic equations with general measure data, C. R. Acad. Sci. Paris, Ser. I, \textbf{344} (2007) 571--576. \bibitem{pe1} F. Petitta, Asymptotic behavior of solutions for linear parabolic equations of Leray-Lions type and measure data, Adv. Differential Equations \textbf{12} (2007), no. 8, 867--891. \bibitem{ppp} F. Petitta, A. C. Ponce, A. Porretta; Approximation of diffuse measures for parabolic capacities, C. R. Acad. Sci. Paris, Ser. I \textbf{346} (2008), 161--166. \bibitem{po} A. Porretta; Existence results for nonlinear parabolic equations via strong convergence of truncations, Ann. Mat. Pura ed Appl. (IV), \textbf{177} (1999), 143--172. \bibitem{p} A. Prignet; Existence and uniqueness of entropy solutions of parabolic problems with $L^{1}$ data, Nonlin. Anal. TMA \textbf{28} (1997), 1943--1954. \bibitem{sp} S. Spagnolo; Convergence de solutions d'\'equations d'\'evolution, Proceedings of the International Meeting on Recent Methods in Nonlinear Analysis (Rome, 1978), 311--327, Pitagora, Bologna, 1979. \bibitem{s} G. Stampacchia; Le probl\`eme de Dirichlet pour les \'equations elliptiques du seconde ordre \`a coefficientes discontinus, Ann. Inst. Fourier (Grenoble), \textbf{15} (1965), 189--258. \bibitem{t} N. S. Trudinger; On Harnack type inequalities and their application to quasilinear elliptic equations, Comm. Pure Appl Math, \textbf{20} (1967), 721--747. \end{thebibliography} \end{document}