What does the Stieltjes integral represent? Can it be seen as an area?












3












$begingroup$


The Stieltjes integral of $f$ w.r.t. $g$ is $$int_0^T f(t),mathrm dg(t)=lim_{nto infty }sum_{i=0}^{n-1} f(t_i)(g(x_{i+1})-g(x_i)),$$
where $t_iin [x_i,x_{i+1}]$ and ${x_0,...,x_n}$ is a partition of $[0,T]$.



What does it represent concretely ? Can it be seen as an area ? I see it often, but I don't see in what this integral is worth.



For example, what could represent $$int_0^1 x,mathrm d x^2 ?$$
(despite the fact that it's equal to $int_0^1 2x^2,mathrm d x$)










share|cite|improve this question











$endgroup$








  • 5




    $begingroup$
    it represent a "weighted sum of quantities", something similar to the mass of an object with variable density in each of it points
    $endgroup$
    – Masacroso
    Dec 31 '18 at 11:21












  • $begingroup$
    You can also look at it as a change of variable when the function is not a diffeomorphism
    $endgroup$
    – lcv
    Dec 31 '18 at 17:24










  • $begingroup$
    Roughly speaking, it can be understood as the area under the curve $gamma(t) = (g(t), f(t))$. Indeed, if both $f$ and $g$ are $C^1$, then the Stieltjes integral $int_{a}^{b} f(t) , mathrm{d}g(t)$ is the same as the line integral $int_{gamma} y , mathrm{d}x$ where $gamma$ is defined as above. And this interpretation can be extended to the case where $g$ is non-decreasing (such as $g(t) = lfloor t rfloor$).
    $endgroup$
    – Sangchul Lee
    Jan 1 at 3:29












  • $begingroup$
    On the other hand, it is good to depart from the 'area-interpretation of integral' and consider integral as simply sum of weighted quantities. This greatly helps understanding other types of integrals, such as integrals in vector calculus, contour integral in complex analysis, etc.
    $endgroup$
    – Sangchul Lee
    Jan 1 at 3:30


















3












$begingroup$


The Stieltjes integral of $f$ w.r.t. $g$ is $$int_0^T f(t),mathrm dg(t)=lim_{nto infty }sum_{i=0}^{n-1} f(t_i)(g(x_{i+1})-g(x_i)),$$
where $t_iin [x_i,x_{i+1}]$ and ${x_0,...,x_n}$ is a partition of $[0,T]$.



What does it represent concretely ? Can it be seen as an area ? I see it often, but I don't see in what this integral is worth.



For example, what could represent $$int_0^1 x,mathrm d x^2 ?$$
(despite the fact that it's equal to $int_0^1 2x^2,mathrm d x$)










share|cite|improve this question











$endgroup$








  • 5




    $begingroup$
    it represent a "weighted sum of quantities", something similar to the mass of an object with variable density in each of it points
    $endgroup$
    – Masacroso
    Dec 31 '18 at 11:21












  • $begingroup$
    You can also look at it as a change of variable when the function is not a diffeomorphism
    $endgroup$
    – lcv
    Dec 31 '18 at 17:24










  • $begingroup$
    Roughly speaking, it can be understood as the area under the curve $gamma(t) = (g(t), f(t))$. Indeed, if both $f$ and $g$ are $C^1$, then the Stieltjes integral $int_{a}^{b} f(t) , mathrm{d}g(t)$ is the same as the line integral $int_{gamma} y , mathrm{d}x$ where $gamma$ is defined as above. And this interpretation can be extended to the case where $g$ is non-decreasing (such as $g(t) = lfloor t rfloor$).
    $endgroup$
    – Sangchul Lee
    Jan 1 at 3:29












  • $begingroup$
    On the other hand, it is good to depart from the 'area-interpretation of integral' and consider integral as simply sum of weighted quantities. This greatly helps understanding other types of integrals, such as integrals in vector calculus, contour integral in complex analysis, etc.
    $endgroup$
    – Sangchul Lee
    Jan 1 at 3:30
















3












3








3


2



$begingroup$


The Stieltjes integral of $f$ w.r.t. $g$ is $$int_0^T f(t),mathrm dg(t)=lim_{nto infty }sum_{i=0}^{n-1} f(t_i)(g(x_{i+1})-g(x_i)),$$
where $t_iin [x_i,x_{i+1}]$ and ${x_0,...,x_n}$ is a partition of $[0,T]$.



What does it represent concretely ? Can it be seen as an area ? I see it often, but I don't see in what this integral is worth.



For example, what could represent $$int_0^1 x,mathrm d x^2 ?$$
(despite the fact that it's equal to $int_0^1 2x^2,mathrm d x$)










share|cite|improve this question











$endgroup$




The Stieltjes integral of $f$ w.r.t. $g$ is $$int_0^T f(t),mathrm dg(t)=lim_{nto infty }sum_{i=0}^{n-1} f(t_i)(g(x_{i+1})-g(x_i)),$$
where $t_iin [x_i,x_{i+1}]$ and ${x_0,...,x_n}$ is a partition of $[0,T]$.



What does it represent concretely ? Can it be seen as an area ? I see it often, but I don't see in what this integral is worth.



For example, what could represent $$int_0^1 x,mathrm d x^2 ?$$
(despite the fact that it's equal to $int_0^1 2x^2,mathrm d x$)







real-analysis integration






share|cite|improve this question















share|cite|improve this question













share|cite|improve this question




share|cite|improve this question








edited Jan 1 at 2:58









clathratus

4,725337




4,725337










asked Dec 31 '18 at 10:53









user623855user623855

1457




1457








  • 5




    $begingroup$
    it represent a "weighted sum of quantities", something similar to the mass of an object with variable density in each of it points
    $endgroup$
    – Masacroso
    Dec 31 '18 at 11:21












  • $begingroup$
    You can also look at it as a change of variable when the function is not a diffeomorphism
    $endgroup$
    – lcv
    Dec 31 '18 at 17:24










  • $begingroup$
    Roughly speaking, it can be understood as the area under the curve $gamma(t) = (g(t), f(t))$. Indeed, if both $f$ and $g$ are $C^1$, then the Stieltjes integral $int_{a}^{b} f(t) , mathrm{d}g(t)$ is the same as the line integral $int_{gamma} y , mathrm{d}x$ where $gamma$ is defined as above. And this interpretation can be extended to the case where $g$ is non-decreasing (such as $g(t) = lfloor t rfloor$).
    $endgroup$
    – Sangchul Lee
    Jan 1 at 3:29












  • $begingroup$
    On the other hand, it is good to depart from the 'area-interpretation of integral' and consider integral as simply sum of weighted quantities. This greatly helps understanding other types of integrals, such as integrals in vector calculus, contour integral in complex analysis, etc.
    $endgroup$
    – Sangchul Lee
    Jan 1 at 3:30
















  • 5




    $begingroup$
    it represent a "weighted sum of quantities", something similar to the mass of an object with variable density in each of it points
    $endgroup$
    – Masacroso
    Dec 31 '18 at 11:21












  • $begingroup$
    You can also look at it as a change of variable when the function is not a diffeomorphism
    $endgroup$
    – lcv
    Dec 31 '18 at 17:24










  • $begingroup$
    Roughly speaking, it can be understood as the area under the curve $gamma(t) = (g(t), f(t))$. Indeed, if both $f$ and $g$ are $C^1$, then the Stieltjes integral $int_{a}^{b} f(t) , mathrm{d}g(t)$ is the same as the line integral $int_{gamma} y , mathrm{d}x$ where $gamma$ is defined as above. And this interpretation can be extended to the case where $g$ is non-decreasing (such as $g(t) = lfloor t rfloor$).
    $endgroup$
    – Sangchul Lee
    Jan 1 at 3:29












  • $begingroup$
    On the other hand, it is good to depart from the 'area-interpretation of integral' and consider integral as simply sum of weighted quantities. This greatly helps understanding other types of integrals, such as integrals in vector calculus, contour integral in complex analysis, etc.
    $endgroup$
    – Sangchul Lee
    Jan 1 at 3:30










5




5




$begingroup$
it represent a "weighted sum of quantities", something similar to the mass of an object with variable density in each of it points
$endgroup$
– Masacroso
Dec 31 '18 at 11:21






$begingroup$
it represent a "weighted sum of quantities", something similar to the mass of an object with variable density in each of it points
$endgroup$
– Masacroso
Dec 31 '18 at 11:21














$begingroup$
You can also look at it as a change of variable when the function is not a diffeomorphism
$endgroup$
– lcv
Dec 31 '18 at 17:24




$begingroup$
You can also look at it as a change of variable when the function is not a diffeomorphism
$endgroup$
– lcv
Dec 31 '18 at 17:24












$begingroup$
Roughly speaking, it can be understood as the area under the curve $gamma(t) = (g(t), f(t))$. Indeed, if both $f$ and $g$ are $C^1$, then the Stieltjes integral $int_{a}^{b} f(t) , mathrm{d}g(t)$ is the same as the line integral $int_{gamma} y , mathrm{d}x$ where $gamma$ is defined as above. And this interpretation can be extended to the case where $g$ is non-decreasing (such as $g(t) = lfloor t rfloor$).
$endgroup$
– Sangchul Lee
Jan 1 at 3:29






$begingroup$
Roughly speaking, it can be understood as the area under the curve $gamma(t) = (g(t), f(t))$. Indeed, if both $f$ and $g$ are $C^1$, then the Stieltjes integral $int_{a}^{b} f(t) , mathrm{d}g(t)$ is the same as the line integral $int_{gamma} y , mathrm{d}x$ where $gamma$ is defined as above. And this interpretation can be extended to the case where $g$ is non-decreasing (such as $g(t) = lfloor t rfloor$).
$endgroup$
– Sangchul Lee
Jan 1 at 3:29














$begingroup$
On the other hand, it is good to depart from the 'area-interpretation of integral' and consider integral as simply sum of weighted quantities. This greatly helps understanding other types of integrals, such as integrals in vector calculus, contour integral in complex analysis, etc.
$endgroup$
– Sangchul Lee
Jan 1 at 3:30






$begingroup$
On the other hand, it is good to depart from the 'area-interpretation of integral' and consider integral as simply sum of weighted quantities. This greatly helps understanding other types of integrals, such as integrals in vector calculus, contour integral in complex analysis, etc.
$endgroup$
– Sangchul Lee
Jan 1 at 3:30












1 Answer
1






active

oldest

votes


















6












$begingroup$

Here is a visualization I had previously made for myself when I was trying to get a "geometric intuition" for these integrals.



I think it's useful to consider the one of the sums in the limit,
$$
sum_{i} f(x_i) Delta g(x_i)
= sum_{i} f(x_i) (g(x_{i+1}) - g(x_{i}))
$$



The first image shows $f(x)$ on $[0,1]$, and the arrows represent the contributions $f(x_i)$ for 15 $x_i$ uniformly spaced on this interval.



The second images shows $g(x)$ on $[0,1]$, and the arrows represent the contributions $Delta g(x_i)$. Note that when $g(x)$ is more rapidly changing, the size of $Delta g(x_i)$ is larger. This corresponds to the weighting which @Masacroso mentions in his comment. If $g(x)$ were just $x$ then each $g(x_i)$ would be the same (like in Riemann integrals).



enter image description here



enter image description here



Finally, the right side of the animation shows the partial sums of the sum above, while the left shows the individual terms of these sums.



The plot is a parametric plot, where the horizontal axis is $g(x)$ and the vertical axis is $f(x)$. In this arrangement, the contribution $f(x_i)Delta g(x_i)$ is a rectangle on the parametric plot.
Note that the orientation of the rectangles on the left determines their signs. Summing up these areas, taking into account the sign (determined by if the horizontal arrow is pointing left or right), gives the value of the sum.



enter image description here



It might also help to imagine what would happen if we replaced $g(x)$ with $x$. Then the visualization would be exactly the classic visualization of Riemann sums.






share|cite|improve this answer











$endgroup$













  • $begingroup$
    Very nice answer, thanks a lot for the effort :)
    $endgroup$
    – user623855
    Jan 1 at 11:45











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',
autoActivateHeartbeat: false,
convertImagesToLinks: true,
noModals: true,
showLowRepImageUploadWarning: true,
reputationToPostImages: 10,
bindNavPrevention: true,
postfix: "",
imageUploader: {
brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
allowUrls: true
},
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%2f3057601%2fwhat-does-the-stieltjes-integral-represent-can-it-be-seen-as-an-area%23new-answer', 'question_page');
}
);

Post as a guest















Required, but never shown

























1 Answer
1






active

oldest

votes








1 Answer
1






active

oldest

votes









active

oldest

votes






active

oldest

votes









6












$begingroup$

Here is a visualization I had previously made for myself when I was trying to get a "geometric intuition" for these integrals.



I think it's useful to consider the one of the sums in the limit,
$$
sum_{i} f(x_i) Delta g(x_i)
= sum_{i} f(x_i) (g(x_{i+1}) - g(x_{i}))
$$



The first image shows $f(x)$ on $[0,1]$, and the arrows represent the contributions $f(x_i)$ for 15 $x_i$ uniformly spaced on this interval.



The second images shows $g(x)$ on $[0,1]$, and the arrows represent the contributions $Delta g(x_i)$. Note that when $g(x)$ is more rapidly changing, the size of $Delta g(x_i)$ is larger. This corresponds to the weighting which @Masacroso mentions in his comment. If $g(x)$ were just $x$ then each $g(x_i)$ would be the same (like in Riemann integrals).



enter image description here



enter image description here



Finally, the right side of the animation shows the partial sums of the sum above, while the left shows the individual terms of these sums.



The plot is a parametric plot, where the horizontal axis is $g(x)$ and the vertical axis is $f(x)$. In this arrangement, the contribution $f(x_i)Delta g(x_i)$ is a rectangle on the parametric plot.
Note that the orientation of the rectangles on the left determines their signs. Summing up these areas, taking into account the sign (determined by if the horizontal arrow is pointing left or right), gives the value of the sum.



enter image description here



It might also help to imagine what would happen if we replaced $g(x)$ with $x$. Then the visualization would be exactly the classic visualization of Riemann sums.






share|cite|improve this answer











$endgroup$













  • $begingroup$
    Very nice answer, thanks a lot for the effort :)
    $endgroup$
    – user623855
    Jan 1 at 11:45
















