Constructive martingale representation in functional It\^o calculus: a local martingale extension

The constructive martingale representation theorem of functional It^o calculus is extended, from the space of square integrable martingales, to the space of local martingales. The setting is that of an augmented filtration generated by a Wiener process.