Change of variable (translation) in complex integral












5












$begingroup$


If I have a real integral, e.g. $int f(x+2) dx$, I can substitute $y = x+2$, so $dy = dx$.



But if my function is complex, am I still allowed to do this? In which cases I cannot apply a translation?










share|cite|improve this question









$endgroup$












  • $begingroup$
    Yes, it's still allowed. Whether $f$ is complex- or real-valued doesn't matter for this kind of transformations.
    $endgroup$
    – Daniel Fischer
    Jan 18 '14 at 18:49










  • $begingroup$
    @DanielFischer But I have to require $f$ holomorphic, right?
    $endgroup$
    – user119139
    Jan 19 '14 at 15:53










  • $begingroup$
    No, these transformations hold generally. You need to require $f$ holomorphic if you want to shift the contour or so, but not for reparametrisations like $$int_a^b f(x+2),dx = int_{a+2}^{b+2} f(y),dy.$$
    $endgroup$
    – Daniel Fischer
    Jan 19 '14 at 16:04










  • $begingroup$
    @DanielFischer But for example if $f$ has a pole in $0$, $$int_{-infty}^{+infty} f(x+i) dx neq int_{-infty}^{+infty} f(x-i) dx. $$
    $endgroup$
    – user119139
    Jan 19 '14 at 16:44








  • 1




    $begingroup$
    That is shifting the contour. $$int_{-infty}^{+infty} f(x+i),dx = int_{-infty+2i}^{+infty+2i} f(z-i),dz$$ would be the transformation that is valid without an assumption of holomorphy (but of course integrability; $f$ must be integrable on $(-infty+i,+infty+i)$).
    $endgroup$
    – Daniel Fischer
    Jan 19 '14 at 16:50
















5












$begingroup$


If I have a real integral, e.g. $int f(x+2) dx$, I can substitute $y = x+2$, so $dy = dx$.



But if my function is complex, am I still allowed to do this? In which cases I cannot apply a translation?










share|cite|improve this question









$endgroup$












  • $begingroup$
    Yes, it's still allowed. Whether $f$ is complex- or real-valued doesn't matter for this kind of transformations.
    $endgroup$
    – Daniel Fischer
    Jan 18 '14 at 18:49










  • $begingroup$
    @DanielFischer But I have to require $f$ holomorphic, right?
    $endgroup$
    – user119139
    Jan 19 '14 at 15:53










  • $begingroup$
    No, these transformations hold generally. You need to require $f$ holomorphic if you want to shift the contour or so, but not for reparametrisations like $$int_a^b f(x+2),dx = int_{a+2}^{b+2} f(y),dy.$$
    $endgroup$
    – Daniel Fischer
    Jan 19 '14 at 16:04










  • $begingroup$
    @DanielFischer But for example if $f$ has a pole in $0$, $$int_{-infty}^{+infty} f(x+i) dx neq int_{-infty}^{+infty} f(x-i) dx. $$
    $endgroup$
    – user119139
    Jan 19 '14 at 16:44








  • 1




    $begingroup$
    That is shifting the contour. $$int_{-infty}^{+infty} f(x+i),dx = int_{-infty+2i}^{+infty+2i} f(z-i),dz$$ would be the transformation that is valid without an assumption of holomorphy (but of course integrability; $f$ must be integrable on $(-infty+i,+infty+i)$).
    $endgroup$
    – Daniel Fischer
    Jan 19 '14 at 16:50














5












5








5


3



$begingroup$


If I have a real integral, e.g. $int f(x+2) dx$, I can substitute $y = x+2$, so $dy = dx$.



But if my function is complex, am I still allowed to do this? In which cases I cannot apply a translation?










share|cite|improve this question









$endgroup$




If I have a real integral, e.g. $int f(x+2) dx$, I can substitute $y = x+2$, so $dy = dx$.



But if my function is complex, am I still allowed to do this? In which cases I cannot apply a translation?







integration complex-analysis multivariable-calculus






share|cite|improve this question













share|cite|improve this question











share|cite|improve this question




share|cite|improve this question










asked Jan 18 '14 at 18:43









user119139user119139

8217




