TY - JOUR
T1 - On self-adjointness of symmetric diffusion operators
AU - Robinson, Derek W.
N1 - Publisher Copyright:
© 2020, Springer Nature Switzerland AG.
PY - 2021/3
Y1 - 2021/3
N2 - Let Ω be a domain in Rd with boundary Γ and let dΓ denote the Euclidean distance to Γ. Further let H=-div(C∇) where C=(ckl)>0 with ckl= clk real, bounded, Lipschitz continuous functions and D(H)=Cc∞(Ω). The matrix CdΓ-δ is assumed to converge uniformly to a diagonal matrix aI as dΓ→ 0. Thus δ≥ 0 measures the order of degeneracy of the operator and a, a positive Lipschitz function, gives the boundary profile of the operator. In addition we place a mild restriction on the order of degeneracy of the derivatives of the coefficients at the boundary. Then we derive sufficient conditions for H to be essentially self-adjoint as an operator on L2(Ω) in three general cases. Specifically, if Ω is a C2-domain, or if Ω = Rd\ S where S is a countable set of positively separated points, or if Ω = Rd\ Π ¯ with Π a convex set whose boundary has Hausdorff dimension dH∈ { 1 , … , d- 1 } then the condition δ> 2 - (d- dH) / 2 is sufficient for essential self-adjointness. In particular δ> 3 / 2 suffices for C2-domains. Finally we prove that δ≥ 3 / 2 is necessary in the C2-case.
AB - Let Ω be a domain in Rd with boundary Γ and let dΓ denote the Euclidean distance to Γ. Further let H=-div(C∇) where C=(ckl)>0 with ckl= clk real, bounded, Lipschitz continuous functions and D(H)=Cc∞(Ω). The matrix CdΓ-δ is assumed to converge uniformly to a diagonal matrix aI as dΓ→ 0. Thus δ≥ 0 measures the order of degeneracy of the operator and a, a positive Lipschitz function, gives the boundary profile of the operator. In addition we place a mild restriction on the order of degeneracy of the derivatives of the coefficients at the boundary. Then we derive sufficient conditions for H to be essentially self-adjoint as an operator on L2(Ω) in three general cases. Specifically, if Ω is a C2-domain, or if Ω = Rd\ S where S is a countable set of positively separated points, or if Ω = Rd\ Π ¯ with Π a convex set whose boundary has Hausdorff dimension dH∈ { 1 , … , d- 1 } then the condition δ> 2 - (d- dH) / 2 is sufficient for essential self-adjointness. In particular δ> 3 / 2 suffices for C2-domains. Finally we prove that δ≥ 3 / 2 is necessary in the C2-case.
KW - Diffusion operators
KW - L-uniqueness
KW - Rellich inequalities
KW - Self-adjointness
UR - https://www.scopus.com/pages/publications/85083276067
U2 - 10.1007/s00028-020-00572-3
DO - 10.1007/s00028-020-00572-3
M3 - Article
SN - 1424-3199
VL - 21
SP - 1089
EP - 1116
JO - Journal of Evolution Equations
JF - Journal of Evolution Equations
IS - 1
ER -