We consider the Dirichlet problem for second-order linear elliptic equations in divergence form
−
d
i
v
(
A
∇
u
)
+
b
⋅
∇
u
+
λ
u
=
f
+
d
i
v
F
in
Ω
and
u
=
0
on
∂
Ω
,
\begin{equation*} -div(A\nabla u)+\mathbf {b} \cdot \nabla u+\lambda u=f+div\mathbf {F}\quad \text {in } \Omega \quad \text {and}\quad u=0\quad \text {on } \partial \Omega , \end{equation*}
in bounded Lipschitz domain
Ω
\Omega
in
R
2
\mathbb {R}^2
, where
A
:
R
2
→
R
2
2
A:\mathbb {R}^2\rightarrow \mathbb {R}^{2^2}
,
b
:
Ω
→
R
2
\mathbf {b} : \Omega \rightarrow \mathbb {R}^2
, and
λ
≥
0
\lambda \geq 0
are given. If
2
>
p
>
∞
2>p>\infty
and
A
A
has a small mean oscillation in small balls,
Ω
\Omega
has small Lipschitz constant, and
d
i
v
A
,
b
∈
L
2
(
Ω
;
R
2
)
divA,\,\mathbf {b} \in L^{2}(\Omega ;\mathbb {R}^2)
, then we prove existence and uniqueness of weak solutions in
W
0
1
,
p
(
Ω
)
W^{1,p}_0(\Omega )
of the problem. Similar result also holds for the dual problem.
We consider the Dirichlet and Neumann problems for second-order linear elliptic equations:
\[
−
△
u
+
div
(
u
b
)
=
f
and
−
△
v
−
b
⋅
∇
v
=
g
-\triangle u +\operatorname {div}(u\mathbf {b}) =f \quad \text { and }\quad -\triangle v -\mathbf {b} \cdot \nabla v =g
\]
in a bounded Lipschitz domain
Ω
\Omega
in
R
n
\mathbb {R}^n
(
n
≥
3
)
(n\geq 3)
, where
b
:
Ω
→
R
n
\mathbf {b}:\Omega \rightarrow \mathbb {R}^n
is a given vector field. Under the assumption that
b
∈
L
n
(
Ω
)
n
\mathbf {b} \in L^{n}(\Omega )^n
, we first establish existence and uniqueness of solutions in
L
α
p
(
Ω
)
L_{\alpha }^{p}(\Omega )
for the Dirichlet and Neumann problems. Here
L
α
p
(
Ω
)
L_{\alpha }^{p}(\Omega )
denotes the Sobolev space (or Bessel potential space) with the pair
(
α
,
p
)
(\alpha ,p)
satisfying certain conditions. These results extend the classical works of Jerison-Kenig [J. Funct. Anal. 130 (1995), pp. 161–219] and Fabes-Mendez-Mitrea [J. Funct. Anal. 159 (1998), pp. 323–368] for the Poisson equation. We also prove existence and uniqueness of solutions of the Dirichlet problem with boundary data in
L
2
(
∂
Ω
)
L^{2}(\partial \Omega )
. Our results for the Dirichlet problems hold even for the case
n
=
2
n=2
.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.