A time scales version of a Wirtinger-type inequality and applications (Q1602840)

A time scale \(\mathbb T\) is any closed subset of the real numbers \(\mathbb R\) and the calculus on time scales unifies in a natural way differential and difference calculus. In particular, the time scale generalized derivative \(f^\Delta\) of a function \(f:\mathbb T\to \mathbb R\) reduces to the usual derivative if \(\mathbb T=\mathbb R\) and to the forward difference if \(\mathbb T=\mathbb Z\) is the set of integers. For basic facts of the time scale calculus we refer, e.g., to \textit{M. Bohner} and \textit{A. Peterson} [``Dynamic equations on time scales. An introduction with applications'' (2001; Zbl 0978.39001)]. The following time scale version of the classical Wirtinger inequality is established. Theorem. Let \(I=\{t\in \mathbb T, a\leq t\leq b\}\), \(M\) be a positive rd-continuously differentiable function such that \(M^\Delta>0\) or \(M^\Delta<0\) on \(I^\kappa\). Then \[ \int_a^b |M^\Delta(t)|[y^\sigma(t)]^2\Delta t\leq \Psi_I \int_a^b \frac{M(t)M^\sigma(t)}{|M^\Delta(t)|}[y^\Delta(t)]^2\Delta t, \] for every rd-continuously differentiable \(y\) with \(y(a)=0=y(b)\), where \[ \Psi_I:=\left\{ \left(\sup_{I^\kappa}\frac{M(t)}{M^\sigma(t)}\right)^{1/2} + \left[ \left( \sup_{I^\kappa}\frac{\mu(t)|M^\Delta(t)|} {M^\sigma(t)}\right) +\left(\sup_{I^\kappa}\frac{M(t)} {M^\sigma(t)}\right)\right]^{1/2}\right\}^2. \] Here \(\sigma\) and \(\mu\) denote the right jump operator and the graininess of the time scale \(\mathbb T\), \(M^\sigma(t)=M(\sigma(t))\) and \(I^\kappa\) is the time scale interval \(I\) without its possible isolated maximum. Applications of this inequality in oscillation theory of Sturm-Liouville dynamic equations on time scales are offered as well.