Registry · Definition II.D70 established formalized

II.D70 — PDE Type Classification

Dichotomy of holomorphic function theories by sign u^2 = +/-1: elliptic (Laplace, no characteristics, isotropic, max principle, symmetric boundary/interior, Liouville rigidity, miraculous Hartogs) vs hyperbolic (wave, two characteristic families, asymmetric, Liouville dodge, natural Hartogs).

Book II Part 11 Ch. 61

Dependency Graph

Depends on (3)

Depended on by (2)

Lean Formalization

Module: TauLib.BookII.Mirror.WaveHolomorphy

Symbol: PDEClassification