Catalan 常数的引入

作者: 洛玖言 | 来源:发表于2020-02-02 20:44 被阅读0次

Catalan 常数的引入
卡特兰数(Catalan number)
Catalan数
Catalan数列
【常数】
微分方程-常系数线性方程-齐次问题
c++中const的使用总结
时间复杂度（斐波那契数列演变）
leetcode 96+ leetcode 95
第十二回 F检验

$\displaystyle\int_0^1\dfrac{\ln(1+x^2)}{1+x^2}\text{d}x$

Sol:
令 $x=\tan\theta$
$\begin{aligned} \int_0^1\dfrac{\ln(1+x^2)}{1+x^2}\text{d}x=&\int_0^{\frac\pi4}\dfrac{\ln(1+\tan^2\theta)}{1+\tan^2\theta}\sec^2\theta\text{d}\theta\\ =&\int_0^{\frac\pi4}\ln(1+\tan^2\theta)\text{d}\theta\\ =&\int_0^{\frac\pi4}\ln(\sec^2\theta)\text{d}\theta\\ =&-2\int_0^{\frac\pi4}\ln\cos\theta\text{d}\theta\\ =&-2\left(-\dfrac\pi4\ln2+\dfrac12\text{G}\right)\\ =&\frac\pi2\ln2-\text{G} \end{aligned}$

这里最后的

$\begin{aligned} &\int_0^{\frac\pi4}\ln\cos x\text{d}x \end{aligned}$
大家可能不是很熟

$\begin{aligned} &\int_0^{\frac\pi4}\ln\cos x\text{d}x\\ =&\dfrac12\int_0^{\frac\pi2}\ln\cos\frac{y}{2}\text{d}y\\ =&\dfrac12\int_0^{\frac\pi2}\ln\left(\dfrac{1+\cos y}{2}\right)^{\frac12}\text{d}y\\ =&\dfrac12\cdot\dfrac{1}{2}\left[\int_0^{\frac\pi2}\ln(1+\cos y)\text{d}y-\int_0^{\frac\pi2}\ln2\text{d}y\right]\\ =&\dfrac14\left(-\dfrac{\pi}{2}\ln2+2\text{G}-\dfrac{\pi}{2}\ln2\right)\\ =&-\dfrac{\pi}{4}\ln2+\dfrac12\text{G} \end{aligned}$

这边此时又出现了一个

$\displaystyle\int_0^{\frac\pi2}\ln(1+\cos y)\text{d}y$
可能也见的不多

因为
$\tan\dfrac{x}{2}=\dfrac{\sin x}{1+\cos x}$

所以
$1+\cos x=\dfrac{\sin x}{\tan\dfrac{x}{2}}$

$\begin{aligned} &\int_0^{\frac\pi2}\ln(1+\cos x)\text{d}x\\ =&\int_0^{\frac\pi2}\ln\dfrac{\sin x}{\tan\dfrac{x}{2}}\text{d}x\\ =&\int_0^{\frac\pi2}\ln\sin x\text{d}x-\int_0^{\frac\pi2}\ln\tan\dfrac{x}{2}\text{d}x\\ =&\int_0^{\frac\pi2}\ln\sin x\text{d}x-2\int_0^{\frac\pi4}\ln\tan y\text{d}y\\ =&-\dfrac\pi2-2(-\text{G})\\ =&2\text{G}-\dfrac\pi2\ln2 \end{aligned}$

这边出现了一个

$\displaystyle\int_0^{\frac\pi4}\ln\tan\theta\text{d}\theta=-\text{G}$
其中 G 表示Catalan常数

令 $\tan x=t$ ，则
$x=\arctan t ,\text{d}x=\dfrac{\text{d}t}{1+t^2}$

$\begin{aligned} &\int_0^{\frac\pi4}\ln\tan x\text{d}x\\ =&\int_0^1\ln t\cdot\dfrac{\text{d}t}{1+t^2}\\ =&\ln t\cdot\arctan t\bigg|_0^1-\int_0^1\arctan x\cdot\dfrac{\text{d}t}{t}\\ =&-\int_0^1\dfrac{\arctan t}{t}\text{d}t\\ =&-\text{G} \end{aligned}$

