1.7 Evolution of Dynamical State

Lagrange’s equations are ordinary differential equations that the path must
satisfy. They can be used to test if a proposed path is a realizable path of the
system. However, we can also use them to develop a path, starting with initial
conditions.

Assume that the state of a system is given by the tuple \displaystyle{(t, q, v)}. If we are
given a prescription for computing the acceleration \displaystyle{a = A(t, q, v)}, then

\displaystyle{D^2 q = A \circ \Gamma[q]}

and we have as a consequence

\displaystyle{D^3 q = D( A \circ \Gamma[q]) = D_t A \circ \Gamma[q]}

and so on.

So the higher-derivative components of the local tuple are given by functions \displaystyle{D_t A, D_t^2 A, \dots}. Each of these functions depends on lower-derivative components of the local tuple. All we need to deduce the path from the state is a function that gives the next-higher derivative component of the local description from the state. We use the Lagrange equations to find this function.

— Structure and Interpretation of Classical Mechanics

.

Eq. (1.113):

\displaystyle{  D_t F \circ \Gamma[q] = D(F \circ \Gamma[q])  }

.

Eq. (1.114):

\displaystyle{  \begin{aligned}  D_t F (t, q, v, a, ...)   &= \partial_0 F(t, q, v, a, ...) + \partial_1 F(t, q, v, a, ...) v + \partial_2 F(t, q, v, a, ...) a + ...   \\   \end{aligned}  }

\displaystyle{  \begin{aligned}  D_t F \circ \Gamma[q] (t)  &= \partial_0 F(t, q, v, a, ...) + \partial_1 F(t, q, v, a, ...) v(t) + \partial_2 F(t, q, v, a, ...) a(t) + ...   \\   \end{aligned}  }

.

The Lagrange equation:

\displaystyle{ \begin{aligned}     \frac{d}{dt} \left( \frac{\partial}{\partial \dot q} L (t, q(t), \dot q(t)) \right) - \frac{\partial}{\partial q} L (t, q(t), \dot q(t))    &= 0     \end{aligned}}

.

\displaystyle{ \begin{aligned}     D ( \partial_2 L \circ \Gamma[q]) - (\partial_1 L \circ \Gamma[q]) &= 0 \\     \end{aligned}}

\displaystyle{ \begin{aligned}     \partial_1 L \circ \Gamma[q]     &= D ( \partial_2 L \circ \Gamma[q]) \\ \\    &= \partial_0 ( \partial_2 L \circ \Gamma[q]) Dt +  \partial_1 ( \partial_2 L \circ \Gamma[q]) Dq + \partial_2 ( \partial_2 L \circ \Gamma[q]) Dv \\ \\     &= \partial_0 \partial_2 L \circ \Gamma[q] +  ( \partial_1 \partial_2 L \circ \Gamma[q]) Dq + (\partial_2 \partial_2 L \circ \Gamma[q]) D^2 q \\ \\     \end{aligned}}

.

\displaystyle{ \begin{aligned}      (\partial_2 \partial_2 L \circ \Gamma[q]) D^2 q     &=     \partial_1 L \circ \Gamma[q]     - \partial_0 \partial_2 L \circ \Gamma[q]     - (\partial_1 \partial_2 L \circ \Gamma[q]) Dq  \\ \\         D^2 q     &=     \left[ \partial_2 \partial_2 L \circ \Gamma[q] \right]^{-1}    \left\{ \partial_1 L \circ \Gamma[q]     - \partial_0 \partial_2 L \circ \Gamma[q]     - (\partial_1 \partial_2 L \circ \Gamma[q]) Dq  \right\} \\ \\      \end{aligned}}

where \displaystyle{\left[ \partial_2 \partial_2 L \circ \Gamma \right]} is a structure that can be represented by a symmetric square matrix, so we can compute its inverse.

— Me@2022-06-30 11:33:27 AM

.

.

2022.06.30 Thursday (c) All rights reserved by ACHK

