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

Подпрограмма:  AGH5R (модуль AGH5R_p)

Назначение

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

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

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

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

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

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

procedure AGH5R(var A :Array of Real; var B :Array of Real;
                var EV :Array of Real; var RAB1 :Array of Real;
                N :Integer; var IERR :Integer);

Параметры

A, B - вещественные двумерные массивы размера N на N, содержащие исходные матрицы;
EV - вещественный вектоp длины N, содержащий вычисленные собственные значения, расположенные в возрастающем порядке;
RAB - вещественный вектоp длины 2 на N, используемый как рабочий;
N - порядок исходных матриц (тип: целый);
IERR - целая переменная, служащая для сообщения об ошибках, обнаруженных в ходе работы подпрограммы; при этом значение IERR:
 

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

- полагается равным номеpу собственного значения, для вычисления которого потребовалось более 30 итераций, при этом собственные значения с индексами 1, 2, ..., IERR - 1 вычислены правильно и расположены в возрастающем порядке, но они не обязательно являются самыми меньшими из всех N собственных значений.

Версии : нет

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

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

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

 

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

Подпрограмма AGH5R сохраняют строгий верхний треугольник A и полный верхний треугольник B (остальные компоненты массивов A и B используются как рабочие).

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

Unit TAGH5R_p;
interface
uses
SysUtils, Math, { Delphi }
Lstruct, Lfunc, UtRes_p, AGH5R_p;

function TAGH5R: String;

implementation

function TAGH5R: String;
var
J,I,N,IERR :Integer;
EV :Array [0..4] of Real;
RAB1 :Array [0..9] of Real;
const
A :Array [0..24] of Real = ( 10.0,0.0,0.0,0.0,0.0,2.0,12.0,0.0,0.0,0.0,3.0,
1.0,11.0,0.0,0.0,1.0,2.0,1.0,9.0,0.0,1.0,1.0,-1.0,
1.0,15.0 );
B :Array [0..24] of Real = ( 12.0,0.0,0.0,0.0,0.0,1.0,14.0,0.0,0.0,0.0,-1.0,
1.0,16.0,0.0,0.0,2.0,-1.0,-1.0,12.0,0.0,1.0,1.0,
1.0,-1.0,11.0 );
begin
Result := '';  { результат функции }
Result := Result + Format('%s',
 [' ОПРЕДЕЛЕНИЕ СОБСТВЕННЫХ ЗНАЧЕНИЙ ' + #$0D#$0A +
 ' YРАВНЕНИЙ ABX=LAMBDA*X И BAX=LAMBDA*X, ГДЕ A И B - ' + #$0D#$0A +
 ' ВЕЩЕСТВЕННЫЕ СИММЕТРИЧЕСКИЕ MATPИЦЫ']) + #$0D#$0A; 
Result := Result + #$0D#$0A;
Result := Result + Format('%s',['A' + #$0D#$0A]);
for I:=1 to 5 do
 begin
  for J:=1 to 5 do
   begin
    Result := Result + Format('%20.16f ',[A[(I-1)+(J-1)*5]]) + #$0D#$0A;
   end;
 end;
Result := Result + #$0D#$0A;
Result := Result + #$0D#$0A;
Result := Result + Format('%s',[' B' + #$0D#$0A]);
for I:=1 to 5 do
 begin
  for J:=1 to 5 do
   begin
    Result := Result + Format('%20.16f ',[B[(I-1)+(J-1)*5]]) + #$0D#$0A;
   end;
 end;
Result := Result + #$0D#$0A;
N := 5;
AGH5R(A,B,EV,RAB1,N,IERR);
Result := Result + Format('%s',[' PEЗYЛЬTAT']) + #$0D#$0A; 
Result := Result + #$0D#$0A;
Result := Result + Format('%s',['A' + #$0D#$0A]);
for I:=1 to 5 do
 begin
  for J:=1 to 5 do
   begin
    Result := Result + Format('%20.16f ',[A[(I-1)+(J-1)*5]]) + #$0D#$0A;
   end;
 end;
Result := Result + #$0D#$0A;
Result := Result + #$0D#$0A;
Result := Result + Format('%s',[' B' + #$0D#$0A]);
for I:=1 to 5 do
 begin
  for J:=1 to 5 do
   begin
    Result := Result + Format('%20.16f ',[B[(I-1)+(J-1)*5]]) + #$0D#$0A;
   end;
 end;
Result := Result + #$0D#$0A;
Result := Result + #$0D#$0A;
Result := Result + Format('%s',[' EV' + #$0D#$0A]);
for I:=1 to 5 do
 begin
  Result := Result + Format('%20.16f ',[EV[I-1]]) + #$0D#$0A;
 end;
Result := Result + #$0D#$0A;
Result := Result + Format('%s',[' IERR' + #$0D#$0A]);
Result := Result + Format('%8d ',[IERR]) + #$0D#$0A;
UtRes('TAGH5R',Result);  { вывод результатов в файл TAGH5R.res }
exit;
end;

end.

Результаты:

Собственные значения:

                 |  77.6971911949  |
                 | 112.1541932470 |
      EV  =  | 134.6864633192 |    , 
                 | 167.4848789147 |
                 | 242.9772733171 |

      IERR  =  0