Текст подпрограммы и версий de03r_c.zip , de03d_c.zip |
Тексты тестовых примеров tde03r_c.zip , tde03d_c.zip |
Вычисление решения задачи Коши для квазилинейной устойчивой системы обыкновенных дифференциальных уравнений первого порядка с большой константой Липшица методом Лоусона.
Решается задача Коши для квазилинейной системы M обыкновенных дифференциальных уравнений первого порядка:
(1) Y ' (X) = A * Y(X) + U(X, Y) , Y = ( y1,..., yM ) , A = ( ai j ) , i, j = 1, ..., M , U(X, Y) = ( U1(X, Y), ... , UM(X, Y) ) ,
с начальными условиями, заданными в точке XN:
Y(XN) = YN , YN = ( y1, ... , yM ) .
где A - постоянная числовая матрица.
Предполагается, что среди характеристических корней матрицы A имеются большие по модулю корни, а константа Липшица для функции U (X, Y), т.е. константа L из условия Липшица
| Ui ( x, y1(1),..., yM(1) ) - Ui ( x, y1(2), ... , yM(2) ) | ≤ M ≤ L ∑ | yj(1) - yj(2) | , j=1
независящая от i, x, y(1), y(2) , невелика. Также предполагается, что нелинейный член U (x, y) является достаточно малым. Решение вычисляется в одной точке ХК, которая является концом интервала интегрирования. Для интегрирования системы применяется метод Лоусона.
Метод Лоусона является одношаговым и заключается в следующем. Допустим, что искомое решение системы (1) уже вычислено в некоторой точке x = xn интервала интегрирования, т.е. известно yn ≈ y(xn). Для отыскания решения Y(xn + 1) = Y(xn + H) в следующем узле xn + 1 = xn + H выполняются такие действия. Исходная система уравнений с помощью замены искомой функции Y (x) на xn ≤ x ≤ xn + H по формуле
y(x) = exp [ ( x - xn ) A ] Z(x) ,
преобразуется в систему уравнений относительно новой неизвестной функции Z (X):
(2) Z ' (x) = U1(x, z) = exp [ - ( x - xn ) A ] U( x, exp [( x - xn ) A ] Z(x) )
Данное преобразование выполняется самой подпрограммой. Характеристические корни матрицы Якоби
∂U1 / ∂Z = exp [ - ( x - xn ) A ] (∂U / ∂y) exp [ ( x - xn ) A ]
являются характеристическими корнями матрицы ∂U / ∂y и в силу малости константы Липшица функции U (x, y) невелики. Поэтому система (2) не жесткая и может быть решена традиционными методами численного интегрирования. Данная подпрограмма решает ее методом Рунге - Кутта 4 - ого порядка, при этом одновременно с решением (2) производится обратное преобразование от функции Z (x) к функции y (x) .
Все компоненты решения вычисляются с контролем точности по мере погрешности, который заключается в следующем. Если некоторая компонента приближенного решения по абсолютной величине меньше некоторой наперед заданной константы P, то контроль точности для этой компоненты ведется по относительной погрешности, иначе - по абсолютной. Абсолютная погрешность приближенного решения оценивается по правилу Рунге.
J.Douglas Lowson, Generalized Runge - Kutta processes for stable systems with large lipshitz constants, SIAM Journal on Numerical Analisys - 1967 - Vol 4, No 3.
int de03r_c (real *fu, integer *m, real *xn, real *yn, real *xk, real *a, real *hmin, real *eps, real *p, real *h, real *y, real *r, integer *ierr)
Параметры
fu - |
подпрограмма вычисления функции u (x, y) в правой
части системы. Первый оператор подпрограммы
должен иметь вид: int fu (float *x, float *y, float *u, int *m). Здесь y и u - одномерные массивы длины m. В массив u помещается значение функции u (x, y), вычисленное при значении аргументов x и y (тип параметров x, y, u: вещественный); |
m - | количество уравнений в системе (тип: целый); |
xn, yn - | начальные значения аргумента и решения; в случае системы уравнений (т.е. m ≠ 1) yn представляет одномерный массив длины m (тип: вещественный); |
xk - | значение аргумента, при котором требуется вычислить решение задачи Коши (конец интервала интегрирования); xk может быть больше, меньше или равно xn (тип: вещественный); |
a - | вещественный двумерный массив размера m*m, содержащий элементы матрицы A; |
hmin - | минимальное значение абсолютной величины шага, которое разрешается использовать при интегрировании данной системы уравнений (тип: вещественный); |
eps - | допустимая мера погрешности, с которой требуется вычислить все компоненты решения (тип: вещественный); |
p - | граница перехода, используемая при оценке меры погрешности решения (тип: вещественный); |
h - | вещественная переменная, содержащая начальное значение шага интегрирования; может задаваться с учетом направления интегрирования, т.е. положительным, если xn < xk, отрицательным, если xn > xk, или без всякого учета в виде абсолютной величины; |
y - | искомое решение задачи Коши, вычисленное подпрограммой при значении аргумента xk; для системы уравнений (когда m ≠ 1) задается одномерным массивом длины m. В случае совпадения значений параметров xn и xk значение y полагается равным начальному значению yn (тип: вещественный); |
r - | вещественный одномерный рабочий массив длины 4*m*m+7*m+1; |
ierr - | целая переменная, значение которой в результате работы подпрограммы полагается равным 65, если какая - нибудь компонента решения не может быть вычислена с требуемой точностью eps. В этом случае интегрирование системы прекращается; при желании интегрирование системы можно повторить обращением к подпрограмме с новыми значениями параметров hmin и h |
Версии
de03d_c - | вычисление решения задачи Коши для квазилинейной системы обыкновенных дифференциальных уравнений первого порядка с большой константой Липшица в конце интервала интегрирования методом Лоусона с удвоенным числом значащих цифр. При этом параметры xn, yn, xk, a, hmin, eps, p, h, y, r и параметры x, y, r в подпрограмме fu должны иметь тип double. |
Вызываемые подпрограммы
de02r_c - de02d_c | выполнение одного шага численного интегрирования квазилинейной системы обыкновенных дифференциальных уравнений первого порядка с большой константой Липшица методом Лоусона; |
utde20_c - utde21_c | подпрограмма выдачи диагностических сообщений; Подпрограмма de02r_c, utde20_c вызывается при работе подпрограммы de03r_c, а подпрограммы de02d_c, utde21_c - при работе de03d_c. |
Замечания по использованию
Данная подпрограмма предназначена для интегрирования квазилинейных систем, имеющих малый нелинейный член U (x, y). В общем случае заданная точность не гарантируется. При работе подпрограммы значения параметров m, a, xn, yn, xk, hmin, eps, p сохраняются. При работе подпрограммы fu значения параметров x, y и m не должны изменяться. Если после работы подпрограммы нет необходимости иметь начальное значение решения yn, то параметры yn и y при обращении к ней можно совместить. При этом следует иметь в виду, что в случае аварийного выхода из подпрограммы, т.е. со значением ierr = 65, значение параметра yn будет испорчено. Подпрограммы de03r_c и de03d_c предназначены также для решения задачи Коши для жестких дифференциальных уравнений (1). |
y1' = - 500 y1 + y2 + sin ( y1 + y2 ) ( 1 + e - x/2 ) , y1(0) = 50 y2' = - 1000 y1 + y2 + sin ( y1 - y2 ) ( 1 + e - x/2 ) , y2(0) = 50 0 ≤ x ≤ 5
Приводятся подпрограмма вычисления функций
U1 (x, y) = sin ( y1 + y2 ) ( 1 + e - x/2 ) , U2 (x, y) = sin ( y1 - y2 ) ( 1 + e - x/2 )
из правой части системы, фрагмент вызывающей программы и результаты счета.
int main(void) { /* Local variables */ extern int de03r_c(U_fp, int *, float *, float *, float *, float *, float *, float *, float *, float *, float *, float *, int *); static float hmin; static int ierr; static float a[4] /* was [2][2] */, h__; static int m; static float p, r__[31], y[2]; extern int fu_c(); static float xk, xn, yn[2], eps; #define a_ref(a_1,a_2) a[(a_2)*2 + a_1 - 3] m = 2; xn = 0.f; yn[0] = 50.f; yn[1] = 50.f; hmin = 1e-10f; eps = 1e-4f; p = 100.f; xk = 5.f; h__ = .01f; a_ref(1, 1) = -500.f; a_ref(1, 2) = 1.f; a_ref(2, 1) = -1e3f; a_ref(2, 2) = 1.f; de03r_c((U_fp)fu_c, &m, &xn, yn, &xk, a, &hmin, &eps, &p, &h__, y, r__, &ierr); printf("\n %16.7e %16.7e \n", y[0], y[1]); printf("\n %16.7e \n", h__); printf("\n %5i \n", ierr); return 0; } /* main */ int fu_c(float *x, float *y, float *u, int *m) { /* Builtin functions */ double exp(double), sin(double); /* Local variables */ static float t; /* Parameter adjustments */ --u; --y; /* Function Body */ t = (float)exp((float)(-(*x) / 2.f)) + 1.f; u[1] = t * (float)sin((float)(y[1] + y[2])); u[2] = t * (float)sin((float)(y[1] - y[2])); return 0; } /* fu_c */ Результаты: y(1) y(2) h -3.508894600484-04 -8.340807464992-02 1.250000000001-03 ierr = 0