$int|f|^alpha|g|^{1-alpha}dmule(int|f|dmu)^alpha(int|g|dmu)^{1-alpha}$











up vote
1
down vote

favorite












$f,g$ on $(Omega, mathcal{A}, mu)$ and $0<alpha<1$.



Then
$$
int|f|^alpha |g|^{1-alpha} dmu
le left(int|f|dmuright)^alpha
left(int|g|dmuright)^{1-alpha}
$$



This seems like some case of Holder's inequality but I haven't found anything about it, is this inequality correct? Does anyone have a link to a proof of this? I would appreciate it! Thanks!










share|cite|improve this question




























    up vote
    1
    down vote

    favorite












    $f,g$ on $(Omega, mathcal{A}, mu)$ and $0<alpha<1$.



    Then
    $$
    int|f|^alpha |g|^{1-alpha} dmu
    le left(int|f|dmuright)^alpha
    left(int|g|dmuright)^{1-alpha}
    $$



    This seems like some case of Holder's inequality but I haven't found anything about it, is this inequality correct? Does anyone have a link to a proof of this? I would appreciate it! Thanks!










    share|cite|improve this question


























      up vote
      1
      down vote

      favorite









      up vote
      1
      down vote

      favorite











      $f,g$ on $(Omega, mathcal{A}, mu)$ and $0<alpha<1$.



      Then
      $$
      int|f|^alpha |g|^{1-alpha} dmu
      le left(int|f|dmuright)^alpha
      left(int|g|dmuright)^{1-alpha}
      $$



      This seems like some case of Holder's inequality but I haven't found anything about it, is this inequality correct? Does anyone have a link to a proof of this? I would appreciate it! Thanks!










      share|cite|improve this question















      $f,g$ on $(Omega, mathcal{A}, mu)$ and $0<alpha<1$.



      Then
      $$
      int|f|^alpha |g|^{1-alpha} dmu
      le left(int|f|dmuright)^alpha
      left(int|g|dmuright)^{1-alpha}
      $$



      This seems like some case of Holder's inequality but I haven't found anything about it, is this inequality correct? Does anyone have a link to a proof of this? I would appreciate it! Thanks!







      probability measure-theory inequality lebesgue-integral






      share|cite|improve this question















      share|cite|improve this question













      share|cite|improve this question




      share|cite|improve this question








      edited Nov 15 at 19:37









      gt6989b

      31.9k22351




      31.9k22351










      asked Nov 15 at 19:34









      user610431

      627




      627






















          1 Answer
          1






          active

          oldest

          votes

















          up vote
          1
          down vote













          The numbers $p = dfrac 1alpha$ and $q = dfrac 1{1-alpha}$ are Holder conjugates, so that $$int |f|^alpha |g|^{1-alpha} le left( int |f|^{alpha frac 1alpha} right)^alpha left(int |g|^{(1-alpha) frac{1}{1-alpha}} right)^{1 - alpha} = left( int |f| right)^alpha left( int |g| right)^{1-alpha}.$$






          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: 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%2f3000190%2fintf-alphag1-alphad-mu-le-intfd-mu-alpha-intgd-mu1-alpha%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








            up vote
            1
            down vote













            The numbers $p = dfrac 1alpha$ and $q = dfrac 1{1-alpha}$ are Holder conjugates, so that $$int |f|^alpha |g|^{1-alpha} le left( int |f|^{alpha frac 1alpha} right)^alpha left(int |g|^{(1-alpha) frac{1}{1-alpha}} right)^{1 - alpha} = left( int |f| right)^alpha left( int |g| right)^{1-alpha}.$$






            share|cite|improve this answer

























              up vote
              1
              down vote













              The numbers $p = dfrac 1alpha$ and $q = dfrac 1{1-alpha}$ are Holder conjugates, so that $$int |f|^alpha |g|^{1-alpha} le left( int |f|^{alpha frac 1alpha} right)^alpha left(int |g|^{(1-alpha) frac{1}{1-alpha}} right)^{1 - alpha} = left( int |f| right)^alpha left( int |g| right)^{1-alpha}.$$






              share|cite|improve this answer























                up vote
                1
                down vote










                up vote
                1
                down vote









                The numbers $p = dfrac 1alpha$ and $q = dfrac 1{1-alpha}$ are Holder conjugates, so that $$int |f|^alpha |g|^{1-alpha} le left( int |f|^{alpha frac 1alpha} right)^alpha left(int |g|^{(1-alpha) frac{1}{1-alpha}} right)^{1 - alpha} = left( int |f| right)^alpha left( int |g| right)^{1-alpha}.$$






                share|cite|improve this answer












                The numbers $p = dfrac 1alpha$ and $q = dfrac 1{1-alpha}$ are Holder conjugates, so that $$int |f|^alpha |g|^{1-alpha} le left( int |f|^{alpha frac 1alpha} right)^alpha left(int |g|^{(1-alpha) frac{1}{1-alpha}} right)^{1 - alpha} = left( int |f| right)^alpha left( int |g| right)^{1-alpha}.$$







                share|cite|improve this answer












                share|cite|improve this answer



                share|cite|improve this answer










                answered Nov 15 at 19:41









                Umberto P.

                37.9k13063




                37.9k13063






























                     

                    draft saved


                    draft discarded



















































                     


                    draft saved


                    draft discarded














                    StackExchange.ready(
                    function () {
                    StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3000190%2fintf-alphag1-alphad-mu-le-intfd-mu-alpha-intgd-mu1-alpha%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

                    Quarter-circle Tiles

                    build a pushdown automaton that recognizes the reverse language of a given pushdown automaton?

                    Mont Emei