Hermitian operator: Difference between revisions
imported>Paul Wormer |
mNo edit summary |
||
| (4 intermediate revisions by 2 users not shown) | |||
| Line 1: | Line 1: | ||
An '''Hermitian operator''' is the physicist's version of an object that mathematicians call a [[self-adjoint operator]]. It is a linear operator on a vector space ''V'' | {{subpages}} | ||
An '''Hermitian operator''' is the physicist's version of an object that mathematicians call a [[self-adjoint operator]]. It is a linear operator on a vector space ''V'' that is equipped with positive definite [[inner product]]. In physics an inner product is usually notated as a bra and ket, following [[Dirac]]. Thus, the inner product of Φ and Ψ is written as, | |||
:<math> | :<math> | ||
\langle \Phi | \Psi \rangle \in \mathbb{C},\quad \Phi, \Psi \in V. | \langle \Phi | \Psi \rangle \in \mathbb{C},\quad \Phi, \Psi \in V. | ||
</math> | </math> | ||
Here "Φ is in the bra" and "Ψ is in the ket". | |||
Physicists use the convention | Physicists use the convention | ||
:<math> | :<math> | ||
| Line 11: | Line 14: | ||
where <math>c^*\,</math> is the complex conjugate of <math>c\,</math>. | where <math>c^*\,</math> is the complex conjugate of <math>c\,</math>. | ||
Physicists name the pair of linear operators <math>Q,\;Q^\dagger</math> each other's ''Hermitian adjoint'' when they are connected through the ''turn-over rule'', | Physicists name the pair of linear operators <font style="vertical-align: top"><math>\;\;Q,\;Q^\dagger\;\;</math></font> each other's ''Hermitian adjoint'' when they are connected through the ''turn-over rule'', | ||
:<math> | :<math> | ||
\langle \Phi | Q | \Psi \rangle = \langle Q^\dagger \Phi | \Psi \rangle. | \langle \Phi | Q | \Psi \rangle = \langle Q^\dagger \Phi | \Psi \rangle. | ||
</math> | </math> | ||
This is expressed by the statement: "the operator ''Q'' dagger is the Hermitian adjoint of ''Q''". Note that the second upright bar surrounding an operator in a bra-ket does not serve any function, some physicists omit it. | This is expressed by the statement: "the operator ''Q''-dagger is the Hermitian adjoint of ''Q''". Note that the second upright bar surrounding an operator in a bra-ket does not serve any function, some physicists omit it. | ||
Evidently, since the turn-over rule may bring the operator from ket to bra and back from bra to ket, | |||
:<math> | |||
\left( Q^\dagger\right)^\dagger = Q. | |||
</math> | |||
The linear operator ''Q'' is called '''Hermitian''' if it is equal to its Hermitian adjoint | The linear operator ''Q'' is called '''Hermitian''' if it is equal to its Hermitian adjoint. That is, if | ||
:<math> | :<math> | ||
Q^\dagger = Q ,\, | Q^\dagger = Q ,\, | ||
</math> | </math> | ||
''Q'' is Hermitian. | then ''Q'' is Hermitian. | ||
Except for problems associated with scattering of (nearly) free particles, it is common in physics not to consider the domain or range of the adjoint pair. The range and domain are usually taken to be the whole vector space ''V''. Doing this, physicists assume implicitly that the vector space ''V'' is of finite dimension. | |||
==Properties== | ==Properties== | ||
Hermitian operators have real [[eigenvalue]]s. Indeed, let | Hermitian operators have real [[eigenvalue]]s. Indeed, let | ||
| Line 46: | Line 54: | ||
In case of finite degeneracy (finite number of linearly independent eigenvectors associated with the ''same'' eigenvalue) orthogonality is not assured. However, it is always possible to orthogonalize a finite set of linearly independent set of vectors, i.e., to form linear superpositions such that the new set is orthogonal. | In case of finite degeneracy (finite number of linearly independent eigenvectors associated with the ''same'' eigenvalue) orthogonality is not assured. However, it is always possible to orthogonalize a finite set of linearly independent set of vectors, i.e., to form linear superpositions such that the new set is orthogonal. | ||
It can be shown that a Hermitian operator on a finite dimensional vector space has as many linearly independent eigenvectors as the dimension of the space. This means that its eigenvectors can serve as a basis of the space. Physicists often assume this to be true for operators on infinite dimensional spaces, but here one should be careful. For instance, the | It can be shown that a Hermitian operator on a finite dimensional vector space has as many linearly independent eigenvectors as the dimension of the space. This means that its eigenvectors can serve as a basis of the space. Physicists often assume this to be true for operators on infinite dimensional spaces, but here one should be careful. For instance, the normalizable eigenstates of a [[hydrogen-like atom|hydrogen-like]] Hamilton operator do not span the whole vector space that they belong to; they do not form a basis of the [[Hilbert space]] that they belong to. | ||
==Commuting Hermitian operators== | ==Commuting Hermitian operators== | ||
| Line 55: | Line 63: | ||
The zero operator maps any vector of the space onto the zero vector. | The zero operator maps any vector of the space onto the zero vector. | ||
Commuting operators can have common eigenvectors. If ''Q'' and ''R'' commute, a set of vectors can be found that are simultaneously eigenvectors of both Hermitian operators | Commuting operators can have common eigenvectors. If ''Q'' and ''R'' commute, a set of vectors can be found that are simultaneously eigenvectors of both Hermitian operators. Conversely, if a set of common eigenvectors exist that spans the whole space, then ''Q'' and ''R'' commute. | ||
To prove these statements, we let ''R'' have ''n'' orthogonal eigenvectors <math>|\Phi_i\rangle\,</math> with an eigenvalue ''r'' that is ''n''-fold degenerate, ''i'' = 1, ..., ''n''. These eigenvectors span a linear space called the ''eigenspace'' of ''R'' belonging to ''r''. (Note that the special case of no degeneracy follows by taking ''n = 1''). Now, | To prove these statements, we let ''R'' have ''n'' orthogonal eigenvectors <math>|\Phi_i\rangle\,</math> with an eigenvalue ''r'' that is ''n''-fold degenerate, ''i'' = 1, ..., ''n''. These eigenvectors span a linear space called the ''eigenspace'' of ''R'' belonging to ''r''. (Note that the special case of no degeneracy follows by taking ''n = 1''). Now, | ||
| Line 61: | Line 69: | ||
R\left(Q | \Phi_i \rangle\right) = Q\,R\, | \Phi_i \rangle = Q\, r\, | \Phi_i \rangle = r\, \left(Q | \Phi_i \rangle\right). | R\left(Q | \Phi_i \rangle\right) = Q\,R\, | \Phi_i \rangle = Q\, r\, | \Phi_i \rangle = r\, \left(Q | \Phi_i \rangle\right). | ||
</math> | </math> | ||
If <math>|\Phi_i \rangle</math> is an eigenvector of ''R'' with eigenvalue ''r'', and ''R'' commutes with ''Q'', then <math>Q | \Phi_i \rangle</math> is also an eigenvector of ''R'' with eigenvalue ''r''. This follows by considering the expressions between brackets on the left- and rightmost side of this equation. In other words, <math>Q | \Phi_i \rangle</math> belongs to the eigenspace associated with ''r'', | If <math>|\Phi_i \rangle</math> is an eigenvector of ''R'' with eigenvalue ''r'', and ''R'' commutes with ''Q'', then <math>Q | \Phi_i \rangle</math> is also an eigenvector of ''R'' with eigenvalue ''r''. This follows by considering the expressions between brackets on the left- and rightmost side of this equation. In other words, <math>Q | \Phi_i \rangle</math> belongs to the eigenspace associated with ''r'', i.e., the eigenspace is stable (invariant) under ''Q''. If <math>\;|\Psi \rangle\;</math> belongs to an eigenspace of ''R'', then <math>\;Q | \Psi \rangle\;</math> belongs to the same eigenspace. | ||
We are now faced with the problem of finding the eigenvectors of ''Q'' on a finite-dimensional eigenspace of ''R''. This problem is solvable (for instance by turning it into the corresponding matrix problem) and we obtain eigenvectors <math>\;|\Psi_j \rangle\;</math> of ''Q'', | We are now faced with the problem of finding the eigenvectors of ''Q'' on a finite-dimensional eigenspace of ''R''. This problem is solvable (for instance by turning it into the corresponding matrix problem) and we obtain eigenvectors <math>\;|\Psi_j \rangle\;</math> of ''Q'', | ||
| Line 67: | Line 75: | ||
|\Psi_j \rangle = \sum_{i=1}^n c_i |\Phi_i\rangle \quad \hbox{with}\quad Q |\Psi_j \rangle = q_j |\Psi_j \rangle. | |\Psi_j \rangle = \sum_{i=1}^n c_i |\Phi_i\rangle \quad \hbox{with}\quad Q |\Psi_j \rangle = q_j |\Psi_j \rangle. | ||
</math> | </math> | ||
Since the <math>|\Phi_i \rangle</math> in this expression are all eigenvectors of ''R'' with eigenvalue ''r'', it follows | Since the <math>|\Phi_i \rangle</math> in this expression are all eigenvectors of ''R'' with eigenvalue ''r'', it follows that | ||
:<math> | :<math> | ||
| Line 73: | Line 81: | ||
</math> | </math> | ||
Hence, from the commutation | Hence, from the commutation follows the first statement: there exists a set <math>\;|\Psi_j \rangle\;</math> of common eigenvectors. If the eigenvectors of ''R'' (with different eigenvalues) span the total vector space, then this set spans the whole space, too. | ||
Conversely, assume that the set of common eigenvectors | Conversely, assume that the set of common eigenvectors | ||
| Line 103: | Line 111: | ||
\langle Y_{\ell'}^{m'}\; |\; Y_{\ell}^m \rangle = \delta_{\ell'\,\ell}\; \delta_{m',m} \;N_{\ell}^m. | \langle Y_{\ell'}^{m'}\; |\; Y_{\ell}^m \rangle = \delta_{\ell'\,\ell}\; \delta_{m',m} \;N_{\ell}^m. | ||
</math> | </math> | ||
Here <math>N_{\ell}^m</math> is | Here <math>N_{\ell}^m</math> is a normalization constant (for spherical harmonics usually equal unity) and the δ's are [[Kronecker delta]]s (zero if the subscripts are different, one otherwise).[[Category:Suggestion Bot Tag]] | ||
Latest revision as of 11:00, 27 August 2024
An Hermitian operator is the physicist's version of an object that mathematicians call a self-adjoint operator. It is a linear operator on a vector space V that is equipped with positive definite inner product. In physics an inner product is usually notated as a bra and ket, following Dirac. Thus, the inner product of Φ and Ψ is written as,
- Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \langle \Phi | \Psi \rangle \in \mathbb{C},\quad \Phi, \Psi \in V. }
Here "Φ is in the bra" and "Ψ is in the ket".
Physicists use the convention
- Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \langle c\, \Phi | \Psi \rangle = c^* \langle \Phi | \Psi \rangle, \quad \langle \Phi | c \Psi \rangle = c \langle \Phi | \Psi \rangle, \quad\hbox{and} \quad \langle \Phi | \Psi \rangle = \langle \Psi | \Phi \rangle^*, }
where Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle c^*\,} is the complex conjugate of Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle c\,} .
Physicists name the pair of linear operators Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \;\;Q,\;Q^\dagger\;\;} each other's Hermitian adjoint when they are connected through the turn-over rule,
- Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \langle \Phi | Q | \Psi \rangle = \langle Q^\dagger \Phi | \Psi \rangle. }
This is expressed by the statement: "the operator Q-dagger is the Hermitian adjoint of Q". Note that the second upright bar surrounding an operator in a bra-ket does not serve any function, some physicists omit it. Evidently, since the turn-over rule may bring the operator from ket to bra and back from bra to ket,
- Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \left( Q^\dagger\right)^\dagger = Q. }
The linear operator Q is called Hermitian if it is equal to its Hermitian adjoint. That is, if
- Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle Q^\dagger = Q ,\, }
then Q is Hermitian.
Except for problems associated with scattering of (nearly) free particles, it is common in physics not to consider the domain or range of the adjoint pair. The range and domain are usually taken to be the whole vector space V. Doing this, physicists assume implicitly that the vector space V is of finite dimension.
Properties
Hermitian operators have real eigenvalues. Indeed, let
- Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle Q |\Phi\rangle = q |\Phi\rangle \quad\Longrightarrow\quad \langle \Phi | Q | \Phi \rangle = q\langle \Phi | \Phi \rangle = \langle Q \Phi | \Phi \rangle = \langle q\Phi | \Phi \rangle = q^* \langle \Phi | \Phi \rangle, }
from which follows Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle q = q^*\, } , that is, the eigenvalue q is real.
Eigenvectors of a Hermitian operator associated with different eigenvalues are orthogonal. Indeed, let
- Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle Q |\Phi\rangle = q |\Phi\rangle, \quad Q |\Phi'\rangle = q' |\Phi'\rangle, \quad q\ne q' . }
Then
- Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \langle \Phi | Q | \Phi' \rangle = q' \langle \Phi | \Phi' \rangle = \langle Q \Phi | \Phi' \rangle = q \langle \Phi | \Phi' \rangle , }
or, since q - q′ ≠ 0,
- Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle (q-q') \langle \Phi | \Phi' \rangle = 0 \;\Longrightarrow \; \langle \Phi | \Phi' \rangle = 0, }
which is expressed by stating that Φ and Φ′ are orthogonal (have zero inner product). In case of finite degeneracy (finite number of linearly independent eigenvectors associated with the same eigenvalue) orthogonality is not assured. However, it is always possible to orthogonalize a finite set of linearly independent set of vectors, i.e., to form linear superpositions such that the new set is orthogonal.
It can be shown that a Hermitian operator on a finite dimensional vector space has as many linearly independent eigenvectors as the dimension of the space. This means that its eigenvectors can serve as a basis of the space. Physicists often assume this to be true for operators on infinite dimensional spaces, but here one should be careful. For instance, the normalizable eigenstates of a hydrogen-like Hamilton operator do not span the whole vector space that they belong to; they do not form a basis of the Hilbert space that they belong to.
Commuting Hermitian operators
Two operators, Q and R, are said to commute, if their commutator [Q, R] is the zero operator, i.e., if
- Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \big[ Q, R \big] \equiv QR-RQ = 0. }
The zero operator maps any vector of the space onto the zero vector.
Commuting operators can have common eigenvectors. If Q and R commute, a set of vectors can be found that are simultaneously eigenvectors of both Hermitian operators. Conversely, if a set of common eigenvectors exist that spans the whole space, then Q and R commute.
To prove these statements, we let R have n orthogonal eigenvectors Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle |\Phi_i\rangle\,} with an eigenvalue r that is n-fold degenerate, i = 1, ..., n. These eigenvectors span a linear space called the eigenspace of R belonging to r. (Note that the special case of no degeneracy follows by taking n = 1). Now,
- Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle R\left(Q | \Phi_i \rangle\right) = Q\,R\, | \Phi_i \rangle = Q\, r\, | \Phi_i \rangle = r\, \left(Q | \Phi_i \rangle\right). }
If Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle |\Phi_i \rangle} is an eigenvector of R with eigenvalue r, and R commutes with Q, then Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle Q | \Phi_i \rangle} is also an eigenvector of R with eigenvalue r. This follows by considering the expressions between brackets on the left- and rightmost side of this equation. In other words, Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle Q | \Phi_i \rangle} belongs to the eigenspace associated with r, i.e., the eigenspace is stable (invariant) under Q. If Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \;|\Psi \rangle\;} belongs to an eigenspace of R, then Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \;Q | \Psi \rangle\;} belongs to the same eigenspace.
We are now faced with the problem of finding the eigenvectors of Q on a finite-dimensional eigenspace of R. This problem is solvable (for instance by turning it into the corresponding matrix problem) and we obtain eigenvectors Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \;|\Psi_j \rangle\;} of Q,
- Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle |\Psi_j \rangle = \sum_{i=1}^n c_i |\Phi_i\rangle \quad \hbox{with}\quad Q |\Psi_j \rangle = q_j |\Psi_j \rangle. }
Since the Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle |\Phi_i \rangle} in this expression are all eigenvectors of R with eigenvalue r, it follows that
- Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle R |\Psi_j \rangle = r|\Psi_j \rangle\qquad\hbox{and}\qquad Q|\Psi_j \rangle = q_j|\Psi_j \rangle. }
Hence, from the commutation follows the first statement: there exists a set Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \;|\Psi_j \rangle\;} of common eigenvectors. If the eigenvectors of R (with different eigenvalues) span the total vector space, then this set spans the whole space, too.
Conversely, assume that the set of common eigenvectors
- Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle |\Psi_{ij} \rangle \quad\hbox{with}\quad R |\Psi_{ij} \rangle = r_i |\Psi_{ij} \rangle \quad\hbox{and}\quad Q|\Psi_{ij} \rangle = q_j |\Psi_{ij} \rangle }
span the whole vector space. Then for an arbitrary vector Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle |\Phi \rangle} it holds that
- Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle |\Phi \rangle = \sum_{ij} c_{ij} |\Psi_{ij} \rangle }
so that
- Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle R Q|\Phi \rangle = \sum_{ij} c_{ij} r_i q_j |\Psi_{ij} \rangle = QR |\Phi \rangle = \sum_{ij} c_{ij} q_j r_i |\Psi_{ij} \rangle. }
Since for any element of the vector space it holds that RQ = QR, the linear operators commute.
Example
The total orbital angular momentum operator squared commutes with its z-component
- Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle [L^2, L_z] = 0. \; }
It can be shown that spherical harmonics are eigenvectors of both commuting operators simultaneously
- Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle L^2\; |Y_{\ell}^m \rangle = \ell(\ell+1)\; |Y_{\ell}^m \rangle, \quad L_z \;|Y_{\ell}^m \rangle = m \; |Y_{\ell}^m \rangle }
Hence
- Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \langle Y_{\ell'}^{m'}\; |\; Y_{\ell}^m \rangle = \delta_{\ell'\,\ell}\; \delta_{m',m} \;N_{\ell}^m. }
Here Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle N_{\ell}^m} is a normalization constant (for spherical harmonics usually equal unity) and the δ's are Kronecker deltas (zero if the subscripts are different, one otherwise).