The general Stoke's theorem via differential forms.

Поділитися
Вставка
  • Опубліковано 7 сер 2024
  • 🌟Support the channel🌟
    Patreon: / michaelpennmath
    Merch: teespring.com/stores/michael-...
    My amazon shop: www.amazon.com/shop/michaelpenn
    🟢 Discord: / discord
    🌟my other channels🌟
    Course videos: / @mathmajor
    non-math podcast: / @thepennpavpodcast7878
    🌟My Links🌟
    Personal Website: www.michael-penn.net
    Instagram: / melp2718
    Randolph College Math: www.randolphcollege.edu/mathem...
    Research Gate profile: www.researchgate.net/profile/...
    Google Scholar profile: scholar.google.com/citations?...
    🌟How I make Thumbnails🌟
    Canva: partner.canva.com/c/3036853/6...
    Color Pallet: coolors.co/?ref=61d217df7d705...
    🌟Suggest a problem🌟
    forms.gle/ea7Pw7HcKePGB4my5

КОМЕНТАРІ • 58

  • @MichaelPennMath
    @MichaelPennMath  8 місяців тому +63

    This has been sitting as a draft on the backend of the channel for a while and I kind of forgot about it. Well, maybe it is time to post it!

    • @Sup3rdud4
      @Sup3rdud4 8 місяців тому +3

      Could you please show an example of some geometric calculus using differential forms? Is there a way to find a form in G(3,0,1) for a multivector valued function.

    • @kilianklaiber6367
      @kilianklaiber6367 8 місяців тому +1

      I think it's a topic that is not well understood among many students.

    • @charleyhoward4594
      @charleyhoward4594 8 місяців тому +4

      maybe like, Dr Penn you could define terms, ex. n-chain, pullbacks, etc etc

    • @kilianklaiber6367
      @kilianklaiber6367 8 місяців тому

      @@charleyhoward4594 True, me thinks that the notation of differential forms is mathematical wizardry designed to obscure lack of true understanding.

    • @theelk801
      @theelk801 8 місяців тому +1

      thank you so much for posting this king

  • @guerom00
    @guerom00 8 місяців тому +41

    As a non-mathematician, the generalized Stokes theorem is one of the most elegant formula I've seen.

  • @lucasdeoliveira5316
    @lucasdeoliveira5316 8 місяців тому +20

    Me before watching this video: "Well, I learned Stoke's theorem in Calculus and used in Fluid Mechanics in my Engineering school. Let's watch the video and learn something new!"
    Me after watching this video: "Hmm... I know some of these words."

    • @davidgillies620
      @davidgillies620 2 місяці тому +1

      If you watch the previous 23 videos in this series all will be revealed.

  • @tomholroyd7519
    @tomholroyd7519 8 місяців тому +11

    The idea that the solution on the boundary gives the solution for the whole volume is quite cool. Like the derivative of the volume of the sphere with respect to radius is the surface area

  • @kkanden
    @kkanden 8 місяців тому +8

    i remember having a panic attack during my calc 3 lecture when this was presented, even just hearing "spivak" sends chills down my spine.... great video as always tho!

    • @TurboGamasek228
      @TurboGamasek228 8 місяців тому +4

      this is done in 3rd grade in russia

    • @ultimatedude5686
      @ultimatedude5686 8 місяців тому +7

      @@TurboGamasek228We do this in the womb on Mars.

  • @nahblue
    @nahblue 7 місяців тому +3

    Should be filed in the differential forms playlist.
    So happy this one is here now!

  • @brooksbryant2478
    @brooksbryant2478 8 місяців тому +3

    I’m so glad you’re coming back to this series!

  • @TheMauror22
    @TheMauror22 8 місяців тому +3

    This series is back! I remeber it very fondly because it made my quarantine more bearable back then!

  • @Noam_.Menashe
    @Noam_.Menashe 8 місяців тому +5

    I've been waiting for this for so long. Was wondering what happened to the diff forms playlist.

  • @arthursteenkist2595
    @arthursteenkist2595 8 місяців тому +1

    I was hoping for the series on differential forms to be continued some day. And here it is! 😊🎉🎉

  • @oni8337
    @oni8337 8 місяців тому

    thank you so much for not abandoning this series!!! cheers

  • @oni8337
    @oni8337 7 місяців тому +2

    By the way I think a clarification is needed when you impose the condition that j runs from 1 to n at 6:00. I believe that it is rather ambiguous as one can interpret that as a double sum with j = 1 to n on the outside and i_j = 1 to N on the inside, when in fact it extends from the definition of evaluating an integral of a two-form in one of the earlier videos in this series where a double sum is used to index the increments in the two parameters involved. Therefore what j being bounded between 1 and n really represents is n summations of i_1 = 1 to N up to i_n = 1 up to N. Otherwise, the "distribution" of the j = 1 telescoping series at 12:46 wouldn't make much sense.
    Also another minor (but important) detail is that the multi-index I is not the usual indexing for elementary differential m-forms that we are used to seeing (which is that they were strictly increasing natural numbers up to m), but rather (i_1,...,i_n) being an n-tuple of integers with each index running from 0 to N, independent of one another. This allows us to define an arbitrary coordinate within the uniform partitioning of the unit n-hypercube which was glossed over at the start, and hence even allows us to apply the converse mean-value theorem, because x_I* is chosen to be such that its coordinates are within the interval or geometrically lying within an infinitesimal unit n-hypercube slice defined at x_I.
    So far I felt that this was the most difficult instalment of the differential forms series to comprehend.

  • @synaestheziac
    @synaestheziac 8 місяців тому +1

    Oh snap, I guess I gotta go re-watch the entire series from 3 years ago!

  • @tomkerruish2982
    @tomkerruish2982 8 місяців тому +2

    I'm stoked!

  • @Agrajag819
    @Agrajag819 8 місяців тому +1

    This is how I learned Stoke’s Theorem! In Shurman’s Calculus and Analysis in Euclidean Space. Made learning homology in grad school easier, since I was already familiar with chains and whatnot

    • @andrewkarsten5268
      @andrewkarsten5268 2 місяці тому +1

      lol I went the other way. As an undergrad I did a directed study in algebraic topology and learned homology, then I found this playlist (and am about to start grad school in the fall).

  • @user-lo7qh1ko3z
    @user-lo7qh1ko3z 8 місяців тому +1

    Long await now comes to an end! Thank you sir!

  • @Calcprof
    @Calcprof 8 місяців тому +1

    I had the years ago in a calculus class (very honors! -- of 10 people in class at least 3 became professional academic mathematicians.) from Spivak's Calculus on Manifolds. The result on a cube ( or if you'd rather, a simplex) is really just a straightforward calculation, although setting it up (with a bunch of definitions) is somewhat lengthy.

  • @samkelson7990
    @samkelson7990 5 місяців тому

    Please add this video to the differential forms playlist! I almost missed this video.

  • @angelo.6014
    @angelo.6014 8 місяців тому

    you're a hero

  • @davidgillies620
    @davidgillies620 2 місяці тому

    Any guesses on when we're going to see the video on pull-backs and the full treatment of the generalised Stokes's Theorem?

  • @user-ex3vg5wc3y
    @user-ex3vg5wc3y 8 місяців тому +1

    It’s about time

  • @depressedguy9467
    @depressedguy9467 8 місяців тому

    Came back on the series after 3 years

  • @goodplacetostop2973
    @goodplacetostop2973 8 місяців тому +4

    16:06

  • @egoreremeev9969
    @egoreremeev9969 8 місяців тому +1

    Is that a Rieman integral definition on manifolds? In our course the proof was kinda different, don't remember this definition of integral

  • @tomholroyd7519
    @tomholroyd7519 8 місяців тому +1

    super coolness

  • @user-hq7bv6sw8t
    @user-hq7bv6sw8t 8 місяців тому

    Need a link to definition of ^

  • @nahblue
    @nahblue 7 місяців тому

    Why do we put in vectors ei/N and so on? Why divide by N?

    • @johanngambolputty5351
      @johanngambolputty5351 7 місяців тому +2

      I'm kind of guessing, but in the past I think the approximate tangent vectors he used were the lattice displacement vectors, so after dividing the big hypercube by N in each dimension, each of the mini hypercubes have side lengths of 1/N (where the "lattice points" are vertices of the minicubes here).

  • @gp-ht7ug
    @gp-ht7ug 8 місяців тому +1

    ….hyper cube….
    Absolutely incomprehensible for me. But I DO appreciate the effort to show new things

    • @paokaraforlife
      @paokaraforlife 8 місяців тому +1

      the word cube is there just as an easier transition for us
      hypercube basically means the same properties of a cube but for higher dimensions-much like going from a square to a cube

  • @theelk801
    @theelk801 8 місяців тому

    holy shit is it my birthday let’s goooooo

  • @johnshortt3006
    @johnshortt3006 8 місяців тому

    what's wedge? did I miss that in the beginning?

    • @depressedguy9467
      @depressedguy9467 8 місяців тому

      Obviously check out the whole series

    • @andrewkarsten5268
      @andrewkarsten5268 2 місяці тому

      There is a playlist on his channel called “differential forms.” This is the final video of the playlist (should be, wasn’t filed in the playlist) but in that playlist he gave all the background for this. In short, dx in differential forms are not your typical dx you learned in calculus, but are rather operators, and the wedge product is a way of combining these operators to form a new operator.

  • @gregdeboer1
    @gregdeboer1 8 місяців тому +2

    3 years late isn't so bad for an academic

  • @__hannibaal__
    @__hannibaal__ 8 місяців тому

    We should talk to UA-cam manager to change or. Add the value of video __valuable_v ; to the structure of video data type, we can’t compare this great video with some bull..ship unusefull mega ton of video on UA-cam, we should change this : because many scientists noticed that science is declining very than we predicted, and this start just after 1945, but accelerated after internet spread, why??? `I remember when i was young, hero is not footballer or dancer, or… , is Einstein, Feynman , Kasparov(chess), Ali (in sport), … and many good celibrity,
    This. Why should these kind of video never evaluated as, normal video. Time To Change it.

  • @Double_U_tau_Phi
    @Double_U_tau_Phi 8 місяців тому +1

    First

  • @dthephoneme4804
    @dthephoneme4804 8 місяців тому +1

    first

  • @ciaopeople9664
    @ciaopeople9664 8 місяців тому +3

    That's a physicist demo ....
    😐😐😐

  • @AdamLarios
    @AdamLarios 8 місяців тому +2

    The man's name is Sir George Gabriel Stokes, not Sir George Gabriel "Stoke". I mean, Jesu's, for someone who knows many proofs of Pythagora's Theorem, one would hope that spelling "Stokes" would not be too hard. =)

    • @jackhanson1852
      @jackhanson1852 8 місяців тому +4

      Lmao, do you have nothing better to do?

  • @Alan-zf2tt
    @Alan-zf2tt 8 місяців тому

    I may be wrong but ... I think physicists have a neater less abstract and complicated way of explaining it?
    And another opinion: is math really done by providing definitions?
    Or is it better done by providing background and necessity for such definitions to exist in first place?
    Vision justifies and embodies small print or small print justifies and embodies vision?
    Can it be whole without both?
    Basis: math is easy no matter how complicated mathematicians wish to make it 🙂

    • @andrewkarsten5268
      @andrewkarsten5268 2 місяці тому +1

      Doing math is not easy, but I agree a lot of higher level concepts are relatively graspable for non-mathematicians. Actually doing math with those concepts is a whole different story and is quite hard.