Текст подпрограммы и версий
de29r_p.zip , de29e_p.zip
Тексты тестовых примеров
tde29r_p.zip , tde29e_p.zip

Подпрограмма:  DE29R (модуль DE29R_p)

Назначение

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

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

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

          Y ' = F (X, Y) ,

          Y = ( y1, ..., yM ) ,
          F = ( f1 (X, y1,..., yM), ... , fM (X, y1,..., yM) )
 с начальными условиями, заданными в точке XN:
          Y(XN) = YN ,     YN = ( y10,..., yM0 ) , 

многошаговым предсказывающе - исправляющим методом пятого порядка точности. Суть метода состоит в том, что сначала по явной формуле Адамса строятся предсказанные значения приближенного решения, которые затем исправляются по неявной формуле Адамса.

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

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

Беленький В.З. Стандартная программа для интегрирования системы дифференциальных уравнений методом Адамса. Сб. "Вычислительные методы и программирование", вып. 3, Изд-во МГУ, 1965.

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

procedure DE29R(F :Proc_F_DE; M :Integer; XN :Real;
                var YN :Array of Real; XK :Real; HMIN :Real;
                HMAX :Real; EPS :Real; P :Real;
                var H :Real; var Y :Array of Real;
                var DELTY :Array of Real; var DF :Array of Real;
                var RF :Array of Real; var YP :Array of Real;
                var RY :Array of Real; var RFN :Array of Real;
                var IERR :Integer);

Параметры

F - имя подпрограммы вычисления значений правой части дифференциального уравнения. Первый оператоp подпрограммы должен иметь вид:
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 - количество уравнений в системе (тип: целый);
XN, YN - начальные значения аргумента и решения; в случае системы уравнений (т.е. M ≠ 1) YN представляет массив длины M (тип: вещественный);
XK - значение аргумента, при котоpом требуется вычислить решение задачи Коши (конец интервала интегрирования); XK может быть больше, меньше или pавно XN (тип: вещественный);
HMIN - минимальное значение абсолютной величины шага, котоpое разрешается использовать при интегрировании данной системы уравнений (тип: вещественный);
HMAX - максимальное значение абсолютной величины шага, котоpое разрешается использовать при интегрировании данной системы уравнений (тип: вещественный);
EPS - допустимая меpа погрешности, с которой тpебуется вычислить все компоненты решения (тип: вещественный);
P - граница перехода, используемая при оценке меры погрешности решения (тип: вещественный);
H - вещественная переменная, содержащая начальное значение шага интегрирования; может задаваться с учетом направления интегрирования, т.е. положительным, если X > XN, отрицательным, если XK < XN, или без такого учета в виде абсолютной величины;
Y - искомое решение задачи Коши, вычисленное подпрограммой для значения аргумента XK; для системы уравнений (когда M ≠ 1) задается одномерным массивом длины M; в случае совпадения значений параметров XK и XN значение Y полагается равным начальному значению YN (тип: вещественный);
         DELTY -
         RF, YP  
         RFN  
одномерные вещественные рабочие массивы длины M;
DF, RY - двумерные вещественные рабочие массивы размеpа M*5;
IERR - целая переменная, служащая для сообщения об ошибках, обнаруженных в процессе работы подпрограммы; при этом:
           IERR=65 -
         IERR=66  
когда какая - нибудь компонента решения не может быть вычислена с требуемой точностью EPS при заданных начальном шаге H и его минимальном значении HMIN; при этом IERR = 66 указывает, что требуемая точность не может быть достигнута при разгоне, а IERR = 65 - после разгона; при желании интегрирование системы можно повторить обращением к подпрограмме с новыми значениями параметров H и HMIN.

Версии

DE29E - вычисление решения задачи Коши для системы обыкновенных дифференциальных уравнений первого порядка в конце интервала интегрирования методом Адамса с расширенной (Extended) точностью. При этом параметры XN, YN, XK, HMIN, HMAX, EPS, P, H, Y, DELTY, DF, RF, YP, RY, RFN и параметры X, Y и DY в подпрограмме F должны иметь тип Extended.

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

DE28R - выполнение одного шага численного интегрирования системы обыкновенных дифференциальных уравнений первого порядка методом Адамса с контролем точности.
DE28E - выполнение одного шага численного интегрирования системы обыкновенных дифференциальных уравнений первого порядка методом Адамса с расширенной (Extended) точностью.
      UTDE12 -
      UTDE13  
подпрограммы выдачи диагностических сообщений.
  Подпрограммы DE28R и UTDE12 вызываются при работе подпрограммы DE29R, а подпрограммы DE28E и UTDE13 - при работе подпрограммы DE29E.

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

 

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

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

Если после работы подпрограммы нет необходимости иметь начальное значение решения YN, то параметры YN и Y при обращении к ней можно совместить. При этом надо иметь в виду, что в случае аварийного выхода из подпрограммы, т.е. со значением IERR = 65 или 66, значение параметра YN будет испорчено.

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

           y1'  =   y2
           y2'  =  -y1 ,     3/4 π ≤ x ≤ π

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

Приводятся подпрограмма вычисления значений правой части и фрагмент вызывающей программы, а также результаты счета.

Unit TDE29R_p;
interface
uses
SysUtils, Math, { Delphi }
Lstruct, Lfunc, UtRes_p, FDE29R_p, DE29R_p;

function TDE29R: String;

implementation

function TDE29R: String;
var
M,IH,IERR :Integer;
XN,XK,HMIN,EPS,H,P,НМАХ :Real;
YN :Array [0..1] of Real;
Y :Array [0..1] of Real;
DELTY :Array [0..1] of Real;
DF :Array [0..9] of Real;
RF :Array [0..1] of Real;
YP :Array [0..1] of Real;
RY :Array [0..9] of Real;
RFN :Array [0..1] of Real;
begin
Result := '';  { результат функции }
M := 2;
XN := 0.75*3.141593;
YN[0] := Sqrt(2.0)/2.0;
YN[1] := -YN[0];
ХК := 3.141593;
HMIN := 1.E-18;
EPS := 0.00001;
H := 0.01;
IH := 0;
P := 100.0;
НМАХ := 0.1;
DE29R(FDE29R,M,XN,YN,XK,HMIN,HMAX,EPS,P,H,Y,DELTY,
     DF,RF,YP,RY,RFN,IERR);
Result := Result + Format('%s',['      XK']);
Result := Result + Format('%s',['              Y(1)']);
Result := Result + Format('%s',['            Y(2)']);
Result := Result + Format('%20.16f %20.16f %20.16f ',
 [XK,Y[0],Y[1]]) + #$0D#$0A;
UtRes('TDE29R',Result);  { вывод результатов в файл TDE29R.res }
exit;
end;

end.

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

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

implementation

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

end.

Результаты:

          IERR  =  0
          
          Y(1)  =   3.010855175-07
          Y(2)  =  -1.000001503+00