Original proof of Gödel's completeness theorem: Difference between revisions

From formulasearchengine
Jump to navigation Jump to search
en>Yobot
m →‎External links: CHECKWIKI error fxes + general fixes using AWB (9288)
en>Tim!
 
Line 1: Line 1:
[[Image:Wave group.gif|frame|[[Dispersion (water waves)|Frequency dispersion]] in groups of [[gravity wave]]s on the surface of deep water. The red dot moves with the [[phase velocity]], and the green dots propagate with the group velocity. In this deep-water case, the phase velocity is twice the group velocity. The red dot overtakes two green dots when moving from the left to the right of the figure.<br>New waves seem to emerge at the back of a wave group, grow in amplitude until they are at the center of the group, and vanish at the wave group front.<br>For surface gravity waves, the water particle velocities are much smaller than the phase velocity, in most cases.]]
It is time to address the slow computer issues whether or not we never recognize how. Just because the computer is functioning so slow or keeps freezing up; refuses to indicate which you can not address the problem and fix it. You may or will not be aware which any computer owner must know that there are certain elements which your computer requires to keep the greatest performance. The sad fact is that a lot of folks who own a program have no idea that it requires routine repair simply like their vehicles.<br><br>Carry out window's system restore. It is important to do this considering it removes incorrect changes that have taken place inside the system. Some of the mistakes result from inability of your program to create restore point regularly.<br><br>It doesn't matter whether you're not pretty obvious regarding what rundll32.exe is. But remember which it plays an important role in keeping the stability of the computers plus the integrity of the system. When several software or hardware couldn't answer normally to the program procedure, comes the rundll32 exe error, which might be caused by corrupted files or missing information in registry. Usually, error content will shows up at booting or the beginning of running a system.<br><br>The 1328 error is a prevalent issue caused by a system being unable to correctly process different changes for a system or Microsoft Office. If you have this error, it mostly means that your computer is either unable to read the actual update file or the computer has issues with the settings it's utilizing to run. To fix this problem, you first should change / fix any issues that your computer has with its update files, plus then repair any of the issues that your system may have.<br><br>The [http://bestregistrycleanerfix.com/regzooka regzooka] could come because standard with a back up plus restore center. This must be an simple to apply process.That means that should you encounter a issue with a PC following utilizing a registry cleaning you are able to just restore the settings.<br><br>The software finds these issues plus takes care of them in the shortest time possible. Your hard drive may moreover result issues sometimes, particularly in the event you have 1 that is almost maxed. When the begin a machine, the are so many booting processes included plus having an virtually full storage space does not enable a bit. You will always have a slow PC because there are so many items in the hard disk being processed at the same time. The best method to solve this problem is to upgrade. This allows a PC some time to breath and functioning quicker immediately.<br><br>Google Chrome is my lifeline and for this day luckily. My all settings plus analysis associated bookmarks were saved inside Chrome and stupidly I did not synchronize them with all the Gmail to shop them online. I couldn't afford to install modern version plus sacrifice all my function settings. There was no method to retrieve the older settings. The only option left for me was to miraculously fix it browser inside a technique that all data and settings stored inside it are recovered.<br><br>You are able to click here to find out how to accelerate Windows plus grow PC perfomance. And you can click here to download a registry cleaner to aid we clean up registry.
 
