English

Uniqueness of diffusion operators and capacity estimates

Analysis of PDEs 2014-01-03 v1

Abstract

Let Ω\Omega be a connected open subset of \Rid\Ri^d. We analyze L1L_1-uniqueness of real second-order partial differential operators H=k,l=1dkckllH=-\sum^d_{k,l=1}\partial_k\,c_{kl}\,\partial_l and K=H+k=1dckk+c0K=H+\sum^d_{k=1}c_k\,\partial_k+c_0 on Ω\Omega where ckl=clkWloc1,(Ω),ckL,loc(Ω)c_{kl}=c_{lk}\in W^{1,\infty}_{\rm loc}( \Omega), c_k\in L_{\infty,{\rm loc}}(\Omega), c0L2,loc(Ω)c_0\in L_{2,{\rm loc}}(\Omega) and C(x)=(ckl(x))>0C(x)=(c_{kl}(x))>0 for all xΩx\in\Omega. Boundedness properties of the coefficients are expressed indirectly in terms of the balls B(r)B(r) associated with the Riemannian metric C1C^{-1} and their Lebesgue measure B(r)|B(r)|. \noindent\hspace{10mm}First we establish that if the balls B(r)B(r) are bounded, the T\"acklind condition Rdrr(logB(r))1=\int^\infty_Rdr\,r(\log|B(r)|)^{-1}=\infty is satisfied for all large RR and HH is Markov unique then HH is L1L_1-unique. If, in addition, C(x)κ(cT ⁣c)(x)C(x)\geq \kappa\, (c^{T}\!\otimes\, c)(x) for some κ>0\kappa>0 and almost all xΩx\in\Omega, \divvcL,loc(Ω)\divv c\in L_{\infty,{\rm loc}}(\Omega) is upper semi-bounded and c0c_0 is lower semi-bounded then KK is also L1L_1-unique. \noindent\hspace{10mm}Secondly, if the cklc_{kl} extend continuously to functions which are locally bounded on Ω\partial\Omega and if the balls B(r)B(r) are bounded we characterize Markov uniqueness of HH in terms of local capacity estimates and boundary capacity estimates. For example, HH is Markov unique if and only if for each bounded subset AA of Ω\overline\Omega there exist ηnCc(Ω)\eta_n \in C_c^\infty(\Omega) satisfying limn\oneAΓ(ηn)1=0\lim_{n\to\infty} \|\one_A\Gamma(\eta_n)\|_1 = 0, where Γ(ηn)=k,l=1dckl(kηn)(lηn)\Gamma(\eta_n)=\sum^d_{k,l=1}c_{kl}\,(\partial_k\eta_n)\,(\partial_l\eta_n), and limn\oneA(\oneΩηn)φ2=0\lim_{n\to\infty}\|\one_A (\one_\Omega-\eta_n )\, \varphi\|_2 = 0 for each φL2(Ω)\varphi \in L_2(\Omega) or if and only if \capp(Ω)=0\capp(\partial\Omega)=0.

Keywords

Cite

@article{arxiv.1311.5281,
  title  = {Uniqueness of diffusion operators and capacity estimates},
  author = {Derek W Robinson},
  journal= {arXiv preprint arXiv:1311.5281},
  year   = {2014}
}
R2 v1 2026-06-22T02:11:48.044Z