ScalingStacks

Lemma 3.19 . [050D]

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

Lemma 3.19.

Let Δ0\Delta_{0} be the Hodge Laplacian on ℝ3\mathbb{R}^{3}, then the following holds:

  1. (1)

    Denote by νy\nu_{y} one of the following differential forms d​yαdy_{\alpha}, d​yα∧d​yβdy_{\alpha}\wedge dy_{\beta} or d​y1∧d​y2∧d​y3dy_{1}\wedge dy_{2}\wedge dy_{3}. Similarly, let τx\tau_{x} be a tangential pp-form given by τx≡d​x1∧…∧d​xαp\tau_{x}\equiv dx_{1}\wedge\ldots\wedge dx_{\alpha_{p}} with 0≤p≤m−30\leq p\leq m-3. Let

    (3.164) ω≡f⁡(x)​h​(y)​νy∧τx,\omega\equiv f(x)h(y)\nu_{y}\wedge\tau_{x},

    where f⁡(x)f(x) is a smooth function defined on UU and h⁡(y)=O′​(|y|k)h(y)=O^{\prime}(|y|^{k}) for some k∈ℤ+k\in\mathbb{Z}_{+}, then

    (3.165) Δ​ω−f⁡(x)⋅Δ0​(h⁡(y))⋅νy∧τx=O′​(|y|k−1).\Delta\omega-f(x)\cdot\Delta_{0}(h(y))\cdot\nu_{y}\wedge\tau_{x}=O^{\prime}(|y|^{k-1}).
  2. (2)

    Let ff be a smooth function defined on U⊂PU\subset P and let

    (3.166) ω≡f⁡(x)⋅yαr​d​y1∧d​y2∧d​y3,\omega\equiv f(x)\cdot\frac{y_{\alpha}}{r}dy_{1}\wedge dy_{2}\wedge dy_{3},

    then

    (3.167) Δ​ω=2​r−2​ω+r−5​Γ3(4)+O′​(1),\displaystyle\Delta\omega=2r^{-2}\omega+r^{-5}\Gamma_{3}^{(4)}+O^{\prime}(1),

    where the definition of the 33-form Γ3(4)\Gamma_{3}^{(4)} is in (3.45) of Notation 3.9.

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