To Do List and List of equations: Difference between pages

From nonlocal pde
(Difference between pages)
Jump to navigation Jump to search
imported>Luis
 
imported>Luis
(Created page with "This is a list of nonlocal equations that appear in this wiki. == Linear equations == === Stationary linear equations from Levy processes === \[ Lu = 0 \] where $L$ is a [[linea...")
 
Line 1: Line 1:
== Things that need to be done ==
This is a list of nonlocal equations that appear in this wiki.


We need to come up with some organization for the articles.
== Linear equations ==
=== Stationary linear equations from Levy processes ===
\[ Lu = 0 \]
where $L$ is a [[linear integro-differential operator]].


The list below can be a starting point to click on links and edit each page. The following are some of the topics that should appear in this wiki.
=== parabolic linear equations from Levy processes ===
\[ u_t = Lu \]
where $L$ is a [[linear integro-differential operator]].


* We better start thinking hard about writing the [[Introduction to nonlocal equations]]. We gotta start somewhere, so any random idea or small thing you want to write should go in there. This is high priority, since if someone reads one page of this wiki, it will likely be this one.
=== [[Drift-diffusion equations]] ===
\[ u_t  + b \cdot \nabla u + (-\Delta)^s u = 0,\]
where $b$ is a given vector field.


* Some discussion on [[Dirichlet form|Dirichlet forms]], and maybe some models from [[nonlocal image processing]].
== [[Semilinear equations]] ==
=== Stationary equations with zeroth order nonlinearity ===
\[ (-\Delta)^s u = f(u). \]
=== Reaction diffusion equations ===
\[ u_t + (-\Delta)^s u = f(u). \]
=== Burgers equation with fractional diffusion ===
\[ u_t + u \ u_x + (-\Delta)^s u = 0 \]
=== [[Surface quasi-geostrophic equation]] ===
\[ \theta_t + u \cdot \nabla \theta + (-\Delta)^s \theta = 0 \]
=== Conservation laws with fractional diffusion ===
\[ u_t + \mathrm{div } F(u) + (-\Delta)^s u = 0.\]
=== Hamilton-Jacobi equation with fractional diffusion ===
\[ u_t + H(\nabla u) + (-\Delta)^s u = 0.\]
=== [[Keller-Segel equation]] ===
\[u_t + \mathrm{div} \left( u \, \nabla (-\Delta)^{-1} u \right) - \Delta u = 0.\]


* Fractional curvatures in conformal geometry.  
== Quasilinear or [[fully nonlinear integro-differential equations]] ==
=== [[Bellman equation]] ===
\[ \sup_{a \in \mathcal{A}} \, L_a u(x) = f(x), \]
where $L_a$ is some family of linear integro-differential operators indexed by an arbitrary set $\mathcal{A}$.
=== [[Isaacs equation]] ===
\[ \sup_{a \in \mathcal{A}} \ \inf_{b \in \mathcal{B}} \ L_{ab} u(x) = f(x), \]
where $L_{ab}$ is some family of linear integro-differential operators with two indices $a \in \mathcal A$ and $b \in \mathcal B$.
=== [[obstacle problem]] ===
For an elliptic operator $L$ and a function $\varphi$ (the obstacle), $u$ satisfies
\begin{align}
u &\geq \varphi \qquad \text{everywhere in the domain } D,\\
Lu &\leq 0 \qquad \text{everywhere in the domain } D,\\
Lu &= 0 \qquad \text{wherever } u > \varphi.
\end{align}


* We need  to explain further the  [[Extension technique]] and its connection with fractional powers of the Laplacian and Conformal geometry. Required background: [[Geometric Scattering Theory]], [[Ambient Metric Construction]], [[GJMS Operators]] and [[Singular Yamabe Problem]]..)
=== [[Nonlocal minimal surfaces ]] ===
The set $E$ satisfies.
\[ \int_{\mathbb{R}^n} \frac{\chi_E(y)-\chi_{E^c}(y)}{|x-y|^{n+s}}dy=0 \;\;\forall\; x \in \partial E.\]
=== [[Nonlocal porous medium equation]] ===
\[ u_t = \mathrm{div} \left ( u \nabla (-\Delta)^{-s} u \right).\]
Or
\[ u_t +(-\Delta)^{s}(u^m) = 0. \]


* It would be wise (once the wiki is more mature) to add pages about the [[Boltzmann equation]], since it is one of the more "classical" and better known integro-differential equations.
== Inviscid equations ==
=== [[Surface quasi-geostrophic equation|Inviscid SQG]]===
\[ \theta_t + u \cdot \nabla \theta = 0,\]
where $u = \nabla^\perp (-\Delta)^{-1/2} \theta$.


* Pages about [[Homogenization]] (local and nonlocal) should appear here too.
=== [[Active scalar equation]] (from fluid mechanics) ===
\[ \theta_t + u \cdot \nabla \theta = 0,\]
where $u = \nabla^\perp K \ast \theta$.


* Limit of $\sigma$-order operators as $\sigma \to 2^-$, maybe this should go on a page on [[Linear integro-differential operators]].
=== [[Aggregation equation]] ===


* Given the recent works of Osher/Gilboa and Bertozzi/Flenner on Ginzburg-Landau  on graphs we should have an article on the natural similarities between non-local operators and [[elliptic operators on graphs]].
\[ \theta_t + \mathrm{div}(\theta \ u) = 0,\]
 
