2009-10-01 07:20:09 +02:00
|
|
|
// This file is part of Eigen, a lightweight C++ template library
|
|
|
|
|
// for linear algebra.
|
|
|
|
|
//
|
|
|
|
|
// Copyright (C) 2009 Claire Maurice
|
|
|
|
|
// Copyright (C) 2009 Gael Guennebaud <g.gael@free.fr>
|
|
|
|
|
//
|
|
|
|
|
// Eigen is free software; you can redistribute it and/or
|
|
|
|
|
// modify it under the terms of the GNU Lesser General Public
|
|
|
|
|
// License as published by the Free Software Foundation; either
|
|
|
|
|
// version 3 of the License, or (at your option) any later version.
|
|
|
|
|
//
|
|
|
|
|
// Alternatively, you can redistribute it and/or
|
|
|
|
|
// modify it under the terms of the GNU General Public License as
|
|
|
|
|
// published by the Free Software Foundation; either version 2 of
|
|
|
|
|
// the License, or (at your option) any later version.
|
|
|
|
|
//
|
|
|
|
|
// Eigen is distributed in the hope that it will be useful, but WITHOUT ANY
|
|
|
|
|
// WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS
|
|
|
|
|
// FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License or the
|
|
|
|
|
// GNU General Public License for more details.
|
|
|
|
|
//
|
|
|
|
|
// You should have received a copy of the GNU Lesser General Public
|
|
|
|
|
// License and a copy of the GNU General Public License along with
|
|
|
|
|
// Eigen. If not, see <http://www.gnu.org/licenses/>.
|
|
|
|
|
|
|
|
|
|
#ifndef EIGEN_COMPLEX_EIGEN_SOLVER_H
|
|
|
|
|
#define EIGEN_COMPLEX_EIGEN_SOLVER_H
|
|
|
|
|
|
|
|
|
|
/** \eigenvalues_module \ingroup Eigenvalues_Module
|
|
|
|
|
* \nonstableyet
|
|
|
|
|
*
|
|
|
|
|
* \class ComplexEigenSolver
|
|
|
|
|
*
|
2010-03-18 13:42:17 +00:00
|
|
|
* \brief Computes eigenvalues and eigenvectors of general complex matrices
|
2009-10-01 07:20:09 +02:00
|
|
|
*
|
2010-03-18 13:42:17 +00:00
|
|
|
* \tparam _MatrixType the type of the matrix of which we are
|
|
|
|
|
* computing the eigendecomposition; this is expected to be an
|
|
|
|
|
* instantiation of the Matrix class template.
|
2009-10-01 07:20:09 +02:00
|
|
|
*
|
2010-03-19 18:23:36 +00:00
|
|
|
* The eigenvalues and eigenvectors of a matrix \f$ A \f$ are scalars
|
|
|
|
|
* \f$ \lambda \f$ and vectors \f$ v \f$ such that \f$ Av = \lambda v \f$.
|
|
|
|
|
* The eigendecomposition of a matrix is \f$ A = V D V^{-1} \f$,
|
|
|
|
|
* where \f$ D \f$ is a diagonal matrix. The entries on the diagonal
|
|
|
|
|
* of \f$ D \f$ are the eigenvalues and the columns of \f$ V \f$ are
|
|
|
|
|
* the eigenvectors.
|
|
|
|
|
*
|
|
|
|
|
* The main function in this class is compute(), which computes the
|
|
|
|
|
* eigenvalues and eigenvectors of a given function. The
|
|
|
|
|
* documentation for that function contains an example showing the
|
|
|
|
|
* main features of the class.
|
|
|
|
|
*
|
2009-10-01 07:20:09 +02:00
|
|
|
* \sa class EigenSolver, class SelfAdjointEigenSolver
|
|
|
|
|
*/
|
|
|
|
|
template<typename _MatrixType> class ComplexEigenSolver
|
|
|
|
|
{
|
|
|
|
|
public:
|
|
|
|
|
typedef _MatrixType MatrixType;
|
2010-03-08 19:31:27 +01:00
|
|
|
enum {
|
|
|
|
|
RowsAtCompileTime = MatrixType::RowsAtCompileTime,
|
|
|
|
|
ColsAtCompileTime = MatrixType::ColsAtCompileTime,
|
|
|
|
|
Options = MatrixType::Options,
|
|
|
|
|
MaxRowsAtCompileTime = MatrixType::MaxRowsAtCompileTime,
|
|
|
|
|
MaxColsAtCompileTime = MatrixType::MaxColsAtCompileTime
|
|
|
|
|
};
|
2010-03-18 13:42:17 +00:00
|
|
|
|
|
|
|
|
/** \brief Scalar type for matrices of type \p _MatrixType. */
|
2009-10-01 07:20:09 +02:00
|
|
|
typedef typename MatrixType::Scalar Scalar;
|
|
|
|
|
typedef typename NumTraits<Scalar>::Real RealScalar;
|
2010-03-18 13:42:17 +00:00
|
|
|
|
|
|
|
|
/** \brief Complex scalar type for \p _MatrixType.
|
|
|
|
|
*
|
|
|
|
|
* This is \c std::complex<Scalar> if #Scalar is real (e.g.,
|
|
|
|
|
* \c float or \c double) and just \c Scalar if #Scalar is
|
|
|
|
|
* complex.
|
|
|
|
|
*/
|
2009-10-01 07:20:09 +02:00
|
|
|
typedef std::complex<RealScalar> Complex;
|
2010-03-18 13:42:17 +00:00
|
|
|
|
|
|
|
|
/** \brief Type for vector of eigenvalues as returned by eigenvalues().
|
|
|
|
|
*
|
|
|
|
|
* This is a column vector with entries of type #Complex.
|
|
|
|
|
* The length of the vector is the size of \p _MatrixType.
|
|
|
|
|
*/
|
2010-03-08 19:31:27 +01:00
|
|
|
typedef Matrix<Complex, ColsAtCompileTime, 1, Options, MaxColsAtCompileTime, 1> EigenvalueType;
|
2010-03-18 13:42:17 +00:00
|
|
|
|
|
|
|
|
/** \brief Type for matrix of eigenvectors as returned by eigenvectors().
|
|
|
|
|
*
|
|
|
|
|
* This is a square matrix with entries of type #Complex.
|
|
|
|
|
* The size is the same as the size of \p _MatrixType.
|
|
|
|
|
*/
|
2010-03-08 19:31:27 +01:00
|
|
|
typedef Matrix<Complex, RowsAtCompileTime, ColsAtCompileTime, Options, MaxRowsAtCompileTime, ColsAtCompileTime> EigenvectorType;
|
2009-10-01 07:20:09 +02:00
|
|
|
|
2010-03-18 13:42:17 +00:00
|
|
|
/** \brief Default constructor.
|
|
|
|
|
*
|
|
|
|
|
* The default constructor is useful in cases in which the user intends to
|
|
|
|
|
* perform decompositions via compute().
|
|
|
|
|
*/
|
2009-10-01 07:20:09 +02:00
|
|
|
ComplexEigenSolver() : m_eivec(), m_eivalues(), m_isInitialized(false)
|
|
|
|
|
{}
|
|
|
|
|
|
2010-03-18 13:42:17 +00:00
|
|
|
/** \brief Constructor; computes eigendecomposition of given matrix.
|
|
|
|
|
*
|
|
|
|
|
* \param[in] matrix %Matrix whose eigendecomposition is to be computed.
|
2010-03-19 18:23:36 +00:00
|
|
|
*
|
|
|
|
|
* This constructor calls compute() to compute the eigendecomposition.
|
2010-03-18 13:42:17 +00:00
|
|
|
*/
|
2009-10-01 07:20:09 +02:00
|
|
|
ComplexEigenSolver(const MatrixType& matrix)
|
|
|
|
|
: m_eivec(matrix.rows(),matrix.cols()),
|
|
|
|
|
m_eivalues(matrix.cols()),
|
|
|
|
|
m_isInitialized(false)
|
|
|
|
|
{
|
|
|
|
|
compute(matrix);
|
|
|
|
|
}
|
|
|
|
|
|
2010-03-19 18:23:36 +00:00
|
|
|
/** \brief Returns the eigenvectors of given matrix.
|
|
|
|
|
*
|
|
|
|
|
* It is assumed that either the constructor
|
|
|
|
|
* ComplexEigenSolver(const MatrixType& matrix) or the member
|
|
|
|
|
* function compute(const MatrixType& matrix) has been called
|
|
|
|
|
* before to compute the eigendecomposition of a matrix. This
|
|
|
|
|
* function returns the matrix \f$ V \f$ in the
|
|
|
|
|
* eigendecomposition \f$ A = V D V^{-1} \f$. The columns of \f$
|
|
|
|
|
* V \f$ are the eigenvectors. The eigenvectors are normalized to
|
|
|
|
|
* have (Euclidean) norm equal to one, and are in the same order
|
|
|
|
|
* as the eigenvalues as returned by eigenvalues().
|
|
|
|
|
*
|
|
|
|
|
* Example: \include ComplexEigenSolver_eigenvectors.cpp
|
|
|
|
|
* Output: \verbinclude ComplexEigenSolver_eigenvectors.out
|
|
|
|
|
*/
|
2010-03-18 13:42:17 +00:00
|
|
|
EigenvectorType eigenvectors() const
|
2009-10-01 07:20:09 +02:00
|
|
|
{
|
|
|
|
|
ei_assert(m_isInitialized && "ComplexEigenSolver is not initialized.");
|
|
|
|
|
return m_eivec;
|
|
|
|
|
}
|
|
|
|
|
|
2010-03-19 18:23:36 +00:00
|
|
|
/** \brief Returns the eigenvalues of given matrix.
|
|
|
|
|
*
|
|
|
|
|
* It is assumed that either the constructor
|
|
|
|
|
* ComplexEigenSolver(const MatrixType& matrix) or the member
|
|
|
|
|
* function compute(const MatrixType& matrix) has been called
|
|
|
|
|
* before to compute the eigendecomposition of a matrix. This
|
|
|
|
|
* function returns a column vector containing the eigenvalues.
|
|
|
|
|
*
|
|
|
|
|
* Example: \include ComplexEigenSolver_eigenvalues.cpp
|
|
|
|
|
* Output: \verbinclude ComplexEigenSolver_eigenvalues.out
|
|
|
|
|
*/
|
2009-10-01 07:20:09 +02:00
|
|
|
EigenvalueType eigenvalues() const
|
|
|
|
|
{
|
|
|
|
|
ei_assert(m_isInitialized && "ComplexEigenSolver is not initialized.");
|
|
|
|
|
return m_eivalues;
|
|
|
|
|
}
|
|
|
|
|
|
2010-03-18 13:42:17 +00:00
|
|
|
/** \brief Computes eigendecomposition of given matrix.
|
2010-03-19 18:23:36 +00:00
|
|
|
*
|
|
|
|
|
* \param[in] matrix %Matrix whose eigendecomposition is to be computed.
|
2010-03-18 13:42:17 +00:00
|
|
|
*
|
|
|
|
|
* This function computes the eigenvalues and eigenvectors of \p
|
|
|
|
|
* matrix. The eigenvalues() and eigenvectors() functions can be
|
|
|
|
|
* used to retrieve the computed eigendecomposition.
|
|
|
|
|
*
|
|
|
|
|
* The matrix is first reduced to Schur form using the
|
|
|
|
|
* ComplexSchur class. The Schur decomposition is then used to
|
|
|
|
|
* compute the eigenvalues and eigenvectors.
|
|
|
|
|
*
|
|
|
|
|
* The cost of the computation is dominated by the cost of the
|
|
|
|
|
* Schur decomposition, which is \f$ O(n^3) \f$ where \f$ n \f$
|
|
|
|
|
* is the size of the matrix.
|
2010-03-19 18:23:36 +00:00
|
|
|
*
|
|
|
|
|
* Example: \include ComplexEigenSolver_compute.cpp
|
|
|
|
|
* Output: \verbinclude ComplexEigenSolver_compute.out
|
2010-03-18 13:42:17 +00:00
|
|
|
*/
|
2009-10-01 07:20:09 +02:00
|
|
|
void compute(const MatrixType& matrix);
|
|
|
|
|
|
|
|
|
|
protected:
|
2010-03-20 17:04:40 +00:00
|
|
|
EigenvectorType m_eivec;
|
2009-10-01 07:20:09 +02:00
|
|
|
EigenvalueType m_eivalues;
|
|
|
|
|
bool m_isInitialized;
|
|
|
|
|
};
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
template<typename MatrixType>
|
|
|
|
|
void ComplexEigenSolver<MatrixType>::compute(const MatrixType& matrix)
|
|
|
|
|
{
|
|
|
|
|
// this code is inspired from Jampack
|
|
|
|
|
assert(matrix.cols() == matrix.rows());
|
|
|
|
|
int n = matrix.cols();
|
|
|
|
|
m_eivalues.resize(n,1);
|
|
|
|
|
m_eivec.resize(n,n);
|
|
|
|
|
|
2010-02-10 10:52:28 +01:00
|
|
|
RealScalar eps = NumTraits<RealScalar>::epsilon();
|
2009-10-01 07:20:09 +02:00
|
|
|
|
|
|
|
|
// Reduce to complex Schur form
|
|
|
|
|
ComplexSchur<MatrixType> schur(matrix);
|
|
|
|
|
|
|
|
|
|
m_eivalues = schur.matrixT().diagonal();
|
|
|
|
|
|
|
|
|
|
m_eivec.setZero();
|
|
|
|
|
|
2010-03-20 17:04:40 +00:00
|
|
|
Complex d2, z;
|
2009-10-01 07:20:09 +02:00
|
|
|
RealScalar norm = matrix.norm();
|
|
|
|
|
|
|
|
|
|
// compute the (normalized) eigenvectors
|
|
|
|
|
for(int k=n-1 ; k>=0 ; k--)
|
|
|
|
|
{
|
|
|
|
|
d2 = schur.matrixT().coeff(k,k);
|
2010-03-20 17:04:40 +00:00
|
|
|
m_eivec.coeffRef(k,k) = Complex(1.0,0.0);
|
2009-10-01 07:20:09 +02:00
|
|
|
for(int i=k-1 ; i>=0 ; i--)
|
|
|
|
|
{
|
|
|
|
|
m_eivec.coeffRef(i,k) = -schur.matrixT().coeff(i,k);
|
|
|
|
|
if(k-i-1>0)
|
|
|
|
|
m_eivec.coeffRef(i,k) -= (schur.matrixT().row(i).segment(i+1,k-i-1) * m_eivec.col(k).segment(i+1,k-i-1)).value();
|
|
|
|
|
z = schur.matrixT().coeff(i,i) - d2;
|
2010-03-20 17:04:40 +00:00
|
|
|
if(z==Complex(0))
|
2009-10-01 07:20:09 +02:00
|
|
|
ei_real_ref(z) = eps * norm;
|
|
|
|
|
m_eivec.coeffRef(i,k) = m_eivec.coeff(i,k) / z;
|
|
|
|
|
|
|
|
|
|
}
|
|
|
|
|
m_eivec.col(k).normalize();
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
m_eivec = schur.matrixU() * m_eivec;
|
|
|
|
|
m_isInitialized = true;
|
|
|
|
|
|
|
|
|
|
// sort the eigenvalues
|
|
|
|
|
{
|
|
|
|
|
for (int i=0; i<n; i++)
|
|
|
|
|
{
|
|
|
|
|
int k;
|
2010-01-05 13:07:32 +01:00
|
|
|
m_eivalues.cwiseAbs().tail(n-i).minCoeff(&k);
|
2009-10-01 07:20:09 +02:00
|
|
|
if (k != 0)
|
|
|
|
|
{
|
|
|
|
|
k += i;
|
|
|
|
|
std::swap(m_eivalues[k],m_eivalues[i]);
|
|
|
|
|
m_eivec.col(i).swap(m_eivec.col(k));
|
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
#endif // EIGEN_COMPLEX_EIGEN_SOLVER_H
|