Download Riemann's example of an integral that is not differentiable

Survey
yes no Was this document useful for you?
   Thank you for your participation!

* Your assessment is very important for improving the work of artificial intelligence, which forms the content of this project

Document related concepts
no text concepts found
Transcript
Riemann’s example of function f for which
exists for all x, but
is not
differentiable when x is a rational number with even
denominator.
Riemann’s example of function f for which
exists for all x, but
is not
differentiable when x is a rational number with even
denominator.
What does a derivative look like? Can we find a
function that can’t be a derivative but which can be
integrated?
Does a derivative have to be continuous?
If F is differentiable at x = a, can
F '(x) be discontinuous at x = a?
If F is differentiable at x = a, can
F '(x) be discontinuous at x = a?
Yes!
 
x 2 sin 1 , x  0,
x
Fx   
x  0.
 0,
 
x 2 sin 1 , x  0,
x
Fx   
x  0.
 0,
 
 
F' x   2xsin 1 x  cos 1 x , x  0.
 
x 2 sin 1 , x  0,
x
Fx   
x  0.
 0,
 
 
F' x   2xsin 1 x  cos 1 x , x  0.
F h   F 0 
F' 0  lim
h 0
h
h 2 sin 1 h
 lim
h0
h
 lim h sin 1 h  0 .
h0
 
 
 
x 2 sin 1 , x  0,
x
Fx   
x  0.
 0,
 
 
F' x   2xsin 1 x  cos 1 x , x  0.
F h   F 0 
F' 0  lim
h 0
h
lim F' x  does not exist, but
2
1
x0
h sin h
 lim
F' 0 does exist (and equals 0).
h0
h
 
 
 lim h sin 1 h  0 .
h0
How discontinuous can a derivative be? Can it
have jump discontinuities where the limits from
left and right exist, but are not equal?
How discontinuous can a derivative be? Can it
have jump discontinuities where the limits from
left and right exist, but are not equal?
No!
If lim f ' x  and lim f' x exist,
xc
xc
then they must be equal and they
must equal f ' c.
Mean Value Theorem:
f  x  f c
f ' c  lim
 lim f ' k, x  k  c
x c
x c
x c
f x  f c
f ' c  lim
 lim f ' k, c  k  x
x c
xc
x c
If lim f ' x  and lim f' x exist,
xc
xc
then they must be equal and they
must equal f ' c.
Mean Value Theorem:
f  x  f c
f ' c  lim
 lim f ' k, x  k  c
x c
x c
x c
f x  f c
f ' c  lim
 lim f ' k, c  k  x
x c
xc
x c
The derivative of a function cannot
have any jump discontinuities!
Bernhard Riemann (1852, 1867) On the representation
of a function as a trigonometric series

b
Defined a

f
x

f  xdx as limit of  i xi  xi1 
Bernhard Riemann (1852, 1867) On the representation
of a function as a trigonometric series

b
Defined a

f
x

f  xdx as limit of  i xi  xi1 
Key to convergence: on each interval, look at the
variation of the function
Vi 
sup
x[ xi1, xi ]
f x  
inf
x[x i1 ,x i ]
f x
Bernhard Riemann (1852, 1867) On the representation
of a function as a trigonometric series

b
Defined a

f
x

f  xdx as limit of  i xi  xi1 
Key to convergence: on each interval, look at the
variation of the function
Vi 
sup
x[ xi1, xi ]
f x  
inf
x[x i1 ,x i ]
f x
Integral exists if and only if  Vi xi  xi1  can be made as
small as we wish by taking sufficiently small intervals.
Any continuous function is integrable:
Can make Vi as small as we want by taking
sufficiently small intervals:
 Vi xi  xi 1  

ba
 xi  xi1  

ba
b  a  .
Bernhard Riemann (1852, 1867) On the representation
of a function as a trigonometric series
Riemann gave an example of a function that has a
jump discontinuity in every subinterval of [0,1], but
which can be integrated over the interval [0,1].
Riemann’s function:
f x  


n1
n x
n2

x  nearest integer , when this is  1 2 ,
x  
1
0,
when
distance
to
nearest
integer
is


2
–2
–1
n x
n2
1
2
has n jumps of size 2 between 0 and 1
n
2
2

a
At x  2b , gcda,2b  1, the function jumps by
8b 2
Riemann’s function:
f x  


n1
n x
n2
2

a
At x  2b , gcda,2b  1, the function jumps by
8b 2
The key to the integrability is that given any positive number,
no matter how small, there are only a finite number of places
where is jump is larger than that number.
Riemann’s function:
f x  


n1
n x
n2
2

a
At x  2b , gcda,2b  1, the function jumps by
8b 2
The key to the integrability is that given any positive number,
no matter how small, there are only a finite number of places
where is jump is larger than that number.
Conclusion: Fx  
0 f t  dt exists and is well - defined
x
for all x, but F is not differentiable at any
rational number with an even denominator.
Related documents