Une condition de compatibilité symbolique pour les opérateurs pseudodifférentiels classiques sur une hypersurface (ou un bord) exigeant l'appariement des développements asymptotiques intérieur et extérieur afin que les opérateurs agissent de manière lisse à travers l'interface.

Principe

Les symboles de l'opérateur doivent satisfaire une parité prescrite ou des développements appariés en la covariable normale pour que les traces au bord, les opérateurs de Poisson et les paramétrices n'engendrent pas de sauts artificiels ; la condition de transmission impose cette compatibilité à chaque ordre homogène.

Démonstration

Un opérateur pseudodifférentiel classique dont le symbole complet admet un développement asymptotique en composantes homogènes vérifiant les conditions de parité en la variable normale envoie des fonctions lisses avec traces lisses sur le bord vers des fonctions lisses ; ceci permet d'intégrer de tels opérateurs dans l'algèbre de Boutet de Monvel.

Mauvaise application

Ignorer la transmission conduit à des opérateurs produisant des termes de couche limite ou des coefficients dominants incompatibles, entraînant une perte de régularité au bord et invalidant la construction de paramétrices qui suppose un appariement lisse.

Conséquence

Quand la condition de transmission est satisfaite, on obtient une action lisse jusqu'au bord, des traces valides et une compatibilité avec les calculs d'opérateurs de bord ; elle est souvent préalable à la formulation de problèmes elliptiques dans des cadres classiques.

Inversion

Le défaut de transmission entraîne des discontinuités de saut ou des asymptotiques au bord non classiques ; de tels opérateurs exigent des calculs modifiés (edge, cusp ou classes de symboles non classiques) pour capturer leur comportement.

Limite

Pertinente pour les opérateurs pseudodifférentiels classiques sur variétés lisses avec hypersurfaces ou bord où les symboles admettent des développements homogènes asymptotiques ; exclut les symboles non classiques, certains opérateurs intégralement de Fourier et les cadres sans régularité suffisante pour former les développements.

Tension sémantique

Cette propriété se distingue des conditions aux limites elles-mêmes ou des notions d'ellipticité ; la tension apparaît lorsqu'il faut décider d'imposer la transmission aux symboles ou de traiter l'échec en passant à un calcul alternatif.

Synthèse

La Condition de Transmission est la contrainte au niveau des symboles qui garantit l'accord des développements symboliques intérieur et extérieur dans la direction normale, assurant une action lisse des opérateurs aux interfaces et permettant l'emploi d'algèbres d'opérateurs de bord pour les problèmes elliptiques.