The aim of the paper is two-fold. First, we investigate the ψ-Bessel potential spaces on ${ℝ}_{0+}^{n+1}$ and study some of their properties. Secondly, we consider the fractional powers of an operator of the form $-A_{\pm }=-\psi \left(D_{x^{\text{'}}}\right)\pm \partial /\left(\partial x_{n+1}\right)$, $(x^{\text{'}},x_{n+1})\in {ℝ}_{0+}^{n+1}$, where $\psi \left(D_{x^{\text{'}}}\right)$ is an operator with real continuous negative definite symbol ψ: ℝⁿ → ℝ. We define the domain of the operator $-{(-A_{\pm })}^{\alpha }$ and prove that with this domain it generates an $L_p$-sub-Markovian semigroup.

Let $(A_0,A_1)$ be a regular interpolation couple. Under several different assumptions on a fixed $A^{\beta }$, we show that $A^{\theta }=A_{\theta }$ for every $\theta \in (0,1)$. We also deal with assumptions on ${\overline{A}}^{\beta }$, the closure of $A^{\beta }$ in the dual of ${(A_0^{*},A_1^{*})}_{\beta }$.

Geometric structure of Cesàro function spaces $Ce{s}_p\left(I\right)$, where I = [0,1] and [0,∞), is investigated. Among other matters we present a description of their dual spaces, characterize the sets of all q ∈ [1,∞] such that $Ce{s}_p[0,1]$ contains isomorphic and complemented copies of $l_q$-spaces, show that Cesàro function spaces fail the fixed point property, give a description of subspaces generated by Rademacher functions in spaces $Ce{s}_p[0,1]$.