Integer type:  int32  int64  nag_int  show int32  show int32  show int64  show int64  show nag_int  show nag_int

Chapter Contents
Chapter Introduction
NAG Toolbox

# NAG Toolbox: nag_lapack_dstegr (f08jl)

## Purpose

nag_lapack_dstegr (f08jl) computes all the eigenvalues and, optionally, all the eigenvectors of a real n$n$ by n$n$ symmetric tridiagonal matrix.

## Syntax

[d, e, m, w, z, isuppz, info] = f08jl(jobz, range, d, e, vl, vu, il, iu, 'n', n)
[d, e, m, w, z, isuppz, info] = nag_lapack_dstegr(jobz, range, d, e, vl, vu, il, iu, 'n', n)
Note: the interface to this routine has changed since earlier releases of the toolbox:
Mark 23: abstol is now an optional input parameter
.

## Description

nag_lapack_dstegr (f08jl) computes all the eigenvalues and, optionally, the eigenvectors, of a real symmetric tridiagonal matrix T$T$. That is, the function computes the spectral factorization of T$T$ given by
 T = ZΛZT , $T = ZΛZT ,$
where Λ$\Lambda$ is a diagonal matrix whose diagonal elements are the eigenvalues, λi${\lambda }_{i}$, of T$T$ and Z$Z$ is an orthogonal matrix whose columns are the eigenvectors, zi${z}_{i}$, of T$T$. Thus
 Tzi = λi zi ,   i = 1,2, … ,n . $Tzi= λi zi , i = 1,2,…,n .$
The function may also be used to compute all the eigenvalues and eigenvectors of a real symmetric matrix A$A$ which has been reduced to tridiagonal form T$T$:
 A = QTQT, where ​Q​ is orthogonal = (QZ)Λ(QZ)T.
$A =QTQT, where ​Q​ is orthogonal =(QZ)Λ(QZ)T.$
In this case, the matrix Q$Q$ must be explicitly applied to the output matrix Z$Z$. The functions which must be called to perform the reduction to tridiagonal form and apply Q$Q$ are:
 full matrix nag_lapack_dsytrd (f08fe) and nag_lapack_dormtr (f08fg) full matrix, packed storage nag_lapack_dsptrd (f08ge) and nag_lapack_dopmtr (f08gg) band matrix nag_lapack_dsbtrd (f08he) with vect = 'V'${\mathbf{vect}}=\text{'V'}$ and .
This function uses the dqds and the Relatively Robust Representation algorithms to compute the eigenvalues and eigenvectors respectively; see for example Parlett and Dhillon (2000) and Dhillon and Parlett (2004) for further details. nag_lapack_dstegr (f08jl) can usually compute all the eigenvalues and eigenvectors in O(n2)$O\left({n}^{2}\right)$ floating point operations and so, for large matrices, is often considerably faster than the other symmetric tridiagonal functions in this chapter when all the eigenvectors are required, particularly so compared to those functions that are based on the QR$QR$ algorithm.

## References

Anderson E, Bai Z, Bischof C, Blackford S, Demmel J, Dongarra J J, Du Croz J J, Greenbaum A, Hammarling S, McKenney A and Sorensen D (1999) LAPACK Users' Guide (3rd Edition) SIAM, Philadelphia http://www.netlib.org/lapack/lug
Barlow J and Demmel J W (1990) Computing accurate eigensystems of scaled diagonally dominant matrices SIAM J. Numer. Anal. 27 762–791
Dhillon I S and Parlett B N (2004) Orthogonal eigenvectors and relative gaps. SIAM J. Appl. Math. 25 858–899
Parlett B N and Dhillon I S (2000) Relatively robust representations of symmetric tridiagonals Linear Algebra Appl. 309 121–151

## Parameters

### Compulsory Input Parameters

