Fubini Type Theorems for the strong McShane and strong Henstock-Kurzweil integrals
Pith reviewed 2026-05-25 00:37 UTC · model grok-4.3
The pith
Fubini theorems hold for the strong McShane and strong Henstock-Kurzweil integrals of Banach space valued functions on rectangles in the plane.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
For a Banach space valued function that is strong McShane integrable or strong Henstock-Kurzweil integrable on the closed rectangle [a,b] subset R^2, the double integral equals the iterated integral obtained by first integrating with respect to one variable and then the other, whenever the one-dimensional integrals exist.
What carries the argument
Fubini-type theorems that equate the strong McShane (respectively strong Henstock-Kurzweil) double integral over the product interval to the iterated integrals formed from the corresponding one-dimensional strong integrals.
If this is right
- The double integral can be evaluated by successive one-variable integrations for both the strong McShane and strong Henstock-Kurzweil cases.
- The order of integration can be reversed when both iterated integrals exist.
- These equalities hold without requiring absolute integrability of the function.
Where Pith is reading between the lines
- The same reduction technique may apply to higher-dimensional rectangles if analogous strong integrals are defined there.
- Applications that rely on iterated integration, such as solving integral equations, could now use these non-absolute integrals in two variables.
Load-bearing premise
The functions must belong to the classes in which the strong McShane or strong Henstock-Kurzweil integrals exist on the product interval.
What would settle it
A concrete Banach-valued function on a rectangle that is strong McShane integrable over the whole domain yet yields a double integral unequal to either iterated integral would falsify the claim.
read the original abstract
In this paper, we will prove Fubini type theorems for the strong McShane and strong Henstock-Kurzweil integrals of Banach spaces valued functions defined on a closed non-degenerate interval $[a,b] =[a_{1}, b_{1}] \times [a_{2}, b_{2}] \subset \mathbb{R}^{2}$.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper claims to prove Fubini-type theorems for the strong McShane and strong Henstock-Kurzweil integrals of Banach space-valued functions on the product rectangle [a,b]=[a1,b1]×[a2,b2]⊂R², under the standing assumption that the double integral exists.
Significance. If the proofs hold, the results would extend Fubini theorems to these non-absolute vector-valued integrals, which could be of interest in the theory of Henstock-Kurzweil and McShane integration in Banach spaces.
minor comments (1)
- The provided abstract states the claim but contains no derivation outline, lemmas, or key steps, making it impossible to assess the technical content or soundness from the given information alone.
Simulated Author's Rebuttal
We thank the referee for reviewing our manuscript on Fubini-type theorems for the strong McShane and strong Henstock-Kurzweil integrals of Banach space-valued functions. The report notes the standing assumption that the double integral exists and gives an uncertain recommendation, but lists no specific major comments. We maintain that the proofs in the paper are complete and correctly handle the stated assumptions for the product interval in R².
Circularity Check
No significant circularity; derivation is self-contained under stated assumptions
full rationale
The paper's central task is to prove Fubini-type theorems for the strong McShane and strong Henstock-Kurzweil integrals of Banach-valued functions on a product rectangle, under the explicit hypothesis that the double integral exists on the product interval. This is a standard conditional proof: the integrability assumption is granted as a premise, after which the paper must show that the iterated integrals exist and equal the double integral. No equations, fitted parameters, or self-citations are exhibited that reduce the claimed result to its own inputs by construction. The derivation therefore remains independent of the target statement and does not trigger any of the enumerated circularity patterns.
Axiom & Free-Parameter Ledger
axioms (1)
- standard math Standard properties of Banach spaces, closed intervals, and the definitions of the strong McShane and strong Henstock-Kurzweil integrals.
Reference graph
Works this paper leans on
-
[1]
Bongiorno, The Henstock-Kurzweil integral, Handbook of measure theor y, Vol
B. Bongiorno, The Henstock-Kurzweil integral, Handbook of measure theor y, Vol. I, II, 587-615, North-Holland, Amsterdam, (2002)
work page 2002
-
[2]
S. S. Cao, The Henstock integral for Banach-valued functions , SEA Bull. Math., 16 (1992), 35-40
work page 1992
-
[3]
L. Di Piazza and K. Musial, A characterization of variationally McShane integrable Ba nach-space valued functions , Illinois J.Math.,45 (2001), 279–289. Zbl 0999.28006
-
[4]
D. H. Fremlin, The Henstock and McShane integrals of vector-valued functi ons, Illinois J.Math. 38 (1994), 471-479
work page 1994
-
[5]
R. A. Gordon, The Integrals of Lebesgue, Denjoy, Perron, and Henstock , Amer. Math. Soc., (1994)
work page 1994
-
[6]
Henstock, A problem in two-dimensional integration , J
R. Henstock, A problem in two-dimensional integration , J. Austral. Math. Soc. Ser. A 35 (1983), 386-404
work page 1983
-
[7]
Henstock, Definitions of Riemann type of the variational integrals , Proc
R. Henstock, Definitions of Riemann type of the variational integrals , Proc. London Math. Soc., 11 (1961), 402-418
work page 1961
-
[8]
Henstock, Theory of Integration , Butterworths, London, (1963)
R. Henstock, Theory of Integration , Butterworths, London, (1963)
work page 1963
-
[9]
Henstock, Lectures on the Theory of Integration , W orld Scientific
R. Henstock, Lectures on the Theory of Integration , W orld Scientific. Singapore, (1988)
work page 1988
-
[10]
S. B. Kaliaj, The New Extensions of the Henstock-Kurzweil and the McShane Integrals of Vector-Valued Functions, Mediterr. J. Math. 15 (2018), Article ID 22, 16 pages
work page 2018
-
[11]
J. Kurzweil, Generalized ordinary differential equations and continuou s dependence on a parameter , Czech. Math. J., 7 (1957), 418-449
work page 1957
-
[12]
J. Kurzweil and J. Jarnik, Equivalent definitions of regular generalized Perron integ rals, Czech. Math. J., 42 (1992), 365-378
work page 1992
-
[13]
J. Kurzweil, J. Jarnik, Differentiability and integrabilty in n dimensions with respect to α-regular intervals, Results in Math., 21 (1992), 138-151
work page 1992
-
[14]
P. Y. Lee, Lanzhou Lectures on Henstock Integration , Series in Real Analysis 2, W orld Scientific Publishing Co., Inc., (1989)
work page 1989
-
[15]
P. Y. Lee, and R. V´ yborn´ y, The Integral: An Easy Approach after Kurzweil and Henstock , Australian Mathematical Society Lecture Series 14, Cambridge University Press, Cambridge, (2000)
work page 2000
-
[16]
T. Y. Lee, Henstock-Kurzweil Integration on Euclidean Spaces , Series in Real Analysis 12, W orld Scientific Publishing Co. Pte. Ltd., (2011)
work page 2011
-
[17]
T. Y. Lee, Product variational measures and FubiniTonelli type theor ems for the HenstockKurzweil integral , J. Math. Anal. Appl. 298 (2004), 677-692
work page 2004
-
[18]
T. Y. Lee, Product variational measures and FubiniTonelli type theor ems for the HenstockKurzweil integral II , J. Math. Anal. Appl. 323 (2006), 741-745
work page 2006
-
[19]
Mikusinski, The Bochner Integral , Academic Press, New York, (1978)
J. Mikusinski, The Bochner Integral , Academic Press, New York, (1978)
work page 1978
-
[20]
ˇS. Schwabik and Y. Guoju, Topics in Banach Space Integration , Series in Real Analysis, vol. 10, W orld Scientific, Hackens ack, NJ, (2005). FUBINI TYPE THEOREMS 9
work page 2005
-
[21]
V. A. Skvortsov and A. P. Solodov, A variational integral for Banach valued functions , Real Analysis Exch. 24 (1998-1999), 799–805. Mathematics Department, Science Natural F aculty, Universit y of Elbasan, Elbasan, Albania. E-mail address : sokol bush@yahoo.co.uk
work page 1998
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.