Harnack inequality and Open problems: Difference between pages

From nonlocal pde
(Difference between pages)
Jump to navigation Jump to search
imported>Luis
No edit summary
 
imported>Xavi
 
Line 1: Line 1:
$$
== Well posedness of the supercritical [[surface quasi-geostrophic equation]] ==
\newcommand{\dd}{\mathrm{d}}
Let $\theta_0 : \R^2 \to \R$ be a smooth function either with compact support or periodic. Let $s \in (0,1/2)$. Is there a global classical solution $\theta :\R^2 \to \R$ for the SQG equation?
\newcommand{\R}{\mathbb{R}}
\begin{align*}
$$
\theta(x,0) &= \theta_0(x) \\
\theta_t + u \cdot \nabla \theta &= 0 \qquad \text{in } \R^2 \times (0,+\infty)
\end{align*}
where $u = R^\perp \theta$ and $R$ stands for the Riesz transform.


The Harnack inequality refers to a control of the maximum of a nonnegative solution of an equation by its minimum. Unlike the local case (either [[De Giorgi-Nash-Moser theorem]] or [[Krylov-Safonov theorem]]), for nonlocal equations one needs to assume that the function is nonnegative in the full space.  
This is a very difficult open problem. It is believed that a solution would be a major step towards the understanding of Navier-Stokes equation. In the supercritical regime $s\in (0,1/2)$, the effect if the drift term is larger than the diffusion in small scales. Therefore, it seems unlikely that a proof of well posedness could be achieved with the methods currently known and listed in this wiki.


The Harnack inequality is tightly related to [[Holder estimates]] for solutions to elliptic/parabolic equations. For a large class of problems both statements are equivalent. But there are simple cases (stable processes with the spectral measure consisting of atoms) where the Harnack inequality fails but [[Hölder estimates]] still hold true.
Note that if the relation between $u$ and $\theta$ was changed by $u = R\theta$, then the equation is ill posed. This suggests that the divergence free nature of $u$ must play an important role, unlike the critical and subcritical cases $s \geq 1/2$.


The result can hold either in the parabolic or elliptic setting. The parabolic Harnack inequality trivially implies the elliptic one. The reverse implication is not automatic, and the proof in the parabolic case may have some extra difficulties compared to the elliptic case.
== Regularity of [[nonlocal minimal surfaces]] ==


== Elliptic case ==
A nonlocal minimal surface that is sufficiently flat is known to be smooth <ref name="CRS"/>. The possibility of singularities in the general case reduces to the analysis of a possible existence of nonlocal minimal cones. The problem can be stated as follows.


In the elliptic setting, the Harnack inequality refers to the following type of result: if a function $u: \R^n \to \R$ satisfies an elliptic equation $ L_x u (x) = f(x)$ in the unit ball $B_1$ and is nonnegative in the full space $\R^n$, then
For any $s \in (0,1)$, and any natural number $n$, is there any set $A \in \R^n$, other than a half space, such that
\[ \sup_{B_{1/2}} u \leq C \left( \inf_{B_{1/2}} u + \|f\| \right). \]
# $A$ is a cone: $\lambda A = A$ for any $\lambda > 0$.
# If $B$ is any set in $\R^n$ which coincides with $A$ outside of a compact set $C$, then the following inequality holds
\[ \int_C \int_{C} \frac{|\chi_A(x) - \chi_A(y)|}{|x-y|^{n+s}} \mathrm d x \mathrm d y + 2 \int_C \int_{\R^n \setminus C} \frac{|\chi_A(x) - \chi_A(y)|}{|x-y|^{n+s}} \mathrm d x \mathrm d y \leq \int_C \int_{C} \frac{|\chi_B(x) - \chi_B(y)|}{|x-y|^{n+s}} \mathrm d x \mathrm d y + 2\int_C \int_{\R^n \setminus C} \frac{|\chi_B(x) - \chi_B(y)|}{|x-y|^{n+s}} \mathrm d x \mathrm d y. \]


The norm $\|f\|$ may depend on the type of equation.
When $s$ is sufficiently close to one, such set does not exist if $n < 8$.


== Parabolic case ==
== An integral ABP estimate ==


In the parabolic setting, the Harnack inequality refers to the following type of result: if a function $u: [-1,0] \times \R^n \to \R$ satisfies a parabolic equation $ u_t - L_x u (x) = f(x)$ in the unit cylinder $(-1,0) \times B_1$ and is nonnegative in the full space $[-1,0] \times \R^n$, then
The nonlocal version of the [[Alexadroff-Bakelman-Pucci estimate]] holds either for a right hand side in $L^\infty$ <ref name="CS"/> (in which the integral right hand side is approximated by a discrete sum) or under very restrictive assumptions on the kernels <ref name="GS"/>. Would the following result be true?
\[ \sup_{[-1/2,-1/4] \times B_{1/2}} u \leq \left(\inf_{[-1/4,0] \times B_{1/2}} u + \|f\| \right). \]


