Hw help: real analysis proof
Moderators: gmalivuk, Moderators General, Prelates

 Posts: 21
 Joined: Tue Jun 14, 2011 12:35 am UTC
Hw help: real analysis proof
Hello beautiful smartypantses,
I'm having some trouble (running around in circles, pulling hair out) trying to figure out how to prove something on my current real analysis problem set.
Assume f is continuous, differentiable on R. Given f(0) is greater or equal to 1 and f'(x)>f(x) for all x in R. Show that f(x)>exp(x) for all x>0.
It seemed natural to try this by contradiction. Assume there exists a>0 for which f'(a) is less than or equal to exp(a). Define g(x)=f(x)exp(x). We have g(0) is greater than or equal to 0 and g(a) is less than or equal to 0. So on (0,a) g is decreasing. By MVT there must be some b in (0,a) where g'(b)<0. And from here g(b)<g'(b)<0. So for some b in this interval f(b)<exp(b).
Where the crap is my contradiction though? The statement itself is VERY OBVIOUSLY TRUE, making it all the more frustrating. Does anyone have any suggestions? Looking for a direct proof has been even less productive. The previous part of this problem was to show that if f(x)=f'(x) for all x then f(x)=Cexp(x) for some constant C. I don't see where to apply this, if it's necessary.
Thanks, forum community. You are the coolest.
I'm having some trouble (running around in circles, pulling hair out) trying to figure out how to prove something on my current real analysis problem set.
Assume f is continuous, differentiable on R. Given f(0) is greater or equal to 1 and f'(x)>f(x) for all x in R. Show that f(x)>exp(x) for all x>0.
It seemed natural to try this by contradiction. Assume there exists a>0 for which f'(a) is less than or equal to exp(a). Define g(x)=f(x)exp(x). We have g(0) is greater than or equal to 0 and g(a) is less than or equal to 0. So on (0,a) g is decreasing. By MVT there must be some b in (0,a) where g'(b)<0. And from here g(b)<g'(b)<0. So for some b in this interval f(b)<exp(b).
Where the crap is my contradiction though? The statement itself is VERY OBVIOUSLY TRUE, making it all the more frustrating. Does anyone have any suggestions? Looking for a direct proof has been even less productive. The previous part of this problem was to show that if f(x)=f'(x) for all x then f(x)=Cexp(x) for some constant C. I don't see where to apply this, if it's necessary.
Thanks, forum community. You are the coolest.
Re: Hw help: real analysis proof
coffeesneeze wrote:It seemed natural to try this by contradiction. Assume there exists a>0 for which f'(a) is less than or equal to exp(a). Define g(x)=f(x)exp(x). We have g(0) is greater than or equal to 0 and g(a) is less than or equal to 0. So on (0,a) g is decreasing. By MVT there must be some b in (0,a) where g'(b)<0. And from here g(b)<g'(b)<0. So for some b in this interval f(b)<exp(b).
Where the crap is my contradiction though?
This is nearly the entire proof. All you have to do to make it work is choose 'a' a little more carefully...
 jestingrabbit
 Factoids are just Datas that haven't grown up yet
 Posts: 5942
 Joined: Tue Nov 28, 2006 9:50 pm UTC
 Location: Sydney
Re: Hw help: real analysis proof
That can you tell me about integrals of derivatives, and definite integrals of functions positive everywhere but one point?
Assuming you've got the fundamental theorem of calculus to use, that is.
Assuming you've got the fundamental theorem of calculus to use, that is.
ameretrifle wrote:Magic space feudalism is therefore a viable idea.

 Posts: 21
 Joined: Tue Jun 14, 2011 12:35 am UTC
