Do these integrals evaluate to terms involving Kronecker Deltas?

The name of the pictureThe name of the pictureThe name of the pictureClash Royale CLAN TAG#URR8PPP











up vote
2
down vote

favorite












There is a famous integral representation of the Kronecker delta:
$$
delta_N,M = int_0^1 dx e^-2 pi i (N-M)x
$$



Noting this, I have encountered two integrals where $N,M,m in mathbbZ$. First:
$$
mathcalI_1 = int_m-tfrac12^m+tfrac12 dx x e^-2 pi i (N-M)x
$$
I have a reference which seems to be implying that $mathcalI_1 = m delta_M,N$.



The second integral is worse (for any $y > 0$):
$$
mathcalI_2 = int_m-tfrac12^m+tfrac12 dx sqrt x^2 + y^2 e^-2 pi i (N-M)x
$$
I have no clue how to evaluate either of these. Do they both involve a $delta_N,M$?







share|cite|improve this question























    up vote
    2
    down vote

    favorite












    There is a famous integral representation of the Kronecker delta:
    $$
    delta_N,M = int_0^1 dx e^-2 pi i (N-M)x
    $$



    Noting this, I have encountered two integrals where $N,M,m in mathbbZ$. First:
    $$
    mathcalI_1 = int_m-tfrac12^m+tfrac12 dx x e^-2 pi i (N-M)x
    $$
    I have a reference which seems to be implying that $mathcalI_1 = m delta_M,N$.



    The second integral is worse (for any $y > 0$):
    $$
    mathcalI_2 = int_m-tfrac12^m+tfrac12 dx sqrt x^2 + y^2 e^-2 pi i (N-M)x
    $$
    I have no clue how to evaluate either of these. Do they both involve a $delta_N,M$?







    share|cite|improve this question





















      up vote
      2
      down vote

      favorite









      up vote
      2
      down vote

      favorite











      There is a famous integral representation of the Kronecker delta:
      $$
      delta_N,M = int_0^1 dx e^-2 pi i (N-M)x
      $$



      Noting this, I have encountered two integrals where $N,M,m in mathbbZ$. First:
      $$
      mathcalI_1 = int_m-tfrac12^m+tfrac12 dx x e^-2 pi i (N-M)x
      $$
      I have a reference which seems to be implying that $mathcalI_1 = m delta_M,N$.



      The second integral is worse (for any $y > 0$):
      $$
      mathcalI_2 = int_m-tfrac12^m+tfrac12 dx sqrt x^2 + y^2 e^-2 pi i (N-M)x
      $$
      I have no clue how to evaluate either of these. Do they both involve a $delta_N,M$?







      share|cite|improve this question











      There is a famous integral representation of the Kronecker delta:
      $$
      delta_N,M = int_0^1 dx e^-2 pi i (N-M)x
      $$



      Noting this, I have encountered two integrals where $N,M,m in mathbbZ$. First:
      $$
      mathcalI_1 = int_m-tfrac12^m+tfrac12 dx x e^-2 pi i (N-M)x
      $$
      I have a reference which seems to be implying that $mathcalI_1 = m delta_M,N$.



      The second integral is worse (for any $y > 0$):
      $$
      mathcalI_2 = int_m-tfrac12^m+tfrac12 dx sqrt x^2 + y^2 e^-2 pi i (N-M)x
      $$
      I have no clue how to evaluate either of these. Do they both involve a $delta_N,M$?









      share|cite|improve this question










      share|cite|improve this question




      share|cite|improve this question









      asked Aug 5 at 23:13









      Greg.Paul

      717620




      717620




















          1 Answer
          1






          active

          oldest

          votes

















          up vote
          2
          down vote



          accepted










          First note that your representation of the Kronecker delta is still correct if we shift the limits of integration:
          $$ delta_N,M = int limits_m-frac12^m+frac12 mathrmd x , mathrme^- 2 pi mathrmi (N-M) x , .$$



          For the first integral we get
          $$ mathcalI_1 = int limits_m-frac12^m+frac12 mathrmd x , x = m $$
          if $N=M$ . If $N neq M$, we can integrate by parts to obtain
          beginalign
          mathcalI_1 &= left[- fracx mathrme^- 2 pi mathrmi (N-M) x2 pi mathrmi (N-M)right]_x=m-frac12^x=m+frac12 + frac12 pi mathrmi (N-M)int limits_m-frac12^m+frac12 mathrmd x , mathrme^- 2 pi mathrmi (N-M) x \
          &= fracmathrmi (-1)^N-M2 pi (N-M) , ,
          endalign
          since the second integral vanishes by our initial observation. Therefore it does not lead to a Kronecker delta. We see that $operatornameRe (mathcalI_1) = m delta_N,M$ holds, however.



          The second integral is a lot more complicated, but numerical calculations suggest that neither real nor imaginary part vanish in general, so it seems unlikely that it has any connection to the Kronecker delta.






          share|cite|improve this answer





















            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',
            convertImagesToLinks: true,
            noModals: false,
            showLowRepImageUploadWarning: true,
            reputationToPostImages: 10,
            bindNavPrevention: true,
            postfix: "",
            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%2f2873421%2fdo-these-integrals-evaluate-to-terms-involving-kronecker-deltas%23new-answer', 'question_page');

            );

            Post as a guest






























            1 Answer
            1






            active

            oldest

            votes








            1 Answer
            1






            active

            oldest

            votes









            active

            oldest

            votes






            active

            oldest

            votes








            up vote
            2
            down vote



            accepted










            First note that your representation of the Kronecker delta is still correct if we shift the limits of integration:
            $$ delta_N,M = int limits_m-frac12^m+frac12 mathrmd x , mathrme^- 2 pi mathrmi (N-M) x , .$$



            For the first integral we get
            $$ mathcalI_1 = int limits_m-frac12^m+frac12 mathrmd x , x = m $$
            if $N=M$ . If $N neq M$, we can integrate by parts to obtain
            beginalign
            mathcalI_1 &= left[- fracx mathrme^- 2 pi mathrmi (N-M) x2 pi mathrmi (N-M)right]_x=m-frac12^x=m+frac12 + frac12 pi mathrmi (N-M)int limits_m-frac12^m+frac12 mathrmd x , mathrme^- 2 pi mathrmi (N-M) x \
            &= fracmathrmi (-1)^N-M2 pi (N-M) , ,
            endalign
            since the second integral vanishes by our initial observation. Therefore it does not lead to a Kronecker delta. We see that $operatornameRe (mathcalI_1) = m delta_N,M$ holds, however.



            The second integral is a lot more complicated, but numerical calculations suggest that neither real nor imaginary part vanish in general, so it seems unlikely that it has any connection to the Kronecker delta.






            share|cite|improve this answer

























              up vote
              2
              down vote



              accepted










              First note that your representation of the Kronecker delta is still correct if we shift the limits of integration:
              $$ delta_N,M = int limits_m-frac12^m+frac12 mathrmd x , mathrme^- 2 pi mathrmi (N-M) x , .$$



              For the first integral we get
              $$ mathcalI_1 = int limits_m-frac12^m+frac12 mathrmd x , x = m $$
              if $N=M$ . If $N neq M$, we can integrate by parts to obtain
              beginalign
              mathcalI_1 &= left[- fracx mathrme^- 2 pi mathrmi (N-M) x2 pi mathrmi (N-M)right]_x=m-frac12^x=m+frac12 + frac12 pi mathrmi (N-M)int limits_m-frac12^m+frac12 mathrmd x , mathrme^- 2 pi mathrmi (N-M) x \
              &= fracmathrmi (-1)^N-M2 pi (N-M) , ,
              endalign
              since the second integral vanishes by our initial observation. Therefore it does not lead to a Kronecker delta. We see that $operatornameRe (mathcalI_1) = m delta_N,M$ holds, however.



              The second integral is a lot more complicated, but numerical calculations suggest that neither real nor imaginary part vanish in general, so it seems unlikely that it has any connection to the Kronecker delta.






              share|cite|improve this answer























                up vote
                2
                down vote



                accepted







                up vote
                2
                down vote



                accepted






                First note that your representation of the Kronecker delta is still correct if we shift the limits of integration:
                $$ delta_N,M = int limits_m-frac12^m+frac12 mathrmd x , mathrme^- 2 pi mathrmi (N-M) x , .$$



                For the first integral we get
                $$ mathcalI_1 = int limits_m-frac12^m+frac12 mathrmd x , x = m $$
                if $N=M$ . If $N neq M$, we can integrate by parts to obtain
                beginalign
                mathcalI_1 &= left[- fracx mathrme^- 2 pi mathrmi (N-M) x2 pi mathrmi (N-M)right]_x=m-frac12^x=m+frac12 + frac12 pi mathrmi (N-M)int limits_m-frac12^m+frac12 mathrmd x , mathrme^- 2 pi mathrmi (N-M) x \
                &= fracmathrmi (-1)^N-M2 pi (N-M) , ,
                endalign
                since the second integral vanishes by our initial observation. Therefore it does not lead to a Kronecker delta. We see that $operatornameRe (mathcalI_1) = m delta_N,M$ holds, however.



                The second integral is a lot more complicated, but numerical calculations suggest that neither real nor imaginary part vanish in general, so it seems unlikely that it has any connection to the Kronecker delta.






                share|cite|improve this answer













                First note that your representation of the Kronecker delta is still correct if we shift the limits of integration:
                $$ delta_N,M = int limits_m-frac12^m+frac12 mathrmd x , mathrme^- 2 pi mathrmi (N-M) x , .$$



                For the first integral we get
                $$ mathcalI_1 = int limits_m-frac12^m+frac12 mathrmd x , x = m $$
                if $N=M$ . If $N neq M$, we can integrate by parts to obtain
                beginalign
                mathcalI_1 &= left[- fracx mathrme^- 2 pi mathrmi (N-M) x2 pi mathrmi (N-M)right]_x=m-frac12^x=m+frac12 + frac12 pi mathrmi (N-M)int limits_m-frac12^m+frac12 mathrmd x , mathrme^- 2 pi mathrmi (N-M) x \
                &= fracmathrmi (-1)^N-M2 pi (N-M) , ,
                endalign
                since the second integral vanishes by our initial observation. Therefore it does not lead to a Kronecker delta. We see that $operatornameRe (mathcalI_1) = m delta_N,M$ holds, however.



                The second integral is a lot more complicated, but numerical calculations suggest that neither real nor imaginary part vanish in general, so it seems unlikely that it has any connection to the Kronecker delta.







                share|cite|improve this answer













                share|cite|improve this answer



                share|cite|improve this answer











                answered Aug 6 at 15:40









                ComplexYetTrivial

                2,817624




                2,817624






















                     

                    draft saved


                    draft discarded


























                     


                    draft saved


                    draft discarded














                    StackExchange.ready(
                    function ()
                    StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2873421%2fdo-these-integrals-evaluate-to-terms-involving-kronecker-deltas%23new-answer', 'question_page');

                    );

                    Post as a guest













































































                    Comments

                    Popular posts from this blog

                    Color the edges and diagonals of a regular polygon

                    Relationship between determinant of matrix and determinant of adjoint?

                    What is the equation of a 3D cone with generalised tilt?