刘维尔定理暂记

代数函数与超越函数，域的代数扩张，
基本的初等函数：有理函数，代数函数，指数函数，对数函数，三角函数
$$sinx=(e^{ix}-e^{-ix})/2$$
$$arctan=\frac{1}{2i}ln\frac{1+ix}{1-ix}$$
$$arcsin=-iln(x(+/-)\sqrt{x^2-1})$$

微分域K（对加减乘除，求导封闭）

$$\begin{gathered} 初等函数a\in K，y^{\prime }=a||y\in K初等函数的扩域中 \\ 则a=\sum _{i=1}^n{c}_i\frac{u_i^{\prime }}{u_i}+v^{\prime } \\ {c}_i是常数u_i\in K,v\in K \\ y=\sum _{i=1}^n{c}_{i}ln(u_i)+v \end{gathered}$$

当n=0时：
取y=v
设当n-1时成立，则：

从三类函数的角度来证明定理：

刘维尔定理2：$$f,g是有理多项式，f(x)\ast e^{g(x)}存在初等原函数ifff=b^{\prime }+b{g}^{\prime },b\in K=C(z)$$

初等函数（代数，指数，对数函数）的导数仍然是初等函数

2.所以要处理的只有自然的指数函数对数函数
2.1 多项式函数相除后求导仍然是有理函数
2.2 代数函数的求导：$$域张对应的代数函数\sum _0^n{a}_n(x)y^n的求导仍然是代数函数$$
2.3 y= lnx的求导：$$y^{\prime }=\frac{1}{x}\ast x^{\prime },x\in K\to y^{\prime }=\frac{x^{\prime }}{x}\in 起始域K，（x\in K）$$
2.4$$y=e^x,y^{\prime }=y\ast x^{\prime },因为y=e^x,所以y也属于K，y’也属于K$$

相关链接