Page 1 Next

Displaying 1 – 20 of 33

Showing per page

The First Mean Value Theorem for Integrals

Keiko Narita, Noboru Endou, Yasunari Shidama (2008)

Formalized Mathematics

In this article, we prove the first mean value theorem for integrals [16]. The formalization of various theorems about the properties of the Lebesgue integral is also presented.MML identifier: MESFUNC7, version: 7.8.09 4.97.1001

The general form of local bilinear functions

Milan Práger (1993)

Applications of Mathematics

The scalar product of the FEM basis functions with non-intersecting supports vanishes. This property is generalized and the concept of local bilinear functional in a Hilbert space is introduced. The general form of such functionals in the spaces L 2 ( a , b ) and H 1 ( a , b ) is given.

The inclusion theorem for multiple summing operators

David Pérez-García (2004)

Studia Mathematica

We prove that, for 1 ≤ p ≤ q < 2, each multiple p-summing multilinear operator between Banach spaces is also q-summing. We also give an improvement of this result for an image space of cotype 2. As a consequence, we obtain a characterization of Hilbert-Schmidt multilinear operators similar to the linear one given by A. Pełczyński in 1967. We also give a multilinear generalization of Grothendieck's Theorem for GT spaces.

The Lebesgue Monotone Convergence Theorem

Noboru Endou, Keiko Narita, Yasunari Shidama (2008)

Formalized Mathematics

In this article we prove the Monotone Convergence Theorem [16].MML identifier: MESFUNC9, version: 7.8.10 4.100.1011

The Lévy laplacian and differential operators of 2-nd order in Hilbert spaces

Roman Lávička (1998)

Commentationes Mathematicae Universitatis Carolinae

We shall show that every differential operator of 2-nd order in a real separable Hilbert space can be decomposed into a regular and an irregular operator. Then we shall characterize irregular operators and differential operators satisfying the maximum principle. Results obtained for the Lévy laplacian in [3] will be generalized for irregular differential operators satisfying the maximum principle.

The Minlos lemma for positive-definite functions on additive subgroups of n

W. Banaszczyk (1997)

Studia Mathematica

Let H be a real Hilbert space. It is well known that a positive-definite function φ on H is the Fourier transform of a Radon measure on the dual space if (and only if) φ is continuous in the Sazonov topology (resp. the Gross topology) on H. Let G be an additive subgroup of H and let G p c (resp. G b ) be the character group endowed with the topology of uniform convergence on precompact (resp. bounded) subsets of G. It is proved that if a positive-definite function φ on G is continuous in the Gross topology,...

Currently displaying 1 – 20 of 33

Page 1 Next