Schrodinger’s cat, 3.3

The modern view is that this mystery is explained by quantum decoherence.

Quantum decoherence is useful, but NOT necessary.

It is useful for the self-consistency checking of quantum mechanics.

Some microscopic states are expressed as (mathematical) superpositions of macroscopic-indistinguishable-if-no-measuring-device-is-allowed states.

Two states are called “macroscopic-distinguishable” only if they result in two different physical phenomena. In other words, the distinction must be observable.

an eigenstate

~ an observable (at least in principle) state

~ a physical state

.

a superposition state

~ an unobservable (even in principle) state

~ a mathematical (but not physical) state

We define microscopic states and events in terms of macroscopic states and events. A consistent theory must be able to deduce (explain or predict) macroscopic states and events from those microscopic states and events.

— Me@2022-06-15 07:40:37 PM

.

.

2022.06.29 Wednesday (c) All rights reserved by ACHK

Eigenstates 3

an eigenstate

~ an state identical to the overall average

In analogy, in the equation

\displaystyle{\frac{12+13+14}{3}=13},

the number 13 appears both on the left (as one of the component numbers) and on the right (as the overall average).

In this sense, the number 13 is an “eigenstate”.

— Me@2016-08-25 01:36 AM

— Me@2022-06-28 08:19 PM

.

An eigenstate has a macroscopic equivalence.

— Me@2016-08-29 06:10:21 PM

.

An eigenstate is a microstate that has a corresponding macrostate.

An eigenstate is a mathematical state which is also a physical state.

An eigenstate is an observable state.

— Me@2022-06-28 07:36:40 PM

.

.

2022.06.28 Tuesday (c) All rights reserved by ACHK

好心分手

Importance, 4.1

這段改編自 2021 年 12 月 14 日的對話。

.

no good deed goes unpunished

Beneficial actions often go unappreciated or are met with outright hostility.

If they are appreciated, they often lead to additional requests.

— Wiktionary

.

有時,災民會埋怨救援的人。

救援者往往是,災難之後,災民第一批見到的人,所以,有些災民會認定,那些災難是救援者造成的。

例如,在電影《美國隊長3:英雄內戰》中,美國政府要追究「復仇者聯盟」;認定「紐約之戰」中的二千多人傷亡,是「復仇者」們造成的。

實情是,沒有他們的抵抗,外星人所引起的傷亡,會以百萬計。

— Me@2022-06-27 04:10:30 PM

.

.

2022.06.27 Monday (c) All rights reserved by ACHK

Quick Calculation 3.8

A First Course in String Theory

.

Show that this condition fixes uniquely \displaystyle{\alpha = \gamma = 1/2}, and \displaystyle{\beta = - 3/2}, thus reproducing the result in (3.90).

~~~

Eq. (3.93):

\displaystyle{l_P = (G)^\alpha (c)^\beta (\hbar)^\gamma}

.

\displaystyle{l_P = \left( \frac{l_p^3}{m_p t_P^2} \right)^\alpha \left( \frac{l_P}{t_P} \right)^\beta \left( \frac{m_P l_P^2}{t_P} \right)^\gamma}

.

\displaystyle{\begin{aligned}   3 \alpha + \beta + 2\gamma &= 1 \\   -\alpha + \gamma &= 0 \\   - 2 \alpha - \beta - \gamma &= 0 \\   \end{aligned}}

.

var('a b c')

solve([3*a+b+2*c==1, -a+c==0, -2*a-b-c==0], a, b, c)

.

\displaystyle{\begin{aligned}   \alpha &= \frac{1}{2} \\ \\  \beta &= \frac{-3}{2} \\ \\  \gamma &= \frac{1}{2} \\ \\  \end{aligned}}

.

Eq. (3.90):

\displaystyle{l_P = \sqrt{\frac{G \hbar}{c^3}}}

— Me@2022-06-23 10:46:22 AM

.

.

