Continous function $r(x)$ on $[0,1]$ such that...












1












$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.










share|cite|improve this question











$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
















1












$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.










share|cite|improve this question











$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














1












1








1





$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.










share|cite|improve this question











$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






share|cite|improve this question















share|cite|improve this question













share|cite|improve this question




share|cite|improve this question








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


















  • $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










1 Answer
1






active

oldest

votes


















1












$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$.






share|cite|improve this answer









$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











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%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









1












$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$.






share|cite|improve this answer









$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
















1












$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$.






share|cite|improve this answer









$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














1












1








1





$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$.






share|cite|improve this answer









$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$.







share|cite|improve this answer












share|cite|improve this answer



share|cite|improve this answer










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


















  • $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


















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%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





















































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

Human spaceflight

Can not write log (Is /dev/pts mounted?) - openpty in Ubuntu-on-Windows?

File:DeusFollowingSea.jpg