Intricate structure of the analyticity set for solutions of a class of integral equations (Q2318446)

In this interesting paper, the authors study the compact integral operator \[Lx(t)=\int^t_{\eta(t)}x(s)\,ds\] in the space of continuous \(2\pi\)-periodic functions. The function \(\eta:\mathbb{R}\to\mathbb{R}\) is supposed to be continuous with \(\eta(t)\le t\) and \(\eta(t+2\pi)= \eta(t)+2\pi\) for all \(t\). These assumptions imply that the operator \(L\) leaves the cone of nonnegative \(2\pi\)-periodic functions in the space \(C(\mathbb{R})\) invariant. The authors prove that the operator \(L\) has a positive spectral radius \(r(L)\) iff \(\inf\{\eta(t):t\ge a\}<a\) whenever \(\eta(a)=a\). For analytic \(\eta\), they study the set \(A\subseteq\mathbb{R}\) of all points \(t\) at which the eigenfunctions corresponding to the eigenvalue \(r(L)\) are analytic as well. Conditions are given under which the complement \(\mathbb{R}\setminus A\) is a nonempty nowhere dense perfect set of Cantor type. The abstract results are illustrated by the example \(\eta(t)=t-m\pi(1-\cos t)\) with \(m\in\mathbb{N}\).