Definición
Un cálculo pseudodiferencial, introducido por Melrose, construido a partir de campos vectoriales tangentes al borde (el fibrado b-tangente) que organiza símbolos y operadores adaptados a variedades con borde y a degeneraciones en el borde.

Principio

Principio
Sustituir el fibrado tangente estándar por el fibrado b-tangente y usar símbolos homogéneos respecto a covariables reescaladas para que los operadores generados por campos b formen un álgebra cerrada con propiedades de mapeo e índice calculables.

Demostración

Demostración
En una variedad compacta con borde, el b-Laplaciano (construido a partir de campos b) modela problemas con extremos cilíndricos; el b-cálculo produce parametrices y propiedades de mapeo precisas en espacios de Sobolev con peso adaptados al comportamiento en el borde.

Aplicación incorrecta

Aplicación incorrecta
Tratar un operador con coeficientes degenerados en el borde como si perteneciera al cálculo pseudodiferencial clásico (ignorando la estructura b) conduce a parametrices incorrectas, pérdida de estimaciones uniformes cerca del borde y a identificar mal las propiedades de Fredholm.

Consecuencia

Consecuencia
Proporciona un marco funcional para construir parametrices, demostrar la propiedad de Fredholm y calcular índices para operadores b elípticos, y para analizar las asíntotas de las soluciones en el borde mediante espacios ponderados y el b-símbolo.

Inversión

Inversión
Si se abandona la perspectiva b y se usa el cálculo clásico, las degeneraciones del borde aparecen como singulares y se puede perder información esencial sobre espectro e índice; inversamente, introducir la estructura b innecesariamente complica las clases de símbolos sin beneficio.

Límite

Límite
Se dirige a operadores diferenciales y pseudodiferenciales generados por campos vectoriales tangentes al borde en variedades con borde o con extremos cilíndricos; no trata automáticamente esquinas, singularidades cónicas o asintóticas de tipo scattering sin modificaciones adicionales.

Tensión semántica

Tensión semántica
El b-cálculo se sitúa junto a otros cálculos (cálculo de scattering, cálculo cusp, álgebra de Boutet de Monvel); la tensión surge al decidir si la singularidad de borde se aborda mejor por reescalado tangencial (b) o por un álgebra de operadores de frontera tipo transmisión.

Síntesis

Síntesis
El B-Cálculo reestructura el análisis en variedades con borde al privilegiar campos b y símbolos reescalados, ofreciendo una herramienta microlocal y algebraica que captura degeneraciones en el borde, construye parametrices en espacios ponderados y aclara cuestiones de índice y asíntotas.