A Degenerate Elliptic System Solvable by Transport: A Cautionary Example

TL;DR

This work studies a one-parameter family of real first-order elliptic systems on the plane whose ellipticity constant degenerates as $\delta\to 0$, yielding a condition number $\kappa = O(\delta^{-2})$ and rendering standard elliptic solvers increasingly ineffective. By uncovering a hidden transport structure, the author introduces a spectral parameter $\lambda$ and a transport equation for $w = u + v\lambda$, showing that the transport obstruction $G = \mathfrak{i}_x + \mathfrak{i}\mathfrak{i}_y$ vanishes identically for all $\delta>0$, which makes the system explicitly solvable at a cost independent of $\delta$ via the method of characteristics. The Beurling--Ahlfors/Beltrami approaches fail to cope with the degeneracy as $\| abla\mu\|$ grows, while the delta-family remains tractable through a transport formulation, highlighting the practical limitation of relying solely on ellipticity constants. The key message is that the ellipticity constant alone does not determine computational difficulty; computing the transport obstruction $G$ provides a cheap and decisive diagnostic for when transport-based methods can outperform elliptic solvers.

Abstract

We exhibit a one-parameter family of first-order real elliptic systems on the plane whose ellipticity constant degenerates to zero as $δ\to 0$, with condition number $κ= O(δ^{-2})$. For any fixed elliptic solver operating at finite precision, the parameter $δ$ can be chosen small enough to defeat the solver; no uniform numerical scheme based on the ellipticity constant alone can handle the entire family. Despite this, every member of the family is explicitly solvable -- and its initial value problem well posed -- by elementary means once a transport-theoretic invariant is identified. The cost of the transport solution is independent of $δ$. The example serves as a cautionary tale: the ellipticity constant alone does not determine the practical difficulty of a first-order PDE. Before invoking an elliptic solver, one should compute the transport obstruction $G$; its vanishing -- or smallness -- signals structure that standard elliptic methods miss entirely.

Theorems & Definitions (15)

• Remark 1: No domain restriction on $y$
• Remark 2: Arbitrary degeneracy
• Remark 3: Relation to the degenerate Beltrami literature
• Proposition 4
• proof
• Remark 5: Checking rigidity from $\alpha$, $\beta$ alone
• Proposition 6: Spectral transport form
• proof
• Remark 7: The limit $\delta \to 0$
• Remark 8