Fourier Transform Syntax and Conventions Clarification












0












$begingroup$


One common definition of a fourier transform for function f(x) is
$$F(v)=int_{-infty}^infty f(tau)e^{2pi itau v}dtau$$
I know some definitions have an extra sqrt(2*pi). I shall ignore that.



However, there are 3 tau's in the formula and it does not specify how each one relates to x. For example it does not explain for the fourier transform of f(x+1), whether tau+1 replaces all the taus or only for some.



From looking at derivations of fourier transform properties I believe that you must state state both the function and the variable the fourier transform is of. However, if your function is say f((y-1)) convention assumes that the variable is y instead of say (y-1).




  1. Is that right?

  2. If so, is this the correct fourier transform for f(g(x)) with respect to x?
    $$F(v)=int_{-infty}^infty f(g(tau))e^{2pi i tau v}dtau$$










share|cite|improve this question









$endgroup$












  • $begingroup$
    take a look here en.wikipedia.org/wiki/Fourier_transform#Other_conventions
    $endgroup$
    – alexjo
    Jan 3 at 19:07










  • $begingroup$
    @alexjo Yes, I am aware of those conventions. However, all those conventions are defined for f(x). Not for f(x+1) or f(g(x))
    $endgroup$
    – roobee
    Jan 3 at 19:11
















0












$begingroup$


One common definition of a fourier transform for function f(x) is
$$F(v)=int_{-infty}^infty f(tau)e^{2pi itau v}dtau$$
I know some definitions have an extra sqrt(2*pi). I shall ignore that.



However, there are 3 tau's in the formula and it does not specify how each one relates to x. For example it does not explain for the fourier transform of f(x+1), whether tau+1 replaces all the taus or only for some.



From looking at derivations of fourier transform properties I believe that you must state state both the function and the variable the fourier transform is of. However, if your function is say f((y-1)) convention assumes that the variable is y instead of say (y-1).




  1. Is that right?

  2. If so, is this the correct fourier transform for f(g(x)) with respect to x?
    $$F(v)=int_{-infty}^infty f(g(tau))e^{2pi i tau v}dtau$$










share|cite|improve this question









$endgroup$












  • $begingroup$
    take a look here en.wikipedia.org/wiki/Fourier_transform#Other_conventions
    $endgroup$
    – alexjo
    Jan 3 at 19:07










  • $begingroup$
    @alexjo Yes, I am aware of those conventions. However, all those conventions are defined for f(x). Not for f(x+1) or f(g(x))
    $endgroup$
    – roobee
    Jan 3 at 19:11














0












0








0





$begingroup$


One common definition of a fourier transform for function f(x) is
$$F(v)=int_{-infty}^infty f(tau)e^{2pi itau v}dtau$$
I know some definitions have an extra sqrt(2*pi). I shall ignore that.



However, there are 3 tau's in the formula and it does not specify how each one relates to x. For example it does not explain for the fourier transform of f(x+1), whether tau+1 replaces all the taus or only for some.



From looking at derivations of fourier transform properties I believe that you must state state both the function and the variable the fourier transform is of. However, if your function is say f((y-1)) convention assumes that the variable is y instead of say (y-1).




  1. Is that right?

  2. If so, is this the correct fourier transform for f(g(x)) with respect to x?
    $$F(v)=int_{-infty}^infty f(g(tau))e^{2pi i tau v}dtau$$










share|cite|improve this question









$endgroup$




One common definition of a fourier transform for function f(x) is
$$F(v)=int_{-infty}^infty f(tau)e^{2pi itau v}dtau$$
I know some definitions have an extra sqrt(2*pi). I shall ignore that.



However, there are 3 tau's in the formula and it does not specify how each one relates to x. For example it does not explain for the fourier transform of f(x+1), whether tau+1 replaces all the taus or only for some.



From looking at derivations of fourier transform properties I believe that you must state state both the function and the variable the fourier transform is of. However, if your function is say f((y-1)) convention assumes that the variable is y instead of say (y-1).




  1. Is that right?

  2. If so, is this the correct fourier transform for f(g(x)) with respect to x?
    $$F(v)=int_{-infty}^infty f(g(tau))e^{2pi i tau v}dtau$$