8217












  • $begingroup$
    Yes, it's still allowed. Whether $f$ is complex- or real-valued doesn't matter for this kind of transformations.
    $endgroup$
    – Daniel Fischer
    Jan 18 '14 at 18:49










  • $begingroup$
    @DanielFischer But I have to require $f$ holomorphic, right?
    $endgroup$
    – user119139
    Jan 19 '14 at 15:53










  • $begingroup$
    No, these transformations hold generally. You need to require $f$ holomorphic if you want to shift the contour or so, but not for reparametrisations like $$int_a^b f(x+2),dx = int_{a+2}^{b+2} f(y),dy.$$
    $endgroup$
    – Daniel Fischer
    Jan 19 '14 at 16:04










  • $begingroup$
    @DanielFischer But for example if $f$ has a pole in $0$, $$int_{-infty}^{+infty} f(x+i) dx neq int_{-infty}^{+infty} f(x-i) dx. $$
    $endgroup$
    – user119139
    Jan 19 '14 at 16:44








  • 1




    $begingroup$
    That is shifting the contour. $$int_{-infty}^{+infty} f(x+i),dx = int_{-infty+2i}^{+infty+2i} f(z-i),dz$$ would be the transformation that is valid without an assumption of holomorphy (but of course integrability; $f$ must be integrable on $(-infty+i,+infty+i)$).
    $endgroup$
    – Daniel Fischer
    Jan 19 '14 at 16:50


















  • $begingroup$
    Yes, it's still allowed. Whether $f$ is complex- or real-valued doesn't matter for this kind of transformations.
    $endgroup$
    – Daniel Fischer
    Jan 18 '14 at 18:49










  • $begingroup$
    @DanielFischer But I have to require $f$ holomorphic, right?
    $endgroup$
    – user119139
    Jan 19 '14 at 15:53










  • $begingroup$
    No, these transformations hold generally. You need to require $f$ holomorphic if you want to shift the contour or so, but not for reparametrisations like $$int_a^b f(x+2),dx = int_{a+2}^{b+2} f(y),dy.$$
    $endgroup$
    – Daniel Fischer
    Jan 19 '14 at 16:04










  • $begingroup$
    @DanielFischer But for example if $f$ has a pole in $0$, $$int_{-infty}^{+infty} f(x+i) dx neq int_{-infty}^{+infty} f(x-i) dx. $$
    $endgroup$
    – user119139
    Jan 19 '14 at 16:44








  • 1




    $begingroup$
    That is shifting the contour. $$int_{-infty}^{+infty} f(x+i),dx = int_{-infty+2i}^{+infty+2i} f(z-i),dz$$ would be the transformation that is valid without an assumption of holomorphy (but of course integrability; $f$ must be integrable on $(-infty+i,+infty+i)$).
    $endgroup$
    – Daniel Fischer
    Jan 19 '14 at 16:50
















$begingroup$
Yes, it's still allowed. Whether $f$ is complex- or real-valued doesn't matter for this kind of transformations.
$endgroup$
– Daniel Fischer
Jan 18 '14 at 18:49




$begingroup$
Yes, it's still allowed. Whether $f$ is complex- or real-valued doesn't matter for this kind of transformations.
$endgroup$
– Daniel Fischer
Jan 18 '14 at 18:49












$begingroup$
@DanielFischer But I have to require $f$ holomorphic, right?
$endgroup$
– user119139
Jan 19 '14 at 15:53




$begingroup$
@DanielFischer But I have to require $f$ holomorphic, right?
$endgroup$
– user119139
Jan 19 '14 at 15:53












$begingroup$
No, these transformations hold generally. You need to require $f$ holomorphic if you want to shift the contour or so, but not for reparametrisations like $$int_a^b f(x+2),dx = int_{a+2}^{b+2} f(y),dy.$$
$endgroup$
– Daniel Fischer
Jan 19 '14 at 16:04




$begingroup$
No, these transformations hold generally. You need to require $f$ holomorphic if you want to shift the contour or so, but not for reparametrisations like $$int_a^b f(x+2),dx = int_{a+2}^{b+2} f(y),dy.$$
$endgroup$
– Daniel Fischer
Jan 19 '14 at 16:04












$begingroup$
@DanielFischer But for example if $f$ has a pole in $0$, $$int_{-infty}^{+infty} f(x+i) dx neq int_{-infty}^{+infty} f(x-i) dx. $$
$endgroup$
– user119139
Jan 19 '14 at 16:44






$begingroup$
@DanielFischer But for example if $f$ has a pole in $0$, $$int_{-infty}^{+infty} f(x+i) dx neq int_{-infty}^{+infty} f(x-i) dx. $$
$endgroup$
– user119139
Jan 19 '14 at 16:44






1




1




