Feynman Integration 139 - Addendum
13:29
Пікірлер
@TheMartinbowes
@TheMartinbowes 5 сағат бұрын
I did this as a pure Feynman problem and it was an entertaining ride!
@slavinojunepri7648
@slavinojunepri7648 22 сағат бұрын
Excellent technique
@slavinojunepri7648
@slavinojunepri7648 22 сағат бұрын
The integral doesn't match the result for t=1. Perhaps we could constrain t>1 for the result to apply.
@thefeynmantechnique
@thefeynmantechnique 19 сағат бұрын
@@slavinojunepri7648 yes, I forgot to say in the video that it only converges for t greater than 1
@ppppppppppppppppppppppp7
@ppppppppppppppppppppppp7 3 күн бұрын
christmas integral!!
@sak6653
@sak6653 3 күн бұрын
nice
@TheMartinbowes
@TheMartinbowes 4 күн бұрын
I was a tad concerned at the e to the e part when I started working on this, so I was happy to see how you resolved it. Well played!
@thefeynmantechnique
@thefeynmantechnique 4 күн бұрын
@@TheMartinbowes Thank you!
@Aymen-bt1ly
@Aymen-bt1ly 8 күн бұрын
the music is bad
@slavinojunepri7648
@slavinojunepri7648 11 күн бұрын
Even more magnificent on a second look
@slavinojunepri7648
@slavinojunepri7648 11 күн бұрын
Upon substituting the parameter a by square root of i, how do you justify taking the principle root instead if the other one? The same question applies to the case of taking the principle fourth root of i in another video where your integrand was presented with x^8. You picked the principal fourth root of i instead of one of the other three fourth roots.
@thefeynmantechnique
@thefeynmantechnique 11 күн бұрын
@@slavinojunepri7648 good question, I'll look into it and have an answer for you shortly.
@thefeynmantechnique
@thefeynmantechnique 11 күн бұрын
You can use either e^(ipi/4) or e^-(ipi/4) and get the same results for the integrals. If e^(ipi/4) you get ∫ from 0 to ∞ of (x^2 - i) / (x^4 + 1) dx = (π / 2) * e^(-iπ/4) = (π / 2) * (√2 / 2 - i√2 / 2) , and if e^-(ipi/4) you get ∫ from 0 to ∞ of (x^2 + i) / (x^4 + 1) dx = (π / 2) * e^(iπ/4) = (π / 2) * (√2 / 2 + i√2 / 2).
@slavinojunepri7648
@slavinojunepri7648 11 күн бұрын
Outstanding technique
@slavinojunepri7648
@slavinojunepri7648 11 күн бұрын
Magnificent technique
@slavinojunepri7648
@slavinojunepri7648 Ай бұрын
Fantastic
@slavinojunepri7648
@slavinojunepri7648 Ай бұрын
Excellent
@tadesseb
@tadesseb Ай бұрын
Can you also find the sum of 1/4^3 + 1/7^3 + 1/10^3 + 1/13^3+ ....?
@fengshengqin6993
@fengshengqin6993 Ай бұрын
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 Ай бұрын
@@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 Ай бұрын
Super Cool ~~~!
@thefeynmantechnique
@thefeynmantechnique Ай бұрын
@@fengshengqin6993 Thank you
@吴了
@吴了 Ай бұрын
Awesome! I
@thefeynmantechnique
@thefeynmantechnique Ай бұрын
@@吴了 thank you
@slavinojunepri7648
@slavinojunepri7648 2 ай бұрын
Excellent
@Samir-zb3xk
@Samir-zb3xk 2 ай бұрын
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 2 ай бұрын
Fantastic
@dwightswanson3015
@dwightswanson3015 2 ай бұрын
Multiplying by x, taking the derivative twice of a sum -- new (to me) methods
@Andrew-II
@Andrew-II 2 ай бұрын
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 2 ай бұрын
I'm not sure what you mean.
@Andrew-II
@Andrew-II 2 ай бұрын
@@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 2 ай бұрын
However, I've built a discrete graph, and it looks like it's true.
@thefeynmantechnique
@thefeynmantechnique 2 ай бұрын
@@Andrew-II yes, sum from 0 to infinity of (n^3-5)/n! is 0.
@slavinojunepri7648
@slavinojunepri7648 2 ай бұрын
Excellent 👌
@kappasphere
@kappasphere 2 ай бұрын
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 2 ай бұрын
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 2 ай бұрын
I like the way you solve integrals w and how everything is so clear Big support 🖤🖤
@thefeynmantechnique
@thefeynmantechnique 2 ай бұрын
@@ademnasri6557 Thank you sir!
@Ron-pe4bp
@Ron-pe4bp 2 ай бұрын
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 3 ай бұрын
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 2 ай бұрын
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 2 ай бұрын
@@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 3 ай бұрын
Sweet!
@thefeynmantechnique
@thefeynmantechnique 2 ай бұрын
Thanks!
@slavinojunepri7648
@slavinojunepri7648 3 ай бұрын
Quite a fine piece of work
@slavinojunepri7648
@slavinojunepri7648 3 ай бұрын
Excellent 👌
@fengshengqin6993
@fengshengqin6993 3 ай бұрын
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 3 ай бұрын
@@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 3 ай бұрын
Unique integral
@slavinojunepri7648
@slavinojunepri7648 3 ай бұрын
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 3 ай бұрын
@@slavinojunepri7648 because the integrals involved, along with factorials, are valid for continuous variables, not just integer values n.
@thefeynmantechnique
@thefeynmantechnique 3 ай бұрын
@@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 3 ай бұрын
I think this integral shoule be standard Beta function with 2times derivative to t .
@fengshengqin6993
@fengshengqin6993 3 ай бұрын
f(t)=B"(t+1 ,-1) ,or NOT ?
@thefeynmantechnique
@thefeynmantechnique 3 ай бұрын
@@fengshengqin6993 I’m not sure, I don’t play around with special functions very much.
@fengshengqin6993
@fengshengqin6993 3 ай бұрын
great~
@fengshengqin6993
@fengshengqin6993 3 ай бұрын
perfact thinking ~!
@slavinojunepri7648
@slavinojunepri7648 3 ай бұрын
Good stuff
@thefeynmantechnique
@thefeynmantechnique 3 ай бұрын
@@slavinojunepri7648 Thank you sir
@slavinojunepri7648
@slavinojunepri7648 3 ай бұрын
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 3 ай бұрын
@@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 3 ай бұрын
Excellent 👌
@Mario_Altare
@Mario_Altare 3 ай бұрын
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 3 ай бұрын
True, I suppose my solution was needlessly complicated. I always like to incorporate Feynman integration though 😁
@slavinojunepri7648
@slavinojunepri7648 3 ай бұрын
Excellent
@Mario_Altare
@Mario_Altare 3 ай бұрын
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 3 ай бұрын
@@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 3 ай бұрын
Great work!
@slavinojunepri7648
@slavinojunepri7648 3 ай бұрын
Fantastic
@thefeynmantechnique
@thefeynmantechnique 3 ай бұрын
@@slavinojunepri7648 Thanks, that was a rough one. Even though this is a small channel I try to address viewers concerns.
@Mario_Altare
@Mario_Altare 3 ай бұрын
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 3 ай бұрын
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 3 ай бұрын
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 3 ай бұрын
@@Mario_Altare But how do you know that's the correct series for f''?
@slavinojunepri7648
@slavinojunepri7648 3 ай бұрын
@@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 3 ай бұрын
​@@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 3 ай бұрын
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 3 ай бұрын
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 3 ай бұрын
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 3 ай бұрын
@@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 3 ай бұрын
@@slavinojunepri7648 kzbin.info/www/bejne/Z3_Qo2ucn7uJZ7M