Genealogy of the Lagrange inversion theorem - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-22T03:19:58Z http://mathoverflow.net/feeds/question/25491 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/25491/genealogy-of-the-lagrange-inversion-theorem Genealogy of the Lagrange inversion theorem Pietro Majer 2010-05-21T14:38:16Z 2010-05-23T01:47:36Z <p>A wonderful piece of classic mathematics, well-known especially to combinatorialists and to complex analysis people, and that, in my opinion, deserves more popularity even in elementary mathematics, is the Lagrange inversion theorem for power series (even in the formal context). </p> <p>Starting from the exact sequence</p> <p>$0 \rightarrow \mathbb{C} \rightarrow \mathbb{C}((z)) \xrightarrow{D} \mathbb{C}((z)) \;\xrightarrow{ \mathrm{Res} }\; \mathbb{C} \rightarrow 0,$</p> <p>and using the simple rules of the formal derivative <strong>D</strong>, and of the formal residue <strong>Res</strong> (that by definition is the linear form taking the formal Laurent series $f(z)=\sum_{k=m}^{\infty}f_k z^k \in \mathbb{C}((z))$ to the coefficient $f_{-1}$ of $z^{-1}$ ) one easily proves:</p> <blockquote> <p>(<strong>Lagrange inversion formula</strong>): If $f(z)=\sum_{k=1}^{\infty}f_k z^k \in \mathbb{C}[[z]]$ and $g(z)=\sum_{k=1}^{\infty}g_k z^k \in \mathbb{C}[[z]]$ are composition inverse of each other, the coefficients of the (multiplicative) powers of $f$ and $g$ are linked by the formula</p> <p>$n[z^n]g^k=k[z^{-k}]f^{-n}$, </p> <p>and in particular (for k=1)</p> <p>$[z^n]g=\frac{1}{n} \mathrm{Res}( f^{-n} ).$</p> </blockquote> <p>(to whom didn't know it: enjoy computing the power series expansion of the composition inverse of $f(z):=z+z^m$, or of $f(z):=z\exp(z),$ and of their powers).</p> <p><strong>My question</strong>: what are the generalization of this theorem in wider context. I mean, in the same way that, just to make one example, the archetypal ODE $u'=\lambda u$ procreates the theory of semigroups of evolution in Banach spaces. </p> <p>Also, I'd be grateful to learn some new nice application of this classic theorem.</p> <p>(notation: for $f=\sum_{k=m}^{\infty}f_k z^k \in \mathbb{C}((z))$ the symbol $[z^k]f$ stands, of course, for the coefficient $f_{k}$)</p> http://mathoverflow.net/questions/25491/genealogy-of-the-lagrange-inversion-theorem/25496#25496 Answer by Angelo for Genealogy of the Lagrange inversion theorem Angelo 2010-05-21T15:37:51Z 2010-05-21T15:37:51Z <p>The Lagrange inversion formula allows to give a combinatorial interpretation of the Jacobian conjecture. See for example the classic paper of Bass, Connell and Write, The Jacobian conjecture: reduction of degree and formal expansion of the inverse, <a href="http://www.ams.org/journals/bull/1982-07-02/S0273-0979-1982-15032-7/S0273-0979-1982-15032-7.pdf" rel="nofollow">http://www.ams.org/journals/bull/1982-07-02/S0273-0979-1982-15032-7/S0273-0979-1982-15032-7.pdf</a>.</p> http://mathoverflow.net/questions/25491/genealogy-of-the-lagrange-inversion-theorem/25517#25517 Answer by Igor Pak for Genealogy of the Lagrange inversion theorem Igor Pak 2010-05-21T18:10:38Z 2010-05-21T21:21:46Z <p>There is a large combinatorial literature on this, with many extensions and applications (including, notably, the <a href="http://en.wikipedia.org/wiki/MacMahon_Master_theorem" rel="nofollow">MacMahon Master theorem</a>). I am giving below a few pointers so you can start - the real literature is very large. </p> <p>1) multivariate version. See <a href="http://projecteuclid.org/DPubS?service=UI&amp;version=1.0&amp;verb=Display&amp;handle=euclid.bams/1183552545" rel="nofollow">"Combinatorial Enumeration"</a> by Goulden and Jackson. See also <a href="http://dx.doi.org/10.1016/0097-3165(87)90013-6" rel="nofollow">this</a> Gessel's paper with a combinatorial proof (there are other comb. proofs), many references, etc. </p> <p>2) $q$- and non-commutative extensions. There are several $q$-analogues due to Andrews (see <a href="http://www.jstor.org/stable/2040407" rel="nofollow">here</a>, Garsia (see <a href="http://www.combinatorics.org/Volume_5/PDF/v5i1r26.pdf" rel="nofollow">here</a> for ref and bijective proof), and Gessel (see <a href="http://www.jstor.org/stable/1998307" rel="nofollow">here</a> for both $q$- and non-commutative generalization). Finally, see <a href="http://www.math.ucla.edu/~pak/papers/noncom.ps" rel="nofollow">this</a> (more general) non-commutative extension using <a href="http://en.wikipedia.org/wiki/Quasideterminant" rel="nofollow">quasideterminants</a>. </p> <p>3) the version in the language of <a href="http://en.wikipedia.org/wiki/Combinatorial_species" rel="nofollow">species</a> (see also <a href="http://mathoverflow.net/questions/22462/what-are-some-examples-of-interesting-uses-of-the-theory-of-combinatorial-species" rel="nofollow">this</a> MO question) - see <a href="http://dx.doi.org/10.1016/0097-3165(95)90030-6" rel="nofollow">this</a> paper by Gessel and Labelle. </p> http://mathoverflow.net/questions/25491/genealogy-of-the-lagrange-inversion-theorem/25522#25522 Answer by hypercube for Genealogy of the Lagrange inversion theorem hypercube 2010-05-21T18:26:41Z 2010-05-21T19:07:03Z <p>Richard Stanley has written some excellent notes in EC2 ch. 5 p67 about the Lagrange inversion formula (Theorem 5.4.2 on p38).</p> <p>Stanley provides reference to <em>An introduction to the theory of infinite series</em> by Thomas John I'Anson Bromwich (You can see the full 1908 text through google books and other editions here: <a href="http://books.google.com/books?q=editions:UOM39015064521290&amp;id=ZY45AAAAMAAJ" rel="nofollow">http://books.google.com/books?q=editions:UOM39015064521290&amp;id=ZY45AAAAMAAJ</a>) where several applications are provided.</p> <p>Stanley also provides reference for generalizations of the Lagrange inversion formula:</p> <p>I.M. Gessel's Paper (combinatorial proof): <a href="http://portal.acm.org/citation.cfm?id=31572" rel="nofollow">http://portal.acm.org/citation.cfm?id=31572</a> Note: Gessel also gives a generalization of Lagrange inversion to noncommutative power series in <em>A noncommutative generalization and q-analog of the Lagrange inversion formula</em>.</p> <p>See also D.W. Stanton's Survey: <em>Recent results for the q-Lagrange inversion formula</em>.</p> http://mathoverflow.net/questions/25491/genealogy-of-the-lagrange-inversion-theorem/25615#25615 Answer by Scott Guthery for Genealogy of the Lagrange inversion theorem Scott Guthery 2010-05-23T01:47:36Z 2010-05-23T01:47:36Z <p>This theorem has been proven by many people and in the context of many diverse fields of mathematics since Lagrange presented "Nouvelle methode pour resoudre les equations litterales par le moyen des series."</p> <p>It is so ubiiquitous that I've often thought that getting all the proofs together in one place would capture in a unique and compelling way the ebb and flow of the styles, habits, aesthetics and interests of the mathematics community over time. Indeed, I started on this project and quickly discovered that it was more than I could possibly do on my own. Just starting the project however gave me an even deeper appreciation of works such as Dickson's History of the Theory of Numbers and Fletcher's Index of Mathematical Tables.</p> <p>I've got a list of 50+ proofs, a large collection of books, papers and articles and a bibtex bibliography if anybody is intrigued. </p> <p>IMHO, one of the most general statements is Krattenhaler's "Operator Methods and Lagrange Inversion: A Unified Approach to Lagrange Formulas." One of the most unique is Abdesselam's "A Physicist's Proof of the Lagrange-Good Multivariable Inversion Formula."</p> <p>Cheers, Scott (sbg at acw dot com)</p>