The norm $\|f\|$ may depend on the type of equation.
Assume $u_n \leq 0$ outside $B_1$ and for all $x \in B_1$,
\[ \int_{\R^n} (u(x+y)-u(x)) K(x,y) \mathrm d y \geq \chi_{A_n}(x). \]
Where $\chi_{A_n}$ stands for the characteristic function of the sets $A_n$. Assume that the kernels $K$ satisfy symmetry and a uniform ellipticity condition
\begin{align*}
K(x,y) &= K(x,-y) \\
\lambda |y|^{-n-s} \leq K(x,y) &\leq \Lambda |y|^{-n-s} \qquad \text{for some } 0<\lambda<\Lambda \text{ and } s \in (0,2).
\end{align*}
If $|A_n|\to 0$ as $n \to +\infty$, is it true that $\sup u_n^+ \to 0$ as well?


== Concrete examples ==
This type of estimate is currently known only under strong structural hypothesis on the kernels $K$.<ref name="GS"/>


The Harnack inequality as above is known to hold in the following situations.
== A [[comparison principle]] for $x$-dependent nonlocal equations which are '''not''' in the Levy-Ito form ==
Consider two continuous functions $u$ and $v$ such that
\begin{align*}
u(x) &\leq v(x) \qquad \text{for all $x$ outside some set } \Omega,\\
F(x,\{I_\alpha u(x)\}) &\geq F(x,\{I_\alpha v(x)\})\qquad \text{for all $x \in \Omega$}.
\end{align*}
Is it true that $u \leq v$ in $\Omega$ as well?


* '''Generalizad elliptic and parabolic [[Krylov-Safonov]]'''. If $L_x u(x)$ is a symmetric integro-differential operator of the form
It is natural to expect this result to hold if $F$ is continuous respect to $x$ and the [[linear integro-differential operators]] $I_\alpha$ satisfy some nondegeneracy condition and continuity respect to $x$, e.g.
\[ L_x u(x) = \int_{\R^n} (u(x+y)-u(x)) K(x,y) \dd y \]
\begin{align*}
with $K$ symmetric ($K(x,y)=K(x,-y)$) and uniformly elliptic of order $s$: $(2-s)\lambda |y|^{-n-s} \leq K(x,y) \leq (2-s) \Lambda |y|^{-n-s}$.
I[u] = \int (u(x+z) - u(x) - Du(x)\cdot z 1_{B}(z))\mu_x(dz)
\end{align*}
where $(\mu_x)_x$ is a family of L\'evy measures, H\"older continous with respect to $x$?


In this case both the elliptic and parabolic Harnack inequality is known to hold with a constant $C$ which '''does not blow up as $s\to 2$''', and $\|f\|$ refers to $\|f\|_{L^\infty(B_1)}$ <ref name="CS"/><ref name="chang2014h"/>. It is a generalization of [[Krylov-Safonov]] theorem.
Currently the comparison principle is only known if the kernels are continuous when written in the Levy-Ito form.<ref name="BI"/>


* '''Elliptic equations with variable order (but strictly less than 2)'''. If $L_x u(x)$ is an integro-differential operator of the form
== A local [[Nonlocal Evans-Krylov theorem|$C^{s+\alpha}$ estimate]] for the the [[Monster Pucci operator | Pucci equation]] of order $s$ ==
\[ L_x u(x) = \int_{\R^n} (u(x+y)-u(x)- y \cdot \nabla u(x) \chi_{B_1}(y)) K(x,y) \dd y \]
with uniformly elliptic of variable order: $\lambda |y|^{-n-s_1} \leq K(x,y) \leq \Lambda |y|^{-n-s_2}$ and $0<s_1 < s_2 < 2$ and $s_2 - s_1 < 1$, then
the elliptic Harnack inequality holds if $f \equiv 0$<ref name="BK"/>. The constants in this result blow up as $s_2 \to 2$, so it does not generalize [[Krylov-Safonov]] theorem. The proof uses probability and was based on a previous result with fixed order <ref name="BL"/>.


It is conceivable that a purely analytic proof could be done using the method of the corresponding [[Holder estimate]] <ref name="S"/>, but such proof has never been done.
Assume that $u : \R^n \to \R$ is a bounded function satisfying the equation
\[ M^+ u = 0 \qquad \text{in } B_1.\]
Here $M^+$ is the [[Monster Pucci operator]] of order $s$. Is it true that $u \in C^{s+\alpha}(B_{1/2})$?


* '''Gradient flows of symmetric Dirichlet forms with variable order'''. If $u_t - L_x u(x)=0$ is the gradient flow of a [[Dirichlet form]]:
In the proof of the [[Nonlocal Evans-Krylov theorem]] <ref name="CS3"/>, it is assumed that the second derivatives of the kernels satisfy certain bounds. Because of this, it cannot be applied to this case.
\[ \iint_{\R^n \times \R^n} (u(y)-u(x))^2 K(x,y)\, \dd x \dd y. \]
for kernels $K$ such that $K(x,y)=K(y,x)$ and $\lambda |x-y|^{-n-s_1} \leq K(x,y) \leq \Lambda |x-y|^{-n-s_2}$ for some $0<s_1<s_2<2$ and $|x-y|$ sufficiently small. Then the parabolic Harnack inequality holds if $f \equiv 0$ for some constant $C$ which a priori '''blows up as $s_2 \to 2$''' <ref name="BBCK"/>.  


It is conceivable that a Harnack inequality for Dirichlet forms can be proved for an equation with fixed order, with constants that do not blow up as the order goes to two, using the ideas from the Holder estimates<ref name="K"/>.


