I Bet You've Never Seen THIS Before

Поділитися
Вставка
  • Опубліковано 9 гру 2023
  • Use Code dfasgydhxb to get:
    15% off EVERYTHING over on papaflammy.myteespring.co/
    10% off all Geek Merch over on www.stemerch.com
    Advent Calendar Playlist: • This Differential Equa...
    New Video over on @NPCooking69 ! =D • The Best Potato Dish o...
    Today we derive the maclaurin series expansion of the exponential function using functional analysis and integral operator magic. Enjoy! =D
    Help me create more free content! =)
    / mathable
    Merch :v - papaflammy.myteespring.co/
    www.amazon.com/shop/flammable...
    shop.spreadshirt.de/papaflammy
    Twitter: / flammablemaths
    Instagram: / uncomfortably_cursed_m...

КОМЕНТАРІ • 83

  • @angelmendez-rivera351
    @angelmendez-rivera351 5 місяців тому +109

    To be clear, the manipulation from 1 = (1 - I)(exp) to exp = (1/(1 - I))(1) requires that exp be a function not in the kernel of the operator (1 - I), since otherwise, the inverse of the operator does not exist. Hence, it is convenient to know what the kernel is before hand: we want to know all functions f such that (1 - I)(f) = 0, which is equivalent to I(f) = f. We can turn this into a differential equation, so we have f' = f, which implies f(x) = Aexp(x), and so I(f)(x) = Aexp(x) - A = f(x) = Aexp(x), which holds for all x if and only if A = 0, which implies f = 0. This means that, in fact, (1 - I) is an injective operator, so it is meaningful to apply this with any function.
    Now, for the derivative operator, we have D(exp) = exp, which means (1 - D)(exp) = 0, and notice the implication here: exp is in the kernel of 1 - D, so there is no meaning in applying the inverse here. Additionally, there is the issue that D is an unbounded operator.

    • @anshumanagrawal346
      @anshumanagrawal346 5 місяців тому +2

      Hey! Found you again. It's been a while

    • @V-for-Vendetta01
      @V-for-Vendetta01 5 місяців тому +3

      Wow! I understood absolutely nothing of that.

    • @nickb3164
      @nickb3164 4 місяці тому +1

      what the FUCK is a kernel i signed up for MATH not POPCORN

    • @hyae
      @hyae 4 місяці тому

      Yoo thanks

  • @oni8337
    @oni8337 5 місяців тому +134

    Yay more weird operator manipulation videos

  • @ADesignsOfficial
    @ADesignsOfficial 5 місяців тому +35

    What you are using is actually a functional analytic argument. You are implicitly considering the Volterra operator on a space of continuous functions. Then one can observe that this operator, although it has an operator norm equal to one, has a spectral radius equal to 0. In particular, the spectral radius is strictly less than one, which allows using the Neumann series (which is basically just the geometric series for operators). I used to show it to physics students in my exercise classes :D

  • @mr.inhuman7932
    @mr.inhuman7932 5 місяців тому +13

    Acutally very happy to see a new Video every day.

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

    I though you were gonna do something like turn the integral operator into an equation and then do some broken stuff to it.

  • @olliecole7163
    @olliecole7163 5 місяців тому +6

    That's a great derivation for the taylor series expansion, never seen that before. Thanks for sharing

  • @Mochatan
    @Mochatan 5 місяців тому +23

    This is eye opening, thank you for this content papa flammy ❤

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

    That's just brilliant! Thank you for sharing this!

  • @adamrozsavolgyi2947
    @adamrozsavolgyi2947 5 місяців тому +4

    i want papa Flammy to read out the discount code to his merch shop accurately at least once

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

      No, you don't. It's the name of a Lovecraftian Old One.

    • @adamrozsavolgyi2947
      @adamrozsavolgyi2947 5 місяців тому +2

      that's the point: witnessing something beyond conscious comprehensibility is truly a spiritual experience

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

    Love waking up to a new video of PAPPA FLAM!
    I fan since 2018!

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

    Our boy is starting to shoot unnecessary shots at physics 😂 EACH VIDEO

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

    I saw it on instagram once but did in an horrible way
    I tried it after and saw that it did work out after all, but yeah with more precautions
    good thing you make a video of your own about this !!

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

    He is bad ass !!... I love it... but I would use I for the identity operator and S for the integral operator.. it just makes the notation harmonize better with the intent.

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

    This is what my professor would call dirty math

  • @benhongh
    @benhongh 3 місяці тому +1

    The bit with geometric series expansion on an def integral operator...how is that even legit?

  • @godelianconfucianism8184
    @godelianconfucianism8184 5 місяців тому +4

    Something something Neumann series

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

    Fantastic result.

  • @JakubS
    @JakubS 5 місяців тому +3

    That is crazy, I love it

  • @edmundwoolliams1240
    @edmundwoolliams1240 5 місяців тому +2

    I thought the title should be: How REAL men find Taylor series

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

    Love your wonky shit. You’re one of a kind and I appreciate you sharing this wicked video!

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

    Is this useful for differential equations?

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

    Awesome, but how can one apply the classical operations to operators and still getting the right answer? One could have also exponentiation or integration over a operator? This kind of topic make me wish study math instead of physics

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

      Pretty sure it has to be a bounded, linear operator. Exponentiation as an operator isn't linear. An operator is linear if for constants a,b and functions f,g the operator O fulfills:
      O(a*f+b*g)=a*O(f)+b*O(g)

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

      You can exponentiate the derivative and get the shift operator because that's essentially the Taylor expansion. Explicitly, exp(d/dx) f(x) = f(x) + f'(x) + ½f"(x) + ⅙f'"(x) + ... = f(x+1).

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

    that was really nice video, never heard about something like this, exiting

  • @joda7697
    @joda7697 5 місяців тому +10

    That is sick!
    I've never seen the series representation for exp() derived this way, but it makes perfect sense!
    (and yes, it has to be a bounded operator Papa Flammy)

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

    I don't know much about functional analysis. But isn't the answer (exp(x)) * (x+1). because if we apply (1- INTGRAL from 0 to x) operator on that we get exp(x) . so if we apply its inverse on exp(x) we have to get that answer.

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

    THIS IS BEAUTIFUL! Now I can understand why we can manipulate the backshift operator in time series like a fucking geometric series :D

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

    Can this be considered as proof for the taylor series of e^x?

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

    YOU ABSOLUTE GIGACHAD THIS IS PEAK

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

      Thank you for the amazing content +1

  • @KrasBadan
    @KrasBadan 5 місяців тому +6

    I find this immensely funny

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

    Can anyone explain how we can approach this with derivative operator?

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

    So cursed, yet it works out in the end

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

    Should have been a halloween video because this shit is spooky

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

    Thats so freaking nice

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

    holy shit, wow.

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

    Really cool

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

    That was fuckin cool dude. I didn’t get a chance to learn the Taylor series in college, and to see one proved like that was awesome.

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

    Operational calculus. 1/(1 - D) f(x) = f(x + 1) . There operation form of Taylor's theorem. D = d/dx

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

    wake up babe, new cursed math video just dropped

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

    i’m not at all qualified to say this, but wouldn’t factoring out the e^x not be allowed, as it’s kind of like factoring out the x out of sinx just leaving sin?

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

      the integral is not a function

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

    Was babbelst du

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

    the fuck just happened
    I wanna learn this

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

    alright wait that was actually so cool >:0

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

    🔥

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

    challenge: integral from 0 to infinity of ((x)^(-x))dx

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

    Laplace is typing…

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

    Where can I get a better understanding of this apparent nonsense that puts the same variable in both the integral and in the limits of the integral? I remember that being forbidden and/or confusing in calculus classes. And I don't think this whole thing would work if you had to start from "I e^t = e^x - 1", or if I was defined as the functional operator taking an integral in x from 0 to t of the integrand in x (giving us "I e^x = e^t - 1"). I haven't really studied functional analysis, so maybe I need a place to get a lot more comfortable with that in general.
    I'm smart enough to know that the end doesn't justify the means. Just because the final result is a correct expression doesn't mean that the reasoning along the way isn't flawed. So, like, what exactly makes this massive repeated use of the variable x valid?

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

    Nice

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

    Wow that’s dope ,,, but actually how can we proof that this steps is valid mathematically

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

      this is done in functional analysis

    • @soyokou.2810
      @soyokou.2810 5 місяців тому

      I think this is what's going on. A linear map over a vector space induces a polynomial where multiplication is now composition. In this case, we're looking at the integral operator on the space of infinitely differentiable functions, and the "polynomials" here can also be uniquely factored because it's over the complex numbers.

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

    Geek

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

    Is this legal

  • @nablahnjr.6728
    @nablahnjr.6728 5 місяців тому

    this is cracked

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

    Trying to decide whether this is legit, or whether it happens to work for e^x but falls apart for anything else and this is just a big troll.

    • @angelmendez-rivera351
      @angelmendez-rivera351 5 місяців тому

      It is legitimate if and only if the function you start with is not in the kernel of the operator 1 - I.

    • @soyokou.2810
      @soyokou.2810 5 місяців тому

      ​@@angelmendez-rivera351Do you have a reference for that fact?

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

    1h ago

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

    Where is the dx in the thumbnail?

  • @mia-ul4ou
    @mia-ul4ou 5 місяців тому

    this is the most ridiculous thing ive ever seen

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

    asnwer=1