Next: Translations and Rotations in Up: The Helmholtz Equation Previous: Degenerate Eigenvalues   Contents   Index

## Complete Set of Commuting Operators

There is only one way of doing this. It is very direct, and it consists of exhibiting another matrix'', i.e., operator, which

1. has the same domain as ,
2. has the same eigenvectors that has, but
3. has eigenvalues which are different for different eigenvectors.
Examples of such matrices'' are

Their eigenvectors are the plane wave solutions,

a fact which is also the case for the Helmholtz operator,

However, note that the eigenvalues, and , are different for different plane wave solutions. Thus one has available a very succinct way of characterizing the elements of each degenerate subspace for each eigenvalue of . This way consists of the statement that the eigenbasis spanning this subspace be labelled by the eigenvalue triplet

of the corresponding three operators

This labelling is unique, i.e., the correspondence

is unique.The operators form what is called a complete set of commuting operators because their eigenvalues serve as sufficient labels to uniquely identify each of their (common) eigenbasis elements for the vector space of solutions to the Hermholtz equation. No additional labels are necessary.

In addition, notice the following: that the three operators have the same eigenvectors implies that they commute

In fact, one can show that two operators, each having an eigenbasis for the vector space, commute if and only if they have an eigenbasis in common. This commutativity is a representation independent way of stating that the invariant subspaces of one operator coincide with the invariant subspaces of the other operator, even though their eigenvalues do not. An alternate way of saying this is that

is a subspace invariant under , and . To illustrate the commonality of these subspaces, consider the one-dimensional subspace spanned by the eigenvector of the nondegenerate eigenvalue of ,

What can one say about ? To find out consider . Using the fact that one has

The fact that the eigenvalue is nondegenerate implies that is a multiple of :

Thus is also an eigenvector of . Thus we have proved an important Theorem

Suppose that

and is an eigenvector belonging to the nondegenerate eigenvalue :

then is also an eigenvector of .

Next: Translations and Rotations in Up: The Helmholtz Equation Previous: Degenerate Eigenvalues   Contents   Index
Ulrich Gerlach 2010-12-09