Sharp kinetic trace theory

Engineering notes

Engineering notes will be added by the Power for Solar editorial team.

Chinese explanation / 中文解读

中文解读待补充：本站会优先为光伏效率、钙钛矿太阳能电池、储能技术、太阳能热利用、BIPV、并网技术等高价值论文补充中文说明。

Original abstract

We establish sharp kinetic trace estimates and counterexamples across several velocity models. For half-space position domains, without any common bound on velocity support, we prove the natural trace estimate for both Lebesgue and standard Gaussian velocity measures. Density yields natural trace operators and Green's formula on the corresponding kinetic energy spaces. For bounded spatial domains in $d\ge2$, in the bounded-support Euclidean velocity model and in the spherical velocity model, we identify the sharp boundary regularity threshold for the trace weights $\min\{|v \cdot n|,|v \cdot n|^p\}$, $1\le p<\infty$. Writing $α_p=1/(p+1)$, the estimate holds on every bounded $\mathrm{C}^{1,α}$ domain with $α\geα_p$, and it fails for every $0<α<α_p$ on some strictly convex bounded domain of exact regularity $\mathrm{C}^{1,α}$. In particular, the natural trace ($p=1$) has the regularity threshold $\mathrm{C}^{1,1/2}$. On bounded $\mathrm{C}^{1,1/2}$ domains in $d\ge2$, density yields natural trace operators and Green's formula in the bounded-support Euclidean velocity model with either Lebesgue or standard Gaussian measure, and in the spherical velocity model. Norm-preserving velocity translation rules out the unrestricted Lebesgue trace estimate on every bounded $\mathrm{C}^1$ domain. In the unrestricted Gaussian model, for each $1\le p<2$, we construct counterexamples on every bounded $\mathrm{C}^{1,1}$ domain in dimension $d\ge2$, answering Question 1.8 of Albritton, Armstrong, Mourrat, and Novack (2024) negatively. For $2\le p<\infty$, the Gaussian $ω_2$ estimate and density instead yield $ω_p$-trace operators.

Links and sources

• Official / arXiv page
• PDF from original source

Comments