ScalingStacks

Lemma 4.13 . [03HS]

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 4.13.

Consider the inhomogeneous ordinary differential equation

(4.128) d2​uk​(z)d​z2−(jk2​z2+λk)​uk​(z)=ξk​(z)⋅z,z≥106,\frac{d^{2}u_{k}(z)}{dz^{2}}-(j_{k}^{2}z^{2}+\lambda_{k})u_{k}(z)=\xi_{k}(z)\cdot z,\ z\geq 10^{6},

where δ¯>0\underline{\delta}>0 is the constant defined in (4.106). Assume that the function ξk​(z)\xi_{k}(z) satisfies the following property: there are constants

(4.129) η0∈(−δ¯/2,δ¯/2)∖{0}\eta_{0}\in(-\underline{\delta}/2,\underline{\delta}/2)\setminus\{0\}

and Qk>0Q_{k}>0 such that

(4.130) |ξk​(z)|≤Qk⋅eη0​z.|\xi_{k}(z)|\leq Q_{k}\cdot e^{\eta_{0}z}.

Let uk​(z)u_{k}(z) be the particular solution defined by

(4.131) uk​(z)≡𝒢k​(z)+𝒟k​(z)𝒲k​(z),u_{k}(z)\equiv\frac{\mathcal{G}_{k}(z)+\mathcal{D}_{k}(z)}{\mathcal{W}_{k}(z)},

where

(4.132) 𝒟k​(z)≡ℱk​(z)​∫z∞𝒰k​(r)⋅(ξk​(r)⋅r)​𝑑r,\mathcal{D}_{k}(z)\equiv\mathcal{F}_{k}(z)\int_{z}^{\infty}\mathcal{U}_{k}(r)\cdot\Big(\xi_{k}(r)\cdot r\Big)dr,
(4.133) 𝒢k​(z)≡𝒰k​(z)​∫1zℱk​(r)⋅(ξk​(r)⋅r)​𝑑r\mathcal{G}_{k}(z)\equiv\mathcal{U}_{k}(z)\int_{1}^{z}\mathcal{F}_{k}(r)\cdot\Big(\xi_{k}(r)\cdot r\Big)dr

and 𝒲k\mathcal{W}_{k} is the Wronskian

(4.134) 𝒲k​(z)≡𝒲⁡(ℱk​(z),𝒰k​(z)).\mathcal{W}_{k}(z)\equiv\mathcal{W}\Big(\mathcal{F}_{k}(z),\mathcal{U}_{k}(z)\Big).

Then there are constants C0>0C_{0}>0 and η0<η<η0+δ¯/10\eta_{0}<\eta<\eta_{0}+\underline{\delta}/10 which are independent of kk such that the particular solution uku_{k} satisfies the uniform estimate

(4.135) |uk​(z)|≤C0⋅Qk⋅eη​z.|u_{k}(z)|\leq C_{0}\cdot Q_{k}\cdot e^{\eta z}.

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