1: \begin{proof}

2: It is enough to consider the case $\ka \in \CC_4$.

3: Geometrically, $\Contr_{[0,+\infty)} (\eta,\ka) = \wh \CC $ can be proved using the fact that $x (\cdot) \equiv \eta_+$ is a

4: stable equilibrium solution to (\ref{e:R}) with the constant control $\vep (\cdot) \equiv \eta_+^2$.

5: The corresponding trajectory $x (s)$ with $x(s_-) = \eta_- \neq \eta_+ $ asymptotically approaches 

6: a logarithmic spiral with the pole at $\eta_+$ as $s \to +\infty$. 

7: One can concatenate this asymptotic spiral with a backward trajectory through $\eta_+$

8: under another feasible constant control $\vep (\cdot) \equiv \ep_0 \neq \eta_+^2$. 

9: This argument can be made rigorous with the use of the map from (\ref{e:vthep})

10: and the dynamics of the ilog-phases for $\ep = \eta_+^2$ and $\ep = \ep_0$.

11: 

12: Let us give another proof that can be used in less geometrically transparent situations and is 

13: based on the Pareto optimization equivalence of Section \ref{ss:Min|om|}.

14: Let us fix an interval $(s_-, s_+)$ and $\eta_- \neq \eta_+$. 

15: We want to show that 

16: \begin{align} \label{e:arg)}

17: \Arg_0 \Si_{\eta_-,\eta_+}^{s_-,s_+} [\F_{s_-,s_+}] \supset (-\pi/2,0) 

18: \end{align}

19: and use Theorem \ref{t:ExOptContr}.

20: Consider for $n \in \NN$ the behavior of 

21: $k_n (\ep)$ from (\ref{e:Si(ep)}) as the constant $\ep$ 

22: runs through $[\n_1^2,\n_2^2] \setminus \{\eta_+^2\}$. 

23: On one hand, such $k_{n} (\ep)$ lie in the strip 

24: $

25:  \re z \in \frac{\pi }{s_+-s_-} \left[ \frac{n-1/2}{\n_2}, \frac{n+1/2}{\n_1} \right] .

26: $

27: On the other, 

28: $ \im k_{n} (\ep) \to -\infty $ as $\ep \to \eta_+^2$ since $x(s_+) = \eta_+$ and $\vth_\ep (s_+) \to 0$. So 

29: $

30: \{ \Arg_0 k_{n} (\ep) \ : \ \ep \in [\n_1^2,\n_2^2] , \ \ep \neq \eta_+^2 \} 

31: \supset \left( -\pi/2,  \Arg_0 k_n (\ep_0) \right] ,

32: $

33: where $\ep_0$ is any fixed number in $[\n_1^2,\n_2^2] \setminus \{\eta_+^2\}$.

34: Since $\Arg_0 k_n (\ep_0) \to 0$ as $n \to +\infty$, we see from (\ref{e:Si(ep)})

35: that (\ref{e:arg)}) holds true. 

36: \end{proof}

37: