AI 中文总结
研究具有质量交换的空间均匀玻尔兹曼方程，针对有界连续对称质量交换率等情况，通过新的两阶段自举法，得出全局非负\(L^1\)积分弱解相关结论，建立线性增长质量交换率局部理论并给出解的唯一性等结果。
AI 中文摘要
我们研究在\(X=(0,\infty)_m\times\mathbb R^d_v\)上具有连续质量交换的空间均匀玻尔兹曼方程，其具有Grad截断硬势碰撞核。对于有界连续对称质量交换率，每个具有有限数量、质量和动能的非负初始数据都允许在\(W^{1,\infty}(0,\infty;L^1(X))\)中存在全局非负\(L^1\)积分弱解，数量和质量守恒，动能耗散。若\(\int_X (m|v|^2)^{1+\delta} f_0(x)dx<\infty\)（\(\delta>0\)），此高能矩在每个有限时间区间传播且动能守恒。在额外的\(1+\gamma\)矩假设下，解在具有相同初始数据的所有能量耗散\(L^1\)积分弱解中是唯一的。我们还建立了线性增长质量交换率的局部理论。基于新的两阶段自举法，该证明无需详细平衡或相对熵结构。第一阶段排除\(m = 0\)处的质量集中，第二阶段将此控制与碰撞几何相结合以建立一致可积性。这些估计为全局解和非线性碰撞形式的识别提供了所需的紧致性。
英文摘要
We study the spatially homogeneous Boltzmann equation with continuous mass exchange on $X=(0,\infty)_m\times\mathbb R^d_v$, with a Grad cut-off hard-potential collision kernel. For bounded continuous symmetric mass-exchange rates, every nonnegative initial datum with finite number, mass, and kinetic energy admits a global nonnegative $L^1$-integral weak solution in $W^{1,\infty}(0,\infty;L^1(X))$ with number and mass conserved, kinetic energy dissipated. If $\int_X (m|v|^2)^{1+δ} f_0(x)dx<\infty,$ for some $δ>0$, this higher-energy moment propagates on every finite time interval and kinetic energy is conserved through the constructed solution. Moreover, every energy-dissipating solution propagates any such moment. Under the additional $1+γ$ moment assumption, the solution is unique among all energy-dissipating $L^1$-integral weak solutions with the same initial datum. We also establish a local theory for a linearly growing mass-exchange rate. With $H_p(f)=\int_X (1+m+m|v|^2)^pfdx,$ every datum with $H_p(f_0)<\infty$, where $p\ge1+γ$ admits a conservative local $H_p$-solution. Moreover, an $H_p$-solution continues across every finite time $T$ for which $H_{1+γ}(f)\in L^1(0,T).$ This proof requires no detailed-balance or relative-entropy structures. It is based on a new two-stage bootstrap method. The first stage rules out mass concentration at $m=0$, while the second stage combines this control with collision geometry to establish uniform integrability. These estimates provide the compactness needed for the global solution and for the identification of the nonlinear collision form.
Comments53 pages
