English

On the fundamental solution of an elliptic equation in nondivergence form

Analysis of PDEs 2016-09-08 v1

Abstract

We consider the existence and asymptotics for the fundamental solution of an elliptic operator in nondivergence form, L(x,\delx)=aij(x)\deli\deli{\mathcal L}(x,\del_x)=a_{ij}(x)\del_i\del_i, for n3n\geq 3. We assume that the coefficients have modulus of continuity satisfying the square Dini condition. For fixed yy, we construct a solution of LZy(x)=0{\mathcal L}Z_y(x)=0 for 0<xy<\e0<|x-y|<\e with explicit leading order term which is O(xy2neI(x,y))O(|x-y|^{2-n}e^{I(x,y)}) as xyx\to y, where I(x,y)I(x,y) is given by an integral and plays an important role for the fundamental solution: if I(x,y)I(x,y) approaches a finite limit as xyx\to y, then we can solve L(x,\delx)F(x,y)=\de(xy){\mathcal L}(x,\del_x)F(x,y)=\de(x-y), and F(x,y)F(x,y) is asymptotic as xyx\to y to the fundamental solution for the constant coefficient operator L(y,\delx){\mathcal L}(y,\del_x). On the other hand, if I(x,y)I(x,y)\to -\infty as xyx\to y then the solution Zy(x)Z_y(x) violates the "extended maximum principle" of Gilbarg & Serrin \cite{GS} and is a distributional solution of L(x,\delx)Zy(x)=0{\mathcal L}(x,\del_x)Z_y(x)=0 for xy<\e|x-y|<\e although ZyZ_y is not even bounded as xyx\to y.

Keywords

Cite

@article{arxiv.0806.4108,
  title  = {On the fundamental solution of an elliptic equation in nondivergence form},
  author = {Vladimir Maz'ya and Robert McOwen},
  journal= {arXiv preprint arXiv:0806.4108},
  year   = {2016}
}

Comments

25 pages