Mixing
Riemann and Darboux Integral of a product of two functions
$begingroup$
I'm studying the Darboux definition of integrability, which I completely explained here. There's an exercise that asks me to prove that the Darboux Integrability is equivalent to Riemann Integrability, but this Riemann integral is defined as the following:
It first defines a 'pointed' partition (I don't know how to say it in ensligh) by the following: a 'pointed' partition $[a,b]$ is a pair $P^*=(E,ξ)$, where $P={t_0, t_1, cdots, t_n}$ is a partition of $[a,b]$ and $ξ = (ξ_1, cdots, ξ_n)$ is a list of $n$ chosen numbers such that $t_{i-1}le ξ_ile t_i$ for each $i=1,cdots ,n$.
Now, the Riemann Integral is defined as:
$$sum(f,P^*) = sum_{i=1}^n f(ξ_i)(t_i-t_{i-1})$$
(I didn't understand the notation for the left hand side of the equation, by the way)
Finally, I'm asked to prove the following: given $f,g:[a,b]to mathbb{R}$ integrable functions, for the entire partition $P={t_0, cdots, t_n}$ of $[a,b]$ let $P^* = (P,ξ)$ and $P^{#} = (P, η)$ be pointed partitions of $P$, then:
$$lim_{|P|to 0}sum f(ξ_i)g(η_i)(t_i-t_{i-1}) = int_a^b f(x)g(x) dx$$
I guess here I need to prove that the Riemann Integral of the product of two functions if the darboux integral of $f(x)g(x)$, but it seems too obvious, I just need to verify that $f,g$ are integrable, then their product is too, isn't it? I'm pretty sure this should be a hard question. Is there another interpretation that I'm missing?
calculus real-analysis integration
edited Apr 13 '17 at 12:20
Community♦
1
asked Sep 28 '16 at 2:55
Guerlando OCsGuerlando OCs
14421653
$endgroup$
add a comment |
$begingroup$
I'm studying the Darboux definition of integrability, which I completely explained here. There's an exercise that asks me to prove that the Darboux Integrability is equivalent to Riemann Integrability, but this Riemann integral is defined as the following:
It first defines a 'pointed' partition (I don't know how to say it in ensligh) by the following: a 'pointed' partition $[a,b]$ is a pair $P^*=(E,ξ)$, where $P={t_0, t_1, cdots, t_n}$ is a partition of $[a,b]$ and $ξ = (ξ_1, cdots, ξ_n)$ is a list of $n$ chosen numbers such that $t_{i-1}le ξ_ile t_i$ for each $i=1,cdots ,n$.
Now, the Riemann Integral is defined as:
$$sum(f,P^*) = sum_{i=1}^n f(ξ_i)(t_i-t_{i-1})$$
(I didn't understand the notation for the left hand side of the equation, by the way)
Finally, I'm asked to prove the following: given $f,g:[a,b]to mathbb{R}$ integrable functions, for the entire partition $P={t_0, cdots, t_n}$ of $[a,b]$ let $P^* = (P,ξ)$ and $P^{#} = (P, η)$ be pointed partitions of $P$, then:
$$lim_{|P|to 0}sum f(ξ_i)g(η_i)(t_i-t_{i-1}) = int_a^b f(x)g(x) dx$$
I guess here I need to prove that the Riemann Integral of the product of two functions if the darboux integral of $f(x)g(x)$, but it seems too obvious, I just need to verify that $f,g$ are integrable, then their product is too, isn't it? I'm pretty sure this should be a hard question. Is there another interpretation that I'm missing?
calculus real-analysis integration
edited Apr 13 '17 at 12:20
Community♦
1
asked Sep 28 '16 at 2:55
Guerlando OCsGuerlando OCs
14421653
$endgroup$
$begingroup$
The notation $sum (f, P^{*})$ is called a Riemann sum for $f$ over a pointed/tagged partition $P$ of $[a, b]$ and Riemann integral is then defined as the limit of such sums as the norm $|P|$ of the partition $P$ tends to $0$. Most books also use the notation $S(f, P^{*})$ instead of $sum(f, P^{*})$. Note that this is the original definition of integral given by Bernhard Riemann.
$endgroup$
– Paramanand Singh
Sep 28 '16 at 8:04
add a comment |
$begingroup$
I'm studying the Darboux definition of integrability, which I completely explained here. There's an exercise that asks me to prove that the Darboux Integrability is equivalent to Riemann Integrability, but this Riemann integral is defined as the following:
It first defines a 'pointed' partition (I don't know how to say it in ensligh) by the following: a 'pointed' partition $[a,b]$ is a pair $P^*=(E,ξ)$, where $P={t_0, t_1, cdots, t_n}$ is a partition of $[a,b]$ and $ξ = (ξ_1, cdots, ξ_n)$ is a list of $n$ chosen numbers such that $t_{i-1}le ξ_ile t_i$ for each $i=1,cdots ,n$.
Now, the Riemann Integral is defined as:
$$sum(f,P^*) = sum_{i=1}^n f(ξ_i)(t_i-t_{i-1})$$
(I didn't understand the notation for the left hand side of the equation, by the way)
Finally, I'm asked to prove the following: given $f,g:[a,b]to mathbb{R}$ integrable functions, for the entire partition $P={t_0, cdots, t_n}$ of $[a,b]$ let $P^* = (P,ξ)$ and $P^{#} = (P, η)$ be pointed partitions of $P$, then:
$$lim_{|P|to 0}sum f(ξ_i)g(η_i)(t_i-t_{i-1}) = int_a^b f(x)g(x) dx$$
I guess here I need to prove that the Riemann Integral of the product of two functions if the darboux integral of $f(x)g(x)$, but it seems too obvious, I just need to verify that $f,g$ are integrable, then their product is too, isn't it? I'm pretty sure this should be a hard question. Is there another interpretation that I'm missing?
calculus real-analysis integration
edited Apr 13 '17 at 12:20
Community♦
1
asked Sep 28 '16 at 2:55
Guerlando OCsGuerlando OCs
14421653
$endgroup$
I'm studying the Darboux definition of integrability, which I completely explained here. There's an exercise that asks me to prove that the Darboux Integrability is equivalent to Riemann Integrability, but this Riemann integral is defined as the following:
It first defines a 'pointed' partition (I don't know how to say it in ensligh) by the following: a 'pointed' partition $[a,b]$ is a pair $P^*=(E,ξ)$, where $P={t_0, t_1, cdots, t_n}$ is a partition of $[a,b]$ and $ξ = (ξ_1, cdots, ξ_n)$ is a list of $n$ chosen numbers such that $t_{i-1}le ξ_ile t_i$ for each $i=1,cdots ,n$.
Now, the Riemann Integral is defined as:
$$sum(f,P^*) = sum_{i=1}^n f(ξ_i)(t_i-t_{i-1})$$
(I didn't understand the notation for the left hand side of the equation, by the way)
Finally, I'm asked to prove the following: given $f,g:[a,b]to mathbb{R}$ integrable functions, for the entire partition $P={t_0, cdots, t_n}$ of $[a,b]$ let $P^* = (P,ξ)$ and $P^{#} = (P, η)$ be pointed partitions of $P$, then:
$$lim_{|P|to 0}sum f(ξ_i)g(η_i)(t_i-t_{i-1}) = int_a^b f(x)g(x) dx$$
I guess here I need to prove that the Riemann Integral of the product of two functions if the darboux integral of $f(x)g(x)$, but it seems too obvious, I just need to verify that $f,g$ are integrable, then their product is too, isn't it? I'm pretty sure this should be a hard question. Is there another interpretation that I'm missing?
calculus real-analysis integration
calculus real-analysis integration
edited Apr 13 '17 at 12:20
Community♦
1
asked Sep 28 '16 at 2:55
Guerlando OCsGuerlando OCs
14421653
edited Apr 13 '17 at 12:20
Community♦
1
asked Sep 28 '16 at 2:55
Guerlando OCsGuerlando OCs
14421653
edited Apr 13 '17 at 12:20
Community♦
1
edited Apr 13 '17 at 12:20
Community♦
1
edited Apr 13 '17 at 12:20
Community♦
1
1
asked Sep 28 '16 at 2:55
Guerlando OCsGuerlando OCs
14421653
asked Sep 28 '16 at 2:55
Guerlando OCsGuerlando OCs
14421653
asked Sep 28 '16 at 2:55
Guerlando OCsGuerlando OCs
14421653
14421653
$begingroup$
The notation $sum (f, P^{*})$ is called a Riemann sum for $f$ over a pointed/tagged partition $P$ of $[a, b]$ and Riemann integral is then defined as the limit of such sums as the norm $|P|$ of the partition $P$ tends to $0$. Most books also use the notation $S(f, P^{*})$ instead of $sum(f, P^{*})$. Note that this is the original definition of integral given by Bernhard Riemann.
$endgroup$
– Paramanand Singh
Sep 28 '16 at 8:04
add a comment |
$begingroup$
The notation $sum (f, P^{*})$ is called a Riemann sum for $f$ over a pointed/tagged partition $P$ of $[a, b]$ and Riemann integral is then defined as the limit of such sums as the norm $|P|$ of the partition $P$ tends to $0$. Most books also use the notation $S(f, P^{*})$ instead of $sum(f, P^{*})$. Note that this is the original definition of integral given by Bernhard Riemann.
$endgroup$
– Paramanand Singh
Sep 28 '16 at 8:04
$begingroup$
The notation $sum (f, P^{*})$ is called a Riemann sum for $f$ over a pointed/tagged partition $P$ of $[a, b]$ and Riemann integral is then defined as the limit of such sums as the norm $|P|$ of the partition $P$ tends to $0$. Most books also use the notation $S(f, P^{*})$ instead of $sum(f, P^{*})$. Note that this is the original definition of integral given by Bernhard Riemann.
$endgroup$
– Paramanand Singh
Sep 28 '16 at 8:04
$begingroup$
The notation $sum (f, P^{*})$ is called a Riemann sum for $f$ over a pointed/tagged partition $P$ of $[a, b]$ and Riemann integral is then defined as the limit of such sums as the norm $|P|$ of the partition $P$ tends to $0$. Most books also use the notation $S(f, P^{*})$ instead of $sum(f, P^{*})$. Note that this is the original definition of integral given by Bernhard Riemann.
$endgroup$
– Paramanand Singh
Sep 28 '16 at 8:04
add a comment |
1 Answer
1
active
oldest
votes
$begingroup$
I have discussed the equivalence of definitions of Riemann integral based on Darboux sums and Riemann sums in this and this answer.
The idea is that the Riemann sums are technically difficult to handle because of the arbitrary nature of $xi_{i}$ in sub-interval $[t_{i - 1}, t_{i}]$ of a partition $T = {t_{0}, t_{1}, t_{2}, ldots, t_{n}}$ of $[a, b]$. Hence the Darboux sums are used which replace the $f(xi_{i})$ with supremum and infimum of $f$ on $[t_{i - 1}, t_{i}]$ and thereby remove dependency on the arbitrary $xi_{i}$.
Now I come to your question. Suppose $f, g$ are Riemann integrable on $[a, b]$. Then it is possible to prove that their product $fg$ is also Riemann integrable on $[a, b]$. By definition of Riemann integral as a limit of Riemann sums we see that $$int_{a}^{b}f(x)g(x),dx = lim_{|P| to 0}sum_{i = 1}^{n}f(xi_{i})g(xi_{i})(t_{i} - t_{i - 1})tag{1}$$ where the notation is taken from your question. You are now asked to prove that the points $xi_{i}$ need not necessarily chosen to be same for $f$ and $g$ so that we can use $xi_{i}$ for $f$ and another set of points $eta_{i}$ for $g$. This is correct and we prove it below.
Note that
begin{align}
|Delta| &= left|lim_{|P| to 0}sum_{i = 1}^{n}f(xi_{i})g(xi_{i})(t_{i} - t_{i - 1}) - lim_{|P| to 0}sum_{i = 1}^{n}f(xi_{i})g(eta_{i})(t_{i} - t_{i - 1})right|notag\
&= left|lim_{|P| to 0}sum_{i = 1}^{n}f(xi_{i}){g(xi_{i}) - g(eta_{i})}(t_{i} - t_{i - 1})right|notag\
&leq Mlim_{|P| to 0}sum_{i = 1}^{n}|g(xi_{i}) - g(eta_{i})|(t_{i} - t_{i - 1})notag\
&leq Mlim_{|P| to 0}sum_{i = 1}^{n}{M_{i}(g) - m_{i}(g)}(t_{i} - t_{i - 1})notag\
&= Mlim_{|P| to 0}{U(P, g) - L(P, g)}tag{2}\
&= M cdot 0notag\
&= 0notag
end{align}
where $M$ is some bound for $|f|$ on $[a, b]$ and $M_{i}(g)$ and $m_{i}(g)$ are supremum and infimum of $g$ on $[t_{i - 1}, t_{i}]$. Hence $Delta = 0$ and it follows that $$int_{a}^{b}f(x)g(x),dx = lim_{|P| to 0}sum_{i = 1}^{n}f(xi_{i})g(xi_{i})(t_{i} - t_{i - 1}) = lim_{|P| to 0}sum_{i = 1}^{n}f(xi_{i})g(eta_{i})(t_{i} - t_{i - 1})tag{3}$$
The limit in $(2)$ is $0$ and it is somewhat difficult to prove that it is $0$. I have proved it in the linked answer as the following theorem:
Integrability Condition 2 A function $f$ bounded on $[a, b]$ is Riemann integrable over $[a, b]$ if and only if for every $epsilon > 0$ there is a number $delta > 0$ such that $$U(P, f) - L(P, f) < epsilon$$ whenever norm $|P| < delta$.
Note: The result in question is called Bliss' Theorem which was proved by G. A. Bliss (see his paper) as an alternative to a more general result called Duhamel Principle.
answered Sep 28 '16 at 6:22
Paramanand SinghParamanand Singh
50.5k556168
$endgroup$
add a comment |
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
});
}
});
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f1944480%2friemann-and-darboux-integral-of-a-product-of-two-functions%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
$begingroup$
I have discussed the equivalence of definitions of Riemann integral based on Darboux sums and Riemann sums in this and this answer.
The idea is that the Riemann sums are technically difficult to handle because of the arbitrary nature of $xi_{i}$ in sub-interval $[t_{i - 1}, t_{i}]$ of a partition $T = {t_{0}, t_{1}, t_{2}, ldots, t_{n}}$ of $[a, b]$. Hence the Darboux sums are used which replace the $f(xi_{i})$ with supremum and infimum of $f$ on $[t_{i - 1}, t_{i}]$ and thereby remove dependency on the arbitrary $xi_{i}$.
Now I come to your question. Suppose $f, g$ are Riemann integrable on $[a, b]$. Then it is possible to prove that their product $fg$ is also Riemann integrable on $[a, b]$. By definition of Riemann integral as a limit of Riemann sums we see that $$int_{a}^{b}f(x)g(x),dx = lim_{|P| to 0}sum_{i = 1}^{n}f(xi_{i})g(xi_{i})(t_{i} - t_{i - 1})tag{1}$$ where the notation is taken from your question. You are now asked to prove that the points $xi_{i}$ need not necessarily chosen to be same for $f$ and $g$ so that we can use $xi_{i}$ for $f$ and another set of points $eta_{i}$ for $g$. This is correct and we prove it below.
Note that
begin{align}
|Delta| &= left|lim_{|P| to 0}sum_{i = 1}^{n}f(xi_{i})g(xi_{i})(t_{i} - t_{i - 1}) - lim_{|P| to 0}sum_{i = 1}^{n}f(xi_{i})g(eta_{i})(t_{i} - t_{i - 1})right|notag\
&= left|lim_{|P| to 0}sum_{i = 1}^{n}f(xi_{i}){g(xi_{i}) - g(eta_{i})}(t_{i} - t_{i - 1})right|notag\
&leq Mlim_{|P| to 0}sum_{i = 1}^{n}|g(xi_{i}) - g(eta_{i})|(t_{i} - t_{i - 1})notag\
&leq Mlim_{|P| to 0}sum_{i = 1}^{n}{M_{i}(g) - m_{i}(g)}(t_{i} - t_{i - 1})notag\
&= Mlim_{|P| to 0}{U(P, g) - L(P, g)}tag{2}\
&= M cdot 0notag\
&= 0notag
end{align}
where $M$ is some bound for $|f|$ on $[a, b]$ and $M_{i}(g)$ and $m_{i}(g)$ are supremum and infimum of $g$ on $[t_{i - 1}, t_{i}]$. Hence $Delta = 0$ and it follows that $$int_{a}^{b}f(x)g(x),dx = lim_{|P| to 0}sum_{i = 1}^{n}f(xi_{i})g(xi_{i})(t_{i} - t_{i - 1}) = lim_{|P| to 0}sum_{i = 1}^{n}f(xi_{i})g(eta_{i})(t_{i} - t_{i - 1})tag{3}$$
The limit in $(2)$ is $0$ and it is somewhat difficult to prove that it is $0$. I have proved it in the linked answer as the following theorem:
Integrability Condition 2 A function $f$ bounded on $[a, b]$ is Riemann integrable over $[a, b]$ if and only if for every $epsilon > 0$ there is a number $delta > 0$ such that $$U(P, f) - L(P, f) < epsilon$$ whenever norm $|P| < delta$.
Note: The result in question is called Bliss' Theorem which was proved by G. A. Bliss (see his paper) as an alternative to a more general result called Duhamel Principle.
answered Sep 28 '16 at 6:22
Paramanand SinghParamanand Singh
50.5k556168
$endgroup$
add a comment |
$begingroup$
I have discussed the equivalence of definitions of Riemann integral based on Darboux sums and Riemann sums in this and this answer.
The idea is that the Riemann sums are technically difficult to handle because of the arbitrary nature of $xi_{i}$ in sub-interval $[t_{i - 1}, t_{i}]$ of a partition $T = {t_{0}, t_{1}, t_{2}, ldots, t_{n}}$ of $[a, b]$. Hence the Darboux sums are used which replace the $f(xi_{i})$ with supremum and infimum of $f$ on $[t_{i - 1}, t_{i}]$ and thereby remove dependency on the arbitrary $xi_{i}$.
Now I come to your question. Suppose $f, g$ are Riemann integrable on $[a, b]$. Then it is possible to prove that their product $fg$ is also Riemann integrable on $[a, b]$. By definition of Riemann integral as a limit of Riemann sums we see that $$int_{a}^{b}f(x)g(x),dx = lim_{|P| to 0}sum_{i = 1}^{n}f(xi_{i})g(xi_{i})(t_{i} - t_{i - 1})tag{1}$$ where the notation is taken from your question. You are now asked to prove that the points $xi_{i}$ need not necessarily chosen to be same for $f$ and $g$ so that we can use $xi_{i}$ for $f$ and another set of points $eta_{i}$ for $g$. This is correct and we prove it below.
Note that
begin{align}
|Delta| &= left|lim_{|P| to 0}sum_{i = 1}^{n}f(xi_{i})g(xi_{i})(t_{i} - t_{i - 1}) - lim_{|P| to 0}sum_{i = 1}^{n}f(xi_{i})g(eta_{i})(t_{i} - t_{i - 1})right|notag\
&= left|lim_{|P| to 0}sum_{i = 1}^{n}f(xi_{i}){g(xi_{i}) - g(eta_{i})}(t_{i} - t_{i - 1})right|notag\
&leq Mlim_{|P| to 0}sum_{i = 1}^{n}|g(xi_{i}) - g(eta_{i})|(t_{i} - t_{i - 1})notag\
&leq Mlim_{|P| to 0}sum_{i = 1}^{n}{M_{i}(g) - m_{i}(g)}(t_{i} - t_{i - 1})notag\
&= Mlim_{|P| to 0}{U(P, g) - L(P, g)}tag{2}\
&= M cdot 0notag\
&= 0notag
end{align}
where $M$ is some bound for $|f|$ on $[a, b]$ and $M_{i}(g)$ and $m_{i}(g)$ are supremum and infimum of $g$ on $[t_{i - 1}, t_{i}]$. Hence $Delta = 0$ and it follows that $$int_{a}^{b}f(x)g(x),dx = lim_{|P| to 0}sum_{i = 1}^{n}f(xi_{i})g(xi_{i})(t_{i} - t_{i - 1}) = lim_{|P| to 0}sum_{i = 1}^{n}f(xi_{i})g(eta_{i})(t_{i} - t_{i - 1})tag{3}$$
The limit in $(2)$ is $0$ and it is somewhat difficult to prove that it is $0$. I have proved it in the linked answer as the following theorem:
Integrability Condition 2 A function $f$ bounded on $[a, b]$ is Riemann integrable over $[a, b]$ if and only if for every $epsilon > 0$ there is a number $delta > 0$ such that $$U(P, f) - L(P, f) < epsilon$$ whenever norm $|P| < delta$.
Note: The result in question is called Bliss' Theorem which was proved by G. A. Bliss (see his paper) as an alternative to a more general result called Duhamel Principle.
answered Sep 28 '16 at 6:22
Paramanand SinghParamanand Singh
50.5k556168
$endgroup$
add a comment |
$begingroup$
I have discussed the equivalence of definitions of Riemann integral based on Darboux sums and Riemann sums in this and this answer.
The idea is that the Riemann sums are technically difficult to handle because of the arbitrary nature of $xi_{i}$ in sub-interval $[t_{i - 1}, t_{i}]$ of a partition $T = {t_{0}, t_{1}, t_{2}, ldots, t_{n}}$ of $[a, b]$. Hence the Darboux sums are used which replace the $f(xi_{i})$ with supremum and infimum of $f$ on $[t_{i - 1}, t_{i}]$ and thereby remove dependency on the arbitrary $xi_{i}$.
Now I come to your question. Suppose $f, g$ are Riemann integrable on $[a, b]$. Then it is possible to prove that their product $fg$ is also Riemann integrable on $[a, b]$. By definition of Riemann integral as a limit of Riemann sums we see that $$int_{a}^{b}f(x)g(x),dx = lim_{|P| to 0}sum_{i = 1}^{n}f(xi_{i})g(xi_{i})(t_{i} - t_{i - 1})tag{1}$$ where the notation is taken from your question. You are now asked to prove that the points $xi_{i}$ need not necessarily chosen to be same for $f$ and $g$ so that we can use $xi_{i}$ for $f$ and another set of points $eta_{i}$ for $g$. This is correct and we prove it below.
Note that
begin{align}
|Delta| &= left|lim_{|P| to 0}sum_{i = 1}^{n}f(xi_{i})g(xi_{i})(t_{i} - t_{i - 1}) - lim_{|P| to 0}sum_{i = 1}^{n}f(xi_{i})g(eta_{i})(t_{i} - t_{i - 1})right|notag\
&= left|lim_{|P| to 0}sum_{i = 1}^{n}f(xi_{i}){g(xi_{i}) - g(eta_{i})}(t_{i} - t_{i - 1})right|notag\
&leq Mlim_{|P| to 0}sum_{i = 1}^{n}|g(xi_{i}) - g(eta_{i})|(t_{i} - t_{i - 1})notag\
&leq Mlim_{|P| to 0}sum_{i = 1}^{n}{M_{i}(g) - m_{i}(g)}(t_{i} - t_{i - 1})notag\
&= Mlim_{|P| to 0}{U(P, g) - L(P, g)}tag{2}\
&= M cdot 0notag\
&= 0notag
end{align}
where $M$ is some bound for $|f|$ on $[a, b]$ and $M_{i}(g)$ and $m_{i}(g)$ are supremum and infimum of $g$ on $[t_{i - 1}, t_{i}]$. Hence $Delta = 0$ and it follows that $$int_{a}^{b}f(x)g(x),dx = lim_{|P| to 0}sum_{i = 1}^{n}f(xi_{i})g(xi_{i})(t_{i} - t_{i - 1}) = lim_{|P| to 0}sum_{i = 1}^{n}f(xi_{i})g(eta_{i})(t_{i} - t_{i - 1})tag{3}$$
The limit in $(2)$ is $0$ and it is somewhat difficult to prove that it is $0$. I have proved it in the linked answer as the following theorem:
Integrability Condition 2 A function $f$ bounded on $[a, b]$ is Riemann integrable over $[a, b]$ if and only if for every $epsilon > 0$ there is a number $delta > 0$ such that $$U(P, f) - L(P, f) < epsilon$$ whenever norm $|P| < delta$.
Note: The result in question is called Bliss' Theorem which was proved by G. A. Bliss (see his paper) as an alternative to a more general result called Duhamel Principle.
answered Sep 28 '16 at 6:22
Paramanand SinghParamanand Singh
50.5k556168
$endgroup$
I have discussed the equivalence of definitions of Riemann integral based on Darboux sums and Riemann sums in this and this answer.
The idea is that the Riemann sums are technically difficult to handle because of the arbitrary nature of $xi_{i}$ in sub-interval $[t_{i - 1}, t_{i}]$ of a partition $T = {t_{0}, t_{1}, t_{2}, ldots, t_{n}}$ of $[a, b]$. Hence the Darboux sums are used which replace the $f(xi_{i})$ with supremum and infimum of $f$ on $[t_{i - 1}, t_{i}]$ and thereby remove dependency on the arbitrary $xi_{i}$.
Now I come to your question. Suppose $f, g$ are Riemann integrable on $[a, b]$. Then it is possible to prove that their product $fg$ is also Riemann integrable on $[a, b]$. By definition of Riemann integral as a limit of Riemann sums we see that $$int_{a}^{b}f(x)g(x),dx = lim_{|P| to 0}sum_{i = 1}^{n}f(xi_{i})g(xi_{i})(t_{i} - t_{i - 1})tag{1}$$ where the notation is taken from your question. You are now asked to prove that the points $xi_{i}$ need not necessarily chosen to be same for $f$ and $g$ so that we can use $xi_{i}$ for $f$ and another set of points $eta_{i}$ for $g$. This is correct and we prove it below.
Note that
begin{align}
|Delta| &= left|lim_{|P| to 0}sum_{i = 1}^{n}f(xi_{i})g(xi_{i})(t_{i} - t_{i - 1}) - lim_{|P| to 0}sum_{i = 1}^{n}f(xi_{i})g(eta_{i})(t_{i} - t_{i - 1})right|notag\
&= left|lim_{|P| to 0}sum_{i = 1}^{n}f(xi_{i}){g(xi_{i}) - g(eta_{i})}(t_{i} - t_{i - 1})right|notag\
&leq Mlim_{|P| to 0}sum_{i = 1}^{n}|g(xi_{i}) - g(eta_{i})|(t_{i} - t_{i - 1})notag\
&leq Mlim_{|P| to 0}sum_{i = 1}^{n}{M_{i}(g) - m_{i}(g)}(t_{i} - t_{i - 1})notag\
&= Mlim_{|P| to 0}{U(P, g) - L(P, g)}tag{2}\
&= M cdot 0notag\
&= 0notag
end{align}
where $M$ is some bound for $|f|$ on $[a, b]$ and $M_{i}(g)$ and $m_{i}(g)$ are supremum and infimum of $g$ on $[t_{i - 1}, t_{i}]$. Hence $Delta = 0$ and it follows that $$int_{a}^{b}f(x)g(x),dx = lim_{|P| to 0}sum_{i = 1}^{n}f(xi_{i})g(xi_{i})(t_{i} - t_{i - 1}) = lim_{|P| to 0}sum_{i = 1}^{n}f(xi_{i})g(eta_{i})(t_{i} - t_{i - 1})tag{3}$$
The limit in $(2)$ is $0$ and it is somewhat difficult to prove that it is $0$. I have proved it in the linked answer as the following theorem:
Integrability Condition 2 A function $f$ bounded on $[a, b]$ is Riemann integrable over $[a, b]$ if and only if for every $epsilon > 0$ there is a number $delta > 0$ such that $$U(P, f) - L(P, f) < epsilon$$ whenever norm $|P| < delta$.
Note: The result in question is called Bliss' Theorem which was proved by G. A. Bliss (see his paper) as an alternative to a more general result called Duhamel Principle.
answered Sep 28 '16 at 6:22
Paramanand SinghParamanand Singh
50.5k556168
edited Jan 21 at 4:04
answered Sep 28 '16 at 6:22
Paramanand SinghParamanand Singh
50.5k556168
answered Sep 28 '16 at 6:22
Paramanand SinghParamanand Singh
50.5k556168
answered Sep 28 '16 at 6:22
Paramanand SinghParamanand Singh
50.5k556168
50.5k556168
add a comment |
add a comment |
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.
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f1944480%2friemann-and-darboux-integral-of-a-product-of-two-functions%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
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
$begingroup$
The notation $sum (f, P^{*})$ is called a Riemann sum for $f$ over a pointed/tagged partition $P$ of $[a, b]$ and Riemann integral is then defined as the limit of such sums as the norm $|P|$ of the partition $P$ tends to $0$. Most books also use the notation $S(f, P^{*})$ instead of $sum(f, P^{*})$. Note that this is the original definition of integral given by Bernhard Riemann.
$endgroup$
– Paramanand Singh
Sep 28 '16 at 8:04