初等函数积分的刘维尔定理Liouville's theorem on integration in terms of elementary functions
先看两篇中文文章,或许有助于理解接下来的英文内容。 以下内容的PDF文件下载地址:https://ksda.ccny.cuny.edu/PostedPapers/liouv06.pdf This talk should be regarded as an elementary introduction to differential algebra. It culminates in a purely algebraic proof, due to M. Rosenlicht, of an 1835 theorem of Liouville on the existence of “elementary” integrals of “elementary” functions. The precise meaning of elementary will be specified. As an application of that theorem we prove that the indefinite integral ∫e^(x^2)dx cannot be expressed in terms of elementary functions. 这次演讲应该被看作是对微分代数的初步介绍。由M.Rosenlicht 于1835年提出的关于“初等”函数的“初等