Tensorization of quasi-Hilbertian Sobolev spaces

Publication date 7 September 2022

Abstract: The tensorization problem for Sobolev spaces asks for a characterization of how the Sobolev space on a product metric measure space

X i m e s Y

can be determined from its factors. We show that two natural descriptions of the Sobolev space from the literature coincide,

W^{1, 2} (X i m e s Y) = J^{1, 2} (X, Y)

, thus settling the tensorization problem for Sobolev spaces in the case

p = 2

, when

X

and

Y

are infinitesimally quasi-Hilbertian, i.e. the Sobolev space

W^{1, 2}

admits an equivalent renorming by a Dirichlet form. This class includes in particular metric measure spaces

X, Y

of finite Hausdorff dimension as well as infinitesimally Hilbertian spaces. More generally for

p i n (1, i n f t y)

we obtain the norm-one inclusion

| f |_{J^{1, p} (X, Y)} l e | f |_{W^{1, p} (X i m e s Y)}

and show that the norms agree on the algebraic tensor product

W^{1, p} (X) o t i m e s W^{1, p} (Y) s u b s e t W^{1, p} (X i m e s Y)

. When

p = 2

and

X

and

Y

are infinitesimally quasi-Hilbertian, standard Dirichlet form theory yields the density of

W^{1, 2} (X) o t i m e s W^{1, 2} (Y)

in

J^{1, 2} (X, Y)

thus implying the equality of the spaces. Our approach raises the question of the density of

W^{1, p} (X) o t i m e s W^{1, p} (Y)

in

J^{1, p} (X, Y)

in the general case.

Recommendations

Cited in

(2)

This page was built for publication: Tensorization of quasi-Hilbertian Sobolev spaces