1. Àlgebra diferencial: El teorema de Liouville
- Author
-
Sánchez Aragón, Sergi and Crespo Vicente, Teresa
- Subjects
Cossos algebraics ,Nombres transcendents ,Àlgebra diferencial ,Transcendental numbers ,Bachelor's theses ,Commutative rings ,Treballs de fi de grau ,Anells commutatius ,Differential algebra ,Algebraic fields - Abstract
Treballs Finals de Grau de Matemàtiques, Facultat de Matemàtiques, Universitat de Barcelona, Any: 2022, Director: Teresa Crespo Vicente, [en] Abstract It's one of the first results a maths undergraduate hears about. The function $e^{-x^{2}}$ does not have an antiderivative, the value of its integral on any given interval where it can be calculated can only be approximated via numerical methods. But what does it mean for a real function to not have an antiderivative, a function that expresses its integral in simple terms? When do we even consider a real or complex function to be expressible in simple terms? These questions are the focus of this project. Using modern results in mathematics, mainly differential algebra, we aim to introduce a theoretical frame where these questions can be posed rigorously, one where we can prove the theorem that answers them: Liouville's theorem about antiderivatives.
- Published
- 2022