PDE : $x^2 z_x + y^2 z_y = z(x+y)$First order quasi-linear PDE $zz_x+z_y=1$Solving for PDE $z=z(x,y)$ and...

What does "Scientists rise up against statistical significance" mean? (Comment in Nature)

How can "mimic phobia" be cured or prevented?

Pre-mixing cryogenic fuels and using only one fuel tank

What should you do when eye contact makes your subordinate uncomfortable?

Does the Linux kernel need a file system to run?

On a tidally locked planet, would time be quantized?

When were female captains banned from Starfleet?

Can I visit Japan without a visa?

Multiplicative persistence

Is aluminum electrical wire used on aircraft?

Does an advisor owe his/her student anything? Will an advisor keep a PhD student only out of pity?

How to hide some fields of struct in C?

Is there an injective, monotonically increasing, strictly concave function from the reals, to the reals?

Why did the EU agree to delay the Brexit deadline?

Limits and Infinite Integration by Parts

15% tax on $7.5k earnings. Is that right?

Has any country ever had 2 former presidents in jail simultaneously?

How do you respond to a colleague from another team when they're wrongly expecting that you'll help them?

Terse Method to Swap Lowest for Highest?

What are some good ways to treat frozen vegetables such that they behave like fresh vegetables when stir frying them?

Did arcade monitors have same pixel aspect ratio as TV sets?

Can a stoichiometric mixture of oxygen and methane exist as a liquid at standard pressure and some (low) temperature?

Why "had" in "[something] we would have made had we used [something]"?

Sums of entire surjective functions



PDE : $x^2 z_x + y^2 z_y = z(x+y)$


First order quasi-linear PDE $zz_x+z_y=1$Solving for PDE $z=z(x,y)$ and explain the need to consider separate segments of initial curveSolving : $x^2 z_x + y^2 z_y = 2xy$I.V.P. : $ x^2 z_x + y^2 z_y = z^2 ; ; ; z=1 $ on the initial curve $C : y=2x $IVP $x(y-z) z_x + y(z-x) z_y = z(x-y) ; ; ; z=t $ over the initial Curve : $C : x=t, y = 2t/(t^2-1) ; 0 < t < 1$Existence and uniqueness of PDE IVP : $z z_x + y z_y = x$, $C : x=t, y=t ; ; ; t >0$Existence and uniqueness of PDE IVP : $z z_x + y z_y = x$, $C : x=t, y=t ; ; ; t >0$ and $z=t$ over $C$.Solving the problem : $z z_x + z_y = 0, quad z(x,0) = x^2$PDE IVP : $zz_x + z_y = 0, ; ; z(x,0) = -3x$













4












$begingroup$


Solving the PDE $$x^2 z_x + y^2 z_y = z(x+y)$$



I came across an error in my calculations which I cannot find :



$$frac{mathrm{d}x}{x^2}=frac{mathrm{d}y}{y^2}=frac{mathrm{d}z}{z(x+y)}$$



The first integral curve is given as :



$$frac{mathrm{d}x}{x^2}=frac{mathrm{d}y}{y^2}implies z_1 = frac{1}{x} - frac{1}{y}$$



Now, for the second integral curve, I use the following differential subtraction trick to get rid of the $(x+y)$ term :



$$frac{mathrm{d}x-mathrm{d}y}{x^2-y^2}=frac{mathrm{d}z}{z(x+y)}$$
$$Rightarrow$$
$$frac{mathrm{d}(x-y)}{x-y} = frac{mathrm{d}z}{z}$$
$$implies$$
$$z_2 = frac{z}{x-y}$$



And thus the general solution is :
$$z_2=F(z_1)Rightarrow z(x,y)=(x-y)Fbigg(frac{1}{x}-frac{1}{y}bigg)$$
where $F$ is a $C^1$ function of $x$ and $y$.



Wolfram Alpha though, states that the solution is $z(x,y)=xyF(1/x-1/y$), which means that I have found the integral curve $z_2$ wrong. I cannot find any fault in my calculations though. The correct integral curve should be :
$$z_2 = frac{z}{xy}$$
How would one come to this calculation though ?



I would really appreciate your help










share|cite|improve this question









