a twist on a classic improper integral 

actually it's not cos(7x) but cos(5x) also -f(0) which is -1 is missing so the answer should be (5/96)(25ln5-27ln3) (checked using desmos) btw this integral looks like dirichlet integral but there's no π in the final answer which is quite interesting

dv=dx/x^4, not dv=dx/x^5

Not mentioned in the video, but, early in the proof, the last term works because c_n = -(sum{i in [1,n-1]}(c_i))

Slight typo at 11:47 . It should be 1/x^4.

didn't you forget a -1 at 18:46 since you need to multiplied by -f(0)=-1. and also need to be ln(7) .

5:00 seems that (c1+c2+..+cn)f(anx) is missing. Oh, it cancels nicely anyway !

I had written a theorem about this type of integral from 0 to imfinity of f(x)/x^n where the limit at the origin always exists as an hypothesis. Then this kins of integral can be computed =1/(n-1)! Integral [L(D^(n-1)f] ds from 0 to infinity where L stands for laplace transform and D regular n-1derivative. So in this case you have to take the third derivative of sin^5(x) because n=4 but before doing that you should expand sin^5(x) using the complex exponential definition of sin(x). Then you find laplace transforms which is very easy all cos(nx) involve and then you integrate all logarithms easy then you end up with same result (almost because he mixed signs of real result)

Aha! The monster is in the detail and once when detail is detailed the monster becomes zero leaving a remaining residue of some sort that does need to be worked out. How can a (devilish?) concatenation be identified from the start? Were I a brighter being I'd try to see if the complications of lots of zero results can be somehow bypassed by simpler tests if possible. But I realize my limitations and so as Michael says so frequently: this is a good place to stop?

in the third to last step it must be 25 cos(5x) and not 25 cos(7x)

What is the motivation for that definition of f(∞)? It seems a bit arbitrary to differentiate between periodic and non-periodic functions.

This integral is actually Oops All Cosines 😁

Hi, 8:38 : again a "question for you", may be Oscar will end his videos by "and that's a good place ..." we could have developed sin^5 x as a function of sin(kx) from the start, right?

I wrote a theorem in which we can compute the integral of f(x)/x

My approach to the question at the end of the video: We need to find such k that we have function sin^n(x) / x^(k+1) and d^k / dx^k (sin^n(x)) is a sum of sines(cosines) with coefficients sum to zero. First(thanks to Beyer, 1987, p 140) sin^(2n)(x) = 2^(-2n) * C(2n, n) + (-1)^n / 2^(2n - 1) * sum((-1)^k C(2n, k) cos(2(n-k)x), k, 0, n-1) sin^(2n+1)(x) = (-1)^n/4^n sum((-1)^k C(2n+1, k) sin((2n - 2k + 1)x, k, 0, n) Both of them are quite messy to work with so I'll proceed witht the odd one Sum of the coefficients of k'th derivative will be(I removed the constant factor part since it's already mess) sum((-1)^k C(2n + 1, k) *(2n - 2k + 1)^k), k, 0, n) and thanks to my several pages of combinatrics it's equal to zero when k is odd and less than 2n + 1 In the end we have that integral(sin^(2n+1)(x) / x^(k+1), 0, oo) can be solved exactly like in the video when k is odd and k < 2 n + 1 I'm kinda tired so you can derive the result for even power in reply

Am I wrong or all the a_i coefficients in the general Frullani integral should be positive? It is not specified. Thanks

Where does that definition of the value of the periodic function at infinity come from? How is it derived?

Who says pictures of blackboards completely full of equations aren't real?

Why do you have do= dx/x^5 when in the original equation it is 1/x^4?

does complex analysis solve all these improper integrals? (I mean residual theorem etc)

Amazing!

Does some know link to original Frullani Integral video?

Using Derive 6, I got the negative of your final answer. Sign switched in there somewhere.

Why does one care about this? It has a name, so i would guess there's a reason one woukd care.

It's troublesome that Michael Penn didn't spot that you can't get cos(7x) from any expression of the form (sinx)^n.(cosx)^m unless n+m is at least 7. I think it should be jarringly obvious that (sinx)^2.(cosx)^3 and (sinx)^4.(cosx) are going to produce at most cos(5x).

I wrote a theorem in which we can compute the integral of f(x)/x

I wrote a theorem in which we can compute the integral of f(x)/x

I wrote a theorem in which we can compute the integral of f(x)/x

I wrote a theorem in which we can compute the integral of f(x)/x

I wrote a theorem in which we can compute the integral of f(x)/x

I wrote a theorem in which we can compute the integral of f(x)/x

I wrote a theorem in which we can compute the integral of f(x)/x

I wrote a theorem in which we can compute the integral of f(x)/x

I wrote a theorem in which we can compute the integral of f(x)/x