Global \(W^{2,p}\) estimates for nondivergence elliptic operators with potentials satisfying a reverse Hölder condition (Q415457): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(6 intermediate revisions by 5 users not shown) | |||
Property / author | |||
Property / author: Marco Bramanti / rank | |||
Property / author | |||
Property / author: Q270086 / rank | |||
Property / author | |||
Property / author: Beatriz E. Viviani / rank | |||
Property / author | |||
Property / author: Marco Bramanti / rank | |||
Normal rank | |||
Property / author | |||
Property / author: Eleonor O. Harboure / rank | |||
Normal rank | |||
Property / author | |||
Property / author: Beatriz E. Viviani / rank | |||
Normal rank | |||
Property / review text | |||
Let \[ L(u)=Au+Vu=-\sum_{i,j=1}^na_{ij}u_{i,j}+Vu \] where \(a_{ij}\in L^\infty(\mathbb R^n), \;a_{ij}=a_{ji}\), \[ \mu |\xi|^2\leq \sum_{i,j=1}^na_{ij}(x)\xi_i\xi_j\leq \frac 1\mu |\xi|^2, \;\;\;\text{for all } x,\xi \in \mathbb R^n, \;\;\text{for some} \;\;\mu >0, \] and \(a_{ij}\in VMO(\mathbb R^n).\) The potential \(V\) is in \(L^\infty_{loc}(\mathbb R^n), \;V\geq 0\), such that, for some \(C>0\), \[ (\frac 1{|B|}\int_BV(x)^q \,dx)^{\frac 1q}\leq C\frac 1{|B|}\int_B V(x) \,dx \] holds for every ball \(B\) in \(\mathbb R^n\). The first result of this paper is the following \(L^p\) estimate of \(L(u)\). Theorem. For every \(p\in (1,q]\), there exists a constant \(C\) such that \[ \|u\|_{W^{2,p}(\mathbb R^n)}+\|Vu\|_{L^p(\mathbb R^n)} \leq C(\|Lu\|_{L^p(\mathbb R^n)}+\|u\|_{L^p(\mathbb R^n)}) \tag{1} \] for all \(u\in C^\infty_0(\mathbb R^n)\). The constant \(C\) only depends on \(n,p,q\) and the constants above. To prove these global estimates, the authors first establish the following two local estimates. Let \(B_r(z_0)\) be the ball in \(\mathbb R^n\) with center at \(z_0\) and radius \(r\), then, for all \(u\in C^\infty_0(B_r(z_0))\), \[ \|Vu\|_{L^p(B_r(z_0))}\leq C\|Lu\|_{L^p(B_r(z_0))}. \] \[ \|D^2u\|_{L^p(B_r(z_0))}\leq C\|Au\|_{L^p(B_r(z_0))}. \] Using a partition of unity, the authors obtain global estimates from the local estimates. The second main result of this paper concerns the existence and uniqueness of solutions of the equation \[ Lu+\lambda u=f, \] where \(\lambda\) is any positive real number. Let \(W^{2,p}_V(\mathbb R^n)\) be the space of functions such that the norm \[ \|u\|_{W^{2,p}_V(\mathbb R^n)}= \|u\|_{W^{2,p}(\mathbb R^n)}+\|Vu\|_{L^p(\mathbb R^n)} \] is finite. Theorem. For every \(p\in (1,q]\), there exists a constant \(C\) such that \[ \|u\|_{W^{2,p}_V(\mathbb R^n)} \leq C(\|Lu+\lambda u\|_{L^p(\mathbb R^n)} \tag{2} \] for all \(u\in W^{2,p}_V(\mathbb R^n)\). The constant \(C\) only depends on \(n,p,q\) and the constants above. Moreover, for every \(f\in L^p(\mathbb R^n)\) there exists a unique \(u\in W^{2,p}_V(\mathbb R^n)\) such that \(Lu+\lambda u=f\). Once the estimate (2) is known to hold, the existence and uniqueness of the solution can be proved by the method of continuity. To derive estimate (2), the authors first apply estimate (1) and use Agmon's trick to prove that (2) is true for sufficient large \(\lambda\). Then, by Krylov's method, the authors prove that (2) is true for all \(\lambda >0\) for some suitably chosen \(C\). | |||
Property / review text: Let \[ L(u)=Au+Vu=-\sum_{i,j=1}^na_{ij}u_{i,j}+Vu \] where \(a_{ij}\in L^\infty(\mathbb R^n), \;a_{ij}=a_{ji}\), \[ \mu |\xi|^2\leq \sum_{i,j=1}^na_{ij}(x)\xi_i\xi_j\leq \frac 1\mu |\xi|^2, \;\;\;\text{for all } x,\xi \in \mathbb R^n, \;\;\text{for some} \;\;\mu >0, \] and \(a_{ij}\in VMO(\mathbb R^n).\) The potential \(V\) is in \(L^\infty_{loc}(\mathbb R^n), \;V\geq 0\), such that, for some \(C>0\), \[ (\frac 1{|B|}\int_BV(x)^q \,dx)^{\frac 1q}\leq C\frac 1{|B|}\int_B V(x) \,dx \] holds for every ball \(B\) in \(\mathbb R^n\). The first result of this paper is the following \(L^p\) estimate of \(L(u)\). Theorem. For every \(p\in (1,q]\), there exists a constant \(C\) such that \[ \|u\|_{W^{2,p}(\mathbb R^n)}+\|Vu\|_{L^p(\mathbb R^n)} \leq C(\|Lu\|_{L^p(\mathbb R^n)}+\|u\|_{L^p(\mathbb R^n)}) \tag{1} \] for all \(u\in C^\infty_0(\mathbb R^n)\). The constant \(C\) only depends on \(n,p,q\) and the constants above. To prove these global estimates, the authors first establish the following two local estimates. Let \(B_r(z_0)\) be the ball in \(\mathbb R^n\) with center at \(z_0\) and radius \(r\), then, for all \(u\in C^\infty_0(B_r(z_0))\), \[ \|Vu\|_{L^p(B_r(z_0))}\leq C\|Lu\|_{L^p(B_r(z_0))}. \] \[ \|D^2u\|_{L^p(B_r(z_0))}\leq C\|Au\|_{L^p(B_r(z_0))}. \] Using a partition of unity, the authors obtain global estimates from the local estimates. The second main result of this paper concerns the existence and uniqueness of solutions of the equation \[ Lu+\lambda u=f, \] where \(\lambda\) is any positive real number. Let \(W^{2,p}_V(\mathbb R^n)\) be the space of functions such that the norm \[ \|u\|_{W^{2,p}_V(\mathbb R^n)}= \|u\|_{W^{2,p}(\mathbb R^n)}+\|Vu\|_{L^p(\mathbb R^n)} \] is finite. Theorem. For every \(p\in (1,q]\), there exists a constant \(C\) such that \[ \|u\|_{W^{2,p}_V(\mathbb R^n)} \leq C(\|Lu+\lambda u\|_{L^p(\mathbb R^n)} \tag{2} \] for all \(u\in W^{2,p}_V(\mathbb R^n)\). The constant \(C\) only depends on \(n,p,q\) and the constants above. Moreover, for every \(f\in L^p(\mathbb R^n)\) there exists a unique \(u\in W^{2,p}_V(\mathbb R^n)\) such that \(Lu+\lambda u=f\). Once the estimate (2) is known to hold, the existence and uniqueness of the solution can be proved by the method of continuity. To derive estimate (2), the authors first apply estimate (1) and use Agmon's trick to prove that (2) is true for sufficient large \(\lambda\). Then, by Krylov's method, the authors prove that (2) is true for all \(\lambda >0\) for some suitably chosen \(C\). / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 47F05 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 35J10 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 35B45 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 42B35 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 6031783 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Schrödinger operator | |||
Property / zbMATH Keywords: Schrödinger operator / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
global existence and uniqueness | |||
Property / zbMATH Keywords: global existence and uniqueness / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
reverse Hölder condition | |||
Property / zbMATH Keywords: reverse Hölder condition / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
VMO coefficients | |||
Property / zbMATH Keywords: VMO coefficients / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
global \(L^p\) estimates | |||
Property / zbMATH Keywords: global \(L^p\) estimates / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Lee Tai-Chung / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1007/s10231-011-0186-1 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2117146938 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4869773 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Interior \(W^{2,p}\) estimates for non-divergence elliptic equations with discontinuous coefficients / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: W 2,p -Solvability of the Dirichlet Problem for Nondivergence Elliptic Equations with VMO Coefficients / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Note on \(H^1\) spaces related to degenerate Schrödinger operators / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The L\(^p\)-integrability of the partial derivatives of a quasiconformal mapping / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Elliptic partial differential equations of second order / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: \(L^p\) boundedness of commutators of Riesz transforms associated to Schrödinger operator / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3525987 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Results on Weighted Norm Inequalities for Multipliers / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Generalized Hörmander's conditions, commutators and weights / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Lack of natural weighted estimates for some singular integral operators / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Calderón-Zygmund theory for operator-valued kernels / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Functions of Vanishing Mean Oscillation / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3472707 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: \(L^ p\) estimates for Schrödinger operators with certain potentials / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4301000 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3142876 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Riesz transforms and the wave equation for the hermite operator / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4834946 / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 04:40, 5 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Global \(W^{2,p}\) estimates for nondivergence elliptic operators with potentials satisfying a reverse Hölder condition |
scientific article |
Statements
Global \(W^{2,p}\) estimates for nondivergence elliptic operators with potentials satisfying a reverse Hölder condition (English)
0 references
8 May 2012
0 references
Let \[ L(u)=Au+Vu=-\sum_{i,j=1}^na_{ij}u_{i,j}+Vu \] where \(a_{ij}\in L^\infty(\mathbb R^n), \;a_{ij}=a_{ji}\), \[ \mu |\xi|^2\leq \sum_{i,j=1}^na_{ij}(x)\xi_i\xi_j\leq \frac 1\mu |\xi|^2, \;\;\;\text{for all } x,\xi \in \mathbb R^n, \;\;\text{for some} \;\;\mu >0, \] and \(a_{ij}\in VMO(\mathbb R^n).\) The potential \(V\) is in \(L^\infty_{loc}(\mathbb R^n), \;V\geq 0\), such that, for some \(C>0\), \[ (\frac 1{|B|}\int_BV(x)^q \,dx)^{\frac 1q}\leq C\frac 1{|B|}\int_B V(x) \,dx \] holds for every ball \(B\) in \(\mathbb R^n\). The first result of this paper is the following \(L^p\) estimate of \(L(u)\). Theorem. For every \(p\in (1,q]\), there exists a constant \(C\) such that \[ \|u\|_{W^{2,p}(\mathbb R^n)}+\|Vu\|_{L^p(\mathbb R^n)} \leq C(\|Lu\|_{L^p(\mathbb R^n)}+\|u\|_{L^p(\mathbb R^n)}) \tag{1} \] for all \(u\in C^\infty_0(\mathbb R^n)\). The constant \(C\) only depends on \(n,p,q\) and the constants above. To prove these global estimates, the authors first establish the following two local estimates. Let \(B_r(z_0)\) be the ball in \(\mathbb R^n\) with center at \(z_0\) and radius \(r\), then, for all \(u\in C^\infty_0(B_r(z_0))\), \[ \|Vu\|_{L^p(B_r(z_0))}\leq C\|Lu\|_{L^p(B_r(z_0))}. \] \[ \|D^2u\|_{L^p(B_r(z_0))}\leq C\|Au\|_{L^p(B_r(z_0))}. \] Using a partition of unity, the authors obtain global estimates from the local estimates. The second main result of this paper concerns the existence and uniqueness of solutions of the equation \[ Lu+\lambda u=f, \] where \(\lambda\) is any positive real number. Let \(W^{2,p}_V(\mathbb R^n)\) be the space of functions such that the norm \[ \|u\|_{W^{2,p}_V(\mathbb R^n)}= \|u\|_{W^{2,p}(\mathbb R^n)}+\|Vu\|_{L^p(\mathbb R^n)} \] is finite. Theorem. For every \(p\in (1,q]\), there exists a constant \(C\) such that \[ \|u\|_{W^{2,p}_V(\mathbb R^n)} \leq C(\|Lu+\lambda u\|_{L^p(\mathbb R^n)} \tag{2} \] for all \(u\in W^{2,p}_V(\mathbb R^n)\). The constant \(C\) only depends on \(n,p,q\) and the constants above. Moreover, for every \(f\in L^p(\mathbb R^n)\) there exists a unique \(u\in W^{2,p}_V(\mathbb R^n)\) such that \(Lu+\lambda u=f\). Once the estimate (2) is known to hold, the existence and uniqueness of the solution can be proved by the method of continuity. To derive estimate (2), the authors first apply estimate (1) and use Agmon's trick to prove that (2) is true for sufficient large \(\lambda\). Then, by Krylov's method, the authors prove that (2) is true for all \(\lambda >0\) for some suitably chosen \(C\).
0 references
Schrödinger operator
0 references
global existence and uniqueness
0 references
reverse Hölder condition
0 references
VMO coefficients
0 references
global \(L^p\) estimates
0 references
0 references
0 references
0 references