ωjf

发表于 分类于 本文字数： 737

突发奇想：在 x→+∞x\rightarrow +\infty 时，使用代换 ln⁡x∼ωx1ω\ln x \sim \omega x^{\frac{1}{\omega}} 会发生什么？

∫1xln⁡2xdx∼∫1ω2x1+2ωdx=−12ωx2ω∼−12x1ωln⁡x \newcommand{\d}{\mathrm{d}} \displaystyle\int \dfrac{1}{x\ln^2x}\d x \sim\displaystyle\int \dfrac{1}{\omega^2 x^{1+\frac{2}{\omega}}}\d x =-\dfrac{1}{2\omega x^{\frac{2}{\omega}}} \sim-\dfrac{1}{2x^{\frac{1}{\omega}}\ln x}

把 x1ωx^\frac{1}{\omega} 看作 11，则和答案差了一个常数 22。

换一个？

∫xln⁡xdx∼∫ωx1+1ωdx=x2ω2x1ω11+2ω=x22⋅ωx1ω⋅(1−12ω+14ω2−⋯ )∼x22(ln⁡x−12) \newcommand{\d}{\mathrm{d}} \displaystyle\int x\ln x\d x \sim\displaystyle\int \omega x^{1+\frac{1}{\omega}}\d x =x^2\omega^2 x^{\frac{1}{\omega}}\dfrac{1}{1+2\omega} =\dfrac{x^2}{2}\cdot\omega x^{\frac{1}{\omega}}\cdot\left(1-\dfrac{1}{2\omega}+\dfrac{1}{4\omega^2}-\cdots\right) \sim\dfrac{x^2}{2}\left(\ln x-\dfrac{1}{2}\right)

这里约掉了 O(ω−1)O(\omega^{-1}) 的项，最后和答案一样。

再来？

∫1ln⁡xdx∼∫1ωx1ωdx=x⋅x−1ωω−1=x⋅x−1ωω⋅(1+1ω+1ω2−⋯ )∼xln⁡x \newcommand{\d}{\mathrm{d}} \displaystyle\int \dfrac{1}{\ln x}\d x \sim\displaystyle\int \dfrac{1}{\omega x^{\frac{1}{\omega}}}\d x =x\cdot\dfrac{x^{-\frac{1}{\omega}}}{\omega-1} =x\cdot\dfrac{x^{-\frac{1}{\omega}}}{\omega}\cdot\left(1+\dfrac{1}{\omega}+\dfrac{1}{\omega^2}-\cdots\right) \sim \dfrac{x}{\ln x}

众所周知答案是 li⁡(x)\operatorname{li}(x)，然而我们有 lim⁡x→+∞li⁡xln⁡xx=1\lim\limits_{x\rightarrow+\infty} \dfrac{\operatorname{li}x\ln x}{x}=1。

上面的一些东西让我们有了一个想法：除了实数阶无穷大，我们应该还有一些新的东西。

比如，记 xcx^c 在 x→+∞x\rightarrow+\infty 时为 cc 阶无穷大，那么我们十分不严谨地设 ε\varepsilon 为 1ω\dfrac{1}{\omega}（这里 ω\omega 就是借用自序数里的那个），那么 ln⁡x\ln x 就是 ε\varepsilon 阶无穷大，这样的话我们可以导出一点好玩的东西。

然后怎么比大小呢？采用通常的取极限很容易出现零或者无穷大，为什么呢？

注意到这个事实：假如我们定义一个“无穷大分拆”序列，使得原函数减掉任意前缀之后与剩下的第一项之比极限总是 11，那么求极限其实就是比最高次项，这时我们拿两个序列只求出来一个数，看起来丢掉了很多信息。

如果按多项式除法来类似地定义，那我们就可以求出来答案的前缀无穷大表示了！这样我们就能带着足够长的信息进行运算了，而不必每次凑一个无穷大作比。

（这里的东西和泰勒展开+多项式除法的想法是一样的）

那什么是无穷大表示呢？我们再把 ω\omega 拿过来，然后塞到答案里，这样就行了。

这个靠谱吗？

其实我不知道。这玩意有待研究，而且看起来只能判阶数。

它和非标准分析看起来有点像，但是非标准分析里添加了一大堆集合论，感觉太困难了。这个权当它的一个初等的不加证明的子区域吧，毕竟日常接触到的都是好看的函数。

挖坑待填……

（其实可以研究无穷小，这里已经有人问过了）