Talk:Dirac comb

From Wikipedia, the free encyclopedia
Jump to: navigation, search
WikiProject Mathematics (Rated Start-class, Low-importance)
WikiProject Mathematics
This article is within the scope of WikiProject Mathematics, a collaborative effort to improve the coverage of Mathematics on Wikipedia. If you would like to participate, please visit the project page, where you can join the discussion and see a list of open tasks.
Mathematics rating:
Start Class
Low Importance
 Field: Applied mathematics
WikiProject Engineering (Rated Start-class, Low-importance)
WikiProject icon This article is within the scope of WikiProject Engineering, a collaborative effort to improve the coverage of engineering on Wikipedia. If you would like to participate, please visit the project page, where you can join the discussion and see a list of open tasks.
Start-Class article Start  This article has been rated as Start-Class on the project's quality scale.
 Low  This article has been rated as Low-importance on the project's importance scale.
 

Shah function[edit]

This is the same as the so-called Shah function, right? -- Pgabolde 20:23, 26 August 2005 (UTC)

I think so - I don't know if

\sum \delta(t-nT)

is the Shah function or whether it needs T=1. Anyway, I created a redirect for Shah function to here. PAR 21:27, 26 August 2005 (UTC)

Thanks, that's what I meant to do. -- Pgabolde 15:41, 27 August 2005 (UTC)

i changed the symbol for the Dirac comb...[edit]

... to ΔT(t) or  \Delta_T(t) \ to differentiate it from the "nascent" impulse functions in the Dirac delta function article which have the same symbol with subscript as the former symbol for the Dirac comb. two qualitatively different functions, same symbol --- bad. r b-j 05:44, 8 June 2006 (UTC)

oh, and i forgot to mention that i looked up all of the articles linked to Dirac comb and fixed any reference there so we're consistent. r b-j 05:45, 8 June 2006 (UTC)

Scaling property[edit]

Is the "scaling property" mentioned somewhere in the literature? I don't see the point of mentioning it here or how it can be of immediate used, even if it appears to be correct. In fact, they way it is presented now does not even mention the Dirac comb function explicitly. A more interesting scaling property is the following:

\Delta_{T}(t) = \sum_{k=-\infty}^{\infty} \delta(t - k T) = \sum_{k=-\infty}^{\infty} \delta(T[t/T - k]) = \frac{1}{|T|} \sum_{k=-\infty}^{\infty} \delta(t/T - k) = \frac{1}{|T|} \Delta_{1}(t/T)

which means that any Dirac comb function \Delta_{T} can be obtained by an appropriate scaling of the normalized Dirac comb function \Delta_{1}. This property is useful since it can simplify certain derivations, and we only need to remember the Fourier transform of \Delta_{1} from which the Fourier transform of \Delta_{T} easily can be derived. --KYN 21:02, 2 August 2006 (UTC)

knock yourself out. there is a mention of this scaling at Dirac_delta_function#Delta_function_of_more_complicated_arguments. r b-j 20:59, 2 August 2006 (UTC)

Yes, I see it, but can you please tell me what information the "Scaling property" section of the article provides about the comb function? --KYN 21:02, 2 August 2006 (UTC)

The shah symbol[edit]

The article refers to Bracewell and he uses the shah-symbol III(t) to denote the Dirac comb function. If Bracewell is the base reference, why not stick to that symbol and why not call it the shah function, instead of using \Delta and mainly call it the Dirac comb function? In principle, it doesn't matter much to me which notation and names are used as long as they can be motivated. If we are going to use \Delta and Dirac comb function, I would like to see a reference which establishes this notation and name. --KYN 21:00, 2 August 2006 (UTC)

Bracewell isn't the only reference about the Dirac comb. Oppenheim and Schafer is an authorative reference and they call it s(t). your "shah" function is just three letters: "I" and what we should really get is the cyrillic symbol. r b-j 21:05, 2 August 2006 (UTC)