2022.06.23 Thursday (c) All rights reserved by ACHK

Schrodinger cat’s misunderstanding

Schrodinger’s cat, 3.2

.

In 1935, Erwin Schrödinger devised a well-known thought experiment, now known as Schrödinger’s cat, which highlighted this dissonance between quantum mechanics and classical physics.

The main point of the Schrödinger’s cat thought experiment is NOT to prove that there should also be superposition for macroscopic objects. Instead, the main point of the thought experiment is exactly the opposite—to prove that regarding a superposition state as a physical state leads to logical contradiction.

— Me@2022-06-15 07:19:36 PM

.

.

2022.06.22 Wednesday (c) All rights reserved by ACHK

數學教育 7.5.3

A Fraction of Algebra, 2.3

這段改編自 2010 年 4 月 24 日的對話。

.

大多數情況反而是,遇到不佳的教師,因為大部分教師,也不懂教學。那就導致,在某一年的數學知識,出現斷層。數學作為理科之心,累積性最高。不幸斷了一層的話,就會同時斷了,之後的每一層。

隨著越來越陌生,那些對數學先天的純真喜愛,也變得不再復見。與數學,再見也不會是朋友。

我比較幸運,在中學時代,遇到一些合理的數學教師。即使在中六七的預科中,一科「應用數學」的教師,未如理想;另一科「純數學」的教師,卻驚為天人。

而我的物理科,則沒有那麼幸運。

留意,我這裡問的是,

你的日校物理教師,有沒有教,實質內容呢?

而不是

你的日校物理教師,教得好不好?

因為「好不好」有時,只是主觀的感受,未必能化成,實質的知識和成績。

我當年就是就正正,犯下這個錯誤。

我中三和中四時覺得,日校物理教師十分好,因為他無論是講物理故事,或物理概念,都十分精采;精采到一個地步是,他啓發了我,對物理的興趣。

但是,當時不知何故,我大部分 MC(多項選擇題)都不懂做。

教師好,而我成績差,很明顯是我的問題。

那是一個無知年輕人的想法。

事隔多年,我終於知道,那不是我的問題。原來我的日校物理教師,極少跟我們研究題目。每類題目應該如何理解,如何運算,要運用什麼概念或技巧等,都是必須教的東西,因為,極少人可以,無師自通。

根本九成九的要點,在題目的解答過程之中。而我的日校教師,偏偏沒有教。很大可能是,其實連他自己也不太懂。

— Me@2022-06-21 11:51:20 AM

.

.

2022.06.21 Tuesday (c) All rights reserved by ACHK

C-h ?


C-h w command-name

C-h k key-sequence

C-h f function-name

— Me@2022-06-18 12:52:10 PM

.

.

2022.06.19 Sunday (c) All rights reserved by ACHK

Ex 1.27 Identifying total time derivatives

Structure and Interpretation of Classical Mechanics

.

From equation (1.112), we see that \displaystyle{G} must be linear in the generalized velocities

\displaystyle{    G(t, q, v) = G_0(t, q, v) + G_1(t, q, v) v    }

where neither \displaystyle{G_1} nor \displaystyle{G_0} depend on the generalized velocities: \displaystyle{\partial_2 G_1 = \partial_2 G_0 = 0}.

.

So if \displaystyle{G} is the total time derivative of \displaystyle{F} then

\displaystyle{    \partial_0 G_1 = \partial_1 G_0    }

For each of the following functions, either show that it is not a total time derivative or produce a function from which it can be derived.

~~~

[guess]

a. \displaystyle{G(t, x, v_x) = m v_x}

\displaystyle{    \begin{aligned}     G_0 &= 0 \\    G_1 &= m \\ \\    \partial_0 G_1 &= 0 \\     \partial_1 G_0 &= 0 \\ \\     \end{aligned}     }

.

\displaystyle{    \begin{aligned}     \partial_0 F &= 0 \\    F &= k_0(x, v_x) \\ \\    \partial_1 F &= m \\     F &= m x + k_1(t, v_x) \\     \end{aligned}     }

