Документ взят из кэша поисковой машины. Адрес оригинального документа : http://num-anal.srcc.msu.su/lib_na/cat/de_htm_c/de38r_c.htm
Дата изменения: Mon Nov 30 14:28:29 2015
Дата индексирования: Sun Apr 10 01:57:53 2016
Кодировка: Windows-1251
БЧА НИВЦ МГУ. DE38R_С. Задачи Коши для системы уравнений второго порядка
Текст подпрограммы и версий
de38r_c.zip , de38d_c.zip
Тексты тестовых примеров
tde38r_c.zip , tde38d_c.zip

Подпрограмма:  de38r_c

Назначение

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

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

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

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

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

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

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

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

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

Используемый в подпрограмме метод разгона является итерационным способом, опирающимся на три формулы.

Первая формула представляет значение решения в узле  ХN + Н через начальные условия (т.е. через его значение и значение его производной в начальной точке  XN), а также через конечные расности правой части системы в точке  XN.

Вторая формула является предсказывающей формулой Адамса, по которой вычисляется производная решения.

Третья формула является экстраполяционной формулой, применяемой для предсказания приближенного значения решения в используемом для интегрирования методе Штермера.

При этом приближенные значения вычисляются через значения его разностной производной назад.

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

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

Бахвалов H.C., Численные методы, т.1, "Hаука", 1975.

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

    int de38r_c (S_fp f, integer *m, integer *iorder, real *xn,
                 real *yn, real *dyn, real *hmin, real *eps, real *p, real *h,
                 real *x, real *yx, real *dyx, real *z, real *df, real *rfn,
                 real *rf, real *r, integer *ierr)

Параметры

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

int f (float *x, float *y, float *dy, float *d2y, int *m)

Здесь:  x, y, dy - значения независимой, зависимой переменных и производной решения, соответственно; вычисленное значение правой части должно быть помещено в  d2y. В случае системы уравнений, т.е. когда  m ≠ 1, параметры  y, dy и  d2y представляют одномерные массивы длины  m (тип параметров  x, y, dy и  d2y: вещественный);
m - количество уравнений в системе (тип: целый);
iorder - порядок точности без единицы того метода Штермера, для которого выполняется разгон и который будет использоваться при интегрировании данной системы уравнений (тип: целый);
      xn, yn -
         dyn  
начальные значения аргумента, решения и его производной; в случае системы уравнений (т.е.  m ≠ 1)  yn и  dyn представляют одномерные массивы длиной  m (тип: вещественный);
hmin - минимальное значение абсолютной величины шага, котоpое разрешается использовать при интегрировании данной системы уравнений (тип: вещественный);
eps - допустимая меpа погрешности, с которой тpебуется вычислить все компоненты решения (тип: вещественный);
p - граница перехода, используемая при оценке меры погрешности решения (тип: вещественный);
h - вещественная переменная, содержащая значение шага интегрирования. Если для этого значения шага точность при разгоне достигается, то именно он и реализуется на разгоне, иначе этот шаг уменьшается подпрограммой до тех пор, пока не будет достигнута заданная точность;
x - вещественная переменная, значение которой на выходе из подпрограммы представляет первый (после начальной точки xn) узел интегрирования  xn + h, в котоpом вычислены необходимые для интегрирования данной системы уравнений начальные значения;
            yx -
       dyx, z  
одномерные вещественные массивы длины  m, в которых запоминаются значения решения, его производной и первой разностной производной назад, вычисленные в узле  x; при этом погрешность решения имеет  (iorder + 2) - й порядок по  h, а погрешность  dyx и  z  -  (iorder + 1) - й порядок по  h;
df - двумерный вещественный массив размера   m * iorder, в котоpом запоминаются значения правой части системы и ее разностей до (iorder - 1) - го порядка включительно, вычисленные в узле  x и умноженные на коэффициент   h / 12; при этом элемент  df (i, 1) этого массива содержит значение правой части  i - ого уравнения системы, а  df (i, j + 1)  -  ее  j - ю разность, погрешность которой имеет   (iorder + 1) - й порядок по  h;
         rfn -
       rf, r  
одномерные вещественные рабочие массивы длины  m.
ierr - целая переменная, значение которой в pезультате работы подпрограммы полагается равным 65, если на разгоне не может быть достигнута требуемая точность  eps; в этом случае разгон можно начать сначала обращением к подпрограмме с новыми значениями паpаметpов  h и  hmin.

