fb5e734ee3b68082.tex
1: \begin{abstract}
2: We investigate boundedness of the relative errors of derivatives of 
3: $\X=\X(\P) \in \R^n$
4: defined implicitly by the vanishing residual $\r=R(\X,\P)=0,$ $r \in \R^n,$ $\P \in \R^m$ in dependence of a given absolute error
5: $\DX \in \R^n$ in the primal solution $\X$. 
6: First-order error analysis is employed to prove conditions for boundedness.
7: 
8: 	Different types of implicit functions yield different directional derivatives (also: tangents) 
9: 	$\dot \X=\dot F(\X,\dot \P)$ and adjoint directional derivatives (also: adjoints) $\bar \P=\bar F(\X,\bar \X).$ 
10: 	For example,
11: the absolute error in tangents
12: $\|\Delta \dot \X\|=\|\dot F(\X+\Delta \X,\dot \P)-\dot F(\X,\dot \P)\|$ yields the corresponding relative error 
13: 	$$\|\delta \dot \X\|=\frac{\|\Delta \X\|}{\|\X\|}=\frac{\|\dot F(\X+\Delta \X,\dot \P)-\dot F(\X,\dot \P)\|}{\|\dot \X\|} \approx \frac{\|\dot F'(\X,\dot \P)\cdot \Delta \X\|}{\|\dot F(\X,\dot \P)\|} $$ 
14: assuming convergence of the Taylor series expansion of $F$ to the true value of
15: 	the tangent in a sufficiently large 
16: neighborhood of all points $\X$ of interest.
17: The following questions will be answered:
18: \begin{enumerate}
19: \item 
20: 	$\exists~\X, \dot \P : \; \lim_{\|\dot F(\X,\dot \P)\| \rightarrow 0} \|\delta \dot \X\|=\infty$ while $\|\delta \X\| < \infty$?
21: \item Under which conditions is $\|\delta \dot \X\|<\infty?$
22: \end{enumerate}
23: Similar results will be derived for adjoints. We focus on linear and nonlinear systems of equations including first-order optimality conditions in the context 
24: of smooth nonlinear optimization.
25: \end{abstract}
26: