Дифференциал уравнение n-го порядка

Содержание

Введение           3

1. Постановка задачи         5
2. Обзор существующих методов решения  задачи    6                  2.1.Метод Рунге-Кутта четвертого порядка для решения

                уравнения первого    порядка       6

          2.2.Задача Коши          6

      2.3.Метод Булирша- Штера с использованием

               рациональной экстраполяции для системы уравнений   7

      2.4 Метод Адамса         8

      2.5. Метод Эйлера         9

      3. Описание алгоритмов решения задания      13

          3.1. Описание переменных        13

           3.2. Блок- схема главного модуля       14

        3.3. Описание алгоритма главной программы     14

        3.4.  Блок-схема функции “func”       15 

        3.5. Описание блок- схемы функции “func”     15

      4. Описание программного обеспечения      16

        4.1. Описание операционной системы      16

        4.2. Описание языка программирования      18

        4.3. Описание программы        19 

      5. Контрольный пример         21

       6.Анализ полученных результатов       22            

      Список литературы         24

      Приложение           25 
 
 
 

Введение

   Уравнение называется обыкновенным дифференциальным n-го порядка, если F определена и непрерывна в некоторой области и, во всяком случае, зависит от . Его решением является любая функция u(x), которая этому уравнению удовлетворяет при всех x в определённом конечном или бесконечном интервале. Дифференциальное уравнение, разрешенное относительно старшей производной имеет вид

   Решением  этого уравнения на интервале  I=[a,b] называется функция u(x)

     Решить дифференциальное уравнение  у^/=f(x,y) численным методом - это значит для заданной последовательности аргументов х₀, х₁…, х_n и числа у₀, не определяя функцию у=F(x), найти такие значения у₁, у₂,…, у_n, что у_i=F(x_i)(i=1,2,…, n) и F(x₀)=y₀.                                               

     Таким образом, численные методы позволяют вместо нахождения функции y=F(x) (3) получить таблицу значений этой функции для заданной последовательности аргументов. Величина h=x_k-x_k-1 называется шагом интегрирования.

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

       Метод Эйлера для обыкновенных дифференциальных уравнений используется для решений многих задач естествознания в качестве математической модели. Например задачи электродинамики системы взаимодействующих тел (в модели материальных точек), задачи химической кинетики, электрических цепей. Ряд важных уравнений в частных производных в случаях, допускающих разделение переменных, приводит к задачам для обыкновенных дифференциальных уравнений – это, как правило, краевые задачи (задачи о собственных колебаниях упругих балок и пластин, определение спектра собственных значений энергии частицы в сферически-симметричных полях  и многое другое).    
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

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

1.1. Решить приближенно дифференциальное уравнение вида методом Эйлера

1.2. Составить блок-схему алгоритма для решения данного задания.

1.3. Разработать программу на языке Microsoft Visual C++

1.4. Протестировать программу на примере y’=2x+y (n=5,  [0,1], y0=1)

1.5. Выполнить анализ результатов.

1.6. Оформить пояснительную записку с приложением.  
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

2.Обзор методов решения задачи.

2.1. Метод Рунге-Кутта четвертого порядка для решения уравнения первого порядка.

Идея  Рунге-Кута состоит в том, чтобы  использовать метод неопределённых коэффициентов.  Наиболее употребительным методом Рунге-Кутта решения уравнения первого порядка y' = F(x,y) (2.1.1) является метод четвертого порядка, в котором вычисления производятся по формуле:

yk+1  = yk +(k1 +2k2 +2k3 +k4 )/6,                                           (2.1.2)

где

k1  = Fk h = F(xk , yk )h

k2 = F(xk +h/2, yk +k1 /2)h

k3  = F(xk +h/2, yk +k2 /2)h

k4  = F(xk +h, yk +k3 )h,

k = 0, ..., n-1

h = (xf -x0 )/n                                                                                (2.1.3) 

2.2. Задача Коши.

Рассмотрим  задачу Коши для уравнений первого порядка на отрезке [a,b]:

,    (2.1.4)

