20
IF ARCHIMEDES KNEW FUNCTIONS ... Oliver Knill, March 6, 2013, Pecha Kucha Day Wednesday, March 6, 13

IF ARCHIMEDES KNEW FUNCTIONS - Harvard Universitypeople.math.harvard.edu/.../pechakucha/pecha-kucha.pdf · IF ARCHIMEDES KNEW FUNCTIONS ... Oliver Knill, March 6, 2013, Pecha Kucha

  • Upload
    others

  • View
    4

  • Download
    0

Embed Size (px)

Citation preview

Page 1: IF ARCHIMEDES KNEW FUNCTIONS - Harvard Universitypeople.math.harvard.edu/.../pechakucha/pecha-kucha.pdf · IF ARCHIMEDES KNEW FUNCTIONS ... Oliver Knill, March 6, 2013, Pecha Kucha

IF ARCHIMEDESKNEW FUNCTIONS ...

Oliver Knill, March 6, 2013, Pecha Kucha DayWednesday, March 6, 13

Page 2: IF ARCHIMEDES KNEW FUNCTIONS - Harvard Universitypeople.math.harvard.edu/.../pechakucha/pecha-kucha.pdf · IF ARCHIMEDES KNEW FUNCTIONS ... Oliver Knill, March 6, 2013, Pecha Kucha

20'000 -4000 years ago

1 1 1 1 1 1 1

1 2 3 4 5 6 7S

D

...

...Plimpton 322Ishango

Wednesday, March 6, 13

Page 3: IF ARCHIMEDES KNEW FUNCTIONS - Harvard Universitypeople.math.harvard.edu/.../pechakucha/pecha-kucha.pdf · IF ARCHIMEDES KNEW FUNCTIONS ... Oliver Knill, March 6, 2013, Pecha Kucha

Differences and Sums

1 1 1 1 1 1 1

1 2 3 4 5 6 7

0 1 3 6 10 15 21

0 0 1 4 10 20 35

S D

0 0 0 1 5 15 35

Wednesday, March 6, 13

Page 4: IF ARCHIMEDES KNEW FUNCTIONS - Harvard Universitypeople.math.harvard.edu/.../pechakucha/pecha-kucha.pdf · IF ARCHIMEDES KNEW FUNCTIONS ... Oliver Knill, March 6, 2013, Pecha Kucha

Polynomials

1 1 1 1 1

1 2 3 4 5

0 1 3 6 10

0 0 1 4 10

S D

1x

1

0

0

0

x(x-1)

0 1 2 3 4

x(x-1)(x-2)

5 6

[1][x]

[x ]2

6

2

23

6[x ]

quantum deformation

Wednesday, March 6, 13

Page 5: IF ARCHIMEDES KNEW FUNCTIONS - Harvard Universitypeople.math.harvard.edu/.../pechakucha/pecha-kucha.pdf · IF ARCHIMEDES KNEW FUNCTIONS ... Oliver Knill, March 6, 2013, Pecha Kucha

Derivatives and IntegralsD f(x) = f(x+1)-f(x)

S f(x) = f(0)+f(1)+f(2)+...+f(x-1)

D x n-1= n x n (x+1)x (x-1)(x-2)x(x-1)(x-2)(x-3)-

= 4 x(x-1)(x-2)

D exp(a x) = a exp(ax) (1+a)(x+1)

-(1+a)x

a (1+a)x

=

Wednesday, March 6, 13

Page 6: IF ARCHIMEDES KNEW FUNCTIONS - Harvard Universitypeople.math.harvard.edu/.../pechakucha/pecha-kucha.pdf · IF ARCHIMEDES KNEW FUNCTIONS ... Oliver Knill, March 6, 2013, Pecha Kucha

Fundamental TheoremSD f(x) = f(x)-f(0) DSf(x)=f(x)

Wednesday, March 6, 13

