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, и создания соответствующей функции: [value, isterminal, direction] = myEventFcn (t, y). Для получения дополнительной информации смотрите Местоположение События ОДУ.

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

Примеры

свернуть все

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

Решите ОДУ

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

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

Постройте график решения.

plot(t,y,'-o')

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

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

Начальные условия и. Функциональный 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. Однако можно передать в дополнительных параметрах путем определения их вне функции и передачи их в том, когда вы задаете указатель на функцию.

Решите ОДУ

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

odefcn.m представляет эту систему уравнений как функцию, которая принимает четыре входных параметра: t, y, A и 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),'-.')

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

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

Уравнение становится все более и более жестким как значение увеличений. Используйте и начальное условие по временному интервалу [0 0.5]. С этими значениями проблема достаточно жестка, что ode45 и ode23 изо всех сил пытаются интегрировать уравнение. Кроме того, используйте odeset, чтобы передать в постоянном якобиане и включить отображение статистики решателя.

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

Решите уравнение с ode15s, ode23s, ode23t и 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.941491 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.483929 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.632605 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.357163 seconds.
title('ode23tb')

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

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

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

свернуть все

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

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

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

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

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

y '1=y1+2y2 y' 2=3y1+2y2

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

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 должен быть двумя векторами элемента [t0 tf], задающий начальные и итоговые времена. Чтобы получить решения в определенные времена между t0 и tf, используйте более длинный вектор формы [t0,t1,t2,...,tf] 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 должен быть той же длиной как векторный вывод odefun, так, чтобы y0 содержал начальное условие для каждого уравнения, заданного в odefun.

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

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

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

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

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

свернуть все

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

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

  • Если tspan содержит больше чем два элемента, то t совпадает с tspan.

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

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

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

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

Структура для оценки, возвращенной как массив структур. Используйте эту структуру с функцией 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. и М. W. Рейчелт, “Пакет ODE MATLAB”, SIAM Journal на Научных вычислениях, Издании 18, 1997, стр 1–22.

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

Была ли эта тема полезной?