Текст подпрограммы и версий
de52r_p.zip , de52e_p.zip
Тексты тестовых примеров
tde52r_p.zip , tde52e_p.zip

Подпрограмма:  DE52R (модуль DE52R_p)

Назначение

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

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

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

(1)          Y ' = A (X) Y + f (X)   ,

где  A (X) - квадратная матрица размера  M * M   ,
        f (X)  - М - мерная   вектор - функция   ,
с линейными краевыми условиями
(2)          BY (XN) = b   ,
(3)          CY (XK) = c   ,

где  B - прямоугольная матрица размера  (M - K) * M 
             (ранг pавен  M - K)   ,
      С - прямоугольная  матрица размера  K * M
             (ранг pавен  K)   ,
      b - (M - K) - мерный   вектоp   ,
      c - К - мерный   вектоp   , 

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

Реализованный в подпрограмме метод включает в себя в качестве подалгоритмов следующие задачи:

1)  вычисление решения задачи Коши методом Mеpсона [2];
2)  нахождение фундаментальной системы решений однородной и частного решения неоднородной систем линейных алгебраических уравнений методом Жордана с выбором главного элемента по стpоке [3];
3) 

ортогонализацию линейно - независимой системы вектоpов методом отражений [3].

1.  С.К.Годунов, O численном решении систем обыкновенных дифференциальных уравнений первого порядка. Успех математических наук, N 3, 1961.
2.  Дж.Н.Ланс, Численные методы для быстродействующих вычислительных машин. Изд - во иностранной литературы, M., 1962.
3.  В.В.Воеводин, Численные методы алгебры. Теория и алгорифмы. Hаука, M., 1966.

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

procedure DE52R(F :Proc_F_DE; M :Integer; XN :Real; NX :Integer;
                var X :Array of Real; HMIN :Real; EPS :Real;
                P :Real; NXORT :Integer; var XORT :Array of Real;
                K :Integer; BULODN :Boolean; var B :Array of Real;
                var C :Array of Real; var Y :Array of Real;
                var U :Array of Real; var IRAB :Array of Integer;
                var YR :Array of Real; var RK :Array of Real;
                var T :Array of Real; var IERR :Integer);

Параметры

F - имя подпрограммы вычисления произведения  A (X) Y и значений правой части  A (X) Y + f (X) дифференциальных уравнений. Первый оператор подпрограммы должен иметь вид:
procedure F (X :Real; var Y :Array of Real; var Z :Array of Real; M :Integer);
Здесь:
X - значение независимой переменной;
Y - одномерный массив длины  M, представляющий значение зависимой переменной;
Z - одномерный массив длины  M, в который помещаются вычисленные значения  A (X) Y или  A (X) Y + f (X).
  Kpоме этого, подпрограмма  F должна содержать глобальную запись (структуру данных) _COM52R, содержащую переменную  BUL1, (тип: Boolean). Если  BUL1 = FALSE, то в массив  Z должны быть засланы значения  A (X) Y, если  BUL1 = .TRUE., то в массив  Z помещаются значения  A (X) Y + f (X) (тип паpаметpов  X, Y и  Z: вещественный);
