No label defined (Q4378409)

It is well known that the classical one-dimensional integrals \(I^\alpha\) of fractional order \(\alpha>0\) map the spaces \(H^\lambda\) and \(L^p\) into \(H^{\lambda+\alpha}\) and \(L^q\) \((1/q= (1/p)- \alpha)\), respectively, and that the fractional differentiation operator \(D^\alpha\) is the left inverse to \(I^\alpha: D^\alpha I^\alpha\varphi= \varphi\) [see Sections 3, 5 and 6 in the book by \textit{S. G. Samko} \textit{A. A. Kilbas} and \textit{O. I. Marichev}, ``Fractional integrals and derivatives: Theory and applications'' (Russian) (1987; Zbl 0617.26004; English translation 1993; Zbl 0818.26003)]. The present paper is devoted to extend the results above to the integration \(I^{\alpha(x)}\) and the differentiation \(D^{\alpha(x)}\) of variable order \(\alpha(x)\). Such operations generalizing \(I^\alpha\) and \(D^\alpha\), were introduced by \textit{S. G. Samko} and \textit{B. Ross} [Integral Transforms Spec. Funct. 1, No. 4, 277-300 (1993; Zbl 0820.26003)]. The first result above is directly extended to the Hölder spaces \(H^{\lambda(x)}\) of variable order \(\lambda(x): I^{\alpha(x)}\) maps \(H^{\lambda(x)}\) into \(H^{\lambda(x)+ \alpha(x)}\) (see [\textit{B. Ross} and \textit{S. G. Samko}, Int. J. Math. Math. Sci. 18, No. 4, 777-788 (1995; Zbl 0838.26005)], and the case of constant \(\alpha(x)= \alpha\) in [\textit{N. K. Karapetyants} and \textit{A. I. Ginzburg}, Dokl. Akad. Nauk, Ross. Akad. Nauk 333, No. 2 136-137 (1993; Zbl 0847.26009) and Integral Transforms Spec. Funct. 2, No. 2, 91-96 (1994; Zbl 0842.26006)]). The second result above for the mapping property of \(I^{\alpha(x)}\) in the \(L^{p(x)}\)-space of variable order \(p(x)\) is more complicated. It is caused by the fact that the space \(L^{p(x)}\) is little studied and many standard methods to investigate operators in \(L^p\) do not work in the case of variable \(p(x)\). The author studies the properties of the space \(L^p(\Omega)\) on a measurable set \(\Omega\) in \(\mathbb{R}^n\) such as the Kolmogorov-Minkowski-type norm, the Hölder and Minkowski inequalities, the equivalence of \(L^{p(x)}\)-norm with the norm inspired by the Riesz theorem on the representation of a linear functional in \(L^p\). As for the third result above, it is also changed: the fractional differentiation operator \(D^{\alpha(x)}\) coincides with the operator left inverse to \(I^{\alpha(x)}\) up to the composition with the special Volterra integral operator [see also \textit{S. G. Samko}, Anal. Math. 21, No. 3, 213-236 (1995; Zbl 0838.26006)]. For the entire collection see [Zbl 0881.00038].