ode23s

Решите жесткие дифференциальные уравнения — метод низкого порядка точности

Синтаксис

[t,y] =
ode23s(odefun,tspan,y0)

[t,y] =
ode23s(odefun,tspan,y0,options)

[t,y,te,ye,ie]
= ode23s(odefun,tspan,y0,options)

sol = ode23s(___)

Описание

пример

[t,y] = ode23s(odefun,tspan,y0), где tspan = [t0 tf], интегрирует систему дифференциальных уравнений $y' = f (t, y)$ от t0 к tf с начальными условиями y0. Каждая строка в массиве решения y соответствует значению, возвращенному в вектор-столбце t.

Все решатели MATLAB^® ODE могут решить системы уравнений формы $y' = f (t, y)$ , или проблемы, которые включают большую матрицу, $M (t, y) y' = f (t, y)$ . Решатели все использование подобные синтаксисы. ode23s решатель только может решить задачи с большой матрицей, если большая матрица является постоянной. ode15s и ode23t может решить задачи с большой матрицей, которая сингулярна, известна как дифференциально-алгебраические уравнения (ДАУ). Задайте большую матрицу с помощью Mass опция odeset.

пример

[t,y] = ode23s(odefun,tspan,y0,options) также использует настройки интегрирования, заданные options, то, которое является аргументом, создало использование odeset функция. Например, используйте AbsTol и RelTol опции, чтобы задать допуски абсолютной и относительной погрешности или Mass опция, чтобы обеспечить большую матрицу.

[t,y,te,ye,ie] = ode23s(odefun,tspan,y0,options) дополнительно находит, где функции (t, y), вызвал функции события, являются нулем. В выходе, te время события, ye решение во время события и ie индекс инициированного события.

Для каждой функции события задайте, должно ли интегрирование завершить работу в нуле и имеет ли направление нулевого пересечения значение. Сделайте это путем установки 'Events' свойство к функции, такой как myEventFcn или @myEventFcn, и создание соответствующей функции: Значение, isterminal, direction] = myEventFcnTY). Для получения дополнительной информации смотрите Местоположение События ОДУ.

sol = ode23s(___) возвращает структуру, которую можно использовать с deval оценивать решение в любой точке на интервале [t0 tf]. Можно использовать любую из комбинаций входных аргументов в предыдущих синтаксисах.

Примеры

свернуть все

ОДУ с компонентом единого решения

Скрипт Open Live Script

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

Решите ОДУ

