Текст подпрограммы и версий
agh7r_c.zip 
Тексты тестовых примеров
tagh7r_c.zip 

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

Назначение

Вычисление собственных значений, принадлежащих заданному интервалу, и их номеpов в обобщенной проблеме ABx = λx (или BAx = λx) для вещественных симметрических матриц A и B.

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

Подпрограмма agh7r_c реализует алгоритм вычисления собственных значений, принадлежащих данному интервалу, и их номеpов уравнения вида ABx = λx, где A и B - вещественные симметрические матрицы, и матрица B положительно определена.

Если представить матрицу B в виде:  B =  LLT, где L - преобразование Холецкого, то уравнение ABx = λx можно привести к стандартному виду Qy = λy,  где Q = LTAL,  y = LTx. Уравнение Qy = λy для симметрической матрицы Q решается путем приведения ее к трехдиагональному виду и вычисления методом бисекций, принадлежащих заданному интервалу собственных значений и их номеpов.

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

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

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

Параметры

n - порядок исходных матриц (тип: целый);
mm - оценка свеpху числа собственных значений уpавнения ABx = λx, принадлежащих заданному интервалу mm ≤ n (тип: целый); если фактическое число m собственных значений, принадлежащих заданному интервалу, больше, чем mm, то собственные значения не вычисляются;
m - целая переменная, в которой запоминается вычисленное число принадлежащих данному интервалу собственных значений;
   rlb -
   rub  
заданные нижняя и верхняя границы интервала собственных значений (тип: вещественный); если rlb > rub, то собственные значения не вычисляются;
a, b - вещественные двумерные массивы размера n на n, содержащие исходные симметрические матрицы A и B соответственно;
ev - вещественный вектоp длины mm, содержаший вычисленные в возрастающем порядке собственные значения;
irab - целый вектоp длины mm, содержащий индексы расположенных в возрастающем порядке m собственных значений;
rab - вещественный вектоp длины 5 на n, используемый как рабочий;
ierr - целая переменная, служащая для сообщения об ошибках, обнаруженных в ходе работы подпрограммы; при этом значение ierr:
 

- pавно 7*n+1, если исходная матрица B не является положительно определенной; при этом разложение Холецкого для матрицы B не осуществляется;

- pавно 3*n+1, если значение mm меньше истинного числа собственных значений m на интервале; при этом собственные значения не вычисляются.

Версии : нет

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

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

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

 

Исходные матрицы A и B можно задавать лишь верхними треугольниками.

Подпрограмма agh7r_c сохраняет строгий верхний треугольник массива a и полный верхний треугольник массива b, остальные элементы массивов a и b используются как pабочие.

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

int main(void)
{
    /* Initialized data */
    static float a[25]   /* was [5][5] */ = { 10.f,0.f,0.f,0.f,0.f,2.f,12.f,
            0.f,0.f,0.f,3.f,1.f,11.f,0.f,0.f,1.f,2.f,1.f,9.f,0.f,1.f,1.f,-1.f,
            1.f,15.f };
    static float b[25]   /* was [5][5] */ = { 12.f,0.f,0.f,0.f,0.f,1.f,14.f,
            0.f,0.f,0.f,-1.f,1.f,16.f,0.f,0.f,2.f,-1.f,-1.f,12.f,0.f,1.f,1.f,
            1.f,-1.f,11.f };

    /* Local variables */
    static int irab[4], ierr;
    extern int agh7r_c(int *, int *, int *, float *, float *, float *,
                       float *, float *, int *, float *, int *);
    static int i__, m, n, mm;
    static float ev[4], rab[25], rlb, rub;

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

    for (i__ = 1; i__ <= 5; ++i__) {
         printf("\n %15.7e %15.7e %15.7e %15.7e %15.7e \n",
                a_ref(i__, 1), a_ref(i__, 2), a_ref(i__, 3),
                a_ref(i__, 4), a_ref(i__, 5));
    }
    for (i__ = 1; i__ <= 5; ++i__) {
         printf("\n %15.7e %15.7e %15.7e %15.7e %15.7e \n",
                b_ref(i__, 1), b_ref(i__, 2), b_ref(i__, 3),
                b_ref(i__, 4), b_ref(i__, 5));
    }
    n = 5;
    mm = 4;
    rlb = 70.f;
    rub = 170.f;
    agh7r_c(&n, &mm, &m, &rlb, &rub, a, b, ev, irab, rab, &ierr);

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


Результаты:

Собственные значения, вычисленные в интервале (70., 170.)

                 |  77.69719119521 |
                 | 112.1541932471  |
      ev  =  | 134.6864633199  |    , 
                 | 167.4848789140  |

      ierr  =  0