* An equation where the Harnack inequality fails.
UPDATE: this question was resolved by Joaquim Serra <ref name="serra2014c" />.


There exist integro-differential equations of the form
== Optimal regularity for the [[obstacle problem]] for a general integro-differential operator ==
\[ \int_{\R^n} (u(x+y)-u(x)) K(y) \dd y = 0,\]
for which the Harnack inequality fails. In this case the kernels $K$ can be nonnegative, stable (i.e $K(ry) = r^{-n-s} K(y)$), symmetric (i.e. $K(y) = K(-y)$), independent of $x$, bounded above by
\[ K(y) \leq \Lambda |y|^{-n-s},\]
and satisfying the bound below only in a cone of directions
\[ K(y) \geq \lambda |y|^{-n-s} \mathbb{1}_S(y),\]
where $S$ is a cone with positive measure on $\partial B_1$.


The construction was first given in <ref name="bogdan2005harnack" />. See also the discussion in <ref name="rang2013h" />. The example is particularly relevant because [[Holder estimates]] hold for this equation.
Let $u$ be the solution to the [[obstacle problem for the fractional laplacian]],
\begin{align*}
u &\geq \varphi \qquad \text{in } \R^n, \\
(-\Delta)^{s/2} u &\geq 0 \qquad \text{in } \R^n, \\
(-\Delta)^{s/2} u &= 0 \qquad \text{in } \{u>\varphi\}, \\
\end{align*}
where $\varphi$ is a smooth compactly supported function. It is known that $u \in C^{1,s/2}$ (where $s$ coincides with the order of the fractional Laplacian). This regularity is optimal in the sense that one can construct solutions that are not in $C^{1,s/2+\varepsilon}$ for any $\varepsilon>0$. One can consider the same problem replacing the fractional Laplacian by any other nonlocal operator. In fact, this problem corresponds to the [[optimal stopping problem]] in stochastic control, with applications to mathematical finance. The fractional Laplacian is just the particular case when the [[Levy  process]] involved is $\alpha$-stable and radially symmetric. The optimal regularity for the general problem is currently an open problem. Even in the linear case with constant coefficients this is nontrivial. If $u$ is a solution of
\begin{align*}
u &\geq \varphi \qquad \text{in } \R^n, \\
L u &\leq 0 \qquad \text{in } \R^n, \\
L u &= 0 \qquad \text{in } \{u>\varphi\}, \\
\end{align*}
where $L$ is a [[linear integro-differential operator]], then what is the optimal regularity we can obtain for $u$?
 
The optimal regularity would naturally depend on some assumptions on the linear operator $L$. If $L$ is a purely integro-differential with a kernel $K$ satisfying the usual ellipticity conditions
\begin{align*}
K(y) &= K(-y) \\
\frac{\lambda(2-s)}{ |y|^{n+s}} \leq K(y) &\leq \frac{\Lambda(2-s)}{ |y|^{n+s}} \qquad \text{for some } 0<\lambda<\Lambda \text{ and } s \in (0,2),
\end{align*}
it is natural to expect the solution $u$ to be $C^s$, but this regularity is not optimal. Is the optimal regularity going to be $C^{1,s/2}$ as in the fractional Laplacian case? Most probably some extra assumption on the kernel will be needed.
 
A solution to this problem would be very interesting if it provides an optimal regularity result for a natural family of kernels. If the assumption is something hard to check (like for example that there exists an extension problem whose Dirichlet to Neumann map is $L$), then the result may not be that interesting.
 
== Holder estimates for drift-diffusion equations (sharp assumptions for $b$ in the case $s>1/2$) ==
 
Consider a [[drift-diffusion equation]] of the form
\[ u_t + b \cdot \nabla u + (-\Delta)^s u = 0.\]
 
The solution $u$ is known to become Holder continuous under a variety of assumptions on the vector field $b$. If we assume that $\mathrm{div}\, b = 0$, we may expect that the required assumptions are slightly more flexible. Indeed, if $s=1/2$, the solution $u$ becomes Holder for positive time if $b \in L^\infty(BMO)$ <ref name="CV"/>. On the other hand, if $s=1$, the solution $u$ becomes Holder continuous for positive time if $b \in L^\infty(BMO^{-1})$ (if $b$ is the sum of derivatives of $BMO$ functions) <ref name="FV"/> <ref name="SSSZ"/>. A natural conjecture would be that the same result applies for $s \in (1/2,1)$ if $b \in L^\infty(BMO^{2s-1})$ (meaning that $(-\Delta)^{1-2s} b \in L^\infty(BMO)$).
 
The case $s < 1/2$ is completely understood and the assumption $\mathrm{div}\, b =0$ is not even necessary. For $s \in (1/2,1)$, only some perturbative results seem to be known under stronger assumptions. It is conceivable that the approach of Caffarelli and Vasseur <ref name="CV"/> can be worked out assuming that $b \in L^\infty(L^p)$ for a critical power $p$.
 
== Complete understanding of free boundary points in the [[fractional obstacle problem]] ==
 
