马格努斯展开

在数学和物理学中，马格努斯展开（Template:Lang-en）为线性算子的一阶齐次线性微分方程的解提供了指数表示，得名於數學家威廉·馬格努斯。特别地，这种方法提供了变系数n阶线性常微分方程组的基矩阵。指数是无穷级数，其项涉及多重积分和嵌套换元。

确定情形

马格努斯方法及其解释

给定Template:Math系数矩阵Template:Math，我们希望求解与线性常微分方程相关的初值问题

$Y^{\prime }(t)=A(t)Y(t),Y(t_0)=Y_0$

其中Template:Math是未知n维向量函数。

n = 1时，解为

$Y(t)=\exp (\underset{t_0}{\overset{t}{\int }}A(s)ds)Y_0.$

若Template:Math对任意一组t, t₁、t₂仍满足Template:Math，则此式可推广到n > 1情形。Template:Mvar与Template:Mvar无关时尤为如此。在一般情形下，上述表达式不再是问题的解。

马格努斯提出的解矩阵初值问题的方法是，用某个n阶方阵函数Template:Math的指数来表示解：

$Y(t)=\exp (\mathrm{\Omega }(t,t_0))Y_0,$

稍后可将其构造为级数展开式：

$\mathrm{\Omega }(t)=\sum _{k=1}^{\mathrm{\infty }}{\mathrm{\Omega }}_k(t),$

为简单起见习惯将Template:Math写作Template:Math，并取t₀ = 0.

马格努斯意识到，由于Template:Math，可利用庞加莱-豪斯多夫矩阵恒等式将Template:Mvar的时间导数和伯努利数及 Template:Mvar的伴随自同态联系起来

${\mathrm{\Omega }}^{\prime }=\frac{{\mathrm{ad}}_{\mathrm{\Omega }}}{\exp ({\mathrm{ad}}_{\mathrm{\Omega }})-1}A,$

并以“BCH展开的连续类似物”递归求解Template:Mvar，下详。

上式构成了矩阵线性初值问题求解的马格努斯展开式或马格努斯级数。前4项：

$\begin{array}{cc}{\mathrm{\Omega }}_1(t)& =\underset{0}{\overset{t}{\int }}A(t_1)d{t}_1,\\ {\mathrm{\Omega }}_2(t)& =\frac{1}{2}\underset{0}{\overset{t}{\int }}d{t}_1\underset{0}{\overset{t_1}{\int }}d{t}_2[A(t_1),A(t_2)],\\ {\mathrm{\Omega }}_3(t)& =\frac{1}{6}\underset{0}{\overset{t}{\int }}d{t}_1\underset{0}{\overset{t_1}{\int }}d{t}_2\underset{0}{\overset{t_2}{\int }}d{t}_3\left(\right[A(t_1),[A(t_2),A(t_3)]]+[A(t_3),[A(t_2),A(t_1)]\left]\right),\\ {\mathrm{\Omega }}_4(t)& =\frac{1}{12}\underset{0}{\overset{t}{\int }}d{t}_1\underset{0}{\overset{t_1}{\int }}d{t}_2\underset{0}{\overset{t_2}{\int }}d{t}_3\underset{0}{\overset{t_3}{\int }}d{t}_4\left(\right[[[A_1,A_2],A_3],A_4]\\ & +[A_1,[[A_2,A_3],A_4\left]\right]+[A_1,[A_2,[A_3,A_4]\left]\right]+[A_2,[A_3,[A_4,A_1]\left]\right]),\end{array}$

其中Template:Math是A、B的矩阵交换子。

这些方程可解释如下：Template:Math与标量（Template:Mvar = 1）情形下的指数完全重合，但这方程无法给出整个解。若坚持要用指数表示（李群），则要对指数进行修正。马格努斯级数的剩余部分系统地提供了修正：Template:Mvar或其部分在解的李群的李代数中。

在应用中，很少能对马格努斯级数精确求和，而要截断才能得到近似解。马格努斯方法的主要优势在于，中截级数通常和精确解具有相同的重要性质，这异于传统摄动理论。例如，经典力学中，时间演化的辛几何特征在每阶近似都得到保留。同样，量子力学时间演化算子的幺正性也得到保留（例如，与解决同一问题的戴森级数相反）。

扩展的收敛性

从数学角度看，收敛问题如下：给定矩阵Template:Math，何时可得作为马格努斯级数和的指数Template:Math？

Template:Math时，级数收敛的充分条件是

$\underset{0}{\overset{T}{\int }}\Vert A(s){\Vert }_{2}ds<\pi ,$

其中$\Vert \cdot {\Vert }_2$表示矩阵范数。这个结果是通用的，因为可构造特定矩阵，Template:Math时级数都发散。

马格努斯生成器

生成马格努斯展开式中所有项的递归过程利用了下面的递归定义的矩阵Template:Math：

$S_n^{(j)}=\sum _{m=1}^{n-j}[{\mathrm{\Omega }}_m,S_{n-m}^{(j-1)}],2\le j\le n-1,$

