Intuitively, why does a unique value for the Henstock-Kurzweil (gauge) integral always exist?

The name of the pictureThe name of the pictureThe name of the pictureClash Royale CLAN TAG#URR8PPP











up vote
1
down vote

favorite
1












A(n improperly) HK-integrable function $f$ is Lebesgue integrable on a (not necessarily bounded) measurable subset of $mathbbR$ if and only if $|f|$ is also (improperly) HK-integrable on that subset.
Found the above claim at the following sources: (1)(2)(3)(4).



This means that if $f$ is a(n improperly) HK-integrable function whichi is not Lebesgue integrable, then $|f|$ is not (improperly) HK-integrable. Call such functions "conditionally" HK-integrable.




Question: Intuitively speaking$^*$, why are the integrals of conditionally HK-integrable functions well defined? Why don't we have to define something like the Cauchy principal value?




$^*$ I.e. feel free to skip over as many details as you want. I don't understand the HK integral well.



As you may have guessed from my decision to call such functions "conditionally HK-integrable", my intuition is that they should be analogous to conditionally convergent series. Therefore, intuitively I would expect a problem resulting from $infty - infty$ not being possible to define well, leading to an analog of the Riemann rearrangement theorem being applicable, and thus to some convention like the Cauchy principal value being necessary to ever assign any value to the integral at all.



If $|f| = f^+ + f^-$ is not HK-integrable, but $f = f^+ - f^-$ is HK-integrable (i.e. $f$ is "conditionally" HK-integrable), then this seems to require that both $HKint f^+ = + infty = HK int f^-$. Not understanding the definition of HK integral well, however, I am not sure if this argument works.



Motivation: If the argument does work, then since the only HK-integrable functions which aren't Lebesgue integrable are conditionally HK-integrable, then we would have another answer to this popular question (see also this question) (and also this question).



The answer to the following question is related to this question: Can someone give an example of a function that is not Henstock-Kurzweil/gauge integrable?



Seemingly also related: Can conditionally convergent series be interpreted as a "generalized Henstock-Kurzweil integral"?







share|cite|improve this question



















  • Did you try to see what happens in the gauge level when you try to prove, for example, that $sum_n (-1)^n/n$ is convergent in the language of Henstock integral?
    – Hugocito
    Jul 15 at 1:24











  • Reading T.Kunkle Rearrangements of Conditionally Integrable Functions 1994 can be useful.
    – Tony Piccolo
    Jul 19 at 16:27















up vote
1
down vote

favorite
1












A(n improperly) HK-integrable function $f$ is Lebesgue integrable on a (not necessarily bounded) measurable subset of $mathbbR$ if and only if $|f|$ is also (improperly) HK-integrable on that subset.
Found the above claim at the following sources: (1)(2)(3)(4).



This means that if $f$ is a(n improperly) HK-integrable function whichi is not Lebesgue integrable, then $|f|$ is not (improperly) HK-integrable. Call such functions "conditionally" HK-integrable.




Question: Intuitively speaking$^*$, why are the integrals of conditionally HK-integrable functions well defined? Why don't we have to define something like the Cauchy principal value?




$^*$ I.e. feel free to skip over as many details as you want. I don't understand the HK integral well.



As you may have guessed from my decision to call such functions "conditionally HK-integrable", my intuition is that they should be analogous to conditionally convergent series. Therefore, intuitively I would expect a problem resulting from $infty - infty$ not being possible to define well, leading to an analog of the Riemann rearrangement theorem being applicable, and thus to some convention like the Cauchy principal value being necessary to ever assign any value to the integral at all.



If $|f| = f^+ + f^-$ is not HK-integrable, but $f = f^+ - f^-$ is HK-integrable (i.e. $f$ is "conditionally" HK-integrable), then this seems to require that both $HKint f^+ = + infty = HK int f^-$. Not understanding the definition of HK integral well, however, I am not sure if this argument works.



