Uniqueness and stability of extension of solution of an elliptic equation from a set to a domain (Q1110714): Difference between revisions

We consider two problems. The first problem: Let there be defined in a bounded domain \(G\subset R^ n\) the classical solution u of the uniformly elliptic equation \[ (1)\quad Lu=\sum^{n}_{i,j=1}a_{ij}(x)\partial^ 2u/\partial x_ i\partial x_ j+\sum^{n}_{i=1}b_ i(x)\partial u/\partial x_ i+c(x)u=0, \] \[ \lambda | \xi |^ 2\leq \sum^{n}_{i,j=1}a_{ij}\xi_ i,\xi_ j;\quad \| a_{ij}\|_{C^ 2(\bar G)},\quad \| b_ i\|_{C^{\tau}(\bar G)},\quad \| c\|_{C^{\tau}(\bar G)}<M, \] where \(\lambda\), \(\tau\), and M are positive constants. Let \(| u| <1\) in G. Let E be a subset of G and \(| u| |_ E<\epsilon \leq\). It is required to find an estimate for max \(| u|\) in \(\bar G_ 0\), where \(G_ 0\) is a subdomain of G, such that \(\bar G_ 0\subset G\). In Sec. 2 we establish a uniqueness theorem for the solutions of elliptic equations of the form (1) that, together with the gradient, vanish on a certain subset E of G. If E is a set of positive (n-1)-dimensional Hausdorff measure, situated on an (n-1)- dimensional hypersurface, then such a theorem has been established by \textit{E. G. Sitnikova} [Math. USSR, Sb. 10(1970), 349-367 (1971); translation from Mat. Sb. 81(123), No.3, 376-397 (1970; Zbl 0212.447)]. We show that for arbitrary \(s>n-2\) and an arbitrary set E of positive Hausdorff s-measure the equality \(u=| \nabla u| =0\) on E implies that \(u\equiv 0\).