A masterful theorem for integration.

Поділитися
Вставка
  • Опубліковано 25 лис 2024

КОМЕНТАРІ •

  • @insainsin
    @insainsin Рік тому +140

    It's also true for a=0.

    • @lossen1984
      @lossen1984 Рік тому +3

      No this is wrong. See the solution for finding dx again in the u substitution. You will find that the sqrt when a=0 become zero and therefore the denominator becomes u/0 which is undefined.

    • @megauser8512
      @megauser8512 Рік тому +1

      @@lossen1984 Only when u = 0 though.

    • @VICTOR-vf8yx
      @VICTOR-vf8yx Рік тому +68

      ​@@lossen1984
      Set a = 0
      Then f(x-a/x) = f(x-0/x) = f(x)

    • @MarcoMate87
      @MarcoMate87 Рік тому +9

      @@lossen1984 WTF?

    • @Memzys
      @Memzys Рік тому +15

      this is trivially true, so it is not necessary to include it

  • @timelsen2236
    @timelsen2236 Рік тому +43

    ❤ I'm always amazed. This TEACHER'S TEACHER takes unique or modern results rarely seen and presents in a clear way that's very understandable.

  • @trevistics
    @trevistics Рік тому +15

    And now I can derive the inverse Gaussian density from the plain ole' Gaussian density! Thanks , Prof. Penn!

  • @Necrozene
    @Necrozene 5 місяців тому +1

    OMG, I had too much to drink. I love this stuff!

  • @mattcarnevali
    @mattcarnevali 7 місяців тому +1

    3:35 a spirit ball appears, call Ghost Adventures

  • @jasoncetron233
    @jasoncetron233 Рік тому +23

    You've heard of elf on a shelf. Now get ready for pi on root phi!
    (I know I know. It doesn't really rhyme. Artistic license 😂)

  • @ArthurvanH0udt
    @ArthurvanH0udt 11 місяців тому +2

    At 7m40 u is replaced with x. Whilst u was x-a/x so I do not get this step!!

  • @liyuanzhang8647
    @liyuanzhang8647 Рік тому +13

    It feels so good. 2019 I was an undergraduate in U.S, I learn the math from you. Now, I’m an IB mathematics teacher, I still learn things from you. It’s my horn to subscribe you❤❤❤

  • @saulmendoza1652
    @saulmendoza1652 Рік тому +2

    very neat!! i usually do contour... but this is more straightforward!

  • @goodplacetostop2973
    @goodplacetostop2973 Рік тому +10

    13:03

  • @landsgevaer
    @landsgevaer Рік тому +14

    Cute.
    Are there more function like
    u = x+a/x
    that leave the integral unaffected? I can think of ±x+a, obviously. So any ±x + a/(x+b) + c would work, in other words any
    u = (±x²+ax+b)/(x+c).
    Any u(x) should work for which the sum of the derivatives of the branches of the inverse of u(x) equals 1 in absolute value.
    I can come up with
    u = -ln(e^x -1) for x > 0
    u = ln(e^-x -1) for x < 0
    Not half as pretty though...

    • @nyghts7
      @nyghts7 7 місяців тому +1

      Bit of an old comment, but I'm replying anyway. Glasser's Master Theorem actually generalizes what u can be equal to quite a great deal. In general, this substitution works out for any u = x - sum {j = 1 to n - 1} (a_j)/(x - C_j), where a_j is a sequence of positive real constants, and C_j is a sequence of real constants. The interesting thing is that n is allowed to approach infinity, so there are some beautiful substitutions involving Fourier Transforms, notably the substitution u = x + tanx. The only added restriction to the special case in this video is that for the integral of f(u), you must take the Cauchy Principal Value, although this is mostly a formality to rigorously ensure convergence. The proof for the generalized form of u can be found in Glasser's original paper, "A Remarkable Property of Definite Integrals" that this video mostly follows.

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

      @@nyghts7 Thanks for the info !

  • @minwithoutintroduction
    @minwithoutintroduction Рік тому +5

    جميل جدا.أتمنى ان لا أنسى استعمال هذه الخاصية قبل البدء بحساب أي تكامل

  • @TomFarrell-p9z
    @TomFarrell-p9z Рік тому +1

    Nice! Just wrote that in my Gradshteyn and Ryzhik, in case I can ever use it.

  • @neilgerace355
    @neilgerace355 Рік тому +3

    As soon as I saw the 5, I thought, the Golden Ratio is going to turn up somewhere.

  • @aksenchukaleksandr3273
    @aksenchukaleksandr3273 9 місяців тому

    Thank you very much. very clear proof.

  • @grayjphys
    @grayjphys Рік тому +1

    Idk why this is reminding me of the legendre transform...

  • @Flores31206
    @Flores31206 10 місяців тому +1

    why does this not work with the dirac delta function?

  • @jimschneider799
    @jimschneider799 Рік тому +2

    @0:40 - if it's true for all positive a, then it's true for all nonnegative a, because if a = 0, the integrands are identical.

    • @gerardomalazdrewicz7514
      @gerardomalazdrewicz7514 Рік тому

      Same split, but now use the du in the other section, to keep the radical real?

    • @jimschneider799
      @jimschneider799 Рік тому

      @@gerardomalazdrewicz7514 , the only difference between the positive reals and the nonnegative reals is that the latter case contains a = 0, and for a = 0, f(x + a/x) = f(x + 0/x) = f(x), so you are integrating the same thing on both sides of the equation. I apologize for not making it clear that I was only expanding the domain by a single point.

  • @johannmeier6707
    @johannmeier6707 Рік тому +3

    I din't really understand why you can use the one substition for the negative integration bounds and the other for the positive integration bounds. Why was this allowed?

    • @Yougottacryforthis
      @Yougottacryforthis Рік тому +1

      it's not can, it's must. When x is +ve you want to use +ve and vice versa. You just take the appropriate 'branch'

    • @Yougottacryforthis
      @Yougottacryforthis Рік тому

      If its not clear in the domain (-inf,0] x is negative you have to assure RHS is negative (since its an equality)

    • @ha14mu
      @ha14mu Рік тому

      He split the integral into two. He's using one substitution on each integral which is allowed

    • @danielleza908
      @danielleza908 Рік тому +1

      Once you split the integral to two different integrals, you can solve each of them individually, and use any substitution you find useful in each of them. You're not required to use the same substitution for both.
      In this case, he correctly identified that one substitution was only defined for positive x's, and the other was only defined for negative x's, so he knew which to use for each integral.

  • @johnshortt3006
    @johnshortt3006 Рік тому +1

    at 3:10 shouldn't there be a 2u not u in the numerator? doesn't matter since it cancels

  • @jamesfortune243
    @jamesfortune243 Рік тому

    Nice idea!

  • @moonwatcher2001
    @moonwatcher2001 Рік тому

    And that's a good place to stop. I love this Channel ❤

  • @mihaichelariu9137
    @mihaichelariu9137 Рік тому

    What happens if everything returns to the point of origin?

  • @saulmendoza1652
    @saulmendoza1652 Рік тому

    almost the best 14 mins of my life... (RMT)

  • @ddognine
    @ddognine Рік тому +1

    7:40 I don't follow how f(u)du maps back to simply f(x)dx. Since u = x - a/x, shouldn't it map back to something like f(x - a/x)du where du is (1 + a/x^2)dx?

    • @ddognine
      @ddognine Рік тому

      Doh! I see it now!

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

      @@ddognineDoh! I still don't! Help pls thx!

    • @Grecks75
      @Grecks75 Місяць тому +1

      @@yellowrose0910 It's a simple renaming. It doesn't matter what name you give to the integration variable. For the same reason as it doesn't matter what you name the index variable of a finite or infinite sum. The integration variable is bound to the process of integration and has no meaning outside of the integral. The definite integral itself is a single real number, not a function, and as such does not depend on any variable.

  • @roberttelarket4934
    @roberttelarket4934 Рік тому

    S & M(ike)!
    Mike the Master!

  • @richardheiville937
    @richardheiville937 Рік тому +2

    G. Boole and, Cauchy were surely aware of such theorem. Ramanujan was using a generalization of such theorem

  • @Tehom1
    @Tehom1 Рік тому

    Wondering why it's just positive a. Can't you just define g(x) = f(x + a/x) and get the negative case? And use x = x - 0/x for a=0 except for the one indeterminate point x=0?

  • @riadsouissi
    @riadsouissi Рік тому +2

    I would used u=-a/x as a substitution.
    Much easier.

  • @zucazx
    @zucazx Рік тому

    Michael, can you develop the infinite product (1+x/2^n), n = 0, 1, 2... into a infinite sum?

  • @vnknovn
    @vnknovn Рік тому

    7:40 why can you do that?

    • @ethancheung1676
      @ethancheung1676 Рік тому +1

      we cannot do this if it is an indefinite integral. but this is a definite integral so we can write all u to whatever we want including x (it is called dummy variable)

    • @Grecks75
      @Grecks75 Місяць тому +1

      It doesn't matter what name you give to the integration variable. For the same reason as it doesn't matter what you name the index variable of a finite or infinite sum. The variable is bound to the process of integration and has no meaning outside the integral.

  • @shahidkupe
    @shahidkupe Рік тому

    Amazing🤩🤩

  • @wandrespupilo8046
    @wandrespupilo8046 Рік тому

    can you actually do that in 7:40?
    isn't u = x - a/x ???? what?

    • @ethancheung1676
      @ethancheung1676 Рік тому +2

      we cannot do this if it is an indefinite integral. but this is a definite integral so we can write all u to whatever we want including x (it is called dummy variable)

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

      @@ethancheung1676 But u is a function of x. We can't just 'rename' u to x because u contains x's since it's a function of x.

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

      @@yellowrose0910 we can, if it is definite integral.

  • @nicolascamargo8339
    @nicolascamargo8339 11 місяців тому

    Genial

  • @ojas3464
    @ojas3464 Рік тому

    👍

  • @OlympiadProblemsolving
    @OlympiadProblemsolving 10 місяців тому

    ua-cam.com/video/EGHnkT8WoSA/v-deo.html

  • @barryzeeberg3672
    @barryzeeberg3672 Рік тому +2

    It seems incorrect to me to break up the integral into 2 parts, and then use different formulas for x in each part (ie, using + or - the square root). I think you need to choose either the + or the - and stick with that one consistently both parts.
    Sometimes one or the other can be eliminated, based on physical reality. Otherwise, you need to solve separately for both variants.
    What might work is to solve the integral(s) consistently first for the + and then for the - . Maybe if you take an average of the 2 solutions, there will be a cancellation that ineffect produces the same result as in the video? But that is still not the same as deriving the master formula.

    • @amritlohia8240
      @amritlohia8240 Рік тому +3

      It's just making a separate substitution in each integral - this is perfectly valid.

    • @G0r013
      @G0r013 Рік тому +1

      ​@@amritlohia8240you are right. Basically you are using two different injective substitutions.

    • @amritlohia8240
      @amritlohia8240 Рік тому

      @@G0r013 Yes - as long as your substitution defines a continuously differentiable bijection, it will work.

    • @Alan-zf2tt
      @Alan-zf2tt Рік тому +1

      I think this may be one of those special methods that computers can do very well whereas mere mathematicians will work through from first principles. It also looks like a good justification for Category Theory and Abstract Algebra.
      I suppose that speeds up computer ways of doing things too.
      EDIT: hmmm I wonder if Glasser declared IP over it as a computer algorithm would he be on a nice little earner?

    • @DR-tx3ix
      @DR-tx3ix Рік тому

      It doesn't make sense to me either. He used the negative x formula in the left integral (-infinity to zero): would that integral yield the same result if he had used the positive x formula?

  • @terryendicott2939
    @terryendicott2939 Рік тому +1

    Cute.