Motivation: If the argument does work, then since the only HK-integrable functions which aren't Lebesgue integrable are conditionally HK-integrable, then we would have another answer to this popular question (see also this question) (and also this question).



The answer to the following question is related to this question: Can someone give an example of a function that is not Henstock-Kurzweil/gauge integrable?



Seemingly also related: Can conditionally convergent series be interpreted as a "generalized Henstock-Kurzweil integral"?







share|cite|improve this question



















  • Did you try to see what happens in the gauge level when you try to prove, for example, that $sum_n (-1)^n/n$ is convergent in the language of Henstock integral?
    – Hugocito
    Jul 15 at 1:24











  • Reading T.Kunkle Rearrangements of Conditionally Integrable Functions 1994 can be useful.
    – Tony Piccolo
    Jul 19 at 16:27













up vote
1
down vote

favorite
1









up vote
1
down vote

favorite
1






1





A(n improperly) HK-integrable function $f$ is Lebesgue integrable on a (not necessarily bounded) measurable subset of $mathbbR$ if and only if $|f|$ is also (improperly) HK-integrable on that subset.
Found the above claim at the following sources: (1)(2)(3)(4).



This means that if $f$ is a(n improperly) HK-integrable function whichi is not Lebesgue integrable, then $|f|$ is not (improperly) HK-integrable. Call such functions "conditionally" HK-integrable.




Question: Intuitively speaking$^*$, why are the integrals of conditionally HK-integrable functions well defined? Why don't we have to define something like the Cauchy principal value?




$^*$ I.e. feel free to skip over as many details as you want. I don't understand the HK integral well.



As you may have guessed from my decision to call such functions "conditionally HK-integrable", my intuition is that they should be analogous to conditionally convergent series. Therefore, intuitively I would expect a problem resulting from $infty - infty$ not being possible to define well, leading to an analog of the Riemann rearrangement theorem being applicable, and thus to some convention like the Cauchy principal value being necessary to ever assign any value to the integral at all.



If $|f| = f^+ + f^-$ is not HK-integrable, but $f = f^+ - f^-$ is HK-integrable (i.e. $f$ is "conditionally" HK-integrable), then this seems to require that both $HKint f^+ = + infty = HK int f^-$. Not understanding the definition of HK integral well, however, I am not sure if this argument works.



Motivation: If the argument does work, then since the only HK-integrable functions which aren't Lebesgue integrable are conditionally HK-integrable, then we would have another answer to this popular question (see also this question) (and also this question).



The answer to the following question is related to this question: Can someone give an example of a function that is not Henstock-Kurzweil/gauge integrable?



Seemingly also related: Can conditionally convergent series be interpreted as a "generalized Henstock-Kurzweil integral"?







share|cite|improve this question











A(n improperly) HK-integrable function $f$ is Lebesgue integrable on a (not necessarily bounded) measurable subset of $mathbbR$ if and only if $|f|$ is also (improperly) HK-integrable on that subset.
Found the above claim at the following sources: (1)(2)(3)(4).



This means that if $f$ is a(n improperly) HK-integrable function whichi is not Lebesgue integrable, then $|f|$ is not (improperly) HK-integrable. Call such functions "conditionally" HK-integrable.




Question: Intuitively speaking$^*$, why are the integrals of conditionally HK-integrable functions well defined? Why don't we have to define something like the Cauchy principal value?




$^*$ I.e. feel free to skip over as many details as you want. I don't understand the HK integral well.



As you may have guessed from my decision to call such functions "conditionally HK-integrable", my intuition is that they should be analogous to conditionally convergent series. Therefore, intuitively I would expect a problem resulting from $infty - infty$ not being possible to define well, leading to an analog of the Riemann rearrangement theorem being applicable, and thus to some convention like the Cauchy principal value being necessary to ever assign any value to the integral at all.



If $|f| = f^+ + f^-$ is not HK-integrable, but $f = f^+ - f^-$ is HK-integrable (i.e. $f$ is "conditionally" HK-integrable), then this seems to require that both $HKint f^+ = + infty = HK int f^-$. Not understanding the definition of HK integral well, however, I am not sure if this argument works.



Motivation: If the argument does work, then since the only HK-integrable functions which aren't Lebesgue integrable are conditionally HK-integrable, then we would have another answer to this popular question (see also this question) (and also this question).



The answer to the following question is related to this question: Can someone give an example of a function that is not Henstock-Kurzweil/gauge integrable?



Seemingly also related: Can conditionally convergent series be interpreted as a "generalized Henstock-Kurzweil integral"?









share|cite|improve this question










share|cite|improve this question




share|cite|improve this question









asked Jul 15 at 1:08









Chill2Macht

12.1k91659




12.1k91659











  • Did you try to see what happens in the gauge level when you try to prove, for example, that $sum_n (-1)^n/n$ is convergent in the language of Henstock integral?
    – Hugocito
    Jul 15 at 1:24











  • Reading T.Kunkle Rearrangements of Conditionally Integrable Functions 1994 can be useful.
    – Tony Piccolo
    Jul 19 at 16:27

















  • Did you try to see what happens in the gauge level when you try to prove, for example, that $sum_n (-1)^n/n$ is convergent in the language of Henstock integral?
    – Hugocito
    Jul 15 at 1:24











  • Reading T.Kunkle Rearrangements of Conditionally Integrable Functions 1994 can be useful.
    – Tony Piccolo
    Jul 19 at 16:27
















Did you try to see what happens in the gauge level when you try to prove, for example, that $sum_n (-1)^n/n$ is convergent in the language of Henstock integral?
– Hugocito
Jul 15 at 1:24





Did you try to see what happens in the gauge level when you try to prove, for example, that $sum_n (-1)^n/n$ is convergent in the language of Henstock integral?
– Hugocito
Jul 15 at 1:24













Reading T.Kunkle Rearrangements of Conditionally Integrable Functions 1994 can be useful.
– Tony Piccolo
Jul 19 at 16:27





Reading T.Kunkle Rearrangements of Conditionally Integrable Functions 1994 can be useful.
– Tony Piccolo
Jul 19 at 16:27
















active

oldest

votes











Your Answer




StackExchange.ifUsing("editor", function ()
return StackExchange.using("mathjaxEditing", function ()
StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix)
StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
);
);
, "mathjax-editing");

StackExchange.ready(function()
var channelOptions =
tags: "".split(" "),
id: "69"
;
initTagRenderer("".split(" "), "".split(" "), channelOptions);

StackExchange.using("externalEditor", function()
// Have to fire editor after snippets, if snippets enabled
if (StackExchange.settings.snippets.snippetsEnabled)
StackExchange.using("snippets", function()
createEditor();
);

else
createEditor();

);

function createEditor()
StackExchange.prepareEditor(
heartbeatType: 'answer',
convertImagesToLinks: true,
noModals: false,
showLowRepImageUploadWarning: true,
reputationToPostImages: 10,
bindNavPrevention: true,
postfix: "",
noCode: true, onDemand: true,
discardSelector: ".discard-answer"
,immediatelyShowMarkdownHelp:true
);



);








 

draft saved


draft discarded


















StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2852103%2fintuitively-why-does-a-unique-value-for-the-henstock-kurzweil-gauge-integral%23new-answer', 'question_page');

);

Post as a guest



































active

oldest

votes













active

oldest

votes









active

oldest

votes






active

oldest

votes










 

draft saved


draft discarded


























 


draft saved


draft discarded














StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2852103%2fintuitively-why-does-a-unique-value-for-the-henstock-kurzweil-gauge-integral%23new-answer', 'question_page');

);

Post as a guest













































































Comments

Popular posts from this blog

What is the equation of a 3D cone with generalised tilt?

Color the edges and diagonals of a regular polygon

Relationship between determinant of matrix and determinant of adjoint?