No label defined (Q4933993)

Starting with the Riemann-Liouville integral \[ (J_\nu^{x_0} g)(x):={1\over \Gamma(\nu)} \int_{x_0}^x (x-t)^{\nu -1} g(t) dt,\;\;x, x_0\in [a,b],\;x_0\leq x, \] and the \(\nu\)-fractional derivative defined (not quite standard) as \[ D^\nu_{x_0} g:= DJ_{1-\alpha}^{x_0}D^n g, \;\;n:=[\nu],\;\nu>0,\;\alpha:=\nu - n, \] the author proves at first the generalized Taylor formula with the remainder given by \((J_\nu^{x_0} D^\nu_{x_0} f)(x)\) and the (well-known) semi-group property for the Riemann-Liouville fractional integral. Then several Opial type inequalities in \(L_p\) spaces are established. These inequalities involve fractional derivatives of different orders both in the left- and right-hand sides. Furthermore, both estimates from above and from below are presented, some of them are shown to be sharp. As an application the author considers initial value problems for nonlinear equations of fractional order of the form \[ (D^\nu_{a}f)(t) = F(t,\{ D^{\nu_i}_{a} f(t)\}_{i=1}^r),\;t\in[a,b], \] where \(F\) is a continuous function on \([a,b]\times R^r\). Under some conditions a uniqueness of solutions to these initial value problems is shown and the upper bounds both for the solutions and their fractional derivatives are found.