|
讲义:数学分析/一元微积分拾遗: Baire 纲定理, Liouville 定理
我们现在承认如下 Liouville 定理 (这是纯代数的结果, 请参见初等的介绍: M. Rosenlicht, Integration in finite terms, American Math. Monthly 79 (1972), 963–972) : 定理 28.7 (Liouville). 假设 $K$ 是一个初等函数域,$f\in K$,那么存在初等函数 $F$ 使得 $F'=f$ 当且仅当存在常数 $c_1,\cdots,c_m \in \mathbb{C}$,存在函数 $R_0, R_1,\cdots,R_m \in K$,使得
\[f=R_0'+\sum_{k=1}^m c_k \frac{R_k'}{R_k}.\] |
|