Re: Hw help: real analysis proof
letterX wrote:coffeesneeze wrote:It seemed natural to try this by contradiction. Assume there exists a>0 for which f'(a) is less than or equal to exp(a). Define g(x)=f(x)exp(x). We have g(0) is greater than or equal to 0 and g(a) is less than or equal to 0. So on (0,a) g is decreasing. By MVT there must be some b in (0,a) where g'(b)<0. And from here g(b)<g'(b)<0. So for some b in this interval f(b)<exp(b).
Where the crap is my contradiction though?
This is nearly the entire proof. All you have to do to make it work is choose 'a' a little more carefully...
I think what you are suggesting is to take the least a for which f'(a) is less than or equal to exp(a). Can I simply assume that there is a least a with this property? It seems like I'd have to do some more work to show that there actually is a least a. Assuming the negative of the statement, it could be the case that f'(x) is less or equal to exp(x) for values of x arbitrarily close to x=0, in which case I can't just say I chose the least one. There could always be one smaller.
I've seen some of my classmates settle on this as a step in their proof, but I'm not convinced it works. Am I mistaken or maybe just misinterpreting your hint?
Jesting, I'm thinking over your hint now.
The integral of the derivative of f is equal to f up to an arbitrary constant. I'm not sure what you mean by
letterX wrote:definite integrals of functions positive everywhere but one point?
What I'm assuming for contradiction gets me that there is at least one point, not just one. But a definite integral of an everywhere positive (except at one point) function would be... positive... /shrug.
The FTC is fair game. I will keep fussing with it, I know I've gotta be close. If anyone thinks of anything else that could help, please share.
Thanks to the both of you.
Re: Hw help: real analysis proof
coffeesneeze wrote:letterX wrote:I think what you are suggesting is to take the least a for which f'(a) is less than or equal to exp(a). Can I simply assume that there is a least a with this property? It seems like I'd have to do some more work to show that there actually is a least a.
Well, what sorts of sets do or do not contain their own greatest lower bounds?
Also, under further reflection, I'm thinking my method only gets you as far as f(x) >= exp(x), and not a strict inequality. To get a strict inequality you have to do a bit more work.
 jestingrabbit
 Factoids are just Datas that haven't grown up yet
 Posts: 5942
 Joined: Tue Nov 28, 2006 9:50 pm UTC
 Location: Sydney
Re: Hw help: real analysis proof
coffeesneeze wrote:jestingrabbit wrote:definite integrals of functions positive everywhere but one point?
What I'm assuming for contradiction gets me that there is at least one point, not just one. But a definite integral of an everywhere positive (except at one point) function would be... positive... /shrug.
Well, I wouldn't go for contradiction, and I would try to make f(a)  exp(a) into an integral from 0 to a... of something (assuming that f(0) = 1).
ameretrifle wrote:Magic space feudalism is therefore a viable idea.
 skeptical scientist
 closedminded spiritualist
 Posts: 6139
 Joined: Tue Nov 28, 2006 6:09 am UTC
 Location: San Francisco
Re: Hw help: real analysis proof
There's a really nice, really easy way to do this that nobody has thought of yet.
They might not exist.
This seems problematic, given the above.
Spoiler:
jestingrabbit wrote:What can you tell me about integrals of derivatives?
They might not exist.
jestingrabbit wrote:I would try to make f(a)  exp(a) into an integral from 0 to a... of something (assuming that f(0) = 1).
This seems problematic, given the above.
I'm looking forward to the day when the SNES emulator on my computer works by emulating the elementary particles in an actual, physical box with Nintendo stamped on the side.
"With math, all things are possible." —Rebecca Watson
"With math, all things are possible." —Rebecca Watson
 Talith
 Proved the Goldbach Conjecture
 Posts: 848
 Joined: Sat Nov 29, 2008 1:28 am UTC
 Location: Manchester  UK
Re: Hw help: real analysis proof
I was under the impression that the derivative of any differentiable function on the reals had a well defined Riemann integral on any interval.
Re: Hw help: real analysis proof
skeptical scientist wrote:There's a really nice, really easy way to do this that nobody has thought of yet.Spoiler:
To be completely rigorous, you should prove that f(x)>0 first, but this should be easy for you.
Hey, I thought of that approach. I didn't post though, because I couldn't think of a simple way of proving f(x)>0, apart from using a Taylor's expansion, and that seems like overkill for this problem.
Spoiler:
But I suspect that the solution will seem obvious after I've had some sleep.
 skeptical scientist
 closedminded spiritualist
 Posts: 6139
 Joined: Tue Nov 28, 2006 6:09 am UTC
 Location: San Francisco
