How to Solve This PDE and Deal with Boundary Value Using Method of Characteristics. Work Shown.

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











up vote
0
down vote

favorite
1













The function $u(x,y)$ satisfies $u_y + u_x = 0$ in $x > 0$, $y > 0$ together with the initial condition $u(x, 0) = sin(x)$, $x > 0$ and the boundary condition $u(0, y) = sin(y)$, $y > 0$. Determine the values of $u$ in the whole quarter plane $x > 0$, $y > 0$.




My problem is that, although I think I know how to use the initial condition, I don't know how to use the boundary condition?



The characteristic equations are



$$fracdydt = 1, fracdxdt = 1, fracdudt = 0$$



Writing the initial condition parametrically (parameterising $t = 0$ as the initial condition), we get



$$Gamma = Gamma(s) = (x_0(s)), y_0(s), u_0(s)) = (s, 0, sin(s))$$



The curve $Gamma$ is called the initial curve.



$therefore fracpartial y(t, s)partial t = 1, fracpartial x(t, s)partial t = 1, fracpartial u(t, s)partial t = 0$



with initial conditions



$$y = t + C_1(s)$$
$$therefore y(0, s) = C_1(s) = 0$$



$$x = t + C_2(s)$$
$$therefore x(0, s) = C_2(s) = s$$



$$u(0, s) = C_3(s) = sin(s)$$



So our solution is given by



$$x(t, s) = t + s, y(t, s) = t, u(t, s) = sin(s)$$



I'm not sure entirely sure how to do this, and my textbooks don't discuss how to use method of characteristics to solve problems that have initial conditions and boundary values. I would be very grateful for help.







