Registry · Definition II.D21 established formalized

II.D21 — Wave-Type PDE

The split-complex Cauchy-Riemann equations yield the hyperbolic wave equation. The PDE is hyperbolic (not elliptic), with two families of real characteristics.

Book II Part 4 Ch. 21

Dependency Graph

Depends on (2)

I.D20 I.T10

Depended on by (12)

II.D22 II.D70 II.D72 II.D73 II.D74 II.R26 II.R28 II.T19 II.T28 II.T44 II.T45 II.T46

Lean Formalization

Module: TauLib.BookII.Geometry.CausalStructure

Symbol: CausalClass