LaguerreL
Details
- Mathematical function, suitable for both symbolic and numerical manipulation.
- Explicit polynomials are given when possible.
. - The Laguerre polynomials are orthogonal with weight function
. - They satisfy the differential equation
. - For certain special arguments, LaguerreL automatically evaluates to exact values.
- LaguerreL can be evaluated to arbitrary numerical precision.
- LaguerreL automatically threads over lists.
- LaguerreL[n,x] is an entire function of x with no branch cut discontinuities.
- LaguerreL can be used with Interval and CenteredInterval objects. »
Examples
open all close allBasic Examples (6)
Compute the 5
Laguerre polynomial:
LaguerreL[5, x]Compute the associated Laguerre polynomial
:
LaguerreL[2, a, x]Plot over a subset of the reals:
Plot[LaguerreL[1 / 2, x], {x, -5, 5}]Plot over a subset of the complexes:
ComplexPlot3D[LaguerreL[-1 / 3, z ^ 2], {z, -2 - 2I, 2 + 2I}, PlotLegends -> Automatic]Series expansion at the origin:
Series[LaguerreL[1 / 2, x], {x, 0, 5}]Series expansion at Infinity:
Series[LaguerreL[1 / 2, x], {x, ∞, 4}]//Normal//FullSimplifyScope (41)
Numerical Evaluation (6)
LaguerreL[6., 5]LaguerreL[3, .51, .87]N[LaguerreL[2 / 5, 1 / 3, 8 / 7], 50]The precision of the output tracks the precision of the input:
LaguerreL[2.3000000000000000000000000, 3, 3]LaguerreL[2.5, 1.3, 8 + I]Evaluate efficiently at high precision:
LaguerreL[2 / 7, 4 / 3, 8 / 7`100]//TimingLaguerreL[1 / 5, 1 / 3, 1 / 7`1000];//TimingCompute worst-case guaranteed intervals using Interval and CenteredInterval objects:
LaguerreL[2 / 3, Interval[{1.1, 1.2}]]LaguerreL[2 / 3, 3 / 4, Interval[{2.1, 2.2}]]LaguerreL[2 / 3, 3 / 4, CenteredInterval[4 / 5, 1 / 100]]Or compute average-case statistical intervals using Around:
LaguerreL[1 / 2, Around[.9, 0.1]]Compute the elementwise values of an array:
LaguerreL[3, {{2, 0}, {1 / 2, -2}}]Or compute the matrix LaguerreL function using MatrixFunction:
MatrixFunction[LaguerreL[3, #]&, {{2, 0}, {1 / 2, -2}}]Specific Values (5)
Values of LaguerreL at fixed points:
Table[LaguerreL[10, x ], {x, 1, 5}]LaguerreL[0, 0]LaguerreL[0, 0, 0]Find the first positive minimum of LaguerreL[10,x ]:
xmin = x /. Solve[D[LaguerreL[10, x ], x] == 0, x][[1]]Plot[LaguerreL[10, x ], {x, 0, 10}, Epilog -> Style[Point[{xmin, LaguerreL[10, xmin ]}], PointSize[Large], Red]]Compute the associated LaguerreL[7,x] polynomial:
LaguerreL[7, x]Different LaguerreL types give different symbolic forms:
Table[LaguerreL[n, a, x], {n, 0, 3}, {a, 0, 1}]Visualization (3)
Plot the LaguerreL polynomial for various orders:
Plot[{LaguerreL[1, x], LaguerreL[2, x], LaguerreL[3, x], LaguerreL[4, x]}, {x, -1, 10}]ComplexContourPlot[Re[LaguerreL[10, z]], {z, -1 - I, 1 + I}, Contours -> 24]ComplexContourPlot[Im[LaguerreL[10, z]], {z, -1 - I, 1 + I}, Contours -> 24]Plot as real parts of two parameters vary:
Plot3D[Re[LaguerreL[n, z]], {n, 0, 10}, {z, 0, 5}, PlotRange -> All]Function Properties (13)
The primary Laguerre function is defined for all real and complex values:
FunctionDomain[LaguerreL[n, z], z]FunctionDomain[LaguerreL[n, z], z, Complexes]The associated Laguerre function
has restrictions on
and
, but not
:
FunctionDomain[LaguerreL[n, a, z], z]//ReduceFunctionDomain[LaguerreL[n, a, z], z, Complexes]//Reduce
achieves all real and complex values:
FunctionRange[LaguerreL[1, x], x, y]FunctionRange[LaguerreL[1, z], z, y, Complexes]FunctionRange[LaguerreL[1, n, x], x, y]FunctionRange[LaguerreL[1, n, x], x, y, Complexes]FunctionRange[LaguerreL[2, x], x, y]FunctionRange[LaguerreL[2, z], z, y, Complexes]LaguerreL has the mirror property
:
LaguerreL[1, Conjugate[z]] == Conjugate[LaguerreL[1, z]]LaguerreL threads elementwise over lists:
LaguerreL[{1, 2, 3}, x]
is an analytic function of
and
:
FunctionAnalytic[LaguerreL[n, x], {n, x}]
is not analytic, but it is meromorphic:
FunctionAnalytic[LaguerreL[n, a, x], {n, a, x}]FunctionMeromorphic[LaguerreL[n, a, x], {n, a, x}]FunctionMonotonicity[LaguerreL[1, a, x], x, Assumptions -> a∈ℝ, StrictInequalities -> True]
is neither non-decreasing nor non-increasing:
FunctionMonotonicity[LaguerreL[2, a, x], x, Assumptions -> a∈ℝ]Laguerre polynomials are not injective for values other than 1:
Table[FunctionInjective[LaguerreL[a, x], x], {a, 0, 4}]Plot[{LaguerreL[1, x], LaguerreL[2, x], LaguerreL[3, x], 3}, {x, -5, 5}]Table[FunctionSurjective[LaguerreL[n, x], x], {n, 4}]Table[FunctionSurjective[LaguerreL[n, a, x], x, Assumptions -> a∈ℝ], {n, 4}]Plot[{LaguerreL[3, x], LaguerreL[4, 2, x], -30}, {x, -5, 15}]LaguerreL is neither non-negative nor non-positive:
FunctionSign[LaguerreL[a, x], {a, x}]
has no singularities or discontinuities in
:
FunctionSingularities[LaguerreL[n, a, x], x]FunctionDiscontinuities[LaguerreL[n, a, x], x]FunctionConvexity[LaguerreL[2, a, x], x, Assumptions -> a∈Reals]TraditionalForm formatting:
LaguerreL[n, z]//TraditionalFormLaguerreL[n, μ, z]//TraditionalFormDifferentiation (3)
First derivative with respect to x:
D[LaguerreL[n, x], x]Higher derivatives with respect to x:
Table[D[LaguerreL[n, x], {x, k}], {k, 1, 3}]//FullSimplifyPlot the higher derivatives with respect to x when n=3:
Plot[Evaluate[% /. n -> 3], {x, -10, 10}, PlotLegends -> {"First Derivative", "Second Derivative", "Third Derivative"}]Formula for the ![]()
derivative with respect to x:
D[LaguerreL[n, x], {x, k}]// FullSimplifyIntegration (3)
Compute the indefinite integral using Integrate:
Integrate[LaguerreL[n, x], x]Integrate[LaguerreL[n, x], {x, 0, 5}]Integrate[x LaguerreL[n, x], x]//FullSimplifyIntegrate[ x LaguerreL[n, x^2], {x, 0, 5}]//FullSimplifySeries Expansions (5)
Find the Taylor expansion using Series:
Series[LaguerreL[n, x], {x, 0, 4}]Plots of the first three approximations around
:
terms = Normal@Table[Series[LaguerreL[10, x], {x, 0, m}], {m, 1, 5, 2}];
Plot[{LaguerreL[10, x], terms}, {x, 0, 10}, PlotRange -> {{0, 10}, {-30, 10}}]General term in the series expansion using SeriesCoefficient:
SeriesCoefficient[LaguerreL[k, x], {x, 1, n}]Find the series expansion at Infinity:
Series[LaguerreL[n, x], {x, Infinity, 1}]Find series expansion for an arbitrary symbolic direction
:
Series[LaguerreL[n, x], {x, DirectedInfinity[z], 1}, Assumptions -> x > 0]// FullSimplifyTaylor expansion at a generic point:
Series[LaguerreL[n, x], {x, x0, 2}]// FullSimplifyFunction Identities and Simplifications (3)
LaguerreL may reduce to simpler form:
LaguerreL[2, x]Generating function of LaguerreL:
GeneratingFunction[LaguerreL[n, x], n, t]LaguerreL[n, x] == (2n + 3 - x/n + 1)LaguerreL[n + 1, x] - (n + 2/n + 1)LaguerreL[n + 2, x]//FullSimplifyGeneralizations & Extensions (1)
LaguerreL can be applied to a power series:
LaguerreL[1 / 3, 1, Sin[x] + O[x] ^ 4]Applications (6)
Solve the Laguerre differential equation:
DSolve[ {x y''[x] + (a + 1 - x)y'[x] + n y[x] == 0}, y[x], x]Generalized Fourier series for functions defined on
:
Table[Integrate[Exp[-x]LaguerreL[n, x]Sin[x], {x, 0, Infinity}], {n, 0, 10}]Plot[{Sin[x], %. Table[LaguerreL[n, x], {n, 0, 10}]}, {x, 0, 4 Pi}]Radial wave-function of the hydrogen atom:
ψ[n_, l_, r_] := Sqrt[( (n - l - 1)!/(n + l)!)] E^-(r/n) ((2r/n))^l(2/n^2) LaguerreL[n - l - 1, 2l + 1, (2r/n)]Compute the energy eigenvalue from the differential equation:
energy[w_, r_, n_, l_] := Simplify[(1/w)(D[w, r, r] + (2/ r)D[w, r] - (l(l + 1)/r^2)w + (2/r)w)]The energy is independent of the orbital quantum number l:
Solve[(energy[ψ[n, l, r], r, n, l] - ℰ//FullSimplify) == 0, ℰ]The number of derangement anagrams for a word with character counts
:
DerangementsCount[nvec_List] := Integrate[Exp[-x]Apply[Times, (-1) ^ nvec LaguerreL[nvec, x]], {x, 0, Infinity}]Count the number of derangements for the word Mathematica:
chars = Characters["Mathematica"]//ToLowerCaseDerangementsCount[Tally[chars][[All, 2]]]Count[Permutations[chars], x_ /; Inner[UnsameQ, x, chars, And]]Compare the value of the MarcumQ function for large arguments to its asymptotic formula:
Refine[SurvivalFunction[RiceDistribution[m, a / Sqrt[m], 1], x / Sqrt[m]], m > 0 && x > 0]Construct an approximation using the central limit theorem:
SurvivalFunction[NormalDistribution[Mean[RiceDistribution[m, a / Sqrt[m], 1]], StandardDeviation[RiceDistribution[m, a / Sqrt[m], 1]]], x / Sqrt[m]]{%%, %} /. {m -> 3, a -> 8.2, x -> 9.}An n-point Gauss–Laguerre quadrature rule is based on the roots of the n
-order Laguerre polynomial. Compute the nodes and weights of an n-point Gauss–Laguerre quadrature rule for a given value of
:
n = 10;a = -1 / 2;
laguerreNodes = x /. NSolve[LaguerreL[n, a, x], x]w1 = x |-> (Gamma[a + n + 1]/n!x)(1/LaguerreL[n - 1, a + 1, x]^2);
laguerreWeights = w1[laguerreNodes]Use the n-point Gaussian quadrature rule to numerically evaluate an integral:
fun[x_] := Log[1 + x];
est1 = laguerreWeights.Map[fun, laguerreNodes]Compare the result of the Gauss–Laguerre quadrature with the result from NIntegrate:
est1 - NIntegrate[x^aE^-xfun[x], {x, 0, ∞}]Properties & Relations (7)
Get the list of coefficients in a Laguerre polynomial:
CoefficientList[LaguerreL[4, a, x], x]Use FunctionExpand to expand LaguerreL functions into simpler functions:
FunctionExpand[LaguerreL[1 / 2, -1 / 2, x]]LaguerreL can be represented as a DifferentialRoot:
DifferentialRootReduce[LaguerreL[n, x], x]LaguerreL can be represented in terms of MeijerG:
MeijerGReduce[LaguerreL[n, x], x]Activate[%]//FullSimplifyLaguerreL can be represented as a DifferenceRoot:
DifferenceRootReduce[LaguerreL[k, z], k]DifferenceRootReduce[LaguerreL[y, k, z], k]General term in the series expansion of LaguerreL:
SeriesCoefficient[LaguerreL[a, x], {x, 0, n}]The generating function for LaguerreL:
GeneratingFunction[LaguerreL[n, k], n, x]See Also
Tech Notes
Related Links
History
Introduced in 1988 (1.0) | Updated in 2021 (13.0) ▪ 2022 (13.1)
Text
Wolfram Research (1988), LaguerreL, Wolfram Language function, https://reference.wolfram.com/language/ref/LaguerreL.html (updated 2022).
CMS
Wolfram Language. 1988. "LaguerreL." Wolfram Language & System Documentation Center. Wolfram Research. Last Modified 2022. https://reference.wolfram.com/language/ref/LaguerreL.html.
APA
Wolfram Language. (1988). LaguerreL. Wolfram Language & System Documentation Center. Retrieved from https://reference.wolfram.com/language/ref/LaguerreL.html
BibTeX
@misc{reference.wolfram_2026_laguerrel, author="Wolfram Research", title="{LaguerreL}", year="2022", howpublished="\url{https://reference.wolfram.com/language/ref/LaguerreL.html}", note=[Accessed: 13-June-2026]}
BibLaTeX
@online{reference.wolfram_2026_laguerrel, organization={Wolfram Research}, title={LaguerreL}, year={2022}, url={https://reference.wolfram.com/language/ref/LaguerreL.html}, note=[Accessed: 13-June-2026]}