Integração em finitos termos: o princípio de Liouville e o método de Ostrowski

Desde os primórdios do Cálculo Diferencial e Integral, muitos matemáticos dedicaram anos de suas vidas no desenvolvimento dessa disciplina. Eles aprimoraram diversas técnicas para efetuar o cálculo de integrais de várias classes de funções, mas havia algumas delas que eles não conseguiam calcular em termos de funções elementares (funções expressas por uma quantidade finita de polinômios, radicais, exponenciais, logaritmos e funções trigonométricas, usando uma quantidade finita de operações algébricas e composições de funções). Surgiu o questionamento se tais integrais eram de fato elementares. Isso levou o matemático francês Joseph Liouville a desenvolver uma teoria de integração em finitos termos. Será exposto, neste artigo, o raciocínio genial de Liouville e uma generalização devida ao matemático ucraniano Alexander Ostrowski. Também apresentam-se possíveis aplicações de seus resultados no cálculo de algumas integrais.