$S_n^{(1)}=[{\mathrm{\Omega }}_{n-1},A],S_n^{(n-1)}={\mathrm{ad}}_{{\mathrm{\Omega }}_1}^{n-1}(A),$

然后得到

${\mathrm{\Omega }}_1=\underset{0}{\overset{t}{\int }}A(\tau )d\tau ,$

${\mathrm{\Omega }}_n=\sum _{j=1}^{n-1}\frac{B_j}{j!}\underset{0}{\overset{t}{\int }}{S}_n^{(j)}(\tau )d\tau ,n\ge 2.$

此处ad^k_Ω是迭代交换子的简写（参见伴随自同态）：

${\mathrm{ad}}_{\mathrm{\Omega }}^{0}A=A,{\mathrm{ad}}_{\mathrm{\Omega }}^{k+1}A=[\mathrm{\Omega },{\mathrm{ad}}_{\mathrm{\Omega }}^{k}A],$

其中Template:Math是伯努利数，而Template:Math。

最后，明确算得这一递归后，就可将Template:Math表为涉及n个矩阵A的n-1个嵌套换元的n重积分的线性组合：

${\mathrm{\Omega }}_n(t)=\sum _{j=1}^{n-1}\frac{B_j}{j!}\sum _{\genfrac{}{}{0ex}{}{k_1+\cdots +k_j=n-1}{k_1\ge 1,\dots ,k_j\ge 1}}\underset{0}{\overset{t}{\int }}{\mathrm{ad}}_{{\mathrm{\Omega }}_{k_1}(\tau )}{\mathrm{ad}}_{{\mathrm{\Omega }}_{k_2}(\tau )}\cdots {\mathrm{ad}}_{{\mathrm{\Omega }}_{k_j}(\tau )}A(\tau )d\tau ,n\ge 2,$

随着Template:Mvar增加，这个式子会变复杂。

随机情形

推广到随机常微分方程

要推广到随机常微分方程，令${\left(W_t\right)}_{t\in [0,T]}$为${ℝ}^q$维布朗运动，$q\in {\mathbb{N}}_{>0}$在概率空间$(\mathrm{\Omega },ℱ,\mathbb{P})$ 上，有限时间区间$T>0$和自然过滤。现在，考虑线性矩阵值随机伊藤积分方程（索引Template:Math采用爱因斯坦求和约定）

$d{X}_t=B_t{X}_{t}dt+A_t^{(j)}{X}_{t}d{W}_t^j,X_0=I_d,d\in {\mathbb{N}}_{>0},$

其中$B_{\cdot },A_{\cdot }^{(1)},\dots ,A_{\cdot }^{(j)}$是逐步可测的$d\times d$值有界随机过程，$I_d$是单位矩阵。参考确定情形，并依随机情形做修改，相应的矩阵对数将变为伊藤过程，其展开的前两项为$Y_t^{(1)}=Y_t^{(1,0)}+Y_t^{(0,1)}$、$Y_t^{(2)}=Y_t^{(2,0)}+Y_t^{(1,1)}+Y_t^{(0,2)}$， 其中Template:Math、Template:Math根据爱因斯坦求和约定

$\begin{array}{cc}{Y}_t^{(0,0)}& =0,\\ Y_t^{(1,0)}& =\underset{0}{\overset{t}{\int }}{A}_s^{(j)}d{W}_s^j,\\ Y_t^{(0,1)}& =\underset{0}{\overset{t}{\int }}{B}_{s}ds,\\ Y_t^{(2,0)}& =-\frac{1}{2}\underset{0}{\overset{t}{\int }}(A_s^{(j)}{)}^{2}ds+\frac{1}{2}\underset{0}{\overset{t}{\int }}[A_s^{(j)},\underset{0}{\overset{s}{\int }}{A}_r^{(i)}d{W}_r^i]d{W}_s^j,\\ Y_t^{(1,1)}& =\frac{1}{2}\underset{0}{\overset{t}{\int }}[B_s,\underset{0}{\overset{s}{\int }}{A}_r^{(j)}d{W}_r]ds+\frac{1}{2}\underset{0}{\overset{t}{\int }}[A_s^{(j)},\underset{0}{\overset{s}{\int }}{B}_{r}dr]d{W}_s^j,\\ Y_t^{(0,2)}& =\frac{1}{2}\underset{0}{\overset{t}{\int }}[B_s,\underset{0}{\overset{s}{\int }}{B}_{r}dr]ds.\end{array}$

推广的收敛性

随机情形下，收敛将受制于停止时间$\tau$，第一个收敛结果如下： 在前面关于系数的假设下，存在强解$X=(X_t{)}_{t\in [0,T]}$及严格为正的停止时间$\tau \le T$，使得：

1. $X_t$在时间$\tau$之前有实数对数$Y_t$，即
   

   $X_t=e^{Y_t},0\le t<\tau ;$

2. 以下表示有$\mathbb{P}$把握成立：
   

   $Y_t=\sum _{n=0}^{\mathrm{\infty }}{Y}_t^{(n)},0\le t<\tau ,$
   

   其中$Y^{(n)}$是随机马格努斯展开的第n项，定义见下文马格努斯展开式小节；

