计算
先把被积函数整成 Beta 函数的形状。 改写成
再与
对照。指数配对得 ,即 ;,即 。两个指数都大于 ,所以尽管两端有奇点,积分在两端仍然收敛。
对 a 求导,把对数造出来。 在积分号下求导,恰好会带下来一个 :
所以 。
求导必须求对——陷阱在第三个 Gamma 上。 由 ,固定 作对数求导得
很容易一看代入点处 ,就先把 写成 再求导——但 变动时 并不是常数,丢掉 就等于把整个 项丢掉了。
用反射公式算出 Beta 的值。 在 、 处确实有 ,于是 ,从而
拼出 digamma 那个因子。 用 (欧拉-马歇罗尼常数,)以及 :
于是
算出数值并验证。
再做一次独立的数值积分——在 附近换元 、在 附近换元 以驯服两端的奇点,然后用 个节点的高斯-勒让德求积——得到 ,与闭形式吻合。(若漏掉 项,会得到 ,偏负约 。)结果为负,是因为整个区间上都有 。
Need to solve a different problem like this? Open the solver →