好啦，到最后一步了！

$\displaystyle\int_0^1\dfrac{\arctan t}{t}\text{d}t=\text{G}$ 怎么来的呢？

首先了解一下 Catalan 常数的定义

$\displaystyle\text{G}=\sum_{n=0}^{\infty}(-1)^n\dfrac{1}{(2n+1)^2}$

近似值
$\text{G}=0.915965594\cdots$

$\arctan x=x-\dfrac{x^3}{3}+\dfrac{x^5}{5}-\dfrac{x^7}{7}+\cdots+(-1)^n\dfrac{x^{2n+1}}{2n+1}+\cdots$

把 $\arctan x$ 的展开式带入，并逐项积分，得到

$\begin{aligned} &\int_0^1\dfrac{\arctan x}{x}\text{d}x\\ =&\int_0^1\dfrac{1}{x}\sum_{n=0}^{\infty}(-1)^n\dfrac{1}{2n+1}x^{2n+1}\text{d}x\\ =&\int_0^1\sum_{n=0}^{\infty}(-1)^n\dfrac{1}{2n+1}x^{2n}\text{d}x \end{aligned}$

根据积分号与求和号可以互换的原理，得到

$\begin{aligned} &\int_0^1\dfrac{\arctan x}{x}\text{d}x\\ =&\int_0^1\sum_{n=0}^{\infty}(-1)^n\dfrac{x^{2n}}{2x+1}\text{d}x\\ =&\sum_{n=0}^{\infty}(-1)^n\dfrac{1}{2n+1}\int_0^1x^{2n}\text{d}x\\ =&\sum_{n=0}^{\infty}(-1)^n\dfrac{1}{2n+1}\cdot\dfrac{1}{2n+1}(x^{2n+1})\bigg|_0^1\\ =&\sum_{n=0}^{\infty}(-1)^n\dfrac{1}{(2n+1)^2}\\ =&\text{G} \end{aligned}$

Catalan 常数的引入
Sol:令这里最后的大家可能不是很熟这边此时又出现了一个可能也见的不多因为所以这边出现了一个其中 ...
卡特兰数(Catalan number)
catalan介绍 Catalan number，卡特兰数又称卡塔兰数，是组合数学中一个常出现在各种计数问题...
Catalan数
卡特兰数，英文名Catalan number，是组合数学中一个常出现在各种计数问题中出现的数列。其前几项为 : 1...
Catalan数列
Catalan数列给定n个0和n个1，它们按照某种顺序排列成长度为2n的序列，满足任意前缀和中0的个数都不少于1的...
【常数】
终有一天一切都会改写一切包括了万事万物当然包括历史常识和科学定律在万变的时空里没有什么存在可以固定恒常地不久天不...
微分方程-常系数线性方程-齐次问题
常系数线性方程-齐次问题考虑一般的阶线性微分方程其中系数都是常数. 如果引入微分算子的记号，那么 ...
c++中const的使用总结
const类型定义：指明变量或对象的值是不能被更新,引入目的是为了取代预编译指令1）修饰一般常量,常数组，常对象 ...
时间复杂度（斐波那契数列演变）
常见的算法的时间复杂度分为：1，常数阶常数阶算法运行的次数是一个常数，如5、20、100。常数阶算法时间复杂度通常...
leetcode 96+ leetcode 95
leetcode 96 计算唯一二叉搜索树的个数：用到catalan公式： n = 0 时赋为1dp[2] = ...
第十二回 F检验
想知道整个回归方程是否显著，即除常数项以外，所有解释变量的回归系数是否都为零。首先引入F统计量 F统计量的分布 ...

Catalan 常数的引入

相关文章

Catalan 常数的引入

卡特兰数(Catalan number)

Catalan数

Catalan数列

【常数】

微分方程-常系数线性方程-齐次问题

c++中const的使用总结

时间复杂度（斐波那契数列演变）

leetcode 96+ leetcode 95

第十二回 F检验

网友评论

延伸阅读

深度阅读

栏目导航

热点阅读