OK, I agree that the shah symbol may appear somewhat shaky through the pseudo-latex renderer, even though it may be possible to make the wiki-guys to implement a proper shah symbol. Why not stick to s(t) and add Oppenheim and Schafer to the reference list? Where does the \Delta symbol comes from? --KYN 22:36, 2 August 2006 (UTC)

The only way I've found to make the symbol is to use three upright 'I' letters:
\mathrm{III}_T(t)
However, the hinting causes these 'I's to have odd spacing. --Tweenk (talk) 01:36, 10 June 2013 (UTC)

Fourier transform[edit]

Why \quad {1\over T}\sum_{k=-\infty}^{\infty} \delta \left( f - {k\over T} \right) \quad = \sum_{n=-\infty}^{\infty} e^{-i2\pi fnT}? Thank you. --Abdull 18:52, 12 June 2007 (UTC)

Let x(t) be periodic, so that x(t) = x(t-T) for all t. Then the Fourier series for x(t) is
 x(t) = \sum_{n=-\infty}^{\infty} c_n e^{i 2 \pi n f_0 t} \
where
 f_0 \equiv \frac{1}{T} \
and
 c_n = f_0 \int_{t_0}^{t_0 + T} x(t) e^{-i 2 \pi n f_0 t} dt \
and where
 - \infty < t_0 < + \infty \ can be anything.
Now set
 x(t) = \frac{1}{T} \sum_{k=-\infty}^{\infty} \delta (t-kT) \
and solve for cn. You'll find that all cn = 1 so that
 x(t) = \sum_{n=-\infty}^{\infty} e^{i 2 \pi n f_0 t} \ .
Then ask yourself: What is the Fourier Transform of  e^{i 2 \pi n f_0 t} \  ?
207.190.198.135 20:05, 12 June 2007 (UTC)
I found this very useful, but personally took me a little time to digest so want to clarify a little more.
First look at the function:
x(f) = \sum_{k=-\infty}^{\infty} \delta (f - \frac{k}{T})
obviously it is a periodic function with period 1/T (as it is a sum of evenly spaced delta functions, each 1/T apart in f-space). Next take the Fourier series of x(f) by the ansatz of the form:
 x(f) = \sum_{n=-\infty}^{\infty} c_n e^{i 2 \pi n f T}
where the coefficients c_n determined by the standard Fourier trick (of multiplying and then integrating orthogonal functions since \int_{f_0}^{f_0+1/T}e^{i 2\pi m f T} e^{-i 2\pi n f T} df = \frac{1}{T}\delta_{mn}) to get
 c_n = \frac{1}{T} \int_{f_0}^{f_0 + 1/T} x(t) e^{-i 2 \pi n f T} df or
 c_n = \frac{1}{T} \int_{f_0}^{f_0 + 1/T} \left(\sum_{k=-\infty}^{\infty} \delta (f - \frac{k}{T})\right) e^{-i 2 \pi n f T} df
Remembering that e^{-i 2 \pi n f T} is periodic over 1/T, we can choose a simple range with f_0=-1/2T, so the only value of k/T that is in the range we are integrating (-1/2T,1/2T) over is with k=0, giving us c_n = \frac{1}{T}
Therefore we have shown that \sum_{k=-\infty}^{\infty} \delta (f - \frac{k}{T}) = \frac{1}{T} \sum_{n=-\infty}^{\infty} e^{i 2 \pi n f T} which is the desired eqn. 24.58.159.5 (talk) 07:44, 16 September 2008 (UTC)


Since you have no problem with:

1 = \int_{-\frac{1}{2T}}^{\frac{1}{2T}} \delta (f) e^{-i 2 \pi n f T} df
= \int_{-\infty}^{\infty} \delta (f) e^{-i 2 \pi n f T} df,

I assume you're OK with the transform pair:   1 \ \stackrel{\mathcal{F}}{\Longleftrightarrow}\ \delta(f).

Then just write out the Poisson summation formula (row 602, Relationship between functions and their Fourier Transforms):

