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 必须设置为True
。 func 不得修改 y 中的数据,因为它是由 ODE 求解器内部使用的数据的视图。- y0array
y 的初始条件(可以是向量)。
- tarray
要为 y 求解的时点序列。初始值点应该是此序列的第一个元素。此序列必须单调递增或单调递减;允许重复值。
- argstuple, optional
要传递给函数的额外参数。
- Dfuncallable(y, t, …) 或 callable(t, y, …)
func 的梯度(雅可比矩阵)。如果签名为
callable(t, y, ...)
,则参数 tfirst 必须设置为True
。 Dfun 不得修改 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 >=0
或mu >=0
时具有形状(ml + mu + 1, len(y0))
。jac 中的数据必须以这样的方式存储:jac[i - j + mu, j]
保持第i
个方程关于第j
个状态变量的导数。如果 col_deriv 为 True,则必须返回此 jac 的转置。- rtol, atolfloat, optional
输入参数 rtol 和 atol 确定求解器执行的误差控制。求解器将根据以下形式的不等式控制估计的 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)方法的最大阶数。
示例
受重力和摩擦力作用的摆的角 theta 的二阶微分方程可以写成
theta''(t) + b*theta'(t) + c*sin(theta(t)) = 0
其中 b 和 c 是正常数,撇号 (') 表示导数。要使用
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
生成解。要将参数 b 和 c 传递给 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()