« first day (4683 days earlier)      last day (543 days later) » 

01:36
In the Lagrangian formalism, $L$ itself is NOT a functional and $q$ and $\dot q$ are not functions of $t$, but as soon as we write the action, it becomes a functional.

Before: $L(q, \dot q, t)$

After: $S = \int_{t_1}^{t_2} L(q(t), \dot q(t), t)$

What is it that allows us to decide that: "ah, now, we can now start saying $q$ is a function of $t$ and $\dot q$ then is automatically the derivative of it ? Why can we do that ?" Is there some solid explanation about this ? I mean before we wrote an action, $L$ was thought to be the function of $q, \dot q$ which didn't depend on t, but in actio
 
1 hour later…
03:02
@Mr.Feynman it is also because miao miao got annoyed at the same time and kept sending them up to starboard
@Relativisticcucumber One way to see it is that, when you have two states that ought to be degenerate in energy if present alone, but now are allowed to tunnel between themselves, then one of the superposition states preferentially explores both states at the same time, whereas the other one keeps swapping between the two. For the bonding sharing state, the KE is obviously relaxed from the initial tighter bound state to the final sharing state, and thus there would be energy splitting.
03:24
@Relativisticcucumber poof poof
@Chemistry ACM had a really deep viewpoint on this.
However, I am extremely certain that you are not yet at the mathematical level needed to comprehend ACM's answer.
(because we have been chatting for a while)
@Chemistry What I usually help by emphasising to the beginning student, is that the magic happens in the E-L equations step. That is, the quantity $x^\prime$ is related to $x(t)$ as its derivative, but note that when we wrote down the action integral, we have yet to specify the particular path. As such, all higher derivatives of the position are free variables, except that obviously they still have to have the accounting relationships.
It is when we try to extremise the path in the E-L equations does the path get specialised onto the extremum path, and then $x^\prime$ is completely pinned down and no longer a free variable
 
3 hours later…
06:03
@ACuriousMind good god
funnily enough i think i got confused at the same point in that excerpt as the initial source i was reading
but now i get it
yipee
06:20
@naturallyInconsistent that reminds me of this
@Mr.Feynman hahahaha meow meow meow meow
@Relativisticcucumber yay
06:35
swaggums
i hope u get rid of the c bomb soon @naturallyInconsistent
do u get it ^ @Mr.Feynman
@SillyGoose H O N K
@SillyGoose white iverson
@Relativisticcucumber get what?
What? @Relativisticcucumber
06:53
u r not a true BB fan
@SillyGoose's favorite moment of breaking bad is when jesse is like "you know.... the c bomb" in reference to white's cancer
@Relativisticcucumber oh, it's just that I watched it in Italian so I don't really reconnect some references in English
Except "say my name" and "yo" and a bunch of other lines
Also "I am danger"
How do they say "Let's cook" in Italian and is there any accordeon playing when they say it
Oh wait, was there even a quotation? Maybe were you suggesting to read the message above? I'm so sleepy
@Slereah "Cuciniamo". Yes, there is always a Mandolin playing in the background
fqq
fqq
07:07
@Chemistry you are on the right track, your confusion is very common and due to the standard notation being sloppy (which is ok if you already know what's going on, but bad for teaching).
c mech seems much less principled than quantum mech o_O
@Relativisticcucumber i have repurposed the phrase "the c bomb" for the covid bomb
@Mr.Feynman LMAO that line was cringe
well it seems like c mech would turn one into a more creative solver of problems
@SillyGoose yes i assumed u werent making a joke about @naturallyInconsistent having cancer
that would be inappropriate
you have boundaries
without the conditions
LOL
fqq
fqq
The Lagrangian is just a function on $\mathbb{R}^{2d+1}$, let's write it $L(x, v, t)$. The action is a functional $S[q]=\int L(q(t), q'(t),t) dt$
07:11
oh yay we have full party here!
missing john, though
but then kitty gotta go; get the covid seen by doc
they really dont care about anything now; just asked meow to take regular taxi
hope u feel better !
u deserve to be picked up in a limo
i got extreme foreheadache for some reason
its very distracting. i cant read anything
You never read anything
07:20
ill pretend i didnt read that
@Relativisticcucumber stay out of my territory
08:05
0
Q: What happens after decay of atoms radioctivity?

XhoniUltraviolet waves can cause many biological deseases such as cancer or tumor or even make a photosinthesis process be quicker and that can cause also genetic disorders in generations .I found an article speaking of all radiation on stratosphere many nuclear weapons and Mega Tones of dust are in t...