Page 7: IF ARCHIMEDES KNEW FUNCTIONS - Harvard Universitypeople.math.harvard.edu/.../pechakucha/pecha-kucha.pdf · IF ARCHIMEDES KNEW FUNCTIONS ... Oliver Knill, March 6, 2013, Pecha Kucha

Proof of Part ISD f(n) = [f(n )- f(n-1)] +

[f(n-1)-f(n-2)] +

...

[f(2)-f(1)]

+[f(1)-f(0)

= f(n) -f(0) Wednesday, March 6, 13

Page 8: IF ARCHIMEDES KNEW FUNCTIONS - Harvard Universitypeople.math.harvard.edu/.../pechakucha/pecha-kucha.pdf · IF ARCHIMEDES KNEW FUNCTIONS ... Oliver Knill, March 6, 2013, Pecha Kucha

Proof of part IIDSf(n)= [f(0)+f(1)+...+ f(n-1)+ f(n)]

- [f(0)+f(1)+...+ f(n-1)]

= f(n)

Wednesday, March 6, 13

Page 9: IF ARCHIMEDES KNEW FUNCTIONS - Harvard Universitypeople.math.harvard.edu/.../pechakucha/pecha-kucha.pdf · IF ARCHIMEDES KNEW FUNCTIONS ... Oliver Knill, March 6, 2013, Pecha Kucha

∫ddx

0

x

f(t) dt = f(x)

∫0

x

f '(t) dt = f(x)-f(0)

GeneralizationD f(x) = [f(x+h)-f(x)]

S f(x) = [f(0)+f(h)+f(2h)+...+f(x)]

h

h

SD f(x) = f(x)-f(0)

DSf(x)=f(x)

Wednesday, March 6, 13

Page 10: IF ARCHIMEDES KNEW FUNCTIONS - Harvard Universitypeople.math.harvard.edu/.../pechakucha/pecha-kucha.pdf · IF ARCHIMEDES KNEW FUNCTIONS ... Oliver Knill, March 6, 2013, Pecha Kucha

More Functions

exp(i x) = cos(x) + i sin(x) D sin(x) = cos(x)D cos(x) = -sin(x)

exp(a x) = (1+a)x

10 20 30 40

-1.5

-1.0

-0.5

0.5

1.0

1.5

10 20 30 40

-1.5

-1.0

-0.5

0.5

1.0

1.5

Wednesday, March 6, 13

Page 11: IF ARCHIMEDES KNEW FUNCTIONS - Harvard Universitypeople.math.harvard.edu/.../pechakucha/pecha-kucha.pdf · IF ARCHIMEDES KNEW FUNCTIONS ... Oliver Knill, March 6, 2013, Pecha Kucha

S sin(x) = 1-cos(x)S cos(x) = sin(x)

S exp(x) = exp(x)-1

1+2+4+8+16 =exp(5)-1 =2 -1

S x = xn+1n

1+2+3+...+n =2 2 2 2 n(n-1)(n-2)+n (n-1)

3 2

/(n+1)

Examples

5

We can sum!

Wednesday, March 6, 13

Page 12: IF ARCHIMEDES KNEW FUNCTIONS - Harvard Universitypeople.math.harvard.edu/.../pechakucha/pecha-kucha.pdf · IF ARCHIMEDES KNEW FUNCTIONS ... Oliver Knill, March 6, 2013, Pecha Kucha

Leibniz rule

f

g

f(x+h) g(x+h)-f(x)g(x) =

[(f(x+h)-f(x)] g(x+h) + f(x) [g(x+h)-g(x)]

D(f g) = f Dg + Df g +

Proof:

f Dg

Df g

+

Wednesday, March 6, 13

Page 13: IF ARCHIMEDES KNEW FUNCTIONS - Harvard Universitypeople.math.harvard.edu/.../pechakucha/pecha-kucha.pdf · IF ARCHIMEDES KNEW FUNCTIONS ... Oliver Knill, March 6, 2013, Pecha Kucha

H

(g(x+h)-g(x))

h

[f(g(x+h))-f(g(x))]/h=

f(g(x)+H)-f(g(x))

Chain ruleDf(g(x)) = (Df)(g(x)) Dg(x)

Proof:

QEDif H is nonzero

Wednesday, March 6, 13

Page 14: IF ARCHIMEDES KNEW FUNCTIONS - Harvard Universitypeople.math.harvard.edu/.../pechakucha/pecha-kucha.pdf · IF ARCHIMEDES KNEW FUNCTIONS ... Oliver Knill, March 6, 2013, Pecha Kucha

Taylor Theorem

f(x) = f(0)+f '(0) x + f ''(0) x + ... 2

2!

f '(x)=Df(x)=f(x+1)-f(x)

Newton 1665, Gregory 1670

Prooff(1) = f(0) + (f(1)-f(0)) 1f(2) = f(0) + (f(1)-f(0)) 2

+ (f(2)-2f(1)+f(0)) (2 1).2!

Wednesday, March 6, 13

Page 15: IF ARCHIMEDES KNEW FUNCTIONS - Harvard Universitypeople.math.harvard.edu/.../pechakucha/pecha-kucha.pdf · IF ARCHIMEDES KNEW FUNCTIONS ... Oliver Knill, March 6, 2013, Pecha Kucha

Example:

25

=1+5+5*4 + 5*4*3 + 5*4*3*2 + 5*4*3*2*1

exp(x) = 1+ x + x + x + ...2 3

2 6 24 120

!2 !3

Wednesday, March 6, 13

Page 16: IF ARCHIMEDES KNEW FUNCTIONS - Harvard Universitypeople.math.harvard.edu/.../pechakucha/pecha-kucha.pdf · IF ARCHIMEDES KNEW FUNCTIONS ... Oliver Knill, March 6, 2013, Pecha Kucha

Application: Fitting

Dow Jones Index

Wednesday, March 6, 13

Page 17: IF ARCHIMEDES KNEW FUNCTIONS - Harvard Universitypeople.math.harvard.edu/.../pechakucha/pecha-kucha.pdf · IF ARCHIMEDES KNEW FUNCTIONS ... Oliver Knill, March 6, 2013, Pecha Kucha

Differential Equations

D f = a f f(x)= f(0) exp(a x)D f = - f

2f(x) = a cos(x)+bsin(x)

Df = g f(x)= f(0)+Sg(x)

10 20 30 40

-1.5

-1.0

-0.5

0.5

1.0

1.5

X γ

Wednesday, March 6, 13

Page 18: IF ARCHIMEDES KNEW FUNCTIONS - Harvard Universitypeople.math.harvard.edu/.../pechakucha/pecha-kucha.pdf · IF ARCHIMEDES KNEW FUNCTIONS ... Oliver Knill, March 6, 2013, Pecha Kucha

3

-1

-2

4

1

4

3

1

5

2-3

Glimpse on Multivariable

Df=∆

f

∫∆f dr= f(b)-f(a)

SD

f(x) = f(x)-f(0)

Wednesday, March 6, 13

Page 19: IF ARCHIMEDES KNEW FUNCTIONS - Harvard Universitypeople.math.harvard.edu/.../pechakucha/pecha-kucha.pdf · IF ARCHIMEDES KNEW FUNCTIONS ... Oliver Knill, March 6, 2013, Pecha Kucha

Stokes Theorem

∫dF =∫ F G δG

DF=curl(F)

Wednesday, March 6, 13

Page 20: IF ARCHIMEDES KNEW FUNCTIONS - Harvard Universitypeople.math.harvard.edu/.../pechakucha/pecha-kucha.pdf · IF ARCHIMEDES KNEW FUNCTIONS ... Oliver Knill, March 6, 2013, Pecha Kucha

Source: "Death of Archimedes", 1815, Thomas Degeorge (1786-1854) "Circles Disturbed," edited by Apostolos Doxiadis and Barry Mazur.

Wednesday, March 6, 13