Some free boundary points of the [[fractional obstacle problem]] are classified as regular and the free boundary is known to be smooth around them <ref name="CSS"/>. Other points on the free boundary are classified as singular, and for $s=\frac12$ they are shown to be contained in a lower dimensional differentiable surface, and therefore to be rare <ref name="GP"/>. However, there may be other points on the free boundary that do not fall under those two categories. Two questions need to be answered.\
# Can there be any point on the free boundary that is neither regular nor singular? It is easy to produce examples in the [[thin obstacle problem]], using the [[extension technique]]. However, it is not clear if such examples can be made in the original formulation of the [[fractional obstacle problem]] because of the decay at infinity requirement.
# In case that a point of a third category exist, is the free boundary smooth around these points in the ''third category''?
 
Other open problems concerning the [[fractional obstacle problem]] are
# Further regularity of the free boundary in smoother classes than $C^{1,\alpha}$.
# Regularity of the free boundary for the parabolic problem.
 
== Holder estimates for parabolic equations with variable order ==
 
[[Holder estimates]] are known for elliptic and parabolic integro-differential equations with rough kernels. For elliptic equations, these estimates are available even when the order of the equation changes from point to point <ref name="BK"/> <ref name="S" />. Such estimate is not available for parabolic equations and it is not clear whether it holds.
 
More precisely, we would like to study a parabolic equation of the form
\[ u_t(t,x) = \int_{\R^n} (u(t,x+y) - u(t,x)) K(t,x,y) dy.\]
Here $K$ is symmetric (i.e. $K(t,x,y) = K(t,x,-y)$) and satisfies the bounds
\[ \frac \lambda {|y|^{n+s(t,x)}} \leq K(t,x,y) \leq \frac \Lambda {|y|^{n+s(t,x)}}.\]
The order of the equation $s(t,x) \in (0,1)$ changes from point to point and it should stay strictly away from zero. It would also make sense to study other families of [[linear integro-differential operators]]. Does a parabolic [[Holder estimate]] hold in this case?