Разобьём  промежуток [a,b] на N частей . Обозначим , где u(x) –точное решение задачи Коши, и через значения приближенного решения в точках . Существует 2 типа численных схем :

1. явные: )                                           (2.2.1)
2. неявные:                                           (2.2.2)

Здесь F некоторая функция, связывающая приближения. В явных схемах приближенное значение в точке определяется через некоторое число k уже определённых приближенных значений. В неявных схемах определяется не  рекурентным способом, как в явных схемах, а для его определения возникает уравнение, поскольку равенство (2.2.2) представляет из себя именно уравнение на . Явные схемы проще, однако зачастую неявные схемы предпочтительнее. 

2.3. Метод Булирша-Штера с использованием рациональной экстраполяции для системы уравнений 

Метод Булирша-Штера (Bulirsch-Stoer Method) - это метод  решения системы обыкновенных дифференциальных уравнений первого порядка с  гладкими правыми частями. Гладкость правых частей является необходимой для работы метода. Если правые части вашей системы не являются гладкими или содержат разрывы, то лучше использовать метод Рунге-Кутта. В случае же гладкой системы метод Булирша-Штера позволяет добиться существенно большей точности, чем метод Рунге-Кутта.  

Принцип работы метода

Основной  идеей метода является вычисление состояния  системы в точке x+h, как результата двух шагов длины h/2, четырех шагов  длины h/4, восьми шагов длины h/8 и  так далее с последующей экстраполяцией результатов. Метод строит рациональную интерполирующую функцию, которая в точке h/2 проходит через состояние системы после двух таких шагов, в точке h/4 проходит через состояние системы после четырех таких шагов, и т.д., а затем вычисляет значение этой функции в точке h = 0, проводя экстраполяцию.

   Гладкость правых частей приводит к тому, что  вычисленное при помощи экстраполяции  состояние системы оказывается  очень близко к действительному, а использование рациональной экстраполяции вместо полиномиальной позволяет ещё больше повысить точность.

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

4. Метод Адамса

        Явная схема Адамса.

Рассмотренные выше методы являются явными одношаговыми (для нахождения последующего приближения используется лишь одно предыдущее). Приведённый ниже метод является многошаговым.

      Пусть задана задача Коши:

                                                     (2.4.1)

Для точного  решения (которое нам не известно) выполнено:

Предположим, нам известны приближенные значения функции u(x) в k точках (стартовые k  точек, в частности, можно найти методом Эйлера  или методом Рунге-Кутта того или иного порядка), тогда функцию f(x,u(x)) в (2.4.2) для приближенного вычисления интеграла можно заменить на интерполяционный полином порядка k-1, построенный по k точкам ,  интеграл от которого считается явно и представляет собой линейную комбинацию значений  c некоторыми множителями . Таким  образом, мы получаем следующую рекуррентную процедуру вычисления приближенных значений функции u(x) (являющимся точным решением задачи Коши) в точках :

Описанная схема является k-шаговой явной формулой Адамса.

     Неявная схема Адамса.

Пусть - интерполяционный полином порядка k, построенный по k+1 значению б одно из которых, именно , мы будем считать неизвестным. Модифицируем (2.4.3), заменив в нём на полином более высокой степени , интеграл от которого выражается в виде линейной комбинации значений с некоторыми новыми коэффициентами :

Формула (2.4.4) представляет собой неявную схему Адамса и является уравнением на , которое можно решать методом последовательных приближений. Естественно, что начальное приближение , должно быть разумно выбрано. Для этого удобно объединить явную и неявную схемы Адамса в одну, называемую «методом коррекции». Именно с помощью явной схемы определяется начальное приближение (прогноз), а затем по неявной схеме оно необходимое число раз (обычно один или два) корректируется методом последовательных приближений до достижения заданной точности (коррекция). 

2.5.Метод Эйлера.

     Решить дифференциальное уравнение у^/=f(x,y) численным методом - это значит для заданной последовательности аргументов х₀, х₁…, х_n и числа у₀, не определяя функцию у=F(x), найти такие значения у₁, у₂,…, у_n, что у_i=F(x_i)(i=1,2,…, n) и F(x₀)=y₀.    (2.5.1)

