Content deleted Content added
m →Particle in curved space: link |
Link suggestions feature: 3 links added. |
||
Line 26:
and
: <math> p = \frac{\partial L}{\partial \dot{q}},</math>
where the [[partial derivative]] with respect to <math>\dot q</math> holds {{math|''q''(''t'' + ''ε'')}} fixed. The inverse Legendre transform is
: <math> \varepsilon L = \varepsilon p \dot{q} - \varepsilon H,</math>
where
Line 56:
== Classical limit ==
Crucially, Dirac identified the effect of the [[classical limit]] on the quantum form of the action principle:
{{blockquote|...we see that the integrand in (11) must be of the form {{math|''e''<sup>''iF''/''h''</sup>}}, where {{mvar|F}} is a function of {{math|''q''<sub>''T''</sub>, ''q''<sub>1</sub>, ''q''<sub>2</sub>, … ''q''<sub>''m''</sub>, ''q''<sub>''t''</sub>}}, which remains finite as {{mvar|h}} tends to zero. Let us now picture one of the intermediate {{mvar|q}}s, say {{mvar|q<sub>k</sub>}}, as varying continuously while the other ones are fixed. Owing to the smallness of {{mvar|h}}, we shall then in general have ''F''/''h'' varying extremely rapidly. This means that {{math|''e''<sup>''iF''/''h''</sup>}} will vary periodically with a very high frequency about the value zero, as a result of which its integral will be practically zero. The only important part in the ___domain of integration of {{mvar|q<sub>k</sub>}} is thus that for which a comparatively large variation in {{mvar|q<sub>k</sub>}} produces only a very small variation in {{mvar|F}}. This part is the neighbourhood of a point for which {{mvar|F}} is stationary with respect to small variations in {{mvar|q<sub>k</sub>}}. We can apply this argument to each of the variables of integration ... and obtain the result that the only important part in the ___domain of integration is that for which {{mvar|F}} is stationary for small variations in all intermediate {{mvar|q}}s. ... We see that {{mvar|F}} has for its classical analogue {{math|{{intmath|int|''T''|''t''}} ''L dt''}}, which is just the action function, which classical mechanics requires to be stationary for small variations in all the intermediate {{mvar|q}}s. This shows the way in which equation (11) goes over into classical results when {{mvar|h}} becomes extremely small. |source=Dirac (1933), p. 69}}
That is, in the limit of action that is large compared to the [[Planck constant]] {{mvar|ħ}} – the classical limit – the path integral is dominated by solutions that are in the neighborhood of [[stationary point]]s of the action. The classical path arises naturally in the classical limit.
Line 136:
: <math>K(x - y; T) \propto e^{ -\frac{(x - y)^2}{2T}}.</math>
The proportionality constant is not really determined by the time-slicing approach, only the ratio of values for different endpoint choices is determined. The proportionality constant should be chosen to ensure that between each two time slices the time evolution is quantum-mechanically unitary, but a more illuminating way to fix the normalization is to consider the path integral as a description of a [[stochastic process]].
The result has a probability interpretation. The sum over all paths of the exponential factor can be seen as the sum over each path of the probability of selecting that path. The probability is the product over each segment of the probability of selecting that segment, so that each segment is probabilistically independently chosen. The fact that the answer is a Gaussian spreading linearly in time is the [[central limit theorem]], which can be interpreted as the first historical evaluation of a statistical path integral.
| |||