Rodrigues' formula

Rodrigues' formula is a classical result in mathematical analysis that provides an explicit representation for families of orthogonal polynomials through derivatives of weight-modified functions. It appears in the theory of special functions, harmonic analysis, and mathematical physics and connects to work by Carl Friedrich Gauss, Adrien-Marie Legendre, Joseph-Louis Lagrange, William Rowan Hamilton, and Pierre-Simon Laplace.

Statement

For many classical families of orthogonal polynomials one can write a closed-form expression: for example the Legendre, Hermite, and Laguerre families admit a representation via repeated differentiation of a product of a weight function and a simple power. This statement is used in texts by Adrien-Marie Legendre, Sofia Kovalevskaya, Émile Picard, Gustave de Coriolis, Charles Hermite, and Edmond Laguerre and appears in compendia by Erdélyi and George Neville Watson. In the Legendre case the formula expresses P_n(x) as a normalized nth derivative of (x^2−1)^n, while Hermite and Laguerre cases use e^{-x^2} and x^\alpha e^{-x} respectively, a pattern discussed in works by Arthur Cayley, James Joseph Sylvester, Niels Henrik Abel, Srinivasa Ramanujan, and Felix Klein.

Derivation

Derivations often proceed by combining Rodrigues-style expressions with orthogonality relations, three-term recurrence relations, and integration by parts, approaches found in treatises by Augustin-Louis Cauchy, Bernhard Riemann, Karl Weierstrass, Henri Poincaré, and David Hilbert. A standard route uses the Sturm–Liouville formulation associated with differential operators studied by Lord Rayleigh, Sturm and Joseph Liouville: one shows that the derivative expression satisfies the appropriate second-order linear differential equation and normalizes via orthogonality kernels examined by Gustav Kirchhoff, Dirichlet, Peter Gustav Lejeune Dirichlet, and Sabyasachi Mukhopadhyay. Alternative derivations exploit generating functions attributed to Leonhard Euler, Gaspard Monge, Jacques Hadamard, Norbert Wiener, and John von Neumann and use Rodrigues-type differentiation identities found in manuscripts of Benjamin Olinde Rodrigues and correspondences with Camille Jordan.

Applications

Rodrigues-style formulas are used to construct eigenfunctions in quantum mechanics problems analyzed by Erwin Schrödinger, Paul Dirac, Wolfgang Pauli, Max Born, and Richard Feynman; they generate spherical harmonics linked to studies by William Thomson, 1st Baron Kelvin, Peter Guthrie Tait, Josiah Willard Gibbs, and Lord Kelvin and appear in multipole expansions used by James Clerk Maxwell, Heinrich Hertz, Michael Faraday, and André-Marie Ampère. In numerical analysis they underpin Gaussian quadrature rules developed by Carl Friedrich Gauss, Bernhard Hermite, Hermann Hankel, John Leslie, and Philip J. Davis and enter approximation theory treated by Sergei Bernstein, Andrey Kolmogorov, Stefan Banach, and Norbert Wieners. In representation theory and Lie theory contexts the formula connects to harmonic polynomials studied by Élie Cartan, Hermann Weyl, Harish-Chandra, and Roger Howe, while in combinatorics and asymptotic analysis it links with enumerative work by Pólya, George Pólya, Paul Erdős, G. H. Hardy, and Srinivasa Ramanujan.

Generalizations

Generalizations replace the basic weight functions with hypergeometric-type weights leading to the Askey scheme developed by Richard Askey, Ramon Isidor Wilson, Miguel Ismail, Mourad Ismail, and Roelof Koekoek, and extend to q-analogs studied by F. H. Jackson, George Gasper, Mizan Rahman, and Richard Askey. Multivariate and matrix-valued Rodrigues constructions appear in work by I. M. Gelfand, David Kazhdan, Israel Gelfand, Grigori Olshanski, and Fedor Petrov and link to spherical functions on symmetric spaces treated by Eugene Wigner, Harish-Chandra, Cartan, and Sigurdur Helgason. Operator-theoretic and noncommutative analogs are explored in operator algebras literature by John von Neumann, Alain Connes, Israel Gelfand, and Israel M. Gelfand while q-deformed versions connect to quantum groups introduced by Vladimir Drinfeld, Michio Jimbo, Ludvig Faddeev, and Igor Frenkel.

Examples

Classical explicit instances include Legendre polynomials P_n(x) used in potential theory by Pierre-Simon Laplace and Carl Friedrich Gauss, Hermite polynomials H_n(x) appearing in analysis of the quantum harmonic oscillator by Erwin Schrödinger and Paul Dirac, and Laguerre polynomials L_n^{(\alpha)}(x) used in hydrogenlike atom models studied by Niels Bohr and Arnold Sommerfeld. Chebyshev polynomials T_n(x) and U_n(x) relate to approximation theory advanced by Pafnuty Chebyshev and Andrey Markov, while Jacobi polynomials P_n^{(\alpha,\beta)}(x) interpolate families that were systematized in treatises by Gottfried Wilhelm Leibniz, Jean le Rond d'Alembert, Joseph Fourier, and Adrien-Marie Legendre. Higher-order and exceptional polynomial families that admit Rodrigues-type expressions have been constructed in modern studies by Darboux, Crum, Vladimir Matveev, David Gómez-Ullate, Yuri Berest, and Andreas Kreienbühl.

Category:Special functions