How do I find $text{sup}{|f_n(x)|}$?
Given $f_n : [0, infty) mapsto mathbb{R}$ a sequence of functions, defined by $$f_{n}(x) = frac{x}{n^2} e^{frac{-x}{n}} $$
for $n geq 1$
I am trying to prove that $f_n$ converges uniformly to the zero function by showing that $$delta_{n} := text{sup}{|f_n(x)| : x in [0, infty) }
longrightarrow 0$$
but I don't understand $delta_{n}$ very well. Does it depend on $n$? How do I actually find it?
real-analysis uniform-convergence
add a comment |
Given $f_n : [0, infty) mapsto mathbb{R}$ a sequence of functions, defined by $$f_{n}(x) = frac{x}{n^2} e^{frac{-x}{n}} $$
for $n geq 1$
I am trying to prove that $f_n$ converges uniformly to the zero function by showing that $$delta_{n} := text{sup}{|f_n(x)| : x in [0, infty) }
longrightarrow 0$$
but I don't understand $delta_{n}$ very well. Does it depend on $n$? How do I actually find it?
real-analysis uniform-convergence
You don't need to find $delta_n$ explicitly. It would suffice to find constants $C_n$ such that $C_n$ tends to zero and $delta_n leq C_n$ for each $n$
– D_S
Nov 24 at 21:41
So I am trying to find a sequence $a_{n}$ that tends to zero, such that $|f_n(x)| < a_{n}$ for all $x$ ?
– maa'our
Nov 24 at 21:47
Yes, that would do it for you, right?
– D_S
Nov 24 at 21:48
You can show using calculus that $f_n(x)$ has a global maximum at $x=n$, thus $suplimits_{xin [0,infty)} |f_n(x)|=suplimits_{xin [0,infty)} f_n(x)=frac{1}{ecdot n}$.
– projectilemotion
Nov 24 at 21:49
add a comment |
Given $f_n : [0, infty) mapsto mathbb{R}$ a sequence of functions, defined by $$f_{n}(x) = frac{x}{n^2} e^{frac{-x}{n}} $$
for $n geq 1$
I am trying to prove that $f_n$ converges uniformly to the zero function by showing that $$delta_{n} := text{sup}{|f_n(x)| : x in [0, infty) }
longrightarrow 0$$
but I don't understand $delta_{n}$ very well. Does it depend on $n$? How do I actually find it?
real-analysis uniform-convergence
Given $f_n : [0, infty) mapsto mathbb{R}$ a sequence of functions, defined by $$f_{n}(x) = frac{x}{n^2} e^{frac{-x}{n}} $$
for $n geq 1$
I am trying to prove that $f_n$ converges uniformly to the zero function by showing that $$delta_{n} := text{sup}{|f_n(x)| : x in [0, infty) }
longrightarrow 0$$
but I don't understand $delta_{n}$ very well. Does it depend on $n$? How do I actually find it?
real-analysis uniform-convergence
real-analysis uniform-convergence
asked Nov 24 at 21:38
maa'our
604
604
You don't need to find $delta_n$ explicitly. It would suffice to find constants $C_n$ such that $C_n$ tends to zero and $delta_n leq C_n$ for each $n$
– D_S
Nov 24 at 21:41
So I am trying to find a sequence $a_{n}$ that tends to zero, such that $|f_n(x)| < a_{n}$ for all $x$ ?
– maa'our
Nov 24 at 21:47
Yes, that would do it for you, right?
– D_S
Nov 24 at 21:48
You can show using calculus that $f_n(x)$ has a global maximum at $x=n$, thus $suplimits_{xin [0,infty)} |f_n(x)|=suplimits_{xin [0,infty)} f_n(x)=frac{1}{ecdot n}$.
– projectilemotion
Nov 24 at 21:49
add a comment |
You don't need to find $delta_n$ explicitly. It would suffice to find constants $C_n$ such that $C_n$ tends to zero and $delta_n leq C_n$ for each $n$
– D_S
Nov 24 at 21:41
So I am trying to find a sequence $a_{n}$ that tends to zero, such that $|f_n(x)| < a_{n}$ for all $x$ ?
– maa'our
Nov 24 at 21:47
Yes, that would do it for you, right?
– D_S
Nov 24 at 21:48
You can show using calculus that $f_n(x)$ has a global maximum at $x=n$, thus $suplimits_{xin [0,infty)} |f_n(x)|=suplimits_{xin [0,infty)} f_n(x)=frac{1}{ecdot n}$.
– projectilemotion
Nov 24 at 21:49
You don't need to find $delta_n$ explicitly. It would suffice to find constants $C_n$ such that $C_n$ tends to zero and $delta_n leq C_n$ for each $n$
– D_S
Nov 24 at 21:41
You don't need to find $delta_n$ explicitly. It would suffice to find constants $C_n$ such that $C_n$ tends to zero and $delta_n leq C_n$ for each $n$
– D_S
Nov 24 at 21:41
So I am trying to find a sequence $a_{n}$ that tends to zero, such that $|f_n(x)| < a_{n}$ for all $x$ ?
– maa'our
Nov 24 at 21:47
So I am trying to find a sequence $a_{n}$ that tends to zero, such that $|f_n(x)| < a_{n}$ for all $x$ ?
– maa'our
Nov 24 at 21:47
Yes, that would do it for you, right?
– D_S
Nov 24 at 21:48
Yes, that would do it for you, right?
– D_S
Nov 24 at 21:48
You can show using calculus that $f_n(x)$ has a global maximum at $x=n$, thus $suplimits_{xin [0,infty)} |f_n(x)|=suplimits_{xin [0,infty)} f_n(x)=frac{1}{ecdot n}$.
– projectilemotion
Nov 24 at 21:49
You can show using calculus that $f_n(x)$ has a global maximum at $x=n$, thus $suplimits_{xin [0,infty)} |f_n(x)|=suplimits_{xin [0,infty)} f_n(x)=frac{1}{ecdot n}$.
– projectilemotion
Nov 24 at 21:49
add a comment |
1 Answer
1
active
oldest
votes
You need to show that the supremum tends to $0$, not to necessarily find the supremum exactly. Namely, it is sufficient to find $(a_n)_n$ such that
$$
forall ngeq 1,qquad sup_{xin[0,infty)} lvert f_n(x)rvert leq a_n
$$
and $lim_{ntoinfty} a_n =0$.
Therefore, let's try and do that here: for all $xgeq 0$ and $ngeq 1$,
$$
0 leq frac{x}{n^2} e^{-frac{x}{n}} = frac{1}{n}cdot frac{x}{n} e^{-frac{x}{n}} leq frac{1}{n}cdot sup_{tin[0,infty) } t e^{-t} stackrel{rm def}{=} a_n
$$
(can you see why?) But it is easy to study the function $h(t) = t e^{-t}$: it is differentiable, and $h'(t) = e^{-t}(1-t)$, and it is near-immediate to conclude it achieves its maximum at $t=1$, where $h(1) = 1/e$. Therefore, in light of the above you have
$$
forall ngeq 1,qquad sup_{xin[0,infty)} lvert f_n(x)rvert leq frac{1}{en}
$$
and you can conclude.
Note: in this case, it so happens that the $a_n$ we found is actually equal to $sup_{xin[0,infty)} lvert f_n(x)rvert$.
Thank you! that's really helpful :)
– maa'our
Nov 24 at 21:56
@maa'our You're welcome -- glad this helped!
– Clement C.
Nov 24 at 21:57
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%2f3012118%2fhow-do-i-find-textsup-f-nx%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
You need to show that the supremum tends to $0$, not to necessarily find the supremum exactly. Namely, it is sufficient to find $(a_n)_n$ such that
$$
forall ngeq 1,qquad sup_{xin[0,infty)} lvert f_n(x)rvert leq a_n
$$
and $lim_{ntoinfty} a_n =0$.
Therefore, let's try and do that here: for all $xgeq 0$ and $ngeq 1$,
$$
0 leq frac{x}{n^2} e^{-frac{x}{n}} = frac{1}{n}cdot frac{x}{n} e^{-frac{x}{n}} leq frac{1}{n}cdot sup_{tin[0,infty) } t e^{-t} stackrel{rm def}{=} a_n
$$
(can you see why?) But it is easy to study the function $h(t) = t e^{-t}$: it is differentiable, and $h'(t) = e^{-t}(1-t)$, and it is near-immediate to conclude it achieves its maximum at $t=1$, where $h(1) = 1/e$. Therefore, in light of the above you have
$$
forall ngeq 1,qquad sup_{xin[0,infty)} lvert f_n(x)rvert leq frac{1}{en}
$$
and you can conclude.
Note: in this case, it so happens that the $a_n$ we found is actually equal to $sup_{xin[0,infty)} lvert f_n(x)rvert$.
Thank you! that's really helpful :)
– maa'our
Nov 24 at 21:56
@maa'our You're welcome -- glad this helped!
– Clement C.
Nov 24 at 21:57
add a comment |
You need to show that the supremum tends to $0$, not to necessarily find the supremum exactly. Namely, it is sufficient to find $(a_n)_n$ such that
$$
forall ngeq 1,qquad sup_{xin[0,infty)} lvert f_n(x)rvert leq a_n
$$
and $lim_{ntoinfty} a_n =0$.
Therefore, let's try and do that here: for all $xgeq 0$ and $ngeq 1$,
$$
0 leq frac{x}{n^2} e^{-frac{x}{n}} = frac{1}{n}cdot frac{x}{n} e^{-frac{x}{n}} leq frac{1}{n}cdot sup_{tin[0,infty) } t e^{-t} stackrel{rm def}{=} a_n
$$
(can you see why?) But it is easy to study the function $h(t) = t e^{-t}$: it is differentiable, and $h'(t) = e^{-t}(1-t)$, and it is near-immediate to conclude it achieves its maximum at $t=1$, where $h(1) = 1/e$. Therefore, in light of the above you have
$$
forall ngeq 1,qquad sup_{xin[0,infty)} lvert f_n(x)rvert leq frac{1}{en}
$$
and you can conclude.
Note: in this case, it so happens that the $a_n$ we found is actually equal to $sup_{xin[0,infty)} lvert f_n(x)rvert$.
Thank you! that's really helpful :)
– maa'our
Nov 24 at 21:56
@maa'our You're welcome -- glad this helped!
– Clement C.
Nov 24 at 21:57
add a comment |
You need to show that the supremum tends to $0$, not to necessarily find the supremum exactly. Namely, it is sufficient to find $(a_n)_n$ such that
$$
forall ngeq 1,qquad sup_{xin[0,infty)} lvert f_n(x)rvert leq a_n
$$
and $lim_{ntoinfty} a_n =0$.
Therefore, let's try and do that here: for all $xgeq 0$ and $ngeq 1$,
$$
0 leq frac{x}{n^2} e^{-frac{x}{n}} = frac{1}{n}cdot frac{x}{n} e^{-frac{x}{n}} leq frac{1}{n}cdot sup_{tin[0,infty) } t e^{-t} stackrel{rm def}{=} a_n
$$
(can you see why?) But it is easy to study the function $h(t) = t e^{-t}$: it is differentiable, and $h'(t) = e^{-t}(1-t)$, and it is near-immediate to conclude it achieves its maximum at $t=1$, where $h(1) = 1/e$. Therefore, in light of the above you have
$$
forall ngeq 1,qquad sup_{xin[0,infty)} lvert f_n(x)rvert leq frac{1}{en}
$$
and you can conclude.
Note: in this case, it so happens that the $a_n$ we found is actually equal to $sup_{xin[0,infty)} lvert f_n(x)rvert$.
You need to show that the supremum tends to $0$, not to necessarily find the supremum exactly. Namely, it is sufficient to find $(a_n)_n$ such that
$$
forall ngeq 1,qquad sup_{xin[0,infty)} lvert f_n(x)rvert leq a_n
$$
and $lim_{ntoinfty} a_n =0$.
Therefore, let's try and do that here: for all $xgeq 0$ and $ngeq 1$,
$$
0 leq frac{x}{n^2} e^{-frac{x}{n}} = frac{1}{n}cdot frac{x}{n} e^{-frac{x}{n}} leq frac{1}{n}cdot sup_{tin[0,infty) } t e^{-t} stackrel{rm def}{=} a_n
$$
(can you see why?) But it is easy to study the function $h(t) = t e^{-t}$: it is differentiable, and $h'(t) = e^{-t}(1-t)$, and it is near-immediate to conclude it achieves its maximum at $t=1$, where $h(1) = 1/e$. Therefore, in light of the above you have
$$
forall ngeq 1,qquad sup_{xin[0,infty)} lvert f_n(x)rvert leq frac{1}{en}
$$
and you can conclude.
Note: in this case, it so happens that the $a_n$ we found is actually equal to $sup_{xin[0,infty)} lvert f_n(x)rvert$.
answered Nov 24 at 21:48
Clement C.
49.3k33785
49.3k33785
Thank you! that's really helpful :)
– maa'our
Nov 24 at 21:56
@maa'our You're welcome -- glad this helped!
– Clement C.
Nov 24 at 21:57
add a comment |
Thank you! that's really helpful :)
– maa'our
Nov 24 at 21:56
@maa'our You're welcome -- glad this helped!
– Clement C.
Nov 24 at 21:57
Thank you! that's really helpful :)
– maa'our
Nov 24 at 21:56
Thank you! that's really helpful :)
– maa'our
Nov 24 at 21:56
@maa'our You're welcome -- glad this helped!
– Clement C.
Nov 24 at 21:57
@maa'our You're welcome -- glad this helped!
– Clement C.
Nov 24 at 21:57
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.
Some of your past answers have not been well-received, and you're in danger of being blocked from answering.
Please pay close attention to the following guidance:
- 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.
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%2f3012118%2fhow-do-i-find-textsup-f-nx%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
You don't need to find $delta_n$ explicitly. It would suffice to find constants $C_n$ such that $C_n$ tends to zero and $delta_n leq C_n$ for each $n$
– D_S
Nov 24 at 21:41
So I am trying to find a sequence $a_{n}$ that tends to zero, such that $|f_n(x)| < a_{n}$ for all $x$ ?
– maa'our
Nov 24 at 21:47
Yes, that would do it for you, right?
– D_S
Nov 24 at 21:48
You can show using calculus that $f_n(x)$ has a global maximum at $x=n$, thus $suplimits_{xin [0,infty)} |f_n(x)|=suplimits_{xin [0,infty)} f_n(x)=frac{1}{ecdot n}$.
– projectilemotion
Nov 24 at 21:49