= Solution
The intended construction is to solve the <Lenard-Magri recursion> one step at a time. With $H_0$ a <Casimir function> of the first <Poisson structure>, seek $H_n$ satisfying
$$
\boxed{X^{(1)}_{H_n}=-X^{(2)}_{H_{n-1}},\quad\text{equivalently}\quad
\Pi_1dH_n=-\Pi_2dH_{n-1}.}
$$
Here $X_H^{(a)}f=\{f,H\}_a$, consistently with part 1(i). If every step can be solved by a globally defined <smooth function>, the formal series $\sum_{n\geq0}H_n\lambda^n$ is a <Casimir function> for the <Poisson pencil>, and part (i) proves that all the $H_n$ are <Poisson-commuting functions> for every parameter value after complexification.
The recursive step is a concrete potential problem. Put $Y=-X^{(2)}_{H_{n-1}}$. It must first be tangent to the <symplectic leaves> of $\Pi_1$. On a regular leaf use <canonical coordinates> $(q_i,p_i)$. The required equations are
$$
\frac{\partial H_n}{\partial p_i}=Y^{q_i},\qquad
\frac{\partial H_n}{\partial q_i}=-Y^{p_i}.
$$
Thus the leaf one-form
$$
\alpha_Y=\sum_i\left(-Y^{p_i}\,dq_i+Y^{q_i}\,dp_i\right)
$$
must be exact. Where it is closed on a contractible coordinate domain, define $H_n$ by integrating $\alpha_Y$ from a base point; path independence follows from closedness. A <function> of the leaf labels can be added, corresponding to a <Casimir function> of the first <Poisson structure>. Global solvability also requires vanishing periods and smooth matching between leaves. This describes how to perform each solvable step without pretending that a degenerate <Poisson structure> can simply be inverted.
Compatibility alone does not ensure these solvability conditions. There is an immediate <obstruction to a Lenard-Magri recursion> even in two dimensions. On $M=\mathbb R^2$ take
$$
\{f,g\}_1=0,\qquad
\{f,g\}_2=f_xg_y-f_yg_x,\qquad H_0=x.
$$
Both are <Poisson structures>, and their linear combination is a scalar multiple of the canonical <Poisson bracket>, so they are compatible. Every <function>, including $H_0$, is a <Casimir function> for the first bracket. But the first recursion, evaluated at $f=y$, would require
$$
0=\{H_1,y\}_1=-\{x,y\}_2=-1,
$$
a contradiction. \b[An arbitrary initial Casimir need not extend even to $H_1$.] Consequently the unconditional existence assertion requires an additional hypothesis: the indicated <vector field> must be <Hamiltonian> for $\Pi_1$ at every step. Under that hypothesis the recursive construction and involution proof above complete the intended result; without it the counterexample rules out the requested infinite extension.
Back to article page
