See how well you understand differentiability!
Consider a differentiable function f : R → R with f ( 0 ) = 0 and f ′ ( 0 ) = 1 . How many of the following statements are true for any such function f ?
1) f ( x ) > 0 on ( 0 , q ) for some positive q ,
2) f ( x ) is increasing on ( p , q ) for some negative p and some positive q
3) ∣ f ( x ) ∣ is continuous,
4) There exists a differentiable function g : R → R such that g ′ ′ ( x ) = f ( x ) , and
5) f ′ ( x ) is continuous.
This section requires Javascript.
You are seeing this because something didn't load right. We suggest you, (a) try
refreshing the page, (b) enabling javascript if it is disabled on your browser and,
finally, (c)
loading the
non-javascript version of this page
. We're sorry about the hassle.
Wow, I'm delighted to find all this wonderful work here as I wake up in the morning! Thank you Pranav and Guillermo!
The trickier parts are (2) and (5), which are related: There exist differentiable functions whose derivative fails to be continuous. Guillermo gives a great example. We should mention that his function is piecewise: f ( x ) = x − 2 x 2 sin ( x 1 ) for nonzero x and f ( 0 ) = 0 . Note that f ′ ( 2 k π 1 ) = − 1 for odd k .
For those who are uncomfortable with the "little o" notation, here is another approach to part (1): We are told that f ′ ( 0 ) = lim h → 0 h f ( h ) − f ( 0 ) = lim h → 0 h f ( h ) = 1 . Using the definition of a limit with ϵ = 1 , we conclude that there exists a δ > 0 such that h f ( h ) > 0 for 0 < ∣ h ∣ < δ , which implies that f ( h ) > 0 on the interval ( 0 , δ ) .
Log in to reply
Thanks for you Otto, you taught me the statements 2 and 5 are false, I really appreciate this, thank you, my pelasure...
Log in to reply
The pleasure is mine ;)
Log in to reply
@Otto Bretscher – @Guillermo Templado @Otto Bretscher Fixed.
I also copied the subsequent conversation over.
If you subscribe to comments, you will be notified about new posts.
Log in to reply
@Calvin Lin – Thank you so much @Calvin Lin for fixing this!
@Calvin Lin – Thank you Calvin, What about a wiki about "Lagrange multipliers and minimum squares methodus"? PS.- As usual, I write it and you later correct my edits... Ok, I'm going soon to start this wiki, but this wiki is going to be very long, there will be proofs and examples, and it'll take me very long, I'll email you about my progress for your review
Log in to reply
@Guillermo Templado – That's great! Let me know if you need help with brainstorming what the sections would be like.
lagrange multipliers is definitely a concept that many people are interested in, but only get a faint grasp of it initially. Most forget to check the boundary conditions, or the second order conditions, because they don't understand the ideas/theory behind it.
Log in to reply
@Calvin Lin – I'll continue this wiki, Lagrange multipliers ,with some examples first, and we'll talk with e-mails about the progress.I hope not to bother to Samarth... My demonstration about Lagrange multipliers theorem really is not easy, it needs implicit function theorem and a lot machinery and is very long and is not accesible for everybody... Ok, I'll contact you and we`ll talk...
Request for @Calvin Lin : Our Compañero @Guillermo Templado posted a wonderful solution as a comment, but unfortunately that solution was deleted, along with the comments. Is there any way to bring Guillermo's comment back as a solution, with his consent? It was a long post, and it would be a shame for all that careful work to be lost.
I'm extremely sorry. When I saw the solution by Guillermo Templado, I understood my mistakes. So without thinking twice ,I just deleted my comment before realising that even the comments by others will be deleted.It was really a long solution. I'm really sorry. And a great sum. Thanks for posting it.
Log in to reply
Don't worry, Pranav. It will be fixed... be calm
Indeed, no worries... it's all good now!
considering the function to be y=(sinx) then we will not get the first statement true.
Why not? Let q = π
Log in to reply
but if we put q=2pi then 1st statement would be incorrect.
Log in to reply
It says "for some positive q ", not for all.
Log in to reply
@Otto Bretscher – thanks for clearing the doubt
Problem Loading...
Note Loading...
Set Loading...
The correct statements are 1, 3, 4.
Subparagraph before the solution:
Differentiable function is not the same as derivative function, at all. If f : R n → R is a differentiable function then it has directionable derivates ,nevertheless a function is able to have a derivate on every direction and it has not to be a differentiable function. Over the compex numbers also are different concepts,...
However, in this case f : R → R is a differentiable function if and only if it is a derivative function.
Proof
⇒ ) Let's suppose that f : R → R is a differentiable function, then ∀ c ∈ R f ( x ) − f ( c ) = d f c ( x − c ) + ∣ x − c ∣ ρ ( x − c ) ∀ x in a reduced neighborhood of c(neighborhood without c), where d f c is a R -linear transformation and ρ ( h ) is a function defined in a reduced neighborhood of c fulfilling ρ ( h ) → 0 as h → 0 which implies that f ( x ) − f ( c ) = ( x − c ) d f c ( 1 ) + ∣ x − c ∣ ρ ( x − c ) ⇒ x → c lim x − c f ( x ) − f ( c ) = d f c ( 1 ) . . .
⇐ ) Let's suppose that f : R → R is a derivative function, then ∀ c ∈ R x → c lim x − c f ( x ) − f ( c ) = f ′ ( c ) ⇒ x → c lim x − c f ( x ) − f ( c ) − f ′ ( c ) = 0 ⇒ f ( x ) − f ( c ) − f ′ ( c ) ( x − c ) = o ( ∣ x − c ∣ ) ⇒ f ( x ) = f ( c ) + f ′ ( c ) ( x − c ) + o ( ∣ x − c ∣ ) in a reduced neighborhood of c.... Read note below □ .
Solution
Consider a differentiable function f : R → R such that f ( 0 ) = 0 and f ′ ( 0 ) = 1 .
1 .- f ( x ) = f ( 0 ) + f ′ ( 0 ) x + o ( ∣ x ∣ ) in a neighborhood of 0, which implies that ∃ q > 0 / f ( x ) ≈ 0 + 1 ⋅ x ≈ x ∀ x ∈ ( 0 , q ) ⇒ f ( x ) > 0 ∀ x ∈ ( 0 , q ) .
2 .- The stament 2 and 5 are false . Let f ( x ) = x − 2 x 2 sin ( x 1 ) , if x is distinct to 0 and, f ( 0 ) = 0 . This function fulfills f ( 0 ) = 0 , f ′ ( 0 ) = 1 is differentiable over R with not continuous derivate(it is not continuous on 0) and not fulfilling the statement 2 because in all neighborhood of 0 there is a point x where f ′ ( x ) < 0 ⇒ the function is not increasing in any neighborhood of 0.
This example is also interesting because if f : R n → R has partial derivates functions being continuous then f is a differentiable function. And this example shows that the reciprocal is not true.
3 .- The absolute value function is a continuous function and the composition of two continuous functions is a continuous function. Every differentiable function f : R → R is a continuous function: ∀ a ∈ R , x → a lim f ( x ) = x → a lim f ( a ) + f ′ ( a ) ( x − a ) + o ( ∣ x − a ∣ ) = f ( a ) ⇒ ∀ ϵ > 0 , ∃ δ > 0 / ∣ f ( x ) − f ( a ) ∣ < ϵ if 0 ≤ ∣ x − a ∣ < δ
4 .- All continuous function is Riemann integrable, and due to Fundamental Calculus Theorem h ( x ) = ∫ 0 x f ( t ) d t fulfills h ′ ( x ) = f ( x ) . Take g ( x ) = ∫ 0 x h ( t ) d t ⇒ g ′ ( x ) = h ( x ) ⇒ g ′ ′ ( x ) = h ′ ( x ) = f ( x )
Note .- o ( ∣ x ∣ ) = ∣ x ∣ o ( 1 ) = ∣ x ∣ ρ ( x ) where ρ ( x ) is a function with ρ ( x ) → 0 as x → 0 ( o ( ∣ x ∣ ) means lim x → 0 x o ( ∣ x ∣ ) = 0 )