Sampling theorems for Sturm-Liouville problem with moving discontinuity points (Q481615)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Sampling theorems for Sturm-Liouville problem with moving discontinuity points
scientific article

    Statements

    Sampling theorems for Sturm-Liouville problem with moving discontinuity points (English)
    0 references
    0 references
    0 references
    12 December 2014
    0 references
    The authors consider the Sturm--Liouville spectral problem \[ -y'' + q(x) y = z\, y,\qquad x\in I=(-1,1),\tag{1} \] subject to the following initial conditions \[ \beta_1 y(-1) + \beta_2 y'(-1) =0,\qquad z(\alpha_1' y(1) - \alpha_2' y'(1)) + (\alpha_1 y(1) - \alpha_2 y'(1))=0. \] Moreover, the authors impose two more transmission conditions at the points of discontinuity, \({\epsilon_-}\) and \({\epsilon_+}\): \[ y({\epsilon}_- -) - \delta y({\epsilon_-}+) =0,\qquad y'({\epsilon_-}-) - \delta y'(\epsilon_- +) =0,\tag{2} \] and \[ \delta y(\epsilon_+-) - \gamma y(\epsilon_++) =0,\qquad \delta y'(\epsilon_+-) - \gamma y'(\epsilon_+ +) =0. \tag{3} \] It is assumed that \(\epsilon_\pm =\pm \epsilon\) with some \(\epsilon \in (0,1)\), \(q\) is real-valued and continuous on \([-1,\epsilon_-)\cup (\epsilon_-,\epsilon_+)\cup(\epsilon_+,1]\) and admits finite limits \(q(\epsilon_-\pm)\) and \(q({\epsilon_+}\pm)\). Moreover, it is assumed that the coefficients in the boundary conditions are real and such that \(|\beta_1|+|\beta_2|\neq 0\), \(\delta\), \(\gamma\neq 0\), \(\rho:=\alpha_1'\alpha_2 - \alpha_2'\alpha_1>0\). Let \(\phi(z,x)\) and \(\theta(z,x)\) denote the fundamental system of solutions of the spectral problem (1) satisfying transmission conditions (2) and (3) and normalyzed as follows \[ \phi(z,-1)=\beta_2,\quad \phi'(z,-1)=-\beta_1;\qquad \theta(z,1) = z\alpha_2'+\alpha_2,\quad \theta'(z,1) = z\alpha_1'+\alpha_1. \] Denote by \(W(z)\) the Wronskian of \(\phi\) and \(\theta\). The main result in the paper under review is the following sampling type formula for the generalized Fourier transform \(F(z)\) of \(f\in L^2(-1,1)\): \[ F(z) = \sum_{\lambda\in\sigma} F(\lambda)\frac{W(\lambda)}{(z-\lambda)\dot{W}(\lambda)},\qquad z\in\mathbb{C}. \] Here \(\sigma\) denotes the spectrum, \(\sigma=\{\lambda\in \mathbb{C}:\;W(\lambda)=0\}\), and \(F\) is defined by \[ F(z) =\langle\phi(z,\cdot), f^*\rangle_{\mathfrak{H}}:= \int_{-1}^{\epsilon_-} f(x)\phi(z,x)dx + \delta^2 \int_{\epsilon_-}^{\epsilon_+} f(x)\phi(z,x)dx + \gamma^2 \int_{\epsilon_+}^1 f(x)\phi(z,x)dx. \]
    0 references
    0 references
    0 references
    0 references
    0 references
    sampling theory
    0 references
    discontinuous Sturm-Liouville problem
    0 references
    transmission condition
    0 references
    0 references
    0 references
    0 references