When do functions near F have zeros near a zero of F? - MathOverflow most recent 30 from http://mathoverflow.net 2013-06-18T22:28:10Z http://mathoverflow.net/feeds/question/40511 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/40511/when-do-functions-near-f-have-zeros-near-a-zero-of-f When do functions near F have zeros near a zero of F? Ben Golub 2010-09-29T18:53:33Z 2010-09-30T05:08:11Z <p>Consider a sequence of functions $F_n : \mathbb{R}^d \to \mathbb{R}^d$, a function $F: \mathbb{R}^d \to \mathbb{R}^d$, and an $\mathbf{x} \in \mathbb{R}^d$ so that $F(\mathbf{x}) = \mathbf{0}$. In what sense should the $F_n$ converge to $F$, and what additional conditions should be placed on them, to ensure that (for large enough $n$) we can find a sequence of $\mathbf{x}_n$ with $F_n(\mathbf{x}_n)=0$ and $\mathbf{x}_n$ converging to $\mathbf{x}$?</p> <p>Apologies for the elementary question. I know this must be a very standard result but I can't seem to find it. Can anyone point me to the right reference?</p> http://mathoverflow.net/questions/40511/when-do-functions-near-f-have-zeros-near-a-zero-of-f/40517#40517 Answer by André Henriques for When do functions near F have zeros near a zero of F? André Henriques 2010-09-29T19:19:19Z 2010-09-29T19:36:48Z <p>You probably want the function to be continuousely differentiable, and the convergence to be in the sense of the <em>C</em><sup>1</sup>-norm (uniform convergence + uniform convergence of all the partial derivatives). You then also want the total derivative of <em>F</em> at the point <b>x</b> to be an invertible matrix. <hr> Ah! Here's a way of getting to the same conclusion with much weaker assumptions:<Br><br> If <em>F</em> is a continuous function and its derivative at the point <b>x</b> exists and is invertible, then it's enough to assume that the functions <em>F</em><sub>n</sub> are continuous and that they converge in the <em>C</em><sup>0</sup> norm (uniform convergence). <Br> The reason is that <em>F</em>, when viewed as a map from a little sphere around <b>x</b> to the punctured space &#8477;<sup>d</sup>-{0} has degree one. So any other map that is sufficiently close to it will also have degree one. A degree one map cannot extend to the disc bounding the sphere. So the function <em>F</em><sub>n</sub> must have a zero somewhere in that disc. Take smaller and smaller discs to finish the argument.</p> http://mathoverflow.net/questions/40511/when-do-functions-near-f-have-zeros-near-a-zero-of-f/40519#40519 Answer by Deane Yang for When do functions near F have zeros near a zero of F? Deane Yang 2010-09-29T19:23:17Z 2010-09-29T19:23:17Z <p>Here's one possible answer: First, consider the case $d = 1$ and think about the graph of $F$. If you assume $F$ to be continuous (anything worse would be much more difficult), then there are roughly speaking two ways to have a zero, one because the graph crosses the $x$-axis (like $F(x) = x$ and one because the graph touches the $x$-axis but does not cross (like $F(x) = x^2$). It is easy to see that the former is more "stable" in the sense that any small continuous change in $F$ will not cause the zero to disappear, whereas in the latter case it is easy to make the zero disappear by a small change in $F$. So the former case is what you want. You want the graph of $F$ to cross and not just touch the $x$-axis at the solution.</p> <p>The term for this is "transversality", you can look for more information about this. If the graph of $F$ (in any dimension) is transversal to the graph of the zero function at the solution, then any small continuous perturbation of $F$ will still have a zero.</p> <p>If $F$ is sufficiently smooth, a simple sufficient condition for this is that the derivative of $F$ is invertible at the solution. This follows by the inverse function theorem, which tells you that $F$ can be made to look like the function $y = x$.</p> http://mathoverflow.net/questions/40511/when-do-functions-near-f-have-zeros-near-a-zero-of-f/40520#40520 Answer by Fiktor for When do functions near F have zeros near a zero of F? Fiktor 2010-09-29T19:26:11Z 2010-09-29T19:26:11Z <p>If function $F$ is differentiable at the point $x$, its Jacoby matrix in this point has nonzero determinant, $F_n$ and $F$ are continuous in some neighborhood of $x$ and $F_n\to F$ pointwise, then there exists a sequence of $x_n$, s.t. $F(x_n)=0$ and $x_n\to x$.</p> http://mathoverflow.net/questions/40511/when-do-functions-near-f-have-zeros-near-a-zero-of-f/40524#40524 Answer by Pietro Majer for When do functions near F have zeros near a zero of F? Pietro Majer 2010-09-29T19:29:01Z 2010-09-29T20:41:35Z <p>Since you are requiring, among other things, some stability for the existence of solution of $F(x)=0$ under perturbation, it seems quite natural to think in terms of topological degree. </p> <ul> <li>Assume that there is an open bounded nbd of $x,$ $\Omega\subset\mathbb{R}^d,$ such that $x$ is the only solution of $F=0$ in $\bar\Omega.$ In particular this implies that $\deg(F,\Omega,0)$ is well defined. </li> <li>Assume further $\deg(F,\Omega,0)\ne 0.$ (several different facts may ensure this: $F$ is an odd map, or it is injective; or you can compute its degree etc). </li> <li>Assume that $F_n$ converge to $F$ uniformly on $\bar\Omega$ (several diffferent facts may ensure this too: for instance, $F_n$ converges pointwise to $F,$ and it is uniformly equicontinuous on $\bar\Omega$, etc). </li> </ul> <p>Then, $\deg(F_n,\Omega,0)$ is eventually defined and different to $0$. So there exists $x_n\in\Omega$ solving $F_n(x_n)=0$ (not necessarily unique). By the compactness of $\bar\Omega$ together with the uniform convergence of $F_n$ to $F$ on $\bar\Omega$, we can conclude $x_n\to x$ as we wish.</p> <p><em>PS</em>: all maps are assumed to be continuous, of course. $$*$$</p> <p><em>Further remark.</em> Generally speaking, even in more general contexts than $\mathbb{R}^d$, any existence result for solutions of $F(x)=0$ (via degree theory, topologic and metric fixed point theorems, minimization, critical point methods,... &amp;c) will give you a perturbation result as the one you are saying, provided you have some uniform a priori bounds for the solutions of $F_n=0,$ and some compactness. Also, if the unperturbed equation $F(x)=0$ is thought as a trivial case, and what you are mainly interested in is the perturbed equation $F_n=0,$ then bifurcation theory is what you want. Lastly, one more very elementary example, for all. </p> <p><em>Perturbation for the contraction principle.</em> Assume $T_n$ is a pointwise convergent sequence of contractions, with (uniform) Lipschitz constant $k&lt;1.$ Then the limit map $T$ is a $k$-contraction too, and the sequence $x_n$ of the fixed points of $T_n$ converges to the fixed point of $T$. Indeed, it's immediate to check that $\|x-x_n\|\le\frac{1}{1-k}\|T(x)-T_n(x)\|.$</p>