6












$begingroup$

Here is a visualization I had previously made for myself when I was trying to get a "geometric intuition" for these integrals.



I think it's useful to consider the one of the sums in the limit,
$$
sum_{i} f(x_i) Delta g(x_i)
= sum_{i} f(x_i) (g(x_{i+1}) - g(x_{i}))
$$



The first image shows $f(x)$ on $[0,1]$, and the arrows represent the contributions $f(x_i)$ for 15 $x_i$ uniformly spaced on this interval.



The second images shows $g(x)$ on $[0,1]$, and the arrows represent the contributions $Delta g(x_i)$. Note that when $g(x)$ is more rapidly changing, the size of $Delta g(x_i)$ is larger. This corresponds to the weighting which @Masacroso mentions in his comment. If $g(x)$ were just $x$ then each $g(x_i)$ would be the same (like in Riemann integrals).



enter image description here



enter image description here



Finally, the right side of the animation shows the partial sums of the sum above, while the left shows the individual terms of these sums.



The plot is a parametric plot, where the horizontal axis is $g(x)$ and the vertical axis is $f(x)$. In this arrangement, the contribution $f(x_i)Delta g(x_i)$ is a rectangle on the parametric plot.
Note that the orientation of the rectangles on the left determines their signs. Summing up these areas, taking into account the sign (determined by if the horizontal arrow is pointing left or right), gives the value of the sum.



enter image description here



It might also help to imagine what would happen if we replaced $g(x)$ with $x$. Then the visualization would be exactly the classic visualization of Riemann sums.






share|cite|improve this answer











$endgroup$













  • $begingroup$
    Very nice answer, thanks a lot for the effort :)
    $endgroup$
    – user623855
    Jan 1 at 11:45














6












6








6





$begingroup$

Here is a visualization I had previously made for myself when I was trying to get a "geometric intuition" for these integrals.



I think it's useful to consider the one of the sums in the limit,
$$
sum_{i} f(x_i) Delta g(x_i)
= sum_{i} f(x_i) (g(x_{i+1}) - g(x_{i}))
$$



The first image shows $f(x)$ on $[0,1]$, and the arrows represent the contributions $f(x_i)$ for 15 $x_i$ uniformly spaced on this interval.



The second images shows $g(x)$ on $[0,1]$, and the arrows represent the contributions $Delta g(x_i)$. Note that when $g(x)$ is more rapidly changing, the size of $Delta g(x_i)$ is larger. This corresponds to the weighting which @Masacroso mentions in his comment. If $g(x)$ were just $x$ then each $g(x_i)$ would be the same (like in Riemann integrals).



enter image description here



enter image description here



Finally, the right side of the animation shows the partial sums of the sum above, while the left shows the individual terms of these sums.