[[Image:Wave opposite-group-phase-velocity.gif|thumb|frame|right|This shows a wave with the group velocity and phase velocity going in different directions.<ref name=nemirovsky2012negative>{{cite journal|last=Nemirovsky|first=Jonathan|coauthors=Rechtsman, Mikael C and Segev, Mordechai|title=Negative radiation pressure and negative effective refractive index via dielectric birefringence|journal=Optics Express|date=9 April 2012|volume=20|issue=8|pages=8907–8914|doi=10.1364/OE.20.008907|url=http://physics.technion.ac.il/~msegev/publications/NRP_Opt_Exp.pdf}}</ref> The group velocity is positive (i.e., the [[Envelope (waves)|envelope]] of the wave moves rightward), while the phase velocity is negative (i.e., the peaks and troughs move leftward).]]
 
The '''group velocity''' of a [[wave]] is the [[velocity]] with which the overall shape of the waves' amplitudes — known as the ''modulation'' or ''[[Envelope (waves)|envelope]]'' of the wave — propagates through space.
 
For example, imagine what happens if a stone is thrown into the middle of a very still pond. When the stone hits the surface of the water, a circular pattern of waves appears. It soon turns into a circular ring of waves with a quiescent center.  The ever expanding ring of waves is the '''wave group''', within which one can discern individual wavelets of differing wavelengths traveling at different speeds.  The longer waves travel faster than the group as a whole, but they die out as they approach the leading edge.
The shorter waves travel more slowly and they die out as they emerge from the trailing boundary of the group.
 
== Definition and interpretation ==
 
=== Definition ===
[[File:Wave packet.svg|thumb|Solid line: A [[wave packet]]. Dashed line: The ''envelope'' of the wave packet. The envelope moves at the group velocity.]]
The group velocity ''v<sub>g</sub>'' is defined by the equation:<ref>{{Citation | publisher = Dover | isbn = 978-0-486-49556-9 | last = Brillouin | first = Léon | authorlink = Léon Brillouin | title = Wave Propagation in Periodic Structures: Electric Filters and Crystal Lattices | year = 2003 | origyear = 1946 | page=75 }}</ref><ref>{{Citation | publisher = Cambridge University Press | isbn = 978-0-521-01045-0 | last = Lighthill | first = James | authorlink=James Lighthill | title = Waves in fluids | year = 2001 | origyear=1978 | page=242 }}</ref><ref>{{harvtxt|Lighthill|1965}}</ref><ref>{{harvtxt|Hayes|1973}}</ref>
 
:<math>v_g \ \equiv\  \frac{\partial \omega}{\partial k}\,</math>
 
where ''ω'' is the wave's [[angular frequency]] (usually expressed in [[radians per second]]), and ''k'' is the [[angular wavenumber]] (usually expressed in radians per meter).
 
The [[function (mathematics)|function]] ''ω''(''k''), which gives ''ω'' as a function of ''k'', is known as the [[dispersion relation]].
 
* If ''ω'' is [[proportionality (mathematics)|directly proportional]] to ''k'', then the group velocity is exactly equal to the [[phase velocity]]. A wave of any shape will travel undistorted at this velocity.
* If ''ω'' is a linear function of ''k'', but not directly proportional (''ω''=''ak''+''b''), then the group velocity and phase velocity are different. The envelope of a [[wave packet]] (see figure on right) will travel at the group velocity, while the individual peaks and troughs within the envelope will move at the phase velocity.
* If ''ω'' is not a linear function of ''k'', the envelope of a wave packet will become distorted as it travels. This distortion is directly related to group velocity, as follows. Since a wave packet contains a range of different frequencies, the group velocity ∂ω/∂k is a range of different values (because ''ω'' is not a linear function of ''k''). Therefore the envelope does not move at a single velocity, but a range of different velocities, so the envelope gets distorted. See further discussion [[#Higher order terms in dispersion|below]].
 
===Derivation===
One derivation of the formula for group velocity is as follows.<ref name=Griffiths>{{cite book | author=Griffiths, David J. | title=Introduction to Quantum Mechanics | publisher=[[Prentice Hall]] | year=1995 | page=48}}</ref><ref>
{{cite book
| title = Quantum Mechanics: An Introduction for Device Physicists and Electrical Engineers
| edition = 2nd
| author = David K. Ferry
| publisher = CRC Press
| year = 2001
| isbn = 978-0-7503-0725-3
| pages = 18–19
| url = http://books.google.com/books?id=imvYBULWPMQC&pg=PA18
}}</ref>
 
Consider a [[wave packet]] as a function of position ''x'' and time ''t'': ''α''(''x'',''t''). Let ''A''(''k'') be its Fourier transform at time ''t''=0:
:<math> \alpha(x,0)= \int_{-\infty}^\infty dk \, A(k) e^{ikx},</math>
By the [[superposition principle]], the wavepacket at any time ''t'' is:
:<math> \alpha(x,t)= \int_{-\infty}^\infty dk \, A(k) e^{i(kx-\omega t)},</math>
where ω is implicitly a function of ''k''. We assume that the wave packet α is almost [[monochromatic]], so that ''A''(''k'') is nonzero only in the vicinity of a central [[wavenumber]] ''k''<sub>0</sub>. Then, [[linearization]] gives:
:<math>\omega(k) \approx \omega_0 + (k-k_0)\omega'_0</math>
where <math>\omega_0=\omega(k_0)</math> and <math>\omega'_0=\frac{\partial \omega(k)}{\partial k} |_{k=k_0}</math>. Then, after some algebra,
:<math> \alpha(x,t)= e^{it(\omega'_0 k_0-\omega_0)}\int_{-\infty}^\infty dk \, A(k) e^{ik(x-\omega'_0 t)}.</math>
The factor in front of the integral has absolute value 1. Therefore,
:<math> |\alpha(x,t)| = |\alpha(x-\omega'_0 t, 0)|, \,</math>
i.e. the envelope of the wavepacket travels at velocity <math>\omega'_0=(d\omega/dk)_{k=k_0}</math>. This explains the group velocity formula.
 
====Higher order terms in dispersion====
[[File:Wave disp.gif|thumb|388px|right|Distortion of wave groups by higher-order dispersion effects, for [[surface gravity wave]]s on deep water (with ''v''<sub>g</sub>&nbsp;=&nbsp;½''v''<sub>p</sub>). The superposition of three wave components – with respectively 22, 25 and 29 wavelengths, fitting in a [[periodic function|periodic]] horizontal domain of 2 km length – is shown. The wave [[amplitude]]s of the components are respectively 1, 2 and 1 metre.]]
Part of the previous derivation is the assumption:
:<math>\omega(k) \approx \omega_0 + (k-k_0)\omega'_0</math>
If the wavepacket has a relatively large frequency spread, or if the dispersion <math>\omega(k)</math> has sharp variations (such as due to a [[resonance]]), or if the packet travels over very long distances, this assumption is not valid. As a result, the envelope of the wave packet not only moves, but also ''distorts''. Loosely speaking, different frequency-components of the wavepacket travel at different speeds, with the faster components moving towards the front of the wavepacket and the slower moving towards the back. Eventually, the wave packet gets stretched out.
 
The next-higher term in the Taylor series (related to the second derivative of <math>\omega(k)</math>) is called [[group velocity dispersion]]. This is an important effect in the propagation of signals through [[optical fiber]]s and in the design of high-power, short-pulse lasers.
 
=== Physical interpretation ===
 
The group velocity is often thought of as the velocity at which [[energy]] or [[Physical information|information]] is conveyed along a wave. In most cases this is accurate, and the group velocity can be thought of as the [[signal velocity]] of the [[wave]]form. However, if the wave is travelling through an absorptive medium, this does not always hold. Since the 1980s, various experiments have verified that it is possible for the group velocity of [[laser]] light pulses sent through specially prepared materials to significantly exceed the [[speed of light]] in vacuum. However, [[superluminal communication]] is not possible in this case, since the signal velocity remains less than the speed of light. It is also possible to reduce the group velocity to zero, stopping the pulse, or have negative group velocity, making the pulse appear to propagate backwards.<ref name=nemirovsky2012negative /> However, in all these cases, photons continue to propagate at the expected speed of light in the medium.<ref name="GSBKB06">{{Citation |first1=George M. |last1=Gehring |first2=Aaron |last2=Schweinsberg |first3=Christopher |last3=Barsi |first4=Natalie |last4=Kostinski |first5=Robert W. |last5=Boyd |title=Observation of a Backward Pulse Propagation Through a Medium with a Negative Group Velocity |journal=Science |volume=312 |pages=895–897 |year=2006 |doi=10.1126/science.1124524 |pmid=16690861 |issue=5775|bibcode = 2006Sci...312..895G }}</ref><ref name="DEWSL06">{{Citation |first1=Gunnar |last1=Dolling |first2=Christian |last2=Enkrich |first3=Martin |last3=Wegener |first4=Costas M. |last4=Soukoulis |first5=Stefan |last5=Linden |title=Simultaneous Negative Phase and Group Velocity of Light in a Metamaterial |journal=Science |volume=312 |pages=892–894 |year=2006 |doi=10.1126/science.1126021 |pmid=16690860 |issue=5775 |bibcode = 2006Sci...312..892D }}</ref><ref name="SLBBJ05">{{Citation |first1=A. |last1=Schweinsberg |first2=N. N. |last2=Lepeshkin |first3=M.S. |last3=Bigelow |first4=R. W. |last4=Boyd |first5=S. |last5=Jarabo |title=Observation of superluminal and slow light propagation in erbium-doped optical fiber |journal=Europhysics Letters |volume=73 |issue=2 |pages=218–224 |year=2005 |doi=10.1209/epl/i2005-10371-0|bibcode = 2006EL.....73..218S }}</ref><ref name="BLSB06">{{Citation |first1=Matthew S. |last1=Bigelow |first2=Nick N. |last2=Lepeshkin |first3=Heedeuk |last3=Shin |first4=Robert W. |last4=Boyd |title=Propagation of a smooth and discontinuous pulses through materials with very large or very small group velocities |journal=Journal of Physics: Condensed Matter |volume=18 |pages=3117–3126 |year=2006 |doi=10.1088/0953-8984/18/11/017 |issue=11|bibcode = 2006JPCM...18.3117B }}</ref>
 
[[Anomalous dispersion]] happens in areas of rapid spectral variation with respect to the refractive index. Therefore, negative values of the group velocity will occur in these areas.  Anomalous dispersion plays a fundamental role in achieving backward propagating and superluminal light. Anomalous dispersion can also be used to produce group and phase velocities that are in  different directions.<ref name="DEWSL06"/> Materials that exhibit large anomalous dispersion allow the group velocity of the light to exceed ''c'' and/or become negative.<ref name="BLSB06"/><ref>{{Citation |doi=10.1109/JPROC.2010.2052910 |volume=98 |issue=10 |pages=1775–1786 |last1=Withayachumnankul |first1=W. |first2=B. M. |last2=Fischer |first3=B. |last3=Ferguson |first4=B. R. |last4=Davis |first5=D. |last5=Abbott |title=A Systemized View of Superluminal Wave Propagation |journal=Proceedings of the IEEE | year=2010}}</ref>
 
=== History ===
 
The idea of a group velocity distinct from a wave's [[phase velocity]] was first proposed by [[William Rowan Hamilton|W.R. Hamilton]] in 1839, and the first full treatment was by [[John Strutt, 3rd Baron Rayleigh|Rayleigh]] in his "Theory of Sound" in 1877.<ref>{{Citation |last=Brillouin |first=Léon |title=Wave Propagation and Group Velocity |publisher=Academic Press Inc. |location=New York |year=1960 |oclc=537250}}</ref>
 
=== Other expressions ===
 
For light, the refractive index ''n'', vacuum wavelength λ<sub>0</sub>, and wavelength in the medium λ, are related by
:<math>\lambda_0=\frac{2\pi c}{\omega}, \;\; \lambda = \frac{2\pi}{k} = \frac{2\pi v_p}{\omega}, \;\; n=\frac{c}{v_p}=\frac{\lambda_0}{\lambda},</math>
 
with ''v''<sub>p</sub>&nbsp;=&nbsp;''ω''/''k'' the phase velocity.
 
The group velocity, therefore, satisfies:
:<math>v_g = \frac{c}{n + \omega \frac{\partial n}{\partial \omega}} = \frac{c}{n - \lambda_0 \frac{\partial n}{\partial \lambda_0}} = v_p \left( 1+\frac{\lambda}{n} \frac{\partial n}{\partial \lambda} \right) = v_p - \lambda \frac{\partial v_p}{\partial \lambda} = v_p + k \frac{\partial v_p}{\partial k}.</math>
 
==In three dimensions==
{{see also|Plane wave}}
For waves traveling through three dimensions, such as light waves, sound waves, and matter waves, the formulas for phase and group velocity are generalized in a straightforward way:<ref>[http://books.google.com/books?id=cC0Kye7nHEEC&pg=PA239 Atmospheric and oceanic fluid dynamics: fundamentals and large-scale circulation, by Geoffrey K. Vallis, p239]</ref>
:One dimension: <math>v_p = \omega/k, \quad v_g = \frac{\partial \omega}{\partial k}, \,</math>
:Three dimensions: <math>\mathbf{v}_p = \hat{\mathbf{k}} \frac{\omega}{|\mathbf{k}|}, \quad \mathbf{v}_g = \vec{\nabla}_{\mathbf{k}} \, \omega \,</math>
where <math>\vec{\nabla}_{\mathbf{k}} \, \omega</math> means the [[gradient]] of the [[angular frequency]] <math>\omega</math> as a function of the wave vector <math>\mathbf{k}</math>, and <math>\hat{\mathbf{k}}</math> is the [[unit vector]] in direction '''k'''.
 
If the waves are propagating through an [[anisotropic]] (i.e., not rotationally symmetric) medium, for example a [[crystal]], then the phase velocity vector and group velocity vector may point in different directions.
 
==See also==
*[[Wave propagation]]
*[[Dispersion (optics)]] for a full discussion of wave velocities
*[[Phase velocity]]
*[[Front velocity]]
*[[Group delay]] -- "The group velocity of light in a medium is the inverse of the group delay per unit length."<ref>http://www.rp-photonics.com/group_delay.html</ref>
*[[Phase delay]]
*[[Signal velocity]]
*[[Slow light]]
*[[Wave propagation speed]]
*[[Defining equation (physics)]]
*[[Matter wave#Group velocity]]
 
==References==
 
===Notes===
 
{{reflist}}
 
===Further reading===
 
<div class="references-small">
* {{Citation
| last1 = Tipler
| first1 = Paul A.  
| first2 = Ralph A.
| year = 2003
| title = Modern Physics
| edition = 4th
| location = New York
| publisher = W. H. Freeman and Company
| isbn = 0-7167-4345-0
| postscript = .
| unused_data = last 2 = Llewellyn
}} 223 p.
* {{Citation
| doi = 10.1103/PhysRev.105.1129
| volume = 105
| issue = 4
| pages = 1129–1137
| last = Biot
| first = M. A.
| title = General theorems on the equivalence of group velocity and energy transport
| journal = Physical Review
| year = 1957
|bibcode = 1957PhRv..105.1129B }}
* {{Citation
| doi = 10.1002/cpa.3160140337
| volume = 14
| issue = 3
| pages = 675–691
| last = Whitham
| first = G. B.
| title = Group velocity and energy propagation for three-dimensional waves
| journal = Communications on Pure and Applied Mathematics
| year = 1961
}}
* {{Citation
| doi = 10.1093/imamat/1.1.1
| volume = 1
| issue = 1
| pages = 1–28
| last = Lighthill
| first = M. J.
| title = Group velocity
| journal = IMA Journal of Applied Mathematics
| year = 1965
}}
* {{Citation
| doi = 10.1098/rspa.1968.0034
| volume = 302
| issue = 1471
| pages = 529–554
| last1 = Bretherton
| first1 = F. P.
| first2 = C. J. R.
| last2 = Garrett
| title = Wavetrains in inhomogeneous moving media
| journal = Proceedings of the Royal Society of London
| series =Series A, Mathematical and Physical Sciences
| year = 1968
|bibcode = 1968RSPSA.302..529B }}
* {{Citation
| doi = 10.1098/rspa.1973.0021
| volume = 332
| issue = 1589
| pages = 199–221
| last = Hayes
| first = W. D.
| title = Group velocity and nonlinear dispersive wave propagation
| journal = Proceedings of the Royal Society of London
| series = Series A, Mathematical and Physical Sciences
| year = 1973
|bibcode = 1973RSPSA.332..199H }}
* {{Citation
| publisher = Wiley
| isbn = 0471940909
| last = Whitham
| first = G. B.
| title = Linear and nonlinear waves
| year = 1974
}}
</div>
 
==External links==
* [[Greg Egan]] has an excellent Java applet on [http://gregegan.customer.netspace.net.au/APPLETS/20/20.html his web site] that illustrates the apparent difference in group velocity from [[phase velocity]].
* [http://publicliterature.org/tools/group_and_phase_velocity/ Group and Phase Velocity] - Java applet with configurable group velocity and frequency.
* Maarten Ambaum has a [http://www.met.rdg.ac.uk/~sws97mha/Downstream/ webpage with movie] demonstrating the importance of group velocity to downstream development of weather systems.
 
{{Velocities of Waves}}
 
{{DEFAULTSORT:Group Velocity}}
[[Category:Radio frequency propagation]]
[[Category:Optics]]
[[Category:Wave mechanics]]
[[Category:Physical quantities]]
 
[[fr:Vitesse d'une onde#Vitesse de groupe]]
[[nl:Voortplantingssnelheid#Fase- en groepssnelheid]]

Latest revision as of 08:30, 13 September 2014

It is time to address the slow computer issues whether or not we never recognize how. Just because the computer is functioning so slow or keeps freezing up; refuses to indicate which you can not address the problem and fix it. You may or will not be aware which any computer owner must know that there are certain elements which your computer requires to keep the greatest performance. The sad fact is that a lot of folks who own a program have no idea that it requires routine repair simply like their vehicles.

Carry out window's system restore. It is important to do this considering it removes incorrect changes that have taken place inside the system. Some of the mistakes result from inability of your program to create restore point regularly.

It doesn't matter whether you're not pretty obvious regarding what rundll32.exe is. But remember which it plays an important role in keeping the stability of the computers plus the integrity of the system. When several software or hardware couldn't answer normally to the program procedure, comes the rundll32 exe error, which might be caused by corrupted files or missing information in registry. Usually, error content will shows up at booting or the beginning of running a system.

The 1328 error is a prevalent issue caused by a system being unable to correctly process different changes for a system or Microsoft Office. If you have this error, it mostly means that your computer is either unable to read the actual update file or the computer has issues with the settings it's utilizing to run. To fix this problem, you first should change / fix any issues that your computer has with its update files, plus then repair any of the issues that your system may have.

The regzooka could come because standard with a back up plus restore center. This must be an simple to apply process.That means that should you encounter a issue with a PC following utilizing a registry cleaning you are able to just restore the settings.

The software finds these issues plus takes care of them in the shortest time possible. Your hard drive may moreover result issues sometimes, particularly in the event you have 1 that is almost maxed. When the begin a machine, the are so many booting processes included plus having an virtually full storage space does not enable a bit. You will always have a slow PC because there are so many items in the hard disk being processed at the same time. The best method to solve this problem is to upgrade. This allows a PC some time to breath and functioning quicker immediately.

Google Chrome is my lifeline and for this day luckily. My all settings plus analysis associated bookmarks were saved inside Chrome and stupidly I did not synchronize them with all the Gmail to shop them online. I couldn't afford to install modern version plus sacrifice all my function settings. There was no method to retrieve the older settings. The only option left for me was to miraculously fix it browser inside a technique that all data and settings stored inside it are recovered.

You are able to click here to find out how to accelerate Windows plus grow PC perfomance. And you can click here to download a registry cleaner to aid we clean up registry.