Tricomi の関数

定義 5.5（「Bessel・Airy・Whittaker 関数」§5）

$a>0$ 、 $b\in\mathbb{R}$ 、 $x>0$ について

U(a,b,x)=\frac1{\Gamma(a)}\int_0^\infty e^{-xt}t^{a-1}(1+t)^{b-a-1}dt .

閉包の状態

定義

定義は閉包の起点です（証明を要しません）。

印の意味: ✓公理まで証明済み・ △証明あり（閉包未完）・ ※主張のみ。テーマごとの集計は閉包の状況。

証明で明示的に参照している定理は、まだありません。