Definición
Estudio de las singularidades de distribuciones y soluciones de EDP en el nivel combinado de posición–frecuencia (espacio de fases) usando herramientas como el conjunto frente de onda, operadores pseudodiferenciales e integrales de Fourier y geometría simpléctica para rastrear cómo se propagan e interactúan las singularidades.

Principio

Principio
Localizar simultáneamente en espacio y frecuencia: las singularidades se describen por su posición y direcciones cotangentes (conjunto frente de onda), y su propagación bajo EDP lineales sigue el flujo de bicharacterísticas en el espacio de fases determinado por el símbolo principal; la elipticidad microlocal da regularidad local en el espacio de fases.

Demostración

Demostración
Para la ecuación de ondas en una variedad suave, las singularidades de los datos iniciales se propagan a lo largo de null‑bicharacterísticas; aplicando un parámetrix pseudodiferencial se controla el frente de onda y se demuestra la propagación a velocidad finita y las leyes de reflexión/transmisión en interfaces lisas.

Aplicación incorrecta

Aplicación incorrecta
Confiar solo en transformadas de Fourier puntuales o en localización puramente espacial e ignorar la información direccional en frecuencia; o emplear la calculación pseudodiferencial de forma heurística sin comprobar clases de símbolos y la elipticidad microlocal, lo que conduce a conclusiones erróneas sobre la propagación.

Consecuencia

Consecuencia
Provoca teoremas precisos de regularidad y propagación, permite construir parámetrix, aclara fenómenos de dispersión y difracción, y conecta el comportamiento de las EDP con invariantes simplécticos/topológicos utilizados en teoría del índice y correspondencias cuántico/clásicas.

Inversión

Inversión
El análisis puramente local (espacio físico) que ignora el contenido frecuencial no puede resolver singularidades direccionales ni la propagación a lo largo de bicharacterísticas; el análisis armónico global captura la frecuencia pero pierde la localización espacial necesaria para fenómenos en fronteras/interfaces.

Límite

Límite
Se aplica principalmente a EDP lineales, distribuciones y operadores lineales que admiten cálculo de símbolos (marco de pseudodiferenciales/IFOs); resulta menos directamente aplicable a EDP totalmente no lineales sin linearización o a modelos puramente probabilísticos sin descripción en espacio de fases.

Tensión semántica

Tensión semántica
Se solapa con el análisis armónico y la óptica geométrica: el análisis armónico enfatiza descomposiciones frecuenciales globales, la óptica geométrica la asíntotica de alta frecuencia; el análisis microlocal se distingue al combinar posición local y frecuencia direccional para resolver estructuras singulares.

Síntesis

Síntesis
El análisis microlocal es el cálculo en espacio de fases que describe dónde y en qué direcciones las soluciones dejan de ser suaves, usando métodos simbólicos y dinámica simpléctica para predecir y controlar la propagación, interacción y resolución de singularidades.