|
Текст подпрограммы и версий de21r_p.zip , de21e_p.zip , de24r_p.zip , de24e_p.zip |
Тексты тестовых примеров tde21r_p.zip , tde21e_p.zip , tde24r_p.zip , tde24e_p.zip |
Выполнение одного шага численного интегрирования нежесткой и жесткой систем обыкновенных дифференциальных уравнений первого порядка методом Гира с контролем точности.
Выполняется один шаг численного интегрирования системы М обыкновенных дифференциальных уравнений первого порядка
Y' = F (X, Y) ,
Y = ( y1, ..., yM ) ,
F = ( f1 (X, y1,..., yM),..., fM (X, y1,..., yM) ) методом Гира.
Метод Гира для нежесткой системы является многошаговым предсказывающе - исправляющим методом Адамса, записанным в форме Нордсика, при этом предсказание и исправление имеют один и тот же порядок.
B случае, когда система уравнений является жесткой, интегрирование осуществляется специальным методом основанным на методе типа Адамса и использующим якобиан ( ∂F/∂Y ) системы, который вычисляется подпрограммой по формулам численного дифференцирования.
По заданному значению YX решения в узле Xn вычисляется значение этого решения в узле Xn + H. Считается, что решение в узле Xn + H вычислено с требуемой точностью EPS, если выполняется следующее соотношение:
M
( ∑ ( eI / YPM(I) )2 )1/2 ≤ EPS ,
I=1
где eI - вычисляемая подпрограммой оценка абсолютной погрешности приближенного значения I - й компоненты решения в узле Xn + H, YPM (I) - задается при обращении к подпрограмме и, по существу, позволяет использовать разный тип погрешности для каждой компоненты. Если, например, YPM(I) = 1, то для I - ой компоненты YX(I) решения будет использоваться абсолютная погрешность; если YPM (I) = | YX (I) | ≠ 0 , где YX(I) - значение I - й компоненты YX(I) в узле Xn, то для этой компоненты берется отношение абсолютной погрешности приближенного ее значения в узле Xn + H к абсолютной величине приближенного значения этой компоненты в предыдущем узле Хn. Значение H может быть меньше или pавно значению шага интегрирования, задаваемому пользователем при обращении к подпрограмме.
Gear C.W., The automatic integration of ordinary differential equations. Communications of the ACM, 14, 3 (March 1971), 176-179.
Gear C.W., Numerical initial value problems in ordinary differential equations, Prentice - Hall, Englewood Cliffs, N.J., 1971.
Gear C.W., The automatic integration of stiff ordinary differential equations. Information Processing 68, A.J.H.
procedure DE21R(F :Proc_F_DE; M :Integer; ISTIFJ :Integer;
IORDER :Integer; var JSTART :Integer; HMIN :Real;
HMAX :Real; EPS :Real; var YX :Array of Real;
var X :Real; var H :Real; var BUL :Boolean;
var YPM :Array of Real; var DELTY :Array of Real;
var RAB :Array of Real; var YP :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 - | количество уравнений в системе (тип: целый); |
| ISTIFJ - | целый указатель метода численного интегрирования: |
| ISTIFJ=0 - | интегрирование системы ведется методом Адамса; |
| ISTIFJ=1 - | интегрирование ведется специальным методом, предназначенным для жестких систем; |
| IORDER - | целая переменная, указывающая максимальный допустимый порядок метода; IORDER должен быть не больше 7 для метода Адамса и не больше 6 для метода интегрирования жестких систем; |
| JSTART - | целый указатель режима использования подпрограммы, имеющий следующие значения: |
| 0 - | первое обращение к подпрограмме должно быть выполнено с нулевым значением JSTART; |
| +1 - | выполнить один шаг интегрирования системы дифференциальных уравнений для значений независимой и зависимой переменных и шага интегрирования, заданных параметрами X, YX и H ,соответственно; |
| -1 - | повторить последний шаг интегрирования с новыми значениями параметров H и/или HMIN; |
| на выходе из подпрограммы JSTART pавен текущему порядку метода; |
| HMIN - | минимальное значение абсолютной величины шага, котоpое разрешается использовать при интегрировании данной системы уравнений; это значение должно быть много меньше среднего ожидаемого шага интегрирования при первом обращении к подпрограмме с JSTART = 0 (тип: вещественный); |
| HMAX - | максимальное значение абсолютной величины шага, котоpое разрешается использовать при интегрировании данной системы уравнений (тип: вещественный); |
| EPS - | требуемая точность вычисления решения; размер шага интегрирования и порядок метода выбираются в подпрограмме автоматически таким образом, чтобы вычисляемые ею оценки абсолютных погрешностей всех компонент решения, деленные на YPM (I), были не больше EPS в евклидовой ноpме (тип: вещественный); |
| X, YX - | начальные вещественные значения аргумента и решения уравнений в нем; в результате работы подпрограммы в X получается новое значение аpгумента, а в YX - соответствующее значение pешения; в случае системы уравнений, т.е. когда M ≠ 1 , YX задается одномерным массивом длины M; |
| H - | вещественная переменная, содержащая значение шага интегрирования; если для этого значения шага точность приближенного решения достигается, то именно он и реализуется подпрограммой, иначе этот шаг уменьшается подпрограммой до тех пор, пока не будет достигнута заданная точность; на выходе из подпрограммы H содержит рекомендуемое подпрограммой значение следующего шага интегрирования, определяемое ею с целью достижения наиболее экономного способа интегрирования; |
| BUL - | логическая переменная, значение которой при обращении к подпрограмме полагается равным TRUE, если заданный в H шаг выводит в конец интервала интегрирования, и FALSE в противном случае; в результате работы подпрограммы BUL pавно FALSE, если вместо исходного шага интегрирования был реализован меньший шаг; в противном случае, т.е. когда был выполнен именно заданный при обращении в H шаг, значение параметра BUL не меняется; |
| YPM - | одномерный вещественный массив длины M; значение YPM, котоpое он имеет на входе в подпрограмму, используется при вычислении погрешности приближенного решения; считается, что приближенное решение достигает требуемой точности, если евклидова ноpма вектоpа, составленного из абсолютных погрешностей вычисленных значений всех компонент решения, деленных на соответствующие элементы массива YPM (т.е. абсолютная погрешность I - й компоненты делится на I - й элемент YPM(I)), не превосходит EPS; в pезультате работы подпрограммы значение I - го элемента YPM (I) сохраняется, если вновь вычисленное значение I - й компоненты YX (I) решения не превосходит по абсолютной величине исходного значения YPM (I), и заменяется на абсолютную величину нового значения, если она больше первоначального значения YPM (I); если на входе в подпрограмму YPM (I) = 1, то для I - ой компоненты решения YX (I) будет использоваться абсолютная погрешность; если на входе YPM (I) = | YX (I) | ≠ 0, то для I - й компоненты берется отношение абсолютной погрешности приближенного ее значения в узле X + H к абсолютной величине значения этой компоненты в предыдущем узле X; |
| DELTY - | одномерный вещественный рабочий массив длины M; |
| RAB - | одномерный вещественный рабочий массив; при интегрировании нежесткой системы уравнений RAB имеет размер 17*M, при интегрировании жесткой системы - M*(M + 17); |
| YP - | двумерный вещественный рабочий массив размера 8*M; |
| IERR - | целая переменная, служащая для сообщения об ошибках, обнаруженных в процессе работы подпрограммы; при этом: |
| IERR= 1 - | когда неправильно задан параметр IORDER, а именно, когда IORDER превосходит максимальный допустимый порядок метода; в этом случае интегрирование ведется методом Гира порядка не выше 7 для нежесткой системы и не выше 6 для жесткой; |
| IERR=65 - | когда интегрирование системы выполнено с заданным минимальным шагом, но требуемая точность полученного при этом значения YX решения не достигнута; в этом случае последний шаг интегрирования системы можно повторить обращением к подпрограмме с новыми значениями параметров H и HMIN и со значением JSTART = - 1; |
| IERR=66 - | когда приближенное значение решения не может быть вычислено, т.к. итерационный процесс его определения не сходится для шагов интегрирования H, больших заданного минимального значения HMIN; |
| IERR=67 - | когда требуемая точность EPS вычисления приближенного решения меньше той, которая может быть достигнута для данной задачи при тех размерах шага интегрирования, начальное значение которого задано параметром H; |
| при IERR = 66 и 67 значения параметров X и YX сохраняются, а в H засылается то значение шага интегрирования, котоpое было на выходе в предыдущем обращении к подпрограмме; в этом случае интегрирование системы можно повторить обращением к подпрограмме с новыми значениями параметров H и HMIN, если IERR = 66, и параметра H, если IERR = 67; |
| IERR=68 - | когда приближенное значение решения для жесткой системы не может быть вычислено с заданной точностью; в этом случае значения X и YX сохраняются, а в H засылается то значение шага интегрирования, котоpое было на выходе в предыдущем обращении к подпрограмме; для достижения требуемой точности следует воспользоваться версиями подпрограммы DE21E, DE24R, или DE24E. |
Версии
| DE21E - | выполнение одного шага численного интегрирования нежесткой и жесткой систем обыкновенных дифференциальных уравнений первого порядка методом Гира с расширенной (Extended) точностью. При этом параметры HMIN, HMAX, EPS, YX, X, H, YPM, DELTY, RAB, YP и параметры X, Y и DY в подпрограмме F должны иметь тип Extended. |
| DE24R - |
выполнение одного шага численного
интегрирования жесткой системы обыкновенных
дифференциальных уравнений первого порядка методом Гира с
контролем точности. Первый оператор
подпрограммы имеет вид:
procedure DE24R(F :Proc_F_DE; FJ :Proc_F_DE; M :Integer; IORDER :Integer;
var JSTART :Integer; HMIN :Real; HMAX :Real;
EPS :Real; var YX :Array of Real; var X :Real;
var H :Real; var BUL :Boolean; var YPM :Array of Real;
var DELTY :Array of Real; var RAB :Array of Real;
var YP :Array of Real; var IERR :Integer);
Здесь: FJ - имя подпрограммы вычисления
якобиана правой части системы; первый оператор этой
подпрограммы имеет вид:procedure FJ (X :Real; var Y :Array of Real; var Z :Array of Real; M :Integer); Здесь: X, Y - значения независимой и зависимой переменных, соответственно, причем Y представляет одномерный массив длины M; вычисленное значение якобиана должно быть помещено в двумерный массив Z размера M*M, при этом частная производная от правой части I - ого уравнения по J - ой переменной Y (J) запоминается в элементе Z (I, J) (тип параметров X, Y и Z: вещественный). Остальные параметры подпрограммы DE24R имеют тот же смысл, что и одноименные параметры подпрограммы DE21R. |
| DE24E - | выполнение одного шага численного интегрирования жесткой системы обыкновенных дифференциальных уравнений первого порядка методом Гира с расширенной (Extended) точностью. Первый оператор подпрограммы имеет тот же вид, что и в подпрограмме DE24R; при этом паметры HMIN, HMAX, EPS, YX, X, H, YPM, DELTY, RAB, YP и параметры X, Y, DY и Z в подпрограммах F и FJ должны иметь тип Extended. |
Вызываемые подпрограммы
| UTDE12 - | подпрограмма выдачи диагностических сообщений при работе подпрограммы DE21R и DE24R. |
| UTDE13 - | подпрограмма выдачи диагностических сообщений при работе подпрограмм DE21E и DE24E. |
| Kpоме того, DE21R, DE24R и DE21E, DE24E используют pабочие подпрограммы DE21RU, DE21RP и DE21EU, DE21EP, соответственно. |
Замечания по использованию
|
B общем случае заданная точность EPS не гарантируется. При работе подпрограммы и ее версий значения параметров M, ISTIFJ, IORDER, HMIN, HMAX, EPS сохраняются. Значение HMIN должно быть много меньше ожидаемого среднего шага интегрирования при первом обращении к подпрограмме, т.к. при первом обращении к подпрограмме используется метод первого порядка. При многократном использовании подпрограммы или ее веpсий для вычисления решения системы уравнений на отрезке значения параметров M, ISTIFJ, EPS, YX, X и значения рабочих массивов, задаваемых параметрами YPM, DELTY, RAB, YP, не должны изменяться в вызывающей программе между последовательными обращениями к подпрограмме DE21R или ее версиям. |
y1' = y3
y2' = y4
y3' = - ( 1 - 0.002 x ) y1 / ( y12 + y22 )3/2
y4' = - ( 1 - 0.002 x ) y2 / ( y12 + y22 )3/2 ,
y1(0) = 0.09411764706 , y2(0) = 0 , y3(0) = 0 , y4(0) = 4.5
Приводится подпрограмма вычисления значений правой части и фрагмент вызывающей программы, а также результаты счета:
Unit TDE21R_p;
interface
uses
SysUtils, Math, { Delphi }
Lstruct, Lfunc, UtRes_p, FDE21R_p, DE21R_p;
function TDE21R: String;
implementation
function TDE21R: String;
var
M,IORDER,JSTART,ISTIFJ,I,_i,IERR :Integer;
X,H,HMAX,HMIN,EPS :Real;
BUL :Boolean;
RАВ :Array [0..67] of Real;
Y :Array [0..3] of Real;
DELTY :Array [0..3] of Real;
YРМ :Array [0..3] of Real;
YP :Array [0..31] of Real;
label
_10;
begin
Result := ''; { результат функции }
BUL := False;
M := 4;
X := 0.0;
H := 0.01;
Y[0] := 0.09411764706;
Y[1] := 0.0;
Y[2] := 0.0;
Y[3] := 4.5;
IORDER := 4;
JSTART := 0;
НМАХ := 0.1;
HMIN := 1.E-18;
EPS := 1.E-5;
ISTIFJ := 0;
for I:=1 to M do
begin
_10:
YPM[I-1] := 1.0;
end;
DE21R(FDE21R,M,ISTIFJ,IORDER,JSTART,HMIN,HMAX,EPS,Y,X,H,
BUL,YPM,DELTY,RAB,YP,IERR);
Result := Result + Format(' %20.16f %20.16f ',[X,H]) + #$0D#$0A;
Result := Result + #$0D#$0A;
for _i:=0 to 3 do
begin
Result := Result + Format('%20.16f ',[Y[_i]]);
if ( ((_i+1) mod 4)=0 )
then Result := Result + #$0D#$0A;
end;
Result := Result + #$0D#$0A;
Result := Result + Format('%s',[' DELTY(1)']);
Result := Result + Format('%s',[' DELTY(2)']);
Result := Result + Format('%s',[' DELTY(3)']);
Result := Result + Format('%s',[' DELTY(4)' + #$0D#$0A]);
Result := Result + #$0D#$0A;
for _i:=0 to 3 do
begin
Result := Result + Format('%20.16f ',[DELTY[_i]]);
if ( ((_i+1) mod 4)=0 )
then Result := Result + #$0D#$0A;
end;
Result := Result + #$0D#$0A;
UtRes('TDE21R',Result); { вывод результатов в файл TDE21R.res }
exit;
end;
end.
Unit fde21r_p;
interface
uses
SysUtils, Math, { Delphi }
Lstruct, Lfunc;
procedure fde21r(X :Real; var Y :Array of Real; var DY :Array of Real;
M :Integer);
implementation
procedure fde21r(X :Real; var Y :Array of Real; var DY :Array of Real;
M :Integer);
var
R2,R :Real;
begin
R2 := Y[0]*Y[0]+Y[1]*Y[1];
R2 := R2*Sqrt(R2);
R := -(1.0-0.002*X)/R2;
DY[0] := Y[2];
DY[1] := Y[3];
DY[2] := R*Y[0];
DY[3] := R*Y[1];
end;
end.
Результаты:
X = 4.057708603-05
H = 4.057708603-05
Y(1) = 9.411746119-02
Y(2) = 1.825965265-04
Y(3) = -4.580764462-03
Y(4) = 4.499991113
IERR = 0