Integration and Matrices
[16/63%]Consider the matrix over
Find
Then calculate the commutator .
Consider the analytic function , and the matrix
Calculate applying the Cauchy integral theorem.
Let be an matrix over . If is not an eigenvalue of , then the matrix has an inverse, namely the resolvent
Let be the eigenvalues of . For , where is any positive constant greater than all the the resolvent can be expanded as
Calculate
Let be the vector space of all complex matrices. Let . Then , where denotes transpose. One defines a Gaussian measure on by
where denotes the Lebesgue measure on . The Fock space consists of all entire functions on which are square integrable with respect to the Gaussian measure . With the scalar product
one has a Hilbert space. Show that this Hilbert space has a reproducing kernel . This means a continuous function such that
for all and .
Let be an positive definite matrix over , i.e. for all . Calculate
Let be an unitary matrix, i.e.. The eigenvalues of lie on the unit circle; that is, they may be expressed in the form , . A function is called a class function if is symmetric in all its variables. Weyl gave an explicit formula for averaging class functions over the circular unitary ensemble
Thus we integrate the function over by parametrizing the group by the and using Weyl’s formula to convert the integral into an -fold integral over the . By definition the Haar measure is invariant under , where is any unitary matrix. The matrix can always be diagonalized by a unitary matrix, i.e.
where is an unitary matrix. Thus the integral over can be written as an integral over the matrix elements of and the eigenphases . Since the measure is invariant under unitary transformations, the integral over the matrix elements of can be evaluated straightforwardly, leaving the integral over the eigenphases. Show that for a class function we have
Let be an positive definite matrix over . Let and be column vectors in . Calculate
Note that
Let be an positive definite matrix over , i.e.all the eigenvalues, which are real, are positive. We also have . Consider the analytic function
Calculate the Fourier transform of . The Fourier transform is defined by
where and . The inverse Fourier transform is given by
where . With we have
Let be an matrix. Let . Assume that
and . Then we have
Calculate the left- and right-hand side of (1) for the matrix .
Consider the differentiable manifold
Show that the matrix
is unitary. Show that the matrix is an element of .
Consider the parameters with , , . Show that
is a parametrization. Thus the matrix given in (i) takes the form
and
Let with , , . Show that
where , and otherwise.
Consider the metric tensor field
Using the parametrization show that
Consider the three differential one forms , , defined by
Show that .
Show that
i.e., , .
Let , be matrices over . Let . Show that
Multiply both sides from the left with and differentiate with respect to .
Let . Consider an matrix , where the entries of depends smoothly on . Then one has the identity
Let and
Calculate the right-hand sides of the identities.
Let , be positive definite matrices. Then we have the integral representation ()
Let
Calculate the left- and right-hand side of the integral representation.
Consider the matrices
Find the commutator . Discuss. What is the condition such that ?
Let () be the Legendre polynomials
Show that the infinite dimensional matrix
where is given by
Note that the matrix is not symmetric. The matrix can be considered as a linear operator in the Hilbert space . Is ?
Let , , be positive definite matrices. Then (Lieb inequality)
Let
Calculate the left-hand side and right-hand side of the inequality.
Show that a sufficient condition such that one has an equality is that , , commute. However this condition is not necessary.