Starting page
|
In this wiki we collect several results about nonlocal elliptic and parabolic equations.
If you want to know what a nonlocal equation refers to, a good starting point would be the Intro to nonlocal equations.
The wiki has an assumed bias towards regularity results and consequently to equations for which some regularization occurs. But we also include some topics which are tangentially related, or even completely unrelated, to regularity.
We keep a list of open problems and also upcoming events.
Why nonlocal equations are important
All partial differential equations are a limit case of nonlocal equations. A good understanding of nonlocal equations can ultimately provide a better understanding of their limit case: the PDEs. However, there are some cases in which a nonlocal equation gives a significantly better model than a PDE. Some of the most clear examples in which it is necessary to resort to nonlocal equations are
- Optimal control problems with Levy processes give rise to the Bellman equation, or in general any equation derived from jump processes will be some fully nonlinear integro-differential equation.
- In financial mathematics it is particularly important to study models involving jump processes. This can be considered a particular case of the item above (stochastic control), but it is a very relevant one. The pricing model for American options involves the obstacle problem.
- Nonlocal electrostatics is a very promising tool for drug design which could potentially have a strong impact in medicine in the future.
- The denoising algorithms in nonlocal image processing are able to detect patterns in a better way than the PDE based models. A simple model for denoising is the nonlocal mean curvature flow.
- The Boltzmann equation models the evolution of dilute gases and it is intrinsically an integral equation. In fact, simplified kinetic models can be used to derive the fractional heat equation without resorting to stochastic processes.
- In conformal geometry, nonlocal curvatures provide a very rich family of conformally invariant quantities.
- In oceanography, the temperature on the surface may diffuse though the atmosphere giving rise to the surface quasi-geostrophic equation.
- Several stochastic models, in particular particle systems, can be used to derive nonlocal equations like the Nonlocal porous medium equation, the Hamilton-Jacobi equation with fractional diffusion, conservation laws with fractional diffusion, etc...
Existence and uniqueness results
For a variety of nonlinear elliptic and parabolic equations, the existence of viscosity solutions can be obtained using Perron's method. The uniqueness of solutions is a consequence of the comparison principle.
There are some equations for which this general framework does not work, for example the surface quasi-geostrophic equation. One could say that the underlying reason is that the equation is not purely parabolic, but it has one hyperbolic term.
Regularity results
The regularity tools used for nonlocal equations vary depending on the type of equation.
Nonlinear equations
The starting point to study the regularity of solutions to a nonlinear elliptic or parabolic equation are the Holder estimates which hold under very weak assumptions and rough coefficients. They are related to the Harnack inequality.
For some fully nonlinear integro-differential equation with continuous coefficients, we can prove $C^{1,\alpha}$ estimates.
Under certain hypothesis, the nonlocal Bellman equation from optimal stochastic control has classical solutions due to the nonlocal version of Evans-Krylov theorem.
Semilinear equations
There are several interesting models that are semilinear equations. Those equations consists of either the fractional Laplacian or fractional heat equation plus a nonlinear term.
There are challenging regularity questions especially when the Laplacian interacts with gradient terms in Drift-diffusion equations. A simple method that has been successful in proving the well posedness of some semilinear equations with drift terms in the critical case (when both terms have the same scaling properties) is the conserved modulus of continuity approach, often called "nonlocal maximum principle method".