The Dirichlet-Jordan theorem for the Henstock-Fourier transform.
Mendoza Torress, F.J. (2010)
Annals of Functional Analysis (AFA) [electronic only]
Similarity:
Mendoza Torress, F.J. (2010)
Annals of Functional Analysis (AFA) [electronic only]
Similarity:
Satco, Bianca-Renata (2008)
Electronic Journal of Differential Equations (EJDE) [electronic only]
Similarity:
Nikita Shekutkovski (2013)
The Teaching of Mathematics
Similarity:
Dirk Jens F. Nonnenmacher (1994)
Annales Polonici Mathematici
Similarity:
Modifying Mawhin's definition of the GP-integral we define a well-behaved integral over n-dimensional compact intervals. While its starting definition is of Riemann type, we also establish an equivalent descriptive definition involving characteristic null conditions. This characterization is then used to obtain a quite general form of the divergence theorem.
Keiichi Miyajima, Artur Korniłowicz, Yasunari Shidama (2012)
Formalized Mathematics
Similarity:
In this article, we define the Riemann integral on functions R into n-dimensional real normed space and prove the linearity of this operator. As a result, the Riemann integration can be applied to the wider range. Our method refers to the [21].
Noboru Endou, Keiko Narita, Yasunari Shidama (2008)
Formalized Mathematics
Similarity:
In this article we prove the Fatou's Lemma and Lebesgue's Convergence Theorem [10].MML identifier: MESFUN10, version: 7.9.01 4.101.1015
Stanković, M.S., Rajković, P.M., Marinković, Sladjana D. (2006)
Bulletin. Classe des Sciences Mathématiques et Naturelles. Sciences Mathématiques
Similarity:
Keiichi Miyajima, Yasunari Shidama (2009)
Formalized Mathematics
Similarity:
In this article, we define the Riemann Integral of functions from R into Rn, and prove the linearity of this operator. The presented method is based on [21].
Lewandowski, Arkadiusz (2008)
Zeszyty Naukowe Uniwersytetu Jagiellońskiego. Universitatis Iagellonicae Acta Mathematica
Similarity: