... [26]). There-fore, it seems interesting to study the so-called intersection local time for sub-fBms, a rather special class of self-similar Gaussian processes. The aim of this paper is to prove the ... completes the proof of Theorem 2. 4. Smoothness of the intersection local timeIn this section, we consider the smoothness of the intersection localtime. Our main object is to explain and prove the ... s2H+t2H+u2H+v2H−12[(t+v)2H+|t−v|2H+(s+u)2H+|s−u|2H], for all s, t, u, v ≥ 0.In order to prove Theorem 5, we need the following propositions.Proposition 6. Under the assumptions above, the following statementsare...