Calderon-Zygmund type estimates for nonlocal PDE with Hölder continuous kernel

From MaRDI portal
Publication:2020407

DOI10.1016/J.AIM.2021.107692zbMATH Open1462.35117arXiv2001.11944OpenAlexW3004317110MaRDI QIDQ2020407FDOQ2020407


Authors: Tadele Mengesha, Armin Schikorra, Sasikarn Yeepo Edit this on Wikidata


Publication date: 23 April 2021

Published in: Advances in Mathematics (Search for Journal in Brave)

Abstract: We study interior Lp-regularity theory, also known as Calderon-Zygmund theory, of the equation [ int_{mathbb{R}^n} int_{mathbb{R}^n} frac{K(x,y) (u(x)-u(y)), (varphi(x)-varphi(y))}{|x-y|^{n+2s}}, dx, dy = langle f, varphi angle quad varphi in C_c^infty(mathbb{R}^n). ] For sin(0,1), tin[s,2s], pin[2,infty), K an elliptic, symmetric, H"older continuous kernel, if finleft(H00t,p(Omega)ight)ast, then the solution u belongs to Hloc2st,p(Omega) as long as 2st<1. The increase in differentiability is independent of the H"older coefficient of K. For example, our result shows that if finLlocp then uinHloc2sdelta,p for any deltain(0,s] as long as 2sdelta<1. This is different than the classical analogue of divergence-form equations (i.e. s=1) where a Cgamma-H"older continuous coefficient only allows for estimates of order H1+gamma. In fact, it is another appearance of the differential stability effect observed in many forms by many authors for this kind of nonlocal equations -- only that in our case we do not get a "small" differentiability improvement, but all the way up to min2st,1. The proof argues by comparison with the (much simpler) equation [ int_{mathbb{R}^n} K(z,z) (-Delta)^{frac{t}{2}} u(z) , (-Delta)^{frac{2s-t}{2}} varphi(z), dz = langle g,varphi angle quad varphi in C_c^infty(mathbb{R}^n). ] and showing that as long as K is H"older continuous and s,t,2stin(0,1) then the "commutator" [ int_{mathbb{R}^n} K(z,z) (-Delta)^{frac{t}{2}} u(z) , (-Delta)^{frac{2s-t}{2}} varphi(z), dz - cint_{mathbb{R}^n} int_{mathbb{R}^n} frac{K(x,y) (u(x)-u(y)), (varphi(x)-varphi(y))}{|x-y|^{n+2s}}, dx, dy ] behaves like a lower order operator.


Full work available at URL: https://arxiv.org/abs/2001.11944




Recommendations




Cites Work


Cited In (17)





This page was built for publication: Calderon-Zygmund type estimates for nonlocal PDE with Hölder continuous kernel

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2020407)