37840

Решение систем обыкновенных дифференциальных уравнений

Лабораторная работа

Архивоведение и делопроизводство

В классе неявных методов абсолютно устойчивыми являются неявный одношаговый метод Эйлера неявный одношаговый метод трапеций неявный двухшаговый метод Гира и его реализация с переменным шагом метод Шихмана. В данной лабораторной работе изучаются следующие три наиболее часто используемые на практике численные метода: явный метод Эйлера неявный метод Эйлера неявный метод Шихмана. Явный метод Эйлера Формула интегрирования явного метода Эйлера имеет вид: 3.

Русский

2013-09-25

300 KB

69 чел.

Лабораторная работа № 3

 РЕШЕНИЕ  систем  обыкновенных

дифференциальных  уравнений

ЦЕЛЬ РАБОТЫ: изучить и программно реализовать на языке высокого уровня такие методы решения систем обыкновенных дифференциальных уравнений, как явный и неявный методы Эйлера, метод Шихмана, исследовать  их на тестовых задачах.

Элементы теории

Большая часть явлений и процессов в различных областях науки и техники описывается системами обыкновенных дифференциальных уравнений (СОДУ)

  (3.1)

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

   (3.2)

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

Перепишем (3.1), (3.2) в векторном виде:

 (3.3)

, (3.4)

где , . Решить такую задачу Коши – значит определить траекторию , удовлетворяющую уравнению (3.3) и начальному условию (3.4).

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

 (3.5)

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

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

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

Если величины  фиксированы, то схему (3.5) естественно рассматривать как систему уравнений

относительно неизвестного значения . Решение этой системы

,

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

Определение 1. Разностный метод называют абсолютно устойчивым, если малые вариации параметров СОДУ приводят к малым изменениям его решения при любых шагах интегрирования .  Если устойчивость обеспечивается лишь при некоторых ограничениях на , то такие методы называют ограниченно устойчивыми.

Для численных методов решения СОДУ важен также их порядок точности.

Определение 2. Если локальная погрешность численного метода (погрешность на шаге)

,

то порядок точности метода равен .

В научной литературе показано, что не существует абсолютно устойчивых явных линейных (как одношаговых, так и многошаговых) методов. В классе неявных методов абсолютно устойчивыми являются неявный одношаговый метод Эйлера, неявный одношаговый метод трапеций, неявный двухшаговый метод Гира и его реализация с переменным шагом – метод Шихмана.

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

Явный метод Эйлера

Формула интегрирования явного метода Эйлера имеет вид:

 (3.6)

Его локальная погрешность

 (3.7)

пропорциональна , т. е. явный метод Эйлера имеет первый порядок точности.

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

Условие устойчивости явного метода Эйлера

,

или

 (3.8)

в случае комплексных собственных чисел  матрицы , существенно ограничивает свободу выбора шага интегрирования. Воспользоваться  условием (3.8) при построении правила выбора текущего шага, вообще говоря, затруднительно.

Сформулируем условие устойчивости явного метода Эйлера в более грубой, но полезной для практического выбора шага, форме:

явный метод Эйлера устойчив, если

, (3.9)

где  – приращение переменной  на k-ом шаге интегрирования,  – максимально возможное абсолютное значение данной переменной.

Из (3.6), (3.7) следует, что

,

так как ошибка  имеет более высокий по сравнению с приращением

переменной порядок малости.

Зададимся локальной погрешностью (например, 1% от максимального значения):

.

Тогда условия соблюдения точности интегрирования, при которых  выполняются  условия устойчивости (3.9), будут иметь вид

. (3.10)

Из (3.6) следует, что

,

а, значит, неравенства (3.10) приводят к условиям

.

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

.  (3.11)

Из (3.11) вытекает, что

.  (3.12)

Приведем возможную схему реализации явного метода Эйлера.

Алгоритм 3.1

  1.  Задать исходные данные: .
  2.  Задать начальные условия: .
  3.  Вычислить вектор .
  4.  Определить шаг по формулам (3.11), (3.12).
  5.  Выполнить шаг:

  1.  Вычислить .
  2.  Вывести на печать .
  3.  Если  то перейти к п. 3, иначе выйти из программы.

Неявный метод Эйлера

Разностная схема неявного метода Эйлера

  (3.13)

требует решения на каждом временном шаге алгебраической задачи

 (3.14)

относительно искомого вектора  (например, методом Ньютона).

Локальная погрешность неявного метода Эйлера

= (3.15)

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

Условие устойчивости неявного метода Эйлера

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

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

.

Следовательно

-.  (3.16)

Возможная стратегия выбора шага в неявном методе Эйлера сводится к следующему. Задается, как и в явном методе Эйлера, допустимая локальная погрешность, например, такая:

.

После выполнения шага интегрирования  вычисляются  по формуле (3.16) для всех переменных . Если хотя бы одно , то шаг  уменьшается вдвое, и вычисления повторяются с шагом  от точки . В случае , очередной шаг рассчитывается по формуле

,  (3.17)

вытекающей из соотношения для оценки локальной  погрешности.

При выборе шага интегрирования можно использовать также стратегию трех зон:

 (3.18)

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

.  (3.19)

