I did this as a pure Feynman problem and it was an entertaining ride!
@slavinojunepri764822 сағат бұрын
Excellent technique
@slavinojunepri764822 сағат бұрын
The integral doesn't match the result for t=1. Perhaps we could constrain t>1 for the result to apply.
@thefeynmantechnique19 сағат бұрын
@@slavinojunepri7648 yes, I forgot to say in the video that it only converges for t greater than 1
@ppppppppppppppppppppppp73 күн бұрын
christmas integral!!
@sak66533 күн бұрын
nice
@TheMartinbowes4 күн бұрын
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!
@thefeynmantechnique4 күн бұрын
@@TheMartinbowes Thank you!
@Aymen-bt1ly8 күн бұрын
the music is bad
@slavinojunepri764811 күн бұрын
Even more magnificent on a second look
@slavinojunepri764811 күн бұрын
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.
@thefeynmantechnique11 күн бұрын
@@slavinojunepri7648 good question, I'll look into it and have an answer for you shortly.
@thefeynmantechnique11 күн бұрын
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).
@slavinojunepri764811 күн бұрын
Outstanding technique
@slavinojunepri764811 күн бұрын
Magnificent technique
@slavinojunepri7648Ай бұрын
Fantastic
@slavinojunepri7648Ай бұрын
Excellent
@tadessebАй бұрын
Can you also find the sum of 1/4^3 + 1/7^3 + 1/10^3 + 1/13^3+ ....?
@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Ай бұрын
@@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Ай бұрын
Super Cool ~~~!
@thefeynmantechniqueАй бұрын
@@fengshengqin6993 Thank you
@吴了Ай бұрын
Awesome! I
@thefeynmantechniqueАй бұрын
@@吴了 thank you
@slavinojunepri76482 ай бұрын
Excellent
@Samir-zb3xk2 ай бұрын
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
@slavinojunepri76482 ай бұрын
Fantastic
@dwightswanson30152 ай бұрын
Multiplying by x, taking the derivative twice of a sum -- new (to me) methods
@Andrew-II2 ай бұрын
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 🧐
@thefeynmantechnique2 ай бұрын
I'm not sure what you mean.
@Andrew-II2 ай бұрын
@@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-II2 ай бұрын
However, I've built a discrete graph, and it looks like it's true.
@thefeynmantechnique2 ай бұрын
@@Andrew-II yes, sum from 0 to infinity of (n^3-5)/n! is 0.
@slavinojunepri76482 ай бұрын
Excellent 👌
@kappasphere2 ай бұрын
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)
@kappasphere2 ай бұрын
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.
@ademnasri65572 ай бұрын
I like the way you solve integrals w and how everything is so clear Big support 🖤🖤
@thefeynmantechnique2 ай бұрын
@@ademnasri6557 Thank you sir!
@Ron-pe4bp2 ай бұрын
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.
@notcraig32043 ай бұрын
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.
@thefeynmantechnique2 ай бұрын
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.
@notcraig32042 ай бұрын
@@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.
@slavinojunepri76483 ай бұрын
Sweet!
@thefeynmantechnique2 ай бұрын
Thanks!
@slavinojunepri76483 ай бұрын
Quite a fine piece of work
@slavinojunepri76483 ай бұрын
Excellent 👌
@fengshengqin69933 ай бұрын
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 ?
@thefeynmantechnique3 ай бұрын
@@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.
@dwightswanson30153 ай бұрын
Unique integral
@slavinojunepri76483 ай бұрын
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?
@thefeynmantechnique3 ай бұрын
@@slavinojunepri7648 because the integrals involved, along with factorials, are valid for continuous variables, not just integer values n.
@thefeynmantechnique3 ай бұрын
@@slavinojunepri7648 as far as proving why factorials are valid for continuous variables, that's a question I would need to research, but they are 😁
@fengshengqin69933 ай бұрын
I think this integral shoule be standard Beta function with 2times derivative to t .
@fengshengqin69933 ай бұрын
f(t)=B"(t+1 ,-1) ,or NOT ?
@thefeynmantechnique3 ай бұрын
@@fengshengqin6993 I’m not sure, I don’t play around with special functions very much.
@fengshengqin69933 ай бұрын
great~
@fengshengqin69933 ай бұрын
perfact thinking ~!
@slavinojunepri76483 ай бұрын
Good stuff
@thefeynmantechnique3 ай бұрын
@@slavinojunepri7648 Thank you sir
@slavinojunepri76483 ай бұрын
Great proof! Perhaps mathematical rigor may require to prove lim f(c1, t+h) as h->0 is precisely f(b(t),t).
@thefeynmantechnique3 ай бұрын
@@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.
@slavinojunepri76483 ай бұрын
Excellent 👌
@Mario_Altare3 ай бұрын
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
@thefeynmantechnique3 ай бұрын
True, I suppose my solution was needlessly complicated. I always like to incorporate Feynman integration though 😁
@slavinojunepri76483 ай бұрын
Excellent
@Mario_Altare3 ай бұрын
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...
@thefeynmantechnique3 ай бұрын
@@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_Altare3 ай бұрын
Great work!
@slavinojunepri76483 ай бұрын
Fantastic
@thefeynmantechnique3 ай бұрын
@@slavinojunepri7648 Thanks, that was a rough one. Even though this is a small channel I try to address viewers concerns.
@Mario_Altare3 ай бұрын
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
@notcraig32043 ай бұрын
f(t) and f'(t) are undefined for all values of t. How can we be sure of the sum identity for f''?
@Mario_Altare3 ай бұрын
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)
@notcraig32043 ай бұрын
@@Mario_Altare But how do you know that's the correct series for f''?
@slavinojunepri76483 ай бұрын
@@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.
@notcraig32043 ай бұрын
@@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_Altare3 ай бұрын
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)
@slavinojunepri76483 ай бұрын
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_Altare3 ай бұрын
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)
@slavinojunepri76483 ай бұрын
@@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.