No video

Calculus of Variations ft. Flammable Maths

Flammable Maths: / @papaflammy69
Leibnitz Rule: • The Leibniz rule for i...
This video is an introduction to the calculus of variations. We go over what variational calculus is trying to solve, and derive the Euler-Lagrange equation, the key partial differential equation to all this.
Source code for animations! github.com/viv...
Join my discord server! / discord
-----------
0:00 Intro to Variational Calculus
3:38 Derivation of Euler-Lagrange equation
19:20 Application of Euler-Lagrange equation
-----------
Follow me!
/ vcubingx
github.com/viv...
Music by Chillhop:
Knowmadic - Faces chll.to/892bc12e

Пікірлер: 295

  • @vcubingx
    @vcubingx4 жыл бұрын

    Support me on Patreon! patreon.com/vcubingx Join my discord server! discord.gg/Kj8QUZU Just a quick clarification why we set the integrand equal to 0 by lucabla: " The key is that delta_q is an arbitrary continuous function (I don't know if the continuity of delta_q is mentioned in the video, but it should be) and a theorem from calculus states: If f: [a,b] -> IR is continuous and the integral of f*g from a to b is equal to zero for all continuous functions g: [a,b] -> IR, then f=0. Applying this with g=delta_q and f being the Lagrangian, then you get the result. " Another explanation by Bram Lentjes: " This is not trivial. It is called the "vanishing lemma" in one of my analysis books. This is true when the integrand is a continous function. The proof of this is quite nicely. Let the integrand be denoted f as a function of x. Suppose by contradiction f > 0, then there exist a point in the domain, let's say x0 such that f(x0) > 0. Since f is continous, for a given epsilon > 0, there exist a ball around x0 of radius delta > 0 such that |f(x)-f(x0)| 0, hence. 0 "

  • @prometheus7387

    @prometheus7387

    4 жыл бұрын

    @vcubingx I am having trouble joining the server.

  • @vcubingx

    @vcubingx

    4 жыл бұрын

    @@prometheus7387 what trouble are you having?

  • @nadiyayasmeen3928

    @nadiyayasmeen3928

    4 жыл бұрын

    Oh you have a discord server too? Joining

  • @johnny196775

    @johnny196775

    3 жыл бұрын

    I would like to understand this video, but I don't have the greatest hearing. You spoke slowly and clearly, but as soon as the fellow with the extremely thick accent started talking swiftly, I lost any ability to follow the explanation. I am so disappointed, I don't think I want to spend time with any of your other videos. Also, when you introduce the second speaker, the style of explanation changes and the whole feel of the production alters. It is incredibly distracting when you do that. You introduced the idea at the beginning that you were going to hand it off to him in the middle, and then when he took over, he unnecessarily introduced himself and spent about a minute off of the explanation you were in the middle of. This is the WORST thing you can do to a student - interrupt your explanation of the math by introducing a lot of information suddenly that has nothing to do with the math and then he picks up where you left off, without reestablishing what has been said already. This is a real bad production if you are interested in teaching people who don't already know the material involved.

  • @joaomiguelmachado8178

    @joaomiguelmachado8178

    3 жыл бұрын

    P

  • @PapaFlammy69
    @PapaFlammy694 жыл бұрын

  • @davidescobar7726

    @davidescobar7726

    4 жыл бұрын

    Pappa :'v you guys make an excellent team.

  • @luischinchilla-garcia4840

    @luischinchilla-garcia4840

    4 жыл бұрын

    Amazing work on the derivation!

  • @maxwellsequation4887

    @maxwellsequation4887

    4 жыл бұрын

    @@davidescobar7726 100 th like

  • @BJCaasenbrood
    @BJCaasenbrood4 жыл бұрын

    For those interested in mathematics, the approach discussed in the video is also called Hamilton's variational principle.

  • @kennedyonyelowe6345

    @kennedyonyelowe6345

    4 жыл бұрын

    I saw the solution to the end, then how does the entire process apply to a physical function like compression of concrete over time of curing in days? How does one get back to relate the whole process to the dependent variable of a situation like the one cited here? you can respond via my email at konyelowe@gmail.com if you dont mind.

  • @maxwellsequation4887

    @maxwellsequation4887

    4 жыл бұрын

    Thank you

  • @TheHumanHades

    @TheHumanHades

    3 жыл бұрын

    How ironical since a different mechanics called Hamiltonian mechanics itself exists 😂

  • @aptrock327

    @aptrock327

    2 жыл бұрын

    I don't think that "For those interested in mathematics" is necessary to say here, we're on vcubingx's channel haha

  • @klam77

    @klam77

    Жыл бұрын

    The "approach" is from the broadest first principles, almost definitional. A general integral is transformed using first Leibniz's rule, then chain rule, and integration by parts! Why call it Hamiltonian?

  • @pattiknuth4822
    @pattiknuth48223 жыл бұрын

    This has got to be THE most enthusiastic presentation of the Euler-Langrange equations ever made.

  • @student99bg

    @student99bg

    2 жыл бұрын

    All of his videos are like that, I used to watch them a lot.

  • @leonid9680
    @leonid96804 жыл бұрын

    A less known way to derive the Euler Lagrange equations is the way Euler did it originally: He took a discrete version of the functional (a sum of functions in n variables and discrete difference quotients representing slopes), then differentiated this discrete version of the functional with respect to n variables and took the limit as n (number of variables) goes to infinity, so the array of n variables converge to a function, the sum converges to the integral and the difference quotients converge to the derivative of the function. At the time though, Euler did not prove rigorously the convergence but it turned out to be correct. That way you can also visually see the terms in the euler lagrange equations and where they come from. Euler's argument is quite intuitive. The way it is usually derived (due to Lagrange) is more efficient from a computational point of view.

  • @erebology

    @erebology

    4 жыл бұрын

    Thanks! Im gonna look into Euler's argument....

  • @abhishankpaul

    @abhishankpaul

    Жыл бұрын

    Thanks mate. Can you please tell me about the source?

  • @8685mike

    @8685mike

    8 ай бұрын

    Where is this other proof!!??

  • @shuoyang9536

    @shuoyang9536

    4 ай бұрын

    Is there a source I can look up

  • @jakobr_
    @jakobr_2 жыл бұрын

    I’d heard the calculus of variations mentioned before in passing, but before this video I had absolutely no clue how they got it to work. I was imagining all the different ways to change a function, all the uncountably infinitely many variables (one for each x value) approaching zero you’d need to take into account, instead of just the one variable (h) we use in regular differentiation. How on earth is that manageable? A stroke of genius, that’s how. Just multiply all that variation by a single variable (s), and let that approach zero! It’s so simple! Beautiful video, thanks for sharing it. I learned a lot

  • @student99bg

    @student99bg

    2 жыл бұрын

    Usually when I can write the solution of a math problem without looking back at the material I consider it to be understood, but this time even after writing this derivation myself I still don't understand how any of this is related to the potential and kinetic energy in physics and why did we assume that function F takes in derivative as its input. What does F represent? How did we jump from the example of minimalizing the length of a line to this F which takes in t, f and f' as its arguments?

  • @pubgplayer1720
    @pubgplayer17204 жыл бұрын

    Since I'm a physics boi; I recognised it as the Lagrange Equation with different variable names! I always associate this with a mechanical system.

  • @vcubingx

    @vcubingx

    4 жыл бұрын

    Yep!

  • @joem8251
    @joem82514 жыл бұрын

    You're the first person I ever trusted who draws their integrals from bottom to top.

  • @vcubingx

    @vcubingx

    4 жыл бұрын

    I don't, Jens does :p

  • @PapaFlammy69

    @PapaFlammy69

    4 жыл бұрын

    :DDD

  • @GundamnWing
    @GundamnWing3 ай бұрын

    This is the first time I've understood the derivation, thanks so much!

  • @ianprado1488
    @ianprado14884 жыл бұрын

    12:55 flammable looks like he is questioning if too much weird came out for this collaboration

  • @devtech1015
    @devtech10154 жыл бұрын

    Your videos help my through 3rd year mathematics and field theory. Very intuitive.

  • @vcubingx

    @vcubingx

    4 жыл бұрын

    Great to hear!

  • @matron9936
    @matron99364 жыл бұрын

    Wow!! Collab with papa?! Amazing!!!

  • @YashMRSawant
    @YashMRSawant4 жыл бұрын

    I would like to tell for one of the tricky parts in the proof, at 19:00. To make integral to zero, \delta q can be made a dirac delta with centre at point x which is b/w x_1 and x_2 (which simply means perturbing f only at point x) and therefore right-hand side of Euler-Lagrange equation evaluated at x is zero. This random point therefore can be chosen in any of points b/w x_1 and x_2 which gives us Euler-Lagrange equation.

  • @sebastiangudino9377
    @sebastiangudino9377Ай бұрын

    Im astonished at how good your explainations were, and how bad that other dude's were omg Like: "Ah, yes, to derive this equation we are going go define the equation in terms of q-hat, and then use Leibniz rule, if you dont know that go watch a tutorial" My sweet brother, why did you think i came here looking for???

  • @jacoboribilik3253
    @jacoboribilik32534 жыл бұрын

    I'm new to this channel and this video is fantastic. Great, great piece of work.

  • @vcubingx

    @vcubingx

    4 жыл бұрын

    Thank you so much!

  • @gergodenes6360
    @gergodenes63604 жыл бұрын

    So we don't need to take "The shortest distance between two points in Euclidian space is a line" as an axiom anymore? FINALLY, AFTER ALL THESE YEARS, ONE AXIOM LESS!

  • @shambosaha9727

    @shambosaha9727

    4 жыл бұрын

    It was never an axiom

  • @gergodenes6360

    @gergodenes6360

    4 жыл бұрын

    @@shambosaha9727 Please give me a sufficient geometric proof then good sir.

  • @sravan_krishnan

    @sravan_krishnan

    4 жыл бұрын

    @@gergodenes6360 You're not quite getting the meaning of an axiom. Good sir above is right because even though it is true that the proof is never taught to students it doesn't mean that it was axiomatized. An axiom is just a 'starting point' that holds true in general and results are derived from it. The statement that the shortest distance between points in Eucledian space is a straight line is not something that is assumed to derive results from it. It is a statement that has already been proved using *even more elementary* axioms.

  • @tomkerruish2982

    @tomkerruish2982

    4 жыл бұрын

    @@gergodenes6360 In geometry, only line segments have length. Using the Triangle Inequality Theorem, one can show that a single line segment has a shorter length than any (finite!) sequence of connecting line segments. Lengths of any other curves can only be defined in calculus. (If the length of a circular arc could be measured in geometry, the circle could be squared. Line segments and circular arcs are the only curves which even exist in geometry.)

  • @angelmendez-rivera351

    @angelmendez-rivera351

    4 жыл бұрын

    Tom Kerruish Actually, the impossibility of squaring a circle has nothing to do with whether the length of a curve exists in geometry or not. It factually does not. The circle cannot be squared because the ratio between the area of a circle of radius r and the area of a square with sides ar, where a is an algebraic constant of proportionality, said ratio is a transcendental number and not an algebraic number, and such a transcendental number is transcendental if and only if π is transcendental, which it was proven to be. The transcendental properties of π have nothing to do with the length of curves.

  • @nunetoyamato
    @nunetoyamato Жыл бұрын

    Thanks a lot for this presentation which helped me understand such important principle. Not that it changes the final result, but just for the sake of being thorough, I think the derivative result should actually be f´´(x) / ( (1 + f´(x)^2)^3/2 ). IIt's easier to get it right when you use the "MATH INPUT" feature.

  • @A_Random_Ghost

    @A_Random_Ghost

    10 ай бұрын

    Thanks. I did it by hand and was so confused.

  • @kebman
    @kebman4 жыл бұрын

    Within programming we call those callback functions, meaning a function that uses another function as input, and then makes a callback to it. They can also be used in recursive functions, or recursive programming, meaning a function that calls itself.

  • @erebology

    @erebology

    4 жыл бұрын

    I gotta give props to callback functions though, because they go beyond plain maths into algorithms. Callbacks allow asynchronous calculations and race conditions, which express ideas beyond math functions alone. They are different and both have value... so to speak.

  • @student99bg

    @student99bg

    2 жыл бұрын

    I thought callback functions only refer to event handlers, user input and things of that nature. I didn't know that callback function is any function which goes as an argument to another function.

  • @klam77

    @klam77

    Жыл бұрын

    You're saying callback functions are like functional?

  • @trigon7015
    @trigon70154 жыл бұрын

    Wow, manim looks so good but I can’t code... if only

  • @vcubingx

    @vcubingx

    4 жыл бұрын

    You can do it!

  • @hoodedR

    @hoodedR

    4 жыл бұрын

    @@vcubingx It is fun but I don't have anything to animate 😂. Guess I learnt it for no reason.

  • @nidhyaneducation7123

    @nidhyaneducation7123

    4 жыл бұрын

    @@vcubingx Please guide me on how to master manim?

  • @NovaWarrior77

    @NovaWarrior77

    4 жыл бұрын

    @@hoodedR Make more science videos! The world isn't gonna run out of the need for your unique perspective!

  • @NovaWarrior77

    @NovaWarrior77

    4 жыл бұрын

    Here is a complete tutorial series: kzread.info/head/PL2B6OzTsMUrwo4hA3BBfS7ZR34K361Z8F And here is an as of yet incomplete tutorial series by THESE VERY TWO GUYS: kzread.info/dash/bejne/fJqb1s5mcbqbf8Y.html&t Can the world get any better?

  • @maye5307
    @maye53074 жыл бұрын

    Papa's becoming international tho. Daaaamn ;)

  • @vcubingx

    @vcubingx

    4 жыл бұрын

    International :o

  • @nadiyayasmeen3928
    @nadiyayasmeen39284 жыл бұрын

    Ah calculus of variations. One of my favourite topics

  • @caio868
    @caio8683 жыл бұрын

    Both are amazing, but I can really see the difference between the extremely didact approach of v3x that really is able to foresee any kind of doubt someone can have when following the lecture, basically making the learning process as smooth as possible. Flammable also does it - and he is really really good (maybe a bit nervous in this video), but for some reason, it makes me think much more to grasp any point of the lecture. But thank you, it was amazing! This is also used in graduate level Economics (Macroeconomics), for example, to find the optimal savings decisions of a household in the economy, btw!

  • @klam77

    @klam77

    Жыл бұрын

    .... And Hotelling rule

  • @RohanDasariMinho
    @RohanDasariMinho4 жыл бұрын

    thanks for the very nice video and it’s super informative!

  • @vcubingx

    @vcubingx

    4 жыл бұрын

    Glad it was helpful!

  • @jimklm3560
    @jimklm35603 жыл бұрын

    In 19:02 instead of saying that the function in the integral must be equal to zero, we could better say that the expression [θq(L)-d(θq'(L))/dt] must be equal to zero so that the integral of δq*[θq(L)-d(θq'(L))/dt] be equal to zero for EVERY noise-function δq ?

  • @andrewzerwekh6855
    @andrewzerwekh68553 жыл бұрын

    "... let it die in México somewhere getting eaten by hyenas..." Jajajaja the hyenas are all over, man!

  • @unoriginalusernameno999
    @unoriginalusernameno9994 жыл бұрын

    Principle of least action says "pssst, I'm here"...

  • @andrcarb
    @andrcarb4 ай бұрын

    Great stuff my G!!!!!! Keep it up

  • @haydnenthusiast
    @haydnenthusiast4 жыл бұрын

    Papa: For example, take a curve, for example, but make it a little bigger, for example...

  • @turel528
    @turel5288 ай бұрын

    Finally I understood variational calculus. Thank you so much!!!

  • @paperclips1306
    @paperclips13067 ай бұрын

    Excellent. Midnight now. Great work.

  • @nafrost2787
    @nafrost27873 жыл бұрын

    18:50 but the definite integral can equal 0 when the function is odd and the boundaries are the negative of each other.

  • @duncanhw

    @duncanhw

    3 жыл бұрын

    I thought the same, see pinned comment

  • @simplySwag7567
    @simplySwag75673 жыл бұрын

    why is there no channel like this and 3B1B for High school math and physics :( things are just soo much clearer in these videos...

  • @abhishankpaul

    @abhishankpaul

    Жыл бұрын

    Coz real fun of science and academic pain begin from college

  • @That_One_Guy...

    @That_One_Guy...

    10 ай бұрын

    Why don't you just go to Khan Academy for those stuff

  • @staristo2355
    @staristo23554 жыл бұрын

    Subbed to both. Immediate like. Keep rocking. Wish many more subscribers to vcubingx!

  • @RockHardWoodDaddy

    @RockHardWoodDaddy

    4 жыл бұрын

  • @XanderGouws
    @XanderGouws4 жыл бұрын

    Love it

  • @vcubingx

    @vcubingx

    4 жыл бұрын

    Your video was fantastic too ☺️

  • @XanderGouws

    @XanderGouws

    4 жыл бұрын

    @@vcubingx Thank you!

  • @mario__265
    @mario__26511 ай бұрын

    tysm for this my control design professor was rly bad at his job

  • @abhishankpaul
    @abhishankpaul Жыл бұрын

    Finally, we get a proper definition of displacement

  • @benjaminbrady2385
    @benjaminbrady23854 жыл бұрын

    Papa Flammy in the thumbnail. He do be lookin fresh doe. Also, a video on the Lagrangian. That's pretty cool

  • @Blastgun1
    @Blastgun14 жыл бұрын

    Getting 3b1b vibes from the animations

  • @vcubingx

    @vcubingx

    4 жыл бұрын

    Yeah, I use the same animation engine as him (that he created)

  • @MathIguess
    @MathIguess4 жыл бұрын

    Very interesting topic and very well discussed! :D

  • @vcubingx

    @vcubingx

    4 жыл бұрын

    Thank you!

  • @matron9936

    @matron9936

    4 жыл бұрын

    Hi Werner

  • @MathIguess

    @MathIguess

    4 жыл бұрын

    @@matron9936 hello!

  • @Tefhtfche3123
    @Tefhtfche3123 Жыл бұрын

    Amazing Amazing!🤩😍💯

  • @xy9439
    @xy94394 жыл бұрын

    12:55 😂😂😂

  • @DragonKidPlaysMC

    @DragonKidPlaysMC

    4 жыл бұрын

    Adàlia Ramon lol this is why I love papa flammy! Haha

  • @fedem8229

    @fedem8229

    4 жыл бұрын

    But we don't have hyenas here in Mexico xd

  • @_seventh_son

    @_seventh_son

    4 жыл бұрын

    @@fedem8229 we got narcos

  • @duncanhw
    @duncanhw3 жыл бұрын

    Mistake: When you typed it into wolfram, two of the d's are seen as a variable and are cancelled top and bottom. Doing the equation without those d's gives the same as with, which shows something is wrong (if it were parsed as you wanted it to, not taking the derivative would be destructive). Doing it correctly you find - f'' / (1+f'²)^1.5 = 0, so f'' = 0. You now get (almost) the same answer. (Bar the fact that the formula in the video doesn't allow for f'=0, giving 0/0, but the correct formula does, and hence y=c is a valid solution.)

  • @MrAnTiTaLeNt

    @MrAnTiTaLeNt

    2 жыл бұрын

    Do you happen to have the steps writted down? I have tried doing it by hand but instead arrived at [f''(t)] / [(1 + f'(t)^2)^(3/2)] = 0, giving the same answer as in the video.

  • @duncanhw

    @duncanhw

    2 жыл бұрын

    @@MrAnTiTaLeNt I did it again and got your solution, so I probably made an error. Updated the comment; the video still has a mistake. This solution is ever so slightly different from that in the video, because this solution allows for f'=0 (video's solution gives 0/0)

  • @MrAnTiTaLeNt

    @MrAnTiTaLeNt

    2 жыл бұрын

    @@duncanhw Thanks for the quick responce. I would probably spend another hour or two backchecking it tomorrow. Anyway you are right regarding the mistake in the video. I entered the same formula as the author into WolframAlpha to check my calculations and the very first step WA takes in simplifying the formula is eliminating "d" as if it was a variable.

  • @markginsberg5854
    @markginsberg5854 Жыл бұрын

    I hate to complain. The math on the board disagrees with the verbal descriptions given. The second line is a good example. Either we are talking about the perturbed function, and the LHS is correct. Or we are talking about optimality where the RHS is correct. To equate the two is wrong. Therefore, the rest is sloppy at best. 😢

  • @mohannadislaieh3009
    @mohannadislaieh30094 жыл бұрын

    Glorious ❤

  • @AA-gl1dr
    @AA-gl1dr3 жыл бұрын

    Wow this just made so many things click. Thank you

  • @angelmendez-rivera351
    @angelmendez-rivera3514 жыл бұрын

    It should be noted that the Euler-Lagrange equations are only part of the answer to the question of minimization. It is necessary that a function satisfies those equations in order to minimize the functional, but not sufficient, much in the same logical conclusion that satisfying the equation f'(x) = 0 is a necessity to minimize the function, but it is not sufficient.

  • @vcubingx

    @vcubingx

    4 жыл бұрын

    Good point! I'll add a few details in the description.

  • @student99bg

    @student99bg

    2 жыл бұрын

    He added another condition, s=0. Isn't that enough to take care of the issue? I never studied functionals, so I am just asking.

  • @angelmendez-rivera351

    @angelmendez-rivera351

    2 жыл бұрын

    @@student99bg No, that is not sufficient either, as that is actually just equivalent to the Euler-Lagrange equations.

  • @mazyarta
    @mazyarta7 ай бұрын

    Great performance

  • @dildobaggins2759
    @dildobaggins27594 жыл бұрын

    I want to go back to uni to do a math degree in couple years ime 25 i just got told i have rheumatoid in both my hands i dont know if it will happen...

  • @bebarshossny5148

    @bebarshossny5148

    3 жыл бұрын

    never give up

  • @dildobaggins2759

    @dildobaggins2759

    3 жыл бұрын

    @@bebarshossny5148 Thats life bro you have to do best with what you got..

  • @ilsennodipoi
    @ilsennodipoi10 ай бұрын

    The exposition was to me very clear and lucid until I started to wonder about how the hyenas got to Mexico.

  • @MiMaiMix
    @MiMaiMix4 жыл бұрын

    awesome teamwork!

  • @pappaflammyboi5799
    @pappaflammyboi57994 жыл бұрын

    What is the shortest distance in Minkowski space?

  • @shivamsinghaswal4995
    @shivamsinghaswal49952 жыл бұрын

    Ah lovely..❤️❤️ That's so beautiful [Math]

  • @NotTzeentch
    @NotTzeentch4 жыл бұрын

    I thought the solved equation should be: Y"/((1+Y"^2)^(3/2))=0 I just want to know if I made a mistake or not

  • @vcubingx

    @vcubingx

    4 жыл бұрын

    That's the same thing as the one in the video! sqrt(1 + f'(x)^2) * f'(x)^2 = (1+f'(x))^(3/2)

  • @xiaozhu7219

    @xiaozhu7219

    2 жыл бұрын

    @@vcubingx are you sure this lhs=rhs?

  • @Tefhtfche3123

    @Tefhtfche3123

    Жыл бұрын

    This is correct! The input in the walfram alpha is not quite right! Regardless so, it is another amazing video! Thank you both so much!

  • @joem8251
    @joem82514 жыл бұрын

    Would this be an interesting problem? -- Explore the Hamiltonian Variational Principle in terms of stochastic processes by expanding Euler's equation using stochastic differentiation for the integrand, integrated over a Lebesgue measure to find a (computationally convenient) functional's stationary function of a stochastic random variable... perhaps a martingale.

  • @eric3813
    @eric38134 жыл бұрын

    Hey vcubingx, i really Love pur Videos, they Are so awesome! I learned a Lot from Them And i am very gratefull :) ( i am 15 And really Love the Type of Content you do :D )

  • @vcubingx

    @vcubingx

    4 жыл бұрын

    Thanks!

  • @ryans7536
    @ryans75364 жыл бұрын

    Good video!!

  • @vcubingx

    @vcubingx

    4 жыл бұрын

    Glad you enjoyed it

  • @magiccarpet9172
    @magiccarpet91723 жыл бұрын

    What is your background? Your explanations are very clear.

  • @thebeerwaisnetwork8024
    @thebeerwaisnetwork80244 жыл бұрын

    All hail lord Lagrange.

  • @omarino99
    @omarino994 жыл бұрын

    This is actually a great video, I’m just getting started on functionals and this is a proof I’ve been wanting to see. I’m a little dubious about one passage though, why did papa say that the integral is equal to zero iif the argument is equal to zero?

  • @NathanThomasisepic

    @NathanThomasisepic

    4 жыл бұрын

    Because the integral of zero is zero?

  • @vcubingx

    @vcubingx

    4 жыл бұрын

    ^

  • @bramlentjes

    @bramlentjes

    4 жыл бұрын

    This is not trivial. It is called the "vanishing lemma" in one of my analysis books. This is true when the integrand is a continous function. The proof of this is quite nicely. Let the integrand be denoted f as a function of x. Suppose by contradiction f > 0, then there exist a point in the domain, let's say x0 such that f(x0) > 0. Since f is continous, for a given epsilon > 0, there exist a ball around x0 of radius delta > 0 such that |f(x)-f(x0)| 0, hence. 0 < integral over the ball of f(x0)/2 < integral over the ball of f(x) < integral over domain of f. A contradiction, since we assumed the integral over the domain was zero. 😀

  • @omarino99

    @omarino99

    4 жыл бұрын

    Nathan Thomas yes of course but it is not an “if and only if”. The integral can evaluate to zero even if the function is not, e.g. integral from 0 to 2pi of sin(x), so I’m not sure why you’d pick that kind of solution specifically.

  • @philipvarghese7204

    @philipvarghese7204

    4 жыл бұрын

    It boils down to something a bit subtle. Clearly, if you integrate a single function over a certain domain, like sin(x) from 0 to 2π, it can integrate to 0. But let's say we multiplied it by a non-zero function: let's call it g(x). If we integrate g(x)*sin(x) over the same domain, it won't necessarily equal 0 {e.g. if g(x) = x, it integrates to -2π}. The real question is this: what function, f(x), do I need such that f(x)*g(x) integrates to 0. As it turns out, this can only be achieved when f(x), and hence the integrand, equals 0. This is why it's known as the "vanishing lemma", and a more formal proof can be seen in an above comment.

  • @redaabakhti768
    @redaabakhti7684 жыл бұрын

    could be made more explicit or rigorous I have always disliked how that euler lagrange / variational calculus has been presented by physicists if you see some inconsistencies and I see a lot of them you can refer to a rigorous functional analysis course requires more work but less confusing and actually makes sense

  • @amiraamira-qp6bm
    @amiraamira-qp6bm Жыл бұрын

    hi i have question in the end vidéo in the exemple " comment tu as dirive d(df/y')/dx ?? merci

  • @icarpio
    @icarpio2 жыл бұрын

    There is one thing I have never quite understood about the calculus of variations. What purpose does the "degree of variation" term "S" serve here. If we want to define a varied path why couldnt we simply add the functional term "delta q" defined as a functional which is the difference between the original path and the varied path? Does that make sense?

  • @LucasDimoveo
    @LucasDimoveo4 жыл бұрын

    What book should I read to learn variational calculus?

  • @vcubingx

    @vcubingx

    4 жыл бұрын

    I don't have a book to recommend, I do recommend Faculty of Khan's video series on variational calculus

  • @mohammedbelgoumri
    @mohammedbelgoumri4 жыл бұрын

    Great video, did you ever consider making a manim tutorial??

  • @vcubingx

    @vcubingx

    4 жыл бұрын

    I'm in the process of making a few with someone else (idk if im supposed to say who)

  • @NPCooking69

    @NPCooking69

    4 жыл бұрын

    @@vcubingx Sure :p

  • @throwaway692
    @throwaway692 Жыл бұрын

    Dude... from where do you get your T shirts?

  • @sadied0g
    @sadied0g4 жыл бұрын

    So why does this “finding the function that minimizes distance” translate pretty directly into finding the equations of motion for a system? Is it just that the form of the EL equations terms lend themselves to be easily interpreted as Kinetic and Potential energies of generalized coordinates? Or is there some more intuitive connection to physical principles like, how systems always tend toward states of minimum energy or something?

  • @angelmendez-rivera351

    @angelmendez-rivera351

    4 жыл бұрын

    Dylan Benton You are thinking of this incorrectly. Minimizing a functional is a purely mathematical concept which, in itself, bares no meaning in the physical world. The Euler-Lagrange equations are used in physics, but they are used in every mathematical discipline of study as well. They are used in economics and any other application that uses calculus in some form. The reason the Euler-Lagrange equations become relevant in classical mechanics is because those equations are a necessary but not sufficient condition that describe the minimum of a linear functional, as stated in this video. And as it happens, the mechanical state of a system must be the minimum of some functional due to the principle of least action, also often known as Fermat's principle.

  • @allaincumming6313

    @allaincumming6313

    4 жыл бұрын

    The nature takes the cheapest ways to do things (in terms of energy), given certain start conditions. That's the Principle of least action, and that's why ELE and equations of motion are directly related.

  • @si48690
    @si486904 жыл бұрын

    Great video man..Can u do a video on applications of langrange-euler eqn?

  • @vcubingx

    @vcubingx

    4 жыл бұрын

    Great suggestion! If I find a really interesting application that isn't already done by a lot of people eg. brachistochrone, I'll do it.

  • @si48690

    @si48690

    4 жыл бұрын

    @@vcubingx Sure,thanks!!

  • @Isinlor

    @Isinlor

    2 жыл бұрын

    ​@@vcubingx I would really want to see optimal control for a rocket car that has rockets at both ends and needs to move from point a to point b along one axis. Or optimal control for landing a rocket where you want to minimize fuel usage - basically what SpaceX is doing to land Falcon 9 boosters. Mu understanding is that to do it, you need to fire engines at full throttle precisely at the very last moment. Seems to be the only way to land if you can not throttle below the weight of the rocket making hoovering impossible. Due to precision required the landing maneuver is often called a suicide burn :) .

  • @luischinchilla-garcia4840
    @luischinchilla-garcia48404 жыл бұрын

    Absolutely incredible work! Super clean and clear

  • @davidzheng4772
    @davidzheng47724 жыл бұрын

    Can you make a video about Algebra 1? I need help solving equations.

  • @KyleHeBruhh

    @KyleHeBruhh

    4 жыл бұрын

    kzread.info/dash/bejne/dKyHxtWCfpe0hrw.html

  • @vcubingx

    @vcubingx

    4 жыл бұрын

    @@KyleHeBruhh hmmmm who is that

  • @atticusjones
    @atticusjones3 жыл бұрын

    I have never done a day's calc in my life, but this... I understand this.. Somehow.

  • @nikhiilrajesh3484
    @nikhiilrajesh34844 жыл бұрын

    Could you share the resources you used to piece together the manim library??

  • @vcubingx

    @vcubingx

    4 жыл бұрын

    github.com/vivek3141/videos

  • @ArthurSchoppenweghauer
    @ArthurSchoppenweghauer4 жыл бұрын

    Me: "Mom, can we get 3Blue1Brown?" Mom: "No, we have 3Blue1Brown at home." 3Blue1Brown at home:

  • @maxthexpfarmer3957
    @maxthexpfarmer39572 жыл бұрын

    Could you treat the various functions f that go into I as countably-infinite-dimensional vectors by using the terms of a Fourier series of f as the components of the vector v, and then find the minimum of I(v)? Would that be possible? Is it an issue in physics that there are functions that do not have Fourier series? It seems like every function in physics is infinitely smooth.

  • @rayvianasampaio379
    @rayvianasampaio3793 жыл бұрын

    Very good and very simple explanation ; but now how would be the following case : if we have in 3 dimensions , 2 arbitrary curves as 2 fixed curves in this space ; what would be the differential equation of a sheet that would make this sheet a minimum surface that connects these 2 arbitrary , but fixed curves in the 3 dimensional space ??? Greetings from Brazil . Ray Viana Sampaio .

  • @danbakana
    @danbakana4 ай бұрын

    I do not understand why the functional is considered to depend on y(x), y˙(x) , and x. Is there a reason for this ?

  • @sebastiangudino9377

    @sebastiangudino9377

    Ай бұрын

    Same question here

  • @pitreason
    @pitreason3 жыл бұрын

    So there are a lot of mistakes with this derivation of Euler-Lagrange equations but the most disturbing one I guess is here 18:45 Why the function under the integral must be 0 if the integral itself is zero? The simple counter example is integral from -1 to 1 of x: it is zero but x is not the zero function

  • @haroldbn6816

    @haroldbn6816

    3 жыл бұрын

    Yeah but you want to guarantee that the integral yields 0 regardless of the limits of integration, thus, the only condition that can verify that is that the integrand goes to 0.

  • @miguelaphan58
    @miguelaphan583 жыл бұрын

    try to find ...a destiny , to your hands..when ..explaining something ...to the public...to much erratic movement...chassing your hands, and trying to predic,...the next location...becomes ..an atractor

  • @markerpullus5830
    @markerpullus58304 жыл бұрын

    Not gonna lie, your video is a lot like 3blue1brown’s (also in terms of explanation skills)

  • @vcubingx

    @vcubingx

    4 жыл бұрын

    I use his animation tool!

  • @erebology

    @erebology

    4 жыл бұрын

    I want to learn his animation tool! You mastered this style! I'm gonna watch 3b1b's video on it, but I would appreciate your perspective on it, too.

  • @douglasstrother6584
    @douglasstrother65844 жыл бұрын

    "The Principle of Least Action" ~ The Feynman Lectures, Vol. II, Ch. 19 www.feynmanlectures.caltech.edu/II_19.html Richard Feynman inserts a "WOW! That's cool!" lecture in the middle of electromagnetism. I came across this before getting introduced to Lagrangian Mechanics.

  • @InAMinMaths

    @InAMinMaths

    2 жыл бұрын

    Thanks, enjoyed the read.

  • @douglasstrother6584

    @douglasstrother6584

    2 жыл бұрын

    @@InAMinMaths That chapter and Ch. 28 on "Electromagnetic Mass" are my two favorites.

  • @rayvianasampaio379
    @rayvianasampaio3794 жыл бұрын

    Am I wrong or the professor on the green board is german ??? His light deutsch accent just reveals his origin !!! Sehr gute erklärungen Untericht von beiden professor !!! Ray Viana Sampaio .

  • @vcubingx

    @vcubingx

    4 жыл бұрын

    Yep! He's German!

  • @reynanhenry612
    @reynanhenry6124 жыл бұрын

    And what does L=T-V mean (kinetic - potential). What is going to be minimized there?

  • @vcubingx

    @vcubingx

    4 жыл бұрын

    en.wikipedia.org/wiki/Lagrangian_mechanics It's an application of EL Equation

  • @BJCaasenbrood

    @BJCaasenbrood

    4 жыл бұрын

    Suppose you would choose the Lagrangian of the form: L = T+V (i.e., the total energy of the system). If you use the variational principle, and you work it out neatly, you'll find the equality dL/dt = 0. This is quiet intuitive since the total energy of the system is conserved for an isolated system. However, by stating the Lagrangian as L=T-V, you are specifically targeting on minimizing the energy exchange between kinetic en potential energy. And thus it inherently leas to the dynamics of your system, i.e., the Euler-Lagrange equation of motion. Hope this clear for you.

  • @uva1312
    @uva13124 жыл бұрын

    very cool

  • @sohailtabarhossain6096
    @sohailtabarhossain60964 жыл бұрын

    It seems we're looking for a function derived out of a BVP; what if there were two initial values instead!?

  • @Jirnyak
    @Jirnyak3 жыл бұрын

    flammable math part is not very clear but your is good

  • @amitbagde1979
    @amitbagde19794 жыл бұрын

    Love your videos From India

  • @Phi1618033
    @Phi1618033 Жыл бұрын

    Has anyone tried to count the number of times the word function is said?

  • @peterhunt1968
    @peterhunt19683 жыл бұрын

    At 2 mins 30 - how is the second equation derived please? I understand integral of ds from x1 to x2 but how does this become the functional given below? Also why f’(x)2 and not just f’(x)? Don’t both of those then just give straight lines?

  • @ahmedzannaahmed

    @ahmedzannaahmed

    5 ай бұрын

    I can explain if you're still interested.

  • @saiprasad3584
    @saiprasad35845 ай бұрын

    anybody who knows which vids of 3blue1brown and vsauce are those please link em if uk

  • @ammarmahdi1422
    @ammarmahdi14224 жыл бұрын

    At 10:45, he says that q and q-hat are functions of t, so integrating those with respects of q will just result in some constants. Can someone elaborate more on this? I'm confused as to why exactly this would be the case (sorry, my calculus is really weak).

  • @PapaFlammy69

    @PapaFlammy69

    4 жыл бұрын

    We integrate wrt. t . A simple example would be to evaluate int_0^1 x dx. Gives you x^2/2 from 0 to 1, makes 1/2 which is constant! :) Hope that helped ^^

  • @rahmanayan3383
    @rahmanayan3383 Жыл бұрын

    unbelievable

  • @T3WI
    @T3WI4 жыл бұрын

    Oh hey its my dad

  • @vcubingx

    @vcubingx

    4 жыл бұрын

    He's my dad too

  • @PapaFlammy69

    @PapaFlammy69

    4 жыл бұрын

    Mine too

  • @NovaWarrior77
    @NovaWarrior774 жыл бұрын

    It's da boyz.

  • @sweetsweetbiswal4677
    @sweetsweetbiswal46774 жыл бұрын

    Thanks sir

  • @javierr1755
    @javierr17552 жыл бұрын

    Herr Jens Fehlau, Ich respektiere Ihre Arbeit und Ihr Land, also respektieren Sie bitte meine. (see 12:56). Hyenas are not part of the native wild mammal species in Mexico. Stick to the math and before you criticize a country, first travel to it and explore its culture and people. Keep up the good work vcubingx and Flammable Maths.

  • @davidsewell4999
    @davidsewell4999 Жыл бұрын

    Death by Mexican Hyena. Sounds rough

  • @thephysicistcuber175
    @thephysicistcuber1754 жыл бұрын

    Oh wow, a speedcuber :)

  • @insomniaReigns
    @insomniaReigns4 жыл бұрын

    Would you even need to calculate d/dx(dF/dy') at the end? We know that dF/dy' is constant and from that we get y' = c_1 and integrating once results in the same solution.

  • @vcubingx

    @vcubingx

    4 жыл бұрын

    I don't understand how dF/dy' = k results in y' = c

  • @insomniaReigns

    @insomniaReigns

    4 жыл бұрын

    @@vcubingx dF/dy' = y'/sqrt(1+y'^2) = k. Rearranging for y' results in y' = sqrt(k^2 / (1 + k^2)), which is again just a constant which we can call c_1. Maybe I am missing something here.

  • @insomniaReigns

    @insomniaReigns

    4 жыл бұрын

    Correction: y' = sqrt(k^2 / (1 - k^2)), sorry I missed that somehow. It is still the same idea though.

  • @angelmendez-rivera351

    @angelmendez-rivera351

    4 жыл бұрын

    insomniaReigns How is it true that dF/dy' is a constant? y'(x)/sqrt[1 + y'(x)^2] can be anything. For example, if we had not known from Euclidean geometry that the shortest distance between two points was a line, then one could have hypothesized that y'(x) = Ax + B instead, and then dF/dy' is clearly not a constant.

  • @angelmendez-rivera351

    @angelmendez-rivera351

    4 жыл бұрын

    insomniaReigns In other words, there is nothing supporting the statement that dF/dy'(x) is a constant.

  • @nadiyayasmeen3928
    @nadiyayasmeen39284 жыл бұрын

    19:34 Chemistry? But where?

  • @pitreason

    @pitreason

    3 жыл бұрын

    Quantum chemistry

  • @rahulpaul4355
    @rahulpaul4355 Жыл бұрын

    💀 me trying to understand this stuff with my little understanding in physics and almost insignificant understanding of math, someone should share notes when things are this advanced so we can read on a more thorough source

  • @sebastiangudino9377

    @sebastiangudino9377

    Ай бұрын

    The Euler Lagrange equation can be found in the calculus of variations, you should know calculus with regular functions very well, and a little bit of multivariable calculus, like path integrals and arc-lengths and so on, otherwise you are not ready for this In the context of physics lagrangian mechanics are a way to find the equation of motion (A differential equation) of a system without relying on the coodinates and frames of reference of Newtonian Mechanics (You don't work with forces, but with energy, and then again, the idea of energy is VERY much tied to calculus), so you should be familiar with Newtonian Mechanics and differential equations. If you are lost don feel bad, you probably just lack the relevan foundations and this video is not yet for you

  • @freddyfozzyfilms2688
    @freddyfozzyfilms26882 жыл бұрын

    6:15 I got so confused cause I thought t was a parameter lol