| Résume | When solving a differential equation, one sometimes finds that solutions can be expressed using a finite number of fixed, particular solutions. As an example, the set of solutions of a linear differential equation is a finite-dimensional complex vector space. This is an incarnation of the model-theoretic phenomenon of internality to the constants in a differentially closed field of characteristic zero. In this talk, I will discuss some recent progress, joint with Christine Eagles, on finding methods to determine whether or not the solution set of a differential equation is internal. A corollary of our method also gives a criteria for solutions to be orthogonal to the constants, and in particular not Liouvillian. I will show a concrete application to Lotka-Volterra systems. |