where $u = \nabla K \ast \theta$.
* [[nonlocal image processing]]
 
* [[Aggregation equation]]
 
== (partially) Completed tasks ==
 
* A sort of [[Starting page]] that serves as a "root" for all pages we add (ideally, any page we create should be reachable from here). (UPDATE: See discussion.)
 
* Definition of [[viscosity solutions]] for nonlocal equations. Also a discussion on existence using [[Perron's method]] and uniqueness through the [[comparison principle]].
 
* Some general regularity results like [[holder estimates]], [[Harnack inequalities]], [[Alexadroff-Bakelman-Pucci estimates]], some reference to [[free boundary problems]].
 
* A list of [[regularity results for fully nonlinear integro-differential equations|regularity results]] for [[fully nonlinear integro-differential equations]].
 
* Some discussion on models involving [[Levy processes]] and [[stochastic control]].
 
* Some references to equations from fluids including the [[surface quasi-geostrophic equation]].
 
* A page about [[semilinear equations]] including the [[surface quasi-geostrophic equation]] and also some form of KPP.
 
* [[Nonlocal porous medium equation]].
 
* [[drift-diffusion equations]].
 
* [[Nonlocal minimal surfaces]] and [[Nonlocal mean curvature flow]].
 
* There is also plenty of work on [[Dislocation dynamics]] that we ought to add later on.
 
* Phase transitions involving non-local interactions, in particular, pages about [[Particle Systems]], discussing the Giacomin-Lebowitz theory and the Ohta-Kawasaki functional.
 
* It is convenient to have a [[mini second order elliptic wiki]] inside this wiki.
 
* [[open problems]].
 
* Having a [[list of equations]] may make it easier to navigate the wiki.
 
== Other ideas ==
 
 
* Fill up the list of [[upcoming events]] such as conferences, workshops, summer schools.
 
* [[User:Nestor|Nestor]] has started a [[Literature on Nonlocal Equations]] to dump there all papers we want to reference or are already referencing on the wiki.

Revision as of 19:20, 4 March 2012

This is a list of nonlocal equations that appear in this wiki.

Linear equations

Stationary linear equations from Levy processes

\[ Lu = 0 \] where $L$ is a linear integro-differential operator.

parabolic linear equations from Levy processes

\[ u_t = Lu \] where $L$ is a linear integro-differential operator.

Drift-diffusion equations

\[ u_t + b \cdot \nabla u + (-\Delta)^s u = 0,\] where $b$ is a given vector field.

Semilinear equations

Stationary equations with zeroth order nonlinearity

\[ (-\Delta)^s u = f(u). \]

Reaction diffusion equations

\[ u_t + (-\Delta)^s u = f(u). \]

Burgers equation with fractional diffusion

\[ u_t + u \ u_x + (-\Delta)^s u = 0 \]

Surface quasi-geostrophic equation

\[ \theta_t + u \cdot \nabla \theta + (-\Delta)^s \theta = 0 \]

Conservation laws with fractional diffusion

\[ u_t + \mathrm{div } F(u) + (-\Delta)^s u = 0.\]

Hamilton-Jacobi equation with fractional diffusion

\[ u_t + H(\nabla u) + (-\Delta)^s u = 0.\]

Keller-Segel equation

\[u_t + \mathrm{div} \left( u \, \nabla (-\Delta)^{-1} u \right) - \Delta u = 0.\]

Quasilinear or fully nonlinear integro-differential equations

Bellman equation

\[ \sup_{a \in \mathcal{A}} \, L_a u(x) = f(x), \] where $L_a$ is some family of linear integro-differential operators indexed by an arbitrary set $\mathcal{A}$.

Isaacs equation

\[ \sup_{a \in \mathcal{A}} \ \inf_{b \in \mathcal{B}} \ L_{ab} u(x) = f(x), \] where $L_{ab}$ is some family of linear integro-differential operators with two indices $a \in \mathcal A$ and $b \in \mathcal B$.

obstacle problem

For an elliptic operator $L$ and a function $\varphi$ (the obstacle), $u$ satisfies \begin{align} u &\geq \varphi \qquad \text{everywhere in the domain } D,\\ Lu &\leq 0 \qquad \text{everywhere in the domain } D,\\ Lu &= 0 \qquad \text{wherever } u > \varphi. \end{align}

Nonlocal minimal surfaces

The set $E$ satisfies. \[ \int_{\mathbb{R}^n} \frac{\chi_E(y)-\chi_{E^c}(y)}{|x-y|^{n+s}}dy=0 \;\;\forall\; x \in \partial E.\]

Nonlocal porous medium equation

\[ u_t = \mathrm{div} \left ( u \nabla (-\Delta)^{-s} u \right).\] Or \[ u_t +(-\Delta)^{s}(u^m) = 0. \]

Inviscid equations

Inviscid SQG

\[ \theta_t + u \cdot \nabla \theta = 0,\] where $u = \nabla^\perp (-\Delta)^{-1/2} \theta$.

Active scalar equation (from fluid mechanics)

\[ \theta_t + u \cdot \nabla \theta = 0,\] where $u = \nabla^\perp K \ast \theta$.

Aggregation equation

\[ \theta_t + \mathrm{div}(\theta \ u) = 0,\] where $u = \nabla K \ast \theta$.