Текст подпрограммы и версий aeh3r_p.zip , aeh3e_p.zip |
Тексты тестовых примеров taeh3r_p.zip , taeh3e_p.zip |
Вычисление собственных значений, принадлежащих заданному интервалу, их номеpов и соответствующих собственных векторов вещественной симметрической матрицы.
Исходная задача Ax = λx для вещественной симметрической матрицы A решается путем приведения ее с помощью ортогональных преобразований P к симметрической трехдиагональной матрице A1 = PTAP. Вычисление собственных значений, принадлежащих заданному интервалу, и их номеpов задачи А1y = λy осуществляется с помощью метода бисекций; при этом собственные значения обеих задач совпадают. Для вычисления собственных вектоpов используется метод обратных итераций. Собственные векторы обеих задач связаны соотношением x = Py.
Уилкинсон, Райнш. "Справочник алгоритмов на языке АЛГОЛ. Линейная алгебра", M., "Машиностроение", 1976.
procedure AEH3R(N :Integer; var A :Array of Real; var V :Array of Real; var EV :Array of Real; var RLB :Real; var RUB :Real; MM :Integer; var M :Integer; var IRAB1 :Array of Integer; var RAB1 :Array of Real; var IERR :Integer);
Параметры
N - | порядок исходной матрицы (тип: целый); |
A - | вещественный двумерный массив размера N на N, содержащий исходную матрицу; в подпрограмме используется только полный нижний треугольник матрицы A; |
V - | вещественный двумерный массив размера N на MM, содержащий в первых M столбцах вычисленные ортонормированные собственные векторы, соответствующие M собственным значениям; |
EV - | вещественный одномерный массив длины MM, содержащий вычисленные в возрастающем порядке собственные значения, принадлежащие заданному интервалу; |
RLB - RUB | заданные нижняя и верхняя границы интервала собственных значений (тип: вещественный); если RLB > RUB, то собственные значения не вычисляются; |
MM - | оценка свеpху числа собственных значений матрицы A, принадлежащих заданному интервалу, MM ≤ N (тип: целый); если вычисленное число M собственных значений, принадлежащих заданному интервалу, больше, чем MM, то собственные значения и соответствующие собственные векторы не вычисляются; |
M - | целая переменная, в которой запоминается вычисленное число собственных значений, принадлежащих заданному интервалу; |
IRAB - | целый вектоp длины MM, содержащий индексы расположенных в возрастающем порядке M собственных значений; |
RAB - | вещественный вектоp длины 8 на N, используемый как рабочий; |
IERR - | целая переменная, служащая для сообщения об ошибках, обнаруженных в ходе работы подпрограммы; при этом: |
IERR=3*N+1 - | если значение MM меньше числа вычисленных собственных значений M на интервале; при этом собственные значения и соответствующие собственные векторы не вычисляются; |
IERR= - k - | если для вычисления собственного вектоpа с индексом k потребовалось более 5 итераций; при этом компоненты этого вектоpа полагаются равными нулю. Если таких собственных вектоpов несколько, то значение IERR полагается равным индексу последнего из них. |
Версии
AEH3E - | вычисление собственных значений, принадлежащих заданному интервалу, их номеpов и соответствующих собственных вектоpов симметрической матрицы, заданной с расширенной (Extended) точностью. Массивы A, V, EV, RAB и переменные RLB, RUB имеют тип Extended. |
Вызываемые подпрограммы
UTAE10 - | подпрограмма выдачи диагностических сообщений при работе подпрограмм AEH3R и AEH3E. |
Замечания по использованию
Подпрограмма AEH3R сохраняет полный верхний треугольник исходной матрицы, остальные элементы используются для запоминания ортогональных преобразований. |
Unit TAEH3R_p; interface uses SysUtils, Math, { Delphi } Lstruct, Lfunc, UtRes_p, AEH3R_p; function TAEH3R: String; implementation function TAEH3R: String; var J,I,N,MM,_i,M,IERR :Integer; RLB,RUB :Real; V :Array [0..11] of Real; EV :Array [0..2] of Real; IRAB1 :Array [0..2] of Integer; RAB1 :Array [0..31] of Real; const A :Array [0..15] of Real = ( 1.0,0.42,0.54,0.66,0.42,1.0,0.32,0.44,0.54,0.32, 1.0,0.22,0.66,0.44,0.22,1.0 ); begin Result := ''; { результат функции } Result := Result + #$0D#$0A; Result := Result + Format('%s', [' ВЫЧИСЛЕНИЕ НЕКОТОРЫХ СОБСТВЕННЫХ ЗНАЧЕНИЙ И COOTBETCTBYЮЩИХ COБCTBEHHЫX' + #$0D#$0A + ' ВЕКТОРОВ ВЕЩЕСТВЕННОЙ СИММЕТРИЧЕСКОЙ MATPИЦЫ' + #$0D#$0A + ' A' + #$0D#$0A]); for I:=1 to 4 do begin for J:=1 to 4 do begin Result := Result + Format('%20.16f ',[A[(I-1)+(J-1)*4]]) + #$0D#$0A; end; end; Result := Result + #$0D#$0A; N := 4; ММ := 3; RLB := 0.0; RUB := 1.0; AEH3R(N,A,V,EV,RLB,RUB,MM,M,IRAB1,RAB1,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 4 do begin for J:=1 to 4 do begin Result := Result + Format('%20.16f ',[A[(I-1)+(J-1)*4]]) + #$0D#$0A; end; end; Result := Result + #$0D#$0A; Result := Result + Format('%s',[' EV' + #$0D#$0A]); Result := Result + #$0D#$0A; for _i:=0 to 2 do begin Result := Result + Format('%20.16f ',[EV[_i]]); if ( ((_i+1) mod 3)=0 ) then Result := Result + #$0D#$0A; end; Result := Result + #$0D#$0A; Result := Result + #$0D#$0A; Result := Result + Format('%s',[' V' + #$0D#$0A]); for I:=1 to 4 do begin for J:=1 to 3 do begin Result := Result + Format('%20.16f ',[V[(I-1)+(J-1)*4]]) + #$0D#$0A; end; end; Result := Result + #$0D#$0A; Result := Result + Format('%s',[' IERR' + #$0D#$0A]); Result := Result + Format('%8d ',[IERR]) + #$0D#$0A; UtRes('TAEH3R',Result); { вывод результатов в файл TAEH3R.res } exit; end; end. Результаты: Собственные значения в интервале (0., 1.): EV = (0.2422607, 0.6382838, 0.7967067) , Собственные векторы, соответствующие вычисленным в интервале (0., 1.) собственным значениям: V1 = (0.7188460, 0.0956990, - 0.3874355, - 0.5692064) , V2 = (0.3804499, - 0.8502755, - 0.0358896, 0.3619412) , V3 = (0.0503284, - 0.2372265, 0.8128462, - 0.5295958) , IERR = 0