Bases of eigenfunctions of two discontinuous differential operators (Q2480459)

The authors consider the problem of basic properties of exponential systems with degenerate coefficients of the form \[ \{ A^+ (t)\omega ^+ (t)e^{int} ;A^- (t)\omega ^- (t)e^{-int} \} _{n\geq 0,k\geq 1}\tag{1} \] in the spaces \(L_{p} (-\pi ,\pi)\), \(1<p<+\infty\), where \(A^{\pm } (t)\equiv \left| A^{\pm } (t)\right| e^{i\alpha ^{\pm (t)} } \) are complex-valued functions on \([-\pi ,\pi ]\) under the following conditions. {\parindent 6mm \begin{itemize}\item[a)] \(\left| A^{\pm } (t)\right| \) are measurable functions on \((-\pi ,\pi )\); moreover \(\left\| A^{+} ;A^{-} \right\| _{\infty }^{\pm 1} <+\infty \), where \(\left\| \cdot\right\| _{\infty } \)is a norm in \(L_{\infty } \). \item[b)] \(\alpha ^{\pm } (t)\) are piecewise Hölder functions on \([-\pi ,\pi ]\); \(\{ s_{i} \} _{1}^{r} \subset \left(-\pi ,\pi \right)\) is the set of points of discontinuity of the function \(\theta (t)\equiv \alpha ^{+} (t)-\alpha ^{-} (t)\); \(\{ h_{i} \} _{1}^{r}\) denotes the jumps of the function \(\theta (t)\) at the points \(s_{i} \), so that \(h_{i} =\theta \left(s_{i} +0\right)-\theta \left(s_{i} -0\right),\)\, \, \(i=1,2,\dots r\). \end{itemize}} The coefficients \(\omega ^{\pm } (t)\) admit the representation \(\omega ^{\pm } (t)\equiv \prod _{i=1}^{l^{\pm } }\{ \sin \left| \frac{t-\tau _{i}^{\pm } }{2} \right| \} ^{\beta _{i}^{\pm } } \). Let \( S = \{ s_i \} _1^r ,\) \(T^ \pm = \{ \tau _i^ \pm \} _1^{l^ \pm }\)\,\,and\( \{ \sigma _i \} _1^l \equiv S \cup T^ - \cup T^ +\). Define the correspondence \( \beta _k^ \pm \leftrightarrow \tau _k^ \pm\), \({h_k }/{2\pi } \leftrightarrow s_k\), and set \[ \lambda _{i}^{\pm } =\mp \begin{cases} \beta _{k}^{\pm }/2 &\text{if } \{\sigma _{i} \} \cap T^{\pm } =\tau _{k}^{\pm } \\ {0} & \text{if }\{ \sigma _{i} \} \cap T^{\pm } =\emptyset \end{cases} ;\quad \lambda _{i} =\mp \begin{cases} -h_{k}/2 &\text{if } \{ \sigma _{i} \} \cap S=s_{k} \\ {0} & \text{if } \{ \sigma _{i} \} \cap T^{\pm } =\emptyset \end{cases} , \] \(\nu _{i}^{\pm } =\pm \lambda _{i}^{+} +\lambda _{i}^{-} \pm \lambda _{i} ,\quad i=1,\dots l\) and \(\{ \sigma _{i} \} \) is a singleton. The main result is: If \(-\frac{1}{p} <\beta _{i}^{\pm } <\frac{1}{q} ,\) \(i=1,\dots l;\) \(-\frac{1}{p} <\nu _{k}^{\pm } <\frac{1}{q},\) \(k=1,\dots l\); \(-\frac{1}{p} <\frac{h_{0} }{2\pi } <\frac{1}{q}\), where \(h_{0} =\theta (-\pi)-\theta (\pi)\), then the system (1) is a basis in \(L_{p}\), \(1<p<+\infty \).