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