scipy.integrate.

odeint#

scipy.integrate.odeint(func, y0, t, args=(), Dfun=None, col_deriv=0, full_output=0, ml=None, mu=None, rtol=None, atol=None, tcrit=None, h0=0.0, hmax=0.0, hmin=0.0, ixpr=0, mxstep=0, mxhnil=0, mxordn=12, mxords=5, printmessg=0, tfirst=False)[source]#

积分一个常微分方程组。

注意

对于新的代码,请使用 scipy.integrate.solve_ivp 来求解微分方程。

使用 FORTRAN 库 odepack 中的 lsoda 求解一阶常微分方程组的初值问题。

求解刚性或非刚性的一阶常微分方程组的初值问题

dy/dt = func(y, t, ...)  [or func(t, y, ...)]

其中 y 可以是一个向量。

注意

默认情况下,func 的前两个参数的顺序与 scipy.integrate.ode 类和函数 scipy.integrate.solve_ivp 中使用的系统定义函数的参数顺序相反。要使用签名为 func(t, y, ...) 的函数,必须将参数 tfirst 设置为 True

参数:
funccallable(y, t, …) 或 callable(t, y, …)

计算 y 在 t 处的导数。如果签名为 callable(t, y, ...),则参数 tfirst 必须设置为 Truefunc 不得修改 y 中的数据,因为它是由 ODE 求解器内部使用的数据的视图。

y0array

y 的初始条件(可以是向量)。

tarray

要为 y 求解的时点序列。初始值点应该是此序列的第一个元素。此序列必须单调递增或单调递减;允许重复值。

argstuple, optional

要传递给函数的额外参数。

Dfuncallable(y, t, …) 或 callable(t, y, …)

func 的梯度(雅可比矩阵)。如果签名为 callable(t, y, ...),则参数 tfirst 必须设置为 TrueDfun 不得修改 y 中的数据,因为它是由 ODE 求解器内部使用的数据的视图。

col_derivbool, optional

如果 Dfun 定义沿列的导数(更快),否则 Dfun 应该定义沿行的导数。

full_outputbool, optional

如果要返回一个包含可选输出的字典作为第二个输出,则为 True

printmessgbool, optional

是否打印收敛信息

tfirstbool, optional

如果为 True,则 func(以及 Dfun,如果已给出)的前两个参数必须为 t, y,而不是默认的 y, t

在版本 1.1.0 中添加。

返回值:
yarray, shape (len(t), len(y0))

包含每个所需时间 t 中 y 的值的数组,其中初始值 y0 在第一行。

infodictdict, only returned if full_output == True

包含其他输出信息的字典

含义

‘hu’

每个时间步成功使用的步长向量

‘tcur’

每个时间步到达的 t 值向量(始终至少与输入时间一样大)

‘tolsf’

容差比例因子向量,大于 1.0,在检测到对过高精度的请求时计算

‘tsw’

最后一次方法切换时 t 的值(针对每个时间步给出)

‘nst’

时间步的累积数量

‘nfe’

每个时间步的函数评估次数的累积数量

‘nje’

每个时间步的雅可比矩阵评估次数的累积数量

‘nqu’

每个成功步骤的方法阶数向量

‘imxer’

加权局部误差向量 (e / ewt) 中最大幅度分量的索引(在误差返回时),否则为 -1

‘lenrw’

所需的双精度工作数组的长度

‘leniw’

所需的整型工作数组的长度

‘mused’

每个成功时间步的方法指示符向量:1:Adams(非刚性),2:BDF(刚性)

其他参数:
ml, muint, optional

如果这两个参数中的任何一个都不为 None 或非负,则假定雅可比矩阵是带状的。它们给出了此带状矩阵中非零对角线的数量。对于带状情况,Dfun 应该返回一个矩阵,其行包含非零带(从最低对角线开始)。因此,来自 Dfun 的返回值矩阵 jac 应该在 ml >=0mu >=0 时具有形状 (ml + mu + 1, len(y0))jac 中的数据必须以这样的方式存储:jac[i - j + mu, j] 保持第 i 个方程关于第 j 个状态变量的导数。如果 col_deriv 为 True,则必须返回此 jac 的转置。

rtol, atolfloat, optional

输入参数 rtolatol 确定求解器执行的误差控制。求解器将根据以下形式的不等式控制估计的 y 局部误差向量 e:max-norm of (e / ewt) <= 1,其中 ewt 是作为 ewt = rtol * abs(y) + atol 计算的正误差权重向量。rtol 和 atol 可以是与 y 长度相同的向量,也可以是标量。默认为 1.49012e-8。

tcritndarray, optional

临界点(例如,奇点)向量,其中应小心进行积分。

h0float, (0: solver-determined), optional

要在第一步尝试的步长。

hmaxfloat, (0: solver-determined), optional

允许的最大绝对步长。

hminfloat, (0: solver-determined), optional

允许的最小绝对步长。

ixprbool, optional

是否在方法切换时生成额外的打印。

mxstepint, (0: solver-determined), optional

每个 t 中的积分点允许的最大(内部定义的)步数。

mxhnilint, (0: solver-determined), optional

允许打印的最大信息数。

mxordnint, (0: solver-determined), optional

允许用于非刚性(Adams)方法的最大阶数。

mxordsint, (0: solver-determined), optional

允许用于刚性(BDF)方法的最大阶数。

另请参见

solve_ivp

求解常微分方程组的初值问题

常微分方程

基于 VODE 的更面向对象的积分器

quad

用于求曲线下的面积

示例

受重力和摩擦力作用的摆的角 theta 的二阶微分方程可以写成

theta''(t) + b*theta'(t) + c*sin(theta(t)) = 0

其中 bc 是正常数,撇号 (') 表示导数。要使用 odeint 求解此方程,我们必须先将其转换为一阶方程组。通过定义角速度 omega(t) = theta'(t),我们得到系统

theta'(t) = omega(t)
omega'(t) = -b*omega(t) - c*sin(theta(t))

y 为向量 [theta, omega]。我们在 Python 中实现此系统,如下所示:

>>> import numpy as np
>>> def pend(y, t, b, c):
...     theta, omega = y
...     dydt = [omega, -b*omega - c*np.sin(theta)]
...     return dydt
...

我们假设常数为 b = 0.25 和 c = 5.0

>>> b = 0.25
>>> c = 5.0

对于初始条件,我们假设摆几乎垂直,theta(0) = pi - 0.1,并且最初处于静止状态,因此 omega(0) = 0。然后初始条件向量为

>>> y0 = [np.pi - 0.1, 0.0]

我们将在区间 0 <= t <= 10 中生成 101 个均匀间隔的样本处的解。所以我们的时间数组为

>>> t = np.linspace(0, 10, 101)

调用 odeint 生成解。要将参数 bc 传递给 pend,我们使用 args 参数将其传递给 odeint

>>> from scipy.integrate import odeint
>>> sol = odeint(pend, y0, t, args=(b, c))

解是一个形状为 (101, 2) 的数组。第一列是 theta(t),第二列是 omega(t)。以下代码绘制了两个分量。

>>> import matplotlib.pyplot as plt
>>> plt.plot(t, sol[:, 0], 'b', label='theta(t)')
>>> plt.plot(t, sol[:, 1], 'g', label='omega(t)')
>>> plt.legend(loc='best')
>>> plt.xlabel('t')
>>> plt.grid()
>>> plt.show()
../../_images/scipy-integrate-odeint-1.png