Таким образом, численные методы позволяют  вместо нахождения функции

У=F(x) получить таблицу значений этой функции для заданной последовательности аргументов. Величина h=x_k-x_k-1 называется шагом интегрирования.

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

      Рассмотрим дифференциальное уравнение  первого порядка  (2.5.1)

с начальным  условием

                                     x=x₀, y(x₀)=y₀             (2.5.2)

Требуется найти решение уравнения (2.5.1) на отрезке [а,b].

Разобьем  отрезок [a, b] на n равных частей и получим последовательность х₀, х₁, х₂,…, х_n, где x_i=x₀+ih (i=0,1,…, n), а h=(b-a)/n-шаг интегрирования.

       В методе Эйлера приближенные  значения у(х_i)»y_i вычисляются последовательно по формулам у_i+hf(x_i, y_i) (i=0,1,2…).

При этом искомая интегральная кривая у=у(х), проходящая через точку М₀(х₀, у₀), заменяется ломаной М₀М₁М₂… с вершинами М_i(x_i, y_i) (i=0,1,2,…); каждое звено М_iM_i+1 этой ломаной, называемой ломаной Эйлера, имеет направление, совпадающее с направлением той интегральной кривой уравнения (2.5.1), которая проходит через точку М_i. Если правая часть уравнения (2.5.1) в некотором прямоугольнике R{|x-x₀|£a, |y-y₀|£b}удовлетворяет условиям:                                                                                                     
                           |f(x, y₁)- f(x, y₂)| £ N|y₁-y₂|  (N=const),   (2.5.3)

                           |df/dx|=|df/dx+f(df/dy)| £ M  (M=const),

то имеет  место следующая оценка погрешности:

                          |y(x_n)-y_n| £ hM/2N[(1+hN)ⁿ-1],               (2.5.4)

где у(х_n)-значение точного решения уравнения (2.5.1) при х=х_n, а у_n- приближенное значение, полученное на n-ом шаге. 

Формула (13) имеет в основном теоретическое применение. На практике иногда оказывается более удобным двойной просчет: сначала расчет ведется с шагом h, затем шаг дробят и повторный расчет ведется с шагом h/2. Погрешность более точного значения у_n^* оценивается формулой

                                          |y_n-y(x_n)|»|y_n^*-y_n|.     (2.5.5)

  Метод Эйлера легко распространяется на системы дифференциальных уравнений и на дифференциальные уравнения высших порядков. Последние должны быть предварительно приведены к системе дифференциальных уравнений первого порядка.

     Модифицированный  метод Эйлера

Рассмотрим дифференциальное уравнение (2.5.1)  y^/=f(x,y) с начальным условием y(x₀)=y₀. Разобьем наш участок интегрирования на n равных частей. На малом участ интегральную кривую заменим    прямой                      линией.

                                           Рис.1 Метод Эйлера в графическом видa 

 Получаем  точку М_к(х_к,у_к). Через М_к проводим касательную:  у=у_к=f(x_k,y_k)(x-x_k). Делим отрезок (х_к,х_к1) пополам:

                                          x_Nk^/=x_k+h/2=x_{k+1/2                                                (2.5.6)}

                                               y_Nk^/=y_k+f(x_k,y_k)h/2=y_k+y_k+1/2

Получаем  точку N_k^/. В этой точке строим следующую касательную:

                                           y(x_k+1/2)=f(x_k+1/2, y_k+1/2)=α_{k                           (2.5.7)}

Из точки  М_к проводим прямую с угловым коэффициентом α_к и определяем точку пересечения этой прямой с прямой Х_к1. Получаем точку М_к^/. В качестве у_к+1 принимаем ординату точки М_к^/. Тогда:

                                           у_к+1=у_к+α_кh

                                           x_k+1=x_k+h

                          (2.5.8)                α_k=f(x_k+h/2, y_k+f(x_k,Y_k)h/2)

                                           y_k=y_k-1+f(x_k-1,y_k-1)h

