For $x\in \mathbb{R}^\mathbb{Z}$, let the discrete Laplacian be defined as \begin{align*} (\Delta x)_k = 2x_k-x_{k+1}-x_{k-1}. \end{align*}

I am looking for good references about its spectrum (or eigen-structure), compactness, and properties of the semigroup it generates.

The spaces to consider include the usual $l^p(\mathbb{Z})$, for my purpose, it is also interesting to work on weighted space $l^p_\rho(\mathbb{Z})$ in which, provided a summable weight $\rho$ with $\sum_k \rho_k <\infty$, the norm is given by $$\|x\|^p_{p,\rho}= \sum_{k\in\mathbb{Z}} |x_k|^p\rho_k.$$

  • 3
    $\begingroup$ There won't be any references that discuss this operator at length since it's very easy to analyze: just take Fourier transforms $Fx = \sum x_n e^{int}$ to represent $\Delta$ as multiplication by $2(1-\cos t)$ in $L^2(-\pi,\pi)$. This immediately answers all your questions (for example, the spectrum equals $[0,4]$, is purely ac of multiplicitly $2$). $\endgroup$ Feb 2, 2020 at 19:06
  • 2
    $\begingroup$ Here I'm of course assuming that you defined the operator on $\ell^2(\mathbb Z)$. $\endgroup$ Feb 2, 2020 at 19:07
  • 2
    $\begingroup$ If you are looking for earliest references then see Phillips and Wiener, "Nets and Dirichlet problem" (1923). $\endgroup$
    – Nemo
    Feb 2, 2020 at 19:16
  • 1
    $\begingroup$ Could you be more precise about the space on which you want information about this operator. In particular, are you really interested about your questions in the whole topological vector space $\mathbf{R}^\mathbf{\mathbf{Z}}$? $\endgroup$
    – YCor
    Feb 2, 2020 at 23:52


Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy