ScalingStacks

Proof. [03HV]

Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.

Complete original source context · Original author HTML

Proof.

The proof follows from the standard elliptic regularity. Indeed, the eigenfunction φk\varphi_{k} satisfies the elliptic equation

(4.147) −Δh0​φk=Λk⋅φk.-\Delta_{h_{0}}\varphi_{k}=\Lambda_{k}\cdot\varphi_{k}.

It follows from the standard elliptic regularity that there exists some constant C>0C>0 depending only the metric h0h_{0} such that

(4.148) ‖φk‖W2,2​(Y3)≤C⋅Λk⋅‖φk‖L2​(Y3)=C⋅Λk.\|\varphi_{k}\|_{W^{2,2}(Y^{3})}\leq C\cdot\Lambda_{k}\cdot\|\varphi_{k}\|_{L^{2}(Y^{3})}=C\cdot\Lambda_{k}.

Applying the Sobolev embedding theorem,

(4.149) ‖φk‖C0,12​(Y3)≤C​‖φk‖W2,2​(Y3)≤C⋅Λk,\|\varphi_{k}\|_{C^{0,\frac{1}{2}}(Y^{3})}\leq C\|\varphi_{k}\|_{W^{2,2}(Y^{3})}\leq C\cdot\Lambda_{k},

where C>0C>0 depends only on the metric h0h_{0}. The proof is complete. ∎

Original mathematics by the credited authors. Source-backed reader collection; mathematical self-containment is not assessed.