Maximal Symmetry Action

ๆœฌ็ฏ€็‚บ็ญ†่€…ๆŽจ่ซ–๏ผŒ้‚„ไธ็ขบๅฎšๆ˜ฏๅฆๆญฃ็ขบ
ๅ‰้ขๆๅˆฐLagrangian L็š„ไธๅ”ฏไธ€ๆ€ง๏ผŒๆˆ‘ๅ€‘ๅฏไปฅๆทปๅŠ ๅ…จๅพฎๅˆ†้ …\(\dot{f}\) ่€Œไธๆ”น่ฎŠEoMใ€‚ไปฅไธ‹ไพ†่จŽ่ซ–ๆทปๅŠ \(\dot{f}\) ๅฐ่ซพ็‰นๅฎš็†็š„ๅฝฑ้Ÿฟใ€‚ๆˆ‘ๅ€‘ๅช้œ€ๅ…ˆๅฐ‡\(L\to\bar{L} =L+\dot{f} \)ๆ”นๅฏซ็ต่ซ–ๅณๅฏ $$\delta S=\int {d\over dt} \left[{\partial \bar{L} \over \partial \dot{q} } \Delta q-\left({\partial \bar{L} \over \partial \dot{q} } \dot{q} -\bar{L} \right)\delta t\right] dt$$ $$=\int {d\over dt} \left[\left({\partial L\over \partial \dot{q} } +{\partial \dot{f} \over \partial \dot{q} } \right)\Delta q-\left(\left({\partial L\over \partial \dot{q} } +{\partial \dot{f} \over \partial \dot{q} } \right) \dot{q} -L-\dot{f} \right)\delta t\right] dt$$ ๆณจๆ„\(f=f(q,t)\)๏ผŒ้ฉ็”จdot cancellation๏ผŒ\({\partial \dot{f} \over \partial \dot{q} } ={\partial f\over\partial q}\)๏ผŒๅฆๅค–ไปฃๅ…ฅ\( p={\partial L\over \partial \dot{q}}\)๏ผŒๆ‰€ไปฅ $$\delta S=\int {d\over dt} \left[\left({\partial L\over \partial \dot{q} } +{\partial f\over\partial q}\right)\Delta q-\left(\left(p +{\partial f\over\partial q}\right) \dot{q} -L-\dot{f} \right)\delta t\right] dt$$ $$=\int {d\over dt} \left[\left({\partial L\over \partial \dot{q} } +{\partial f\over\partial q}\right)\Delta q-\left(p\dot{q} +{\partial f\over\partial q}\dot{q} -L-\dot{f} \right)\delta t\right] dt$$ $$=\int {d\over dt} \left[\left({\partial L\over \partial \dot{q} } +{\partial f\over\partial q}\right)\Delta q-\left(H -{\partial f\over\partial t} \right)\delta t\right] dt$$ ๅฆ‚ๆžœ็•ถๅŽŸๆœฌ็š„Lagrangian \(L\)ไธๅ…ทๅ‚™ๅฐ็จฑๆ€ง๏ผŒๆˆ‘ๅ€‘ๆœ‰ๆฉŸๆœƒ้€้Ž\({\partial f \over \partial q}\)ๅšไฟฎๆญฃ๏ผŒๅ› ็‚บ\(f=f(q,t)\)ๆ‰€ไปฅ\({\partial f\over\partial q}={\partial \over\partial q}f(q,t)\)๏ผŒๅช่ฆ\({\partial L\over \partial \dot{q} }\) ไธๆ˜ฏ\(\dot{q}\) ็š„ๅ‡ฝๆ•ธ๏ผŒๆˆ‘ๅ€‘ๅฏไปฅ็”จ\({\partial f\over\partial q}=-{\partial L\over \partial \dot{q} } +const\)ๆถˆ้™คๅพฎๅˆ†ไธ็‚บ้›ถ็š„้ƒจๅˆ†๏ผŒไฝฟๅพ—\(\delta S=0\)๏ผŒๅฐๆ‡‰่ปŒ่ทก\(q\)่ฎŠๅˆ†ไธ่ฎŠ็š„ๅฎˆๆ†้‡็‚บ $${\partial L\over \partial \dot{q} } +{\partial f\over\partial q}=\bar{p}$$ ๏ผŒๆˆ‘ๅ€‘ๅฏไปฅ็จฑไฝœๆญคLagrangian \(\bar{L}= L+\dot{f}\) ๅฐๆ‡‰็š„Action \(\bar{S}\)็‚บMaximal Symmetry Actionใ€‚