hoooooooo boy
That is one big pile of misconceptions
(but still a good question. Hard to answer well, though.)
08:37
@naturallyInconsistent I was asleep, sorry. I think I didn't understand your answer. Before moving further, best would be just to agree on these.

1. I'm saying that in the L step, $q$ and $\dot q$ are not functions of $t$. This is what's said here - https://physics.stackexchange.com/a/2895/366606 . so L is just a function of two variables and is not functional.

2. If (1) is correct, which I believe it is, then at that step, $\dot q$ can NOT be a derivative of $q$. So we can just say to have $v$ instead of $\dot q$ to avoid confusion. If they are not functione of $t$, then you can't just
@Chemistry see this answer of mine for the proper mathematical explanation of where the Lagrangian/Hamiltonian live and when they become functions of paths/time
@ACuriousMind I read it and it makes me think both of the assumptions I just said is correct. no ? as @naturallyInconsistent said, i'm not at that level of mathematics to get all that, so i prefer you to first agree with me if those 2 assumptions are correct before I move further
it sounds right to me but I'm not sure what "in the L step" refers to
it means in the first step, before getting to action. It's when we write the action that q and $\dot q$ are functions of $t$
08:55
You know the whole principle of least action thing kinda feels like a scam considering it was conceived for optics and it was done before proper measurements of the speed of light
Just kind of a guess
@Chemistry yes
@ACuriousMind

In the Lagrangian formalism, $L$ itself is NOT a functional and $q$ and $\dot q$ are not functions of $t$ and $\dot q$ is not a derivative of $q$, but as soon as we write the action, it becomes a functional.

Before: $L(q, \dot q, t)$

After: $S = \int_{t_1}^{t_2} L(q(t), \dot q(t), t)$

What is it that allows us to decide that: "ah, now, we can now start saying $q$ is a function of $t$ and $\dot q$ then is automatically the derivative of it ? Why can we do that ?" Is there some solid explanation about this ? I mean before we wrote an action, $L$ was thought to be the functio
It's just concatenation of functions
consider a function on the plane $f(x,y)$
and a curve in the plane $c(t) = (x(t),y(t))$
you can form $f(c(t))$, and write it as $f(x(t),y(t))$
this is exactly what happens when you pass from the Lagrangian with independent arguments to the integrand of the action
but if in L, they were not functions of t, what made you to believe that in the action, they can just be functions of t ?
I don't need to "believe" that, I'm just plugging one function into another
if you have a function $f: A\to B$ and a function $g : B\to C$ you can always form the concatenation $g\circ f : A\to C$
that's what's happening here
09:05
which one is your A, B, C and f, g in our case ?

$q$ and $\dot q$ were not functions in L
you have the "pure" Lagrangian as a function $\mathbb{R}^{2n}\to \mathbb{R}, (q,v)\mapsto L(q,v)$ and a path $\mathbb{R}\to\mathbb{R}^{2n}, t\mapsto (q(t),\dot{q}(t))$ and we're plugging those into each other to get a function $\mathbb{R}\to\mathbb{R}, t\mapsto L(q(t),\dot{q}(t))$
and the action is then just integrating this function
@ACuriousMind

first, we got L which is function of $q, \dot q$ ($q$ and $\dot q$ are not functions of $t$ and $\dot q$ is not derivative of $q$).

This L is just single value, but we need its values at every point in time, and if so, its value at any moment in time would always depend velocity and position. but position and velocity also depend on time.

