Calculus of variations with inverse of derivative composited within?

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











up vote
1
down vote

favorite
1












Suppose $s in S subset mathbbR^+$ with c.d.f. $F(s)$. A real-valued function $beta(s) leq s$ is determined by a first order condition $gamma'(s - beta(s)) = g(F(s)) in mathbbR$, where $gamma$ is a real valued penalty function. I need to find the $gamma$ which
$$
min int_S (s - beta(s))^2 dF(s)
$$
subject to a constraint
$$
int_S gamma (s - beta(s)) dF(s) leq K in mathbbR.
$$
The Lagrangian with the first order condition plugged in, and change of variable, is
$$
mathcalL=int_0^1 [gamma'^-1 (g(x))]^2 + lambda gamma(gamma'^-1(g(x))) dx
$$
I am not looking for an analytical solution, but any guidance about which direction I should look into? I would like to obtain a differential equation about $gamma$ so that I can quantitatively analyze the function $gamma$.







share|cite|improve this question

























    up vote
    1
    down vote

    favorite
    1












    Suppose $s in S subset mathbbR^+$ with c.d.f. $F(s)$. A real-valued function $beta(s) leq s$ is determined by a first order condition $gamma'(s - beta(s)) = g(F(s)) in mathbbR$, where $gamma$ is a real valued penalty function. I need to find the $gamma$ which
    $$
    min int_S (s - beta(s))^2 dF(s)
    $$
    subject to a constraint
    $$
    int_S gamma (s - beta(s)) dF(s) leq K in mathbbR.
    $$
    The Lagrangian with the first order condition plugged in, and change of variable, is
    $$
    mathcalL=int_0^1 [gamma'^-1 (g(x))]^2 + lambda gamma(gamma'^-1(g(x))) dx
    $$
    I am not looking for an analytical solution, but any guidance about which direction I should look into? I would like to obtain a differential equation about $gamma$ so that I can quantitatively analyze the function $gamma$.







    share|cite|improve this question























      up vote
      1
      down vote

      favorite
      1









      up vote
      1
      down vote

      favorite
      1






      1





      Suppose $s in S subset mathbbR^+$ with c.d.f. $F(s)$. A real-valued function $beta(s) leq s$ is determined by a first order condition $gamma'(s - beta(s)) = g(F(s)) in mathbbR$, where $gamma$ is a real valued penalty function. I need to find the $gamma$ which
      $$
      min int_S (s - beta(s))^2 dF(s)
      $$
      subject to a constraint
      $$
      int_S gamma (s - beta(s)) dF(s) leq K in mathbbR.
      $$
      The Lagrangian with the first order condition plugged in, and change of variable, is
      $$
      mathcalL=int_0^1 [gamma'^-1 (g(x))]^2 + lambda gamma(gamma'^-1(g(x))) dx
      $$
      I am not looking for an analytical solution, but any guidance about which direction I should look into? I would like to obtain a differential equation about $gamma$ so that I can quantitatively analyze the function $gamma$.







      share|cite|improve this question













      Suppose $s in S subset mathbbR^+$ with c.d.f. $F(s)$. A real-valued function $beta(s) leq s$ is determined by a first order condition $gamma'(s - beta(s)) = g(F(s)) in mathbbR$, where $gamma$ is a real valued penalty function. I need to find the $gamma$ which
      $$
      min int_S (s - beta(s))^2 dF(s)
      $$
      subject to a constraint
      $$
      int_S gamma (s - beta(s)) dF(s) leq K in mathbbR.
      $$
      The Lagrangian with the first order condition plugged in, and change of variable, is
      $$
      mathcalL=int_0^1 [gamma'^-1 (g(x))]^2 + lambda gamma(gamma'^-1(g(x))) dx
      $$
      I am not looking for an analytical solution, but any guidance about which direction I should look into? I would like to obtain a differential equation about $gamma$ so that I can quantitatively analyze the function $gamma$.









      share|cite|improve this question












      share|cite|improve this question




      share|cite|improve this question








      edited Aug 3 at 22:08
























      asked Aug 3 at 21:19









      Half Hogshead

      84




      84




















          1 Answer
          1






          active

          oldest

          votes

















          up vote
          0
          down vote



          accepted










          I'll start with the final expression for your Langrangian, assuming that $g,gamma, gamma'$ are all invertible functions and well defined in the respective intervals that the compositions define.



          By making the substitution $u=gamma'^-1(g(x))$ the Lagrangian takes the following form:



          $mathcalL=int^gamma'^-1(g(1))_gamma'^-1(g(0))Big(fracgamma''(u)g'(g^-1(gamma'(u)))(lambdagamma(u)+u^2)Big)du$



          which now has the form $mathcalL=intduF(gamma(u),gamma'(u), gamma''(u),u)$ and can be tackled using standard variational techniques. The Euler-Lagrange equation should read:



          $fracd^2du^2(fracpartial Fpartialgamma'')-fracddu(fracpartial Fpartialgamma')+fracpartial Fpartial gamma=0$.






          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%2f2871500%2fcalculus-of-variations-with-inverse-of-derivative-composited-within%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
            0
            down vote



            accepted










            I'll start with the final expression for your Langrangian, assuming that $g,gamma, gamma'$ are all invertible functions and well defined in the respective intervals that the compositions define.



            By making the substitution $u=gamma'^-1(g(x))$ the Lagrangian takes the following form:



            $mathcalL=int^gamma'^-1(g(1))_gamma'^-1(g(0))Big(fracgamma''(u)g'(g^-1(gamma'(u)))(lambdagamma(u)+u^2)Big)du$



            which now has the form $mathcalL=intduF(gamma(u),gamma'(u), gamma''(u),u)$ and can be tackled using standard variational techniques. The Euler-Lagrange equation should read:



            $fracd^2du^2(fracpartial Fpartialgamma'')-fracddu(fracpartial Fpartialgamma')+fracpartial Fpartial gamma=0$.






            share|cite|improve this answer

























              up vote
              0
              down vote



              accepted










              I'll start with the final expression for your Langrangian, assuming that $g,gamma, gamma'$ are all invertible functions and well defined in the respective intervals that the compositions define.



              By making the substitution $u=gamma'^-1(g(x))$ the Lagrangian takes the following form:



              $mathcalL=int^gamma'^-1(g(1))_gamma'^-1(g(0))Big(fracgamma''(u)g'(g^-1(gamma'(u)))(lambdagamma(u)+u^2)Big)du$



              which now has the form $mathcalL=intduF(gamma(u),gamma'(u), gamma''(u),u)$ and can be tackled using standard variational techniques. The Euler-Lagrange equation should read:



              $fracd^2du^2(fracpartial Fpartialgamma'')-fracddu(fracpartial Fpartialgamma')+fracpartial Fpartial gamma=0$.






              share|cite|improve this answer























                up vote
                0
                down vote



                accepted







                up vote
                0
                down vote



                accepted






                I'll start with the final expression for your Langrangian, assuming that $g,gamma, gamma'$ are all invertible functions and well defined in the respective intervals that the compositions define.



                By making the substitution $u=gamma'^-1(g(x))$ the Lagrangian takes the following form:



                $mathcalL=int^gamma'^-1(g(1))_gamma'^-1(g(0))Big(fracgamma''(u)g'(g^-1(gamma'(u)))(lambdagamma(u)+u^2)Big)du$



                which now has the form $mathcalL=intduF(gamma(u),gamma'(u), gamma''(u),u)$ and can be tackled using standard variational techniques. The Euler-Lagrange equation should read:



                $fracd^2du^2(fracpartial Fpartialgamma'')-fracddu(fracpartial Fpartialgamma')+fracpartial Fpartial gamma=0$.






                share|cite|improve this answer













                I'll start with the final expression for your Langrangian, assuming that $g,gamma, gamma'$ are all invertible functions and well defined in the respective intervals that the compositions define.



                By making the substitution $u=gamma'^-1(g(x))$ the Lagrangian takes the following form:



                $mathcalL=int^gamma'^-1(g(1))_gamma'^-1(g(0))Big(fracgamma''(u)g'(g^-1(gamma'(u)))(lambdagamma(u)+u^2)Big)du$



                which now has the form $mathcalL=intduF(gamma(u),gamma'(u), gamma''(u),u)$ and can be tackled using standard variational techniques. The Euler-Lagrange equation should read:



                $fracd^2du^2(fracpartial Fpartialgamma'')-fracddu(fracpartial Fpartialgamma')+fracpartial Fpartial gamma=0$.







                share|cite|improve this answer













                share|cite|improve this answer



                share|cite|improve this answer











                answered Aug 3 at 22:10









                DinosaurEgg

                1214




                1214






















                     

                    draft saved


                    draft discarded


























                     


                    draft saved


                    draft discarded














                    StackExchange.ready(
                    function ()
                    StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2871500%2fcalculus-of-variations-with-inverse-of-derivative-composited-within%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?