Generalized Shifted Reciprocal Square Sum
6:04
The Alternating Sine Harmonic Series
4:31
Feynman Integration 139 - Addendum
13:29
Пікірлер
@fengshengqin6993
@fengshengqin6993 4 күн бұрын
I just think about this integral ,could we just use laplace transform ,for L[tf(t)]=-F'(s) ,plus L(sinx)=1/(1+s^2) ? Seem it is easier to get the Sum representation .
@thefeynmantechnique
@thefeynmantechnique 2 күн бұрын
@@fengshengqin6993 It might be easier that way but I don't typically feature Laplace transforms in my solutions. I may start doing that in the future.
@fengshengqin6993
@fengshengqin6993 4 күн бұрын
Super Cool ~~~!
@thefeynmantechnique
@thefeynmantechnique 2 күн бұрын
@@fengshengqin6993 Thank you
@吴了
@吴了 6 күн бұрын
Awesome! I
@thefeynmantechnique
@thefeynmantechnique 2 күн бұрын
@@吴了 thank you
@slavinojunepri7648
@slavinojunepri7648 16 күн бұрын
Excellent
@Samir-zb3xk
@Samir-zb3xk 19 күн бұрын
another method you could use is to rewrite sin(n) as Im[ e^{in} ] and then invoke the series expansion -ln(1-x) = (n ≥ 1) Σ x^n / n then after expanding through Euler's formula you get -Im[ ln( 1 + cos(1) + isin(1) ) ] the imaginary part of the natural logarithm of a complex number = principle argument (angle) of the complex number so if z = 1 + cos(1) + isin(1) , arg(z) = arctan( sin(1) / (1 + cos(1) ) this is actually equal to 1/2; tan(x/2) = sin(x) / (1 + cos(x)) if you expand through the half angle identities so answer is -1/2
@slavinojunepri7648
@slavinojunepri7648 20 күн бұрын
Fantastic
@dwightswanson3015
@dwightswanson3015 20 күн бұрын
Multiplying by x, taking the derivative twice of a sum -- new (to me) methods
@Andrew-II
@Andrew-II 20 күн бұрын
5*e from the last result minus 5*e from the original sum equal to 0? sum [n from 0 to inf] ((n^3-5)/n!) = 0 Heh, it looks weird 🧐
@thefeynmantechnique
@thefeynmantechnique 20 күн бұрын
I'm not sure what you mean.
@Andrew-II
@Andrew-II 20 күн бұрын
@@thefeynmantechnique I subtracted from the resulting sum (n^3/n!), which is equal to 5*e, the fivefold value of the original sum 1/n!, which is equal to e. It should turn out to be 0, right?
@Andrew-II
@Andrew-II 20 күн бұрын
However, I've built a discrete graph, and it looks like it's true.
@thefeynmantechnique
@thefeynmantechnique 20 күн бұрын
@@Andrew-II yes, sum from 0 to infinity of (n^3-5)/n! is 0.
@slavinojunepri7648
@slavinojunepri7648 25 күн бұрын
Excellent 👌
@kappasphere
@kappasphere 26 күн бұрын
I=int x sin(nx) dx is a simple integration by parts problem. Set u=x, dv=sin(nx) dx. It follows that du=dx, v=-1/n cos(nx). I=int udv = uv - int vdu = -x/n cos(nx) + int 1/n cos(nx) dx = 1/n² sin(nx) - 1/n x cos(nx) + C Evaluate on (-π, π): I = -1/n π cos(nπ) + 1/n (-π) cos(nπ) = -2π/n cos(nπ) = 2π/n (-1)^(n+1)
@kappasphere
@kappasphere 26 күн бұрын
When α≠0, sin(αx)cos(βx) is an odd function, so integrating over (-π, π) will yield 0. This proof doesn't need to assume that α is a positive integer (which you weren't sure about), and it does work for almost all real values of α, but α=0 is an exception.
@ademnasri6557
@ademnasri6557 Ай бұрын
I like the way you solve integrals w and how everything is so clear Big support 🖤🖤
@thefeynmantechnique
@thefeynmantechnique Ай бұрын
@@ademnasri6557 Thank you sir!
@Ron-pe4bp
@Ron-pe4bp Ай бұрын
I am addicted to these videos! Thanks. Did I find a typo? On the right side of the board, the last line starts ... . f(t) = 2te^(-t^2) Integrand du = ... . But on the line before. the t went into the integrand. And, I think it's still under the integral - in the du. So I think the factor t in front of the integral is extra. It seem's to disappear in the next step.
@notcraig3204
@notcraig3204 Ай бұрын
Wow that was intense! Impressive amount of work for your viewers! I really wasn't trying to make you paranoid about your algebra. I would have been happy with " f'' was an ansatz, and once we find it, I checked it with some crazy algebra". For a while with all the Feynman's trick hype the last couple years, I've been trying to wrap my head around two things: _ 1. The "quick and dirty" mindset you mentioned in your last comment. I am not a physicist so I believe them when they say "we just use this to find the right idea, then check it with empirical data" (although I have no idea if any physicist actually uses this trick for any physics problem). But this seems to me to be math channel, technically, and you yourself in admitted in an video that the technique didn't quite work because some DE was undefined somewhere, and had to verify it with a complex integral. But then doesn't that mean you just needed a different technique? I don't mind quick and dirty if the Leibniz rule applies and you just skip the details in the video. But in that earlier video, I remember checking that dominated convergence couldn't apply, so then you have to do something else. I'm not picking on you, this is a compliment, because you're the only channel that seems receptive. (Some channels do arrive at answers for integrals that have no solution!) What is the point if you don't know it's right? (This is not a rhetorical question. _ 2. Otoh, it almost works? I've checked a lot of channels and probably at least 30% of the problems I see either don't meet the criteria for the Leibniz rule (usually due to infinite intervals) or they fail to include the endpoint of their parameter's interval (usually requires Fatou''s lemma). But I've only seen a couple problems where the answer isn't verifiable some other way. I can buy that meeting dominated convergence is just the most convenient requirement and not the only one, but you'd think more would fail if that's the best we have. It's just sorta weird. You might not have any insight there, I'm just wondering. _ Btw, where do you find all these problems? I've looked for practice before and never found anything more than a single SE post with like 12 problems. Did you find that textbook Feynman liked? Sorry for the late reply after you did all that work right away. I was trying to articulate all this.
@thefeynmantechnique
@thefeynmantechnique Ай бұрын
Okay first off, I'll admit that I did not read your entire comment lol. I did, however, read the last part of your comment where you asked me where I got all my integrals from. The answer is that I get them mostly from other math channels, then just try to solve them using feynman's trick.
@notcraig3204
@notcraig3204 Ай бұрын
@@thefeynmantechnique tl;dr I am puzzled by "quick and dirty" when it's not verifiable. I am asking you about it because you seemed responsive.
@slavinojunepri7648
@slavinojunepri7648 Ай бұрын
Sweet!
@thefeynmantechnique
@thefeynmantechnique Ай бұрын
Thanks!
@slavinojunepri7648
@slavinojunepri7648 Ай бұрын
Quite a fine piece of work
@slavinojunepri7648
@slavinojunepri7648 Ай бұрын
Excellent 👌
@fengshengqin6993
@fengshengqin6993 Ай бұрын
For f(a) expressition ,why do we use the one form of Beta function ,and f(a)=Beta (1/2,1/2 + a/2) ,a lot easier ,right ?
@thefeynmantechnique
@thefeynmantechnique Ай бұрын
@@fengshengqin6993 because on this channel I try to not use special functions, as these are typically not learned until much later in one's math career.
@dwightswanson3015
@dwightswanson3015 Ай бұрын
Unique integral
@slavinojunepri7648
@slavinojunepri7648 Ай бұрын
Could you please state a rule that allows the result of the nth derivative of f(t) evaluated at t=1 to apply by substituting of the discrete variable n by the continuous variable a/2?
@thefeynmantechnique
@thefeynmantechnique Ай бұрын
@@slavinojunepri7648 because the integrals involved, along with factorials, are valid for continuous variables, not just integer values n.
@thefeynmantechnique
@thefeynmantechnique Ай бұрын
@@slavinojunepri7648 as far as proving why factorials are valid for continuous variables, that's a question I would need to research, but they are 😁
@fengshengqin6993
@fengshengqin6993 Ай бұрын
I think this integral shoule be standard Beta function with 2times derivative to t .
@fengshengqin6993
@fengshengqin6993 Ай бұрын
f(t)=B"(t+1 ,-1) ,or NOT ?
@thefeynmantechnique
@thefeynmantechnique Ай бұрын
@@fengshengqin6993 I’m not sure, I don’t play around with special functions very much.
@fengshengqin6993
@fengshengqin6993 Ай бұрын
great~
@fengshengqin6993
@fengshengqin6993 Ай бұрын
perfact thinking ~!
@slavinojunepri7648
@slavinojunepri7648 Ай бұрын
Good stuff
@thefeynmantechnique
@thefeynmantechnique Ай бұрын
@@slavinojunepri7648 Thank you sir
@slavinojunepri7648
@slavinojunepri7648 Ай бұрын
Great proof! Perhaps mathematical rigor may require to prove lim f(c1, t+h) as h->0 is precisely f(b(t),t).
@thefeynmantechnique
@thefeynmantechnique Ай бұрын
@@slavinojunepri7648 True, but for the purposes of this channel I think it's sufficient just to say that it's true because c must be in between b(t) and b(t+h), and t+h goes to t as h goes to zero.
@slavinojunepri7648
@slavinojunepri7648 2 ай бұрын
Excellent 👌
@Mario_Altare
@Mario_Altare 2 ай бұрын
Or f(t)= ∫_0^1 (ln⁡ x) ln(1-tx)dx Then we calculate f'(t), which with a series expansion leads us to: f'(t)= - ∑_(n=1)^∞ t^(n-1) ∫_0^1(x^n)ln⁡ x dx and after an IBP we get the same result
@thefeynmantechnique
@thefeynmantechnique 2 ай бұрын
True, I suppose my solution was needlessly complicated. I always like to incorporate Feynman integration though 😁
@slavinojunepri7648
@slavinojunepri7648 2 ай бұрын
Excellent
@Mario_Altare
@Mario_Altare 2 ай бұрын
Hi 🙂Wondering whether it is possible to solve it in an alternative way with f(t) = arctan(tx)/(x+1), but it seems a real mess once developed...
@thefeynmantechnique
@thefeynmantechnique 2 ай бұрын
@@Mario_Altare that's actually what I tried first, but didn't get anywhere with it. I'm not saying it isn't possible, only that I wasn't able to find a path using that method.
@Mario_Altare
@Mario_Altare 2 ай бұрын
Great work!
@slavinojunepri7648
@slavinojunepri7648 2 ай бұрын
Fantastic
@thefeynmantechnique
@thefeynmantechnique 2 ай бұрын
@@slavinojunepri7648 Thanks, that was a rough one. Even though this is a small channel I try to address viewers concerns.
@Mario_Altare
@Mario_Altare 2 ай бұрын
Or, after an IBP: I = 2 ∫_0^∞ x dx/(e^x-1) = 2 ∫_0^∞ x e^(-x) dx/[1-e^(-x)] f(t)= 2 ∫_0^∞ x^t e^(-x) dx/[1-e^(-x)] f(1) = I Through the series expansion of "1/[1-e^(-x)]" and the sub x(n+1) = u, we get: f(t)=2 ∑_(n=0)^∞ t!/(n+1)^(t+1) I = 2 ∑_(n=0)^∞ 1/(n+1)^2 = π^2/3
@notcraig3204
@notcraig3204 2 ай бұрын
f(t) and f'(t) are undefined for all values of t. How can we be sure of the sum identity for f''?
@Mario_Altare
@Mario_Altare 2 ай бұрын
I think what matters is the convergence of f''(t), which is our target (I've seen many times this alleged inconsistency in a lot of solutions of integrals)
@notcraig3204
@notcraig3204 2 ай бұрын
@@Mario_Altare But how do you know that's the correct series for f''?
@slavinojunepri7648
@slavinojunepri7648 2 ай бұрын
@@notcraig3204 f''(t) doesn't exist when f(t) is undefined (due to the divergence of the series representation for all values of t). While the final result could be correct, this process is flawed and cannot be accepted.
@notcraig3204
@notcraig3204 2 ай бұрын
​@@slavinojunepri7648 I don't see a problem with the existence of f''; it converges just fine (call it g if you like). You could argue that f is just a heuristic to guess the series for f''. I'm asking if there's another way to verify that guess.
@Mario_Altare
@Mario_Altare 2 ай бұрын
I thought it was the correct one since it derives from the linear steps of the solution, regardless of whether the f(t) and f'(t) diverge. Furthermore, that series coincides with my result after the IBP and the series expansion (see my comment below)
@slavinojunepri7648
@slavinojunepri7648 2 ай бұрын
Minute 3:20 The summation expression indexed by n for f(t) diverges for all values of t. The solution becomes problematic from this point.
@Mario_Altare
@Mario_Altare 2 ай бұрын
I think what matters is the convergence of f''(t), which is our target (I've seen many times this alleged inconsistency in a lot of solutions of integrals)
@slavinojunepri7648
@slavinojunepri7648 2 ай бұрын
@@Mario_Altare f''(t) is undefined when f(t) doesn't exist (due to the divergence of the series representation). The final result may be correct, but the process is flawed. Math is an all-or-nothing deal.
@thefeynmantechnique
@thefeynmantechnique 2 ай бұрын
@@slavinojunepri7648 kzbin.info/www/bejne/Z3_Qo2ucn7uJZ7M
@slavinojunepri7648
@slavinojunepri7648 2 ай бұрын
Thanks for the pointers to repametrization. Usually this step isn't obvious until some pre-work is done.
@thefeynmantechnique
@thefeynmantechnique 2 ай бұрын
Yes, sometimes a re-parameterization isn't obvious, or even effective, until integration by parts is performed.
@slavinojunepri7648
@slavinojunepri7648 2 ай бұрын
The first integration by parts to get rid of the logarithm would be the first successful step that requires practice. This idea cannot come to mind for free.
@thefeynmantechnique
@thefeynmantechnique 2 ай бұрын
@@slavinojunepri7648 Lol I think there was a problem in translation😆
@slavinojunepri7648
@slavinojunepri7648 2 ай бұрын
Cool
@slavinojunepri7648
@slavinojunepri7648 2 ай бұрын
I was just looking for more examples of the Feynman's technique, and this video popped up in my KZbin recommended list. Thankfully I subscribed to the channel. Please keep it up! 🙏
@thefeynmantechnique
@thefeynmantechnique 2 ай бұрын
@@slavinojunepri7648 I'm glad you find them helpful. I have over 200 videos on the channel, most of which utilize Feynman integration in one form or another.
@slavinojunepri7648
@slavinojunepri7648 2 ай бұрын
@@thefeynmantechnique I will go over them as time allows. Excellent job!
@Mario_Altare
@Mario_Altare 2 ай бұрын
I've tried with a 'triple' Feynman: f(t) = ∫_0^∞ sin⁡(tx)- tx cos⁡(tx))/x^3 dx f(0) = 0, f(2) = I f'(t) = t ∫_0^∞ sin(tx)/x = πt/2 f(t) = π/2 ∫_0^2 tdt = 4π/4 = π
@thefeynmantechnique
@thefeynmantechnique 2 ай бұрын
@@Mario_Altare Cool, I overlooked that.
@Mario_Altare
@Mario_Altare 2 ай бұрын
@@thefeynmantechnique Thanks 🙂
@slavinojunepri7648
@slavinojunepri7648 Ай бұрын
Sweet!
@IOSARBX
@IOSARBX 2 ай бұрын
The Feynman Technique, awesome content keep up the great content
@thefeynmantechnique
@thefeynmantechnique 2 ай бұрын
@@IOSARBX Thank you sir, I will.
@slavinojunepri7648
@slavinojunepri7648 2 ай бұрын
Fantastic
@slavinojunepri7648
@slavinojunepri7648 2 ай бұрын
Fantastic
@thefeynmantechnique
@thefeynmantechnique 2 ай бұрын
@@slavinojunepri7648 Thank you
@Mario_Altare
@Mario_Altare 2 ай бұрын
4:44 Spoiler alert 😀
@thefeynmantechnique
@thefeynmantechnique 2 ай бұрын
Lol ya. What I do is paste all the steps 1 by 1 into Microsoft whiteboard, then delete them last to first, then undo repeatedly as I'm recording.
@Andrew-II
@Andrew-II 2 ай бұрын
This series does not converge)) Sum[(-1)^n*ln((2n+3)/(2n+1)] = ln((3/1)*(5/3)*(7/5)*...*(inf-2)/(inf-4)*(inf/(inf-2)) = inf
@Andrew-II
@Andrew-II 2 ай бұрын
My mistake, I missed the minus sign ¯\_(ツ)_/¯. The series converges, solution is ln(pi^2/(2*Gamma(3/4)^4))~0.783
@thefeynmantechnique
@thefeynmantechnique 2 ай бұрын
That's cool, I didn't realize the series could be represented with the gamma function. I usually try and avoid using special functions on this channel as it is aimed at people with knowledge up through calculus 2.​@@Andrew-II
@Andrew-II
@Andrew-II 2 ай бұрын
The sum in your solution is a polylogarithm laid out in a row (series), my solution is I=Gamma(s+1)*polylog(s+1, e^t)
@thefeynmantechnique
@thefeynmantechnique 2 ай бұрын
@@Andrew-II As a general rule on this channel I avoid the use of special functions as it is aimed at people with knowledge up through calculus 2, with some use of complex numbers occasionally.
@andikusnadi1979
@andikusnadi1979 2 ай бұрын
At 2:89 how it become simplify? Can you detailed.
@thefeynmantechnique
@thefeynmantechnique 2 ай бұрын
@@andikusnadi1979 2:89 😂. Just create a common denominator, add the numerators, and cancel with the term outside the parentheses.
@Mario_Altare
@Mario_Altare 2 ай бұрын
Good morning! I've tried to solve this integral through the sub u = 2x/(x+1), which gave me I = int. from 0 to 1 of ln u/[(u-1)(2-u)] = int. 0 -> 1 of ln u/(u-1) + ln u/(2-u) So f(t) = int. from 0 to 1 of u^t/(u-1) + u^t/(2-u), f'(0)= I After the series expansion, I've got f'(t) = ∑_k=1 to ∞ of [1/(k+t)^2 -1/(2^(k+1) (k+t)^2 )] f'(0) = ∑_k=1 to ∞ of [1/k^2 - (1/2)^k/k^2] = π^2/6 - Li_2 (1/2) The dilog(1/2) = π^2/12 - ln^2 (⁡2)/2, hence I = π^12 + ln^2 (⁡2)/2