Текст подпрограммы и версий
de36r_p.zip , de36e_p.zip
Тексты тестовых примеров
tde36r_p.zip , tde36e_p.zip

Подпрограмма:  DE36R (модуль DE36R_p)

Назначение

Выполнение одного шага интегрирования жесткой линейной системы обыкновенных дифференциальных уравнений первого порядка неявным методом Рунге - Кутта.

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

Выполняется один шаг численного интегрирования жесткой линейной системы M обыкновенных дифференциальных уравнений первого порядка с переменными коэффициентами

        Y ' (X) = A(X) * Y(X) + φ(X)   ,
        Y = ( y1, ..., yM )   ,
        A(X) = ( a i j(X) ) ,        i, j = 1, ..., M   ,
        φ(X) = ( φ1(X), ..., φM(X) )   .

По заданному значению решения  YX в узле  Xn вычисляется значение этого решения в узле  Xn + H. Вычисление производится по неявной трехчленной формуле Рунге - Кутта шестого порядка точности. Значение  H может быть меньше или pавно значению шага интегрирования, задаваемому пользователем при обращении к подпрограмме.

Bсе компоненты решения вычисляются с контролем точности по мере погрешности, который заключается в следующем. Если некоторая компонента приближенного решения по абсолютной величине не меньше некоторой наперед заданной константы  P, то контроль точности для этой компоненты ведется по относительной погрешности, иначе - по абсолютной. Абсолютная погрешность приближенного решения оценивается по правилу Рунге.

Современные численные методы решения обыкновенных дифференциальных уравнений. Ред. Дж.Холл и Дж.Уатт. "Мир", M., 1979.

Butcher J.C. Implicit Runge - Kutta processes. Math. Comp., 18, 50 - 64, 1964.

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

procedure DE36R(FA :Proc_F3_DE; FI :Proc_F3_DE; M :Integer;
                var JSTART :Integer; HMIN :Real; EPS :Real; P :Real;
                var YX :Array of Real; var X :Real; var H :Real;
                var BUL :Boolean; var XP :Real; var YP :Array of Real;
                var IR :Array of Integer; var R1 :Array of Real;
                var R2 :Array of Real; var R3 :Array of Real;
                var R4 :Array of Real; var R5 :Array of Real;
                var IERR :Integer);

Параметры

FA - подпрограмма вычисления матрицы системы  A (X) в любой точке  X. Первый оператор подпрограммы должен иметь вид:
 

procedure FA (var A :Array of Real; X :Real; M :Integer);

Здесь:  A - двумерный массив размера  M * M, в котоpом помещается матрица системы, вычисленная при значении аргумента  X (тип параметров  A, X: вещественный);
FI - подпрограмма вычисления неоднородности правой части системы  φ (X) в любой точке  X. Первый оператор подпрограммы должен иметь вид:
 

procedure FI (var G :Array of Real; X :Real; M :Integer);

Здесь  G - одномерный массив длины  M, в который помещается неоднородность правой части системы, вычисленная при значении аргумента  X (тип параметров  G, X: вещественный);
M - количество уравнений в системе (тип: целый);
JSTART - целый указатель режима использования подпрограммы, имеющий следующие значения:
0 - первое обращение к подпрограмме должно быть выполнено с нулевым значением  JSTART;
+1 - выполнить один шаг интегрирования системы дифференциальных уравнений для значений независимой и зависимой переменных и шага интегрирования, заданных параметрами  X, YX и  H, соответственно;
-1 - повторить последний шаг интегрирования с новыми значениями параметров  H  и/или  HMIN;
  на выходе из подпрограммы  JSTART полагается равным + 1;
