Exponential of two different derivatives












1














I know that



$$begin{align*}
expleft(alphafrac{d}{dx}right)f(x)=f(x+alpha),,
end{align*} tag{1}$$



but I am looking for a definition for



$$begin{align*}
expleft(alphafrac{partial}{partial x}frac{partial}{partial y}right)f(x,y),,
end{align*} tag{2}$$



so, the first question is: Is there a definition for the previous expression?.



Now, in the particular case where $f(x,y)$ is a product of two Gaussian functions centered in $y_{0}$ and $x_{0}$, that is $f(x,y)=expleft[-k_{2}(y-y_{0})^{2}right]expleft[-k_{1}(x-x_{0})^{2}right]$ (with $k_{1}$ and $k_{2}$ being real or complex constants), so, the second question is: Is it valid to apply equation (1) in order to displace first a Gaussian function?, I mean



$$begin{align*}
expleft(alphafrac{partial}{partial x}frac{partial}{partial y}right)expleft[-k_{2}(y-y_{0})^{2}right]expleft[-k_{1}(x-x_{0})^{2}right],,
end{align*} tag{3}$$



taking $hat{c} = alphafrac{partial}{partial x}$, the above expresión is
$$begin{align*}
expleft(hat{c}frac{partial}{partial y}right)expleft[-k_{2}(y-y_{0})^{2}right]expleft[-k_{1}(x-x_{0})^{2}right]
,,
end{align*} tag{4}$$

Using equation (1) the $y$ variable is displaced
$$begin{align*}
expleft[-k_{2}(left[y+hat{c}right]-y_{0})^{2}right]expleft[-k_{1}(x-x_{0})^{2}right]
,,
end{align*} tag{5}$$

or
$$begin{align*}
=expleft[-k_{2}left(left[y+alphafrac{partial}{partial x}right]-y_{0}right)^{2}right]expleft[-k_{1}(x-x_{0})^{2}right]

end{align*} tag{6}$$

then, the first exponential of above equation will become an operator that will act on the second exponential. I think that this procedure is wrong because if the exponentials of equation (3) are swapping, I would get



$$begin{align*}
expleft[-k_{1}(x-x_{0})^{2}right]
expleft[-k_{2}left(left[y+alphafrac{partial}{partial x}right]-y_{0}right)^{2}right]
end{align*} tag{7}$$



which clearly is not the same as the equation (6).










share|cite|improve this question







New contributor




Julio Abraham Mendoza Fierro is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.
















  • 1




    Basically what you want to do is to find the fundamental solution of the associated second order PDE which is an evolution equation defined by that operator $partial_{xy}$. Then your operator is just given by convolution with that fundamental solution.
    – Shalop
    2 days ago












  • You can solve the equation in Fourier space though I doubt the fundamental solutions will be function-valued, and I also doubt there is an explicit expression for inverting that Fourier transform. then again it could be possible.
    – Shalop
    2 days ago
















1














I know that



$$begin{align*}
expleft(alphafrac{d}{dx}right)f(x)=f(x+alpha),,
end{align*} tag{1}$$



but I am looking for a definition for



$$begin{align*}
expleft(alphafrac{partial}{partial x}frac{partial}{partial y}right)f(x,y),,
end{align*} tag{2}$$



so, the first question is: Is there a definition for the previous expression?.



Now, in the particular case where $f(x,y)$ is a product of two Gaussian functions centered in $y_{0}$ and $x_{0}$, that is $f(x,y)=expleft[-k_{2}(y-y_{0})^{2}right]expleft[-k_{1}(x-x_{0})^{2}right]$ (with $k_{1}$ and $k_{2}$ being real or complex constants), so, the second question is: Is it valid to apply equation (1) in order to displace first a Gaussian function?, I mean



$$begin{align*}
expleft(alphafrac{partial}{partial x}frac{partial}{partial y}right)expleft[-k_{2}(y-y_{0})^{2}right]expleft[-k_{1}(x-x_{0})^{2}right],,
end{align*} tag{3}$$



taking $hat{c} = alphafrac{partial}{partial x}$, the above expresión is
$$begin{align*}
expleft(hat{c}frac{partial}{partial y}right)expleft[-k_{2}(y-y_{0})^{2}right]expleft[-k_{1}(x-x_{0})^{2}right]
,,
end{align*} tag{4}$$

Using equation (1) the $y$ variable is displaced
$$begin{align*}
expleft[-k_{2}(left[y+hat{c}right]-y_{0})^{2}right]expleft[-k_{1}(x-x_{0})^{2}right]
,,
end{align*} tag{5}$$

