Displaying similar documents to “Riesz trace class operators”

Some remarks on Bochner-Riesz means

S. Thangavelu (2000)

Colloquium Mathematicae

Similarity:

We study L p norm convergence of Bochner-Riesz means S R δ f associated with certain non-negative differential operators. When the kernel S R m ( x , y ) satisfies a weak estimate for large values of m we prove L p norm convergence of S R δ f for δ > n|1/p-1/2|, 1 < p < ∞, where n is the dimension of the underlying manifold.

F. Riesz Theorem

Keiko Narita, Kazuhisa Nakasho, Yasunari Shidama (2017)

Formalized Mathematics

Similarity:

In this article, we formalize in the Mizar system [1, 4] the F. Riesz theorem. In the first section, we defined Mizar functor ClstoCmp, compact topological spaces as closed interval subset of real numbers. Then using the former definition and referring to the article [10] and the article [5], we defined the normed spaces of continuous functions on closed interval subset of real numbers, and defined the normed spaces of bounded functions on closed interval subset of real numbers. We also...