fourier-transform convention






share|cite|improve this question













share|cite|improve this question











share|cite|improve this question




share|cite|improve this question










asked Jan 3 at 19:03









roobeeroobee

53




53












  • $begingroup$
    take a look here en.wikipedia.org/wiki/Fourier_transform#Other_conventions
    $endgroup$
    – alexjo
    Jan 3 at 19:07










  • $begingroup$
    @alexjo Yes, I am aware of those conventions. However, all those conventions are defined for f(x). Not for f(x+1) or f(g(x))
    $endgroup$
    – roobee
    Jan 3 at 19:11


















  • $begingroup$
    take a look here en.wikipedia.org/wiki/Fourier_transform#Other_conventions
    $endgroup$
    – alexjo
    Jan 3 at 19:07










  • $begingroup$
    @alexjo Yes, I am aware of those conventions. However, all those conventions are defined for f(x). Not for f(x+1) or f(g(x))
    $endgroup$
    – roobee
    Jan 3 at 19:11
















$begingroup$
take a look here en.wikipedia.org/wiki/Fourier_transform#Other_conventions
$endgroup$
– alexjo
Jan 3 at 19:07




$begingroup$
take a look here en.wikipedia.org/wiki/Fourier_transform#Other_conventions
$endgroup$
– alexjo
Jan 3 at 19:07












$begingroup$
@alexjo Yes, I am aware of those conventions. However, all those conventions are defined for f(x). Not for f(x+1) or f(g(x))
$endgroup$
– roobee
Jan 3 at 19:11




$begingroup$
@alexjo Yes, I am aware of those conventions. However, all those conventions are defined for f(x). Not for f(x+1) or f(g(x))
$endgroup$
– roobee
Jan 3 at 19:11










1 Answer
1






active

oldest

votes


















0












$begingroup$

The Fourier transform of $f(x)$ is
$$
mathcal F{f(x)}=F(nu)=int_{-infty}^infty f(x),mathrm e^{-2pi i x nu},mathrm d x
$$

With this convention, the inverse Fourier transform is
$$
mathcal F^{-1}{F(nu)}=f(f)=int_{-infty}^infty F(nu),mathrm e^{+2pi i x nu},mathrm d nu
$$

For $f(x+1)$ we have (time shift property)
$$
mathcal F{f(x+1)}=int_{-infty}^infty f(x+1),mathrm e^{-2pi i (x+1) nu},mathrm d x=F(nu),mathrm e^{+2pi i nu}
$$

For $f(g(x))=h(x)$ we have to evaluate
$$
mathcal F{f(g(x))})=mathcal F{h(x)}=H(nu)=int_{-infty}^infty f(g(x)),mathrm e^{-2pi i xnu},mathrm d x
$$

There is no genral rule in this case. If $g$ is a bijection and smooth enough then, if integral exists
$$
mathcal F{f(g(x))}=int_{-infty}^infty f(g(x)),mathrm e^{-2pi i xnu},mathrm d x=int_{-infty}^infty f(y),mathrm e^{-2pi i g^{-1}(y)nu}frac{1}{|g'(y)|},mathrm d y
$$






share|cite|improve this answer









$endgroup$













  • $begingroup$
    You answered question 2 but not did not directly answer question 1. However, judging by your answer I shall assume you answered yes to question 1.
    $endgroup$
    – roobee
    Jan 3 at 23:01











Your Answer





StackExchange.ifUsing("editor", function () {
return StackExchange.using("mathjaxEditing", function () {
StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix) {
StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
});
});
}, "mathjax-editing");

StackExchange.ready(function() {
var channelOptions = {
tags: "".split(" "),
id: "69"
};
initTagRenderer("".split(" "), "".split(" "), channelOptions);

StackExchange.using("externalEditor", function() {
// Have to fire editor after snippets, if snippets enabled
if (StackExchange.settings.snippets.snippetsEnabled) {
StackExchange.using("snippets", function() {
createEditor();
});
}
else {
createEditor();
}
});

function createEditor() {
StackExchange.prepareEditor({
heartbeatType: 'answer',
autoActivateHeartbeat: false,
convertImagesToLinks: true,
noModals: true,
showLowRepImageUploadWarning: true,
reputationToPostImages: 10,
bindNavPrevention: true,
postfix: "",
imageUploader: {
brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
allowUrls: true
},
noCode: true, onDemand: true,
discardSelector: ".discard-answer"
,immediatelyShowMarkdownHelp:true
});


}
});