Re: Hw help: real analysis proof
Talith wrote:I was under the impression that the derivative of any differentiable function on the reals had a well defined Riemann integral on any interval.
Nope. Volterra's function is a counterexample.
PM 2Ring wrote:Hey, I thought of that approach.
Well, nobody who posted thought of it.
I didn't post though, because I couldn't think of a simple way of proving f(x)>0, apart from using a Taylor's expansion, and that seems like overkill for this problem.
This is problematic, for the same reason the fundamental theorem of calculus is problematic: the existence of one derivative, which need not even be continuous, does not give you a Taylor expansion. At best you can use the n=1 version of Taylor's theorem (better known as the mean value theorem).
I'm looking forward to the day when the SNES emulator on my computer works by emulating the elementary particles in an actual, physical box with Nintendo stamped on the side.
"With math, all things are possible." —Rebecca Watson
"With math, all things are possible." —Rebecca Watson
 jestingrabbit
 Factoids are just Datas that haven't grown up yet
 Posts: 5942
 Joined: Tue Nov 28, 2006 9:50 pm UTC
 Location: Sydney
Re: Hw help: real analysis proof
skeptical scientist wrote:Talith wrote:I was under the impression that the derivative of any differentiable function on the reals had a well defined Riemann integral on any interval.
Nope. Volterra's function is a counterexample.
Then every suggestion I've made in this thread is worse than useless. Sorry about that.
ameretrifle wrote:Magic space feudalism is therefore a viable idea.

 Posts: 21
 Joined: Tue Jun 14, 2011 12:35 am UTC
Re: Hw help: real analysis proof
So it looks like I can't do something like this:
Define
It's derivative is this:
So this
And
Which implies from assumptions about f(0)
And then of course
The problem being I can't assume g'(x) is integrable?
Define
g(x)=\ln{(f(x))}.
It's derivative is this:
g'(x)=\frac{f'(x)}{f(x)}>1.
So this
\int_0^x g'(t)\ dt>\int_0^x1\ dx = x.
And
\int_0^x g'(t)\ dt=g(x)g(0)=\ln(f(x))\ln((f(0))>x.
Which implies from assumptions about f(0)
\ln(f(x))>x.
And then of course
f(x)>\exp(x).
The problem being I can't assume g'(x) is integrable?
 jestingrabbit
 Factoids are just Datas that haven't grown up yet
 Posts: 5942
 Joined: Tue Nov 28, 2006 9:50 pm UTC
 Location: Sydney
Re: Hw help: real analysis proof
Yeah, I think that you'll need to use letterX's approach.
ameretrifle wrote:Magic space feudalism is therefore a viable idea.

 Posts: 21
 Joined: Tue Jun 14, 2011 12:35 am UTC
Re: Hw help: real analysis proof
Is there anything from stopping me from starting with define g(x)=f'(x)/f(x), Note G(x)=ln(f(x)) is an antiderivative for g(x)?*
Then I could avoid invoking whatever that evil Volterra function is.
*posted before thinking, edited a mistake.
Then I could avoid invoking whatever that evil Volterra function is.
*posted before thinking, edited a mistake.
Last edited by coffeesneeze on Sun Feb 12, 2012 10:00 pm UTC, edited 1 time in total.
 jestingrabbit
 Factoids are just Datas that haven't grown up yet
 Posts: 5942
 Joined: Tue Nov 28, 2006 9:50 pm UTC
 Location: Sydney
Re: Hw help: real analysis proof
coffeesneeze wrote:Is there anything from stopping me from starting with define g(x)=f'(x)/f(x), Note g(x) is an antiderivative for h(x)=ln(f(x))?
Then I could avoid invoking whatever that evil Volterra function is.
The Volterra function is also an antiderivative of its derivative, its just not unique. You need uniqueness, and you can't get that.
ameretrifle wrote:Magic space feudalism is therefore a viable idea.

 Posts: 21
 Joined: Tue Jun 14, 2011 12:35 am UTC
Re: Hw help: real analysis proof
jestingrabbit wrote:The Volterra function is also an antiderivative of its derivative, its just not unique. You need uniqueness, and you can't get that.
That makes sense, Thanks.
 skeptical scientist
 closedminded spiritualist
 Posts: 6139
 Joined: Tue Nov 28, 2006 6:09 am UTC
 Location: San Francisco
