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-regularization periodic PIC pair kernel
Definition
Fix , , , and a regularized one-species model with total charge and total mass . Let . For each position , define the continuous unit-source field by taking the zero-mean solution from Periodic PIC regularization gives a smooth compatible Poisson solution for , and setting The series converges absolutely with all derivatives by geometric summability. For the grid branch, let be the mean-zero solution of whose compatibility follows from Periodic PIC deposition conserves charge and satisfies Poisson compatibility, and put If and are lifted phase-space states in , the continuum and grid mean-field kernels are The spatial components are periodic in their position variables. A finite equal-weight system uses particle charge and mass . No claim about the limit is part of this definition.
Depends on
- Periodic uniform PIC grid and inner product
- Periodic PIC deposition shape and gather operators
- Periodic PIC regularization gives a smooth compatible Poisson solution
- Periodic centered-difference Poisson solvability and zero-mean gauge
- Periodic PIC deposition conserves charge and satisfies Poisson compatibility
Used by
- Classical RK4 step for the fixed-grid regularized PIC particle ODE Algorithm
- A stipulated cold two-stream periodic PIC experiment Example
- Fixed-regularization periodic PIC kernels are globally Lipschitz Theorem
- Periodic PIC particle and force errors under a prescribed initial coupling Theorem
- Staged fixed-regularization PIC error budget Theorem
Dependency tree · one level
5 results within one dependency step 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
- R. W. Hockney and J. W. Eastwood, Computer Simulation Using Particles, Chapters 2 and 5 (standard reference, not scraped)
- A. Myers, P. Colella, and B. Van Straalen, A 4th-Order Particle-in-Cell Method with Phase-Space Remapping for the Vlasov–Poisson Equation, Section 2.1 (standard reference, not scraped)