My question is, that I get why in the action, q and $\dot q$ are dependent on $t$, but then I don't get why it's so wrong to say that in the Lagrangian only(without action), they can't depend on $t$. We coud just say that even in $L$, q an
L in the end is kinetic minus potential energy and we can just say that kinetic energy and potential energy depend on time even without before getting to action
09:20
I'm not really sure I understand the question
but I think the answer is some sort of "you can't write down the Euler-Lagrange equation if you just know about $L[q](t) = L(q(t),\dot{q}(t))$"
I understand that in the action integrand, q and $\dot q$ are functions of $t$. but i don't get why in the L itself(not in action integrand), $q$ and $\dot q$ are not functions of t
note that the function $L[q] : \mathbb{R}\to\mathbb{R}, t\mapsto L(q(t),\dot{q}(t))$ is just a function from the reals to the reals, it has no partial derivatives such as $\frac{\partial}{\partial q}$
you need to think about the "component" function $L : \mathbb{R}^{2n}\mapsto \mathbb{R}, (q,v)\mapsto L(q,v)$ to even be able to say what the partial derivatives appearing in the E-L equations are
note also that $L[q]$ already requires that we picked a path to plug into $L$
you made an argument that in the action, $q$ and $dot \q$ depend on $t$ because we need to know value of $L$ at every moment in time, and in order to know that, we need to know potential and kinetic energy at every moment in time and because of that, they depend on $t$.
I don't think I made any such argument
I just told you that we get the integrand of the action by plugging a path into the time-independent Lagrangian
I didn't say anything about "needing to know value of $L$ at every moment intime"
that was all just stuff you said and I didn't entirely get :P
123
123
Hello Everyone...
09:26
and what's wrong with what I said ? action must be minimum, and behind the hood, you sum up of all the L and to do that, you need L at every moment in time. This still seems correct.
I don't like the phrase "L at every moment in time"
the Lagrangian $L(q,v)$ is just a rule for how you assign a number to a pair of position and velocity
it does not carry any notion of "time" with it yet
exactly, I said all that about action.
and then, I asked why L doesn't carry any notion of time yet :P
perhaps we need to take a step back and talk about states
Newton's equations of motion are 2nd order differential equations
so - under some mild assumptions - it suffices to know position and velocity of a physical system at one point in time to know how it behaves at all times
I know wheere you're going with this.

https://physics.stackexchange.com/a/7802/366606
read the small of it starting at "on one hand"
hence a tuple of position and velocity $(q,v,t)$ - position and velocity and the time at which those were measured - unique specifies the state of a physical system
you can compute the value of $L$ for this state without knowing anything about any paths $q(t)$ or whatever - just compute $L(q,v)$
09:33
well, you can compute it, but it gives you absolutely nothing. you will know L, but what does it help you with ?
nothing yet
I'm just saying you can do that
exactly, so if L could be $L(q(t), \dot q(t), t)$, why would it be wrong
@Chemistry because at this point we don't have any $q(t)$
I'm not talking about paths yet
I'm just talking about states
the whole point of Lagrangian mechanics is now that the paths $(q(t),\dot{q}(t),t)$ through state space which are solutions to the equations of motion extremize the action $\int L(q(t),\dot{q}(t),t)$ and you get the Euler-Lagrange equations as equations of motion. The Euler-Lagrange equations contain partial derivatives like $\frac{\partial L}{\partial q}$
these partial derivatives only make sense if you started with an $L(q,v)$ that is not just a function of $t$
you cannot take a partial derivative of the function $t\mapsto L(q(t),\dot{q}(t),t)$, you have to take a partial derivative of $L(q,v)$ to get $\frac{\partial L}{\partial q}(q,v)$ and then plug a path into it to get $\frac{\partial L}{\partial q}(q(t),\dot{q}(t),t))$
it's just how math works
this subject is mind blowing
every single time, I realize that i didn't know something
it is typically poorly explained
Students never really see simpler variational problems like just "what is the shortest curve"
09:43
true, but not sure how can this be explained well ? as feynmand said, he was preparing the notes for his lecture on this subject and he ended up in a state that he didn't unddertsand something even though of his 20 years of experience in this at that time
@ACuriousMind let me think a little bit more to come up with a good question
@Slereah I thought those are common!
I don't know in general but we certainly didn't see it at my uni
But who knows, it's been a while
I think it was introduced with Maupertuis' principle?
Leonard susskind explains and mentions very good examples, problem is that every word must be listened to very carefuly, but when you're a student, you don't know whats so important and what not. you get a feeling that you undeerstand it, but later you realize you don't.
Also not everyone gets to have Susskind as a teacher
09:55
i didn't. his videos are on youtube for 13 years :D
I generally think that all the Susskind stuff are unreadable/unwatchable
@Chemistry I was in school over 13 years ago 😔
i wouldn't agree. he is spectacular. but his problem is that sometimes, he omits something or mentions something that confuses you more
That is not sometimes.
That is just about every lecture
Sometimes for some topics at uni you just get my elastic solid mechanics professor, who did not actually want to teach a class and just wanted to go back to his office
and did not prepare much of a presentation
09:57
well, i'm with you, but do we have better in terms of lecturers online ?
If you want spectacular, you go for Lewin
Never watched him, but i know his face.
Gilbert Strang is also spectacular, his linear algebra series. But he is now so old that he cannot deliver the newest lectures with the energy he did before
I was so sad when Lewin had his scandal
the problem is such professors must be at most universities, because you get a chance to ask questions in person.
Like, I never understood why people were enamored with the likes of Susskind, Kaku, Greene, etc. They just arent the kind of lecturer.
Instead, Sean Carroll, at least I can see his charm.
Tyson is able to deliver a fun lecture
10:01
you are very well educated and you know it from your point of view now, but when you're a student, it's just, you love Susskkind.
Weinberg and Gell-Mann had gravitas.
if you had watched susskind at your first year of learning physics, you would have loved him i'm sure
@Chemistry and that is wrong. I knew about Susskind even back when I was studying.
really ? my bad then
He was just utterly unwatchable back then
10:04
math question.

