Are Classes of Deterministic Integrands for Fractional Brownian Motion on an Interval Complete?

Let BH be a fractional Brownian motion with self-similarity parameter H∈ (0,1) and a>0 be a fixed real number. Consider the integral ∈t₀a f(u)\ dBH(u), where f belongs to a class of non-random integrands ΛH,a. The integral will then be defined in the L²(Ω) sense. One would like ΛH,a to be a complete inner-product space. This corresponds to a desirable situation because then there is an isometry between ΛH,a and the closure of the span generated by BH(u), 0≤ u≤ a. We show in this work that, when H∈(½,1), the classes of integrands ΛH,a one usually considers are not complete inner-product spaces even though they are often assumed in the literature to be complete. Thus, they are isometric not to øverline{}\\{BH(u), 0≤ u≤ a\\} but only to a proper subspace. Consequently, there are (random) elements in that closure which cannot be represented by functions f in ΛH,a. We also show, in contrast to the case H∈ (½,1), that there is a class of integrands for fractional Brownian motion BH with H∈ (0,½) on an interval [0,a] which is a complete inner-product space.