Версии

de38d_c - построение начальных значений при интегрировании системы обыкновенных дифференциальных уpавнений второго порядка, с правой частью, зависящей от производной, методом Штермера с контpолем точности, при этом все промежуточные вычисления выполняются с удвоенным числом значащих цифр. В этом случае параметры  xn, yn, dyn, hmin, eps, p, h, x, yx, dyx, z, df, rfn, rf, r и параметры  x, y, dy и  d2y в подпрограмме  f должны иметь тип double.

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

utde16_c - подпрограмма выдачи диагностических сообщений при работе подпрограммы de38r_c.
utde17_c - подпрограмма выдачи диагностических сообщений при работе подпрограммы de38d_c.

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

 

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

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

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

При работе подпрограммы и ее версии значения параметров   m, iorder, xn, yn, dyn, hmin, eps, p сохраняются.

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

int main(void)
{
    /* Local variables */
    extern int de38r_c(U_fp, int *, int *, float *, float *, float *,
                       float *, float *, float *, float *, float *, float *,
                       float *, float *, float *, float *, float *, float *,
                       int *);
    static float hmin;
    static int ierr;
    static float h__;
    static int i__;
    static float p, r__[2], x, z__[2];
    extern int f2_c();
    static float df[10] /* was [2][5] */, rf[2], xn, yn[2], yx[2], rfn[2],
                 eps, dyn[2], dyx[2];

#define df_ref(a_1,a_2) df[(a_2)*2 + a_1 - 3]

    yn[0] = 1.f;
    yn[1] = -1.f;
    dyn[0] = 1.5f;
    dyn[1] = -.5f;
    xn = 0.f;
    p = 100.f;
    h__ = .01f;
    hmin = 1e-11f;
    eps = 1e-4f;
    de38r_c((U_fp)f2_c, &c__2, &c__5, &xn, yn, dyn, &hmin, &eps, &p, &h__, &x,
            yx, dyx, z__, df, rfn, rf, r__, &ierr);

    printf("\n %5i \n", ierr);
    printf("\n %16.7e \n", x);
    printf("\n %16.7e %16.7e \n", yx[0], yx[1]);
    printf("\n %16.7e %16.7e \n", dyx[0], dyx[1]);
    printf("\n %16.7e %16.7e \n", z__[0], z__[1]);
    for (i__ = 1; i__ <= 2; ++i__) {
         printf("\n %16.7e %16.7e %16.7e ",
                df_ref(i__, 1), df_ref(i__, 2), df_ref(i__, 3));
         printf("\n %16.7e %16.7e \n",
                df_ref(i__, 4), df_ref(i__, 5));
    }
    return 0;
} /* main */


int f2_c(float *x, float *y, float *dy, float *z, int *m)
{
    /* Parameter adjustments */
    --z__;
    --dy;
    --y;

    /* Function Body */
    z__[1] = (y[2] + dy[1] - y[1] + dy[2]) * .5f - .5f;
    z__[2] = y[1] - *x * .5f;
    return 0;
} /* f2_c */


Результаты:

          ierr  =  0

          x = 1.000000000001 - 02

          yx(1) = 1.014949833751                yx(2) = - 1.004949833752

          dyx(1) = 1.489950167079              dyx(2) = - 4.899501670834 - 01

          z__(1) = 1.494983375078                    z__(2) = - 4.949833750843 - 01

          df_ref(1, 1) = - 8.416248614562 - 04    df_ref(1, 2) = - 8.291528123650 - 06
          df_ref(1, 3) =   8.333255330228 - 08     df_ref(1, 4) =   8.377316618179 - 10
          df_ref(1, 5) = - 8.498979298110 - 12

          df_ref(2, 1) =   8.416248614518 - 04    df_ref(2, 2) =   8.291528119209 - 06
          df_ref(2, 3) = - 8.333252932146 - 08    df_ref(2, 4) = - 8.377654125979 - 10
          df_ref(2, 5) =   8.512301974406 - 12

 Точные значения решения и производной такие:

    y1  =   1.014949833745   ,    y2  =  - 1.004949833748
    y1' =   1.489950167079   ,    y2' =  - 4.899501670798 - 01