Differential Forms | Integrating 2-forms

แชร์
ฝัง
  • เผยแพร่เมื่อ 24 ธ.ค. 2024

ความคิดเห็น • 38

  • @Darduel
    @Darduel 20 วันที่ผ่านมา

    I can`t believe this is free, this is 100 times better than my Calc4/Calc3 proffessor

  • @ObsessiveClarity
    @ObsessiveClarity 3 ปีที่แล้ว +6

    This is so good. I cannot believe something that's free with just 10,000 views is this good.

  • @oldtom541
    @oldtom541 2 ปีที่แล้ว +4

    Really clear. This is exactly how a top quality maths lecture should be. Great work. Thanks.

  • @emanuellandeholm5657
    @emanuellandeholm5657 4 ปีที่แล้ว +4

    Professor Penn, the rate at which you produce top-notch content is just mind boggling! I hope you have some time over for other things like, idk, eating, sleeping, breathing... Lol!

  • @kantocoder5046
    @kantocoder5046 4 ปีที่แล้ว +2

    It just gets better and better. A few weeks down the road we will hear about Poincare duality for de Rham cohomologies, CW-complexes or even Atiyah-Signer theorem.

  • @andyduuh7971
    @andyduuh7971 ปีที่แล้ว

    You saved me with These Videos, i have an exam tomorrow in manifolds and m-forms, thank you very much!!!

  • @sirlight-ljij
    @sirlight-ljij 4 ปีที่แล้ว +19

    Marvellous! Do you have plans on covering Lie Groups & Algebras afterwards?

  • @baumstamm228
    @baumstamm228 4 ปีที่แล้ว +17

    From 12:23 on there is a sum over i,j missing

    • @pythoncure6755
      @pythoncure6755 3 ปีที่แล้ว

      It is understood explicitly have u heard of Einstein's summation convention?

    • @oni8337
      @oni8337 ปีที่แล้ว +1

      @@pythoncure6755 No he just missed it and didn't intend to employ Einstein summation convention

  • @jdsahr
    @jdsahr 2 ปีที่แล้ว +3

    At 13:01, is there a summation sign missing after the Limit symbol?

  • @drpkmath12345
    @drpkmath12345 4 ปีที่แล้ว +2

    Very interesting question! Enjoyed it so much

  • @jordanlawlor89
    @jordanlawlor89 4 ปีที่แล้ว +1

    Thanks for making these videos, well done as always.

  • @masonskiekonto590
    @masonskiekonto590 ปีที่แล้ว

    Michael Penn my beloved

  • @zhasulanaset6514
    @zhasulanaset6514 4 ปีที่แล้ว +4

    Hi from Kazakhstan

  • @johnspivack6520
    @johnspivack6520 ปีที่แล้ว

    Nice video series but it looks like there is a big mistake on the board at 15:25 (for instance). The summation sign is missing in the approximation to the integral...

  • @protosstassadar20
    @protosstassadar20 8 หลายเดือนก่อน

    I think in the "so far" at 12:33, there is a missing Sum

  • @sinecurve9999
    @sinecurve9999 4 ปีที่แล้ว +6

    Great video, as always. I've heard there are some issues with applying the Riemann integral to higher dimensions due to limit processes. Is it possible to cast an integral of a differential 2-form in the form of a Lebesgue integral?

    • @kantocoder5046
      @kantocoder5046 4 ปีที่แล้ว +4

      Why would you want to? Manifolds are smooth, Riemann integral will suffice.

    • @sinecurve9999
      @sinecurve9999 4 ปีที่แล้ว +1

      @VeryEvilPettingZoo Thanks for the thoughtful answer.

  • @JernejBarbic
    @JernejBarbic ปีที่แล้ว

    Very nice explanation. I have the following question:
    In this video, we are integrating arbitrary differential 2-forms. In particular, the 2-form on the tangent space is arbitrary. I understand how given such an arbitrary 2-form, the integration is well-defined, and this video nicely demonstrates that. However, I am wondering what 2-form concretely one should select so that the integration will result in the usual surface-area-based integration of scalar functions on surfaces.
    So, I am interesting in knowing how we could use the integration definition of this lecture to integrate a scalar function over a surface (say, embedded into R^3, or into any R^n for n >= 3), in the usual sense where we need to multiply the function value with a differential of the surface area, and integrate over the entire surface. This doesn't seem possible in the framework presented in this lecture.
    The issue is that we would need to find a 2-form on R^n such that, given two vectors v1 = dphi/du and v2 = dphi/dv, the form returns the signed area of the parallelogram spanned by v1 and v2. I know this is possible when n=2, but such a 2-form doesn't seem to exist when n >= 3. Namely, the area is given by the sqrt of the determinant of the 2x2 Gramm matrix, i.e., sqrt(det( {v_i dot v_j}_{i=1,2; j=1,2})). In other words, we need the sqrt. Also, even the mapping {v1, v2} -> det( {v_i dot v_j}_{i=1,2; j=1,2} ) itself is not even bilinear, so this cannot be the sought-after 2-form.
    For example, when n=3, this Gramm matrix is exactly the first fundamental form of the surface, and we know that the surface area is given as sqrt( det( firstFundamentalForm) ) du dv. But -- in this lecture, we never pre-prend sqrt to the output of the 2-form, and I don't see how sqrt(det( {v_i dot v_j}_{i=1,2; j=1,2})) could be somehow linked to a 2-form, or otherwise incorporated into the integration framework given in this lecture.
    And so, this framework seems fundamentally unable to integrate scalar functions over surfaces using the usual Euclidean-based notion of a surface area. This seems to me to be the most common usage case, and so I am perplexed why it doesn't fit into the framework. What I am missing? How is this issue addressed? Thank you!!

    • @mychaelsmith6874
      @mychaelsmith6874 ปีที่แล้ว

      You need a Riemannian metric to do the kinds of integrals you're asking about.

  • @byronwatkins2565
    @byronwatkins2565 ปีที่แล้ว

    At 12:10, why is there no Jacobian in this sum? The vectors after the transformation are not necessarily orthogonal or normalized. It seems like the integral as defined has no physical significance...

  • @Salmanul_
    @Salmanul_ 4 ปีที่แล้ว

    Well explained!

  • @brady1123
    @brady1123 4 ปีที่แล้ว +1

    I am a little confused by the step around 14:19 where you multiply by delta_u and delta_v while only dividing by delta_u for the first component and delta_v for the second component. I don't see how you are able to ignore the delta_v for the first component and delta_u for the second component.

    • @shortnr
      @shortnr 4 ปีที่แล้ว

      I have very little idea what's going on in this, but maybe it has something to do with the fact that delta_u and delta_v are perpendicular vectors? Maybe their multiplication on the other tangent vector cancels out in some way?
      Edit: delta_u and delta_v aren't vectors, but the tangent vectors are perpendicular, so maybe that's it?

    • @ruinenlust_
      @ruinenlust_ 4 ปีที่แล้ว +2

      Bilinearity, you should watch the previous videos on 2 forms to understand this property

    • @sirlight-ljij
      @sirlight-ljij 4 ปีที่แล้ว +4

      The reason is that the definition of bilinear function is separate for each component, not simultaneous; so phi(ax,y)=phi(x,ay)=a*phi(x,y). Think of this as a quadratic function, like x*y. We do not have (ax)*(ay)=a*(xy), we have (ax)*(ay)=(a*a)*(x*y), the constant being separately pulled out of each factor

  • @abrahamplasencia2611
    @abrahamplasencia2611 4 ปีที่แล้ว +1

    Hello Michael, I was watching your real analysis playlist and there are some videos you put in private, can you help me with that?

  • @hongjunha1016
    @hongjunha1016 2 ปีที่แล้ว

    Really good lecture!! I hope see your math guide more!

  • @edskev7696
    @edskev7696 4 ปีที่แล้ว

    Thanks for the video! It's not at all obvious to me that the definition of the integral given is independent of the parameterization of the surface. Could you do a video where you give some idea why this is the case?

  • @Salmanul_
    @Salmanul_ 4 ปีที่แล้ว

    Why is it the determinant of the transpose of the matrix

  • @debosmitamukherjee9492
    @debosmitamukherjee9492 3 ปีที่แล้ว

    Why do we have phi((u_i,v_{j+1}) - phi(u_i,v_j) as the tangent vector?

  • @byronwatkins2565
    @byronwatkins2565 3 ปีที่แล้ว

    It seems like we are limited to surfaces that have no holes and to maps that are single-valued on the surface.

  • @HeyKevinYT
    @HeyKevinYT 4 ปีที่แล้ว

    🤩

  • @debjefferson4958
    @debjefferson4958 4 ปีที่แล้ว +1

    👀

  • @hamasharif8612
    @hamasharif8612 4 ปีที่แล้ว +1

    FiRsT