A mathematical constraint that ensures boundary prescriptions, source terms, and initial data are mutually consistent so that a solution satisfying all imposed conditions can exist for a differential or algebraic system.

Principle

Enforce consistency among constraints at domain boundaries and in forcing/initialization so global equations are not overdetermined or contradictory.

Demonstration

In a Poisson equation on a bounded domain with Neumann boundary conditions, the integral of the source term must equal the integral of the prescribed normal fluxes; checking and enforcing that balance is a compatibility condition.

Misapplication

Treating compatibility as optional and applying arbitrary boundary and source data can lead to nonexistence of solutions or spurious Lagrange multiplier enforcement that hides inconsistency.

Consequence

When satisfied, the condition enables existence (and often solvability) of the intended solution and prevents divergent or ill-posed numerical behavior tied to incompatible data.

Reversal

An incompatibility condition identifies a mismatch of constraints that necessarily prevents any exact solution meeting all specifications; resolving it requires relaxing or modifying one or more constraints.

Boundary

Applies to constraints linking boundaries, sources, and initial data in differential and algebraic models; does not prescribe the unique physical closure law but restricts allowable combinations of data.

Semantic Tension

Tension arises between a compatibility condition (a mathematical consistency requirement) and physical consistency (a phenomenological closure); the former can be satisfied even if a chosen physical model is inaccurate.

Synthesis

A compatibility condition is the mathematical check and constraint that aligns boundary, source, and initial specifications so that the governing equations admit a solution, distinguishing solvability from mere specification.