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

Задачи BVP

# SciMLBase.BVProblemType

Определяет задачу BVP. Страница документации: https://docs.sciml.ai/DiffEqDocs/stable/types/bvp_types/

Математическая спецификация задачи BVP

Для определения задачи BVP достаточно задать функцию и начальное условие , которые определяют ОДУ:

а также неявную функцию bc!, определяющую уравнение невязки, где

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

Тип задачи

Конструкторы

TwoPointBVProblem{isinplace}(f,bc!,u0,tspan,p=NullParameters();kwargs...)
BVProblem{isinplace}(f,bc!,u0,tspan,p=NullParameters();kwargs...)

или если у нас есть функция начального предположения initialGuess(t) для данной задачи BVP, можно передать начальное предположение в конструкторы задачи:

TwoPointBVProblem{isinplace}(f,bc!,initialGuess,tspan,p=NullParameters();kwargs...)
BVProblem{isinplace}(f,bc!,initialGuess,tspan,p=NullParameters();kwargs...)

Для любого типа задачи BVP bc! является функцией на месте:

bc!(residual, u, p, t)

где residual вычисляется из текущего u. u — это массив значений решения, где u[i] находится в момент времени t[i], а p — это параметры. Для задачи TwoPointBVProblem t = tspan. Для более общей задачи BVProblem условием u могут быть все внутренние временные точки, а для методов стрельбы u=sol является решением ОДУ. Обратите внимание, что в этой форме присутствуют все компоненты ODESolution. В обоих случаях размер невязки совпадает с размером начального условия.

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

Поля

  • f: функция для ОДУ.

  • bc: функция краевого условия.

  • u0: начальное условие. Либо начальное условие для ОДУ в виде задачи начального значения, либо вектор (Vector) значений для для методов коллокации.

  • tspan: временной интервал для задачи.

  • p: параметры для задачи. По умолчанию используется NullParameters.

  • kwargs: именованные аргументы, передаваемые в решатели.

Тип решения

В результате решения BVProblem возвращается объект ODESolution. Дополнительные сведения см. в docstring ODESolution на странице определения задачи ODE.