Thanks viewer, for this nice integral!!

Suggest a problem: forms.gle/ea7P...
Please Subscribe: www.youtube.co...
Patreon: / michaelpennmath
Merch: teespring.com/...
Personal Website: www.michael-pen...
Randolph College Math: www.randolphcol...
Randolph College Math and Science on Facebook: / randolph.science
Research Gate profile: www.researchga...
Google Scholar profile: scholar.google...
If you are going to use an ad-blocker, considering using brave and tipping me BAT!
brave.com/sdp793
Buy textbooks here and help me out: amzn.to/31Bj9ye
Buy an amazon gift card and help me out: amzn.to/2PComAf
Books I like:
Sacred Mathematics: Japanese Temple Geometry: amzn.to/2ZIadH9
Electricity and Magnetism for Mathematicians: amzn.to/2H8ePzL
Abstract Algebra:
Judson(online): abstract.ups.edu/
Judson(print): amzn.to/2Xg92wD
Dummit and Foote: amzn.to/2zYOrok
Gallian: amzn.to/2zg4YEo
Artin: amzn.to/2LQ8l7C
Differential Forms:
Bachman: amzn.to/2z9wljH
Number Theory:
Crisman(online): math.gordon.edu...
Strayer: amzn.to/3bXwLah
Andrews: amzn.to/2zWlOZ0
Analysis:
Abbot: amzn.to/3cwYtuF
How to think about Analysis: amzn.to/2AIhwVm
Calculus:
OpenStax(online): openstax.org/s...
OpenStax Vol 1: amzn.to/2zlreN8
OpenStax Vol 2: amzn.to/2TtwoxH
OpenStax Vol 3: amzn.to/3bPJ3Bn
My Filming Equipment:
Camera: amzn.to/3kx2JzE
Lense: amzn.to/2PFxPXA
Audio Recorder: amzn.to/2XLzkaZ
Microphones: amzn.to/3fJED0T
Lights: amzn.to/2XHxRT0
White Chalk: amzn.to/3ipu3Oh
Color Chalk: amzn.to/2XL6eIJ

[@davidcroft95]

We hope that one day you will demonstrate to us the "dominated convergence" theorem in order to swap integral and summation XD

[@darkmask4767]

It's nice to see a connection between that integral and the sum of the alternating inverse squares. In particular, π²/12 = η(2), where η is the Dirichlet eta function.

[@mathematicsmi]

I solved this integral last week.. I solved by using another method.. this is also nice way.

[@goodplacetostop2973]

17:47 OK, let’s get this done. But first, tell yourself loudly “No negative thoughts are allowed in my brain”! Have a great day.

[@rage9484]

There can't be no negative thoughts when you doing maths, the most depressing shit ever.

[@MathSolvingChannel]

I make a video (kzbin.info/www/bejne/o3TIqGtoZrOYo5Y) to solve this problem by contour integral, take the "key-hole contour". Integrals vanish on the inner circle and outer circle, and then take the four residues at z1=1/2+sqrt(3)/2i , z2=-1/2+sqrt(3)/2i, z3=-1/2-sqrt(3)/2i, z4=1/2-sqrt(3)/2i. It is done!

[@gregsarnecki7581]

5:18 BPRP = he who shall not be named!

[@reneszeywerth8352]

I was too lazy or stupid to get this actually done but wouldn't a more straightforward way of solving the integral be using the residue theorem?

[@MichaelPennMath]

I have been staying away from complex analytic methods to this point. This will change next semester after I add some videos about such methods.

[@mathematicsmi]

I solved and published this integral last week on my channel by using digamma function.. Micheal’ s solution is also nice.

[@vascomanteigas9433]

You need to evaluate four residues of (log(x))^2/(1+x^2+x^4) that are the Four complex Roots of 1+x^2+x^4=0, which are +-(1/2)+-sqrt(3)*i/2. The keyhole contour integral Will give (log(x))^2-(log(x)+2*pi*i)^2 = -4*pi*i*log(x)+4*pi^2. If you done correctly the sum of residues, it Will give pi^2/6-i*pi^2/sqrt(3), thus the contour are 2*pi*i(pi^2/6-i*pi^2/sqrt(3))= pi^3*i/3+2*pi^3/sqrt(3). Equal the real and imaginary parts, and should give integral(log(x)/(1+x^2+x^4),x,0,inf)=-pi^2/12, and an extra integral(1/(1+x^2+x^4),x,0,inf)=pi/(2*sqrt(3)).

[@SuperSilver316]

residue theorem and some manipulation of the keyhole contour that has a branch point on the negative x-axis, rounds nicely into 4*pi*i*(Integral) = 2*pi*i*(-pi^2/6) A little quick algebra gives the solution pretty quickly.

[@MathSolvingChannel]

I make a video on the contour integral method to solve this problem. kzbin.info/www/bejne/o3TIqGtoZrOYo5Y

[@mathflipped]

666 views as I am currently watching this.

[@amirb715]

using complex variables and Cauchy method leads to a nice and very concise solution. only two poles in the upper half space.

[@sandorszabo2470]

