Bôcher's theorem with rough coefficients (Q2072148)

Let \((\sigma,p)\in \mathbb R\times (1,\infty)\). The \(L_p\)-Sobolev space is defined by \(H^{\sigma,p}(\mathbb R^n)=\{\Lambda^{-\sigma}f:f\in L_p(\mathbb R^n)\}\), where \((\Lambda^{-\sigma}f)_ { }\widehat{ }\ (\xi)=(1+|\xi|^2)^{-\sigma/2}\hat{f}(\xi)\). \(\delta_p\) is the delta function supported at \(p\in\mathcal{O}\), an open bounded connected subset of \(\mathbb R^n\) with smooth boundary \(\partial\mathcal{O}\). The author assumes that \(u\) is a positive continuously differentiable function on \(\mathcal{O}\setminus\{p\}\), the solution of \(Lu:=\displaystyle\sum_{j,k}\partial_j(a^{jk}(x)\partial_k u)=0\), where the coefficients \(a^{jk}\) are real-valued functions satisfying \(\displaystyle\sum_{j,k}a^{jk}(x)\xi_j\xi_k\ge \lambda|\xi|^2\) for some \(\lambda>0\). Furthermore, the author supposes that \(\nabla a^{jk}\in H^{\varepsilon,n}(\mathcal{O})\cap L_r(\mathcal{O})\) for \(\varepsilon>0\) and \(r>n\). Then, he states that there exist continuously differentiable functions \(h\) on \(\mathcal{O}\) and \(A>0\) such that \(Lh=0\) on \(\mathcal{O}\) and \(u(x)=AV_p(x)+h(x)\), where \(V_p\) satisfies \(LV_p=-\delta_p\) on \(\mathcal{O}\) and \(V_{p\restriction_{\partial\mathcal{O}}}=0\).