Integral of Continuous Functions of Two Variables

被引：1

作者：

Endou, Noboru ^{[1
]}

Shidama, Yasunari ^{[2
]}

机构：

[1] Gifu Coll, Natl Inst Technol, 2236-2 Kamimakuwa, Motosu, Gifu, Japan

[2] Karuizawa Hotch 244-1, Nagano, Japan

来源：

FORMALIZED MATHEMATICS | 2023年 / 31卷 / 01期

关键词：

double integral; repeated integral; REAL ANALYSIS;

D O I：

10.2478/forma-2023-0025

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

We extend the formalization of the integral theory of one-variable functions for Riemann and Lebesgue integrals, showing that the Lebesgue integral of a continuous function of two variables coincides with the Riemann iterated integral of a projective function.

引用

页码：309 / 324

页数：16

共 50 条

[21] The Kronecker integral applied to a system of two functions with two complex variables.
Lelong, P
COMPTES RENDUS HEBDOMADAIRES DES SEANCES DE L ACADEMIE DES SCIENCES, 1940, 211 : 351 - 353
[22] Algebraic functions of two variables. D Double integral of two categories
Jung, HWE
JOURNAL FUR DIE REINE UND ANGEWANDTE MATHEMATIK, 1933, 169 (1/4): : 43 - 60
[23] On piecewise-constant approximation of continuous functions of n variables in integral metrics
Bel'skii S.A.
Ukrainian Mathematical Journal, 2002, 54 (3) : 358 - 370
[24] Two New Degenerate Hypergeometric Functions of Several Variables and Integral Equations Containing These Functions
V. I. Khudozhnikov
Differential Equations, 2003, 39 : 881 - 891
[25] Two new degenerate hypergeometric functions of several variables and integral equations containing these functions
Khudozhnikov, VI
DIFFERENTIAL EQUATIONS, 2003, 39 (06) : 881 - 891
[26] On the divergence everywhere of Fourier series of continuous functions of two variables
Bakhvalov, AN
DOKLADY AKADEMII NAUK, 1998, 360 (01) : 7 - 9
[27] LINEAR METHODS OF APPROXIMATION TO CONTINUOUS PERIODIC FUNCTIONS OF TWO VARIABLES
TROFIMOV, VN
DOKLADY AKADEMII NAUK SSSR, 1961, 137 (03): : 531 - &
[28] Some Integral Inequalities for Arithmetically and Geometrically Convex Functions of Two Variables
Darvish, Vahid
Roushan, Tahere A.
Georgiev, Svetlin G.
Dragomir, Sever S.
JOURNAL OF CONVEX ANALYSIS, 2022, 29 (01) : 205 - 220
[29] Generalized integral inequalities for discontinuous functions with one or two independent variables
Feng, Qinghua
Meng, Fanwei
WSEAS Transactions on Mathematics, 2011, 10 (12) : 431 - 442
[30] Integral representation of even positive-definite functions of two variables
O. V. Lopotko
Ukrainian Mathematical Journal, 2011, 63 : 981 - 992

← 1 2 3 4 5 →