# naoya_t@SICM（べ、べつにあなたのためじゃないんだからね）

## 2009-01-03

### 1.1 停留作用の原理 /The Principle of Stationary Action

| 01:35 |

どの物理系にも、実現可能な経路上では静止する経路識別関数があると仮定しよう。その性質のいくつかをこれから推論していくことにする。

#### 運動に関する見識 /Experience of motion

• 物理運動は連続かつ滑らかな配置経路で記述可能である*1ジャグリングピンがある位置から別の位置へジャンプするのを見ることはない。ジャグリングピンが運動の向きを突然変えることもない。
• 物理系の運動は系の履歴全体に依存するものではない。ジャグリングピンが宙に投げられた後に部屋に入れば、そのピンがジャグラーの手を離れたのがいつかは分からない。我々がドアから入った時点で結果として同じように見える投げ位置や時刻がいくつもある*2。従ってピンの運動はその履歴に依存しない。
• 物理系の運動は決定論的である。事実、少数のパラメータが系履歴の重要な様相(aspect)を要約し、その未来の展開を決定する。例えば、ジャグリングピンのいかなる瞬間の位置、速度、向き、向きの変化率をとってみても未来のピンの運動を完全に決定することができる。

#### 実現可能な経路 / Realizable paths

$S$\gamma$(t_1,t_2)=\int_{t_1}^{t_2}\cal{F}$\gamma$$

ここで$\cal{F}$\gamma$$は、経路のいくつかの局所的属性値を計る時刻の関数である。この関数はその時刻における関数γの値と、その時刻におけるγの微分に依存する*6

• path : 通り道、通路、経路、軌道、進路
• trajectory : 軌道、曲線、弧、弾道、軌跡

ある瞬間の配置経路は、配置、配置変化率、与えられた瞬間における配置のすべての高次微分によって局所的に記述可能である。これらの情報があれば、その瞬間を含むいくらかの時間的区間において経路は再構築可能である*7。経路の局所的属性値がその経路の局所的な記述以外のものに依存することはない。

$\cal{F}$\gamma$$は２つに分解できる：片方は局所的記述のいくつかの属性値を測り、もう片方は経路関数から経路の局所的記述を抽出する。系の局所的属性値を測る関数は、特定の物理系に依存する；ある経路から経路の局所的記述を構築する方法は、どの系においても同じである。我々は$\cal{F}$\gamma$$をこれらの２関数の合成：*8

$\cal{F}$\gamma$=\cal{L}\circ\cal{T}$\gamma$$

として書くことができる：

$\cal{T}$\gamma$(t)=(t,\gamma(t),\cal{D}\gamma(t),...)$

この分解の利点は、経路の局所的記述が検討中の系には依存せず一様なプロセスで計算されることである。系に特有の情報は関数$\cal{L}$に捕捉される。

$S$\gamma$(t_1,t_2)=\int_{t_1}^{t_2}\cal{L}\circ\cal{T}$\gamma$$

を「ラグランジュ作用(Lagrangian action;;作用積分？)」と呼ぶ。ラグランジュ関数は非常に多くの系において見出すことができる。運動エネルギーポテンシャルエネルギーの差になるようにラグランジュ関数を取ることができる事をこれから見ていく。そのようなラグランジュ関数は、時刻と配置と配置変化率のみに依存する。我々はこの系のクラス(class of systems)に焦点をあてていくが、時々より一般的な系についても考察していく。

#### 問題1.1 フェルマーの光学原理 / Fermat optics

フェルマーは反射・屈折の法則が以下の事実によって説明されうることを観測した：光はいかなる媒体においても媒体に依存する速度をもって直線を描いて進む。どのような順に媒体を通過しようが、光線がとる光源から到達点への経路は、隣接する経路と比較して最短時間の経路をとる。これらの事実が反射・屈折の法則を暗示していることを示せ*14

*1：Experience with systems on an atomic scale suggests that at this scale systems do not travel along well defined configuration paths. To describe the evolution of systems on the atomic scale we employ quantum mechanics. Here, we restrict attention to systems for which the motion is well described by a smooth configuration path.

*2：Extrapolation of the orbit of the Moon backward in time cannot determine the point at which it was placed on this trajectory. To determine the origin of the Moon we must supplement dynamical evidence with other physical evidence such as chemical compositions.