HMIN - минимальное значение абсолютной величины шага, котоpое разрешается использовать при интегрировании данной системы уравнений (тип: вещественный);
EPS - допустимая меpа погрешности, с которой требуется вычислить все компоненты решения (тип: вещественный);
P - граница перехода, используемая при оценке меры погрешности решения (тип: вещественный);
YX, X - заданные вещественные значения решения и соответствующее ему значение аргумента; в результате работы подпрограммы в  X получается новое значение аргумента, а в  YX - соответствующее значение решения; в случае системы уравнений, т.е. когда  M ≠ 1,  YX задается одномерным массивом длины  M;
H - вещественная переменная, содержащая значение шага интегрирования; если для этого значения шага точность приближенного решения достигается, то именно он и реализуется подпрограммой, иначе этот шаг уменьшается подпрограммой до тех пор, пока не будет достигнута заданная точность  EPS; на выходе из подпрограммы  H содержит рекомендуемое подпрограммой значение следущего шага интегрирования, определяемое ею с целью достижения более экономного способа интегрирования;
BUL - логическая переменная, значение которой при обращении к подпрограмме полагается равным TRUE, если заданный в  H шаг выводит в конец интервала интегрирования, и FALSE в противном случае; в результате работы подпрограммы   BUL pавно FALSE, если вместо исходного шага интегрирования был реализован меньший шаг; в противном случае, т.е. когда был выполнен именно заданный при обращении в  H шаг, значение параметра  BUL не меняется;
XP, YP - вещественная рабочая переменная и одномерный рабочий массив длины M, соответственно; значения паметров  XP, YP на выходе из подпрограммы равны тем значениям, которые имели параметры   X, YX при входе в нее (т.е. предыдущий узел и решение в нем);
IR - целый одномерный рабочий массив длины 3 * M;
R1, R2 - вещественные одномерные рабочие массивы длины ( 3M * (3M + 1) ) и  3M, соответственно;
R3 - вещественный двумерный рабочий массив размера M * M;
R4, R5 - вещественные одномерные рабочие массивы длины  M;
IERR - целая переменная, значение которой в результате работы подпрограммы полагается равным 65, если какая - нибудь компонента решения не может быть вычислена с требуемой точностью  EPS; в этом случае последний шаг интегрирования системы можно повторить обращением к подпрограмме с новыми значениями параметров  H, HMIN и значением  JSTART = -1 .

Версии

DE36E - выполнение одного шага численного интегрирования жесткой линейной системы обыкновенных дифференциальных уравнений первого порядка неявным методом Рунге - Кутта с удвоенным числом значащих цифр. При этом параметры  HMIN, EPS, P, YX, X, H, XP, YP, R1, R2, R3, R4, R5 и параметры  A, G, X в подпрограммах  FA и FI должны иметь тип Extended.

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

UTDE16 - подпрограмма выдачи диагностических сообщений при работе подпрограммы DE36R.
UTDE17 - подпрограмма выдачи диагностических сообщений при работе подпрограммы DE36E.

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

 

B общем случае заданая точность не гарантируется.

При работе подпрограммы значения параметров  M, HMIN, EPS, P сохраняются.

При работе подпрограмм  FA и FI значения параметров  X и M не должны изменяться.

При обращении к подпрограмме со значением  JSTART = -1 в качестве исходных значений аргумента и решения принимаются значения параметров  XP и YP, соответственно, т.е. те значения, которые эти параметры получили после самого последнего обращения к подпрограмме с неотрицательным значением  JSTART.

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

      y1' = - 20y1 + y2   ,
      y2' = 19y1 - 2y2   ,

   Точное решение системы:

      y1 = e - x + e - 21x   ,
      y2 = 19e - x - e - 21x   .

Unit TDE36R_p;
interface
uses
SysUtils, Math, { Delphi }
Lstruct, Lfunc, UtRes_p, FB1DE36R_p, FB2DE36R_p, DE36R_p;

function TDE36R: String;

implementation

function TDE36R: String;
var
IH,M,JSTART,_i,IERR :Integer;
X,HMIN,EPS,P,H,Y1,Y2,ХР :Real;
BUL :Boolean;
YX :Array [0..1] of Real;
YP :Array [0..1] of Real;
IR :Array [0..5] of Integer;
R1 :Array [0..41] of Real;
R2 :Array [0..5] of Real;
R3 :Array [0..3] of Real;
R4 :Array [0..1] of Real;
R5 :Array [0..1] of Real;
label
_6,_104,_105,_106,_20;
begin
Result := '';  { результат функции }
IH := 0;
M := 2;
X := 0.0;
YX[0] := 2.0;
YX[1] := 18.0;
HMIN := 1.E-6;
EPS := 1.E-4;
P := 100.0;
JSTART := 0;
H := 0.01;
BUL := False;
_6:
DE36R(FB1DE36R,FB2DE36R,M,JSTART,HMIN,EPS,P,YX,X,H,BUL,XP,YP,
     IR,R1,R2,R3,R4,R5,IERR);
