Which functions $f$ differentiable in all $mathbb R$ satisfy $|f(x)| geq |f'(x)|$ for all $x$ with $f(0)=0$? The Next CEO of Stack OverflowFinding all differentiable functions with a certain propertyTwice differentiable functions with compact supportWhich functions satisfy $ g(x) d^n f(x)/dx^n = x^n/n!$ for all positive $n$?Find all smooth functions such that $f(x)f(y)=int_x-y^x+yf(t)dt$ for all $x,y in mathbbR$Find the necessary and sufficient condition on $g$ for which $f$ is differentiable at $0$Does the mean value theorem hold for differentiable functions from $mathbbR^n$ to $mathbbC$?Find all holomorphic functions $f:mathbbRrightarrowmathbbR$ at $c=0$ that satisfy $f(x)=f'(x)$Find all positive differentiable functions $f$ that satisfy $int_0^x sin(t) f(t) dt = [f(x)]^2.$Proof for differentiable functionsAre all functions that have a primitive differentiable?
How to edit “Name” property in GCI output?
Is it okay to majorly distort historical facts while writing a fiction story?
Why don't programming languages automatically manage the synchronous/asynchronous problem?
Can MTA send mail via a relay without being told so?
Which one is the true statement?
Help understanding this unsettling image of Titan, Epimetheus, and Saturn's rings?
Would this house-rule that treats advantage as a +1 to the roll instead (and disadvantage as -1) and allows them to stack be balanced?
Rotate a column
Is it convenient to ask the journal's editor for two additional days to complete a review?
Are police here, aren't itthey?
Is it ever safe to open a suspicious HTML file (e.g. email attachment)?
Is it possible to replace duplicates of a character with one character using tr
Is micro rebar a better way to reinforce concrete than rebar?
How to check if all elements of 1 list are in the *same quantity* and in any order, in the list2?
Why do airplanes bank sharply to the right after air-to-air refueling?
Does increasing your ability score affect your main stat?
WOW air has ceased operation, can I get my tickets refunded?
Unclear about dynamic binding
Grabbing quick drinks
Flying from Cape Town to England and return to another province
Would a completely good Muggle be able to use a wand?
RigExpert AA-35 - Interpreting The Information
Is the D&D universe the same as the Forgotten Realms universe?
What was the first Unix version to run on a microcomputer?
Which functions $f$ differentiable in all $mathbb R$ satisfy $|f(x)| geq |f'(x)|$ for all $x$ with $f(0)=0$?
The Next CEO of Stack OverflowFinding all differentiable functions with a certain propertyTwice differentiable functions with compact supportWhich functions satisfy $ g(x) d^n f(x)/dx^n = x^n/n!$ for all positive $n$?Find all smooth functions such that $f(x)f(y)=int_x-y^x+yf(t)dt$ for all $x,y in mathbbR$Find the necessary and sufficient condition on $g$ for which $f$ is differentiable at $0$Does the mean value theorem hold for differentiable functions from $mathbbR^n$ to $mathbbC$?Find all holomorphic functions $f:mathbbRrightarrowmathbbR$ at $c=0$ that satisfy $f(x)=f'(x)$Find all positive differentiable functions $f$ that satisfy $int_0^x sin(t) f(t) dt = [f(x)]^2.$Proof for differentiable functionsAre all functions that have a primitive differentiable?
$begingroup$
Which functions $f$ differentiable in all $mathbb R$ satisfy $|f(x)| geq |f'(x)|$ for all $x$ with $f(0)=0$?
I'm pretty stuck right now. Any hint would be very helpfull.
Thank you.
calculus
$endgroup$
add a comment |
$begingroup$
Which functions $f$ differentiable in all $mathbb R$ satisfy $|f(x)| geq |f'(x)|$ for all $x$ with $f(0)=0$?
I'm pretty stuck right now. Any hint would be very helpfull.
Thank you.
calculus
$endgroup$
add a comment |
$begingroup$
Which functions $f$ differentiable in all $mathbb R$ satisfy $|f(x)| geq |f'(x)|$ for all $x$ with $f(0)=0$?
I'm pretty stuck right now. Any hint would be very helpfull.
Thank you.
calculus
$endgroup$
Which functions $f$ differentiable in all $mathbb R$ satisfy $|f(x)| geq |f'(x)|$ for all $x$ with $f(0)=0$?
I'm pretty stuck right now. Any hint would be very helpfull.
Thank you.
calculus
calculus
edited Mar 19 at 12:34
Rodrigo Sango
asked Mar 19 at 11:57
Rodrigo SangoRodrigo Sango
1326
1326
add a comment |
add a comment |
1 Answer
1
active
oldest
votes
$begingroup$
Let $x_0 in mathbbR$ such that $f(x_0) neq 0$. Because $f$ is continuous, there exists an maximal interval $]a,b[$ containing $x_0$ (with $a$, $b$ eventually $-infty$ or $+infty$), such that $f(x) neq 0$ for all $x in ]a,b[$. Moreover, because $f(0) = 0$, you can always choose that $f(a)=0$ or $f(b)=0$.
Let's suppose that $f(a)=0$, and that $f$ is positive on $]a,b[$ (the other cases are similar). In particular, $f(x_0) > 0$.
You have then that for all $x in [a,b]$,
$$-f(x) leq f'(x) leq f(x)$$
Consider the function $g : [a,b]rightarrow mathbbR$ defined by
$$g(x)=f(x)e^-x$$
$g$ is differentiable and its derivative is given by $g'(x)=(f'(x)-f(x))e^-x$, which is always negative by asumption. So $g$ decreases, so for all $x in [a,b]$, you have $g(x) leq g(a)=0$. In particular $g(x_0) leq 0$, so $f(x_0) leq 0$.
But by asumption, you have $f(x_0) > 0$. Contradiction.
The other cases are similar, you get finally that there cannot exist such a $x_0$, so $f$ is the constant function equal to $0$.
$endgroup$
$begingroup$
Thank you, TheSilverDoe.
$endgroup$
– Rodrigo Sango
Mar 23 at 14:47
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%2f3153973%2fwhich-functions-f-differentiable-in-all-mathbb-r-satisfy-fx-geq-fx%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$
Let $x_0 in mathbbR$ such that $f(x_0) neq 0$. Because $f$ is continuous, there exists an maximal interval $]a,b[$ containing $x_0$ (with $a$, $b$ eventually $-infty$ or $+infty$), such that $f(x) neq 0$ for all $x in ]a,b[$. Moreover, because $f(0) = 0$, you can always choose that $f(a)=0$ or $f(b)=0$.
Let's suppose that $f(a)=0$, and that $f$ is positive on $]a,b[$ (the other cases are similar). In particular, $f(x_0) > 0$.
You have then that for all $x in [a,b]$,
$$-f(x) leq f'(x) leq f(x)$$
Consider the function $g : [a,b]rightarrow mathbbR$ defined by
$$g(x)=f(x)e^-x$$
$g$ is differentiable and its derivative is given by $g'(x)=(f'(x)-f(x))e^-x$, which is always negative by asumption. So $g$ decreases, so for all $x in [a,b]$, you have $g(x) leq g(a)=0$. In particular $g(x_0) leq 0$, so $f(x_0) leq 0$.
But by asumption, you have $f(x_0) > 0$. Contradiction.
The other cases are similar, you get finally that there cannot exist such a $x_0$, so $f$ is the constant function equal to $0$.
$endgroup$
$begingroup$
Thank you, TheSilverDoe.
$endgroup$
– Rodrigo Sango
Mar 23 at 14:47
add a comment |
$begingroup$
Let $x_0 in mathbbR$ such that $f(x_0) neq 0$. Because $f$ is continuous, there exists an maximal interval $]a,b[$ containing $x_0$ (with $a$, $b$ eventually $-infty$ or $+infty$), such that $f(x) neq 0$ for all $x in ]a,b[$. Moreover, because $f(0) = 0$, you can always choose that $f(a)=0$ or $f(b)=0$.
Let's suppose that $f(a)=0$, and that $f$ is positive on $]a,b[$ (the other cases are similar). In particular, $f(x_0) > 0$.
You have then that for all $x in [a,b]$,
$$-f(x) leq f'(x) leq f(x)$$
Consider the function $g : [a,b]rightarrow mathbbR$ defined by
$$g(x)=f(x)e^-x$$
$g$ is differentiable and its derivative is given by $g'(x)=(f'(x)-f(x))e^-x$, which is always negative by asumption. So $g$ decreases, so for all $x in [a,b]$, you have $g(x) leq g(a)=0$. In particular $g(x_0) leq 0$, so $f(x_0) leq 0$.
But by asumption, you have $f(x_0) > 0$. Contradiction.
The other cases are similar, you get finally that there cannot exist such a $x_0$, so $f$ is the constant function equal to $0$.
$endgroup$
$begingroup$
Thank you, TheSilverDoe.
$endgroup$
– Rodrigo Sango
Mar 23 at 14:47
add a comment |
$begingroup$
Let $x_0 in mathbbR$ such that $f(x_0) neq 0$. Because $f$ is continuous, there exists an maximal interval $]a,b[$ containing $x_0$ (with $a$, $b$ eventually $-infty$ or $+infty$), such that $f(x) neq 0$ for all $x in ]a,b[$. Moreover, because $f(0) = 0$, you can always choose that $f(a)=0$ or $f(b)=0$.
Let's suppose that $f(a)=0$, and that $f$ is positive on $]a,b[$ (the other cases are similar). In particular, $f(x_0) > 0$.
You have then that for all $x in [a,b]$,
$$-f(x) leq f'(x) leq f(x)$$
Consider the function $g : [a,b]rightarrow mathbbR$ defined by
$$g(x)=f(x)e^-x$$
$g$ is differentiable and its derivative is given by $g'(x)=(f'(x)-f(x))e^-x$, which is always negative by asumption. So $g$ decreases, so for all $x in [a,b]$, you have $g(x) leq g(a)=0$. In particular $g(x_0) leq 0$, so $f(x_0) leq 0$.
But by asumption, you have $f(x_0) > 0$. Contradiction.
The other cases are similar, you get finally that there cannot exist such a $x_0$, so $f$ is the constant function equal to $0$.
$endgroup$
Let $x_0 in mathbbR$ such that $f(x_0) neq 0$. Because $f$ is continuous, there exists an maximal interval $]a,b[$ containing $x_0$ (with $a$, $b$ eventually $-infty$ or $+infty$), such that $f(x) neq 0$ for all $x in ]a,b[$. Moreover, because $f(0) = 0$, you can always choose that $f(a)=0$ or $f(b)=0$.
Let's suppose that $f(a)=0$, and that $f$ is positive on $]a,b[$ (the other cases are similar). In particular, $f(x_0) > 0$.
You have then that for all $x in [a,b]$,
$$-f(x) leq f'(x) leq f(x)$$
Consider the function $g : [a,b]rightarrow mathbbR$ defined by
$$g(x)=f(x)e^-x$$
$g$ is differentiable and its derivative is given by $g'(x)=(f'(x)-f(x))e^-x$, which is always negative by asumption. So $g$ decreases, so for all $x in [a,b]$, you have $g(x) leq g(a)=0$. In particular $g(x_0) leq 0$, so $f(x_0) leq 0$.
But by asumption, you have $f(x_0) > 0$. Contradiction.
The other cases are similar, you get finally that there cannot exist such a $x_0$, so $f$ is the constant function equal to $0$.
edited Mar 19 at 12:42
answered Mar 19 at 12:16
TheSilverDoeTheSilverDoe
4,894215
4,894215
$begingroup$
Thank you, TheSilverDoe.
$endgroup$
– Rodrigo Sango
Mar 23 at 14:47
add a comment |
$begingroup$
Thank you, TheSilverDoe.
$endgroup$
– Rodrigo Sango
Mar 23 at 14:47
$begingroup$
Thank you, TheSilverDoe.
$endgroup$
– Rodrigo Sango
Mar 23 at 14:47
$begingroup$
Thank you, TheSilverDoe.
$endgroup$
– Rodrigo Sango
Mar 23 at 14:47
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%2f3153973%2fwhich-functions-f-differentiable-in-all-mathbb-r-satisfy-fx-geq-fx%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