draft saved

draft discarded


















StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3060884%2ffourier-transform-syntax-and-conventions-clarification%23new-answer', 'question_page');
}
);

Post as a guest















Required, but never shown

























1 Answer
1






active

oldest

votes








1 Answer
1






active

oldest

votes









active

oldest

votes






active

oldest

votes









0












$begingroup$

The Fourier transform of $f(x)$ is
$$
mathcal F{f(x)}=F(nu)=int_{-infty}^infty f(x),mathrm e^{-2pi i x nu},mathrm d x
$$

With this convention, the inverse Fourier transform is
$$
mathcal F^{-1}{F(nu)}=f(f)=int_{-infty}^infty F(nu),mathrm e^{+2pi i x nu},mathrm d nu
$$

For $f(x+1)$ we have (time shift property)
$$
mathcal F{f(x+1)}=int_{-infty}^infty f(x+1),mathrm e^{-2pi i (x+1) nu},mathrm d x=F(nu),mathrm e^{+2pi i nu}
$$

For $f(g(x))=h(x)$ we have to evaluate
$$
mathcal F{f(g(x))})=mathcal F{h(x)}=H(nu)=int_{-infty}^infty f(g(x)),mathrm e^{-2pi i xnu},mathrm d x
$$

There is no genral rule in this case. If $g$ is a bijection and smooth enough then, if integral exists
$$
mathcal F{f(g(x))}=int_{-infty}^infty f(g(x)),mathrm e^{-2pi i xnu},mathrm d x=int_{-infty}^infty f(y),mathrm e^{-2pi i g^{-1}(y)nu}frac{1}{|g'(y)|},mathrm d y
$$






share|cite|improve this answer









$endgroup$













  • $begingroup$
    You answered question 2 but not did not directly answer question 1. However, judging by your answer I shall assume you answered yes to question 1.
    $endgroup$
    – roobee
    Jan 3 at 23:01
















0












$begingroup$

The Fourier transform of $f(x)$ is
$$
mathcal F{f(x)}=F(nu)=int_{-infty}^infty f(x),mathrm e^{-2pi i x nu},mathrm d x
$$

With this convention, the inverse Fourier transform is
$$
mathcal F^{-1}{F(nu)}=f(f)=int_{-infty}^infty F(nu),mathrm e^{+2pi i x nu},mathrm d nu
$$

For $f(x+1)$ we have (time shift property)
$$
mathcal F{f(x+1)}=int_{-infty}^infty f(x+1),mathrm e^{-2pi i (x+1) nu},mathrm d x=F(nu),mathrm e^{+2pi i nu}
$$

For $f(g(x))=h(x)$ we have to evaluate
$$
mathcal F{f(g(x))})=mathcal F{h(x)}=H(nu)=int_{-infty}^infty f(g(x)),mathrm e^{-2pi i xnu},mathrm d x
$$

There is no genral rule in this case. If $g$ is a bijection and smooth enough then, if integral exists
$$
mathcal F{f(g(x))}=int_{-infty}^infty f(g(x)),mathrm e^{-2pi i xnu},mathrm d x=int_{-infty}^infty f(y),mathrm e^{-2pi i g^{-1}(y)nu}frac{1}{|g'(y)|},mathrm d y
$$






share|cite|improve this answer









$endgroup$













  • $begingroup$
    You answered question 2 but not did not directly answer question 1. However, judging by your answer I shall assume you answered yes to question 1.
    $endgroup$
    – roobee
    Jan 3 at 23:01














0












0








0





$begingroup$

The Fourier transform of $f(x)$ is
$$
mathcal F{f(x)}=F(nu)=int_{-infty}^infty f(x),mathrm e^{-2pi i x nu},mathrm d x
$$

With this convention, the inverse Fourier transform is
$$
mathcal F^{-1}{F(nu)}=f(f)=int_{-infty}^infty F(nu),mathrm e^{+2pi i x nu},mathrm d nu
$$

For $f(x+1)$ we have (time shift property)
$$
mathcal F{f(x+1)}=int_{-infty}^infty f(x+1),mathrm e^{-2pi i (x+1) nu},mathrm d x=F(nu),mathrm e^{+2pi i nu}
$$

For $f(g(x))=h(x)$ we have to evaluate
$$
mathcal F{f(g(x))})=mathcal F{h(x)}=H(nu)=int_{-infty}^infty f(g(x)),mathrm e^{-2pi i xnu},mathrm d x
$$

