Is a function bounded if it has an antiderivative and converges as its argument grows without bound? Announcing the arrival of Valued Associate #679: Cesar Manara Planned maintenance scheduled April 17/18, 2019 at 00:00UTC (8:00pm US/Eastern)Question on the ''limit'' of Riemann integrable functionsEvery bounded function has an inflection point?“The first derivative is monotonic increasing”bounded function and compact issueHow to choose, $phi in C^infty_c(mathbb R)$ such that its Fourier transform $hatphi$ is 1 in some neighbourhood of the given point?Proof that a function is boundedWhy not teach $limlimits_x to 0 frac sin( K _ 1 x) K _ 2 x =frac K _ 1 K _ 2 $?Why do distribution functions have Leibniz rule?Is $lim_xrightarrowinftyfracf'(x)f(x)=0$ if $lim_xrightarrowinftyf(x)=0$?$undersetxrightarrowinftylimfracf(x)x=0$ Implies $undersetxrightarrowinftyf'(x)=0$
How to align text above triangle figure
Why aren't air breathing engines used as small first stages
Output the ŋarâþ crîþ alphabet song without using (m)any letters
How to Merge Multiple Columns in to Two Columns based on Column 1 Value?
Storing hydrofluoric acid before the invention of plastics
Error "illegal generic type for instanceof" when using local classes
How do I keep my slimes from escaping their pens?
How does debian/ubuntu knows a package has a updated version
Why am I getting the error "non-boolean type specified in a context where a condition is expected" for this request?
Do I really need recursive chmod to restrict access to a folder?
Identifying polygons that intersect with another layer using QGIS?
What would be the ideal power source for a cybernetic eye?
Why is my conclusion inconsistent with the van't Hoff equation?
Withdrew £2800, but only £2000 shows as withdrawn on online banking; what are my obligations?
Fundamental Solution of the Pell Equation
Why are there no cargo aircraft with "flying wing" design?
What's the purpose of writing one's academic biography in the third person?
What is Arya's weapon design?
51k Euros annually for a family of 4 in Berlin: Is it enough?
Should I use a zero-interest credit card for a large one-time purchase?
Short Story with Cinderella as a Voo-doo Witch
List of Python versions
Dating a Former Employee
What to do with chalk when deepwater soloing?
Is a function bounded if it has an antiderivative and converges as its argument grows without bound?
Announcing the arrival of Valued Associate #679: Cesar Manara
Planned maintenance scheduled April 17/18, 2019 at 00:00UTC (8:00pm US/Eastern)Question on the ''limit'' of Riemann integrable functionsEvery bounded function has an inflection point?“The first derivative is monotonic increasing”bounded function and compact issueHow to choose, $phi in C^infty_c(mathbb R)$ such that its Fourier transform $hatphi$ is 1 in some neighbourhood of the given point?Proof that a function is boundedWhy not teach $limlimits_x to 0 frac sin( K _ 1 x) K _ 2 x =frac K _ 1 K _ 2 $?Why do distribution functions have Leibniz rule?Is $lim_xrightarrowinftyfracf'(x)f(x)=0$ if $lim_xrightarrowinftyf(x)=0$?$undersetxrightarrowinftylimfracf(x)x=0$ Implies $undersetxrightarrowinftyf'(x)=0$
$begingroup$
Main question:
Let $f : [0,infty) to mathbb R$ have an antiderivative. Furthermore, suppose $underset t to infty lim f(t) = 0$. Can I conclude that $f$ is bounded?
If $f$ were continuous, the answer would be “yes”, for obvious reasons. But, with just the given information, I find it difficult to tell.
Motivation:
This is given solely for context. Please do not answer the question here! I am trying to solve the following problem. Let $A$ be a square matrix whose eigenvalues all have negative real part. Let $f : mathbb R to mathbb C^n$ have an antiderivative, and suppose $underset t to infty lim f(t) = 0$. Show that
$$underset t to infty lim int_0^t e^(t-s)A g(s) ds = 0$$
calculus analysis derivatives
$endgroup$
add a comment |
$begingroup$
Main question:
Let $f : [0,infty) to mathbb R$ have an antiderivative. Furthermore, suppose $underset t to infty lim f(t) = 0$. Can I conclude that $f$ is bounded?
If $f$ were continuous, the answer would be “yes”, for obvious reasons. But, with just the given information, I find it difficult to tell.
Motivation:
This is given solely for context. Please do not answer the question here! I am trying to solve the following problem. Let $A$ be a square matrix whose eigenvalues all have negative real part. Let $f : mathbb R to mathbb C^n$ have an antiderivative, and suppose $underset t to infty lim f(t) = 0$. Show that
$$underset t to infty lim int_0^t e^(t-s)A g(s) ds = 0$$
calculus analysis derivatives
$endgroup$
add a comment |
$begingroup$
Main question:
Let $f : [0,infty) to mathbb R$ have an antiderivative. Furthermore, suppose $underset t to infty lim f(t) = 0$. Can I conclude that $f$ is bounded?
If $f$ were continuous, the answer would be “yes”, for obvious reasons. But, with just the given information, I find it difficult to tell.
Motivation:
This is given solely for context. Please do not answer the question here! I am trying to solve the following problem. Let $A$ be a square matrix whose eigenvalues all have negative real part. Let $f : mathbb R to mathbb C^n$ have an antiderivative, and suppose $underset t to infty lim f(t) = 0$. Show that
$$underset t to infty lim int_0^t e^(t-s)A g(s) ds = 0$$
calculus analysis derivatives
$endgroup$
Main question:
Let $f : [0,infty) to mathbb R$ have an antiderivative. Furthermore, suppose $underset t to infty lim f(t) = 0$. Can I conclude that $f$ is bounded?
If $f$ were continuous, the answer would be “yes”, for obvious reasons. But, with just the given information, I find it difficult to tell.
Motivation:
This is given solely for context. Please do not answer the question here! I am trying to solve the following problem. Let $A$ be a square matrix whose eigenvalues all have negative real part. Let $f : mathbb R to mathbb C^n$ have an antiderivative, and suppose $underset t to infty lim f(t) = 0$. Show that
$$underset t to infty lim int_0^t e^(t-s)A g(s) ds = 0$$
calculus analysis derivatives
calculus analysis derivatives
edited Mar 26 at 15:27
RRL
53.8k52675
53.8k52675
asked May 2 '18 at 0:40
pyonpyon
29219
29219
add a comment |
add a comment |
3 Answers
3
active
oldest
votes
$begingroup$
NO. We can find a differentiable $F:Bbb Rto Bbb R$ with $F(x)=0$ for $xleq 0 $ and $F(x)=1$ for $xgeq 0,$ such that $F'(x): 0<x<1$ is unbounded. Then $f=F'$ has an anti-derivative, and $f'(x)=0$ for $xnot in (0,1),$ but $f$ is unbounded on $(0,1).$
(i). (Exercise).For $a<b$ and $c<d$ and for any $r>0$ there exists a monotonic differentiable $F:[a,b]to [c,d]$ with $F(a)=c$ and $F(b)=d$ and $F'(a)=F'(b)=0,$ such that $sup F'(x): xin (a,b)>r.$
(ii). For $nin Bbb N$ let $a_n=1-2^-n$ and $b_n=1-3^-n.$ By (i) there exists a monotonic differentiable $F:[a_n,a_n+1]to [b_n,b_n+1]$ with $F(a_n)=b_n$ and $F(a_n+1)=b_n+1 $ and $F'(a_n)=F'(a_n+1))=0$, such that $sup F'(x):xin (a_n,a_n+1)>n.$
And let $F(x)=0$ for $x<0$ and $F(y)=1$ for $ygeq 1.$
It remains to show that $F'(1)$ exists and is equal to $0.$ It suffices to show that $lim_xto 1^-frac 1-F(x)1-x=0.$ For $0<x<1$ there exists a unique $n_xin Bbb N$ such that $ a_n_xleq x<a_(n_x+1).$
So $0<frac 1-F(x)1-x<$ $ frac 1-F(a_n_x)1-a_(n_x+1)=$ $frac 3^-n_x2^-n_x-1,$ which $to 0$ as $n_xto infty.$ And $n_xto infty$ as $xto 1^-.$
$endgroup$
add a comment |
$begingroup$
Take
$$f(x) = begincases0, quad x = 0\ 2x sin frac1x^2 - frac2x cos frac1x^2, quad 0 < x leqslant1 endcases$$
and extend smoothly to $[0,infty)$ such that $f(x) to 0 $ as $x to infty$.
The function has an antiderivative with $F'(x) = f(x)$ such that on $[0,1]$ we have
$$F(x) = begincases0, quad x = 0 \ x^2 sinfrac1x^2, quad 0 < x leqslant 1 endcases$$
but $f$ is unbounded near $x = 0$.
$endgroup$
add a comment |
$begingroup$
No, one cannot so conclude. Let me add (a somewhat artificial) counterexample to the existing list:
Consider the hyperbolic branch $1/x$ in the first quadrant of $mathbb R^2$, and define the function $f$ with $f(x)=alpha$ for some $alphainmathbb R$ when $x=0$ and $f(x)=1/x$ for $xin(0,infty)$.
PS. You can only conclude that a function that satisfies your conditions is either bounded above or bounded below.
$endgroup$
add a comment |
Your Answer
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%2f2762658%2fis-a-function-bounded-if-it-has-an-antiderivative-and-converges-as-its-argument%23new-answer', 'question_page');
);
Post as a guest
Required, but never shown
3 Answers
3
active
oldest
votes
3 Answers
3
active
oldest
votes
active
oldest
votes
active
oldest
votes
$begingroup$
NO. We can find a differentiable $F:Bbb Rto Bbb R$ with $F(x)=0$ for $xleq 0 $ and $F(x)=1$ for $xgeq 0,$ such that $F'(x): 0<x<1$ is unbounded. Then $f=F'$ has an anti-derivative, and $f'(x)=0$ for $xnot in (0,1),$ but $f$ is unbounded on $(0,1).$
(i). (Exercise).For $a<b$ and $c<d$ and for any $r>0$ there exists a monotonic differentiable $F:[a,b]to [c,d]$ with $F(a)=c$ and $F(b)=d$ and $F'(a)=F'(b)=0,$ such that $sup F'(x): xin (a,b)>r.$
(ii). For $nin Bbb N$ let $a_n=1-2^-n$ and $b_n=1-3^-n.$ By (i) there exists a monotonic differentiable $F:[a_n,a_n+1]to [b_n,b_n+1]$ with $F(a_n)=b_n$ and $F(a_n+1)=b_n+1 $ and $F'(a_n)=F'(a_n+1))=0$, such that $sup F'(x):xin (a_n,a_n+1)>n.$
And let $F(x)=0$ for $x<0$ and $F(y)=1$ for $ygeq 1.$
It remains to show that $F'(1)$ exists and is equal to $0.$ It suffices to show that $lim_xto 1^-frac 1-F(x)1-x=0.$ For $0<x<1$ there exists a unique $n_xin Bbb N$ such that $ a_n_xleq x<a_(n_x+1).$
So $0<frac 1-F(x)1-x<$ $ frac 1-F(a_n_x)1-a_(n_x+1)=$ $frac 3^-n_x2^-n_x-1,$ which $to 0$ as $n_xto infty.$ And $n_xto infty$ as $xto 1^-.$
$endgroup$
add a comment |
$begingroup$
NO. We can find a differentiable $F:Bbb Rto Bbb R$ with $F(x)=0$ for $xleq 0 $ and $F(x)=1$ for $xgeq 0,$ such that $F'(x): 0<x<1$ is unbounded. Then $f=F'$ has an anti-derivative, and $f'(x)=0$ for $xnot in (0,1),$ but $f$ is unbounded on $(0,1).$
(i). (Exercise).For $a<b$ and $c<d$ and for any $r>0$ there exists a monotonic differentiable $F:[a,b]to [c,d]$ with $F(a)=c$ and $F(b)=d$ and $F'(a)=F'(b)=0,$ such that $sup F'(x): xin (a,b)>r.$
(ii). For $nin Bbb N$ let $a_n=1-2^-n$ and $b_n=1-3^-n.$ By (i) there exists a monotonic differentiable $F:[a_n,a_n+1]to [b_n,b_n+1]$ with $F(a_n)=b_n$ and $F(a_n+1)=b_n+1 $ and $F'(a_n)=F'(a_n+1))=0$, such that $sup F'(x):xin (a_n,a_n+1)>n.$
And let $F(x)=0$ for $x<0$ and $F(y)=1$ for $ygeq 1.$
It remains to show that $F'(1)$ exists and is equal to $0.$ It suffices to show that $lim_xto 1^-frac 1-F(x)1-x=0.$ For $0<x<1$ there exists a unique $n_xin Bbb N$ such that $ a_n_xleq x<a_(n_x+1).$
So $0<frac 1-F(x)1-x<$ $ frac 1-F(a_n_x)1-a_(n_x+1)=$ $frac 3^-n_x2^-n_x-1,$ which $to 0$ as $n_xto infty.$ And $n_xto infty$ as $xto 1^-.$
$endgroup$
add a comment |
$begingroup$
NO. We can find a differentiable $F:Bbb Rto Bbb R$ with $F(x)=0$ for $xleq 0 $ and $F(x)=1$ for $xgeq 0,$ such that $F'(x): 0<x<1$ is unbounded. Then $f=F'$ has an anti-derivative, and $f'(x)=0$ for $xnot in (0,1),$ but $f$ is unbounded on $(0,1).$
(i). (Exercise).For $a<b$ and $c<d$ and for any $r>0$ there exists a monotonic differentiable $F:[a,b]to [c,d]$ with $F(a)=c$ and $F(b)=d$ and $F'(a)=F'(b)=0,$ such that $sup F'(x): xin (a,b)>r.$
(ii). For $nin Bbb N$ let $a_n=1-2^-n$ and $b_n=1-3^-n.$ By (i) there exists a monotonic differentiable $F:[a_n,a_n+1]to [b_n,b_n+1]$ with $F(a_n)=b_n$ and $F(a_n+1)=b_n+1 $ and $F'(a_n)=F'(a_n+1))=0$, such that $sup F'(x):xin (a_n,a_n+1)>n.$
And let $F(x)=0$ for $x<0$ and $F(y)=1$ for $ygeq 1.$
It remains to show that $F'(1)$ exists and is equal to $0.$ It suffices to show that $lim_xto 1^-frac 1-F(x)1-x=0.$ For $0<x<1$ there exists a unique $n_xin Bbb N$ such that $ a_n_xleq x<a_(n_x+1).$
So $0<frac 1-F(x)1-x<$ $ frac 1-F(a_n_x)1-a_(n_x+1)=$ $frac 3^-n_x2^-n_x-1,$ which $to 0$ as $n_xto infty.$ And $n_xto infty$ as $xto 1^-.$
$endgroup$
NO. We can find a differentiable $F:Bbb Rto Bbb R$ with $F(x)=0$ for $xleq 0 $ and $F(x)=1$ for $xgeq 0,$ such that $F'(x): 0<x<1$ is unbounded. Then $f=F'$ has an anti-derivative, and $f'(x)=0$ for $xnot in (0,1),$ but $f$ is unbounded on $(0,1).$
(i). (Exercise).For $a<b$ and $c<d$ and for any $r>0$ there exists a monotonic differentiable $F:[a,b]to [c,d]$ with $F(a)=c$ and $F(b)=d$ and $F'(a)=F'(b)=0,$ such that $sup F'(x): xin (a,b)>r.$
(ii). For $nin Bbb N$ let $a_n=1-2^-n$ and $b_n=1-3^-n.$ By (i) there exists a monotonic differentiable $F:[a_n,a_n+1]to [b_n,b_n+1]$ with $F(a_n)=b_n$ and $F(a_n+1)=b_n+1 $ and $F'(a_n)=F'(a_n+1))=0$, such that $sup F'(x):xin (a_n,a_n+1)>n.$
And let $F(x)=0$ for $x<0$ and $F(y)=1$ for $ygeq 1.$
It remains to show that $F'(1)$ exists and is equal to $0.$ It suffices to show that $lim_xto 1^-frac 1-F(x)1-x=0.$ For $0<x<1$ there exists a unique $n_xin Bbb N$ such that $ a_n_xleq x<a_(n_x+1).$
So $0<frac 1-F(x)1-x<$ $ frac 1-F(a_n_x)1-a_(n_x+1)=$ $frac 3^-n_x2^-n_x-1,$ which $to 0$ as $n_xto infty.$ And $n_xto infty$ as $xto 1^-.$
edited May 2 '18 at 6:46
answered May 2 '18 at 6:32
DanielWainfleetDanielWainfleet
35.9k31648
35.9k31648
add a comment |
add a comment |
$begingroup$
Take
$$f(x) = begincases0, quad x = 0\ 2x sin frac1x^2 - frac2x cos frac1x^2, quad 0 < x leqslant1 endcases$$
and extend smoothly to $[0,infty)$ such that $f(x) to 0 $ as $x to infty$.
The function has an antiderivative with $F'(x) = f(x)$ such that on $[0,1]$ we have
$$F(x) = begincases0, quad x = 0 \ x^2 sinfrac1x^2, quad 0 < x leqslant 1 endcases$$
but $f$ is unbounded near $x = 0$.
$endgroup$
add a comment |
$begingroup$
Take
$$f(x) = begincases0, quad x = 0\ 2x sin frac1x^2 - frac2x cos frac1x^2, quad 0 < x leqslant1 endcases$$
and extend smoothly to $[0,infty)$ such that $f(x) to 0 $ as $x to infty$.
The function has an antiderivative with $F'(x) = f(x)$ such that on $[0,1]$ we have
$$F(x) = begincases0, quad x = 0 \ x^2 sinfrac1x^2, quad 0 < x leqslant 1 endcases$$
but $f$ is unbounded near $x = 0$.
$endgroup$
add a comment |
$begingroup$
Take
$$f(x) = begincases0, quad x = 0\ 2x sin frac1x^2 - frac2x cos frac1x^2, quad 0 < x leqslant1 endcases$$
and extend smoothly to $[0,infty)$ such that $f(x) to 0 $ as $x to infty$.
The function has an antiderivative with $F'(x) = f(x)$ such that on $[0,1]$ we have
$$F(x) = begincases0, quad x = 0 \ x^2 sinfrac1x^2, quad 0 < x leqslant 1 endcases$$
but $f$ is unbounded near $x = 0$.
$endgroup$
Take
$$f(x) = begincases0, quad x = 0\ 2x sin frac1x^2 - frac2x cos frac1x^2, quad 0 < x leqslant1 endcases$$
and extend smoothly to $[0,infty)$ such that $f(x) to 0 $ as $x to infty$.
The function has an antiderivative with $F'(x) = f(x)$ such that on $[0,1]$ we have
$$F(x) = begincases0, quad x = 0 \ x^2 sinfrac1x^2, quad 0 < x leqslant 1 endcases$$
but $f$ is unbounded near $x = 0$.
answered May 2 '18 at 6:24
RRLRRL
53.8k52675
53.8k52675
add a comment |
add a comment |
$begingroup$
No, one cannot so conclude. Let me add (a somewhat artificial) counterexample to the existing list:
Consider the hyperbolic branch $1/x$ in the first quadrant of $mathbb R^2$, and define the function $f$ with $f(x)=alpha$ for some $alphainmathbb R$ when $x=0$ and $f(x)=1/x$ for $xin(0,infty)$.
PS. You can only conclude that a function that satisfies your conditions is either bounded above or bounded below.
$endgroup$
add a comment |
$begingroup$
No, one cannot so conclude. Let me add (a somewhat artificial) counterexample to the existing list:
Consider the hyperbolic branch $1/x$ in the first quadrant of $mathbb R^2$, and define the function $f$ with $f(x)=alpha$ for some $alphainmathbb R$ when $x=0$ and $f(x)=1/x$ for $xin(0,infty)$.
PS. You can only conclude that a function that satisfies your conditions is either bounded above or bounded below.
$endgroup$
add a comment |
$begingroup$
No, one cannot so conclude. Let me add (a somewhat artificial) counterexample to the existing list:
Consider the hyperbolic branch $1/x$ in the first quadrant of $mathbb R^2$, and define the function $f$ with $f(x)=alpha$ for some $alphainmathbb R$ when $x=0$ and $f(x)=1/x$ for $xin(0,infty)$.
PS. You can only conclude that a function that satisfies your conditions is either bounded above or bounded below.
$endgroup$
No, one cannot so conclude. Let me add (a somewhat artificial) counterexample to the existing list:
Consider the hyperbolic branch $1/x$ in the first quadrant of $mathbb R^2$, and define the function $f$ with $f(x)=alpha$ for some $alphainmathbb R$ when $x=0$ and $f(x)=1/x$ for $xin(0,infty)$.
PS. You can only conclude that a function that satisfies your conditions is either bounded above or bounded below.
answered May 2 '18 at 8:10
AllawonderAllawonder
2,281616
2,281616
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%2f2762658%2fis-a-function-bounded-if-it-has-an-antiderivative-and-converges-as-its-argument%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