math makes the world(s) go ‘ round

90
Math Makes the World(s) Go ‘Round A Mathematical Derivation of Kepler’s Laws of Planetary Motion

Upload: emiko

Post on 11-Jan-2016

46 views

Category:

Documents


2 download

DESCRIPTION

Math Makes the World(s) Go ‘ Round. A Mathematical Derivation of Kepler ’ s Laws of Planetary Motion. by Dr. Mark Faucette. Department of Mathematics University of West Georgia. A Little History. A Little History. - PowerPoint PPT Presentation

TRANSCRIPT

Page 1: Math Makes the  World(s) Go  ‘ Round

Math Makes the World(s) Go ‘Round

A Mathematical Derivation of Kepler’s

Laws of Planetary Motion

Page 2: Math Makes the  World(s) Go  ‘ Round

by Dr. Mark Faucette

Department of Mathematics

University of West Georgia

Page 3: Math Makes the  World(s) Go  ‘ Round

A Little History

Page 4: Math Makes the  World(s) Go  ‘ Round

A Little History

Modern astronomy is built on the interplay between quantitative observations and testable theories that attempt to account for those observations in a logical and mathematical way.

Page 5: Math Makes the  World(s) Go  ‘ Round

A Little History

In his books On the Heavens, and Physics, Aristotle (384-322 BCE) put forward his notion of an ordered universe or cosmos.

Page 6: Math Makes the  World(s) Go  ‘ Round

A Little History

In the sublunary region, substances were made up of the four elements, earth, water, air, and fire.

Page 7: Math Makes the  World(s) Go  ‘ Round

A Little History

Earth was the heaviest, and its natural place was the center of the cosmos; for that reason the Earth was situated in the center of the cosmos.

Page 8: Math Makes the  World(s) Go  ‘ Round

A Little HistoryHeavenly bodies

were part of spherical shells of aether. These spherical shells fit tightly around each other in the following order: Moon, Mercury, Venus, Sun, Mars, Jupiter, Saturn, fixed stars.

Page 9: Math Makes the  World(s) Go  ‘ Round

A Little HistoryIn his great

astronomical work, Almagest, Ptolemy (circa 200) presented a complete system of mathematical constructions that accounted successfully for the observed motion of each heavenly body.

Page 10: Math Makes the  World(s) Go  ‘ Round

A Little History

Ptolemy used three basic construc- tions, the eccentric, the epicycle, and the equant.

Page 11: Math Makes the  World(s) Go  ‘ Round

A Little HistoryWith such

combinations of constructions, Ptolemy was able to account for the motions of heavenly bodies within the standards of observational accuracy of his day.

Page 12: Math Makes the  World(s) Go  ‘ Round

A Little History

However, the Earth was still at the center of the cosmos.

Page 13: Math Makes the  World(s) Go  ‘ Round

A Little History

About 1514, Nicolaus Copernicus (1473-1543) distributed a small book, the Little Commentary, in which he stated

The apparent annual cycle of movements of the sun is caused by the Earth revolving round it.

Page 14: Math Makes the  World(s) Go  ‘ Round

A Little History

A crucial ingredient in the Copernican revolution was the acquisition of more precise data on the motions of objects on the celestial sphere.

Page 15: Math Makes the  World(s) Go  ‘ Round

A Little History

A Danish nobleman, Tycho Brahe (1546-1601), made im-portant contribu- tions by devising the most precise instruments available before the invention of the telescope for observing the heavens.

Page 16: Math Makes the  World(s) Go  ‘ Round

A Little History

The instruments of Brahe allowed him to determine more precisely than had been possible the detailed motions of the planets. In particular, Brahe compiled extensive data on the planet Mars.

Page 17: Math Makes the  World(s) Go  ‘ Round

A Little HistoryHe made the best

measurements that had yet been made in the search for stellar parallax. Upon finding no parallax for the stars, he (correctly) concluded that either

the earth was motionless at the center of the Universe, or

the stars were so far away that their parallax was too small to measure.

Page 18: Math Makes the  World(s) Go  ‘ Round

A Little History

Brahe proposed a model of the Solar System that was intermediate between the Ptolemaic and Copernican models (it had the Earth at the center).

