Non-well-founded set theory: Difference between revisions

From formulasearchengine
Jump to navigation Jump to search
en>Crasshopper
en>Myasuda
 
Line 1: Line 1:
[[File:Unit_circle.svg|thumb|right|320px|Fig 1:  The vector (cos t, sin t) rotates counter-clockwise at 1 radian/sec, and completes a circle every 2π seconds.  The vector (cos -t, sin -t) rotates in the other direction (not shown).]]
Friends call her Claude Gulledge. For years she's been residing in Kansas. Meter studying is where my main earnings comes from but soon I'll be on my personal. The preferred pastime for him and his kids is to perform badminton but he is struggling to discover time for it.<br><br>my page [http://tube.Bangable.com/users/MSachse http://tube.Bangable.com/]
The concept of '''negative and positive [[frequency]]''' can be as simple as a wheel rotating one way or the other way.  A ''signed value'' of frequency can indicate both the rate and direction of rotation. The rate is expressed in units such as revolutions (aka ''cycles'') per second ([[hertz]]) or [[radians per second|radian/second]] (where 1 cycle corresponds to 2π [[radian]]s).
 
[[File:Negative frequency.svg|thumb|right|300px|Fig.2: A negative frequency causes the sin function (violet) to lead the cos (red) by ¼ cycle.]]
==Sinusoids==
Similar to the rotating vector (Fig 1), the complex-valued function''':'''
 
:<math>e^{j \omega t} = \underbrace{\cos(\omega t)}_{R(t)} + j\cdot \underbrace{\sin(\omega t)}_{I(t)}</math>&nbsp; &nbsp; &nbsp; <ref>The equivalence is called [[Euler's formula]]</ref>
 
exhibits different properties for positive and negative values of the parameter ω.  When ω > 0, ''R(t)'' appears to ''lead I(t)'' by ¼ cycle (= π/2 radians). When ω < 0, the roles are reversed. Fig 2 depicts a negative frequency. ''R(t)'' and ''I(t)'' are referred to as ''real'' and ''imaginary'', respectively. The more-familiar real-valued sinusoid''':'''
 
{{NumBlk|:|<math>\cos(\omega t) = \begin{matrix}\frac{1}{2}\end{matrix}(e^{j \omega t}+e^{-j \omega t})</math>|{{EquationRef|Eq.1}}}}
 
is an analytically more-complicated function than &nbsp;<math>e^{j \omega t},</math>&nbsp; because it comprises both a negative and positive frequency component.  In fact, &nbsp;<math>e^{j \omega t}</math>&nbsp; is sometimes called the [[analytic signal|analytic representation]] of &nbsp;<math>\cos(\omega t).</math><ref>See [[Euler's_formula#Relationship_to_trigonometry]] and [[Phasor#Addition]] for examples of calculations simplified by the complex representation.</ref> &nbsp; When working with individual, real-valued sinusoids, a negative frequency has an equivalent positive-frequency form; i.e. <math>\scriptstyle \cos(-\omega t + \theta) = \cos(\omega t - \theta) = \sin(\omega t - \theta +\pi/2),</math>&nbsp; so it is often sufficient to consider every frequency a positive one.
 
==Applications==
 
Perhaps the most well-known application of negative frequency is the calculation''':'''
 
:<math>X(\omega) = \int_{a}^{b} x(t)\cdot e^{-j\omega t} dt,</math>
 
which is a measure of the amount of frequency ω in the function x(t) over the interval (a,b).  When evaluated as a continuous function of ω for the theoretical interval (-∞, ∞), it is known as the [[Fourier transform]] of x(t). A brief explanation is that the product of two complex sinusoids is also a complex sinusoid whose frequency is the sum of the original frequencies.  So when ω is positive, &nbsp;<math>e^{-j\omega t}</math>&nbsp; causes all the frequencies of x(t) to be reduced by amount ω.  Whatever part of x(t) that was at frequency ω is changed to frequency zero, which is just a constant whose amplitude level is a measure of the strength of the original ω content.  And whatever part of x(t) that was at frequency zero is changed to a sinusoid at frequency -ω.  Similarly, all other frequencies are changed to non-zero values.  As the interval (a,b) increases, the contribution of the constant term grows in proportion.  But the contributions of the sinusoidal terms only oscillate around zero.  So X(ω) improves as a relative measure of the amount of frequency ω in the function x(t).
 
The [[Fourier transform]] of &nbsp;<math>e^{j \omega t}</math>&nbsp; produces a non-zero response only at frequency ω.  The transform of &nbsp;<math>\scriptstyle \cos(\omega t)</math>&nbsp; has responses at both ω and -ω, as anticipated by {{EquationNote|Eq.1}}.
<br style="clear:both;">
 
==Sampling of positive and negative frequencies and aliasing==
{{Main|Aliasing#Complex_sinusoids}}
[[File:Aliasing between a positive and a negative frequency.png|frame|left|This figure depicts two complex sinusoids, colored gold and cyan, that fit the same sets of real and imaginary sample points.  They are thus aliases of each other when sampled at the rate (''f<sub>s</sub>'') indicated by the grid lines.  The gold-colored function depicts a positive frequency, because its real part (the cos function) leads its imaginary part by 1/4 of one cycle.  The cyan function depicts a negative frequency, because its real part lags the imaginary part.]]
<br style="clear:both;">
 
==Notes==
{{reflist}}
 
==References==
*[http://ccrma.stanford.edu/~jos/mdft/Positive_Negative_Frequencies.html Positive and Negative Frequencies]
*Lyons, Richard G. (Nov 11, 2010). Chapt 8.4. ''Understanding Digital Signal Processing'' (3rd ed.). Prentice Hall. 944 pgs. ISBN 0137027419.
 
{{DEFAULTSORT:Negative Frequency}}
[[Category:Waves]]
[[Category:Concepts in physics]]

Latest revision as of 17:34, 25 December 2014

Friends call her Claude Gulledge. For years she's been residing in Kansas. Meter studying is where my main earnings comes from but soon I'll be on my personal. The preferred pastime for him and his kids is to perform badminton but he is struggling to discover time for it.

my page http://tube.Bangable.com/