Density-Dependent Operators on Density-Projection Condensation Spaces: Ambient Extensions, Zero-Density Defects, and Stability

Abstract

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.