Un marco mediante operadores de proyección que descompone exactamente la evolución dinámica completa en ecuaciones para un conjunto elegido de variables resueltas más núcleos de memoria y fuerzas fluctuantes (ortogonales) que representan las escalas no resueltas, produciendo reducciones del tipo de ecuación de Langevin generalizada.

Principio

La regla organizadora es que cualquier sistema dinámico puede particionarse mediante un operador de proyección en componentes resueltas y no resueltas; la parte no resuelta aporta memoria no local en el tiempo y ruido de tipo estocástico que debe considerarse para obtener una dinámica reducida exacta.

Demostración

Aplicación para derivar una ecuación de Langevin generalizada para una partícula marcada en un fluido: la proyección sobre la velocidad de la partícula genera un núcleo de memoria expresable mediante la autocorrelación de la dinámica ortogonal y una fuerza fluctuante cuyas estadísticas están restringidas por relaciones de fluctuación–disipación en equilibrio.

Aplicación incorrecta

Truncar arbitrariamente el núcleo de memoria, sustituir memoria correlacionada por ruido blanco no correlacionado sin separación de escalas temporales o escoger una base de proyección inadecuada conduce a modelos reducidos engañosos y pérdida de dinámica lenta importante.

Consecuencia

La aplicación correcta produce modelos reducidos sistemáticos que incluyen fricción no markoviana y ruido correlacionado, mejorando la fidelidad frente a cierres markovianos ingenuos cuando las escalas no resueltas generan efectos de memoria significativos.

Inversión

Una truncación galerkina puramente markoviana o un cierre ad hoc que omite memoria y fuerzas ortogonales contrasta con Mori–Zwanzig al imponer dependencia instantánea solamente y típicamente subestimar correlaciones a largo plazo.

Límite

Formalmente exacto para cualquier elección de proyección, pero su uso práctico requiere núcleos de memoria computables o aproximaciones controladas; es más útil cuando los espacios de proyección son de baja dimensión y pueden estimarse funciones de correlación de la dinámica ortogonal, y menos útil cuando la estimación de la memoria es inviable.

Tensión semántica

Tensión entre la exactitud formal de la descomposición por proyección y la necesidad empírica de aproximar los núcleos (Mori–Zwanzig vs modelos markovianos dirigidos por datos); tensión también entre la eliminación determinista y la emergencia de dinámicas efectivas estocásticas.

Síntesis

El formalismo de Mori–Zwanzig proporciona una descomposición de operadores exacta que produce ecuaciones reducidas, generalmente no markovianas, con núcleos de memoria y fuerzas fluctuantes ortogonales; la reducción práctica equilibra esa exactitud con la necesidad de aproximaciones tratables del recuerdo y del ruido.