Формула Грина на гильбертовом пространстве

Доказывается первая формула Грина для интегралов на гильбертовом пространстве. С помощью этой формулы устанавливается, в частности, следующий результат.
Теорема. Невырожденный квадратичный функционал от винеровского случайного процесса имеет бесконечно дифференцируемую функцию распределения.
Библиография: 9 названий.