 My Math Forum Multivariable Chain rule proof : is it correct?
 User Name Remember Me? Password

 Calculus Calculus Math Forum

February 16th, 2017, 01:47 AM   #1
Member

Joined: Jan 2016
From: United Kingdom

Posts: 35
Thanks: 0

Multivariable Chain rule proof : is it correct?

Hello,

I've had a go at proving the chain rule for a composition that maps from R^2 to R to R. There are two images attached. I've used the "arithmetic of limits" rules throughout, that if two limits exist, their product limit and sum limit exist etc. Any thoughts / scrutiny would be appreciated, since I can't find a proof elsewhere.

James
Attached Images image1.jpg (88.4 KB, 4 views) image2.jpg (89.9 KB, 2 views) February 16th, 2017, 03:49 AM #2 Senior Member   Joined: Sep 2016 From: USA Posts: 669 Thanks: 440 Math Focus: Dynamical systems, analytic function theory, numerics 2 problems with your proof: 1. Look over your computations on page 1 (about halfway down). Consider if $f$ is constant and notice that none of these statements you have made are true. Namely, the RHS of (*) is not true when $f$ is constant. Unfortunately, this computation is the crux of your proof and the rest of the computation falls through. The difficult part of proving the chain theorem occurs precisely when $f$ has zero derivative on some sequence converging to $(a,b)$. 2. On page 2, you state from one line to the next that $$\lim_{h \rightarrow 0 } \frac{g(f(a+h,b))-g(f(a,b))}{f(a+h,b) - f(a,b)} = g'(f(a,b))$$ but this is precisely the statement that requires proof. Implicitly, in the line above you have interchanged the limit for the variable you call $t$ with the variable $h$. In this case that can be justified but this isn't always the case and any proof should argue why this is allowed here. As a hint toward a proof I suggest you consider the following expression $$F(h) = \frac{g(f(a+h,b)) - g(f(a,b))}{h} - g'(f(a,b)) \qquad h \neq 0 \\ F(0) = 0.$$ Now try to prove that $F$ is continuous at $h= 0$. Hope this helps. February 16th, 2017, 10:16 AM   #3
Member

Joined: Jan 2016
From: United Kingdom

Posts: 35
Thanks: 0

SDK ,

Thanks for the reply, I've attached an image to (try) to build on what you said about the constant f function. As for the rest, I'm going to assume the function is non constant and proceed with your idea.

James
Attached Images image1 (1).jpg (89.9 KB, 2 views) February 16th, 2017, 10:28 AM #4 Member   Joined: Jan 2016 From: United Kingdom Posts: 35 Thanks: 0 Also, am I right in saying that to prove the continuity, one would have to use the fact that g is differentiable f(a,b)? Then manipulate the limit? Tags chain, correct, multivariable, proof, rule chain rule proof multivariable

Click on a term to search for related topics.
 Thread Tools Show Printable Version Email this Page Display Modes Linear Mode Switch to Hybrid Mode Switch to Threaded Mode Similar Threads Thread Thread Starter Forum Replies Last Post Christhanksalot Calculus 6 June 19th, 2015 10:09 AM king.oslo Complex Analysis 0 September 29th, 2014 09:07 AM ungeheuer Calculus 1 July 30th, 2013 05:10 PM NeuroFuzzy Calculus 1 September 21st, 2011 03:37 AM Peter1107 Calculus 1 September 8th, 2011 10:25 AM

 Contact - Home - Forums - Cryptocurrency Forum - Top      