|
|
|
Where to find spherical harmonics on a three-sphere?
Date: 1997/11/09
The spherical harmonics Y_lm(theta,phi) show up a lot in quantum
mechanics, for example the eigenfunctions for a particle constrained to
move on the surface of a two-sphere. I am curious what the
eigenfunctions look like for a particle which lives in four dimensions
but is constrained to move on the surface of a three-sphere, i assume
such functions are the higher dimensional analogs of the spherical
harmonics Y_lm(theta,phi) ?
Any good books or articles where i might find:
1. the higher dimensional spherical harmonics,
2. and the various vector operators for four dimensions in spherical
coordinates?
I suspect that this is something a good math student should be able to
derive?
Re: Where to find spherical harmonics on a three-sphere.
Date: 1997/11/13
In article <6444b6$m70@r02n01.cac.psu.edu>
ale2@psu.edu (ale2) writes:
> The spherical harmonics Y_lm(theta,phi) show up a lot in quantum
> mechanics, for example the eigenfunctions for a particle constrained to
> move on the surface of a two-sphere. I am curious what the
> eigenfunctions look like for a particle which lives in four dimensions
> but is constrained to move on the surface of a three-sphere, i assume
> such functions are the higher dimensional analogs of the spherical
> harmonics Y_lm(theta,phi) ?
>
> Any good books or articles where i might find:
>
> 1. the higher dimensional spherical harmonics,
>
> 2. and the various vector operators for four dimensions in spherical
> coordinates?
>
For the answer to question #2 take a look at "Schaum's Outline Series
on Vector Analysis" by Murray R. Spiegel. As for question #1, I found a
short list of spherical harmonics for the 3-sphere in the following
book "Hyperspherical Harmonics, Applications in Quantum Theory" by John
Avery. For anyone interested they are (all constants are dropped)
Y_0,0,0 = constant
Y_1,0,0 = -u_4
Y_1,1,0 = iu_3
Y_1,1,1 = -i(u_1 + iu_2)
Y_1,1,-1 = i(u_1 - iu_2)
Y2,0,0 = 4(u_4)^2 - 1
Y2,1,0 = -iu_4u_3
Y2,1,1 = iu_4(u_1 + iu_2)
Y2,1,-1 = -iu_4(u_1 - iu_2)
Y2,2,0 = -2(u_3)^2 + (u_1)^2 + (u_2)^2
Y2,2,1 = u_3(u_1 + iu_2)
Y2,2,-1 = -u_3(u_1 - iu_2)
Y2,2,2 = -(u_1 + iu_2)^2
Y2,2,-2 = -(u_1 - iu_2)^2
in the above
u_1 = x_1/R
u_2 = x_2/R
u_3 = x_3/R
u_4 = x_4/R
and the 3-sphere is defined by those points which satisfy
(x_1)^2 + (x_2)^2 + (x_3)^2 + (x_4)^2 = R^2
Particle in a box versus in a 3-sphere.
Date: 1997/11/09
The wave-functions for a particle in a box go like
Sin(a*Pi*x/L)Sin(b*Pi*y/L)Sin(c*Pi*z/L)
The wave-functions for a particle constrained to move on a sphere go
like:
spherical harmonic Y_lm(theta,phi)
The wave-functions for a particle constrained to move on the surface of
a three-sphere go like???
spherical harmonic Y_lmn(theta,phi,chi) ???
Re: Particle in a box versus in a 3-sphere.
From: distler@golem.ph.utexas.edu (Jacques Distler)
Date: 1997/11/09
In article <644uve$6ea@newsstand.cit.cornell.edu>, bwr1@cornell.edu wrote:
> In article <64448f$m70@r02n01.cac.psu.edu>, ale2 <ale2@psu.edu> wrote:
> >The wave-functions for a particle in a box go like
> >
> > Sin(a*Pi*x/L)Sin(b*Pi*y/L)Sin(c*Pi*z/L)
> >
> >The wave-functions for a particle constrained to move on a sphere go
> >like
> >
> > spherical harmonic Y_lm(theta,phi)
> >
> >The wave-functions for a particle constrained to move on the surface of
> >a three-sphere go like???
> >
> > spherical harmonic Y_lmn(theta,phi,chi) ???
> >
> >Thanks for any help!
>
> If they're constrained to move on a 2-dimensional surface, why do you
> have three spatial coordinates?
Because he is talking about motion on a THREE-dimensional surface.
>
> What's the difference between "on a sphere" and "on the surface of a three-
> sphere?" They sound like the same thing to me. I'm not sure what you're
> asking.
"The sphere" is more properly refered to as the 2-sphere, the locus
x^2+y^2+z^2=1
in R^3. He is talking about the 3-sphere, which is the locus
x^2+y^2+z^2+w^2=1
in R^4.
To answer the qustion, we should remind ourselves where the spherical
harmonics came from. There, we were simply looking at representations of
SO(3), the group of rotations about the origin in R^3. The irreducible
representations of SO(3) are labeled by a nonnegative integer, l, and are
2l+1 dimensional.
These rotations take the 2-sphere into itself, so the generators of SO(3)
can be represented as differential operators in phi and theta
Exercise: Take the expression for the angular momentum generators in
cartesian coordinates,
L_x = -i(y d/dz - z d/dy)
L_y = -i(z d/dx - x d/dz)
L_z = -i(x d/dy - y d/dx)
and convert them to spherical coordinates. Note that the r-dependence
drops out, and these can be written as differential operators in theta and
phi.
Hint:
The easiest one is L_z = -i d/dphi
The Y_{lm} are simply a basis for the l'th irreducible representation,
consisting of eigenfunctions of L_z.
Now on to the 3-sphere. There we are looking for irreducible
representations of SO(4), the group of rotations about the origin in R^4.
This group has SIX generators, whose expressions are similar to the above,
with pairs of cartesian coordinates chosen from (x,y,z,w).
At this point, you could proceed by brute force, as above. Write your six
generators in hyperspherical coordinates (noting that the r-dependence
drops out), and try to find representations.
But it helps to know what you are aiming for. It helps to know that the
double-cover of SO(3) is SU(2). Representations of SU(2) are as above, but
with l either integral or half-integral We throw away the half-integral l
represetnations ot get representations of SO(3). Similarly, the
double-cover of
SO(4) is SU(2)xSU(2), So an irreducible representation is labeled by TWO
irreducible representations of SU(2):
Y_{l,m;l',m'}
To get a representation of SO(4), and not its double cover, we need to
demand that l and l' are either both integral or both half-integral.
Jacques Distler
--
PGP public key: http://golem.ph.utexas.edu/~distler/distler.asc
Re: What exactly is the spin of a particle?
Date: 1997/11/09
In article <MPG.ecd724252e4e385989682@news.mclink.it>
mc9350@mclink.it (Stefano Bianchi) writes:
> Ciao!
> I've always thought the spin as something linked to the momentum of a
> particle, and never cared too much about it. Now that I'm getting
> involved in Quantum Mechanics and becoming aware of its importance, I
> really need a more precise explanation of what it is.
For an interesting article on spin see "What is Spin" by Hans C.
Ohanian in American Journal of Physics, Volume 54 June 1986.
Link to thread of next article.
What operators acting on what objects give spinor field?
Date: 1997/12/03
Take the gradient of a scalar field and you get a vector field. What
object (if any) that is not a spinor field when operated on with some
operator gives a spinor field?
And while we are on the subject of spinors, does one have to use as a
basis two spinors which are in opposite directions, say the +z and -z
directions? Could one use +z and -x for example? When it comes to
vectors (say in 3-space) one can use any triplet of vectors as a basis
as long as they define a non-zero volume.
Re: What operators acting on what objects give spinor field?
Date: 1997/12/07
In article <66cn6f$blo@gap.cco.caltech.edu>
kevin@cco.caltech.edu (Kevin A. Scaldeferri) writes:
> In article <662i35$1i62@r02n01.cac.psu.edu>, ale2 <ale2@psu.edu> wrote:
> > Could one use +z and -x for example?
>
> One could, since |-,x> = (|+,z> - |-,-z>)/sqrt(2) so they span the
> space. However, it's unclear why you would want to do this since
> orthogonal bases are so much nicer and less of a headache.
Its unclear with me also %^)
but thank you, its nice to know and i didn't!
Re: What operators acting on what objects give spinor field?
Date: 1997/12/06
In article <662i35$1i62@r02n01.cac.psu.edu>
ale2@psu.edu (ale2) writes:
> Take the gradient of a scalar field and you get a vector field. What
> object (if any) that is not a spinor field when operated on with some
> operator gives a spinor field?
Well i came up with a pair of "objects" from which one can get a spinor
field but they are not very cute.
If one is given the electric field E and magnetic field B as functions
of space and time then one can use these fields to produce a spinor
field of space and time. If we consider a spinor as a flagpole with
flag then simply let the magnitude and orientation of the "flagpole" be
given by E X B (the cross product of E and B) and let the orientation
of the flag be given by either E or B.
Other examples would be appreciated!
Re: What is a spinor?
Date: 1997/12/04
In article <666nkb$1c28@r02n01.cac.psu.edu>
ale2@psu.edu (ale2) writes without thinking too much:
>
> A flagpole with a flag or a linearly polarized photon are examples. You
> need four numbers in general to describe a spinor,
The example above should be linearly polarized *plane* wave and not
linearly polarized photon which suggests some kind of localization
which would require more numbers.
Re: What is a spinor?
Date: 1997/12/04
In article <666d8g$93f@panix2.panix.com>
erg@panix.com (Edward Green) writes:
> Taking a break from the philosophy of science, however embarrassing...
>
> Well? In terms I am likely to understand, say in the spirit of "a
> tensor is a linear machine with some number of input slots".
>
> Are they members of some more general class of objects?
A flagpole with a flag or a linearly polarized photon are examples. You
need four numbers in general to describe a spinor,
three for the description of the directed line segment (two numbers
(angles) for direction and one number for its magnitude,
and one number for the orientation of the flag about the pole.