Стратегия (3.17), (3.19) на первый взгляд является более предпочтительной, так как обеспечивает квазиоптимальный выбор шага. Однако при такой стратегии число возвратов (повторных расчетов с уменьшенным вдвое шагом интегрирования) будет существенно большим, чем в методе трех зон. Именно по этой причине метод трех зон является широко используемым на практике.

Возможная  схема реализации неявного метода Эйлера выглядит следующим образом.

Алгоритм 3.2

  1.  Задать исходные данные: .
  2.  Положить: .
  3.  Вычислить .
  4.  Решить методом Ньтона систему в общем случае нелинейных алгебраических уравнений (3.14) относительно .
  5.  Вычислить  по формуле (3.16).
  6.  Если , то принять  и перейти к п. 3.
  7.  Определить шаг  по формулам (3.18), (3.19) либо (3.17), (3.19).
  8.  Если , то положить .
  9.  Вывести на печать .
  10.  Выполнить сдвиг переменных и шагов интегрирования:

.

  1.  Если  то перейти к  п. 3, иначе выйти из программы.

Метод Шихмана

Среди линейных многошаговых методов абсолютной устойчивостью обладает метод Гира второго порядка

и его реализация с переменным шагом – метод Шихмана:

,  (3.20)

где

 (3.21)

Локальная погрешность метода Шихмана

 (3.22)

пропорциональна третьей производной, которую можно аппроксимировать разностной формулой

и использовать в (3.22) при оценке погрешности.

При реализации метода Шихмана необходимо учесть следующее обстоятельство. В начальный момент времени известен лишь вектор . Поэтому  первый шаг интегрирования следует выполнить неявным методом Эйлера, который также реализуется формулой (3.20) при . Второй шаг интегрирования можно было бы выполнить методом Шихмана, однако оценку погрешности по формуле (3.23) в этом случае провести еще невозможно. Значит и  второй шаг интегрирования следует выполнить неявным методом Эйлера. И лишь начиная с третьего шага интегрирования, вычисления проводятся по формулам (3.22), (3.23).

Задание

  1.  Написать, отладить и исследовать на задаче, предложенной преподавателем (перечень задач приведен ниже), программы  численного решения задачи Коши для системы обыкновенных дифференциальных уравнений (явным и неявным методами Эйлера, методом Шихмана). Вычисления выполнить для .

Задачи:

1.

2.

3.

4.

Числа  являются собственными числами симметричной матрицы . Если все , то решение системы стремится к точке покоя (-1; 1; -2). Значения  и  задаются преподавателем.

Содержание электронного  отчета

1. Тексты программ.

2. Задача, результаты  ее решения каждым методом  для .

22


 

А также другие работы, которые могут Вас заинтересовать

69918. Постиндустриальное общество, информационная революция, глобализация и международные отношения 43.56 KB
  В сфере производства формирование международных интегрированных производств на базе транснациональных корпораций. Основной характеристикой международных отношений с момента их исторического возникновения является постоянная трансформация.
69919. Предмет и задачи информатики 102 KB
  Наскальная живопись клинопись устная речь музыкальные звуки нотные знаки для их записи алфавит телеграф радио телефон телевидение компьютеры вот лишь некоторые звенья цепи попыток совершенствовать способы получения сохранения обработки и передачи информации.
69920. История как наука 63.5 KB
  Историческая наука: предмет особенности функции. Историческая наука: предмет особенности функции. Предмет исторической науки прошлое человеческого общества Особенности исторической науки: гуманитарная наука субъективность исторического знания тесная связь истории с политикой...
69921. Предмет и задачи истории как науки 83 KB
  Превращение истории из отрасли культуры в науку представляло собой довольно длительный процесс и завершилось на рубеже XIX-XX вв. Объект изучения для истории вся совокупность фактов характеризующих жизнь общества и в прошлом и в настоящем.
69922. История журналистского образования 120 KB
  Общая структура курса Основы журналистики История журналистского образования Первые журналистские школы стали появляться на рубеже XIXXX вв. Родоначальницей журналистского образования в Европе считается Высшая школа социальных наук в Париже со специальным факультетом журналистики.
69923. История развития техники 51 KB
  Индустрия туризма включает туроператорские и турагентские фирмы средства размещения предприятия питания транспортные средства спортивные и культурно-анимационные учреждения. Современный туризм немыслим без развитой инфраструктуры: средств связи транспортных систем энергетических систем...
69924. ПРЕДЫСТОРИЯ СЕСТРИНСКОГО ДЕЛА 165 KB
  Медицина существует столько же, сколько существует культура. Медицина является не только наукой, но и социальным институтом, т.е. исторически обусловленной системой социальных учреждений. О сестринском деле говорят, что это самая юная наука и самое древнее искусство.
69925. Господарське право в системі права України 111.5 KB
  Своєрідність господарських відносин, що становлять предмет правового регулювання, та методів їх регулювання створюють господарське право як самостійну та особливу галузь права. Господарське право як галузь права та законодавства виникла пізніше багатьох інших правових галузей...
69926. Киевская Русь: образование и основные тенденции развития государственности 102 KB
  Вопросы: Происхождение восточных славян их социальная и общественная организация. Индоевропейская семья представлена в нашей стране в основном славянской иранской армянской и греческой группами. Самая большая славянская группа подразделяется на три подгруппы: восточную западную и южную.