ScalingStacks

Proposition 6.4 [03LJ]

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

Proposition 6.4

Let UU be an open neighbourhood of ww in ℝ\mathbin{\mathbb{R}} and u′,v′:U→ℝu^{\prime},v^{\prime}:U\rightarrow\mathbin{\mathbb{R}} be real analytic functions. If either a≠0a\neq 0, or a=0a=0 and u′​(w)≠0u^{\prime}(w)\neq 0, then in an open neighbourhood VV of (w,0)(w,0) in ℝ2\mathbin{\mathbb{R}}^{2} there exist unique real analytic solutions u,v:V→ℝu,v:V\rightarrow\mathbin{\mathbb{R}} of (33) such that u⁡(x,0)=u′​(x)u(x,0)=u^{\prime}(x) and v⁡(x,0)=v′​(x)v(x,0)=v^{\prime}(x) for all x∈Ux\in U with (x,0)∈V(x,0)\in V.

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