do you know about the "reciprocal gamma function"??

Поделиться
HTML-код
  • Опубликовано: 26 авг 2023
  • 🌟Support the channel🌟
    Patreon: / michaelpennmath
    Channel Membership: / @michaelpennmath
    Merch: teespring.com/stores/michael-...
    My amazon shop: www.amazon.com/shop/michaelpenn
    🟢 Discord: / discord
    🌟my other channels🌟
    mathmajor: / @mathmajor
    pennpav podcast: / @thepennpavpodcast7878
    🌟My Links🌟
    Personal Website: www.michael-penn.net
    Instagram: / melp2718
    Twitter: / michaelpennmath
    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

  • @fabianpereyra
    @fabianpereyra 11 месяцев назад +166

    The reciprocal funcion of the Γ function is literally his invert symbol L

    • @koendos3
      @koendos3 11 месяцев назад +8

      Lmao thats good

    • @Alan-zf2tt
      @Alan-zf2tt 11 месяцев назад

      lol - it looks like a reflection along the real axis or any line parallel to real axis

    • @tomkerruish2982
      @tomkerruish2982 11 месяцев назад +6

      So, Waluigi and Luigi?

    • @user-pr6ed3ri2k
      @user-pr6ed3ri2k 11 месяцев назад

      (x)⅃

    • @user-pr6ed3ri2k
      @user-pr6ed3ri2k 11 месяцев назад

      (x)⌝

  • @logician1234
    @logician1234 11 месяцев назад +9

    13:38 smooth

  • @aperson6821
    @aperson6821 11 месяцев назад +9

    that is indeed a good place to

  • @eiseks3410
    @eiseks3410 11 месяцев назад +12

    And that's a good place to s

    • @Alan-zf2tt
      @Alan-zf2tt 11 месяцев назад

      It reminds me of trainee logician who could not say no and his master who could not say

  • @sbares
    @sbares 11 месяцев назад +15

    A slightly different technique: Every L(n) except L(1) can be converted to a contour integral in the same way as here (actually this should work for L(1) too, but there one has to be a bit more careful to show that the integral along the half-circle vanishes in the limit). Then one notes a striking similarity between the integrand and that of the Cauchy integral formula, so that after pulling out a factor of i^n from the denominator:
    L(n) = i/n! * (-i)^n * ((n-1)'th derivative of exp(1 + iz) at z=i) = 1/n!

    • @khoozu7802
      @khoozu7802 8 месяцев назад

      It should be i/(n-1)!*i^(-n)
      And thus L(n)=1/(n-1)! L(n+1)=1/n!

  • @ach3456
    @ach3456 11 месяцев назад +7

    I don't think you needed the induction part at all, just evaluate the residue by performing the series expansion of the exponential around t=i instead of evaluating the residue with a limit. The exponential is even already set up in that way since it's evaluated for (1+it). That way you already get 1/n! straight from the coefficients.

  • @Noam_.Menashe
    @Noam_.Menashe 11 месяцев назад +4

    I guess this is a simple form for the Bromwich contour integral, at least when S is large enough.

  • @fantiscious
    @fantiscious 10 месяцев назад +1

    What’s really interesting about the reciprocal gamma function is that it’s pretty much the sequence of partial products of the unit fractions, instead of natural numbers

  • @pion137
    @pion137 11 месяцев назад

    Great vid Michael!

  • @DeanCalhoun
    @DeanCalhoun 11 месяцев назад

    michael you’re a legend, thank you for all the interesting and informative videos

  • @Otanes_Yu
    @Otanes_Yu 11 месяцев назад +4

    Use residue from the beginning we can easily solve the integration, just care for the convergence

  • @lowbudgetmaths
    @lowbudgetmaths 11 месяцев назад +1

    For the Gamma integral, I think it should be pointed out that there is convergence only if the real part of s > 0.
    You can then use recursion to extend, but the original integral only converges if re{s} >0.
    1/Gamma is an entire function.

  • @nguyenquangkiet2103
    @nguyenquangkiet2103 11 месяцев назад +12

    Is that inverse Laplace transform of 1/s^n

    • @GiornoYoshikage
      @GiornoYoshikage 11 месяцев назад +6

      Right! L(s) is simply the inverse Laplace transform when integration is over line 'Re(z) = 1' and substitution 'z = 1 + it' is performed

    • @nguyenquangkiet2103
      @nguyenquangkiet2103 11 месяцев назад

      @@GiornoYoshikage In the definition, the inverse Laplace transform is the Bromwich's integral. Can z=it?

  • @davidvilla2909
    @davidvilla2909 11 месяцев назад +1

    I have always felt that the reciprocal is the more "natural" representation of the gamma function. If you look at the graph of the function it has all these infinities, especially at the negative integers. These become neat zeros in the reciprocal, and the function itself is "entire" over the complex numbers.

  • @goodplacetostop2973
    @goodplacetostop2973 11 месяцев назад +9

    17:07

    • @Maths_3.1415
      @Maths_3.1415 11 месяцев назад +7

      Bro there is no stop 😂

    • @Maths_3.1415
      @Maths_3.1415 11 месяцев назад +4

      And that's a good place to...

    • @ilyafoskin
      @ilyafoskin 11 месяцев назад +2

      That is a good place

  • @Budgiebrain994
    @Budgiebrain994 9 месяцев назад

    Hi. Please consider making a video on the inverse Gamma function, where e.g. x! = 12; solve for x. Thanks in advance

  • @dariofagotto4047
    @dariofagotto4047 11 месяцев назад +2

    Pretty nice function, integration by part for recursive formula's always works! I'm a bit confused by L(1) cause it doesn't feel like it necessary converges how it's written, but 0! is not a big deal, also I think the analytic continuation of that function must be unique like it's unique for the factorial making it 1/Gamma probably?

    • @leostein128
      @leostein128 11 месяцев назад +2

      The function is clearly analytic, but to show that it coincides with 1/Γ(s), I believe you need agreement in an open set, (rather than on a countably infinite set of isolated points, which is what was shown here)

    • @Alan-zf2tt
      @Alan-zf2tt 11 месяцев назад

      @@leostein128if I may ask: how do you get capital gamma to appear as text in your comment?

  • @dominicellis1867
    @dominicellis1867 11 месяцев назад

    You can use this to define transcendental derivatives because it completes the Taylor series for all n values. Is there an application for this? Could you use the Ith derivative coupled with quantum calculus and the Schrödinger equation to reveal hidden properties of the quantum wave equation?

  • @franksaved3893
    @franksaved3893 11 месяцев назад +2

    12:21 i don't know why the module of the denominator is bounded by R²

    • @QuantumHistorian
      @QuantumHistorian 11 месяцев назад +4

      Expand (1 + i t)^2 with t = R cos(theta) + i R sin(theta), take the modulus, and you'll see that it's always bounded by R^2.

    • @anjunakrokus
      @anjunakrokus 11 месяцев назад +3

      |1+it|² = |1-t_i + it_r|² = (1-t_i)² + (t_r)²

  • @EqSlay
    @EqSlay 2 месяца назад

    I feel a super complicated representation of e^x emerging.

  • @Stelios2711
    @Stelios2711 11 месяцев назад +1

    Nice, the Hankel integral respresentation of Γ. Almost... The Hankel contour is a bit different than the one here.

  • @aidarosullivan5269
    @aidarosullivan5269 11 месяцев назад +4

    Complex residues are fascinating tool

  • @danilonascimentorj
    @danilonascimentorj 11 месяцев назад

    I have a nice challenging number theory problem for you: Find all n natural such as 5^n-121 is a perfect square. I believe it uses complex numbers, but I have no idea how to prove that n=3 is the only solution.

  • @jonathan3372
    @jonathan3372 11 месяцев назад

    Is there any motivation for the construction of the integral, or did someone just happened to guess at the correct form (which feels unlikely)?

  • @darylewalker6862
    @darylewalker6862 11 месяцев назад +1

    In the integration by parts, why does the u*v part end up being zero? What does e^it mean when t goes towards positive or negative infinity?

    • @QuantumHistorian
      @QuantumHistorian 11 месяцев назад +5

      He sort of tackles that. On it's own, e^it doesn't converge: it's modulus is always 1 but the phase oscillates for ever. However, when taking the denominator (which scales as 1/t^2) into account, then we can see the modulus of the whole ratio goes to 0. There's only one number whose modulus is 0 - regardless of its phase - and that's 0. So the ratio as a whole converges, even if the numerator is stuck in a cycle.

  • @CM63_France
    @CM63_France 11 месяцев назад +1

    Hi,
    17:08 : missing "stop".

  • @scottmiller2591
    @scottmiller2591 11 месяцев назад

    "We can pull an eye out the denominator" Poor denominator.

  • @zygoloid
    @zygoloid 11 месяцев назад +2

    Is L(z) = 1/Γ(z) for all z, or only for integers?

    • @tomkerruish2982
      @tomkerruish2982 11 месяцев назад +1

      I would conjecture so, but you'd have to deal with appropriately evaluating (1+it)^s when s isn't a positive integer.

    • @yuan-jiafan9998
      @yuan-jiafan9998 11 месяцев назад +2

      According to the wiki page "Reciprocal gamma function", it is for all z.

  • @Happy_Abe
    @Happy_Abe 11 месяцев назад

    @12:20 why is the denominator bounded by R^2?

    • @toddtrimble2555
      @toddtrimble2555 11 месяцев назад +1

      He didn't do that carefully and I think what he said is literally wrong, but it's anyway on the "order of" R^2 which is good enough and leads to the value 0 for this integral in the limit. Points t along that arc are of the form t = Re^{ia} where a is some angle. In absolute value, the expression (1 + it)^2 is bounded below by (|it| - 1)^2 = (R-1)^2 and bounded above by (|it| + 1)^2 = (R + 1)^2, by applications of the triangle inequality. So the integral overall is bounded above by integral_{Gamma_R} e/(R-1)^2 which tends to 0 anyway as R --> infinity.

    • @Happy_Abe
      @Happy_Abe 11 месяцев назад

      @@toddtrimble2555 thanks can you pleas explain the inequalities here using the triangle inequality. Also why is |it|=R here?

    • @toddtrimble2555
      @toddtrimble2555 11 месяцев назад

      @@Happy_Abe We have |iRe^{ia}| = |i| times R times |e^{ia}| (using |xy| = |x| |y|), where |i| = 1 = |e^{ia}| because both i and e^{ia} lie on the unit circle (use Euler's formula for the latter). The two triangle inequalities are |x| - |y|

    • @Happy_Abe
      @Happy_Abe 11 месяцев назад +1

      @@toddtrimble2555 honestly amazing explanation, thank you so much. Perfectly clear!

  • @gp-ht7ug
    @gp-ht7ug 11 месяцев назад

    Bello!

  • @charleyhoward4594
    @charleyhoward4594 11 месяцев назад

    beyond me - as usual

  • @Johnny-tw5pr
    @Johnny-tw5pr 11 месяцев назад

    KUM-BA-YAH!

  • @Majid12829
    @Majid12829 11 месяцев назад

    I like it, sir

  • @koendos3
    @koendos3 11 месяцев назад

    The Gamma Function is the most intesting function in math... after the zeta function ofc. I found a formula for 1.k!, where k HAS TO BE AN INTEGER: it equals \frac{2}{\pi}\int_{0}^{\pi}e^{\cos\left(t
    ight)}\cos\left(\sin t
    ight)\cos\left(xt
    ight)dt

  • @kkanden
    @kkanden 11 месяцев назад

    and that's a good place to s--