== References ==
== References ==
{{reflist|refs=
{{reflist|refs=
<ref name="S">{{Citation | last1=Silvestre | first1=Luis | title=Hölder estimates for solutions of integro-differential equations like the fractional Laplace | url=http://dx.doi.org/10.1512/iumj.2006.55.2706 | doi=10.1512/iumj.2006.55.2706 | year=2006 | journal=Indiana University Mathematics Journal | issn=0022-2518 | volume=55 | issue=3 | pages=1155–1174}}</ref>
<ref name="CS">{{Citation | last1=Caffarelli | first1=Luis | last2=Silvestre | first2=Luis | title=Regularity theory for fully nonlinear integro-differential equations | url=http://dx.doi.org/10.1002/cpa.20274 | doi=10.1002/cpa.20274 | year=2009 | journal=[[Communications on Pure and Applied Mathematics]] | issn=0010-3640 | volume=62 | issue=5 | pages=597–638}}</ref>
<ref name="CS">{{Citation | last1=Caffarelli | first1=Luis | last2=Silvestre | first2=Luis | title=Regularity theory for fully nonlinear integro-differential equations | url=http://dx.doi.org/10.1002/cpa.20274 | doi=10.1002/cpa.20274 | year=2009 | journal=[[Communications on Pure and Applied Mathematics]] | issn=0010-3640 | volume=62 | issue=5 | pages=597–638}}</ref>
<ref name="BK">{{Citation | last1=Bass | first1=Richard F. | last2=Kassmann | first2=Moritz | title=Harnack inequalities for non-local operators of variable order | url=http://dx.doi.org/10.1090/S0002-9947-04-03549-4 | doi=10.1090/S0002-9947-04-03549-4 | year=2005 | journal=[[Transactions of the American Mathematical Society]] | issn=0002-9947 | volume=357 | issue=2 | pages=837–850}}</ref>
<ref name="CS3">{{Citation | last1=Caffarelli | first1=Luis | last2=Silvestre | first2=Luis | title=The Evans-Krylov theorem for non local fully non linear equations | year=to appear | journal=[[Annals of Mathematics]] | issn=0003-486X}}</ref>
<ref name="BL">{{Citation | last1=Bass | first1=Richard F. | last2=Levin | first2=David A. | title=Harnack inequalities for jump processes | url=http://dx.doi.org/10.1023/A:1016378210944 | doi=10.1023/A:1016378210944 | year=2002 | journal=Potential Analysis. An International Journal Devoted to the Interactions between Potential Theory, Probability Theory, Geometry and Functional Analysis | issn=0926-2601 | volume=17 | issue=4 | pages=375–388}}</ref>
<ref name="CV">{{Citation | last1=Caffarelli | first1=Luis A. | last2=Vasseur | first2=Alexis | title=Drift diffusion equations with fractional diffusion and the quasi-geostrophic equation | url=http://dx.doi.org/10.4007/annals.2010.171.1903 | doi=10.4007/annals.2010.171.1903 | year=2010 | journal=[[Annals of Mathematics|Annals of Mathematics. Second Series]] | issn=0003-486X | volume=171 | issue=3 | pages=1903–1930}}</ref>
<ref name="BBCK">{{Citation | last1=Barlow | first1=Martin T. | last2=Bass | first2=Richard F. | last3=Chen | first3=Zhen-Qing | last4=Kassmann | first4=Moritz | title=Non-local Dirichlet forms and symmetric jump processes | url=http://dx.doi.org/10.1090/S0002-9947-08-04544-3 | doi=10.1090/S0002-9947-08-04544-3 | year=2009 | journal=[[Transactions of the American Mathematical Society]] | issn=0002-9947 | volume=361 | issue=4 | pages=1963–1999}}</ref>
<ref name="SSSZ">{{Citation | last1=Seregin | first1=G. | last2=Silvestre | first2=Luis | last3=Sverak | first3=V. | last4=Zlatos | first4=A. | title=On divergence-free drifts | year=2010 | journal=Arxiv preprint arXiv:1010.6025}}</ref>
<ref name="K">{{Citation | last1=Kassmann | first1=Moritz | title=A priori estimates for integro-differential operators with measurable kernels | url=http://dx.doi.org/10.1007/s00526-008-0173-6 | doi=10.1007/s00526-008-0173-6 | year=2009 | journal=Calculus of Variations and Partial Differential Equations | issn=0944-2669 | volume=34 | issue=1 | pages=1–21}}</ref>
<ref name="FV">{{Citation | last1=Friedlander | first1=S. | last2=Vicol | first2=V. | title=Global well-posedness for an advection-diffusion equation arising in magneto-geostrophic dynamics | year=2011 | journal=Annales de l'Institut Henri Poincare (C) Non Linear Analysis}}</ref>
<ref name="chang2014h">{{Citation | last1=Chang-Lara | first1= Hector | last2=Davila | first2= Gonzalo | title=Holder estimates for non-local parabolic equations with critical drift | journal=arXiv preprint arXiv:1408.0676}}</ref>
<ref name="CRS">{{Citation | last1=Caffarelli | first1=Luis A. | last2=Roquejoffre | first2=Jean Michel |last3= Savin | first3= Ovidiu | title= Nonlocal Minimal Surfaces | url=http://onlinelibrary.wiley.com/doi/10.1002/cpa.20331/abstract | doi=10.1002/cpa.20331 | year=2010 | journal=[[Communications on Pure and Applied Mathematics]] | issn=0003-486X | volume=63 | issue=9 | pages=1111–1144}}</ref>
<ref name="bogdan2005harnack">{{Citation | last1=Bogdan | first1= Krzysztof | last2=Sztonyk | first2= Pawe\l | title=Harnack’s inequality for stable Lévy processes | journal=Potential Analysis | year=2005 | volume=22 | pages=133--150}}</ref>
<ref name="GS">{{Citation | last1=Guillen | first1=N. | last2=Schwab | first2=R. | title=Aleksandrov-Bakelman-Pucci Type Estimates For Integro-Differential Equations | year=2010 | journal=Arxiv preprint arXiv:1101.0279}}</ref>
<ref name="rang2013h">{{Citation | last1=Rang | first1= Marcus | last2=Kassmann | first2= Moritz | last3=Schwab | first3= Russell W | title=H$\backslash$" older Regularity For Integro-Differential Equations With Nonlinear Directional Dependence | journal=arXiv preprint arXiv:1306.0082}}</ref>
<ref name="CSS">{{Citation | last1=Caffarelli | first1=Luis A. | last2=Salsa | first2=Sandro | last3=Silvestre | first3=Luis | title=Regularity estimates for the solution and the free boundary of the obstacle problem for the fractional Laplacian | url=http://dx.doi.org/10.1007/s00222-007-0086-6 | doi=10.1007/s00222-007-0086-6 | year=2008 | journal=[[Inventiones Mathematicae]] | issn=0020-9910 | volume=171 | issue=2 | pages=425–461}}</ref>
<ref name="GP">{{Citation | last1=Petrosyan | first1=A. | last2=Garofalo | first2=N. | title=Some new monotonicity formulas and the singular set in the lower dimensional obstacle problem | publisher=[[Springer-Verlag]] | location=Berlin, New York | year=2009 | journal=[[Inventiones Mathematicae]] | issn=0020-9910 | volume=177 | issue=2 | pages=415–461}}</ref>
<ref name="GS">{{Citation | last1=Guillen | first1=N. | last2=Schwab | first2=R. | title=Aleksandrov-bakelman-pucci type estimates for integro-differential equations | year=2010 | journal=Arxiv preprint arXiv:1101.0279}}</ref>
<ref name="BI">{{Citation | last1=Barles | first1=Guy | last2=Imbert | first2=Cyril | title=Second-order elliptic integro-differential equations: viscosity solutions' theory revisited | url=http://dx.doi.org/10.1016/j.anihpc.2007.02.007 | doi=10.1016/j.anihpc.2007.02.007 | year=2008 | journal=Annales de l'Institut Henri Poincaré. Analyse Non Linéaire | issn=0294-1449 | volume=25 | issue=3 | pages=567–585}}</ref>
<ref name="BK">{{Citation | last1=Bass | first1=Richard F. | last2=Kassmann |
first2=Moritz | title=Hölder continuity of harmonic functions with respect to
operators of variable order | url=http://dx.doi.org/10.1080/03605300500257677 |
doi=10.1080/03605300500257677 | year=2005 | journal=Communications in Partial
Differential Equations | issn=0360-5302 | volume=30 | issue=7 |
pages=1249–1259}}</ref>
<ref name="S">{{Citation | last1=Silvestre | first1=Luis | title=Hölder
estimates for solutions of integro-differential equations like the fractional
Laplace | url=http://dx.doi.org/10.1512/iumj.2006.55.2706 |
doi=10.1512/iumj.2006.55.2706 | year=2006 | journal=Indiana University
Mathematics Journal | issn=0022-2518 | volume=55 | issue=3 |
pages=1155–1174}}</ref>
<ref name="serra2014c">{{Citation | last1=Serra | first1= Joaquim | title=$C^{\sigma+\alpha}$ regularity for concave nonlocal fully nonlinear elliptic equations with rough kernels | journal=arXiv preprint arXiv:1405.0930}}</ref>
}}
}}

Revision as of 11:51, 15 May 2015

Well posedness of the supercritical surface quasi-geostrophic equation

Let $\theta_0 : \R^2 \to \R$ be a smooth function either with compact support or periodic. Let $s \in (0,1/2)$. Is there a global classical solution $\theta :\R^2 \to \R$ for the SQG equation? \begin{align*} \theta(x,0) &= \theta_0(x) \\ \theta_t + u \cdot \nabla \theta &= 0 \qquad \text{in } \R^2 \times (0,+\infty) \end{align*} where $u = R^\perp \theta$ and $R$ stands for the Riesz transform.

This is a very difficult open problem. It is believed that a solution would be a major step towards the understanding of Navier-Stokes equation. In the supercritical regime $s\in (0,1/2)$, the effect if the drift term is larger than the diffusion in small scales. Therefore, it seems unlikely that a proof of well posedness could be achieved with the methods currently known and listed in this wiki.

Note that if the relation between $u$ and $\theta$ was changed by $u = R\theta$, then the equation is ill posed. This suggests that the divergence free nature of $u$ must play an important role, unlike the critical and subcritical cases $s \geq 1/2$.

Regularity of nonlocal minimal surfaces

A nonlocal minimal surface that is sufficiently flat is known to be smooth [1]. The possibility of singularities in the general case reduces to the analysis of a possible existence of nonlocal minimal cones. The problem can be stated as follows.

For any $s \in (0,1)$, and any natural number $n$, is there any set $A \in \R^n$, other than a half space, such that

  1. $A$ is a cone: $\lambda A = A$ for any $\lambda > 0$.
  2. If $B$ is any set in $\R^n$ which coincides with $A$ outside of a compact set $C$, then the following inequality holds

\[ \int_C \int_{C} \frac{|\chi_A(x) - \chi_A(y)|}{|x-y|^{n+s}} \mathrm d x \mathrm d y + 2 \int_C \int_{\R^n \setminus C} \frac{|\chi_A(x) - \chi_A(y)|}{|x-y|^{n+s}} \mathrm d x \mathrm d y \leq \int_C \int_{C} \frac{|\chi_B(x) - \chi_B(y)|}{|x-y|^{n+s}} \mathrm d x \mathrm d y + 2\int_C \int_{\R^n \setminus C} \frac{|\chi_B(x) - \chi_B(y)|}{|x-y|^{n+s}} \mathrm d x \mathrm d y. \]

When $s$ is sufficiently close to one, such set does not exist if $n < 8$.

An integral ABP estimate

The nonlocal version of the Alexadroff-Bakelman-Pucci estimate holds either for a right hand side in $L^\infty$ [2] (in which the integral right hand side is approximated by a discrete sum) or under very restrictive assumptions on the kernels [3]. Would the following result be true?

Assume $u_n \leq 0$ outside $B_1$ and for all $x \in B_1$, \[ \int_{\R^n} (u(x+y)-u(x)) K(x,y) \mathrm d y \geq \chi_{A_n}(x). \] Where $\chi_{A_n}$ stands for the characteristic function of the sets $A_n$. Assume that the kernels $K$ satisfy symmetry and a uniform ellipticity condition \begin{align*} K(x,y) &= K(x,-y) \\ \lambda |y|^{-n-s} \leq K(x,y) &\leq \Lambda |y|^{-n-s} \qquad \text{for some } 0<\lambda<\Lambda \text{ and } s \in (0,2). \end{align*} If $|A_n|\to 0$ as $n \to +\infty$, is it true that $\sup u_n^+ \to 0$ as well?

This type of estimate is currently known only under strong structural hypothesis on the kernels $K$.[3]

A comparison principle for $x$-dependent nonlocal equations which are not in the Levy-Ito form

Consider two continuous functions $u$ and $v$ such that \begin{align*} u(x) &\leq v(x) \qquad \text{for all $x$ outside some set } \Omega,\\ F(x,\{I_\alpha u(x)\}) &\geq F(x,\{I_\alpha v(x)\})\qquad \text{for all $x \in \Omega$}. \end{align*} Is it true that $u \leq v$ in $\Omega$ as well?

It is natural to expect this result to hold if $F$ is continuous respect to $x$ and the linear integro-differential operators $I_\alpha$ satisfy some nondegeneracy condition and continuity respect to $x$, e.g. \begin{align*} I[u] = \int (u(x+z) - u(x) - Du(x)\cdot z 1_{B}(z))\mu_x(dz) \end{align*} where $(\mu_x)_x$ is a family of L\'evy measures, H\"older continous with respect to $x$?

Currently the comparison principle is only known if the kernels are continuous when written in the Levy-Ito form.[4]

A local $C^{s+\alpha}$ estimate for the the Pucci equation of order $s$

Assume that $u : \R^n \to \R$ is a bounded function satisfying the equation \[ M^+ u = 0 \qquad \text{in } B_1.\] Here $M^+$ is the Monster Pucci operator of order $s$. Is it true that $u \in C^{s+\alpha}(B_{1/2})$?

In the proof of the Nonlocal Evans-Krylov theorem [5], it is assumed that the second derivatives of the kernels satisfy certain bounds. Because of this, it cannot be applied to this case.


UPDATE: this question was resolved by Joaquim Serra [6].

Optimal regularity for the obstacle problem for a general integro-differential operator

Let $u$ be the solution to the obstacle problem for the fractional laplacian, \begin{align*} u &\geq \varphi \qquad \text{in } \R^n, \\ (-\Delta)^{s/2} u &\geq 0 \qquad \text{in } \R^n, \\ (-\Delta)^{s/2} u &= 0 \qquad \text{in } \{u>\varphi\}, \\ \end{align*} where $\varphi$ is a smooth compactly supported function. It is known that $u \in C^{1,s/2}$ (where $s$ coincides with the order of the fractional Laplacian). This regularity is optimal in the sense that one can construct solutions that are not in $C^{1,s/2+\varepsilon}$ for any $\varepsilon>0$. One can consider the same problem replacing the fractional Laplacian by any other nonlocal operator. In fact, this problem corresponds to the optimal stopping problem in stochastic control, with applications to mathematical finance. The fractional Laplacian is just the particular case when the Levy process involved is $\alpha$-stable and radially symmetric. The optimal regularity for the general problem is currently an open problem. Even in the linear case with constant coefficients this is nontrivial. If $u$ is a solution of \begin{align*} u &\geq \varphi \qquad \text{in } \R^n, \\ L u &\leq 0 \qquad \text{in } \R^n, \\ L u &= 0 \qquad \text{in } \{u>\varphi\}, \\ \end{align*} where $L$ is a linear integro-differential operator, then what is the optimal regularity we can obtain for $u$?

The optimal regularity would naturally depend on some assumptions on the linear operator $L$. If $L$ is a purely integro-differential with a kernel $K$ satisfying the usual ellipticity conditions \begin{align*} K(y) &= K(-y) \\ \frac{\lambda(2-s)}{ |y|^{n+s}} \leq K(y) &\leq \frac{\Lambda(2-s)}{ |y|^{n+s}} \qquad \text{for some } 0<\lambda<\Lambda \text{ and } s \in (0,2), \end{align*} it is natural to expect the solution $u$ to be $C^s$, but this regularity is not optimal. Is the optimal regularity going to be $C^{1,s/2}$ as in the fractional Laplacian case? Most probably some extra assumption on the kernel will be needed.

A solution to this problem would be very interesting if it provides an optimal regularity result for a natural family of kernels. If the assumption is something hard to check (like for example that there exists an extension problem whose Dirichlet to Neumann map is $L$), then the result may not be that interesting.

Holder estimates for drift-diffusion equations (sharp assumptions for $b$ in the case $s>1/2$)

Consider a drift-diffusion equation of the form \[ u_t + b \cdot \nabla u + (-\Delta)^s u = 0.\]

The solution $u$ is known to become Holder continuous under a variety of assumptions on the vector field $b$. If we assume that $\mathrm{div}\, b = 0$, we may expect that the required assumptions are slightly more flexible. Indeed, if $s=1/2$, the solution $u$ becomes Holder for positive time if $b \in L^\infty(BMO)$ [7]. On the other hand, if $s=1$, the solution $u$ becomes Holder continuous for positive time if $b \in L^\infty(BMO^{-1})$ (if $b$ is the sum of derivatives of $BMO$ functions) [8] [9]. A natural conjecture would be that the same result applies for $s \in (1/2,1)$ if $b \in L^\infty(BMO^{2s-1})$ (meaning that $(-\Delta)^{1-2s} b \in L^\infty(BMO)$).

The case $s < 1/2$ is completely understood and the assumption $\mathrm{div}\, b =0$ is not even necessary. For $s \in (1/2,1)$, only some perturbative results seem to be known under stronger assumptions. It is conceivable that the approach of Caffarelli and Vasseur [7] can be worked out assuming that $b \in L^\infty(L^p)$ for a critical power $p$.

Complete understanding of free boundary points in the fractional obstacle problem

Some free boundary points of the fractional obstacle problem are classified as regular and the free boundary is known to be smooth around them [10]. Other points on the free boundary are classified as singular, and for $s=\frac12$ they are shown to be contained in a lower dimensional differentiable surface, and therefore to be rare [11]. However, there may be other points on the free boundary that do not fall under those two categories. Two questions need to be answered.\

  1. Can there be any point on the free boundary that is neither regular nor singular? It is easy to produce examples in the thin obstacle problem, using the extension technique. However, it is not clear if such examples can be made in the original formulation of the fractional obstacle problem because of the decay at infinity requirement.
  2. In case that a point of a third category exist, is the free boundary smooth around these points in the third category?

Other open problems concerning the fractional obstacle problem are

  1. Further regularity of the free boundary in smoother classes than $C^{1,\alpha}$.
  2. Regularity of the free boundary for the parabolic problem.

Holder estimates for parabolic equations with variable order

Holder estimates are known for elliptic and parabolic integro-differential equations with rough kernels. For elliptic equations, these estimates are available even when the order of the equation changes from point to point [12] [13]. Such estimate is not available for parabolic equations and it is not clear whether it holds.

More precisely, we would like to study a parabolic equation of the form \[ u_t(t,x) = \int_{\R^n} (u(t,x+y) - u(t,x)) K(t,x,y) dy.\] Here $K$ is symmetric (i.e. $K(t,x,y) = K(t,x,-y)$) and satisfies the bounds \[ \frac \lambda {|y|^{n+s(t,x)}} \leq K(t,x,y) \leq \frac \Lambda {|y|^{n+s(t,x)}}.\] The order of the equation $s(t,x) \in (0,1)$ changes from point to point and it should stay strictly away from zero. It would also make sense to study other families of linear integro-differential operators. Does a parabolic Holder estimate hold in this case?

References

  1. ↑ Caffarelli, Luis A.; Roquejoffre, Jean Michel; Savin, Ovidiu (2010), "Nonlocal Minimal Surfaces", Communications on Pure and Applied Mathematics 63 (9): 1111–1144, doi:10.1002/cpa.20331, ISSN 0003-486X, http://onlinelibrary.wiley.com/doi/10.1002/cpa.20331/abstract 
  2. ↑ Caffarelli, Luis; Silvestre, Luis (2009), "Regularity theory for fully nonlinear integro-differential equations", Communications on Pure and Applied Mathematics 62 (5): 597–638, doi:10.1002/cpa.20274, ISSN 0010-3640, http://dx.doi.org/10.1002/cpa.20274 
  3. ↑ 3.0 3.1 Guillen, N.; Schwab, R. (2010), "Aleksandrov-Bakelman-Pucci Type Estimates For Integro-Differential Equations", Arxiv preprint arXiv:1101.0279  Cite error: Invalid <ref> tag; name "GS" defined multiple times with different content
  4. ↑ Barles, Guy; Imbert, Cyril (2008), "Second-order elliptic integro-differential equations: viscosity solutions' theory revisited", Annales de l'Institut Henri Poincaré. Analyse Non Linéaire 25 (3): 567–585, doi:10.1016/j.anihpc.2007.02.007, ISSN 0294-1449, http://dx.doi.org/10.1016/j.anihpc.2007.02.007 
  5. ↑ Caffarelli, Luis; Silvestre, Luis (to appear), "The Evans-Krylov theorem for non local fully non linear equations", Annals of Mathematics, ISSN 0003-486X 
  6. ↑ Serra, Joaquim, "$C^{\sigma+\alpha}$ regularity for concave nonlocal fully nonlinear elliptic equations with rough kernels", arXiv preprint arXiv:1405.0930 
  7. ↑ 7.0 7.1 Caffarelli, Luis A.; Vasseur, Alexis (2010), "Drift diffusion equations with fractional diffusion and the quasi-geostrophic equation", Annals of Mathematics. Second Series 171 (3): 1903–1930, doi:10.4007/annals.2010.171.1903, ISSN 0003-486X, http://dx.doi.org/10.4007/annals.2010.171.1903 
  8. ↑ Friedlander, S.; Vicol, V. (2011), "Global well-posedness for an advection-diffusion equation arising in magneto-geostrophic dynamics", Annales de l'Institut Henri Poincare (C) Non Linear Analysis 
  9. ↑ Seregin, G.; Silvestre, Luis; Sverak, V.; Zlatos, A. (2010), "On divergence-free drifts", Arxiv preprint arXiv:1010.6025 
  10. ↑ Caffarelli, Luis A.; Salsa, Sandro; Silvestre, Luis (2008), "Regularity estimates for the solution and the free boundary of the obstacle problem for the fractional Laplacian", Inventiones Mathematicae 171 (2): 425–461, doi:10.1007/s00222-007-0086-6, ISSN 0020-9910, http://dx.doi.org/10.1007/s00222-007-0086-6 
  11. ↑ Petrosyan, A.; Garofalo, N. (2009), "Some new monotonicity formulas and the singular set in the lower dimensional obstacle problem", Inventiones Mathematicae (Berlin, New York: Springer-Verlag) 177 (2): 415–461, ISSN 0020-9910 
  12. ↑ Bass, Richard F.; Kassmann, Moritz (2005), [http://dx.doi.org/10.1080/03605300500257677 "Hölder continuity of harmonic functions with respect to operators of variable order"], Communications in Partial Differential Equations 30 (7): 1249–1259, doi:10.1080/03605300500257677, ISSN 0360-5302, http://dx.doi.org/10.1080/03605300500257677 
  13. ↑ Silvestre, Luis (2006), [http://dx.doi.org/10.1512/iumj.2006.55.2706 "Hölder estimates for solutions of integro-differential equations like the fractional Laplace"], Indiana University Mathematics Journal 55 (3): 1155–1174, doi:10.1512/iumj.2006.55.2706, ISSN 0022-2518, http://dx.doi.org/10.1512/iumj.2006.55.2706 
Retrieved from "https://web.ma.utexas.edu/mediawiki/index.php?title=Harnack_inequality&oldid=776"