# Nonlocal porous medium equation

### From Mwiki

Line 11: | Line 11: | ||

These equations agree when $s=1$ and $m=2$, otherwise they are not only different superficially, they also exhibit extremely different behaviors. They are both fractional order [[Quasilinear equations]]. | These equations agree when $s=1$ and $m=2$, otherwise they are not only different superficially, they also exhibit extremely different behaviors. They are both fractional order [[Quasilinear equations]]. | ||

- | The first of the two has the remarkable property (for nonlocal equations at least) that any initial data with compact support remains with compact support for all later times, the opposite is true of the second equation, for which [[instantaneous speed of propagation]]. This means that the first model presents us with a [[free boundary problem]], although there are some regularity results for the solution (add references), there is almost nothing known about the properties of its free boundary, this provides with a rich list of good open problems. | + | The first of the two has the remarkable property (for nonlocal equations at least) that any initial data with compact support remains with compact support for all later times, the opposite is true of the second equation, for which [[instantaneous speed of propagation]] holds. This means that the first model presents us with a [[free boundary problem]], although there are some regularity results for the solution (add references), there is almost nothing known about the properties of its free boundary, this provides with a rich list of good open problems. |

For the second equation, both the Cauchy problem and long time behavior have been extensively studied in recent years (references). | For the second equation, both the Cauchy problem and long time behavior have been extensively studied in recent years (references). |

## Revision as of 03:14, 3 June 2011

The nonlocal porous medium equation of order $\sigma$ is the name currently given to two very different equations, namely

\[ u_t = \nabla \cdot \left ( u \nabla \mathcal{K_\alpha} (u) \right )\]

\[\mbox{ where } \mathcal{K}_\alpha(u) := C_{n,\alpha}\; u * |x|^{-n+\alpha},\;\; \alpha+2=\sigma \]

and

\[ u_t +(-\Delta)^{s}(u^m) = 0 \]

These equations agree when $s=1$ and $m=2$, otherwise they are not only different superficially, they also exhibit extremely different behaviors. They are both fractional order Quasilinear equations.

The first of the two has the remarkable property (for nonlocal equations at least) that any initial data with compact support remains with compact support for all later times, the opposite is true of the second equation, for which instantaneous speed of propagation holds. This means that the first model presents us with a free boundary problem, although there are some regularity results for the solution (add references), there is almost nothing known about the properties of its free boundary, this provides with a rich list of good open problems.

For the second equation, both the Cauchy problem and long time behavior have been extensively studied in recent years (references).