A coupled problem of elliptic equations.











up vote
0
down vote

favorite
1












Let $Ω$ be an open bounded on class $C^1$. We consider, on $Ω$, the problem with the following limits:



$(P)quad left{ begin{array}{lcc}
-Delta u_1 +alpha u_2=f_1 & text{on } Omega, \
\ -Delta u_2 +beta u_1=f_2 & text{on } Omega, \
\ u_1 =u_2=0 & text{on } partial Omega,
end{array}
right.$



where $alpha,betain L^{infty}(Omega)$ and $f_1,f_2in L^{2}(Omega)$.



We note $H=H_0^1(Omega)times H_0^1(Omega)$. If $uin H$, then $u=(u_1,u_2)$, with $u_1,u_2in H_0^1(Omega)$, and



$||u||^2_{H}=||u_1||^2_{H^1_0(Omega)}+||u_2||^2_{H^1_0(Omega)}$.





  1. Show, for an element $u=(u_1,u_2)∈ H^2(Ω)×H^2(Ω)$, the equivalence between the boundary problem $(P)$ and the variational problem $(P_λ)$, with $λ> 0$:



    $(P_λ)quad left{ begin{array}{lcc}
    uin H \
    \ forall vin H, quad a_{λ}(u,v)=L_{λ}(v),
    end{array} right.$
    ,




where



$a_{λ}(u,v)=int_{Omega}(∇u_1 · ∇v_1 + λ∇u_2 · ∇v_2) dx +int_{Omega}(αu_2v_1 + λβu_1v_2) dx$,



$L_{λ}(v)=int_{Omega}(f_1v_1 +lambda f_2v_2)dx$,



$u=(u_1,u_2), v=(v_1,v_2)in H$




  1. Suppose $λ = 1$. Show that there exists $C> 0$, depending only on
    $Ω$, such that if $|| α + β ||_{infty} ≤ C$, then there is one and only one
    solution $uin H$ of $(P_{lambda})$


I did the variational formulation, but I do not know how I should make the $lambda$ of the $(P)$ problem appear.



And for the part 2. I do not know how to relate the constant $C$ and the $|| α + β ||_{infty} ≤ C$










share|cite|improve this question




























    up vote
    0
    down vote

    favorite
    1












    Let $Ω$ be an open bounded on class $C^1$. We consider, on $Ω$, the problem with the following limits:



    $(P)quad left{ begin{array}{lcc}
    -Delta u_1 +alpha u_2=f_1 & text{on } Omega, \
    \ -Delta u_2 +beta u_1=f_2 & text{on } Omega, \
    \ u_1 =u_2=0 & text{on } partial Omega,
    end{array}
    right.$



    where $alpha,betain L^{infty}(Omega)$ and $f_1,f_2in L^{2}(Omega)$.



    We note $H=H_0^1(Omega)times H_0^1(Omega)$. If $uin H$, then $u=(u_1,u_2)$, with $u_1,u_2in H_0^1(Omega)$, and



    $||u||^2_{H}=||u_1||^2_{H^1_0(Omega)}+||u_2||^2_{H^1_0(Omega)}$.





    1. Show, for an element $u=(u_1,u_2)∈ H^2(Ω)×H^2(Ω)$, the equivalence between the boundary problem $(P)$ and the variational problem $(P_λ)$, with $λ> 0$:



      $(P_λ)quad left{ begin{array}{lcc}
      uin H \
      \ forall vin H, quad a_{λ}(u,v)=L_{λ}(v),
      end{array} right.$
      ,




    where



    $a_{λ}(u,v)=int_{Omega}(∇u_1 · ∇v_1 + λ∇u_2 · ∇v_2) dx +int_{Omega}(αu_2v_1 + λβu_1v_2) dx$,



    $L_{λ}(v)=int_{Omega}(f_1v_1 +lambda f_2v_2)dx$,



    $u=(u_1,u_2), v=(v_1,v_2)in H$




    1. Suppose $λ = 1$. Show that there exists $C> 0$, depending only on
      $Ω$, such that if $|| α + β ||_{infty} ≤ C$, then there is one and only one
      solution $uin H$ of $(P_{lambda})$


    I did the variational formulation, but I do not know how I should make the $lambda$ of the $(P)$ problem appear.



    And for the part 2. I do not know how to relate the constant $C$ and the $|| α + β ||_{infty} ≤ C$










    share|cite|improve this question


























      up vote
      0
      down vote

      favorite
      1









      up vote
      0
      down vote

      favorite
      1






      1





      Let $Ω$ be an open bounded on class $C^1$. We consider, on $Ω$, the problem with the following limits:



      $(P)quad left{ begin{array}{lcc}
      -Delta u_1 +alpha u_2=f_1 & text{on } Omega, \
      \ -Delta u_2 +beta u_1=f_2 & text{on } Omega, \
      \ u_1 =u_2=0 & text{on } partial Omega,
      end{array}
      right.$



      where $alpha,betain L^{infty}(Omega)$ and $f_1,f_2in L^{2}(Omega)$.



      We note $H=H_0^1(Omega)times H_0^1(Omega)$. If $uin H$, then $u=(u_1,u_2)$, with $u_1,u_2in H_0^1(Omega)$, and



      $||u||^2_{H}=||u_1||^2_{H^1_0(Omega)}+||u_2||^2_{H^1_0(Omega)}$.





      1. Show, for an element $u=(u_1,u_2)∈ H^2(Ω)×H^2(Ω)$, the equivalence between the boundary problem $(P)$ and the variational problem $(P_λ)$, with $λ> 0$:



        $(P_λ)quad left{ begin{array}{lcc}
        uin H \
        \ forall vin H, quad a_{λ}(u,v)=L_{λ}(v),
        end{array} right.$
        ,




      where



      $a_{λ}(u,v)=int_{Omega}(∇u_1 · ∇v_1 + λ∇u_2 · ∇v_2) dx +int_{Omega}(αu_2v_1 + λβu_1v_2) dx$,



      $L_{λ}(v)=int_{Omega}(f_1v_1 +lambda f_2v_2)dx$,



      $u=(u_1,u_2), v=(v_1,v_2)in H$




      1. Suppose $λ = 1$. Show that there exists $C> 0$, depending only on
        $Ω$, such that if $|| α + β ||_{infty} ≤ C$, then there is one and only one
        solution $uin H$ of $(P_{lambda})$


      I did the variational formulation, but I do not know how I should make the $lambda$ of the $(P)$ problem appear.



      And for the part 2. I do not know how to relate the constant $C$ and the $|| α + β ||_{infty} ≤ C$










      share|cite|improve this question















      Let $Ω$ be an open bounded on class $C^1$. We consider, on $Ω$, the problem with the following limits:



      $(P)quad left{ begin{array}{lcc}
      -Delta u_1 +alpha u_2=f_1 & text{on } Omega, \
      \ -Delta u_2 +beta u_1=f_2 & text{on } Omega, \
      \ u_1 =u_2=0 & text{on } partial Omega,
      end{array}
      right.$



      where $alpha,betain L^{infty}(Omega)$ and $f_1,f_2in L^{2}(Omega)$.



      We note $H=H_0^1(Omega)times H_0^1(Omega)$. If $uin H$, then $u=(u_1,u_2)$, with $u_1,u_2in H_0^1(Omega)$, and



      $||u||^2_{H}=||u_1||^2_{H^1_0(Omega)}+||u_2||^2_{H^1_0(Omega)}$.





      1. Show, for an element $u=(u_1,u_2)∈ H^2(Ω)×H^2(Ω)$, the equivalence between the boundary problem $(P)$ and the variational problem $(P_λ)$, with $λ> 0$:



        $(P_λ)quad left{ begin{array}{lcc}
        uin H \
        \ forall vin H, quad a_{λ}(u,v)=L_{λ}(v),
        end{array} right.$
        ,




      where



      $a_{λ}(u,v)=int_{Omega}(∇u_1 · ∇v_1 + λ∇u_2 · ∇v_2) dx +int_{Omega}(αu_2v_1 + λβu_1v_2) dx$,



      $L_{λ}(v)=int_{Omega}(f_1v_1 +lambda f_2v_2)dx$,



      $u=(u_1,u_2), v=(v_1,v_2)in H$




      1. Suppose $λ = 1$. Show that there exists $C> 0$, depending only on
        $Ω$, such that if $|| α + β ||_{infty} ≤ C$, then there is one and only one
        solution $uin H$ of $(P_{lambda})$


      I did the variational formulation, but I do not know how I should make the $lambda$ of the $(P)$ problem appear.



      And for the part 2. I do not know how to relate the constant $C$ and the $|| α + β ||_{infty} ≤ C$







      pde elliptic-equations






      share|cite|improve this question















      share|cite|improve this question













      share|cite|improve this question




      share|cite|improve this question








      edited Nov 18 at 12:44

























      asked Nov 17 at 16:34









      VarúAnselmo Sui

      286




      286






















          1 Answer
          1






          active

          oldest

          votes

















          up vote
          1
          down vote



          accepted










          Multiply the first equation $-Delta u_1 +alpha u_2=f_1$ by $v_1$ and the second equation $-Delta u_2 +beta u_1=f_2$ by $lambda v_2$. Take the sum, integrate over $Omega$ and then integrate by parts.






          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%2f3002552%2fa-coupled-problem-of-elliptic-equations%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



            accepted










            Multiply the first equation $-Delta u_1 +alpha u_2=f_1$ by $v_1$ and the second equation $-Delta u_2 +beta u_1=f_2$ by $lambda v_2$. Take the sum, integrate over $Omega$ and then integrate by parts.






            share|cite|improve this answer

























              up vote
              1
              down vote



              accepted










              Multiply the first equation $-Delta u_1 +alpha u_2=f_1$ by $v_1$ and the second equation $-Delta u_2 +beta u_1=f_2$ by $lambda v_2$. Take the sum, integrate over $Omega$ and then integrate by parts.






              share|cite|improve this answer























                up vote
                1
                down vote



                accepted







                up vote
                1
                down vote



                accepted






                Multiply the first equation $-Delta u_1 +alpha u_2=f_1$ by $v_1$ and the second equation $-Delta u_2 +beta u_1=f_2$ by $lambda v_2$. Take the sum, integrate over $Omega$ and then integrate by parts.






                share|cite|improve this answer












                Multiply the first equation $-Delta u_1 +alpha u_2=f_1$ by $v_1$ and the second equation $-Delta u_2 +beta u_1=f_2$ by $lambda v_2$. Take the sum, integrate over $Omega$ and then integrate by parts.







                share|cite|improve this answer












                share|cite|improve this answer



                share|cite|improve this answer










                answered Nov 18 at 1:16









                Gio67

                12.2k1626




                12.2k1626






























                    draft saved

                    draft discarded




















































                    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%2f3002552%2fa-coupled-problem-of-elliptic-equations%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

                    AnyDesk - Fatal Program Failure

                    How to calibrate 16:9 built-in touch-screen to a 4:3 resolution?

                    QoS: MAC-Priority for clients behind a repeater