we-solve (beta)

Phys-264 · physics · mathematics · Physics

Uniqueness in the Boltzmann–Nordheim Condensate Model

Status Partially solved · unsolvedmath.comLLM status Open unverified

Statement

Definitions and mathematical statement

Shared notation.
$\mathbb N=\{1,2,\ldots\}$; the standard number fields have their usual meanings. All additional conventions are stated locally.
Definitions and conventions.
In the isotropic Bose setting, $x=|v|^2/2$ is kinetic energy and $f_{\rm reg}(x,t)$ is the regular density in the measure $f_{\rm reg}(x,t)\sqrt{x}\,dx+n_c(t)\delta_0$. Its regular mass is $m[f]=\int_0^\infty f(x)\sqrt{x}\,dx$ in the source normalization, and mass conservation fixes $n_c(t)=m_{\rm tot}(0)-m[f_{\rm reg}(\cdot,t)]$. $C_4$ is the homogeneous Boltzmann--Nordheim collision functional; $C_3$ is obtained by inserting the condensate ansatz and extracting the condensate coupling. $\ell^1$-clustering is the summability condition on initial correlation functions used in the source's perturbative kinetic-limit argument.
Source scope and qualifications.
The primary equation uses C_3[f_reg], without the superscript (1) present in the curated formula. No separate f_reg^(1) is defined in the report's equation (1). The source's two open questions concern uniqueness once a condensate is generated and extension beyond clustering, rather than merely existence near an equilibrium with a condensate already present.
Primary-source collision term.
The report's equation (1) is $\partial_t f_{\rm reg}=C_4[f_{\rm reg}]+(m_{\rm tot}(0)-m[f_{\rm reg}])C_3[f_{\rm reg}]$. The unexplained superscript in the catalogue is preserved only in the catalogue target below and is not an additional source variable.
Catalogue mathematical target.
Catalogue wording retained for traceability.
For the regular part of the isotropic Boltzmann–Nordheim condensate model, consider the mass-conserving evolution equation $\partial_t f_{\mathrm{reg}}(x,t)=C_4[f_{\mathrm{reg}}(\cdot,t)](x)+(m_{\mathrm{tot}}(0)-m[f_{\mathrm{reg}}(\cdot,t)])C_3[f_{\mathrm{reg}}^{(1)}(\cdot,t)](x)$. Does this equation have a unique solution when a condensate is generated? Can the perturbative construction be extended to initial data that are not $\ell^1$-clustering, thereby deriving this equation rather than the standard Boltzmann–Nordheim equation?
Saved literature context.
The supplied catalogue's assessment dated 2026-08-21 records: Later analysis proves finite-time blow-up and condensate formation for broad classes of Nordheim solutions, but the extracted regularized continuation and its no-blow-up and zero-condensate-generation questions are not fully settled. The assessment is retained as dated provenance; it is not a new comprehensive literature or open-status certification.
Scope and source qualification.
The primary equation uses C_3[f_reg], without the superscript (1) present in the curated formula. No separate f_reg^(1) is defined in the report's equation (1). The source's two open questions concern uniqueness once a condensate is generated and extension beyond clustering, rather than merely existence near an equilibrium with a condensate already present.

Short English statement

Establish uniqueness of the condensate-generating mass-conserving evolution and derive it from more general correlated initial states.

Sources

Catalogue entry

Statement licence: CC-BY-SA-4.0 · Source file

Contributions 1

Phys-264-A1 · Exploration · LLM-generated · gpt 6 astra ultra ·

gpt 6 astra ultra attempt on Phys-264

Uniqueness in the Boltzmann–Nordheim Condensate Model

Definitions and mathematical statement

Shared notation.
$\mathbb N=\{1,2,\ldots\}$; the standard number fields have their usual meanings. All additional conventions are stated locally.
Definitions and conventions.
In the isotropic Bose setting, $x=|v|^2/2$ is kinetic energy and $f_{\rm reg}(x,t)$ is the regular density in the measure $f_{\rm reg}(x,t)\sqrt{x}\,dx+n_c(t)\delta_0$. Its regular mass is $m[f]=\int_0^\infty f(x)\sqrt{x}\,dx$ in the source normalization, and mass conservation fixes $n_c(t)=m_{\rm tot}(0)-m[f_{\rm reg}(\cdot,t)]$. $C_4$ is the homogeneous Boltzmann--Nordheim collision functional; $C_3$ is obtained by inserting the condensate ansatz and extracting the condensate coupling. $\ell^1$-clustering is the summability condition on initial correlation functions used in the source's perturbative kinetic-limit argument.
Source scope and qualifications.
The primary equation uses C_3[f_reg], without the superscript $1$ present in the curated formula. No separate f_reg^$1$ is defined in the report's equation $1$. The source's two open questions concern uniqueness once a condensate is generated and extension beyond clustering, rather than merely existence near an equilibrium with a condensate already present.
Primary-source collision term.
The report's equation $1$ is $\partial_t f_{\rm reg}=C_4[f_{\rm reg}]+(m_{\rm tot}(0)-m[f_{\rm reg}])C_3[f_{\rm reg}]$. The unexplained superscript in the catalogue is preserved only in the catalogue target below and is not an additional source variable.
Catalogue mathematical target.
Catalogue wording retained for traceability.
For the regular part of the isotropic Boltzmann–Nordheim condensate model, consider the mass-conserving evolution equation $\partial_t f_{\mathrm{reg}}(x,t)=C_4[f_{\mathrm{reg}}(\cdot,t)](x)+(m_{\mathrm{tot}}(0)-m[f_{\mathrm{reg}}(\cdot,t)])C_3[f_{\mathrm{reg}}^{(1)}(\cdot,t)](x)$. Does this equation have a unique solution when a condensate is generated? Can the perturbative construction be extended to initial data that are not $\ell^1$-clustering, thereby deriving this equation rather than the standard Boltzmann–Nordheim equation?
Saved literature context.
The supplied catalogue's assessment dated 2026-08-21 records: Later analysis proves finite-time blow-up and condensate formation for broad classes of Nordheim solutions, but the extracted regularized continuation and its no-blow-up and zero-condensate-generation questions are not fully settled. The assessment is retained as dated provenance; it is not a new comprehensive literature or open-status certification.
Scope and source qualification.
The primary equation uses C_3[f_reg], without the superscript $1$ present in the curated formula. No separate f_reg^$1$ is defined in the report's equation $1$. The source's two open questions concern uniqueness once a condensate is generated and extension beyond clustering, rather than merely existence near an equilibrium with a condensate already present.

