Continuity vs Partial Derivatives vs Differentiability | My Favorite Multivariable Function

Sdílet
Vložit
  • čas přidán 14. 07. 2024
  • In single variable calculus, a differentiable function is necessarily continuous (and thus conversely a discontinuous function is not differentiable). In multivariable calculus, you might expect a similar relationship with partial derivatives and continuity, but it turns out this is not the case! In this example, what I call the cross function, we will see that both partial derivatives exist but that the function is nonetheless not continuous. This means our work is still cut out for us: we need to define a new concept to replace single variable differentiation in the multivariable context that is more than just partial derivatives existing.
    ****************************************************
    COURSE PLAYLISTS:
    ►CALCULUS I: • Calculus I (Limits, De...
    ► CALCULUS II: • Calculus II (Integrati...
    ►MULTIVARIABLE CALCULUS (Calc III): • Calculus III: Multivar...
    ►DIFFERENTIAL EQUATIONS (Calc IV): • How to solve ODEs with...
    ►DISCRETE MATH: • Discrete Math (Full Co...
    ►LINEAR ALGEBRA: • Linear Algebra (Full C...
    ***************************************************
    ► Want to learn math effectively? Check out my "Learning Math" Series:
    • 5 Tips To Make Math Pr...
    ►Want some cool math? Check out my "Cool Math" Series:
    • Cool Math Series
    ****************************************************
    ►Follow me on Twitter: / treforbazett
    *****************************************************
    This video was created by Dr. Trefor Bazett. I'm an Assistant Teaching Professor at the University of Victoria.
    BECOME A MEMBER:
    ►Join: / @drtrefor
    MATH BOOKS & MERCH I LOVE:
    ► My Amazon Affiliate Shop: www.amazon.com/shop/treforbazett

Komentáře • 75

  • @aquilazyy1125
    @aquilazyy1125 Před 3 lety +41

    I really like how you connect concepts to each other like this, which is the hardest part of learning anything, but is what most other teacher fail to do. Keep up the great work!

    • @DrTrefor
      @DrTrefor  Před 3 lety +5

      Thank you! I agree that is the hard part but also the most important!

    • @aquilazyy1125
      @aquilazyy1125 Před 3 lety

      Dr. Trefor Bazett I checked out your other videos and they are really inspiring.
      This will be a fine addition to my collection :P

  • @travorreznik7295
    @travorreznik7295 Před 3 lety +11

    The idea of taking multiple concepts and showing their connections to each other is awesome! Very useful and informative video. Thanks a lot.

  • @mathCS1233
    @mathCS1233 Před 2 lety

    you just helped me solve a sum that I was trying to do for some time now. thanks a lot!!

  • @at6727
    @at6727 Před 3 lety +6

    video gr8 editing gr8 explanation gr8.. you are gr8!

  • @briandwi2504
    @briandwi2504 Před rokem +1

    Lovely and helpful example.

  • @continnum_radhe-radhe
    @continnum_radhe-radhe Před 2 lety +3

    Thank you so much sir 🔥🔥🔥

  • @not_intrested
    @not_intrested Před 3 lety +4

    God bless you man ♥️

  • @ahmedtawfeeq6511
    @ahmedtawfeeq6511 Před 4 lety +4

    Amazing teaching method! Keep it up, please.

  • @maph420
    @maph420 Před 5 měsíci

    really useful playlist :)

  • @srinidhir2188
    @srinidhir2188 Před 3 lety +4

    ULTIMATE EXPLAINATION SIR 🎉
    FROM INDIA 😊

  • @abrahamsweetvoice7687
    @abrahamsweetvoice7687 Před 4 lety +2

    My calc 3 exam is tomorrow, these vids are saving me !! ( also the divergence theorem is killing me rn xD )
    Are you thinking of making videos about the greens theorem, divergence theorem, line integrals,... ?

    • @duckymomo7935
      @duckymomo7935 Před 4 lety +1

      Of course: those are the fundamental theorems of Vector Calculus, not covering them would be a crime
      Also check out Michael Penn

  • @GovindKumar-mu6jq
    @GovindKumar-mu6jq Před 2 lety

    Thanks ❤

  • @amansingh-ww2qc
    @amansingh-ww2qc Před 3 lety +1

    Love u sir

  • @apoorvajain9137
    @apoorvajain9137 Před 2 lety

    sir can we take partial derivative with respect to x by keeping y constant even if the function is non differentiable? or do we need to follow the defination?

  • @citiesinspace4864
    @citiesinspace4864 Před 4 lety +4

    Hey there professor, just curious but what software do you use to draw your graphics? Is that a result of a graphics library from a programming language?

  • @lanog40
    @lanog40 Před 3 lety

    Dr. Trefor Bazett, have you joined the 3b1b "Summer of Math Exposition 1" discord? It could use more math youtubers, especially of your caliber.

  • @toniivanov4419
    @toniivanov4419 Před 2 lety +1

    Mistake at 5:15. It should be "unfortunately." Thanks.

  • @spyninja1456
    @spyninja1456 Před 3 lety +4

    Thank you for this video. What happens regarding the partial derivative for the rest of the function (where x and y do not both equal 0)?

    • @rizalpurnawan3796
      @rizalpurnawan3796 Před 3 lety +1

      I guess it equals zero as well.
      As that step function forms planes in x-y coordinates at xy does not equal zero. Hence if we take y equals to some constant c, we see that it's some kind of constant line along x at y=c. The derivative of a constant line is equal to zero, hence the partial derivative of f(x,y) with respect to x is equal to zero, as well as the partial derivative of f(x,y) with respect to y is equal to zero.
      This is the characteristic of step function.

    • @jamesjin1668
      @jamesjin1668 Před 3 lety +1

      I agree that it's zero. If you choose any point on the rest of the function, you will soon discover that no matter what h is, the output of the function simply doesn't change. Therefore, as you derive by first principle (using limit), the numerator will simply be zero, similar to the partial derivatives at (0,0).

    • @beoptimistic5853
      @beoptimistic5853 Před 3 lety

      czcams.com/video/XQIbn27dOjE/video.html 💐💐👍

  • @1aadithya9c25
    @1aadithya9c25 Před 3 lety +1

    Superb animation sir

  • @saimsiddiqui1544
    @saimsiddiqui1544 Před 3 lety +2

    How cool you are😍😍😍

  • @shrutigupta584
    @shrutigupta584 Před rokem

    What would be the partial derivative wrt y at point (2,0) .. will it exist?

  • @atirmahmood7058
    @atirmahmood7058 Před 9 měsíci

    Actually for partial derivatives to exist the function should be continuous along the axis even if it is not continuous throughout the disc centred at (a,b).

  • @sanjaydwivedi7167
    @sanjaydwivedi7167 Před 3 lety +1

    Sir, how to prove that partial derivatives of a function exist..

  • @CstriderNNS
    @CstriderNNS Před 4 lety

    is the reason we evaluate a limit up to but not including a function due to the fact that at the funcion the secant line goes to infinity for all functions ?

  • @chetanbhatt5153
    @chetanbhatt5153 Před 3 lety +2

    🤩

  • @paultayar6281
    @paultayar6281 Před 3 lety

    Hi. Does the directional derivative in v(1,1) or any other vector different than x or y axis exist at (0,0) for the function f(x, y) =0 for xy different than 0 and f(x, y) =1 for xy = 0
    F(0+s.1,0+s.1) - f(0,0) =0-1 while
    1.partialx +1.partialy =0

    • @DrTrefor
      @DrTrefor  Před 3 lety

      Nope, none of the other direction derivatives exist because you move one step in any other direction and you go over a step in the function

  • @claudiolopez9794
    @claudiolopez9794 Před 2 lety

    lov u

  • @Jack_Callcott_AU
    @Jack_Callcott_AU Před 2 lety +1

    A question: A couple of videos back, in this series ,you asked the question :" If , in the case of a function z=f(x,y) we want to calculate the limit (x,y)--> (a,b) , is it sufficient for the existence of a limit L to approach (a,b) along every possible straight line and get the value L for the limit to exist." I say it is. Am I right ? It is clearly a necessary condition, but is it sufficient.

    • @DrTrefor
      @DrTrefor  Před 2 lety +3

      It is not sufficient! We have examples where along every straight line the limit is L but along some weird curves that are not lines the limit is something else.

    • @Jack_Callcott_AU
      @Jack_Callcott_AU Před 2 lety

      @@DrTrefor Thanks for the help. I'm working my way through your multi-variable calculus course. I'm up to video 18 and I'm really enjoying it.

  • @gamersfx7167
    @gamersfx7167 Před 2 lety +2

    If a fn is continuous than it is necessary that partial derivatives exist and will have same value sir?? Is that so plz reply sir
    If no can u plz give me a counter example for that plx sir🙏

    • @DrTrefor
      @DrTrefor  Před 2 lety +2

      Sadly that isn't true:( Just take any function with a point somewhere.

    • @gamersfx7167
      @gamersfx7167 Před 2 lety

      @@DrTrefor sir what about the diffrentiation and parial derivative
      1.)Can I say if a fn is diffrentiable than partial derivative exist at that point and must be equal..
      Or it is also wrong is it 2.)possible to get a fn which is diffrentiable but parial derivative does not exist at that point?? Is that so??
      Which one is crrct 1st and 2nd plz reply sir and thanks for clearing my first doubt sir ❤

  • @vijaysinghchauhan7079
    @vijaysinghchauhan7079 Před 2 lety

    When we define the partial derivative of f(x, y) wrt y we usually use k instead of h, but why?

    • @carultch
      @carultch Před rokem

      Possibly because h is already spoken-for, for the same action when defining the partial derivative with respect to x. We therefore choose k.
      Why k of all possible letters? It probably has to do with the convention of using the point (h, k) to identify the vertex of a parabola, or the center of other conic sections. The h is used for the x-direction horizontal shift, and the k is used as the y-direction shift. I don't know why we use k specifically for that, but it probably is due to the fact that the letters i and j are avoided, since these letters likely might refer to the imaginary unit.
      It's common that c and k are used interchangeably to stand for constant, since konstant is the German word for constant.

  • @achalcharantimath5603
    @achalcharantimath5603 Před 4 lety

    please make a video on gradient decent

  • @KevHnh
    @KevHnh Před 4 lety +1

    Mr. Bazett, please end my curiosity. Are you actually on Bad Vibes Forever?

    • @KevHnh
      @KevHnh Před 4 lety

      Trefor Bazett I find your discrete math videos easier to understand than that response 😭

  • @aizazhashmi9433
    @aizazhashmi9433 Před 4 lety

    Please make an other video on limits of multivariable function using epsilon delta definition.. How to prove that a limit exist or doesn't exist using epsilon delta definition.

    • @duckymomo7935
      @duckymomo7935 Před 4 lety

      It’s easy to prove that it doesn’t exist
      Proving existence is harder

    • @beoptimistic5853
      @beoptimistic5853 Před 3 lety

      czcams.com/video/XQIbn27dOjE/video.html 💐💐👍

    • @rizalpurnawan3796
      @rizalpurnawan3796 Před 3 lety

      @@duckymomo7935 we can consider continuous function on metric space as such a function is the generalization of continuous real-valued multivariable function, i.e., we consider the metric space (R^n, d*) with d* is the standard Euclidean distance. The function can be given by f : U --> R, where U is the subset of R^n, hence we consider f as a function between metric spaces (R^n, d*) and (R, d), with d is defined by d(x, y) = |x - y|, for all x,y in R.
      If f is continuous at a point u in U, then
      for all ε > 0 there exists some δ > 0 for all x in U [ d*(x, u) < δ => d(f(x), f(u)) = |f(x) - f(u)| < ε ]
      must be satisfied.
      Q. E. D.

    • @rizalpurnawan3796
      @rizalpurnawan3796 Před 3 lety

      But, it is out of context. This definition doesn't occur in elementary multivariable calculus class.
      We might find it in General Topology class.

  • @duckymomo7935
    @duckymomo7935 Před 4 lety +1

    with multivariable it does get complicated
    Thm1 Separately continuous not implies continuous
    Thm2 Continuous in every linear direction does not imply continuous
    Thm3 Existence of partial derivatives does not imply differentiable
    Thm4 Existence of directional derivatives in every direction not implies differentiable

  • @premsubhrajeetbhoi7259

    is differentibility and differentiation are same?
    sir

    • @carultch
      @carultch Před rokem

      Differentiation is the name of a process. The process of taking a derivative. Derivative is a noun, differentiate is a verb, differentiation is a noun, referring to the process of that verb.
      Differentiability is a noun for the concept of the adjective differentiable, which describes a function for whether its derivative is continuous or not. If the derivative of a function is continuous, it means it is differentiable. If there are jump discontinuities in the derivative, or places where the derivative has a vertical asymptote, then it isn't differentiable at that point. You will see a kink or a cusp in the original function where this happens, which is a point where it is not possible to define the derivative in introductory Calculus.

  • @Happy_Abe
    @Happy_Abe Před 3 lety +1

    I think something possibly more powerful we can say than this but I'm not positive is:
    Partial derivatives can exist, be continuous, and themselves differentiable; all while the original function is not continuous.
    Is that correct?

    • @DrTrefor
      @DrTrefor  Před 3 lety

      Actually no. Continuous partial derivatives implies the function is differentiable. This is a theorem, but is non-trivial.

    • @Happy_Abe
      @Happy_Abe Před 3 lety

      @@DrTrefor So I’m aware of this theorem but it has an extra condition
      That is that the function is continuous as well
      Theorem states precisely that if (a,b) is in your domain of f and f(x,y), f_x(x,y), and f_y(x,y) are all defined in a neighborhood around (a,b) and are continuous in that neighborhood then f(x,y) is differentiable at (a,b).

    • @carultch
      @carultch Před rokem

      @@Happy_Abe If a function is not continuous, it is not differentiable either. A jump discontinuity in the original function, will mean that the derivative will spike to either infinity or negative infinity at that point. This means that there is a jump discontinuity in the derivative as well.
      You might say that the Dirac Delta function for a unit impulse is enough to make the Heaviside step function differentiable, but it really isn't. That is more of a work-around to get the Calculus to work, despite a singularity. These singularity functions work well for Laplace and Fourier transforms, but are very difficult to make work with introductory Calculus methods.

    • @Happy_Abe
      @Happy_Abe Před rokem

      @@carultch but does a function being discontinuous imply it doesn’t have partial derivatives defined for its whole domain?
      Otherwise the extra condition seems unnecessary

    • @carultch
      @carultch Před rokem

      @@Happy_Abe Yes. Discontinuities imply non-differentiable functions.

  • @ManishSingh-gc5fv
    @ManishSingh-gc5fv Před rokem +1

    What about the Dirac delta which is the derivative of Heaviside function?

    • @carultch
      @carultch Před rokem +1

      That's a special exception, where a derivative is defined despite a jump discontinuity. The Heaviside step function is technically not differentiable at x=0. We just define the Dirac impulse function to be its derivative, in order to keep track of the calculus implications of discontinuous functions. It works well with the Laplace and Fourier transforms, but it is difficult to make these functions work for introductory Calculus methods.