English

On self-adjointness of symmetric diffusion operators

Functional Analysis 2019-11-11 v1 Analysis of PDEs

Abstract

Let Ω\Omega be a domain in \Rid\Ri^d with boundary Γ\Gamma and let dΓd_\Gamma denote the Euclidean distance to Γ\Gamma. Further let H=\divv(C)H=-\divv(C\nabla) where C=(ckl)>0C=(\,c_{kl}\,)>0 with ckl=clkc_{kl}=c_{lk} are real, bounded, Lipschitz continuous functions and D(H)=Cc(Ω)D(H)=C_c^\infty(\Omega). Assume also that there is a δ0\delta\geq0 such that C/dΓδaI0\|C/d_\Gamma^{\,\delta}-aI\|\to 0 as dΓ0d_\Gamma\to0 with δ0\delta\geq0 where aa is a bounded Lipschitz continuous function with aμ>0a\geq\mu>0 on a boundary layer Γ ⁣ ⁣r={xΩ:dΓ(x)<r}\Gamma_{\!\!r}=\{x\in\Omega: d_\Gamma(x)<r\}. Finally we require (\divvC).(dΓ)dΓδ+1|(\divv C).(\nabla d_\Gamma)|d_\Gamma^{\,-\delta+1} to be bounded on~Γ ⁣ ⁣r\Gamma_{\!\!r}. Then we prove that if Ω\Omega is a C2C^2-domain, or if Ω=\Rid\S\Omega=\Ri^d\backslash S where SS is a countable set of positively separated points, or if Ω=\Rid\Π\Omega=\Ri^d\backslash \overline \Pi with Π\Pi a convex set whose boundary has Hausdorff dimension dH{1,,d1}d_H\in \{1,\ldots, d-1\} then the condition δ>2(ddH)/2\delta>2-(d-d_H)/2 is sufficient for HH to be essentially self-adjoint as an operator on L2(Ω)L_2(\Omega). In particular δ>3/2\delta>3/2 suffices for C2C^2-domains. Finally we prove that δ3/2\delta\geq 3/2 is necessary in the C2C^2-case.

Keywords

Cite

@article{arxiv.1911.03018,
  title  = {On self-adjointness of symmetric diffusion operators},
  author = {Derek W Robinson},
  journal= {arXiv preprint arXiv:1911.03018},
  year   = {2019}
}
R2 v1 2026-06-23T12:08:46.946Z