\(\newcommand{\W}[1]{ \; #1 \; }\) \(\newcommand{\R}[1]{ {\rm #1} }\) \(\newcommand{\B}[1]{ {\bf #1} }\) \(\newcommand{\D}[2]{ \frac{\partial #1}{\partial #2} }\) \(\newcommand{\DD}[3]{ \frac{\partial^2 #1}{\partial #2 \partial #3} }\) \(\newcommand{\Dpow}[2]{ \frac{\partial^{#1}}{\partial {#2}^{#1}} }\) \(\newcommand{\dpow}[2]{ \frac{ {\rm d}^{#1}}{{\rm d}\, {#2}^{#1}} }\)
atomic_four_lin_ode_reverse_2¶
View page sourceAtomic Linear ODE Second Order Reverse¶
x^1 Partial¶
We need to compute
where \(q = 2\) and \(j = 0 , \ldots , n-1\). Using the reverse_identity we have
which is the same as the first order theory with
x^0 Partial¶
We also need to compute
Note that we can solve for
using the following extended ODE; see forward theory .
Note that \(A^0\), \(b^0\) are components of \(x^0\) and \(A^1\), \(b^1\) are components of \(x^1\). We use the following notation
Using this notation we have
Define \(\bar{w} \in \B{R}^{m + m}\) by
For this case, we can compute
which is same as the first order case but with the extended variables and extended ODE. We will only use the components of \(\partial_\bar{x}\) that correspond to partials w.r.t. \(x^0\).