AI 中文总结
该研究针对带Neumann边界的凸域上的量子漂移-扩散（DLSS）方程，证明DLSS算子在$L^2$中存在唯一极大单调扩张，生成收缩Hellinger距离的典范解半群，给出解的多种等价刻画与二阶估计，完善了该方程的适定性理论。
AI 中文摘要
我们在带Neumann边界条件的有界凸区域上，针对非负密度$\u0001arrho$、以平方根变量$u=\sqrt\varrho$的形式研究量子漂移-扩散方程，即Derrida-Lebowitz-Speer-Spohn（DLSS）方程。我们证明，在光滑严格正函数上有定义且单调的DLSS算子，在$L^2(Ω)$中存在唯一的极大单调扩张，其显式表达式为极小（无亏）算子加上正性约束的法锥。由此生成的半群会收缩密度之间的Hellinger距离，从而给出一个典范解——对任意非负$L^2$初值、任意空间维度均存在、唯一且稳定——且不依赖任何近似方案：它实际上是扩展了从光滑一致正初值出发的经典演化的唯一收缩半群。隐式Euler格式收敛于该半群，且沿流有$\sqrt u\in L^2_{\rm loc}(H^2)$。当初值属于算子定义域时，解是强解且逐点满足方程，在真空集$\{u=0\}$上不会产生反应项。我们通过多种等价方式刻画了轨迹——作为Bénilan积分解以及通过单侧弱公式——证明了该算子在$H^2$-$H^{-2}$对偶意义下也具有极大性，且在维度$d\le3$时，将该流与Fischer唯一性类中的弱解等同起来。构造过程中用到了一个具有独立研究价值的二阶估计：在带Neumann条件的凸区域上，耗散量$\int_Ω(Δu)^2/u\\,\mathrm{d} x$有限当且仅当$\sqrt u\in H^2(Ω)$，且在任意维度下它都能控制$\sqrt u$的完整Hessian矩阵。
英文摘要
We study the quantum drift-diffusion, or Derrida-Lebowitz-Speer-Spohn (DLSS), equation for a nonnegative density $\varrho$ on a bounded convex domain with Neumann boundary conditions, in the square-root variable $u=\sqrt\varrho$. We show that the DLSS operator, defined and monotone on smooth strictly positive functions, admits a unique maximal monotone extension in $L^2(Ω)$, explicitly given by the minimal (defect-free) operator plus the normal cone of the positivity constraint. The generated semigroup, which contracts the Hellinger distance between the densities, thus yields a canonical solution - existing, unique, and stable for every nonnegative $L^2$ initial datum and in every space dimension - independent of any approximation scheme: it is in fact the unique contraction semigroup extending the classical evolutions that emanate from smooth, uniformly positive data. The implicit Euler scheme converges to it, and $\sqrt u\in L^2_{\rm loc}(H^2)$ along the flow. When the datum belongs to the domain of the operator, the solution is strong and satisfies the equation pointwise, with no reaction term created on the vacuum $\{u=0\}$. We characterize the trajectories in several equivalent ways - as Bénilan integral solutions and through one-sided weak formulations - prove the maximality of the operator also in the $H^2$-$H^{-2}$ duality and, in dimension $d\le3$, identify the flow with the weak solutions in the uniqueness class of Fischer. A second-order estimate of independent interest underlies the construction: on a convex domain with Neumann conditions the dissipation $\int_Ω(Δu)^2/u\,\mathrm{d} x$ is finite exactly when $\sqrt u\in H^2(Ω)$, and it then controls the full Hessian of $\sqrt u$, in every dimension.
Comments64 pages