Imagine we got f(x(t), y(t)) = 2x + y. (x and y are functions of time). can you do $\frac{\partial f}{\partial x}$ ? and if not, why ?
@Chemistry you can
hm, then what did @ACuriousMind mean that if L had been a function such as $L(q(t), \dot q(t), t)$, euler lagrange ($\frac{\partial L}{\partial q}$) wouldn't be possible ?
if we had said that L is even in the beginning such as $L(q(t), \dot q(t), t)$, we still would arrive at the euler lagrange equation. and then doing euler lagrange to our L which is $L(q(t), \dot q(t), t)$ would still yield the same thing
fqq
fqq
It doesn't really make sense to define f like that
let's just move to L then. Let's just say L is defined such as $L(q(t), \dot q(t), t)$ even without action. Even then, we will still get the same euler lagrange equations
@Chemistry the point is without an $f(x,y)$ (no implicit $t$) it makes no sense to write $f(x(t),y(t))$
fqq
fqq
10:08
If you write down all functions carefully (including domain and codomain like ACM did above for the Lagrangian) the confusion clears up
what do the first and second slot (separated by the comma) mean if there's no underlying two-slot function $f: \mathbb{R}^2\mapsto\mathbb{R},(x,y)\mapsto 2x+y$?
@ACuriousMind just so I didnt read wrongly, did you exclude time-dependent Lagrangians for the moment?
if you write it without assuming some underlying $f(x,y)$, you have to write just $f(t) = 2x(t) + y(t)$ and there you can even say what $\frac{\partial}{\partial x}$ is supposed to mean
@naturallyInconsistent I don't think they add anything to the discussion of this particular confusion
@ACuriousMind gotcha
Yes, I also think that all such treatments should start simple and ignore such complications
so its wrong to say $f(x,y) = 2x + y$ and put a constraint that x and y are behind the hood functions of t ?
10:13
@Chemistry no, we are saying you have to have this correct first
@Chemistry It, uh, just doesn't mean anything, mathematically?
this whole mess is caused by physicists not being precise about what functions actually are and you keep being exactly as imprecise :P
the only cure is to be rigorous about functions, derivatives, compositions, etc.
@Chemistry can u please summarise ur confusion
then, it's wrong to say $f(x,y) = 2x +y$ when x and y are functions of t. we must write $f = 2x(t) + y(t)$
neither of those is a function definition precise enough for my purposes here
@Chemistry nooo. You must first have $f(x,y)=2x+y$ so that you may later deal with $f(x(t),y(t))=2x(t)+y(t)$
10:17
did you notice how I kept writing the (co)domains above when I talked about the functions? I didn't just write $L(q(t),\dot{q}(t))$, but $\mathbb{R}\mapsto\mathbb{R}^{2n},t\mapsto (q(t),\dot{q}(t))$, etc. It's really important to do this here and realize which functions can be composed and which can't etc.
@Chemistry the function f(x,y) is defined on the 2D plane R^2. when u later say that x and y are functions of t, u r just restricting to some parametric curve inside that 2D plane
we write $L(q,v)$ and $L(q(t),\dot{q}(t))$ but those are not, mathematically speaking, the same function, which only becomes clear when you write down the (co)domains as I did:
1 hour ago, by ACuriousMind
you have the "pure" Lagrangian as a function $\mathbb{R}^{2n}\to \mathbb{R}, (q,v)\mapsto L(q,v)$ and a path $\mathbb{R}\to\mathbb{R}^{2n}, t\mapsto (q(t),\dot{q}(t))$ and we're plugging those into each other to get a function $\mathbb{R}\to\mathbb{R}, t\mapsto L(q(t),\dot{q}(t))$
I get that they are not the same.