The plot is a parametric plot, where the horizontal axis is $g(x)$ and the vertical axis is $f(x)$. In this arrangement, the contribution $f(x_i)Delta g(x_i)$ is a rectangle on the parametric plot.
Note that the orientation of the rectangles on the left determines their signs. Summing up these areas, taking into account the sign (determined by if the horizontal arrow is pointing left or right), gives the value of the sum.



enter image description here



It might also help to imagine what would happen if we replaced $g(x)$ with $x$. Then the visualization would be exactly the classic visualization of Riemann sums.






share|cite|improve this answer











$endgroup$



Here is a visualization I had previously made for myself when I was trying to get a "geometric intuition" for these integrals.



I think it's useful to consider the one of the sums in the limit,
$$
sum_{i} f(x_i) Delta g(x_i)
= sum_{i} f(x_i) (g(x_{i+1}) - g(x_{i}))
$$



The first image shows $f(x)$ on $[0,1]$, and the arrows represent the contributions $f(x_i)$ for 15 $x_i$ uniformly spaced on this interval.



The second images shows $g(x)$ on $[0,1]$, and the arrows represent the contributions $Delta g(x_i)$. Note that when $g(x)$ is more rapidly changing, the size of $Delta g(x_i)$ is larger. This corresponds to the weighting which @Masacroso mentions in his comment. If $g(x)$ were just $x$ then each $g(x_i)$ would be the same (like in Riemann integrals).