M - количество уравнений в системе (1);  M должно быть больше 1 (тип: целый);
XN - конец отрезка интегрирования, в котоpом задано граничное условие (2) (тип: вещественный);
NX - число узлов, в которых требуется вычислить pешение краевой задачи (тип: целый);
X - одномерный вещественный массив длины  NX, представляющий узлы, в которых требуется вычислить решение. Эти узлы должны быть расположены в порядке убывания, т.е.  X (1) > X (2) > ... > X (NX), если  XN < XK, (XK - конец отрезка интегрирования, в котоpом задано граничное условие (3)), и в порядке возрастания, т.е.  X (1) < X (2) < ... < X (NX), если  XN > XK. Если  NX = 1, то  X задается элементом массива, переменной или константой вещественного типа;
HMIN - минимальное значение абсолютной величины шага численного интегрирования, который разрешается использовать при вычислении решения задачи Kоши (тип: вещественный);
EPS - допустимая меpа погрешности, с которой требуется вычислить все компоненты решения (тип: вещественный);
P - граница перехода, используемая при оценке погрешности решения (тип: вещественный);
NXORT - число узлов, в которых будет производиться оpтогонализация решений задач Коши;  NXORT ≥ 1 (тип: целый);
XORT - одномерный вещественный массив длины  NXORT, представляющий узлы, в которых будет производиться ортогонализация решений задач Коши. Эти узлы должны быть расположены в порядке возрастания, т.е.  XORT (1) < XORT (2) < ... < XORT(NXORT), если  XN < XK (XK - конец отрезка интегрирования, в котоpом задано граничное условие (3)), и в порядке убывания, т.е. XORT (1) > XORT (2) > ... > XORT (NXORT), если  XN > XK. При этом последний узел ортогонализации  XORT (NXORT) должен совпадать с концом отрезка интегрирования  XK. Если  NXORT = 1, то единственный узел ортогонализации (он же конец  XK) задается константой, переменной или элементом массива вещественного типа;
K - число условий на конце интервала   XK = XORT (NXORT) (тип: целый);
BULODN - переменная типа Boolean, указывающая на однородность уравнения (1) и краевых условий (2) на конце отрезка  XN, а именно:
BULODN= TRUE - когда однородны граничные условия (2), т.е. вектоp  b - нулевой, и система уравнений (1), т.е.  f (X) ≡ 0 на интервале интегрирования;
BULODN=FALSE - когда есть неоднородность в (1) либо в (2);
B - двумерный вещественный массив размера  (M - K) * (M + 1), представляющий расширенную матрицу системы линейных алгебраических уравнений в граничном условии (2), расписанную по столбцам; при этом вектоp  b размещается в следующих элементах массива  B:
B (1, M + 1), B (2, M + 1), B (3, M + 1), ... ;
C - двумерный вещественный массив размера  K * (M + 1), представляющий расширенную матрицу системы линейных алгебраических уравнений в граничном условии (3), расписанную по столбцам; при этом вектоp  c размещается в следующих элементах массива  C:
C (1, M + 1), C (2, M + 1), C (3, M + 1), ... ;
Y - двумерный вещественный массив размера  M * NX, в котоpом помещается вычисленное решение кpаевой задачи;
U - двумерный вещественный рабочий массив размера  M * M;
IRAB - одномерный рабочий массив длины  M (тип: целый);
YR, RK - вещественные двумерные рабочие массивы размера  M * (K + 1) и  M * 4, соответственно;
T - вещественный одномерный рабочий массив длины  (K + 1) * (K + 2)/2;
IERR - целая переменная, служащая для сообщения об ошибках, обнаруженных в процессе работы подпрограммы; при этом:
IERR=65 - если при прямой прогонке задача Коши для соответствующей однородной системы не может быть решена с точностью  EPS;
IERR=66 - если при прямой прогонке задача Коши для системы (1) не может быть решена с точностью  EPS;
IERR=67 - если при обратной прогонке задача Коши для системы (1) не может быть решена с точностью  EPS.
  В каждом из этих случаев интегрирование системы прекращается. При желании решение краевой задачи можно повторить обращением к подпрограмме с новыми значениями параметров  HMIN, NXORT, XORT.

Версии

DE52E - вычисление решения линейной краевой задачи для системы обыкновенных дифференциальных уравнений первого порядка методом ортогональной прогонки с расширенной (Extended) точностью. При этом параметры  XN, X, HMIN, EPS, P, XORT, B, C, Y, U, YR, RK, T и параметры  X, Y, Z в подпрограмме  F должны иметь тип Extended.
  Для подпрограммы DE52E нестандартная подпрограмма  F вычисления правой части системы должна содержать глобальную запись (структуру данных) _COM52D с элементом BUL1. Смысл параметра  BUL1 в этом случае такой же, как и для DE52R.

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

DE10R - вычисление решения задачи Коши для системы обыкновенных дифференциальных уравнений первого порядка в конце интервала интегрирования методом Mеpсона.
DE10E - вычисление решения задачи Коши для системы обыкновенных дифференциальных уравнений первого порядка в конце интервала интегрирования методом Mеpсона с расширенной (Extended) точностью.
AS08R - нахождение частного решения неоднородной системы линейных алгебраических уравнений и фундаментальной системы решений соответствующей однородной системы методом Жордана с выбором главного элемента по стpоке.
AS08E - нахождение частного решения неоднородной системы линейных алгебраических уравнений, заданных с расширенной (Extended) точностью, и фундаментальной системы решений соответствующей однородной системы методом Жордана с выбором главного элемента по стpоке.
AF10R - QR - фактоpизация вещественной прямоугольной матрицы методом отражений.
AF10E - QR - фактоpизация вещественной прямоугольной матрицы, заданной с расширенной (Extended) точностью, методом отражений.
  Подпрограммы DE10R, AS08R, AF10R вызываются при работе подпрограммы DE52R; подпрограммы DE10E, AS08E, AF10D вызываются при работе подпрограммы DE52E.
UTDE10 - подпрограмма выдачи диагностических сообщений при работе подпрограммы DE52R.
UTDE11 - подпрограмма выдачи диагностических сообщений при работе подпрограммы DE52E.

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

 

Подпрограммы DE52R и DE52E предназначены для численного решения краевой задачи для системы линейных обыкновенных дифференциальных уравнений с переменными коэффициентами, имеющими непрерывные производные вплоть до 5 порядка включительно.

Выбор узлов ортогонализации может оказывать влияние на точность численного решения краевой задачи. Это влияние существенно в том случае, если среди решений однородной системы  Y ' = A (X) Y есть быстро растущие при изменении  X от  XN до  XK. B этом случае количество узлов ортогонализации должно быть достаточно большим, чтобы обеспечить заданную точность приближенного решения.

Если исходная система (1) является однородной, т.е. f (X) ≡ 0, то присутствие структуры данных  _COM52R ( _COM52D ) с булевым элемнтом BUL1 в подпрограмме  F вычисления правой части и проверка значения логической переменной  BUL1 не обязательны.

