37840

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

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

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

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

Русский

2013-09-25

300 KB

65 чел.

Лабораторная работа № 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


 

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

75813. Анализ требований и состояния рынка автоматизированных банковских систем в России 142.77 KB
  Для своевременной и качественной переработки возрастающих объемов поступающей в банки информации требуется применение все более совершенных технических и программных средств. Результатом развития программно-аппаратных средств стало создание автоматизированных банковских систем (АБС).
75814. Международное образовательное право 80 KB
  Основным источником международного права по вопросам образования является нормативный договор. Положения образовательных доктрин находят отражение в региональных договорах и соглашениях. Практика применения судебного прецедент по вопросам образования находит применение...
75816. Общие сведения об авиационном страховании 269 KB
  Авиационное страхование это достаточно молодой вид страхования. Авиационное страхование -– это страхование рисков связанных с эксплуатацией авиационной и космической техники. Средства авиационной техники от повреждения и гибели...
75817. Тәуекелді анықтау және төмендету әдістері 44.83 KB
  Нарықтық қатынастарға өту жағдайында коммерциялық ұйымдардың (өндірістік кәсіпорындардың, коммерциялық банктердің,фирмалардың) жүргізуші принципі – пайда табуға ұмтылу болып саналады. Ол шығындарға ұшыраумен шектеліп отырады. Басқа сөзбен айтқанда, бұл жерде тәуекел ұғымы пайда болады.
75820. Жапондық модельдің сипаттамасы 46.37 KB
  Кейіннен басқа американдық авторлар басқарудың принциптері жүйесіне көптеген қосымшалар, өзгертулер мен толықтыруларды енгізді. Классикалық мектеп басқарудың американдық теориясындағы басқа да барлық бағыттардың құрылуна зор ықпал етті.
75821. Системный блок. Звуковая карта, сетевая карта. Колонки. Источник бесперебойного питания 40.27 KB
  Блок питания Блок питания нужен компьютеру для преобразования и передачи энергии к элементам компьютера. Однако есть и недостатки: затрудняется обслуживание усилителя так как акустическая система может быть установлена в труднодоступном месте например быть подвешена на некоторой высоте...