Nonlinear diffusion equation

A nonlinear diffusion equation lets diffusivity depend on the evolving field; the porous-medium equation is a standard example.

For flux $c(|\nabla u|)\nabla u$, the derivative matrix is $c(s)I+c^{\prime }(s)\nabla u\otimes \nabla u/s$ with $s=|\nabla u|>0$. Its tangential and normal coefficients are $c(s)$ and $c(s)+s{c}^{\prime }(s)$. Positivity of the scalar conductance alone therefore does not guarantee forward parabolicity.

The Perona-Malik equation uses decreasing diffusivity to smooth low-gradient image regions while reducing transport across edges. For $r=|\nabla u|>0$, its principal diffusion coefficients are $c(r)$ tangent to a level set and $c(r)+r{c}^{\prime }(r)$ normal to it. A negative normal coefficient allows formal sharpening but causes forward-backward ill-posedness. Positivity of $c$ alone is insufficient for parabolicity.

For one-dimensional flux $F(p)=p|p|e^{-p^2/(2{\lambda }^2)}$, the nonlinear diffusion equation is $u_t=F^{\prime }(u_x)u_{xx}$. The sole one-dimensional member of the principal diffusion coefficients is positive for $0<|u_x|<\sqrt{2}\lambda$, negative above $\sqrt{2}\lambda$, and zero at the two endpoints. Negative diffusion gives formal sharpening with ill-posedness through high-frequency growth. The extra factor $|p|$ matters: the unweighted exponential conductance has threshold $\lambda$ instead.

Computing conductance from a smoothed gradient gives $u_t=\mathrm{div}(c(|\nabla (G_{\sigma }\ast u)|)\nabla u)$. The image edge detector is nonlocal, while the local highest-order diffusion has positive coefficient when conductance is positive. A smooth kernel, lower conductance bound and appropriate regularity/boundary hypotheses support a well-posed regularized filter.

For $C_t=k\nabla \cdot (C\nabla C)$ with total mass $2\pi M$,Its compact support has radius $r_0(t)=(32Mkt{)}^{1/4}$.

The substitutionreduces $C_t=k\nabla \cdot (C\nabla C)+aC$ to
$G_{\tau }=k\nabla \cdot (G\nabla G)$.