ScalingStacks

Proof. [03HZ]

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 of the claim follows from basically from Weyl’s law. For the partial sum of vv,

(4.162) VN≡∑j=1Nvj​φj=∑j=1N(∫Y3v⋅φj​dvolh0)​φj=∑j=1N(∫Y3v⋅(−Δh0)K0​φj(Λj)K0​dvolh0)​φj.V_{N}\equiv\sum\limits_{j=1}^{N}v_{j}\varphi_{j}=\sum\limits_{j=1}^{N}\Big(\int_{Y^{3}}v\cdot\varphi_{j}\dvol_{h_{0}}\Big)\varphi_{j}=\sum\limits_{j=1}^{N}\Big(\int_{Y^{3}}v\cdot\frac{(-\Delta_{h_{0}})^{K_{0}}\varphi_{j}}{(\Lambda_{j})^{K_{0}}}\dvol_{h_{0}}\Big)\varphi_{j}.

Applying integration by parts,

‖VN‖L∞​(B1​(p0))\displaystyle\|V_{N}\|_{L^{\infty}(B_{1}(p_{0}))} ≤∑j=1N(1(Λj)K0​∫Y3|Δh0K0​v|⋅|φj|​dvolh0)​‖φj‖L∞​(B1​(p0))\displaystyle\leq\sum\limits_{j=1}^{N}\Big(\frac{1}{(\Lambda_{j})^{K_{0}}}\int_{Y^{3}}|\Delta_{h_{0}}^{K_{0}}v|\cdot|\varphi_{j}|\dvol_{h_{0}}\Big)\|\varphi_{j}\|_{L^{\infty}(B_{1}(p_{0}))}
(4.163) ≤V0⋅‖v‖C2​K0​(Y3×{z0})⋅∑j=1N1(Λj)K0−1,\displaystyle\leq V_{0}\cdot\|v\|_{C^{2K_{0}}(Y^{3}\times\{z_{0}\})}\cdot\sum\limits_{j=1}^{N}\frac{1}{(\Lambda_{j})^{K_{0}-1}},

where V0=Volh0⁡(Y3)V_{0}=\Vol_{h_{0}}(Y^{3}). Notice that, the spectrum {Λj}j=1∞\{\Lambda_{j}\}_{j=1}^{\infty} satisfies the Weyl’s law on (Y3,h0)(Y^{3},h_{0}), so in particular for sufficiently large jj,

(4.164) C0−1​j23≤|Λj|≤C0​j23.C_{0}^{-1}j^{\frac{2}{3}}\leq|\Lambda_{j}|\leq C_{0}j^{\frac{2}{3}}.

Since K0≥3K_{0}\geq 3,

(4.165) ‖VN‖L∞​(B1​(p0))≤C​‖v‖C2​K0​(Y3×{z0})⋅∑j=1N1j43≤C.\|V_{N}\|_{L^{\infty}(B_{1}(p_{0}))}\leq C\|v\|_{C^{2K_{0}}(Y^{3}\times\{z_{0}\})}\cdot\sum\limits_{j=1}^{N}\frac{1}{j^{\frac{4}{3}}}\leq C.

The proof of the claim is done. ∎

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