Poincaré and Opial inequalities for vector-valued convolution products (Q432804): Difference between revisions

Let \(\delta : [0,\infty) \rightarrow X\) (or \((\delta(u))_{u\geq 0} \subset X\)) be a continuous function. Then the function \(\delta_\alpha\), (\(\alpha >0\)), is defined as \[ \delta_\alpha (t) = \frac{1}{\Gamma(\alpha)} \int_0^t (t-u)^{\alpha -1}\delta(u) du, \;\;\;t>0. \] Also, we have \( \| \| \delta_\alpha (t) \|_X \|_{L^{\nu}([0,a])} = \left( \int_0^a \| \delta_\alpha (t)\|_X^{\nu} dt \right)^{1/{\nu}}\). The following result is the Poincaré type inequality for certain convolution products. Theorem. Let \((\delta(u))_{u\geq 0} \subset X\) be a continuous map and \(\alpha >0\). Then \[ \| \| \delta_\alpha (t) \|_X \|_{L^{\nu}([0,a])} \leq \frac{a^{\alpha -1+\frac 1p +\frac{1}{\nu}}}{\Gamma(\alpha) (1-(1-\alpha)p)^{\frac 1p} (\nu(\frac 1p +\alpha -1)+1)^{\frac{1}{\nu}}} \| \| \delta (t) \|_X \|_{L^{q}([0,a])} \] for \(a>0\), in the case \(0<\alpha \leq 1\) with \(1<p<\frac{1}{1-\alpha}\); and in the case \(\alpha \geq 1\) with \(1<p<\infty\); \(\frac 1p +\frac 1q =1\), and \(\nu \geq 1\). Further, an Opial type inequality for vector-valued convolution products is given. Theorem. Let \((\delta(u))_{u\geq 0} \subset X\) be a continuous map and \(\alpha >0\). Then \[ \begin{multlined} \int_0^t \| \delta_\alpha (s) \|_X \| \delta (s) \|_X ds \\ \leq \frac{t^{\alpha-1+\frac 2p}}{2^{\frac 1q} \Gamma(\alpha) (p(\alpha -1)+1)^{\frac 1p} (p(\alpha -1)+2)^{\frac 1p}} \left( \int_0^t \| \delta (s) \|_X^q ds\right)^{\frac 2q}\end{multlined} \] for \(t>0, 1<p\), \(p(\alpha -1)>-1\) and \(\frac 1p +\frac 1q =1\). These results are applied to infinitesimal generators of \(C_0\)-semigroups and cosine functions.