or
$$begin{align*}
=expleft[-k_{2}left(left[y+alphafrac{partial}{partial x}right]-y_{0}right)^{2}right]expleft[-k_{1}(x-x_{0})^{2}right]

end{align*} tag{6}$$

then, the first exponential of above equation will become an operator that will act on the second exponential. I think that this procedure is wrong because if the exponentials of equation (3) are swapping, I would get



$$begin{align*}
expleft[-k_{1}(x-x_{0})^{2}right]
expleft[-k_{2}left(left[y+alphafrac{partial}{partial x}right]-y_{0}right)^{2}right]
end{align*} tag{7}$$



which clearly is not the same as the equation (6).










share|cite|improve this question







New contributor




Julio Abraham Mendoza Fierro is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.
















  • 1




    Basically what you want to do is to find the fundamental solution of the associated second order PDE which is an evolution equation defined by that operator $partial_{xy}$. Then your operator is just given by convolution with that fundamental solution.
    – Shalop
    2 days ago












  • You can solve the equation in Fourier space though I doubt the fundamental solutions will be function-valued, and I also doubt there is an explicit expression for inverting that Fourier transform. then again it could be possible.
    – Shalop
    2 days ago














1












1








1







I know that



$$begin{align*}
expleft(alphafrac{d}{dx}right)f(x)=f(x+alpha),,
end{align*} tag{1}$$



but I am looking for a definition for



$$begin{align*}
expleft(alphafrac{partial}{partial x}frac{partial}{partial y}right)f(x,y),,
end{align*} tag{2}$$



so, the first question is: Is there a definition for the previous expression?.



Now, in the particular case where $f(x,y)$ is a product of two Gaussian functions centered in $y_{0}$ and $x_{0}$, that is $f(x,y)=expleft[-k_{2}(y-y_{0})^{2}right]expleft[-k_{1}(x-x_{0})^{2}right]$ (with $k_{1}$ and $k_{2}$ being real or complex constants), so, the second question is: Is it valid to apply equation (1) in order to displace first a Gaussian function?, I mean



$$begin{align*}
expleft(alphafrac{partial}{partial x}frac{partial}{partial y}right)expleft[-k_{2}(y-y_{0})^{2}right]expleft[-k_{1}(x-x_{0})^{2}right],,
end{align*} tag{3}$$



taking $hat{c} = alphafrac{partial}{partial x}$, the above expresión is
$$begin{align*}
expleft(hat{c}frac{partial}{partial y}right)expleft[-k_{2}(y-y_{0})^{2}right]expleft[-k_{1}(x-x_{0})^{2}right]
,,
end{align*} tag{4}$$

Using equation (1) the $y$ variable is displaced
$$begin{align*}
expleft[-k_{2}(left[y+hat{c}right]-y_{0})^{2}right]expleft[-k_{1}(x-x_{0})^{2}right]
,,
end{align*} tag{5}$$

or
$$begin{align*}
=expleft[-k_{2}left(left[y+alphafrac{partial}{partial x}right]-y_{0}right)^{2}right]expleft[-k_{1}(x-x_{0})^{2}right]

end{align*} tag{6}$$

then, the first exponential of above equation will become an operator that will act on the second exponential. I think that this procedure is wrong because if the exponentials of equation (3) are swapping, I would get



$$begin{align*}
expleft[-k_{1}(x-x_{0})^{2}right]
expleft[-k_{2}left(left[y+alphafrac{partial}{partial x}right]-y_{0}right)^{2}right]
end{align*} tag{7}$$



which clearly is not the same as the equation (6).










share|cite|improve this question







New contributor




Julio Abraham Mendoza Fierro is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.











I know that



$$begin{align*}
expleft(alphafrac{d}{dx}right)f(x)=f(x+alpha),,
end{align*} tag{1}$$



but I am looking for a definition for



$$begin{align*}
expleft(alphafrac{partial}{partial x}frac{partial}{partial y}right)f(x,y),,
end{align*} tag{2}$$



so, the first question is: Is there a definition for the previous expression?.



Now, in the particular case where $f(x,y)$ is a product of two Gaussian functions centered in $y_{0}$ and $x_{0}$, that is $f(x,y)=expleft[-k_{2}(y-y_{0})^{2}right]expleft[-k_{1}(x-x_{0})^{2}right]$ (with $k_{1}$ and $k_{2}$ being real or complex constants), so, the second question is: Is it valid to apply equation (1) in order to displace first a Gaussian function?, I mean



