# Gaussian type orbitals

In quantum chemistry, a **Gaussian type orbital** (GTO) is an atomic orbital used in linear combinations forming molecular orbitals. GTOs were proposed by Boys^{[1]} as early as 1950, and are at present the basis functions most generally used in quantum chemical program packages.

A GTO is a real-valued function of a 3-dimensional vector * r* = (

*x*,

*y*,

*z*), the vector pointing from an origin to the position of an electron. Usually the origin is centered on a nucleus in a molecule, but in principle the origin can be anywhere in space. The defining characteristic of Gaussian type orbital is its radial part, which is given by a Gaussian function exp(−α

*r*

^{ 2}), where

*r*is the length of the electron position vector

*and α is a real parameter. The parameter α may be taken from tables of atomic orbital basis sets, which are often contained in quantum chemical computer programs, or can be downloaded from the web. The tables of α may have been prepared by energy minimizations, or by fitting to other (known) orbitals, for instance to Slater type orbitals.*

**r**## Angular parts of Gaussian type orbitals

There are two kinds of GTOs in common use: Cartesian and spherical GTOs. They differ in their angular parts.

### Cartesian GTOs

(Unnormalized) Cartesian GTOs are defined by an angular part which is a homogeneous polynomial in the components *x*, *y*, and *z* of the position vector * r*. That is,

In general there are (*n* + 1)(*n* + 2)/2 homogeneous polynomials of degree *n* in three variables. For instance, for *n* = 3 we have the following ten Cartesian GTOs,

Note that a set of three *p*-type (*l* = 1) atomic orbitals (see hydrogen-like atom for the meaning of *p* and *l* ) can be found as linear combinations of nine out of the ten Cartesian GTOs of degree *n* = 3
(recall that *r*² = x² + y² + z²):

Observe that the expressions between square brackets only depend on *r* and hence are spherical-symmetric. The angular parts of these functions are eigenfunctions of the orbital angular momentum operator with quantum number *l* = 1 [eigenvalue 1(1+1)].

Likewise, a single *s*-orbital *r*^{2}exp[−α*r*^{2}] is "hidden" in a set of six orbitals of degree *n* = 2:

The general rule is that even powers of *r*, *r*^{2k}, can be factored out of the Cartesian GTOs, leaving homogeneous polynomials of order *l*, which are eigenfunctions of orbital angular momentum with eigenvalue *l*(*l*+1). The quantum number *l* runs as follows

which are to be multiplied with *corresponding factors* *r*^{2k} to obtain the Cartesian GTOs (homogeneous of order *n*), where

For instance, *n* = 5 gives *l* = 1, 3, 5, *k* = 2, 1, 0, with dimensions: 2(*l*+1) = 3+7+11 = 21 = (5+1)(5+2)/2.
This result has an interesting group theoretical interpretation.^{[2]}

It could be supposed that the "hidden" orbitals with *l* < *n* could be an improvement of the AO basis employed in a quantum chemical calculation. However, often they are not. They are prone to give rise to linear dependencies. The spherical GTOs, to be discussed now, are less plagued by the linear dependence problem.

### Spherical GTOs

Cosine- and sine-type regular solid harmonics (normalized to unity) can be defined by the following unitary matrix/vector expression

and for *m* = 0:

where is a spherical harmonic function.
For instance the functions for *l* = 2 are explicitly,

See solid harmonics for closed expressions of regular harmonics expressed in Cartesian coordinates. If one expresses regular solid harmonics in spherical polar coordinates, the cosine-type functions contain the factor cos |*m*| φ and the sine-type functions sin |*m*| φ. Hence the name. It is of some interest to recall that spherical and solid harmonics span equivalent irreducible representations of the rotation group SO(3).

After this preliminary, we can state that a *spherical GTO* (radial part unnormalized) is either of cosine-type

or of sine-type

It can be proved that the 2*l* + 1 (orthogonal) spherical GTOs of order *l* are linear combinations of the Cartesian GTOs of order * n * = *l*. That is, the spherical GTOs span a 2*l*+1 dimensional subspace of the (*n*+1)(*n*+2)/2-dimensional Cartesian GTO space spanned by the Cartesian GTOs of order *n*. In fact, the spherical GTOs span the subspace orthogonal to the subpaces of *l* < *n* that—as we have seen above—are subspaces of the Cartesian GTO space. As discussed above, the subspaces with *l* < *n* are characterized by the fact that powers of *r*^{2} are factored out. For regular solid harmonics a power of *r*^{2} cannot be factored out by forming some linear combination [since regular harmonics span an irreducible representation of the group SO(3)].

