Regularity of a function or distribution measured along vector fields tangent to level sets of a defining function (conormal directions); conormal regularity captures anisotropic smoothness that may persist at a boundary or interface even when full tangential or normal regularity fails.

Principle

Conormal regularity organizes smoothness by invariance under differentiation in directions tangent to an interface: derivatives along conormal fields stay controlled while transversal derivatives may lose regularity due to boundary geometry or coefficient degeneracy.

Demonstration

On a manifold with boundary defined by x=0, a function behaving like x^{α} times a smooth function of tangential variables has conormal regularity of order α: tangential derivatives remain smooth while normal derivatives reflect the x^{α} prefactor and may be singular.

Misapplication

Assuming conormal regularity implies isotropic smoothness leads to errors when using isotropic Sobolev embeddings or when attempting to interchange normal and tangential derivatives in energy estimates.

Consequence

Recognizing conormal regularity permits the use of anisotropic function spaces (conormal Sobolev or weighted Hölder spaces), gives precise mapping properties for pseudodifferential or layer-potential operators, and guides boundary parametrices adapted to the interface.

Reversal

The reversal is isotropic regularity: smoothness holds equally in all directions, so conormal and transversal derivatives satisfy the same bounds and no directional singularity remains.

Boundary

Concept applies where an interface or boundary is defined smoothly and there is a distinguished set of tangent vector fields; it excludes entirely irregular boundaries where no coherent tangential structure can be defined.

Semantic Tension

Tension arises between conormal regularity and ordinary Sobolev regularity: conormal spaces reflect directional invariance and can be strictly larger than isotropic spaces that ignore tangential persistence of smoothness.

Synthesis

Conormal regularity isolates directional smoothness along tangential (conormal) vector fields: it formalizes anisotropic persistence of regularity at boundaries and interfaces and underpins adapted analytic frameworks and operator calculus.