# Spherical basis

"Spherical tensor" redirects to here. For the concept related to operators see tensor operator.

In pure and applied mathematics, particularly quantum mechanics and computer graphics and their applications, a spherical basis is the basis used to express spherical tensors. The spherical basis closely relates to the description of angular momentum in quantum mechanics and spherical harmonic functions.

While spherical polar coordinates are one orthogonal coordinate system for expressing vectors and tensors using polar and azimuthal angles and radial distance, the spherical basis are constructed from the standard basis and use complex numbers.

## Spherical basis in three dimensions

A vector A in 3d Euclidean space ℝ3 can be expressed in the familiar Cartesian coordinate system in the standard basis ex, ey, ez, and coordinates Ax, Ay, Az:

or any other coordinate system with associated basis set of vectors.

### Basis definition

In the spherical bases denoted e+, e, e0, and associated coordinates with respect to this basis, denoted A+, A, A0, the vector A is:

where the spherical basis vectors can be defined in terms of the Cartesian basis using complex-valued coefficients in the xy plane:[1]

in which i denotes the imaginary unit, and one normal to the plane in the z direction:

${\displaystyle {\mathbf {e} }_{0}={\mathbf {e} }_{z}}$

The inverse relations are:

### Coordinate vectors

{{#invoke:main|main}}

For the spherical basis, the coordinates are complex-valued numbers A+, A0, A, and can be found by substitution of (Template:EquationNote) into (Template:EquationNote), or directly calculated from the inner product Template:Langle , Template:Rangle (Template:EquationNote):

${\displaystyle A_{0}=\left\langle {\mathbf {e} }_{0},{\mathbf {A} }\right\rangle =\left\langle {\mathbf {e} }_{z},{\mathbf {A} }\right\rangle =A_{z}}$

with inverse relations:

In general, for two vectors with complex coefficients in the same real-valued orthonormal basis ei, with the property ei·ej = δij , the inner product is:

where · is the usual dot product and the complex conjugate * must be used to keep the magnitude (or "norm") of the vector positive definite.

## Properties (three dimensions)

### Orthonormality

The spherical basis is an orthonormal basis, since the inner product Template:Langle , Template:Rangle (Template:EquationNote) of every pair vanishes meaning the basis vectors are all mutually orthogonal:

${\displaystyle \left\langle {\mathbf {e} }_{+},{\mathbf {e} }_{-}\right\rangle =\left\langle {\mathbf {e} }_{-},{\mathbf {e} }_{0}\right\rangle =\left\langle {\mathbf {e} }_{0},{\mathbf {e} }_{+}\right\rangle =0}$

and each basis vector is a unit vector:

${\displaystyle \left\langle {\mathbf {e} }_{+},{\mathbf {e} }_{+}\right\rangle =\left\langle {\mathbf {e} }_{-},{\mathbf {e} }_{-}\right\rangle =\left\langle {\mathbf {e} }_{0},{\mathbf {e} }_{0}\right\rangle =1}$

hence the need for the normalizing factors of 1/Template:Sqrt.

### Change of basis matrix

The defining relations (Template:EquationNote) can be summarized by a transformation matrix U:

${\displaystyle {\begin{pmatrix}{\mathbf {e} }_{+}\\{\mathbf {e} }_{-}\\{\mathbf {e} }_{0}\end{pmatrix}}={\mathbf {U} }{\begin{pmatrix}{\mathbf {e} }_{x}\\{\mathbf {e} }_{y}\\{\mathbf {e} }_{z}\end{pmatrix}}\,,\quad {\mathbf {U} }={\begin{pmatrix}-{\frac {1}{\sqrt {2}}}&-{\frac {i}{\sqrt {2}}}&0\\+{\frac {1}{\sqrt {2}}}&-{\frac {i}{\sqrt {2}}}&0\\0&0&1\end{pmatrix}}\,,}$

with inverse:

${\displaystyle {\begin{pmatrix}{\mathbf {e} }_{x}\\{\mathbf {e} }_{y}\\{\mathbf {e} }_{z}\end{pmatrix}}={\mathbf {U} }^{-1}{\begin{pmatrix}{\mathbf {e} }_{+}\\{\mathbf {e} }_{-}\\{\mathbf {e} }_{0}\end{pmatrix}}\,,\quad {\mathbf {U} }^{-1}={\begin{pmatrix}-{\frac {1}{\sqrt {2}}}&+{\frac {1}{\sqrt {2}}}&0\\+{\frac {i}{\sqrt {2}}}&+{\frac {i}{\sqrt {2}}}&0\\0&0&1\end{pmatrix}}\,.}$

It can be seen that U is a unitary matrix, in other words its Hermitian conjugate U (complex conjugate and matrix transpose) is also the inverse matrix U−1.

For the coordinates:

${\displaystyle {\begin{pmatrix}A_{+}\\A_{-}\\A_{0}\end{pmatrix}}={\mathbf {U} }^{\mathrm {*} }{\begin{pmatrix}A_{x}\\A_{y}\\A_{z}\end{pmatrix}}\,,\quad {\mathbf {U} }^{\mathrm {*} }={\begin{pmatrix}-{\frac {1}{\sqrt {2}}}&+{\frac {i}{\sqrt {2}}}&0\\+{\frac {1}{\sqrt {2}}}&+{\frac {i}{\sqrt {2}}}&0\\0&0&1\end{pmatrix}}\,,}$

and inverse:

${\displaystyle {\begin{pmatrix}A_{x}\\A_{y}\\A_{z}\end{pmatrix}}=({\mathbf {U} }^{\mathrm {*} })^{-1}{\begin{pmatrix}A_{+}\\A_{-}\\A_{0}\end{pmatrix}}\,,\quad ({\mathbf {U} }^{\mathrm {*} })^{-1}={\begin{pmatrix}-{\frac {1}{\sqrt {2}}}&+{\frac {1}{\sqrt {2}}}&0\\-{\frac {i}{\sqrt {2}}}&-{\frac {i}{\sqrt {2}}}&0\\0&0&1\end{pmatrix}}\,.}$

### Cross products

Taking cross products of the spherical basis vectors, we find an obvious relation:

${\displaystyle {\mathbf {e} }_{q}\times {\mathbf {e} }_{q}={\boldsymbol {0}}}$

where q is a placeholder for +, −, 0, and two less obvious relations:

${\displaystyle {\mathbf {e} }_{\pm }\times {\mathbf {e} }_{\mp }=\pm i{\mathbf {e} }_{0}}$
${\displaystyle {\mathbf {e} }_{\pm }\times {\mathbf {e} }_{0}=\pm i{\mathbf {e} }_{\pm }}$

### Inner product in the spherical basis

The inner product between two vectors A and B in the spherical basis follows from the above definition of the inner product:

${\displaystyle \left\langle {\mathbf {A} },{\mathbf {B} }\right\rangle =A_{+}B_{+}^{\star }+A_{-}B_{-}^{\star }+A_{0}B_{0}^{\star }}$