The N-Particle Dyson Potential on the Weyl Chamber: Penalty, Monotone Gradient, Dissipation with Constants Uniform in N, and Gibbs Integrability
lemmaAnalysisPDElem:dyson-n-particle-data-weyl-chamber-2026aFor a confining potential V on the line and < beta, the N-particle Dyson potential = + sum with = beta/(2(N-1)) is a penalty on the Weyl chamber with monotone gradient, satisfies the dissipation inequality with noise = , epsilon = 1 - and additive constant N with independent of N, is bounded below by sum V - N uniformly in N, and has integrable Gibbs weight exp(-P_N/a_N) against 1 + |P_N| + |DP_N|^2 + |x|^2; V meets the confinement hypotheses of the Weyl-chamber well-posedness theorem.
In the setting of Second-Order Equations on Euclidean Open Sets, let be positive with , where , and let be a confining potential, with derivative and second derivative as in that definition. Natural numbers are regarded as real numbers through the canonical map, which is suppressed from the notation. We write for the exponential function, for the trace, , and, for a natural number , for Lebesgue measure on the Borel -algebra .
For each natural number let be the Weyl chamber in , let
which are positive real numbers since , and let be
where is the logarithmic energy of strength on .
1. (Admissible confinement)¶ is of class on , with and ; for every ; there are with and for every ; and has regular growth, that is, for every positive there is with for every . Consequently satisfies every hypothesis that Well-Posedness of the Dyson Hamilton-Jacobi Equation in the Weyl Chamber below the Collision Threshold places on its confinement , and for every the function is the function of The Confined Logarithmic Energy on the Weyl Chamber: Regularity, Penalty Property, Monotone Gradient and the Dissipation Inequality with strength in place of and with .
2. (Penalty and monotone gradient)¶ For every , is a penalty on , and for all . Moreover .
3. (Dissipation with constants uniform in )¶ Let , so that . There is with such that for every natural number and every
4. (Lower bound uniform in )¶ There are with and such that for every natural number and every
5. (Gibbs integrability)¶ For every natural number let be the function with
Then for every , is measurable with respect to , and its integral satisfies
that is, .
Loading…
Prerequisites
No prerequisites tracked.
Dependents
No dependents yet.
Dependent proofs
No dependent proofs yet.
No relations recorded yet.