Let's do complex analysis: Integrating sin^2(x)/x^2(x^2+1) from 0 to infinity using residue theorem

Поделиться
HTML-код
  • Опубликовано: 14 окт 2024
  • Merch :v - teespring.com/...
    Former video: • A RIDICULOUSLY AWESOME...
    Leibniz rule: • The Leibniz rule for i...
    Help me create more free content! =)
    / mathable
    Let us tackle this integral once again! We are going to combine the tools of complex and real analysis, featuring papa cauchy's residue funhouse, feynman integration and contour integration! Have fun =)
    Twitter: / flammablemaths
    Visit my website! =)
    mathable.me/

Комментарии • 119

  • @MrPeterpants100
    @MrPeterpants100 4 года назад +17

    Your use of the phrase "curvy boi" alone made me subscribe.

  • @mihirchawla890
    @mihirchawla890 6 лет назад +52

    bro i love the way you start almost every integral in I(t) then diff. it just love this way to solve problems😎😎

  • @Mot-dh5sx
    @Mot-dh5sx 5 лет назад +36

    Gotta love Jordanian's Lemon sometimes

  • @bastianherrera2171
    @bastianherrera2171 6 лет назад +17

    How do you even come up with these things... just wow. Keep up the amazing work!

  • @FernandoVinny
    @FernandoVinny 6 лет назад +14

    This one was fucking hard! It's not just calculus. It's real and complex analysis

  • @IloveNateReuss
    @IloveNateReuss 3 года назад +1

    Thanks for saving me for my complex analysis final, I couldn't have done it without these videos

  • @kevinfung6697
    @kevinfung6697 6 лет назад +20

    Flammable math,Can you please solve the integral x/(e^x-1) from 0 to infinity using complex analysis?The answer is equal to π²/6

  • @The1RandomFool
    @The1RandomFool 4 года назад +1

    As a shortcut for the epsilon contour avoiding the origin, you could use the residue theorem for it, then multiply it by the fraction of the circular revolution around the pole at the origin (-1/2). It's negative due to the negative orientation of the epsilon contour around the pole at the origin. You also arrive at -pi*i.

  • @TheoH54
    @TheoH54 6 лет назад +14

    Ok, you love the Feynman technique, no doubt. But it's an overkill here, really. Just split the sin(x)^2 in e^(2ix) - 1 and e^(-2ix) -1 both times a factor -1/4. This way the pole at x=0 is simple. Then integrate over your Gamma/Lambda/real axis countour in the upper half plane for the first part and over a similar, specular, Gamma/Lambda/real axis contour in the lower half plane for the second part and after some book keeping, taking into account the residues at + / - i and half the residue at x=0, you're done. Well, nearly so,. To write it up would take me half a page, definitely not more. Anyway, I have fun watching your video's. Cheers!

    • @maddinmanek8679
      @maddinmanek8679 6 лет назад +1

      Theo Hermsen that is what I thought of too :)

    • @HansensUniverseT-A
      @HansensUniverseT-A 5 лет назад +9

      Because math wizards prefer doing it the most complex way same with programmers, this way it makes them appear more superior, because they know the majority doesn't know the language, so they get away with it...

    • @DendrocnideMoroides
      @DendrocnideMoroides 2 года назад +1

      I actually think his way is more natural because
      making (sin(x) → sin(tx))(cos(x) → cos(tx))(e^x → e^(tx)) is very common

  • @witness6347
    @witness6347 4 года назад

    a quick way to deal with the x^2 term: first use partial fraction = int ( sin(x)^2/x^2 ) - int (sin(x)^2/(x^2+1)) for the second term, use double angle formula then use residue theorem. Next, for the first term int ( sin(x)^2/x^2 ), we use integral by part, int ( sin(x)^2/x^2 ) dx = - int (sin(x)^2) d (1/x) = - sin(x)^2/x + int (1/x) d sin(x)^2 the first part evaluate at 0 and inf give both zero, the second part int (1/x) d sin(x)^2 =int (sin(2x)/x) dx, use u-sub, let u=2x, and use the fact int (sin(u)/u) du = pi/2, we are done!

  • @parkerbordeaux7388
    @parkerbordeaux7388 6 лет назад +15

    your vids are great, I N F I N I T Y B O I

  • @parkerbordeaux7388
    @parkerbordeaux7388 6 лет назад +3

    You should try solving the more general integral where the squared terms are raised to the n, see what happens

  • @jonbovi-69
    @jonbovi-69 5 лет назад +1

    You took the limit of the three integrals on the right handside; that was with epsilon approaching 0, and with R approaching infinity... however, you have to maintain the equality at both sides, you should have done the same thing to the left hand side by getting the limit of negative i(pi)/e^2t as epsilon approaches 0 and as R approaches infinity.
    I was confused, but let me guess; the reason you didn't show the solution is because 't' is independent of R & epsilon, and since taking the limit of the constant won't change anything because the limit of a constant function is still the constant itself. Well I'm not sure if my assumption was right, but anyway your videos are awesome and I love them.

  • @parkerbordeaux7388
    @parkerbordeaux7388 6 лет назад +1

    also, when you create the functional I(t), and then look at where it's derivative vanishes to come up with new bounds for integration, i can't help but be reminded of homotopy. really neat!

  • @Ensivion
    @Ensivion 6 лет назад +6

    At around 14:00 I see that you make this substitution from z->phi but I thought when you're integrating along the contour that's curved as such, you had to parameterize the curve in exactly the same way you did. It seemed like you implied you made that substitution out of nowhere. ALSO isn't that just 2pi* i residue at z=0. Which is a simple pole, even thought it looks like a second order one.

  • @user-wu8yq1rb9t
    @user-wu8yq1rb9t 2 года назад

    Great Papa .... I love it
    Thank you so much dear lovely Papa ❤️

  • @zachchairez4568
    @zachchairez4568 4 года назад +3

    You should do more complex analysis videos. Complex analysis = nice warm chocolate chip cookie.

  • @williamtachyon2630
    @williamtachyon2630 6 лет назад +1

    Great video! :)
    It’s been a while I’ve done complex analysis.

  • @jeromemalenfant6622
    @jeromemalenfant6622 5 месяцев назад

    Or you could make the substitution x^2 -> x^2 + a^2 in the denominator. You then have poles at z = +- i and +- ia, and then take the limit a -> 0 after calculating the integral.

  • @drdeconstruct9341
    @drdeconstruct9341 6 лет назад +1

    what's the short audio clip you play at the beginning of all these videos?
    btw: you've totally inspired me to enjoy integration lately! Your videos are awesome!

  • @AizenAwakened
    @AizenAwakened 6 лет назад

    You saved me hours of pain trying to figure out problems similar to this.

  • @aadhavan7127
    @aadhavan7127 5 месяцев назад

    I differentiated a second time which gets rid of the pole at the origin and makes it a lot simpler. Integrating the result twice then gives the same answer

  • @99selfmade21
    @99selfmade21 6 лет назад +3

    FUZE TEA at the beginning i regonize it!! xD I always drink that at school! :D

  • @conradmorris8881
    @conradmorris8881 2 года назад

    nice work! you do not need to change the sign of the second term to apply the backwards triangle inequality, it holds regardless.

  • @theopapa8232
    @theopapa8232 6 лет назад +1

    Lamda is λ οr the capital Λ
    And epsilon ε or the capital Ε
    Great videos!
    Respect from greece!

  • @emmanuelalbazi8560
    @emmanuelalbazi8560 6 лет назад +2

    Beautiful 😯😯
    Can you please do this one??
    Integral from 0 to 2pi exp(cosx)dx

  • @mithileshjoshi6789
    @mithileshjoshi6789 5 лет назад +1

    Can you make video on basics of contour integration ,I did not understand that how you are going to select contur as a semicircal in upper half

  • @carlosgiovanardi8197
    @carlosgiovanardi8197 4 года назад

    GREAT! Fabulous explanation. Viele Grüße aus Pomerode - Santa Catarina - Brasilien

  • @sansamman4619
    @sansamman4619 6 лет назад +5

    what is the name of that amazing music when you show the problem!!!????

    • @sansamman4619
      @sansamman4619 6 лет назад +1

      o wow! this is your second channel!! fapmid is a great writer by the way i absolutely love him!!

  • @TheNachoesuncapo
    @TheNachoesuncapo 6 лет назад +2

    hi,i wanted to asked you something,i can´t decide between studiying math or physics (at college level)
    is there any piece of advise you could give me?
    by the way, i love proving theorems in math,do you do proofs in physics too?(not experiments),because in highschool we didn´t and to be honest i dont know anything about college physics
    thanks a lot!

  • @mountaindewitt
    @mountaindewitt 6 лет назад +3

    intro with sipp = instalike

  • @theflaggeddragon9472
    @theflaggeddragon9472 6 лет назад +1

    Moar complex analysis PLS! Could you also do quantum physics and hard differential equations?

  • @lenoel7666
    @lenoel7666 6 лет назад +4

    Complex analysis is love

  • @fabioaratore9382
    @fabioaratore9382 2 года назад

    I really like your video, you are very good in explaining also little details one's usually forget. But I have to ask you another integral that is driving me crazy: Integral from 0 to Infinity of Sin^2 (Pi x)/(1-x^2)^2. I tryed with the Feynman trick as you did, but eventually i cannot eliminate the term in the denominator that make me diverge this integral when epsilon goes to 0. Do you have a tip for me?

  • @curiousminds301
    @curiousminds301 6 лет назад +5

    Can you please solve a tough question of quantum mechanics

    • @Legacies87
      @Legacies87 6 лет назад +2

      Hey swastik ur doing Bsc

  • @arecus54
    @arecus54 4 года назад +1

    Yay, complex analysis

  • @MohammadAqib22
    @MohammadAqib22 4 года назад +1

    Please solve limit 0 to infinity integration sinx/x(1+x^2)
    Answer is. π/2 (1-1/e)

  • @mesterfriend402
    @mesterfriend402 5 лет назад +1

    you are the best

  • @Kzey1
    @Kzey1 2 года назад

    Why you choose e^(2itz) instead (e^iz-e^-iz)/2 ?? You always choose e^(itz) if you have sin(x) or cos(x) in your integrand ?

  • @samirgeiger1042
    @samirgeiger1042 6 лет назад

    Wow... this was amazing, but there was one thing i didnt get. At 9:00 you said that the contour integral of f(z) would be equal to 2pi*i*residue. Is that some theorem i havent learned yet or am I just to stupid.
    Thanks for the help in advance =)

  • @FernandoVinny
    @FernandoVinny 6 лет назад +2

    My birthday gift

  • @nestorv7627
    @nestorv7627 6 лет назад +2

    my daily dose of math

  • @GreenMeansGOF
    @GreenMeansGOF Год назад

    15:42 it doesn’t seem valid to take the limit as epsilon goes to 0. I feel that we may need a convergence theorem or perhaps an estimation.

  • @bangaloremathematicalinsti5351
    @bangaloremathematicalinsti5351 4 года назад +2

    Great work keep it up :)

  • @UnPeuDeMathsEtDeScience
    @UnPeuDeMathsEtDeScience 2 года назад

    amazing video !!

  • @JohnSmith-iu3fc
    @JohnSmith-iu3fc 4 года назад

    Question! domain of the integral is fm 0 to infinity so, the final result isn't half value of your calculations?

  • @sourabhsaha5773
    @sourabhsaha5773 5 лет назад

    Did you use Stein and shakarchi for learning complex analysis

  • @sunny-mm7hg
    @sunny-mm7hg 5 лет назад

    this helped soooo much!! thank you

  • @peppenapoli96
    @peppenapoli96 6 лет назад +1

    Great as always :D

  • @aram8832
    @aram8832 5 лет назад +1

    Reverse triangle inequality
    And they just say make it zero ,now it makes sense

  • @MaxxTosh
    @MaxxTosh 4 года назад

    Are you able to do this by differentiating wrt t twice to completely get rid of the x^2 term? I just tried doing this on my own but I couldn’t get the right answer, but admittedly I don’t really know complex analysis

  • @krux7965
    @krux7965 6 лет назад

    Could you do a video on 1/3 factorial with use of the gamma function?

  • @giovannimariotte4993
    @giovannimariotte4993 3 года назад

    Very awesome

  • @jony7779
    @jony7779 6 лет назад +5

    take a shot for every squiggly boi

  • @gustavosedano294
    @gustavosedano294 6 лет назад +3

    Great!!!

  • @Legacies87
    @Legacies87 6 лет назад +3

    So, amazing have a cheers🍻.:D

  • @sofiswagner6827
    @sofiswagner6827 7 месяцев назад

    mil gracias

  • @IustinThe_Human
    @IustinThe_Human 6 лет назад

    can you find the center of mass of the area given by the integral of any continuous function f(x)?

  • @flameon8185
    @flameon8185 4 года назад

    when you say poles above the real axis, does that count for z=0 also?(origin)

  • @chaos4785
    @chaos4785 6 лет назад +1

    😩this is soooo cooolll😍

  • @wademarshall2364
    @wademarshall2364 6 лет назад +7

    Complex analysis is hard

    • @surjeetsingh1729iitk
      @surjeetsingh1729iitk 5 лет назад +1

      Nope it ia intresting

    • @guyguy1811
      @guyguy1811 4 года назад +1

      @@surjeetsingh1729iitk Something can be both interesting and hard. I'm currently trying to teach myself complex analysis before uni and its really fun, but hard.

  • @Rundas69420
    @Rundas69420 6 лет назад

    Why can you switch sin(2tx) with e^(2i*t*z)?
    It's clearly not the same. Or am I missing something here?

  • @alexting827
    @alexting827 5 лет назад

    You set f(z)=e^2itz/(z(z^2+1))
    How did you know to choose that function?

  • @Mana-
    @Mana- 6 лет назад

    Awesome!

  • @FernandoVinny
    @FernandoVinny 6 лет назад

    How do I know if the real integral is equivalent to the contour I've constructed?

    • @nullplan01
      @nullplan01 6 лет назад +1

      It's not. The contour contains the original integral, and then some other parts. That's why it is so useful; you generally get expressions for all the parts in terms of your original integral, or as constants, and then an expression for the entire contour integral as a constant, either due to residue theorem or due to integral theorem, which is basically a special case (Residue theorem: A contour integral over a simply closed curve containing pointwise singularities of the function will be equal to the sum of the residues of the function at these singularities. Integral theorem: A contour integral over a simply closed curve containing *no* pointwise singularities of the function will be equal to zero.) Then the rest is algebra.

  • @sagargour2024
    @sagargour2024 2 года назад

    cant solve this using direct residues; plz make a video for solving this using direct residue

  • @jamesbra4410
    @jamesbra4410 4 года назад +1

    WE WANT BRANCH CUTS WE WANT WINDING INTEGRAL!

  • @stardestroyer19
    @stardestroyer19 6 лет назад

    When boys do complex analysis

  • @RaymondRossell
    @RaymondRossell 6 лет назад

    I thought i knew some math... what a fool am I. This was completely out of my league

  • @auxiruiz9624
    @auxiruiz9624 2 года назад

    integrate (e ^ (- s * x) * senx)/x dx from 0 to ∞

  • @visheshmangla2650
    @visheshmangla2650 6 лет назад

    If u have differentiated once differentiating twice won't do anything bad but better and then integrating twice.

  • @wduandy
    @wduandy 5 лет назад

    What is the name of the Lemma?

  • @coffeedotbean
    @coffeedotbean 3 года назад

    Whoever asked for the Jordan's lemma proof wants to apologise so bad 😂😂😂

  • @tahajoedelhoum5508
    @tahajoedelhoum5508 5 лет назад

    Ur website is not accesibly can u give me the correct lien 😘😘

  • @vvladgfhjkm
    @vvladgfhjkm 6 лет назад

    Very nice, curvy boi!

    • @vvladgfhjkm
      @vvladgfhjkm 6 лет назад

      That's so cringy yet so hilarious. Whooph!
      Good video by the way, as always

  • @federico8052
    @federico8052 4 года назад +2

    brilliant

  • @curiousminds301
    @curiousminds301 6 лет назад +15

    Why quantum mechanics is so hard

    • @visheshmangla2650
      @visheshmangla2650 6 лет назад

      Well, is it really?It's all about very hard maths and because we are not able to solve it, we approximate it.

  • @MrDenver009
    @MrDenver009 6 лет назад +1

    new song???

  • @Walczyk
    @Walczyk 4 года назад

    can't you just complexify the whole thing and do partial fractions?

  • @soufian2733
    @soufian2733 6 лет назад +2

    In the title you should say "integrating" instead of "doing the integral" !! Love your videos btw :)

  • @copperfield42
    @copperfield42 6 лет назад

    8:38 what, where that come from?

    • @copperfield42
      @copperfield42 6 лет назад

      :o

    • @integrablemaths6765
      @integrablemaths6765 6 лет назад

      Flammable Maths Sir, is this method contour and residue thereom learnt at master level in university ?? Thought I am math major at at level of bachelor and I didn't see this method yet ! Sir plz reply

    • @alcaz0r1
      @alcaz0r1 6 лет назад

      Are you still at university? Complex Analysis should be offered at undergraduate level.

  • @michelkhoury1470
    @michelkhoury1470 6 лет назад

    It's the easiest one !

  • @xCorvus7x
    @xCorvus7x 6 лет назад +2

    25:00
    Shit just got real.

  • @hoodedR
    @hoodedR 6 лет назад +1

    OOf spicy af

    • @hoodedR
      @hoodedR 6 лет назад

      Yo flammy i certainly follow how you are doing this but on my own i would never get this in a million years...
      How long after starting calculus is this actually

  • @arthurreitz9540
    @arthurreitz9540 6 лет назад

    Rwesidou

  • @connorchan1780
    @connorchan1780 6 лет назад +2

    gosh. cant stop thinking why this guy can be so handsome #(facepalm).

  • @HilbertXVI
    @HilbertXVI 6 лет назад +1

  • @MrAssassins117
    @MrAssassins117 6 лет назад +2

    Yay 10th comment :)

  • @sukursukur3617
    @sukursukur3617 4 года назад +2

    What a shit entry 0:00

  • @elmastrolazo
    @elmastrolazo 6 лет назад

    same spiel as here hahahaha

  • @HansensUniverseT-A
    @HansensUniverseT-A 5 лет назад

    It's actually a bit sad that people spend a large chunk of their lives doing this.

  • @kesavareddy9791
    @kesavareddy9791 5 лет назад

  • @sudhanshuojha807
    @sudhanshuojha807 6 лет назад

    kaanp kahe raha hai be

  • @nofarsheli9378
    @nofarsheli9378 4 года назад +2

    I gave you a dislike