刘维尔定理 揭示了具有初等 原函数 的初等函数的本质特征。其最早由约瑟夫·刘维尔 于十九世纪三四十年代提出，经后人推广到一般的微分域上[ 1] 常微分方程组 初等首次积分 的研究上。[ 2] [ 3]
初等函数的原函数并不总是初等函数，例如
e
−
x
2
{\displaystyle e^{-x^{2}}}
误差函数 ，无法用初等函数表达出来。 其它常见的例子还有
sin
(
x
)
/
x
{\displaystyle \sin(x)/x}
x
x
{\displaystyle x^{x}}
1
/
ln
(
x
)
{\displaystyle 1/\ln(x)}
刘维尔定理指出，一个初等函数如果有初等的原函数，那么一定能写成同一个微分域 的函数加上有限项该域上函数的对数的线性组合，否则即表明不存在初等的原函数。
一个域
F
{\displaystyle F}
δ
{\displaystyle \delta }
(
F
,
δ
)
{\displaystyle (F,\delta )}
微分域 。若对于
∀
f
,
g
∈
F
{\displaystyle \forall f,g\in F}
δ
(
f
+
g
)
=
δ
(
f
)
+
δ
(
g
)
,
δ
(
f
g
)
=
δ
(
f
)
g
+
f
δ
(
g
)
{\displaystyle \delta (f+g)=\delta (f)+\delta (g),\quad \delta (fg)=\delta (f)g+f\delta (g)}
由上式可以得到通常导数的一些性质。
δ
(
g
n
)
=
n
g
n
−
1
δ
(
g
)
{\displaystyle \delta (g^{n})=ng^{n-1}\delta (g)}
δ
(
f
g
)
=
δ
(
f
)
g
+
f
δ
(
1
g
)
=
δ
(
f
)
g
−
f
g
2
δ
(
g
)
{\displaystyle \delta ({\frac {f}{g}})={\frac {\delta (f)}{g}}+f\delta ({\frac {1}{g}})={\frac {\delta (f)}{g}}-{\frac {f}{g^{2}}}\delta (g)}
(
F
,
δ
)
{\displaystyle (F,\delta )}
C
o
n
(
F
,
δ
)
=
{
f
∈
F
|
δ
f
=
0
}
{\displaystyle \mathrm {Con} (F,\delta )=\{f\in F|\delta f=0\}}
为该微分域的常数域。
h
∈
K
{\displaystyle h\in K}
K 是 F 的微分域扩张
K
=
F
(
h
)
{\displaystyle K=F(h)}
h
{\displaystyle h}
F
{\displaystyle F}
h
{\displaystyle h}
F
{\displaystyle F}
F
{\displaystyle F}
p
(
t
)
(
∈
F
[
t
]
)
{\displaystyle p(t)(\in F[t])}
p
(
h
)
=
0
{\displaystyle p(h)=0}
p
(
t
)
{\displaystyle p(t)}
p
(
t
)
=
0
{\displaystyle p(t)=0}
t
(
x
)
=
h
(
x
)
{\displaystyle t(x)=h(x)}
解析分支 ）。称这种情况为代数扩张。
h
{\displaystyle h}
F
{\displaystyle F}
超越 元素，且
δ
h
∈
F
{\displaystyle \delta h\in F}
f
∈
F
{\displaystyle f\in F}
δ
(
ln
(
f
)
)
=
δ
(
f
)
/
f
∈
F
{\displaystyle \delta (\ln(f))=\delta (f)/f\in F}
h
{\displaystyle h}
F
{\displaystyle F}
h
{\displaystyle h}
F
{\displaystyle F}
δ
h
/
h
∈
F
{\displaystyle \delta h/h\in F}
f
∈
F
{\displaystyle f\in F}
δ
(
exp
(
f
)
)
/
exp
(
f
)
=
δ
(
f
)
∈
F
{\displaystyle \delta (\exp(f))/\exp(f)=\delta (f)\in F}
h
{\displaystyle h}
F
{\displaystyle F}
初等扩张 是指接连进行如上的扩张得到的微分域
F
(
h
1
,
.
.
.
,
h
n
)
{\displaystyle F(h_{1},...,h_{n})}
h
j
{\displaystyle h_{j}}
F
(
h
1
,
.
.
.
,
h
j
−
1
)
{\displaystyle F(h_{1},...,h_{j-1})}
f
(
x
)
{\displaystyle f(x)}
初等函数 若它在微分域
(
C
(
x
)
,
d
/
d
x
)
{\displaystyle (\mathbb {C} (x),\mathrm {d} /\mathrm {d} x)}
以下为刘维尔第一定理（Theorem of Liouville-first statement）。
设
F
{\displaystyle F}
K
{\displaystyle K}
F
{\displaystyle F}
C
o
n
(
K
,
δ
)
=
C
o
n
(
F
,
δ
)
{\displaystyle \mathrm {Con} (K,\delta )=\mathrm {Con} (F,\delta )}
f
∈
F
{\displaystyle f\in F}
g
∈
K
{\displaystyle g\in K}
δ
g
=
f
{\displaystyle \delta g=f}
[ 4] [ 5]
g
=
c
1
ln
(
u
1
)
+
⋯
+
c
n
ln
(
u
n
)
+
v
.
{\displaystyle g=c_{1}\ln(u_{1})+\dotsb +c_{n}\ln(u_{n})+v.}
其中
c
1
,
.
.
.
,
c
n
∈
C
o
n
(
F
,
δ
)
{\displaystyle c_{1},...,c_{n}\in \mathrm {Con} (F,\delta )}
u
1
,
.
.
.
,
u
n
,
v
∈
F
{\displaystyle u_{1},...,u_{n},v\in F}
以下为刘维尔第二定理（Theorem of Liouville-second statement），又称强刘维尔定理（Strong Liouville theorem）。
设
F
{\displaystyle F}
B
=
C
o
n
(
F
,
δ
)
{\displaystyle B=\mathrm {Con} (F,\delta )}
g
{\displaystyle g}
F
{\displaystyle F}
δ
g
=
f
∈
F
{\displaystyle \delta g=f\in F}
f
=
c
1
δ
u
1
u
1
+
⋯
+
c
n
δ
u
n
u
n
+
δ
v
.
{\displaystyle f=c_{1}{\frac {\delta u_{1}}{u_{1}}}+\dotsb +c_{n}{\frac {\delta u_{n}}{u_{n}}}+\delta v.}
其中
c
1
,
.
.
.
,
c
n
∈
B
¯
{\displaystyle c_{1},...,c_{n}\in {\bar {B}}}
v
∈
F
{\displaystyle v\in F}
u
1
,
.
.
.
,
u
n
,
v
∈
B
¯
F
{\displaystyle u_{1},...,u_{n},v\in {\bar {B}}F}
B
¯
{\displaystyle {\bar {B}}}
B
{\displaystyle B}
代数闭域 .
每个
F
{\displaystyle F}
B
¯
F
{\displaystyle {\bar {B}}F}
自同构 交换求和的顺序。
注：对于通常所说的初等函数 ，
C
o
n
(
K
,
δ
)
=
C
o
n
(
F
,
δ
)
=
C
{\displaystyle \mathrm {Con} (K,\delta )=\mathrm {Con} (F,\delta )=\mathbb {C} }
C
o
n
(
F
,
δ
)
=
R
{\displaystyle \mathrm {Con} (F,\delta )=\mathbb {R} }
1
/
(
x
2
+
1
)
{\displaystyle 1/(x^{2}+1)}
虚数 。
例如复数域 上的有理函数 域
C
(
x
)
{\displaystyle \mathbb {C} (x)}
导数 即构成了一个微分域
(
C
(
x
)
,
d
/
d
x
)
{\displaystyle (\mathbb {C} (x),\mathrm {d} /\mathrm {d} x)}
C
{\displaystyle \mathbb {C} }
函数
1
/
x
∈
C
(
x
)
{\displaystyle 1/x\in \mathbb {C} (x)}
ln
(
x
)
+
C
{\displaystyle \ln(x)+C}
(
C
(
x
)
,
d
/
d
x
)
{\displaystyle (\mathbb {C} (x),\mathrm {d} /\mathrm {d} x)}
x
,
C
∈
C
(
x
)
,
1
∈
C
{\displaystyle x,C\in \mathbb {C} (x),1\in \mathbb {C} }
1
/
(
x
2
+
1
)
∈
C
(
x
)
{\displaystyle 1/(x^{2}+1)\in \mathbb {C} (x)}
反正切函数 可以表达成对数的形式
arctan
(
x
)
+
C
=
−
i
2
ln
1
+
i
x
1
−
i
x
+
C
{\displaystyle \arctan(x)+C=-{\frac {i}{2}}\ln {\frac {1+ix}{1-ix}}+C}
显然也有
C
,
1
+
i
x
1
−
i
x
∈
C
(
x
)
,
−
i
2
∈
C
{\displaystyle C,{\frac {1+ix}{1-ix}}\in \mathbb {C} (x),-{\frac {i}{2}}\in \mathbb {C} }
下面考虑
f
(
x
)
=
1
/
(
x
ln
(
x
)
)
{\displaystyle f(x)=1/(x\ln(x))}
C
(
x
)
{\displaystyle \mathbb {C} (x)}
ln
(
x
)
{\displaystyle \ln(x)}
C
(
x
)
{\displaystyle \mathbb {C} (x)}
超越函数 ）。把
ln
(
x
)
{\displaystyle \ln(x)}
C
(
x
)
{\displaystyle \mathbb {C} (x)}
(
F
,
d
/
d
x
)
,
F
=
C
(
x
)
(
ln
(
x
)
)
{\displaystyle (F,\mathrm {d} /\mathrm {d} x),F=\mathbb {C} (x)(\ln(x))}
f
∈
F
{\displaystyle f\in F}
f
(
x
)
{\displaystyle f(x)}
ln
(
ln
(
x
)
)
{\displaystyle \ln(\ln(x))}
f
(
x
)
{\displaystyle f(x)}
F
{\displaystyle F}
f
(
x
)
{\displaystyle f(x)}
事实上，Risch 1969 年的论文表明，对于任意复杂的初等函数，总可以找到适当的包含
f
(
x
)
{\displaystyle f(x)}
F
{\displaystyle F}
C
(
x
)
{\displaystyle \mathbb {C} (x)}
C
(
x
,
x
1
,
.
.
.
,
x
n
)
=
F
{\displaystyle \mathbb {C} (x,x_{1},...,x_{n})=F}
Risch算法 ）。[ 5]
^ Lützen, J. (1990). Integration in Finite Terms. In Joseph Liouville 1809–1882 (pp. 351-422). Springer New York.
^ Prelle, M. J., & Singer, M. F. (1983). Elementary first integrals of differential equations. Transactions of the American Mathematical Society, 279(1), 215-229.
^ Singer, Michael F. "Liouvillian first integrals of differential equations." Transactions of the American Mathematical Society 333.2 (1992): 673-688.
^ 4.0 4.1 Rosenlicht, M. (1972). Integration in finite terms. American Mathematical Monthly, 963-972.
^ 5.0 5.1 Risch, Robert H. "The problem of integration in finite terms." Transactions of the American Mathematical Society (1969): 167-189.
![{\displaystyle p(t)(\in F[t])}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5a504368e703f91c41bac3ba24504bd2a2b8eab4)
![{\displaystyle p(x)\in \mathbb {C} [x]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a8eb6c52fee01c3912e56773472c57dc153a5bdc)