And a very short calculation.

[@benardolivier6624]

Funnily if you remove the x^4 in the denominator, applying the first tool shows that the resulting integral is equal to it's negative and therefore it's zero.

[@Nickle314]

Interesting that wolfram stuggles with this.

[@vascomanteigas9433]

Maxima solves quickly. This integral can bem solve by Residue Theorem with a keyhole contour integral, and this why Maxima made it.

[@loonycooney22]

@@vascomanteigas9433 Oooh, I'd like to see that.

[@MathSolvingChannel]

Wolfram Mathematica can solve it, just confirmed!

[@The1RandomFool]

@@vascomanteigas9433 You can do it easier with a half-circle around the upper half plane, with the branch cut down the negative imaginary axis. I did it on my board.

[@manucitomx]

Thank you, professor. That was indeed a great problem.

[@SaidVSMath]

That was awesome! When the geometric series got brought up I was like wait how is this gonna help lol

[@nogaromo6692]

We can evaluate this integral using complex analysis: consider we have f(z)=ln(z)/(1+z^2+z^4). Since 1+z^2+z^4 is even, we can choose upper semicircle as our integration contour. The branchcut is (0;+inf). I_c is a counter integral, I_+ is integral of f(x) from 0 to inf, I_- is integral of f(-x) from -inf to 0 and I_R is integral of semicircle. So, I_c=(I_+)+(I_-)+I_R ln(-x)=ln(x)+i*pi. Hence, (I_+)+(I_-)=2*(I_+)+i*pi*integral of 1/(1+x^2+x^4) from 0 to inf Obviously I_R->0 as R->inf I_c=2*pi*i*sum of residues in the upper part of complex plane After finding the residues, we can just take real part of the equation and then find I Calculation of residues is easy for f(z) because they are just 1st order poles

[@OwlRTA]

neat, this integral is equal to the sum of all natural numbers multiplied by pi squared! /s

[@Muzrikulandulajevon]

zeta(-1)*pi^2

[@SlidellRobotics]

At 14:18, the three sums can easily be replaced with two sums, one with the exponent of x being 2n, the other being 6n+2, simplifying the next step.

[@運慶-w3s]

Mathematica can calcurate this integral, so there might be some routine method. Anyway thanks for your exciting method.

[@soranuareane]

Tabular integration! I derived that when I was a second-year college student to expand the integral of f(x)g(x) where f(x) is a polynomial. I felt so smart, even though the result is painfully obvious to anyone who's completed an integral calculus course.

[@sslelgamal5206]

============>Typo Report

[@ibazulic]

I don't get it. (1+x^2+x^4)=x^2(1/x^2+1+x^2) Isn't it? If I pull out x^4 immediately, then I get what is written on the board when the 2nd integral is rewritten.

[@pierre-henrilebrun36]

Where did the first term of the sum(1/(2n+1), 0 to infinity) for n=0 go ? I didn’t catch that part

[@zeravam]

I can`t see it either. I need an explaination

[@musik350]

Michael didn't explicitly mention it, but he did combine the two sums into one in the last line (-1 + 1/3 = -2/3)

[@zeravam]

@@musik350 Sorry, I still can`t see it. I see 1/3 but not -1

[@musik350]

@@zeravam The expression is of the form -S + 1/3S

[@integral-magic6061]

Hello sir, sir can help me please ! Find int sin(x^2)cos(x^3)/(4ln^2(cosx)+1) from x=-inf to inf

[@willyh.r.1216]

Great one, keep it up Michael!!!

[@profesorleonardo1645]

At 5:25 I don't understand why you don't say who uses D I method...

[@SuperSilver316]

Yeah went with Residue Theorem as soon as I saw the thumbnail, cool that Micheal went in a different direction.

[@MCdouchbag]

I could feel the energy in that last . //

[@FootyFlicksEdits]

Why did I get this recommended i am too dumb for this video

[@atomicgeneral]

Why not mention the name of the "other youtuber"?

[@MultiWiskid]

Great! Good place to look forward to tomorrow's video!

[@doctorb9264]

The magic of Mathematics.

[@Cr3pit0]

As per usual, the Ways of the KZbin Algorithm are inscrutable. Alright i try to follow :D Edit: Welp, i failed. Holy F*** thats complicated.

[@jhonatanandres4148]

referring to 17:07 , the summation from n=0 to n= infinity of 3/(6n+3)^2 is basically 3 times the summation on the left-hand side (both are the summation of the inverses of squared odd numbers).So if you don't do the factorization it gives a different result ( specifically pi^2 / 4). Why does that happen?

[@sushildevkota350]

i have also done by taking 8 hours😂 , solution came same to michael penn, also process is quite simiar. He used this summation technique in previous questions so i assumed that technique may be useful to this question also and tried and found out true. i used main technique that is, reducing denominator to numerator. I came to final summation value but i forgot that sum of reciprocal of squares of odd numbers=>pi^2/8.

[@bollyfan1330]

Can you explain how going from the original problem, how could one construct this complicated sequence of permutations to get to the answer?

[@조현빈-s6f]