Re: Hw help: real analysis proof
coffeesneeze wrote:Define g(x)=\ln{(f(x))}.
It's derivative is this:g'(x)=\frac{f'(x)}{f(x)}>1.So this\int_0^x g'(t)\ dt>\int_0^x1\ dx = x.
...
The problem being I can't assume g'(x) is integrable?
Right. Depending on the level of rigor expected, your grader might let it go and mark it correct, or might give you a hard time because g' might not be integrable. However, you can prove that g(x)>x using the mean value theorem, and avoid mentioning integration entirely.
You still need to show that g(x) is well defined, i.e. that f(x)>0. (Really you only need this for x≥0, which is good, because it might be false for some negative x.) Try twerking your original attempt at a proof by contradiction of f(x)>e^{x} that didn't quite work.
jestingrabbit wrote:The Volterra function is also an antiderivative of its derivative, its just not unique. You need uniqueness, and you can't get that.
Erm, antiderivatives are unique, up to additive constants. It follows from the mean value theorem that if f and g are differentiable and f'=g' on [a,b], then fg is constant on [a,b]. The problem is the fundamental theorem of calculus requires 1) f is differentiable, and 2) f' is integrable. Here you have 1), but don't necessarily have 2).*
*You can show that f is monotone and differentiable, which might be enough to guarantee that f' is integrable; I'm not sure. But I can't figure out how to do this, so it's probably at least much harder than just using MVT.
I'm looking forward to the day when the SNES emulator on my computer works by emulating the elementary particles in an actual, physical box with Nintendo stamped on the side.
"With math, all things are possible." —Rebecca Watson
"With math, all things are possible." —Rebecca Watson

 Posts: 546
 Joined: Mon May 03, 2010 10:48 pm UTC
Re: Hw help: real analysis proof
Wait. So, it's perhaps not as elegant as some of the other answers, nor does it use anywhere near as high power proof techniques. but here's how I did it using g(x) = f(x)  exp(x)
I guess I assumed continuity of the derivative...so YMMV
Spoiler:
Spoiler:
Spoiler:
Spoiler:
I guess I assumed continuity of the derivative...so YMMV
The 62foot tall statue of Jesus constructed out of styrofoam, wood and fiberglass resin caught on fire after the right hand of the statue was struck by lightning.
meatyochre wrote:And yea, verily the forums crowd spake: "Teehee!"
 skeptical scientist
 closedminded spiritualist
 Posts: 6139
 Joined: Tue Nov 28, 2006 6:09 am UTC
 Location: San Francisco
Re: Hw help: real analysis proof
Dark Avorian wrote:I guess I assumed continuity of the derivative...so YMMV
Where? I only see continuity of f, so I think this works.
I'm looking forward to the day when the SNES emulator on my computer works by emulating the elementary particles in an actual, physical box with Nintendo stamped on the side.
"With math, all things are possible." —Rebecca Watson
"With math, all things are possible." —Rebecca Watson

 Posts: 546
 Joined: Mon May 03, 2010 10:48 pm UTC
Re: Hw help: real analysis proof
mean value theorem relies on continuity of derivative, no?
EDIT: wait, no, the equivalent of generalized Rolle's theorem produces the same result
EDIT: Oh right, ignore me, differentiability implies that no jump discontinuities appear in the derivative.
EDIT: wait, no, the equivalent of generalized Rolle's theorem produces the same result
EDIT: Oh right, ignore me, differentiability implies that no jump discontinuities appear in the derivative.
Last edited by Dark Avorian on Sun Feb 12, 2012 11:31 pm UTC, edited 3 times in total.
The 62foot tall statue of Jesus constructed out of styrofoam, wood and fiberglass resin caught on fire after the right hand of the statue was struck by lightning.
meatyochre wrote:And yea, verily the forums crowd spake: "Teehee!"
 skeptical scientist
 closedminded spiritualist
 Posts: 6139
 Joined: Tue Nov 28, 2006 6:09 am UTC
 Location: San Francisco
