不定积分中的“积不出”问题

不定积分中的“积不出”问题 不定积分中的“积不出”问题 张春苟 首都师范大学科学学院 北京 100037 摘要：本文利用刘维尔（J. Liouville）定理讨论了几类不定积分是否初等函数的问题，并给出了相应的判定法则。 关键词：不定积分；原函数；初等函数 中图分类号：O 171 1 引 言 我们说函数 “积不出”是指不定积分 不是初等函数，即 的原函数不是初等函数。在数学分析教材中，都只是结论性的给出几个这样的例子，既不证明，也没有更多的说明。这难免不使学生感到疑惑和不塌实，也容易使学生误以为积不出的函数很少，同时也可能会使学生在遇到积不出问题时，却试图寻求原函数求解而煞费苦心，浪费时间。因此，给出更多积不出函数的例子和一些判断不定积分是否初等函数的法则是很有必要的， 本文将在此方面做一些探讨。 研究函数积不出问题的基础之一是以下的刘维尔（J. Liouville）定理[1] 定理A（刘维尔第三定理）：设 ， 为 的代数函数1，且 不为常数。若 是初等函数，则 = ，其中 和 分别是有理函数和常数。 定理B（刘维尔第四定理）：设 ， （ ）为 的代数函数，且 常数 ( )。若函数 的不定积分是初等函数，则 也是初等函数。 换句话说就得下面的推论 推论 设 ， （ ）为 的代数函数，且 常数 ( )。若 中有一项是积不出函数，则 也是积不出函数。 2．主要结果 文献[2]利用刘维尔第三定理证明了不定积分 （ ）、 （ ）、 以及 、 等不是初等函数。由欧拉，用刘维尔第四定理不难证明不定积分 、 也不是初等函数。利用分部积分、变量替换等手段由它们可得更多积不出函数。 1．不定积分 （ 是 次非零多项式）何时为初等函数？ 设 次的多项式 = （ ）．当 时，由分部积分可得 = + 则 = = + + = + 由于不定积分 不是初等函数，因此当且仅当 时， 是初等函数。 定理1 当且仅当 时， 是初等函数。 2．不定积分 （ 是 次的非零多项式）何时为初等函数？ 我们注意到：当 为正整数时，不定积分 为初等函数，而不定积分 = + + + 不是初等函数。不妨设 ，则 = + 这里 是初等函数。因此我们有， 定理2 当且仅当 时，不定积分 是初等函数。 3．不定积分 （ 是 次的非零多项式）何时为初等函数？ 令 ，则 。 = = 而 常数（ ） 这样由刘维尔第四定理知 定理3 对任何非零多项式 ，不定积分 是非初等函数。 4．不定积分 （ 是 次的非零多项式）何时为初等函数？ 由欧拉公式得 = ，则 当 为正整数时，不定积分 、 是初等函数，因此不妨设 ，则 = 这里 是初等函数。既然 常数，则由刘维尔第四定理知 定理4 当且仅当 时， 不定积分 、 是初等函数。 5．不定积分 （ 是 次的非零多项式）何时为初等函数？ 对此，类似问题4的讨论我们有 定理5 当且仅当 时，不定积分 、 （ 是 次的非零多项式）为初等函数。 6．不定积分 何时为初等函数？对此有如下的切彼晓夫（Η.Л.Чeбышв）定理 。 定理C 不定积分 （其中 是有理数）是初等函数的充分必要条件是 三个数中至少有一个是整数。 特别地，取 ，则可得如下推论 推论 设 是有理数，则不定积分 是初等函数的充分必要条件是 三个数中至少有一个是整数。 7．不定积分 （ 是 次的多项式）何时为初等函数？我们注意到当 时，不定积分 总是初等函数，这在数学分析教材里有说明；当 时，不定积分 一般不是初等函数；当 时称为椭圆积分，文献［４］指出它总可以示成初等函数与以下三个标准的椭圆积分之和： ① 、 ② 、 ③ 。 而这些椭圆积分，早在１８３３年刘维尔就证明了不是初等函数。 参考文献 [1] 张从军，数学分析概要二十讲，安徽大学出版社，2000年。 [2] 王建华、周丽萍，呼伦贝尔学院学报 第十三卷第2期，2005年。 [3] В．П．吉米多维奇著，李荣冻译，数学分析习题集，人民教育出版社，１９５８年． [4] 周民强，数学分析（第一册），上海科学技术出版社，２００２年． The problem on “beyond element” in indefinite integral Chungou Zhang ( Mathematical Science college, Capital Normal Uni. Beijing 100037 ) Abstract In this paper, we discuss the problem on “beyond element” in indefinite integral by Liouville’s theorem and give the criterions for several classes of indefinite integral to determine whether or not are “non-element functions” . Keywords the indefinite integral the original function element function 1 如果函数 满足方程 ，其中 是正整数， 是多项式， ．那么函数 称为 的代数函数．