Alphabeta Math
DefinitionDefinition: AI-adaptedProof: Not applicablePipeline-generated
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.

Hermite Gaussian and Boys Coulomb auxiliary functions

Definition

Using N0={0,1,2,…} from Cartesian Gaussian primitives, contractions, and integral conventions, for p>0, P∈R3, and t,u,v∈N0, the Hermite Gaussian is Λtuv(x;p,P)=∂t+u+v∂P1t∂P2u∂P3vexp⁡(−p∥x−P∥22). For η>0, P,C∈R3, and n,t,u,v∈N0, define the Boys Coulomb auxiliary function Rtuvn(η,P−C)=(−2η)n∂t+u+v∂P1t∂P2u∂P3vFn ⁣(η∥P−C∥22). Each derivative is an ordinary derivative of a smooth real function of the displayed center coordinates. For the Gaussian this follows from The exponential function is smooth and (exp⁡)′=exp⁡ and repeated coordinatewise product and chain rules in Sum, product, quotient, and chain rules from difference quotients. For the Boys composition, Boys integral, power series, recurrence, and incomplete-gamma representation gives Fn(k)(T)=(−1)kFn+k(T) by iteration on the full real extension; these derivatives are continuous by its integral representation and compact-uniform domination. The chain rules therefore also apply when P=C, where the Boys argument is zero. The multi-index (t,u,v) records derivative order and n records Boys order; both are nonnegative integers.

Depends on

Used by

Dependency tree · two levels

22 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