Skip to main content
added 12 characters in body
Source Link
Ira Gessel
  • 17k
  • 1
  • 58
  • 80

There are many forms of Lagrange inversion. The ones that don't involve division by integers are valid in positive characteristic. For example: Given a power series $R(t)$, there is a unique power series $f=f(x)$ such that $f(x) = x R(f(x))$, and for any Laurent series $\phi(t)$ and $\psi(t)$ and any integer $n$ we have

$$[x^n]\phi(f)=[t^n]\bigl(1-tR'(t)/R(t)\bigr)\phi(t)R(t)^n$$ and $$[x^n]\frac{\psi(f)}{ 1-xR'(f)}=[t^n]\psi(t)R(t)^n.$$

There are many forms of Lagrange inversion. The ones that don't involve division are valid in positive characteristic. For example: Given a power series $R(t)$, there is a unique power series $f=f(x)$ such that $f(x) = x R(f(x))$, and for any Laurent series $\phi(t)$ and $\psi(t)$ and any integer $n$ we have

$$[x^n]\phi(f)=[t^n]\bigl(1-tR'(t)/R(t)\bigr)\phi(t)R(t)^n$$ and $$[x^n]\frac{\psi(f)}{ 1-xR'(f)}=[t^n]\psi(t)R(t)^n.$$

There are many forms of Lagrange inversion. The ones that don't involve division by integers are valid in positive characteristic. For example: Given a power series $R(t)$, there is a unique power series $f=f(x)$ such that $f(x) = x R(f(x))$, and for any Laurent series $\phi(t)$ and $\psi(t)$ and any integer $n$ we have

$$[x^n]\phi(f)=[t^n]\bigl(1-tR'(t)/R(t)\bigr)\phi(t)R(t)^n$$ and $$[x^n]\frac{\psi(f)}{ 1-xR'(f)}=[t^n]\psi(t)R(t)^n.$$

Source Link
Ira Gessel
  • 17k
  • 1
  • 58
  • 80

There are many forms of Lagrange inversion. The ones that don't involve division are valid in positive characteristic. For example: Given a power series $R(t)$, there is a unique power series $f=f(x)$ such that $f(x) = x R(f(x))$, and for any Laurent series $\phi(t)$ and $\psi(t)$ and any integer $n$ we have

$$[x^n]\phi(f)=[t^n]\bigl(1-tR'(t)/R(t)\bigr)\phi(t)R(t)^n$$ and $$[x^n]\frac{\psi(f)}{ 1-xR'(f)}=[t^n]\psi(t)R(t)^n.$$