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

Содержание:

Введение

1. Постановка задачи

2. Суть метода

3. Выбор метода реализации программы

4. Блок — схема

5. Программа

6. Идентификация переменных

7. Результаты

8. Обсуждение результатов

9. Инструкция к программе

10. Заключение

Литература

Введение

Обыкновенные дифференциальные уравнения (ОДУ) широко используются для математического моделирования процессов и явлений в различных областях науки и техники. Переходные процессы в радиотехнике, кинетика химических реакций, динамика биологических популяций, движение космических объектов, модели экономического развития исследуются с помощью ОДУ.

В дифференциальное уравнение n-го порядка в качестве неизвестных величин входят функция y (x) и ее первые n производных по аргументу x

j (x, y, y1, … y(n) )=0. 1.1

Из теории ОДУ известно, что уравнение (1.1) эквивалентно системе n уравнений первого порядка

j k(x, y1, y1', y2, y2', …, yn, yn')=0. 1.2

где k=1, …, n.

Уравнение (1.1) и эквивалентная ему система (1.2) имеют бесконечное множество решений. Единственные решения выделяют с помощью дополнительных условий, которым должны удовлетворять искомые решения. В зависимости от вида таких условий рассматривают три типа задач, для которых доказано существование и единственность решений.

Первый тип — это задачи Коши, или задачи с начальными условиями. Для таких задач кроме исходного уравнения (1.1) в некоторой точке xo должны быть заданы начальные условия, т. е. значения функции y (x) и ее производных

y (x0)=y0', y'(x0)=y10, … ,y(n-1)(x0)=yn-1,0.

Для системы ОДУ типа (1.2) начальные условия задаются в виде

y1(x0)=y10 ,y2(x0)=y20, …, yn(x0)=yn0. 1.3

Ко второму типу задач относятся так называемые граничные, или краевые задачи, в которых дополнительные условия задаются в виде функциональных соотношений между искомыми решениями. Количество условий должно совпадать с порядком n уравнения или системы. Если решение задачи определяется в интервале x є [ x0, xk] , то такие условия могут быть заданы как на границах, так и внутри интервала. Минимальный порядок ОДУ, для которых может быть сформулирована граничная задача, равен двум.

Третий тип задач для ОДУ — это задачи на собственные значения. Такие задачи отличаются тем, что кроме искомых функций y (x) и их производных в уравнения входят дополнительно m неизвестных параметров l 1, l 2, ј, хm, которые называются собственными значениями. Для единственности решения на интервале [x0, xk] необходимо задать m+n граничных условий. В качестве примера можно назвать задачи определения собственных частот, коэффициентов диссипации, структуры электромагнитных полей и механических напряжений в колебательных системах, задачи нахождения фазовых коэффициентов, коэффициентов затухания, распределения напряженностей полей волновых процессов и т. д.

К численному решению ОДУ приходится обращаться, когда не удается построить аналитическое решение задачи через известные функции. Хотя для некоторых задач численные методы оказываются более эффективными даже при наличии аналитических решений.

Большинство методов решения ОДУ основано на задаче Коши, алгоритмы и программы для которой рассматриваются в дальнейшем.

1. Постановка задачи

Многие процессы химической технологии описываются СДУ — начиная от кинетических исследований и заканчивая химическими технологическими процессами. В основу математических способов описания процессов положены СДУ и СЛАУ. Эти уравнения описывают материальные и тепловые балансы объектов химической технологии, а так же структуры потоков технических веществ в этих аппаратах.

Для получения, распределения технологических параметров во времени и в пространстве (в пределах объекта), необходимо произвести СДУ методом, которых дал бы высокую точность решения при минималььных затратах времени на решение, потому что ЭВМ должна работать в режиме реального времени и успевать за ходом технологического процесса. Если время на решение задачи большое, то управляющее воздействие, выработанное на ЭВМ может привести к отрицательным воздействиям. Методов решения существует очень много. В данной работе будет рассмотрен метод решения СДУ методом Рунге-Кутта 4 порядка.

Для удобства работы на ЭВМ, необходимо данную кинетическую схему преобразовать в удобный для работы на компьютере вид. Для этого необходимо кинетическую схему процесса представить в виде уравнений. При рассмотрении кинетической схемы процесса необходимо учитывать коэффициенты скоростей реакций. Но, так как процесс протекает при изотермических условиях, коэффициенты скоростей реакций можно считать за константы скоростей химической реакции. Из приведенной ниже схемы мы можем составить ряд дифференциальных уравнений, учитывающих изотермичность процесса. {2}

Так как коэффициенты K1, K2,K3,K4 являются константами, то можно уравнение записать в следущем виде.{3}

Для преобразования данных дифференциальных уравнений для использования их в расчетах тепловых и кинетических схем методами Рунге-Кутты необходимо подставлять вместо производных значений концентраций, значения концентраций данных в начале процесса. Это обусловлено тем, что метод Рунге-Кутты четвертого порядка, который будет использован для расчета кинетической схемы процесса. Так как этот метод требует сведений только об одной точке и значений функции.

2. Суть метода

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

Методы Рунге-Кутта обладают следующими свойствами:

1. Эти методы являются одноступенчатыми: чтобы найти уm+1, нужна

информация о предыдущей точке xm, ym.

2. Они согласуются с рядом Тейлора вплоть до членов порядка hp, где степень р

различна для различных методов и называется порядковым номером или

порядком метода.

3. Они не требуют вычисления производных от f (x, y), а требуют вычисления

самой функции.

Рассмотрим сначала геометрическое построение и выведем некоторые формулы на основе геометрических аналогий. После этого мы подтвердим полученные результаты аналитически.

Предположим, нам известна точка xm, ym на искомой кривой. Тогда мы можем провести прямую линию с тангенсом угла наклона уў m=f (xm, ym), которая пройдет через точку xm, ym. Это построение показано на рис. 1, где кривая представляет собой точное, но конечно неизвестное решение уравнения, а прямая линия L1 построена так, как это только что описано. {4}

Тогда следующей точкой решения можно считать ту, где прямая L1 пересечет ординату, проведенную через точку x=xm+1=xm+h.

Уравнение прямой L1 выглядит так: y=ym+yў m(x-xm) так как yў =f (xm, ym) и кроме того, xm+1=xm+h тогда уравнение примет вид

ym+1=ym+h*f (xm, ym) 1. 1

Ошибка при x=xm+1 показана в виде отрезка е. Очевидно, найденное таким образом приближенное значение согласуется с разложением в ряд Тейлора вплоть до членов порядка h, так что ошибка ограничения равна et=Кh2

Заметим, что хотя точка на графике 1 была показана на кривой, в действительности ym является приближенным значением и не лежит точно на кривой.

Формула 1. 1 описывает метод Эйлера, один из самых старых и широко известных методов численного интегрирования дифференциальных уравнений. Отметим, что метод Эйлера является одним из методов Рунге-Кутта первого порядка.

Рассмотрим исправленный метод Эйлера и модификационный метод Эйлера. В исправленном методе Эйлера мы находим средний тангенс угла наклона касательной для двух точек: xm, ym и xm+h, ym+hyў m. Последняя точка есть та самая, которая в методе Эйлера обозначалась xm+1, ym+1. Геометрический процесс нахождения точки xm+1, ym+1 можно проследить по рис. 2. С помощью метода Эйлера находится точка xm+h, ym+hyў m, лежащая на прямой L1. В этой точке снова вычисляется тангенс, дает прямую L. Наконец, через точку xm, ym мы проводим прямую L, параллельную L. Точка, в которой прямая L пересечется с ординатой, восстановленной из x=xm+1=xm+h, и будет искомой точкой xm+1, ym+1.

Тангенс угла наклона прямой L и прямой L равен

Ф (xm, ym, h)=Ѕ [f (xm, ym)+f (xm+h, ym+yў mh)] 1. 2

где yў m=f (xm, ym) 1. 3

Уравнение линии L при этом записывается в виде

y=ym+(x-xm)Ф (xm, ym, h),

так что

ym+1=ym+hФ (xm, ym, h). 1. 4

Соотношения 1. 2, 1. 3, 1. 4 описывают исправленный метод Эйлера. {5}

Чтобы выяснить, насколько хорошо этот метод согласуется с разложением в ряд Тейлора, вспомним, что разложение в ряд функции f (x, y) можно записать следующим образом:

f (x, y)=f (xm, ym)+(x-xm)¶ f/¶ x+(y-ym)¶ f/¶ x+ј 1. 5

где частные производные вычисляются при x=xm и y=ym.

Подставляя в формулу 1. 5 x=xm+h и y=ym+hyў m и используя выражение 1. 3 для yў m, получаем

f (xm+h, ym+hyў m)=f+hfx+hffy+O (h2),

где снова функция f и ее производные вычисляются в точке xm, ym. Подставляя результат в 1. 2 и производя необходимые преобразования, получаем

Ф (xm, ym, h)=f+h/2(fx+ffy)+O (h2).

Подставим полученное выражение в 1. 4 и сравним с рядом Тейлора

ym+1=ym+hf+h2/2(fx+ffy)+O (h3).

Как видим, исправленный метод Эйлера согласуется с разложением в ряд Тейлора вплоть до членов степени h2, являясь, таким образом, методом Рунге-Кутты второго порядка.

Рассмотрим модификационный метод Эйлера. Рассмотрим рис. 3 где первоначальное построение сделано так же, как и на рис. 2. Но на этот раз мы берем точку, лежащую на пересечении этой прямой и ординатой x=x+h/2. На рисунке эта точка образована через Р, а ее ордината равна y=ym+(h/2)yў m. Вычислим тангенс угла наклона касательной в этой точке

Ф (xm, ym, h)=f+(xm+h/2, ym+h/2*yў m), 1. 6

где yў m=f (xm, ym) 1. 7

Прямая с таким наклоном, проходящая через Р, обозначена через L *. Вслед за тем, мы проводим через точку xm, ym прямую параллельную L *, и обозначаем ее через L0. Пересечение этой прямой с ординатой x=xm+h и даст искомую точку xm+1, ym+1. Уравнение прямой можно записать в виде y=ym+(x-xm)Ф (xm, ym, h),

где Ф задается формулой 1. 6. Поэтому

ym+1=ym+hФ (xm, ym, h) 1. 8

Соотношения 1. 6, 1. 7, 1. 8 описывают так называемый модификационный метод Эйлера и является еще одним методом Рунге-Кутта второго порядка. Обобщим оба метода. Заметим, что оба метода описываются формулами вида

ym+1=ym+hФ (xm, ym, h) 1. 9

и в обоих случаях Ф имеет вид

Ф (xm, ym, h)=a1f (xm, ym)+a2f (xm+b1h, ym+b2hyў m), 1. 10

где yў m=f (xm, ym) 1. 11

В частности, для исправленного метода Эйлера

a1=a2=½;

b1=b2=1. {6}

В то время как для модификационного метода Эйлера

a1=0, a2=1,

b1=b2=½.

Формулы 1. 9, 1. 10, 1. 11 описывают некоторый метод типа Рунге-Кутты. Посмотрим, какого порядка метод можно рассчитывать получить в лучшем случае и каковы допустимые значения параметров a1, a2, b1 и b2.

Чтобы получить соответствие ряду Тейлора вплоть до членов степени h, в общем случае достаточно одного параметра. Чтобы получить согласование вплоть до членов степени h2, потребуется еще два параметра, так как необходимо учитывать члены h2fx и h2ffy. Так как у нас имеется всего четыре параметра, три из которых потребуются для создания согласования с рядом Тейлора вплоть до членов порядка h2, то самое лучшее, на что здесь можно рассчитывать — это метод второго порядка.

В разложении f (x, y) в ряд 1. 5 в окрестности точки xm, ym положим x=xm+b1h,

y=ym+b2hf.

Тогда f (xm+b1h, ym+b2hf)=f+b1hfx+b2hffy+O (h2), где функция и производные в правой части равенства вычислены в точке xm, ym.

Тогда 1. 9 можно переписать в виде ym+1=ym+h[a1f+a2f+h (a2b1fx+a2b2ffy)]+O (h3).

Сравнив эту формулу с разложением в ряд Тейлора, можно переписать в виде

ym+1=ym+h[a1f+a2f+h (a2b1fx+a2b2ffy)]+O (h3).

Если потребовать совпадения членов hf, то a1+a2=1.

Сравнивая члены, содержащие h2fx, получаем a2b1=½.

Сравнивая члены, содержащие h2ffy, получаем a2b2=½.

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

Положим, например, a2=w № 0. тогда a1=1-w, b1=b2=½w и соотношения 1. 9, 1. 10, 1. 11 сведутся к

ym+1=ym+h[(1-w)f (xm, ym)+w f (xm+h/2w, ym+h/2w f (xm, ym))]+O (h3) 1. 12

Это наиболее общая форма записи метода Рунге-Кутта второго порядка. При w =½ мы получаем исправленный метод Эйлера, при w =1 получаем модификационный метод Эйлера. Для всех w, отличных от нуля, ошибка ограничения равна