DIFFÉRENTIELLES ÉQUATIONS

Les équations différentielles sont apparues historiquement tout au début du développement de l'analyse, en général à l'occasion de problèmes de mécanique ou de géométrie. Si, dans les premières investigations, l'on s'attachait surtout à en calculer les solutions au moyen de fonctions déjà connues, très vite ce point de vue s'affirma trop étroit ; c'est qu'en effet le problème fondamental de la théorie des équations différentielles est de déduire les propriétés des solutions d'une équation ou d'un système donné de la forme analytique de ceux-ci ; or, en général, les équations qui résultent d'une investigation théorique en mathématiques ou en physique ne sont pas explicitement intégrables et constituent, bien souvent, la principale source pour la définition de nouvelles fonctions dont les propriétés peuvent être prévues par une analyse systématique de grandes classes d'équations ou de systèmes.

On développera, dans les quelques rubriques qui suivent, les méthodes propres à mettre en évidence l'existence de solutions sous des conditions appropriées et à en étudier les propriétés les plus fondamentales.

Les systèmes différentiels linéaires dans le champ réel

On se propose d'étudier l'existence et les propriétés des solutions du système différentiel linéaire :

pour i, j = 1, 2, ..., n, où les fonctions a_ij(t), b_i(t ) de la variable réelle t sont à valeurs réelles ou complexes. Introduisant la matrice n × n, c'est-à-dire à n lignes et à n colonnes, A(t ) = (a_ij(t )), et les vecteurs x = (x₁, x₂, ..., x_n), b = (b₁, b₂, ..., b_n), on peut écrire au lieu de (1) :

On notera que toute équation différentielle linéaire d'ordre n :

u^(j) désignant la dérivée d'ordre j de la fonction u(t ) peut être ramenée à la forme (1) ou (2) au moyen de substitutions x₁ = u, x₂ = u′, ..., x_n = u^(n-1), la matrice A et le vecteur b étant alors définis par :

Existence des solutions

Un premier résultat fondamental est donné par le théorème suivant : Le système

où A(t ) est une matrice n × n fonction continue de t ∈ [0, t₀] et o [...]