Calculus of Variations ft. Flammable Maths

  Рет қаралды 146,251

vcubingx

vcubingx

Күн бұрын

Пікірлер: 296
@vcubingx
@vcubingx 4 жыл бұрын
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)| < epsilon. Now choose epsilon like f(x0)/2 > 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. 😀 "
@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
@PapaFlammy69 4 жыл бұрын
@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
@pattiknuth4822
@pattiknuth4822 3 жыл бұрын
This has got to be THE most enthusiastic presentation of the Euler-Langrange equations ever made.
@DipsAndPushups
@DipsAndPushups 2 жыл бұрын
All of his videos are like that, I used to watch them a lot.
@BJCaasenbrood
@BJCaasenbrood 4 жыл бұрын
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?
@joem8251
@joem8251 4 жыл бұрын
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
@jakobr_
@jakobr_ 3 жыл бұрын
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
@DipsAndPushups
@DipsAndPushups 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?
@leonid9680
@leonid9680 4 жыл бұрын
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....
@comrade_marshal
@comrade_marshal Жыл бұрын
Thanks mate. Can you please tell me about the source?
@8685mike
@8685mike Жыл бұрын
Where is this other proof!!??
@shuoyang9536
@shuoyang9536 9 ай бұрын
Is there a source I can look up
@pubgplayer1720
@pubgplayer1720 4 жыл бұрын
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!
@YashMRSawant
@YashMRSawant 4 жыл бұрын
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.
@GundamnWing
@GundamnWing 7 ай бұрын
This is the first time I've understood the derivation, thanks so much!
@devtech1015
@devtech1015 4 жыл бұрын
Your videos help my through 3rd year mathematics and field theory. Very intuitive.
@vcubingx
@vcubingx 4 жыл бұрын
Great to hear!
@matron9936
@matron9936 4 жыл бұрын
Wow!! Collab with papa?! Amazing!!!
@jacoboribilik3253
@jacoboribilik3253 4 жыл бұрын
I'm new to this channel and this video is fantastic. Great, great piece of work.
@vcubingx
@vcubingx 4 жыл бұрын
Thank you so much!
@caio868
@caio868 3 жыл бұрын
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
@ianprado1488
@ianprado1488 4 жыл бұрын
12:55 flammable looks like he is questioning if too much weird came out for this collaboration
@jimklm3560
@jimklm3560 4 жыл бұрын
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 ?
@nafrost2787
@nafrost2787 3 жыл бұрын
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
@maye5307
@maye5307 4 жыл бұрын
Papa's becoming international tho. Daaaamn ;)
@vcubingx
@vcubingx 4 жыл бұрын
International :o
@RohanDasariMinho
@RohanDasariMinho 4 жыл бұрын
thanks for the very nice video and it’s super informative!
@vcubingx
@vcubingx 4 жыл бұрын
Glad it was helpful!
@paperclips1306
@paperclips1306 Жыл бұрын
Excellent. Midnight now. Great work.
@nadiyayasmeen3928
@nadiyayasmeen3928 4 жыл бұрын
Ah calculus of variations. One of my favourite topics
@trigon7015
@trigon7015 4 жыл бұрын
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: kzbin.info/aero/PL2B6OzTsMUrwo4hA3BBfS7ZR34K361Z8F And here is an as of yet incomplete tutorial series by THESE VERY TWO GUYS: kzbin.info/www/bejne/gJfKpZ9jdrxohcU&t Can the world get any better?
@gergodenes6360
@gergodenes6360 4 жыл бұрын
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 Жыл бұрын
Thanks. I did it by hand and was so confused.
@turel528
@turel528 Жыл бұрын
Finally I understood variational calculus. Thank you so much!!!
@kebman
@kebman 4 жыл бұрын
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.
@DipsAndPushups
@DipsAndPushups 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?
@andrewzerwekh6855
@andrewzerwekh6855 4 жыл бұрын
"... let it die in México somewhere getting eaten by hyenas..." Jajajaja the hyenas are all over, man!
@andrcarb
@andrcarb 8 ай бұрын
Great stuff my G!!!!!! Keep it up
@vfurt6c
@vfurt6c 2 жыл бұрын
Amazing Amazing!🤩😍💯
@haydnenthusiast
@haydnenthusiast 4 жыл бұрын
Papa: For example, take a curve, for example, but make it a little bigger, for example...
@comrade_marshal
@comrade_marshal Жыл бұрын
Finally, we get a proper definition of displacement
@staristo2355
@staristo2355 4 жыл бұрын
Subbed to both. Immediate like. Keep rocking. Wish many more subscribers to vcubingx!
@RockHardWoodDaddy
@RockHardWoodDaddy 4 жыл бұрын
@simplySwag7567
@simplySwag7567 4 жыл бұрын
why is there no channel like this and 3B1B for High school math and physics :( things are just soo much clearer in these videos...
@comrade_marshal
@comrade_marshal Жыл бұрын
Coz real fun of science and academic pain begin from college
@That_One_Guy...
@That_One_Guy... Жыл бұрын
Why don't you just go to Khan Academy for those stuff
@ilsennodipoi
@ilsennodipoi Жыл бұрын
The exposition was to me very clear and lucid until I started to wonder about how the hyenas got to Mexico.
@mario__265
@mario__265 Жыл бұрын
tysm for this my control design professor was rly bad at his job
@XanderGouws
@XanderGouws 4 жыл бұрын
Love it
@vcubingx
@vcubingx 4 жыл бұрын
Your video was fantastic too ☺️
@XanderGouws
@XanderGouws 4 жыл бұрын
@@vcubingx Thank you!
@sebastiangudino9377
@sebastiangudino9377 5 ай бұрын
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???
@MathIguess
@MathIguess 4 жыл бұрын
Very interesting topic and very well discussed! :D
@vcubingx
@vcubingx 4 жыл бұрын
Thank you!
@matron9936
@matron9936 4 жыл бұрын
Hi Werner
@MathIguess
@MathIguess 4 жыл бұрын
@@matron9936 hello!
@unoriginalusernameno999
@unoriginalusernameno999 4 жыл бұрын
Principle of least action says "pssst, I'm here"...
@xy9439
@xy9439 4 жыл бұрын
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
@benjaminbrady2385
@benjaminbrady2385 4 жыл бұрын
Papa Flammy in the thumbnail. He do be lookin fresh doe. Also, a video on the Lagrangian. That's pretty cool
@MiMaiMix
@MiMaiMix 4 жыл бұрын
awesome teamwork!
@pappaflammyboi5799
@pappaflammyboi5799 4 жыл бұрын
What is the shortest distance in Minkowski space?
@maxthexpfarmer3957
@maxthexpfarmer3957 2 жыл бұрын
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.
@ammarmahdi1422
@ammarmahdi1422 4 жыл бұрын
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 ^^
@AA-gl1dr
@AA-gl1dr 3 жыл бұрын
Wow this just made so many things click. Thank you
@mohannadislaieh3009
@mohannadislaieh3009 4 жыл бұрын
Glorious ❤
@ryans7536
@ryans7536 4 жыл бұрын
Good video!!
@vcubingx
@vcubingx 4 жыл бұрын
Glad you enjoyed it
@duncanhw
@duncanhw 3 жыл бұрын
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.
@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
@eric3813
@eric3813 4 жыл бұрын
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!
@dildobaggins2759
@dildobaggins2759 4 жыл бұрын
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..
@icarpio
@icarpio 2 жыл бұрын
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?
@shivamsinghaswal4995
@shivamsinghaswal4995 3 жыл бұрын
Ah lovely..❤️❤️ That's so beautiful [Math]
@mazyarta
@mazyarta 11 ай бұрын
Great performance
@reynanhenry612
@reynanhenry612 4 жыл бұрын
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.
@pitreason
@pitreason 4 жыл бұрын
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.
@NotTzeentch
@NotTzeentch 4 жыл бұрын
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?
@vfurt6c
@vfurt6c 2 жыл бұрын
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!
@sadied0g
@sadied0g 4 жыл бұрын
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.
@davidzheng4772
@davidzheng4772 4 жыл бұрын
Can you make a video about Algebra 1? I need help solving equations.
@kylehee
@kylehee 4 жыл бұрын
kzbin.info/www/bejne/eKm2laZ_g5mBjLs
@vcubingx
@vcubingx 4 жыл бұрын
@@kylehee hmmmm who is that
@angelmendez-rivera351
@angelmendez-rivera351 4 жыл бұрын
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.
@DipsAndPushups
@DipsAndPushups 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 жыл бұрын
@@DipsAndPushups No, that is not sufficient either, as that is actually just equivalent to the Euler-Lagrange equations.
@rayvianasampaio379
@rayvianasampaio379 4 жыл бұрын
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 .
@joem8251
@joem8251 4 жыл бұрын
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.
@luischinchilla-garcia4840
@luischinchilla-garcia4840 4 жыл бұрын
Absolutely incredible work! Super clean and clear
@LucasDimoveo
@LucasDimoveo 4 жыл бұрын
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
@throwaway692
@throwaway692 2 жыл бұрын
Dude... from where do you get your T shirts?
@danbakana
@danbakana 8 ай бұрын
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 5 ай бұрын
Same question here
@Blastgun1
@Blastgun1 4 жыл бұрын
Getting 3b1b vibes from the animations
@vcubingx
@vcubingx 4 жыл бұрын
Yeah, I use the same animation engine as him (that he created)
@si48690
@si48690 4 жыл бұрын
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 :) .
@insomniaReigns
@insomniaReigns 4 жыл бұрын
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.
@nikhiilrajesh3484
@nikhiilrajesh3484 4 жыл бұрын
Could you share the resources you used to piece together the manim library??
@vcubingx
@vcubingx 4 жыл бұрын
github.com/vivek3141/videos
@magiccarpet9172
@magiccarpet9172 4 жыл бұрын
What is your background? Your explanations are very clear.
@mohammedbelgoumri
@mohammedbelgoumri 4 жыл бұрын
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
@Phi1618033
@Phi1618033 2 жыл бұрын
Has anyone tried to count the number of times the word function is said?
@amitbagde1979
@amitbagde1979 4 жыл бұрын
Love your videos From India
@peterhunt1968
@peterhunt1968 4 жыл бұрын
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 10 ай бұрын
I can explain if you're still interested.
@atticusjones
@atticusjones 3 жыл бұрын
I have never done a day's calc in my life, but this... I understand this.. Somehow.
@nadiyayasmeen3928
@nadiyayasmeen3928 4 жыл бұрын
19:34 Chemistry? But where?
@pitreason
@pitreason 4 жыл бұрын
Quantum chemistry
@omarino99
@omarino99 4 жыл бұрын
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)| < epsilon. Now choose epsilon like f(x0)/2 > 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.
@rayvianasampaio379
@rayvianasampaio379 4 жыл бұрын
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!
@uva1312
@uva1312 4 жыл бұрын
very cool
@saiprasad3584
@saiprasad3584 10 ай бұрын
anybody who knows which vids of 3blue1brown and vsauce are those please link em if uk
@sohailtabarhossain6096
@sohailtabarhossain6096 4 жыл бұрын
It seems we're looking for a function derived out of a BVP; what if there were two initial values instead!?
@underfilho
@underfilho 4 жыл бұрын
what are the videos of vsauce and 3brown1blue?
@vcubingx
@vcubingx 4 жыл бұрын
3b1b: kzbin.info/www/bejne/eZ3HYaNplplmnLc VSauce: kzbin.info/www/bejne/qZzZn51sbL56o9k
@underfilho
@underfilho 4 жыл бұрын
@@vcubingx I really love all vsauce videos, but this one is simply incredible
@vcubingx
@vcubingx 4 жыл бұрын
@@underfilho I agree! That was was really good.
@douglasstrother6584
@douglasstrother6584 4 жыл бұрын
"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.
@THEMathHacker-121
@THEMathHacker-121 3 жыл бұрын
Thanks, enjoyed the read.
@douglasstrother6584
@douglasstrother6584 3 жыл бұрын
@@THEMathHacker-121 That chapter and Ch. 28 on "Electromagnetic Mass" are my two favorites.
@thebeerwaisnetwork8024
@thebeerwaisnetwork8024 4 жыл бұрын
All hail lord Lagrange.
@redaabakhti768
@redaabakhti768 4 жыл бұрын
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
@NovaWarrior77
@NovaWarrior77 4 жыл бұрын
It's da boyz.
@sweetsweetbiswal4677
@sweetsweetbiswal4677 4 жыл бұрын
Thanks sir
@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. 😢
@thangaraj6411
@thangaraj6411 4 жыл бұрын
I have a doubt. For a function, if we need to find a minimum distance between its two end point, we will find it's shortest distance as you said. Then why we derive the lengthy equation to find it's minimum distance.
@ArthurSchoppenweghauer
@ArthurSchoppenweghauer 4 жыл бұрын
Me: "Mom, can we get 3Blue1Brown?" Mom: "No, we have 3Blue1Brown at home." 3Blue1Brown at home:
@T3WI
@T3WI 4 жыл бұрын
Oh hey its my dad
@vcubingx
@vcubingx 4 жыл бұрын
He's my dad too
@PapaFlammy69
@PapaFlammy69 4 жыл бұрын
Mine too
@Jirnyak
@Jirnyak 3 жыл бұрын
flammable math part is not very clear but your is good
@meowwwww6350
@meowwwww6350 3 жыл бұрын
Papa flammy is best!!!
@miguelaphan58
@miguelaphan58 3 жыл бұрын
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
@rahmanayan3383
@rahmanayan3383 2 жыл бұрын
unbelievable
@freddyfozzyfilms2688
@freddyfozzyfilms2688 2 жыл бұрын
6:15 I got so confused cause I thought t was a parameter lol
@javierr1755
@javierr1755 2 жыл бұрын
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.
@markerpullus5830
@markerpullus5830 4 жыл бұрын
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.
99.9% IMPOSSIBLE
00:24
STORROR
Рет қаралды 31 МЛН
СИНИЙ ИНЕЙ УЖЕ ВЫШЕЛ!❄️
01:01
DO$HIK
Рет қаралды 3,3 МЛН
To Brawl AND BEYOND!
00:51
Brawl Stars
Рет қаралды 17 МЛН
Germany | Can you solve this? | Math Olympiad
9:50
Master T Maths Class
Рет қаралды 979
The Brachistochrone Problem
20:44
Good Vibrations with Freeball
Рет қаралды 67 М.
Introduction to Variational Calculus - Deriving the Euler-Lagrange Equation
25:23
Good Vibrations with Freeball
Рет қаралды 415 М.
The Brachistochrone, with Steven Strogatz
16:02
3Blue1Brown
Рет қаралды 1,3 МЛН
The Math of Bubbles // Minimal Surfaces & the Calculus of Variations #SoME3
17:27
Lagrangian Mechanics I: Introducing the fundamentals
22:58
Physics Fluency
Рет қаралды 71 М.
The Delta Operator (Variational Operation)
20:25
Good Vibrations with Freeball
Рет қаралды 57 М.
This Integral is Nuts
23:03
Flammable Maths
Рет қаралды 83 М.
Lagrangian Mechanics - A beautiful way to look at the world
12:26
Up and Atom
Рет қаралды 536 М.
99.9% IMPOSSIBLE
00:24
STORROR
Рет қаралды 31 МЛН