Expand description
Checked physical boundaries for coherent scalar wave-field studies.
This crate owns the dependency-free quantity, source, sampling, and preflight vocabulary used by the interference family. It deliberately does not define grid solving, tensor storage, runtime bindings, or presentation.
§Scope boundary
The model is homogeneous, isotropic, three-dimensional, scalar, and free-field. It does not model polarization, impedance, interfaces, obstacles, or diffraction. Downstream amplitude-squared observations are normalized proxies, not physical intensity, power, or energy.
§Governing convention
The real field is u(x, t) = Re{U(x) * exp(-i * omega * t)}. In a
homogeneous scalar medium,
k_tilde = omega / c + i * alpha and, away from point sources,
laplacian(U) + k_tilde^2 * U = 0.
A point emitter contributes
A * (R_ref / r) * exp(i * k_tilde * r + i * phase), where
POINT_SOURCE_REFERENCE_DISTANCE_METRES defines R_ref. A forward-plane
emitter contributes A * exp(i * k_tilde * s + i * phase) only for
non-negative signed distance s. The positive propagation sign is outgoing
under the exp(-i * omega * t) time convention, and the imaginary part of
k_tilde gives exp(-alpha * distance) attenuation.
SamplingPlane defines physical pixel centres in an orthonormal finite
frame. SamplingCertificate measures carrier phase, half-wavelength
squared-magnitude fringes, and point-source 1/r envelope change against
explicit SamplingThresholds. RequestPreflight applies
SamplingPolicy and WorkBudget before a solver allocates field
storage.
Structs§
- Field
Amplitude - A finite non-negative scalar field amplitude.
- Hertz
- A finite frequency in hertz that is strictly greater than zero.
- Interference
Problem - A coherent scalar-wave problem in one homogeneous medium.
- Metres
- A finite signed distance or coordinate in metres.
- Metres
PerSecond - A finite propagation speed in metres per second.
- Nepers
PerMetre - A finite non-negative attenuation coefficient in nepers per metre.
- Point3M
- A point in three-dimensional Cartesian space measured in metres.
- Positive
Metres - A finite distance in metres that is strictly greater than zero.
- Radians
- A finite phase angle stored in the half-open interval
[-pi, pi). - Request
Preflight - Successful sampling and work evidence obtained before field allocation.
- Sampling
Certificate - Measurements explaining whether a problem is resolved by a sampling plane.
- Sampling
Plane - A finite rectangular sampling plane embedded in three-dimensional space.
- Sampling
Thresholds - Explicit thresholds used to classify a
SamplingCertificate. - Scalar
Medium - A three-dimensional, homogeneous, isotropic scalar propagation medium.
- Source
Set - A non-empty collection of emitters in canonical stable-id order.
- Unit
Vector3 - A finite, normalized direction in three-dimensional Cartesian space.
- Wave
Number - The complex wavenumber
k_tilde = omega / c + i * alpha. - Work
Budget - Explicit upper bounds for every preflight work dimension.
- Work
Estimate - Allocation and evaluation counts known before a field solve starts.
Enums§
- Emitter
- A coherent scalar-wave emitter.
- Interference
Error - An invalid value at an interference-domain boundary.
- Sampling
Policy - Whether a non-resolved request is refused or explicitly annotated.
- Sampling
Verdict - Physical sampling classification for both phase and point-source envelope.
- Work
Metric - A separately limited work or storage dimension.
Constants§
- POINT_
SOURCE_ REFERENCE_ DISTANCE_ METRES - The distance at which a point emitter’s field amplitude is specified.
- SAMPLING_
AXIS_ ORTHOGONALITY_ TOLERANCE - Largest accepted absolute dot product between sampling axes.
Functions§
- contribution_
at - Evaluates one emitter’s complex field contribution at one point.
- forward_
plane_ contribution_ at - Evaluates a forward-plane Green function at one point.
- point_
contribution_ at - Evaluates the outgoing point-source Green function at one point.