Page 19: Math Makes the  World(s) Go  ‘ Round

A Little History

Thus, Brahe's ideas about his data were not always correct, but the quality of the observations themselves was central to the development of modern astronomy.

Page 20: Math Makes the  World(s) Go  ‘ Round

A Little History

Unlike Brahe, Johannes Kepler (1571-1630) believed firmly in the Copernican system.

Page 21: Math Makes the  World(s) Go  ‘ Round

A Little HistoryKepler was forced finally

to the realization that the orbits of the planets were not the circles demanded by Aristotle and assumed implicitly by Copernicus, but were instead ellipses.

Page 22: Math Makes the  World(s) Go  ‘ Round

A Little History

Kepler formulated three laws which today bear his name: Kepler’s Laws of Planetary Motion

Page 23: Math Makes the  World(s) Go  ‘ Round

Kepler’s Laws

Page 24: Math Makes the  World(s) Go  ‘ Round

Kepler’s Laws

Kepler’s

First

Law

The orbits of the planets are ellipses, with the Sun at one focus of the ellipse.

Page 25: Math Makes the  World(s) Go  ‘ Round

Kepler’s Laws

Kepler’s

Second

Law

The line joining the planet to the Sun sweeps out equal areas in equal times as the planet travels around the ellipse.

Page 26: Math Makes the  World(s) Go  ‘ Round

Kepler’s Laws

Kepler’s

Third

Law

The ratio of the squares of the revolutionary periods for two planets is equal to the ratio of the cubes of their semimajor axes:

Page 27: Math Makes the  World(s) Go  ‘ Round

Mathematical Derivation of Kepler’s Laws

Page 28: Math Makes the  World(s) Go  ‘ Round

Mathematical Derivation of Kepler’s Law

Kepler’s Laws can be derived using the calculus from two fundamental laws of physics:

• Newton’s Second Law of Motion

• Newton’s Law of Universal Gravitation

Page 29: Math Makes the  World(s) Go  ‘ Round

Newton’s Second Law of Motion

The relationship between an object’s mass m, its acceleration a, and the applied force F is

F = ma.

Acceleration and force are vectors (as indicated by their symbols being displayed in bold font); in this law the direction of the force vector is the same as the direction of the acceleration vector.

Page 30: Math Makes the  World(s) Go  ‘ Round

Newton’s Law of Universal Gravitation

For any two bodies of masses m1 and m2, the force of gravity between the two bodies can be given by the equation:

where d is the distance between the two objects and G is the constant of universal gravitation.

Page 31: Math Makes the  World(s) Go  ‘ Round

Choosing the Right Coordinate System

Page 32: Math Makes the  World(s) Go  ‘ Round

Choosing the Right Coordinate System

Just as we have two distinguished unit vectors i and j corresponding to the Cartesian coordinate system, we can likewise define two distinguished unit vectors ur and uθ corresponding to the polar coordinate system:

Page 33: Math Makes the  World(s) Go  ‘ Round

Choosing the Right Coordinate System

Taking derivatives, notice that

Page 34: Math Makes the  World(s) Go  ‘ Round

Choosing the Right Coordinate System

Now, suppose θ is a function of t, so θ= θ(t). By the Chain Rule,

Page 35: Math Makes the  World(s) Go  ‘ Round

Choosing the Right Coordinate System

For any point r(t) on a curve, let r(t)=||r(t)||, then

Page 36: Math Makes the  World(s) Go  ‘ Round

Choosing the Right Coordinate System

Now, add in a third vector, k, to give a right-handed set of orthogonal unit vectors in space:

Page 37: Math Makes the  World(s) Go  ‘ Round

Position, Velocity, and Acceleration

Page 38: Math Makes the  World(s) Go  ‘ Round

Position, Velocity, and Acceleration

Recall

Also recall the relationship between position, velocity, and acceleration:

Page 39: Math Makes the  World(s) Go  ‘ Round

Position, Velocity, and Acceleration

Taking the derivative with respect to t, we get the velocity:

Page 40: Math Makes the  World(s) Go  ‘ Round

Position, Velocity, and Acceleration

Taking the derivative with respect to t again, we get the acceleration:

Page 41: Math Makes the  World(s) Go  ‘ Round

