The study of equations involving unknown functions of several variables and their partial derivatives, encompassing existence, uniqueness, stability, and regularity of solutions as well as qualitative behavior and methods of solution.

Principle

Relate local differential operators (elliptic, parabolic, hyperbolic) and boundary/initial data to global behavior via functional-analytic frameworks (Sobolev spaces, weak formulations, energy estimates) and characteristic analysis.

Demonstration

Heat equation: using energy estimates and semigroup theory to prove existence, uniqueness, smoothing for initial-value problems; elliptic Poisson equation: variational methods in Sobolev spaces give weak solutions and elliptic regularity upgrades them to classical solutions under hypotheses.

Misapplication

Applying pointwise classical differentiation or maximum principles where only weak solutions exist; imposing incompatible boundary data or confusing well-posedness categories (treating hyperbolic problems like elliptic ones).

Consequence

Provides criteria for solvability, regularity, and long-time behavior; yields tools for modeling diffusion, waves, and steady states and informs numerical methods via stability and error analysis.

Reversal

Ordinary differential equations (single independent variable) or algebraic equations where derivatives play no role; purely discrete difference equations lacking continuum differential structure.

Boundary

Covers linear and nonlinear PDEs on domains in Euclidean space, manifolds, and some metric measure spaces; excludes purely algebraic constraints, finite-dimensional ODE systems, and computational discretizations taken as mathematical substitutes without convergence analysis.

Semantic Tension

Tension between classical (pointwise smooth) solutions and weak/very weak solutions; between local regularity properties and global constraints imposed by geometry or boundary conditions.

Synthesis

PDE theory unites differential operators, functional analysis, and boundary/initial value data to determine when multivariable derivative relations admit solutions, how regular they are, and what qualitative phenomena (propagation, diffusion, singularity formation) arise.