Hypergeometric2F1Regularized[a,b,c,z]
is the regularized hypergeometric function
.
Hypergeometric2F1Regularized
Hypergeometric2F1Regularized[a,b,c,z]
is the regularized hypergeometric function
.
Details
- Mathematical function, suitable for both symbolic and numerical manipulation.
- Hypergeometric2F1Regularized[a,b,c,z] is finite for all finite values of a, b, c, and z so long as
. - For certain special arguments, Hypergeometric2F1Regularized automatically evaluates to exact values.
- Hypergeometric2F1Regularized can be evaluated to arbitrary numerical precision.
- Hypergeometric2F1Regularized automatically threads over lists.
- Hypergeometric2F1Regularized can be used with Interval and CenteredInterval objects. »
Examples
open all close allBasic Examples (7)
Hypergeometric2F1Regularized[1, 2, -3, 4.5]Regularize Hypergeometric2F1 for negative integer values of the parameter
:
Hypergeometric2F1Regularized[1, 2, -3, x]Hypergeometric2F1[1, 2, -3, x]Plot over a subset of the reals:
Plot[Hypergeometric2F1Regularized[1 / 2, 1, 2, x], {x, -4, 2}]Plot over a subset of the complexes:
ComplexPlot3D[Hypergeometric2F1Regularized[2, 1, 3, z], {z, -2 - 2I, 2 + 2I}, PlotLegends -> Automatic]Series expansion at the origin:
Hypergeometric2F1Regularized[a, b, c, x] + O[x] ^ 3Series expansion at Infinity:
Series[Hypergeometric2F1Regularized[3, 1 / 2, 1 / 5, x], {x, ∞, 3}]//Normal//SimplifySeries expansion at a singular point:
Series[Hypergeometric2F1Regularized[1 / 2, 1, 2, x], {x, 1, 2}]//NormalScope (36)
Numerical Evaluation (6)
Hypergeometric2F1Regularized[7, 2, -0.3, .5]Hypergeometric2F1Regularized[-1, -1, 0, .5]N[Hypergeometric2F1Regularized[1 / 3, 1, 3, -7], 50]N[Hypergeometric2F1Regularized[1 / 3, 1, 0, -7], 25]The precision of the output tracks the precision of the input:
Hypergeometric2F1Regularized[1, 1 / 3, -1, -0.3000000025555555555522220000]Hypergeometric2F1Regularized[1, 1 / 3, -0.30000025555555522220, -1]//ChopHypergeometric2F1Regularized[I, -I, .5 + I, 5]Evaluate efficiently at high precision:
Hypergeometric2F1Regularized[1, -4, 2`100, 1 / 3]//TimingHypergeometric2F1Regularized[1, -2, 2`10000000, 1 / 3];//TimingCompute worst-case guaranteed intervals using Interval and CenteredInterval objects:
Hypergeometric2F1Regularized[1 / 2, 1 / 3, 1 / 4, Interval[{0.21, 0.22}]]Hypergeometric2F1Regularized[1 / 2, 1 / 3, 1 / 4, CenteredInterval[1 / 2, 1 / 100]]Or compute average-case statistical intervals using Around:
Hypergeometric2F1Regularized[1 / 2, 1 / 2, 1 / 2, Around[1 / 2, 0.01]]Compute the elementwise values of an array:
Hypergeometric2F1Regularized[1 / 2, 1, 1, {{1 / 2, 0}, {0, 1 / 2}}]Or compute the matrix Hypergeometric2F1Regularized function using MatrixFunction:
MatrixFunction[Hypergeometric2F1Regularized[1 / 2, 1, 1, #]&, {{1 / 2, 0}, {0, 1 / 2}}]Specific Values (7)
Hypergeometric2F1Regularized for symbolic a and b:
Hypergeometric2F1Regularized[a, a, a, 2]Hypergeometric2F1Regularized[a, b, b, 2]Hypergeometric2F1Regularized[a + 1, b, a, 0]Limit[Hypergeometric2F1Regularized[1 / 2, Sqrt[2], 1 / 2, x], x -> Infinity]Limit[Hypergeometric2F1Regularized[1 / 2, Sqrt[2], 1 / 2, x], x -> I Infinity]Hypergeometric2F1Regularized[0, 0, 0, 0]Hypergeometric2F1Regularized[1, 1, 1, 0]Find a value of x for which Hypergeometric2F1Regularized[2,1,2,x ]=0.4:
xval = x /. FindRoot[Hypergeometric2F1Regularized[2, 1, 2, x ] == 0.4, {x, 1 / 2}]Plot[Hypergeometric2F1Regularized[2, 1, 2, x ], {x, -4, 4}, Epilog -> Style[Point[{xval, Hypergeometric2F1Regularized[2, 1, 2, xval ]}], PointSize[Large], Red]]Evaluate symbolically for integer parameters:
Table[Hypergeometric2F1Regularized[a, b, 1, x], {a, {1, 2}}, {b, 0, 2}]//FunctionExpandEvaluate symbolically for half-integer parameters:
Table[Hypergeometric2F1Regularized[1 / 2, 1 / 2, c, x], {c, {-1 / 2, 1 / 2, 3 / 2}}]Hypergeometric2F1Regularized automatically evaluates to simpler functions for certain parameters:
Hypergeometric2F1Regularized[1 / 2, 1, 1 / 2, x]Hypergeometric2F1Regularized[3 / 2, 1, 1 / 2, x]Visualization (3)
Plot the Hypergeometric2F1Regularized function:
Plot[{Hypergeometric2F1Regularized[1, 1 / 2, Sqrt[2], x], Hypergeometric2F1Regularized[1, 1 / 2, Sqrt[3], x], Hypergeometric2F1Regularized[1, 1 / 2, Sqrt[5], x]}, {x, -4, 2}]Plot Hypergeometric2F1Regularized as a function of its second parameter
:
Plot[{Hypergeometric2F1Regularized[1 / 2, Sqrt[3], c, 1], Hypergeometric2F1Regularized[1 / 2, Sqrt[5], c, 1], Hypergeometric2F1Regularized[1 / 2, Sqrt[7], c, 1]}, {c, 0, 4}, PlotRange -> Automatic]ComplexContourPlot[Re[Hypergeometric2F1Regularized[1, 1 / 2, Sqrt[2], z]], {z, -5 - 5I, 5 + 5I}, Contours -> 24]ComplexContourPlot[Im[Hypergeometric2F1Regularized[1, 1 / 2, Sqrt[2], z]], {z, -5 - 5I, 5 + 5I}, Contours -> 24]Function Properties (11)
Real domain of Hypergeometric2F1Regularized:
FunctionDomain[Hypergeometric2F1Regularized[a, b, c, z], z]FunctionDomain[Hypergeometric2F1Regularized[a, b, c, z], z, ℂ]Hypergeometric2F1[a, b, c, z] == (2 - 2b + c + (b - a - 1) z/(b - 1)(z - 1)) Hypergeometric2F1[a, b - 1, c, z] + (b - c - 1/(b - 1)(z - 1)) Hypergeometric2F1[a, b - 2, c, z]//FullSimplifyHypergeometric2F1Regularized threads elementwise over lists:
Hypergeometric2F1Regularized[2, 2, {-1, -2, -3}, -1]
is analytic on its real domain:
FunctionAnalytic[{Hypergeometric2F1Regularized[2 / 3, 3Sqrt[2], 3, z], z < 1}, z]It is neither analytic nor meromorphic in the complex plane:
FunctionAnalytic[Hypergeometric2F1Regularized[2 / 3, 3Sqrt[2], 3, z], z, ℂ]FunctionMeromorphic[Hypergeometric2F1Regularized[2 / 3, 3Sqrt[2], 3, z], z]
is non-decreasing on its real domain:
FunctionMonotonicity[{Hypergeometric2F1Regularized[2 / 3, 3Sqrt[2], 3, z], z < 1}, z]FunctionInjective[Hypergeometric2F1Regularized[1, 1 / 2, 1, z], z]Plot[{Hypergeometric2F1Regularized[1, 1 / 2, 1, z], 2}, {z, -1, 1}]FunctionSurjective[Hypergeometric2F1Regularized[1, 1 / 2, 1, z], z]Plot[{Hypergeometric2F1Regularized[1, 1 / 2, 1, z], -2}, {z, -1, 1}]
is non-negative on its real domain:
FunctionSign[{Hypergeometric2F1Regularized[2 / 3, 3Sqrt[2], 3, z], z < 1}, z]Plot[Hypergeometric2F1Regularized[2 / 3, 3Sqrt[2], 3, z], {z, -3, 1}, AxesOrigin -> {0, 0}]
has both singularity and discontinuity for
:
Table[FunctionSingularities[Hypergeometric2F1Regularized[a, 1 / 2, 1, z], z], {a, 4}]Table[FunctionDiscontinuities[Hypergeometric2F1Regularized[a, 1 / 2, 1, z], z], {a, 4}]FunctionConvexity[{Hypergeometric2F1Regularized[1, 1 / 2, 1, z], z < 1}, z]TraditionalForm formatting:
Hypergeometric2F1Regularized[a, b, c, z]//TraditionalFormDifferentiation (2)
First derivative with respect to z when a=1, b=2, c=3:
D[Hypergeometric2F1Regularized[1, 2, 3, z] , z]Higher derivatives with respect to z when a=1, b=1/2, c=1/3:
Table[D[Hypergeometric2F1Regularized[1, 1 / 2, 1 / 3, z], {z, k}], {k, 1, 3}]//SimplifyPlot the higher derivatives with respect to z when a=1, b=1/2, c=1/3:
Plot[%, {z, -2.5, 2.5}, PlotLegends -> {"First Derivative", "Second Derivative", "Third Derivative"}]Formula for the ![]()
derivative with respect to z:
D[Hypergeometric2F1Regularized[a, b, c, z], {z, k}]// FullSimplifyIntegration (3)
Compute the indefinite integral using Integrate:
Integrate[Hypergeometric2F1Regularized[a, b, c, z], z]FullSimplify[D[%, z]]Integrate[Hypergeometric2F1Regularized[1, 1, 2, z], {z, 0, 10}]Integrate[z^2 Hypergeometric2F1Regularized[1, 2, 3, z], z]//FullSimplifyIntegrate[ z Hypergeometric2F1Regularized[1, 1, 3, z^2], {z, 0, 5}]//FullSimplifySeries Expansions (4)
Find the Taylor expansion using Series:
Series[Hypergeometric2F1Regularized[a, b, c, x], {x, 0, 3}]Plots of the first three approximations around
:
terms = Normal@Table[Series[Hypergeometric2F1Regularized[1, 1 / 3, -1 / 2, x], {x, 0, m}], {m, 1, 5, 2}];
Plot[{Hypergeometric2F1Regularized[1, 1 / 3, -1 / 2, x], terms}, {x, -10, 10}, PlotRange -> {-20, 20}]Find the series expansion at Infinity:
Series[Hypergeometric2F1Regularized[a, b, c, x], {x, Infinity, 1}]Find series expansion for an arbitrary symbolic direction
:
Series[Hypergeometric2F1Regularized[a, b, c, x], {x, DirectedInfinity[z], 1}, Assumptions -> x > 0 && z > 0]// FullSimplifyTaylor expansion at a generic point:
Series[Hypergeometric2F1Regularized[a, b, c, x], {x, x0, 2}]// FullSimplifyApplications (1)
Define the fractional derivative of EllipticK:
fd[EllipticK[z_], {z_, α_}] := (Pi / (z ^ α 2)) Hypergeometric2F1Regularized[1 / 2, 1 / 2, 1 - α, z]Check that for integer order
it coincides with the ordinary derivative:
fd[EllipticK[z], {z, 3}]FullSimplify[% == D[EllipticK[z], {z, 3}]]Evaluate derivative of order 1/2:
fd[EllipticK[z], {z, 1 / 2}]Properties & Relations (5)
Evaluate symbolically for numeric third argument:
Hypergeometric2F1Regularized[a, b, -1, x]Hypergeometric2F1Regularized[a, b, -1 / 3, x]Use FunctionExpand to expand Hypergeometric2F1Regularized into other functions:
Hypergeometric2F1Regularized[(1/3), (5/6), (2/3), x]FunctionExpand[Hypergeometric2F1Regularized[(1/3), (5/6), (2/3), x]]Integrate may give results involving Hypergeometric2F1Regularized:
Integrate[(1 - t z)^c (1 - t)^a t^b, {t, 0, 1}, Assumptions -> a > -1 && b > -1 && Abs[z] < 1]Hypergeometric2F1Regularized can be represented as a DifferentialRoot:
DifferentialRootReduce[Hypergeometric2F1Regularized[a, b, c, x], x]Hypergeometric2F1Regularized can be represented in terms of MeijerG:
MeijerGReduce[Hypergeometric2F1Regularized[a, b, c, x], x]Activate[%]See Also
Tech Notes
Related Guides
Related Links
History
Introduced in 1996 (3.0) | Updated in 2021 (13.0) ▪ 2022 (13.1)
Text
Wolfram Research (1996), Hypergeometric2F1Regularized, Wolfram Language function, https://reference.wolfram.com/language/ref/Hypergeometric2F1Regularized.html (updated 2022).
CMS
Wolfram Language. 1996. "Hypergeometric2F1Regularized." Wolfram Language & System Documentation Center. Wolfram Research. Last Modified 2022. https://reference.wolfram.com/language/ref/Hypergeometric2F1Regularized.html.
APA
Wolfram Language. (1996). Hypergeometric2F1Regularized. Wolfram Language & System Documentation Center. Retrieved from https://reference.wolfram.com/language/ref/Hypergeometric2F1Regularized.html
BibTeX
@misc{reference.wolfram_2026_hypergeometric2f1regularized, author="Wolfram Research", title="{Hypergeometric2F1Regularized}", year="2022", howpublished="\url{https://reference.wolfram.com/language/ref/Hypergeometric2F1Regularized.html}", note=[Accessed: 12-June-2026]}
BibLaTeX
@online{reference.wolfram_2026_hypergeometric2f1regularized, organization={Wolfram Research}, title={Hypergeometric2F1Regularized}, year={2022}, url={https://reference.wolfram.com/language/ref/Hypergeometric2F1Regularized.html}, note=[Accessed: 12-June-2026]}