$y^{'} = - 10 t .$

Используйте временной интервал [0,2] и начальное условие y0 = 1.

tspan = [0 2];
y0 = 1;
[t,y] = ode23s(@(t,y) -10*t, tspan, y0);

Постройте решение.

plot(t,y,'-o')

Решение жесткого ОДУ

Открыть скрипт

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

Система уравнений:

$\begin{array}{cl} y_1' &= y_2\\y_2' &= 1000(1-y_1^2)y_2-y_1\end{array}$

Начальные условия $y_1(0)=2$ и $y_2(0)=0$ . Функциональный vdp1000 поставки с MATLAB® и кодируют уравнения.

function dydt = vdp1000(t,y)
%VDP1000  Evaluate the van der Pol ODEs for mu = 1000.
%
%   See also ODE15S, ODE23S, ODE23T, ODE23TB.

%   Jacek Kierzenka and Lawrence F. Shampine
%   Copyright 1984-2014 The MathWorks, Inc.

dydt = [y(2); 1000*(1-y(1)^2)*y(2)-y(1)];

Решение этой системы с помощью ode45 с допусками относительной и абсолютной погрешности по умолчанию (1e-3 и 1e-6, соответственно), является чрезвычайно медленным, требуя, чтобы несколько минут решили и построили решение. ode45 требует, чтобы миллионы временных шагов завершили интегрирование, из-за областей жесткости, где это изо всех сил пытается соответствовать допускам.

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

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

[t,y] = ode23s(@vdp1000,[0 3000],[2 0]);
plot(t,y(:,1),'-o')

Передача дополнительных параметров к функции ОДУ

Открыть скрипт

ode23s только работает с функциями, которые используют два входных параметра, t и y. Однако можно передать в дополнительных параметрах путем определения их вне функции и передачи их в том, когда вы задаете указатель на функцию.

Решите ОДУ

$y'' = \frac{A}{B} t y.$

При перезаписи уравнения, когда уступает система первого порядка

$\begin{array}{cl} y'_1 &= y_2\\ y'_2 &= \frac{A}{B} t y_1.
\end{array}$

odefcn.m представляет эту систему уравнений как функцию, которая принимает четыре входных параметра: tYA, и B.

function dydt = odefcn(t,y,A,B)
dydt = zeros(2,1);
dydt(1) = y(2);
dydt(2) = (A/B)*t.*y(1);

Решите ОДУ с помощью ode23s. Задайте указатель на функцию, таким образом, что он передает в предопределенных значениях для A и B к odefcn.

A = 1;
B = 2;
tspan = [0 5];
y0 = [0 0.01];
[t,y] = ode23s(@(t,y) odefcn(t,y,A,B), tspan, y0);

Постройте график результатов.

plot(t,y(:,1),'-o',t,y(:,2),'-.')

Сравнение жестких решателей ОДУ

Скрипт Open Live Script

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

Рассмотрите тестовое уравнение

$y^{'} = - λ y .$

Уравнение становится все больше жестким как величина $λ$ увеличения. Использование $λ = 1 \times 1 0^{9}$ и начальное условие $y (0) = 1$ по временному интервалу [0 0.5]. С этими значениями проблема достаточно жестка тот ode45 и ode23 изо всех сил пытайтесь интегрировать уравнение. Кроме того, используйте odeset передать в постоянном якобиане $J = \frac{\partial f}{\partial y} = - λ$ и включите отображение статистики решателя.

lambda = 1e9;
y0 = 1;
tspan = [0 0.5];
opts = odeset('Jacobian',-lambda,'Stats','on');

Решите уравнение с ode15sode23sode23t, и ode23tb. Сделайте подграфики для сравнения.

subplot(2,2,1)
tic, ode15s(@(t,y) -lambda*y, tspan, y0, opts), toc

104 successful steps
1 failed attempts
212 function evaluations
0 partial derivatives
21 LU decompositions
210 solutions of linear systems
Elapsed time is 1.089079 seconds.

title('ode15s')
subplot(2,2,2)
tic, ode23s(@(t,y) -lambda*y, tspan, y0, opts), toc

63 successful steps
0 failed attempts
191 function evaluations
0 partial derivatives
63 LU decompositions
189 solutions of linear systems
Elapsed time is 0.219249 seconds.

title('ode23s')
subplot(2,2,3)
tic, ode23t(@(t,y) -lambda*y, tspan, y0, opts), toc

95 successful steps
0 failed attempts
125 function evaluations
0 partial derivatives
28 LU decompositions
123 solutions of linear systems
Elapsed time is 0.436256 seconds.

title('ode23t')
subplot(2,2,4)
tic, ode23tb(@(t,y) -lambda*y, tspan, y0, opts), toc

71 successful steps
0 failed attempts
167 function evaluations
0 partial derivatives
23 LU decompositions
236 solutions of linear systems
Elapsed time is 0.330833 seconds.

title('ode23tb')

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

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

Входные параметры

свернуть все

`odefun` — Функции, чтобы решить
указатель на функцию

Функции, чтобы решить в виде указателя на функцию, который задает функции, которые будут интегрированы.

Функциональный dydt = odefun(t,y), для скалярного t и вектор-столбец y, должен возвратить вектор-столбец dydt из типа данных single или double это соответствует $f (t, y)$ odefun должен принять оба входных параметра, t и y, даже если один из аргументов не используется в функции.

Например, чтобы решить $y' = 5 y - 3$ , используйте функцию:

function dydt = odefun(t,y)
dydt = 5*y-3;

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

$\begin{array}{l} y'_{1} = y_{1} + 2 y_{2} \\ y'_{2} = 3 y_{1} + 2 y_{2} \end{array}$

используйте функцию:

function dydt = odefun(t,y)
dydt = zeros(2,1);
dydt(1) = y(1)+2*y(2);
dydt(2) = 3*y(1)+2*y(2);

Для получения информации о том, как предоставить дополнительные параметры функции odefun, смотрите Функции Параметризации.

Пример: @myFcn

Типы данных: function_handle

`tspan` — Интервал интегрирования
вектор

Интервал интегрирования в виде вектора. В минимуме, tspan должны быть два вектора элемента [t0 tf] определение начальных и итоговых времен. Получить решения в конкретные моменты времени между t0 и tf, используйте более длинный вектор из формы [t0,t1,t2,...,tf]. Элементы в tspan должен все увеличиваться или все уменьшение.

Решатель налагает начальные условия, данные y0 в начальное время tspan(1), затем объединяется от tspan(1) к tspan(end):

Если tspan имеет два элемента, [t0 tf], затем решатель возвращает решение, оцененное в каждом внутреннем этапе интеграции в интервале.
Если tspan имеет больше чем два элемента [t0,t1,t2,...,tf], затем решатель возвращает решение, оцененное в данных точках. Однако решатель не продвигается точно в каждую точку, заданную в tspan. Вместо этого решатель использует свои собственные внутренние шаги, чтобы вычислить решение, затем оценивает решение в требуемых точках в tspan. Решения, произведенные в заданных точках, имеют тот же порядок точности как решения, вычисленные на каждом внутреннем шаге.
Определение нескольких промежуточных точек оказывает мало влияния на КПД расчета, но для больших систем это может влиять на управление памятью.

Значения tspan используются решателем, чтобы вычислить подходящие значения для InitialStep и MaxStep:

Если tspan содержит несколько промежуточных точек [t0,t1,t2,...,tf], затем заданные точки дают индикацию относительно шкалы для проблемы, которая может влиять на значение InitialStep используемый решателем. Поэтому решение, полученное решателем, может отличаться в зависимости от того, задаете ли вы tspan как двухэлементный вектор или как вектор с промежуточными точками.
Начальные и окончательные значения в tspan используются, чтобы вычислить максимальный размер шага MaxStep. Поэтому изменяя начальные или окончательные значения в tspan мог привести к решателю с помощью различной последовательности шага, которая может изменить решение.

Пример: [1 10]

Пример: [1 3 5 7 9 10]

Типы данных: single | double

`y0` — Начальные условия
вектор

Начальные условия в виде вектора. y0 должна быть та же длина как векторный выход odefun, так, чтобы y0 содержит начальное условие для каждого уравнения, определенного в odefun.

Типы данных: single | double

`options` — Структура опции
массив структур

Структура опции в виде массива структур. Используйте odeset функция, чтобы создать или изменить структуру опций. См. Сводные данные Опций ОДУ для списка опций, совместимых с каждым решателем.

Пример: options = odeset('RelTol',1e-5,'Stats','on','OutputFcn',@odeplot) задает допуск относительной погрешности 1e-5, включает отображение статистики решателя и задает выходную функцию @odeplot построить решение, когда это вычисляется.

Типы данных: struct

Выходные аргументы

свернуть все

`t` — Точки оценки
вектор-столбец

Точки оценки, возвращенные как вектор-столбец.

Если tspan содержит два элемента, [t0 tf], затем t содержит внутренние точки оценки, используемые, чтобы выполнить интегрирование.
Если tspan содержит больше чем два элемента, затем t совпадает с tspan.

`y` — Решения
массив

Решения, возвращенные как массив. Каждая строка в y соответствует решению в значении, возвращенном в соответствующей строке t.

`te` — Время событий
вектор-столбец

Время событий, возвращенных как вектор-столбец. Времена события в te соответствуйте решениям, возвращенным в ye, и ie задает, который имело место событие.

`ye` — Решение во время событий
массив

Решение во время событий, возвращенных как массив. Времена события в te соответствуйте решениям, возвращенным в ye, и ie задает, который имело место событие.

`ie` — Индекс инициированной функции события
вектор-столбец

Индекс инициированной функции события, возвращенной как вектор-столбец. Времена события в te соответствуйте решениям, возвращенным в ye, и ie задает, который имело место событие.

`sol` — Структура для оценки
массив структур

Структура для оценки, возвращенной как массив структур. Используйте эту структуру с deval функция, чтобы оценить решение в любой точке в интервале [t0 tf]. sol массив структур всегда включает эти поля:

Поле структуры	Описание
`sol.x`	Вектор строка с шагом, выбранным решателем.
`sol.y`	Решения. Каждый столбец `sol.y(:,i)` содержит решение во время `sol.x(i)`.
`sol.solver`	Имя решателя.

Кроме того, если вы задаете Events опция и события обнаруживаются, затем sol также включает эти поля:

Поле структуры	Описание
`sol.xe`	Точки, когда события имели место. `sol.xe(end)` содержит точное место терминального события, если таковые имеются.
`sol.ye`	Решения, которые соответствуют событиям в `sol.xe`.
`sol.ie`	Индексы в вектор, возвращенный функцией, заданы в `Events` опция. Значения указывают, какое событие решатель обнаружил.

Алгоритмы

ode23s основан на модифицированной формуле Розенброка порядка 2. Поскольку это - одношаговый решатель, это может быть более эффективно, чем ode15s при решении задач, которые разрешают грубые допуски или проблемы с решениями то изменение быстро. Это может решить некоторые виды жестких проблем для который ode15s не является эффективным. ode23s решатель оценивает якобиан во время каждого шага интегрирования, так предоставление его с якобиевской матрицей очень важно для своей надежности и КПД [1].

Ссылки

[1] Шемпин, L. F. и М. В. Рейчелт, “Пакет ODE MATLAB”, SIAM Journal на Научных вычислениях, Издании 18, 1997, стр 1–22.

Темы

Представлено до R2006a

Документация

ode23s

Синтаксис

Описание

Примеры

ОДУ с компонентом единого решения

Решение жесткого ОДУ

Передача дополнительных параметров к функции ОДУ

Сравнение жестких решателей ОДУ

Входные параметры

`odefun` — Функции, чтобы решить
указатель на функцию

`tspan` — Интервал интегрирования
вектор

`y0` — Начальные условия
вектор

`options` — Структура опции
массив структур

Выходные аргументы

`t` — Точки оценки
вектор-столбец

`y` — Решения
массив

`te` — Время событий
вектор-столбец

`ye` — Решение во время событий
массив

`ie` — Индекс инициированной функции события
вектор-столбец

`sol` — Структура для оценки
массив структур

Алгоритмы

Ссылки

Смотрите также

Темы

Документация MATLAB

Поддержка

Документация

ode23s

Синтаксис

Описание

Примеры

ОДУ с компонентом единого решения

Решение жесткого ОДУ

Передача дополнительных параметров к функции ОДУ

Сравнение жестких решателей ОДУ

Входные параметры

odefun — Функции, чтобы решить указатель на функцию

tspan — Интервал интегрирования вектор

y0 — Начальные условия вектор

options — Структура опции массив структур

Выходные аргументы

t — Точки оценки вектор-столбец

y — Решения массив

te — Время событий вектор-столбец

ye — Решение во время событий массив

ie — Индекс инициированной функции события вектор-столбец

sol — Структура для оценки массив структур

Алгоритмы

Ссылки

Смотрите также

Темы

Документация MATLAB

Поддержка

`odefun` — Функции, чтобы решить
указатель на функцию

`tspan` — Интервал интегрирования
вектор

`y0` — Начальные условия
вектор

`options` — Структура опции
массив структур

`t` — Точки оценки
вектор-столбец

`y` — Решения
массив

`te` — Время событий
вектор-столбец

`ye` — Решение во время событий
массив

`ie` — Индекс инициированной функции события
вектор-столбец

`sol` — Структура для оценки
массив структур