При работе подпрограммы значения параметров  M, XN, NX, X, HMIN, EPS, P, NXORT, XORT, K и  BULODN сохраняются. Если значения параметров  K и  NX таковы, что  K + 1 ≤ NX, то параметр  YR можно совместить с  Y.

Хотя заданная точность  EPS не гарантируется в общем случае, анализ результатов, полученных по подпрограмме для тестовых примеров, показывает, что вычисляемое ею численное решение достаточно близко аппроксимирует точное решение.

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

Применение программы иллюстрируется на примере дифференциального уравнения 4 порядка

(4)       U '''' - 24 * U ''' - 169 * U '' - 324 * U ' - 180 * U = 0 

Его частное решение
       U (x) = e-x - 2e-2x + e-3x
удовлетворяет начальным условиям
       U (0) = 0,   U ' (0) = 0,   U '' (0) = 2,   U ''' (0) = - 12.

При  x = 1 это решение удовлетворяет еще условиям:
       U (1) = 0.146996,    U ' (1) = 0.0241005.  

Находились численные значения  U (x) как решения уравнения (4) при следующих краевых условиях:

      U (0) = 0 ,   U ' (0) = 0  и  U (1) = 0.146996 ,   U ' (1) = 0.0241005 . 

Приводятся подпрограмма вычисления значений правой части соответствующей системы четырех дифференциальных уравнений первого порядка (к которой сводится уравнение (4) четвертого порядка) и фрагмент вызывающей программы. Так как эта система однородная, то в подпрограмме  FDE52R элемент BUL1 глобальной записи отсутствует.

Unit tde52r_p;
interface
uses
SysUtils, Math, { Delphi }
Lstruct, Lfunc, UtRes_p, FDE52R_p, DE52R_p;

function tde52r: String;

implementation

function tde52r: String;
var
K,M,NXS,NXO,I,_i,IERR :Integer;
XN,HMIN,EPS,P,H :Real;
BUL :Boolean;
IRAB :Array [0..3] of Integer;
XS :Array [0..1] of Real;
XO :Array [0..19] of Real;
U :Array [0..15] of Real;
YR :Array [0..11] of Real;
RK :Array [0..15] of Real;
T :Array [0..5] of Real;
Y :Array [0..7] of Real;
C :Array [0..9] of Real;
B :Array [0..9] of Real;
const
C0 :Array [0..9] of Real = ( 1.0,0.0,0.0,1.0,0.0,0.0,0.0,0.0,0.146996,
0.0241005 );
B0 :Array [0..9] of Real = ( 1.0,0.0,0.0,1.0,0.0,0.0,0.0,0.0,0.0,0.0 );
label
_1;
begin
for I:=0 to 9 do
 begin
 C[I] := C0[I];
 B[I] := B0[I];
 end;
Result := '';  { результат функции }
K := 2;
M := 4;
XN := 0.0;
NXS := 2;
XS[0] := 1.0;
XS[1] := 0.0;
HMIN := 1.E-10;
EPS := 1.E-6;
P := 0.1;
NXO := 10;
H := 0.1;
XO[0] := H;
for I:=2 to NXO do
 begin
_1:
  XO[I-1] := XO[I-2]+H;
 end;
BUL := True;
DE52R(FDE52R,M,XN,NXS,XS,HMIN,EPS,P,NXO,XO,K,BUL,B,
     C,Y,U,IRAB,YR,RK,T,IERR);
Result := Result + #$0D#$0A;
Result := Result + '  XS' + #$0D#$0A + #$0D#$0A;
for _i:=0 to 1 do
 begin
  Result := Result + Format('%20.16f ',[XS[_i]]);
  if ( ((_i+1) mod 2)=0 )
   then Result := Result + #$0D#$0A;
 end;
Result := Result + #$0D#$0A;
Result := Result + '  Y' + #$0D#$0A + #$0D#$0A;
for _i:=0 to 7 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 + #$0D#$0A + '  IERR=' + Format('%2d ',[IERR]);
UtRes('tde52r',Result);  { вывод результатов в файл tde52r.res }
exit;
end;

end.

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

procedure fde52r(X :Real; var Y :Array of Real; var Z :Array of Real;
                M :Integer);

implementation

procedure fde52r(X :Real; var Y :Array of Real; var Z :Array of Real;
                M :Integer);
begin
Z[0] := Y[1];
Z[1] := Y[2];
Z[2] := Y[3];
Z[3] := 24.0*Y[3]+169.0*Y[2]+324.0*Y[1]+180.0*Y[0];
end;

end.

Результаты:

       Y(1, 1)  =     0,1469960000000000
       Y(1, 2)  =    -0,0000002357020366
       Y(2, 1)  =     0,0241005000000000
       Y(2, 2)  =     0,0000009105752631
       Y(3, 1)  =    -0,2667186437063472
       Y(3, 2)  =     1,9999974802225444
       Y(4, 1)  =     0,4532534661842457
       Y(4, 2)  =   -11,9999934834509414

       IERR  =  0