Harnack inequality for degenerate and singular elliptic equations with unbounded drift (Q2254049)

The author is concerned with degenerate and singular elliptic equations of the form \[ L_\gamma u:=\Big\{a^{ij}(x)u_{ij}+b^i(x) u_i\Big\}\chi_{\{|\nabla u|>\gamma\}}=0 \] in the unit ball \(B_1\subset\mathbb R^n\), \(n\geq 2\) where \(\lambda I\leq a^{ij}\leq \Lambda I\) is a uniformly elliptic matrix with bounded measurable coefficients and \(b^i\in L^n(B_1)\), \(1\leq i\leq n\), \(\gamma\geq 0\). The main result of the paper establishes that any non-negative solution \(u\in W^{2,n}(B_1)\) with \(u(0)=1\) satisfies \[ \sup_{B_{1/2}}u\leq C=C(n,\lambda,\Lambda,\gamma, \|b^i\|_{L^n(B_1)}). \] The author also obtains the Hölder regularity of the solution, that is, if \(L_\gamma u=0\) in \(B_1\) and \(\|u\|_{L^\infty(B_1)}\leq 1\), then \(u\in C^\alpha(B_{1/2}\) and \[ \|u\|_{C^\alpha(B_{1/2})}\leq C=C(n,\lambda,\Lambda,\gamma, \|b^i\|_{L^n(B_1)}). \]