$endgroup$

















    4












    $begingroup$


    Solving the PDE $$x^2 z_x + y^2 z_y = z(x+y)$$



    I came across an error in my calculations which I cannot find :



    $$frac{mathrm{d}x}{x^2}=frac{mathrm{d}y}{y^2}=frac{mathrm{d}z}{z(x+y)}$$



    The first integral curve is given as :



    $$frac{mathrm{d}x}{x^2}=frac{mathrm{d}y}{y^2}implies z_1 = frac{1}{x} - frac{1}{y}$$



    Now, for the second integral curve, I use the following differential subtraction trick to get rid of the $(x+y)$ term :



    $$frac{mathrm{d}x-mathrm{d}y}{x^2-y^2}=frac{mathrm{d}z}{z(x+y)}$$
    $$Rightarrow$$
    $$frac{mathrm{d}(x-y)}{x-y} = frac{mathrm{d}z}{z}$$
    $$implies$$
    $$z_2 = frac{z}{x-y}$$



    And thus the general solution is :
    $$z_2=F(z_1)Rightarrow z(x,y)=(x-y)Fbigg(frac{1}{x}-frac{1}{y}bigg)$$
    where $F$ is a $C^1$ function of $x$ and $y$.



    Wolfram Alpha though, states that the solution is $z(x,y)=xyF(1/x-1/y$), which means that I have found the integral curve $z_2$ wrong. I cannot find any fault in my calculations though. The correct integral curve should be :
    $$z_2 = frac{z}{xy}$$
    How would one come to this calculation though ?



    I would really appreciate your help










    share|cite|improve this question









    $endgroup$















      4












      4








      4


      1



      $begingroup$


      Solving the PDE $$x^2 z_x + y^2 z_y = z(x+y)$$



      I came across an error in my calculations which I cannot find :



      $$frac{mathrm{d}x}{x^2}=frac{mathrm{d}y}{y^2}=frac{mathrm{d}z}{z(x+y)}$$



      The first integral curve is given as :



      $$frac{mathrm{d}x}{x^2}=frac{mathrm{d}y}{y^2}implies z_1 = frac{1}{x} - frac{1}{y}$$



      Now, for the second integral curve, I use the following differential subtraction trick to get rid of the $(x+y)$ term :



      $$frac{mathrm{d}x-mathrm{d}y}{x^2-y^2}=frac{mathrm{d}z}{z(x+y)}$$
      $$Rightarrow$$
      $$frac{mathrm{d}(x-y)}{x-y} = frac{mathrm{d}z}{z}$$
      $$implies$$
      $$z_2 = frac{z}{x-y}$$



      And thus the general solution is :
      $$z_2=F(z_1)Rightarrow z(x,y)=(x-y)Fbigg(frac{1}{x}-frac{1}{y}bigg)$$
      where $F$ is a $C^1$ function of $x$ and $y$.



      Wolfram Alpha though, states that the solution is $z(x,y)=xyF(1/x-1/y$), which means that I have found the integral curve $z_2$ wrong. I cannot find any fault in my calculations though. The correct integral curve should be :
      $$z_2 = frac{z}{xy}$$
      How would one come to this calculation though ?



      I would really appreciate your help










      share|cite|improve this question









      $endgroup$




      Solving the PDE $$x^2 z_x + y^2 z_y = z(x+y)$$



      I came across an error in my calculations which I cannot find :



      $$frac{mathrm{d}x}{x^2}=frac{mathrm{d}y}{y^2}=frac{mathrm{d}z}{z(x+y)}$$



      The first integral curve is given as :



      $$frac{mathrm{d}x}{x^2}=frac{mathrm{d}y}{y^2}implies z_1 = frac{1}{x} - frac{1}{y}$$



      Now, for the second integral curve, I use the following differential subtraction trick to get rid of the $(x+y)$ term :



      $$frac{mathrm{d}x-mathrm{d}y}{x^2-y^2}=frac{mathrm{d}z}{z(x+y)}$$
      $$Rightarrow$$
      $$frac{mathrm{d}(x-y)}{x-y} = frac{mathrm{d}z}{z}$$
      $$implies$$
      $$z_2 = frac{z}{x-y}$$



      And thus the general solution is :
      $$z_2=F(z_1)Rightarrow z(x,y)=(x-y)Fbigg(frac{1}{x}-frac{1}{y}bigg)$$
      where $F$ is a $C^1$ function of $x$ and $y$.



      Wolfram Alpha though, states that the solution is $z(x,y)=xyF(1/x-1/y$), which means that I have found the integral curve $z_2$ wrong. I cannot find any fault in my calculations though. The correct integral curve should be :
      $$z_2 = frac{z}{xy}$$
      How would one come to this calculation though ?



      I would really appreciate your help







      integration ordinary-differential-equations multivariable-calculus pde






      share|cite|improve this question













      share|cite|improve this question











      share|cite|improve this question




      share|cite|improve this question










      asked Jun 1 '18 at 10:48









      RebellosRebellos

      15.4k31250




      15.4k31250






















          3 Answers
          3






          active

          oldest

          votes


















          2












          $begingroup$

          From



          $$
          frac{1}{x}-frac{1}{y}=C_1 Rightarrow y-x=C_1 x y
          $$



          From



          $$
          frac{dy-dx}{y-x}=frac{dz}{z}Rightarrow y-x = C_2 z
          $$



          hence



          $$
          C_2 z = C_1 x y Rightarrow C_4 = frac{z}{x y}
          $$






          share|cite|improve this answer









          $endgroup$













          • $begingroup$
            So essentially both solutions are correct ?
            $endgroup$
            – Rebellos
            Jun 1 '18 at 11:14






          • 2




            $begingroup$
            Yes. They are equivalent.
            $endgroup$
            – Cesareo
            Jun 1 '18 at 11:16



















          1












          $begingroup$

          Some algebra helps too:



          $(x-y)Fbigg(dfrac{1}{x}-dfrac{1}{y}bigg)=xyleft(dfrac{x-y}{xy}right)Fbigg(dfrac{1}{x}-dfrac{1}{y}bigg)=xyleft(dfrac{1}{y}-dfrac{1}{x}right)Fbigg(dfrac{1}{x}-dfrac{1}{y}bigg)=xyGleft(dfrac{1}{x}-dfrac{1}{y}right)$



          with $Gleft(dfrac{1}{x}-dfrac{1}{y}right)=-left(dfrac{1}{x}-dfrac{1}{y}right)Fbigg(dfrac{1}{x}-dfrac{1}{y}bigg)$



          So, they are essentialy the same.






          share|cite|improve this answer











          $endgroup$





















            0












            $begingroup$

            $$dt =frac{mathrm{d}x}{x^2}=frac{mathrm{d}y}{y^2}=frac{mathrm{d}z}{z(x+y)}$$
            is equivalent to
            $$ dt =frac{zy dx + zx dy - xy dz }{0 },$$



            hence the numerator is constant, which only depends on $C_1 = frac{ 1}{x } - frac{ 1}{ y}. $



            This implies by integrating each side
            $$F(C_1) = zyx + zxy - xyz = zxy,$$
            Thus,
            $$z = frac{F(frac{ 1}{x } - frac{ 1}{ y}) }{ xy} .$$






            share|cite|improve this answer









            $endgroup$













              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',
              autoActivateHeartbeat: false,
              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%2f2804186%2fpde-x2-z-x-y2-z-y-zxy%23new-answer', 'question_page');
              }
              );

              Post as a guest















              Required, but never shown

























              3 Answers
              3






              active

              oldest

              votes








              3 Answers
              3






              active

              oldest

              votes









              active

              oldest

              votes






              active

              oldest

              votes









              2












              $begingroup$

              From



              $$
              frac{1}{x}-frac{1}{y}=C_1 Rightarrow y-x=C_1 x y
              $$



              From



              $$
              frac{dy-dx}{y-x}=frac{dz}{z}Rightarrow y-x = C_2 z
              $$



              hence



              $$
              C_2 z = C_1 x y Rightarrow C_4 = frac{z}{x y}
              $$






              share|cite|improve this answer









              $endgroup$













              • $begingroup$
                So essentially both solutions are correct ?
                $endgroup$
                – Rebellos
                Jun 1 '18 at 11:14






              • 2




                $begingroup$
                Yes. They are equivalent.
                $endgroup$
                – Cesareo
                Jun 1 '18 at 11:16
















              2












              $begingroup$

              From



              $$
              frac{1}{x}-frac{1}{y}=C_1 Rightarrow y-x=C_1 x y
              $$



              From



              $$
              frac{dy-dx}{y-x}=frac{dz}{z}Rightarrow y-x = C_2 z
              $$



              hence



              $$
              C_2 z = C_1 x y Rightarrow C_4 = frac{z}{x y}
              $$






              share|cite|improve this answer









              $endgroup$













              • $begingroup$
                So essentially both solutions are correct ?
                $endgroup$
                – Rebellos
                Jun 1 '18 at 11:14






              • 2




                $begingroup$
                Yes. They are equivalent.
                $endgroup$
                – Cesareo
                Jun 1 '18 at 11:16














              2












              2








              2





              $begingroup$

              From



              $$
              frac{1}{x}-frac{1}{y}=C_1 Rightarrow y-x=C_1 x y
              $$



              From



              $$
              frac{dy-dx}{y-x}=frac{dz}{z}Rightarrow y-x = C_2 z
              $$



              hence



              $$
              C_2 z = C_1 x y Rightarrow C_4 = frac{z}{x y}
              $$






              share|cite|improve this answer









              $endgroup$



              From



              $$
              frac{1}{x}-frac{1}{y}=C_1 Rightarrow y-x=C_1 x y
              $$



              From



              $$
              frac{dy-dx}{y-x}=frac{dz}{z}Rightarrow y-x = C_2 z
              $$



              hence



              $$
              C_2 z = C_1 x y Rightarrow C_4 = frac{z}{x y}
              $$







              share|cite|improve this answer












              share|cite|improve this answer



              share|cite|improve this answer










              answered Jun 1 '18 at 11:13









              CesareoCesareo

              9,4713517




              9,4713517












              • $begingroup$
                So essentially both solutions are correct ?
                $endgroup$
                – Rebellos
                Jun 1 '18 at 11:14






              • 2




                $begingroup$
                Yes. They are equivalent.
                $endgroup$
                – Cesareo
                Jun 1 '18 at 11:16


















              • $begingroup$
                So essentially both solutions are correct ?
                $endgroup$
                – Rebellos
                Jun 1 '18 at 11:14






              • 2




                $begingroup$
                Yes. They are equivalent.
                $endgroup$
                – Cesareo
                Jun 1 '18 at 11:16
















              $begingroup$
              So essentially both solutions are correct ?
              $endgroup$
              – Rebellos
              Jun 1 '18 at 11:14




              $begingroup$
              So essentially both solutions are correct ?
              $endgroup$
              – Rebellos
              Jun 1 '18 at 11:14




              2




              2




              $begingroup$
              Yes. They are equivalent.
              $endgroup$
              – Cesareo
              Jun 1 '18 at 11:16




              $begingroup$
              Yes. They are equivalent.
              $endgroup$
              – Cesareo
              Jun 1 '18 at 11:16











              1












              $begingroup$

              Some algebra helps too:



              $(x-y)Fbigg(dfrac{1}{x}-dfrac{1}{y}bigg)=xyleft(dfrac{x-y}{xy}right)Fbigg(dfrac{1}{x}-dfrac{1}{y}bigg)=xyleft(dfrac{1}{y}-dfrac{1}{x}right)Fbigg(dfrac{1}{x}-dfrac{1}{y}bigg)=xyGleft(dfrac{1}{x}-dfrac{1}{y}right)$



              with $Gleft(dfrac{1}{x}-dfrac{1}{y}right)=-left(dfrac{1}{x}-dfrac{1}{y}right)Fbigg(dfrac{1}{x}-dfrac{1}{y}bigg)$



              So, they are essentialy the same.






              share|cite|improve this answer











              $endgroup$


















                1












                $begingroup$

                Some algebra helps too:



                $(x-y)Fbigg(dfrac{1}{x}-dfrac{1}{y}bigg)=xyleft(dfrac{x-y}{xy}right)Fbigg(dfrac{1}{x}-dfrac{1}{y}bigg)=xyleft(dfrac{1}{y}-dfrac{1}{x}right)Fbigg(dfrac{1}{x}-dfrac{1}{y}bigg)=xyGleft(dfrac{1}{x}-dfrac{1}{y}right)$



                with $Gleft(dfrac{1}{x}-dfrac{1}{y}right)=-left(dfrac{1}{x}-dfrac{1}{y}right)Fbigg(dfrac{1}{x}-dfrac{1}{y}bigg)$



                So, they are essentialy the same.






                share|cite|improve this answer











                $endgroup$
















                  1












                  1








                  1





                  $begingroup$

                  Some algebra helps too:



                  $(x-y)Fbigg(dfrac{1}{x}-dfrac{1}{y}bigg)=xyleft(dfrac{x-y}{xy}right)Fbigg(dfrac{1}{x}-dfrac{1}{y}bigg)=xyleft(dfrac{1}{y}-dfrac{1}{x}right)Fbigg(dfrac{1}{x}-dfrac{1}{y}bigg)=xyGleft(dfrac{1}{x}-dfrac{1}{y}right)$



                  with $Gleft(dfrac{1}{x}-dfrac{1}{y}right)=-left(dfrac{1}{x}-dfrac{1}{y}right)Fbigg(dfrac{1}{x}-dfrac{1}{y}bigg)$



                  So, they are essentialy the same.






                  share|cite|improve this answer











                  $endgroup$



                  Some algebra helps too:



                  $(x-y)Fbigg(dfrac{1}{x}-dfrac{1}{y}bigg)=xyleft(dfrac{x-y}{xy}right)Fbigg(dfrac{1}{x}-dfrac{1}{y}bigg)=xyleft(dfrac{1}{y}-dfrac{1}{x}right)Fbigg(dfrac{1}{x}-dfrac{1}{y}bigg)=xyGleft(dfrac{1}{x}-dfrac{1}{y}right)$



                  with $Gleft(dfrac{1}{x}-dfrac{1}{y}right)=-left(dfrac{1}{x}-dfrac{1}{y}right)Fbigg(dfrac{1}{x}-dfrac{1}{y}bigg)$



                  So, they are essentialy the same.







                  share|cite|improve this answer














                  share|cite|improve this answer



                  share|cite|improve this answer








                  edited Jun 2 '18 at 12:10

























                  answered Jun 2 '18 at 12:05









                  Rafa BudríaRafa Budría

                  5,9101825




                  5,9101825























                      0












                      $begingroup$

                      $$dt =frac{mathrm{d}x}{x^2}=frac{mathrm{d}y}{y^2}=frac{mathrm{d}z}{z(x+y)}$$
                      is equivalent to
                      $$ dt =frac{zy dx + zx dy - xy dz }{0 },$$



                      hence the numerator is constant, which only depends on $C_1 = frac{ 1}{x } - frac{ 1}{ y}. $



                      This implies by integrating each side
                      $$F(C_1) = zyx + zxy - xyz = zxy,$$
                      Thus,
                      $$z = frac{F(frac{ 1}{x } - frac{ 1}{ y}) }{ xy} .$$






                      share|cite|improve this answer









                      $endgroup$


















                        0












                        $begingroup$

                        $$dt =frac{mathrm{d}x}{x^2}=frac{mathrm{d}y}{y^2}=frac{mathrm{d}z}{z(x+y)}$$
                        is equivalent to
                        $$ dt =frac{zy dx + zx dy - xy dz }{0 },$$



                        hence the numerator is constant, which only depends on $C_1 = frac{ 1}{x } - frac{ 1}{ y}. $



                        This implies by integrating each side
                        $$F(C_1) = zyx + zxy - xyz = zxy,$$
                        Thus,
                        $$z = frac{F(frac{ 1}{x } - frac{ 1}{ y}) }{ xy} .$$






                        share|cite|improve this answer









                        $endgroup$
















                          0












                          0








                          0





                          $begingroup$

                          $$dt =frac{mathrm{d}x}{x^2}=frac{mathrm{d}y}{y^2}=frac{mathrm{d}z}{z(x+y)}$$
                          is equivalent to
                          $$ dt =frac{zy dx + zx dy - xy dz }{0 },$$



                          hence the numerator is constant, which only depends on $C_1 = frac{ 1}{x } - frac{ 1}{ y}. $



                          This implies by integrating each side
                          $$F(C_1) = zyx + zxy - xyz = zxy,$$
                          Thus,
                          $$z = frac{F(frac{ 1}{x } - frac{ 1}{ y}) }{ xy} .$$






                          share|cite|improve this answer









                          $endgroup$



                          $$dt =frac{mathrm{d}x}{x^2}=frac{mathrm{d}y}{y^2}=frac{mathrm{d}z}{z(x+y)}$$
                          is equivalent to
                          $$ dt =frac{zy dx + zx dy - xy dz }{0 },$$



                          hence the numerator is constant, which only depends on $C_1 = frac{ 1}{x } - frac{ 1}{ y}. $



                          This implies by integrating each side
                          $$F(C_1) = zyx + zxy - xyz = zxy,$$
                          Thus,
                          $$z = frac{F(frac{ 1}{x } - frac{ 1}{ y}) }{ xy} .$$







                          share|cite|improve this answer












                          share|cite|improve this answer



                          share|cite|improve this answer










                          answered Mar 13 at 15:15









                          onurcanbektasonurcanbektas

                          3,48911037




                          3,48911037






























                              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.




                              draft saved


                              draft discarded














                              StackExchange.ready(
                              function () {
                              StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2804186%2fpde-x2-z-x-y2-z-y-zxy%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

                              Nidaros erkebispedøme

                              Birsay

                              Where did Arya get these scars? Unicorn Meta Zoo #1: Why another podcast? Announcing the arrival of Valued Associate #679: Cesar Manara Favourite questions and answers from the 1st quarter of 2019Why did Arya refuse to end it?Has the pronunciation of Arya Stark's name changed?Has Arya forgiven people?Why did Arya Stark lose her vision?Why can Arya still use the faces?Has the Narrow Sea become narrower?Does Arya Stark know how to make poisons outside of the House of Black and White?Why did Nymeria leave Arya?Why did Arya not kill the Lannister soldiers she encountered in the Riverlands?What is the current canonical age of Sansa, Bran and Arya Stark?