Документ взят из кэша поисковой машины. Адрес оригинального документа : http://num-anal.srcc.msu.su/lib_na/cat/ae_htm_c/aej3r_c.htm
Дата изменения: Wed Dec 2 10:47:58 2015
Дата индексирования: Sun Apr 10 01:37:44 2016
Кодировка: Windows-1251
БЧА НИВЦ МГУ. AEJ3R_C. Линейная проблема собственных значений для матриц специального вида
Текст подпрограммы и версий
aej3r_c.zip , aej3d_c.zip
Тексты тестовых примеров
taej3r_c.zip , taej3d_c.zip

Подпрограмма:  aej3r_c

Назначение

Вычисление собственных значений матрицы Якоби, принадлежащих данному интервалу, их номеров и соответствующих собственных векторов.

Математическое описание

Исходная матрица Якоби облaдaeт cледующим свойством: произведения пар соответствующих элементов побочных диагоналей все неотрицательны и равны нулю только, если оба сомножителя равны нулю. Это свойство используется при приведении исходной матрицы к симметрической трехдиагональной форме

                   F = V T*A*V  

(V - диагональная матрица), для которой методом бисекций вычисляются собственные значения, принадлежащие данному интервалу, и их номера. Соответственные собственные векторы матрицы F вычисляются методом обратных итераций. Связь между векторами матриц А и F осуществляется согласно соотношению: Х = V*Y.

Уилкинсон,Райнш, Справочник алгоритмов на языке АЛГОЛ. Линейная алгебра, М., "Машиностроение", 1976.

Использование

    int aej3r_c (integer *n, real *a, real *v, real *ev, real *rlb,
             real *rub, integer *mm, integer *m, integer *irab, real *rab, 
            integer *ierr)

Параметры

n - порядок исходной матрицы (тип: целый);
a - вещественный двумерный массив размера n на 3, содержащий заданную в компактной форме матрицу Якоби;
v - вещественный двумерный массив размерности n на mm, содержащий в первых m столбцах вычисленные ортонормированные собственные векторы, соответствующие m собственным значениям;
ev - вещественный вектор длины mm, содержащий вычисленные в возрастающем порядке собственные значения, принадлежащие данному интервалу;
            rlb -
            rub  
заданные нижняя и верхняя границы интервала собственных значений (тип: вещественный); если rlb > rub, то собственные значения не вычисляются;
mm - оценка сверху числа собственных значений исходной матрицы, принадлежащих данному интервалу, mm ≤ n (тип: целый); если вычисленное число m собственных значений, принадлежащих данному интервалу, больше, чем mm, то собственные значения и соответствующие собственные векторы не вычисляются;
m - целая переменная, в которой запоминается вычисленное число собственных значений, принадлежащих данному интервалу;
irab - целый вектор длины mm, содержащий индексы расположенных в возрастающем порядке m собственных значений;
rab - вещественный вектор длины 8 на n, используемый как рабочий;
ierr - целая переменная, служащая для сообщения об ошибках, обнаруженных в ходе работы подпрограммы; при этом значение ierr
  - больше n, если не все попарные произведения соответствующих элементов побочных диагоналей неотрицательны; при этом исходная матрица не симметризируется;
  - больше 2*n, если имеется равное нулю произведение соответствующих элементов побочных диагоналей, причем сомножители равны нулю неодновременно. В этом случае нет симметризации, необходимой для правильного вычисления собственных векторов;
  - равно 3*n+1, если значение mm меньше числа m вычисленных на данном интервале собственных значений, при этом собственные значения и соответствующие собственные векторы не вычисляются;
  - равно - k, если для вычисления собственного вектора с индексом k потребовалось более 5 итераций; при этом компоненты этого вектора полагаются равными нулю. Если таких собственных векторов несколько, то значение ierr полагается равным индексу последнего из них.

Версии

aej3d_c - вычисление собственных значений, принадлежащих данному интервалу, их номеров и соответствующих собственных векторов матрицы Якоби, заданной с двойной точностью. Массивы a, v, ev, rab и переменные rlb, rub имеют тип double.

Вызываемые подпрограммы

utae10_c - подпрограмма выдачи диагностических сообщений при работе подпрограмм aej3r_c и aej3d_c.

Замечания по использованию

  Подпрограмма aej3r_c сохраняет исходную матрицу A.

Пример использования

int main(void)
{
    /* Initialized data */
    static float a[15]   /* was [5][3] */ = { 0.f,1.f,1.f,1.f,1.f,0.f,0.f,0.f,
                                              0.f,0.f,1.f,1.f,1.f,1.f,0.f };
    /* Local variables */
    static int ierr, irab1[3];
    extern int aej3r_c(int *, float *, float *, float *, float *, float *,
                       int *, int *, int *, float *, int *);
    static int i__, m, n;
    static float v[15] /* was [5][3] */;
    static int mm;
    static float ev[3], rlb, rub, rab1[40];

#define a_ref(a_1,a_2) a[(a_2)*5 + a_1 - 6]
#define v_ref(a_1,a_2) v[(a_2)*5 + a_1 - 6]

    for (i__ = 1; i__ <= 5; ++i__) {
        printf("\n %16.7e %16.7e %16.7e \n",
            a_ref(i__, 1), a_ref(i__, 2), a_ref(i__, 3));
    }
    n = 5;
    mm = 3;
    rlb = -2.f;
    rub = 0.f;
    aej3r_c(&n, a, v, ev, &rlb, &rub, &mm, &m, irab1, rab1, &ierr);

    for (i__ = 1; i__ <= 5; ++i__) {
        printf("\n %16.7e %16.7e %16.7e \n",
            a_ref(i__, 1), a_ref(i__, 2), a_ref(i__, 3));
    }
    printf("\n %16.7e %16.7e %16.7e \n", ev[0], ev[1], ev[2]);
    for (i__ = 1; i__ <= 5; ++i__) {
        printf("\n %16.7e %16.7e %16.7e \n",
            v_ref(i__, 1), v_ref(i__, 2), v_ref(i__, 3));
    }
    printf("\n %5i \n", ierr);
    return 0;
} /* main */


Результаты:

Собственные значения в интервале (-2., 0.) :

      ev  =  ( -1.732050807,  -0.999999999 ) , 

Собственные векторы, соответствующие вычисленным в интервале
(-2., 0.) собственным значениям:

                   |  0.288675135 |                  | -0.499999999  |
                   | -0.499999999 |                  |  0.500000000  |
      v1    =  |  0.577350269 |      v2    =  | -3.18*1012       | , 
                   | -0.500000000 |                  | -0.499999999  |
                   |  0.288675135 |                  | -0.500000000  |

      ierr  =  0