share|cite|improve this question

























    up vote
    0
    down vote

    favorite
    1













    The function $u(x,y)$ satisfies $u_y + u_x = 0$ in $x > 0$, $y > 0$ together with the initial condition $u(x, 0) = sin(x)$, $x > 0$ and the boundary condition $u(0, y) = sin(y)$, $y > 0$. Determine the values of $u$ in the whole quarter plane $x > 0$, $y > 0$.




    My problem is that, although I think I know how to use the initial condition, I don't know how to use the boundary condition?



    The characteristic equations are



    $$fracdydt = 1, fracdxdt = 1, fracdudt = 0$$



    Writing the initial condition parametrically (parameterising $t = 0$ as the initial condition), we get



    $$Gamma = Gamma(s) = (x_0(s)), y_0(s), u_0(s)) = (s, 0, sin(s))$$



    The curve $Gamma$ is called the initial curve.



    $therefore fracpartial y(t, s)partial t = 1, fracpartial x(t, s)partial t = 1, fracpartial u(t, s)partial t = 0$



    with initial conditions



    $$y = t + C_1(s)$$
    $$therefore y(0, s) = C_1(s) = 0$$



    $$x = t + C_2(s)$$
    $$therefore x(0, s) = C_2(s) = s$$



    $$u(0, s) = C_3(s) = sin(s)$$



    So our solution is given by



    $$x(t, s) = t + s, y(t, s) = t, u(t, s) = sin(s)$$



    I'm not sure entirely sure how to do this, and my textbooks don't discuss how to use method of characteristics to solve problems that have initial conditions and boundary values. I would be very grateful for help.







    share|cite|improve this question























      up vote
      0
      down vote

      favorite
      1









      up vote
      0
      down vote

      favorite
      1






      1






      The function $u(x,y)$ satisfies $u_y + u_x = 0$ in $x > 0$, $y > 0$ together with the initial condition $u(x, 0) = sin(x)$, $x > 0$ and the boundary condition $u(0, y) = sin(y)$, $y > 0$. Determine the values of $u$ in the whole quarter plane $x > 0$, $y > 0$.




      My problem is that, although I think I know how to use the initial condition, I don't know how to use the boundary condition?



      The characteristic equations are



      $$fracdydt = 1, fracdxdt = 1, fracdudt = 0$$



      Writing the initial condition parametrically (parameterising $t = 0$ as the initial condition), we get



      $$Gamma = Gamma(s) = (x_0(s)), y_0(s), u_0(s)) = (s, 0, sin(s))$$



      The curve $Gamma$ is called the initial curve.



      $therefore fracpartial y(t, s)partial t = 1, fracpartial x(t, s)partial t = 1, fracpartial u(t, s)partial t = 0$



      with initial conditions



      $$y = t + C_1(s)$$
      $$therefore y(0, s) = C_1(s) = 0$$



      $$x = t + C_2(s)$$
      $$therefore x(0, s) = C_2(s) = s$$



      $$u(0, s) = C_3(s) = sin(s)$$



      So our solution is given by



      $$x(t, s) = t + s, y(t, s) = t, u(t, s) = sin(s)$$



      I'm not sure entirely sure how to do this, and my textbooks don't discuss how to use method of characteristics to solve problems that have initial conditions and boundary values. I would be very grateful for help.







      share|cite|improve this question














      The function $u(x,y)$ satisfies $u_y + u_x = 0$ in $x > 0$, $y > 0$ together with the initial condition $u(x, 0) = sin(x)$, $x > 0$ and the boundary condition $u(0, y) = sin(y)$, $y > 0$. Determine the values of $u$ in the whole quarter plane $x > 0$, $y > 0$.




      My problem is that, although I think I know how to use the initial condition, I don't know how to use the boundary condition?



      The characteristic equations are



      $$fracdydt = 1, fracdxdt = 1, fracdudt = 0$$



      Writing the initial condition parametrically (parameterising $t = 0$ as the initial condition), we get



      $$Gamma = Gamma(s) = (x_0(s)), y_0(s), u_0(s)) = (s, 0, sin(s))$$



      The curve $Gamma$ is called the initial curve.



      $therefore fracpartial y(t, s)partial t = 1, fracpartial x(t, s)partial t = 1, fracpartial u(t, s)partial t = 0$



      with initial conditions



      $$y = t + C_1(s)$$
      $$therefore y(0, s) = C_1(s) = 0$$



      $$x = t + C_2(s)$$
      $$therefore x(0, s) = C_2(s) = s$$



      $$u(0, s) = C_3(s) = sin(s)$$



      So our solution is given by



      $$x(t, s) = t + s, y(t, s) = t, u(t, s) = sin(s)$$



      I'm not sure entirely sure how to do this, and my textbooks don't discuss how to use method of characteristics to solve problems that have initial conditions and boundary values. I would be very grateful for help.









      share|cite|improve this question












      share|cite|improve this question




      share|cite|improve this question








      edited Aug 1 at 22:39
























      asked Aug 1 at 16:27









      handler's handle

      1298




      1298




















          1 Answer
          1






          active

          oldest

          votes

















          up vote
          1
          down vote



          accepted










          The solutions to the PDE $u_x + u_y = 0$ are functions that are constant in the $(1,1)$ direction.



          Recall how you use the initial data $u_0$ to define the solution: for any point $(x,y)$ you follow the characteristic line back to the initial condition at $y=0$ (so the point $(x-y,0)$), and since it was constant along the characteristic, the answer is $u(x,y) = u_0(x-y)$. Since the initial data is defined on $[0,infty)$, can do this for all points $xge y$ i.e. points below or on the line $y=x$.



          Now have a look at this graph of the boundary condition, initial condition and characteristic lines-
          enter image description here



          How would you now define the values of the solution above the $y=x$ line?




          (Full solution.) It seems that you don't have any issue using just the "initial condition", i.e. the points $colorred(x,0): xge 0$. You can also use the "boundary data" i.e. the points $colorblue(0,y): yge 0$ to define the full "initial curve"



          $$ Gamma = colorblue (0,y, u_textbdry(y)) : yge 0 cup colorred (x,0, u_textinit(x)) : xge 0 $$
          You can parameterise this using $sinmathbb R$,
          $$ Gamma(s) =
          begincases
          (s,0, colorredu_textinit(s)) & sin [0,infty) \
          (0,-s, colorblueu_textbdry(-s)) & sin (-infty,0]
          endcases$$
          with a compatability condition $colorredu_textinit(0) = colorblueu_textbdry(0)$.



          Now, we implement the method of characteristics. To find the characteristic curves $(x,y) = (x(t),y(t))$, we solve
          $$ fracddt u(x(t),y(t)) = 0$$
          Of course, $ fracddt u(x(t),y(t)) = u_x(x(t)) x'(t) + u_y(y(t)) y'(t) $ so we just need $x'(t) = y'(t) = 1$. Thus all characteristic curves are given by
          $$ (x(t),y(t)) = (x_0,y_0) + (t,t) , quad tgeq t_0 $$
          where $t_0$ is the time we leave the set $Gamma$. Using the same parameter $s$ as before, we determine $t_0$ using $x_0=x_0(s),y_0=y_0(s)$,
          beginalign sge 0 &implies x_0 = s,y_0 = 0, t_0 = 0 \
          s<0 &implies x_0 = 0, y_0 = -s, t_0 = -sendalign



          and the full solution is $$u(s,t) = u(x(s,t),y(s,t)) = begincases colorredu_textinit(s) & sge 0, tge 0 \ colorblueu_textbdry(-s) & s < 0, t>-s endcases$$



          We have defined the solution on the set $ (s,t) : s in mathbb R, t ge max(-s,0) $, and they are related to $x,y$ by
          $$x = s+t , y=t $$
          So that $s = x-y$,
          and it should be clear that this defines the region $xgeq 0$ and $yge 0$. In particular $colorredx>y>0$ iff $colorreds>0$, and $colorbluey>x>0$ iff $colorblues<0$. Therefore, the answer in the original coordinates is
          $$ u(x,y) = begincases colorredu_textinit(x-y) & 0le yle x \ colorblueu_textbdry(y-x) & 0 le x<yendcases$$




          (Final remark.) There are many different ways to write this down. However, the graph above captures the main idea that has to be expressed by all proofs of this fact. Regardless of whichever proof you learn, my opinion is that you should make sure that your understanding matches the graph.






          share|cite|improve this answer























          • I would say that the values of the solution above the $y = x$ line first intersect the $y$-axis, so I would use the condition $u(0, y) = sin(y)$? I guess, in this case, these would be classified as the "initial condition" for those lines? Not sure if I'm on the right track here.
            – handler's handle
            Aug 1 at 16:52











          • @handler'shandle Yes, exactly. The "boundary condition" is nothing more than an initial condition specified along a different curve.
            – Calvin Khor
            Aug 1 at 16:53







          • 1




            @handler'shandle I have added a full solution.
            – Calvin Khor
            Aug 1 at 20:19






          • 1




            @handler'shandle yes, this is the effect of the term $f$.
            – Calvin Khor
            Aug 2 at 7:15






          • 1




            @handler'shandle you're welcome!
            – Calvin Khor
            Aug 2 at 7:17










          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%2f2869246%2fhow-to-solve-this-pde-and-deal-with-boundary-value-using-method-of-characteristi%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
          1
          down vote



          accepted










          The solutions to the PDE $u_x + u_y = 0$ are functions that are constant in the $(1,1)$ direction.



          Recall how you use the initial data $u_0$ to define the solution: for any point $(x,y)$ you follow the characteristic line back to the initial condition at $y=0$ (so the point $(x-y,0)$), and since it was constant along the characteristic, the answer is $u(x,y) = u_0(x-y)$. Since the initial data is defined on $[0,infty)$, can do this for all points $xge y$ i.e. points below or on the line $y=x$.



          Now have a look at this graph of the boundary condition, initial condition and characteristic lines-
          enter image description here



          How would you now define the values of the solution above the $y=x$ line?




          (Full solution.) It seems that you don't have any issue using just the "initial condition", i.e. the points $colorred(x,0): xge 0$. You can also use the "boundary data" i.e. the points $colorblue(0,y): yge 0$ to define the full "initial curve"



          $$ Gamma = colorblue (0,y, u_textbdry(y)) : yge 0 cup colorred (x,0, u_textinit(x)) : xge 0 $$
          You can parameterise this using $sinmathbb R$,
          $$ Gamma(s) =
          begincases
          (s,0, colorredu_textinit(s)) & sin [0,infty) \
          (0,-s, colorblueu_textbdry(-s)) & sin (-infty,0]
          endcases$$
          with a compatability condition $colorredu_textinit(0) = colorblueu_textbdry(0)$.



          Now, we implement the method of characteristics. To find the characteristic curves $(x,y) = (x(t),y(t))$, we solve
          $$ fracddt u(x(t),y(t)) = 0$$
          Of course, $ fracddt u(x(t),y(t)) = u_x(x(t)) x'(t) + u_y(y(t)) y'(t) $ so we just need $x'(t) = y'(t) = 1$. Thus all characteristic curves are given by
          $$ (x(t),y(t)) = (x_0,y_0) + (t,t) , quad tgeq t_0 $$
          where $t_0$ is the time we leave the set $Gamma$. Using the same parameter $s$ as before, we determine $t_0$ using $x_0=x_0(s),y_0=y_0(s)$,
          beginalign sge 0 &implies x_0 = s,y_0 = 0, t_0 = 0 \
          s<0 &implies x_0 = 0, y_0 = -s, t_0 = -sendalign



          and the full solution is $$u(s,t) = u(x(s,t),y(s,t)) = begincases colorredu_textinit(s) & sge 0, tge 0 \ colorblueu_textbdry(-s) & s < 0, t>-s endcases$$



          We have defined the solution on the set $ (s,t) : s in mathbb R, t ge max(-s,0) $, and they are related to $x,y$ by
          $$x = s+t , y=t $$
          So that $s = x-y$,
          and it should be clear that this defines the region $xgeq 0$ and $yge 0$. In particular $colorredx>y>0$ iff $colorreds>0$, and $colorbluey>x>0$ iff $colorblues<0$. Therefore, the answer in the original coordinates is
          $$ u(x,y) = begincases colorredu_textinit(x-y) & 0le yle x \ colorblueu_textbdry(y-x) & 0 le x<yendcases$$




          (Final remark.) There are many different ways to write this down. However, the graph above captures the main idea that has to be expressed by all proofs of this fact. Regardless of whichever proof you learn, my opinion is that you should make sure that your understanding matches the graph.






          share|cite|improve this answer























          • I would say that the values of the solution above the $y = x$ line first intersect the $y$-axis, so I would use the condition $u(0, y) = sin(y)$? I guess, in this case, these would be classified as the "initial condition" for those lines? Not sure if I'm on the right track here.
            – handler's handle
            Aug 1 at 16:52











          • @handler'shandle Yes, exactly. The "boundary condition" is nothing more than an initial condition specified along a different curve.
            – Calvin Khor
            Aug 1 at 16:53







          • 1




            @handler'shandle I have added a full solution.
            – Calvin Khor
            Aug 1 at 20:19






          • 1




            @handler'shandle yes, this is the effect of the term $f$.
            – Calvin Khor
            Aug 2 at 7:15






          • 1




            @handler'shandle you're welcome!
            – Calvin Khor
            Aug 2 at 7:17














          up vote
          1
          down vote



          accepted










          The solutions to the PDE $u_x + u_y = 0$ are functions that are constant in the $(1,1)$ direction.



          Recall how you use the initial data $u_0$ to define the solution: for any point $(x,y)$ you follow the characteristic line back to the initial condition at $y=0$ (so the point $(x-y,0)$), and since it was constant along the characteristic, the answer is $u(x,y) = u_0(x-y)$. Since the initial data is defined on $[0,infty)$, can do this for all points $xge y$ i.e. points below or on the line $y=x$.



          Now have a look at this graph of the boundary condition, initial condition and characteristic lines-
          enter image description here



          How would you now define the values of the solution above the $y=x$ line?




          (Full solution.) It seems that you don't have any issue using just the "initial condition", i.e. the points $colorred(x,0): xge 0$. You can also use the "boundary data" i.e. the points $colorblue(0,y): yge 0$ to define the full "initial curve"



          $$ Gamma = colorblue (0,y, u_textbdry(y)) : yge 0 cup colorred (x,0, u_textinit(x)) : xge 0 $$
          You can parameterise this using $sinmathbb R$,
          $$ Gamma(s) =
          begincases
          (s,0, colorredu_textinit(s)) & sin [0,infty) \
          (0,-s, colorblueu_textbdry(-s)) & sin (-infty,0]
          endcases$$
          with a compatability condition $colorredu_textinit(0) = colorblueu_textbdry(0)$.



          Now, we implement the method of characteristics. To find the characteristic curves $(x,y) = (x(t),y(t))$, we solve
          $$ fracddt u(x(t),y(t)) = 0$$
          Of course, $ fracddt u(x(t),y(t)) = u_x(x(t)) x'(t) + u_y(y(t)) y'(t) $ so we just need $x'(t) = y'(t) = 1$. Thus all characteristic curves are given by
          $$ (x(t),y(t)) = (x_0,y_0) + (t,t) , quad tgeq t_0 $$
          where $t_0$ is the time we leave the set $Gamma$. Using the same parameter $s$ as before, we determine $t_0$ using $x_0=x_0(s),y_0=y_0(s)$,
          beginalign sge 0 &implies x_0 = s,y_0 = 0, t_0 = 0 \
          s<0 &implies x_0 = 0, y_0 = -s, t_0 = -sendalign



          and the full solution is $$u(s,t) = u(x(s,t),y(s,t)) = begincases colorredu_textinit(s) & sge 0, tge 0 \ colorblueu_textbdry(-s) & s < 0, t>-s endcases$$



          We have defined the solution on the set $ (s,t) : s in mathbb R, t ge max(-s,0) $, and they are related to $x,y$ by
          $$x = s+t , y=t $$
          So that $s = x-y$,
          and it should be clear that this defines the region $xgeq 0$ and $yge 0$. In particular $colorredx>y>0$ iff $colorreds>0$, and $colorbluey>x>0$ iff $colorblues<0$. Therefore, the answer in the original coordinates is
          $$ u(x,y) = begincases colorredu_textinit(x-y) & 0le yle x \ colorblueu_textbdry(y-x) & 0 le x<yendcases$$




          (Final remark.) There are many different ways to write this down. However, the graph above captures the main idea that has to be expressed by all proofs of this fact. Regardless of whichever proof you learn, my opinion is that you should make sure that your understanding matches the graph.






          share|cite|improve this answer























          • I would say that the values of the solution above the $y = x$ line first intersect the $y$-axis, so I would use the condition $u(0, y) = sin(y)$? I guess, in this case, these would be classified as the "initial condition" for those lines? Not sure if I'm on the right track here.
            – handler's handle
            Aug 1 at 16:52











          • @handler'shandle Yes, exactly. The "boundary condition" is nothing more than an initial condition specified along a different curve.
            – Calvin Khor
            Aug 1 at 16:53







          • 1




            @handler'shandle I have added a full solution.
            – Calvin Khor
            Aug 1 at 20:19






          • 1




            @handler'shandle yes, this is the effect of the term $f$.
            – Calvin Khor
            Aug 2 at 7:15






          • 1




            @handler'shandle you're welcome!
            – Calvin Khor
            Aug 2 at 7:17












          up vote
          1
          down vote



          accepted







          up vote
          1
          down vote



          accepted






          The solutions to the PDE $u_x + u_y = 0$ are functions that are constant in the $(1,1)$ direction.



          Recall how you use the initial data $u_0$ to define the solution: for any point $(x,y)$ you follow the characteristic line back to the initial condition at $y=0$ (so the point $(x-y,0)$), and since it was constant along the characteristic, the answer is $u(x,y) = u_0(x-y)$. Since the initial data is defined on $[0,infty)$, can do this for all points $xge y$ i.e. points below or on the line $y=x$.



          Now have a look at this graph of the boundary condition, initial condition and characteristic lines-
          enter image description here



          How would you now define the values of the solution above the $y=x$ line?




          (Full solution.) It seems that you don't have any issue using just the "initial condition", i.e. the points $colorred(x,0): xge 0$. You can also use the "boundary data" i.e. the points $colorblue(0,y): yge 0$ to define the full "initial curve"



          $$ Gamma = colorblue (0,y, u_textbdry(y)) : yge 0 cup colorred (x,0, u_textinit(x)) : xge 0 $$
          You can parameterise this using $sinmathbb R$,
          $$ Gamma(s) =
          begincases
          (s,0, colorredu_textinit(s)) & sin [0,infty) \
          (0,-s, colorblueu_textbdry(-s)) & sin (-infty,0]
          endcases$$
          with a compatability condition $colorredu_textinit(0) = colorblueu_textbdry(0)$.



          Now, we implement the method of characteristics. To find the characteristic curves $(x,y) = (x(t),y(t))$, we solve
          $$ fracddt u(x(t),y(t)) = 0$$
          Of course, $ fracddt u(x(t),y(t)) = u_x(x(t)) x'(t) + u_y(y(t)) y'(t) $ so we just need $x'(t) = y'(t) = 1$. Thus all characteristic curves are given by
          $$ (x(t),y(t)) = (x_0,y_0) + (t,t) , quad tgeq t_0 $$
          where $t_0$ is the time we leave the set $Gamma$. Using the same parameter $s$ as before, we determine $t_0$ using $x_0=x_0(s),y_0=y_0(s)$,
          beginalign sge 0 &implies x_0 = s,y_0 = 0, t_0 = 0 \
          s<0 &implies x_0 = 0, y_0 = -s, t_0 = -sendalign



          and the full solution is $$u(s,t) = u(x(s,t),y(s,t)) = begincases colorredu_textinit(s) & sge 0, tge 0 \ colorblueu_textbdry(-s) & s < 0, t>-s endcases$$



          We have defined the solution on the set $ (s,t) : s in mathbb R, t ge max(-s,0) $, and they are related to $x,y$ by
          $$x = s+t , y=t $$
          So that $s = x-y$,
          and it should be clear that this defines the region $xgeq 0$ and $yge 0$. In particular $colorredx>y>0$ iff $colorreds>0$, and $colorbluey>x>0$ iff $colorblues<0$. Therefore, the answer in the original coordinates is
          $$ u(x,y) = begincases colorredu_textinit(x-y) & 0le yle x \ colorblueu_textbdry(y-x) & 0 le x<yendcases$$




          (Final remark.) There are many different ways to write this down. However, the graph above captures the main idea that has to be expressed by all proofs of this fact. Regardless of whichever proof you learn, my opinion is that you should make sure that your understanding matches the graph.






          share|cite|improve this answer















          The solutions to the PDE $u_x + u_y = 0$ are functions that are constant in the $(1,1)$ direction.



          Recall how you use the initial data $u_0$ to define the solution: for any point $(x,y)$ you follow the characteristic line back to the initial condition at $y=0$ (so the point $(x-y,0)$), and since it was constant along the characteristic, the answer is $u(x,y) = u_0(x-y)$. Since the initial data is defined on $[0,infty)$, can do this for all points $xge y$ i.e. points below or on the line $y=x$.



          Now have a look at this graph of the boundary condition, initial condition and characteristic lines-
          enter image description here



          How would you now define the values of the solution above the $y=x$ line?




          (Full solution.) It seems that you don't have any issue using just the "initial condition", i.e. the points $colorred(x,0): xge 0$. You can also use the "boundary data" i.e. the points $colorblue(0,y): yge 0$ to define the full "initial curve"



          $$ Gamma = colorblue (0,y, u_textbdry(y)) : yge 0 cup colorred (x,0, u_textinit(x)) : xge 0 $$
          You can parameterise this using $sinmathbb R$,
          $$ Gamma(s) =
          begincases
          (s,0, colorredu_textinit(s)) & sin [0,infty) \
          (0,-s, colorblueu_textbdry(-s)) & sin (-infty,0]
          endcases$$
          with a compatability condition $colorredu_textinit(0) = colorblueu_textbdry(0)$.



          Now, we implement the method of characteristics. To find the characteristic curves $(x,y) = (x(t),y(t))$, we solve
          $$ fracddt u(x(t),y(t)) = 0$$
          Of course, $ fracddt u(x(t),y(t)) = u_x(x(t)) x'(t) + u_y(y(t)) y'(t) $ so we just need $x'(t) = y'(t) = 1$. Thus all characteristic curves are given by
          $$ (x(t),y(t)) = (x_0,y_0) + (t,t) , quad tgeq t_0 $$
          where $t_0$ is the time we leave the set $Gamma$. Using the same parameter $s$ as before, we determine $t_0$ using $x_0=x_0(s),y_0=y_0(s)$,
          beginalign sge 0 &implies x_0 = s,y_0 = 0, t_0 = 0 \
          s<0 &implies x_0 = 0, y_0 = -s, t_0 = -sendalign



          and the full solution is $$u(s,t) = u(x(s,t),y(s,t)) = begincases colorredu_textinit(s) & sge 0, tge 0 \ colorblueu_textbdry(-s) & s < 0, t>-s endcases$$



          We have defined the solution on the set $ (s,t) : s in mathbb R, t ge max(-s,0) $, and they are related to $x,y$ by
          $$x = s+t , y=t $$
          So that $s = x-y$,
          and it should be clear that this defines the region $xgeq 0$ and $yge 0$. In particular $colorredx>y>0$ iff $colorreds>0$, and $colorbluey>x>0$ iff $colorblues<0$. Therefore, the answer in the original coordinates is
          $$ u(x,y) = begincases colorredu_textinit(x-y) & 0le yle x \ colorblueu_textbdry(y-x) & 0 le x<yendcases$$




          (Final remark.) There are many different ways to write this down. However, the graph above captures the main idea that has to be expressed by all proofs of this fact. Regardless of whichever proof you learn, my opinion is that you should make sure that your understanding matches the graph.







          share|cite|improve this answer















          share|cite|improve this answer



          share|cite|improve this answer








          edited Aug 1 at 21:04


























          answered Aug 1 at 16:45









          Calvin Khor

          7,93911132




          7,93911132











          • I would say that the values of the solution above the $y = x$ line first intersect the $y$-axis, so I would use the condition $u(0, y) = sin(y)$? I guess, in this case, these would be classified as the "initial condition" for those lines? Not sure if I'm on the right track here.
            – handler's handle
            Aug 1 at 16:52











          • @handler'shandle Yes, exactly. The "boundary condition" is nothing more than an initial condition specified along a different curve.
            – Calvin Khor
            Aug 1 at 16:53







          • 1




            @handler'shandle I have added a full solution.
            – Calvin Khor
            Aug 1 at 20:19






          • 1




            @handler'shandle yes, this is the effect of the term $f$.
            – Calvin Khor
            Aug 2 at 7:15






          • 1




            @handler'shandle you're welcome!
            – Calvin Khor
            Aug 2 at 7:17
















          • I would say that the values of the solution above the $y = x$ line first intersect the $y$-axis, so I would use the condition $u(0, y) = sin(y)$? I guess, in this case, these would be classified as the "initial condition" for those lines? Not sure if I'm on the right track here.
            – handler's handle
            Aug 1 at 16:52











          • @handler'shandle Yes, exactly. The "boundary condition" is nothing more than an initial condition specified along a different curve.
            – Calvin Khor
            Aug 1 at 16:53







          • 1




            @handler'shandle I have added a full solution.
            – Calvin Khor
            Aug 1 at 20:19






          • 1




            @handler'shandle yes, this is the effect of the term $f$.
            – Calvin Khor
            Aug 2 at 7:15






          • 1




            @handler'shandle you're welcome!
            – Calvin Khor
            Aug 2 at 7:17















          I would say that the values of the solution above the $y = x$ line first intersect the $y$-axis, so I would use the condition $u(0, y) = sin(y)$? I guess, in this case, these would be classified as the "initial condition" for those lines? Not sure if I'm on the right track here.
          – handler's handle
          Aug 1 at 16:52





          I would say that the values of the solution above the $y = x$ line first intersect the $y$-axis, so I would use the condition $u(0, y) = sin(y)$? I guess, in this case, these would be classified as the "initial condition" for those lines? Not sure if I'm on the right track here.
          – handler's handle
          Aug 1 at 16:52













          @handler'shandle Yes, exactly. The "boundary condition" is nothing more than an initial condition specified along a different curve.
          – Calvin Khor
          Aug 1 at 16:53





          @handler'shandle Yes, exactly. The "boundary condition" is nothing more than an initial condition specified along a different curve.
          – Calvin Khor
          Aug 1 at 16:53





          1




          1




          @handler'shandle I have added a full solution.
          – Calvin Khor
          Aug 1 at 20:19




          @handler'shandle I have added a full solution.
          – Calvin Khor
          Aug 1 at 20:19




          1




          1




          @handler'shandle yes, this is the effect of the term $f$.
          – Calvin Khor
          Aug 2 at 7:15




          @handler'shandle yes, this is the effect of the term $f$.
          – Calvin Khor
          Aug 2 at 7:15




          1




          1




          @handler'shandle you're welcome!
          – Calvin Khor
          Aug 2 at 7:17




          @handler'shandle you're welcome!
          – Calvin Khor
          Aug 2 at 7:17












           

          draft saved


          draft discarded


























           


          draft saved


          draft discarded














          StackExchange.ready(
          function ()
          StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2869246%2fhow-to-solve-this-pde-and-deal-with-boundary-value-using-method-of-characteristi%23new-answer', 'question_page');

          );

          Post as a guest













































































          Comments

          Popular posts from this blog

          What is the equation of a 3D cone with generalised tilt?

          Color the edges and diagonals of a regular polygon

          Relationship between determinant of matrix and determinant of adjoint?