$begingroup$
That is shifting the contour. $$int_{-infty}^{+infty} f(x+i),dx = int_{-infty+2i}^{+infty+2i} f(z-i),dz$$ would be the transformation that is valid without an assumption of holomorphy (but of course integrability; $f$ must be integrable on $(-infty+i,+infty+i)$).
$endgroup$
– Daniel Fischer
Jan 19 '14 at 16:50




$begingroup$
That is shifting the contour. $$int_{-infty}^{+infty} f(x+i),dx = int_{-infty+2i}^{+infty+2i} f(z-i),dz$$ would be the transformation that is valid without an assumption of holomorphy (but of course integrability; $f$ must be integrable on $(-infty+i,+infty+i)$).
$endgroup$
– Daniel Fischer
Jan 19 '14 at 16:50










1 Answer
1






active

oldest

votes


















7












$begingroup$

Daniel Fischer is correct. It is perfectly fine to do this (so long as you don't run into issues with poles). A more interesting question is evaluating real-line integrals that benefit from complex changes of variables. One thing people often do when taking the Fourier transform of the Gaussian, i.e. evaluating the integral (for $omegainmathbb{R}$)



$$int_{-infty}^{infty} e^{-iomega t}e^{-t^2}dt,$$



is a complex change of variable and then equate it to a real-line integral. This implicitly relies on the function $exp(-z^2)$ being holomorphic. Here's how it's done traditionally:



$$int_{-infty}^{infty} e^{-iomega t}e^{-t^2}dt = e^{-frac{omega^2}{4}}int_{-infty}^{infty} e^{frac{omega^2}{4}}e^{-iomega t}e^{-t^2}dt = e^{-frac{omega^2}{4}}int_{-infty}^{infty}e^{-left(-ifrac{omega}{2}-tright)^2}dt. $$



Then they say, let $y = -ifrac{omega}{2}-t$ and then state that this is equal to



$$int_{-infty}^{infty} e^{-y^2}dy$$



while wholly ignoring the complex nature of the line you are integrating over (you should be integrating over the line $y = -ifrac{omega}{2}$). But since the integrand is holomorphic, you can argue very simply that it is indeed equal to what they claim by parameterizing a rectangular contour with top and bottom being $y=-ifrac{omega}{2}$ and the real line, respectively (the sides can be shown to go to zero without too much difficulty). Since $exp(-z^2)$ is holomorphic, any closed contour of it will give $0$, hence the top and bottom pieces being equal and why they are correct to claim what they do.



If $exp(-z^2)$ were not holomorphic, we would need to invoke more involved complex analytic techniques to relate the complex line integral to the real line integral.



For completeness, we know that $int_{-infty}^{infty}e^{-y^2}dy = sqrt{pi}$ and so we see that



$$int_{-infty}^{infty} e^{-iomega t}e^{-t^2}dt = sqrt{pi}e^{-frac{omega^2}{4}}.$$



This is not the only way to evaluate this integral, but it is one of the two or three ways I've seen to argue that the Gaussian is what is called an eigenfunction of the Fourier transform (meaning the Fourier transform of the Gaussian gives a Gaussian with some scaling changes). Another way is by doing parametric differentiation on the initial integral but this requires some measure theoretic arguments.






share|cite|improve this answer











$endgroup$














    Your Answer








    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%2f642901%2fchange-of-variable-translation-in-complex-integral%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









    7












    $begingroup$

    Daniel Fischer is correct. It is perfectly fine to do this (so long as you don't run into issues with poles). A more interesting question is evaluating real-line integrals that benefit from complex changes of variables. One thing people often do when taking the Fourier transform of the Gaussian, i.e. evaluating the integral (for $omegainmathbb{R}$)



    $$int_{-infty}^{infty} e^{-iomega t}e^{-t^2}dt,$$



    is a complex change of variable and then equate it to a real-line integral. This implicitly relies on the function $exp(-z^2)$ being holomorphic. Here's how it's done traditionally:



    $$int_{-infty}^{infty} e^{-iomega t}e^{-t^2}dt = e^{-frac{omega^2}{4}}int_{-infty}^{infty} e^{frac{omega^2}{4}}e^{-iomega t}e^{-t^2}dt = e^{-frac{omega^2}{4}}int_{-infty}^{infty}e^{-left(-ifrac{omega}{2}-tright)^2}dt. $$



    Then they say, let $y = -ifrac{omega}{2}-t$ and then state that this is equal to



    $$int_{-infty}^{infty} e^{-y^2}dy$$



    while wholly ignoring the complex nature of the line you are integrating over (you should be integrating over the line $y = -ifrac{omega}{2}$). But since the integrand is holomorphic, you can argue very simply that it is indeed equal to what they claim by parameterizing a rectangular contour with top and bottom being $y=-ifrac{omega}{2}$ and the real line, respectively (the sides can be shown to go to zero without too much difficulty). Since $exp(-z^2)$ is holomorphic, any closed contour of it will give $0$, hence the top and bottom pieces being equal and why they are correct to claim what they do.



    If $exp(-z^2)$ were not holomorphic, we would need to invoke more involved complex analytic techniques to relate the complex line integral to the real line integral.



    For completeness, we know that $int_{-infty}^{infty}e^{-y^2}dy = sqrt{pi}$ and so we see that



    $$int_{-infty}^{infty} e^{-iomega t}e^{-t^2}dt = sqrt{pi}e^{-frac{omega^2}{4}}.$$



    This is not the only way to evaluate this integral, but it is one of the two or three ways I've seen to argue that the Gaussian is what is called an eigenfunction of the Fourier transform (meaning the Fourier transform of the Gaussian gives a Gaussian with some scaling changes). Another way is by doing parametric differentiation on the initial integral but this requires some measure theoretic arguments.






    share|cite|improve this answer











    $endgroup$


















      7












      $begingroup$

      Daniel Fischer is correct. It is perfectly fine to do this (so long as you don't run into issues with poles). A more interesting question is evaluating real-line integrals that benefit from complex changes of variables. One thing people often do when taking the Fourier transform of the Gaussian, i.e. evaluating the integral (for $omegainmathbb{R}$)



      $$int_{-infty}^{infty} e^{-iomega t}e^{-t^2}dt,$$



      is a complex change of variable and then equate it to a real-line integral. This implicitly relies on the function $exp(-z^2)$ being holomorphic. Here's how it's done traditionally:



      $$int_{-infty}^{infty} e^{-iomega t}e^{-t^2}dt = e^{-frac{omega^2}{4}}int_{-infty}^{infty} e^{frac{omega^2}{4}}e^{-iomega t}e^{-t^2}dt = e^{-frac{omega^2}{4}}int_{-infty}^{infty}e^{-left(-ifrac{omega}{2}-tright)^2}dt. $$



      Then they say, let $y = -ifrac{omega}{2}-t$ and then state that this is equal to



      $$int_{-infty}^{infty} e^{-y^2}dy$$



      while wholly ignoring the complex nature of the line you are integrating over (you should be integrating over the line $y = -ifrac{omega}{2}$). But since the integrand is holomorphic, you can argue very simply that it is indeed equal to what they claim by parameterizing a rectangular contour with top and bottom being $y=-ifrac{omega}{2}$ and the real line, respectively (the sides can be shown to go to zero without too much difficulty). Since $exp(-z^2)$ is holomorphic, any closed contour of it will give $0$, hence the top and bottom pieces being equal and why they are correct to claim what they do.



      If $exp(-z^2)$ were not holomorphic, we would need to invoke more involved complex analytic techniques to relate the complex line integral to the real line integral.



      For completeness, we know that $int_{-infty}^{infty}e^{-y^2}dy = sqrt{pi}$ and so we see that



      $$int_{-infty}^{infty} e^{-iomega t}e^{-t^2}dt = sqrt{pi}e^{-frac{omega^2}{4}}.$$



      This is not the only way to evaluate this integral, but it is one of the two or three ways I've seen to argue that the Gaussian is what is called an eigenfunction of the Fourier transform (meaning the Fourier transform of the Gaussian gives a Gaussian with some scaling changes). Another way is by doing parametric differentiation on the initial integral but this requires some measure theoretic arguments.






      share|cite|improve this answer











      $endgroup$
















        7












        7








        7





        $begingroup$

        Daniel Fischer is correct. It is perfectly fine to do this (so long as you don't run into issues with poles). A more interesting question is evaluating real-line integrals that benefit from complex changes of variables. One thing people often do when taking the Fourier transform of the Gaussian, i.e. evaluating the integral (for $omegainmathbb{R}$)



        $$int_{-infty}^{infty} e^{-iomega t}e^{-t^2}dt,$$



        is a complex change of variable and then equate it to a real-line integral. This implicitly relies on the function $exp(-z^2)$ being holomorphic. Here's how it's done traditionally:



        $$int_{-infty}^{infty} e^{-iomega t}e^{-t^2}dt = e^{-frac{omega^2}{4}}int_{-infty}^{infty} e^{frac{omega^2}{4}}e^{-iomega t}e^{-t^2}dt = e^{-frac{omega^2}{4}}int_{-infty}^{infty}e^{-left(-ifrac{omega}{2}-tright)^2}dt. $$



        Then they say, let $y = -ifrac{omega}{2}-t$ and then state that this is equal to



        $$int_{-infty}^{infty} e^{-y^2}dy$$



        while wholly ignoring the complex nature of the line you are integrating over (you should be integrating over the line $y = -ifrac{omega}{2}$). But since the integrand is holomorphic, you can argue very simply that it is indeed equal to what they claim by parameterizing a rectangular contour with top and bottom being $y=-ifrac{omega}{2}$ and the real line, respectively (the sides can be shown to go to zero without too much difficulty). Since $exp(-z^2)$ is holomorphic, any closed contour of it will give $0$, hence the top and bottom pieces being equal and why they are correct to claim what they do.



        If $exp(-z^2)$ were not holomorphic, we would need to invoke more involved complex analytic techniques to relate the complex line integral to the real line integral.



        For completeness, we know that $int_{-infty}^{infty}e^{-y^2}dy = sqrt{pi}$ and so we see that



        $$int_{-infty}^{infty} e^{-iomega t}e^{-t^2}dt = sqrt{pi}e^{-frac{omega^2}{4}}.$$



        This is not the only way to evaluate this integral, but it is one of the two or three ways I've seen to argue that the Gaussian is what is called an eigenfunction of the Fourier transform (meaning the Fourier transform of the Gaussian gives a Gaussian with some scaling changes). Another way is by doing parametric differentiation on the initial integral but this requires some measure theoretic arguments.






        share|cite|improve this answer











        $endgroup$



        Daniel Fischer is correct. It is perfectly fine to do this (so long as you don't run into issues with poles). A more interesting question is evaluating real-line integrals that benefit from complex changes of variables. One thing people often do when taking the Fourier transform of the Gaussian, i.e. evaluating the integral (for $omegainmathbb{R}$)



        $$int_{-infty}^{infty} e^{-iomega t}e^{-t^2}dt,$$



        is a complex change of variable and then equate it to a real-line integral. This implicitly relies on the function $exp(-z^2)$ being holomorphic. Here's how it's done traditionally:



        $$int_{-infty}^{infty} e^{-iomega t}e^{-t^2}dt = e^{-frac{omega^2}{4}}int_{-infty}^{infty} e^{frac{omega^2}{4}}e^{-iomega t}e^{-t^2}dt = e^{-frac{omega^2}{4}}int_{-infty}^{infty}e^{-left(-ifrac{omega}{2}-tright)^2}dt. $$



        Then they say, let $y = -ifrac{omega}{2}-t$ and then state that this is equal to



        $$int_{-infty}^{infty} e^{-y^2}dy$$



        while wholly ignoring the complex nature of the line you are integrating over (you should be integrating over the line $y = -ifrac{omega}{2}$). But since the integrand is holomorphic, you can argue very simply that it is indeed equal to what they claim by parameterizing a rectangular contour with top and bottom being $y=-ifrac{omega}{2}$ and the real line, respectively (the sides can be shown to go to zero without too much difficulty). Since $exp(-z^2)$ is holomorphic, any closed contour of it will give $0$, hence the top and bottom pieces being equal and why they are correct to claim what they do.



        If $exp(-z^2)$ were not holomorphic, we would need to invoke more involved complex analytic techniques to relate the complex line integral to the real line integral.



        For completeness, we know that $int_{-infty}^{infty}e^{-y^2}dy = sqrt{pi}$ and so we see that



        $$int_{-infty}^{infty} e^{-iomega t}e^{-t^2}dt = sqrt{pi}e^{-frac{omega^2}{4}}.$$



        This is not the only way to evaluate this integral, but it is one of the two or three ways I've seen to argue that the Gaussian is what is called an eigenfunction of the Fourier transform (meaning the Fourier transform of the Gaussian gives a Gaussian with some scaling changes). Another way is by doing parametric differentiation on the initial integral but this requires some measure theoretic arguments.







        share|cite|improve this answer














        share|cite|improve this answer



        share|cite|improve this answer








        edited Jan 9 at 7:11

























        answered Jan 18 '14 at 19:05









        Cameron WilliamsCameron Williams

        22.6k43680




        22.6k43680






























            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%2f642901%2fchange-of-variable-translation-in-complex-integral%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

            How do I know what Microsoft account the skydrive app is syncing to?

            When does type information flow backwards in C++?

            Grease: Live!