Skip to main content
1 of 2
Mateusz Kwaśnicki
  • 17.2k
  • 1
  • 33
  • 55

This is not an answer, but too long for a comment.

Consider a be a doubly infinite matrix $L$ with entries $q_{ij} = -e^{-|i - j|}$ when $i \ne j$, and $q_{ii} = 2 e / (1 - e)$; here $i, j \in \mathbb{Z}$. The symbol of this matrix (i.e. the Fourier series with coefficients $e^{-|j|}$, except at $j = 0$) is: $$ \psi(x) = \frac{e^2 - 1}{e^2 - 2 e \cos x + 1} - \frac{e + 1}{e - 1} . $$ The symbol of $L^\dagger$ is thus $1 / \psi(x)$ (in the principal value sense), which has a singularity of type $1 / x^2$ at $x = 0$. It follows that in this case $$ a_{kl} = \frac{1}{2 \pi} \int_{-\pi}^{\pi} \frac{(e^{i x} - e^{2 i x}) (e^{i k x} - e^{i l x})}{\psi(x)} \, dx . $$

In general, the above expression will only have power-type decay as $k,l \to \infty$.

However, for this particular choice of $L$, things simplify a lot. The pseudo-inverse $L^\dagger$ can be found explicitly, and its entries are $u_{ij} = C_1 - C_2 |i - j|$ when $i \ne j$ and $u_{ii} = C_3$ for appropriate constants $C_1$, $C_2$, $C_3$. Consequently, $a_{kl} = 0$ when $k, l > 2$.

I do not have a clear intuition about what happens in the one-sided case (that is, if we consider an infinite matrix $L$ with entries indexed by $i, j \in \{1, 2, \ldots\}$), let alone the bounded case (with $i, j \in \{1, 2, \ldots, n\}$). A quick numerical experiment suggests that we still have $a_{kl} = 0$, but I fail to see a reason for that, so I expect I made an error in my experiment.

Mateusz Kwaśnicki
  • 17.2k
  • 1
  • 33
  • 55