Authors' improved discrete Birman inequality conjecture
Let ell≥3ell\geq3ell≥3, let u∈ℓ2(N0)u\in\ell^{2}(\mathbb{N}_{0})u∈ℓ2(N0) satisfy u0=⋯=uℓ−1=0u_{0}=\dots=u_{\ell-1}=0u0=⋯=uℓ−1=0, and let … Here (∇u)n=un−un−1(\nabla u)_{n}=u_{n}-u_{n-1}(∇u)n=un−un−1, (divu)n=un+1−un(\operatorname{div}u)_{n}=u_{n+1}-u_{n}(divu)n=un+1−un, and…