Re: Hw help: real analysis proof
Dark Avorian wrote:mean value theorem relies on continuity of derivative, no?
Nope. The hypothesis of the MVT is that f is continuous on [a,b] and differentiable on (a,b).
Oh right, ignore me, differentiability implies that no jump discontinuities appear in the derivative.
There could still be other kinds of discontinuities, however.
I'm not quite sure why I didn't come up with your proof. I was thinking along those lines for ~20 minutes and the best result I could get was f(x)≥e^{x}. Then I thought of the idea of working with ln f instead of f, and then the result just fell out.
I'm also not quite sure what you mean by "high power proof techniques". I don't think any of the ideas suggested require anything more advanced than the mean value theorem. It's true that I pulled out Volterra's function as an example to explain why you couldn't use the fundamental theorem of calculus, but the proof I was hinting at just used the mean value theorem.
I'm looking forward to the day when the SNES emulator on my computer works by emulating the elementary particles in an actual, physical box with Nintendo stamped on the side.
"With math, all things are possible." —Rebecca Watson
"With math, all things are possible." —Rebecca Watson

 Posts: 546
 Joined: Mon May 03, 2010 10:48 pm UTC
Re: Hw help: real analysis proof
Just my impostor syndrome acting up I guess. I always assume the forum knows way more than me and could crush me with high power proofs.
The 62foot tall statue of Jesus constructed out of styrofoam, wood and fiberglass resin caught on fire after the right hand of the statue was struck by lightning.
meatyochre wrote:And yea, verily the forums crowd spake: "Teehee!"
Re: Hw help: real analysis proof
For my own practice
Spoiler:

 Posts: 21
 Joined: Tue Jun 14, 2011 12:35 am UTC
Re: Hw help: real analysis proof
Thanks everyone.
The MVT proof is pretty slick, I have to say. ln(f(x))/x>1 is pretty immediate.
I fully intend to bust out the Volterra function if any of my cohorts show up with integrals in their proofs tomorrow.
The MVT proof is pretty slick, I have to say. ln(f(x))/x>1 is pretty immediate.
I fully intend to bust out the Volterra function if any of my cohorts show up with integrals in their proofs tomorrow.
Re: Hw help: real analysis proof
According to its wiki page, the HenstockKurzweil integral of an everywhereexisting derivative always exists (thus presumably allowing integration as a proof method without additional hypotheses). I was wondering if anyone was familiar enough to confirm or deny.
 skeptical scientist
 closedminded spiritualist
 Posts: 6139
 Joined: Tue Nov 28, 2006 6:09 am UTC
 Location: San Francisco
Re: Hw help: real analysis proof
lalop wrote:According to its wiki page, the HenstockKurzweil integral of an everywhereexisting derivative always exists (thus presumably allowing integration as a proof method without additional hypotheses). I was wondering if anyone was familiar enough to confirm or deny.
I tend to believe Wikipedia on math articles, as when I know the math well enough to judge (which is a lot of the time), it's almost always right. (Although I have found and corrected a few mistakes.) According to the Wiki, every derivative is HK integrable and satisfies the FToC, and it's easy to verify that the HK integral is monotone (as it is defined as a limit of Riemann sums). So I suppose you could use the HenstockKurzweil integral to do this exercise using the fundamental theorem of calculus, which I suppose should count as a proof "using highpowered proof techniques".
I much prefer the MVT proof. Here's my version of it, by the way, since it looks like the OP has solved the exercise, and someone else already posted a solution anyways:
Lemma: Let f be differentiable on R, f(0)≥1, and f'(x)>f(x) for all x in R. Then f(x)>0 for x≥0.
Proof: Suppose f(x)≤0 for some x≥0, and let b=inf{x : x≥0 and f(x)≤0}. Then b≥0 and, by continuity, f(b)=0, so b>0. By choice of b, f(x)>0 on [0,b). We know f is continuous on [0,b] and differentiable on (0,b), so by the mean value theorem, there is some c in (0,b) such that f'(c)=(f(b)f(0))/(b0)≤0. But then f(c)>0≥f'(x), contradicting f'(x)>f(x) for all x in R.
Theorem: Let f be differentiable on R, f(0)≥1, and f'(x)>f(x) for all x in R. Then f(x)>e^{x} for x>0.
Proof: By the lemma, the function g(x)=ln f(x) is welldefined for x≥0, and g'(x)=f'(x)/f(x)>1 for x≥0. By the mean value theorem, for all x>0 there is some c in (0,x) (depending on x) such that g(x)=g(0)+x*g'(c). Since g(0)≥0 and g'(c)>1, we have g(x)>x, whence f(x)=e^{g(x)}>e^{x}.
Last edited by skeptical scientist on Tue Feb 14, 2012 2:32 am UTC, edited 1 time in total.
I'm looking forward to the day when the SNES emulator on my computer works by emulating the elementary particles in an actual, physical box with Nintendo stamped on the side.
"With math, all things are possible." —Rebecca Watson
"With math, all things are possible." —Rebecca Watson
Re: Hw help: real analysis proof
I think I get it, SS. But where did that a come from in there is some c in (a,b). I guess it's just a typo, and that the interval should be (0, b).
 skeptical scientist
 closedminded spiritualist
 Posts: 6139
 Joined: Tue Nov 28, 2006 6:09 am UTC
 Location: San Francisco
