$f$ is T periodic and $f(x) + f'(x) ge 0 Rightarrow f(x) ge 0$
Let $f: Bbb R to Bbb R$ be a function such that $f'(x)$ exists and is continuous over $Bbb R$. Moreover, let there be a $T > 0$ such that $f(x + T) = f(x)$ for all $x in Bbb R$ and let $f(x) + f'(x)ge 0$ for all $x in Bbb R$.
Show that $f(x) ge 0$ for all $x in Bbb R$.
My attempt:
$f(x) ge 0 iff f(x) ge f'(x) - f'(x) iff f(x) + f'(x) ge f'(x)$.
Thus, it is enoguh to show that $0 ge f'(x)$.
$iff 0 ge lim_{hto0}frac{f(x + h) - f(x)}{h}$
I do not know how to proceed from here. I know that $f'$ also has a periodicity of T but I do not know how to use that here.
Am I on the right track? How can I use the periodicity of $f$ to solve the problem?
real-analysis inequality periodic-functions
add a comment |
Let $f: Bbb R to Bbb R$ be a function such that $f'(x)$ exists and is continuous over $Bbb R$. Moreover, let there be a $T > 0$ such that $f(x + T) = f(x)$ for all $x in Bbb R$ and let $f(x) + f'(x)ge 0$ for all $x in Bbb R$.
Show that $f(x) ge 0$ for all $x in Bbb R$.
My attempt:
$f(x) ge 0 iff f(x) ge f'(x) - f'(x) iff f(x) + f'(x) ge f'(x)$.
Thus, it is enoguh to show that $0 ge f'(x)$.
$iff 0 ge lim_{hto0}frac{f(x + h) - f(x)}{h}$
I do not know how to proceed from here. I know that $f'$ also has a periodicity of T but I do not know how to use that here.
Am I on the right track? How can I use the periodicity of $f$ to solve the problem?
real-analysis inequality periodic-functions
add a comment |
Let $f: Bbb R to Bbb R$ be a function such that $f'(x)$ exists and is continuous over $Bbb R$. Moreover, let there be a $T > 0$ such that $f(x + T) = f(x)$ for all $x in Bbb R$ and let $f(x) + f'(x)ge 0$ for all $x in Bbb R$.
Show that $f(x) ge 0$ for all $x in Bbb R$.
My attempt:
$f(x) ge 0 iff f(x) ge f'(x) - f'(x) iff f(x) + f'(x) ge f'(x)$.
Thus, it is enoguh to show that $0 ge f'(x)$.
$iff 0 ge lim_{hto0}frac{f(x + h) - f(x)}{h}$
I do not know how to proceed from here. I know that $f'$ also has a periodicity of T but I do not know how to use that here.
Am I on the right track? How can I use the periodicity of $f$ to solve the problem?
real-analysis inequality periodic-functions
Let $f: Bbb R to Bbb R$ be a function such that $f'(x)$ exists and is continuous over $Bbb R$. Moreover, let there be a $T > 0$ such that $f(x + T) = f(x)$ for all $x in Bbb R$ and let $f(x) + f'(x)ge 0$ for all $x in Bbb R$.
Show that $f(x) ge 0$ for all $x in Bbb R$.
My attempt:
$f(x) ge 0 iff f(x) ge f'(x) - f'(x) iff f(x) + f'(x) ge f'(x)$.
Thus, it is enoguh to show that $0 ge f'(x)$.
$iff 0 ge lim_{hto0}frac{f(x + h) - f(x)}{h}$
I do not know how to proceed from here. I know that $f'$ also has a periodicity of T but I do not know how to use that here.
Am I on the right track? How can I use the periodicity of $f$ to solve the problem?
real-analysis inequality periodic-functions
real-analysis inequality periodic-functions
edited Nov 30 '18 at 13:33
Martin Sleziak
44.6k8115271
44.6k8115271
asked Nov 30 '18 at 12:13
TravisTravis
14110
14110
add a comment |
add a comment |
7 Answers
7
active
oldest
votes
suppose $f(x)$ is negative for all values of $x$. Periodicity tells us that there must be solutions to $f'(x)=0$ and for such $x$ we would then have $f(x)+f'(x)=f(x)<0$.
Suppose that $f(x)$ is negative for some values of $x$ but not all. Let $a,b$ be zeroes of $f(x)$ such that $a<x<bimplies f(x)<0$. Specifically, let $x_0$ be some value for which $f(x_0)<0$ and let $a$ be the greatest upper bound of ${x,:,x<x_0,;&,;f(x)≥0}$ and $b$ defined similarly on the other side. Since $f(a)=0=f(b)$ there is some $c$ with $a<c<b$ and $f'(c)=0$. But for that value we must have $$f(c)+f'(c)=f(c)<0$$ contrary to assumption.
Nice application of Rolle's Theorem.
– GNUSupporter 8964民主女神 地下教會
Nov 30 '18 at 12:30
add a comment |
Let $g(x)=mathrm e^xf(x)$, then $g'(x)=mathrm e^x(f'(x)+f(x))geqslant0$ hence: $$(1) textit{The function $g$ is nondecreasing.}$$
Since $f$ is continuous and periodic, $f$ is bounded, say $|f(x)|leqslant C$ for every $x$, hence $|g(x)|leqslant Cmathrm e^xto0$ when $xto-infty$, that is: $$(2) textit{The function $g$ has limit $0$ at $-infty$.}$$
Properties (1) and (2) of $g$ imply together that $ggeqslant0$ everywhere, hence $fgeqslant0$ everywhere.
Examples: Consider $$f(x)=c,mathrm e^{wcos(ux+v)},$$ for every $cgeqslant0$, $une0$, $|uw|leqslant1$ and $v$, then $f$ has period $2pi/|u|$ and, for every $x$, $$f'(x)+f(x)=(1-wusin(ux+v)),f(x)geqslant0.$$
For example, if $c=w=u=1$, $v=0$, one gets the function $f$:
$qquadqquadqquad$
...And the function $f'+f$:
$qquadqquadqquad$
add a comment |
We don't even need that $f'(x)$ is continuous! It is enough to show that $f(x) ge 0$ on $[0,T]$, because of periodicity. Since $[0,T]$ is compact, $f$ has a minimum on $[0,T]$. Let $x_0 in [0,T]$ be such that $f(x_0)$ is minimal. If $x_0 =0$ or $x_0 =T$, then $f(x_0)$ is also minimal in $[-T,2T]$, because of periodicity.
A necessary condition for a minimum is that $f'(x_0) =0$. (And it is also valid in the case $x_0 =0$ or $x_0 =T$, because of the above remark.) Thus we get $f(x_0) = f(x_0)+f'(x_0) ge 0$. This shows that $f(x) ge 0$ everywhere.
You do need $f'(x)$ continuous when you say "a necessary condition for a minimum is that $f'(x_0)=0$".
– francescop21
Nov 30 '18 at 13:41
1
That is not true! For example, if $x_0$ is a minimum, then we have $f(x_0) le f(x)$ for $|x-x_0| le delta$. Thus $f'(x_0) =lim_{h downarrow 0} (f(x_0+h)-f(x_0))/h le 0$. On the other hand $f'(x_0) =lim_{h downarrow 0} (f(x_0-h)-f(x_0))(-h) ge 0$. Thus $f'(x_0)=0$. In this (almost trivial) proof I haven't used coninuity of $f'$ and we don't need it!
– p4sch
Nov 30 '18 at 13:44
Yeah, I was thinking about $f(x)=|x|$, but in that case $f'(0)$ doesn't even exist.
– francescop21
Dec 1 '18 at 10:21
add a comment |
Since $f$ is periodic, it has maximum and minimum. Choose the period $[a,b]$, such that $f(a)=f(b)=M$, where $M$ is the maximum.
It can be seen that, there is a point $f(c)=m$, where $m$ is the minimum. c is golbal minimum, and thus local minimum, so:
$$f'(c)=0$$
from your condition.
$$f+f'ge 0$$
we see
$$f(c)ge 0$$. Since $f(c)$ is the minimum, we are done!
add a comment |
Consider such $f(x)$ to be non-constant. There must be a global minimum within each period, say at $x=x_0$. Since $f(x)$ is differentiable and continuous, $f'(x_0) = 0$. Hence
$$f(x) ge f(x_0) = f(x_0)+f'(x_0) ge 0$$
add a comment |
Say a period is $[a,a+T]$. Since $f$ is continuous, it attains a minimum on that interval, say at $c$. (If you have $c = a$, then change the period to $[a - T/2,a + T/2]$ so that $c$ becomes an interior point.)
We must have $f'(c) = 0$ there, so $f(c) geq 0$. So the minimum value of $f$ is nonnegative.
add a comment |
$ f ne 0$
$f(x)=0 Rightarrow f'(x) ge 0$, hence $f$ can cross the X-axis at most once. periodicity means that it cannot cross at all.
if $f$ is non-positive then $f' ge 0$ so $f$ is monotone increasing. again this contradicts periodicity
Why is this downvoted? This answer is essentially saying if $f(x)<0$ somewhere, then $f(x)$ is strictly increasing there, contradicting the fact that $f(x)$ is periodic.
– peterwhy
Nov 23 '14 at 16:48
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%2f3020024%2ff-is-t-periodic-and-fx-fx-ge-0-rightarrow-fx-ge-0%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
7 Answers
7
active
oldest
votes
7 Answers
7
active
oldest
votes
active
oldest
votes
active
oldest
votes
suppose $f(x)$ is negative for all values of $x$. Periodicity tells us that there must be solutions to $f'(x)=0$ and for such $x$ we would then have $f(x)+f'(x)=f(x)<0$.
Suppose that $f(x)$ is negative for some values of $x$ but not all. Let $a,b$ be zeroes of $f(x)$ such that $a<x<bimplies f(x)<0$. Specifically, let $x_0$ be some value for which $f(x_0)<0$ and let $a$ be the greatest upper bound of ${x,:,x<x_0,;&,;f(x)≥0}$ and $b$ defined similarly on the other side. Since $f(a)=0=f(b)$ there is some $c$ with $a<c<b$ and $f'(c)=0$. But for that value we must have $$f(c)+f'(c)=f(c)<0$$ contrary to assumption.
Nice application of Rolle's Theorem.
– GNUSupporter 8964民主女神 地下教會
Nov 30 '18 at 12:30
add a comment |
suppose $f(x)$ is negative for all values of $x$. Periodicity tells us that there must be solutions to $f'(x)=0$ and for such $x$ we would then have $f(x)+f'(x)=f(x)<0$.
Suppose that $f(x)$ is negative for some values of $x$ but not all. Let $a,b$ be zeroes of $f(x)$ such that $a<x<bimplies f(x)<0$. Specifically, let $x_0$ be some value for which $f(x_0)<0$ and let $a$ be the greatest upper bound of ${x,:,x<x_0,;&,;f(x)≥0}$ and $b$ defined similarly on the other side. Since $f(a)=0=f(b)$ there is some $c$ with $a<c<b$ and $f'(c)=0$. But for that value we must have $$f(c)+f'(c)=f(c)<0$$ contrary to assumption.
Nice application of Rolle's Theorem.
– GNUSupporter 8964民主女神 地下教會
Nov 30 '18 at 12:30
add a comment |
suppose $f(x)$ is negative for all values of $x$. Periodicity tells us that there must be solutions to $f'(x)=0$ and for such $x$ we would then have $f(x)+f'(x)=f(x)<0$.
Suppose that $f(x)$ is negative for some values of $x$ but not all. Let $a,b$ be zeroes of $f(x)$ such that $a<x<bimplies f(x)<0$. Specifically, let $x_0$ be some value for which $f(x_0)<0$ and let $a$ be the greatest upper bound of ${x,:,x<x_0,;&,;f(x)≥0}$ and $b$ defined similarly on the other side. Since $f(a)=0=f(b)$ there is some $c$ with $a<c<b$ and $f'(c)=0$. But for that value we must have $$f(c)+f'(c)=f(c)<0$$ contrary to assumption.
suppose $f(x)$ is negative for all values of $x$. Periodicity tells us that there must be solutions to $f'(x)=0$ and for such $x$ we would then have $f(x)+f'(x)=f(x)<0$.
Suppose that $f(x)$ is negative for some values of $x$ but not all. Let $a,b$ be zeroes of $f(x)$ such that $a<x<bimplies f(x)<0$. Specifically, let $x_0$ be some value for which $f(x_0)<0$ and let $a$ be the greatest upper bound of ${x,:,x<x_0,;&,;f(x)≥0}$ and $b$ defined similarly on the other side. Since $f(a)=0=f(b)$ there is some $c$ with $a<c<b$ and $f'(c)=0$. But for that value we must have $$f(c)+f'(c)=f(c)<0$$ contrary to assumption.
answered Nov 30 '18 at 12:24
lulululu
39.2k24677
39.2k24677
Nice application of Rolle's Theorem.
– GNUSupporter 8964民主女神 地下教會
Nov 30 '18 at 12:30
add a comment |
Nice application of Rolle's Theorem.
– GNUSupporter 8964民主女神 地下教會
Nov 30 '18 at 12:30
Nice application of Rolle's Theorem.
– GNUSupporter 8964民主女神 地下教會
Nov 30 '18 at 12:30
Nice application of Rolle's Theorem.
– GNUSupporter 8964民主女神 地下教會
Nov 30 '18 at 12:30
add a comment |
Let $g(x)=mathrm e^xf(x)$, then $g'(x)=mathrm e^x(f'(x)+f(x))geqslant0$ hence: $$(1) textit{The function $g$ is nondecreasing.}$$
Since $f$ is continuous and periodic, $f$ is bounded, say $|f(x)|leqslant C$ for every $x$, hence $|g(x)|leqslant Cmathrm e^xto0$ when $xto-infty$, that is: $$(2) textit{The function $g$ has limit $0$ at $-infty$.}$$
Properties (1) and (2) of $g$ imply together that $ggeqslant0$ everywhere, hence $fgeqslant0$ everywhere.
Examples: Consider $$f(x)=c,mathrm e^{wcos(ux+v)},$$ for every $cgeqslant0$, $une0$, $|uw|leqslant1$ and $v$, then $f$ has period $2pi/|u|$ and, for every $x$, $$f'(x)+f(x)=(1-wusin(ux+v)),f(x)geqslant0.$$
For example, if $c=w=u=1$, $v=0$, one gets the function $f$:
$qquadqquadqquad$
...And the function $f'+f$:
$qquadqquadqquad$
add a comment |
Let $g(x)=mathrm e^xf(x)$, then $g'(x)=mathrm e^x(f'(x)+f(x))geqslant0$ hence: $$(1) textit{The function $g$ is nondecreasing.}$$
Since $f$ is continuous and periodic, $f$ is bounded, say $|f(x)|leqslant C$ for every $x$, hence $|g(x)|leqslant Cmathrm e^xto0$ when $xto-infty$, that is: $$(2) textit{The function $g$ has limit $0$ at $-infty$.}$$
Properties (1) and (2) of $g$ imply together that $ggeqslant0$ everywhere, hence $fgeqslant0$ everywhere.
Examples: Consider $$f(x)=c,mathrm e^{wcos(ux+v)},$$ for every $cgeqslant0$, $une0$, $|uw|leqslant1$ and $v$, then $f$ has period $2pi/|u|$ and, for every $x$, $$f'(x)+f(x)=(1-wusin(ux+v)),f(x)geqslant0.$$
For example, if $c=w=u=1$, $v=0$, one gets the function $f$:
$qquadqquadqquad$
...And the function $f'+f$:
$qquadqquadqquad$
add a comment |
Let $g(x)=mathrm e^xf(x)$, then $g'(x)=mathrm e^x(f'(x)+f(x))geqslant0$ hence: $$(1) textit{The function $g$ is nondecreasing.}$$
Since $f$ is continuous and periodic, $f$ is bounded, say $|f(x)|leqslant C$ for every $x$, hence $|g(x)|leqslant Cmathrm e^xto0$ when $xto-infty$, that is: $$(2) textit{The function $g$ has limit $0$ at $-infty$.}$$
Properties (1) and (2) of $g$ imply together that $ggeqslant0$ everywhere, hence $fgeqslant0$ everywhere.
Examples: Consider $$f(x)=c,mathrm e^{wcos(ux+v)},$$ for every $cgeqslant0$, $une0$, $|uw|leqslant1$ and $v$, then $f$ has period $2pi/|u|$ and, for every $x$, $$f'(x)+f(x)=(1-wusin(ux+v)),f(x)geqslant0.$$
For example, if $c=w=u=1$, $v=0$, one gets the function $f$:
$qquadqquadqquad$
...And the function $f'+f$:
$qquadqquadqquad$
Let $g(x)=mathrm e^xf(x)$, then $g'(x)=mathrm e^x(f'(x)+f(x))geqslant0$ hence: $$(1) textit{The function $g$ is nondecreasing.}$$
Since $f$ is continuous and periodic, $f$ is bounded, say $|f(x)|leqslant C$ for every $x$, hence $|g(x)|leqslant Cmathrm e^xto0$ when $xto-infty$, that is: $$(2) textit{The function $g$ has limit $0$ at $-infty$.}$$
Properties (1) and (2) of $g$ imply together that $ggeqslant0$ everywhere, hence $fgeqslant0$ everywhere.
Examples: Consider $$f(x)=c,mathrm e^{wcos(ux+v)},$$ for every $cgeqslant0$, $une0$, $|uw|leqslant1$ and $v$, then $f$ has period $2pi/|u|$ and, for every $x$, $$f'(x)+f(x)=(1-wusin(ux+v)),f(x)geqslant0.$$
For example, if $c=w=u=1$, $v=0$, one gets the function $f$:
$qquadqquadqquad$
...And the function $f'+f$:
$qquadqquadqquad$
edited Nov 23 '14 at 16:21
answered Nov 23 '14 at 15:52
DidDid
246k23221456
246k23221456
add a comment |
add a comment |
We don't even need that $f'(x)$ is continuous! It is enough to show that $f(x) ge 0$ on $[0,T]$, because of periodicity. Since $[0,T]$ is compact, $f$ has a minimum on $[0,T]$. Let $x_0 in [0,T]$ be such that $f(x_0)$ is minimal. If $x_0 =0$ or $x_0 =T$, then $f(x_0)$ is also minimal in $[-T,2T]$, because of periodicity.
A necessary condition for a minimum is that $f'(x_0) =0$. (And it is also valid in the case $x_0 =0$ or $x_0 =T$, because of the above remark.) Thus we get $f(x_0) = f(x_0)+f'(x_0) ge 0$. This shows that $f(x) ge 0$ everywhere.
You do need $f'(x)$ continuous when you say "a necessary condition for a minimum is that $f'(x_0)=0$".
– francescop21
Nov 30 '18 at 13:41
1
That is not true! For example, if $x_0$ is a minimum, then we have $f(x_0) le f(x)$ for $|x-x_0| le delta$. Thus $f'(x_0) =lim_{h downarrow 0} (f(x_0+h)-f(x_0))/h le 0$. On the other hand $f'(x_0) =lim_{h downarrow 0} (f(x_0-h)-f(x_0))(-h) ge 0$. Thus $f'(x_0)=0$. In this (almost trivial) proof I haven't used coninuity of $f'$ and we don't need it!
– p4sch
Nov 30 '18 at 13:44
Yeah, I was thinking about $f(x)=|x|$, but in that case $f'(0)$ doesn't even exist.
– francescop21
Dec 1 '18 at 10:21
add a comment |
We don't even need that $f'(x)$ is continuous! It is enough to show that $f(x) ge 0$ on $[0,T]$, because of periodicity. Since $[0,T]$ is compact, $f$ has a minimum on $[0,T]$. Let $x_0 in [0,T]$ be such that $f(x_0)$ is minimal. If $x_0 =0$ or $x_0 =T$, then $f(x_0)$ is also minimal in $[-T,2T]$, because of periodicity.
A necessary condition for a minimum is that $f'(x_0) =0$. (And it is also valid in the case $x_0 =0$ or $x_0 =T$, because of the above remark.) Thus we get $f(x_0) = f(x_0)+f'(x_0) ge 0$. This shows that $f(x) ge 0$ everywhere.
You do need $f'(x)$ continuous when you say "a necessary condition for a minimum is that $f'(x_0)=0$".
– francescop21
Nov 30 '18 at 13:41
1
That is not true! For example, if $x_0$ is a minimum, then we have $f(x_0) le f(x)$ for $|x-x_0| le delta$. Thus $f'(x_0) =lim_{h downarrow 0} (f(x_0+h)-f(x_0))/h le 0$. On the other hand $f'(x_0) =lim_{h downarrow 0} (f(x_0-h)-f(x_0))(-h) ge 0$. Thus $f'(x_0)=0$. In this (almost trivial) proof I haven't used coninuity of $f'$ and we don't need it!
– p4sch
Nov 30 '18 at 13:44
Yeah, I was thinking about $f(x)=|x|$, but in that case $f'(0)$ doesn't even exist.
– francescop21
Dec 1 '18 at 10:21
add a comment |
We don't even need that $f'(x)$ is continuous! It is enough to show that $f(x) ge 0$ on $[0,T]$, because of periodicity. Since $[0,T]$ is compact, $f$ has a minimum on $[0,T]$. Let $x_0 in [0,T]$ be such that $f(x_0)$ is minimal. If $x_0 =0$ or $x_0 =T$, then $f(x_0)$ is also minimal in $[-T,2T]$, because of periodicity.
A necessary condition for a minimum is that $f'(x_0) =0$. (And it is also valid in the case $x_0 =0$ or $x_0 =T$, because of the above remark.) Thus we get $f(x_0) = f(x_0)+f'(x_0) ge 0$. This shows that $f(x) ge 0$ everywhere.
We don't even need that $f'(x)$ is continuous! It is enough to show that $f(x) ge 0$ on $[0,T]$, because of periodicity. Since $[0,T]$ is compact, $f$ has a minimum on $[0,T]$. Let $x_0 in [0,T]$ be such that $f(x_0)$ is minimal. If $x_0 =0$ or $x_0 =T$, then $f(x_0)$ is also minimal in $[-T,2T]$, because of periodicity.
A necessary condition for a minimum is that $f'(x_0) =0$. (And it is also valid in the case $x_0 =0$ or $x_0 =T$, because of the above remark.) Thus we get $f(x_0) = f(x_0)+f'(x_0) ge 0$. This shows that $f(x) ge 0$ everywhere.
answered Nov 30 '18 at 12:29
p4schp4sch
4,770217
4,770217
You do need $f'(x)$ continuous when you say "a necessary condition for a minimum is that $f'(x_0)=0$".
– francescop21
Nov 30 '18 at 13:41
1
That is not true! For example, if $x_0$ is a minimum, then we have $f(x_0) le f(x)$ for $|x-x_0| le delta$. Thus $f'(x_0) =lim_{h downarrow 0} (f(x_0+h)-f(x_0))/h le 0$. On the other hand $f'(x_0) =lim_{h downarrow 0} (f(x_0-h)-f(x_0))(-h) ge 0$. Thus $f'(x_0)=0$. In this (almost trivial) proof I haven't used coninuity of $f'$ and we don't need it!
– p4sch
Nov 30 '18 at 13:44
Yeah, I was thinking about $f(x)=|x|$, but in that case $f'(0)$ doesn't even exist.
– francescop21
Dec 1 '18 at 10:21
add a comment |
You do need $f'(x)$ continuous when you say "a necessary condition for a minimum is that $f'(x_0)=0$".
– francescop21
Nov 30 '18 at 13:41
1
That is not true! For example, if $x_0$ is a minimum, then we have $f(x_0) le f(x)$ for $|x-x_0| le delta$. Thus $f'(x_0) =lim_{h downarrow 0} (f(x_0+h)-f(x_0))/h le 0$. On the other hand $f'(x_0) =lim_{h downarrow 0} (f(x_0-h)-f(x_0))(-h) ge 0$. Thus $f'(x_0)=0$. In this (almost trivial) proof I haven't used coninuity of $f'$ and we don't need it!
– p4sch
Nov 30 '18 at 13:44
Yeah, I was thinking about $f(x)=|x|$, but in that case $f'(0)$ doesn't even exist.
– francescop21
Dec 1 '18 at 10:21
You do need $f'(x)$ continuous when you say "a necessary condition for a minimum is that $f'(x_0)=0$".
– francescop21
Nov 30 '18 at 13:41
You do need $f'(x)$ continuous when you say "a necessary condition for a minimum is that $f'(x_0)=0$".
– francescop21
Nov 30 '18 at 13:41
1
1
That is not true! For example, if $x_0$ is a minimum, then we have $f(x_0) le f(x)$ for $|x-x_0| le delta$. Thus $f'(x_0) =lim_{h downarrow 0} (f(x_0+h)-f(x_0))/h le 0$. On the other hand $f'(x_0) =lim_{h downarrow 0} (f(x_0-h)-f(x_0))(-h) ge 0$. Thus $f'(x_0)=0$. In this (almost trivial) proof I haven't used coninuity of $f'$ and we don't need it!
– p4sch
Nov 30 '18 at 13:44
That is not true! For example, if $x_0$ is a minimum, then we have $f(x_0) le f(x)$ for $|x-x_0| le delta$. Thus $f'(x_0) =lim_{h downarrow 0} (f(x_0+h)-f(x_0))/h le 0$. On the other hand $f'(x_0) =lim_{h downarrow 0} (f(x_0-h)-f(x_0))(-h) ge 0$. Thus $f'(x_0)=0$. In this (almost trivial) proof I haven't used coninuity of $f'$ and we don't need it!
– p4sch
Nov 30 '18 at 13:44
Yeah, I was thinking about $f(x)=|x|$, but in that case $f'(0)$ doesn't even exist.
– francescop21
Dec 1 '18 at 10:21
Yeah, I was thinking about $f(x)=|x|$, but in that case $f'(0)$ doesn't even exist.
– francescop21
Dec 1 '18 at 10:21
add a comment |
Since $f$ is periodic, it has maximum and minimum. Choose the period $[a,b]$, such that $f(a)=f(b)=M$, where $M$ is the maximum.
It can be seen that, there is a point $f(c)=m$, where $m$ is the minimum. c is golbal minimum, and thus local minimum, so:
$$f'(c)=0$$
from your condition.
$$f+f'ge 0$$
we see
$$f(c)ge 0$$. Since $f(c)$ is the minimum, we are done!
add a comment |
Since $f$ is periodic, it has maximum and minimum. Choose the period $[a,b]$, such that $f(a)=f(b)=M$, where $M$ is the maximum.
It can be seen that, there is a point $f(c)=m$, where $m$ is the minimum. c is golbal minimum, and thus local minimum, so:
$$f'(c)=0$$
from your condition.
$$f+f'ge 0$$
we see
$$f(c)ge 0$$. Since $f(c)$ is the minimum, we are done!
add a comment |
Since $f$ is periodic, it has maximum and minimum. Choose the period $[a,b]$, such that $f(a)=f(b)=M$, where $M$ is the maximum.
It can be seen that, there is a point $f(c)=m$, where $m$ is the minimum. c is golbal minimum, and thus local minimum, so:
$$f'(c)=0$$
from your condition.
$$f+f'ge 0$$
we see
$$f(c)ge 0$$. Since $f(c)$ is the minimum, we are done!
Since $f$ is periodic, it has maximum and minimum. Choose the period $[a,b]$, such that $f(a)=f(b)=M$, where $M$ is the maximum.
It can be seen that, there is a point $f(c)=m$, where $m$ is the minimum. c is golbal minimum, and thus local minimum, so:
$$f'(c)=0$$
from your condition.
$$f+f'ge 0$$
we see
$$f(c)ge 0$$. Since $f(c)$ is the minimum, we are done!
edited Nov 23 '14 at 14:49
answered Nov 23 '14 at 14:32
Robert FanRobert Fan
571213
571213
add a comment |
add a comment |
Consider such $f(x)$ to be non-constant. There must be a global minimum within each period, say at $x=x_0$. Since $f(x)$ is differentiable and continuous, $f'(x_0) = 0$. Hence
$$f(x) ge f(x_0) = f(x_0)+f'(x_0) ge 0$$
add a comment |
Consider such $f(x)$ to be non-constant. There must be a global minimum within each period, say at $x=x_0$. Since $f(x)$ is differentiable and continuous, $f'(x_0) = 0$. Hence
$$f(x) ge f(x_0) = f(x_0)+f'(x_0) ge 0$$
add a comment |
Consider such $f(x)$ to be non-constant. There must be a global minimum within each period, say at $x=x_0$. Since $f(x)$ is differentiable and continuous, $f'(x_0) = 0$. Hence
$$f(x) ge f(x_0) = f(x_0)+f'(x_0) ge 0$$
Consider such $f(x)$ to be non-constant. There must be a global minimum within each period, say at $x=x_0$. Since $f(x)$ is differentiable and continuous, $f'(x_0) = 0$. Hence
$$f(x) ge f(x_0) = f(x_0)+f'(x_0) ge 0$$
answered Nov 23 '14 at 14:47
peterwhypeterwhy
12k21228
12k21228
add a comment |
add a comment |
Say a period is $[a,a+T]$. Since $f$ is continuous, it attains a minimum on that interval, say at $c$. (If you have $c = a$, then change the period to $[a - T/2,a + T/2]$ so that $c$ becomes an interior point.)
We must have $f'(c) = 0$ there, so $f(c) geq 0$. So the minimum value of $f$ is nonnegative.
add a comment |
Say a period is $[a,a+T]$. Since $f$ is continuous, it attains a minimum on that interval, say at $c$. (If you have $c = a$, then change the period to $[a - T/2,a + T/2]$ so that $c$ becomes an interior point.)
We must have $f'(c) = 0$ there, so $f(c) geq 0$. So the minimum value of $f$ is nonnegative.
add a comment |
Say a period is $[a,a+T]$. Since $f$ is continuous, it attains a minimum on that interval, say at $c$. (If you have $c = a$, then change the period to $[a - T/2,a + T/2]$ so that $c$ becomes an interior point.)
We must have $f'(c) = 0$ there, so $f(c) geq 0$. So the minimum value of $f$ is nonnegative.
Say a period is $[a,a+T]$. Since $f$ is continuous, it attains a minimum on that interval, say at $c$. (If you have $c = a$, then change the period to $[a - T/2,a + T/2]$ so that $c$ becomes an interior point.)
We must have $f'(c) = 0$ there, so $f(c) geq 0$. So the minimum value of $f$ is nonnegative.
answered Nov 23 '14 at 14:45
MikeMike
211
211
add a comment |
add a comment |
$ f ne 0$
$f(x)=0 Rightarrow f'(x) ge 0$, hence $f$ can cross the X-axis at most once. periodicity means that it cannot cross at all.
if $f$ is non-positive then $f' ge 0$ so $f$ is monotone increasing. again this contradicts periodicity
Why is this downvoted? This answer is essentially saying if $f(x)<0$ somewhere, then $f(x)$ is strictly increasing there, contradicting the fact that $f(x)$ is periodic.
– peterwhy
Nov 23 '14 at 16:48
add a comment |
$ f ne 0$
$f(x)=0 Rightarrow f'(x) ge 0$, hence $f$ can cross the X-axis at most once. periodicity means that it cannot cross at all.
if $f$ is non-positive then $f' ge 0$ so $f$ is monotone increasing. again this contradicts periodicity
Why is this downvoted? This answer is essentially saying if $f(x)<0$ somewhere, then $f(x)$ is strictly increasing there, contradicting the fact that $f(x)$ is periodic.
– peterwhy
Nov 23 '14 at 16:48
add a comment |
$ f ne 0$
$f(x)=0 Rightarrow f'(x) ge 0$, hence $f$ can cross the X-axis at most once. periodicity means that it cannot cross at all.
if $f$ is non-positive then $f' ge 0$ so $f$ is monotone increasing. again this contradicts periodicity
$ f ne 0$
$f(x)=0 Rightarrow f'(x) ge 0$, hence $f$ can cross the X-axis at most once. periodicity means that it cannot cross at all.
if $f$ is non-positive then $f' ge 0$ so $f$ is monotone increasing. again this contradicts periodicity
edited Nov 23 '14 at 15:06
answered Nov 23 '14 at 15:00
David HoldenDavid Holden
14.7k21224
14.7k21224
Why is this downvoted? This answer is essentially saying if $f(x)<0$ somewhere, then $f(x)$ is strictly increasing there, contradicting the fact that $f(x)$ is periodic.
– peterwhy
Nov 23 '14 at 16:48
add a comment |
Why is this downvoted? This answer is essentially saying if $f(x)<0$ somewhere, then $f(x)$ is strictly increasing there, contradicting the fact that $f(x)$ is periodic.
– peterwhy
Nov 23 '14 at 16:48
Why is this downvoted? This answer is essentially saying if $f(x)<0$ somewhere, then $f(x)$ is strictly increasing there, contradicting the fact that $f(x)$ is periodic.
– peterwhy
Nov 23 '14 at 16:48
Why is this downvoted? This answer is essentially saying if $f(x)<0$ somewhere, then $f(x)$ is strictly increasing there, contradicting the fact that $f(x)$ is periodic.
– peterwhy
Nov 23 '14 at 16:48
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%2f3020024%2ff-is-t-periodic-and-fx-fx-ge-0-rightarrow-fx-ge-0%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