Una técnica de resolución para ecuaciones en derivadas parciales lineales que supone que una solución puede factorizarse en funciones que dependen de una sola coordenada (o subconjunto de coordenadas), reduciendo la PDE a una familia de ecuaciones diferenciales ordinarias mediante constantes de separación.

Principio

Asumir u(x1,...,xn,t) = Π_j φ_j(coordenada_j) (o un ansatz producto/tiempo), sustituir en la PDE lineal, dividir por el producto para aislar términos que dependen de distintas variables y equiparar cada término a constantes de separación para obtener EDOs; la superposición de modos separados reconstruye soluciones generales si existe completitud.

Demostración

Ecuación del calor en una barra: u_t = k u_xx para x∈(0,L), t>0 con condiciones de Dirichlet homogéneas. Buscar u(x,t)=X(x)T(t). La sustitución da T'(t)/kT(t) = X''(x)/X(x) = −λ. Resolver X'' + λ X = 0 con X(0)=X(L)=0 produce eigenfunciones sin(nπx/L) y factores temporales T_n(t)=exp(−kλ_n t), dando la serie de Fourier de senos.

Aplicación incorrecta

Aplicar separación a geometrías no separables, a PDE no lineales sin estructura producto o a condiciones de contorno incompatibles; suponer que las soluciones separadas abarcan el espacio solución sin verificar completitud u ortogonalidad conduce a errores.

Consecuencia

Transforma una PDE en problemas ODE más simples, proporciona descomposiciones modales explícitas, entrega bases propias ortogonales para expansiones y fórmulas analíticas en series que sostienen métodos espectrales y análisis cualitativo.

Inversión

En lugar de factorizar variables, usar métodos de transformada integral (Fourier/Laplace), discretización numérica o métodos de características que no asumen formas producto; estas alternativas acoplan las variables en lugar de desacoplarlas.

Límite

Eficaz para PDE lineales en sistemas de coordenadas separables con condiciones de contorno compatibles con el ansatz producto y para operadores con espectro discreto. No es aplicable en general a problemas fuertemente no lineales, PDE con coeficientes variables sin estructura separable ni a dominios sin coordenadas separables.

Tensión semántica

Tensión entre separación de variables y otras descomposiciones modales: la separación es un ansatz de factorización exacta, mientras que las expansiones en Fourier/funciones propias pueden usarse más ampliamente; tensión también con la separación numérica (operator splitting) que es algorítmica.

Síntesis

La Separación de Variables es una reducción analítica que asume soluciones factorizadas para desacoplar una PDE lineal en EDOs; cuando dominio, operador y condiciones de contorno permiten esa estructura, proporciona desarrollos en funciones propias y fórmulas explícitas de solución.