i holic to this video XD

[@s.sahana7721]

jee 2022 aspirant here ig this q is from arihant integral calculus

[@kh.h.3561]

Very nice 👏👏👏

[@slavinojunepri7648]

Fantastic

[@marshallnoel2045]

Wow wow wow

[@inigovera-fajardousategui3246]

Nice one

[@janami-dharmam]

Great!

[@MarcusCactus]

One of your best, really. Thank you!

[@gregsarnecki7581]

At 4:25 I think you mean x=1, y=0.

[@ДенисЛогвинов-з6е]

14:04 Could anyone explain to me why is it okay to switch like that integral and sum?

[@Daniel-vu7pi]

It's usually okay to do as long as the expressions are convergent/finite

[@sya8109]

Integration by parts?

[@ryderpham5464]

How does one find the motivation for the tools on the LHS (or even the knowledge that these tools even exist in the first place)?

[@ConManAU]

A lot of it comes from familiarity - the more problems you do, the more you’ll see certain things coming up and you can formalise them in your toolkit. And sometimes you’ll be playing around with a problem and you’ll realise that you can generalise something to use it elsewhere.

[@poundcayx]

Quick question. At around 16:25 if all three of those summations represent the reciprocal of the odd integers squared, why do they all collapse into the same sum? Why wouldn't it be 3 times that sum?

[@pjmmccann]

Each reciprocal of an odd number can be written in exactly one of the three available forms (1/(6n+5), 1/(6n+3) or 1/(6n+1)) so together the sums exhaust all the odd reciprocals.

[@poundcayx]

@@pjmmccann Ohhhh of course. Thank you!

[@Mephisto707]

9:41: do those 2 integrals at the right side of the equation each produce "nice" values (in terms of pi, e, etc) or just some random irrational values that when summed happen to produce the final answer to the problem?

[@DeadJDona]

yess

[@TheHarryMateuszYT]

No, The first part (from 0 to 1) is equal to Sum n=0 to n=inf 1/(6n+3)^2-1/(6n+1)^2 The second part (from 1 to inf) Sum n=0 to n=inf 1/(6n+3)^2-1/(6n+5)^2 Even though the first object 1/(6n+3)^2 is easy to solve (as showed on the film) the second objects in both case are not solvable without digamma function (according to Wolframalpha), but when we have integral from 0 to inf, they combined creates this sum of all odd reciprocals (as showed on the film)

[@Mephisto707]

@@TheHarryMateuszYT Thanks! The result for the second object in both cases is actually dependant not on the Digamma function, but on the Trigamma function!

[@Mephisto707]

I dug deeper and found the result for summation (n=0 to inf) 1/(6n+1)^2 is 2*pi^2 + 10*sqrt(3)*Cl2(pi/3), where Cl2 is the Clausen function of order 2, which is closely related to the Trigamma function.

[@idjles]

14:10 but that’s ok in this case.

[@AmericanSavingsHub]

Great explanation

[@cbarnett1814]

👍🏼🎉🤨🤔😲🤯

[@Bartek_Mrysz]

good stuff

[@沈栋-w9h]

Nice！

[@alainbarnier1995]

Fantastic !!

[@stefanolaffranchi1210]

Meraviglioso

[@Mathcambo]

Are you ok ?

[@mariochavez3834]

Yes, thanks for asking :)

[@The1RandomFool]

This is a rather interesting method with no factoring, partial fraction decomposition, or use of roots of the polynomial.

[@radadadadee]

fraction decomposition is the first thing I thought of doing

[@CM63_France]

Hi, 0:15 , 0:33 , 0:43 : "dx" 0:38 : -"over"- , "of" instead 0:40 : -"times"- , "over" instead 4:24 : -x- , y instead For fun: 1:39 , 2:12 , 12:08 , 16:05 , 16:45 : "ok, nice" (Côte d'azur), 17:50 : would have been a better place to stop, to avoid being hidden by the splash screens.

[@michuosas]

I don't really like this format, with tools that are proven before the solution. It focuses too much on the apriori knowledge, properties that one should possess and leaves out the intuition behind the problem.

[@nathanisbored]

i like both the elegant solutions and the exploratory ones

[@Draddar]

You do need to know some stuff beforehand, at least to know what you are aiming for. Otherwise you can just end up going in circles or worse making the problem more and more complicated. Perhaps the examples here are too specific to just "know", but I don't see the problem proving them ahead of time so they can just be used at appropriate spot, it's a lot cleaner this way.

[@bsmith6276]

Michael's tendency to provide proofs for his tools prior to tackling the problem is very much like lemmas being proven at the beginning of a larger, more complex proof. That way once Michael gets to the main problem he can keep the flow moving without having to take a detour.

[@michuosas]

@@bsmith6276 Maybe it is just a personal preference, but i would sooner have him make occasional detours, rather than have him proove seemingly unrelated lemmas before tackling the problem itself.

[@lexyeevee]

i suppose it would be interesting to start on the main problem immediately, then when a tool is needed, mention and prove it in its more general form (so we see it in context) before returning to the main problem