Hypergeometric ${}_2F_0$ function in Mathematica

How to write the hypergeometric function $${}_2F_0$$ in Mathematica?

• HypergeometricPFQ[{a, b}, {}, z] is the straight answer, but depending on what you're doing, you may be better off with formulating things in terms of Tricomi's function, HypergeometricU[]. Commented Aug 1, 2022 at 19:44
• @Roman, ${}_2F_0$ is indeed a function defined as the analytic continuation of a certain divergent power series (see e.g. this). Commented Aug 1, 2022 at 21:09
• @Hans: the correct statement is that if any of a and b in HypergeometricPFQ[{a, b}, {}, z] are nonpositive integers, then you have a polynomial result (since all the Pochhammer symbols after a certain point zero out). Commented Aug 1, 2022 at 21:13
• Some comments appeared while I was typing... HypergeometricPFQ[{a, b}, {}, z] is divergent (just like all $_pF_q$ with $p-q\geq2$), but can be expanded into a power series around $z=0$. Only if $a$ or $b$ is a negative integer, the series stops when the Pochhammer symbol hits zero, leading to polynomials. Note that the divergent series can be regularized, and Sum[Pochhammer[a, k] Pochhammer[b, k] z^k/k!, {k, 0, ∞}, Regularization -> "Borel"] gives (-(1/z))^a HypergeometricU[a, 1 + a - b, -(1/z)] Commented Aug 1, 2022 at 21:16
• ...and the last expression in @Fred's comment is exactly why I said it might be better to reformulate in terms of HypergeometricU[]. Commented Aug 1, 2022 at 21:19

HypergeometricPFQ[{a, b}, {}, z]

HypergeometricPFQ[{a, b}, {}, z] // TraditionalForm

This outputs something like $$\, _2F_0(a,b;;z)$$