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 .
@thefeynmantechnique2 күн бұрын
@@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.
@fengshengqin69934 күн бұрын
Super Cool ~~~!
@thefeynmantechnique2 күн бұрын
@@fengshengqin6993 Thank you
@吴了6 күн бұрын
Awesome! I
@thefeynmantechnique2 күн бұрын
@@吴了 thank you
@slavinojunepri764816 күн бұрын
Excellent
@Samir-zb3xk19 күн бұрын
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
@slavinojunepri764820 күн бұрын
Fantastic
@dwightswanson301520 күн бұрын
Multiplying by x, taking the derivative twice of a sum -- new (to me) methods
@Andrew-II20 күн бұрын
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 🧐
@thefeynmantechnique20 күн бұрын
I'm not sure what you mean.
@Andrew-II20 күн бұрын
@@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-II20 күн бұрын
However, I've built a discrete graph, and it looks like it's true.
@thefeynmantechnique20 күн бұрын
@@Andrew-II yes, sum from 0 to infinity of (n^3-5)/n! is 0.
@slavinojunepri764825 күн бұрын
Excellent 👌
@kappasphere26 күн бұрын
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)
@kappasphere26 күн бұрын
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Ай бұрын
I like the way you solve integrals w and how everything is so clear Big support 🖤🖤
@thefeynmantechniqueАй бұрын
@@ademnasri6557 Thank you sir!
@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Ай бұрын
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Ай бұрын
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Ай бұрын
@@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Ай бұрын
Sweet!
@thefeynmantechniqueАй бұрын
Thanks!
@slavinojunepri7648Ай бұрын
Quite a fine piece of work
@slavinojunepri7648Ай бұрын
Excellent 👌
@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Ай бұрын
@@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Ай бұрын
Unique integral
@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Ай бұрын
@@slavinojunepri7648 because the integrals involved, along with factorials, are valid for continuous variables, not just integer values n.
@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Ай бұрын
I think this integral shoule be standard Beta function with 2times derivative to t .
@fengshengqin6993Ай бұрын
f(t)=B"(t+1 ,-1) ,or NOT ?
@thefeynmantechniqueАй бұрын
@@fengshengqin6993 I’m not sure, I don’t play around with special functions very much.
@fengshengqin6993Ай бұрын
great~
@fengshengqin6993Ай бұрын
perfact thinking ~!
@slavinojunepri7648Ай бұрын
Good stuff
@thefeynmantechniqueАй бұрын
@@slavinojunepri7648 Thank you sir
@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Ай бұрын
@@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.
@slavinojunepri76482 ай бұрын
Excellent 👌
@Mario_Altare2 ай бұрын
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
@thefeynmantechnique2 ай бұрын
True, I suppose my solution was needlessly complicated. I always like to incorporate Feynman integration though 😁
@slavinojunepri76482 ай бұрын
Excellent
@Mario_Altare2 ай бұрын
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...
@thefeynmantechnique2 ай бұрын
@@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_Altare2 ай бұрын
Great work!
@slavinojunepri76482 ай бұрын
Fantastic
@thefeynmantechnique2 ай бұрын
@@slavinojunepri7648 Thanks, that was a rough one. Even though this is a small channel I try to address viewers concerns.
@Mario_Altare2 ай бұрын
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
@notcraig32042 ай бұрын
f(t) and f'(t) are undefined for all values of t. How can we be sure of the sum identity for f''?
@Mario_Altare2 ай бұрын
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)
@notcraig32042 ай бұрын
@@Mario_Altare But how do you know that's the correct series for f''?
@slavinojunepri76482 ай бұрын
@@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.
@notcraig32042 ай бұрын
@@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_Altare2 ай бұрын
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)
@slavinojunepri76482 ай бұрын
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_Altare2 ай бұрын
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)
@slavinojunepri76482 ай бұрын
@@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.
Thanks for the pointers to repametrization. Usually this step isn't obvious until some pre-work is done.
@thefeynmantechnique2 ай бұрын
Yes, sometimes a re-parameterization isn't obvious, or even effective, until integration by parts is performed.
@slavinojunepri76482 ай бұрын
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.
@thefeynmantechnique2 ай бұрын
@@slavinojunepri7648 Lol I think there was a problem in translation😆
@slavinojunepri76482 ай бұрын
Cool
@slavinojunepri76482 ай бұрын
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! 🙏
@thefeynmantechnique2 ай бұрын
@@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.
@slavinojunepri76482 ай бұрын
@@thefeynmantechnique I will go over them as time allows. Excellent job!
@Mario_Altare2 ай бұрын
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 = π
@thefeynmantechnique2 ай бұрын
@@Mario_Altare Cool, I overlooked that.
@Mario_Altare2 ай бұрын
@@thefeynmantechnique Thanks 🙂
@slavinojunepri7648Ай бұрын
Sweet!
@IOSARBX2 ай бұрын
The Feynman Technique, awesome content keep up the great content
@thefeynmantechnique2 ай бұрын
@@IOSARBX Thank you sir, I will.
@slavinojunepri76482 ай бұрын
Fantastic
@slavinojunepri76482 ай бұрын
Fantastic
@thefeynmantechnique2 ай бұрын
@@slavinojunepri7648 Thank you
@Mario_Altare2 ай бұрын
4:44 Spoiler alert 😀
@thefeynmantechnique2 ай бұрын
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-II2 ай бұрын
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-II2 ай бұрын
My mistake, I missed the minus sign ¯\_(ツ)_/¯. The series converges, solution is ln(pi^2/(2*Gamma(3/4)^4))~0.783
@thefeynmantechnique2 ай бұрын
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-II2 ай бұрын
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)
@thefeynmantechnique2 ай бұрын
@@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.
@andikusnadi19792 ай бұрын
At 2:89 how it become simplify? Can you detailed.
@thefeynmantechnique2 ай бұрын
@@andikusnadi1979 2:89 😂. Just create a common denominator, add the numerators, and cancel with the term outside the parentheses.
@Mario_Altare2 ай бұрын
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