in action, you do $L(q(t), \dot q(t), t)$. and I'm saying what if we do it even without action
we would have $L(q(t), \dot q(t), t)$ even without action.
then, why can't I do $\frac{\partial L}{\partial q}$ ?
@Chemistry A function $\mathbb{R}\to\mathbb{R}$ does not have partial derivatives+
it's not clear to me what u r asking
10:23
like, you just can't apply the definition
there is no partial derivatives of the function $t\mapsto L(q(t),\dot{q}(t))$, it just has a single "total" derivative usually called $\frac{\mathrm{d}}{\mathrm{d}t}$. Partial derivates exist for functions whose domain is some $\mathbb{R}^n$ with $n>1$, in this case the $\mathbb{R}^{2n}\to\mathbb{R},(q,v)\mapsto L(q,v)$
so, the sum up is we can't do partial derivative for a functional
$t\mapsto L(q(t),\dot{q}(t))$ is not a functional
is not it a function of function ? :D
no, it's a function $\mathbb{R}\to\mathbb{R}$!
it takes a number $t$ and assigns to it a number $L$ spits out
when it takes a number $t$ ,first it has to calculqte $q(t)$ and insert the whole $q(t)$ in the L
10:28
the functional here is the action that takes a path (=function) $q : \mathbb{R}\to\mathbb{R}^{2n}, t\mapsto (q(t),\dot{q}(t))$ and assigns to it the number $\int (L\circ q)(t)$
@Chemistry maybe, but that doesn't change that its signature as a function is just $\mathbb{R}\to\mathbb{R}$, which is not the signature of a functional
u cud re-write this as a functional F[t, q(t)] = L(q(t)), but this is complicating it unnecessarily
this functional takes a path q(t) and a time t as input
Not sure why it's confusing.

function maps a number to number. functional maps a function to a number.

f(x) = 2x+3. when x=3, f(x) = 9, so it mapped 3 to 9.

but functional, maps a function to a number. So we got some main function that accepts its input/argument as a function.

L(q(t)) = 10q(t)

when q(t) is 2t, L(q(t)) = 20t so it didn't map the function to a number, but it mapped function to a function which is not functional.

but in action, since we got definite integral, it maps a function to a number.
but i get your point that 10q(t) is something that we don't have a definition for in math
i think ur confusion is just a notation thing. when we write f(g(x)), the notation, by definition, means the composition of f and g, and ONLY x is the input here
if u want to make g the input to ur function, u wud hav to use a different notation than f(g(x))
g(x) = 2x+3

f(x) = 5x + 10

f(g(x)) = 5(2x+3) + 10

didn't I input the whole g(x) into f ?
g(x) is the input of f but it's not the input of f(g(x))
f(g(x)) is one single function
if u want to make g an input, u dont use the notation f(g(x)). i gave an example notation f[g(t),t]
in this notation, im assuming square bracket means a function input
10:44
ok, then clear.

in the case of $L(q(t))$, in the most outer function which is the whole $L(q(t))$, the input is still $t$
now, back to my question,