The quantum chemical methods, for which GTOs are designed, require the calculation of numerous integrals (one- and two-electron integrals, one- through four-center integrals). In practice these integrals are computed on basis of Cartesian GTOs and then transformed to spherical GTOs. This means that basis functions containing powers of *r*^{2} are discarded when spherical GTOs are used. Although the CPU cycles required for the integration seem wasted, this discarding shortens
the list of integrals. Moreover, spherical GTOs do not become linearly dependent as easily as Cartesian GTOs. As a final advantage we mention that they lead to well-defined selection rules (a priori rules that tell whether certain integrals will vanish), because they are eigenfunctions of orbital angular momentum. This latter property makes results of calculations based on spherical GTOs more transparent and easier to interpret than those based on Cartesian GTOs. It is therefore not surprising that spherical GTOs have been gaining ground on Cartesian GTOs, although some computer packages still give the user a choice.

## Primitive GTOs and contracted sets

The GTOs have two major disadvantages:

- They do not have a cusp on the nucleus.
- They fall off too rapidly for large
*r*.

It can be shown that the radial part χ(*r*) of an AO must have a non-vanishing first derivative (a so-called cusp) at the nucleus:

while clearly,

It can also be shown that for large *r* the orbital must fall off exponentially [as exp(−*r* )].
Slater orbitals (STOs) satisfy both requirements, but are so difficult to integrate that they are hardly used for general molecules. Comparative quantum chemical calculations on diatomic molecules, however, showed that results from GTOs can be as good as those from STOs, provided the GTO basis is much larger (by a factor three to four). GTOs with large α are very much concentrated around the origin (in the limit of infinite α they tend to a Dirac delta function) and can mimick the correct cusp. GTOs with small α are very diffuse (spread out) and can describe the behavior of a molecular orbital (MO) at large *r*.

Large basis sets lead to large integral lists (if *m* is the total number of GTOs, the length of the list is proportional to *m*^{4}) and costly further calculations. For example, a post-Hartree-Fock method like CCSD(T) requires computer time proportional to *m*^{7}. It turns out that a reliable description of atomic inner shell orbitals requires a fair amount of basis functions, but it also turns out that these orbitals are described by linear combinations of GTOs that hardly change from molecule to molecule. Further it appears—not surprisingy—that the form of the inner shell orbitals do not affect chemical binding very much. These considerations led to the introduction of **contracted sets of primitive GTOs**.

A contracted set is a predetermined linear combination of radial parts of GTOs (that are on the same center). Indexing different parameters α by *s*, the definition of a contracted set χ(*r*) is,

where *M* is the *length* of the contraction. The *contraction coefficients* are *d*_{s}. The functions are called *primitive* GTOs. The contraction coefficients *d*_{s} and the corresponding exponents *α*_{s} are tabulated side-by-side and together they define the (contracted) GTO χ(*r*). In a quantum chemical calculation it is χ(*r*) that is considered to be the radial part of an AO. It can be multiplied by a homogeneous polynomial in *x*, *y*, and *z* to become a Cartesian GTO, or χ(*r*) can be multiplied by a regular solid harmonic to become a spherical GTO. The number of contracted sets on a single nucleus that can be included in a calculation is in principle unlimited. In practice, computer time and linear dependence form bounds to the number.

In the early Gaussian-based computer programs the contractions were usually *segmented*, that is to say, a primitive function appeared in one contraction only. Nowadays *general contractions* are more common, a primitive GTO may appear in more than one contraction.

## Gaussian product rule

The main reason that Gaussians are easy to handle is the *Gaussian product rule*. In almost all quantum chemical integrals one meets two center distributions, that is, product functions of the form

with

where **A** and **B** are position vectors of the different fixed points *A* and *B* in the molecule (usually the positions of nuclei). The vector * r* is the position vector of an electron.

The Gaussian product rule states that Φ(*r*) is proportional to a *single* Gauss function of * r* centered somewhere on the line A—B. More precisely,

with

Note that the position of *C* is given by the following parametric equation for the line segment between *A* and *B*

The angular parts of a two-center distribution can be expressed relatively simply with respect to the center *C*, so that the rule simplifies an integral over a two-center distribution to a one-center integral. An analogous result holds for a four-center integral (which depends on two-center distributions of two different electrons). A four-center integral is reduced to a two-center integral by application of the Gaussian product rule.

The **proof** of the rule is simple. Considering the exponents only, we write

and determine *P*, γ and * C* by expanding and equating coefficients of

*r*. Terms in

*r*

^{2}:

Terms linear in * r* :

which gives the result to be proved for * C*.
Finally equating the constant terms:

Hence

Putting these findings as exponents in the exponential functions gives the result to be proved.

## References

- ↑ S. F. Boys, Proc. Royal Society, vol.
**A200**, p. 542 - ↑ The homogeneous polynomials of order
*n*in*x*,*y*, and*z*span the symmetric (*n*+1)(*n*+2)/2-dimensional representation [*n*] of the unitary group in three dimensions U(3). This group has the rotation group in three dimensions SO(3) as a subgroup. The subduction of [*n*] to is given by the rule for*l*, because we note that*l*labels irreducible representations of SO(3).