Jacobi polynomials

Jacobi polynomials
Name	Jacobi polynomials
Introduced	19th century
Major contributors	Carl Gustav Jacob Jacobi, Adrien-Marie Legendre, Siméon Denis Poisson
Field	Mathematical analysis
Applications	Spectral methods, Quantum mechanics, Approximation theory

Jacobi polynomials are a family of classical orthogonal polynomials depending on two parameters α and β that arise in problems studied by Carl Gustav Jacob Jacobi, Adrien-Marie Legendre, Siméon Denis Poisson, and later developed by Henri Lebesgue and David Hilbert. They generalize several earlier families such as Legendre polynomials linked to Adrien-Marie Legendre, Chebyshev polynomials associated with Pafnuty Chebyshev, and Gegenbauer polynomials related to Leopold Gegenbauer. Jacobi polynomials appear in spectral expansions used by Joseph Fourier, John von Neumann, and Émile Picard and have connections with Sturm–Liouville theory examined by Charles Sturm and Joseph Liouville.

Definition and basic properties

The polynomials P_n^{(α,β)} are defined for integers n ≥ 0 with parameters α, β > −1 and were studied by Carl Gustav Jacob Jacobi, Adrien-Marie Legendre, and Siméon Denis Poisson in the context of orthogonal functions. For fixed α and β they form a sequence of degree-n polynomials introduced in work by Jacobi contemporaneous with research by Augustin-Louis Cauchy and Sophie Germain. Normalization conventions trace through contributions by Joseph Fourier and Bernhard Riemann in expansions and by Henri Poincaré in analytic continuation. Important basic properties—real coefficients, parity relations, leading coefficient formulas—were refined by Édouard Goursat and Jacques Hadamard and play roles in constructions used by David Hilbert and Émile Picard.

Orthogonality and weight functions

Jacobi polynomials satisfy an orthogonality relation on the interval [−1,1] with respect to the weight function (1−x)^{α}(1+x)^{β}, a structure connected historically to Sturm–Liouville problems formalized by Charles Sturm and Joseph Liouville and later applied by John von Neumann and Hermann Weyl. Orthogonality integrals and normalization constants were computed using techniques from Augustin-Louis Cauchy, Bernhard Riemann, and Émile Picard and applied in numerical quadrature methods developed by Carl Gustav Gauss and Carl Friedrich Gauss’s followers like Carl Runge and Martin Wilhelm Kutta. Classical analysis linking orthogonality to completeness involves results by Jacques Hadamard, Henri Lebesgue, and David Hilbert and informs applications in methods credited to Norbert Wiener and John Tukey.

Recurrence relations and differential equation

The sequence P_n^{(α,β)} obeys three-term recurrence relations analogous to relations used by Pafnuty Chebyshev and was systematized in work by Henri Poincaré and Émile Picard on differential equations. They are eigenfunctions of a second-order linear differential operator classified in early spectral theory by David Hilbert and John von Neumann and linked to Sturm–Liouville theory of Charles Sturm and Joseph Liouville. These recurrence and differential structures connect to computational algorithms developed by Carl Friedrich Gauss, James Clerk Maxwell in applied contexts, and Norbert Wiener in signal theory, as well as to approximation frameworks advanced by Sergei Natanovich Bernstein and Andrey Kolmogorov.

Generating functions and Rodrigues' formula

Generating functions for P_n^{(α,β)} were derived using methods from Augustin-Louis Cauchy and Leonhard Euler and later refined by Bernhard Riemann and Henri Lebesgue in complex analysis contexts. Rodrigues' formula provides an explicit representation involving derivatives akin to formulas used by François-Marie Raoult and Joseph Fourier for other orthogonal families; rigorous justification employs tools from Karl Weierstrass and Bernhard Riemann. These constructions have been used in asymptotic analyses by G. H. Hardy and John Littlewood and in representation-theoretic treatments by Élie Cartan and Hermann Weyl.

Special cases and relations to other polynomials

For specific parameter choices Jacobi polynomials reduce to several well-known families: α = β = 0 yields Legendre polynomials connected to Adrien-Marie Legendre and Pierre-Simon Laplace; α = β = −1/2 gives Chebyshev polynomials of the first kind tied to Pafnuty Chebyshev; α = β = 1/2 gives Chebyshev polynomials of the second kind. Gegenbauer polynomials studied by Leopold Gegenbauer arise as a special symmetric case, while ultraspherical limits link to work by Lord Kelvin in potential theory and by George Green. These interrelations were explored by Siméon Denis Poisson, Joseph Fourier, and Augustin-Louis Cauchy in boundary value problems and later synthesized by Henri Poincaré and Émile Picard.

Applications and uses in analysis and physics

Jacobi polynomials are used in spectral methods for partial differential equations developed by John von Neumann, Richard Courant, and Kurt Friedrichs and in quantum mechanics problems analyzed by Erwin Schrödinger, Paul Dirac, and Werner Heisenberg. They appear in angular parts of solutions in spherical harmonics studied by Pierre-Simon Laplace and William Rowan Hamilton and in scattering theory influenced by Enrico Fermi and Lev Landau. Numerical quadrature and approximation schemes using Gauss–Jacobi nodes were advanced by Carl Friedrich Gauss, Carl Runge, and Martin Wilhelm Kutta and are used in computational frameworks by John von Neumann, Claude Shannon, and Alan Turing. In theoretical studies Jacobi polynomials inform representation theory work by Élie Cartan, Harish-Chandra, and Hermann Weyl, and they arise in special-function identities cataloged by Paul Erdős, George Pólya, and G. N. Watson.

Category:Orthogonal polynomials