Тёмный

A notorious Calculus problem 

Michael Penn
Подписаться 307 тыс.
Просмотров 26 тыс.
50% 1

Опубликовано:

 

17 окт 2024

Поделиться:

Ссылка:

Скачать:

Готовим ссылку...

Добавить в:

Мой плейлист
Посмотреть позже
Комментарии : 99   
@dyld921
@dyld921 Год назад
That's a convoluted way to prove 2^n > n when we can just use induction: 2^(n+1) = 2*2^n > 2n > n+1
@goodplacetostop2973
@goodplacetostop2973 Год назад
0:08 Not homework, but final exercise of the exam 7:57 Good Place To Stop
@ANTONIOMARTINEZ-zz4sp
@ANTONIOMARTINEZ-zz4sp Год назад
It's amazing the way an apparently difficult exercise is resolved. Thank you so much for this type of content. It makes me love math.
@ForcesOfOdin
@ForcesOfOdin Год назад
I think it's useful to realize that for ANY epsilon, 1+(1/n) is closer to 1 than 1+epsilon for infinitely many n. Intuitively we determine limiting behavior by what happens for infinitely many terms. Therefore, being that 1+1/n is arbitrarily close to 1 for all but finitely many terms, and Sum (1/n^1) diverges, it's fairly unsurprising that Sum 1/(n^[1+(1/n)]) diverges, since it's arbitrarily close to a diverging series for all but finitely many n
@kumoyuki
@kumoyuki Год назад
Now this is the explanation that makes sense out of this for me. Infinities are always tricky, and this one is wearing a cloak ;)
@drdca8263
@drdca8263 Год назад
If you had sum of 1/(n^(1 + f(n))) , for f(n) going to zero from above sufficiently slowly, I would think it could converge? So I think this explanation probably isn’t the whole picture?
@Alex_Deam
@Alex_Deam Год назад
@@drdca8263 Huh, it appears you're right. It diverges for f(n)=ln(n) but converges for f(n)=ln(ln(n)). Interesting!
@drdca8263
@drdca8263 Год назад
@@Alex_Deam I assume you mean 1/ln(n) and 1/(ln(ln(n)) respectively, so that they will go to zero? Also, thanks for giving some concrete examples
@Alex_Deam
@Alex_Deam Год назад
@drdca8263 Sorry yeah lol
@insouciantFox
@insouciantFox Год назад
Another way is to use the Cauchy series test, which says Σa(n) conv. Σ2ⁿa(2ⁿ) conv. This yields: Σ 2ⁿ/(2^(n(1+2^-n)) =Σ2^(-2^-n) which diverges by the Divergence Test. Thus the series diverges.
@SimsHacks
@SimsHacks Год назад
Nice. Note: the criter is only valid if a(n) is decreasing positive.
@leif1075
@leif1075 Год назад
if you don't know any of these tests is it impossible to solve then--and how can that bottom series converge for ANY epsilon? it doesn't seem likely
@SimsHacks
@SimsHacks Год назад
@@leif1075 It's possible by definition, manoeuvring some inequalities with partial sums.
@Jack_Callcott_AU
@Jack_Callcott_AU Год назад
This is very interesting because we want to know where the boundary is between convergence and divergence for these types of series. Danke Schön❕
@cbarnett1814
@cbarnett1814 Год назад
At 2:44 “we are really doing revolutionary stuff here” 🤣🤣🤣
@GeoffryGifari
@GeoffryGifari Год назад
Hmm proving 2^n > n looks like it can also be done with induction
@General12th
@General12th Год назад
Hi Dr. Penn! I'm trying to immerse myself in as much math content as possible for my upcoming university classes.
@daviddoerksen-bm8ld
@daviddoerksen-bm8ld Год назад
Neat. A quick induction for the first claim in the first version suffices. First take nth powers.
@pavlopanasiuk7297
@pavlopanasiuk7297 Год назад
Argument can also be made via integral comparison test. With usual (for harmonic series) substitution u = lnx one receives I = \int_a^\infty e^{-ue^{-u}} du, which is divergent since the integrand's limit exists and is nonzero , namely it equals to 1.
@PolyakovAction
@PolyakovAction Год назад
A convoluted way to show this is to use Abel’s test: assume the series in question converges. Notice that for n>=3 the sequence n^(1/n) is monotonically decreasing. Additionally, it is bounded. Putting this together, by Abel’s test, the harmonic series converges, so we get a contradiction.
@joeg579
@joeg579 Год назад
woah
@lucacastenetto1230
@lucacastenetto1230 Год назад
But Abel's test also requires that the decreasing sequence, in this case n^(1/n), goes to 0 as n-->∞ which is not the case. Also if A and B imply C if doesn't mean that C and A imply B. Am i missing something?
@PolyakovAction
@PolyakovAction Год назад
@@lucacastenetto1230The "Abel's test" I'm thinking of goes "Suppose ∑ bn converges and that {an} is a monotone, bounded sequence. Then ∑ a_n*b_n converges." I think the version you're thinking of is maybe the one for power series? The naming is a bit confusing. Also, this is just a proof by contradiction.
@lucacastenetto1230
@lucacastenetto1230 Год назад
@@PolyakovAction oh ok i knew a different version sorry
@leif1075
@leif1075 Год назад
if you don't know any of these tests is it impossible to solve then--and how can that bottom series converge for ANY epsilon? it doesn't seem likely
@JR13751
@JR13751 Год назад
At 4:10 that's a really good proof of 2^n > n. You should make a short out of it.
@martincohen8991
@martincohen8991 Год назад
Showing 2^n > n is easily done by induction.
@michaelsheard4522
@michaelsheard4522 Год назад
That seems like the right way to go, doesn't it? Or if you want to make it unnecessarily complicated in a fun way, use Cantor's proof that the cardinality of a set A is always less than the cardinality of the power set of A. 🙂
@TheEternalVortex42
@TheEternalVortex42 Год назад
2^n > n seems like one of those facts you could just assume people know. Shortly after he assumes that the x^(1/n) function is increasing which is, if anything, less trivial.
@neilgerace355
@neilgerace355 Год назад
2:41 Hahaha
@davidblauyoutube
@davidblauyoutube Год назад
Excellent solution developments, thank you!
@yanntal954
@yanntal954 Год назад
It's maybe more confusing when you know that the sum from n=2 to infinity of 1/(n*log^2(n)) converges even though n*log^2(n) grows much more slowly than n^(1+epsilon) for all epsilon greater than 0
@EphemeralEphah
@EphemeralEphah Год назад
Just wanted to note a small mistake in the binomial expansion at 3:30, it should be (n-1) rather than (n+1). Otherwise, it was really interesting to see these two different ways of solving the question, I definitely would not have thought to use the first method!
Год назад
Thank you, I thought I was going crazy lol. I plugged in n=2 and got 2^2=6 and felt like I must just be misunderstanding somehow
@roberttelarket4934
@roberttelarket4934 Год назад
A notorious prolific video presenting mathematician Penn!
@guillemeliasson3880
@guillemeliasson3880 Год назад
Wonderful explanation, thank you Michel! :)
@CielMC
@CielMC Год назад
2:45 Small jokes in the middle of Math makes it so much better than it already is.
@KitagumaIgen
@KitagumaIgen Год назад
Oh, how casually he brushes aside the work of Russell and Whitehead...
@Fun_maths
@Fun_maths Год назад
A similar problem I was shown and might also be interesting to cover is the convergence/divergence of the intgeral from 1 to infinity of 1/x^(1+{x}) where {x} is the fractional part of 1 or if you prefer: {x}=x-floor(x)
@michaeltajfel
@michaeltajfel Год назад
n^(1/n) tends to 1 and ln n tends to infinity. Therefore 1/(n ln n) < 1/(n^(1 + (1/n)). But 1/(x ln x) is the derivative with respect to x of ln ln x which goes to infinity (very slowly). So the sum over n of 1/(n ln n) diverges by the integral test, and therefore so does the original series, by the comparison test. 1/(n ln n) goes to zero faster, but it still diverges.
@GeoffryGifari
@GeoffryGifari Год назад
A related problem can be derived from this If we have a sum S = Σ 1/n^(1 + ε/n) where |ε| < 1 and the sum goes from n=1 to ∞, which value of ε (if any) will make the series converge?
@drdca8263
@drdca8263 Год назад
Won’t all of those diverge faster than the one he showed diverges?
@jamesfortune243
@jamesfortune243 Год назад
Great problem!
@evankalis
@evankalis Год назад
This might be hazardous reasoning but i figure the long run behaviour of the harmonic series is what contributes to its divergence. It doesnt taper off fast enough. And as values of n increase the series acts more and more like the harmonic series then it ought to also diverge. Basically despite the series acting like the sum of squares early on it cannot save it later
@awesomechannel7713
@awesomechannel7713 Год назад
Hey Mike, Can you please go one step ahead and solve limit for n->infinity of Σk^(-1-1/k) / log(n) where k range from 1 to n in the numerator. This seems way more challenging and helpful as we would know the asymptotic growth rate of today's series.
@DrR0BERT
@DrR0BERT Год назад
Dr Penn does one of my pet peeves when I am teach second semester calculus is when a student uses L'Hopital's Rule to a limit with a discrete variable. If n represents positive integers, then how can we take derivatives with respect to n. I tell my students, that they somehow have to address this. Usually they convert it over to a real variable x, or, in rarer cases, they say that n is to be considered as a real variable.
@TheEternalVortex42
@TheEternalVortex42 Год назад
You could use Stolz-Cesaro (I'm not sure if it's normally covered in second semester calculus). So that immediately gives us lim ln n / n = lim ln (n / n-1) = 0. Or it's easy to prove that if lim f(x) = L and f(n) = a_n for all n, then lim a_n = L as well (this is more of a real analysis thing I guess).
@robertveith6383
@robertveith6383 Год назад
​​​​@@TheEternalVortex42There are missing grouping symbols. The best I can make out is that this is intended: lim ln(n)/n = lim ln[n/(n - 1)] = 0.
@DrR0BERT
@DrR0BERT Год назад
Wow! I have never encountered the S-C theorem, even in my Real Analysis classes. (I'm an algebraist.) Fascinating. Not something we would encounter in 2nd semester calculus.
@natevanderw
@natevanderw Год назад
@@DrR0BERT Does it actually matter though? 2nd semester calculus students are not math majors 95% of the time so understanding this vague difference is of no matter to them, nor will there EVER be a situation in their lives as an engineer, scientist, programmer, whatever where it will matter. They need to know how to use calculus, not the nitty gritty details of why it works that arouse us. I can and will take a number that is meant to be an integer and pretend it is a real variable, hell even a complex variable, so that I can use derivatives as I please. Ain't no one gonna stop me or hold me back like you mathematicians try to! /s
@DrR0BERT
@DrR0BERT Год назад
@@natevanderw I'm sorry that you don't like my standards I hold for my class. Too bad there wasn't a math for engineers, where they only get the part that they need. Or physics for engineers, where they only get the part that they need. Or English for engineers, where they only get technical writing. Let's restructure the entire curriculum to give engineer students only what they need, basically vocational school. Forget about processes. It's more important to show them how to circumscribe the rules to get to an answer, usually a wrong answer. Taking shortcuts willy nilly is what put a man on the moon. On a more serious note, teaching short cuts or to skip the nuances of a problem only creates mathematical illiteracy. It's one thing to discuss the process in depth and then address the short cut. I trust that Michael knows that the variable needed to be continuous in order to use L'H. And I am confident that he knows he's skipping some steps. I trust his process, even though it is a pet peeve of mine. He's not learning the concept for the first time. He has the experience to know why the short cut works. If I had a student who can articulate that, then I'm fine. But when I have a student (on a test I graded this morning) trying to use the integral test on an alternating series and during the integration process had a (-1)^x/ln(-1) as part of the antiderivative, there's a major disconnect. Tl;dr, short cuts can work, if you understand why they work. I don't care what field you are going into.
@writerightmathnation9481
@writerightmathnation9481 Год назад
Great example! I hope to look into how fast the supremum of f must grow without bound in order to make the series converge if we replace n^(1+1/n) with n^(1+1/f(n)) in this problem. I think that’s can be interesting.
@Jooolse
@Jooolse Год назад
5:20 Nice strict inequality 🤷‍♂
@kkanden
@kkanden Год назад
nooo it diverges that's sad i was really hoping it would converge :(
@Alien-hw6sq
@Alien-hw6sq Год назад
My disappointment is immeasurable and my day is ruined
@anestismoutafidis4575
@anestismoutafidis4575 Год назад
=> Because this function ends in Σ inf to 1/inf, it is converge. The final expression is Σinf=0; 0 is the limiting value
@bjornfeuerbacher5514
@bjornfeuerbacher5514 Год назад
Your explanation makes no sense, and actually the video shows clearly that the series diverges!
@bjornfeuerbacher5514
@bjornfeuerbacher5514 Год назад
Probably the limit N to infinity of (sum n =1 to N 1/(n^(1+1/n)) - int_1^N 1/(x^(1+1/x)) dx) exists and gives a constant quite close to the Euler Mascheroni constant?
@Cocoyeta2019Coco
@Cocoyeta2019Coco Год назад
n^(1/n) tends to 1, thus the gereral term is equivalent to 1/n, and the series diverge
@LilithLuz2
@LilithLuz2 9 месяцев назад
for the fact that 1/n^(1/n) > 1/2 couldn't you just divide both sides by n to get that 1/n^(1+1/n) > 1/2n for all integers n>0, then you get that the sum from 1 to infinity of the first is greater than the second, but the second div. because it's 1/2 the harmonic series, therefore the original sum diverges? Seems a much simpler solution than both shown in the video
@ignaciorodriguez639
@ignaciorodriguez639 Год назад
Another way ln ( n ) < n 1 / n < 1 / ln ( n ) n ^ ( 1 + 1 / n ) < n ^ ( 1 + 1 / ln ( n ) ) Notice that n ^ ( 1 + 1 / ln ( n ) ) = n * e As a result 1 / ( n ^ ( 1 + 1 / n ) ) > 1 / ( n * e ) The series diverges.
@ahoj7720
@ahoj7720 Год назад
To prove that n^(1/n) is less than 2, just remark that ln(x)/x reaches its maximum at x=e, with value 1/e, which is less than ln(2).
@MichaelRothwell1
@MichaelRothwell1 Год назад
True, but Michael's approach is kind of neat because it doesn't use calculus.
@TheEternalVortex42
@TheEternalVortex42 Год назад
Michael's approach could also be simpler because 2^n > n is obvious so you could skip that part of the proof.
@mrminer071166
@mrminer071166 Год назад
OK, now make ANOTHER series, with is CLOSER to converging, than that one.
@RanjanYadav-ns7vo
@RanjanYadav-ns7vo Год назад
Another good version will be . Sum 1/n^(2-n^1/n) diverges
@MichaelRothwell1
@MichaelRothwell1 Год назад
Dear Michael, it would be nice to see you check all the conditions for applying l'Hôpital's rule.
@paulwolter3186
@paulwolter3186 Год назад
Does Sum(1/n-1/n^(1+1/n)) 1 to oo converge to a specific constant?
@deep45789
@deep45789 Год назад
The thing that's written on your t-shirt. Is it true? I have not encountered this result yet.
@bjornfeuerbacher5514
@bjornfeuerbacher5514 Год назад
Yes, it's true. It's one of Michael's favorite identities. He has made at least one video about it already. https: // www . youtube . com / watch?v=GEZISWekbGU
@phanatic4466
@phanatic4466 Год назад
I have an intuitive argument for this. But it’s not formal at all. I’m writing this before watching the whole thing, but I’ve read that the series diverges. We could consider the behaviour at large n of the stuff in the exponent, which tends to 1, so effectively in the large n limit, which is what we care about, the series “becomes” some kind of “harmonic series”, which diverges by default.
@MichaelRothwell1
@MichaelRothwell1 Год назад
Yes, this is the intuition behind the limit comparison test.
@gp-ht7ug
@gp-ht7ug Год назад
Bello! Grazie
@RSLT
@RSLT Год назад
Amazing!
@Alan-zf2tt
@Alan-zf2tt Год назад
Pragmatic insight approach?: plug it in to a spreadsheet, maxima, wxmaxima ... Say for the first 30 terms... What does the finite sum appear to do? Why?
@writerightmathnation9481
@writerightmathnation9481 Год назад
I’ll reiterate. Every limit exists. Else it wouldn’t be a limit.
@adamkolany1668
@adamkolany1668 Год назад
@4.10 - 4:15 : For God's Sake. Why don't you do that inductively that 2^n>n ???
@Kapomafioso
@Kapomafioso Год назад
What about 1/n^(1+1/log(log(n)))?
@alexiavya722
@alexiavya722 5 месяцев назад
couldn’t you simply say that this expansion is strictly bigger than the 1/n case, therefore it must diverge?
@maximevanderbeken4712
@maximevanderbeken4712 Год назад
Could you do the same exercice but with 1/n^(1+1/loglog n)
@digxx
@digxx Год назад
reupload?
@alexandermorozov2248
@alexandermorozov2248 Год назад
Можно решить проще и быстрее, если использовать признак сравнения сходимости рядов :) ~~~ It can be solved easier and faster if you use a series convergence comparison feature :)
@gja822
@gja822 Год назад
The second approach is quite that.
@mathreyes
@mathreyes Год назад
This is a Putnam problem! Early years off curse.
@fabipereyra
@fabipereyra Год назад
It can be proved that the lim x→∞ Σ{n=1^x}1/n¹⁺¹'ⁿ - log(x) converges
@Monolith-yb6yl
@Monolith-yb6yl Год назад
So if istead of 1/n we will use some kind of differet type f(n) which limit is 0 at infinity what would be the behaviour of our series?
@strikeemblem2886
@strikeemblem2886 Год назад
Anything can happen. We need to know how fast f(n) goes to zero.
@Monolith-yb6yl
@Monolith-yb6yl Год назад
@@strikeemblem2886 is there some margin between convergance and divergence?
@stephenbeck7222
@stephenbeck7222 Год назад
Limit comparison test is fairly straightforward. If the limit of the ratio of two sequences is a finite number greater than 0, then both series converge or both series diverge. If the limit is 0 or infinity, then you may make a conclusion depending on the set up of the ratio and the known conv/div of one of the series. If the problem is from an intro calculus/analysis course, you probably are looking for a simple looking sequence that has some structural similarity to the problem sequence (making 1/n a very good choice for Michael here).
@Monolith-yb6yl
@Monolith-yb6yl Год назад
@@stephenbeck7222 if we choose f(n) so we cannot compare to sum(1/n) series?
@MichaelRothwell1
@MichaelRothwell1 Год назад
​@@Monolith-yb6ylif we know that n^f(n) is convergent or at least limited then we get divergence as for the case in the video.
@charleyhoward4594
@charleyhoward4594 Год назад
I could never be a mathematician; not preceptive enough ...
@romdotdog
@romdotdog 11 месяцев назад
Perception is a skill. In training to become a mathematician, you learn it and hone it.
@frankjohnson123
@frankjohnson123 Год назад
By comparison test: a_n = 1/(n^(1 + 1/n)) b_n = 1/(n^( 1 + 1/ln(n) )) n > ln(n) ==> 1/n < 1/ln(n) ==> n^(1/n) < n^(1/ln(n)) ==> 1/n^(1/n) > n^(1/ln(n)) ==> a_n > b_n but we can determine that 1/b_n = n*exp( ln(n)/ln(n) ) = e*n so that b_n = 1/(e*n), so the sum of b_n diverges. Therefore, the sum of a_n also diverges.
@seris2195
@seris2195 Год назад
Wow I'm early
Далее
One of my favorite identities.
20:47
Просмотров 27 тыс.
would you eat this? #shorts
00:24
Просмотров 1,2 млн
The impossible equation at the heart of Kepler’s laws
22:42
The dilogarithm -- a favorite "special function"
21:46
Edward Snowden: How Your Cell Phone Spies on You
24:16
the test you didn't learn in Calculus!
21:19
Просмотров 19 тыс.
just an average recursion...OR IS IT?
18:24
Просмотров 55 тыс.
The factorial of any number -- from 1729.
13:31
Просмотров 16 тыс.