|
|
| Line 1: |
Line 1: |
| {{Redirect|wave train|the mathematics concept|Periodic travelling wave}}
| | <br><br><br><br>Harvick finished fourth after slicing through the field and racing for that lead late in an auto. He gave credit to his team for spending so much time for the completed but echoed several drivers' concerns that tire issues affected the race. "Just a horrible tire," he stated to SPEED pit reporter Ray Dunlap after the race. "There's no rubber regarding race see. Who knows what tomorrow's (NASCAR Sprint Cup Series) race is in order to be; it is just going to be about survival.<br><br>The Camping World Truck series will kick off Feb. 22 at Daytona International Speedway. This will mark consider Wallace will race your market truck type.<br><br>toyota tundra off road The functions of the vehicle include overhead and side seat mounted airbags, 4-wheel ABS anti lock brakes and Proactive Roll Avoidance Stability hold.<br><br>[http://devolro.com/exterior bumpers]<br><br>Space is abundant but now first row seats in a 40/20/40 split bench that features a center armrest and cup holder. (That cup holder can become very important on those long stretches.) The second row offers cash cargo space and the spine bench seat can fold up or seat three.<br><br>As I mentioned, the [http://devolro.com off-road] off-road is available as a rear-wheel drive pickup for ladies 4x4. The 4x4 options a low range, but is not suitable for on-pavement steering. Our Double Cab tester with a 5.7-liter V8 easily pulled a 10,000-pound trailer. A clip tow rating is 10,800 pounds with tow package and four.7-liter v8 engine.<br><br>Busch has a previous victory at Kansas, winning the 2007 Nationwide Series race at the track. toyota tundra tuning He also has one top 10 finish associated with Cup Series in seven starts at Kansas.<br><br>Ron Hornaday Jr. won the 48th Truck race of his career at Texas after Johnny Sauter was black-flagged on the green-white-checkered restart on lap 167 for moving from the outside lane to the inside in front of Hornaday before reaching the start/finish line. |
| | |
| [[File:Wave packet (no dispersion).gif|right|thumb|300px|A wave packet without dispersion]]
| |
| | |
| [[File:Wave packet (dispersion).gif|right|thumb|300px|A wave packet with dispersion]]
| |
| | |
| In physics, a '''wave packet''' (or '''wave train''') is a short "burst" or "envelope" of localized wave action that travels as a unit. A wave packet can be analyzed into, or can be synthesized from, an infinite set of component [[sinusoidal wave]]s of different [[wavenumber]]s, with phases and amplitudes such that they interfere constructively only over a small region of space, and destructively elsewhere.<ref>
| |
| {{cite book
| |
| | title = Quantum Physics: An Introduction
| |
| | author = Joy Manners
| |
| | publisher = CRC Press
| |
| | year = 2000
| |
| | isbn = 978-0-7503-0720-8
| |
| | pages = 53–56
| |
| | url = http://books.google.com/books?id=LkDQV7PNJOMC&pg=PA54&dq=wave-packet+wavelengths
| |
| }}</ref>
| |
| Depending on the evolution equation, the wave packet's envelope may remain constant (no dispersion, see figure) or it may change (dispersion) while propagating.
| |
| | |
| [[Quantum mechanics]] ascribes a special significance to the wave packet: it is interpreted as a "probability wave", describing the [[probability]] that a particle or particles in a particular state will be measured to have a given position and momentum. It is in this way related to the [[wave function]].
| |
| Through application of the [[Schrödinger equation]] in quantum mechanics, it is possible to deduce the [[time evolution]] of a system, similar to the process of the [[Hamiltonian mechanics|Hamiltonian]] formalism in [[classical mechanics]]. The wave packet is thus a mathematical solution to the Schrödinger equation.<ref name=timeEveolution>{{cite book
| |
| | last = Toda| first = Mikito
| |
| | title = Geometric structures of phase space in multidimensional chaos...
| |
| | publisher = John Wiley & Sons inc.| year =2005| location = Hoboken, New Jersey
| |
| | pages = 123
| |
| | url = http://books.google.com/books?id=nXC1neW24qsC&pg=PA123&dq=Schr%C3%B6dinger+equation+%22wave+packet%22#v=onepage&q=&f=false
| |
| | isbn = 0-471-70527-6}}</ref> The area under the absolute square of the wave packet solution is interpreted as the probability density of finding the particle in a region. The dispersive character of solutions of the Schrödinger equation has played an important role in rejecting [[Schrödinger equation#Historical background and development|Schrödinger's original interpretation]], and accepting the [[Born rule]].
| |
| | |
| In the coordinate representation of the wave (such as the [[Cartesian coordinate system]]), the localized position of the physical object's probability is given by the position of the packet. Moreover, the narrower the spatial wave packet, and therefore the better defined the position of the wave packet, the larger the spread in the [[momentum]] of the wave. This trade-off between spread in position and spread in momentum is one example of the [[Werner Heisenberg|Heisenberg]] [[uncertainty principle]].
| |
| | |
| == Background ==
| |
| | |
| In the early 1900s, it became apparent that classical mechanics had some major failings. [[Isaac Newton]] originally proposed the idea that light came in discrete packets, which he called "corpuscles", but the wave-like behavior of many light phenomena quickly led scientists to favor a wave description of [[electromagnetism]]. It wasn't until the 1930s that the particle nature of light really began to be widely accepted in [[physics]]. The development of quantum mechanics — and its success at explaining confusing experimental results — was at the root of this acceptance. Thus, one of the basic concepts in the formulation of quantum mechanics is that of light coming in discrete bundles called [[photons]]. The energy of light photon is a discrete function of its frequency,
| |
| | |
| :<math> E = h\nu ~.</math>
| |
| | |
| The photon's energy is equal to [[Max Planck|Planck]]'s constant, ''h'', multiplied by its frequency, ''ν''. (This resolved a significant problem in classical physics, called the [[ultraviolet catastrophe]].)
| |
| | |
| The ideas of [[quantum mechanics]] continued to be developed throughout the 20th century. The picture that was developed was of a particulate world, with all phenomena and matter made of and interacting with discrete particles; however, these particles were described by a probability wave. The interactions, locations, and all of physics would be reduced to the calculations of these probability [[amplitude]] waves. The particle-like nature of the world was significantly confirmed by [[SLAC|experiment]], while, at the very same time, the wave-like phenomena could be characterized as consequences of the wave-packet nature of particles.
| |
| | |
| == Basic behaviors of wave packets ==
| |
| | |
| As an example of propagation '''''without dispersion''''', consider wave solutions to the following [[wave equation]]:
| |
| | |
| :<math>{ \partial^2 u \over \partial t^2 } = c^2 { \nabla^2 u}~,</math>
| |
| where ''c'' is the speed of the wave's propagation in a given medium.
| |
| Using the physics time convention, exp(−''iωt''), the wave equation has [[plane-wave]] solutions
| |
| | |
| :<math> u(\bold{x},t) = e^{i{(\bold{k\cdot x}}-\omega t)} ~,</math>
| |
| where
| |
| | |
| :<math> \omega^2 =|\bold{k}|^2 c^2</math>, and <math> |\bold{k}|^2 = k_x^2 + k_y^2+ k_z^2. </math>
| |
| This relation between ''ω'' and '''''k''''' | |
| should be valid so that the plane wave is a solution to the wave equation. It is called a [[dispersion relation]].
| |
| | |
| To simplify, consider only waves propagating in one dimension (extension to three dimensions is straightforward). Then the general solution is
| |
| | |
| :<math> u(x,t)= A e^{i(kx-\omega t)} + B e^{-i(kx+\omega t)},\,</math>
| |
| in which we may take ''ω= kc ''. The first term represents a wave propagating in the positive ''x''-direction since it is a function of ''x−ct'' only; the second term, being a function of ''x+ct'', represents a wave propagating in the negative ''x''-direction.
| |
| | |
| A wave packet is a localized disturbance that results from the sum of many different wave forms. If the packet is strongly localized, more frequencies are needed to allow the constructive superposition in the region of localization and destructive superposition outside the region. From the basic solutions in one dimension, a general form of a wave packet can be expressed as
| |
| | |
| :<math> u(x,t) = \frac{1}{\sqrt{2\pi}} \int^{\,\infty}_{-\infty} A(k) ~ e^{i(kx-\omega(k)t)} \,dk </math>.
| |
| | |
| As in the plane-wave case the wave packet travels to the right for ''ω(k)=kc'' (since then ''u(x,t)=F(x−ct)'') and to the left for ''ω(k)=−kc'' (since then ''u(x,t) = F(x+ct)'').
| |
| | |
| The factor <math>1/{\sqrt{2\pi}} </math> comes from [[Fourier transform]] conventions. The amplitude ''A(k)'' contains the coefficients of the
| |
| linear superposition of the plane-wave solutions. These coefficients can in turn be expressed as a function of ''u(x,t)'' evaluated at ''t=0'' by inverting the Fourier transform relation above:
| |
| | |
| :<math> A(k) = \frac{1}{\sqrt{2\pi}} \int^{\,\infty}_{-\infty} u(x,0) ~ e^{-ikx}\,dx </math>.
| |
| For instance, choosing
| |
| | |
| :<math> u(x,0) = e^{-x^2 +ik_0x},</math>
| |
| we obtain
| |
| | |
| :<math> A(k) = \frac{1}{\sqrt{2}} e^{-\frac{(k-k_0)^2}{4}},</math>
| |
| and finally
| |
| | |
| :<math> u(x,t) = e^{-(x-ct)^2 +ik_0(x-ct)}.</math>
| |
| The nondispersive propagation of the real or imaginary part of this wave packet is presented in the above animation.
| |
| | |
| As an example of propagation '''''with dispersion''''', consider
| |
| solutions to the [[Schrödinger equation]] (with ''m'' and ħ set equal to one)
| |
| | |
| :<math>i{ \partial u \over \partial t } = -\frac{1}{2} { \nabla^2 u },</math>
| |
| yielding as dispersion relation
| |
| | |
| :<math> \omega = \frac{1}{2}|\bold{k}|^2. </math>
| |
| | |
| Once again, restricting ourselves to one dimension the solution to the Schrödinger equation satisfying the initial condition <math> \scriptstyle u(x,0) = e^{-x^2 +ik_0x}</math> is found according to
| |
| | |
| :<math> u(x,t) =\frac{e^{-\frac{k_0^2}{4}}}{\sqrt{1+2it}}e^{-\frac{(x - \frac{ik_0}{2})^2}{1+2it}}.</math>
| |
| | |
| An impression of the dispersive behaviour of this wave packet is obtained by looking at
| |
| | |
| :<math>|u(x,t)| = \frac{1}{(1+4t^2)^{1/4}}e^{-\frac{(x-k_0t)^2}{1+4t^2}}</math>
| |
| (note that |''u(x,t)''| itself is not a solution of the Schrödinger equation).
| |
| | |
| It is evident that this dispersive wave packet, while moving with constant [[group velocity]] ''k<sub>0</sub>'', has a [[Gaussian function|width]] increasing with time as <math> (1+4t^2)^{1/2}</math>.
| |
| | |
| ==Gaussian wavepackets in quantum mechanics==
| |
| [[File:Wave function of a Gaussian state moving at constant momentum.gif|360 px|thumb|right|Position space probability density of an initially Gaussian state moving in one dimension at minimally uncertain, constant momentum in free space.]]
| |
| | |
| [[File:Gaussian wavepacket tunneling in potential well.gif|thumbnail|right|Position space probability density of an initially Gaussian state trapped in an infinite potential well experimenting periodic Quantum Tunneling in a centered potential wall.]]
| |
| | |
| The above Gaussian wavepacket, unnormalized and just centered at the origin, instead, can now be written in 3D:<ref>Quantum Mechanics, E. Abers, Pearson Ed., Addison Wesley, Prentice Hall Inc, 2004, ISBN 978-0-13-146100-0</ref>
| |
| | |
| :<math> \psi(x) = e^{-\bold{r}\cdot\bold{r}/ 2a}~ ,</math>
| |
| | |
| where ''a'' is a positive real number, the ''square of the width of the wavepacket'', ''a'' = 2⟨'''r·r'''⟩/3⟨1⟩ = 2 (''Δx'')<sup>2</sup>.
| |
| | |
| The Fourier transform is also a Gaussian in terms of the wavenumber,
| |
| the '''k'''-vector, (with inverse width, 1/''a'' = 2⟨'''k·k'''⟩/3⟨1⟩ = 2 (''Δp<sub>x</sub>/ħ'')<sup>2</sup>, so that ''Δx Δp<sub>x</sub>=ħ''/2, i.e. it saturates the [[uncertainty relation]]),
| |
| | |
| :<math> \psi(\bold{k}) = (2\pi a)^{3/2} e^{- a \bold{k}\cdot\bold{k}/2} ~ .</math>
| |
| | |
| Each separate wave only phase-rotates in time, so that the time dependent Fourier-transformed solution is:
| |
| | |
| :<math> \begin{align}\Psi(\bold{k}, t) &= (2\pi a)^{3/2} e^{- a \bold{k}\cdot\bold{k}/2 }e^{-iEt/\hbar} \\
| |
| &= (2\pi a)^{3/2} e^{- a \bold{k}\cdot\bold{k}/2 - i(\hbar^2 \bold{k}\cdot\bold{k}/2m)t/\hbar} \\
| |
| &= (2\pi a)^{3/2} e^{-(a+i\hbar t/m)\bold{k}\cdot\bold{k}/2} .\end{align}</math>
| |
| | |
| The inverse Fourier transform is still a Gaussian, but the parameter a has become complex, and there is an overall normalization factor.<ref>
| |
| [[Leonard I. Schiff]] (1968). ''[[Quantum mechanics]]'' (3rd ed.). London: [[McGraw-Hill]].</ref>
| |
| | |
| :<math> \Psi(\bold{r},t) = \left({a \over a + i\hbar t/m}\right)^{3/2} e^{- {\bold{r}\cdot\bold{r}\over 2(a + i\hbar t/m)} } ~.</math>
| |
| | |
| The integral of ''Ψ'' over all space is invariant, because it is the inner product of ''Ψ'' with the state of zero energy, which is a wave with infinite wavelength, a constant function of space. For any energy eigenstate ''η''(''x''), the inner product: | |
| | |
| :<math>\langle \eta | \psi \rangle = \int \eta(\bold{r}) \psi(\bold{r})d^3\bold{r} </math>,
| |
| | |
| only changes in time in a simple way: its phase rotates with a frequency determined by the energy of ''η''. When ''η'' has zero energy, like the infinite wavelength wave, it doesn't change at all. The integral ∫|''Ψ''|<sup>2</sup>''d''<sup>3</sup>''r'' is also invariant, which is a statement of the conservation of probability. Explicitly,
| |
| | |
| :<math> |\Psi|^2 = \Psi^*\Psi = \left( {a \over \sqrt{a^2+(\hbar t/m)^2} }\right)^3 ~ e^{-{\bold{r}\cdot\bold{r} a \over a^2 + (\hbar t/m)^2}} ~.</math> | |
| | |
| The width of the Gaussian is the interesting quantity which can be read off from |''Ψ''|<sup>2</sup>:
| |
| | |
| :<math> \sqrt{a^2 + (\hbar t/m)^2 \over a} \,</math>.
| |
| | |
| The width eventually grows linearly in time, as ''ħt /m√a'', indicating '''wave-packet spreading'''.
| |
| | |
| This linear growth is a reflection of the momentum uncertainty: the wavepacket is confined to a narrow width ''√a'', and so has a momentum which is uncertain (according to the [[uncertainty principle]]) by the amount ''ħ/2√a'', a spread in velocity of ''ħ/2m√a'', and thus in the future position by ''ħt /m√a''. (The uncertainty relation is then a strict inequality, far from saturation.)
| |
| | |
| ==The Airy wave train==
| |
| | |
| In contrast to the above Gaussian wavepacket, it has been observed<ref>M. V. Berry and N. L. Balazs (1979), "Nonspreading wavepackets", ''Am J Phys'' '''47''': 264-267, {{doi|10.1119/1.11855}}.</ref> that a particular wavefunction based on [[Airy function]]s, propagates freely without dispersion, maintaining its shape. It accelerates undistorted in the absence of a force field: {{math| ''ψ''{{=}}Ai(''B''(''x''−''B''³''t'' ²)) exp(i''B''³''t''(''x''−2''B''³''t''²/3))}}. (For simplicity, {{mvar|ħ}}=1, ''m''=1/2, and ''B'' is a constant, cf. [[nondimensionalization]].)
| |
| | |
| [[File:AiryFrontWF.gif|220px|thumb|Truncated view of time development for the
| |
| Airy front in phase space. (Click to animate.)]]
| |
| Nevertheless, [[Ehrenfest's theorem]] is still valid in this force-free situation, because the state is both non-normalizable and has an undefined (infinite) {{math|⟨''x''⟩}} for all times. (To the extent that it can be defined, {{math|⟨''p''⟩ {{=}} 0}} for all times, despite the apparent acceleration of the front.)
| |
| | |
| In [[phase space]], this is evident in the [[pure state]] [[Wigner quasiprobability distribution]] of this wavetrain, whose shape in ''x'' and ''p'' is invariant
| |
| as time progresses, but whose features accelerate to the right, in accelerating parabolas {{math|''B''(''x''−''B''³''t'' ²) + (''p/B'' − ''tB''²)² {{=}} 0}},<ref>From the general pedagogy web-site:
| |
| Curtright, T.L., [http://server.physics.miami.edu/~curtright/TimeDependentWignerFunctions.html Time-dependent Wigner Functions]</ref>
| |
| | |
| :<math>W(x,p;t)=W(x-B^3 t^2, p-B^3 t ;0)={1\over 2^{1/3} \pi B} ~ \mathrm{Ai} \left(2^{2/3} \left(Bx + {p^2\over B^2}- 2Bpt\right)\right).</math>
| |
| | |
| Note the momentum distribution obtained by integrating over all {{mvar|x}} is constant.
| |
| | |
| ==Free propagator==
| |
| | |
| The narrow-width limit of the Gaussian wavepacket solution discussed is the free ''propagator kernel'' ''K''. For other differential equations, this is sometimes called the Green's function,<ref> | |
| [[J. D. Jackson|Jackson, J.D.]] (1975). ''Classical Electrodynamics'' (2nd Ed.). New York: [[John Wiley & Sons|John Wiley & Sons, Inc.]] ISBN 0-471-43132-X</ref> but in quantum mechanics it is traditional to reserve the name Green's function for the time Fourier transform of ''K''.
| |
| | |
| Returning to one dimension for simplicity, when ''a'' is the infinitesimal quantity ''ε'', the Gaussian initial condition, rescaled so that its integral is one:
| |
| | |
| :<math> \psi_0(x) = {1\over \sqrt{2\pi \epsilon} } e^{-{x^2\over 2\epsilon}} \,</math>
| |
| | |
| becomes a [[Dirac delta function#|delta function]], ''δ(x)'', so that its time evolution,
| |
| | |
| :<math> K_t(x) = {1\over \sqrt{2\pi (i t + \epsilon)}} e^{ - x^2 \over 2it+\epsilon }\,</math>
| |
| | |
| gives the ''propagator''.
| |
| | |
| Note that a very narrow initial wavepacket instantly becomes infinitely wide, but with a phase which is more rapidly oscillatory at large values of ''x''. This might seem strange—the solution goes from being localized at one point to being "everywhere" at ''all later times'', but it is a reflection of the enormous [[uncertainty principle|momentum uncertainty]] of a localized particle. Also note that the norm of the wavefunction is infinite, but this is also correct, since the square of a [[Dirac delta function|delta function]] is divergent in the same way.
| |
| | |
| The factor involving ''ε'' is an infinitesimal quantity which is there to make sure that integrals over ''K'' are well defined. In the limit that ''ε''→0, ''K'' becomes purely oscillatory, and integrals of ''K'' are not absolutely convergent. In the remainder of this section, it ''will'' be set to zero, but in order for all the integrations over intermediate states to be well defined, the limit ''ε''→0 is to be only taken after the final state is calculated.
| |
| | |
| The propagator is the amplitude for reaching point ''x'' at time ''t'', when starting at the origin, ''x''=0. By translation invariance, the amplitude for reaching a point ''x'' when starting at point ''y'' is the same function, only now translated,
| |
| | |
| :<math> K_t(x,y) = K_t(x-y) = {1\over \sqrt{2\pi it}} e^{-i(x-y)^2 \over 2t} \, .</math>
| |
| | |
| In the limit when ''t'' is small, the propagator, of course, goes to a delta function,
| |
| | |
| :<math> \lim_{t\rightarrow 0} K_t(x-y) = \delta(x-y) ~,</math>
| |
| | |
| but only in the sense of [[Distribution (mathematics)|distributions]]: The integral of this quantity multiplied by an arbitrary differentiable [[test function]] gives the value of the test function at zero. To see this, note that the integral over all space of ''K'' equals 1 at all times:
| |
| | |
| :<math> \int_x K_t(x) = 1 \, ,</math>
| |
| | |
| since this integral is the inner-product of ''K'' with the uniform wavefunction. But the phase factor in the exponent has a nonzero spatial derivative everywhere except at the origin, and so when the time is small there are fast phase cancellations at all but one point. This is rigorously true when the limit ''ε''→0 is taken at the very end.
| |
| | |
| So the propagation kernel is the (future) time evolution of a delta function, and it is continuous, in a sense: it goes to the initial delta function at small times. If the initial wavefunction is an infinitely narrow spike at position ''y'',
| |
| | |
| :<math> \psi_0(x) = \delta(x - y) \, ,</math>
| |
| | |
| it becomes the oscillatory wave:
| |
| | |
| :<math> \psi_t(x) = {1\over \sqrt{2\pi i t}} e^{ -i (x-y) ^2 /2t} \, .</math>
| |
| | |
| Now, since every function can be written as a weighted sum of such narrow spikes,
| |
| | |
| :<math> \psi_0(x) = \int_y \psi_0(y) \delta(x-y) \, ,</math>
| |
| | |
| the time evolution of ''every function'' ''ψ''<sub>0</sub> is determined by the propagation kernel ''K'':
| |
| :<math> \psi_t(x) = \int_{y} \psi_0(x) {1\over \sqrt{2\pi it}} e^{-i (x-y)^2 / 2t} \, .</math>
| |
| | |
| Thus, this is a formal way to express the '''general solution'''. The interpretation of this expression is that the amplitude for a particle to be found at point ''x'' at time ''t'' is the amplitude that it started at ''y'', times the amplitude that it went from ''y'' to ''x'', ''summed over all the possible starting points''. In other words, it is a [[convolution]] of the kernel ''K'' with the arbitrary initial condition ''ψ''<sub>0</sub>,
| |
| ::<math> \psi_t = K * \psi_0 \, .</math>
| |
| | |
| Since the amplitude to travel from ''x'' to ''y'' after a time ''t+t'' ' can be considered in two steps, the propagator obeys the identity:
| |
| :<math>
| |
| \int_y K(x-y;t)K(y-z;t') = K(x-z;t+t')
| |
| \, ,</math>
| |
| | |
| which can be interpreted as follows: the amplitude to travel from ''x'' to ''z'' in time ''t''+''t'' ' is the sum of the amplitude to travel from ''x'' to ''y'' in time ''t'', multiplied by the amplitude to travel from ''y'' to ''z'' in time ''t'' ', summed over ''all possible intermediate states y''. This is a property of an arbitrary quantum system, and by subdividing the time into many segments, it allows the time evolution to be expressed as a [[path integral formulation|path integral]].<ref>Feynman, R. P., and Hibbs, A. R., ''Quantum Mechanics and Path Integrals'', New York: McGraw-Hill, 1965, ISBN 0-07-020650-3. (Dover, 2010, ISBN 0-486-47722-3.)</ref>
| |
| | |
| ==Analytic continuation to diffusion==
| |
| | |
| The spreading of wavepackets in quantum mechanics is directly related to the spreading of probability densities in [[diffusion]]. For a particle which is randomly walking, the probability density function at any point satisfies the [[diffusion equation]]:
| |
| | |
| :<math> {\partial \over \partial t} \rho = {1\over 2} {\partial^2 \over \partial x^2 } \rho ~,</math>
| |
| | |
| where the factor of 2, which can be removed by a rescaling either time or space, is only for convenience.
| |
| | |
| A solution of this equation is the spreading Gaussian,
| |
| | |
| :<math> \rho_t(x) = {1\over \sqrt{2\pi t}} e^{-x^2 \over 2t} ~,</math>
| |
| | |
| and since the integral of ''ρ<sub>t</sub> is constant, while the width is becoming narrow at small times, this function approaches a delta function at ''t''=0:
| |
| | |
| :<math> \lim_{t\rightarrow 0} \rho_t(x) = \delta(x) \,</math>
| |
| | |
| again only in the sense of distributions, so that
| |
| | |
| :<math> \lim_{t\rightarrow 0} \int_x f(x) \rho_t(x) = f(0) \,</math>
| |
| | |
| for any smooth [[test function]] ''f''.
| |
| | |
| The spreading Gaussian is the propagation kernel for the diffusion equation and it obeys the [[convolution]] identity:
| |
| | |
| :<math> K_{t+t'} = K_{t}*K_{t'} \, ,</math>
| |
| | |
| which allows diffusion to be expressed as a path integral. The propagator is the exponential of an operator ''H'':
| |
| | |
| :<math> K_t(x) = e^{-tH} \, ,</math>
| |
| | |
| which is the infinitesimal diffusion operator,
| |
| :<math> H= -{\nabla^2\over 2} \, .</math>
| |
| | |
| A matrix has two indices, which in continuous space makes it a function of ''x'' and ''x'' '. In this case, because of translation invariance, the matrix element ''K'' only depend on the difference of the position, and a convenient abuse of notation is to refer to the operator, the matrix elements, and the function of the difference by the same name:
| |
| | |
| :<math> K_t(x,x') = K_t(x-x') \, .</math>
| |
| | |
| Translation invariance means that continuous matrix multiplication:
| |
| | |
| :<math> C(x,x'') = \int_{x'} A(x,x')B(x',x'') \, ,</math>
| |
| | |
| is essentially convolution,
| |
| :<math> C(\Delta) = C(x-x'') = \int_{x'} A(x-x') B(x'-x'') = \int_{y} A(\Delta-y)B(y) \, .</math>
| |
| | |
| The exponential can be defined over a range of ''t''s which include complex values, so long as integrals over the propagation kernel stay convergent,
| |
| | |
| :<math> K_z(x) = e^{-zH} \, .</math>
| |
| | |
| As long as the real part of ''z'' is positive, for large values of ''x'', ''K'' is exponentially decreasing, and integrals over ''K'' are indeed absolutely convergent.
| |
| | |
| The limit of this expression for ''z'' coming close to the pure imaginary axis is the Schrödinger propagator:
| |
| | |
| :<math> K_t^{\rm Schr} = K_{it+\epsilon} = e^{-(it+\epsilon)H} \, ,</math>
| |
| | |
| and this gives a more conceptual explanation for the time evolution of Gaussians.
| |
| | |
| From the fundamental identity of exponentiation, or path integration:
| |
| | |
| :<math> K_z * K_{z'} = K_{z+z'} \,</math>
| |
| | |
| holds for all complex ''z'' values where the integrals are absolutely convergent so that the operators are well defined.
| |
| | |
| Thus, quantum evolution starting from a Gaussian, which is the diffusion kernel ''K'',
| |
| | |
| :<math> \psi_0(x) = K_a(x) = K_a * \delta(x) \,</math>
| |
| | |
| gives the time evolved state,
| |
| :<math> \psi_t = K_{it} * K_a = K_{a+it} \, .</math>
| |
| | |
| This illustrates the above diffusive form of the Gaussian solutions,
| |
| ::<math> \psi_t(x) = {1\over \sqrt{2\pi (a+it)} } e^{- {x^2\over 2(a+it)} } \, .</math>
| |
| | |
| ==See also==
| |
| *[[Wave]]
| |
| *[[Wave propagation]]
| |
| *[[Fourier analysis]]
| |
| *[[Group velocity]]
| |
| *[[Phase velocity]]
| |
| *[[Wavelet]]
| |
| | |
| == References ==
| |
| <references/>
| |
| | |
| == External links ==
| |
| | |
| * [http://www.youtube.com/watch?v=s8RIqZgFbXA A simulation of a wave package in 2D (According to FOURIER-Synthesis in 2D)]
| |
| | |
| {{DEFAULTSORT:Wave Packet}}
| |
| [[Category:Wave mechanics]]
| |
| [[Category:Quantum mechanics]]
| |