$$begin{align*}
expleft(alphafrac{partial}{partial x}frac{partial}{partial y}right)expleft[-k_{2}(y-y_{0})^{2}right]expleft[-k_{1}(x-x_{0})^{2}right],,
end{align*} tag{3}$$



taking $hat{c} = alphafrac{partial}{partial x}$, the above expresión is
$$begin{align*}
expleft(hat{c}frac{partial}{partial y}right)expleft[-k_{2}(y-y_{0})^{2}right]expleft[-k_{1}(x-x_{0})^{2}right]
,,
end{align*} tag{4}$$

Using equation (1) the $y$ variable is displaced
$$begin{align*}
expleft[-k_{2}(left[y+hat{c}right]-y_{0})^{2}right]expleft[-k_{1}(x-x_{0})^{2}right]
,,
end{align*} tag{5}$$

or
$$begin{align*}
=expleft[-k_{2}left(left[y+alphafrac{partial}{partial x}right]-y_{0}right)^{2}right]expleft[-k_{1}(x-x_{0})^{2}right]

end{align*} tag{6}$$

then, the first exponential of above equation will become an operator that will act on the second exponential. I think that this procedure is wrong because if the exponentials of equation (3) are swapping, I would get



$$begin{align*}
expleft[-k_{1}(x-x_{0})^{2}right]
expleft[-k_{2}left(left[y+alphafrac{partial}{partial x}right]-y_{0}right)^{2}right]
end{align*} tag{7}$$



which clearly is not the same as the equation (6).







calculus derivatives power-series taylor-expansion exponential-function






share|cite|improve this question







New contributor




Julio Abraham Mendoza Fierro is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.











share|cite|improve this question







New contributor




Julio Abraham Mendoza Fierro is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.









share|cite|improve this question




share|cite|improve this question






New contributor




Julio Abraham Mendoza Fierro is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.









asked 2 days ago









Julio Abraham Mendoza Fierro

61




61




New contributor




Julio Abraham Mendoza Fierro is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.





New contributor





Julio Abraham Mendoza Fierro is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.






Julio Abraham Mendoza Fierro is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.








  • 1




    Basically what you want to do is to find the fundamental solution of the associated second order PDE which is an evolution equation defined by that operator $partial_{xy}$. Then your operator is just given by convolution with that fundamental solution.
    – Shalop
    2 days ago












  • You can solve the equation in Fourier space though I doubt the fundamental solutions will be function-valued, and I also doubt there is an explicit expression for inverting that Fourier transform. then again it could be possible.
    – Shalop
    2 days ago














  • 1




    Basically what you want to do is to find the fundamental solution of the associated second order PDE which is an evolution equation defined by that operator $partial_{xy}$. Then your operator is just given by convolution with that fundamental solution.
    – Shalop
    2 days ago












  • You can solve the equation in Fourier space though I doubt the fundamental solutions will be function-valued, and I also doubt there is an explicit expression for inverting that Fourier transform. then again it could be possible.
    – Shalop
    2 days ago








1




1




Basically what you want to do is to find the fundamental solution of the associated second order PDE which is an evolution equation defined by that operator $partial_{xy}$. Then your operator is just given by convolution with that fundamental solution.
– Shalop
2 days ago






Basically what you want to do is to find the fundamental solution of the associated second order PDE which is an evolution equation defined by that operator $partial_{xy}$. Then your operator is just given by convolution with that fundamental solution.
– Shalop
2 days ago














You can solve the equation in Fourier space though I doubt the fundamental solutions will be function-valued, and I also doubt there is an explicit expression for inverting that Fourier transform. then again it could be possible.
– Shalop
2 days ago




You can solve the equation in Fourier space though I doubt the fundamental solutions will be function-valued, and I also doubt there is an explicit expression for inverting that Fourier transform. then again it could be possible.
– Shalop
2 days ago










1 Answer
1






active

oldest

votes


















1














Expressions like $exp(alpha T),$ where $T$ is some operator and $alpha$ is a constant, are defined by the Maclaurin expansion:
$$
exp(alpha T) = sum_{n=0}^{infty} frac{1}{n!} alpha^n T^n
$$



Therefore,
$$
expleft(alphafrac{partial}{partial x}frac{partial}{partial y}right) f(x,y)
= sum_{n=0}^{infty} frac{1}{n!} alpha^n left( frac{partial}{partial x} frac{partial}{partial y} right)^n f(x,y)
= sum_{n=0}^{infty} frac{1}{n!} alpha^n left( frac{partial}{partial x} right)^n left( frac{partial}{partial y} right)^n f(x,y),
$$

