Singular boundary value problem on infinite time scale (Q2491477)

Using Schauder's fixed point theorem the authors derive a sufficient condition for the existence of a positive solution to the second order nonlinear dynamic equation \[ (\ast)\qquad x^{\Delta\Delta}(t)-k^2x(\sigma(t))+m(t)f(t,x(\sigma(t)))=0,\quad t\geq 0 \] satisfying the boundary conditions \[ x(0)=0,\qquad\lim_{t\to\infty}x(t)=0. \] Here, the time scale \({\mathbb T}\) with forward jump operator \(\sigma\) is assumed to be unbounded above and \(0\in{\mathbb T}\). Besides \(k>0\) the precise assumptions are as follows: (1) \(f:[0,\infty)\times(0,\infty)\to[0,\infty)\) is continuous (possibly singular for a second argument \(x=0\)), decreasing in \(x\) and bounded above; (2) \(m:[0,\infty)\to[0,\infty)\) is rd-continuous (and may be singular in \(0\)); (3) \(\int_0^\infty e^{-k\sigma(s)}G(\sigma(s),s)m(s)\Delta s<\infty\), where \(G\) denotes the Green's function for the linear problem associated with \((\ast)\). Beyond Schauder's theorem, the proof is based on perturbation techniques and an operator approximation method. An example of a difference equation (where \({\mathbb T}=\{0,1,2,\ldots\}\)) illustrates the result.