Un operador lineal definido por un símbolo a(x, ξ) en el espacio de fases mediante una integral oscilatoria o una regla de cuantización que generaliza los operadores diferenciales al permitir dependencia no polinómica en la variable de frecuencia y codificar comportamiento microlocal y no local utilizado en EDP y análisis espectral.

Principio

Caracterizar un operador por su símbolo en el espacio cotangente y gobernar la propagación de singularidades y la regularidad mediante estimaciones del símbolo (clases S^m y reglas de cálculo) en lugar de coeficientes diferenciales puramente locales.

Demostración

En R^n la cuantización de Kohn–Nirenberg asigna a un símbolo a(x, ξ) ∈ S^m el operador (Op(a)u)(x)=∫ e^{i x·ξ} a(x, ξ) û(ξ) dξ; si a(x, ξ)=|ξ|^2 se recupera el Laplaciano, mientras que símbolos no polinómicos dan lugares a Laplacianos fraccionarios u operadores suavizantes según la decaimiento en ξ.

Aplicación incorrecta

Tratar como pseudodiferencial a cualquier operador definido por un núcleo o integral sin verificar la regularidad del símbolo y las estimaciones en espacio de fases, lo que conduce a conclusiones erróneas sobre propiedades de acotación o comportamiento microlocal.

Consecuencia

Si el símbolo satisface las estimaciones apropiadas, el operador hereda propiedades de acotación (acotación en L^2, cambios de regularidad entre espacios de Sobolev, parametrices elípticos) y es posible componer, tomar adjuntos y calcular símbolos principales para analizar singularidades.

Inversión

Un operador diferencial local es el caso restringido con símbolo polinómico en ξ; invertir la perspectiva produce un cálculo puramente local de coeficientes algebraicos en lugar de un cálculo microlocal en frecuencias.

Límite

Se aplica a operadores cuyos núcleos admiten una descripción por símbolo en el espacio de fases; excluye operadores generales de integrales de Fourier sin cuantización de símbolo, operadores en entornos no varietales sin cuantizaciones adaptadas o símbolos fuera de clases establecidas salvo extensiones explícitas.

Tensión semántica

Compite con los operadores de integrales de Fourier: ambos usan el espacio de fases, pero los operadores de Fourier enfatizan la fase global y la propagación, mientras que los pseudodiferenciales enfatizan expansiones locales de símbolo y cálculo formal; confundirlos oculta la distinción entre propagación y regularidad microlocal.

Síntesis

Un operador pseudodiferencial es la cuantización microlocal de un símbolo en el espacio de fases que proporciona un cálculo que extiende los operadores diferenciales a dependencias en frecuencia no polinómicas, permitiendo control preciso de regularidad, composición y propagación de singularidades en EDP y problemas espectrales.