A differential operator whose principal symbol fails to be uniformly positive (or coercive) on a region of the domain or boundary — typically it vanishes, changes rank, or loses elliptic estimates on a subset — so that uniform ellipticity assumptions break down.

Principle

Ellipticity requires the principal symbol to be invertible (or positive definite in real symmetric cases) uniformly; degeneracy is the local or global loss of that invertibility or coercivity, often classified by the order and geometry of vanishing of the symbol and leading to anisotropic or weighted behavior.

Demonstration

The model Grushin-type operator L = x^{α} ∂_x^2 + ∂_y^2 on R^2 (with α>0) degenerates at x=0: the principal symbol vanishes along the line x=0 in the x-direction so uniform elliptic estimates fail and regularity and propagation properties become anisotropic across the degeneracy.

Misapplication

Applying classical Schauder, Harnack, or Calderón–Zygmund estimates assuming uniform ellipticity in a region where the principal symbol vanishes leads to incorrect regularity, false a priori bounds, and potential misclassification of solution behaviour near the degeneracy.

Consequence

Degeneracy forces the use of weighted Sobolev or Hölder spaces, anisotropic scalings, adapted barrier or maximum-principle arguments, and can produce weaker regularity, nonuniqueness at degenerate sets, or concentration phenomena tied to the geometry of vanishing.

Reversal

The reversal is recovery of uniform ellipticity by restricting to regions away from the degeneracy, by regularization that lifts the symbol from zero, or by transforming variables so the principal symbol becomes coercive; then standard elliptic theory applies.

Boundary

This notion covers linear and nonlinear elliptic operators whose principal symbol loses invertibility on subsets (interior or boundary); it excludes uniformly elliptic operators and situations where only lower-order terms are singular without affecting the principal symbol.

Semantic Tension

Tension exists with hypoellipticity and subelliptic operators: some degenerate elliptic operators are still hypoelliptic (regularizing) while others are not; distinguishing degeneracy of ellipticity from subellipticity or hypoellipticity is essential.

Synthesis

A degenerate elliptic operator is one whose principal symbol fails to be uniformly invertible on part of the domain, forcing weighted or anisotropic analysis, altering regularity and compactness conclusions that hold in the uniformly elliptic setting.