Une technique de résolution pour les équations aux dérivées partielles linéaires qui suppose qu'une solution peut se factoriser en fonctions dépendant chacune d'une seule coordonnée (ou d'un sous-ensemble de coordonnées), réduisant la PDE à une famille d'équations différentielles ordinaires par l'introduction de constantes de séparation.

Principe

Supposer u(x1,...,xn,t) = Π_j φ_j(coordonnée_j) (ou un ansatz produit/temps), substituer dans la PDE linéaire, diviser par le produit pour isoler des termes dépendant de variables différentes, et égaliser chacun à des constantes de séparation pour obtenir des EDO ; la superposition des modes séparés reconstitue les solutions générales lorsque l'achèvement est assuré.

Démonstration

Équation de la chaleur sur une barre : u_t = k u_xx pour x∈(0,L), t>0 avec conditions aux limites de Dirichlet homogènes. Cherchons u(x,t)=X(x)T(t). La substitution donne T'(t)/kT(t) = X''(x)/X(x) = −λ. Résoudre X'' + λ X = 0 avec X(0)=X(L)=0 donne les fonctions propres sin(nπx/L) et les facteurs temporels T_n(t)=exp(−kλ_n t), produisant la série de Fourier en sinus.

Mauvaise application

Appliquer la séparation à des géométries non séparables, à des PDE non linéaires dépourvues de structure en produit, ou à des conditions aux limites incompatibles ; supposer que les solutions séparées engendrent l'espace des solutions sans vérifier l'achèvement ou l'orthogonalité conduit à des erreurs.

Conséquence

Transforme une PDE en problèmes EDO plus simples, fournit des décompositions modales explicites, donne des bases propres orthogonales pour les développements et fournit des formules de solutions en séries qui fondent les méthodes spectrales et l'analyse qualitative.

Inversion

Au lieu de factoriser les variables, utiliser des méthodes de transformée intégrale (Fourier/Laplace), des discrétisations numériques ou des méthodes caractéristiques qui n'imposent pas de forme produit ; ces alternatives couplent les variables plutôt que de les découpler.

Limite

Efficace pour les PDE linéaires dans des systèmes de coordonnées séparables avec conditions aux limites compatibles avec l'ansatz produit et pour les opérateurs à spectre discret. Elle n'est pas applicable en général aux problèmes fortement non linéaires, aux PDE à coefficients variables sans structure séparables, ni aux domaines sans coordonnées séparables.

Tension sémantique

Tension entre la séparation des variables et d'autres décompositions modales : la séparation est un ansatz d'exacte factorisation, tandis que les développements en Fourier/fonctions propres peuvent être utilisés plus généralement ; tension aussi avec la séparation numérique (operator splitting) qui est algorithmique plutôt qu'analytique.

Synthèse

La séparation des variables est une réduction analytique qui suppose des solutions factorisées pour découpler une PDE linéaire en EDO ; lorsque le domaine, l'opérateur et les conditions aux limites admettent cette structure, elle donne des développements en fonctions propres et des formules de solutions explicites.