Everything2
Near Matches
Ignore Exact
Full Text
Everything2

Liouville's Theorem

created by ariels

(idea) by ariels (5.6 d) (print)   ?   I like it! Mon Apr 10 2000 at 13:39:45

Theorem.

Any bounded (holomorphic) entire function is constant.

In fact, considerably more than this is known: the real and imaginary parts of a holomorphic function are harmonic functions; not only do no bounded harmonic functions exist in R^n, but in fact minimal rates of growth may be established.

Actually, proving a discrete version of this theorem is rather more difficult than the continuous versions -- see Z^n admits no bounded harmonic function for more details.


(thing) by Suvrat (3.5 mon) (print)   ?   I like it! Mon Dec 18 2000 at 5:54:58

Liouville's theorem in Physics refers to the theorem that under Hamiltonian evolution the volume in phase space occupied by a collection of particles remains constant - that is these particles behave like an incompressible fluid.

For example consider a box full of monoatomic gas molecules. The phase space for this system is 6 dimensional. Now each molecule may be represented by a point in phase space. Liouville's theorem states that as the system evolves the total volume occupied by these particles in phase space will be conserved.


(thing) by ilteroi (1.5 wk) (print)   ?   I like it! Wed May 25 2005 at 11:47:22

The Liouville Theorem is in fact quite easy to understand ... though a formal proof might be more complicated.

Anyway. Physicists like to look at problems in phase space, that is, a coordinate system of spatial and momentum coordinates. In that space an object therefore usually has 6 coordinates - 3 for space (x1,x2,x3) and 3 for momentum (p1,p2,p3). These values determine the future of the object - using the Hamilton formalism one can calculate its trajectory in phase space.

Now suppose you have a number of points in phase space like this:

p /\        .
  |        ....
  |        ......
  |      .....
  |       ..
  |       
  |---------------> 
                  x

If now one of the inner points' trajectories were to touch one of the outer points', from then on it would evolve right along with that other point. That means it can not cross! And in fact, two trajectories cannot even touch because there are always other trajectories in between (the coordinates are real numbers) which would have to be crossed first!

Therefore an inner point will always remain an inner point ... the group of points may change its shape, but the area (or volume in 6d) has to stay constant because there's no place to go for the inner points. A phase space volume behaves like an incompressible liquid and the phase space density is constant!

PS: It seems that the theorem ariels refers to is a different one, also called Liouville's Boundedness Theorem.

printable version
chaos

holomorphic function Z^n admits no bounded harmonic function Principles of mathematical analysis Node More Mathematics
Cauchy's Inequality Fundamental theorem of algebra Bose-Einstein condensate 10% real reconstituted fruit juice
Multiplicative Safeco Field limit mathematics
entire Augustin Cauchy Liouville's number Cauchy-Goursat Theorem
algebraically closed Sturm-Liouville Theory Poisson's equation real number
Picard-Lindeloef Theorem Incompressible Elliptic function de Moivre's Theorem
Y'know, if you log in, you can write something here, or contact authors directly on the site. Create a New User if you don't already have an account.
  Epicenter
Login
Password

password reminder
register

Everything2 Help

Cool Staff Picks
Nodes your grandpa would have liked:
product placement
Oranges & Lemons
Yoruba
BeOS
So what if your radical ideas have already occurred to others
Roger Clemens
VHS
Wheresoever he went, there was Eden
Albigensian Crusade
Jason Voorhees
Berne's feminist graffiti
do re mi fa so la ti do
Jimmy Carter
New Writeups
Junkill
Saci(idea)
Scientist
futureme.org(thing)
cryforhelp
Why I love Everything2(idea)
Jet-Poop
Uncle Sam(person)
nailbiter
direct marketing(thing)
Ouzo
Existential Dilemmas(personal)
shaogo
Robert Mondavi(person)
Ouzo
Goodwill Hunting, Thrift Store(ies)(log)
Pandeism Fish
How conatus compels divine ketosis through a radical kenosis(essay)
cryforhelp
Major dictionaries of the world(review)
Glowing Fish
The Uncanny X-Men and the New Teen Titans(thing)
WolfKeeper
Launch loop(idea)
TendoKing
Katana(person)
Wuukiee
Highly ornamental cultivars of brambles still have as many thorns as their wild counterparts(idea)
TheDeadGuy
Editor Log: May 2008(log)
This affordable entertainment brought to you by The Everything Development Company