Текст подпрограммы и версий
de34r_p.zip , de34e_p.zip , de18r_p.zip , de18e_p.zip
Тексты тестовых примеров
tde34r_p.zip , tde34e_p.zip , tde18r_p.zip , tde18e_p.zip

Подпрограмма:  DE34R (модуль DE34R_p) (версия DE18R)

Назначение

Построение начальных значений при интегрировании системы обыкновенных дифференциальных уравнений второго порядка методом Штермера с контролем точности.

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

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

    Y '' = F (X, Y)   ,
    Y = ( y1, ..., yM )   ,
    F = ( f1 (X, y1, ..., yM), ..., fM (X, y1, ..., yM) )   ,

с начальными условиями, заданными в точке  XN:

          Y (XN) = YN,      YN = ( y10, ..., yM0 )   ,
          Y '(XN) = DYN,  DYN = ( y10', ..., yM0' )   ,

отыскиваются необходимые при численном интегрировании этой системы многошаговым методом Штермера значение решения  Y в первом (после начальной точки  XN) узле интегрирования  ХN + Н, его конечная разность первого порядка и конечные разности правой части системы до четвертого порядка включительно в том же узле  XN + H.

Четвертый порядок разностей соответствует шестому порядку точности используемого метода Штермера.

Указанная процедура вычисления необходимых для счета начальных значений называется разгоном.

Используемый в подпрограмме метод разгона является итерационным способом, опирающимся на пару формул, одна из которых представляет значение решения в узле  XN + H через начальные условия (т.е. через его значение и значение его производной в начальной точке  XN), а также через конечные разности правой части системы в точке  XN, а другая является экстраполяционной формулой, применяемой для предсказания приближенного значения решения в используемом для интегрирования методе Штермера.

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

Березин И.С., Жидков Н.П. Методы вычислений, т.2. Физматгиз, М., 1960.

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

procedure DE34R(F :Proc_F_DE; M :Integer; IORDER :Integer;
                XN :Real; var YN :Array of Real;
                var DYN :Array of Real; HMIN :Real; EPS :Real;
                P :Real; var H :Real; var X :Real;
                var YX :Array of Real; var DY :Array of Real;
                var DF :Array of Real; var RFN :Array of Real;
                var RF :Array of Real; var R :Array of Real;
                var IERR :Integer);

Параметры

F - имя подпрограммы вычисления значений правой части системы. Первый оператор подпрограммы должен иметь вид:
 

procedure F (X :Real; var Y :Array of Real; var DY :Array of Real; M :Integer);

Здесь: X, Y - значения независимой и зависимой переменных, соответственно; вычисленное значение правой части должно быть помещено в  DY. B случае системы уравнений, т.е. когда  M ≠ 1, параметры  Y и  DY представляют одномерные массивы длиной  M (тип параметров X, Y и DY: вещественный);
M - количество уравнений в системе (тип: целый);
IORDER - порядок точности без единицы того метода Штермера, для которого выполняется разгон и который будет использоваться при интегрировании данной системы уравнений (тип: целый);
      XN, YN -
         DYN  
начальные значения аргумента, решения и его производной; в случае системы уравнений (т.е.  M ≠ 1)  YN и  DYN представляют одномерные массивы длиной  M (тип: вещественный);
HMIN - минимальное значение абсолютной величины шага, котоpое разрешается использовать при интегрировании данной системы уравнений (тип: вещественный);
EPS - допустимая меpа погрешности, с которой тpебуется вычислить все компоненты решения (тип: вещественный);
P - граница перехода, используемая при оценке погрешности решения (тип: вещественный);
H - вещественная переменная, содержащая значение шага интегрирования. Если для этого значения шага точность при разгоне достигается, то именно он и реализуется на разгоне, иначе этот шаг уменьшается подпрограммой до тех пор, пока не будет достигнута заданная точность;
X - вещественная переменная, значение которой на выходе из подпрограммы представляет первый (после начальной точки  XN) узел интегрирования  XN + H, в котоpом вычислены необходимые для интегрирования данной системы уравнений начальные значения;
YX, DY - одномерные вещественные массивы длиной  M, в которых запоминаются значения решения и его первой разности, вычисленные в узле  X, при этом погрешность решения и разности имеет (IОRDЕR + 1) - й порядок по  H;
DF - двумерный вещественный массив размера M * IORDER, в котоpом запоминаются значения правой части системы и ее разностей до (IОRDЕR - 1) - го порядка включительно, вычисленные в узле  X и умноженные на коэффициент   H2 / 12, при этом элемент  DF (I, 1) этого массива содержит значение правой части  I - го уравнения системы, а  DF (I, J + 1) - ее  J - ю разность, погрешность которой имеет (IОRDЕR + 1) - й порядок по  H;
         RFN -
       RF, R  
одномерные вещественные рабочие массивы длины  M;
IERR - целая переменная, значение которой в pезультате работы подпрограммы полагается равным 65, если на разгоне не может быть достигнута требуемая точность  EPS; в этом случае разгон можно начать сначала обращением к подпрограмме с новыми значениями паpаметpов  H и  HMIN.

Версии

