What is the Implicit Function Theorem good for? - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-25T12:50:52Z http://mathoverflow.net/feeds/question/37933 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/37933/what-is-the-implicit-function-theorem-good-for What is the Implicit Function Theorem good for? jlk 2010-09-06T23:29:08Z 2012-04-01T18:59:46Z <p>What are some applications of the <a href="http://en.wikipedia.org/wiki/Implicit_function_theorem" rel="nofollow"> Implicit Function Theorem </a> in calculus? The only applications I can think of are:</p> <p>1) the result that the solution space of a non-degenerate system of equations naturally has the structure of a smooth manifold;</p> <p>2) the Inverse Function Theorem.</p> <p>I am looking for applications that would be interesting to an advanced US math undergraduate or 1-st year graduate student who is seeing the Implicit Function Theorem for the first or second time. The context is I will be explaining this result as part of a review of manifold theory.</p> http://mathoverflow.net/questions/37933/what-is-the-implicit-function-theorem-good-for/37934#37934 Answer by Scott Carter for What is the Implicit Function Theorem good for? Scott Carter 2010-09-06T23:56:25Z 2010-09-06T23:56:25Z <p>I think of the implicit function theorem as a basic result that underlies many results in transversality and Morse theory. These two ideas are the major tools in the study of manifolds. You cannot understand manifolds without them. </p> <p>So if we look at the inverse image of a non-degenerate critical value in a manifold it will have finitely many singular points. Outside a neighborhood of these, the pre-image appears as a submanifold. Local coordinates are obtained via the implicit function theorem. Look at any book on manifold theory and you will see it used.</p> http://mathoverflow.net/questions/37933/what-is-the-implicit-function-theorem-good-for/37935#37935 Answer by Ryan Budney for What is the Implicit Function Theorem good for? Ryan Budney 2010-09-07T00:41:19Z 2012-03-16T16:54:57Z <p>If you go a little bit further than the inverse and implicit function theorems, you can get a fairly practical theorem. <a href="http://en.wikipedia.org/wiki/Kantorovich_theorem" rel="nofollow">Kantorovich's theorem</a> gives you fairly strong sufficient conditions for a system of smooth equations to have a solution. Moreover it tells you how quickly Newton's method converges in that situation. For example, this theorem is used by <a href="http://front.math.ucdavis.edu/0809.1203" rel="nofollow">Harriet Moser</a> to prove that <a href="http://en.wikipedia.org/wiki/SnapPea" rel="nofollow">SnapPea</a> does give approximations to <i>actual solutions</i> to the hyperbolic gluing equations. The applications of course are pretty broad, this is one on the fairly pure end of the spectrum. Kantorovich was an economist although I do not understand the economics problems he was interested in. </p> <p>If you're interested, this perspective on the inverse and implicit function theorems is in "full glory" in <a href="http://matrixeditions.com/UnifiedApproach4th.html" rel="nofollow">Hubbard's multi-variable calculus text</a>.</p> <p>2nd answer: The proof of Sard's theorem is a delicate dance with the Implicit Function Theorem, Taylor's Theorem and some basic argument with Lebesgue measure zero. </p> http://mathoverflow.net/questions/37933/what-is-the-implicit-function-theorem-good-for/37945#37945 Answer by Deane Yang for What is the Implicit Function Theorem good for? Deane Yang 2010-09-07T03:42:34Z 2010-09-07T03:42:34Z <p>The infinite-dimensional implicit function theorem is used, among other things, to demonstrate the existence of solutions of nonlinear partial differential equations and parameterize the space of solutions. For equations of standard type (elliptic, parabolic, hyperbolic), the standard version on Banach spaces usually suffices, but you have to be clever about which Banach space to use. There is a generalization of the implicit function theorem, due to Nash who used it to demonstrate the existence of isometric embeddings of Riemannian manifolds in Euclidean space, that works for even more general types of PDE's. Moser stated and proved a simpler version of the theorem. There is a beautiful survey article by Richard Hamilton (who originally used the Nash-Moser implicit function theorem to prove the local-in-time existence of solutions to the Ricci flow) on the Nash-Moser implicit function theorem.</p> http://mathoverflow.net/questions/37933/what-is-the-implicit-function-theorem-good-for/37947#37947 Answer by David Corwin for What is the Implicit Function Theorem good for? David Corwin 2010-09-07T06:13:59Z 2010-09-07T06:19:21Z <p>The implicit function theorem is critical in the theory of manifolds (especially that of Riemann surfaces) in showing that a subvariety of affine or projective space is actually a submanifold. I found this out bluntly after trying to read a textbook on Riemann surfaces and realizing that I didn't entirely understand it for this reason. Furthermore, the conditions of the implicit function theorem motivate the definition of a non-singular point of a variety, and in more advanced algebraic geometry, the notion of an <a href="http://en.wikipedia.org/wiki/%25C3%2589tale_morphism#.C3.89tale_morphisms_and_the_inverse_function_theorem" rel="nofollow">etale map</a>. Another important notion in algebraic geometry motivated by the implicit function theorem is that of a <a href="http://en.wikipedia.org/wiki/Complete_intersection" rel="nofollow">local complete intersection</a>. To read an elementary account of this latter notion, see I.3 of Algebraic Curves and Riemann Surfaces by Miranda.</p> <p>A good book to see how multivariable calculus and commutative algebra interact is <a href="http://books.google.com/books?id=n5yb3HlW-wgC&amp;printsec=frontcover&amp;dq=smooth+manifolds+and+observables&amp;source=bl&amp;ots=oHWghzNsQH&amp;sig=I8rCM56LmwnYeZQ6XWKz2cvCzpg&amp;hl=en&amp;ei=YdqFTLbSBoO8lQfUs-DFDw&amp;sa=X&amp;oi=book_result&amp;ct=result&amp;resnum=2&amp;ved=0CCsQ6AEwAQ#v=onepage&amp;q&amp;f=false" rel="nofollow">Smooth Manifolds and Observables</a> by Nestruev.</p> http://mathoverflow.net/questions/37933/what-is-the-implicit-function-theorem-good-for/37952#37952 Answer by Pietro Majer for What is the Implicit Function Theorem good for? Pietro Majer 2010-09-07T07:12:27Z 2012-04-01T18:09:09Z <p>One elementary application to ODEs: a differential equation $$u'(t)=f(t, u(t ))$$ with a continuous RHS of the form</p> <p>$$f(t,x):=-\frac{\partial_t g(t,x)}{\partial_x g(t,x)},$$ for some $C^1$ function $g$ with non-vanishing $\partial_x g,$ has a one-parameter family of solutions whose graphs are the level sets of $g$. This is a largely used solution method, but it's the IFT that ensures that these solutions are indeed well-defined functions, implicitly defined by $g(t,u(t))=c.$ Incidentally, note that this is a case where there holds uniqueness for the Cauchy problem, even if the Lipschitz assumptions may fail to hold.</p> http://mathoverflow.net/questions/37933/what-is-the-implicit-function-theorem-good-for/37967#37967 Answer by Julián Aguirre for What is the Implicit Function Theorem good for? Julián Aguirre 2010-09-07T11:57:22Z 2010-09-07T11:57:22Z <p>In studying how the fixed points of a one parameter family of real functions $f_\mu(x)=f(x,\mu)$ as the parameter $\mu$ changes, one is lead to study the solutions of the equation $$f(x,\mu)=x.$$ The implicit function theorem is the right tool for this task, and in general, for the study of <a href="http://en.wikipedia.org/wiki/Bifurcation_theory" rel="nofollow">bifurcation</a> in dynamical systems, both continuous and discrete.</p> http://mathoverflow.net/questions/37933/what-is-the-implicit-function-theorem-good-for/38021#38021 Answer by Skip for What is the Implicit Function Theorem good for? Skip 2010-09-08T01:01:09Z 2010-09-08T01:01:09Z <p>The Implicit Function Theorem appears in a typical undergraduate course on mathematical economics, and I find that application gives me more inspiration than applications in mathematics. Here is a simple example. Suppose a company's profit $\Pi$ is a function of the number $x$ of widgets they produce (which they can choose) and a vector of other variables $\vec{y}$ over which they have no control (the price at which they can sell the widgets, cost of raw materials, etc.). Then by Calc 1, the profit-optimizing quantity $x^\ast$ will satisfy the equation $\frac{\partial}{\partial x} \Pi \vert_{x = x^\ast} = 0$.</p> <p>The Implicit Function Theorem says that ${x^\ast}$ is a function of $\vec{y}$. This is just the unsurprising statement that the profit-maximizing production quantity is a function of the cost of raw materials, etc. But the IFT does better, in that in principle you can evaluate the derivatives $\partial x^* / \partial y_i$. If the company acts to maximize its profit, then these derivatives predict how the company will change its production in response to changes in external factors such as the cost of raw materials.</p> <p>(You might be worried about the hypothesis in the IFT that $\frac{\partial^2}{\partial x^2} \Pi$ is nonzero. But in this example it is trivially satisfied because economists usually assume that marginal cost is increasing and that marginal revenue is decreasing, or anyway increasing more slowly than marginal cost.)</p> http://mathoverflow.net/questions/37933/what-is-the-implicit-function-theorem-good-for/38024#38024 Answer by Tim Feeman for What is the Implicit Function Theorem good for? Tim Feeman 2010-09-08T01:49:00Z 2010-09-08T01:49:00Z <p>See the article: Nord, Gail; David Jabon, and John Nord; The Global Positioning System and the Implicit Function Theorem, SIAM Review, vol. 40:3 (1998), 692--696; for a nice application of the IFT to estimating the errors involved in GPS measurements.</p> http://mathoverflow.net/questions/37933/what-is-the-implicit-function-theorem-good-for/88571#88571 Answer by Uday for What is the Implicit Function Theorem good for? Uday 2012-02-15T22:41:53Z 2012-03-16T15:57:31Z <p>One of the major applications of Implicit Function Theorem is the lesson it teaches:</p> <pre><code> Locally, Manifold Theory = Linear Algebra. </code></pre> <p>That is, locally, we can perform our calculus as if it is linear algebra. Solving simultaneous equations, discussing about linear independence of coordinates, basis set and mapping from one manifold to another can be viewed as linear transformations. Discuss the invertability of functions as if they are linear transformations. Infact by <a href="http://en.wikipedia.org/wiki/Darboux%27s_theorem" rel="nofollow">Darboux theorem</a>, in Symplectic manifold theory the linear algebra aspects is more prominent. </p> http://mathoverflow.net/questions/37933/what-is-the-implicit-function-theorem-good-for/88594#88594 Answer by Elizabeth S. Q. Goodman for What is the Implicit Function Theorem good for? Elizabeth S. Q. Goodman 2012-02-16T04:14:32Z 2012-02-16T04:14:32Z <p>One thing I've learned recently (moving into symplectic geometry from topology) is that people often underestimate the value of regarding manifolds locally as graphs of functions, or submanifolds of Euclidean space. The IFT helps with this, and provides actual applications, but here's possible motivation.</p> <p>--My recent favorite example for intuition: How does a surface of negative curvature behave? Like the graph of a harmonic function on $\mathbb R^2$ (where the Hessian is not 0). That is to say, if you have trouble imagining a surface in $\mathbb R^3$ which has no hills and valleys but only saddles, try graphing a function like $xy$ or $e^x\cos y$. </p> <p>--Related to this: use IFT to study the curvature of a surface in $\mathbb R^3$ (or $n$-manifold in $\mathbb R^{n+1}$) nearby a strict maximum in any one coordinate. I'm not sure what the nicest precise statement should be here to cover all non-generic cases, but it's fun route to differential geometry if someone hasn't had it.</p> <p>--Less directly related to the IFT: What does a Morse critical point "look like''? We like to say that the Morse function can be given in some local coordinates by $x_1^2+\ldots +x_k^2-x_{k+1}^2-\ldots x_n^2$, but when we visualize this, we usually see the manifold (OK, surface) itself as the graph of that function over a piece of $\mathbb R^n$. Thus making the Morse function "height" as usual.</p> http://mathoverflow.net/questions/37933/what-is-the-implicit-function-theorem-good-for/91384#91384 Answer by Denis Serre for What is the Implicit Function Theorem good for? Denis Serre 2012-03-16T16:38:23Z 2012-03-17T08:54:35Z <p>A fundamental application is </p> <blockquote> <p><strong>Theorem</strong> Let $t\mapsto A(t)$ a $C^1$-family of $n\times n$ matrices. If at $t=0$, $A(0)$ has a simple eigenvalue $\lambda_0$, then for $t$ small enough, $A(t)$ admits a simple eigenvalue $\lambda(t)$ that is a $C^1$-function of $t$ and is such that $\lambda(0)=\lambda_0$. In addition, its derivative at $t=0$ is given by $\dot\lambda(0)=x^*\dot A(0)x$ where $x$ is the normalized ($\|x\|=1$) eigenvector associated with $\lambda_0$.</p> </blockquote> <p>Of course, there are infinite-dimensional versions of this statement. Both finite and infinite-dimensinal versions are used daily by hundreds of mathematicians.</p> http://mathoverflow.net/questions/37933/what-is-the-implicit-function-theorem-good-for/91415#91415 Answer by Mark Wildon for What is the Implicit Function Theorem good for? Mark Wildon 2012-03-16T21:27:17Z 2012-03-16T21:27:17Z <p>For polynomials over the $p$-adic numbers there is a version of the implicit function theorem which makes the domain of the implicit function precise. I'll state the two-variable version here, along with an application to counting congruences modulo powers of $p$. Both generalise easily to any number of variables.</p> <p>Let $f(X,Y) \in \mathbf{Z}_p[X,Y]$. Suppose that $a, b \in \mathbf{Z}_p$ are such that $f(a,b) = 0$ and $\frac{\partial f}{\partial X}(a,b) \not\equiv 0$ mod $p$. Then there exists a continuous function $g : b + p\mathbf{Z}_p \rightarrow a + p\mathbf{Z}_p$ such that if $y \in b + p\mathbf{Z}_p$ then $f(x,y) = 0$ if and only if $x = g(y)$.</p> <p>I learned of an application of this result from Benjamin Klopsch. Suppose that $f(X,Y) \in \mathbf{Z}[X,Y]$ is non-singular and let $N_k(f)$ be the number of residue classes $(x,y) \in (\mathbf{Z} / p^k \mathbf{Z})^2$ such that $f(x,y) \equiv 0$ mod $p^k$. Applying the result above to each solution of $f(a,b) \equiv 0$ mod $p$ gives $N_k(f) = N_1(f)p^{k-1}$ for all $k \ge 1$.</p> http://mathoverflow.net/questions/37933/what-is-the-implicit-function-theorem-good-for/91422#91422 Answer by Tom Goodwillie for What is the Implicit Function Theorem good for? Tom Goodwillie 2012-03-16T22:24:49Z 2012-03-17T02:16:01Z <p>I like to begin an introduction to manifolds by proving that the following conditions on a subset of $\mathbb R^n$ are equivalent:</p> <ol> <li><p>Locally it can be mapped to an open subset of $\mathbb R^p\times 0$ by a diffeomorphism between open subsets of $\mathbb R^n$.</p></li> <li><p>Locally it appears as the graph of a smooth function expressing $n-p$ of the coordinates as functions of the other $p$.</p></li> <li><p>Locally it is $f^{-1}(0)$ for a smooth map to $\mathbb R^{n-p}$ whose derivative has maximal rank (i.e. rank $n-p$).</p></li> <li><p>Locally it is the image of a smooth map from $\mathbb R^p$ of maximal rank (i.e. rank $p$).</p></li> </ol> <p>2 implies 1 easily. 1 implies 3 and 4 easily. 4 implies 2 by the inverse function theorem in dimension $p$. 3 implies 2 (this implication might be called the implicit function theorem) by the inverse function theorem in dimension $n$.</p> <p>I like to think that any one of these four would serve as a good definition of "smooth $p$-dimensional manifold in $\mathbb R^n$" for those who have not studied abstract manifolds, but that you haven't really begun to get into the subject until you see that they are the same.</p> http://mathoverflow.net/questions/37933/what-is-the-implicit-function-theorem-good-for/92837#92837 Answer by Liviu Nicolaescu for What is the Implicit Function Theorem good for? Liviu Nicolaescu 2012-04-01T18:59:46Z 2012-04-01T18:59:46Z <p>By changing coordinates you can make a simple function appear compluicated. Have you ever asked yourself if the opposite is true: givern a "complicated" function, can I make it look simpler in a neighborhood of a point by changing thecoordinates near that point? </p> <p>The implicit function theorem states that if that point is not a critical point, then you can find coodinates near that point such that, in these coordinates the function is a linear function.</p>