WhittakerW[k,m,z]
gives the Whittaker function
.
WhittakerW
WhittakerW[k,m,z]
gives the Whittaker function
.
Details
- Mathematical function, suitable for both symbolic and numerical manipulation.
- WhittakerW is related to the Tricomi confluent hypergeometric function by
.
is infinite at
for integer
. - For certain special arguments, WhittakerW automatically evaluates to exact values.
- WhittakerW can be evaluated to arbitrary numerical precision.
- WhittakerW automatically threads over lists.
- WhittakerW[k,m,z] has a branch cut discontinuity in the complex
plane running from
to
. - WhittakerW can be used with Interval and CenteredInterval objects. »
Examples
open all close allBasic Examples (6)
WhittakerW[2, 3, 4.5]Use FunctionExpand to expand in terms of hypergeometric functions:
FunctionExpand[WhittakerW[k, m, x]]Plot
over a subset of the reals:
Plot[WhittakerW[2, 1 / 2, x], {x, 0, 15}]Plot over a subset of the complexes:
ComplexPlot3D[WhittakerW[2, 1 / 2, z], {z, -2 - 2I, 2 + 2I}, PlotLegends -> Automatic]Series expansion at the origin:
Series[WhittakerW[2, 1 / 2, x], {x, 0, 6}]Series expansion at Infinity:
Series[WhittakerW[2, 1 / 2, x], {x, ∞, 5}]//NormalScope (35)
Numerical Evaluation (6)
WhittakerW[6, 4, 1.7]WhittakerW[2, 0.5, 0]N[WhittakerW[3 / 5, 1 / 3, 1 / 7], 100]//ChopThe precision of the output tracks the precision of the input:
WhittakerW[2, 1.2222222222222222222, 1]//ChopN[WhittakerW[1 / 5, 2 - I, 2]]Evaluate efficiently at high precision:
WhittakerW[5, 1 / 11, 1 / 7`100]//Timing//ChopWhittakerW[2, 7 / 3, 4 / 7`1000];//TimingWhittakerW can be used with Interval and CenteredInterval objects:
WhittakerW[0.3, 0.4, Interval[{0.5, 0.6}]]WhittakerW[1, 2, CenteredInterval[3, 1 / 100]]Compute the elementwise values of an array:
WhittakerW[1, 3.1, {{2, 3}, {1, 2}}]Or compute the matrix WhittakerW function using MatrixFunction:
MatrixFunction[WhittakerW[1.3, 3, #]&, {{2, 0}, {1.2, -2}}]Specific Values (7)
WhittakerW for symbolic parameters:
WhittakerW[k, m, 3]//FunctionExpandWhittakerW[0, 1, 0]WhittakerW[0, 0, 0]Evaluate symbolically at the origin:
WhittakerW[k, 1 / 2, 0]Find the first positive maximum of WhittakerW[3,1/2,x]:
xmax = x /. FindRoot[D[WhittakerW[3, 1 / 2, x ], x] == 0, {x, 0.5}]Plot[WhittakerW[3, 1 / 2, x ], {x, 0, 10}, Epilog -> Style[Point[{xmax, WhittakerW[3, 1 / 2, xmax ]}], PointSize[Large], Red]]Compute the associated WhittakerW[3,1/2,x] function:
WhittakerW[3, 1 / 2, x]//FunctionExpandCompute the associated WhittakerW function for half-integer parameters:
WhittakerW[-1 / 2, 1 / 2, x]//FunctionExpandDifferent cases of WhittakerW give different symbolic forms:
Table[WhittakerW[k, m, x], {k, {-1 / 2, 1 / 2}}, {m, {-1, 0, 1}}]//FunctionExpandVisualization (3)
Plot the WhittakerW function for various orders:
Plot[{WhittakerW[1, 1 / 2, x], WhittakerW[2, 1 / 2, x], WhittakerW[3, 1 / 2, x], WhittakerW[4, 1 / 2, x]}, {x, 0, 3}]ComplexContourPlot[Re[WhittakerW[10, 1 / 2, z]], {z, -2 - 2I, 2 + 2I}, Contours -> 24]ComplexContourPlot[Im[WhittakerW[10, 1 / 2, z]], {z, -2 - 2I, 2 + 2I}, Contours -> 24]Plot as real parts of two parameters vary:
Plot3D[Re[WhittakerW[k, 1 / 2, z]], {k, 0, 3}, {z, 0, 2}]Function Properties (11)
FunctionDomain[WhittakerW[2, 0, x], x]Complex domain of WhittakerW:
FunctionDomain[WhittakerW[k, m, z], z, Complexes]FunctionRange[WhittakerW[2, 0, x], x, y]//QuietWhittakerW may reduce to simpler functions:
WhittakerW[-1 / 4, 1 / 4, x ^ 2]//FunctionExpandWhittakerW[n / 2 + 1 / 4, -1 / 4, 1 / 2z ^ 2]//FunctionExpandWhittakerW threads elementwise over lists:
WhittakerW[2, 3, {1.5, 2.5, 3.5}]WhittakerW is not an analytic function:
FunctionAnalytic[WhittakerW[2, 0, x], x]FunctionMeromorphic[WhittakerW[2, 0, x], x]
is neither non-decreasing nor non-increasing on its real domain:
FunctionMonotonicity[{WhittakerW[2, 0, x], x > 0}, x]FunctionInjective[WhittakerW[2, 0, x], x]Plot[{WhittakerW[2, 0, x], .2}, {x, 0, 15}]
is neither non-negative nor non-positive on its real domain:
FunctionSign[{WhittakerW[2, 0, x], x > 0}, x]WhittakerW has both singularity and discontinuity in (-∞,0]:
FunctionSingularities[WhittakerW[k, m, x], x]FunctionDiscontinuities[WhittakerW[k, m, x], x]
is neither convex nor concave on its real domain:
FunctionConvexity[{WhittakerW[2, 0, x], x > 0}, x]TraditionalForm formatting:
WhittakerW[m, k, x]//TraditionalFormDifferentiation (3)
First derivative with respect to z:
D[WhittakerW[k, m, z] , z]Higher derivatives with respect to z when k=1/3 and m=1/2:
Table[D[WhittakerW[1 / 3, 1 / 2, z], {z, n}], {n, 1, 3}]//FullSimplifyPlot the higher derivatives with respect to z when k=1/3 and m=1/2:
Plot[%, {z, 0, 10}, PlotLegends -> {"First Derivative", "Second Derivative", "Third Derivative"}]Formula for the ![]()
derivative with respect to z:
D[WhittakerW[k, m, z], {z, k}]// FullSimplifySeries Expansions (5)
Find the Taylor expansion using Series:
Series[WhittakerW[k, m, x], {x, 0, 3}]// FullSimplifyPlots of the first three approximations around
:
terms = Normal@Table[Series[WhittakerW[2, 1 / 2, x], {x, 0, m}], {m, 1, 5, 2}];
Plot[{WhittakerM[2, 1 / 2, x], terms}, {x, 0, 6}, PlotRange -> {-2, 2}]General term in the series expansion using SeriesCoefficient:
SeriesCoefficient[WhittakerW[k, m, x], {x, 1, n}]Find the series expansion at Infinity:
Series[WhittakerW[k, m, x], {x, Infinity, 2}]Find series expansion for an arbitrary symbolic direction
:
Series[WhittakerW[k, m, x], {x, DirectedInfinity[z], 1}, Assumptions -> x > 0]// FullSimplifyTaylor expansion at a generic point:
Series[WhittakerW[k, m, x], {x, x0, 2}]// FullSimplifyApplications (1)
Green's function of the 3D Coulomb potential:
gf[r1_, r2_, e_] := Module[{ν, a1, a2, δ, 𝓋ℓ = Sqrt[Total[#1 ^ 2]]&}, ν = e ^ (-1 / 2);δ = 𝓋ℓ[r2 - r1];{a1, a2} = 𝓋ℓ[r2] + 𝓋ℓ[r1] + {δ, -δ};(-Gamma[1 - I ν]/4 π δ)Det[(| | |
| ------------------------------------------- | ------------------------------------------- |
| WhittakerW[I ν, (1/2), -(I a2/ν)] | WhittakerM[I ν, (1/2), -(I a1/ν)] |
| WhittakerW^(0, 0, 1)[I ν, (1/2), -(I a2/ν)] | WhittakerM^(0, 0, 1)[I ν, (1/2), -(I a1/ν)] |)]]Plot[gf[{1, 0, 0}, {0, 0, 1}, e], {e, -2, .01}]Properties & Relations (4)
Use FunctionExpand to expand WhittakerW into other functions:
FunctionExpand[WhittakerW[5, 1 / 2, x]]FunctionExpand[WhittakerW[-1 / 4, 1 / 4, x]]FunctionExpand[WhittakerW[0, m, x]]Integrate expressions involving Whittaker functions:
Integrate[x^aWhittakerM[k, m, x]WhittakerW[-k, m, x], {x, 0, ∞}, Assumptions -> k > 1 / 2 && m > 0 && 2k - 1 > a >= 0]WhittakerW can be represented as a DifferentialRoot:
DifferentialRootReduce[WhittakerW[n, m, x], x]WhittakerW can be represented as a DifferenceRoot:
DifferenceRootReduce[WhittakerW[k, y, z], k]DifferenceRootReduce[WhittakerW[y, k, z], k]Neat Examples (1)
With[{n = 3 / 5, m = 1 / 3, ε = 1*^-12},
Show[Table[ParametricPlot3D[{r Cos[φ], r Sin[φ], Im[(-1)^kExp[-2π I m k]WhittakerW[n, m, r Exp[I φ]] + ((-1)^k + 12π I ChebyshevU[k - 1, Cos[2π m]]/Gamma[(1/2) - m - n]Gamma[2m + 1])WhittakerM[n, m, r Exp[I φ]]]}, {r, 0, 3}, {φ, -π + ε, π - ε}, Mesh -> None, PlotPoints -> 21, PlotStyle -> Directive[Hue[0.85], Opacity[0.6]]], {k, -1, 1}], BoxRatios -> {1, 1, 3}, PlotRange -> {All, All, {-5, 5}}]]Tech Notes
Related Guides
Related Links
History
Text
Wolfram Research (2007), WhittakerW, Wolfram Language function, https://reference.wolfram.com/language/ref/WhittakerW.html.
CMS
Wolfram Language. 2007. "WhittakerW." Wolfram Language & System Documentation Center. Wolfram Research. https://reference.wolfram.com/language/ref/WhittakerW.html.
APA
Wolfram Language. (2007). WhittakerW. Wolfram Language & System Documentation Center. Retrieved from https://reference.wolfram.com/language/ref/WhittakerW.html
BibTeX
@misc{reference.wolfram_2026_whittakerw, author="Wolfram Research", title="{WhittakerW}", year="2007", howpublished="\url{https://reference.wolfram.com/language/ref/WhittakerW.html}", note=[Accessed: 13-June-2026]}
BibLaTeX
@online{reference.wolfram_2026_whittakerw, organization={Wolfram Research}, title={WhittakerW}, year={2007}, url={https://reference.wolfram.com/language/ref/WhittakerW.html}, note=[Accessed: 13-June-2026]}