Exponential representation for differential equations
In mathematics and physics, the Magnus expansion, named after Wilhelm Magnus (1907–1990), provides an exponential representation of the product integral solution of a first-order homogeneous linear differential equation for a linear operator. In particular, it furnishes the fundamental matrix of a system of linear ordinary differential equations of order n with varying coefficients. The exponent is aggregated as an infinite series, whose terms involve multiple integrals and nested commutators.
The deterministic case
Magnus approach and its interpretation
Given the n × n coefficient matrix A(t), one wishes to solve the initial-value problem associated with the linear ordinary differential equation
![{\displaystyle Y'(t)=A(t)Y(t),\quad Y(t_{0})=Y_{0}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ed046999f5b21bcbbdd55b566ab5a58be72cd484)
for the unknown n-dimensional vector function Y(t).
When n = 1, the solution is given as a product integral
![{\displaystyle Y(t)=\exp \left(\int _{t_{0}}^{t}A(s)\,ds\right)Y_{0}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ae7ac9f8069265e8d4ee50d2d7e32960963f129d)
This is still valid for n > 1 if the matrix A(t) satisfies A(t1) A(t2) = A(t2) A(t1) for any pair of values of t, t1 and t2. In particular, this is the case if the matrix A is independent of t. In the general case, however, the expression above is no longer the solution of the problem.
The approach introduced by Magnus to solve the matrix initial-value problem is to express the solution by means of the exponential of a certain n × n matrix function Ω(t, t0):
![{\displaystyle Y(t)=\exp {\big (}\Omega (t,t_{0}){\big )}\,Y_{0},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/66247c1fc5c7c2eeec31e82a8643c5c421771863)
which is subsequently constructed as a series expansion:
![{\displaystyle \Omega (t)=\sum _{k=1}^{\infty }\Omega _{k}(t),}](https://wikimedia.org/api/rest_v1/media/math/render/svg/59269c2ef15eef632bbef066ca2856ca168d2c92)
where, for simplicity, it is customary to write Ω(t) for Ω(t, t0) and to take t0 = 0.
Magnus appreciated that, since d/dt (eΩ) e−Ω = A(t), using a Poincaré−Hausdorff matrix identity, he could relate the time derivative of Ω to the generating function of Bernoulli numbers and the adjoint endomorphism of Ω,
![{\displaystyle \Omega '={\frac {\operatorname {ad} _{\Omega }}{\exp(\operatorname {ad} _{\Omega })-1}}A,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f3958ce18d80d6a324fb9bb689e23d8ccf01d401)
to solve for Ω recursively in terms of A "in a continuous analog of the BCH expansion", as outlined in a subsequent section.
The equation above constitutes the Magnus expansion, or Magnus series, for the solution of matrix linear initial-value problem. The first four terms of this series read
![{\displaystyle {\begin{aligned}\Omega _{1}(t)&=\int _{0}^{t}A(t_{1})\,dt_{1},\\\Omega _{2}(t)&={\frac {1}{2}}\int _{0}^{t}dt_{1}\int _{0}^{t_{1}}dt_{2}\,[A(t_{1}),A(t_{2})],\\\Omega _{3}(t)&={\frac {1}{6}}\int _{0}^{t}dt_{1}\int _{0}^{t_{1}}dt_{2}\int _{0}^{t_{2}}dt_{3}\,{\Bigl (}{\big [}A(t_{1}),[A(t_{2}),A(t_{3})]{\big ]}+{\big [}A(t_{3}),[A(t_{2}),A(t_{1})]{\big ]}{\Bigr )},\\\Omega _{4}(t)&={\frac {1}{12}}\int _{0}^{t}dt_{1}\int _{0}^{t_{1}}dt_{2}\int _{0}^{t_{2}}dt_{3}\int _{0}^{t_{3}}dt_{4}\,\left({\Big [}{\big [}[A_{1},A_{2}],A_{3}{\big ]},A_{4}{\Big ]}\right.\\&\qquad +{\Big [}A_{1},{\big [}[A_{2},A_{3}],A_{4}{\big ]}{\Big ]}+{\Big [}A_{1},{\big [}A_{2},[A_{3},A_{4}]{\big ]}{\Big ]}+\left.{\Big [}A_{2},{\big [}A_{3},[A_{4},A_{1}]{\big ]}{\Big ]}\right),\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d98fd6d46f84435fb731a73803d8446226f27580)
where [A, B] ≡ A B − B A is the matrix commutator of A and B.
These equations may be interpreted as follows: Ω1(t) coincides exactly with the exponent in the scalar (n = 1) case, but this equation cannot give the whole solution. If one insists in having an exponential representation (Lie group), the exponent needs to be corrected. The rest of the Magnus series provides that correction systematically: Ω or parts of it are in the Lie algebra of the Lie group on the solution.
In applications, one can rarely sum exactly the Magnus series, and one has to truncate it to get approximate solutions. The main advantage of the Magnus proposal is that the truncated series very often shares important qualitative properties with the exact solution, at variance with other conventional perturbation theories. For instance, in classical mechanics the symplectic character of the time evolution is preserved at every order of approximation. Similarly, the unitary character of the time evolution operator in quantum mechanics is also preserved (in contrast, e.g., to the Dyson series solving the same problem).
Convergence of the expansion
From a mathematical point of view, the convergence problem is the following: given a certain matrix A(t), when can the exponent Ω(t) be obtained as the sum of the Magnus series?
A sufficient condition for this series to converge for t ∈ [0,T) is
![{\displaystyle \int _{0}^{T}\|A(s)\|_{2}\,ds<\pi ,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f5f488ac9c085eac9eb8c1c573190a9c25cb9638)
where
denotes a matrix norm. This result is generic in the sense that one may construct specific matrices A(t) for which the series diverges for any t > T.
Magnus generator
A recursive procedure to generate all the terms in the Magnus expansion utilizes the matrices Sn(k) defined recursively through
![{\displaystyle S_{n}^{(j)}=\sum _{m=1}^{n-j}\left[\Omega _{m},S_{n-m}^{(j-1)}\right],\quad 2\leq j\leq n-1,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/81703c24da029c6762a365928f7467ddc49d6777)
![{\displaystyle S_{n}^{(1)}=\left[\Omega _{n-1},A\right],\quad S_{n}^{(n-1)}=\operatorname {ad} _{\Omega _{1}}^{n-1}(A),}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d35b59f701c4d7052c38bdb2b6dbceecb7b8b3bc)
which then furnish
![{\displaystyle \Omega _{1}=\int _{0}^{t}A(\tau )\,d\tau ,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/50cbdd048f35226dd224bd3acc14f4060205f6e6)
![{\displaystyle \Omega _{n}=\sum _{j=1}^{n-1}{\frac {B_{j}}{j!}}\int _{0}^{t}S_{n}^{(j)}(\tau )\,d\tau ,\quad n\geq 2.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/58463c5bf97c9179a984bee544e2ae67cd705f84)
Here adkΩ is a shorthand for an iterated commutator (see adjoint endomorphism):
![{\displaystyle \operatorname {ad} _{\Omega }^{0}A=A,\quad \operatorname {ad} _{\Omega }^{k+1}A=[\Omega ,\operatorname {ad} _{\Omega }^{k}A],}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3579110e0417de1ffa276dda567ffaf7499ed3c6)
while Bj are the Bernoulli numbers with B1 = −1/2.
Finally, when this recursion is worked out explicitly, it is possible to express Ωn(t) as a linear combination of n-fold integrals of n − 1 nested commutators involving n matrices A:
![{\displaystyle \Omega _{n}(t)=\sum _{j=1}^{n-1}{\frac {B_{j}}{j!}}\sum _{k_{1}+\cdots +k_{j}=n-1 \atop k_{1}\geq 1,\ldots ,k_{j}\geq 1}\int _{0}^{t}\operatorname {ad} _{\Omega _{k_{1}}(\tau )}\operatorname {ad} _{\Omega _{k_{2}}(\tau )}\cdots \operatorname {ad} _{\Omega _{k_{j}}(\tau )}A(\tau )\,d\tau ,\quad n\geq 2,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/101c18e736a611a2c4dd03c10219a56535b0ee50)
which becomes increasingly intricate with n.
The stochastic case
Extension to stochastic ordinary differential equations
For the extension to the stochastic case let
be a
-dimensional Brownian motion,
, on the probability space
with finite time horizon
and natural filtration. Now, consider the linear matrix-valued stochastic Itô differential equation (with Einstein's summation convention over the index j)
![{\displaystyle dX_{t}=B_{t}X_{t}dt+A_{t}^{(j)}X_{t}dW_{t}^{j},\quad X_{0}=I_{d},\qquad d\in \mathbb {N} _{>0},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/726fd63263d50e07ac29077a070d348c8bd59dce)
where
are progressively measurable
-valued bounded stochastic processes and
is the identity matrix. Following the same approach as in the deterministic case with alterations due to the stochastic setting[1] the corresponding matrix logarithm will turn out as an Itô-process, whose first two expansion orders are given by
and
, where with Einstein's summation convention over i and j
![{\displaystyle {\begin{aligned}Y_{t}^{(0,0)}&=0,\\Y_{t}^{(1,0)}&=\int _{0}^{t}A_{s}^{(j)}\,dW_{s}^{j},\\Y_{t}^{(0,1)}&=\int _{0}^{t}B_{s}\,ds,\\Y_{t}^{(2,0)}&=-{\frac {1}{2}}\int _{0}^{t}{\big (}A_{s}^{(j)}{\big )}^{2}\,ds+{\frac {1}{2}}\int _{0}^{t}{\Big [}A_{s}^{(j)},\int _{0}^{s}A_{r}^{(i)}\,dW_{r}^{i}{\Big ]}dW_{s}^{j},\\Y_{t}^{(1,1)}&={\frac {1}{2}}\int _{0}^{t}{\Big [}B_{s},\int _{0}^{s}A_{r}^{(j)}\,dW_{r}{\Big ]}\,ds+{\frac {1}{2}}\int _{0}^{t}{\Big [}A_{s}^{(j)},\int _{0}^{s}B_{r}\,dr{\Big ]}\,dW_{s}^{j},\\Y_{t}^{(0,2)}&={\frac {1}{2}}\int _{0}^{t}{\Big [}B_{s},\int _{0}^{s}B_{r}\,dr{\Big ]}\,ds.\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4ed5c55f67f226450b8d429fe79b917589101af1)
Convergence of the expansion
In the stochastic setting the convergence will now be subject to a stopping time
and a first convergence result is given by:[2]
Under the previous assumption on the coefficients there exists a strong solution
, as well as a strictly positive stopping time
such that:
has a real logarithm
up to time
, i.e.
![{\displaystyle X_{t}=e^{Y_{t}},\qquad 0\leq t<\tau ;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/fa2c593cf0cb00d7310e1146ce0024cf2fc282b9)
- the following representation holds
-almost surely:
![{\displaystyle Y_{t}=\sum _{n=0}^{\infty }Y_{t}^{(n)},\qquad 0\leq t<\tau ,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5e24760eb1d503374f39393ea95a373195522243)
- where
is the n-th term in the stochastic Magnus expansion as defined below in the subsection Magnus expansion formula;
- there exists a positive constant C, only dependent on
, with
, such that
![{\displaystyle \mathbb {P} (\tau \leq t)\leq Ct,\qquad t\in [0,T].}](https://wikimedia.org/api/rest_v1/media/math/render/svg/28da67281b17b15920260b463065d7e5b17ea431)
The general expansion formula for the stochastic Magnus expansion is given by:
![{\displaystyle Y_{t}=\sum _{n=0}^{\infty }Y_{t}^{(n)}\quad {\text{with}}\quad Y_{t}^{(n)}:=\sum _{r=0}^{n}Y_{t}^{(r,n-r)},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/71e34e6e5a650ddb02f61cb8fc5e8de28ad28b05)
where the general term
is an Itô-process of the form:
![{\displaystyle Y_{t}^{(r,n-r)}=\int _{0}^{t}\mu _{s}^{r,n-r}ds+\int _{0}^{t}\sigma _{s}^{r,n-r,j}dW_{s}^{j},\qquad n\in \mathbb {N} _{0},\ r=0,\dots ,n,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ef5576ae0bff4a9c7f8d734eefbe6497ead41b83)
The terms
are defined recursively as
![{\displaystyle {\begin{aligned}\sigma _{s}^{r,n-r,j}&:=\sum _{i=0}^{n-1}{\frac {\beta _{i}}{i!}}S_{s}^{r-1,n-r,i}{\big (}A^{(j)}{\big )},\\\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}{\big (}Q^{q_{1},q_{2},j}{\big )},\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2c767fe3566468bf38a3e7a437c59e9ea6657f6c)
with
![{\displaystyle {\begin{aligned}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}}\\&{\Bigg (}{{\frac {S_{s}^{p_{1},p_{2},m_{1}}{\big (}\sigma _{s}^{h_{1},h_{2},j}{\big )}}{({m_{1}}+1)!}}{\frac {S_{s}^{q_{1}-i_{1}-p_{1},q_{2}-i_{2}-p_{2},m_{2}}{\big (}\sigma _{s}^{i_{1}-h_{1},i_{2}-h_{2},j}{\big )}}{({m_{2}}+1)!}}}\\&\qquad \qquad +{\frac {{\big [}S_{s}^{p_{1},p_{2},m_{1}}{\big (}\sigma _{s}^{i_{1}-h_{1},i_{2}-h_{2},j}{\big )},S_{s}^{q_{1}-i_{1}-p_{1},q_{2}-i_{2}-p_{2},m_{2}}{\big (}\sigma _{s}^{h_{1},h_{2},j}{\big )}{\big ]}}{({m_{1}}+{m_{2}}+2)({m_{1}}+1)!{m_{2}}!}}{\Bigg )},\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1007971f2e29febe1a5af9f266bad2f0617ae6d8)
and with the operators S being defined as
![{\displaystyle {\begin{aligned}S_{s}^{r-1,n-r,0}(A)&:={\begin{cases}A&{\text{if }}r=n=1,\\0&{\text{otherwise}},\end{cases}}\\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}}{\big [}Y_{s}^{(j_{1},k_{1})},{\big [}\dots ,{\big [}Y_{s}^{(j_{i},k_{i})},A_{s}{\big ]}\dots {\big ]}{\big ]}\\&=\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}}\operatorname {ad} _{Y_{s}^{(j_{1},k_{1})}}\circ \cdots \circ \operatorname {ad} _{Y_{s}^{(j_{i},k_{i})}}(A_{s}),\qquad i\in \mathbb {N} .\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/30ca63471e2d7cd8ac3417c7f54a3e2df56bdfcc)
Applications
Since the 1960s, the Magnus expansion has been successfully applied as a perturbative tool in numerous areas of physics and chemistry, from atomic and molecular physics to nuclear magnetic resonance[3] and quantum electrodynamics.[4] It has been also used since 1998 as a tool to construct practical algorithms for the numerical integration of matrix linear differential equations. As they inherit from the Magnus expansion the preservation of qualitative traits of the problem, the corresponding schemes are prototypical examples of geometric numerical integrators.
See also
Notes
- ^ Kamm, Pagliarani & Pascucci 2021
- ^ Kamm, Pagliarani & Pascucci 2021, Theorem 1.1
- ^ Haeberlen, U.; Waugh, J.S. (1968). "Coherent Averaging Effects in Magnetic Resonance". Phys. Rev. 175 (2): 453–467. Bibcode:1968PhRv..175..453H. doi:10.1103/PhysRev.175.453.
- ^ Angaroni, Fabrizio; Benenti, Giuliano; Strini, Giuliano (2018). "Applications of Picard and Magnus expansions to the Rabi model". The European Physical Journal D. 72 (10): 188. arXiv:1802.08897. Bibcode:2018EPJD...72..188A. doi:10.1140/epjd/e2018-90190-y. (See Rabi model.)
References
- Magnus, W. (1954). "On the exponential solution of differential equations for a linear operator". Comm. Pure Appl. Math. VII (4): 649–673. doi:10.1002/cpa.3160070404.
- Blanes, S.; Casas, F.; Oteo, J.A.; Ros, J. (1998). "Magnus and Fer expansions for matrix differential equations: The convergence problem". J. Phys. A: Math. Gen. 31 (1): 259–268. Bibcode:1998JPhA...31..259B. doi:10.1088/0305-4470/31/1/023.
- Iserles, A.; Nørsett, S. P. (1999). "On the solution of linear differential equations in Lie groups". Phil. Trans. R. Soc. Lond. A. 357 (1754): 983–1019. Bibcode:1999RSPTA.357..983I. CiteSeerX 10.1.1.15.4614. doi:10.1098/rsta.1999.0362. S2CID 90949835.
- Blanes, S.; Casas, F.; Oteo, J.A.; Ros, J. (2009). "The Magnus expansion and some of its applications". Phys. Rep. 470 (5–6): 151–238. arXiv:0810.5488. Bibcode:2009PhR...470..151B. doi:10.1016/j.physrep.2008.11.001. S2CID 115177329.
- Kamm, K.; Pagliarani, S.; Pascucci, A. (2021). "On the Stochastic Magnus Expansion and Its Application to SPDEs". Journal of Scientific Computing. 89 (3): 56. arXiv:2001.01098. doi:10.1007/s10915-021-01633-6. S2CID 211259118.
External links
- "Magnus expansions". YouTube. December 25, 2020. "Melvin Leok | Department of Mathematics". UCSD
- "Fer expansions". YouTube. December 25, 2020.
- "Motivation for Magnus and Fer expansions". YouTube. December 25, 2020.