3. 存在正常数Template:Math，仅取决于$\Vert A^{(1)}{\Vert }_T,\dots ,\Vert A^{(q)}{\Vert }_T,\Vert B{\Vert }_T,T,d$，其中$\Vert A_{\cdot }{\Vert }_T=\Vert \Vert A_t{\Vert }_F{\Vert }_{L^{\mathrm{\infty }}(\mathrm{\Omega }\times [0,T])}$，于是
   

   $\mathbb{P}(\tau \le t)\le Ct,t\in [0,T].$

马格努斯展开式

随机马格努斯展开的推广形式：

$Y_t=\sum _{n=0}^{\mathrm{\infty }}{Y}_t^{(n)}\text{with}{Y}_t^{(n)}:=\sum _{r=0}^n{Y}_t^{(r,n-r)},$

其中通用项$Y^{(r,n-r)}$是形式为下式的伊藤过程：

$Y_t^{(r,n-r)}=\underset{0}{\overset{t}{\int }}{\mu }_s^{r,n-r}ds+\underset{0}{\overset{t}{\int }}{\sigma }_s^{r,n-r,j}d{W}_s^j,n\in {\mathbb{N}}_0,r=0,\dots ,n,$

${\sigma }^{r,n-r,j},{\mu }^{r,n-r}$项可递归定义为

$\begin{array}{cc}{\sigma }_s^{r,n-r,j}& :=\sum _{i=0}^{n-1}\frac{{\beta }_i}{i!}{S}_s^{r-1,n-r,i}\left(A^{(j)}\right),\\ {\mu }_s^{r,n-r}& :=\sum _{i=0}^{n-1}\frac{{\beta }_i}{i!}{S}_s^{r,n-r-1,i}(B)-\frac{1}{2}\sum _{j=1}^q\sum _{i=0}^{n-2}\frac{{\beta }_i}{i!}\sum _{q_1=2}^r\sum _{q_2=0}^{n-r}{S}^{r-q_1,n-r-q_2,i}\left(Q^{q_1,q_2,j}\right),\end{array}$

其中

$\begin{array}{cc}{Q}_s^{q_1,q_2,j}:=\sum _{i_1=2}^{q_1}\sum _{i_2=0}^{q_2}\sum _{h_1=1}^{i_1-1}\sum _{h_2=0}^{i_2}& \sum _{p_1=0}^{q_1-i_1}\sum _{p_2=0}^{q_2-i_2}\sum _{m_1=0}^{p_1+p_2}\sum _{m_2=0}^{q_1-i_1-p_1+q_2-i_2-p_2}\\ & (\frac{S_s^{p_1,p_2,m_1}\left({\sigma }_s^{h_1,h_2,j}\right)}{(m_1+1)!}\frac{S_s^{q_1-i_1-p_1,q_2-i_2-p_2,m_2}\left({\sigma }_s^{i_1-h_1,i_2-h_2,j}\right)}{(m_2+1)!}\\ & +\frac{\left[S_s^{p_1,p_2,m_1}\right({\sigma }_s^{i_1-h_1,i_2-h_2,j}),S_s^{q_1-i_1-p_1,q_2-i_2-p_2,m_2}({\sigma }_s^{h_1,h_2,j}\left)\right]}{(m_1+m_2+2)(m_1+1)!m_2!}),\end{array}$

算子Template:Math定义为

$\begin{array}{cc}{S}_s^{r-1,n-r,0}(A)& :=\{\begin{array}{cc}A& \text{if }r=n=1,\\ 0& \text{otherwise},\end{array}\\ S_s^{r-1,n-r,i}(A)& :=\sum _{\begin{array}{c}(j_1,k_1),\dots ,(j_i,k_i)\in {\mathbb{N}}_0^2\\ j_1+\cdots +j_i=r-1\\ k_1+\cdots +k_i=n-r\end{array}}[Y_s^{(j_1,k_1)},[\dots ,[Y_s^{(j_i,k_i)},A_s]\dots \left]\right]\\ & =\sum _{\begin{array}{c}(j_1,k_1),\dots ,(j_i,k_i)\in {\mathbb{N}}_0^2\\ j_1+\cdots +j_i=r-1\\ k_1+\cdots k_i=n-r\end{array}}{\mathrm{ad}}_{Y_s^{(j_1,k_1)}}\circ \cdots \circ {\mathrm{ad}}_{Y_s^{(j_i,k_i)}}(A_s),i\in \mathbb{N}.\end{array}$

应用

1960年代以来，马格努斯展开作为一种摄动理论工具，已成功应用于物理学和化学的许多领域，从原子物理学和分子物理学到核磁共振和量子电动力学。自1998年以来，它还用于构建矩阵线性微分方程数值积分的实用算法。由于它们集成了马格努斯展开的特性，保留了问题的定性特征，因此相应方案也是几何积分的典型例子。

另见

• 贝克-坎贝尔-豪斯多夫公式

参考文献

• Template:Cite journal
• Template:Cite journal
• Template:Cite journal
• Template:Cite journal
• Template:Cite journal