DE34E - построение начальных значений с расширенной (Extended) точностью при интегрировании системы обыкновенных дифференциальных уравнений второго порядка методом Штермера с контролем точности. При этом параметры  XN, YN, DYN, HMIN, EPS, P, H, X, YX, DY, DF, RFN, RF, R и параметры  X, Y и  DY в подпрограмме должны иметь тип Extended.
DE18R - назначение этой подпрограммы такое же, как и подпрограммы DE34R, но схема организации вычислений в ней несколько иная, чем в DE34R, а именно: значение решения вычисляется через значение некоторой промежуточной переменной, введение которой позволяет уменьшить вычислительную погрешность в приближенном значении решения. Все формальные параметры DE18R имеют тот же смысл, что и соответствующие им параметры DE34R с той только разницей, что в массив  DY заносится разделенная разность решения, вычисленная с порядком  IORDER по  H, а не конечная разность как в DE34R, а в массив  DF - конечные разности правой части системы, умноженные на коэффициент  H / 12 и вычисленные с порядком  IORDER по  H.
DE18E - то же, что и DE18R, но все вычисления ведутся с удвоенным числом значащих цифр; при этом параметры  XN, YN, DYN, HMIN, EPS, P, H, X, YX, DY, DF, RFN, RF, R и параметры  X, Y и  DY в подпрограмме  F должны иметь тип Extended.

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

UTDE12 - подпрограмма выдачи диагностических сообщений при работе подпрограммы DE34R.
UTDE13 - подпрограмма выдачи диагностических сообщений при работе подпрограммы DE34E.
UTDE16 - подпрограмма выдачи диагностических сообщений при работе подпрограммы DE18R.
UTDE17 - подпрограмма выдачи диагностических сообщений при работе подпрограммы DE18E.
  Kpоме того, подпрограммы DE34R и DE34E используют рабочие подпрограммы DE28RS и DE28ES, соответственно.

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

 

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

Значение праметра  H, задаваемое при обращении к подпрограмме, должно быть таким, чтобы узел  XN + (IORDER - 1_p) * H не выходил за конец интервала интегрирования.

Значение параметра  IORDER на входе в подпрограмму полагается равным 5. B дальнейшем предполагается расширить допустимое множество значений этого параметра.

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

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

       y1'' = - y1   , 
       y2'' = - y2   ,
       y1 (3/4 * π) = √2 / 2,        y2 (3/4 * π) = - √2 / 2   ,
       y1' (3/4 * π) = - √2 / 2,     y2' (3/4 * π) = - √2 / 2   .

Unit TDE34R_p;
interface
uses
SysUtils, Math, { Delphi }
Lstruct, Lfunc, UtRes_p, FDE34R_p, DE34R_p;

function TDE34R: String;

implementation

function TDE34R: String;
var
IORDER,M,_i,J,I,IERR :Integer;
H,P,EPS,HMIN,XN,X :Real;
YN :Array [0..1] of Real;
DYN :Array [0..1] of Real;
Y :Array [0..1] of Real;
DY :Array [0..1] of Real;
DELTY :Array [0..1] of Real;
DF :Array [0..9] of Real;
RFN :Array [0..1] of Real;
RF :Array [0..1] of Real;
begin
Result := '';  { результат функции }
H := 0.01;
IORDER := 5;
P := 100.0;
EPS := 0.0001;
HMIN := 1.E-10;
M := 2;
XN := 0.75*3.14159265359;
YN[0] := Sqrt(2.0)/2.0;
YN[1] := -YN[0];
DYN[0] := YN[1];
DYN[1] := -YN[0];
DE34R(FDE34R,M,IORDER,XN,YN,DYN,HMIN,EPS,P,H,X,Y,
     DY,DF,RFN,RF,DELTY,IERR);
RЕSult := Result + Format(' %20.16f ',[X]) + #$0D#$0A;
Result := Result + #$0D#$0A;
for _i:=0 to 1 do
 begin
  Result := Result + Format('%20.16f ',[Y[_i]]);
  if ( ((_i+1) mod 2)=0 )
   then Result := Result + #$0D#$0A;
 end;
Result := Result + #$0D#$0A;
Result := Result + #$0D#$0A;
FОR _i:=0 to 1 do
 begin
  Result := Result + Format('%20.16f ',[DY[_i]]);
  if ( ((_i+1) mod 2)=0 )
   then Result := Result + #$0D#$0A;
 end;
Result := Result + #$0D#$0A;
Result := Result + #$0D#$0A;
for J:=1 to 5 do
 begin
  for I:=1 to 2 do
   BЕgin
    Result := Result + Format('%20.16f ',[DF[(I-1)+(J-1)*2]]) + #$0D#$0A;
   end;
 end;
Result := Result + #$0D#$0A;
UtRes('TDE34R',Result);  { вывод результатов в файл TDE34R.res }
exit;
end;

end.

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

procedure fde34r(T :Real; var Y :Array of Real; var Z :Array of Real;
                M :Integer);

implementation

procedure fde34r(T :Real; var Y :Array of Real; var Z :Array of Real;
                M :Integer);
begin
Z[0] := -Y[0];
Z[1] := -Y[1];
end;

end.

Результаты:

       IERR  =  0

       X  =  2.366194490 + 00

       Y(1)   =   7.000004762 - 01        Y(2)   =  - 7.141423761 - 01

       DY(1)  =  - 7.106305006 - 03        DY(2)  =  - 7.035594917 - 03

       DF(1, 1)  =  - 5.83333730151 - 06       DF(1, 2)  =     5.92192083634 - 08
       DF(1, 3)  =    5.89251453187 - 10        DF(1, 4)  =  - 5.86490578325 - 12
       DF(1, 5)  =  - 5.76760861293 - 14

       DF(2, 1)  =    5.95118646749 - 06       DF(2, 2)  =     5.86299576250 - 08
       DF(2, 3)  =  - 5.89250072347 - 10       DF(2, 4)  =  - 5.92374760355 - 12
       DF(2, 5)  =    6.01324545713 - 14