特殊函数积分技巧——区间再现公式与对称性

我们先从一个著名的积分——欧拉积分说起。

试求：$${\int }_0^{\frac{\pi }{2}}\ln \sin xdx$$通过初步尝试，你会发现直接求原函数是十分困难的。

事实上，这并不是一个能用初等函数表示原函数的定积分。

正确解法为：$$\begin{array}{rl}{\int }_0^{\frac{\pi }{2}}\ln \sin xdx& =\frac{1}{2}{\int }_0^{\frac{\pi }{2}}[\ln \sin x+\ln \sin (0+\frac{\pi }{2}-x)]dx(1)\\ & =\frac{1}{2}{\int }_0^{\frac{\pi }{2}}(\ln \sin x+\ln \cos x)dx\\ & =\frac{1}{2}{\int }_0^{\frac{\pi }{2}}\ln (\sin x\cos x)dx\\ & =\frac{1}{2}{\int }_0^{\frac{\pi }{2}}(\ln \sin 2x-\ln 2)dx\\ & =\frac{1}{4}{\int }_0^{\frac{\pi }{2}}\ln \sin 2xd(2x)-\frac{1}{2}{\int }_0^{\frac{\pi }{2}}\ln 2dx\\ & =\frac{1}{4}{\int }_0^{\pi }\ln \sin xdx-\frac{\pi }{4}\ln 2(2)\\ & =\frac{1}{2}{\int }_0^{\frac{\pi }{2}}\ln \sin xdx-\frac{\pi }{4}\ln 2\\ \Rightarrow {\int }_0^{\frac{\pi }{2}}\ln \sin xdx& =-\frac{\pi }{2}\ln 2\end{array}$$

其中在第$(1)$步使用了区间再现公式，让我们来看看它的定义：

公式 : 区间再现公式

$${\int }_a^{b}f(x)dx={\int }_a^{b}f(a+b-x)dx=\frac{1}{2}{\int }_a^b[f(x)+f(a+b-x)]dx$$

令$x=a+b-t$可证得上式，这里省略证明过程。

从几何角度进行解释：$f(x)$与$f(a+b-x)$在区间$[a,b]$上的图像是关于$x=\frac{a+b}{2}$对称的，它们在区间$[a,b]$上对应的积分值显然相等。

可以通过画图帮助我们理解：

此时，显然$f(x)=\ln \sin x$与$g(x)=\ln \cos x$在积分区间$[0,\frac{\pi }{2}]$上所对应的值是相等的，这里我们可以知道：区间再现公式的本质是对称函数的换元。

接着，我们引入以下结论：$$当f(x)=\frac{g(x)}{g(x)+g(a+b-x)}时，{\int }_a^b\frac{g(x)}{g(x)+g(a+b-x)}dx=\frac{1}{2}(b-a)$$

这实际上是${\int }_a^{b}f(x)dx=\frac{1}{2}{\int }_a^b[f(x)+f(a+b-x)]dx$的运用。

根据上述结论，我们可以轻松算出下列积分：$${\int }_2^4\frac{\sqrt{\ln x}}{\sqrt{\ln (6-x)}+\sqrt{\ln x}}dx=\frac{1}{2}(4-2)=1$$$${\int }_0^{\frac{\pi }{2}}\frac{\sin x}{\sin x+\cos x}dx=\frac{1}{2}(\frac{\pi }{2}-0)=\frac{\pi }{4}$$$${\int }_0^2\frac{e^{3-x}}{e^{1+x}+e^{3-x}}dx=\frac{1}{2}(2-0)=1$$

事实上，${\int }_a^{b}f(x)dx=\frac{1}{2}{\int }_a^b[f(x)+f(a+b-x)]dx$还有更为多样的运用。

我们引入几个恒等式：

恒等式一

$$\frac{1}{1+x}+\frac{1}{1+\frac{1}{x}}=1(x\ne 0)$$把$x$取成${\tan }^{\lambda }x$得 $$\frac{1}{1+{\tan }^{\lambda }x}+\frac{1}{1+{\cot }^{\lambda }x}=1$$由诱导公式$\cot x=\tan (\frac{\pi }{2}-x)$知，当积分上下限和$a+b=\frac{\pi }{2}$时满足区间再现公式的使用条件。

