Une technique de construction de solutions en série pour des équations différentielles ordinaires linéaires au voisinage d'un point singulier régulier, en autorisant des séries en puissances multipliées par un exposant éventuellement non entier déterminé par une équation indicielle.

Principe

Chercher des solutions de la forme x^r sum_{n≥0} a_n x^n, substituer dans l'équation, déterminer r à partir du polynôme indiciel au point singulier, puis calculer récursivement les coefficients a_n ; traiter les racines multiples ou différant d'un entier par l'apparition éventuelle de termes logarithmiques.

Démonstration

Pour l'équation de Bessel en x=0, l'équation indicielle fournit les exposants ±ν ; la procédure de Frobenius produit les fonctions de Bessel J_ν et J_-ν (et lorsque ν est entier, la seconde solution implique un terme en log), donnant des séries convergentes sur un voisinage puncturé du singulier.

Mauvaise application

Appliquer Frobenius en un point singulier irrégulier où l'ansatz en série échoue, ou omettre la possibilité de termes logarithmiques quand les racines indicielle diffèrent d'un entier ; une telle mauvaise application donne des séries divergentes ou manque des solutions indépendantes.

Conséquence

Une construction systématique d'ensembles fondamentaux locaux de solutions près des points singuliers réguliers, des relations de récurrence explicites pour les coefficients en série et des critères indiquant quand des termes en log sont nécessaires, fournissant une structure analytique locale précise.

Inversion

En un point ordinaire (non singulier), la méthode de séries entières ordinaire suffit et aucun décalage d'exposant n'est nécessaire ; revenir à ce cas montre que Frobenius généralise la série ordinaire en introduisant l'exposant principal r.

Limite

S'applique aux EDO linéaires près de points singuliers réguliers ; ne s'applique pas aux EDO non linéaires générales ni aux points singuliers essentiels ou irréguliers sans modifications (par ex. séries formelles ou asymptotiques sont alors nécessaires).

Tension sémantique

Voisine de la méthode de séries ordinaires et des techniques d'expansion asymptotique ; la tension apparaît pour décider si le point est singulier régulier (Frobenius applicable) ou irrégulier (autres outils requis) et pour distinguer solutions analytiques réelles de séries formelles.

Synthèse

Frobenius est une construction contrôlée en séries qui remplace l'ansatz en série ordinaire par x^r fois une série en puissances, utilise une équation indicielle pour fixer r, puis produit des récurrences pour obtenir des solutions analytiques locales autour de points singuliers réguliers, avec règles explicites pour les cas exceptionnels de différences entières.