Quantitative uniqueness for elliptic equations with singular lower order terms
type: Item
instance of: scholarly article
title: Quantitative uniqueness for elliptic equations with singular lower order terms
zbMATH Open document ID: 1250.35073
published in: Mathematische Annalen
publication date: 2012-08-13T00:00:00Z
full work available at URL: https://arxiv.org/abs/1002.0994
review text: The authors consider the equation \[ Pu=Vu+W_1\cdot\nabla u + \nabla\cdot(W_2u),\tag{1} \] where \(P=\mathrm{div}(g\nabla u)\), \(g(x)=\{g^{ij}(x)\}^n_{i,j=1}\) is a real-valued symmetric matrix that satisfies the uniform ellipticity condition in \(\Omega\): \[ \lambda|\xi|^2\leq g(x)\xi\cdot\xi\leq\lambda^{-1}|\xi|^2,\quad x\in\Omega,\xi\in\mathbb R^n \] for some \(\lambda\in (0,1]\). It is also assumed the Lipschitz condition \[ |g(x)-g(y)|\leq\Lambda_0|x-y|,\qquad x,y\in\Omega. \] Finally, the lower order terms satisfy the following integrability conditions: \[ V\in L^{n/2}(\Omega)\quad \text{and}\quad W_1,W_2\in L^s(\Omega)\;\text{with}\;s>n, \] where \(W_1,W_2:\Omega\to\mathbb R^n\) and \(V:\Omega\to \mathbb R\). Then, the main aim of the work is to obtain quantitative propagation of smallness from sets of positive measure for solutions of (1). More precisely, let \(\Omega(\rho)=\{x\in\Omega\;:\)\ dist\((x,\partial\Omega)>4\rho\}\) for each \(\rho>0\). Due to the further restriction on \(\Omega\), the authors may consider only \(\rho<\rho^*\) such that \(\Omega(\rho)\) is connected. Then, one of the main results of the paper reads as follows. Let \(\Omega\) be a bounded domain with Lipschitz boundary, \(u\in W^1_2(\Omega)\) be a solution of (1), and the coefficients of the equation satisfy the above conditions. Further, let \(\rho<\rho^*\) and let \(E\) be a measurable subset of \(\Omega(\rho)\) of positive measure such that \(\|u\|_{L^2(\Omega)}\leq 1\), \(\|u\|_{L^2(E)}\leq\epsilon\). Then, \[ \|u\|_{L^2(\Omega(\rho))}\leq C|\log\epsilon|^{-c}, \] where \(C\) and \(c\) depend on \(\Omega\), \(\lambda\), \(\Lambda_0\), \(V\), \(W_1\), \(W_2\), \(|E|\), and \(\rho\) only. The second main theorem gives an estimate for \(\|u\|_{L^{\infty}(\Omega(\rho))}\).
reviewed by: Yakov Yakubov
Mathematics Subject Classification ID: 35J15
Mathematics Subject Classification ID: 35B35
zbMATH DE Number: 6065232
zbMATH Keywords: elliptic equation
zbMATH Keywords: singular term
zbMATH Keywords: propagation of smallness
zbMATH Keywords: positive measure
zbMATH Keywords: Lipschitz boundary
author: Eugenia Malinnikova
author: Sergio Vessella
MaRDI profile type: Publication
OpenAlex ID: W2029190135
arXiv ID: 1002.0994
cites work: The stability for the Cauchy problem for elliptic equations
cites work: Three-spheres theorem for second order elliptic equations
cites work: Q3834387
cites work: Unique continuation for elliptic operators: A geometric-variational approach
cites work: Q5521862
cites work: A uniqueness theorem for parabolic equations
cites work: Carleman estimates and unique continuation for second-order elliptic equations with non\-smooth coefficients.
cites work: Quantitative uniqueness for second-order elliptic operators
cites work: PROPAGATION OF SMALLNESS FOR SOLUTIONS OF GENERALIZED CAUCHY–RIEMANN SYSTEMS
cites work: Uniqueness and stability of extension of solution of an elliptic equation from a set to a domain
cites work: Q2751319
cites work: Doubling property of elliptic equations
cites work: A continuous dependence result in the analytic continuation problem
cites work: Quantitative continuation from a measurable set of solutions of elliptic equations
DOI: 10.1007/S00208-011-0712-X
description: scientific article; zbMATH DE number 6065232