Текст подпрограммы и версий aeh3c_p.zip , aeh3z_p.zip |
Тексты тестовых примеров taeh3c_p.zip , taeh3z_p.zip |
Вычисление собственных значений, принадлежащих заданному интервалу, их номеров и соответствующих собственных векторов комплексной эрмитовой матрицы.
Комплексная эрмитова матрица А последовательностью унитарных подобных преобразований приводится к симметричной трехдиагональной форме F = V*Q*AQV (где Q - произведение унитарных матриц, V - унитарная диагональная матрица), используемой для вычисления собственных значений, заданных в интервале, и их номеров методом бисекций. Собственные векторы, соответствующие вычисленным собственным значениям вычисляются методом обратной итерации, при этом связь между векторами матриц А и F определяется следующим соотношением: x = QVy.
Уилкинсон, Pайнш. "Справочник алгоритмов на языке АЛГОЛ. Линейная алгебра", М., "Машиностроение", 1976.
procedure AEH3C(N :Integer; var AR :Array of Real; var AI :Array of Real; var VR :Array of Real; var VI :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 RAB2 :Array of Real; var IERR :Integer);
Параметры
N - | порядок исходной матрицы (тип: целый); |
AR, AI - | вещественные двумерные массивы размера N на N, содержащие соответственно действительную и мнимую части исходной матрицы; в подпрограмме используется только полный нижний треугольник матрицы АI и строгий нижний треугольник матрицы АR; |
VR, VI - | вещественные двумерные массивы размера N на MM, содержащие соответственно действительную и мнимую части вычисленных ортонормированных собственных векторов; |
EV - | вещественный вектор длины ММ, содержащий вычисленные в возрастающем порядке собственные значения, принадлежащие заданному интервалу; |
RLB - RUB | заданные нижняя и верхняя границы интервала собственных значений (тип: вещественный); если RLВ > RUВ, то собственные значения не вычисляются; |
MM - | оценка сверху числа собственных значений исходной матрицы, принадлежащих заданному интервалу, ММ ≤ N (тип: целый); если вычисленное число М собственных значений, принадлежащих заданному интервалу, больше, чем ММ, то собственные значения и соответствующие собственные векторы не вычисляются; |
M - | целая переменная, в которой запоминается вычисленное число собственных значений, принадлежащих заданному интервалу; |
IRAB - | целый вектор длины ММ, содержащий индексы расположенных в возрастающем порядке М собственных значений; |
RAB1 - | вещественный двумерный массив размера 2 на N, используемый как рабочий; |
RAB2 - | вещественный вектор длины 8 на N, используемый как рабочий; |
IERR - | целая переменная, служащая для сообщения об ошибках, обнаруженных в ходе работы подпрограммы; при этом: |
IERR = 3*N + 1 - | если значение ММ меньше числа М вычисленных собственных значений на интервале; при этом собственные значения и соответствующие собственные векторы не вычисляются; |
IERR = - К - | если для вычисления собственного вектора с индексом К потребовалось более 5 итераций; при этом компоненты этого вектора полагаются равными нулю. Если таких собственных векторов несколько, то значение IЕRR полагается равным индексу последнего из них. |
Версии
AEH3Z - | вычисление собственных значений, принадлежащих заданному интервалу, их номеров и соответствующих собственных векторов комплексной эрмитовой матрицы, заданной с расширенной (Extended) точностью. Массивы АR, АI, VR, VI, ЕV, RАВ1, RАВ2 и переменные RLВ, RUВ имеют тип Extended. |
Вызываемые подпрограммы
UTAE10 - | подпрограмма выдачи диагностических сообщений при работе подпрограмм AEH3C и AEH3Z. |
Замечания по использованию
Подпрограмма AEH3C сохраняет полный верхний треугольник массива АR и строгий верхний треугольник массива АI, остальные элементы массивов АR и АI используются как рабочие. |
Unit TAEH3C_p; interface uses SysUtils, Math, { Delphi } Lstruct, Lfunc, UtRes_p, AEH3C_p; function TAEH3C: String; implementation function TAEH3C: String; var J,I,N,MM,M,IERR :Integer; RLB,RUB :Real; VR :Array [0..11] of Real; VI :Array [0..11] of Real; EV :Array [0..2] of Real; IRAB1 :Array [0..2] of Integer; RAB1 :Array [0..7] of Real; RAB2 :Array [0..31] of Real; const AR :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 ); AI :Array [0..15] of Real = ( 0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0, 0.0,0.0,0.0,0.0 ); begin Result := ''; { результат функции } Result := Result + Format('%s', [' ВЫЧИСЛЕНИЕ НЕКОТОРЫХ СОБСТВЕННЫХ ЗНАЧЕНИЙ И COOTBETCTBYЮЩИХ COБCTBEHHЫX' + #$0D#$0A + ' ВЕКТОРОВ КОМПЛЕКСНОЙ ЭРМИТОВОЙ MATPИЦЫ']) + #$0D#$0A; Result := Result + #$0D#$0A; Result := Result + Format('%s',[' AR' + #$0D#$0A]); for I:=1 to 4 do begin for J:= 1 to 4 do begin Result := Result + Format('%20.16f ',[AR[(I-1)+(J-1)*4]]) + #$0D#$0A; end; end; Result := Result + #$0D#$0A; Result := Result + #$0D#$0A; Result := Result + Format('%s',[' AI' + #$0D#$0A]); for I:=1 to 4 do begin for J:=1 to 4 do begin Result := Result + Format('%20.16f ',[AI[(I-1)+(J-1)*4]]) + #$0D#$0A; end; end; Result := Result + #$0D#$0A; N := 4; ММ := 3; RLB := 0.0; RUB := 1.0; AEH3C(N,AR,AI,VR,VI,EV,RLB,RUB,MM,M,IRAB1,RAB1,RAB2,IERR); Result := Result + Format('%s',[' PEЗYЛЬTAT']) + #$0D#$0A; Result := Result + #$0D#$0A; Result := Result + Format('%s',[' AR' + #$0D#$0A]); for I:=1 to 4 do begin for J:=1 to 4 do begin Result := Result + Format('%20.16f ',[AR[(I-1)+(J-1)*4]]) + #$0D#$0A; end; end; Result := Result + #$0D#$0A; Result := Result + #$0D#$0A; Result := Result + Format('%s',[' AI' + #$0D#$0A]); for I:= 1 to 4 do begin for J:=1 to 4 do begin Result := Result + Format('%20.16f ',[AI[(I-1)+(J-1)*4]]) + #$0D#$0A; end; end; Result := Result + #$0D#$0A; Result := Result + #$0D#$0A; Result := Result + Format('%s',[' EV' + #$0D#$0A]); for I:=1 to 3 do begin Result := Result + Format('%20.16f ',[EV[I-1]]) + #$0D#$0A; end; Result := Result + #$0D#$0A; Result := Result + #$0D#$0A; Result := Result + Format('%s',[' VR' + #$0D#$0A]); for I:=1 to 4 do begin for J:=1 to 3 do begin Result := Result + Format('%20.16f ',[VR[(I-1)+(J-1)*4]]) + #$0D#$0A; end; end; Result := Result + #$0D#$0A; Result := Result + #$0D#$0A; Result := Result + Format('%s',[' VI' + #$0D#$0A]); for I:=1 to 4 do begin for J:=1 to 3 do begin Result := Result + Format('%20.16f ',[VI[(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('TAEH3C',Result); { вывод результатов в файл TAEH3C.res } exit; end; end. Результаты: Собственные значения в интервале (0., 1.): | 0.242260708 | EV = | 0.638283803 | , | 0.796706689 | Собственные векторы, соответствующие вычисленным в интервале (0., 1.) собственным значениям: | - 0.718845953 | | - 0.380449882 | V1 = | - 0.095698981 | , V2 = | 0.850275473 | , | 0.387435463 | | 0.035889606 | | 0.569206432 | | - 0.361941215 | | 0.050328449 | V3 = | - 0.237226458 | , | 0.812846171 | | - 0.529595844 | IERR = 0