There is no genral rule in this case. If $g$ is a bijection and smooth enough then, if integral exists
$$
mathcal F{f(g(x))}=int_{-infty}^infty f(g(x)),mathrm e^{-2pi i xnu},mathrm d x=int_{-infty}^infty f(y),mathrm e^{-2pi i g^{-1}(y)nu}frac{1}{|g'(y)|},mathrm d y
$$






share|cite|improve this answer









$endgroup$



The Fourier transform of $f(x)$ is
$$
mathcal F{f(x)}=F(nu)=int_{-infty}^infty f(x),mathrm e^{-2pi i x nu},mathrm d x
$$

With this convention, the inverse Fourier transform is
$$
mathcal F^{-1}{F(nu)}=f(f)=int_{-infty}^infty F(nu),mathrm e^{+2pi i x nu},mathrm d nu
$$

For $f(x+1)$ we have (time shift property)
$$
mathcal F{f(x+1)}=int_{-infty}^infty f(x+1),mathrm e^{-2pi i (x+1) nu},mathrm d x=F(nu),mathrm e^{+2pi i nu}
$$

For $f(g(x))=h(x)$ we have to evaluate
$$
mathcal F{f(g(x))})=mathcal F{h(x)}=H(nu)=int_{-infty}^infty f(g(x)),mathrm e^{-2pi i xnu},mathrm d x
$$

There is no genral rule in this case. If $g$ is a bijection and smooth enough then, if integral exists
$$
mathcal F{f(g(x))}=int_{-infty}^infty f(g(x)),mathrm e^{-2pi i xnu},mathrm d x=int_{-infty}^infty f(y),mathrm e^{-2pi i g^{-1}(y)nu}frac{1}{|g'(y)|},mathrm d y
$$







share|cite|improve this answer












share|cite|improve this answer



share|cite|improve this answer










answered Jan 3 at 19:35









alexjoalexjo

12.3k1430




12.3k1430












  • $begingroup$
    You answered question 2 but not did not directly answer question 1. However, judging by your answer I shall assume you answered yes to question 1.
    $endgroup$
    – roobee
    Jan 3 at 23:01


















  • $begingroup$
    You answered question 2 but not did not directly answer question 1. However, judging by your answer I shall assume you answered yes to question 1.
    $endgroup$
    – roobee
    Jan 3 at 23:01
















$begingroup$
You answered question 2 but not did not directly answer question 1. However, judging by your answer I shall assume you answered yes to question 1.
$endgroup$
– roobee
Jan 3 at 23:01




$begingroup$
You answered question 2 but not did not directly answer question 1. However, judging by your answer I shall assume you answered yes to question 1.
$endgroup$
– roobee
Jan 3 at 23:01


















draft saved

draft discarded




















































Thanks for contributing an answer to Mathematics Stack Exchange!


  • Please be sure to answer the question. Provide details and share your research!

But avoid



  • Asking for help, clarification, or responding to other answers.

  • Making statements based on opinion; back them up with references or personal experience.


Use MathJax to format equations. MathJax reference.


To learn more, see our tips on writing great answers.




draft saved


draft discarded














StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3060884%2ffourier-transform-syntax-and-conventions-clarification%23new-answer', 'question_page');
}
);

Post as a guest















Required, but never shown





















































Required, but never shown














Required, but never shown












Required, but never shown







Required, but never shown

































Required, but never shown














Required, but never shown












Required, but never shown







Required, but never shown







Popular posts from this blog

MongoDB - Not Authorized To Execute Command

How to fix TextFormField cause rebuild widget in Flutter

Npm cannot find a required file even through it is in the searched directory