Re: Hw help: real analysis proof
PM 2Ring wrote:I think I get it, SS. But where did that a come from in there is some c in (a,b). I guess it's just a typo, and that the interval should be (0, b).
Yeah.
I'm looking forward to the day when the SNES emulator on my computer works by emulating the elementary particles in an actual, physical box with Nintendo stamped on the side.
"With math, all things are possible." —Rebecca Watson
"With math, all things are possible." —Rebecca Watson
Re: Hw help: real analysis proof
Sorry for the necro. I thought of ths last week, and then promptly forgot about it.
I do like your proof of that lemma, skeptical scientist, but I prefer to use direct proofs when practical. I don't think of myself as a Constructivist, but I do have some sympathy for their disdain of indirect proofs, although I'm happy to admit that I was duly impressed when I first understood the standard indirect proof of the irrationality of sqrt(2).
Anyway, is this sufficiently rigourous?
Let x_{0} = 0
f(x_{0}) ≥1
If f(x_{i}) > 0 then f'(x_{i}) > 0, since f'(x) > f(x), so f(x) is increasing at x = x_{i}
Thus for all sufficiently small h > 0, f(x) > f(x_{i}), for all x, x_{i} < x ≤ x_{i} + h
Let x_{i+1} = x_{i} + h,
So f(x) > f(x_{i}), where x_{i} < x ≤ x_{i+1}
Now f(x_{i+1}) > 0 and we can repeat the above argument indefinitely.
So by induction f(x) > 0 for all x ≥ 0
skeptical scientist wrote:Lemma: Let f be differentiable on R, f(0)≥1, and f'(x)>f(x) for all x in R. Then f(x)>0 for x≥0.
Proof: Suppose f(x)≤0 for some x≥0, and let b=inf{x : x≥0 and f(x)≤0}. Then b≥0 and, by continuity, f(b)=0, so b>0. By choice of b, f(x)>0 on [0,b). We know f is continuous on [0,b] and differentiable on (0,b), so by the mean value theorem, there is some c in (0,b) such that f'(c)=(f(b)f(0))/(b0)≤0. But then f(c)>0≥f'(x), contradicting f'(x)>f(x) for all x in R.
I do like your proof of that lemma, skeptical scientist, but I prefer to use direct proofs when practical. I don't think of myself as a Constructivist, but I do have some sympathy for their disdain of indirect proofs, although I'm happy to admit that I was duly impressed when I first understood the standard indirect proof of the irrationality of sqrt(2).
Anyway, is this sufficiently rigourous?
Let x_{0} = 0
f(x_{0}) ≥1
If f(x_{i}) > 0 then f'(x_{i}) > 0, since f'(x) > f(x), so f(x) is increasing at x = x_{i}
Thus for all sufficiently small h > 0, f(x) > f(x_{i}), for all x, x_{i} < x ≤ x_{i} + h
Let x_{i+1} = x_{i} + h,
So f(x) > f(x_{i}), where x_{i} < x ≤ x_{i+1}
Now f(x_{i+1}) > 0 and we can repeat the above argument indefinitely.
So by induction f(x) > 0 for all x ≥ 0
Re: Hw help: real analysis proof
What if your h's happen to sum to some finite value? Then you only get that f(x) > 0 for all x up to whatever the h's happen to sum up to.
Re: Hw help: real analysis proof
letterX wrote:What if your h's happen to sum to some finite value? Then you only get that f(x) > 0 for all x up to whatever the h's happen to sum up to.
Ah. Good point. OTOH, f(x) hasn't decreased at all over that interval. And since f'(x) > f(x) >1, it ought to be possible to show that the function grows sufficiently rapidly to avoid that problem. But I can't immediately see a simple way to fix my proof up (unless I use skeptical scientist's indirect argument).
* goes back to the drawing board *
 skeptical scientist
 closedminded spiritualist
 Posts: 6139
 Joined: Tue Nov 28, 2006 6:09 am UTC
 Location: San Francisco
