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


 

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

77918. Файловая система. Сервисное программное обеспечение компьютера 1.34 MB
  Для любых устройств внешней памяти компьютера (жёстких дисков, дискет, CD) операционная система реализует общий принцип организации хранения логически связанных наборов данных в виде так называемых файлов.
77919. MS Word. Подготовка документов 791.5 KB
  Обработка текста на компьютере осуществляется с помощью специальных программ, называемых текстовыми процессорами. С их помощью можно ввести и отформатировать текст, исправить ошибки и просмотреть документ перед печатью.
77920. Добавление графики и эффектов в документы MS Office 399 KB
  В дальнейшем формулу можно отредактировать (изменить шрифт, размер, начертание). Для этого сделайте двойной щелчок в области формулы и выполните редактирование с помощью команд строки меню Стиль и Размер и кнопок панели инструментов Формула
77921. MS Word. Профессиональное форматирование документов 271 KB
  Автоматическое создание оглавления документа. Копирование стилей из документа или шаблона После создания стиля или изменения стиля в документе можно скопировать его в шаблон чтобы новый стиль стал доступен и для любого другого документа который будет создаваться на основе этого шаблона. Если это сделано изменённый или вновь созданный стиль будет скопирован в шаблон документа и доступен для всех документов которые в дальнейшем будут создаваться на основе этого шаблона.
77922. MS Excel. Начальные сведения 532 KB
  Часть новых функций, рассмотренных в предыдущих главах, относятся так же и к Excel, например, области задач и появляющиеся кнопки с раскрывающимися меню. Большинство новых или усовершенствованных функций будут не видны для вас до тех пор
77923. MS Excel. Использование функций 500.5 KB
  Диаграммы в Microsoft Excel Excel предоставляет в распоряжение пользователей множество функций для создания и форматирования диаграмм. Элементы диаграммы Excel предоставляет в распоряжение пользователя различные функции для работы с диаграммами.
77924. Обмен данными между приложениями MS Office 318.5 KB
  Общие принципы установки связей между документами. Связывание таблицы Excel и документа Word. При использовании статического копирования или статического перемещения данные становятся составной частью документа в приложении приёмнике. Этот тип копирования или перемещения обычно используется при работе с одним документом или несколькими документами одного приложения.
77925. Особенности локальных, глобальных и городских сетей 85.5 KB
  Компьютерные сети создаются для того, чтобы дать возможность территориально разобщенным пользователям обмениваться информацией между собой, использовать одинаковые программы, общие информационные и аппаратные ресурсы.
77926. Интернет. Браузер. Электронная почта. Web-дизайн 706 KB
  Общеизвестно, что у истоков изобретения вычислительной техники стояли американцы. Первоначально многие исследования в области создания и усовершенствования глобальных сетей поддерживались Министерством обороны США