Alphabeta Math
DefinitionDefinition: AI-adaptedProof: Not applicablePipeline-generatedjudge pass (gpt-6-luna)
How statement and proof provenance work

The first chip identifies the source of the statement or construction; the second identifies the source of its local proof or verification.

  • Literature-sourced: the exact statement appears in a cited source; only wording and notation differ.
  • AI-adapted: a semantically identical restatement of literature-sourced material, modulo indexing, notation, and boundary cases adopted by the library.
  • AI-generated: a genuinely novel statement formulated by AI, with no source for the claim itself.

These labels describe origin, not correctness: citations and verification chips remain separate evidence.

Fixed-width regularized conservative SPH particle system

Definition

Fix d,N≥1, positive masses m_1,…,m_N, ε>0, the kernel W_ε from Scaled symmetric compactly supported kernel family, and a pressure map P∈C¹((0,∞)×R,R). Positions q_i and velocities v_i lie in R^d with the Euclidean inner product from The Euclidean inner product ⟨x,y⟩=∑k<nxkyk on Rn, and specific internal energies e_i lie in R. Define

ρi(q)=∑j=1NmjWε(qi−qj),pi=P(ρi,ei),Ai=piρi2.

The state domain is U={ (q,v,e): ρ_i(q)>0 for every i }. On U, the fixed-width semidiscrete system is

q˙i=vi,v˙i=−∑j=1Nmj(Ai+Aj)∇Wε(qi−qj),e˙i=Ai∑j=1Nmj(vi−vj)⋅∇Wε(qi−qj).

A controlled tube is a compact subset of U on which ρ_i≥ρ_*>0 for every i. The system is semidiscrete: time remains continuous while the spatial state is represented by finitely many particles. It has fixed masses and fixed ε, includes the displayed matched internal-energy equation, and contains no artificial viscosity. No continuum Euler convergence is part of this definition.

Depends on

Used by

Dependency tree · two levels

18 results within two dependency steps of this one, each drawn at its shortest distance from it. An arrow runs from a result to what uses it, so the chart reads left to right and ends at this result, which carries a heavier outline. Every node is a link to that result. Click elsewhere on the chart to enlarge it.

Sources