MIT Integration Bee: How to Handle the Floor Function Like a Pro!

  Рет қаралды 13,655

Michael Penn

Michael Penn

Жыл бұрын

🌟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

Пікірлер: 41
@jacemandt
@jacemandt Жыл бұрын
Hahaha Step 1: Let's make this easier to understand by eliminating the integral altogether. Step 2: Let's make this easier to understand by reintroducing an integral.
@Catilu
@Catilu Жыл бұрын
We can easily generalize this by putting a>1 instead of 2. We'll get the result of ln(a/(a-1)). The fact that a>1 has been used many times, from the inequality pushing the floor to n+1, to the convergence of the series
@jimschneider799
@jimschneider799 Жыл бұрын
I was going to say the same thing.
@Keithfert490
@Keithfert490 Жыл бұрын
The actual result is (a-1)*ln[a/(a-1)] because the step where michael wrote (1/2)^n-(1/2)^(n-1)=(1/2)^(n-1) only works for the case of 1/2.
@59de44955ebd
@59de44955ebd Жыл бұрын
Just wanted to post basically the same thing, for every a>1 the sum_[1...] 1/(n * a^n) converges to log(a/(a-1)), and everything else in the original proof can be reused.
@leif1075
@leif1075 Жыл бұрын
what this makes no sense..how does that t equal the log and I dont see why anyine would ever think of that--and besides if it goes to infinty then the denominator would just approach zero..surely there is another way to solve this that ppl would actually think of??
@goodplacetostop2973
@goodplacetostop2973 Жыл бұрын
10:40
@EconAtheist
@EconAtheist Жыл бұрын
you are a hero
@prwf
@prwf Жыл бұрын
For the sum at the end, I reindexed the sum and wrote 1/2 as -1*-1/2. Then, I brought another -1 Inside the sum by multiplying by -1 outside the sum. This gave me -(sum from n=1->inf of (-1)^(n+1)*(-1/2)^n / n. This is the series expansion of -ln(1+x) at x = 1/2. This gives -ln(1-1/2) = -ln(1/2) = ln(2).
@bscutajar
@bscutajar Жыл бұрын
This evaluation invokes so many different concepts I for sure would not have been able to solve it myself in an appreciable amount of time.
@giron716
@giron716 Жыл бұрын
Very interesting! I just used the initial substitution u = 1 - log_2(x) and got the same result.
@Happy_Abe
@Happy_Abe Жыл бұрын
How’d you calculate the du term with the flor function there?
@giron716
@giron716 Жыл бұрын
@@Happy_Abe the floor function isn't part of the substitution, just everything inside the floor function, so all that's left inside the floor is a solitary u. Then since u goes from 1 to inf, it's easy to split into intervals on which floor(u) is constant.
@Happy_Abe
@Happy_Abe Жыл бұрын
@@giron716 ah yes I see that, but what about the dx term? You’d have to differentiate 1-log_2(x) so it’s not just as simple as integrating 1/floor(u) right?
@ultimatedude5686
@ultimatedude5686 Жыл бұрын
@@Happy_Abe Right, so you have to use a similar strategy to the one in the video. After substituting and swapping the bounds of integration, the bounds will be from 1 to positive infinity. Now you separate this integral into intervals from n to n + 1. On each of these intervals, floor (u) will be equal to n, so you can substitute that to get rid of the floor function. At this point you have to integrate 2^(1-u), which is pretty trivial. After solving this integral and simplifying you should arrive at the same infinite sum Michael did at the end.
@Happy_Abe
@Happy_Abe Жыл бұрын
@@ultimatedude5686 thank you!
@manucitomx
@manucitomx Жыл бұрын
That was great. Thank you, professor!
@The1RandomFool
@The1RandomFool Жыл бұрын
What I ended up doing is a substitution, 1-log_2 x = y, to simplify the floor function to make the series easier to work with.
@leif1075
@leif1075 Жыл бұрын
how did you replace dx with dy though--since its nota natural log base so we dont really know how to take the derivative of log base 2 x--did you rewrite in terms of ln x/ln 2 I presume first and then solve?
@The1RandomFool
@The1RandomFool Жыл бұрын
@@leif1075 If 1-log_2(x) = y, then you solve for x and take the derivative. So log_2(x) = 1-y, x = 2^(1-y), and dx = -ln(2)*2^(1-y) dy.
@leif1075
@leif1075 Жыл бұрын
@@The1RandomFool oh meaning you replaced dx with that expression for dy in theintegral--well then my approach isslightly different fromyours but equally valid right? just rewrite log2x as lnx*ln2 or whatever and then subsittue y=ln x and then you can solve or with integration by parts..
@tommychau1211
@tommychau1211 Жыл бұрын
wow, after watching so many your video, what a surprise I can do it on my first trial with the exact approach!
@stephenhamer8192
@stephenhamer8192 Жыл бұрын
A sketch of the graph of the integrand at the start might have more clearly motivated the intro of -ve powers of 2. Ingenious soln as always
@veselindimov307
@veselindimov307 Жыл бұрын
Very cool video and the best part of it is that I managed to do the integral myself :)
@1321ilm
@1321ilm Жыл бұрын
¡Impresionante!
@Patapom3
@Patapom3 Жыл бұрын
Amazing!
@nickbierman7008
@nickbierman7008 Жыл бұрын
I came up with something that might be a cool integral. It's the integral from 1 to infinity of dx/[1+2+3+4+...+floor(x)]
@JR13751
@JR13751 Жыл бұрын
lb(x) can be used for log of x in base 2.
@tahirimathscienceonlinetea4273
@tahirimathscienceonlinetea4273 Жыл бұрын
Hi micheal how are you ,bravoo it's a beatiful solution
@user-sk4kg4hr3k
@user-sk4kg4hr3k Жыл бұрын
This was beautiful
@kappascopezz5122
@kappascopezz5122 Жыл бұрын
I just used the substitution x=2^-u, from which it follows dx=-ln(2)2^-u du as well as the integral bounds infty and 0, so after switching the bounds, you get I=ln(2) int_0^infty 2^-u 1/floor(1+u) du. I think this is a lot easier to split into a sum, because you can just split it into the integrals from n to n+1: I=sum_{n=0}^infty ln(2) int_n^{n+1} 2^-u 1/floor(1+u) du Now n < u < n+1, so floor(1+u)=1+n. That gives you: I=sum_{n=0}^infty ln(2)/(1+n) int_n^{n+1} 2^-u du And the integral int_n^{n+1} 2^-u du is easily calculated as int_n^{n+1} 2^-u du = -1/ln(2) [2^-u]_n^{n+1} = -1/ln(2) (2^-(n+1) - 2^-n) = 1/ln(2) 2^-(n+1) so in total you get I=sum_{n=0}^infty ln(2)/(1+n) 1/ln(2) 2^-(n+1) =sum_{n=0}^infty 1/(n+1) (1/2)^(n+1) And this is the exact same result as what was achieved at 7:30. Personally I found that this approach felt a lot less tricky than choosing the correct integral bounds from the start and showing that the floor function behaves correctly for those. Basically, simplify the contents of the floor() function as far as possible, and that way it'll give you the summation more directly.
@gp-ht7ug
@gp-ht7ug Жыл бұрын
What happened to the logró base 2 during the video?
@frentz7
@frentz7 Жыл бұрын
Rewriting that 1/2 as an "X" is a tremendously clever move .. I wonder if some of the kids didn't get that. -- also dominated convergence, that uh .. seems like something most of them would simply have never heard of. At least, traditionally a lot of the best students at finding integrals are not math majors, right?
@martincohen8991
@martincohen8991 Жыл бұрын
I set y=2/x to make it int_2^{\infty}. No need for limits.
@Keithfert490
@Keithfert490 Жыл бұрын
An integral with an infinite upper bound also implicitly uses limits, e.g. \int_a^\infty f(x) dx is the same as lim_{b->/infty} /int_a^b f(x) dx
@AshalakVeerSingh
@AshalakVeerSingh Жыл бұрын
I tried it by newton lebnitz rule bt still difficult to sove for me plz need its solution to
@kucckumelon2837
@kucckumelon2837 Жыл бұрын
Can we generalize this!!?
@hasanjakir360
@hasanjakir360 Жыл бұрын
Hard ❌ Interesting ✅
@minwithoutintroduction
@minwithoutintroduction Жыл бұрын
لذيذ
@mathematicskid
@mathematicskid Жыл бұрын
how am I comment #13
@EconAtheist
@EconAtheist Жыл бұрын
high-caliber math olympiad contenders: 🦾 me: 🥀
Solving an integral equation using special functions.
16:06
Michael Penn
Рет қаралды 19 М.
The factorial of any number -- from 1729.
13:31
Michael Penn
Рет қаралды 16 М.
لااا! هذه البرتقالة مزعجة جدًا #قصير
00:15
One More Arabic
Рет қаралды 15 МЛН
Slow motion boy #shorts by Tsuriki Show
00:14
Tsuriki Show
Рет қаралды 10 МЛН
Playing hide and seek with my dog 🐶
00:25
Zach King
Рет қаралды 37 МЛН
Best Toilet Gadgets and #Hacks you must try!!💩💩
00:49
Poly Holy Yow
Рет қаралды 22 МЛН
Fermat's unique method of integration.
14:32
Michael Penn
Рет қаралды 20 М.
A masterful theorem for integration.
13:40
Michael Penn
Рет қаралды 35 М.
a very cool integral comparison problem
12:36
Michael Penn
Рет қаралды 14 М.
gamma reflection via double and contour integration.
20:39
Michael Penn
Рет қаралды 13 М.
an extreme extreme value problem
15:16
Michael Penn
Рет қаралды 12 М.
The Clever Way to Count Tanks - Numberphile
16:45
Numberphile
Рет қаралды 734 М.
A minimum problem that is too much for calculus to handle.
17:34
Michael Penn
Рет қаралды 47 М.
a nice product from Ramanujan -- featuring 3 important constants!
20:54
cracking the code of a trigonometric integral: insights and tricks
13:12
لااا! هذه البرتقالة مزعجة جدًا #قصير
00:15
One More Arabic
Рет қаралды 15 МЛН