No label defined (Q5463263)

The total variation flow \[ {\partial u \over \partial t} = \text{div} \biggl({Du \over | Du| }\biggr) \] arises when using the steepest descent method to minimize the total variation \(\int | Du| \) [see \textit{L. Rudin, S. Osher} and \textit{E. Fatemi}, Physica D 60, 259--268 (1992; Zbl 0780.49028)]. The authors (and others) have studied the flow for classical Dirichlet and Neumann boundary conditions [see \textit{F. Andreu, C. Ballester, V. Caselles} and \textit{J. M. Mazón}, Differ. Integral Equ. 14, 321--360 (2001; Zbl 1020.35037); \textit{F. Andreu, C. Ballester, V. Caselles} and \textit{J. M. Mazón}, J. Funct. Anal. 180, 347--403 (2001; Zbl 0973.35109); \textit{F. Andreu, V. Caselles, J. I. Díaz} and \textit{J. M. Mazón}, J. Funct. Anal. 188, 516--547 (2002; Zbl 1042.35018)]). In this paper they consider the flow on \((0,\infty)\times \Omega\) with nonlinear boundary conditions of the form \[ {-\partial u \over \partial \eta} \in \beta(u) \quad \text{on } (0,\infty)\times \partial \Omega, \] \[ u(0,x)=u_0(x), \qquad x \in \Omega, \] where \(\Omega\) is an open bounded domain in \(\mathbb{R}^n\) with \(C^1\) boundary, \(\beta\) a maximal monotone graph in \(\mathbb{R} \times \mathbb{R}\) with \(0 \in \beta(0)\), and \({\partial u \over \partial n} = ({Du \over | Du| },\eta).\) They prove existence and uniqueness of ``entropy solutions'' for initial data in \(L^1\) using nonlinear semigroup theory and work of Kruzhkov, and show that these solutions converge to constant functions as \(t \rightarrow \infty\). They further prove that for initial data in \(L^2\) entropy solutions are strong solutions, and calculate explicit solutions for a particular \(\beta\).