Re: [music-dsp] Nyquist-Shannon sampling theorem

2014-03-28 Thread Sampo Syreeni
On 2014-03-27, robert bristow-johnson wrote: the *sampling* function is periodic (that's why we call it "uniform sampling"), but the function being sampled, x(t), is just any reasonably "well-behaved" function of t. Ah, yes, that much is true. But in fact, if you look a bit further, actually

Re: [music-dsp] Nyquist-Shannon sampling theorem

2014-03-28 Thread Emanuel Landeholm
rb-j, you wrote again, all you really need is > >+inf +inf > T SUM{ delta(t-nT) } = SUM{ e^(i 2 pi k/T t) } >n=-inf k=-inf > > Precisely, and one way to get there is by starting from the Poisson Summation Formula and taking f(n) = T dirac(t

Re: [music-dsp] Nyquist-Shannon sampling theorem

2014-03-28 Thread Theo Verelst
robert bristow-johnson wrote: ... and in my opinion, a very small amount of hand-waving regarding the Dirac delta (to get us to the same understanding one gets at the sophomore or junior level EE) is *much* *much* easier to gain understanding than farting around with the Dirac delta as a "distrib

Re: [music-dsp] Nyquist-Shannon sampling theorem

2014-03-28 Thread robert bristow-johnson
On 3/28/14 4:25 AM, Emanuel Landeholm wrote: tl;dr version: The justification for DSP (equi-distant samples) is the Whittaker-Shannon interpolation formula, which follows from the Poisson summation formula plus some hand-waving about distributions (dirac delta theory). Am I right? i would say t

Re: [music-dsp] Nyquist-Shannon sampling theorem

2014-03-28 Thread Emanuel Landeholm
tl;dr version: The justification for DSP (equi-distant samples) is the Whittaker-Shannon interpolation formula, which follows from the Poisson summation formula plus some hand-waving about distributions (dirac delta theory). Am I right? On Fri, Mar 28, 2014 at 4:50 AM, Ethan Duni wrote: > Hi R

Re: [music-dsp] Nyquist-Shannon sampling theorem

2014-03-27 Thread Ethan Duni
Hi Robert- > i dunno what "non-standard analysis" you mean. I'm referring to the stuff based on hyperreal numbers: http://en.wikipedia.org/wiki/Hyperreal_number These are an extension of the extended real numbers, where each hyperreal number has a "standard part" (which is an extended real) and

Re: [music-dsp] Nyquist-Shannon sampling theorem

2014-03-27 Thread robert bristow-johnson
On 3/27/14 10:58 PM, Theo Verelst wrote: I'm glad to see some influence of my repeated mention of some of my theoretical concerns leads to thoughts getting formulated, and more, up to quite some, precision being present. well, Theo, i've been thinking (and writing about http://www.aes.org/e

Re: [music-dsp] Nyquist-Shannon sampling theorem

2014-03-27 Thread Theo Verelst
In the time when Einstein started to work on his theories, the main hip and profound mathematics of the time came to be a consequence of the important physics problems of the time, and mostly (if I'm not forgetting some other factors) they were the higher maths, formulated as functional int

Re: [music-dsp] Nyquist-Shannon sampling theorem

2014-03-27 Thread robert bristow-johnson
On 3/27/14 5:27 PM, Ethan Duni wrote: it is, at least, if you accept the EE notion of the Dirac delta function and not worry so much about it "not really being a function", which is literally what the math folks tell us. I may be misremembering, but can't non-standard analysis be used to make t

Re: [music-dsp] Nyquist-Shannon sampling theorem

2014-03-27 Thread Ethan Duni
> it is, at least, if you accept the EE notion of the Dirac delta function and not worry so much about it "not really being a function", which is literally what the math folks tell us. I may be misremembering, but can't non-standard analysis be used to make that whole Dirac delta function approach

Re: [music-dsp] Nyquist-Shannon sampling theorem

2014-03-27 Thread robert bristow-johnson
On 3/27/14 4:05 PM, Ethan Duni wrote: Hi Doug- Regarding this: "Terms like "well behaived" when applied to the "functon" make me wonder what stipulations might be implied by the language that you'd have to be a formal mathmatician to interpret. As an example, I don't even know what the instrin

Re: [music-dsp] Nyquist-Shannon sampling theorem

2014-03-27 Thread robert bristow-johnson
On 3/27/14 2:20 PM, Doug Houghton wrote: Some great replies, gives me a lot to think about Terms like "well behaved" when applied to the "functon" make me wonder what stipulations might be implied by the language that you'd have to be a formal mathmatician to interpret. i'm not so terribly

Re: [music-dsp] Nyquist-Shannon sampling theorem

2014-03-27 Thread Ethan Duni
Hi Doug- Regarding this: "Terms like "well behaived" when applied to the "functon" make me wonder what stipulations might be implied by the language that you'd have to be a formal mathmatician to interpret. As an example, I don't even know what the instrinsic properties of a "function" may be in

Re: [music-dsp] Nyquist-Shannon sampling theorem

2014-03-27 Thread Doug Houghton
Some great replies, gives me a lot to think about Terms like "well behaived" when applied to the "functon" make me wonder what stipulations might be implied by the language that you'd have to be a formal mathmatician to interpret. As an example, I don't even know what the instrinsic properties o

Re: [music-dsp] Nyquist-Shannon sampling theorem

2014-03-27 Thread robert bristow-johnson
maybe this version of the page is better: https://en.wikipedia.org/w/index.php?title=Nyquist%E2%80%93Shannon_sampling_theorem&oldid=217945915 just ignore that section that follows called "Concise summary..." On 3/27/14 8:44 AM, robert bristow-johnson wrote: On 3/27/14 6:53 AM, Sampo Syreen

Re: [music-dsp] Nyquist-Shannon sampling theorem

2014-03-27 Thread robert bristow-johnson
On 3/27/14 6:53 AM, Sampo Syreeni wrote: On 2014-03-27, Stefan Sullivan wrote: Actually, yes there IS a requirement that it be periodic. No, there is not. And the Shannon-Nyquist theorem isn't typically proven under under any such assumption. the *sampling* function is periodic (that's why

Re: [music-dsp] Nyquist-Shannon sampling theorem

2014-03-27 Thread Sampo Syreeni
On 2014-03-27, Stefan Sullivan wrote: Actually, yes there IS a requirement that it be periodic. No, there is not. And the Shannon-Nyquist theorem isn't typically proven under under any such assumption. Furthermore, it generalizes to settings where periodicity isn't even an option. Granted,

Re: [music-dsp] Nyquist-Shannon sampling theorem

2014-03-27 Thread Stefan Sullivan
> On Mar 26, 2014, at 10:07 PM, Doug Houghton wrote: > > so is there a requirement for the signal to be periodic? or can any series of numbers be cnsidered periodic if it is bandlimited, or infinit? Periodic is the best word I can come up with. > > -- > > Well, no--you can decompose any portion o

Re: [music-dsp] Nyquist-Shannon sampling theorem

2014-03-27 Thread Ethan Duni
Hi Doug- To address some of your general questions about Fourier analysis and relationship to sampling theory: Broadly speaking any reasonably well-behaved signal can be decomposed into a sum of sinusoids (actually complex exponentials but don't worry about that detail for now). There are several

Re: [music-dsp] Nyquist–Shannon sampling theorem

2014-03-27 Thread Ross Bencina
On 27/03/2014 3:23 PM, Doug Houghton wrote: Is that making any sense? I'm struggling with the fine points. I bet this is obvious if you understand the math in the proof. I'm following along, vaguely. My take is that this conversation is not making enough sense to give you the certainty you s

Re: [music-dsp] Nyquist–Shannon sampling theorem

2014-03-26 Thread Sampo Syreeni
On 2014-03-27, Doug Houghton wrote: I understand the basics, my question is in the constraints that might be imposed on the "signal" or "functon" as referenced by the theory. The basic theory presupposes that the signal is square integrable and bandlimited. That's pretty much it. If you want

Re: [music-dsp] Nyquist–Shannon sampling theorem

2014-03-26 Thread Nigel Redmon
On Mar 26, 2014, at 8:42 PM, Doug Houghton wrote: > I'm guessing this somehow scratches at the surface of what I've read about no > signal being properly band limited unless it's infinit. Sure, in the same sense, we don’t properly sample to digital or properly convert back to analog anything—if

Re: [music-dsp] Nyquist??"Shannon sampling theorem

2014-03-26 Thread Todd Ingalls
> From: Doug Houghton > To: "A discussion list for music-related DSP" > > Subject: Re: [music-dsp] Nyquist??"Shannon sampling theorem > Message-ID: > Content-Type: text/plain; charset="iso-8859-1"; Format="flowed" > > consi

Re: [music-dsp] Nyquist–Shannon sampling theorem

2014-03-26 Thread Nigel Redmon
On Mar 26, 2014, at 10:07 PM, Doug Houghton wrote: > so is there a requirement for the signal to be periodic? or can any series of > numbers be cnsidered periodic if it is bandlimited, or infinit? Periodic is > the best word I can come up with. > -- Well, no—you can decompose any portion of w

Re: [music-dsp] Nyquist–Shannon sampling theorem

2014-03-26 Thread Thor Harald Johansen
I'm guessing this somehow scratches at the surface of what I've read about no signal being properly band limited unless it's infinit. You're talking about Sinc filtering (ideal low pass filter), which is essentially an IIR filter that needs infinite past and future samples. In practice, a very

Re: [music-dsp] Nyquist–Shannon sampling theorem

2014-03-26 Thread Doug Houghton
so is there a requirement for the signal to be periodic? or can any series of numbers be cnsidered periodic if it is bandlimited, or infinit? Periodic is the best word I can come up with. -- dupswapdrop -- the music-dsp mailing list and website: subscription info, FAQ, source code archive, li

Re: [music-dsp] Nyquist–Shannon sampling theorem

2014-03-26 Thread Nigel Redmon
>It's my understanding that the fourier "theory" says any signal can be created >by summing various frequencies at various phases and amplitudes. OK, now recall that the Fourier series describes a subset of “any signal” with a subset of “various frequencies”. It’s more like one cycle of any wave

Re: [music-dsp] Nyquist–Shannon sampling theorem

2014-03-26 Thread Doug Houghton
"There is the frequency-sensitive requirement that you can’t properly sample a signal that has frequencies higher than half the sample rate. For music, that’s not a problem, since our ears have a significant band limitation anyway." This is intuitive. I think perhaps what I'm asking has mo

Re: [music-dsp] Nyquist–Shannon sampling theorem

2014-03-26 Thread Nigel Redmon
Hi Doug, I think you’re overthinking this… There is the frequency-sensitive requirement that you can’t properly sample a signal that has frequencies higher than half the sample rate. For music, that’s not a problem, since our ears have a significant band limitation anyway. So, if we have a mus

Re: [music-dsp] Nyquist–Shannon sampling theorem

2014-03-26 Thread Doug Houghton
sorry about all the attachments, didn't see that coming. -- dupswapdrop -- the music-dsp mailing list and website: subscription info, FAQ, source code archive, list archive, book reviews, dsp links http://music.columbia.edu/cmc/music-dsp http://music.columbia.edu/mailman/listinfo/music-dsp

Re: [music-dsp] Nyquist–Shannon sampling theorem

2014-03-26 Thread Doug Houghton
The application is music. I understand the basics, my question is in the constraints that might be imposed on the "signal" or "functon" as referenced by the theory. Is it understood to be repeating? for lack of a better term, essentually just a mash of frequencies that bever change from start

Re: [music-dsp] Nyquist–Shannon sampling theorem

2014-03-26 Thread Nigel Redmon
> Is the test signal, while possibly containing any number of wave compenents > at various frequencies, required to be continous ansd uniform? > > By this I mean you can't have frequencies jumping in and out, changing in > amplitude etc… The only requirement is that it’s properly band limited,

Re: [music-dsp] Nyquist–Shannon sampling theorem

2014-03-26 Thread Kenneth Ciszewski
0 Hz for recording on CDs.  What is your application? From: Doug Houghton To: A discussion list for music-related DSP Sent: Wednesday, March 26, 2014 10:42 PM Subject: [music-dsp] Nyquist–Shannon sampling theorem I can't seem to get to the bott

[music-dsp] Nyquist–Shannon sampling theorem

2014-03-26 Thread Doug Houghton
I can't seem to get to the bottom of this with the usual internet pages. Is the test signal, while possibly containing any number of wave compenents at various frequencies, required to be continous ansd uniform? By this I mean you can't have frequencies jumping in and out, changing in amplitu