where the last equality is valid since partial derivatives commute if $f$ is smooth.






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',
    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
    });


    }
    });






    Julio Abraham Mendoza Fierro is a new contributor. Be nice, and check out our Code of Conduct.










    draft saved

    draft discarded


















    StackExchange.ready(
    function () {
    StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3052466%2fexponential-of-two-different-derivatives%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









    1














    Expressions like $exp(alpha T),$ where $T$ is some operator and $alpha$ is a constant, are defined by the Maclaurin expansion:
    $$
    exp(alpha T) = sum_{n=0}^{infty} frac{1}{n!} alpha^n T^n
    $$



    Therefore,
    $$
    expleft(alphafrac{partial}{partial x}frac{partial}{partial y}right) f(x,y)
    = sum_{n=0}^{infty} frac{1}{n!} alpha^n left( frac{partial}{partial x} frac{partial}{partial y} right)^n f(x,y)
    = sum_{n=0}^{infty} frac{1}{n!} alpha^n left( frac{partial}{partial x} right)^n left( frac{partial}{partial y} right)^n f(x,y),
    $$

    where the last equality is valid since partial derivatives commute if $f$ is smooth.






    share|cite|improve this answer


























      1














      Expressions like $exp(alpha T),$ where $T$ is some operator and $alpha$ is a constant, are defined by the Maclaurin expansion:
      $$
      exp(alpha T) = sum_{n=0}^{infty} frac{1}{n!} alpha^n T^n
      $$



      Therefore,
      $$
      expleft(alphafrac{partial}{partial x}frac{partial}{partial y}right) f(x,y)
      = sum_{n=0}^{infty} frac{1}{n!} alpha^n left( frac{partial}{partial x} frac{partial}{partial y} right)^n f(x,y)
      = sum_{n=0}^{infty} frac{1}{n!} alpha^n left( frac{partial}{partial x} right)^n left( frac{partial}{partial y} right)^n f(x,y),
      $$

      where the last equality is valid since partial derivatives commute if $f$ is smooth.






      share|cite|improve this answer
























        1












        1








        1






        Expressions like $exp(alpha T),$ where $T$ is some operator and $alpha$ is a constant, are defined by the Maclaurin expansion:
        $$
        exp(alpha T) = sum_{n=0}^{infty} frac{1}{n!} alpha^n T^n
        $$



        Therefore,
        $$
        expleft(alphafrac{partial}{partial x}frac{partial}{partial y}right) f(x,y)
        = sum_{n=0}^{infty} frac{1}{n!} alpha^n left( frac{partial}{partial x} frac{partial}{partial y} right)^n f(x,y)
        = sum_{n=0}^{infty} frac{1}{n!} alpha^n left( frac{partial}{partial x} right)^n left( frac{partial}{partial y} right)^n f(x,y),
        $$

        where the last equality is valid since partial derivatives commute if $f$ is smooth.






        share|cite|improve this answer












        Expressions like $exp(alpha T),$ where $T$ is some operator and $alpha$ is a constant, are defined by the Maclaurin expansion:
        $$
        exp(alpha T) = sum_{n=0}^{infty} frac{1}{n!} alpha^n T^n
        $$



        Therefore,
        $$
        expleft(alphafrac{partial}{partial x}frac{partial}{partial y}right) f(x,y)
        = sum_{n=0}^{infty} frac{1}{n!} alpha^n left( frac{partial}{partial x} frac{partial}{partial y} right)^n f(x,y)
        = sum_{n=0}^{infty} frac{1}{n!} alpha^n left( frac{partial}{partial x} right)^n left( frac{partial}{partial y} right)^n f(x,y),
        $$

        where the last equality is valid since partial derivatives commute if $f$ is smooth.







        share|cite|improve this answer












        share|cite|improve this answer



        share|cite|improve this answer










        answered 2 days ago









        md2perpe

        7,53311027




        7,53311027






















            Julio Abraham Mendoza Fierro is a new contributor. Be nice, and check out our Code of Conduct.










            draft saved

            draft discarded


















            Julio Abraham Mendoza Fierro is a new contributor. Be nice, and check out our Code of Conduct.













            Julio Abraham Mendoza Fierro is a new contributor. Be nice, and check out our Code of Conduct.












            Julio Abraham Mendoza Fierro is a new contributor. Be nice, and check out our Code of Conduct.
















            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.





            Some of your past answers have not been well-received, and you're in danger of being blocked from answering.


            Please pay close attention to the following guidance:


            • 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.


            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%2f3052466%2fexponential-of-two-different-derivatives%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

            Human spaceflight

            Can not write log (Is /dev/pts mounted?) - openpty in Ubuntu-on-Windows?

            File:DeusFollowingSea.jpg