把$x$取成$a^x$得 $$\frac{1}{1+a^x}+\frac{1}{1+a^{-x}}=1$$当积分上下限和$a+b=0$时满足区间再现公式的使用条件。

恒等式二

$$\arcsin x+\arcsin \sqrt{1-x^2}=\frac{\pi }{2}(0\le x\le 1)$$把$x$取成$\sqrt{x}$得$$\arcsin \sqrt{x}+\arcsin \sqrt{1-x}=\frac{\pi }{2}$$当积分上下限和$a+b=1$时满足区间再现公式的使用条件。

恒等式三

$$\arctan x+\arctan \frac{1}{x}=\frac{\pi }{2}(x>0)$$把$x$取成$a^x$得$$\arctan a^x+\arctan a^{-x}=\frac{\pi }{2}$$当积分上下限和$a+b=0$时满足区间再现公式的使用条件。

特别的，当$f(x)$是偶函数时：$${\int }_{-c}^c\frac{1}{1+a^x}\cdot f(x)dx=\frac{1}{2}{\int }_{-c}^{c}f(x)dx$$$${\int }_{-c}^c\arctan a^x\cdot f(x)dx=\frac{\pi }{4}{\int }_{-c}^{c}f(x)dx$$证明过程略。

综上，当碰到 $\frac{1}{1+{\tan }^{\lambda }x}，\frac{1}{1+a^x}，\arcsin g(x)，\arctan g(x)$时，考虑使用区间再现公式进行积分求解。

实际上，当$f(x)=xg(x)$(其中$g(x)$满足$g(x)=g(a+b-x)$) 时：$${\int }_a^{b}xg(x)dx=\frac{a+b}{2}{\int }_a^{b}g(x)dx$$我们可以利用这一结论消去被积函数中的$x$。

对称在定积分中的应用

当原题进行至第$(2)$步时，我们尝试对${\int }_0^{\pi }\ln \sin xdx$使用区间再现公式：$${\int }_0^{\pi }\ln \sin xdx=\frac{1}{2}{\int }_0^{\pi }[\ln \sin x+\ln \sin (0+\pi -x)]dx$$由于$\ln \sin (0+\pi -x)=\ln \sin x$，因此这步操作是没有意义的。

令$f(x)={\int }_0^{\pi }\ln \sin xdx$，我们不难发现$f(x)$满足$f(x)=f(0+\pi -x)$，此时$f(x)$在区间$[0,\pi ]$上的图像是关于$x=\frac{\pi }{2}$对称的。

命题者通常会结合区间再现公式和对称进行出题，熟练掌握对称在定积分中的应用也是必要的。

结论一

$$曲线y=f(x)关于x=k对称\iff f(x)=f(2k-x)$$这条结论比较容易理解，通过图像我们可以发现对称轴左右两端对称的点往往相差$2(k-x)$，即$x$所对应的函数值$x+2(k-x)$所对应的函数值相等。

结论二

$$若y=f(x)关于x=\frac{a+b}{2}对称，则{\int }_a^{\frac{a+b}{2}}f(x)dx={\int }_{\frac{a+b}{2}}^{b}f(x)dx$$利用结论一$f(x)=f(2\cdot \frac{a+b}{2}-x)=f(a+b-x)$，作换元令$t=a+b-x$可证得上式，这里省略证明过程。

对于复合函数而言：$$内层函数g(x)是关于x=k对称，则复合函数f(g(x))也是关于x=k对称$$由上述结论就可以得到：

$\sin x$关于$x=\frac{\pi }{2}$对称，$\ln \sin x$也是关于$x=\frac{\pi }{2}$对称，

${\int }_0^{\frac{\pi }{2}}\ln \sin xdx={\int }_{\frac{\pi }{2}}^{\pi }\ln \sin xdx=\frac{1}{2}{\int }_0^{\pi }\ln \sin xdx$，

即${\int }_0^{\pi }\ln \sin xdx=2{\int }_0^{\frac{\pi }{2}}\ln \sin xdx$。

总结

本文以欧拉积分为例，介绍了区间再现公式及其推广形式，并结合对称性分析了其在定积分中的应用。通过具体实例，我们看到这些方法在处理复杂积分时的高效性。对于无法直接求解原函数的定积分，区间再现公式和对称性提供了强有力的工具。