Combinatorics of Second Derivative: Graphical Proof of Glaisher-Crofton Identity

We give a purely combinatorial proof of the Glaisher-Crofton identity which is derived from the analysis of discrete structures generated by the iterated action of the second derivative. The argument illustrates the utility of symbolic and generating function methodology of modern enumerative combinatorics. The paper is meant for nonspecialists as a gentle introduction to the field of graphical calculus and its applications in computational problems.

[1]  UK,et al.  Boson normal ordering via substitutions and Sheffer-type polynomials , 2005 .

[2]  H. Wilf.  generatingfunctionology: Third Edition , 1990 .

[3]  G. Dattoli,et al.  Generalized polynomials, operational identities and their applications , 2000 .

[4]  Gilbert Labelle,et al.  Combinatorial species and tree-like structures , 1997, Encyclopedia of mathematics and its applications.

[5]  J. J. Walker.  Theorems in the Calculus of Operations , 1879 .

[6]  A. W. Kemp,et al.  A treatise on generating functions , 1984 .

[7]  Mourad E. H. Ismail,et al.  A -umbral calculus , 1981 .

[8]  Giuseppe Dattoli,et al.  On Crofton–Glaisher type relations and derivation of generating functions for Hermite polynomials including the multi-index case , 2008 .

[9]  Subuhi Khan,et al.  Some properties of Hermite-based Sheffer polynomials , 2010, Appl. Math. Comput..

[10]  Kraków,et al.  Combinatorics and Boson normal ordering: A gentle introduction , 2007, 0704.3116.

[11]  P. Ricci,et al.  An introduction to operational techniques and special polynomials , 2009 .

[12]  Subuhi Khan,et al.  Hermite-based Appell polynomials: Properties and applications , 2009 .

[13]  Dominique Foata,et al.  Some Hermite polynomial identities and their combinatorics , 1981 .

[14]  Philippe Flajolet,et al.  COMBINATORIAL MODELS OF CREATION{ANNIHILATION , 2010, 1010.0354.

[15]  Kraków,et al.  Representations of monomiality principle with Sheffer-type polynomials and boson normal ordering , 2005, quant-ph/0504009.

[16]  Kraków,et al.  Some useful combinatorial formulas for bosonic operators , 2004, quant-ph/0405103.

[17]  Philippe Flajolet,et al.  Analytic Combinatorics , 2009 .

[18]  Giuseppe Dattoli,et al.  Evolution operator equations: Integration with algebraic and finitedifference methods. Applications to physical problems in classical and quantum mechanics and quantum field theory , 1997 .

[19]  Dominique Foata,et al.  A Combinatorial Proof of the Mehler Formula , 1978, J. Comb. Theory A.