不定积分中“积不出”问题探讨.docVIP

不定积分中“积不出”问题探讨 　　摘要： 本文对不定积分中的“积不来”问题进行了研究，论述了自刘维尔（J.Liouville）第一个研究该问题的一系列定理，并分析了它们之间的关系，根据常用积分表与相关定理总结推导出不定积分中“积不出”的若干重要类型. 　　关键词： 不定积分原函数初等函数 　　 　　初等函数在其定义域内是连续的，而任何连续函数的原函数都是存在的，因此，每个初等函数在其定义区间上都有原函数，都存在不定积分.函数“积不出”是指不定积分?蘩f（x）dx不是初等函数，即的原函数不是初等函数. 　　有限形式下初等函数的积分最早是由刘维尔提出并研究的问题.首先证明了，如果一个代数函数的原函数是初等函数，则它的原函数是代数函数，不过他所说的初等函数包括代数函数，接着他把定理推广到一般的初等函数的情况.后来众多数学家如Ostrowski，R.H.Risch，Maxwell Rosenlicht，Ritt等沿Liouville的思想方法进行推广、重新表述、证明，从理论上基本解决了该问题，然而应用这些理论作证明需要用到微分代数的知识，过于复杂，难以为一般教科书所采用.这里仅对这方面理论作综述，限于篇幅不给出证明，尽量多给出“积不出”的函数例子及如何快速判断函数是否“积不出”的一些方法. 　　一、主要理论 　　刘维尔第三定理：设f（x），g（x）为x的代数函数，且g（x）不为常数.若?蘩f（x）e■dx是初等函数，则?蘩f（x）e■dx=R（x）e■+C，其中R（x）是x，f（x），g（x）的有理函数，C是常数. 　　刘维尔第四定理：设f■（x），g■（x）（k=1，2，…，n）为x的代数函数，且g■（x）-g■（x）≠常数（i≠j）.若函数w（x）=■f■（x）e■的不定积分是初等函数，则?蘩f■（x）e■dx（k=1，2，…，n）也是初等函数. 　　推论1：设■（x），g■（x）（k=1，2，…，n）为x的代数函数，且g■（x）-g■（x）≠常数（i≠j）.若w（x）=■f■（x）e■中有一项是积不出函数，则w（x）也是积不出函数. 　　推论2：设f（x）是有理函数，g（x）是多项式函数，则不定积分?蘩f■（x）e■dx是初等的，则不定积分?蘩f■（x）e■dx是初等的充要?蘩f■（x）e■dx条件是存在有理函数R（x），使R′（x）+g′（x）R（x）=f（x）成立. 　　上述定理主要用来判定是否能“积出来”，通过欧拉定理，三角函数一些类型也可以通过上述定理解决.以下是现代数学家A.Ostrowski、Ritt用域扩张法代数的表述Liouville定理. 　　Liouville定理：设K是微分域，f∈K，若存在K的初等扩张域Const（E）=Const（K），g∈K使得Dg=f，则v∈K，u■，…，u■∈K■，c■，…，c■∈Const（K）使得：f=Dv+■c■■（其中Const（k）={a∈K|Da=0}，初等扩张包括代数扩张、对数扩张、指数扩张）. 　　强Liouville定理：设f是初等函数，K是包括初f等域，C为复数域，那么f的原函数能用初等函数表示出来当且仅当C中存在非零常数c■，…，c■和K中的非零函数g■，…，g■和K中函数h，使得f=■c■■+h′. 　　推论：设f，g∈C（x）（复数域上x有理函数）且f≠0，g不是常数，若f（x）e■的原函数能用初等函数表示出来，则在C（x）中存在一个有理函数R（x）使R′（x）+g′（x）R（x）=f（x）成立. 　　替换定理：设f（x）、x=g（t）及它的反函数t=g■（x）都是初等函数，则?蘩f（x）dx是非初等函数当且仅当?蘩f（g（t））g′（t）dt也是非初等函数. 　　总之，有限形式下的积分理论，经历了从19世纪早期Liouville的创立到Ritt于1948年的总结，特别是Rosenlicht和Risch作出了重要贡献. 　　二、主要结果 　　文献［１］利用刘维尔第三定理证明了不定积分?蘩e■dx（b≠0）?蘩■dx（b≠0）?蘩■dx等不是初等函数.由欧拉公式和刘维尔第四定理，不难证明?蘩sinx■dx，?蘩cosx■dx，?蘩■dx，?蘩■dx也不是初等函数，利用分部积分、变量替换等手段，由它们可得更多“积不出”函数. 　　1.由?蘩e■dx不是初等函数通过欧拉公式，分部积分变量替换导出来的类型. 　　?蘩■dx，?蘩■dx，?蘩■dx，?蘩■dx，?蘩■dx，?蘩■dx，?蘩x■sinx■dx，?蘩■dx，?蘩■dx，?蘩■dx，?蘩■dx，（其中m，n∈N■）. 　　2.通过变量替换，分部积分可以化归成二项微分式的类型. 　　切比雪夫定理：不定积分?蘩x■（a+bx■）■dx（其中a，b≠0，b，q，r是