.

Let

\displaystyle{    \begin{aligned}     k_0(x, v_x) &= mx \\     k_1(t, v_x) &= 0 \\     \end{aligned}     }

.

Then

\displaystyle{    \begin{aligned}     F &= mx \\     \end{aligned}     }

[guess]

— Me@2022-06-17 05:10:38 PM

.

.

2022.06.17 Friday (c) All rights reserved by ACHK

Schrodinger’s cat, 3.1

It is natural to ask why ordinary everyday objects and events do not seem to display quantum mechanical features such as superposition. Indeed, this is sometimes regarded as “mysterious”, for instance by Richard Feynman. In 1935, Erwin Schrödinger devised a well-known thought experiment, now known as Schrödinger’s cat, which highlighted this dissonance between quantum mechanics and classical physics.

The modern view is that this mystery is explained by quantum decoherence. A macroscopic system (such as a cat) may evolve over time into a superposition of classically distinct quantum states (such as “alive” and “dead”). However, the state of the cat is entangled with the state of its environment (for instance, the molecules in the atmosphere surrounding it). If one averages over the quantum states of the environment—a physically reasonable procedure unless the quantum state of all the particles making up the environment can be controlled or measured precisely—the resulting mixed quantum state for the cat is very close to a classical probabilistic state where the cat has some definite probability to be dead or alive, just as a classical observer would expect in this situation.

Quantum superposition is exhibited in fact in many directly observable phenomena, such as interference peaks from an electron wave in a double-slit experiment. Superposition persists at all scales, provided that coherence is shielded from disruption by intermittent external factors. The Heisenberg uncertainty principle states that for any given instant of time, the position and velocity of an electron or other subatomic particle cannot both be exactly determined. A state where one of them has a definite value corresponds to a superposition of many states for the other.

— Wikipedia on Quantum superposition

.

It is natural to ask why ordinary everyday objects and events do not seem to display quantum mechanical features such as superposition. Indeed, this is sometimes regarded as “mysterious”, for instance by Richard Feynman.

Superposition is not “mysterious”. It is “mysterious” only if you regard “a superposition state” as a physical state.

Only observable states are physical states. Any observable, microscopic or macroscopic, is NOT a superposition.

A superposition is NOT observable, even in principle; because the component states of a superposition are physically-indistinguishable mathematical states, aka macroscopically-indistinguishable microscopic states.

(Those component states, aka eigenstates, are observable and distinguishable once the corresponding measuring device is allowed.)

They are indistinguishable because the distinction is not defined in terms of the difference between different potential experimental or observational results.

Actually, the distinction is not even definable, because the corresponding measuring device is not allowed in the experimental design yet.

— Me@2022-06-15 11:51:22 AM

.

.

2022.06.16 Thursday (c) All rights reserved by ACHK

超整理法

日本著名的經濟學者〈野口悠紀雄〉歸納他個人在整理資料、安排時間的經驗,提出各項實際做法,先後出版《「超級」整理法》、《「超級」整理法續集.時間篇》,連獲好評。

從小老師、父母都教導我們,「整理,一定要先分類」。但如果整理資料的目的,是為了日後需要時快速找到,那麼,對個人而言,「分類」是不可能,而且徒勞無功的。

分門別類時,最常碰到「牆頭草」問題。例如,在設定「土地」類、「稅」類等檔案後,如果出現一份關於「土地課稅」的資料,到底該分到哪一邊?有不少人將無法歸類的資料,分到「其他」檔案,不消數週,「其他」檔的資料很可能多到無法收拾。

— 「超級」整理.超高效率

— 天下雜誌173期

— 孫曉萍

.

在野口教授的另一本書《超上班法》中,他提到,應該用年份月份來分類。

— Me@2022-06-14 03:54:57 PM

.

.

2022.06.14 Tuesday ACHK

