The weighted Hardy inequality and self-adjointness of symmetric diffusion operators

preprint2020arXivOpen access

Abstract

Let ΩΩ be a domain in $\Ri^d$ with boundary ΓΓ ⁣,{\!,} dΓd_Γ the Euclidean distance to the boundary and $H=-\divv(C\,\nabla)$ an elliptic operator with C=( ckl )>0C=(\,c_{kl}\,)>0 where ckl=clkc_{kl}=c_{lk} are real, bounded, Lipschitz functions. We assume that C∼c dΓ δC\sim c\,d_Γ^{\,δ} as dΓ→0d_Γ\to0 in the sense of asymptotic analysis where cc is a strictly positive, bounded, Lipschitz function and δ≥0δ\geq0. We also assume that there is an r>0r>0 and a bδ,r>0 b_{δ,r}>0 such that the weighted Hardy inequality ∫Γ ⁣ ⁣rdΓ δ ∣∇ψ∣2≥bδ,r 2∫Γ ⁣ ⁣rdΓ δ−2 ∣ψ∣2 \int_{Γ_{\!\!r}} d_Γ^{\,δ}\,|\nabla ψ|^2\geq b_{δ,r}^{\,2}\int_{Γ_{\!\!r}} d_Γ^{\,δ-2}\,| ψ|^2 is valid for all ψ∈Cc∞(Γ ⁣ ⁣r)ψ\in C_c^\infty(Γ_{\!\!r}) where Γ ⁣ ⁣r={x∈Ω:dΓ(x)<r}Γ_{\!\!r}=\{x\inΩ: d_Γ(x)<r\}. We then prove that the condition (2−δ)/2<bδ(2-δ)/2<b_δ is sufficient for the essential self-adjointness of HH on Cc∞(Ω)C_c^\infty(Ω) with bδb_δ the supremum over rr of all possible bδ,rb_{δ,r} in the Hardy inequality. This result extends all known results for domains with smooth boundaries and also gives information on self-adjointness for a large family of domains with rough, e.g.\ fractal, boundaries.

Explore this paper’s authors, topics and related work.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Reviews 0

Write a reviewWrite

No reviews yet.

Discussion 0

Add a commentWrite

No comments yet.