Page 1

Displaying 1 – 8 of 8

Showing per page

The exceptional sets for functions of the Bergman space in the unit ball

Piotr Jakóbczak (1993)

Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti Lincei. Matematica e Applicazioni

Let D be a domain in C 2 . Given w C , set D w = z C z , w D . If f is a holomorphic and square-integrable function in D , then the set E D , f of all w such that f ( , w ) is not square-integrable in D w has measure zero. We call this set the exceptional set for f . In this Note we prove that whenever 0 < r < 1 there exists a holomorphic square-integrable function f in the unit ball B in C 2 such that E B , f is the circle C 0 , r = z C z = r .

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 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 Orthogonal Projection and the Riesz Representation Theorem

Keiko Narita, Noboru Endou, Yasunari Shidama (2015)

Formalized Mathematics

In this article, the orthogonal projection and the Riesz representation theorem are mainly formalized. In the first section, we defined the norm of elements on real Hilbert spaces, and defined Mizar functor RUSp2RNSp, real normed spaces as real Hilbert spaces. By this definition, we regarded sequences of real Hilbert spaces as sequences of real normed spaces, and proved some properties of real Hilbert spaces. Furthermore, we defined the continuity and the Lipschitz the continuity of functionals...

Two complete and minimal systems associated with the zeros of the Riemann zeta function

Jean-François Burnol (2004)

Journal de Théorie des Nombres de Bordeaux

We link together three themes which had remained separated so far: the Hilbert space properties of the Riemann zeros, the “dual Poisson formula” of Duffin-Weinberger (also named by us co-Poisson formula), and the “Sonine spaces” of entire functions defined and studied by de Branges. We determine in which (extended) Sonine spaces the zeros define a complete, or minimal, system. We obtain some general results dealing with the distribution of the zeros of the de-Branges-Sonine entire functions. We...

Currently displaying 1 – 8 of 8

Page 1