烹飪事實

這段改編自 2021 年 12 月 14 日的對話。

.

費曼與他的太太(琳)有一個協定,盡力不向對方說謊。

琳不幸患上當時的絕症(肺結核)。家人叫費曼暫時不要,將消息告訴琳。家人在場時,費曼對琳謊稱「沒有事」。

但是,家人離開後,費曼即向琳講出實情。琳的第一反應是傷感,但不是因為知道,自己身患不治之症;亦不是因為知道,費曼欺騙了她;而是因為,她覺得費曼剛才被迫講大話,十分委屈。

.

即使是「善意謊言」,也不應使用,除非當刻實在迫不得已:真話會令人嚴重受傷,甚至死亡;然後,稍後如果事主的情況安全許可,你就在最短時間內,還原真相給他。

「善意謊言」的最大問題是,「善意」不代表「善行」,更不代表「善果」。到病人最終知道真相時,只加倍傷心。

謊言如借錢,最終必須連本帶利地歸還。謊言不如借錢,因為金錢欠債,可以透過還錢來化解;但是,誠信有損,沒有任何方法修補。

他日你公佈好消息時,病人也不會相信,因為,她仍會覺得,你只是安慰她,不是講真相。

.

往地獄之路,往往由善意建築而成的;往天堂之路,則是由善行。

好樹結好果。帶來「善果」的,才是「善行」。

.

愛情上,那些原為了避免,引起誤會的所謂「善意謊言」,往往會觸發,更大的誤會。

典型例子有,你去見一位異性老朋友,與她聚舊。雖然只是見朋友,但為免令女朋友誤會,你不告訴她。

到你女朋友發現時,她會質疑,你為何不知會她。明明是光明正大的活動,卻因為所謂的「善意謊言」,而變得不明不白。

然後,你女朋友再會猜想,你還有什麼其他事項隱瞞呢?

你一個所謂「善意謊言」,引致無窮盡的誤會。

.

正確的相處技巧是,毋須技巧;如實相告便是。

「我明日下午見,一位異性老朋友。你一同去嗎?」

你女朋友反而會放心,因為,她知道你的政策是「有嗰句,講嗰句」。

.

你可以包裝事實,令人聽得舒適一點。包裝了的事實,恰尚好處的話,仍然可以是真相。但你不可以歪曲事實,形成假相。

正如,你可以烹飪食物,令其成熟;亦可以為其加調味料。但是,你不可以下毒。

— Me@2022-06-12 01:08:49 PM

.

.

2022.06.13 Monday (c) All rights reserved by ACHK

Quick Calculation 3.7

A First Course in String Theory

.

The force \displaystyle{\vec F} on a test charge \displaystyle{q} in an electric field \displaystyle{\vec E} is \displaystyle{\vec F = q \vec E}. What are the units of charge in various dimensions?

~~~

Eq. (3.74):

\displaystyle{E(r) = \frac{\Gamma\left( \frac{d}{2} \right)}{2 \pi^{\frac{d}{2}}} \frac{Q}{r^{d-1}}}

.

\displaystyle{     \begin{aligned}         \vec F &= q \vec E \\     &=  \frac{\Gamma\left( \frac{d}{2} \right)}{2 \pi^{\frac{d}{2}}} \frac{qQ}{r^{d-1}} \\ \\ \\      [\vec F] &=  \left[ \frac{\Gamma\left( \frac{d}{2} \right)}{2 \pi^{\frac{d}{2}}} \frac{qQ}{r^{d-1}} \right] \\     &=  \left[ \frac{1}{1} \frac{q^2}{r^{d-1}} \right] \\     &=  \left[ \frac{q^2}{r^{d-1}} \right] \\     \end{aligned}}

.

\displaystyle{     \begin{aligned}             [r^{d-1} \vec F] &= \left[ q^2 \right] \\ \\        \left[ q \right] &= [\sqrt{r^{d-1} \vec F}] \\ \\    &= \sqrt{m^{d-1} N} \\ \\    \end{aligned}}