Position, Velocity, and Acceleration

We summarize the position, velocity, and acceleration:

Page 42: Math Makes the  World(s) Go  ‘ Round

Planets Move in Planes

Page 43: Math Makes the  World(s) Go  ‘ Round

Planets Move in Planes

Recall Newton’s Law of Universal Gravitation and Newton’s Second Law of Motion (in vector form):

Page 44: Math Makes the  World(s) Go  ‘ Round

Planets Move in Planes

Setting the forces equal and dividing by m,

In particular, r and d2r/dt2 are parallel, so

Page 45: Math Makes the  World(s) Go  ‘ Round

Planets Move in Planes

Now consider the vector valued function

Differentiating this function with respect to t gives

Page 46: Math Makes the  World(s) Go  ‘ Round

Planets Move in Planes

Integrating, we get

This equation says that the position vector of the planet and the velocity vector of the planet always lie in the same plane, the plane perpendicular to the constant vector C. Hence, planets move in planes.

Page 47: Math Makes the  World(s) Go  ‘ Round

Boundary Values

Page 48: Math Makes the  World(s) Go  ‘ Round

Boundary Values

We will set up our coordinates so that at time t=0, the planet is at its perihelion, i.e. the planet is closest to the sun.

Page 49: Math Makes the  World(s) Go  ‘ Round

Boundary Values

By rotating the plane around the sun, we can choose our θ coordinate so that the perihelion corresponds to θ=0. So, θ(0)=0.

Page 50: Math Makes the  World(s) Go  ‘ Round

Boundary Values

We position the plane so that the planet rotates counterclockwise around the sun, so that dθ/dt>0.

Let r(0)=||r(0)||=r0 and let v(0)=||v(0)||=v0. Since r(t) has a minimum at t=0, we have dr/dt(0)=0.

Page 51: Math Makes the  World(s) Go  ‘ Round

Boundary Values

Notice that

Page 52: Math Makes the  World(s) Go  ‘ Round

Kepler’s Second Law

Page 53: Math Makes the  World(s) Go  ‘ Round

Kepler’s Second Law

Recall that

we have

Page 54: Math Makes the  World(s) Go  ‘ Round

Kepler’s Second Law

Setting t=0, we get

Page 55: Math Makes the  World(s) Go  ‘ Round

Kepler’s Second Law

Since C is a constant vector, taking lengths, we get

Recalling area differential in polar coordinates and abusing the notation,

Page 56: Math Makes the  World(s) Go  ‘ Round

Kepler’s Second Law

This says the rate at which the segment from the Sun to a planet sweeps out area in space is a constant. That is,

The line joining the planet to the Sun sweeps out equal areas in equal times as the planet travels around the ellipse.

Page 57: Math Makes the  World(s) Go  ‘ Round

Kepler’s First Law

Page 58: Math Makes the  World(s) Go  ‘ Round

Kepler’s First Law

Recall

Dividing the first equation by m and equating the radial components, we get

Page 59: Math Makes the  World(s) Go  ‘ Round

Kepler’s First Law

Recalling that

Substituting, we get

Page 60: Math Makes the  World(s) Go  ‘ Round

Kepler’s First Law

So, we have a second order differential equation:

We can get a first order differential equation by substituting

Page 61: Math Makes the  World(s) Go  ‘ Round

Kepler’s First Law

So, we now have a first order differential equation:

Multiplying by 2 and integrating, we get

Page 62: Math Makes the  World(s) Go  ‘ Round

Kepler’s First Law

From our initial conditions r(0)=r0 and dr/dt(0)=0, we get

Page 63: Math Makes the  World(s) Go  ‘ Round

Kepler’s First Law

This gives us the value of the constant, so

Page 64: Math Makes the  World(s) Go  ‘ Round

Kepler’s First Law

Recall that

Dividing the top equation by the bottom equation squared, we get

Page 65: Math Makes the  World(s) Go  ‘ Round

Kepler’s First Law

Simplifying, we get

Page 66: Math Makes the  World(s) Go  ‘ Round

Kepler’s First Law

To simplify further, substitute

and get

Page 67: Math Makes the  World(s) Go  ‘ Round

Kepler’s First Law

