Un cálculo pseudodiferencial microlocal desarrollado para analizar operadores diferenciales en variedades con singularidades de tipo arista o fronteras estratificadas; organiza símbolos y clases de operadores según una descomposición base–fibra cerca de la arista y captura el comportamiento anisótropo transversal y tangencial a la arista.

Principio

Descomponer la geometría local cerca de una arista en un producto de una base (la arista) y una fibra (cónica o modelo); construir jerarquías de símbolos que sean pseudodiferenciales a lo largo de la base y de tipo Mellin o cónico en la fibra transversal para que los parametrices reflejen la regularidad mixta.

Demostración

En una variedad con frontera que localmente parece B × C(F), donde B es la arista y C(F) un cono sobre la fibra F, el cálculo de arista proporciona clases de operadores y parametrices para operadores elípticos de arista, ofreciendo propiedades de mapeo entre espacios de Sobolev ponderados adaptados a la regularidad de base y fibra.

Aplicación incorrecta

Usar solo el álgebra de conos o el cálculo pseudodiferencial estándar en una geometría verdaderamente de arista; tal mal uso no capta el acoplamiento entre el comportamiento pseudodiferencial tangencial en la base y las singularidades cónicas transversales, dando conclusiones incorrectas sobre Fredholm y regularidad.

Consecuencia

El cálculo de arista produce parametrices precisos, invariantes simbólicos y enunciados de índice para operadores elípticos de arista y ofrece descripciones microlocales de propagación y regularidad a lo largo y a través de la arista; es esencial para resolver problemas espectrales y de valor en la frontera en geometrías estratificadas.

Inversión

Si la singularidad se reduce a un cono aislado (sin base), el cálculo de arista se simplifica al álgebra de conos; en el otro extremo, en una variedad lisa sin estratificación se reduce al cálculo pseudodiferencial estándar.

Límite

Dirigido a variedades con singularidades de tipo arista o fronteras fibradas donde existe una clara descomposición base–fibra; no se aplica directamente a estratificaciones más complejas sin versiones iteradas ni a contextos no microlocales.

Tensión semántica

Interacciona estrechamente con el álgebra de conos y el b-calculus; la tensión semántica reside en elegir el cálculo correcto para modelar una geometría singular dada, ya que cada uno impone estructuras simbólicas y marcos funcionales distintos.

Síntesis

El cálculo de arista es un marco microlocal híbrido que divide las variables en direcciones de arista (base) y transversales (fibra) y reúne clases de símbolos pseudodiferenciales y de tipo Mellin para construir parametrices y capturar la regularidad anisótropa intrínseca a las singularidades de arista.