Zeta function in terms of Gamma function and Bose integral

Поделиться
HTML-код
  • Опубликовано: 25 июл 2024
  • Zeta function and Gamma functions,
    Bose Integral,
    If you enjoy my videos, then you can click here to subscribe ruclips.net/user/blackpenredpe...
    My math T-shirts & hoodies: teespring.com/stores/blackpen...
    Site: blackpenredpen.com
    twitter: / blackpenredpen
    Instagram: / bprp_merch
    Patreon: / blackpenredpen
    Blue Microphone: amzn.to/2DAbHYL

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

  • @GurkiratSingh-ds8dq
    @GurkiratSingh-ds8dq 6 лет назад +237

    Hey!, That's the Bose integral right? (Or something with a similar name)
    It comes up in Statistical mechanics quite some times.
    Nice!!!

    • @blackpenredpen
      @blackpenredpen  6 лет назад +44

      Yes it is!!!

    • @GurkiratSingh-ds8dq
      @GurkiratSingh-ds8dq 6 лет назад +40

      blackpenredpen Wait, did you just change the title of the video or did I just not notice it before?

    • @blackpenredpen
      @blackpenredpen  6 лет назад +67

      Gurkirat Singh
      I just changed the title. Since you reminded me.

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

      Gurkirat Singh as a thank you. I will also pin your comment now!! Thank you!

    • @GurkiratSingh-ds8dq
      @GurkiratSingh-ds8dq 6 лет назад +37

      blackpenredpen I feel honoured. Thanks
      Btw since I am talking to you, One thing I never understood, why is the gamma function defined the way it is, I mean why couldn't they just define it to be the same as the factorial (for positive integers), and that -1 in the integral always seems a bit weird.
      I know that there's a PI function which fits my purposes, but Gamma is so much more in use. Why would the early mathematicians (who loved it's elegance) choose to define it as such?
      It will probably have some physics or application related reason, but nevertheless, it is worth asking

  • @duncanw9901
    @duncanw9901 6 лет назад +267

    I feel like there should be a line in a horror movie where the antagonist slowly says "we are in the u world now."

  • @OonHan
    @OonHan 6 лет назад +187

    t = nu then tt = nut

  • @c8adec
    @c8adec 6 лет назад +72

    This is very useful in the Stefan-Bolzmann's law (black body irradiance) to get the sigma constant

    • @sinamehdizadeh1433
      @sinamehdizadeh1433 4 года назад +7

      Well, for everything related to blackbody radiation you need this.
      For example, the number density of photons is given by this integral too.

    • @integrando1847
      @integrando1847 3 года назад +3

      incredible application

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

      Also the Sommerfeld expansion

  • @leonardromano1491
    @leonardromano1491 6 лет назад +25

    This boi is a really nice one as it appears everywhere in quantum statistics in cases where the fugacity is equal to one.

  • @turtlellamacow
    @turtlellamacow 6 лет назад +8

    wow! i've seen integrals like your example near the end in statistical mechanics and elsewhere and never knew how they were evaluated. the textbook just gave us the value.

  • @frank95xxx
    @frank95xxx 2 года назад +14

    I'm a physicist and I find this kind of integral quite often. We always say "some mathematician proved this result" but I never actually checked it. Nice to see the proof, good job BPRP

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

      I had a question:
      Is it legal to use n first as a variable and then take the sum? It feels very sketchy.

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

    Your best video so far. Truly interesting!

  • @non-inertialobserver946
    @non-inertialobserver946 6 лет назад +1

    Hi! I love your videos, and your math is on point Keep it up 😉

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

    Sure wish these videos were around when I did my degree!
    These are great!

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

    Amazing and beautiful result! I always snapshot these kinds of things bc that are so interesting! Thanks for sharing as always!!!!!!!!!! 😇😇😇😇😇

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

    Great work, really interesting as always!

  • @frederickm9823
    @frederickm9823 6 лет назад +39

    Finally I'm able to correct you. At 4:24 you say "x to the nth power" :D
    But it's still a great video =)

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

    You are simply awesome Prof. 🙏

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

    This is like the first or second page of Riemann’s paper on primes.

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

    I think i asked for this integral time ago, while i was studying statistical mechanics, but i only saw the video today! great!

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

    What a great video 😍😍😍
    Just like usual 😊

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

    WOW!! This is so cool!

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

    This is equivalent to showing that the Mellin transform of the function 1/(e^x -1) is the product of the Gamma function with the Riemann zeta function

  • @rylanbuck1332
    @rylanbuck1332 Год назад +1

    This was a question on my final exam of intro to real analysis (maa 5055) and I used this technique!!! I got stuck on proving the integral at 5:20 is uniformly convergent so I was unable to continue forward after that step:( but I’m glad to know I was doing the right thing lol

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

    I recall seeing this result in my statistical physics course when we dealt with bose-einstein distribution. I never saw how this mathematical derivation, though. :) Awesome vid!!!

  • @BruceWayne-mk9km
    @BruceWayne-mk9km Год назад

    This is awesome!!❤

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

    You might also see this expressed as the product of the gamma function and the polylogarithm function Li_s(1) (which is zeta(s)). Polylogs crop up in related things like integral of x over exp(x) - 1

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

    This. Is. Awesome.

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

    Gold as usual

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

    390 likes and 0 dislikes... that’s the most likes I’ve ever seen on a video with 0 dislikes. Keep up the good work! (:

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

    oh... 我只在乎你 nice choice for an ending song ! :) Thanks for the uploading !

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

    that outro music had a Scott Joplin vibe, v-much appreesh

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

    Wow...these things fascinate me...I don't know much about them...but the time will come I promise!

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

    Hi, I'm from Bangladesh. I very much like your videos. Thanks for making video on Bose integral.

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

    Love it!

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

    We need more videos about this,,, BPRP!!!!!!!!!!!!!
    :V

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

    Just amazing...

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

    Man, this is very cool. As a recent ME grad, I've been out of the calc3 maths world for a little while, but this makes me want to jump right back into it.

    • @Jeff-wc5ho
      @Jeff-wc5ho 6 лет назад

      Dean Congrats! :) also, out of curiosity, how much math were you required to take as an ME major?

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

      Thanks Jeff. After doing my calc series, I also had to take a linear algebra and an ODE differential equations course.

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

    you are very cool and very educational

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

    Very nice!

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

    thank very much you are a genius

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

    I'm not sure if this is true, but I think I've heard from somewhere that Fubini's Theorem (or Tonelli's) only works when the function is continuous in the given interval. But then, I don't think we could integrate something that's not continuous in a given interval (unless we break it up into continuous intervals).
    But very interesting video! 😯 I bet the next video is "Proof of Riemann's Hypothesis".

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

    Very good!

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

    this video very good. I want that you share such a this video. I'm wacthing from Turkey.

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

    😘😘ابداع يا استاد .احسنت 👏

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

    and if you replace the zeta function by the alternate eta function, you change the sign in the denominator in the integral, from e^u - 1 to e^u + 1.

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

    beautiful

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

    1 fact-oreo!
    Bringing back the fun

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

    Amazing

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

    Wow Bose Integral🤩

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

    Wonderful

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

    That was a great one. How can we solve zeta(3)

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

    You can change the order because functions are non-negative. It doesn't need to converge. If you get infinity in one case, you get it also in the other.

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

    If you read Planck Vorlesungen you find 1+1/2^4+1/3^4...=Zeta(4) for Stefan Boltzmann Integral. You can Take any Zeta of even Numbers of zeta, If you adapt the prefactor.

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

    Awesome video! You can't swap integration and addition with this thing: ∫ ∑ x²(1-x²)ⁿ dx for x∈[-1; 1] when you sum over n c:

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

    This is fucking amazing

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

    very enjoyable

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

    Thanks

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

    Each and every day you look like Dr Peyam
    High level maths!

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

    I wonder what would happen if you did this with the eta function you just made a video on

  • @AndDiracisHisProphet
    @AndDiracisHisProphet 6 лет назад +11

    I think for a counterexample where the exchange of sum and int doesn't work you have to come up with some really stupid functions like f_n= a_n*x from 0 to 1/n with a_n so that f_n(1/n)=1 or something like that

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

      AndDiracisHisProphet Excuse me man
      I can see you've got a great understanding of maths and physics
      Never thought of making some vids? (I would love to see them)

    • @AndDiracisHisProphet
      @AndDiracisHisProphet 6 лет назад +9

      How do you know I have understanding of math and physics?
      Also, I would probably make them in german^^
      Also, I am ugly af. You wouldn't want to see me :D

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

      AndDiracisHisProphet Well I've read your previous comments in many other math channels and they don't seem to be written by someone who doesn't understand
      No problem if you do them in German
      Don't say that you're ugly
      I personally don't care about that

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

      When you found my comments on other math channels you probably have already noticed that I make a lot of jokes. Not necessarily funny ones. The "ugly" comment was such a joke.
      Anyway, I indeed have planned doing math videos, but not using this user name (this is quite a private one), because I am an actual self employed tutor and I will use my companies name.
      Thing is I will mainly do stuff for grades 6 to 12, or so. Probably not so interesting for someone watching this kind of videos.

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

      AndDiracisHisProphet But if one day you decide to do some calc, ODE, Linear álgebra. Abstract algebra vids
      You've got a subscriber!

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

    I was getting ready to yell at you for casually swapping sums for integrals, but you passingly referred to absolute convergence. This is one of those I'll take your word for it :-)

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

      After doing some homework of my own on this, it seems like a much safer assumption than I would have thought that you can make that kind of interchange. According to single-variable special cases of the Fubini/Tonelli theorems, if int(sum(|f(n))|) < inf, or sum(int(|f(n)|)), then the two are interchangeable for the entire function, sans absolute values.
      Tonelli's hinges on Fn(x) >= 0, and I start to lose the trail after that, but I think you're really quite safe. So if you found a function who had negative values and a sum which is conditionally convergent and married the two... maybe??
      Also, good job.
      Also also, can we get a LaTeX editor built into RUclips Comments?

  • @sab1862
    @sab1862 6 лет назад +8

    Bernhard Riemann!

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

    Now, evaluate the integral using the residue theorem, thereby deriving the reflection formula for zeta!

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

    perfect

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

    You should record in 1080p 60fps. Quality res videos for quality maths 👌🏼

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

      TheOnePath he records on mac

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

      60fps sucks

  • @d.h.y
    @d.h.y Год назад

    10:35 Bravo!!!

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

    proud to be a bose

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

    Does anybody know the feeling of Depression i have it at the Ende of the Video it is so good why it has to be so good thanks for showing

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

    Thanks.

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

    Are you going off HM Edwards' "Riemann's Zeta Function"? I'm reading it now and this is in one of the first few chapters.

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

    2:06 apparently you sound exactly like me according to my phone. You saying "and take a look" in the video triggered my "Ok Google" command and searched for "look". :l

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

    Small speaking mistake at 4:24, but still an awesome and creative video!

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

    👌👌👌 Well done 🥀🌷 Bro👏👏👏

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

    U just solved the Riemann hypothesis

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

    Let the equation below accept a single solution(n) specify both(a,b) in terms of (n)
    f(x)=X^2-(a+b+1)X+(ab)=0
    since f(x)=0 is equivalent to
    x= (x-a)(x-b)
    I think in this space there are zeros of the zeta function .

  • @user-rz3id7nm6s
    @user-rz3id7nm6s 5 лет назад

    Great

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

    Hey, I know how to get the result pi^2/6 using fourier series for function x^2. In my opinion, it is the easiest way, could u share yours?

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

    In complex numbers, if "s" is complex, e^(ns) != (e^s)^n... be aware of it because complex exponentiation is not a univocate value operation... so surely the relation is true for real "s", but for complex "s" you could find issues related to the multyvalued results of complex exponentiation

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

    what if you have gamma(x)*zeta(y)
    or even maybe gamma(x)*zeta(2x) or something like that.
    Can you do anything?

  • @2688jojo
    @2688jojo 2 года назад

    cool~

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

    thats cool...

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

    Please solve integration root Sin(x) dx by udv ?

  • @user-mt9ux2di6u
    @user-mt9ux2di6u 3 года назад

    Blackpenredpen, I am pretty sure that you can always switch the order of summation and integration

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

    zeta(3) = 1/2 integrate 0 to infinity u^2/(e^u-1) by u

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

    refreshing

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

    I'm early and dropped my like

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

    Can we not do something similar with the eta function

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

    What if it's exp(X)+1 instead of -1?

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

    Hey nice video! But I just have one question; when saying a geometric series has the sum of a/(1-r), doesn't the sum need to start at 0 and not 1 like it did in the video?

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

      Suchetan Dontha it depends. That's why I put down "first"/(1-r)

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

    Hold on, x is always a variable, I think it should primarily be converted into something with u.. unless u r doin partial integration, which doean't seem to be the case, is it?

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

    4:11 How were you able to take the gamma function out since it contains n terms?

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

      It doesn't contain any n.

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

    I do not really understand when and why you are allowed to change summation and integration. Can anyone explain is to me?

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

      ζeta if the integral is absolutely convergent (the integral of the absolute value is finite)

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

      Thank you, but I was rather talking about why you're not allowed to change if the sum is divergent

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

      ζeta if a function can be expressed as an infinite series and if it has a radius convergence, and if f(x) is differentiable and can be integrated.... then you are allowed to perform calculus on the series which means treating terms like constants and variables of integration. Meaning you can interchange the summation and integration. However you will have to find a proof of this theorem :)

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

      Because the integral and sum operators are linear and are operating on distinct variables.

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

      ζeta www.maths.manchester.ac.uk/~mdc/old/341/not7.pdf

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

    Just thinking how he hold 2 pens together and switch them while writing.....

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

    Bose condensate. is winter coming ? :)

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

    4:17 I’m confused, if T(x) is defined in terms of n how can you pull it out of the summation?

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

    Can you find ∫0→∞(-cosx/x^sinx)*x^e^x^cscx? I tried to find it using an integral calculator, but it gives me no answer. :(

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

    I forgot, where do you teach again?

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

    To permutate the infinite sum and the proper integral, shouldn't the sum converge uniformely and not only absolutely??

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

    Wow, an amazing proof. The ancient Greeks would be surprised to see Gamma, Zeta, Pi in one equation.

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

    Is there any application of the beta and gamma functions in physics?

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

    4:25 x to the nth power

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

    Couldn’t you rearrange this to come up with a continuation of the zeta function?

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

    Does this formula work on the critical strip? Trying to graph |zeta(s)| as a function of x + iy (3D plot) did not seem to work. Maybe it's the program I'm using. Also, when I put in the first non-trivial zero of the zeta function, this formula you have does not return zero, so I think maybe it does not work on the critical strip... sadly. The function Riemann gives defines the zeta function in terms of the zeta function of 1-s. And when a function is defined using itself (sort of)... that's where the issues arise. My opinion. I wish there were a better form of the zeta function that did not do that.