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

Riemmann/Darboux-Integral Question

  • Thread starter end3r7
  • Start date
168
0
1. Homework Statement

(i) Suppose that F is continuous on [a,b] and [tex]\int_a^b FG = 0[/tex] for all continuous functions G on [a,b]. Prove that F = 0.

(ii) Suppose now that G(a) = G(b) = 0. Does it again follow that F must be identically zero?


2. Homework Equations
Let P be any partition of [a,b]

Upper Darboux
[tex]U(F,P) = \sum_{k=0}^\n sSupF(x_k)(t_k - t_{k-1})[/tex]
Lower Darboux
[tex]L(F,P) = \sum_{k=0}^\n iInfF(x_k)(t_k - t_{k-1})[/tex]

F is integrable iff
inf U(F,P) = U(F) = L(F) = sup L(F,P)

3. The Attempt at a Solution

For (i) I argued the following.

Let G = F.
Clear H = F*F >= 0 and is continuous.
Let's say H(y) > 0.
So I can find an interval (y - c, y + c) because H is continuous, where H(x) > H(y)/2.
Clearly U(H,P) > H(y)/2*c
Which means U(H) >= H(y)/2*c > 0.

Thus F must be identically zero.

For (ii), I said it still needed to be identically zero, and I'm not certain how the argument needs to be changed. Perhaps if F was only nonzero very near a and b, but because of the continuity of F, wouldn't that still bee a problem?
 

Answers and Replies

Dick
Science Advisor
Homework Helper
26,258
618
How about G(x)=F(x)*(x-a)*(b-x)? There's nothing special about (x-a)*(b-x), it's just a positive continuous function on [a,b] that vanishes only at the endpoints.
 
168
0
Thanks Dick, works perfectly. =)
 

Related Threads for: Riemmann/Darboux-Integral Question

Replies
1
Views
1K
Replies
1
Views
632
  • Last Post
Replies
1
Views
3K
  • Last Post
Replies
4
Views
2K
  • Last Post
Replies
1
Views
514
Replies
3
Views
4K
  • Last Post
Replies
0
Views
918
  • Last Post
Replies
4
Views
2K
Top