\sum_{k=-\infty}^{\infty} F\left(\nu + \frac{k}{T}\right) = T \sum_{n=-\infty}^{\infty} f(nT)\ e^{-i 2\pi n T \nu}


explicitly for the case  F(\nu) = \delta(\nu).\quad \quad \mbox{QED}\,

The proof of the Poisson summation formula is worth knowing.

--Bob K (talk) 17:19, 16 September 2008 (UTC)

--User:rdsomma I changed the variables in this section, the left hand sides were given as a function of t and the right hand sides were given as a function of f or \omega . Also, the (unitary) Fourier transform of the comb was incorrect. The period is  2 \pi/T , not  \sqrt{2\pi}/T . — Preceding unsigned comment added by Rdsomma (talkcontribs) 19:37, 23 October 2013 (UTC)

Bed of nails?[edit]

Should the article say something about what Bracewell calls the "bed of nails" function? This and its natural higher-dimensional analogs are very important in crystallography. It's surprising that, as far as I can tell, Wikipedia lacks an article on them. Sławomir Biały (talk) 14:41, 4 July 2009 (UTC)

A fact[edit]

It can be shown that

\delta(\sin x)=\sum_{n=-\infty}^{\infty} \delta(t - n \pi),

in case if someone is interested... Zitterbewegung Talk 23:42, 28 October 2009 (UTC)

This seems to beg the question a bit, depending on what one means by the composition of δ with a smooth function. This identity is a trivial consequence of the usual definition (see Dirac delta function) although it is possible that there are other ways of defining the composition in which the statement becomes more interesting (I don't know). Sławomir Biały (talk) 17:06, 21 November 2009 (UTC)

Directional statistics[edit]

Can someone help here - The Dirac comb of period 2π is to circular statistics what the Dirac delta function is to linear statistics. E.g see wrapped distribution. The links in this article to circular statistics articles are constantly being removed because the relationship is not clear to some editors from reading this article. I have added some information in the intro, but any other ideas would be welcome. PAR (talk) 09:48, 18 November 2010 (UTC)

It would help if the article gave a proper indication of the supposed relationship to Directional statistics.... there was nothing at all there before this latest edit. It would be good at least to have a section headed "use in directional statistics", or some such thing, even if it does little more than point to the article you mentioned. And there isn't an immediate analogue with the Dirac delta function as that can be treated as equivalent to a probability distribution in it own right, whereas a Dirac comb cannot ... because it integrates to infinity and so is not equivalent to a probability distribution. Melcombe (talk) 15:12, 25 November 2010 (UTC)
First there was the probability nav box, which was removed. So I put back the nav box along with a short explanation. I will expand the explanation, and include the nav box.
Directional (or wrapped, or circular) probability distributions are never integrated over the real number line (from negative infinity to positive infinity), they are always integrated over the unit circle (an interval of length 2π), as explained in the wrapped distribution article. Since all wrapped distributions are periodic with period 2π the limits of integration are irrelevant as long as the length of the interval is 2π. As a result, the Dirac comb of course integrates to unity. In linear statistics, the variable x often extends from -infinity to infinity. In directional statistics, the angle is in some interval of length 2π In other words the angles θ and θ+2π are considered identical. The analog of x in linear statistics is usually taken to be z=exp(θ), which has a period of 2π. PAR (talk) 22:14, 25 November 2010 (UTC)

Deletion of Scaling property section.[edit]

I have to fully agree with the IP who deleted the Scaling property section. It was contributed long ago with one of many edits by an editor who often thinks he's making the article better and isn't. Undoing his "improvements" over the project's scope would be a full-time job. The equation could make sense, but as it was, is just incorrect. One quick look at the period of the the periodic function on the two sides of the equation would immediately reveal the error. 71.169.185.162 (talk) 03:59, 27 December 2011 (UTC)

I restored the scaling property, expressed properly, with justification. PAR (talk) 04:33, 27 December 2011 (UTC)