• Support PF! Buy your school textbooks, materials and every day products Here!

Analytical function

  • Thread starter talolard
  • Start date
  • #1
125
0

Homework Statement


I had this question on a test. No one I talked to had a clue how to solve it, and our professor will not be publishing solutions. Any insight as to how to aproach this would be great because I am totally stumped.

Let [tex] f \in C^\infty[-1,1] [/tex] such that for all [tex] j \in N |f^{(j)}|<M [/tex]. given that [tex] f(1/k)=0 \forall k \in N [/tex] prove that [tex] f=0 [/tex] in [tex] [-1,1] [/tex]



The Attempt at a Solution



The only idea I've had is that I need to use the taylor series. But I have no idea what to do with it.
Thanks
Tal
 

Answers and Replies

  • #2
1,444
0
hmm. can only offer comments really as im not much of an analyst. but if its zero at every rational number in the interval then by the density of the rationals, it would need to be zero everywhere else since the derivatives are bounded which prevents things such as discontinuities etc.
 
  • #3
125
0
I thought of that, but it's npot the case. we know nothing about, say, F(5/7)
 
  • #4
vela
Staff Emeritus
Science Advisor
Homework Helper
Education Advisor
14,553
1,158
Can you make use of the theorem that says analytic functions have at least one singular point or are constant?
 
  • #5
125
0
Never heard that one, so I guess not.
 
  • #6
1,838
7
Hints:

1) What is f(0) ?

2) What are the derivatives of f at zero?
 
  • #7
HallsofIvy
Science Advisor
Homework Helper
41,794
925
By the way, you title this "analytic functions" but refer [math]f\in C^\infty [-1, 1][/math]. That is NOT the set of "analytic functions on [-1, 1]. The fact that a function has all derivatives continuous does NOT imply that it is analytic. For example, the function
[tex]f(x)= \begin{array}{c}0 if x= 0 \\ e^{-\frac{1}{x}} if x\ne 0[/tex]
is in [tex]C^\infty[-1, 1][/tex] but is not analytic on that set.
 
  • #8
125
0
@countbliss
I asume f(0) is 0 but I don't know how to prove it. I thought that since K can go to infity values of 1/k that are arbitrarily close to 0 are zero implies that f(0) is 0. But I'm not sure that really proves it and I don't have an idea as to how to prove it.

Halls ofIvy, duly noted. Thanks
 
  • #9
Office_Shredder
Staff Emeritus
Science Advisor
Gold Member
3,750
99
That's a general property of continuous functions. A function is continuous if and only if given any convergent sequence [tex]x_n \to x[/tex], you get [tex]f(x_n) \to f(x)[/tex]
 
  • #10
125
0
Gee, I wish I remebered thaat on the exam.
Ok, having established that f(0)=0 I'm clear on how to prove this for [0,1]. But what about [-1,0]? I'm assuming it has something to do with the bounded deriviatives, but that is just because we havent used that information yet.
 
  • #11
1,838
7
You got the proof for x = 0 only so far. The next step is to use the Nth order Taylor formula with an appropriate form of the error term.
 
  • #12
125
0
I don't see it. I can prove f=0 for [0,1] using rolles theorem and induction. I don't see how to do this on [-1,0]. And I don't see where the error term can help. I'm stumped!!!
 

Related Threads for: Analytical function

  • Last Post
Replies
1
Views
4K
  • Last Post
Replies
1
Views
2K
  • Last Post
Replies
10
Views
2K
  • Last Post
Replies
1
Views
903
  • Last Post
Replies
8
Views
2K
  • Last Post
Replies
3
Views
1K
  • Last Post
Replies
0
Views
1K
  • Last Post
Replies
8
Views
2K
Top