Continous function $r(x)$ on $[0,1]$ such that...
$begingroup$
The problem is related to this question (https://math.stackexchange.com/posts/3073378/edit).
Is there any general way to construct a non-zero continous function $r(x)$ on $[0,1]$, independent of parameters $a$ and $b$ such that $$lim_{ntoinfty}sum_{k=0}^{n}frac{1}{n}gleft(frac kn,a,bright)rleft(frac knright)=0$$ where $g(x,a,b)$ is GIVEN continuous (hence bounded) function on $[0,1]$ with parameters $a,b,$ with $0<a<1$ and $binmathbb{R}$.
As an example, we could possibly work with $g(x,a,b)=e^{bx+a}$ though my original $g$ is something else.
Since $g$ is bounded, my intution tells me that there should exist some non-zero $f$ independent of parameters $a,b$ killing that limit.
real-analysis calculus limits analysis summation
$endgroup$
add a comment |
$begingroup$
The problem is related to this question (https://math.stackexchange.com/posts/3073378/edit).
Is there any general way to construct a non-zero continous function $r(x)$ on $[0,1]$, independent of parameters $a$ and $b$ such that $$lim_{ntoinfty}sum_{k=0}^{n}frac{1}{n}gleft(frac kn,a,bright)rleft(frac knright)=0$$ where $g(x,a,b)$ is GIVEN continuous (hence bounded) function on $[0,1]$ with parameters $a,b,$ with $0<a<1$ and $binmathbb{R}$.
As an example, we could possibly work with $g(x,a,b)=e^{bx+a}$ though my original $g$ is something else.
Since $g$ is bounded, my intution tells me that there should exist some non-zero $f$ independent of parameters $a,b$ killing that limit.
real-analysis calculus limits analysis summation
$endgroup$
$begingroup$
What do you mean by independent of $a,b$? Do you want a single function $r(x)$ that works for every possible values of $a,b$?
$endgroup$
– BigbearZzz
Jan 14 at 17:33
$begingroup$
@BigbearZzz, Exactly! A single function which works for every $a,b$.
$endgroup$
– ersh
Jan 14 at 17:54
1
$begingroup$
Unfortunately the answer is negative. The conditions can force $r(x)$ to be zero identically.
$endgroup$
– BigbearZzz
Jan 14 at 17:59
add a comment |
$begingroup$
The problem is related to this question (https://math.stackexchange.com/posts/3073378/edit).
Is there any general way to construct a non-zero continous function $r(x)$ on $[0,1]$, independent of parameters $a$ and $b$ such that $$lim_{ntoinfty}sum_{k=0}^{n}frac{1}{n}gleft(frac kn,a,bright)rleft(frac knright)=0$$ where $g(x,a,b)$ is GIVEN continuous (hence bounded) function on $[0,1]$ with parameters $a,b,$ with $0<a<1$ and $binmathbb{R}$.
As an example, we could possibly work with $g(x,a,b)=e^{bx+a}$ though my original $g$ is something else.
Since $g$ is bounded, my intution tells me that there should exist some non-zero $f$ independent of parameters $a,b$ killing that limit.
real-analysis calculus limits analysis summation
$endgroup$
The problem is related to this question (https://math.stackexchange.com/posts/3073378/edit).
Is there any general way to construct a non-zero continous function $r(x)$ on $[0,1]$, independent of parameters $a$ and $b$ such that $$lim_{ntoinfty}sum_{k=0}^{n}frac{1}{n}gleft(frac kn,a,bright)rleft(frac knright)=0$$ where $g(x,a,b)$ is GIVEN continuous (hence bounded) function on $[0,1]$ with parameters $a,b,$ with $0<a<1$ and $binmathbb{R}$.
As an example, we could possibly work with $g(x,a,b)=e^{bx+a}$ though my original $g$ is something else.
Since $g$ is bounded, my intution tells me that there should exist some non-zero $f$ independent of parameters $a,b$ killing that limit.
real-analysis calculus limits analysis summation
real-analysis calculus limits analysis summation
edited Jan 14 at 17:56
ersh
asked Jan 14 at 17:07
ershersh
438113
438113
$begingroup$
What do you mean by independent of $a,b$? Do you want a single function $r(x)$ that works for every possible values of $a,b$?
$endgroup$
– BigbearZzz
Jan 14 at 17:33
$begingroup$
@BigbearZzz, Exactly! A single function which works for every $a,b$.
$endgroup$
– ersh
Jan 14 at 17:54
1
$begingroup$
Unfortunately the answer is negative. The conditions can force $r(x)$ to be zero identically.
$endgroup$
– BigbearZzz
Jan 14 at 17:59
add a comment |
$begingroup$
What do you mean by independent of $a,b$? Do you want a single function $r(x)$ that works for every possible values of $a,b$?
$endgroup$
– BigbearZzz
Jan 14 at 17:33
$begingroup$
@BigbearZzz, Exactly! A single function which works for every $a,b$.
$endgroup$
– ersh
Jan 14 at 17:54
1
$begingroup$
Unfortunately the answer is negative. The conditions can force $r(x)$ to be zero identically.
$endgroup$
– BigbearZzz
Jan 14 at 17:59
$begingroup$
What do you mean by independent of $a,b$? Do you want a single function $r(x)$ that works for every possible values of $a,b$?
$endgroup$
– BigbearZzz
Jan 14 at 17:33
$begingroup$
What do you mean by independent of $a,b$? Do you want a single function $r(x)$ that works for every possible values of $a,b$?
$endgroup$
– BigbearZzz
Jan 14 at 17:33
$begingroup$
@BigbearZzz, Exactly! A single function which works for every $a,b$.
$endgroup$
– ersh
Jan 14 at 17:54
$begingroup$
@BigbearZzz, Exactly! A single function which works for every $a,b$.
$endgroup$
– ersh
Jan 14 at 17:54
1
1
$begingroup$
Unfortunately the answer is negative. The conditions can force $r(x)$ to be zero identically.
$endgroup$
– BigbearZzz
Jan 14 at 17:59
$begingroup$
Unfortunately the answer is negative. The conditions can force $r(x)$ to be zero identically.
$endgroup$
– BigbearZzz
Jan 14 at 17:59
add a comment |
1 Answer
1
active
oldest
votes
$begingroup$
Since we have
$$
lim_{ntoinfty}sum_{k=0}^{n}frac{1}{n}gleft(frac kn,a,bright)rleft(frac knright)=int_0^1g(x,a,b)r(x), dx,
$$
we want the function $r(x)$ to satisfy
$$
int_0^1g(x,a,b)r(x), dx=0
$$
for all $(a,b)in(0,1)timesBbb R$. In general, it is not true that there would exists a nonzero $r(x)$ with the above property.
Indeed, consider the family of bounded continuous functions
$$
mathcal F=left{ frac1{1+b^2}+ sin(x)^{1/a} : (a,b)in(0,1)timesBbb R right},
$$
it is not hard to see that $D={1,sin(x),sin(x)^2,dots}$ is a subset of $mathcal F$. According to the Stone-Weierstrass theorem, the span of $D$ is dense in $C[0,1]$. Since
$$
int_0^1 g(x)r(x), dx=0
$$
for all $gin D$, by passing to the limit (using the density result above) we conclude that
$$
int_0^1 f(x)r(x), dx=0
$$
for all $fin C[0,1]$. It follows that the only $r(x)$ that works is $r(x)equiv 0$.
$endgroup$
$begingroup$
Wonderful counterexample!! Thank you! To be specific my $$g=frac{1}{e^{ax+e^{b-x}}+e^{ax}}$$. My different approach to the problem I am solving, suggests me that there should exist a non-zero $f$ for this choice of $g$. Can we think of such $f$ in this case?
$endgroup$
– ersh
Jan 14 at 18:13
1
$begingroup$
@ersh Perhaps you should post that as a separate question with that specific formula for $g(x,a,b)$ and link to this question. Tomorrow I might have a look at it since today I'm tired already. Glad I could help.
$endgroup$
– BigbearZzz
Jan 14 at 18:14
$begingroup$
Yeah, Thank you!
$endgroup$
– ersh
Jan 14 at 19:19
1
$begingroup$
@ersh So if you're happy with this answer please consider accepting it so the question wouldn't be left in the unanswered queue.
$endgroup$
– BigbearZzz
Jan 14 at 19:23
$begingroup$
Sorry. I forgot. I am quite well satisfied with your example.
$endgroup$
– ersh
Jan 14 at 20:28
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%2f3073468%2fcontinous-function-rx-on-0-1-such-that-lim-n-rightarrow-infty-sum-k%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$
Since we have
$$
lim_{ntoinfty}sum_{k=0}^{n}frac{1}{n}gleft(frac kn,a,bright)rleft(frac knright)=int_0^1g(x,a,b)r(x), dx,
$$
we want the function $r(x)$ to satisfy
$$
int_0^1g(x,a,b)r(x), dx=0
$$
for all $(a,b)in(0,1)timesBbb R$. In general, it is not true that there would exists a nonzero $r(x)$ with the above property.
Indeed, consider the family of bounded continuous functions
$$
mathcal F=left{ frac1{1+b^2}+ sin(x)^{1/a} : (a,b)in(0,1)timesBbb R right},
$$
it is not hard to see that $D={1,sin(x),sin(x)^2,dots}$ is a subset of $mathcal F$. According to the Stone-Weierstrass theorem, the span of $D$ is dense in $C[0,1]$. Since
$$
int_0^1 g(x)r(x), dx=0
$$
for all $gin D$, by passing to the limit (using the density result above) we conclude that
$$
int_0^1 f(x)r(x), dx=0
$$
for all $fin C[0,1]$. It follows that the only $r(x)$ that works is $r(x)equiv 0$.
$endgroup$
$begingroup$
Wonderful counterexample!! Thank you! To be specific my $$g=frac{1}{e^{ax+e^{b-x}}+e^{ax}}$$. My different approach to the problem I am solving, suggests me that there should exist a non-zero $f$ for this choice of $g$. Can we think of such $f$ in this case?
$endgroup$
– ersh
Jan 14 at 18:13
1
$begingroup$
@ersh Perhaps you should post that as a separate question with that specific formula for $g(x,a,b)$ and link to this question. Tomorrow I might have a look at it since today I'm tired already. Glad I could help.
$endgroup$
– BigbearZzz
Jan 14 at 18:14
$begingroup$
Yeah, Thank you!
$endgroup$
– ersh
Jan 14 at 19:19
1
$begingroup$
@ersh So if you're happy with this answer please consider accepting it so the question wouldn't be left in the unanswered queue.
$endgroup$
– BigbearZzz
Jan 14 at 19:23
$begingroup$
Sorry. I forgot. I am quite well satisfied with your example.
$endgroup$
– ersh
Jan 14 at 20:28
add a comment |
$begingroup$
Since we have
$$
lim_{ntoinfty}sum_{k=0}^{n}frac{1}{n}gleft(frac kn,a,bright)rleft(frac knright)=int_0^1g(x,a,b)r(x), dx,
$$
we want the function $r(x)$ to satisfy
$$
int_0^1g(x,a,b)r(x), dx=0
$$
for all $(a,b)in(0,1)timesBbb R$. In general, it is not true that there would exists a nonzero $r(x)$ with the above property.
Indeed, consider the family of bounded continuous functions
$$
mathcal F=left{ frac1{1+b^2}+ sin(x)^{1/a} : (a,b)in(0,1)timesBbb R right},
$$
it is not hard to see that $D={1,sin(x),sin(x)^2,dots}$ is a subset of $mathcal F$. According to the Stone-Weierstrass theorem, the span of $D$ is dense in $C[0,1]$. Since
$$
int_0^1 g(x)r(x), dx=0
$$
for all $gin D$, by passing to the limit (using the density result above) we conclude that
$$
int_0^1 f(x)r(x), dx=0
$$
for all $fin C[0,1]$. It follows that the only $r(x)$ that works is $r(x)equiv 0$.
$endgroup$
$begingroup$
Wonderful counterexample!! Thank you! To be specific my $$g=frac{1}{e^{ax+e^{b-x}}+e^{ax}}$$. My different approach to the problem I am solving, suggests me that there should exist a non-zero $f$ for this choice of $g$. Can we think of such $f$ in this case?
$endgroup$
– ersh
Jan 14 at 18:13
1
$begingroup$
@ersh Perhaps you should post that as a separate question with that specific formula for $g(x,a,b)$ and link to this question. Tomorrow I might have a look at it since today I'm tired already. Glad I could help.
$endgroup$
– BigbearZzz
Jan 14 at 18:14
$begingroup$
Yeah, Thank you!
$endgroup$
– ersh
Jan 14 at 19:19
1
$begingroup$
@ersh So if you're happy with this answer please consider accepting it so the question wouldn't be left in the unanswered queue.
$endgroup$
– BigbearZzz
Jan 14 at 19:23
$begingroup$
Sorry. I forgot. I am quite well satisfied with your example.
$endgroup$
– ersh
Jan 14 at 20:28
add a comment |
$begingroup$
Since we have
$$
lim_{ntoinfty}sum_{k=0}^{n}frac{1}{n}gleft(frac kn,a,bright)rleft(frac knright)=int_0^1g(x,a,b)r(x), dx,
$$
we want the function $r(x)$ to satisfy
$$
int_0^1g(x,a,b)r(x), dx=0
$$
for all $(a,b)in(0,1)timesBbb R$. In general, it is not true that there would exists a nonzero $r(x)$ with the above property.
Indeed, consider the family of bounded continuous functions
$$
mathcal F=left{ frac1{1+b^2}+ sin(x)^{1/a} : (a,b)in(0,1)timesBbb R right},
$$
it is not hard to see that $D={1,sin(x),sin(x)^2,dots}$ is a subset of $mathcal F$. According to the Stone-Weierstrass theorem, the span of $D$ is dense in $C[0,1]$. Since
$$
int_0^1 g(x)r(x), dx=0
$$
for all $gin D$, by passing to the limit (using the density result above) we conclude that
$$
int_0^1 f(x)r(x), dx=0
$$
for all $fin C[0,1]$. It follows that the only $r(x)$ that works is $r(x)equiv 0$.
$endgroup$
Since we have
$$
lim_{ntoinfty}sum_{k=0}^{n}frac{1}{n}gleft(frac kn,a,bright)rleft(frac knright)=int_0^1g(x,a,b)r(x), dx,
$$
we want the function $r(x)$ to satisfy
$$
int_0^1g(x,a,b)r(x), dx=0
$$
for all $(a,b)in(0,1)timesBbb R$. In general, it is not true that there would exists a nonzero $r(x)$ with the above property.
Indeed, consider the family of bounded continuous functions
$$
mathcal F=left{ frac1{1+b^2}+ sin(x)^{1/a} : (a,b)in(0,1)timesBbb R right},
$$
it is not hard to see that $D={1,sin(x),sin(x)^2,dots}$ is a subset of $mathcal F$. According to the Stone-Weierstrass theorem, the span of $D$ is dense in $C[0,1]$. Since
$$
int_0^1 g(x)r(x), dx=0
$$
for all $gin D$, by passing to the limit (using the density result above) we conclude that
$$
int_0^1 f(x)r(x), dx=0
$$
for all $fin C[0,1]$. It follows that the only $r(x)$ that works is $r(x)equiv 0$.
answered Jan 14 at 17:56
BigbearZzzBigbearZzz
8,94521652
8,94521652
$begingroup$
Wonderful counterexample!! Thank you! To be specific my $$g=frac{1}{e^{ax+e^{b-x}}+e^{ax}}$$. My different approach to the problem I am solving, suggests me that there should exist a non-zero $f$ for this choice of $g$. Can we think of such $f$ in this case?
$endgroup$
– ersh
Jan 14 at 18:13
1
$begingroup$
@ersh Perhaps you should post that as a separate question with that specific formula for $g(x,a,b)$ and link to this question. Tomorrow I might have a look at it since today I'm tired already. Glad I could help.
$endgroup$
– BigbearZzz
Jan 14 at 18:14
$begingroup$
Yeah, Thank you!
$endgroup$
– ersh
Jan 14 at 19:19
1
$begingroup$
@ersh So if you're happy with this answer please consider accepting it so the question wouldn't be left in the unanswered queue.
$endgroup$
– BigbearZzz
Jan 14 at 19:23
$begingroup$
Sorry. I forgot. I am quite well satisfied with your example.
$endgroup$
– ersh
Jan 14 at 20:28
add a comment |
$begingroup$
Wonderful counterexample!! Thank you! To be specific my $$g=frac{1}{e^{ax+e^{b-x}}+e^{ax}}$$. My different approach to the problem I am solving, suggests me that there should exist a non-zero $f$ for this choice of $g$. Can we think of such $f$ in this case?
$endgroup$
– ersh
Jan 14 at 18:13
1
$begingroup$
@ersh Perhaps you should post that as a separate question with that specific formula for $g(x,a,b)$ and link to this question. Tomorrow I might have a look at it since today I'm tired already. Glad I could help.
$endgroup$
– BigbearZzz
Jan 14 at 18:14
$begingroup$
Yeah, Thank you!
$endgroup$
– ersh
Jan 14 at 19:19
1
$begingroup$
@ersh So if you're happy with this answer please consider accepting it so the question wouldn't be left in the unanswered queue.
$endgroup$
– BigbearZzz
Jan 14 at 19:23
$begingroup$
Sorry. I forgot. I am quite well satisfied with your example.
$endgroup$
– ersh
Jan 14 at 20:28
$begingroup$
Wonderful counterexample!! Thank you! To be specific my $$g=frac{1}{e^{ax+e^{b-x}}+e^{ax}}$$. My different approach to the problem I am solving, suggests me that there should exist a non-zero $f$ for this choice of $g$. Can we think of such $f$ in this case?
$endgroup$
– ersh
Jan 14 at 18:13
$begingroup$
Wonderful counterexample!! Thank you! To be specific my $$g=frac{1}{e^{ax+e^{b-x}}+e^{ax}}$$. My different approach to the problem I am solving, suggests me that there should exist a non-zero $f$ for this choice of $g$. Can we think of such $f$ in this case?
$endgroup$
– ersh
Jan 14 at 18:13
1
1
$begingroup$
@ersh Perhaps you should post that as a separate question with that specific formula for $g(x,a,b)$ and link to this question. Tomorrow I might have a look at it since today I'm tired already. Glad I could help.
$endgroup$
– BigbearZzz
Jan 14 at 18:14
$begingroup$
@ersh Perhaps you should post that as a separate question with that specific formula for $g(x,a,b)$ and link to this question. Tomorrow I might have a look at it since today I'm tired already. Glad I could help.
$endgroup$
– BigbearZzz
Jan 14 at 18:14
$begingroup$
Yeah, Thank you!
$endgroup$
– ersh
Jan 14 at 19:19
$begingroup$
Yeah, Thank you!
$endgroup$
– ersh
Jan 14 at 19:19
1
1
$begingroup$
@ersh So if you're happy with this answer please consider accepting it so the question wouldn't be left in the unanswered queue.
$endgroup$
– BigbearZzz
Jan 14 at 19:23
$begingroup$
@ersh So if you're happy with this answer please consider accepting it so the question wouldn't be left in the unanswered queue.
$endgroup$
– BigbearZzz
Jan 14 at 19:23
$begingroup$
Sorry. I forgot. I am quite well satisfied with your example.
$endgroup$
– ersh
Jan 14 at 20:28
$begingroup$
Sorry. I forgot. I am quite well satisfied with your example.
$endgroup$
– ersh
Jan 14 at 20:28
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%2f3073468%2fcontinous-function-rx-on-0-1-such-that-lim-n-rightarrow-infty-sum-k%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$
What do you mean by independent of $a,b$? Do you want a single function $r(x)$ that works for every possible values of $a,b$?
$endgroup$
– BigbearZzz
Jan 14 at 17:33
$begingroup$
@BigbearZzz, Exactly! A single function which works for every $a,b$.
$endgroup$
– ersh
Jan 14 at 17:54
1
$begingroup$
Unfortunately the answer is negative. The conditions can force $r(x)$ to be zero identically.
$endgroup$
– BigbearZzz
Jan 14 at 17:59