— Me@2022-06-08 11:09:27 AM

.

Lorentz–Heaviside units (or Heaviside–Lorentz units) constitute a system of units (particularly electromagnetic units) within CGS, named for Hendrik Antoon Lorentz and Oliver Heaviside. They share with CGS-Gaussian units the property that the electric constant \displaystyle{\epsilon_0} and magnetic constant \displaystyle{\mu_0} do not appear, having been incorporated implicitly into the electromagnetic quantities by the way they are defined. Heaviside-Lorentz units may be regarded as normalizing \displaystyle{\epsilon_0 = 1} and \displaystyle{\mu_0 = 1}, while at the same time revising Maxwell’s equations to use the speed of light \displaystyle{c} instead.

Heaviside–Lorentz units, like SI units but unlike Gaussian units, are rationalized, meaning that there are no factors of \displaystyle{4 \pi} appearing explicitly in Maxwell’s equations. That these units are rationalized partly explains their appeal in quantum field theory: the Lagrangian underlying the theory does not have any factors of \displaystyle{4 \pi} in these units. Consequently, Heaviside-Lorentz units differ by factors of \displaystyle{\sqrt{4\pi}} in the definitions of the electric and magnetic fields and of electric charge. They are often used in relativistic calculations, and are used in particle physics. They are particularly convenient when performing calculations in spatial dimensions greater than three such as in string theory.

— Wikipedia on Lorentz–Heaviside units

.

.

2022.06.08 Wednesday (c) All rights reserved by ACHK

Emacs, 3

jarcane on Oct 10, 2014 | next [–]

“They used a manual someone had written which showed how to extend Emacs, but didn’t say it was a programming. So the secretaries, who believed they couldn’t do programming, weren’t scared off.”

easytiger on Oct 10, 2014 | parent | next [–]

I was reading a book on a long train journey from Paris to Nice by train that I read usually once a year. My girlfriend couldn’t understand why I was reading a kids book as it had an elephant on the front. I told her it wasn’t, but was in fact one of the most profound books about teaching you to think in a new way.

So I let her read it and she got about half way through and she totally got it and loved it. No harder than doing a crossword or a sudoku for the first time.

The book is: little-schemer

— My Lisp Experiences and the Development of GNU Emacs (2002)

— Hacker News

.

.

2022.06.07 Tuesday ACHK

飯餸湯

這段改編自 2021 年 12 月 13 日的對話。

.

最近發現,原來有些女仔,喜歡煮飯煮餸或煲湯,給心上人。換句話說,如果她親自弄東西給你吃,而你又是靚仔的話,她有八成機會喜歡你。

甚至,她是原本不懂烹飪,而特意去學習,目的只是為你製作美食。那樣,她就有九成機會,已愛上了你。

(但是,如果你不是俊男,那就只是兩場誤會,通常。)

換句話說,如果你對她,沒有愛情上的意思,就千萬不要接受,她的飯餸湯示愛。如果你已經有,女朋友或妻子,就要更加小心。

— Me@2022-06-06 05:12:48 PM

.

.

2022.06.06 Monday (c) All rights reserved by ACHK

3Blue1Brown

(defun 3b1b ()

    (interactive)

    (setq is-python-mode (string= major-mode "python-mode"))

    (if (not is-python-mode)
        (print "This is not a python file.")


        (print buffer-file-name)

        (setq the-command (format "%s %s %s" 
                                "manim -p"
                                buffer-file-name  
                                "JustAShape")) 

        (print the-command)                        

        (shell-command the-command) 
    )  
)

(global-set-key (kbd "C-p") '3b1b)

(global-set-key (kbd "C-/") 'comment-region)

(global-set-key (kbd "C-.") 'uncomment-region)

— Me@2022-06-05 04:00:37 PM

.

.

2022.06.05 Sunday (c) All rights reserved by ACHK