Integral Inequality with L-2 Norm











up vote
1
down vote

favorite












On page 135 of The Mathematical Theory of Finite Element Methods (Brenner and Scott), I encountered the following inequality:



$left | int_{Gamma} overline{v} - v , ds right | leq |Gamma |^{1/2} || overline{v} - v ||_{L^2(Gamma)},$.



The mean $overline{v}$ is defined as



$overline{v} = frac{1}{text{meas}(Omega)} int_{Omega} v(x) , dx ,$



and $Gamma = partial Omega$.



The inequality is part of a proof that the bilinear form for the Poisson equation with Dirichlet boundary conditions is coercive.



My question is: could I replace the $overline{v}-v$ on both sides of the inequality with some (more general) function? If so, what would the restrictions on the function be? I'm not sure where the inequality comes from.










share|cite|improve this question









New contributor




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
























    up vote
    1
    down vote

    favorite












    On page 135 of The Mathematical Theory of Finite Element Methods (Brenner and Scott), I encountered the following inequality:



    $left | int_{Gamma} overline{v} - v , ds right | leq |Gamma |^{1/2} || overline{v} - v ||_{L^2(Gamma)},$.



    The mean $overline{v}$ is defined as



    $overline{v} = frac{1}{text{meas}(Omega)} int_{Omega} v(x) , dx ,$



    and $Gamma = partial Omega$.



    The inequality is part of a proof that the bilinear form for the Poisson equation with Dirichlet boundary conditions is coercive.



    My question is: could I replace the $overline{v}-v$ on both sides of the inequality with some (more general) function? If so, what would the restrictions on the function be? I'm not sure where the inequality comes from.










    share|cite|improve this question









    New contributor




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






















      up vote
      1
      down vote

      favorite









      up vote
      1
      down vote

      favorite











      On page 135 of The Mathematical Theory of Finite Element Methods (Brenner and Scott), I encountered the following inequality:



      $left | int_{Gamma} overline{v} - v , ds right | leq |Gamma |^{1/2} || overline{v} - v ||_{L^2(Gamma)},$.



      The mean $overline{v}$ is defined as



      $overline{v} = frac{1}{text{meas}(Omega)} int_{Omega} v(x) , dx ,$



      and $Gamma = partial Omega$.



      The inequality is part of a proof that the bilinear form for the Poisson equation with Dirichlet boundary conditions is coercive.



      My question is: could I replace the $overline{v}-v$ on both sides of the inequality with some (more general) function? If so, what would the restrictions on the function be? I'm not sure where the inequality comes from.










      share|cite|improve this question









      New contributor




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











      On page 135 of The Mathematical Theory of Finite Element Methods (Brenner and Scott), I encountered the following inequality:



      $left | int_{Gamma} overline{v} - v , ds right | leq |Gamma |^{1/2} || overline{v} - v ||_{L^2(Gamma)},$.



      The mean $overline{v}$ is defined as



      $overline{v} = frac{1}{text{meas}(Omega)} int_{Omega} v(x) , dx ,$



      and $Gamma = partial Omega$.



      The inequality is part of a proof that the bilinear form for the Poisson equation with Dirichlet boundary conditions is coercive.



      My question is: could I replace the $overline{v}-v$ on both sides of the inequality with some (more general) function? If so, what would the restrictions on the function be? I'm not sure where the inequality comes from.







      functional-analysis integral-inequality






      share|cite|improve this question









      New contributor




      rainbowgigi 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




      rainbowgigi 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








      edited yesterday





















      New contributor




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









      asked yesterday









      rainbowgigi

      62




      62




      New contributor




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





      New contributor





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






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






















          1 Answer
          1






          active

          oldest

          votes

















          up vote
          1
          down vote













          This is just Hoelder inequality. Let me denote $w:=bar v -v$. Then
          $$
          |int_Gamma w ds| le int_Gamma |w|cdot 1 ds le |1|_{L^2(Gamma)} |w|_{L^2(Gamma)} = |Gamma|^{1/2}|w|_{L^2(Gamma)}.
          $$

          This works if $win L^2(Gamma)$ and $|Gamma|<+infty$.






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


            }
            });






            rainbowgigi 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%2f2999221%2fintegral-inequality-with-l-2-norm%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













            This is just Hoelder inequality. Let me denote $w:=bar v -v$. Then
            $$
            |int_Gamma w ds| le int_Gamma |w|cdot 1 ds le |1|_{L^2(Gamma)} |w|_{L^2(Gamma)} = |Gamma|^{1/2}|w|_{L^2(Gamma)}.
            $$

            This works if $win L^2(Gamma)$ and $|Gamma|<+infty$.






            share|cite|improve this answer

























              up vote
              1
              down vote













              This is just Hoelder inequality. Let me denote $w:=bar v -v$. Then
              $$
              |int_Gamma w ds| le int_Gamma |w|cdot 1 ds le |1|_{L^2(Gamma)} |w|_{L^2(Gamma)} = |Gamma|^{1/2}|w|_{L^2(Gamma)}.
              $$

              This works if $win L^2(Gamma)$ and $|Gamma|<+infty$.






              share|cite|improve this answer























                up vote
                1
                down vote










                up vote
                1
                down vote









                This is just Hoelder inequality. Let me denote $w:=bar v -v$. Then
                $$
                |int_Gamma w ds| le int_Gamma |w|cdot 1 ds le |1|_{L^2(Gamma)} |w|_{L^2(Gamma)} = |Gamma|^{1/2}|w|_{L^2(Gamma)}.
                $$

                This works if $win L^2(Gamma)$ and $|Gamma|<+infty$.






                share|cite|improve this answer












                This is just Hoelder inequality. Let me denote $w:=bar v -v$. Then
                $$
                |int_Gamma w ds| le int_Gamma |w|cdot 1 ds le |1|_{L^2(Gamma)} |w|_{L^2(Gamma)} = |Gamma|^{1/2}|w|_{L^2(Gamma)}.
                $$

                This works if $win L^2(Gamma)$ and $|Gamma|<+infty$.







                share|cite|improve this answer












                share|cite|improve this answer



                share|cite|improve this answer










                answered yesterday









                daw

                23.6k1544




                23.6k1544






















                    rainbowgigi is a new contributor. Be nice, and check out our Code of Conduct.










                     

                    draft saved


                    draft discarded


















                    rainbowgigi is a new contributor. Be nice, and check out our Code of Conduct.













                    rainbowgigi is a new contributor. Be nice, and check out our Code of Conduct.












                    rainbowgigi 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%2f2999221%2fintegral-inequality-with-l-2-norm%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