Lectures 26-27: Functions of Several Variables (Continuity, Differentiability, Increment Theorem and Chain Rule)

Lectures 26-27: Functions of Several Variables (Continuity, Differentiability, Increment Theorem and Chain Rule)

1 Lectures 26-27: Functions of Several Variables (Continuity, Di®erentiability, Increment Theorem and Chain Rule) The rest of the course is devoted to calculus of several variables in which we study continuity, di®erentiability and integration of functions from Rn to R, and their applications. In calculus of single variable, we had seen that the concept of convergence of sequence played an important role, especially, in de¯ning limit and continuity of a function, and deriving some properties of R and properties of continuous functions. This motivates us to start with the notion of convergence of a sequence in Rn. For simplicity, we consider only R2 or R3. General case is entirely analogous. 3 Convergence of a sequence : Let Xn = (x1;n; x2;n; x3;n) 2 R . We say that the sequence (Xn) 3 is convergent if there exists X0 2 R such that kXn ¡ X0k ! 0 as n ! 1. In this case we say that Xn converges to X0 and we write Xn ! X0. Note that corresponding to a sequence (Xn), Xn = (x1;n; x2;n; x3;n), there are three sequences (x1;n)(x2;n) and (x3;n) in R, and vice-versa. Thus the properties of (Xn) can be completely under- stood in terms of the properties of the corresponding sequences (x1;n)(x2;n) and (x3;n) in R. For example, 3 (i) Xn ! X0 in R , the coordinates xi;n ! xi;0 for every i = 1; 2; 3 in R. (ii) (Xn) is bounded (i.e., 9 M such that kXnk · M 8 n) , each sequence (xi;n); i = 1; 2; 3, is bounded. Using the previous idea, we can prove the following results. Problem 1: Every convergent sequence R3 is bounded. Problem 2 (Bolzano-Weierstrass Theorem): Every bounded sequence in R3 has a convergent subsequence. In case of a sequence in R, to de¯ne the notion of convergence or boundedness, we use j j in place of k k, hence it is clear how we generalized the concept of convergence or boundedness of a sequence in R1 to R3. Moreover, it is also now clear how to de¯ne the concepts of limit and 3 3 continuity of a function f : R ! R at some point X0 2 R . 3 3 Limit and Continuity : (i) We say that L is the limit of a function f : R ! R at X0 2 R (and 3 we write limX!X0 f(X) = L) if f(Xn) ! L whenever a sequence (Xn) in R , Xn 6= X0, converges to X0. 3 3 (ii) A function f : R ! R is continuous at X0 2 R if limX!X0 f(X) = f(X0). 2 sin2(x¡y) Examples 1: (i) Consider the function f : R ! R, where f(x; y) = jxj+jyj when (x; y) 6= (0; 0) and f(0; 0) = 0. We will show that this function is continuous at (0,0). Note that j x ¡ y j2 j f(x; y) ¡ f(0; 0) j · · j x j + j y j (or j x ¡ y j ) j x j + j y j Therefore, whenever a sequence (xn; yn) ! (0; 0), i.e, xn ! 0 and yn ! 0, we have f(xn; yn) ! f(0; 0). Hence f is continuous at (0; 0). In fact, this function is continuous on the entire R2: (ii) Consider the function f : R2 ! R, where f(x; y) = p xy when (x; y) 6= (0; 0) and f(0; 0) = 0. x2+y2 2 2 p This function is continuous at (0; 0), because, j p xy j · pjx +y j = x2 + y2 ! 0; as (x; y) ! 0: x2+y2 x2+y2 2 2xy (iii) Let f(x; y) = x2+y2 ; (x; y) 6= (0; 0). We will show that this function does not have a limit at 2m (0; 0). Note that f(x; mx) ! 1+m2 as x ! 0 for any m. This shows that the function does not have a limit at (0; 0). x2y (iv) Let f(x; y) = x4+y2 when (x; y) 6= (0; 0) and f(0; 0) = 0. Note that f(x; mx) ! 0 as x ! 0. 2 1 But the function is not continuous at (0; 0) because f(x; x ) ! 2 as x ! 0. Similarly we can show x4¡y2 that the function f(x; y) de¯ned by f(x; y) = x4+y2 when (x; y) 6= (0; 0) and f(0; 0) = 0 is not continuous at (0; 0) by taking y = mx2 and allowing x ! 0. Partial derivatives : The partial derivative of f with respect to the ¯rst variable at X0 = (x0; y0; z0) is de¯ned by @f f(x0 + h; y0; z0) ¡ f(x0; y0; z0) jX = lim @x 0 h!0 h @f @f provided the limit exists. Similarly we de¯ne @y jX0 and @z jX0 : 2xy Example 2: The function f de¯ned by f(x; y) = x2+y2 at (x; y) 6= (0; 0) and f(0; 0) = 0 is not continuous at (0; 0), however, the partial derivatives exist at (0; 0). Problem 3: Let f(x; y) be de¯ned in S = f(x; y) 2 R2 : a < x < b; c < y < dg: Suppose that the partial derivatives of f exist and are bounded in S: Then show that f is continuous in S: Solution : Let jfx(x; y)j · M and jfy(x; y)j · M for all (x; y) 2 S. Then f(x + h; y + k) ¡ f(x; y) = f(x + h; y + k) ¡ f(x + h; y) + f(x + h; y) ¡ f(x; y) = kfy(x+h; y +θ1k)+hfx(x+θ2h; y), (for some θ1; θ2 2 R, by the MVT). p Hence, jf(x + h; y + k) ¡ f(x; y) j· M(jhj + jkj) · 2M h2 + k2. ² Hence, for ² > 0, choose ± = 2M or use the sequential argument to show that the function is continuous. ¤ It is clear from the previous example that the concept of di®erentiability of a function of several variables should be stronger than mere existence of partial derivatives of the function. Di®erentiability : When f : R ! R; x 2 R we de¯ne 0 f(x + h) ¡ f(x) f (x) = lim (¤) h!0 h 3 3 provided the limit exists. In case f : R ! R and X = (x1; x2; x3) 2 R the above de¯nition of the di®erentiability of functions of one variable (*) cannot be generalized as we cannot divide by an element of R3. So, in order to de¯ne the concept of di®erentiability, what we do is that we rearrange the above de¯nition (*) to a form which can be generalized. Let f : R ! R: Then f is di®erentiable at x if and only if there exists ® 2 R such that j f(x + h) ¡ f(x) ¡ ® ¢ h j ! 0 as h ! 0: j h j When f is di®erentiable at x, ® has to be f 0 (x). We generalize this de¯nition to the functions of several variables. 3 3 De¯nition : Let f : R ! R and X = (x1; x2; x3). We say that f is di®erentiable at X if there 3 exists ® = (®1; ®2; ®3) 2 R such that the error function f(X + H) ¡ f(X) ¡ ® ¢ H "(H) = k H k tends to 0 as H ! 0. 0 In the above de¯nition ®¢H is the scalar product. Note that the derivative f (X) = (®1; ®2; ®3). Theorem 26.1: Let f : R3 ! R, X 2 R3. If f is di®erentiable at X then f is continuous at X. 3 Proof : Suppose f is di®erentiable at X. Then there exists ® = (®1; ®2; ®3) 2 R such that j f(X + H) ¡ f(X) ¡ ® ¢ H j = k H k "(H) and "(H) ! 0 as H ! 0: Hence X3 j f(X + H) ¡ f(X) j · k H k ( j ®i j)+ k H k "(H) i=1 and "(H) ! 0 as H ! 0. Therefore f(X + H) ! f(X) as H ! 0. This proves that f is continuous at X. ¤ How do we verify that a given function is di®erentiable at a point in R3? The following result helps us to answer this question. Theorem 26.2: Suppose f is di®erentiable at X. Then the partial derivatives @f j ; @f j and @x X @y X @f @z jX exist and the derivative 0 @f @f @f f (X) = (®1; ®2; ®3) = ( j ; j ; j ): @x X @y X @z X 0 Proof : Suppose f is di®erentiable at X and f (X) = (®1; ®2; ®3). Then by taking H = (t; 0; 0); we have f(X + H) ¡ f(X) ¡ ® t f(X + H) ¡ f(X) ¡ ® t "(H) = 1 ! 0 as t ! 0; i:e:; 1 ! 0 jtj t @f @f @f This implies that ®1 = j : Similarly we can show that ®2 = j and ®3 = j : ¤ @x X @y X @x X Example 3 : Let x2 ¡ y2 f(x; y) = xy at (x; y) 6= (0; 0) x2 + y2 = 0 at (0; 0) To verify that f is di®erentiable at (0; 0), let us choose ® = ( @f ; @f ) j and verify that ²(H) ! 0 @x @y (0;0) as H = (h; k) ! 0. In this case ® = (0; 0) and f(0 + H) ¡ f(0) ¡ (0; 0) ¢ H hk p j "(H) j = j j · j p j · h2 + k2 ! 0 as H ! 0: k H k h2 + k2 Hence f is di®erentiable at (0; 0): ¤ Example 2 illustrates that the partial derivatives of a function at a point may exist but the function need not be di®erentiable at that point.

View Full Text

Details

  • File Type
    pdf
  • Upload Time
    -
  • Content Languages
    English
  • Upload User
    Anonymous/Not logged-in
  • File Pages
    4 Page
  • File Size
    -

Download

Channel Download Status
Express Download Enable

Copyright

We respect the copyrights and intellectual property rights of all users. All uploaded documents are either original works of the uploader or authorized works of the rightful owners.

  • Not to be reproduced or distributed without explicit permission.
  • Not used for commercial purposes outside of approved use cases.
  • Not used to infringe on the rights of the original creators.
  • If you believe any content infringes your copyright, please contact us immediately.

Support

For help with questions, suggestions, or problems, please contact us