Which sign do we take? Well, we know that dθ/dt=r0v0/r2 > 0, and, since r is a minimum at t=0, we must have dr/dt > 0, at least for small values of t. So, we get

Hence, we must take the negative sign:

Page 68: Math Makes the  World(s) Go  ‘ Round

Kepler’s First Law

Integrating with respect to q, we get

Page 69: Math Makes the  World(s) Go  ‘ Round

Kepler’s First Law

When t=0, θ=0 and u=u0, so we have

Hence,

Page 70: Math Makes the  World(s) Go  ‘ Round

Kepler’s First Law

Now it all boils down to algebra:

Page 71: Math Makes the  World(s) Go  ‘ Round

Kepler’s First Law

This is the polar form of the equation of an ellipse, so the planets move in elliptical orbits given by this formula. This is Kepler's First Law.

Page 72: Math Makes the  World(s) Go  ‘ Round

Kepler’s Third Law

Page 73: Math Makes the  World(s) Go  ‘ Round

Kepler’s Third Law

The time T is takes a planet to go around its sun once is the planet’s orbital period. Kepler’s Third Law says that T and the orbit’s semimajor axis a are related by the equation

Page 74: Math Makes the  World(s) Go  ‘ Round

Anatomy of an Ellipse

An ellipse has a semi-major axis a, a semi-minor axis b, and a semi-focal length c. These are related by the equation b2+c2=a2. The eccentricity of the ellipse is defined to be e=c/a. Hence

Page 75: Math Makes the  World(s) Go  ‘ Round

Kepler’s Third Law

On one hand, the area of an ellipse is πab. On the other hand, the area of an ellipse is

Page 76: Math Makes the  World(s) Go  ‘ Round

Kepler’s Third Law

Equating these gives

Page 77: Math Makes the  World(s) Go  ‘ Round

Kepler’s Third Law

Setting θ=π in the equation of motion for the planet yields

Page 78: Math Makes the  World(s) Go  ‘ Round

Kepler’s Third Law

So,

This gives the length of the major axis:

Page 79: Math Makes the  World(s) Go  ‘ Round

Kepler’s Third Law

Now we’re ready to kill this one off. Recalling that

we have

Page 80: Math Makes the  World(s) Go  ‘ Round

Kepler’s Third Law

Page 81: Math Makes the  World(s) Go  ‘ Round

Kepler’s Third Law

since

Page 82: Math Makes the  World(s) Go  ‘ Round

Kepler’s Third Law

This is Kepler’s Third Law.

Page 83: Math Makes the  World(s) Go  ‘ Round

Now for the Kicker

Page 84: Math Makes the  World(s) Go  ‘ Round

Now for the Kicker

What is truly fascinating is that Kepler (1571-1630) formulated his laws solely by analyzing the data provided by Brahe.

Page 85: Math Makes the  World(s) Go  ‘ Round

Now for the Kicker

Kepler (1571-1630) derived his laws without the calculus, without Newton’s Second Law of Motion, and without Newton’s Law of Universal Gravitation.

Page 86: Math Makes the  World(s) Go  ‘ Round

Now for the Kicker

In fact, Kepler (1571-1630) formulated his laws before Sir Isaac Newton (1643-1727) was even born!

Page 87: Math Makes the  World(s) Go  ‘ Round

References

Page 88: Math Makes the  World(s) Go  ‘ Round

References

History:http://es.rice.edu/ES/humsoc/Galileo/Things/

ptolemaic_system.html

http://www-gap.dcs.st-and.ac.uk/~history/Mathematicians/Newton.html

http://www-gap.dcs.st-and.ac.uk/~history/Mathematicians/Copernicus.

http://csep10.phys.utk.edu/astr161/lect/history/brahe.html

http://es.rice.edu/ES/humsoc/Galileo/People/kepler.html

http://csep10.phys.utk.edu/astr161/lect/history/newton3laws.html

http://www.marsacademy.com/orbmect/orbles1.htm

Page 89: Math Makes the  World(s) Go  ‘ Round

References

Mathematics:Calculus, Sixth Edition, by Edwards & Penney, Prentice-Hall,

2002

Page 90: Math Makes the  World(s) Go  ‘ Round

Thank you for your attendance