Introduction to the Gamma function & the Pi function (extending the factorial!)

  Рет қаралды 375,746

blackpenredpen

blackpenredpen

Күн бұрын

Пікірлер: 462
@blackpenredpen
@blackpenredpen 2 ай бұрын
Support this channel and get my math notes by becoming a patron: www.patreon.com/blackpenredpen
@U014B
@U014B 5 жыл бұрын
Fermat, on proving his Last Theorem: 17:30
@bayzed
@bayzed 5 жыл бұрын
Hahaha nice one!
@thedoublehelix5661
@thedoublehelix5661 5 жыл бұрын
This is my favorite comment on youtube
@danielreed540
@danielreed540 4 жыл бұрын
Interesting proof ... as soon as you find it for yourself. (If a proof is never found, is it still interesting? If a tree falls in the forest when I'm not there, does it make an interesting sound? But interest is in the mind/eye/ear of the beholder, so is it in the ... .)
@luker.6967
@luker.6967 4 жыл бұрын
@@danielreed540 Very meta
@griffisme4833
@griffisme4833 4 жыл бұрын
@@danielreed540 r/iamverysmart
@Hello-fb7sp
@Hello-fb7sp 6 жыл бұрын
"-Hey mate can you tell me what's the factorial of 1? -Yeah sure *pulls out integration formulas and l'Hopital's rule*"
@aadityabhetuwal5990
@aadityabhetuwal5990 5 жыл бұрын
the answer seems near to 2 that is near to 3 that is π
@darwinvironomy3538
@darwinvironomy3538 4 жыл бұрын
But it's near 2. Which mean it's e
@pbj4184
@pbj4184 3 жыл бұрын
You don't need the gamma function for that. You can figure that out just by using the two chosen properties listed in the beginning although this is only valid for whole numbers (which 0 thankfully is) which is why we needed the gamma function to extend the factorial (or rather some of its properties, which is actually what's happening here) And after all that, so what if you need to apply by parts and L'Hopital? They're not _conceptually_ hard even though it might be a tenuous task to apply them. There's a big difference between something being logically hard and something being manually hard
@nikkonikko371
@nikkonikko371 3 жыл бұрын
the hospital
@theblinkingbrownie4654
@theblinkingbrownie4654 3 жыл бұрын
​@@pbj4184 yo dude it's a joke
@1972hattrick
@1972hattrick 6 жыл бұрын
It is incredible what can be done with Euler's number. As time goes by you really begin to appreciate that number more than older societies appreciated pi
@josealbertolopezlopez8282
@josealbertolopezlopez8282 2 жыл бұрын
Why is Gamma more popular and used than Pi? Pi seems more logic if you want a function that extends factorial.
@zecaaabrao3634
@zecaaabrao3634 4 ай бұрын
The guy that invented the gamma function for some reason chose to make it off by one for some reason, and it became the most popular Pi was probably done later
@Er4serOP
@Er4serOP Ай бұрын
It’s bc a bunch of other functions such as the beta function evaluate to a lot of gamma functions.
@ZipplyZane
@ZipplyZane 6 жыл бұрын
It seems to me that you don't need the gamma or Pi functions to show that 0! = 1. You just need the two definitions you gave. 1! = 1 n! = n * (n-1)! Plug in 1 for n, you get 1! = 1 * (1-1)! 1 = 1 * 0! thus *1 = 0!*
@Jodabomb24
@Jodabomb24 6 жыл бұрын
You have to be careful, though, because you can't just apply those formulas willy-nilly. Γ(1) = 0! = 1, but if you try to argue that since Γ(s+1)=sΓ(s), Γ(0) = 0 * 1 = 0, you run into trouble, because in actuality Γ(0) = ∞
@pj4717
@pj4717 6 жыл бұрын
Hi. You seemed to have made an error in your explanation: Γ(s+1)=sΓ(s) Set s=0 Γ(1)=0*Γ(0) It is clear that one cannot decide the value here because division by 0 is undefined.
@bernandb7478
@bernandb7478 6 жыл бұрын
I think the point was calculating the integral rather than 0!.
@pj4717
@pj4717 6 жыл бұрын
Different points lay here.
@mridulk81
@mridulk81 4 жыл бұрын
@@Jodabomb24 doesn't gamma(s+1) = (s+1)•gamma(s)??
@hamez1324
@hamez1324 6 жыл бұрын
I am so happy you are doing this! Ive looked online for a reasonable way to understand the factorial function outside of just positive integers and have found nothing so far except this!
@Patapom3
@Patapom3 6 жыл бұрын
Yup but it doesn't really explain anything about why choose such a function? Where does it come from?
@TheYoshi463
@TheYoshi463 6 жыл бұрын
Patrick Apom You can prove that the Gamma-function is the only logarithmically-convex function interpolating the factorial.
@0ArshKhan0
@0ArshKhan0 6 жыл бұрын
Gamma function is one of the most popular functions, and is used extensively in evaluating various other integrals...
@bonbonpony
@bonbonpony 6 жыл бұрын
+Flewn: It doesn't really EXPLAIN much :q +Arsh Khan: Neither does that. Expressing those functions as integrals is putting the cart before the horse. A better way is to study the history of how the Gamma function has been discovered. Euler stated it for the first time with an infinite product, not an integral, which was much more close to the definition of factorial for natural numbers (which is also a product). Only then, when he tried to calculate its value for half-integers, starting from `(1/2)!`, he noticed that it results in Wallis's infinite product for `π/2`, and this gave him an idea that circles might be involved, so he switched to quadratures of the circle, trying to use trigonometric integrals to calculate the area of the circle. And this led him to the integral form used today. (Well, almost: it was closer to the Pi function mentioned in the video; the Gamma function with its "shift by 1" discrepancy is due to Legendre.)
@TheYoshi463
@TheYoshi463 6 жыл бұрын
Yes and no. People have been experimenting with x²e^(-x) etc before, so they might have noticed some stuff. Also there are other ways to express the Gamma-function. When we proved Bohr-Møllerop (the explicitness of the Gamma-funtion) in our last homework we also happened to show the Gaußian-Limit form of the Gamma-function (which could be the original Gamma-function maybe). There is also the Weierstraß one which uses Euler-Maccharoni-constant. You have to consider that it took decades for some of the greatest mathematicians out there to find all these crazy identities.
@derendohoda3891
@derendohoda3891 6 жыл бұрын
Around 12:00 you're discussing using L'H n times to kill the term but the whole point of this exercise is to create a function when n isn't an integer. If n isn't an integer in this step, you can't apply L'H n times to get a factorial like you say. Really you're getting n*(n-1)*... until the t term moves to the denominator, then you get a constant divided by infinity which does have the limit 0. Minor technical point. I love your love for math please never stop!
@spiritgoldmember7528
@spiritgoldmember7528 6 жыл бұрын
e^t never dies
@nigit7451
@nigit7451 6 жыл бұрын
87392739233935 637 is a lot
@Tentin.Quarantino
@Tentin.Quarantino 5 жыл бұрын
But he does phone home
@satrickptar6265
@satrickptar6265 5 жыл бұрын
Lol
@davidpark1198
@davidpark1198 5 жыл бұрын
Partial derivative kills e^t
@alephnull7410
@alephnull7410 5 жыл бұрын
ln(e^t) t=0 dead
@scottjames4057
@scottjames4057 6 жыл бұрын
If you want more, here is the wikipedia page. Wise words
@kanishk9490
@kanishk9490 2 жыл бұрын
of a wise man.
@imnimbusy2885
@imnimbusy2885 Жыл бұрын
@@kanishk9490in wise pen.
@brycelunceford6549
@brycelunceford6549 5 жыл бұрын
"That box means a lot to us" 😂 I died.
@blackpenredpen
@blackpenredpen 5 жыл бұрын
Bryce Lunceford hahaha. It does! The box is proofs just like +C is to integrals!
@trogdorbu
@trogdorbu 4 жыл бұрын
I didn't understand the import of the box?
@AymanSussy
@AymanSussy 4 жыл бұрын
@@trogdorbu same here but from what I understand it should be put when you end a proof of something 🤔
@davidbrisbane7206
@davidbrisbane7206 3 жыл бұрын
Black box good. Red box bad 😁.
@lgooch
@lgooch 2 жыл бұрын
@@protondecay4607 yes it is
@AviMehra
@AviMehra 6 жыл бұрын
We are not playing hangman
@RB_Universe_TV
@RB_Universe_TV 3 ай бұрын
Or we are? **Vsauce music starts playing**
@anjanmukherjee7997
@anjanmukherjee7997 5 жыл бұрын
pure mathematics is the most beautiful subject according to me
@eboian_x6522
@eboian_x6522 3 жыл бұрын
I agree brother next to physics, for me its the most thrilled sub ever
@sakketin
@sakketin 3 жыл бұрын
@@eboian_x6522 This exact subject is being taught to us in physics and I’m only a 2nd year student. It’s not as ”pure” as one might think.
@aaronbs8436
@aaronbs8436 5 жыл бұрын
Teacher: "Can you find a function so that f(1)=1 and..." "a million brain cells pops up at once on your head"
@oliverhoare6779
@oliverhoare6779 4 жыл бұрын
That’s surprisingly only ~0.001% of your brain mass.
@Zonnymaka
@Zonnymaka 6 жыл бұрын
Euler again of course :) Usually these kind of function are "deducted" by reasoning about "what you want" (as RedPen stated clearly in the video) and "which function is more suitable to fulfill the requirements". Usually e^x comes up everywhere because of his extraordinary properties. Well done RedPen!
@mrnogot4251
@mrnogot4251 4 жыл бұрын
You are the best math channel on KZbin. 3blue1brown is great and all but you get much more into the nitty gritty. Thanks man.
@chimetimepaprika
@chimetimepaprika 6 жыл бұрын
Dude, you're such a good teacher! I never fully got why this worked until now.
@skoockum
@skoockum 6 жыл бұрын
This is fantastic. I am so glad I found this channel. Kelsey's videos and Mathologer are terrific, but the best way to explain math is to walk through it step by step on the board. I've looked at the gamma and pi functions on Wikipedia and the bit with x and t in the integrals had me stymied, but here at the end of your video when I looked back at the first integration I had none of my earlier confusion-- the x's role was immediately obvious, and I never even thought about it during the entire video. Looking at a page full of calculations it takes a lot of work to decode the operations and relationships. But watching it unfold in front of you is a cakewalk. LOL It's the next best thing to homework.
@deeptochatterjee532
@deeptochatterjee532 6 жыл бұрын
skoockum Who is Kelsey?
@MarioFanGamer659
@MarioFanGamer659 6 жыл бұрын
@Deepto Chatterjee: Former host of PBS Infinite Series.
@skoockum
@skoockum 6 жыл бұрын
PBS Infinite Series
@Gold161803
@Gold161803 6 жыл бұрын
You'll see this recommendation all over the comments on this channel, but 3blue1brown is another terrific math channel which uses clever and well-executed visuals to bring complicated concepts within range of your intuition
@aayushpaswan2941
@aayushpaswan2941 2 жыл бұрын
intresting fun fact:- kzbin.info/www/bejne/j3rWZKeeZZaBjJI
@sarojpandeya9762
@sarojpandeya9762 6 жыл бұрын
You are one of the great youtubers. And very good maths teacher I like.
@blackpenredpen
@blackpenredpen 6 жыл бұрын
Thank you!
@injanju
@injanju 6 жыл бұрын
Finally! But how dd they come up with the Pi and Gamma functions?
@blackpenredpen
@blackpenredpen 6 жыл бұрын
Hmm, you may have to ask Euler or Gauss for that. I guess they saw how we can use IBP on those integrals and resulted some kind of factorial properties... I am not entirely sure tho...
@materiasacra
@materiasacra 6 жыл бұрын
Here is a nice summary of the actual history: www.maa.org/sites/default/files/pdf/editorial/euler/How%20Euler%20Did%20It%2047%20Gamma%20function.pdf As is often the case, the historical context and development is not very useful to the modern learner. People of different eras have different perspectives.
@jeromesnail
@jeromesnail 6 жыл бұрын
Somtimes the historical context is really important to understand how things came up and avoid some circular reasoning. I'm thinking particularly of the log and exponential function, which each have many different definitions.
@sss-ol3dl
@sss-ol3dl 6 жыл бұрын
Experimentation, wealthy people had a lot of time on their hands back then. Think about how many times people have integrated x^2 e^x for calculus exams or x^3 e^(-x), its maybe not so hard to imagine people trying to generalize it and find properties.
@MuchHigherInterestRATEs
@MuchHigherInterestRATEs 6 жыл бұрын
parsenver [Wealthy] people don't experiment, they [don't] need to ¡!
@lightningblade9347
@lightningblade9347 4 жыл бұрын
I never laughed so hard while watching a mathematics video on KZbin - 16:06. Thank you so much for the video man, I've been trying to understand the Gamma function for so long and your video explained it flawlessly.
@Patapom3
@Patapom3 6 жыл бұрын
Great! How Gauss did come up with this anyway? And why is the gamma using x-1? Why not using the PI function directly?
@deadfish3789
@deadfish3789 6 жыл бұрын
Patrick Apom. I was wondering why Gamma is most famous too
@unrulyObnoxious
@unrulyObnoxious 6 жыл бұрын
DeadFish37 the pi function works only for x > 0. But the gamma function is defined for all real numbers except the negative integers. That's why gamma is more famous.
@unrulyObnoxious
@unrulyObnoxious 6 жыл бұрын
Zacharie Etienne Oh I'm very sorry! 😅 It's an error on my part.
@ahmedshaikha8938
@ahmedshaikha8938 6 жыл бұрын
Ask Euler
@ffggddss
@ffggddss 6 жыл бұрын
To me, the ∏ function always seemed more natural, because it hasn't got the extra "-1" in the exponent of t. But they're exactly the same function, just shifted one unit horizontally, relative to one another.
@nrpbrown
@nrpbrown 3 жыл бұрын
This was juat the explanation for both these functions ive been looking for, thank you.
@ferudunatakan
@ferudunatakan Жыл бұрын
Why there is a gamma function? Gamma is NOT the generalization (English is not my first language) for factorials. Genaralization for factorials is Pi function. And pi function includes x, but gamma includes x-1 and gamma(x)=(x MINUS ONE)!. Pi is pretty useful.
@michaelgutierrez7220
@michaelgutierrez7220 6 жыл бұрын
I love these videos on interesting mathematical bits! Can you do one on Weierstrass functions?
@Chai_yeah
@Chai_yeah 6 жыл бұрын
Nyc video!! Are you going to do Beta function also? & their relation , It turns out to be helpful in many cases!
@blackpenredpen
@blackpenredpen 6 жыл бұрын
Chaitanya Paranjape i can. But prob next week or so. Thank you.
@Chai_yeah
@Chai_yeah 6 жыл бұрын
blackpenredpen Yay!
@MrRyanroberson1
@MrRyanroberson1 6 жыл бұрын
make a playlist of all the alphabet functions! make sure to keep them in order.
@ftbex9224
@ftbex9224 2 жыл бұрын
原來pi function 和 gamma function 這麼相近! very clear explanation!
@peasant7214
@peasant7214 6 жыл бұрын
whats that box?
@wkingston1248
@wkingston1248 6 жыл бұрын
Whats 3! BRB time to do a wall of calculus to find the answer XD. EDIT: its 6 apparently
@danibaba7058
@danibaba7058 4 жыл бұрын
actually its very easy to find gamma(n),n is natural...but i need to do this for pi and i have no idea how to XD
@KillianDefaoite
@KillianDefaoite 6 жыл бұрын
Supreme jacket CL0UT
@lukapacak258
@lukapacak258 6 жыл бұрын
I looked for a video for this function just yesterday, perfect timing!
@adrienmasoka6033
@adrienmasoka6033 Жыл бұрын
There will be a day when i will need this type of teacher
@matthewtallent8296
@matthewtallent8296 9 ай бұрын
14:33 best part 😊
@utuberaj60
@utuberaj60 Жыл бұрын
Very nice intro to the factorial in terms of the Pi function. Then why do we need a Gamma function at all? Can you please explain that? As I understand, the Gamma function ALSO generalizes the factorial idea to ALL real (or complex) nos. Then why do we need the Pi function at all? Honestly, I am seeing the Pi function for the first time. Would be grateful if you can share a link about the Pi function and it's application
@vexrav
@vexrav 6 жыл бұрын
In this video you show that the pi/gamma family of functions are able to extend the factorial function to the reals. Could you prove that this family of functions is unique? ie no other function maintains the listed properties for the reals.
@General12th
@General12th 6 жыл бұрын
Great question!
@officialEricBG
@officialEricBG 6 жыл бұрын
iirc he needs to also add the condition of log-convexity
@vexrav
@vexrav 6 жыл бұрын
Why must the function be logarithmically convex? My guess is that the first two properties imply that the function will be log-convex, but idk.
@dlevi67
@dlevi67 6 жыл бұрын
Because otherwise it's not unique (in this case). Look up "Hadamard's gamma function" (it maintains the two properties of f(1) = 1 and f(n) = n * f(n-1) but it's not log-convex)
@vexrav
@vexrav 6 жыл бұрын
a convex function is the same as a function which is concave up. more specifically if you pick any two point on the function the connecting segment will be either on or above the graph. You may have checked for this calc class using the second derivative test. a function is logarithmically convex if the function log(f(x)) is convex. en.wikipedia.org/wiki/Logarithmically_convex_function
@jeremyr6034
@jeremyr6034 6 жыл бұрын
Nice video, It would be cool to see you make a video explaining the properties of the gamma function, overall great stuff.
@bart2019
@bart2019 2 жыл бұрын
So, what is the reason why the definition of the Gamma function is chosen in this weird way?
@toddtrimble2555
@toddtrimble2555 Жыл бұрын
Regarding Pi being "cooler" than Gamma: that depends. The functional equation for the Riemann zeta function, expressed in the form Z(1-s) = Z(s) where Z(s) = pi^{-s/2}Gamma(s/2)zeta(s), would be way less cool-looking if we had to use Pi instead of Gamma. Ultimately, this is connected with the fact that when integrating over the multiplicative group (0, infinity), it's usually way cooler to use the Haar measure dt/t than dt, and this offset by a factor of t explains why it's often advantageous to use Gamma instead.
@ahmedfarid8691
@ahmedfarid8691 4 жыл бұрын
Really, you are a great teacher and I'm excited to watch more videos about your lessons. Thanks for help
@doktorklaus300
@doktorklaus300 4 жыл бұрын
Love videos of Blackpenredpen
@jivjotsingh2668
@jivjotsingh2668 6 жыл бұрын
Best Content on Whole KZbin!!
@namanladhad6770
@namanladhad6770 5 жыл бұрын
0! can be found using the two conditions itself. since f(1)=1 and f(n)=n•f(n-1) From the second condition , if we put n=1 , we get f(1)=1•f(1-1) => 1=f(0) => 0!=1
@FourthDerivative
@FourthDerivative 6 жыл бұрын
So what's the point of the gamma function, anyway? The pi function seems like a much more natural extension of the factorial. But for some reason the version that's confusingly shifted over by 1 is the one that's always taught?
@ahmedshaikha8938
@ahmedshaikha8938 6 жыл бұрын
FourthDerivative The gamma function pops up everywhere.
@FourthDerivative
@FourthDerivative 6 жыл бұрын
Okay, but still, why not use the Pi function in those cases instead? They're literally the same function, just shifted over by one, and Pi has the advantage that it has a more straightforward correspondence with the factorial over the integers. It's like the tau vs. pi debate, the baggage of historical notation just makes things unnecessarily complicated.
@theflaggeddragon9472
@theflaggeddragon9472 6 жыл бұрын
The only good use of gamma over pi is that the first "pole" or blowup of the gamma function is at the origin rather than 1. This makes some contour integration in the complex plane a little bit simpler, but other than that it ruins all the formulae. I wish the mathematical community had stuck with pi.
@KartonRealista2
@KartonRealista2 6 жыл бұрын
Well, sometimes things appear so often they need another name. In chemistry/physics we use the Dirac constant all the time, even though it can be expressed in terms of the Planck constant. ħ=h/2π. Why? Because it pops up so much it just makes the notation cleaner.
@bonbonpony
@bonbonpony 6 жыл бұрын
00:40 Also for `n=0` ;J And if you find empty products fishy, as some people do (not me; for me, an empty product is just "take the unit and don't transform it in any way, so it stays unchanged"), you can derive `0! = 1` from the second property you mentioned in 3:14: Since `n! = n·(n-1)!`, we can divide both sides by `n` to get: n! / n = (n-1)! We can easily calculate `n! = 1`, no problem with that. But if `n=1`, then the right-hand side is `(n-1)! = (1-1)! = 0!`, isn't it? :> And it has to be equal to the right-hand side, which is `n! / n = 1! / 1 = 1/1 = 1` :> So it must be that `0! = 1` ;) It also shows why the factorials of negative integers are undefined: choosing `n=0` we find that there's 0 in the denominator on the right-hand side, so although we can calculate `0!` now, division by 0 turns out to be problematic :q This will also render it undefined for all other negative integers, because of `n!` in the numerator being undefined for their plus-ones. 04:15 Yay! Finally someone else who knows the `Π` function! :> I always wondered why do people prefer `Γ` even if it's more cumbersome than `Π` due to that "shift by one" :P I smell a rat here, because when you check out the history, it didn't even started out as the integral we know today. Euler introduced it (when studying Goldbach series - a sum of subsequent factorials) in a form of an infinite product, which is much more clear, because it obviously connects with the product in the factorial. The integral form is a later invention which only muddies the issue and makes it undefined for negative arguments :P (contrary to the infinite product, which is defined for all complex-valued arguments all fine :P ). Euler came up with it when he noticed that his infinite product reduces to the Wallis's product for `π/2`, and once he saw that `π` is involved, he immediately thought about circles, so he switched to quadratures of the circle expressed with integrals. But now we're being taught backwards, putting the cart before the horse :P Not only that, but no one explains us where do these fancy integrals come from and how did Euler and Gauss figure them out :P And we have to deal with that incomplete definition with integrals that don't work for negative arguments and "restore the order" by some pesky ways of analytic continuation :P Why, I ask?! But no one answers... 15:27 Indeed :> It's like with `π` and `τ` :q 16:19 That look ;D Like "Seriously, guys?" :q 16:45 Mah maaan ;J
@dovidglass5445
@dovidglass5445 3 жыл бұрын
Thank you so much for your brilliantly clear and enthusiastically explained videos! I have a question though: what's the point of having both the Pi and Gamma function? Surely having only one also does the job of the other? What do they add to each other that the other doesn't have?
@xshortguy
@xshortguy 5 жыл бұрын
LHopital's rule is overkill for these limits. Just use arguments using inequalities.
@ffggddss
@ffggddss 6 жыл бұрын
+ bprp - I understand the "pin" has already been won; I don't see it right now (haven't searched through these comments enough), but I'll weigh in anyway, because I suspect no one has (yet) invoked the following method. The infinite product at the end of your video can be written P = ∏ᵢ₌₁ºº (1 + aᵢ ), where aᵢ = -1/(2i) Now such an infinite product converges or diverges, as the infinite series, ∑aᵢ , does. But that series is harmonic and is well known to diverge (to -∞). Therefore, the infinite product diverges to 0. [An infinite product is said to diverge if its limit is either infinite or 0; in other words, if its log(absolute) goes to ±∞.] Fred
@VectorMonz
@VectorMonz Жыл бұрын
Maybe x! should be defined as a family of functions rather than a function itself. x! = { x when x = 1 x(x - 1) when x = 2 x(x - 1)(x - 2) when x = 3 x(x - 1)(x - 2)(x - 3) when x = 4 . . . } Each of them is its own polynomial function that can be used to compute a unique factorial.
@coolbionicle
@coolbionicle 6 жыл бұрын
I finally understand the gamma function. thankyou!
@nanashi_74_
@nanashi_74_ 5 жыл бұрын
3:33 f(1)=1 f(x)=x*f(x-1) uh i think that's exactly what i used for function factorial -in javascript-
@rj-nj3uk
@rj-nj3uk 6 жыл бұрын
Blackpenredpenbluepen.
@takyc7883
@takyc7883 4 жыл бұрын
Two things I’m curios about, so if someone could explain it’d be much appreciated: 1. How did gauss come up with the function? It seems very arbitrary for the exponential integral to be used as an extension of the factorial function and doesn’t seem to derived very directly, except by comparison of results. 2. Why is the Pi function called the pi function? It doesn’t have pi in it unless you use eulers identity. 3. Where do the imaginary results come in?
@Imperio_Otomano_the_realest
@Imperio_Otomano_the_realest 3 жыл бұрын
because people are too uncreative to name a function so they just plug in random greek letters. nothing to do with the 3.1415926 constant.
@aneeshsrinivas9088
@aneeshsrinivas9088 2 жыл бұрын
the capital Pi is for product, which the factorial basically is[at least for integers].
@lambda2693
@lambda2693 2 жыл бұрын
thats not 2 things its 3
@jeromesnail
@jeromesnail 6 жыл бұрын
Great video! Can we get the Π (or Gama) function(s) from the initial equation, or is just an happy accident, i.e but studying this integral we figured out is had the same property as factoreo?
@c-m9077
@c-m9077 6 жыл бұрын
We can. I think it was weierstrass that extracted this integral from euler's infinite sum, but i could be mistaken.
@fahim1943
@fahim1943 3 жыл бұрын
Dahm, this is a whole new level of fascinating
@nehalkalita
@nehalkalita Жыл бұрын
Very good explanation
@열받킹받아무것
@열받킹받아무것 4 жыл бұрын
Great... I am always appreciating to you.
@camishere4584
@camishere4584 4 жыл бұрын
I have not found any concrete evaluation of gamma(1/5) anywhere online, not even approximations. the simplified integral diverges and I can't find a close enough series to find what values its riemann sums converge towards It would be cool if you could cover that in a future video
@andywright8803
@andywright8803 5 жыл бұрын
I contest that there are an infinity of different functions that pass through the points (1,1),(2,2),(3,6) etc, it's just that you have shown the simplest such function. For instance, the functions could be sinusoidal, but multiplied by the pi function. That would work. I understand why people have hit upon the pi function, after all, it's simple to work with, but there ARE other solutions
@kevincaotong
@kevincaotong 6 жыл бұрын
:O This was an amazing video! Can you do a video on the Riemann Zeta function (and maybe the Riemann Hypothesis and the infinite sum of 1/n^2 =pi^2/6)? I'm curious as to how Riemann was able to come up with the integral.
@David-km2ie
@David-km2ie 4 жыл бұрын
You need at least one extra property to continuing the factorial, since now Π+sin(πx) is also a solution. You could introduce the property ln(Π) is convex
@Anonymous-df8it
@Anonymous-df8it 2 жыл бұрын
It's even worse as pi(x)+sin(pi*a*x) is a solution for all integer values of a.
@rybaplcaki7267
@rybaplcaki7267 6 жыл бұрын
Please make more videos like that, about more complicated maths!
@mathbattles1471
@mathbattles1471 3 жыл бұрын
e^t never dies.....!
@arminbolouri8083
@arminbolouri8083 4 жыл бұрын
Great Explanation! I had alot of fun watching the video. Thank you.
@coldmash
@coldmash 6 жыл бұрын
so why even bother with learning the regular definition of the factorial when this seems to be the "better" way? has the pi function already replaced it or is there still a problem and if so what is it?
@angelmendez-rivera351
@angelmendez-rivera351 6 жыл бұрын
coldmash Why bother learning the arithmetic definition of exponentiation when one could just learn the Taylor expansion of it and then already have this be well-defined for all complex numbers?
@pablojulianjimenezcano4362
@pablojulianjimenezcano4362 6 жыл бұрын
You make it seem easy!!! So brilliant :D
@mtaur4113
@mtaur4113 4 жыл бұрын
There are other reasons why 0! = 1 is the "right choice". Almost every formula that has factorials reduces down to the "right thing" when you make that definition. So it's good that Pi agrees with that. For starters, consider "n choose m" when m = n. How many ways are there to pick 5 objects from a collection of 5 things? Well, you clearly just take the set itself. And n choose 0. How many ways are there to pick nothing? Well, there's only one empty set. n!/(n! 0!) = 1, so we're good.
@jschleipen
@jschleipen 6 жыл бұрын
Question: is the Pi function the ONLY continuous (differentiable) function that fulfills the conditions (i) Pi(0)=1 and (ii) Pi(x)=x.Pi(x-1) ??
@TTFMjock
@TTFMjock 3 жыл бұрын
What would you call this? Analysis? Where would one run against this in high school/college?
@gautamgopal3517
@gautamgopal3517 3 жыл бұрын
Hey! Does this proof have anything to do with the Principle of Mathematical Induction?
@justanormalyoutubeuser3868
@justanormalyoutubeuser3868 2 жыл бұрын
What's the point of the Gamma function? Why have a function for (n+1)!? Does it come out in other situations?
@MrIndomit
@MrIndomit 6 жыл бұрын
If n is not an integer you can't just take n'th derivative of t^n in lim t-> inf (-t^n/e^t)
@jeromesnail
@jeromesnail 6 жыл бұрын
indomit here (t^alpha)' = alpha*t^(alpha-1) even if alpha is real. So at one point the exponent it to will be negative so the numerator will approach 0.
@MrIndomit
@MrIndomit 6 жыл бұрын
yes, I know it. I just think this remark should be in the video.
@한두혁
@한두혁 5 жыл бұрын
thanks a lot! so the factorial is defined in positive integers and pi funciton in real numbers??
@Gerserh
@Gerserh 3 жыл бұрын
What is the extremum of (x!)? Because of 1!=1, 0!=1 and 0.5!=0.8... Is this function determines for negative x? Thanks.
@MrThomazSatiro
@MrThomazSatiro 6 жыл бұрын
So if pi (0)= pi (1)= 1 then the pi function have a minimum between 0 and 1 right? What are the minimum coordinates?
@redvel5042
@redvel5042 6 жыл бұрын
Yes, it does indeed have a minimum between 0 and 1. The minimus is at (0.4616, 0.8856).
@nendwr
@nendwr 6 жыл бұрын
Close to (e^2)/16, but not quite. How is 0.4616 actually derived?
@redvel5042
@redvel5042 6 жыл бұрын
I just used Desmos to graph x!, and looked at the min co-ordinates. You can try to derive it yourself, I just don't think it will be easy.
@msolec2000
@msolec2000 6 жыл бұрын
Use the derivative and set it equal to 0.
@ffggddss
@ffggddss 6 жыл бұрын
+ simon rothman: Or use Grapher in MacOSX; or Wolfram Alpha (math calculation free website extraordinaire). Not sure what that number is, mathematically. But shifted by one unit; ∏(x) = Γ(x+1); it's a zero of the digamma function, which is the derivative of Γ(z). But it (x ≈ 0.4616) almost satisfies (x+1)² = 1/x; i.e., x³ + 2x² + x - 1 = 0.
@ilyesbouzidi7837
@ilyesbouzidi7837 3 жыл бұрын
and if we find another function that verifies these two properties what do we do?
@msolec2000
@msolec2000 6 жыл бұрын
Why is the -hangman- gamma function much better known than pi function, then?
@zombiedude347
@zombiedude347 4 жыл бұрын
12:20. People who are familiar with big O notation could probably skip over this lhopital's rule because O(constant^x) > O(x^constant). This makes all instances of lim(x^constant / constant^x) as x -> inf return 0.
@admiralhyperspace0015
@admiralhyperspace0015 4 жыл бұрын
Well, I know you could prove the properties once you know the function. But I am more curious about what's the mathematical intuition that actually allows you to discover the function the first in the first place.
@premdeepkhatri1441
@premdeepkhatri1441 4 ай бұрын
Thanks for video
@JashanTaggar
@JashanTaggar 6 жыл бұрын
Hey ! You made it !!!! Do the integral of 1/1+sqrt(tanx) !
@HxTurtle
@HxTurtle 6 жыл бұрын
• 14:24 • press C • discover a new 'limit' .. namely that of automated speech recognition.
@adamkangoroo8475
@adamkangoroo8475 6 жыл бұрын
The best video of the year :D
@yufeizhan726
@yufeizhan726 4 жыл бұрын
That is really a good video. I also learnt how to do integration by parts quickly aside from the main content
@mmebled31sansnom26
@mmebled31sansnom26 2 жыл бұрын
Interesting extending factorial Could you bring the caméra a little closer please sir the teacher Thank you teacher 🙏
@shayanmoosavi9139
@shayanmoosavi9139 5 жыл бұрын
We're not playing hangman here😂😂😂😂
@luizantoniomarquesferreira1468
@luizantoniomarquesferreira1468 4 жыл бұрын
It is too crazyyyyyy!!! Loved it!!!
@DanNguyen-oc3xr
@DanNguyen-oc3xr 6 жыл бұрын
But how was the Pi function deduced?
@Inspirator_AG112
@Inspirator_AG112 2 жыл бұрын
Is there a similar integral for tetration (repeated exponentiation)?
@EW-mb1ih
@EW-mb1ih 3 жыл бұрын
What is the box? What is used for ?
@benjaminparra4672
@benjaminparra4672 2 жыл бұрын
In the complex world, what are the zeros of the pi function?
@ТилекСалим
@ТилекСалим 5 жыл бұрын
How many phrase "Right" used in this video?
@leonardoalfaro6007
@leonardoalfaro6007 6 жыл бұрын
loveee that supreme sweater man!
@pedrosso0
@pedrosso0 3 жыл бұрын
Why did we add a Pi function instead of just offsetting the gamma function by 1
@nickfuhr8589
@nickfuhr8589 4 жыл бұрын
Great video
@sandorfogassy3007
@sandorfogassy3007 5 жыл бұрын
This video is fantastic. Thank you.
@mtaur4113
@mtaur4113 4 жыл бұрын
Good use of color.
@sageunix3381
@sageunix3381 2 жыл бұрын
Love your content. Keep it up 💯
@tonyhaddad1394
@tonyhaddad1394 3 жыл бұрын
15:08 you have prooved by induction 😍
@rituchandra6325
@rituchandra6325 6 жыл бұрын
when you take the limit t->∞( -t^n/e^t) then applying l'hopital's rule n times gives you -n!/e^t right? but the whole point of the pi function is that n here can be any +ve real no. so my question is... for fractions you cant apply l'hopitals rule n times and get -n!/e^t since its a fraction (i believe u cant differentiate an expression a fraction of timed can you?) so the 2nd property to me is ambiguous still
@JohnSilvavlogs
@JohnSilvavlogs 6 жыл бұрын
Awesome mate , as always! I have a question, sorry if I find misinformed but I learned to integrate by parts using another method. Int u*dv = uv - int{v*du} And this DI method I’ve never seen, specially when you used a third column to give the answer to the integral . Would you mind sharing where I could learn it? Always nice to get to know other ways. Thanks a lot e keep it up my friend
@BikeArea
@BikeArea 2 жыл бұрын
I second that! 😉
Can we have negative factorial?
19:44
blackpenredpen
Рет қаралды 315 М.
Zeta function in terms of Gamma function and Bose integral
11:33
blackpenredpen
Рет қаралды 129 М.
Players vs Pitch 🤯
00:26
LE FOOT EN VIDÉO
Рет қаралды 138 МЛН
快乐总是短暂的!😂 #搞笑夫妻 #爱美食爱生活 #搞笑达人
00:14
朱大帅and依美姐
Рет қаралды 13 МЛН
How Much Tape To Stop A Lamborghini?
00:15
MrBeast
Рет қаралды 239 МЛН
|i Factorial| You Won't Believe The Outcome
8:24
BriTheMathGuy
Рет қаралды 372 М.
What is the factorial of -½?
12:46
Stand-up Maths
Рет қаралды 574 М.
A Brilliant Limit
16:58
blackpenredpen
Рет қаралды 1,4 МЛН
zero factorial, why 0! should be 1, 4 reasons
12:58
blackpenredpen
Рет қаралды 533 М.
7 factorials you probably didn't know
12:59
blackpenredpen
Рет қаралды 403 М.
The Definition of the Gamma function
11:57
William Tu
Рет қаралды 5 М.
Destroying the Gaussian Integral using Papa Leibniz and Feynman
15:43
Flammable Maths
Рет қаралды 169 М.
The Mystery Behind This Math Miracle
11:01
BriTheMathGuy
Рет қаралды 101 М.
how Laplace solved the Gaussian integral
15:01
blackpenredpen
Рет қаралды 755 М.
Players vs Pitch 🤯
00:26
LE FOOT EN VIDÉO
Рет қаралды 138 МЛН