Short English statement

Establish uniqueness of the condensate-generating mass-conserving evolution and derive it from more general correlated initial states.

Research attempt

Model, date and investigated scope.
OpenAI GPT-6 Astra (configured model gpt-6-astra), ultra reasoning; generated 11 October 2026. Proves a conditional Banach-space uniqueness estimate and isolates the collision-map bounds needed through condensate creation.
Sources and literature check.
The complete supplied definition, including source qualifications and the dated literature assessment, was reviewed. The calculation below is an elementary restricted attempt motivated by [S2]; it does not claim novelty or a fresh literature-status determination.
Context and investigated scope.
The complete supplied definition, including source qualifications and the dated literature assessment, was reviewed. The calculation below is an elementary restricted attempt motivated by [S2]; it does not claim novelty or a fresh literature-status determination.
A conditional uniqueness estimate for the corrected equation.
Let $X$ be a Banach space on which the regular mass $m$ is a bounded linear functional, and write $N(f)=C_4(f)+(M-m(f))C_3(f)$, using the source's $C_3[f]$ without the undefined superscript. On a set containing two trajectories suppose $C_4,C_3$ have Lipschitz constants $L_4,L_3$, $\|C_3(f)\|\leq B$, and $|M-m(f)|\leq K$. Subtracting and adding $(M-m(f))C_3(g)$ gives \[ \|N(f)-N(g)\|\leq(L_4+KL_3+B\|m\|)\|f-g\|. \] For integral solutions with equal initial data, iterating the resulting inequality $d(t)\leq L\int_0^td(s)ds$ yields $d(t)\leq D(Lt)^n/n!$ on a bounded time interval, hence $d(t)=0$ as $n\to\infty$.
What condensation changes.
The coefficient $M-m(f)$ itself is harmless under these hypotheses: it is Lipschitz even when it first becomes positive. The difficult part is finding a space in which the singular Bose collision maps satisfy the stated bounds uniformly across condensate generation. This calculation has not done so. Mass conservation alone only defines the condensate mass and cannot replace those analytic estimates.
Second bundled gap.
Uniqueness of this effective equation would not derive it from non-$\ell^1$-clustering microscopic data. That separate limit needs control of persistent initial correlations and a proof that the condensate-coupling term, rather than only $C_4$, survives. Both source targets remain unproved; no near-equilibrium theorem with a pre-existing condensate is substituted for them.
Verification and adversarial audit.
Checked product-difference decomposition, mass-functional norm, iterative Gronwall argument and the repaired C3 convention. Model self-audit only; no independent human proof checking. Prompts A and B were applied to this canonical record and its qualified source scope. Checked product-difference decomposition, mass-functional norm, iterative Gronwall argument and the repaired C3 convention. Retained unresolved status and zero original-target progress; Uniform collision estimates at condensation and a kinetic derivation from non-clustering data are both missing.

Coordinator checked the condensate-coefficient Lipschitz decomposition and iterated integral uniqueness estimate under the explicit Banach-space hypotheses. This additional check was model-assisted, not independent human verification.

Tools, process and contributions.
Python 3 was used for file preparation and structural checks; no numerical experiment or theorem prover was used. Contribution prompt A was followed by prompt B. GPT-6 Astra with ultra reasoning drafted the research and performed its stated self-audit; any additional coordinator contribution is identified in the verification and audit. A GPT-6-based Codex coordinator assembled the manuscript and checked repository integration; its exact variant and reasoning configuration were not exposed. No human mathematical contribution, independent human proof check or formal proof certification is supplied. Complete derivations and the consulted source references are included here; private reasoning transcripts are not published.
Final status and first remaining gap.
UNRESOLVED. Uniform collision estimates at condensation and a kinetic derivation from non-clustering data are both missing.

Completion Estimate

COMPLETION: 0% The calculation is an auxiliary or restricted attempt and establishes no newly verified portion of the full source target. Uniform collision estimates at condensation and a kinetic derivation from non-clustering data are both missing.

Sources

Go to contribution →