A property of measures in \(\mathbb{R}{}^ N\) and an application to unique continuation (Q1200025)

From MaRDI portal
scientific article
Language Label Description Also known as
English
A property of measures in \(\mathbb{R}{}^ N\) and an application to unique continuation
scientific article

    Statements

    A property of measures in \(\mathbb{R}{}^ N\) and an application to unique continuation (English)
    0 references
    0 references
    0 references
    17 January 1993
    0 references
    The ``unique continuation'' result proved in the paper is the following: Theorem. Let \(\Omega\) be a domain in \(\mathbb{R}^ n\) (\(n\geq 3\)), let \(p\geq 2n/(2+n)\), and let \(u\in W^{2,p}_{\text{loc}}(\Omega)\) be such that \(| \Delta u|\leq A| u|+ B| Du|\) on \(\Omega\) for some \(A\in L^{n/2}_{\text{loc}}(\Omega)\) and \(B\in L^ n_{\text{loc}}(\Omega)\). Then, if \(u\) vanishes on an open set, it vanishes identically. Other similar results concerning unique continuation properties for differential forms on manifolds, and for elliptic operators with variable coefficients are also proved. The main tool used in the proof is the following lemma on measures. Lemma. Let \(\mu\) be a positive measure on \(\mathbb{R}^ n\) such that \[ \lim_{t\to+\infty} {{\log \mu(\{| x|\geq t\})} \over t} =- \infty, \] and for every \(z\in\mathbb{R}^ n\) define the measure \(\mu_ z=e^{zx}\mu\). Then for every \(z\in\mathbb{R}^ n\) there exists a compact convex set \(E_ z\) such that \[ \mu_ z(\mathbb{R}^ n \setminus(1+t) E_ z)\leq {\textstyle {1\over 2}} e^{-t/C} \| \mu_ z\| \qquad \forall t\geq 0 \] where \(C\) depends only on \(n\) and the homothetic set \((1+t)E_ z\) is made with the barycenter of \(E_ z\). Moreover, for every compact convex \(K\subset\mathbb{R}^ n\) there exists a sequence \((z_ h)\) in \(K\) such that \(E_{z_ h}\) are pairwise disjoint and \(| K|\leq C \sum^ \infty_{h=1} 1/| E_{z_ h}|\).
    0 references
    0 references
    0 references
    0 references
    0 references
    elliptic differential inequalities
    0 references
    exponential decay of measures
    0 references
    unique continuation
    0 references
    differential forms on manifolds
    0 references
    elliptic operators with variable coefficients
    0 references
    0 references