(2.5.8)-рекурентные формулы метода Эйлера.

      Сначала вычисляют вспомогательные  значения искомой функции у_к+1/2 в точках х_к+1/2, затем находят значение правой части уравнения (11) в средней точке y^/_k+1/2=f(x_k+1/2, y_k+1/2) и определяют у_к+1.

      Для оценки погрешности в точке  х_к проводят вычисления у_к с шагом h, затем с шагом 2h и берут 1/3 разницы этих значений:

                                          | у_к^*-у(х_к)|=1/3(y_k^*-y_k),                          (2.5.9)

где у(х)-точное решение дифференциального уравнения.

 Таким  образом, методом Эйлера можно  решать уравнения любых порядков. Например, чтобы решить уравнение  второго порядка y^//=f(y^/,y,x) c начальными условиями y^/(x₀)=y^/₀, y(x₀)=y₀, выполняется замена:

                                            y^/=z                                                     (2.5.10)

                                            z^/=f(x,y,z)

Тем самым  преобразуются начальные условия: y(x₀)=y₀, z(x₀)=z₀, z₀=y^/₀.    (2.5.12) 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

3.Описание алгоритмов решения задачи

  3.1.Описание переменных.

3.2. Блок- схема главного модуля 

3.3 Описание алгоритма главной программы.

3.4 Блок-схема функции “func”.

*Реализация  алгоритма на языке программирования  C++ представлена в приложении . 
 
 

4.Описание программного обеспечения.

4.1 Описание операционной системы 

     Основное  требование к операционной системе (ОС), предъявляемое поставленной задачей, это наличие ANSI или POSIX совместимого компилятора языка C++.

     Для реализации задачи была выбрана последняя клиентская версия операционной системы Microsoft, основанная на ядре NT – Microsoft Windows XP Professional.

     Указанная операционная система обладает рядом  преимуществ:

• наличие достаточного количество ANSI или POSIX совместимых компиляторов языка C++, разработанных для данной ОС, а именно –
• Microsoft C++ (version 2-6)
• gcc
• Borland  C++
• Intel C++
• прочие;
• достаточная управляемость,  надежность и безопасность;
• широкое распространение основанных на ядре NT операционных систем Microsoft, совместимых по программному обеспечению с Windows XP Professional (NT/2000/XP/2003 – client & server);
• высокая скорость работы приложений, разработанных для данной ОС с использованием компиляторов C++.

     Исходный  код программы может быть откомпилирован и под другой операционной системой, если для таковой имеется ANSI или POSIX совместимый компилятор языка C++.

     Программа была протестирована на операционной системе Microsoft Windows XP Professional SP1.

     Технические данные :

• HDD: 60 Gb
• Процессор x86 Family 15 Model 2 Stepping 7 GenuineIntel ~1817 МГц
• Версия BIOS Award Software International, Inc. F4, 06.03.2003
• Аппаратно-зависимый уровень (HAL) Версия = "5.1.2600.1106 (xpsp1.020828-1920)"
• Полный объем физической памяти 256,00 МБ
• Доступно физической памяти 29,97 МБ
• Всего виртуальной памяти 873,69 МБ
• Доступно виртуальной памяти 350,04 МБ
• Файл подкачки 618,21 МБ

4.2 Описание языка программирования

Язык  программирования С++

     С++ - это универсальный язык программирования, задуманный так, чтобы сделать программирование более приятным для серьезного программиста. За исключением второстепенных деталей С++ является надмножеством языка программирования C. Помимо возможностей, которые дает C, С++ предоставляет гибкие и эффективные средства определения новых типов. Используя определения новых типов, точно отвечающих концепциям приложения, программист может разделять разрабатываемую программу на лег ко поддающиеся контролю части.  Такой метод построения программ часто называют абстракцией данных. Информация о типах содержится в некоторых объектах типов, определенных пользователем. Такие объекты просты и надежны в использовании в тех ситуациях, когда их тип нельзя установить на стадии компиляции. Программирование с применением таких объектов часто называют объектно-ориентированным. При правильном использовании этот метод дает более короткие, проще понимаемые и легче контролируемые программы.