AI 中文总结
研究\(X=\mathbb{R}^n\)上密度依赖算子\(A_\rho:H_\rho\to H_\rho\)，刻画对齐算子\(A_\rho^\sharp\)的有界环境扩展，分类相关扩展类型，证明映射连续性与密度独立性关系，刻画支撑投影收敛性并构造稳定算子族。
AI 中文摘要
设\(X = \mathbb{R}^n\)配备勒贝格测度\(\lambda\)，\(\mathcal{R}\)是\(L^1(X,\lambda)\)中归一化非负密度的空间。每个\(\rho\in\mathcal{R}\)诱导加权希尔伯特空间\(H_\rho = L^2(X,\rho\,d\lambda)\)。通过对齐等距\(U_\rho[f]_\rho=\sqrt{\rho}f\)，\(H_\rho\)与闭可观子空间\(V_\rho=\{u\in L^2(X,\lambda):u = 0\ \lambda -\)几乎处处在\(\{\rho = 0\}\)上\(\}\)等同。伴随密度投影完备定理将对齐对象空间的度量完备与\(L^2(X,\lambda)\times\mathcal{R}\)等同。研究有界算子族\(A_\rho:H_\rho\to H_\rho\)，刻画对齐算子\(A_\rho^\sharp = U_\rho A_\rho U_\rho^{-1}\)的所有有界环境扩展。其集合是基于\(\mathcal{B}(Z_\rho,L^2(X,\lambda))\)建模的仿射空间，其中\(Z_\rho = V_\rho^\perp\)是零密度缺陷子空间。缺陷消除扩展达到最小可能的算子范数，对自伴、正和正交投影扩展进行分类。证明当环境族强连续时，诱导映射\((u,\rho)\mapsto(\widetilde A_\rho u,\rho)\)恰好连续，且全局利普希茨连续性迫使密度无关。还刻画支撑投影的收敛性，表明仅\(L^1\)收敛不控制依赖支撑的算子，并构造稳定的乘法和密度加权希尔伯特 - 施密特族。后者在算子范数中关于密度之间的\(L^1\)距离是\(1/2 -\)赫尔德连续的。
英文摘要
Let $X=\mathbb{R}^n$ be equipped with Lebesgue measure $λ$, and let $\mathcal{R}$ be the space of normalized nonnegative densities in $L^1(X,λ)$. Each $ρ\in\mathcal{R}$ induces the weighted Hilbert space $H_ρ=L^2(X,ρ\,dλ)$. Through the alignment isometry $U_ρ[f]_ρ=\sqrtρf$, the space $H_ρ$ is identified with the closed observable subspace $V_ρ=\{u\in L^2(X,λ):u=0\ λ\text{-a.e. on }\{ρ=0\}\}$. The companion density-projection completion theorem identifies the metric completion of the aligned object space with $L^2(X,λ)\times\mathcal{R}$. We study bounded operator families $A_ρ:H_ρ\to H_ρ$ and characterize all bounded ambient extensions of the aligned operator $A_ρ^\sharp=U_ρA_ρU_ρ^{-1}$. Their collection is an affine space modeled on $\mathcal{B}(Z_ρ,L^2(X,λ))$, where $Z_ρ=V_ρ^\perp$ is the zero-density defect subspace. The defect-annihilating extension attains the minimum possible operator norm, and we classify self-adjoint, positive, and orthogonal-projection extensions. We prove that the induced map $(u,ρ)\mapsto(\widetilde A_ρu,ρ)$ is continuous exactly when the ambient family is strongly continuous, and that global Lipschitz continuity forces density independence. We also characterize convergence of support projections, show that $L^1$-convergence alone does not control support-dependent operators, and construct stable multiplication and density-weighted Hilbert--Schmidt families. The latter are $1/2$-Hölder continuous in operator norm with respect to the $L^1$-distance between densities.
Comments22 pages, no figures