Re: Hw help: real analysis proof
I think the mean and intermediate value theorems are constructively false, so I doubt you'll find a purely constructive proof.
I'm looking forward to the day when the SNES emulator on my computer works by emulating the elementary particles in an actual, physical box with Nintendo stamped on the side.
"With math, all things are possible." —Rebecca Watson
"With math, all things are possible." —Rebecca Watson
Re: Hw help: real analysis proof
skeptical scientist wrote:I think the mean and intermediate value theorems are constructively false, so I doubt you'll find a purely constructive proof.
Ah, well. It's a little bit annoying that seemingly straightforward and intuitive stuff like this can't be proved constructively.
Re: Hw help: real analysis proof
PM 2Ring wrote:skeptical scientist wrote:I think the mean and intermediate value theorems are constructively false, so I doubt you'll find a purely constructive proof.
Ah, well. It's a little bit annoying that seemingly straightforward and intuitive stuff like this can't be proved constructively.
Well, constructively the intermediate value theorem is neither straightforward nor intuitive. The constructive version of the IVT says that given any continuous function on [0, 1] with f(0) < 0 < f(1) then you can actually find me an x with f(x) = 0, where actually find means give a routine for computing x to within any epsilon.
And there's no particular reason that should be true. It isn't hard to come up with examples of functions f which have f(x) = 0 only for some nasty uncomputable x.

 Posts: 21
 Joined: Tue Jun 14, 2011 12:35 am UTC
Re: Hw help: real analysis proof
For anyone interested, my professor gave us his proof. And he also commented that he was surprised that he saw so many "ingenious" things on this exercise because it was supposed to be one of the simpler ones.
Anyways...
Assume f is diff on R, f(0) >/= 1, and f'(x)>f(x) for all x in R.
Then f(x)>exp(x) for all x>0.
proof:
Set g(x)=exp(x)f(x).
Then g'(x)=exp(x)[f'(x)f(x)]>0. We are using the fact that exp is always positive and f'>f.
So g(x) is always increasing, and g(0)=exp(0)f(0) >/= 1.
We have for all x>0, g(x)=exp(x)f(x) >/= 1.
And thus f(x) >/= exp(x).
The obvious advantage to this proof over the other ones posted is you don't have to show f(x)>0 for all x>0. Not that there's anything particularly terrible about doing so, but it's nice that you don't have to.
I thought you guys deserved this nice little proof. later!
Anyways...
Assume f is diff on R, f(0) >/= 1, and f'(x)>f(x) for all x in R.
Then f(x)>exp(x) for all x>0.
proof:
Set g(x)=exp(x)f(x).
Then g'(x)=exp(x)[f'(x)f(x)]>0. We are using the fact that exp is always positive and f'>f.
So g(x) is always increasing, and g(0)=exp(0)f(0) >/= 1.
We have for all x>0, g(x)=exp(x)f(x) >/= 1.
And thus f(x) >/= exp(x).
The obvious advantage to this proof over the other ones posted is you don't have to show f(x)>0 for all x>0. Not that there's anything particularly terrible about doing so, but it's nice that you don't have to.
I thought you guys deserved this nice little proof. later!
Who is online
Users browsing this forum: No registered users and 3 guests