悠闲数学娱乐论坛(第2版)'s Archiver

青青子衿 发表于 2019-3-17 10:39

一个高次无理分式的变上限积分

[i=s] 本帖最后由 青青子衿 于 2019-6-10 13:03 编辑 [/i]

首先需要声明:\(\frac{1}{\sqrt[3]{1+t^3}}\)与\(\frac{1}{\sqrt[4]{1+t^4}}\)都是有初等原函数的。
\begin{align*}  
{\large\int}\frac{1}{\sqrt[3]{1+t^3}}\mathrm{d}t
=\frac{1}{2}\ln\bigg[t^2+t\sqrt[3]{1+t^3}+\sqrt[3]{\left(1+t^3\right)^2}\,\bigg]+\frac{1}{\sqrt{3}}\arctan\left(\frac{\sqrt{3}t}{t+2\sqrt[3]{1+t^3}}\right)+C\\
{\large\int}\frac{1}{\sqrt[4]{1+t^4}}\mathrm{d}t
=\frac{1}{2}\ln\left(t+\sqrt[4]{1+t^4}\,\right)+\frac{1}{4}\ln\left(t^2+\sqrt{1+t^4}\,\right)+\frac{1}{2}\arctan\left(\frac{t}{\sqrt[4]{1+t^4}}\right)+C\\
\end{align*}
{:shocked:}[code]Desmos Code
\frac{1}{2}\ln\left(x^2+x\sqrt[3]{1+x^3}+\sqrt[3]{\left(1+x^3\right)^2}\right)+\frac{1}{\sqrt{3}}\arctan\left(\frac{\sqrt{3}x}{x+2\sqrt[3]{1+x^3}}\right)
\frac{1}{2}\ln\left(x+\sqrt[4]{1+x^4}\right)+\frac{1}{4}\ln\left(x^2+\sqrt{1+x^4}\right)+\frac{1}{2}\arctan\left(\frac{x}{\sqrt[4]{1+x^4}}\right)[/code]我们可以验证,\(\int_0^x\frac{1}{\sqrt[4]{1+t^4}}\mathrm{d}t\)可以用[b]几个连续函数[/b]来表示:
\begin{align*}
&\int_0^x\frac{1}{\sqrt[4]{1+t^4}}\mathrm{d}t\\
=\quad&\frac{1}{2}\ln\left(x+\sqrt[4]{1+x^4}\right)+\frac{1}{4}\ln\left(x^2+\sqrt{1+x^4}\right)+\frac{1}{2}\arctan\left(\frac{x}{\sqrt[4]{1+x^4}}\right)
\end{align*}
那么,\(\int_0^x\frac{1}{\sqrt[3]{1+t^3}}\mathrm{d}t\)怎么办呢?(还不知道如何用[b]几个连续函数[/b]来表示)
\begin{align*}
&\int_0^x\frac{1}{\sqrt[3]{1+t^3}}\mathrm{d}t\\
=\quad&
\begin{cases}
\dfrac{1}{2}\ln\bigg[x^2+x\sqrt[3]{1+x^3}+\sqrt[3]{\left(1+x^3\right)^2}\,\bigg]+\dfrac{1}{\sqrt{3}}\arctan\left(\dfrac{\sqrt{3}x}{\color{red}{x+2\sqrt[3]{1+x^3}}}\right)-\dfrac{\pi}{\sqrt{3}}
&&x\in\left(-\infty ,-\frac{2}{\sqrt[3]{9}}\right)\\
\dfrac{1}{2}\ln\bigg[x^2+x\sqrt[3]{1+x^3}+\sqrt[3]{\left(1+x^3\right)^2}\,\bigg]+\dfrac{1}{\sqrt{3}}\arctan\left(\dfrac{\sqrt{3}x}{\color{red}{x+2\sqrt[3]{1+x^3}}}\right)
&\quad&x\in\left(-\frac{2}{\sqrt[3]{9}},+\infty\right)
\end{cases}
\end{align*}
思考了一下,主要问题出在反正切函数的分母;以前遇到将其连续化的方法是把它拆分为两个反正切函数(因为不是等价变形,故用\(\,\rightsquigarrow\,\)符号):
\[ \arctan\left(\frac{x+\sqrt{1+x^2}}{1-x\sqrt{1+x^2}}\right)\quad{\Large\rightsquigarrow}\quad\arctan\left(x\right)+\arctan\left(\sqrt{1+x^2}\right) \]
可是,这次该如何拆分呢?

页: [1]

Powered by Discuz! Archiver 7.2  © 2001-2009 Comsenz Inc.