1:     jobz – string (length ≥ 1)
Indicates whether eigenvectors are computed.
jobz = 'N'${\mathbf{jobz}}=\text{'N'}$
Only eigenvalues are computed.
jobz = 'V'${\mathbf{jobz}}=\text{'V'}$
Eigenvalues and eigenvectors are computed.
Constraint: jobz = 'N'${\mathbf{jobz}}=\text{'N'}$ or 'V'$\text{'V'}$.
2:     range – string (length ≥ 1)
Indicates which eigenvalues should be returned.
range = 'A'${\mathbf{range}}=\text{'A'}$
All eigenvalues will be found.
range = 'V'${\mathbf{range}}=\text{'V'}$
All eigenvalues in the half-open interval (vl,vu]$\left({\mathbf{vl}},{\mathbf{vu}}\right]$ will be found.
range = 'I'${\mathbf{range}}=\text{'I'}$
The ilth through iuth eigenvectors will be found.
Constraint: range = 'A'${\mathbf{range}}=\text{'A'}$, 'V'$\text{'V'}$ or 'I'$\text{'I'}$.
3:     d( : $:$) – double array
Note: the dimension of the array d must be at least max (1,n)$\mathrm{max}\phantom{\rule{0.125em}{0ex}}\left(1,{\mathbf{n}}\right)$.
The n$n$ diagonal elements of the tridiagonal matrix T$T$.
4:     e( : $:$) – double array
Note: the dimension of the array e must be at least max (1,n)$\mathrm{max}\phantom{\rule{0.125em}{0ex}}\left(1,{\mathbf{n}}\right)$.
e(1 : n1)${\mathbf{e}}\left(1:{\mathbf{n}}-1\right)$ contains the subdiagonal elements of the tridiagonal matrix T$T$. e(n)${\mathbf{e}}\left({\mathbf{n}}\right)$ need not be set.
5:     vl – double scalar
6:     vu – double scalar
If range = 'V'${\mathbf{range}}=\text{'V'}$, vl and vu contain the lower and upper bounds respectively of the interval to be searched for eigenvalues.
If range = 'A'${\mathbf{range}}=\text{'A'}$ or 'I'$\text{'I'}$, vl and vu are not referenced.
Constraint: if range = 'V'${\mathbf{range}}=\text{'V'}$, vl < vu${\mathbf{vl}}<{\mathbf{vu}}$.
7:     il – int64int32nag_int scalar
8:     iu – int64int32nag_int scalar
If range = 'I'${\mathbf{range}}=\text{'I'}$, il and iu contains the indices (in ascending order) of the smallest and largest eigenvalues to be returned, respectively.
If range = 'A'${\mathbf{range}}=\text{'A'}$ or 'V'$\text{'V'}$, il and iu are not referenced.
Constraints:
• if range = 'I'${\mathbf{range}}=\text{'I'}$ and n > 0${\mathbf{n}}>0$, 1 il iu n $1\le {\mathbf{il}}\le {\mathbf{iu}}\le {\mathbf{n}}$;
• if range = 'I'${\mathbf{range}}=\text{'I'}$ and n = 0${\mathbf{n}}=0$, il = 1${\mathbf{il}}=1$ and iu = 0${\mathbf{iu}}=0$.

### Optional Input Parameters

1:     n – int64int32nag_int scalar
Default: The dimension of the array d.
n$n$, the order of the matrix T$T$.
Constraint: n0${\mathbf{n}}\ge 0$.

### Input Parameters Omitted from the MATLAB Interface

abstol ldz work lwork iwork liwork

### Output Parameters

1:     d( : $:$) – double array
Note: the dimension of the array d must be at least max (1,n)$\mathrm{max}\phantom{\rule{0.125em}{0ex}}\left(1,{\mathbf{n}}\right)$.
2:     e( : $:$) – double array
Note: the dimension of the array e must be at least max (1,n)$\mathrm{max}\phantom{\rule{0.125em}{0ex}}\left(1,{\mathbf{n}}\right)$.
3:     m – int64int32nag_int scalar
The total number of eigenvalues found. 0mn$0\le {\mathbf{m}}\le {\mathbf{n}}$.
If range = 'A'${\mathbf{range}}=\text{'A'}$, m = n${\mathbf{m}}={\mathbf{n}}$.
If range = 'I'${\mathbf{range}}=\text{'I'}$, m = iuil + 1${\mathbf{m}}={\mathbf{iu}}-{\mathbf{il}}+1$.
4:     w( : $:$) – double array
Note: the dimension of the array w must be at least max (1,n)$\mathrm{max}\phantom{\rule{0.125em}{0ex}}\left(1,{\mathbf{n}}\right)$.
The eigenvalues in ascending order.
5:     z(ldz, : $:$) – double array
The first dimension, ldz, of the array z will be
• if jobz = 'V'${\mathbf{jobz}}=\text{'V'}$, ldz max (1,n) $\mathit{ldz}\ge \mathrm{max}\phantom{\rule{0.125em}{0ex}}\left(1,{\mathbf{n}}\right)$;
• otherwise ldz1$\mathit{ldz}\ge 1$.
The second dimension of the array will be max (1,m)$\mathrm{max}\phantom{\rule{0.125em}{0ex}}\left(1,{\mathbf{m}}\right)$ if jobz = 'V'${\mathbf{jobz}}=\text{'V'}$, and at least 1$1$ otherwise
If jobz = 'V'${\mathbf{jobz}}=\text{'V'}$, then if ${\mathbf{INFO}}={\mathbf{0}}$, the columns of z contain the orthonormal eigenvectors of the matrix T$T$, with the i$i$th column of Z$Z$ holding the eigenvector associated with w(i)${\mathbf{w}}\left(i\right)$.
If jobz = 'N'${\mathbf{jobz}}=\text{'N'}$, z is not referenced.
6:     isuppz( : $:$) – int64int32nag_int array
Note: the dimension of the array isuppz must be at least max (1,2 × n)$\mathrm{max}\phantom{\rule{0.125em}{0ex}}\left(1,2×{\mathbf{n}}\right)$.
The support of the eigenvectors in Z$Z$, i.e., the indices indicating the nonzero elements in Z$Z$. The i$i$th eigenvector is nonzero only in elements isuppz(2 × i1)${\mathbf{isuppz}}\left(2×i-1\right)$ through isuppz(2 × i)${\mathbf{isuppz}}\left(2×i\right)$.
7:     info – int64int32nag_int scalar
info = 0${\mathbf{info}}=0$ unless the function detects an error (see Section [Error Indicators and Warnings]).

