Differentiability of a Twice Differentiable Function

Click For Summary

Homework Help Overview

The problem involves a twice differentiable function g: R -> R, with specific conditions at x=0 and a differential equation relating g and its second derivative. The tasks include proving the existence of derivatives of all orders and establishing a bound on the derivatives for certain values of x.

Discussion Character

  • Exploratory, Assumption checking, Mathematical reasoning

Approaches and Questions Raised

  • Some participants question the initial definition of the function, particularly the implications of the condition g''(x) = g(x) = 0. Others suggest that the correct interpretation might involve a different equation, g''(x) + g(x) = 0, prompting further exploration of the implications for differentiability.

Discussion Status

The discussion is ongoing, with participants examining the definitions and relationships between the function and its derivatives. There is an attempt to clarify the conditions under which g is differentiable and to explore the consequences of the differential equation provided.

Contextual Notes

Participants are navigating potential contradictions in the problem statement and are considering the implications of the assumptions made about the function g and its derivatives.

OXF
Messages
2
Reaction score
0

Homework Statement


Let g:R->R be a twice differentiable function satisfying g(0)=g'(0)=1 and g''(x)=g(x)=0 for all x in R.
(i) Prove g has derivatives of all orders.
(ii)Let x>0. Show that there exists a constant M>0 such that |g^n(Ax)|<=M for all n in N and A in (0,1).

Homework Equations


Possibly Rolle's Theorem, Cauchy's Mean Value theorem.


The Attempt at a Solution

 
Physics news on Phys.org
I think you have written the definition down wrong, as if g''(x)=g(x)=0 for all x in the real numbers, then take x=0 and you have a contradiction in your definition.
 
Ah, I meant g''(x)+g(x)=0, apologies.
 
you know that g(x) is differentiable, so we know g''(x)=-g(x), so we know that as g is differentiable then that shows that:

<br /> \lim_{h\rightarrow 0}\frac{g&#039;&#039;(x+h)-g&#039;&#039;(x)}{h}=-\lim_{h\rightarrow 0}\frac{g(x+h)-g(x)}{h}<br />

So as h tends to 0, the limit on the RHS exists for all x and therefore limit on the LHS must exist for all x too. Carrying this on shows that g(x) is infinitely differentiable.
 

Similar threads

Replies
1
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 8 ·
Replies
8
Views
1K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 1 ·
Replies
1
Views
1K
Replies
3
Views
2K
Replies
8
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
Replies
26
Views
3K