ScalingStacks

Lemma 6.13 . [02I5]

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

Let Φ:E→F\Phi\colon\thinspace E\rightarrow F be the smooth function between Banach spaces and write Φ⁡(x)=Φ⁡(0)+L⁡(x)+N⁡(x)\Phi(x)=\Phi(0)+L(x)+N(x), where LL is linear and NN contains the non-linearities. Assume that there exists constants r,C,qr,C,q such that

  1. (i)

    LL is invertible with ‖L−1‖≤C\|L^{-1}\|\leq C;

  2. (ii)

    ‖N⁡(x)−N⁡(y)‖F≤q​‖x+y‖E​‖x−y‖E\|N(x)-N(y)\|_{F}\leq q\|x+y\|_{E}\|x-y\|_{E} for all x,y∈Br​(0)⊂Ex,y\in B_{r}(0)\subset E;

  3. (iii)

    ‖Φ⁡(0)‖F<min⁡{r2​C,14​q​C2}\|\Phi(0)\|_{F}<\min\left\{\frac{r}{2C},\frac{1}{4qC^{2}}\right\}.

Then there exist a unique x∈Ex\in E with ‖x‖E≤2​C​‖Φ⁡(0)‖F\|x\|_{E}\leq 2C\|\Phi(0)\|_{F} such that Φ⁡(x)=0\Phi(x)=0.

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