enter image description here



enter image description here



Finally, the right side of the animation shows the partial sums of the sum above, while the left shows the individual terms of these sums.



The plot is a parametric plot, where the horizontal axis is $g(x)$ and the vertical axis is $f(x)$. In this arrangement, the contribution $f(x_i)Delta g(x_i)$ is a rectangle on the parametric plot.
Note that the orientation of the rectangles on the left determines their signs. Summing up these areas, taking into account the sign (determined by if the horizontal arrow is pointing left or right), gives the value of the sum.



enter image description here



It might also help to imagine what would happen if we replaced $g(x)$ with $x$. Then the visualization would be exactly the classic visualization of Riemann sums.







share|cite|improve this answer














share|cite|improve this answer



share|cite|improve this answer








edited Jan 1 at 16:15









aventurin

109117




109117










answered Dec 31 '18 at 15:13









tchtch

803310




803310












  • $begingroup$
    Very nice answer, thanks a lot for the effort :)
    $endgroup$
    – user623855
    Jan 1 at 11:45


















  • $begingroup$
    Very nice answer, thanks a lot for the effort :)
    $endgroup$
    – user623855
    Jan 1 at 11:45
















$begingroup$
Very nice answer, thanks a lot for the effort :)
$endgroup$
– user623855
Jan 1 at 11:45




$begingroup$
Very nice answer, thanks a lot for the effort :)
$endgroup$
– user623855
Jan 1 at 11:45


















draft saved

draft discarded




















































Thanks for contributing an answer to Mathematics Stack Exchange!


  • Please be sure to answer the question. Provide details and share your research!

But avoid



  • Asking for help, clarification, or responding to other answers.

  • Making statements based on opinion; back them up with references or personal experience.


Use MathJax to format equations. MathJax reference.


To learn more, see our tips on writing great answers.




draft saved


draft discarded














StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3057601%2fwhat-does-the-stieltjes-integral-represent-can-it-be-seen-as-an-area%23new-answer', 'question_page');
}
);

Post as a guest















Required, but never shown





















































Required, but never shown














Required, but never shown












Required, but never shown







Required, but never shown

































Required, but never shown














Required, but never shown












Required, but never shown







Required, but never shown







Popular posts from this blog

Cabo Verde

Gyllenstierna

Karlovacs län