Hatena::Groupsicm

naoya_t@SICM(べ、べつにあなたのためじゃないんだからね) RSSフィード

 | 

2009-01-03

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

| 01:35 | 1.1 停留作用の原理 /The Principle of Stationary Action - naoya_t@SICM(べ、べつにあなたのためじゃないんだからね) を含むブックマーク はてなブックマーク - 1.1 停留作用の原理 /The Principle of Stationary Action - naoya_t@SICM(べ、べつにあなたのためじゃないんだからね) 1.1 停留作用の原理 /The Principle of Stationary Action - naoya_t@SICM(べ、べつにあなたのためじゃないんだからね) のブックマークコメント

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

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

我々の日常的な経験から、以下のことが示唆される:

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

実現可能な経路 / Realizable paths

運動についての我々の経験から、実現可能な配置経路について我々はいくらか期待をふくらませる。経路が実現可能ならば、その経路のどの区間をとっても実現可能な経路区間(realizable path segment)である。 逆に言えば、もし経路のすべての区間が実現可能な経路区間であればその経路は実現可能である。

経路区間の実現可能性は、その区間内のすべての経路上の点に依存する。/* 経路区間の実現可能性は、同様に経路区間上のすべての点に依存する;経路のどの部分も例外ではない。*/ 経路区間の実現可能性は、経路区間内の点のみに依存する;経路区間の実現可能性は局所的な属性(property)である。

従って経路識別関数は、経路区間に沿って各瞬間に測られるいくつかの系の局所的属性値を集約する。経路に沿った各瞬間は差別なく扱われなければならない。経路区間に沿った各瞬間の寄与は、非同一(disjoint)な副区間からの寄与からの独立を維持しながら統合されなければならない(?)。経路のいくつかの局所的属性値の、その経路区間における積分として経路識別関数を作成するのが、これらの要求を満たす統合方法のひとつである*3

従って、経路に沿った局所的属性値の積分として構築される経路識別関数が、実現可能などんな経路に対しても極値をとるように調整を試みたい。そのような経路識別関数は伝統的に、系への作用(action for the system)と呼ばれる。この「作用(action)」という用語を我々は一般的な用法との一貫性をもたせて使う。おそらく「経路識別関数」と呼び続けるほうがより明確であろうが、他の者たちには我々が何を話しているのか分かりにくくなるであろう*4

変分力学アジェンダを辿っていくにあたり、我々は調べている系の実現可能な軌道上で定常値になる作用関数を考案しなければならない。各瞬間における配置経路のいくつかの局所的属性値の積分である作用についてこれから検討していく。γを配置経路関数とする;γ(t) は時刻 t における配置である。時刻t_1からt_2の間の経路区間の作用は*5

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

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

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

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

関数\cal{F}は配置経路γのいくつかの局所的属性値を測る。

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

\cal{F}\[\gamma\]=\cal{L}\circ\cal{T}\[\gamma\]

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

関数\cal{T}は、経路をとり、時刻、その時刻における配置、その時刻における配置変化率、その時刻において評価された経路の高次微分値を並べたタプルを返す時刻の関数を返す。経路γと時刻tについて:*9

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

必要なだけの微分を含んだこのタプルは以後「局所タプル(local tuple)」と呼ぶ。

関数\cal{L}は調査中の物理系の特定の詳細に依存するが、特定の配置経路に依存することはない。関数\cal{L}は、経路の局所的属性値(実数)を算出する。この属性値を計算するために\cal{L}は局所タプルの有限個の成分しか必要としないことがわかるだろう:経路は、完全な局所的記述から局所的に再構築することができる;\cal{L}が局所タプルの有限個の成分に依存するということは、これが局所的属性値を測っていることを保証している*10

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

関数\cal{L}を系の「ラグランジュ関数(Lagrangian)*11」と呼び、結果の作用

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

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

系の実現可能な経路は、隣接する一連の実現不可能な経路に対して停留作用(stationary action)を持つことにより他の(実現可能でない)経路と区別されることになる。さて、実現可能な経路の近くにあるいくつかの経路もまた実現可能である:ジャグリングピンのいかなる運動についても、ほんの少し異なる別の運動が存在する。従って、経路の変種に対して作用が停留かどうかという質問をする際には、検討する経路群に実現可能な経路が1本だけ含まれるようなんらかの方法で制限しなくてはならない。配置と配置変化率のみに依存するラグランジュ関数にとって、経路区間の両端において同じ配置をもつよう経路群を制限するだけで十分である。

停留作用の原理(The principle of stationary action)*12は、時刻t1およびt2において配置が接続する実現可能な一経路が作用S\[\gamma\](t_1,t_2)が経路の変種について停留(stationary)であるという事実によって他の考えうるあらゆる経路と区別されるようなラグランジュ関数を個々の力学系(dynamical system)において作成できると表明する。配置と配置変化率のみに依存するラグランジュ関数にとって、変種はt_1,t_2において配置を保存するものに制限される*13

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

 |