if L had been $L(q(t), \dot q(t))$, that doesn't mean I can write for example $L = 10q(t)$
I still should write L = 10 t^2 for example
in which case I can't do partial derivative anymore
but in action, this becomes possible. What's the functional notation ? It can't be S(q(t)). I don't want to google, so we are all on the same page
it's S[q(t)] iirc. square bracket conventionally implies that u r inputting a function
and what if we could say L is a functional ? okay, i get that notation $L(q(t), \dot q(t)$ is wrong, but we can come up with a different notation. what would be wrong ?
im not sure about ur other questions. it just seem like splitting hairs.
10:52
@RyderRude my question was that in the action, q and $\dot q$ is a function of t. what if we just said that even in $L$, q and $\dot q$ is a function of t as well ? I get that notation $L(q(t))$ would be wrong, but we can think of other notation
@Chemistry the L(q(t)) notation is fine as a function of t
yes, i meant we could come up with notation such as L is a function of q which is function of t
the same way we got it in the action
u can define an L' like that but it wont be the lagrangina
the lagrangian is not a function of time or a path
@Chemistry we often write function arguments in square brackets
and this is important because we want to take partial derivatives of the lagrangian
10:55
my whole discussion is that in the action, q and q' are functions of t, while in the L itself only without action, q and q' are not functionts of $t$ and I said that if it could be, what would go wrong. I'm asking what could go wrong
nothing would go wrong. u can define a function L' like that. but it's not the lagrangian
u r just defining a new function/functional
ok, so lets do it.

$L =\frac{1}{2} m\dot (q(t))^2 - mgq(t)$
yes. this takes a path as input and spits a path
now, if we put it in the action exactly like this, are you saying that we won't get euler lagrange ? I say we will
but u shud write it as L[q(t)] to be clear i guess
10:58
yeap, will do from now
@Chemistry nothing "goes wrong"
I think you're barking up the wrong tree here
bear with me 2 min and you will see what I mean so
now, if we put it in the action exactly like this, are you saying that we won't get euler lagrange ? I say we will, do you ?
there's nothing "wrong" with the function $t\mapsto L(q(t),\dot{q}(t))$, which is "the Lagrangian where q and q' are functions of t"
@Chemistry the action is defined as $\int L(q(t), v(t)) dt$. The L here does not take a path as input
@Chemistry okay, I think we've talked completely past each other
11:01
but u cud re write it as $\int L'[q(t), v(t) ,t] dt$ where L'[q(t), v(t), t]= L(q(t), v(t)) @Chemistry
again, everything here dissolves once we are careful about all the domains and what is an input to what
so u hav now written an action in terms of ur functional
@RyderRude and now, you wouldn't get euler lagrange from it ?
it's not exactly ur functional. it's somewhat diffeeent
@Chemistry it's the same integral with a different notation, so the derivation goes the same way. but in the EL equation u would not have L'. u wud still have L
because the EL eqn uses partial derivatives wrt q and v
so the L there cant be a functional i think
so we arrived at the same point where we can't do $\frac{\partial L}{\partial q}$ for L when L is $\frac{1}{2} m \dot q(t)^2 - mgq(t)$
11:06
1. Our goal is to get to the action, a functional $S : [\mathbb{R},\mathbb{R}^{2n}]\to \mathbb{R}$, where by $[-,-]$ I mean the space of functions between left and right argument in the brackets.
2. We have a function $L : \mathbb{R}^{2n}\mapsto \mathbb{R}, (q,v),\mapsto L(q,v)$
3. Function composition is itself a map $L_\ast: [\mathbb{R},\mathbb{R}^{2n}]\mapsto [\mathbb{R},\mathbb{R}], q\mapsto L\circ q$.
4. Integration is a map $I : [\mathbb{R},\mathbb{R}]\to \mathbb{R}, f\mapsto \int f$.
5. The action is the composition $S = I\circ L_\ast$.
I challenge you to write down a similarly mathematically correct definition of the action without using the $L$ from my second point.
My "you won't get partial derivatives" was intended to avoid such a more abstract argument, but apparently it only sowed more confusion
@ACuriousMind dont worry, this is really just that the topic is incredibly difficult to teach, and you had it even worse because someone else was disturbing the delivery
(well, I also had to leave for a bit to do some actual work :P)
thanks so so much. I'm writing down everything now and see where it takes me. I will update you soon <3
 
1 hour later…
12:17
@ACuriousMind The action can be written as $S[q(t)]=\int L[q(t),t]dt$ where $L[q(t),t_0]=\frac{1}{2}m(\frac{dq}{dt}_{t=t_0})^2$ is a functional from [q(t)]xR to R.
the issue isnt that the action cant be written like this. the problem is indeed that in the EL equation, the L has to be partially differentiates wrt the two variables that it is a function of
then you're saying that if L is $\frac{1}{2} m \dot q(t)^2$, you can't do partial derivate of it with respect to $\dot q$. @RyderRude
yes. this is a functional whose domain is [q(t)]xR. so those r the two arguments wrt to which u can take derivatives
@RyderRude I wasn't talking to you and that's not a proper mathematical definition
@ACuriousMind why is it not
the problem remains not being careful about the domains of functions
12:25
I think my problem will be solved once I understand why $\frac{\partial L}{\partial \dot q}$ can't be done for $\frac{1}{2} m\dot q(t)^2$
$\dot{q}(t)$ is a tangent vector, you need to feed it into a function on tangent space to get a number, you can't "just square it".
@Chemistry Well, that's easy: What do you think the definition of $\frac{\partial L}{\partial \dot{q}}$ is?
when you change $\dot q$, how much the $L$ changes, but you only change $\dot q$, nothing else
that's a bunch of words, not a mathematical definition
it is, without doubt, a "proper mathematical definition". It is a clear cut recipe to take a trajectory as input and get the action as output, while taking the integral of a functional
again, the problem is physicists being imprecise with the math, the cure is being precise with the math. Nothing else will save us - we will err in circles endlessly if we aren't strict about this
12:27
i can ask this on math SE if anyone says im wrong
you meant my definition of $\frac{\partial L}{\partial \dot q}$ ? I think my definition is correct
in fact, i wil probably, since im without reason accused of being wrong
this shud b clear already $S[q]=\int L[q, t_0]dt_0$ where $L[q,t_0]= \frac{1}{2}m(\frac{dq}{dt}_{t=t_0})^2$
u dont need differential geometry to define derivatives. there is no mention of any manifold so far. we r just talking about mathematicals functions
@Chemistry I mean what you said is not a definition
it's just what the derivative "is"
for instance, the (total) derivative of a function $f : \mathbb{R}\to\mathbb{R}$ is defined by $f'(x) = \lim_{h\to 0}\frac{f(x+h)-f(x)}{h}$
that's a definition
correct, i know that as well, but for partial, you only do it for $\dot q$
and how do you propose to do that without having a function $L(q,\dot{q})$?
remember, you want to only have the function $L[q] : \mathbb{R}\to\mathbb{R}, t\mapsto L[q](t) = L(q(t),\dot{q}(t),t)$
how do you write down the definition of $\frac{\partial L}{\partial \dot{q}}$ without reference to the "timeless" version $L : (q,v)\mapsto L(q,v)$?
12:38
The action is a function on the whole ass function while the Lagrangian is only the function at a point in time
You can't get informations about the derivative at a single point in time
hence you will need the value at that point
the $L[q]$ doesn't know anything about a "change in $\dot{q}$", after you've plugged in the path it's just a function of $t$ and of $t$ alone
and as many derivatives as you need, too
It's like trying to guess the speed of a car in a photo
lets try easier one first.

L = 10mq(t)

what is $\frac{\partial L}{\partial q}$ ?

we got 10mq(t), but whatever function you take for q(t), the answer of $\frac{\partial L}{\partial q}$ would always be 10m.
@Chemistry Again, what is your mathematical definition by which you arrived at $10m$?
You can only look at this as a function $L(t) = 10mq(t)$,
imagine q(t) is 5t + 3

we got $10m(5t+3)$

the derivative is $\frac{10m(5t+3 + \epsilon) - 10m(5t+3)}{\epsilon}$
12:41
no I want to imagine $q(t) = t^3 - t^2 + \sin(t^{45})$
ok, let me try
making $q(t)$ linear in $t$ is cheating
@Chemistry no don't do that
we got $\frac{10m(t^3 - t^2 + sin(t^{45} + \epsilon) - 10m(t^3 - t^2 + sin(t^{45} + \epsilon)}{\epsilon} = 10m$
my point isn't doing this for any particular $q(t)$
my point is that you need to supply a definition that works for any $q(t)$
i know but whateveer q(t) you take, answer would be 10m
show one example of q(t) for which my definition wouldn't yield 10m
12:43
@Chemistry the answer by plugging this into what equation?
@Chemistry I'm sorry, again: Which definition
you haven't presented a definition
you've presented me with an example
Zeno warned us a long time ago that we can't know the motion of an object at a single instant in time
2
L = 10mq(t)

The way I do differentiation with $\dot q$ is, $\frac{10m(q(t) + \epsilon) - 10mq(t)}{\epsilon}$
@Chemistry pls remember that differentiation can only b done wrt to the arguments of a function. if u define L[q(t)]=10q(t), u can only do functional differentiation of this
but if u define L(q)=10q, u can differentiate this wrt to q
@Chemistry stop choosing some particular form for $L$
what i said is not completely true, but it's close enough for this discussion
12:46
you need to give some general definition for the partial derivative of an $L$ that depends only on time
because the moment you're choosing a particular form you're doing precisely what I said: Your $L(q(t))$ are always of the form $L\circ q$ for some $L(q,v)$ I have talked about at length and you're just "looking at it" to partially differentiate that $L$
i.e. the existence of the underlying $L(q,v)$ is what gives you the ability to get a partial derivative
maybe an actual example does help: Consider the free particle with Lagrangian $L(q,v) = \frac{1}{2}mv^2$ and the curve $q(t) = t$ with unit velocity $\dot{q}(t) = 1$. We have $L(q(t),\dot{q}(t)) = \frac{1}{2}m\cdot 1^2 = \frac{m}{2}$
that's a constant, all possible derivatives you can do on this are just 0
however, on the original you have $\partial_v L(q,v) = mv$ and so $\partial_v L(q(t),\dot{q}(t)) = m$
@Chemistry why are you trying to make the Lagrangian into a functional?
In mathematics, particularly in the area of functional analysis and topological vector spaces, the vague topology is an example of the weak-* topology which arises in the study of measures on locally compact Hausdorff spaces. Let X {\displaystyle X} be a locally compact Hausdorff space. Let M ( X ) {\displaystyle M(X)} be the space of complex Radon measures on X , {\displaystyle X,} and C...
good name
13:17
@Slereah and he was right, nothing can move in zero amount of time.
I mean his conclusion was that nothing can move at all
Which I'm not sure I'd agree with
Experience far out weights that conclusion.
that was Diogenes' counterpoint
Indeed.
Although
> One should not be too hard on Diogenes, however, for it is also reported that he beat up a pupil who was content with his refutation, exclaiming that he had given reasons which the pupil should not accept without additional reasons of his own.
13:21
:(
Proof by brutal use of force.
Protection of the ego lives on.
Btw, I apologize for telling naturallyInconsistent to "get off his high horse," that was completely uncalled for and rude of me.
14:10
this is from Veronique Sanson : youtu.be/QAIyQbHTaME?si=ISKqtWBlOg2Y8V_D
 
1 hour later…
15:13
@user726941 oh, I like to be on the high horse
15:25
What's wrong with him
 
2 hours later…
17:48
Is there a fundamental difference between the Dirichlet and von Neumann boundary conditions
Or are they both kinds of constraints on the jet space
one gives you D-branes and the other doesn't :P
do you get
N branes
18:18
no, because a Neumann condition doesn't define a geometric structure
Trying to figure out if there is some way to do rigid body motion with Lagrangian mechanics but it's hard finding anything on it
Even looking into the weirder varieties of it
I have strong doubts that you can have rigid bodies even classically without some pretty big rule bending, but it's hard to find anyone actually talking about rigid bodies in those terms
The common way of dealing with rigid bodies with Lagrangian seems to be for the configuration space to be angular velocity vectors
19:10
Not sure what you mean
What's wrong with the usual way
19:25
@MoreAnonymous How can GR be discovered without first assuming SR and invoking the equivalence principle based on the behavior of physics in non-inertial frames, even in Newtonian mechanics we can't do anything without first going to inertial frames and fixing things there
@bolbteppa hmmm?
0
Q: Reaching the special relativistic formulation from GR?

More AnonymousSo here's 2 ways I know of obtaining the special relativistic theory from general theory of relativity. The equivalence principle Taking the derivative of soley the stress energy tensor and the metric setting equal to the metric to Lorentz metric. Are both of these correct and equivalent?

@bolbteppa Well then what would 2 give you?
Don't know what you're talking about in 2
So 1 as I understand is an equation of motion
2 is also an equation of motion
no?
19:31
and your 1 seems to be saying we obtain SR from GR via the equivalence principle, when in fact we get SR from GR simply by setting $g_{\mu \nu} = \eta_{\mu \nu}$, we get GR from SR via the equivalence principle not the other way
@bolbteppa I mean u can think of SR as an approximation of GR
(Unless we want to get into a big debate about what our starting point is, it's very difficult to take some crazy GR starting point as your very first thing)
Also you do not get tidal forces from SR no?
I just wanna know if both approximations gimme SR?
They reduce to SR which you already know exists, you're not discovering the novel existence of SR this way (at least in most expositions of physics)
@bolbteppa Its not obvious to me they are equivalent
And I'm okay not pursuing novelty
I'd any day settle for my curiosity instead
@bolbteppa after robs answer I can see what you were going on about.
I'm talking about SR at a point
20:09
Looks like your question is: are (1) [reducing GR to SR locally via Riemann Normal Coordinates] and (2) choosing the Minkowski metric from the get-go, equivalent? Obviously in (1) you are not actually setting $g_{\mu \nu} = \eta_{\mu \nu}$ everywhere you're showing that we can treat $g$ as if it were $\eta$ in some neighborhood in some coordinates
@bolbteppa Yes
how different are both equations of motions
like got an example
?
20:33
*how different are both equations of motions + how bad is the error

« first day (4683 days earlier)      last day (543 days later) »