A phenomenon where a differential or pseudodifferential operator ceases to satisfy ellipticity hypotheses at certain points or regions (the principal symbol fails to be invertible), causing breakdowns in standard regularity, solvability and invertibility results.

Principle

Ellipticity requires the principal symbol to be invertible on the cotangent bundle away from the zero section; where that symbol vanishes or degenerates, standard elliptic estimates fail and one expects loss of derivatives, appearance of singularities, or a change of operator type.

Demonstration

An operator whose principal symbol vanishes on a hypersurface (e.g., model Tricomi-type operators or operators derived from metrics that degenerate at the boundary) exhibits zone-dependent behaviour: elliptic in some regions, hyperbolic or degenerate in others, and classical elliptic parametrix constructions break down at the degeneracy set.

Misapplication

Applying global elliptic regularity or constructing an elliptic parametrix ignoring points of symbol vanishing yields incorrect regularity and false solvability statements; using unweighted Sobolev spaces when weights are required misrepresents solution behaviour.

Consequence

Loss of ellipticity forces refined analysis: one must use microlocal partitioning, weighted or anisotropic Sobolev spaces, or alternative calculi; it can create new singular solutions, change propagation of singularities, and alter index/Fredholm properties.

Reversal

Restoring ellipticity by perturbation (adding a lower-order term, altering coefficients) or restricting to regions where the symbol is invertible returns standard elliptic theory; alternatively, embracing the degeneracy leads to specialized theories (hypoelliptic, subelliptic, or degenerate elliptic frameworks).

Boundary

Concerns differential and pseudodifferential operators whose principal symbol may vanish on subsets of the cotangent bundle; excludes operators that are uniformly elliptic everywhere, but overlaps with hypoellipticity and subellipticity notions which are different refinements of regularity.

Semantic Tension

Distinguish loss of ellipticity from hypoellipticity or lack of coercivity: hypoellipticity concerns regularity of distributions solving equations, while loss of ellipticity pinpoints a symbol degeneracy that often necessitates weightings or alternate calculi; tensions arise in classification and remedy selection.

Synthesis

Loss of Ellipticity names the breakdown of the invertibility condition on the principal symbol at certain loci, which invalidates classical elliptic estimates and parametrices and forces focused microlocal, weighted or alternative-calculus approaches to capture solution behaviour and regularity across the degeneracy.