$L^1$ convergence of the reconstruction formula for the potential function (Q4529680)

The authors consider the Sturm-Liouville problem of the form \[ -y''+q(x)y=\lambda y, \quad y(0)\cos\alpha+y'(0)\sin\alpha=0, \quad y(1)\cos\beta+y'(1)\sin\beta=0, \] with \(q\in L^1(0,1)\), and \(\alpha\in[0,\pi)\), \(\beta\in[0,\pi)\). The nodal inverse problem lies in recovering the potential \(q\) from nodal data. Let \(\lambda_n\) be the \(n\)th eigenvalue and \(x_i^{(n)}\) be the \(i\)th nodal point of the \(n\)th eigenfunction \(y_n\), i.e., \(y_n(x_i^{(n)})=0\) for \(i=1,2,\dots,n-1\). Let \(l_i^{(n)}=x_{i+1}^{(n)}-x_i^{(n)}\). The authors prove that, for \(\alpha=\beta=0\) or \(\alpha, \beta>0\), the sequence of function, \[ F_n(x)=2n^2\pi^2 \left\{nl_j^{(n)}-1+{l_j^{(n)}\over n\pi^2}\left({1\over 2}\int_0^1q dx- scot\alpha+scot\beta\right)\right\} \] converges to \(q\) in the sense of \(L_1\). Slightly modified sequences are given for other values of \(\alpha\) and \(\beta\).