Talk:Fourier transform: Difference between revisions
Tito Omburo (talk | contribs) |
|||
(367 intermediate revisions by 70 users not shown) | |||
Line 1: | Line 1: | ||
{{WikiProject banner shell|class=B|vital=yes|1= |
|||
{{Maths rating|frequentlyviewed=yes |
|||
{{WikiProject Signal Processing}} |
|||
|small= |
|||
{{WikiProject Mathematics|small=|importance=top|comment= |ACD= }} |
|||
|class=B |
|||
|importance=top |
|||
|field=analysis |
|||
|historical= |
|||
|vital= |
|||
|comment= |
|||
|ACD= |
|||
}} |
}} |
||
{{annual readership|scale=log}} |
|||
{{archives|search=yes}} |
{{archives|search=yes}} |
||
== Maybe a mistake in time shift property? == |
|||
== Citation issue == |
|||
Hi, I think there is a small mistake in section 15 "Tables of important Fourier transforms" -> "Functional relationships, one-dimensional", property 102, time shifting of fourier transform. |
|||
FYI: I'm seeing a red warning message: Harv error: link to #CITEREFHewittRoss1971 doesn't point to any citation. |
|||
There should be a minus in the power of e: e^(-2*pi*i*...). That minus is missing in the entire row. |
|||
I think I verified it on paper, but also with other sources, including the wikipedia fourier transform article itself (section 5.1.2 Translation / time shifting). |
|||
I have no idea how to fix this. This is my first post on wikipedia ever. I hope I'm correct though and not wasting anyones time. |
|||
--[[Special:Contributions/83.130.77.27|83.130.77.27]] ([[User talk:83.130.77.27|talk]]) 12:23, 13 January 2021 (UTC) |
|||
:As far as I can see, all the minus signs are there. Don't you see a minus sign in the following? |
|||
{{Done}} Fixed: the in-text citation used the year 1971, but the reference itself at the bottom of the page was 1970. I changed the in-text reference to 1970, which seems to be the correct year. This was a book in a multi-volume set, so I checked that the reference at the bottom is the one actually being referenced in the text, and it is (since chapter 7 is in volume 2). Good spot! This has been wrong ever since the citation was added ({{diff|Main Page|290492014|290494424|in-text citation added}}, {{diff|Main Page|290494424|290494694|reference added}}). [[User:Quietbritishjim|Quietbritishjim]] ([[User talk:Quietbritishjim|talk]]) 12:49, 25 April 2012 (UTC) |
|||
::<math> e^{-2\pi i a \xi} \hat{f}(\xi)\,</math> |
|||
:That is what's in the 102 item, and here's the entire line: |
|||
::{| class="wikitable" |
|||
! !! Function !! Fourier transform <br /> unitary, ordinary frequency !! Fourier transform <br /> unitary, angular frequency !! Fourier transform <br /> non-unitary, angular frequency !!Remarks |
|||
|- |
|||
| |
|||
|<math> f(x)\,</math> |
|||
|<math>\begin{align} &\hat{f}(\xi) \\&= \int_{-\infty}^\infty f(x) e^{-2\pi i x\xi}\, dx \end{align}</math> |
|||
|<math>\begin{align} &\hat{f}(\omega) \\&= \frac{1}{\sqrt{2 \pi}} \int_{-\infty}^\infty f(x) e^{-i \omega x}\, dx \end{align}</math> |
|||
|<math>\begin{align} &\hat{f}(\nu) \\&= \int_{-\infty}^\infty f(x) e^{-i \nu x}\, dx \end{align}</math> |
|||
|Definition |
|||
|- |
|||
| 102 |
|||
|<math> f(x - a)\,</math> |
|||
|<math> e^{-2\pi i a \xi} \hat{f}(\xi)\,</math> |
|||
|<math> e^{- i a \omega} \hat{f}(\omega)\,</math> |
|||
|<math> e^{- i a \nu} \hat{f}(\nu)\,</math> |
|||
|Shift in time domain |
|||
|} |
|||
: Which browser are you using? Note that when you create an account and log in, you have some options to affect the appearance of text and math. - [[User:DVdm|DVdm]] ([[User talk:DVdm|talk]]) 12:55, 13 January 2021 (UTC) |
|||
:: Correct! In latex there is a minus sign. Using chrome, just checked with another pc and it's working fine. And if I look here closely I think I can see the missing sign very faintly. So it must be something with the local browser and not display settings of wikipedia. Sorry for the trouble. <!-- Template:Unsigned --><span class="autosigned" style="font-size:85%;">— Preceding [[Wikipedia:Signatures|unsigned]] comment added by [[User:OmerLauer|OmerLauer]] ([[User talk:OmerLauer#top|talk]] • [[Special:Contributions/OmerLauer|contribs]]) 13:14, 13 January 2021 (UTC)</span> <!--Autosigned by SineBot--> |
|||
== Overemphasis on time as a variable == |
|||
:::<small>Please [[wp:signature|sign]] all your talk page messages with four tildes (<nowiki>~~~~</nowiki>) — See [[Help:Using talk pages]]. Thanks.</small> |
|||
The article begins: |
|||
:::No problem. What happens if you go to ''Preferences'', ''Appearance'', ''Math'' and select ''MathML with SVG or PNG fallback''? - [[User:DVdm|DVdm]] ([[User talk:DVdm|talk]]) 13:22, 13 January 2021 (UTC) |
|||
:"expresses a mathematical function of ''time'' as a function of frequency, known as its frequency spectrum" [italics mine] |
|||
:::: When switching to PNG I can see the sign as should. The problem is visible when using "MathML with SVG or PNG fallback", which of course is default. Just checked another thing: while zooming in and out, I saw the equations in correct form for all zooms above 125%, and also specificly for 90% (but not for 100%, 110% or below 80%). It seems to be some sort of a rendering issue (??) with my own browser. [[User:OmerLauer|OmerLauer]] ([[User talk:OmerLauer|talk]]) 13:34, 13 January 2021 (UTC) |
|||
Throughout time is emphasized, although in fact the transform applies to a function of ''any'' variable whatsoever. Most noticeably, the Fourier transform applies to functions of distance, and allows expansions in terms of components characterized by [[wavevector]]. |
|||
::::: OK, happy experimenting! {{smiley}} - [[User:DVdm|DVdm]] ([[User talk:DVdm|talk]]) 13:45, 13 January 2021 (UTC) |
|||
The article does contain the section [[Fourier_transform#Fourier_transform_on_Euclidean_space|on space]], but this minor consideration does not convey the generality of the method, which should be made apparent at the beginning. [[User:Brews ohare|Brews ohare]] ([[User talk:Brews ohare|talk]]) 15:15, 26 April 2012 (UTC) |
|||
Hello. There is a problem with Chrome and browsers based off of Chrome such as Edge. The wizards are aware of it. As a temporary fix you can increase the zoom factor. Also, you can get the Math Anywhere extension for both Chrome and Edge that seems to take care of the problem. Or you can wait until Chrome fixes the problem. [[User:Constant314|Constant<b style="color: #1100cc;">''314''</b>]] ([[User talk:Constant314|talk]]) 16:12, 13 January 2021 (UTC) |
|||
A very general discussion is found [http://books.google.com/books?id=P0oP3-cKtuIC&pg=PA138 here] in terms of distributions and test functions. [[User:Brews ohare|Brews ohare]] ([[User talk:Brews ohare|talk]]) 15:47, 26 April 2012 (UTC) |
|||
:Indeed, with the current versions of Chrome and Edge, 4 out of 6 minus signs are missing in the table above. Firefox is doing just fine. - [[User:DVdm|DVdm]] ([[User talk:DVdm|talk]]) 16:22, 13 January 2021 (UTC) |
|||
:It is not an absolute requirement that an article must start in the maximum possible generality. In fact, there are generally good reasons for not doing this, and I believe this is the case here. [[User:Sławomir Biały|<span style="text-shadow:grey 0.3em 0.3em 0.1em; class=texhtml">Sławomir Biały</span>]] ([[User talk:Sławomir Biały|talk]]) 16:18, 26 April 2012 (UTC) |
|||
::I should have added: please do not try to fix it by modifying the LaTeX markup. [[User:Constant314|Constant<b style="color: #1100cc;">''314''</b>]] ([[User talk:Constant314|talk]]) 16:49, 13 January 2021 (UTC) |
|||
::It is well known that different minds react differently to material, with some responding best to development from the particular to the general, and others the reverse. However, it is not desirable to allow the initial impression that an introductory example is the entire subject, and that impression is easily avoided by a clear statement at the outset. [[User:Brews ohare|Brews ohare]] ([[User talk:Brews ohare|talk]]) 15:39, 18 May 2012 (UTC) |
|||
:::Agree with Brews. This should be first defined in the most general way (that can be any variable). After that, one can tell something like this: "For example, if defined as a function of time ..." and so on (and mostly keep the current text in introduction as not to cause anyone's objections). Moreover, it tells "Fourier's theorem guarantees that this can always be done". It would be better to tell: "Fourier's theorem guarantees that this can always be done for periodic functions". [[User:My very best wishes|My very best wishes]] ([[User talk:My very best wishes|talk]]) 01:38, 20 May 2012 (UTC) |
|||
::::So, per you, the Fourier transform should be defined in the lead as follows: "The Fourier transform is the decomposition of a tempered distribution on a locally compact group as an integral over the spectrum of the Hecke algebra of the group." [[User:Sławomir Biały|<span style="text-shadow:grey 0.3em 0.3em 0.1em; class=texhtml">Sławomir Biały</span>]] ([[User talk:Sławomir Biały|talk]]) 12:17, 20 May 2012 (UTC) |
|||
::::::No, quite the opposite. It would be much easier for me just to fix the text instead of discussion [[reductio ad ridiculum]], but I suggest that Brews should do it, just to look if there are any problems with his editing, or ths is something else. [[User:My very best wishes|My very best wishes]] ([[User talk:My very best wishes|talk]]) 13:13, 20 May 2012 (UTC) |
|||
:::::::Well, I disagree quite strongly with the assertion that the Fourier transform "should be first defined in the most general way". I don't have a problem mentioning in the lead of the article the extension to Euclidean spaces, or indeed to other locally compact groups, nor indeed including an entire paragraph about that. [[User:Sławomir Biały|<span style="text-shadow:grey 0.3em 0.3em 0.1em; class=texhtml">Sławomir Biały</span>]] ([[User talk:Sławomir Biały|talk]]) 13:24, 20 May 2012 (UTC) |
|||
:::And I do not even see any reason to mention time so many times in introduction. In fact, the introduction could be completely rewritten for brevity and clarity.[[User:My very best wishes|My very best wishes]] ([[User talk:My very best wishes|talk]]) 02:00, 20 May 2012 (UTC) |
|||
::::The lead is written to be read by someone with no prior background in the subject ([[WP:LEAD]], [[WP:MTAA]]). It's true that it could be shortened substantially, thereby rendering it useless to such an individual. [[User:Sławomir Biały|<span style="text-shadow:grey 0.3em 0.3em 0.1em; class=texhtml">Sławomir Biały</span>]] ([[User talk:Sławomir Biały|talk]]) 12:22, 20 May 2012 (UTC) |
|||
:::::I am extremely surprised that such an obvious matter (the Fourier_transform is not about time) becomes a matter of discussion. [[User:My very best wishes|My very best wishes]] ([[User talk:My very best wishes|talk]]) 13:13, 20 May 2012 (UTC) |
|||
::::::To be sure. But the issue that I bring up is not about whether the Fourier transform is about time, but how to explain it to a lay person. Indeed, this is not an easy question! [[User:Sławomir Biały|<span style="text-shadow:grey 0.3em 0.3em 0.1em; class=texhtml">Sławomir Biały</span>]] ([[User talk:Sławomir Biały|talk]]) 13:25, 20 May 2012 (UTC) |
|||
:::::::An explanation is most likely to be understood when it starts with the familiar and particular and gently proceeds to the alien and abstract. For this reason it is good (when possible) to assume that time and frequency are the independent variables (so not for the multidimensional cases). Perhaps a second paragraph in the lede could say that the transform can be between the domains of any two reciprocal variables, but that for simplicity the article will assume that these are time and frequency - as is commonly the case. --[[User:Catslash|catslash]] ([[User talk:Catslash|talk]]) 15:16, 20 May 2012 (UTC) |
|||
{{outdent|8}}Catslash: Why not put your disclaimer ''the transform can be between the domains of any two reciprocal variables, but that for simplicity the article will assume that these are time and frequency - as is commonly the case'' at the outset, and then proceed. That would satisfy me. [[User:Brews ohare|Brews ohare]] ([[User talk:Brews ohare|talk]]) 16:18, 20 May 2012 (UTC) |
|||
:I would prefer the case of ''n'' dimensions to be handled in a separate paragraph after the first paragraph. (I'm generally against disclaimers such as the one you suggest.) This paragraph can also mention the case of locally compact groups. [[User:Sławomir Biały|<span style="text-shadow:grey 0.3em 0.3em 0.1em; class=texhtml">Sławomir Biały</span>]] ([[User talk:Sławomir Biały|talk]]) 19:42, 20 May 2012 (UTC) |
|||
::But please remember that it must be understandable for a lay person like myself. [[User:My very best wishes|My very best wishes]] ([[User talk:My very best wishes|talk]]) 02:09, 21 May 2012 (UTC) |
|||
:::I'm confused how ''n''-dimensions entered this discussion. The point under discussion is that time and frequency are not the universe of applicability. A statement to this effect is not a disclaimer: it is simply pointing out that the example to follow is selected for the sake of keeping the discussion simple. ''The transform can be between the domains of any two reciprocal variables, but for simplicity the article will assume initially that these are time and frequency - as is commonly the case'' [[User:Brews ohare|Brews ohare]] ([[User talk:Brews ohare|talk]]) 03:51, 21 May 2012 (UTC) |
|||
::::First, disclaimer is your word, not mine. Second, if you're not objecting to focusing on the one-dimensional case in the lead, then I must admit that I'm quite baffled by your objections. I thought we were talking about using space as a variable instead? [[User:Sławomir Biały|<span style="text-shadow:grey 0.3em 0.3em 0.1em; class=texhtml">Sławomir Biały</span>]] ([[User talk:Sławomir Biały|talk]]) 12:26, 21 May 2012 (UTC) |
|||
:::::Hi Sławomir. It really hadn't occurred to me to stress multidimensional Fourier transforms, although maybe that should be part of the thinking here. I am unsure just how to express the generality of the Fourier integral. But at the moment I am not alone in feeling the emphasis on time and frequency appears overstated. Some explanation at the outset that the use of time and frequency is only as a very common example would fix this impression. Can you propose some wording that you would accept? [[User:Brews ohare|Brews ohare]] ([[User talk:Brews ohare|talk]]) 15:03, 21 May 2012 (UTC) |
|||
== Definition section: the reason for the negative sign == |
|||
== Fourier's theorem == |
|||
I have to agree with the IP editor that this is poorly written and after checking the source, I see that the source does not say what is written here. In fact, the source doesn’t give a reason, it just says that engineers prefer a certain sign convention. The source isn't even about the Fourier transform. |
|||
The article refers to [[Fourier's theorem]] as follows: |
|||
::The Fourier transform is a mathematical operation with many applications in physics and engineering that expresses a mathematical function of time as a function of frequency, known as its frequency spectrum; Fourier's theorem guarantees that this can always be done. |
|||
The reason given is nonsense. In fact, both negative and positive signs are used by different communities and there is no problem with convergence of the integral. |
|||
This wording is incorrect. Fourier's theorem applies to ''periodic'' functions and [[Fourier series]], and what is needed here is a theorem regarding ''arbitrary'' functions, not restricted to periodic functions. The more general theorem came later with [[Dirichlet]] and others. [[User:Brews ohare|Brews ohare]] ([[User talk:Brews ohare|talk]]) 17:26, 20 May 2012 (UTC) |
|||
*{{cite book |title=Green's Functions With Applications |author=Dean G. Duffy |url=http://books.google.com/books?id=J-HQL3nEOAwC&pg=PA391 |page=391 |isbn=1584881100 |quote=The Fourier Transform is the natural extension of Fourier series to a function ''f(t)'' of infinite period. |publisher=CRC Press |year=2001}} |
|||
Since the source doesn’t give a reason, I will remove the reason. But the reason is this: it is arbitrary. It is just a choice of where you want your negative signs to appear. As an engineer, I have my preference mainly because that is the way I was taught and that is the way it appears in most of my textbooks. You may find justifications for one choice or the other, but you will not find a definitive reason the sign must be negative or must be positive. [[User:Constant314|Constant<b style="color: #1100cc;">''314''</b>]] ([[User talk:Constant314|talk]]) 12:26, 8 October 2021 (UTC) |
|||
:That's bothered me as well. Should the reference to Fourier's theorem be removed? [[User:Sławomir Biały|<span style="text-shadow:grey 0.3em 0.3em 0.1em; class=texhtml">Sławomir Biały</span>]] ([[User talk:Sławomir Biały|talk]]) 19:44, 20 May 2012 (UTC) |
|||
:<math>e^{+i 2\pi \xi x} = \cos(2\pi \xi x) + i \sin(2\pi \xi x)</math> corresponds to a vector <math>[\cos(2\pi \xi x),\sin(2\pi \xi x)]</math> that rotates in the positive direction (increasing vector angle = CCW) for positive frequency <math>\xi</math>. Anyone who disagrees with that convention is in a lonely minority, and will have endless difficulty with the preponderance of relevant literature and Wikipedia articles. For all the others, the conclusion is obvious. The quantity <math>\int_{-\infty}^{\infty} f(x)\ e^{-i 2\pi \xi x}\,dx</math> is a measure of the relative amount of component <math>e^{+i 2\pi \xi x}</math> in function <math>f(x)</math> (see [[Fourier_series#Definition]]). Therefore <math>\hat{f}(\xi)</math> is the appropriate nomenclature. Similarly, the quantity <math>\int_{-\infty}^{\infty} f(x)\ e^{+i 2\pi \xi x} dx = \int_{-\infty}^{\infty} f(x)\ e^{-i 2\pi (-\xi) x}\,dx</math> is a measure of the relative amount of component <math>e^{i 2\pi (-\xi) x}</math> in function <math>f(x)</math>. And therefore <math>\hat{f}(-\xi)</math> is the appropriate nomenclature. |
|||
::We are not moving anywhere. Brews, could you please post here, on this talk page, your new version of the introduction. And please do not be shy, rewrite everything that needs to be rewritten. Thank you, [[User:My very best wishes|My very best wishes]] ([[User talk:My very best wishes|talk]]) 19:52, 20 May 2012 (UTC) |
|||
:--[[User:Bob K|Bob K]] ([[User talk:Bob K|talk]]) 16:41, 13 November 2021 (UTC) |
|||
{{outdent}} |
|||
:::According to {{cite book |url=http://books.google.com/books?id=a54XrIjKY5QC&pg=PA22 |page=22 |title=Speech Spectrum Analysis |author=Sean A. Fulop |isbn=3642174779 |publisher=Springer |year=2011}} the equation: |
|||
I use the same convention that you are advocating. I have no problem with using that convention. If you want to state a reason for that convention in the article you need a reliable secondary source that states that reason. No amount of [[WP:OR]] will change that. However, I do not mind dabbling in OR here on the talk page. |
|||
::::<math>s(t)=\frac{1}{2\pi}\int\limits_{-\infty}^\infty \left(\int\limits_{-\infty}^\infty \ s(x) e^{i\omega x }dx\right) e^{i\omega t} d\omega \ , </math> |
|||
:::was derived by Fourier in 1811 and is called the [[Fourier transform theorem]]. Apparently its examination and various conditions upon the functions involved were pursued into the 20th century. I guess that is what the article should refer to. [[User:Brews ohare|Brews ohare]] ([[User talk:Brews ohare|talk]]) 20:42, 20 May 2012 (UTC) |
|||
::::The source you found identifies this as the "Fourier integral theorem". I will change the lead to reflect that. [[User:Sławomir Biały|<span style="text-shadow:grey 0.3em 0.3em 0.1em; class=texhtml">Sławomir Biały</span>]] ([[User talk:Sławomir Biały|talk]]) 21:27, 20 May 2012 (UTC) |
|||
Let |
|||
Sorry I don't have time to weigh in on this properly right now, but I just want to point out that the theorem in Brew ohare's comment is the [[Fourier inversion theorem]] (an article that desperately needs clarifying). I've never heard it called anything other than the Fourier inversion theorem before, which might be why you're having trouble finding references. The above statement is not correct: one of the exponentials should have a minus sign in the exponent (it doesn't matter which), otherwise the left hand side would be ''s''(-''t'') instead of ''s''(''t''). I'd be surprised if Fourier proved it in 1811 rigorously by today's standard, instead it seems more likely that he just gave a heuristic argument, but this is just my guess. Even if I'm wrong about that, he certainly wouldn't have proved the most general case (i.e. with the weakest assumptions on the function ''s''); he would almost certainly have assumed that {{nowrap|''s'' ∈ ''L''<sup>1</sup>}} (i.e. it's [[absolutely integrable]]) and probably that it's also [[infinitely differentiable]] with [[compact support]] (the simplest case). [[User:Quietbritishjim|Quietbritishjim]] ([[User talk:Quietbritishjim|talk]]) 23:49, 20 May 2012 (UTC) |
|||
:<math>\begin{align} &\hat{f}_{-}(\omega) = \int_{-\infty}^\infty f(t) e^{-i \omega x}\, dt \end{align}</math> This is the conventional forward transform. |
|||
:Quietbritishjim: Your comments strike me as accurate. I added a few links about this in the text. However, if these matters deserve more attention, perhaps a subsection about these matters is better? [[User:Brews ohare|Brews ohare]] ([[User talk:Brews ohare|talk]]) 03:22, 21 May 2012 (UTC) |
|||
:<math>\begin{align} &\hat{f}_{+}(\omega) = \int_{-\infty}^\infty f(t) e^{+i \omega x}\, dt \end{align}</math> This is the other convention. It is mathematically equal to the conventional reverse transform. |
|||
I hope it is obvious that |
|||
== Fourier integral theorem as an historical note == |
|||
:<math>\begin{align} &\hat{f}_{-} = \hat{f}_{+}^* \end{align}</math> Thus the results of these two conventions are simply conjugates of each other. |
|||
This has no physical effect because physical effects are caused by energy or power. The power of a Fourier transform is computed by multiplying the transform by its conjugate. |
|||
I moved the material on the Fourier integral theorem to a separate section [[Fourier transform#Historical note]]. It seems pertinent to me to state this theorem explicitly and to note its easy derivation using modern analysis. The links to other WP articles also helps the reader. [[User:Brews ohare|Brews ohare]] ([[User talk:Brews ohare|talk]]) 15:32, 21 May 2012 (UTC) |
|||
Again, I hope it is obvious that |
|||
:The article already does state the theorem in the '''Definition''' section, and includes the attribution to Fourier (with I think a more authoritative source). [[User:Sławomir Biały|<span style="text-shadow:grey 0.3em 0.3em 0.1em; class=texhtml">Sławomir Biały</span>]] ([[User talk:Sławomir Biały|talk]]) 15:34, 21 May 2012 (UTC) |
|||
:<math>\begin{align} &\hat{f}_{-} \hat{f}_{-}^* = &\hat{f}_{+} \hat{f}_{+}^* \end{align}</math> |
|||
::Sławomir Biały: I see that you are quite determined to avoid the introduction of Fourier's integral theorem in the double integral form that naturally leads to the Dirac delta function. This may be a matter of aesthetics? To the uninitiated the use of the Dirac delta function and its representations is a very straightforward approach to much of the article, and the needed mathematical rigor that completely obscures the meaning can be relegated to the specialist articles on distributions. |
|||
So, lets look at a couple of examples. I will suppress multiplicative constants that clutter up the results. |
|||
::In any event here are a few observations: |
|||
::#Reference to ''Théorie analytique de la chaleur'' is not very helpful without a page reference where the theorem can be found. Even if that is done, Fourier's notation may defeat an attempt to connect his work to the article. The reference I provided may be less authoritative, but it is way more understandable. |
|||
::#The article now refers to what is commonly called a Fourier transform pair as the "Fourier integral theorem". Although the pair obviously are connected ''by'' the theorem, they are not themselves the theorem. The common usage is the double integral form that results when one of two is substituted into the formula for the other. If you insist upon mentioning only the single integral formulas, the Fourier integral theorem consists of stating in words the result of the substitution of one into the other. See, ''e.g.'' [http://books.google.com/books?id=JF2Pns0hz7YC&pg=PA201 this]. |
|||
::#Through some error, {{harv|Titchmarsh|1948|p=1}} is not provided in the citations. |
|||
First, consider the Fourier transform of <math> cos( \omega t) </math>. |
|||
::I'd suggest that some changes in presentation would be a service to the community. However, as we seem to be at odds, I won't pursue these matters. [[User:Brews ohare|Brews ohare]] ([[User talk:Brews ohare|talk]]) 16:23, 21 May 2012 (UTC) |
|||
:The Fourier transform under the usual convention is <math> \delta(\omega-a)+\delta(\omega+a)</math>. It has Fourier components at both <math>+a</math> and <math>-a </math>. |
|||
:::The definition section says that under appropriate conditions, the function can be recovered from its Fourier transform, and then gives the integral formula for the inverse transform. Later the article discusses some sufficient conditions under which the theorem is true. [[User:Sławomir Biały|<span style="text-shadow:grey 0.3em 0.3em 0.1em; class=texhtml">Sławomir Biały</span>]] ([[User talk:Sławomir Biały|talk]]) 16:46, 21 May 2012 (UTC) |
|||
:The Fourier transform under the other convention is <math> \delta(\omega+a)+\delta(\omega-a)</math>. The result is exactly the same result. |
|||
::::Sławomir Biały: The issue here is clarity of exposition, not whether the thing is said somehow, somewhere. Maybe of interest: The presentation of [http://books.google.com/books?id=Zbz5_UvERIIC&pg=PA4&dq=%22It+was+the+work+of+Augustin+Cauchy%22&hl=en&sa=X&ei=RnW6T52LNovYiQLa9-mABw&ved=0CDgQ6AEwAA#v=onepage&q=%22It%20was%20the%20work%20of%20Augustin%20Cauchy%22&f=false Myint-U & Debnath] suggests the exponential form of the Fourier theorem originates with Cauchy. [[User:Brews ohare|Brews ohare]] ([[User talk:Brews ohare|talk]]) 17:06, 21 May 2012 (UTC) |
|||
::::::Well, it ''does say'' exactly the same theorem in the definition section as you would have it say. Actually what's there now is more technically correct than your version, which in no way alludes to there being any conditions on the function whatsoever. [[User:Sławomir Biały|<span style="text-shadow:grey 0.3em 0.3em 0.1em; class=texhtml">Sławomir Biały</span>]] ([[User talk:Sławomir Biały|talk]]) 17:59, 21 May 2012 (UTC) |
|||
::::You have not provided a page number to refer to ''Théorie analytique de la chaleur'', but [http://books.google.com/books?id=fho1AAAAIAAJ&pg=PA276&dq=%22and+thus+the+range+of+u+extends%22&hl=en&sa=X&ei=6X26T5CyN8iLiALWsvSZBw&sqi=2&ved=0CDgQ6AEwAQ#v=onepage&q=%22and%20thus%20the%20range%20of%20u%20extends%22&f=false it appears] that the formulation of Fourier is: |
|||
:::::<math>f(x)=\frac{1}{\pi}\int \limits_0^\infty\ \int \limits_{-\infty}^\infty \ f(z) \cos \left[ u(x-z)\right] \ dz\ du \ , </math> |
|||
::::which is of the double integral form, but not of exponential form. [[User:Brews ohare|Brews ohare]] ([[User talk:Brews ohare|talk]]) 17:44, 21 May 2012 (UTC) |
|||
::::::Excellent. This seems to be progress. [[User:Sławomir Biały|<span style="text-shadow:grey 0.3em 0.3em 0.1em; class=texhtml">Sławomir Biały</span>]] ([[User talk:Sławomir Biały|talk]]) 17:59, 21 May 2012 (UTC) |
|||
::::See, for example, [http://books.google.com/books?id=-N8EAAAAYAAJ&pg=PA426&dq=%22in+the+general+equation%22+%22which+is+the+same+as+equation%22&hl=en&sa=X&ei=64S6T-mnBae0iQKKoqngBg&ved=0CDkQ6AEwAQ#v=onepage&q=%22in%20the%20general%20equation%22%20%22which%20is%20the%20same%20as%20equation%22&f=false the English translation] of Fourier. [[User:Brews ohare|Brews ohare]] ([[User talk:Brews ohare|talk]]) 18:10, 21 May 2012 (UTC) |
|||
Next, consider the Fourier transform of <math> sin( \omega t) </math>. |
|||
==Proposal== |
|||
:The Fourier transform under the usual convention is <math> -i\delta(\omega-a)+i\delta(\omega+a)</math>. It has Fourier components at both <math>+a </math> and <math>-a </math>. |
|||
How about an historical section along these lines, with maybe more on the modern developments, and with the references properly formatted, of course? |
|||
:The Fourier transform under the other convention is <math> -i\delta(\omega+a)+i\delta(\omega-a)</math>. It has Fourier components at both <math>+a </math> and <math>-a </math>. The result is the conjugate of the result using the usual convention. |
|||
Now let me go way off into OR la-la land to speculate why engineers prefer the usual convention. Consider the Fourier transform of cos(ωt) + sin(ωt). It is <math> \delta(\omega-a)+\delta(\omega+a) -i\delta(\omega-a)+i\delta(\omega+a)</math>. The component at the positive frequency of <math>+a</math> is <math> \delta(\omega-a) -i\delta(\omega-a)</math>. Notice in particular that the ''sign'' of the imaginary part is ''negative''. Engineers prefer this because <math> cos( \omega t)+sin( \omega t) </math> lags <math> cos( \omega t)</math> by 45°. When an engineer plots this in Cartesian space, it is [1,-1]. The [[principal argument]] is negative. Engineers prefer that because the phase of cos(ωt) + sin(ωt) relative to cos(ωt) is negative. Mathematicians consider cos(ωt) and sin(ωt) as basis vectors and they plot cos(ωt) + sin(ωt) as [1,1]. That is all there is to it. Engineers prefer that the Fourier component of sin(ωt) should be negative at positive frequency. [[User:Constant314|Constant<b style="color: #1100cc;">''314''</b>]] ([[User talk:Constant314|talk]]) 22:03, 13 November 2021 (UTC) |
|||
;Historical background |
|||
{{outdent}} |
|||
{| cellpadding="2" style="border: 1px solid darkgray; background:#E6F2CE;" align="center" |
|||
For real-valued <math>f(t)</math> the convention hardly matters, because every frequency has a positive equivalent (e.g. see [[Aliasing#Sampling_sinusoidal_functions]]). The concept of negative frequency is unnecessary... two-sided Fourier transforms are redundant. |
|||
|[[Joseph Fourier]] presented what is now called the ''Fourier integral theorem'' in his treatise ''Théorie analytique de la chaleur'' in the form:([http://books.google.com/books?id=-N8EAAAAYAAJ&pg=PA426&dq=%22in+the+general+equation%22+%22which+is+the+same+as+equation%22&hl=en&sa=X&ei=64S6T-mnBae0iQKKoqngBg&ved=0CDkQ6AEwAQ#v=onepage&q=%22in%20the%20general%20equation%22%20%22which%20is%20the%20same%20as%20equation%22&f=false see this]) |
|||
::<math>f(x)=\frac{1}{\pi}\int \limits_{-\infty}^\infty\ \ d\alpha f(\alpha) \ \int \limits_0^\infty dp\ \cos (px-p\alpha)\ . </math> |
|||
|- |
|||
|which is tantamount to the introduction of the [[Dirac delta function| δ-function]]: See [http://books.google.com/books?id=8GwKzEemrIcC&pg=PA200&dq=%22Fourier+introduced+the%22+%22+-function+much+earlier%22&hl=en&sa=X&ei=oJa6T5L2O6SriQKGloCUBw&ved=0CDQQ6AEwAA#v=onepage&q=%22Fourier%20introduced%20the%22%20%22%20-function%20much%20earlier%22&f=false this]. |
|||
::<math>\delta(x-\alpha)=\frac{1}{\pi} \int \limits_0^\infty dp\ \cos (px-p\alpha) \ . </math> |
|||
|- |
|||
|Later, [[Augustin Cauchy]] expressed the theorem using exponentials:[http://books.google.com/books?id=Zbz5_UvERIIC&pg=PA4&dq=%22It+was+the+work+of+Augustin+Cauchy%22&hl=en&sa=X&ei=RnW6T52LNovYiQLa9-mABw&ved=0CDgQ6AEwAA#v=onepage&q=%22It%20was%20the%20work%20of%20Augustin%20Cauchy%22&f=false Myint-U & Debnath] [http://books.google.com/books?id=YGnKPuCbtCcC&pg=PA2&dq=Cauchy+Fourier+integral+OR+transform&hl=en&sa=X&ei=ZP-8T9LdOIqliQL9zPDDDQ&ved=0CD0Q6AEwAjgK#v=onepage&q=Cauchy%20Fourier%20integral%20OR%20transform&f=false Debnath & Bhatta] |
|||
::<math>f(x)=\frac{1}{2\pi} \int \limits_{-\infty} ^ \infty \ e^{ipx}\left(\int \limits_{-\infty} ^ \infty e^{-ip\alpha }f(\alpha)\ d \alpha \right) \ dp \ . </math> |
|||
|- |
|||
|Cauchy pointed out that in some circumstances the ''order'' of integration in this result was significant.[http://books.google.com/books?id=_GgioErrbW8C&pg=PA653&dq=%22Further,+in+a+double+integral%22&hl=en&sa=X&ei=4gC9T7KVDvDRiALq-dTLDQ&ved=0CDgQ6AEwAA#v=onepage&q=%22Further%2C%20in%20a%20double%20integral%22&f=false Grattan-Guinness] [http://gallica.bnf.fr/ark:/12148/bpt6k90181x/f387 Des intégrales doubles qui se présentent sous une forme indéterminèe] |
|||
|- |
|||
|Full justification of the exponential form and the various limitations upon the function ''f'' necessary for its application extended over several centuries, involving such mathematicians as [[Johann Peter Gustav Lejeune Dirichlet|Dirichlet]], [[Michel Plancherel|Plancherel]] and [[Norbert Wiener|Wiener]],[http://books.google.com/books?id=L1U4AAAAIAAJ&pg=PR16&dq=%22The+main+results+of+the+book+may+be+listed+as+follows%22&hl=en&sa=X&ei=pJO6T6T5GYeSiALH9Mn-Bg&ved=0CDQQ6AEwAA#v=onepage&q=%22The%20main%20results%20of%20the%20book%20may%20be%20listed%20as%20follows%22&f=false some background], [http://books.google.com/books?id=ATWKUYY1GyYC&pg=PA2&dq=%22pioneered+by+the+work+of+N.+Wiener%22&hl=en&sa=X&ei=HZW6T8r4IYmSiQLmmKCABw&ved=0CDQQ6AEwAA#v=onepage&q=%22pioneered%20by%20the%20work%20of%20N.%20Wiener%22&f=false more background], and leading eventually to the theory of [[Distribution (mathematics)|mathematical distributions]] and, in particular, the formal development of the [[Dirac delta function]]. |
|||
|- |
|||
|As justified using the theory of distributions, the Cauchy equation can be rearranged like Fourier's original formulation to expose the δ-function as: |
|||
::<math>f(x)=\frac{1}{2\pi} \int \limits_{-\infty} ^ \infty \ e^{ipx}\left(\int \limits_{-\infty} ^ \infty e^{-ip\alpha }f(\alpha)\ d \alpha \right) \ dp </math> |
|||
|- |
|||
|       <math>=\frac{1}{2\pi} \int \limits_{-\infty} ^ \infty \ \left(\int \limits_{-\infty} ^ \infty e^{ipx} e^{-ip\alpha } \ dp \right)f(\alpha)\ d \alpha \ = \int \limits_{-\infty} ^ \infty \ \delta (x-\alpha) f(\alpha) \ d \alpha \ , </math> |
|||
|- |
|||
|where the δ-function is expressed as: |
|||
::<math>\delta(x-\alpha)=\frac{1}{2\pi} \int \limits_{-\infty} ^ \infty e^{ipx} e^{-ip\alpha } \ dp \ . </math> |
|||
|} |
|||
[[User:Brews ohare|Brews ohare]] ([[User talk:Brews ohare|talk]]) 18:49, 21 May 2012 (UTC) |
|||
Cutting to the chase, the convention determines whether <math>e^{i \omega t}</math> is considered a positive or a negative frequency. The customary definition of [[instantaneous frequency]] is the derivative of instantaneous phase, which is <math>\omega t,</math> whose derivative is <math>\omega.</math><br> |
|||
:Seems quite good, although really it's the theory of tempered distributions that are important in the development of the Fourier integral. More needs to be fleshed out in this later development, if you're up to it. [[User:Sławomir Biały|<span style="text-shadow:grey 0.3em 0.3em 0.1em; class=texhtml">Sławomir Biały</span>]] ([[User talk:Sławomir Biały|talk]]) 19:35, 21 May 2012 (UTC) |
|||
Therefore <math>f(t) = e^{i \omega t}, \omega > 0</math> is a positive frequency. And its measurement is <math>\hat{f}(\omega)=\int_{-\infty}^{\infty} f(t)\ e^{-i \omega t}\,dt</math> (which means <math>\int_{-\infty}^{\infty} f(t)\ e^{i \omega t}\,dt</math> is <math>\hat{f}(-\omega)</math>).<br> |
|||
I conclude that those who claim otherwise have a different definition of instantaneous phase or instantaneous frequency, which puts them at odds with Wikipedia's sourced articles. The burden is on them to provide contradictory sources.<br> |
|||
--[[User:Bob K|Bob K]] ([[User talk:Bob K|talk]]) 04:38, 15 November 2021 (UTC) |
|||
:But no. The burden is one those who wish to add a fact to a Wikipedia article. The burden is on them to provide a reliable source. [[User:Constant314|Constant<b style="color: #1100cc;">''314''</b>]] ([[User talk:Constant314|talk]]) 04:21, 15 November 2021 (UTC) |
|||
:Here is [http://books.google.com/books?id=xIsPrSiDlZIC&pg=PA553&dq=%22To+this+theory%22+%22and+even+more%22++%22that+one+was+able+to+generalize%22&hl=en&sa=X&ei=RJ66T-y7JOLjiAKuoeSUBw&ved=0CDQQ6AEwAA#v=onepage&q=%22To%20this%20theory%22%20%22and%20even%20more%22%20%20%22that%20one%20was%20able%20to%20generalize%22&f=false a quote]: |
|||
::To this theory [the theory of Hilbert transforms] and even more to the developments resulting from it - it is of basic importance that one was able to generalize the Fourier integral, beginning with Plancherel's pathbreaking L<sup>2</sup> theory (1910), continuing with Wiener's and Bochner's works (around 1930) and culminating with the amalgamation into L. Schwartz's theory of distributions (1945)... |
|||
I get your point. But I disagree with your statement "But the reason is this: it is arbitrary. It is just a choice of where you want your negative signs to appear." No. It comes down to your definition of the instantaneous phase and frequency of function <math>e^{i \omega t}.</math> When you "arbitrarily" choose <math>\hat f(\omega) = \int_{-\infty}^{\infty} f(t)\ e^{+i \omega t}\,dt,</math> you are also arbitrarily rejecting the customary definitions of instantaneous phase and frequency. Therefore you need to provide sourced reasons for that whim.<br> |
|||
:and [http://books.google.com/books?id=Od5BxTEN0VsC&pg=PA62&dq=%22greatest+drawback+of+the+classical+Fourier+transformation+is+a+rather+narrow+class+of+functions%22&hl=en&sa=X&ei=IKG6T_niFqWfiQLJoODdBg&ved=0CDQQ6AEwAA#v=onepage&q=%22greatest%20drawback%20of%20the%20classical%20Fourier%20transformation%20is%20a%20rather%20narrow%20class%20of%20functions%22&f=false here is another]: |
|||
--[[User:Bob K|Bob K]] ([[User talk:Bob K|talk]]) 05:10, 15 November 2021 (UTC) |
|||
::"The greatest drawback of the classical Fourier transformation is a rather narrow class of functions (originals) for which it can be effectively computed. Namely, it is necessary that these functions decrease sufficiently rapidly to zero (in the neighborhood of infinity) in order to insure the existence of the Fourier integral. For example, the Fourier transform of such simple functions as polynomials does not exist in the classical sense. The extension of the classical Fourier transformation to distributions considerably enlarged the class of functions that could be transformed and this removed many obstacles. |
|||
:Query: do these quotes seem to you to cover the subject adequately for this historical discussion, or what else would you suggest? [[User:Brews ohare|Brews ohare]] ([[User talk:Brews ohare|talk]]) 20:05, 21 May 2012 (UTC) |
|||
::The historical discussion looks good, but the last paragraph seems questionable or out of place. This is roughly how Cauchy proved the formula. (I have read Cauchy's account myself many moons ago.) The issue wasn't a lack of a notion of Delta function—Cauchy even had such a gadget—but a lack of appropriate function space on which the Fourier transform was defined. That is, it's the ''f'' in the formula that mathematicians subsequently worked so hard to clarify, not the δ. The emphasis on the Dirac delta seems misleading/wrong. |
|||
::Also a general remark is that this content seems like it might ultimately be more suited to the [[Fourier inversion theorem]] article rather than here. At present, this article lacks any kind of history section, so it has to start with something I suppose. [[User:Sławomir Biały|<span style="text-shadow:grey 0.3em 0.3em 0.1em; class=texhtml">Sławomir Biały</span>]] ([[User talk:Sławomir Biały|talk]]) 18:50, 22 May 2012 (UTC) |
|||
:::I am happy you have read Cauchy on this topic. Perhaps you can supply a source? |
|||
:::The delta-function was used also by Fourier as noted in the proposed text. The point to be made is not the ''notion'' of a delta function, which is inevitable in any double-integral relation relating a function to itself, but an explication of the historical events that lead to its solid formulation as a distribution, among which are elucidation of exactly the points you raise: the correct function space and the role of distributions. Perhaps you might indicate what you consider to be the benchmark events? |
|||
:::Your last suggestion leaves me somewhat confused as to your recommendation. Are you saying [[Fourier transform]] needs a history section and maybe this proposal is a start that can be built upon? [[User:Brews ohare|Brews ohare]] ([[User talk:Brews ohare|talk]]) 14:58, 23 May 2012 (UTC) |
|||
::::I've elected to put this historical matter in the article [[Dirac_delta_function#History|Delta function]]. [[User:Brews ohare|Brews ohare]] ([[User talk:Brews ohare|talk]]) 19:54, 23 May 2012 (UTC) |
|||
{{outdent}} |
|||
==Name of the theorem== |
|||
I went through several of my text books. Here is what I found. |
|||
To reiterate one of the things I said in my last comment '''the name of this theorem is the "Fourier inversion theorem", NOT the "Fourier integral theorem"'''. This naming convention is essentially universal: I have seen myriad references to that name over many years, but I've never heard the name "Fourier integral theorem" before this discussion. What's more, as I said before, [[Fourier inversion theorem]] is already an article (admittedly one in need of some attention). Obviously it's a critical theorem relating to the Fourier transform, so perhaps it should have a short section in this article, with one of those notes at the top like "for more information see [[Fourier inversion formula]]". The history section above seems to be exclusively about that theorem, so it belongs in that article. [[User:Quietbritishjim|Quietbritishjim]] ([[User talk:Quietbritishjim|talk]]) 21:57, 22 May 2012 (UTC) |
|||
*'''Using the engineering convention''' |
|||
:*Oppenheim, Alan V.; Willsky, Alan S.; Young, Ian T. (1983), ''Signals and Systems'' (1st ed.), Prentice-Hall, {{ISBN|0138097313}} |
|||
:*Gregg, W. David (1977), ''Analog & Digital Communication'', John Wiley, {{ISBN|0471326615}} |
|||
:*Stein, Seymour; Jones, J. Jones (1967), ''Modern Communnication Principles'', McGraw-Hill, page 4, equation 1-5 |
|||
:*Hayt, William; Kemmerly, Jack E. (1971), ''Engineering Circuit Analysis'' (2nd ed.), McGraw-Hill, {{ISBN|0070273820}}, page 535, equation 8b. |
|||
*'''Using the other convention''' |
|||
:*Press, William H.; Teukolsky, Saul A.; Vetterling, William T. (2007), ''Numerical Recipes'' (3rd ed.), Cambridge University Press, {{ISBN|9780521880688}}, page 692. |
|||
:*Jackson, John Davd (1999), ''Classical Electrodynamics (3rd ed.)'', John-Wiley, {{ISBN|047130932X}}, page 372, equation 8.89 |
|||
:*Stratton, Julius Adams (1941), ''Electromagnetic Theory'', McGraw-Hill page 294, equation 47 |
|||
:*Reitz, John R.; Milford, Frederick J.; Christy, Robert W. (1993), ''Foundations of Electromagnetic Theory'', Addison-Wesley, {{ISBN|0201526247}}, page 607, equation VI-2 |
|||
[[User:Constant314|Constant<b style="color: #1100cc;">''314''</b>]] ([[User talk:Constant314|talk]]) 17:28, 17 November 2021 (UTC) |
|||
{{outdent}} |
|||
:I'm not sure what makes you think that the naming convention is universal. Most of the classical literature in the subject uses "Fourier integral theorem" or some variant thereof to refer to the theorem, including the now referenced textbook by Titchmarsh—at one time required reading in the subject. I believe this convention remains in engineering and related areas. Google books bears this out: [http://www.google.com/search?q=%22Fourier+integral+theorem%22&ie=utf-8&oe=utf-8&aq=t&rls=org.mozilla:en-US:unofficial&client=iceweasel-a#q=%22Fourier%20integral%20theorem%22&oe=utf-8&rls=org.mozilla:en-US:unofficial&client=iceweasel-a&um=1&ie=UTF-8&hl=en&tbo=u&tbm=bks&source=og&sa=N&tab=wp&psj=1&ei=VhC8T8OoB-bD6gH51PRI&bav=on.2,or.r_gc.r_pw.r_qf.,cf.osb&fp=539fbe40cafc9eb7&biw=1270&bih=691 34,000 hits] for "Fourier integral theorem" versus [http://www.google.com/search?q=%22Fourier+inversion+theorem%22&btnG=Search+Books&tbm=bks&tbo=1 13,000 hits] for "Fourier inversion theorem". Google scholar, which does not index older literature, gets about 1000 each. [[User:Sławomir Biały|<span style="text-shadow:grey 0.3em 0.3em 0.1em; class=texhtml">Sławomir Biały</span>]] ([[User talk:Sławomir Biały|talk]]) 22:19, 22 May 2012 (UTC) |
|||
Thank you. I can expand the upper list, if needed, but it seems to be coming down to signals and communication vs electromagnetics. Amazingly, I still have my undergrad copy of |
|||
*{{cite book |last1=Plonsey |first1=Robert |last2=Collin |first2=Robert E. |title=Principles and Applications of Electromagnetic fields |date=1961 |publisher=McGraw-Hill |location=New York |isbn=0070503400}}<br> |
|||
It is a dense 554-page book, with not a single Fourier transform formula or even Euler's formula. My take-away is that the EM applications of Fourier transform theory don't go deep enough to matter which convention they use. To quote myself (above) "For real-valued <math>f(t)</math> the convention hardly matters". The concept of negative frequency is not useful. So your statement: |
|||
*"But the reason is this: it is arbitrary. It is just a choice of where you want your negative signs to appear." |
|||
might be a misleading generalization based on certain limited applications of transform theory.<br> |
|||
Anyhow, we're getting a little off track. The point is that the convention chosen for the article (which we both agree with) was not an arbitrary coin toss. It might not have any consequences for EM theory, but it does have consequences for signal theory. So I added a footnote that does not need an external citation. All it relies on is a Wikilink to our instantaneous frequency article.<br> |
|||
--[[User:Bob K|Bob K]] ([[User talk:Bob K|talk]]) 12:30, 18 November 2021 (UTC) |
|||
:{{ping|Bob K}} Greetings. I had not responded because it looked like we were at an impasse, but I think the conversation should continue. I looked at [[instantaneous frequency]] and did not see anything there that would favor one convention for FT over the other. There is no physical requirement for one or the other. However, I will speculate. When I look at the engineers describing a simple wave traveling in the x direction, they tend to use <math> \cos (\omega t - kx) </math> whereas the EM guys tend to write <math> \cos (kx - \omega t ) </math>. My interpretaion is that the signals guys are mostly interested in what is happening with respect to time at a fixed place while the EM guys are more interested in what happens with respect to space at a fixed time. [[User:Constant314|Constant<b style="color: #1100cc;">''314''</b>]] ([[User talk:Constant314|talk]]) 05:04, 16 March 2022 (UTC) |
|||
:: Sorry about that. "... engineering and related areas" This seems to be the reason, I'm a pure mathematician, and looking at the top results in Google Books it seems Fourier inversion theorem is used in pure maths and Fourier integral theorem is used in science. The Google results aren't an accurate test because a lot of the Fourier integral theorem results (even in the top 20) are just results that have Fourier, integral and theorem anywhere in the name, but I agree that the name is in use. [[User:Quietbritishjim|Quietbritishjim]] ([[User talk:Quietbritishjim|talk]]) 23:23, 22 May 2012 (UTC) |
|||
That sounds about right, based on my distant memories (circa 1968) of one EM theory course.<br> |
|||
:::<small>Your Google results seem to differ from mine. The links I gave search (for me) for the ''exact phrase'' "Fourier integral theorem" and the exact phrase "Fourier inversion theorem". All of the top twenty links seem to be about the theorem we're discussing. [[User:Sławomir Biały|<span style="text-shadow:grey 0.3em 0.3em 0.1em; class=texhtml">Sławomir Biały</span>]] ([[User talk:Sławomir Biały|talk]]) 00:02, 23 May 2012 (UTC)</small> |
|||
--[[User:Bob K|Bob K]] ([[User talk:Bob K|talk]]) 11:47, 16 March 2022 (UTC) |
|||
::::The term [[Fourier integral theorem]] is used in many authoritative works. A Google count is a poor way to find accepted usage because many, maybe even most, authoritative works are not searchable, and so do not appear in a Google search. A compromise position is that either name can be used, and both are widely understood. [[User:Brews ohare|Brews ohare]] ([[User talk:Brews ohare|talk]]) 17:48, 23 May 2012 (UTC) |
|||
==Language for Beginners== |
|||
== ξ vs ν ? == |
|||
I think this article should be improved in some manner for the general public that is scientifically minded but not taking a full calculus class in college. I think the possibility of adding it to the Simple English Wikipedia with easier to understand language is a good idea, in addition to the process of adding explanations and writing that is not mathematically centered. Maybe including something of this sort, |
|||
"The Fourier Transform helps to transform functions such as cosine and sine into different output functions that behave differently than normal trigonometric functions." |
|||
[[User:ScientistBuilder|ScientistBuilder]] ([[User talk:ScientistBuilder|talk]]) 01:38, 14 October 2021 (UTC)ScientistBuilder[[User:ScientistBuilder|ScientistBuilder]] ([[User talk:ScientistBuilder|talk]]) 01:38, 14 October 2021 (UTC) |
|||
:Is this better: [[Fourier_analysis#(Continuous)_Fourier_transform]] ? |
|||
Since it bothers me, maybe it bothers others as well. Instead of: |
|||
:--[[User:Bob K|Bob K]] ([[User talk:Bob K|talk]]) 12:29, 16 October 2021 (UTC) |
|||
== Use of complex sinusoids to represent real sinusoids == |
|||
:<math>\hat{f}(\xi) = \int_{-\infty}^{\infty}f(x) e^{-i 2\pi \xi x}\, dx </math> |
|||
:<math>\hat{f}(\nu) = \int_{-\infty}^{\infty}f(x) e^{-i \nu x}\, dx </math> |
|||
A quick impression is that this section could be simplified, perhaps making use of the [[Analytic signal]] concept instead of [[Fourier series]]. I'll try to give that some thought. |
|||
I would prefer: |
|||
Furthermore, the statement "every real sinusoid consists of an equal contribution of positive and negative frequency components, which is true of all real signals" is misleading. It is a cancellation, not a contribution, analogous to something like "10 apples consists of 5 apples + 5 bananas and 5 apples - 5 bananas". (See [[Negative_frequency#Sinusoids]]) |
|||
:<math>\hat{f}(\nu) = \int_{-\infty}^{\infty}f(x) e^{-i 2\pi \nu x}\, dx </math> |
|||
:<math>\hat{f}(\xi) = \int_{-\infty}^{\infty}f(x) e^{-i \xi x}\, dx </math> |
|||
--[[User:Bob K|Bob K]] ([[User talk:Bob K|talk]]) 12:34, 16 March 2022 (UTC) |
|||
Examples: |
|||
:I'm sorry. Thank you for pointing that out. For now I've rephrased as: |
|||
*[http://en.wikipedia.org/enwiki/w/index.php?title=Fourier_transform&oldid=240761879#Definitions Fourier transform,9/24/08] |
|||
:"Hence, every real sinusoid (and real signal) can be considered to consist of a positive and negative frequency, whose imaginary components cancel but whose real components sum to form the real signal." |
|||
*[[Convolution_theorem#Proof|Convolution theorem]] |
|||
:And I removed that reference to that ccrma.stanford.edu page cause what I wrote is now slightly different. |
|||
*[http://mathworld.wolfram.com/ConvolutionTheorem.html wolfram.com] |
|||
:I understand you don't want a complicated discussion on complex sinusoids. I'm wondering maybe what if I move that discussion out from this article and put it in the article for either [[negative frequency]] or [[Sine wave]]. Or maybe the [[Sinusoid]] redirect page could become its own page that discusses both real and complex sinusoids. [[User:Em3rgent0rdr|Em3rgent0rdr]] ([[User talk:Em3rgent0rdr|talk]]) 02:15, 17 March 2022 (UTC) |
|||
I think that's on the right track. I was definitely struggling with that section... I kept coming back to the question "Does it even need to be here?" IMO, the ccrma.stanford.edu viewpoint is the easy explanation, more of an engineering convenience than a true insight. I'm all in favor of conveniences, but I'm also in favor of distinguishing them from the underlying realities.<br> |
|||
--[[User:Bob K|Bob K]] ([[User talk:Bob K|talk]]) 12:48, 7 June 2012 (UTC) |
|||
--[[User:Bob K|Bob K]] ([[User talk:Bob K|talk]]) 11:45, 17 March 2022 (UTC) |
|||
== Pronunciation == |
|||
:There are of course various conventions on where the 2π goes and what letters to use. The one here is that found in most harmonic analysis texts such as Stein and Weiss, and Grafakos. This is also the convention used, e.g., by Terrence Tao [http://www.math.ucla.edu/~tao/preprints/fourier.pdf] in his entry to the [[The Princeton Companion to Mathematics]]. Your prefered version seems to be more common in the dispersive PDE community (e.g., Hormander). In any event, I don't really know if there is any good reason for preferring one convention over the other, besides individual familiarity and tastes. [[User:Sławomir Biały|<span style="text-shadow:grey 0.3em 0.3em 0.1em; class=texhtml">Sławomir Biały</span>]] ([[User talk:Sławomir Biały|talk]]) 15:56, 11 June 2012 (UTC) |
|||
I was hoping to see an IPA pronunciation in the first sentence of the article (but there is not one). Wiktionary has an English pronunciation for ''[[wiktionary:Fourier|Fourier]]'' (as a surname), which might apply to ''Fourier transform''. - [[User:ExcarnateSojourner|excarnateSojourner]] ([[User talk:ExcarnateSojourner|talk]]|[[Special:Contributions/ExcarnateSojourner|contrib]]) 21:30, 11 July 2022 (UTC) |
|||
Thanks. I don't have a familiarity preference, because I use <math>f\,</math> for hertz, myself. What it comes down to for me is that, for the sake of beginners, I don't like to make anything look any more intimidating that absolutely necessary. And I think this |
|||
:<math>\hat{f}(\nu) = \int_{-\infty}^{\infty}f(x) e^{-i 2\pi \nu x}\, dx </math> and <math>f(x) = \int_{-\infty}^\infty \hat f(\nu) e^{2 i \pi x \nu} \, d\nu</math> |
|||
are a little friendlier looking than this |
|||
:<math>\hat{f}(\xi) = \int_{-\infty}^{\infty}f(x) e^{-i 2\pi \xi x}\, dx </math> and <math>f(x) = \int_{-\infty}^\infty \hat f(\xi) e^{2 i \pi x \xi} \, d\xi</math>. |
|||
:In English the name is often pronounced foo-ree-ei or foor-ee-ei (the last syllable rhyming with "day", and all three syllables given approximately equal stress). [[Special:Contributions/2601:200:C000:1A0:BC00:5039:DB55:E9EC|2601:200:C000:1A0:BC00:5039:DB55:E9EC]] ([[User talk:2601:200:C000:1A0:BC00:5039:DB55:E9EC|talk]]) 22:23, 29 July 2022 (UTC) |
|||
And indeed, as of 9/24/2008, the Hz convention was represented here by <math>\nu\,</math>. |
|||
:--[[User:Bob K|Bob K]] ([[User talk:Bob K|talk]]) 20:40, 12 June 2012 (UTC) |
|||
::Most of the references use ξ and not ν. This is consistent with the book of Stein and Weiss (which is a canonical textbook in modern Fourier analysis) and Hormander (a canonical textbook in dispersive PDE). [[User:Sławomir Biały|<span style="text-shadow:grey 0.3em 0.3em 0.1em; class=texhtml">Sławomir Biały</span>]] ([[User talk:Sławomir Biały|talk]]) 22:19, 19 June 2012 (UTC) |
|||
== Nonsense statement == |
|||
== Confused section on LCH spaces == |
|||
The section idiotically titled '''Introduction''' contains this passage: |
|||
That short section is confused; it simply contains some trivial statements. The context Gelfand-Pontryagin-Fourier transform is unitary representations of topological groups. No group structure, no transform. |
|||
"''Although [[Fourier series]] can represent [[Periodic function|periodic]] waveforms as the sum of [[Harmonic|harmonically-related]] [[Sine wave|sinusoids]], Fourier series can't represent ''non-periodic'' waveforms. However, the Fourier transform is able to represent ''non-periodic'' waveforms as well. It achieves this by applying a [[Limit_(mathematics)|limiting process]] to lengthen the period of any waveform to [[infinity (mathematics)|infinity]] and then treating that as a periodic waveform.<ref>{{harvnb|Taneja|2008|p=192}}.</ref>''" |
|||
The Gelfand transform is the same as the Pontryagin transform, in this context: take a locally compact topological group G, one forms the convolution algebra L^1(G). This algebra comes with a natural involution, given by taking inverses of group elements. Its enveloping C*-algebra is the [[group C*-algebra]] C*(G). The one dimensional representations of C*(G) can be identified with the Pontryagin dual G^, i.e. one dimensional representations of G. The Gelfand transform is then an isomorphism from C*(G) to C_0(G^). |
|||
The last sentence is complete mathematical nonsense, and is '''not''' taken from the cited reference. [[Special:Contributions/2601:200:C000:1A0:BC00:5039:DB55:E9EC|2601:200:C000:1A0:BC00:5039:DB55:E9EC]] ([[User talk:2601:200:C000:1A0:BC00:5039:DB55:E9EC|talk]]) 19:13, 29 July 2022 (UTC) |
|||
In the special case G = the real line R, the Gelfand transform is exactly the Fourier transform, but extended by continuity to all of C*(R). It says C*(R) is isomorphic to C_0(R), not the vacuous statement currently in the section. [[User:Mct mht|Mct mht]] ([[User talk:Mct mht|talk]]) 19:13, 28 June 2012 (UTC) |
|||
{{reflist-talk}} |
|||
== Possible problem may need fixing == |
|||
== Legibility of example images in Introduction == |
|||
As I tried to write a few clarifying sentences in the section '''Fourier transform for functions that are zero outside an interval''', in order to specify the '''periodic''' function whose Fourier series was referred to ... I realized that the article refers to the '''same function''' when discussing the Fourier '''transform'''. But: '''It's not the same function.''' One is periodic and the other is zero outside the interval [-T/2, T/2]. |
|||
I have some comments that may help improve legibility of the images in the introduction (http://en.wikipedia.org/wiki/Fourier_transform#Example). |
|||
I hope someone knowledgeable about this subject can fix this apparent problem. [[Special:Contributions/2601:200:C000:1A0:BC00:5039:DB55:E9EC|2601:200:C000:1A0:BC00:5039:DB55:E9EC]] ([[User talk:2601:200:C000:1A0:BC00:5039:DB55:E9EC|talk]]) 20:08, 29 July 2022 (UTC) |
|||
# Make the graphs shorter (by a factor of 2). The plots just look like a bunch of lines as they are and take up too much vertical space. |
|||
# Move the vertical text to the captions under the figures. Vertical text is hard to read. |
|||
# Label the figures (Fig. 1, Fig. 2, etc.) and center the caption text. The figure numbers should be referred to in the text above to assist the reader. |
|||
# In the figure "The Fourier transform of f(t)" increase the font size of the boxed text. It is too hard to read. |
|||
== Disappointing introduction == |
|||
[[User:Putnam.lance|Putnam.lance]] ([[User talk:Putnam.lance|talk]]) 08:58, 4 November 2012 (UTC) |
|||
I find the introduction difficult to understand. It would be far better to avoid use of the word "transform" at first in the explanation, and instead say that the Fourier transform is a '''mapping''' taking an integrable function on R<sup>n</sup> to an integrable function. |
|||
Until a very recent edit these graphs were so small that the text you talk about was just incoherent squiggles. I'm not sure that that was such a bad thing, since the captions (outside of the images) and the text that refers to them seems to be descriptive enough. So maybe we should just shrink them back, assuming no one can be bothered to make versions with the text removed entirely. I agree with your first and third points though. [[User:Quietbritishjim|Quietbritishjim]] ([[User talk:Quietbritishjim|talk]]) 11:55, 4 November 2012 (UTC) |
|||
And that according to a version of the Fourier transform F favored by mathematicians, '''F'''<sup>4</sup> = '''I'''. |
|||
:I have no objection to the Oct 26 version. The "thumbnails" are not meant to be legible. They are links to the large size versions. |
|||
:--[[User:Bob K|Bob K]] ([[User talk:Bob K|talk]]) 13:54, 4 November 2012 (UTC) |
|||
Surely this is worthy of prominent mention. [[Special:Contributions/2601:200:C000:1A0:FDA6:8A26:FCCA:2C1B|2601:200:C000:1A0:FDA6:8A26:FCCA:2C1B]] ([[User talk:2601:200:C000:1A0:FDA6:8A26:FCCA:2C1B|talk]]) 04:39, 22 September 2022 (UTC) |
|||
== Suspect wrong equations in section 'Square-integrable functions'== |
|||
The equations in the form below section 'Square-integrable functions' should be taken from reference: The Fourier transforms in this table may be found in (Campbell & Foster 1948), (Erdélyi 1954), or the appendix of (Kammler 2000). I would suggest someone have these to double check these equations (equations 201 to 204). |
|||
:I have no idea what your 3rd sentence means. I understand the 2nd sentence, but I disagree with "far better". Wikipedia's standard is to reflect a consensus of common usage, not to create a better math textbook. |
|||
Here's the suspect problem. There're three columns in the table: unitary ordinary frequency, unitary angular frequency, and non-unitory angular frequency. I think the Fourier transform for the last two columns should not have PI in their denominators. While there should be PI for the first column results. Because there're no 2*PI in the index of last two types of Fourier transforms, doing the integral, there's no way to generate a PI coefficient in denominator. I did calculation for the rectangular function, which showed the equations are wrong. I actually also corrected the equations in page of 'Rectangular function' under section 'Fourier transform of rectangular function'. But I'm not a math student and don't have enough resources, I'm not confident to make changes here. Anyone familiar with Fourier transforms please take a look at these equations. |
|||
:--[[User:Bob K|Bob K]] ([[User talk:Bob K|talk]]) 13:32, 22 September 2022 (UTC) |
|||
:Transform, as a verb, is more meaningful to the typical reader than mapping. [[User:Constant314|Constant<b style="color: #4400bb;">''314''</b>]] ([[User talk:Constant314|talk]]) 19:03, 22 September 2022 (UTC) |
|||
::I suggest initially avoiding the verb "transform" to explain the Fourier transform, and instead use the '''noun''' "mapping" to say that the f.t. is a '''mapping''' from a function space to a function space. |
|||
::I certainly agree: The last thing a Wikipedia article on a math topic should resemble in tone or wording is a math textbook. |
|||
--[[User:Allenleeshining|Allenleeshining]] ([[User talk:Allenleeshining|talk]]) 05:29, 16 November 2012 (UTC) |
|||
::The reason in my opinion is that the audiences for the two things have very different characteristics, statistically. |
|||
: You don't say which transform you're talking about but it sounds like you're talking about the Gaussian (at least mostly that). Maybe this fact will help: |
|||
::<math>\int_{\mathbb{R}^{d}}e^{-\kappa|t|^{2}}e^{-it\cdot\eta}\,dt=\left(\frac{\pi}{\kappa}\right)^{d/2}e^{-|\eta|^{2}/4\kappa}</math> |
|||
: so that might explain where the pi comes from. [[User:Quietbritishjim|Quietbritishjim]] ([[User talk:Quietbritishjim|talk]]) 21:26, 30 December 2012 (UTC) |
|||
::The word "transform" (whether verb or noun) as a technical term in math is distinctly more advanced than "mapping", which all peopl exposed to even just a smidgen of math know means a function. |
|||
:Our normalization of the sinc function differs from the one in those references, and this explains the discrepancy. [[User:Sławomir Biały|<span style="text-shadow:grey 0.3em 0.3em 0.1em; class=texhtml">Sławomir Biały</span>]] ([[User talk:Sławomir Biały|talk]]) 22:04, 30 December 2012 (UTC) |
|||
::The thing is: A consensus already exists in a strong and wide area of mathematics called "Fourier analysis". |
|||
I'm sorry I didn't make it clear. I was talking about equantions from 201 to 204 about the pi in denominator. Sławomir Biały could you explain more if the normalization is the problem. Thanks. |
|||
[[User:Allenleeshining|Allenleeshining]] ([[User talk:Allenleeshining|talk]]) 17:30, 4 January 2013 (UTC) |
|||
::By any reliable judgment, it is significant — and so worth inclusion in the article — that applying the Fourier transform four times in a row will result in the same function you started with.[[Special:Contributions/2601:200:C000:1A0:FDA6:8A26:FCCA:2C1B|2601:200:C000:1A0:FDA6:8A26:FCCA:2C1B]] ([[User talk:2601:200:C000:1A0:FDA6:8A26:FCCA:2C1B|talk]]) 00:33, 23 September 2022 (UTC) |
|||
:Our convention for the sinc is |
|||
:::Mapping is discussed in the body of the article. [[User:Constant314|Constant<b style="color: #4400bb;">''314''</b>]] ([[User talk:Constant314|talk]]) 17:10, 23 September 2022 (UTC) |
|||
::<math>\operatorname{sinc}(x) = \frac{\sin(\pi x)}{\pi x}</math> |
|||
:This is mentioned in the "Comment" column of the table in the article. For more information, please consult the article [[sinc function]]. The convention in the links you gave ([http://cnx.org/content/m32899/latest/], [http://www.med.harvard.edu/jpnm/physics/didactics/improc/intro/fourier3.html]) is: |
|||
::<math>\operatorname{sinc}(x) = \frac{\sin \frac{x}{2}}{\frac{x}{2}}.</math> |
|||
:Obviously there's going to be an extra 2π to account for if you use our conventions. [[User:Sławomir Biały|<span style="text-shadow:grey 0.3em 0.3em 0.1em; class=texhtml">Sławomir Biały</span>]] ([[User talk:Sławomir Biały|talk]]) 18:52, 4 January 2013 (UTC) |
|||
:IMO this can be handled by just inserting a footnote to the effect that a synonym (in this case at least) for transform is mapping (and vice versa). Here we prefer transform, because it is the most commonly found and widely accepted terminology. |
|||
== Rewrite of Fourier inversion theorem article - request for comments == |
|||
:--[[User:Bob K|Bob K]] ([[User talk:Bob K|talk]]) 14:38, 23 September 2022 (UTC) |
|||
== Section: Use of complex sinusoids to represent real sinusoids == |
|||
Since people who have this article on their watchlist are likely to also be interested in the [[Fourier inversion theorem]] article, this is just a note to let everyone here know that I'm [[Talk:Fourier_inversion_theorem#Article_rewrite_-_request_for_comments|proposing a rewrite of that article]]. Please leave any comments you have over on that talk page so that they're kept together. Thanks! [[User:Quietbritishjim|Quietbritishjim]] ([[User talk:Quietbritishjim|talk]]) 01:26, 31 December 2012 (UTC) |
|||
Well done, but it repeats a lot of information available thru WikiLinks, and now also added to [[Fourier transform#The analysis formula]]. IMO this section can be downsized or eliminated. [[User:Bob K|Bob K]] ([[User talk:Bob K|talk]]) 16:47, 12 December 2022 (UTC) |
|||
== Plancherel theorem equivalent to Parseval's theorem? == |
|||
== ξ vs ν ? revisited == |
|||
According to the article, [[Fourier transform#Plancherel theorem and Parseval's theorem|Plancherel theorem and Parseval's theorem]] are equivalent. So how do you go from Plancherel theorem to Parseval's theorem? |
|||
It has been a decade since the [[Talk:Fourier transform#ξ vs ν ?|ξ_vs_ν_?]] discussion between just 2 editors. And as noted then, ν was the original preference, replaced without a consensus. Now I am asking if there is any consensus for reverting back to ν, because ξ is unnecessarily intimidating-looking (IMO).<br> |
|||
Maybe there should be a proof of some kind in the article that they are in fact equivalent, because to me it's not obvious. —[[User:Kri|Kri]] ([[User talk:Kri|talk]]) 11:44, 3 February 2013 (UTC) |
|||
--[[User:Bob K|Bob K]] ([[User talk:Bob K|talk]]) 00:59, 19 December 2022 (UTC) |
|||
: I am not in favor of this. This is a bit like avoiding <math>\theta</math> for an angle. [[User:Thenub314|Thenub314]] ([[User talk:Thenub314|talk]]) 21:30, 15 February 2023 (UTC) |
|||
== Section: Fourier transform for periodic functions == |
|||
:Both assert that the Fourier transform is unitary, and it's well known that these are equivalent characterizations of unitarity. To get from one to the other, apply Plancherel's theorem to <math>h(x)=f(x)+tg(x)</math> with ''t'' a complex parameter. [[User:Sławomir Biały|<span style="text-shadow:grey 0.3em 0.3em 0.1em; class=texhtml">Sławomir Biały</span>]] ([[User talk:Sławomir Biały|talk]]) 13:41, 3 February 2013 (UTC) |
|||
The reliance on''':''' |
|||
::If I substitute <math>f(x)+t\,g(x)</math> for {{mvar|h}} in <math>\int_{-\infty}^\infty \left| h(x) \right|^2\,dx = \int_{-\infty}^\infty \left| \hat{h}(\xi) \right|^2\,d\xi</math>, I eventually reach the expression |
|||
:<math> \sum_{n=-\infty}^{\infty} e^{-i \omega n T} = \frac{2 \pi}{T} \sum_{k=-\infty}^{\infty} \delta(\omega-2\pi k/T)</math> |
|||
is no better than relying on the transform pair''':''' |
|||
::How do I get from there to Parseval's? —[[User:Kri|Kri]] ([[User talk:Kri|talk]]) 12:56, 4 February 2013 (UTC) |
|||
:<math>e^{ i 2\pi \xi_0 x}\ \stackrel{\mathcal{F}}{\longleftrightarrow}\ \delta \left(\xi - \xi_0\right).</math> |
|||
::: Differentiate with respect to ''t''. (Alternatively, take <math>t=\int f\overline g - \hat{f}\overline{\hat{g}}</math>.) [[User:Sławomir Biały|<span style="text-shadow:grey 0.3em 0.3em 0.1em; class=texhtml">Sławomir Biały</span>]] ([[User talk:Sławomir Biały|talk]]) 13:05, 4 February 2013 (UTC) |
|||
¨ |
|||
::::If I differenciate with respect to {{mvar|t}} (which is the same in this case as just taking {{math|{{var|t}} {{=}} 1}}) I just get |
|||
Consequently, you've made a mountain out of a molehill.<br> |
|||
:::::<math>\int_{-\infty}^\infty \left(f(x)\,\overline{g(x)} + \overline{f(x)}\,g(x)\right)\,dx = \int_{-\infty}^\infty \left(\hat{f}(\xi)\,\overline{\hat{g}(\xi)} + \overline{\hat{f}(\xi)}\,\hat{g}(\xi)\right)\,d\xi,</math> |
|||
--[[User:Bob K|Bob K]] ([[User talk:Bob K|talk]]) 01:59, 25 December 2022 (UTC) |
|||
== Section: Fourier transform for functions that are zero outside an interval == |
|||
::::which is not Parseval's. The other aterlnative seems very complicated. Could you go ahead and show me what you mean by taking <math>t=\int f\overline g - \hat{f}\overline{\hat{g}}</math>? —[[User:Kri|Kri]] ([[User talk:Kri|talk]]) 13:51, 4 February 2013 (UTC) |
|||
The result of this section seems to be the statement: |
|||
:::::You haven't taken the derivative correctly. See [[complex derivative]] for how to take the derivative with respect to a complex parameter. For the alternative suggestion, collect ''t'' and <math>\overline t</math> to obtain |
|||
::::::<math>t\int \left(\overline f g - \overline \hat f \hat g\right) + \overline t\int\left(f \overline g - \hat f \overline\hat g\right)=0</math> |
|||
:::::This is true for all ''t'', and in particular it is true when <math>t=\int f\overline g - \hat{f}\overline{\hat{g}}</math>: |
|||
::::::<math>2\left|\int \left(\overline f g - \overline \hat f \hat g\right)\right|^2=0</math> |
|||
:::::or |
|||
::::::<math>\int \left(\overline f g - \overline \hat f \hat g\right)=0</math> |
|||
:::::as required. [[User:Sławomir Biały|<span style="text-shadow:grey 0.3em 0.3em 0.1em; class=texhtml">Sławomir Biały</span>]] ([[User talk:Sławomir Biały|talk]]) 14:06, 4 February 2013 (UTC) |
|||
<blockquote> |
|||
::::::Ah, okay. I forgot that the derivative becomes a bit more complicated when the expression containes a complex conjugate involving the active parameter. This was actually a very nice proof. Thank you very much. —[[User:Kri|Kri]] ([[User talk:Kri|talk]]) 14:57, 4 February 2013 (UTC) |
|||
Under appropriate conditions, the Fourier series of {{mvar|f}} will equal the function {{mvar|f}}. In other words, {{mvar|f}} can be written: |
|||
:<math>f(x)=\sum_{n=-\infty}^\infty c_n\, e^{2\pi i\left(\frac{n}{T}\right) x} =\sum_{n=-\infty}^\infty \hat{f}(\xi_n)\ e^{2\pi i\xi_n x}\Delta\xi,</math> |
|||
== Proposal: Add complex conjugation to "Tables of important Fourier transforms" under "Functional relationships" == |
|||
</blockquote> |
|||
At the very least it needs to clarified that the first equality only applies in the interval T. |
|||
Even though it might not be in Erdélyi (1954), the following Fourier transform schould be added as a generalization of relationship 110: |
|||
But also we already know that <math>f(x)</math> can be recovered from <math>\hat f(\xi).</math> So what you are showing is that when its domain is bounded, it can also be recovered from discrete samples of <math>\hat f(\xi),</math> which, by the way, is the dual of the time domain [[Nyquist–Shannon sampling theorem|sampling theorem]]. This is mildly interesting, but it strikes me as a proof looking for a home, and the whole article is already pretty cluttered with stuff.<br> |
|||
{| class="wikitable" |
|||
--[[User:Bob K|Bob K]] ([[User talk:Bob K|talk]]) 09:00, 27 December 2022 (UTC) |
|||
|- |
|||
! Function !! Fourier transform<br/>unitary, ordinary frequency !! Fourier transform<br/>unitary, angular frequency !! Fourier transform<br/>non-unitary, angular frequency !! Remarks |
|||
== Erroneous square integrable function == |
|||
|- |
|||
| <math>\overline{f(x)}</math>|| <math>\overline{\hat{f}(-\xi)}</math> || <math>\overline{\hat{f}(-\omega)}</math> || <math>\overline{\hat{f}(-\nu)}</math> || [[Complex conjugate|Complex conjugation]], generalization of 110 |
|||
The function <math>e^{i \alpha x^2}</math> is listed as a square integrable function (Line 207). I think this is only true if <math>\mathrm{Im}(\alpha) > 0</math>. However, this condition is not mentioned, and if this condition is included, (Line 207) becomes just a restatement of (Line 206) with the replacement <math>\alpha \to i \alpha</math>. [[Special:Contributions/18.29.20.123|18.29.20.123]] ([[User talk:18.29.20.123|talk]]) 16:40, 10 February 2023 (UTC) |
|||
|} |
|||
:I believe α is assumed to be purely real. Im(α) = 0. [[User:Constant314|<b style="color: #4400bb;">''Constant314''</b>]] ([[User talk:Constant314|talk]]) 17:57, 10 February 2023 (UTC) |
|||
:: The IP editor is correct (if you read this, I hope you make an account and stick around). If <math>\mathrm{Im}(\alpha)=0</math> then <math>|e^{i \alpha x^2}| = 1</math> which is definitely not square integrable. I don't think the citation says what the author thought it said. There are a couple of other places like this too. If I can at some point I will try to run through the citations and verify and fix what I see. |
|||
:::I agree. Still, I think α is assumed to be purely real, if so, it should not be in the table at that point. [[User:Constant314|<b style="color: #4400bb;">''Constant314''</b>]] ([[User talk:Constant314|talk]]) 17:25, 13 February 2023 (UTC) |
|||
:::Yes, I think you're right. I will do a bit of research, once I find a source for this particular formula, I will cite it, move it, and include conditions. [[User:Thenub314|Thenub314]] ([[User talk:Thenub314|talk]]) 20:17, 13 February 2023 (UTC) |
|||
== Recent revert == |
|||
I would like to discuss the recent revert of my edit. The edit, in part, addresssed the comment from the IP editor about that our tables were incorrect. While looking at the article I noticed it was inconsistent in the placement of <math>2\pi i</math> vs <math>i 2\pi</math> so I fixed it. It seems the objections are mostly about the later. For which I would like to point out, the prevailing culture is that if a <math>2\pi</math> is used, it is before the '''i''' to see this I would like to point to: |
|||
* [https://www.mathworks.com/help/matlab/ref/fft.html?searchHighlight=fft&s_tid=srchtitle_fft_1#buuutyt-5 MATLAB Documentation] |
|||
* [https://reference.wolfram.com/language/ref/Fourier.html Mathematica Documentation] (see ''Details and Options'') |
|||
* [https://www.fftw.org/fftw3_doc/The-1d-Discrete-Fourier-Transform-_0028DFT_0029.html The makers of FFTW, the open source FFT engine] |
|||
* [https://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=10040651 The first few articles I looked at from the IEEE] |
|||
* This article, for a minimum of a '''decade''' until last [https://en.wikipedia.org/enwiki/w/index.php?title=Fourier_transform&diff=prev&oldid=1088526884 May] when it was changed without discussion. |
|||
Aside from the last one, these are large professional orgainzations trying to make something for the masses. About the last one, I include the last one because I would like to return to the status quo for the article. I also feel it would benefit readers because they are (in my opinion) more likely to encouter <math>2\pi i</math> in books/papers/references. [[User:Thenub314|Thenub314]] ([[User talk:Thenub314|talk]]) 15:47, 15 February 2023 (UTC) |
|||
:I'm not aware of our tables being incorrect nor of the inconsistencies. I looked and did not find them. So there must have been very few, and so it can more easily be addressed by changing a small number of things instead of everything else. Sorry to be disagreeable, but I also don't think 2πi is more common than i2π. Regardless of that, they are both common, so I think we should look at the rational for each. Besides the (very good) reason I cited in the undo, leading with the i makes it more obvious that it's a complex exponential, which is its most important attribute. |
|||
:--[[User:Bob K|Bob K]] ([[User talk:Bob K|talk]]) 18:47, 15 February 2023 (UTC) |
|||
:: The issue with the table being incorrect started on this talk page! A kindly IP editor spotted it, and left a comment here. I said I would research and fix it and I did. |
|||
:: You're right, I did reply to the edit summary stating your preferred format is more logical. Clearly, I disagree. There are plenty of these arguments around, and they all boil down to a matter of taste. This is a bit like <math>\int\,dx f(x)</math> vs <math>\int f(x)\,dx</math>. This is why I am pointing to things that are external to me. To put some data behind my argument, I ran through each of the books cited by this article. |
|||
::* Excluding the few that I couldn't get access to, in the ones that use <math>2\pi</math> just over 80% place the i after. |
|||
::* And as a proportion of total references those that put an i before the <math>2\pi</math> are less frequent than those that avoid complex number all together by using sine and cosine. |
|||
::IMO, the most important attribute is to be a service to the readers, particularly the non-experts who may be thrown off by the change. They will most likely be looking at a reference where ''i'' following the <math>2\pi</math>. [[User:Thenub314|Thenub314]] ([[User talk:Thenub314|talk]]) 21:27, 15 February 2023 (UTC) |
|||
:And I think it serves the non-experts more to put the <math>i</math> in the most prominent location, and to keep 2πξ (= ω) together, especially when side-by-side in the tables with <math>e^{i\omega t}.</math> |
|||
:--[[User:Bob K|Bob K]] ([[User talk:Bob K|talk]]) 23:19, 15 February 2023 (UTC) |
|||
:: My experience has an educator leads me to disagree. IMO students are more thrown off by disagreements in notation that some philosophical point about ''i'' being important, so it should come first. But we may be at an impasse, hopefully someone else while chime in and help us out.[[User:Thenub314|Thenub314]] ([[User talk:Thenub314|talk]]) 00:25, 16 February 2023 (UTC) |
|||
:::I agree with [[user:Bob K|Bob K]]. I prefer to see the ''i'' in front, so I can tell immediately if it is there without searching. The fact that the figures and text disagree is not a problem. Anyone who does not realize that i2π is the same as 2πi won't understand anything anyway. |
|||
:::On the other hand, there was a mistake in table item 207 as the function was not square integrable. Please go ahead and fix that while the discussion about i2π continues. [[User:Constant314|<b style="color: #4400bb;">''Constant314''</b>]] ([[User talk:Constant314|talk]]) 01:38, 16 February 2023 (UTC) |
|||
:: Sure, but I have no better way than to copy and paste from the diff, which I cannot do from my phone, but I'll try when I am able. [[User:Thenub314|Thenub314]] ([[User talk:Thenub314|talk]]) 02:57, 16 February 2023 (UTC) |
|||
:I only use a laptop, so I'll take a look at that. Also, I'll take a look for those remaining "inconsistencies". I don't like them either. |
|||
:--[[User:Bob K|Bob K]] ([[User talk:Bob K|talk]]) 13:22, 16 February 2023 (UTC) |
|||
== Symmetry section == |
|||
I removed a reference from here because the cited reference wasn't discussing the Fourier transform in the section indicated. I will try to find something more specific to this topic. [[User:Thenub314|Thenub314]] ([[User talk:Thenub314|talk]]) 20:47, 16 February 2023 (UTC) |
|||
== A Commons file used on this page or its Wikidata item has been nominated for deletion == |
|||
The following Wikimedia Commons file used on this page or its Wikidata item has been nominated for deletion: |
|||
* [[commons:File:Complex-valued function modulating a complex sinusoid.svg|Complex-valued function modulating a complex sinusoid.svg]]<!-- COMMONSBOT: discussion | 2023-02-17T14:52:55.210158 | Complex-valued function modulating a complex sinusoid.svg --> |
|||
Participate in the deletion discussion at the [[commons:Commons:Deletion requests/File:Complex-valued function modulating a complex sinusoid.svg|nomination page]]. —[[User:Community Tech bot|Community Tech bot]] ([[User talk:Community Tech bot|talk]]) 14:53, 17 February 2023 (UTC) |
|||
== Error in inversion section? == |
|||
In the [https://en.wikipedia.org/wiki/Fourier_transform#Inversion inversion section] the integrals are over the variable σ but the variable ξ appears in the integrands. Where does the ξ come from? <!-- Template:Unsigned IP --><small class="autosigned">— Preceding [[Wikipedia:Signatures|unsigned]] comment added by [[Special:Contributions/2.27.171.228|2.27.171.228]] ([[User talk:2.27.171.228#top|talk]]) 21:25, 21 August 2023 (UTC)</small> <!--Autosigned by SineBot--> |
|||
== Code sample == |
|||
I reverted [https://en.wikipedia.org/enwiki/w/index.php?title=Fourier_transform&diff=prev&oldid=1225261234 this edit], because Wikipedia articles do not usually include code samples (see [[MOS:CODE]]), unless those code samples illustrate some fundamental aspect of an algorithm. In this case, the algorithm (the [[fast Fourier transform]], for which there is already a separate article) is not actually shown. Instead, it uses a builtin function of the [[numpy]] library. So this code is very python-specific, and is not a good illustration of the Fourier transform. [[User:Tito Omburo|Tito Omburo]] ([[User talk:Tito Omburo|talk]]) 10:42, 23 May 2024 (UTC) |
|||
:Since the code apparently produces a graph, perhaps Wikimedia is an appropriate host for this creation. And it welcomes the inclusion of source code. [https://commons.wikimedia.org/wiki/File:DFT_approximation_to_Hilbert_filter.png Here is a link to an example], where the code is in a portion of the Summary section. But it can also have its own separate section. |
|||
:--[[User:Bob K|Bob K]] ([[User talk:Bob K|talk]]) 12:13, 23 May 2024 (UTC) |
|||
::I agree with {{ping|Tito Omburo}}. That code sample just shows calls to library functions and serves no useful purpose in the article. [[User:Constant314|<b style="color: #4400bb;">''Constant314''</b>]] ([[User talk:Constant314|talk]]) 13:09, 23 May 2024 (UTC) |
|||
== Error in Symmetry Section? == |
|||
I think there may be an error in the symmetry section. For example, it says "even-symmetric function <math>(f_{_{RE}}+i\ f_{_{IO}})</math>..." |
|||
But <math>(f_{_{RE}}+i\ f_{_{IO}})</math> isn't even symmetric, right? Shouldn't the even symmetric function be <math>(f_{_{RE}}+i\ f_{_{IE}})</math>? |
|||
Is there a reference for this section? [[User:Jackmjackm|Jackmjackm]] ([[User talk:Jackmjackm|talk]]) 22:01, 17 June 2024 (UTC) |
|||
:"Even symmetric" apparently means <math>f(-x)=\overline{f(x)}</math> here. I assume this is a standard ise of the term in signal processing, but agree that a reference seems desirable. [[User:Tito Omburo|Tito Omburo]] ([[User talk:Tito Omburo|talk]]) 22:56, 17 June 2024 (UTC) |
|||
::The article links to [[Even_and_odd_functions#Complex-valued_functions]]. That's where the reference <u>should</u> be. |
|||
::--[[User:Bob K|Bob K]] ([[User talk:Bob K|talk]]) 11:42, 19 June 2024 (UTC) |
|||
::But at 15:45 on 16 February 2023, an editor removed what appears to be a directly relevant reference: ({{harvnb|Proakis|1996|p=291}}) |
|||
::I don't think I have access to the reference. |
|||
::--[[User:Bob K|Bob K]] ([[User talk:Bob K|talk]]) 10:32, 20 June 2024 (UTC) |
|||
:::This usage is supported by Oppenheim and Schafer, fwiw. [[User:Tito Omburo|Tito Omburo]] ([[User talk:Tito Omburo|talk]]) 11:03, 20 June 2024 (UTC) |
|||
::Thank you. I added the citation to [[Even_and_odd_functions#Complex-valued_functions]], which also contains the Proakis reference, except the page number is 411, instead of the one that was deleted here (page 291). Maybe that was the problem all along. (I don't have the Proakis book to verify.) |
|||
::--[[User:Bob K|Bob K]] ([[User talk:Bob K|talk]]) 12:58, 20 June 2024 (UTC) |
|||
== Lebesgue integrable functions == |
|||
@[[User:Tito Omburo|Tito Omburo]], thank you for your contributions. Could you be so kind to look at the subsection [[Fourier_transform#On_Lp_spaces]] as well? I feel there's a lot of semi-duplicate content. |
|||
Kind regards, [[User:Roffaduft|Roffaduft]] ([[User talk:Roffaduft|talk]]) 15:07, 7 December 2024 (UTC) |
|||
:@[[User:Tito Omburo|Tito Omburo]] what exactly do you mean with {{tq|the integral does not exist}}? Just that it is not absolutely convergent? Or that <math>\hat{f}(\xi)</math> cannot be in <math>L^2</math> either? |
|||
:I was reading up on: https://math.stackexchange.com/questions/2551297/fourier-transform-of-frac1-sqrt1-x2 as well as [[Carleson's theorem]] which got me questioning the generality of said statement. |
|||
:Kind regards, [[User:Roffaduft|Roffaduft]] ([[User talk:Roffaduft|talk]]) 12:47, 11 January 2025 (UTC) |
|||
::ps. <math>\hat{f}(\xi) \notin L^1</math> does not imply that the integral does not exist at all. E.g., the Fourier transform might be an improper integral, or converge in the sense of distributions. [[User:Roffaduft|Roffaduft]] ([[User talk:Roffaduft|talk]]) 13:21, 11 January 2025 (UTC) |
|||
::: The [[Lebesgue integral]] does not exist. [[User:Tito Omburo|Tito Omburo]] ([[User talk:Tito Omburo|talk]]) 14:05, 11 January 2025 (UTC) |
Latest revision as of 14:05, 11 January 2025
This level-4 vital article is rated B-class on Wikipedia's content assessment scale. It is of interest to the following WikiProjects: | ||||||||||||||||||
|
|
|||||
Maybe a mistake in time shift property?
[edit]Hi, I think there is a small mistake in section 15 "Tables of important Fourier transforms" -> "Functional relationships, one-dimensional", property 102, time shifting of fourier transform. There should be a minus in the power of e: e^(-2*pi*i*...). That minus is missing in the entire row. I think I verified it on paper, but also with other sources, including the wikipedia fourier transform article itself (section 5.1.2 Translation / time shifting). I have no idea how to fix this. This is my first post on wikipedia ever. I hope I'm correct though and not wasting anyones time.
--83.130.77.27 (talk) 12:23, 13 January 2021 (UTC)
- As far as I can see, all the minus signs are there. Don't you see a minus sign in the following?
- That is what's in the 102 item, and here's the entire line:
Function Fourier transform
unitary, ordinary frequencyFourier transform
unitary, angular frequencyFourier transform
non-unitary, angular frequencyRemarks Definition 102 Shift in time domain
- Which browser are you using? Note that when you create an account and log in, you have some options to affect the appearance of text and math. - DVdm (talk) 12:55, 13 January 2021 (UTC)
- Correct! In latex there is a minus sign. Using chrome, just checked with another pc and it's working fine. And if I look here closely I think I can see the missing sign very faintly. So it must be something with the local browser and not display settings of wikipedia. Sorry for the trouble. — Preceding unsigned comment added by OmerLauer (talk • contribs) 13:14, 13 January 2021 (UTC)
- Please sign all your talk page messages with four tildes (~~~~) — See Help:Using talk pages. Thanks.
- No problem. What happens if you go to Preferences, Appearance, Math and select MathML with SVG or PNG fallback? - DVdm (talk) 13:22, 13 January 2021 (UTC)
- When switching to PNG I can see the sign as should. The problem is visible when using "MathML with SVG or PNG fallback", which of course is default. Just checked another thing: while zooming in and out, I saw the equations in correct form for all zooms above 125%, and also specificly for 90% (but not for 100%, 110% or below 80%). It seems to be some sort of a rendering issue (??) with my own browser. OmerLauer (talk) 13:34, 13 January 2021 (UTC)
- OK, happy experimenting! - DVdm (talk) 13:45, 13 January 2021 (UTC)
Hello. There is a problem with Chrome and browsers based off of Chrome such as Edge. The wizards are aware of it. As a temporary fix you can increase the zoom factor. Also, you can get the Math Anywhere extension for both Chrome and Edge that seems to take care of the problem. Or you can wait until Chrome fixes the problem. Constant314 (talk) 16:12, 13 January 2021 (UTC)
- Indeed, with the current versions of Chrome and Edge, 4 out of 6 minus signs are missing in the table above. Firefox is doing just fine. - DVdm (talk) 16:22, 13 January 2021 (UTC)
- I should have added: please do not try to fix it by modifying the LaTeX markup. Constant314 (talk) 16:49, 13 January 2021 (UTC)
Definition section: the reason for the negative sign
[edit]I have to agree with the IP editor that this is poorly written and after checking the source, I see that the source does not say what is written here. In fact, the source doesn’t give a reason, it just says that engineers prefer a certain sign convention. The source isn't even about the Fourier transform.
The reason given is nonsense. In fact, both negative and positive signs are used by different communities and there is no problem with convergence of the integral.
Since the source doesn’t give a reason, I will remove the reason. But the reason is this: it is arbitrary. It is just a choice of where you want your negative signs to appear. As an engineer, I have my preference mainly because that is the way I was taught and that is the way it appears in most of my textbooks. You may find justifications for one choice or the other, but you will not find a definitive reason the sign must be negative or must be positive. Constant314 (talk) 12:26, 8 October 2021 (UTC)
- corresponds to a vector that rotates in the positive direction (increasing vector angle = CCW) for positive frequency . Anyone who disagrees with that convention is in a lonely minority, and will have endless difficulty with the preponderance of relevant literature and Wikipedia articles. For all the others, the conclusion is obvious. The quantity is a measure of the relative amount of component in function (see Fourier_series#Definition). Therefore is the appropriate nomenclature. Similarly, the quantity is a measure of the relative amount of component in function . And therefore is the appropriate nomenclature.
- --Bob K (talk) 16:41, 13 November 2021 (UTC)
I use the same convention that you are advocating. I have no problem with using that convention. If you want to state a reason for that convention in the article you need a reliable secondary source that states that reason. No amount of WP:OR will change that. However, I do not mind dabbling in OR here on the talk page.
Let
- This is the conventional forward transform.
- This is the other convention. It is mathematically equal to the conventional reverse transform.
I hope it is obvious that
- Thus the results of these two conventions are simply conjugates of each other.
This has no physical effect because physical effects are caused by energy or power. The power of a Fourier transform is computed by multiplying the transform by its conjugate.
Again, I hope it is obvious that
So, lets look at a couple of examples. I will suppress multiplicative constants that clutter up the results.
First, consider the Fourier transform of .
- The Fourier transform under the usual convention is . It has Fourier components at both and .
- The Fourier transform under the other convention is . The result is exactly the same result.
Next, consider the Fourier transform of .
- The Fourier transform under the usual convention is . It has Fourier components at both and .
- The Fourier transform under the other convention is . It has Fourier components at both and . The result is the conjugate of the result using the usual convention.
Now let me go way off into OR la-la land to speculate why engineers prefer the usual convention. Consider the Fourier transform of cos(ωt) + sin(ωt). It is . The component at the positive frequency of is . Notice in particular that the sign of the imaginary part is negative. Engineers prefer this because lags by 45°. When an engineer plots this in Cartesian space, it is [1,-1]. The principal argument is negative. Engineers prefer that because the phase of cos(ωt) + sin(ωt) relative to cos(ωt) is negative. Mathematicians consider cos(ωt) and sin(ωt) as basis vectors and they plot cos(ωt) + sin(ωt) as [1,1]. That is all there is to it. Engineers prefer that the Fourier component of sin(ωt) should be negative at positive frequency. Constant314 (talk) 22:03, 13 November 2021 (UTC)
For real-valued the convention hardly matters, because every frequency has a positive equivalent (e.g. see Aliasing#Sampling_sinusoidal_functions). The concept of negative frequency is unnecessary... two-sided Fourier transforms are redundant.
Cutting to the chase, the convention determines whether is considered a positive or a negative frequency. The customary definition of instantaneous frequency is the derivative of instantaneous phase, which is whose derivative is
Therefore is a positive frequency. And its measurement is (which means is ).
I conclude that those who claim otherwise have a different definition of instantaneous phase or instantaneous frequency, which puts them at odds with Wikipedia's sourced articles. The burden is on them to provide contradictory sources.
--Bob K (talk) 04:38, 15 November 2021 (UTC)
- But no. The burden is one those who wish to add a fact to a Wikipedia article. The burden is on them to provide a reliable source. Constant314 (talk) 04:21, 15 November 2021 (UTC)
I get your point. But I disagree with your statement "But the reason is this: it is arbitrary. It is just a choice of where you want your negative signs to appear." No. It comes down to your definition of the instantaneous phase and frequency of function When you "arbitrarily" choose you are also arbitrarily rejecting the customary definitions of instantaneous phase and frequency. Therefore you need to provide sourced reasons for that whim.
--Bob K (talk) 05:10, 15 November 2021 (UTC)
I went through several of my text books. Here is what I found.
- Using the engineering convention
- Oppenheim, Alan V.; Willsky, Alan S.; Young, Ian T. (1983), Signals and Systems (1st ed.), Prentice-Hall, ISBN 0138097313
- Gregg, W. David (1977), Analog & Digital Communication, John Wiley, ISBN 0471326615
- Stein, Seymour; Jones, J. Jones (1967), Modern Communnication Principles, McGraw-Hill, page 4, equation 1-5
- Hayt, William; Kemmerly, Jack E. (1971), Engineering Circuit Analysis (2nd ed.), McGraw-Hill, ISBN 0070273820, page 535, equation 8b.
- Using the other convention
- Press, William H.; Teukolsky, Saul A.; Vetterling, William T. (2007), Numerical Recipes (3rd ed.), Cambridge University Press, ISBN 9780521880688, page 692.
- Jackson, John Davd (1999), Classical Electrodynamics (3rd ed.), John-Wiley, ISBN 047130932X, page 372, equation 8.89
- Stratton, Julius Adams (1941), Electromagnetic Theory, McGraw-Hill page 294, equation 47
- Reitz, John R.; Milford, Frederick J.; Christy, Robert W. (1993), Foundations of Electromagnetic Theory, Addison-Wesley, ISBN 0201526247, page 607, equation VI-2
Constant314 (talk) 17:28, 17 November 2021 (UTC)
Thank you. I can expand the upper list, if needed, but it seems to be coming down to signals and communication vs electromagnetics. Amazingly, I still have my undergrad copy of
- Plonsey, Robert; Collin, Robert E. (1961). Principles and Applications of Electromagnetic fields. New York: McGraw-Hill. ISBN 0070503400.
It is a dense 554-page book, with not a single Fourier transform formula or even Euler's formula. My take-away is that the EM applications of Fourier transform theory don't go deep enough to matter which convention they use. To quote myself (above) "For real-valued the convention hardly matters". The concept of negative frequency is not useful. So your statement:
- "But the reason is this: it is arbitrary. It is just a choice of where you want your negative signs to appear."
might be a misleading generalization based on certain limited applications of transform theory.
Anyhow, we're getting a little off track. The point is that the convention chosen for the article (which we both agree with) was not an arbitrary coin toss. It might not have any consequences for EM theory, but it does have consequences for signal theory. So I added a footnote that does not need an external citation. All it relies on is a Wikilink to our instantaneous frequency article.
--Bob K (talk) 12:30, 18 November 2021 (UTC)
- @Bob K: Greetings. I had not responded because it looked like we were at an impasse, but I think the conversation should continue. I looked at instantaneous frequency and did not see anything there that would favor one convention for FT over the other. There is no physical requirement for one or the other. However, I will speculate. When I look at the engineers describing a simple wave traveling in the x direction, they tend to use whereas the EM guys tend to write . My interpretaion is that the signals guys are mostly interested in what is happening with respect to time at a fixed place while the EM guys are more interested in what happens with respect to space at a fixed time. Constant314 (talk) 05:04, 16 March 2022 (UTC)
That sounds about right, based on my distant memories (circa 1968) of one EM theory course.
--Bob K (talk) 11:47, 16 March 2022 (UTC)
Language for Beginners
[edit]I think this article should be improved in some manner for the general public that is scientifically minded but not taking a full calculus class in college. I think the possibility of adding it to the Simple English Wikipedia with easier to understand language is a good idea, in addition to the process of adding explanations and writing that is not mathematically centered. Maybe including something of this sort, "The Fourier Transform helps to transform functions such as cosine and sine into different output functions that behave differently than normal trigonometric functions." ScientistBuilder (talk) 01:38, 14 October 2021 (UTC)ScientistBuilderScientistBuilder (talk) 01:38, 14 October 2021 (UTC)
- Is this better: Fourier_analysis#(Continuous)_Fourier_transform ?
- --Bob K (talk) 12:29, 16 October 2021 (UTC)
Use of complex sinusoids to represent real sinusoids
[edit]A quick impression is that this section could be simplified, perhaps making use of the Analytic signal concept instead of Fourier series. I'll try to give that some thought.
Furthermore, the statement "every real sinusoid consists of an equal contribution of positive and negative frequency components, which is true of all real signals" is misleading. It is a cancellation, not a contribution, analogous to something like "10 apples consists of 5 apples + 5 bananas and 5 apples - 5 bananas". (See Negative_frequency#Sinusoids)
--Bob K (talk) 12:34, 16 March 2022 (UTC)
- I'm sorry. Thank you for pointing that out. For now I've rephrased as:
- "Hence, every real sinusoid (and real signal) can be considered to consist of a positive and negative frequency, whose imaginary components cancel but whose real components sum to form the real signal."
- And I removed that reference to that ccrma.stanford.edu page cause what I wrote is now slightly different.
- I understand you don't want a complicated discussion on complex sinusoids. I'm wondering maybe what if I move that discussion out from this article and put it in the article for either negative frequency or Sine wave. Or maybe the Sinusoid redirect page could become its own page that discusses both real and complex sinusoids. Em3rgent0rdr (talk) 02:15, 17 March 2022 (UTC)
I think that's on the right track. I was definitely struggling with that section... I kept coming back to the question "Does it even need to be here?" IMO, the ccrma.stanford.edu viewpoint is the easy explanation, more of an engineering convenience than a true insight. I'm all in favor of conveniences, but I'm also in favor of distinguishing them from the underlying realities.
--Bob K (talk) 11:45, 17 March 2022 (UTC)
Pronunciation
[edit]I was hoping to see an IPA pronunciation in the first sentence of the article (but there is not one). Wiktionary has an English pronunciation for Fourier (as a surname), which might apply to Fourier transform. - excarnateSojourner (talk|contrib) 21:30, 11 July 2022 (UTC)
- In English the name is often pronounced foo-ree-ei or foor-ee-ei (the last syllable rhyming with "day", and all three syllables given approximately equal stress). 2601:200:C000:1A0:BC00:5039:DB55:E9EC (talk) 22:23, 29 July 2022 (UTC)
Nonsense statement
[edit]The section idiotically titled Introduction contains this passage:
"Although Fourier series can represent periodic waveforms as the sum of harmonically-related sinusoids, Fourier series can't represent non-periodic waveforms. However, the Fourier transform is able to represent non-periodic waveforms as well. It achieves this by applying a limiting process to lengthen the period of any waveform to infinity and then treating that as a periodic waveform.[1]"
The last sentence is complete mathematical nonsense, and is not taken from the cited reference. 2601:200:C000:1A0:BC00:5039:DB55:E9EC (talk) 19:13, 29 July 2022 (UTC)
References
- ^ Taneja 2008, p. 192 .
Possible problem may need fixing
[edit]As I tried to write a few clarifying sentences in the section Fourier transform for functions that are zero outside an interval, in order to specify the periodic function whose Fourier series was referred to ... I realized that the article refers to the same function when discussing the Fourier transform. But: It's not the same function. One is periodic and the other is zero outside the interval [-T/2, T/2].
I hope someone knowledgeable about this subject can fix this apparent problem. 2601:200:C000:1A0:BC00:5039:DB55:E9EC (talk) 20:08, 29 July 2022 (UTC)
Disappointing introduction
[edit]I find the introduction difficult to understand. It would be far better to avoid use of the word "transform" at first in the explanation, and instead say that the Fourier transform is a mapping taking an integrable function on Rn to an integrable function.
And that according to a version of the Fourier transform F favored by mathematicians, F4 = I.
Surely this is worthy of prominent mention. 2601:200:C000:1A0:FDA6:8A26:FCCA:2C1B (talk) 04:39, 22 September 2022 (UTC)
- I have no idea what your 3rd sentence means. I understand the 2nd sentence, but I disagree with "far better". Wikipedia's standard is to reflect a consensus of common usage, not to create a better math textbook.
- --Bob K (talk) 13:32, 22 September 2022 (UTC)
- Transform, as a verb, is more meaningful to the typical reader than mapping. Constant314 (talk) 19:03, 22 September 2022 (UTC)
- I suggest initially avoiding the verb "transform" to explain the Fourier transform, and instead use the noun "mapping" to say that the f.t. is a mapping from a function space to a function space.
- I certainly agree: The last thing a Wikipedia article on a math topic should resemble in tone or wording is a math textbook.
- The reason in my opinion is that the audiences for the two things have very different characteristics, statistically.
- The word "transform" (whether verb or noun) as a technical term in math is distinctly more advanced than "mapping", which all peopl exposed to even just a smidgen of math know means a function.
- The thing is: A consensus already exists in a strong and wide area of mathematics called "Fourier analysis".
- By any reliable judgment, it is significant — and so worth inclusion in the article — that applying the Fourier transform four times in a row will result in the same function you started with.2601:200:C000:1A0:FDA6:8A26:FCCA:2C1B (talk) 00:33, 23 September 2022 (UTC)
- Mapping is discussed in the body of the article. Constant314 (talk) 17:10, 23 September 2022 (UTC)
- By any reliable judgment, it is significant — and so worth inclusion in the article — that applying the Fourier transform four times in a row will result in the same function you started with.2601:200:C000:1A0:FDA6:8A26:FCCA:2C1B (talk) 00:33, 23 September 2022 (UTC)
- IMO this can be handled by just inserting a footnote to the effect that a synonym (in this case at least) for transform is mapping (and vice versa). Here we prefer transform, because it is the most commonly found and widely accepted terminology.
- --Bob K (talk) 14:38, 23 September 2022 (UTC)
Section: Use of complex sinusoids to represent real sinusoids
[edit]Well done, but it repeats a lot of information available thru WikiLinks, and now also added to Fourier transform#The analysis formula. IMO this section can be downsized or eliminated. Bob K (talk) 16:47, 12 December 2022 (UTC)
ξ vs ν ? revisited
[edit]It has been a decade since the ξ_vs_ν_? discussion between just 2 editors. And as noted then, ν was the original preference, replaced without a consensus. Now I am asking if there is any consensus for reverting back to ν, because ξ is unnecessarily intimidating-looking (IMO).
--Bob K (talk) 00:59, 19 December 2022 (UTC)
- I am not in favor of this. This is a bit like avoiding for an angle. Thenub314 (talk) 21:30, 15 February 2023 (UTC)
Section: Fourier transform for periodic functions
[edit]The reliance on:
is no better than relying on the transform pair:
Consequently, you've made a mountain out of a molehill.
--Bob K (talk) 01:59, 25 December 2022 (UTC)
Section: Fourier transform for functions that are zero outside an interval
[edit]The result of this section seems to be the statement:
Under appropriate conditions, the Fourier series of f will equal the function f. In other words, f can be written:
At the very least it needs to clarified that the first equality only applies in the interval T.
But also we already know that can be recovered from So what you are showing is that when its domain is bounded, it can also be recovered from discrete samples of which, by the way, is the dual of the time domain sampling theorem. This is mildly interesting, but it strikes me as a proof looking for a home, and the whole article is already pretty cluttered with stuff.
--Bob K (talk) 09:00, 27 December 2022 (UTC)
Erroneous square integrable function
[edit]The function is listed as a square integrable function (Line 207). I think this is only true if . However, this condition is not mentioned, and if this condition is included, (Line 207) becomes just a restatement of (Line 206) with the replacement . 18.29.20.123 (talk) 16:40, 10 February 2023 (UTC)
- I believe α is assumed to be purely real. Im(α) = 0. Constant314 (talk) 17:57, 10 February 2023 (UTC)
- The IP editor is correct (if you read this, I hope you make an account and stick around). If then which is definitely not square integrable. I don't think the citation says what the author thought it said. There are a couple of other places like this too. If I can at some point I will try to run through the citations and verify and fix what I see.
- I agree. Still, I think α is assumed to be purely real, if so, it should not be in the table at that point. Constant314 (talk) 17:25, 13 February 2023 (UTC)
- Yes, I think you're right. I will do a bit of research, once I find a source for this particular formula, I will cite it, move it, and include conditions. Thenub314 (talk) 20:17, 13 February 2023 (UTC)
- The IP editor is correct (if you read this, I hope you make an account and stick around). If then which is definitely not square integrable. I don't think the citation says what the author thought it said. There are a couple of other places like this too. If I can at some point I will try to run through the citations and verify and fix what I see.
Recent revert
[edit]I would like to discuss the recent revert of my edit. The edit, in part, addresssed the comment from the IP editor about that our tables were incorrect. While looking at the article I noticed it was inconsistent in the placement of vs so I fixed it. It seems the objections are mostly about the later. For which I would like to point out, the prevailing culture is that if a is used, it is before the i to see this I would like to point to:
- MATLAB Documentation
- Mathematica Documentation (see Details and Options)
- The makers of FFTW, the open source FFT engine
- The first few articles I looked at from the IEEE
- This article, for a minimum of a decade until last May when it was changed without discussion.
Aside from the last one, these are large professional orgainzations trying to make something for the masses. About the last one, I include the last one because I would like to return to the status quo for the article. I also feel it would benefit readers because they are (in my opinion) more likely to encouter in books/papers/references. Thenub314 (talk) 15:47, 15 February 2023 (UTC)
- I'm not aware of our tables being incorrect nor of the inconsistencies. I looked and did not find them. So there must have been very few, and so it can more easily be addressed by changing a small number of things instead of everything else. Sorry to be disagreeable, but I also don't think 2πi is more common than i2π. Regardless of that, they are both common, so I think we should look at the rational for each. Besides the (very good) reason I cited in the undo, leading with the i makes it more obvious that it's a complex exponential, which is its most important attribute.
- --Bob K (talk) 18:47, 15 February 2023 (UTC)
- The issue with the table being incorrect started on this talk page! A kindly IP editor spotted it, and left a comment here. I said I would research and fix it and I did.
- You're right, I did reply to the edit summary stating your preferred format is more logical. Clearly, I disagree. There are plenty of these arguments around, and they all boil down to a matter of taste. This is a bit like vs . This is why I am pointing to things that are external to me. To put some data behind my argument, I ran through each of the books cited by this article.
- Excluding the few that I couldn't get access to, in the ones that use just over 80% place the i after.
- And as a proportion of total references those that put an i before the are less frequent than those that avoid complex number all together by using sine and cosine.
- IMO, the most important attribute is to be a service to the readers, particularly the non-experts who may be thrown off by the change. They will most likely be looking at a reference where i following the . Thenub314 (talk) 21:27, 15 February 2023 (UTC)
- And I think it serves the non-experts more to put the in the most prominent location, and to keep 2πξ (= ω) together, especially when side-by-side in the tables with
- --Bob K (talk) 23:19, 15 February 2023 (UTC)
- My experience has an educator leads me to disagree. IMO students are more thrown off by disagreements in notation that some philosophical point about i being important, so it should come first. But we may be at an impasse, hopefully someone else while chime in and help us out.Thenub314 (talk) 00:25, 16 February 2023 (UTC)
- I agree with Bob K. I prefer to see the i in front, so I can tell immediately if it is there without searching. The fact that the figures and text disagree is not a problem. Anyone who does not realize that i2π is the same as 2πi won't understand anything anyway.
- On the other hand, there was a mistake in table item 207 as the function was not square integrable. Please go ahead and fix that while the discussion about i2π continues. Constant314 (talk) 01:38, 16 February 2023 (UTC)
- My experience has an educator leads me to disagree. IMO students are more thrown off by disagreements in notation that some philosophical point about i being important, so it should come first. But we may be at an impasse, hopefully someone else while chime in and help us out.Thenub314 (talk) 00:25, 16 February 2023 (UTC)
- Sure, but I have no better way than to copy and paste from the diff, which I cannot do from my phone, but I'll try when I am able. Thenub314 (talk) 02:57, 16 February 2023 (UTC)
- I only use a laptop, so I'll take a look at that. Also, I'll take a look for those remaining "inconsistencies". I don't like them either.
- --Bob K (talk) 13:22, 16 February 2023 (UTC)
Symmetry section
[edit]I removed a reference from here because the cited reference wasn't discussing the Fourier transform in the section indicated. I will try to find something more specific to this topic. Thenub314 (talk) 20:47, 16 February 2023 (UTC)
A Commons file used on this page or its Wikidata item has been nominated for deletion
[edit]The following Wikimedia Commons file used on this page or its Wikidata item has been nominated for deletion:
Participate in the deletion discussion at the nomination page. —Community Tech bot (talk) 14:53, 17 February 2023 (UTC)
Error in inversion section?
[edit]In the inversion section the integrals are over the variable σ but the variable ξ appears in the integrands. Where does the ξ come from? — Preceding unsigned comment added by 2.27.171.228 (talk) 21:25, 21 August 2023 (UTC)
Code sample
[edit]I reverted this edit, because Wikipedia articles do not usually include code samples (see MOS:CODE), unless those code samples illustrate some fundamental aspect of an algorithm. In this case, the algorithm (the fast Fourier transform, for which there is already a separate article) is not actually shown. Instead, it uses a builtin function of the numpy library. So this code is very python-specific, and is not a good illustration of the Fourier transform. Tito Omburo (talk) 10:42, 23 May 2024 (UTC)
- Since the code apparently produces a graph, perhaps Wikimedia is an appropriate host for this creation. And it welcomes the inclusion of source code. Here is a link to an example, where the code is in a portion of the Summary section. But it can also have its own separate section.
- --Bob K (talk) 12:13, 23 May 2024 (UTC)
- I agree with @Tito Omburo:. That code sample just shows calls to library functions and serves no useful purpose in the article. Constant314 (talk) 13:09, 23 May 2024 (UTC)
Error in Symmetry Section?
[edit]I think there may be an error in the symmetry section. For example, it says "even-symmetric function ..."
But isn't even symmetric, right? Shouldn't the even symmetric function be ?
Is there a reference for this section? Jackmjackm (talk) 22:01, 17 June 2024 (UTC)
- "Even symmetric" apparently means here. I assume this is a standard ise of the term in signal processing, but agree that a reference seems desirable. Tito Omburo (talk) 22:56, 17 June 2024 (UTC)
- The article links to Even_and_odd_functions#Complex-valued_functions. That's where the reference should be.
- --Bob K (talk) 11:42, 19 June 2024 (UTC)
- But at 15:45 on 16 February 2023, an editor removed what appears to be a directly relevant reference: (Proakis 1996, p. 291 )
- I don't think I have access to the reference.
- --Bob K (talk) 10:32, 20 June 2024 (UTC)
- This usage is supported by Oppenheim and Schafer, fwiw. Tito Omburo (talk) 11:03, 20 June 2024 (UTC)
- Thank you. I added the citation to Even_and_odd_functions#Complex-valued_functions, which also contains the Proakis reference, except the page number is 411, instead of the one that was deleted here (page 291). Maybe that was the problem all along. (I don't have the Proakis book to verify.)
- --Bob K (talk) 12:58, 20 June 2024 (UTC)
Lebesgue integrable functions
[edit]@Tito Omburo, thank you for your contributions. Could you be so kind to look at the subsection Fourier_transform#On_Lp_spaces as well? I feel there's a lot of semi-duplicate content.
Kind regards, Roffaduft (talk) 15:07, 7 December 2024 (UTC)
- @Tito Omburo what exactly do you mean with
the integral does not exist
? Just that it is not absolutely convergent? Or that cannot be in either? - I was reading up on: https://math.stackexchange.com/questions/2551297/fourier-transform-of-frac1-sqrt1-x2 as well as Carleson's theorem which got me questioning the generality of said statement.
- Kind regards, Roffaduft (talk) 12:47, 11 January 2025 (UTC)
- ps. does not imply that the integral does not exist at all. E.g., the Fourier transform might be an improper integral, or converge in the sense of distributions. Roffaduft (talk) 13:21, 11 January 2025 (UTC)
- The Lebesgue integral does not exist. Tito Omburo (talk) 14:05, 11 January 2025 (UTC)
- ps. does not imply that the integral does not exist at all. E.g., the Fourier transform might be an improper integral, or converge in the sense of distributions. Roffaduft (talk) 13:21, 11 January 2025 (UTC)