跳转至

Beta 积分的端点奇性怎样控制?

先备知识

熟悉有限端点反常积分、幂函数比较和一元换元。

学习目标

能分别分析两个端点,并证明 Beta 函数的参数对称性。

牵引问题

同一积分的两个端点为何给出两个独立参数条件?

探索与猜想

靠近零时只有 \(x^{p-1}\) 可能奇异,靠近一时只有 \((1-x)^{q-1}\) 可能奇异。

概念与理论

定义与收敛域

\[ B(p,q)=\int_0^1x^{p-1}(1-x)^{q-1}\,dx. \]

\(1/2\) 处分拆。左半段的 \((1-x)^{q-1}\) 有正的上下界,故收敛恰需 \(p>0\);右半段令 \(u=1-x\),收敛恰需 \(q>0\)。因此两个参数大于 0 是收敛的充要条件,两个端点奇性必须分别控制。

对称性

换元 \(u=1-x\)

\[ B(p,q)=B(q,p). \]

该对称性交换两个端点的角色,却不能省略任一端的收敛检查。

例题与迁移

例 1:简单值

\(B(1,q)=\int_0^1(1-x)^{q-1}dx=1/q\)

例 2:端点失败

\(p=0\) 时左端出现 \(1/x\) 型发散,无论 \(q\) 多大都不能补救。

即时检验与回望

即时检验 1

哪个参数控制零端?

答案

\(p\)

即时检验 2

哪个参数控制一端?

答案

\(q\)

常见误区与后续

  • 两端误差在数值计算中也必须分别预算。
  • 不要从积分区间有限误判为一定正常可积。

习题与答案

习题 1

写出 Beta 定义。

答案

\(B(p,q)=\int_0^1x^{p-1}(1-x)^{q-1}dx\)

习题 2

收敛域是什么?

答案

\(p>0,q>0\)

习题 3

为何在中点分拆?

答案

分离两个端点奇性。

习题 4

左端比较哪一幂?

答案

\(x^{p-1}\)

习题 5

右端换元是什么?

答案

\(u=1-x\)

习题 6

对称式是什么?

答案

\(B(p,q)=B(q,p)\)

习题 7

\(B(1,q)\) 是多少?

答案

\(1/q\)

习题 8

\(B(p,1)\) 是多少?

答案

\(1/p\)

习题 9

\(p=0\) 为何发散?

答案

左端为 \(1/x\) 型。

习题 10

有限区间为何仍会反常?

答案

被积函数可在端点无界。