*3：We suspect that this argument can be promoted to a precise constraint on the possible ways of making this path-distinguishing function.

*4：Historically, Huygens was the first to use the term "action" in mechanics, referring to "the effect of a motion." This is an idea that came from the Greeks. In his manuscript "Dynamica" (1690) Leibniz enunciated a "Least Action Principle" using the "harmless action," which was the product of mass, velocity, and the distance of the motion. Leibniz also spoke of a "violent action" in the case where things collided.

*5：A definite integral of a real-valued function f of a real argument is written $\int_a^b f$. This can also be written $\int_a^b f(x) dx$. The first notation emphasizes that a function is being integrated.

*6：Traditionally, square brackets are put around functional arguments. In this case, the square brackets remind us that the value of $\cal{S}$ may depend on the function $\gamma$ in complicated ways, such as through its derivatives.

*7：In the case of a real-valued function, the value of the function and its derivatives at some point can be used to construct a power series. For sufficiently nice functions (real analytic), the power series constructed in this way converges in some interval containing the point. Not all functions can be locally represented in this way. For example, the function f(x) = exp( - 1/x2), with f(0) = 0, is zero and has all derivatives zero at x = 0, but this infinite number of derivatives is insufficient to determine the function value at any other point.

*8：ここで o は関数の合成: $(f \circ g)(t) = f(g(t) )$ を意味する。我々の記法では、経路依存関数のその経路への適用は合成より優先順位が高いので、$\cal{L}\circ\cal{T}$\gamma$=\cal{L}\circ(\cal{T}$\gamma$)$である。

*9：The derivative $\cal{D}\gamma$ of a configuration path $\gamma$ can be defined in terms of ordinary derivatives by specifying how it acts on sufficiently smooth real-valued functions f of configurations. The exact definition is unimportant at this stage. If you are curious see footnote #23.

*10：We will later discover that an initial segment of the local tuple is sufficient to determine the future evolution of the system. That a configuration and a finite number of derivatives determine the future means that there is a way of determining all of the rest of the derivatives of the path from the initial segment.

*11：The classical Lagrangian plays a fundamental role in the path-integral formulation of quantum mechanics (due to Dirac and Feynman), where the complex exponential of the classical action yields the relative probability amplitude for a path. The Lagrangian is the starting point for the Hamiltonian formulation of mechanics (discussed in chapter 3), which is also essential in the Schrödinger and Heisenberg formulations of quantum mechanics and in the Boltzmann-Gibbs approach to statistical mechanics.

*12：The principle is often called the "principle of least action" because its initial formulations spoke in terms of the action being minimized rather than the more general case of taking on a stationary value. The term "principle of least action" is also commonly used to refer to a result, due to Maupertuis, Euler, and Lagrange, which says that free particles move along paths for which the integral of the kinetic energy is minimized among all paths with the given endpoints. Correspondingly, the term "action" is sometimes used to refer specifically to the integral of the kinetic energy. (Actually, Euler and Lagrange used the vis viva, or twice the kinetic energy.)

*13：Other ways of stating the principle of stationary action make it sound teleological and mysterious. For instance, one could imagine that the system considers all possible paths from its initial configuration to its final configuration and then chooses the one with the smallest action. Indeed, the underlying vision of a purposeful, economical, and rational universe played no small part in the philosophical considerations that accompanied the initial development of mechanics. The earliest action principle that remains part of modern physics is Fermat's principle, which states that the path traveled by a light ray between two points is the path that takes the least amount of time. Fermat formulated this principle around 1660 and used it to derive the laws of reflection and refraction. Motivated by this, the French mathematician and astronomer Pierre-Louis Moreau de Maupertuis enunciated the principle of least action as a grand unifying principle in physics. In his Essai de cosmologie (1750) Maupertuis appealed to this principle of economy in nature'' as evidence of the existence of God, asserting that it demonstrated God's intention to regulate physical phenomena by a general principle of the highest perfection.'' For a historical perspective on Maupertuis's, Euler's, and Lagrange's roles in the formulation of the principle of least action, see [28].

*14：反射において、入射角は反射角に等しい。屈折はスネルの法則で記述される: 光がある媒体から他の媒体へ通過する際、接触面の法線と光がなす角度の正弦の比率は媒体の屈折率の逆数である。屈折率は真空中の光速度の媒体中の光速度に対する比率である。