## Error Indicators and Warnings

info = i${\mathbf{info}}=-i$
If info = i${\mathbf{info}}=-i$, parameter i$i$ had an illegal value on entry. The parameters are numbered as follows:
1: jobz, 2: range, 3: n, 4: d, 5: e, 6: vl, 7: vu, 8: il, 9: iu, 10: abstol, 11: m, 12: w, 13: z, 14: ldz, 15: isuppz, 16: work, 17: lwork, 18: iwork, 19: liwork, 20: info.
It is possible that info refers to a parameter that is omitted from the MATLAB interface. This usually indicates that an error in one of the other input parameters has caused an incorrect value to be inferred.
INFO > 0${\mathbf{INFO}}>0$
If ${\mathbf{INFO}}={\mathbf{1}}$, the dqds$\mathrm{dqds}$ algorithm failed to converge, if ${\mathbf{INFO}}={\mathbf{2}}$, inverse iteration failed to converge.

## Accuracy

See the description for abstol. See also Section 4.7 of Anderson et al. (1999) and Barlow and Demmel (1990) for further details.

The total number of floating point operations required to compute all the eigenvalues and eigenvectors is approximately proportional to n2${n}^{2}$.
The complex analogue of this function is nag_lapack_zstegr (f08jy).

## Example

```function nag_lapack_dstegr_example
jobz = 'V';
range = 'A';
d = [1; 4; 9; 16];
e = [1; 2; 3; 0];
vl = 0;
vu = 0;
il = int64(0);
iu = int64(0);
[dOut, eOut, m, w, z, isuppz, info] = ...
nag_lapack_dstegr(jobz, range, d, e, vl, vu, il, iu)
```
```

dOut =

0.3524
0.5151
0.5862
0.0000

eOut =

2.8374
3.8831
5.1175
0.6476

m =

4

w =

0.6476
3.5470
8.6578
17.1477

z =

0.9396    0.3388    0.0494    0.0034
-0.3311    0.8628    0.3781    0.0545
0.0853   -0.3648    0.8558    0.3568
-0.0167    0.0879   -0.3497    0.9326

isuppz =

1
4
1
4
1
4
1
4

info =

0

```
```function f08jl_example
jobz = 'V';
range = 'A';
d = [1; 4; 9; 16];
e = [1; 2; 3; 0];
vl = 0;
vu = 0;
il = int64(0);
iu = int64(0);
[dOut, eOut, m, w, z, isuppz, info] = f08jl(jobz, range, d, e, vl, vu, il, iu)
```
```

dOut =

0.3524
0.5151
0.5862
0.0000

eOut =

2.8374
3.8831
5.1175
0.6476

m =

4

w =

0.6476
3.5470
8.6578
17.1477

z =

0.9396    0.3388    0.0494    0.0034
-0.3311    0.8628    0.3781    0.0545
0.0853   -0.3648    0.8558    0.3568
-0.0167    0.0879   -0.3497    0.9326

isuppz =

1
4
1
4
1
4
1
4

info =

0

```