Talk:Fourier transform
I think the table and the definition is not consistent -- there are some factors that don't tally. I won't fix it for fear of making it worse .... fiddly stuff. Lupin 15:16, 12 Jun 2004 (UTC)
- It's a pain to keep things consistent through convention changes in the text, but nothing is jumping out at me right now. Which rules concern you? —Steven G. Johnson 15:48, Jun 12, 2004 (UTC)
- There is at least an inconsistency with the Dirac :
- "Furthermore, the useful Dirac delta is a tempered distribution but not a function; its Fourier transform is the constant function 1."
- Yet in the table the convention is used. Eldacan 20:57, 6 Jul 2004 (UTC)
- The text is inconsistent with the FT definition used here; I'll correct it. —Steven G. Johnson 04:04, Jul 7, 2004 (UTC)
Convolution Theorem
- Looks like I forgot about this page for a while :) Isn't the Fourier transform of a convolution the product of the fourier transforms, without any factors? Unless you want your convolutions to have constant factors too... this appears to need fixage on the convolution page as well. Lupin 10:21, 7 Jul 2004 (UTC)
Whether you have constant factors in the convolution theorem depends upon your FT definition (and the convolution definition). With the FT and convolution definitions here, there are constant factors. Proof:
Let:
Then the Fourier transform of h is:
—Steven G. Johnson 17:11, Jul 7, 2004 (UTC)
- Quite right, I dropped a constant in my rough calculation :-) By the way, there's a quicker proof where you don't need to use icky delta functions. The second line is obtained from the first with the change of variables .
Change normalization to simplify formulas?
Hello. I wonder if there's any support for changing the normalization convention to whatever makes the formulas come out simplest. For example, so that the convolution thm becomes F(f*g) = F(f) F(g). I believe that such a convention is commonly followed. Comments? Wile E. Heresiarch 02:02, 26 Oct 2004 (UTC)
main definition
I'm wondering why there is a in front of the transform and inverse integrals. Most definitions that I've seen are:
and
Ok, thanks!
- As noted in the article, the normalization is somewhat arbitrary and varies between authors; the only important thing is that the product of the two constants is . (The one here is common among physicists and mathematicians; see e.g. Mathematical Methods for Physicists by Arfken and Weber. It has the nice property that the transform is unitary without scaling, so that the forward and backwards transforms are conjugates.) —Steven G. Johnson 18:06, Nov 15, 2004 (UTC)
---
I don't understand that: "The Fourier transform is close to a self-inverse mapping: if F(?) is defined as above, and f is sufficiently smooth, then..." if F(w) is defined as above - what does it refer to? ("as above") "f is sufficiently smooth" - what's the idea? f will be the result of the (inverse) transformation. How we can say before the transformation if f is sufficiently smooth? Jun 10, 2005 <btw, how to make a timestamp without registration?>
Typing four tildes (i.e, ~~~~) should do. Cburnett 05:17, Jun 11, 2005 (UTC)
You don't ask the writers' guild to rule on spelling; you ask the lexicographers.
It is certainly important to mention that there are various conventions for the factors on Fourier transforms. But it's mathematicians who invented the thing and who understand it forwards and backwards. This is a math article. The definition used by mathematicians is the one that should be central. (Which is the way this article is currently organized: it should remain this way.)
(If warranted, any pure math article could have a section of it discussing relevant applications; this would be where to emphasize the version of the Fourier transform favored by non-mathematicians.)
The reason mathematicians use 1/sqrt(2 pi) for each factor (as is mentioned in at least one Fourier transform article) is that this puts the transform and its inverse in the group of unitary transformations, ones that preserve distance in the Hilbert space L^2 of functions (or tempered distributions) on the reals. This permits all kinds of additional machinery to be brought to bear in the study of these transforms.
Also: it should be mentioned that iterating the Fourier transform twice takes f(t) to f(-t) (which explains the mysterious comment that the transform is almost the same as its inverse; having similar formulas certainly does not suffice for making two thing "almost the same"). And it should be mentioned that (therefore) iterating the transform four times gives the original function back; this operator iterated four times is the identity operator.Daqu 19:59, 12 December 2005 (UTC)
P.S. Meant to include that this beautiful property of the Fourier transform -- that iterating it four times is equal to the identity transform -- is but one example of a property that holds only when the 1/sqrt(2π) constants are used. (It will not hold for any other choice of real positive constant.)
So it's not really the case that "the only important thing is that the product of the constants before the integrals be equal to 1/2π." This is true, I'm sure, for certain applications, but not true for others.Daqu 04:57, 13 December 2005 (UTC)
Generalization
I changed the wording under generalization, because the forward transform has been defined as the one resulting in F(ω). PAR 3 July 2005 02:28 (UTC)
- Yep, no problem - feel free to do so anytime. I overlooked that it was previously defined earlier in the article. --HappyCamper 3 July 2005 02:53 (UTC)
Hello - I removed the properties list because they are all mentioned and defined in the "Table of important Fourier tranforms" section. All except "duality". What is "duality" in this context? PAR 3 July 2005 14:53 (UTC)
- I put the list up earlier, because I think the article does not emphasize the property of linearity early enough. "Duality" refers to the application of the forward transform twice. Actually, I would like to participate in changing the organization of the 4 Fourier transform articles, where is this being done? --HappyCamper 3 July 2005 15:57 (UTC)
Right here on the talk pages is probably best. What kind of reorganization did you have in mind? I agree linearity is fundamentally important and should be more than just mentioned in the table, maybe some of the other properties as well, but other fundamental properties like orthogonality and Plancherels theorem should not be sidelined. PAR 3 July 2005 16:47 (UTC)
Reorganization
- There are a few things that I have in mind, what do you think about them? (These are in no particular order)
- Emphasize in the beginning the historical use and development of continuous Fourier transforms. Although the article Fourier transforms mentions this, it should be reiterated here. It would be worthwhile to mention the historical difficulty in placing Fourier transforms on a firm mathematical grounding. It is also worthwhile to mention its tremendous impact on engineering applications, harmonic analysis and functional analysis. The article needs to mention that in some contexts, Fourier transforms are used with the implicit assumption that most practical signals are "Fourier transformable"
- The sufficient conditions for convergence and existence of the Fourier transform should be mentioned
- The article should be rewritten somewhat so that it conveys a more introductory tone in the beginning, and then goes progressively deeper into the theory. For example, I don't think Lebesgue integrable functions and Hilbert spaces should be mentioned so early.
- Mention all the basic properties of the Fourier transform earlier
- These include linearity, time shifting, and frequency shifting
- Move all the deeper mathematical properties and definitions to later into the article.
- Make a table of properties which contains
- Transform pairs, with the most common (a,b) definition in use all written out. At minimum, I feel that the definition where (a,b) = (1,1) needs to be included. Even though this material might be redundant (since all the transform pairs are proportional to each other), the article as it stands is nontheless difficult to use for someone who has grown akin to using a particular definition of the Fourier transform.
- Table of all properties which are common to all 4 Fourier transform types. Although I understand the motivation to split the Fourier transform articles into 4 subarticles, I feel that the deep interrelations between the 4 are being obscured somewhat. We need to find a better balance for them.
- The interpretation of Parseval's theorm in terms of energy needs to be stated. --HappyCamper 3 July 2005 18:51 (UTC)
To respond:
- (Emphasize in the beginning the historical use and development of continuous Fourier transforms.) I agree - but only a paragraph or so. People looking for a detailed history should be looking elsewhere.
- (The sufficient conditions for convergence and existence of the Fourier transform should be mentioned) I agree - this should go in the "completeness" section, right?
- (The article should be rewritten somewhat so that it conveys a more introductory tone in the beginning, and then goes progressively deeper into the theory. For example, I don't think Lebesgue integrable functions and Hilbert spaces should be mentioned so early.) - I agree with that.
- (Mention all the basic properties of the Fourier transform earlier. These include linearity, time shifting, and frequency shifting) I agree.
- (Move all the deeper mathematical properties and definitions to later into the article) Well, we need to figure out what is "deep".
- Make a table of properties which contains
- (Transform pairs, with the most common (a,b) definition in use all written out) We need to keep one normalization throughout, and that has been decided (after some heated argument) to be the (0,1). This was not my favorite but it is now, since its both common and unitary. With regard to inclusion of other normalizations in the table only, I'm doubtful it wont be cluttered. I would like to see the unitary normalization for all Fourier articles, but there is resistance to that in the DFT article.
- (Table of all properties which are common to all 4 Fourier transform types.) Agree - although I don't know the best place for it. The articles need to be kept separate, or else there will be one huge confusing article. Maybe in the Fourier transform page?
- (The interpretation of Parseval's theorm in terms of energy needs to be stated) Strongly disagree - energy is a physics concept and the relationship needs to be drawn in the appropriate physics article, not here. Perhaps a mention, but no more.
PAR 3 July 2005 19:43 (UTC)
Thanks for your response...I'll follow suit just like the way you have it set up...
- (I agree - but only a paragraph or so. People looking for a detailed history should be looking elsewhere.) - This was sort of what I had in mind too. An article on the History of the Fourier transforms would be nice. For these articles however, I agree that it's best to focus on their mathematical properties.
- I agree - this should go in the "completeness" section, right? - I was actually thinking of making a little "Convergence" section, and maybe briefly talk about Dirichlet's conditions. But since the article already exists on these conditions, a mentioning in passing might be sufficient.
- Yay, we have consensus!
- Yay, we have consensus!
- Well, we need to figure out what is "deep" - Let's try to answer this question like this. Who would search on Wikipedia for "continuous Fourier transforms"? I think it's reasonable that this person would likely be a university student. This person would be familiar with calculus, but not necessarily all its subtleties. Let's try to gear the article towards this person. Yes, this is sort of vague, but maybe we'll try moving some stuff around, adding new sections, and see if that works out. If not, we can always revert.
- Make a table of properties which contains
- (We need to keep one normalization throughout...) - Well, maybe I'll try to make a table in my own sandbox and then once I'm done with it, I'll present it here for more discussion. I'm not surprised there is a good reason why there is resistance to a parcular normalization. Sometimes a non-normalized Fourier transform pair is better suited for particular applications. Can you direct me to the discussion page where the normalization scheme was chosen? I think its reasonable to feel that choosing a particular normalization scheme is a subtle form of "POV".
- (..although I don't know the best place for it...Maybe in the Fourier transform page?) - I was actually thinking of making a separate page for this table, since I think it would be quite big. I don't want the table to take away from the content of the main article. On the Fourier transform page, we could write maybe 2 or 3 common properties for all the transforms, and then on a separate page, list all of them.
- (...Strongly disagree - energy is a physics concept...) - I'd be satisfied with a mentioning in passing too.
Well, it looks like to me that we basically agree on all the changes. What is next you think? --HappyCamper 3 July 2005 20:26 (UTC)
- Edit away. Just this article to start. Read the whole article carefully first. Start out with rearranging the sections, then fill in one section as much as you can. Wait until tuesday or wednesday when people get back to work and see what happens (so you don't waste a lot of time editing just to get reverted, and people don't have to dig through a million edits to figure out what happened). In other words, consider the people who have contributed to this article a lot over the last few months or years, and now there's been a change they need to understand. Make it easy on them. I'm not on vacation like many, so I'll agree or complain pretty soon. Then after the dust settles, it will probably be clear what to do next.
- With regard to your responses - Concerning normalization, I think the DFT talk page is the one where the discussion got pretty heated. Not here, that was wrong. With regard to the university student statement, yes, a university student should be able to get good information, and that info should be up front, but the article should DEFINITELY include the real mathematics, and not just be a book of recipes. PAR 3 July 2005 21:07 (UTC)
- Of course - none of the rigorous math should be removed. Well, I'll slowly add edits in, but I'll go at my own pace. I'll make sure to put in good edit summaries :-) --HappyCamper 3 July 2005 22:10 (UTC)
An appeal to change the normalization so to be the least inconsistent with physicists and engineers.
Greetings,
I have done a few edits to this article as it is, but I do not presume to have much "ownership" of it (I know, nobody owns WP articles, but I don't want to waste a bunch of time changing things just to get it reverted). Anyway, we've been discussing this a bit at Wikipedia talk:WikiProject Electronics and we feel pretty strongly that the normalization in the Continuous Fourier transform article should, for the principal definition, toss the entire scaling factor into the inverse Fourier Transform (but leave the notes of other scaling conventions, including the unitary one now shown as the principal definition, and also leave that that "generalization" section). The reasons are three-fold:
- 1. that unitary convention with is not common in engineering and physics texts (none that I have seen, but I certainly recognize that I do not have an exhaustive library).
- 2. In the cases were the angular frequency version of the Fourier transform is perferable, we should have the Fourier Transform to be as much compatible with the common double-sided Laplace transform definition as possible. The F.T. would be a degenerate case of the bilateral L.T. with little change in notation and no messy scaling:
- where is the bilateral L.T. of
- 3. Even though there are some nice symmetry properties (such as duality) with the unitary convention, there remain some inelegant scaling with convolution and such operations. (The common EE convention, shown below, is both unitary and has desirable scaling properties - some of us think it is superior in elegance and compactness of expression and manipulation, but we know it is rarely used outside of the engineering discipline. That's why it will be an ancillary article.)
So the principle definition we propose for the Continuous Fourier transform would be:
We are also planning on introducing another article to link to this and to Fourier transform to present the unitary F.T. operator most often used in electrical engineering communications texts:
because with that symmetry of definition and no extraneous scaling factor, the use of the Duality theorem and Parseval's theorem (as well as the DC value vs. integral of transformed function theorem) are trivial. Also transforms of rectangular pulses, sinc functions, gaussian pulses, and chirp functions are trivial (and elegant). Note the different meaning of the symbol , which is non-angular frequency (likely Hz) so it is not used for the "time-domain" input to the Fourier Transform and, instead, we use and EEs use rather than . But all this will be in the ancillary article we'll be making for the benefit of electrical engineers (in fields such as control theory, communications systems, and signal processing).
I know there has been some past discussion about this scaling, but the present principal definition is really a concern for us neanderthal engineers and we would like it to be a little more conventional. Can I get a little feedback on this before I put a lot of work into it? Thanks. r b-j 04:11, 12 December 2005 (UTC)
- For what it's worth, I agree with r b-j. I am in favor of changing from the current convention of normalizing both the forward and inverse transforms to 1 over sqrt(2*pi) to the electrical engineering convention of normalizing only the inverse transform by a factor of 1 over 2*pi. I am also in favor of creating the ancillary article discussing the alternative form of the transform using frequency f in place of angular frequency omega such that omega = 2*pi*f. -- Metacomet 05:22, 12 December 2005 (UTC)
- What you (r b-j) have said so far seems eminently reasonable to me and I can see no objections at the moment. Engineers are reasonable folk anyway (usually) and want to make things as simple as possible (but no simpler!). I dont know what reaction you may get from physicists and mathematicians tho'!--Light current 06:58, 12 December 2005 (UTC)
- The normalization, contrary to the above statement, is probably the most common convention. (e.g. Kaplan, Weiner, etc.) Also in response to "Even though there are some nice symmetry properties (such as duality) with the unitary convention, there remain some inelegant scaling with convolution and such operations." - The duality and symmetry are the most fundamental properties of the transform, the convolution properties are not. Also, with regard to modifying the notation to conform with the Laplace transform, why do that? Nobody uses the Laplace transform, which is, by the way, a special case of the Fourier transform, not vice versa. The asymmetric normalization is for people too lazy to take a square root.
- I beg to differ PAR with your statement that 'no one uses Laplace Transforms'. Electrical/electronics engineers use them all the time for solving steady state and transient network problems.--Light current 22:15, 12 December 2005 (UTC)
- Ok - I'm done being aggravating. The point I am trying to make is that from my side (math-physics) you guys talk about engineers the way New Yorkers talk about New York city. There are the five boroughs, and then there is upstate (i.e. the rest of the known physical universe). There is a culture clash here, and I think that two articles may be the answer. I do think that the present article should be maintained as the math-physics angle, and not be changed to asymmetric normalization. PAR 10:30, 12 December 2005 (UTC)
Let's not argue pointlessly, let's find an effective solution
- The truth is that both conventions exist, and although we could debate endlessly about which one is more common or which one is more standard, the fact is that both conventions are used frequently and widely. We will never achieve a consensus about which one is better or which one is more correct. I prefer the electrical engineering convention for many of the reasons that r-b-j has already mentioned. But it doesn't really matter which one I prefer, or which one anybody else prefers. We need to find a proper way to identify and describe both conventions, explain the differences between them, why someone might use one or the other, and a bit of the rationale for each. It is possible to do that in a single article, although it might be difficult or the article might become too long, or we could create two separate articles, one on each of the two conventions, and then a short overview article that would point readers to each of the two alternatives.
- My recomendation is that we not spend a lot of time and energy debating which definition is right or which definition is better, but rather, let's discuss how best to present both definitions without confusing the reader and in as precise and concise a fashion possible.
- BTW, I don't know about anybody else, but I use the Laplace transform all the time. So it is incorrect to say that nobody uses the Laplace transform! And I do think it is worthwhile to show the connection between Fourier and Laplace. -- Metacomet 12:28, 12 December 2005 (UTC)
- I agree with every thing you have said above. I am leaning to the idea of two articles. The remark about the Laplace transform was meant to be a semi-humorous way to make a point (please read the next paragraph after that remark). PAR 13:56, 12 December 2005 (UTC)
- since the discussion is about different scale factor, I think the best way is to write the article only about the most general version of the transform (the "generalized" one), adding a paragraph at the end saying which are the values of the parameters most commonly used and linking to other articles, containg more particular discussions of the Fourier transforms. This way other articles about different subjects could link directly to the page about the version of the Fourier transform they are using. Such a general approach might be quite difficult: somebody with a good knowledge of math should do it. The other more particular versions of the article will be quite easy to write after the general one has been finished. Alessio Damato 19:21, 12 December 2005 (UTC)
- The resulting article will be somewhat obscure and difficult to read (even more so than now), I'm afraid. Let me point out that this same problem has been faced by every single textbook dealing with Fourier transforms, and none of them (to my knowledge) write all of the formulas in terms of a general scale factor as you propose (in fact, you need two general scale factors: one in front of the transform, and one to convert between f and ω as desired). Rather, they pick one convention that they happen to find convenient, and stick with it throughout — and, if necessary, they have one section which explains how to convert to other conventions. Similarly, I think Wikipedia should stick to one convention for the most part (I don't especially care which in this case since there is no clear consensus in the literature), and then have one section clearly explaining the different conventions that are common and how to convert between them (e.g. for the table). —Steven G. Johnson 20:03, 12 December 2005 (UTC)
- how about 3 new articles:
- this would have most of the stuff from the present article.
- all three would have their definitions clearly stated, their properties (theorems) and, finally, a table of common transform pairs. the present article would have the generalized Fourier transform and then show what pairs of a and b are used for these three different common conventions, their definitions (on the same page for comparison), and then links to specific articles. how does that sound? r b-j 02:12, 13 December 2005 (UTC)
- This ain't going to be easy....there are many different ways to go, I am not sure which one makes the most sense. I do know that in any event, all of the FT-related articles need some general improvement, clarification, and clean-up (in my opinion). But it would be good if we could reach a consesus on the general direction we want to take before investing a lot of time and effort into revising these articles. -- Metacomet 23:53, 12 December 2005 (UTC)
Is it really necessary to have three different articles on the Fourier transform? It seems to me that you just need three copies of the table — one for each convention. On a side note, I dislike r b-j's proposed names. I've seen mathematicians use the convention and physicists use the unitary convention. -- Fropuff 03:40, 13 December 2005 (UTC)
- well if there are three tables with quantitatively different results for some transform pair or theorem, in the same article, i might think that would ostensibly lead to confusion. it should be absolutely clear which table goes with which definition. the problem for us EE guys is that we are agitating for some overhaul in the electronics/signal_processing articles and, before undertaking that, we would like to be able to point to a contiuous Fourier Transform article that is useful to us. but it really should not be totally disconnected from the F.T. as used by mathematicians (frankly, i haven't seen the unitary F.T. in physics texts of mine, but they are 25 years old). all physics and applied mathematics texts and some engineering texts that i have show the inverse F.T. with the 1/2 π factor (possibly some say F(i ω) instead of F(ω)). other engineering texts use the X(f) convention. i know i'm not a formal mathematician (but i do mathematics for a living) and i have never seen the unitary convention in the present article anywhere except in my CRC Handbook.
- i would be happy for better names for the articles (these came off the top of my head). BTW both the first and last conventions are unitary, yet not quantitatively equivalent. r b-j 04:10, 13 December 2005 (UTC)
We could put the tables in three separate articles; as in
- Table of continuous Fourier transforms 1
- Table of continuous Fourier transforms 2
- Table of continuous Fourier transforms 3
The numerical labelling avoids stereotyping a group of people.
Almost all of the physics texts that I own use the convention presented in this article. The only exceptions that I can think of is Peskin and Schroeder's Quantum Field Theory. That being said, I really do prefer the convention. Mostly because I hate the square-roots. -- Fropuff 04:23, 13 December 2005 (UTC)
- Having three completely separate articles would be a huge cut-and-paste job that would be difficult to maintain in the long term. Having three tables is okay, I guess. (I wouldn't label them as "mathematics", "communications" etcetera because any claim that a particular definition is restricted to a particular field is likely to be bogus. Nor would I call them "1", "2", and "3" (which is "1"?). Label them by the the normalization: "unitary normalization", "1/2π normalization", and "non-angular frequency" or some such.) —Steven G. Johnson 06:14, 13 December 2005 (UTC)
- i don't want to stereotype either. i don't see anyone else using the "non-angular frequency" convention other than people (and students) doing communication systems engineering and/or signal processing. nonetheless it is a sorta venerated convention within those groups and it is also a unitary convention (the convention is not the only unitary operator so this "non-angular frequency" convention also has a trivial expression of the Duality Theorem and moreover has the advantage of no crappy scaling factors in convolution or multiplication of functions (also, is the integral of and vise versa - you can't get that with any "angular frequency" convention). i would like it if some good names for these three conventions were somehow composed and have the tables of properties (or theorems) and transform pairs to go with the definition in a separate article, so there is no legitimate reason for some Joe Schmoe to mix it up. r b-j 06:44, 13 December 2005 (UTC)
Should we create a new WikiProject?
Does anyone think that there would be merit in creating a separate WikiProject devoted entirely to the topic of Fourier transforms and the Fourier series? Or is that excessive and unnecessary? -- Metacomet 23:57, 12 December 2005 (UTC)
- excessive and unnecessary? Yes I think so--Light current 00:07, 13 December 2005 (UTC)
Error?
apologies for not knowing the protocol for adding a comment; this information is clearly not easy to track down.
But I write to mention that there must be an error in item 16 in the table of transform pairs, if the comment that e^(-x^2 / 2) is its own transform is true. (Probably the "a" in the denominator of the exponent of e should be replaced by a^2.) --daqu Daqu 19:40, 12 December 2005 (UTC)
- I don't think there is an error - set a=1/2 and it works out. PAR 21:47, 12 December 2005 (UTC)