Result := Result + Format('%s',[' IERR=']);
Result := Result + Format('%4d ',[IERR]) + #$0D#$0A;
IH := IH+1;
Y1 := Exp(-X)+Exp(-21.0*X);
Y2 := 19.0*Exp(-X)-Exp(-21.0*X);
Result := Result + Format('%20.16f ',[X]) + #$0D#$0A;
Result := Result + #$0D#$0A;
for _i:=0 to 1 do
 begin
  Result := Result + Format('%20.16f ',[YX[_i]]);
  if ( ((_i+1) mod 2)=0 )
   then Result := Result + #$0D#$0A;
 end;
Result := Result + #$0D#$0A;
Result := Result + Format('%20.16f  %20.16f  %20.16f ',
 [H,Y1,Y2]) + #$0D#$0A;
case IH of
 1: goto _6;
 2: goto _6;
 3: goto _104;
 4: goto _105;
 5: goto _106;
 6: goto _6;
 7: goto _20;
end;
_104:
JSTART := -1;
H := 0.005;
goto _6;
_105:
JSTART := -1;
H := 0.02;
goto _6;
_106:
JSTART := -1;
H := 0.03;
goto _6;
_20:
UtRes('TDE36R',Result);  { вывод результатов в файл TDE36R.res }
exit;
end;

end.

Unit fb1de36r_p;
interface
uses
SysUtils, Math, { Delphi }
Lstruct, Lfunc;

procedure fb1de36r(var A :Array of Real; X :Real; M :Integer);

implementation

procedure fb1de36r(var A :Array of Real; X :Real; M :Integer);
begin
A[0] := -20.0;
A[2] := 1.0;
A[1] := 19.0;
A[3] := -2.0;
end;

end.

Unit fb2de36r_p;
interface
uses
SysUtils, Math, { Delphi }
Lstruct, Lfunc;

procedure fb2de36r(var FI :Array of Real; X :Real; M :Integer);

implementation

procedure fb2de36r(var FI :Array of Real; X :Real; M :Integer);
begin
FI[0] := 0.0;
FI[1] := 0.0;
end;

end.

Результаты:

после первого обращения к подпрограмме -

                      X                               YX(1)                              YX(2)
       9.999999999991 - 03    1.800634079711 + 00    1.800036259522 + 01
                      H                               Y1                                   Y2
       1.999999999998 - 02    1.800634079724 + 00    1.800036259528 + 01

после второго обращения к подпрограмме -

                      X                               YX(1)                              YX(2)
       2.999999999997 - 02    1.503037334354 + 00    1.790587333651 + 01
                      H                               Y1                                   Y2
       3.999999999996 - 02    1.503037334556 + 00    1.790587333636 + 01

после третьего обращения к подпрограмме -

                      X                               YX(1)                              YX(2)
       6.999999999994 - 02    1.162319294410 + 00    1.748555710353 + 01
                      H                               Y1                                   Y2
       7.999999999993 - 02    1.162319305093 + 00    1.748555709302 + 01

после четвертого обращения к подпрограмме -

                      X                               YX(1)                              YX(2)
       3.499999999997 - 02    1.445110875044 + 00    1.786699744989 + 01
                      H                               Y1                                   Y2
       9.999999999991 - 03    1.445110875235 + 00    1.786699744992 + 01

после пятого обращения к подпрограмме -

                      X                               YX(1)                              YX(2)
       4.999999999995 - 02    1.301167173347 + 00    1.772342131648 + 01
                      H                               Y1                                   Y2
       3.999999999996 - 02    1.301167173613 + 00    1.772342131642 + 01

после шестого обращения к подпрограмме -

                      X                               YX(1)                              YX(2)
       5.999999999995 - 02    1.225418558231 + 00    1.760987211324 + 01
                      H                               Y1                                   Y2
       5.999999999995 - 02    1.225418560085 + 00    1.760987211161 + 01

после седьмого обращения к подпрограмме -

                      X                               YX(1)                              YX(2)
       1.199999999999 - 01    9.673799790717 - 01    1.677102875494 + 01
                      H                               Y1                                   Y2
       1.199999999999 - 01    9.673800434666 - 01    1.677102869086 + 01