On a characterization of the Sobolev spaces over an abstract Wiener space
type: Item
instance of: scholarly article
title: On a characterization of the Sobolev spaces over an abstract Wiener space
zbMATH Open document ID: 0614.46028
author: Hiroshi Sugita
published in: Journal of Mathematics of Kyoto University
publication date: 1985-01-01T00:00:00Z
review text: Let us recall the classical Sobolev spaces in a finite-dimensional case. Consider \(H^ 1({\mathbb{R}}^ d)\) for example. Usually it is defined by means of the Schwartz distribution, that is, (A) \(H^ 1({\mathbb{R}}^ d)\equiv \{f\in L^ 2({\mathbb{R}}^ d)\); For each \(i=1,...,d\), the distribution derivative \(\frac{\partial}{\partial x_ i}f\) belongs to \(L^ 2({\mathbb{R}}^ d)\}.\) \(H^ 1({\mathbb{R}}^ d)\) is a Hilbert space with norm \(\| f\|_{H^ 1}\equiv (\| f\|^ 2_{L^ 2}+\sum^{d}_{i=1}\| \frac{\partial}{\partial x_ i}f\|^ 2_{L^ 2})^{1/2}.\) However, if we have to define it without the notion of distribution, we may adopt the following definition. (B) \(H^ 1({\mathbb{R}}^ d)\equiv\) the completion of the space \(C^ 1_ 0({\mathbb{R}}^ d)\) with respect to \(\|.\|_{H^ 1}.\) Or, due to Nikodym, we can take the next one. (C) \(H^ 1({\mathbb{R}}^ d)\in \{f\in L^ 2({\mathbb{R}}^ d)\); For each \(i=1,...,d\), there exists a version \(\tilde f_ i\) of \(f\) such that \(\tilde f_ i\) is absolutely continuous along almost all lines parallel to the \(x_ i\)-axis, and its Radon-Nikodym derivative \(\frac{\partial}{\partial x_ i}\tilde f_ i\) belongs to \(L^ 2({\mathbb{R}}^ d).\}\) Now, talking about the Sobolev spaces over an abstract Wiener space, two typical definitions are known; one is due to \textit{J. Shigekawa} [this J. 20, 263-289 (1980; Zbl 0476.28008)], and the other is due to \textit{S. Kusuoka} and \textit{D. Stroock} [North-Holland Math. Libr. 32, 271-306 (1984; Zbl 0546.60056)]. In short words, we can say that the former definition is an infinite-dimensional analogue of type (B), and the latter one is that of type (C). In this paper, we first present a theorem in which Shigekawa's Sobolev spaces are characterized, in an analogous way to (A), by means of so-called generalized Wiener functionals. Then, as its application, we will prove that those two definitions of Shigekawa and Kusuoka-Stroock in fact determine the same spaces.
Mathematics Subject Classification ID: 46E35
Mathematics Subject Classification ID: 28C20
Mathematics Subject Classification ID: 46F25
Mathematics Subject Classification ID: 60H10
zbMATH DE Number: 3994286
zbMATH Keywords: Malliavin calculus
zbMATH Keywords: Sobolev spaces over an abstract Wiener space
zbMATH Keywords: generalized Wiener functionals
MaRDI profile type: Publication
full work available at URL: https://doi.org/10.1215/kjm/1250521019
OpenAlex ID: W1502885807
DOI: 10.1215/KJM/1250521019
description: scientific article; zbMATH DE number 3994286