Fdtxjr

Multi tool use

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

0

$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

share|cite|improve this question

edited Mar 19 at 12:34

Rodrigo Sango

asked Mar 19 at 11:57

Rodrigo SangoRodrigo Sango

1326

$endgroup$

add a comment | 

0

$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

share|cite|improve this question

edited Mar 19 at 12:34

Rodrigo Sango

asked Mar 19 at 11:57

Rodrigo SangoRodrigo Sango

1326

$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

share|cite|improve this question

edited Mar 19 at 12:34

Rodrigo Sango

asked Mar 19 at 11:57

Rodrigo SangoRodrigo Sango

1326

$endgroup$

share|cite|improve this question

edited Mar 19 at 12:34

Rodrigo Sango

asked Mar 19 at 11:57

Rodrigo SangoRodrigo Sango

1326

share|cite|improve this question

edited Mar 19 at 12:34

Rodrigo Sango

asked Mar 19 at 11:57

Rodrigo SangoRodrigo Sango

1326

asked Mar 19 at 11:57

Rodrigo SangoRodrigo Sango

1326

asked Mar 19 at 11:57

Rodrigo SangoRodrigo Sango

1326

1 Answer
1

active

oldest

votes

2

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

share|cite|improve this answer

edited Mar 19 at 12:42

answered Mar 19 at 12:16

TheSilverDoeTheSilverDoe

4,894215

$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
);



);

draft saved

draft discarded

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

Name

Email

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

Name

Email

Required, but never shown

2

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

share|cite|improve this answer

edited Mar 19 at 12:42

answered Mar 19 at 12:16

TheSilverDoeTheSilverDoe

4,894215

$endgroup$

• 
  
  
  

  
  

  
  
  
  
  
  

  
  $begingroup$
  Thank you, TheSilverDoe.
  $endgroup$
  – Rodrigo Sango
  Mar 23 at 14:47
  

  
  
  
  

add a comment | 

2

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

share|cite|improve this answer

edited Mar 19 at 12:42

answered Mar 19 at 12:16

TheSilverDoeTheSilverDoe

4,894215

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

share|cite|improve this answer

edited Mar 19 at 12:42

answered Mar 19 at 12:16

TheSilverDoeTheSilverDoe

4,894215

$endgroup$

share|cite|improve this answer

edited Mar 19 at 12:42

answered Mar 19 at 12:16

TheSilverDoeTheSilverDoe

4,894215

answered Mar 19 at 12:16

TheSilverDoeTheSilverDoe

4,894215

answered Mar 19 at 12:16

TheSilverDoeTheSilverDoe

4,894215