$left{begin{array}{lll} f_{t}+xf_{y}=0\ f|_{t=0}=f_{0}(x,y) end{array}right.$











up vote
0
down vote

favorite












Given $fin C^{1}({bf R}^{3})$ , then find the solution of the following pde :



$$left{begin{array}{lll}
f_{t}+xf_{y}=0\
f|_{t=0}=f_{0}(x,y)
end{array}right.$$



I tried to use the characteristic method to solve this question , but I failed . Any comment or advice I will be grateful .










share|cite|improve this question




























    up vote
    0
    down vote

    favorite












    Given $fin C^{1}({bf R}^{3})$ , then find the solution of the following pde :



    $$left{begin{array}{lll}
    f_{t}+xf_{y}=0\
    f|_{t=0}=f_{0}(x,y)
    end{array}right.$$



    I tried to use the characteristic method to solve this question , but I failed . Any comment or advice I will be grateful .










    share|cite|improve this question


























      up vote
      0
      down vote

      favorite









      up vote
      0
      down vote

      favorite











      Given $fin C^{1}({bf R}^{3})$ , then find the solution of the following pde :



      $$left{begin{array}{lll}
      f_{t}+xf_{y}=0\
      f|_{t=0}=f_{0}(x,y)
      end{array}right.$$



      I tried to use the characteristic method to solve this question , but I failed . Any comment or advice I will be grateful .










      share|cite|improve this question















      Given $fin C^{1}({bf R}^{3})$ , then find the solution of the following pde :



      $$left{begin{array}{lll}
      f_{t}+xf_{y}=0\
      f|_{t=0}=f_{0}(x,y)
      end{array}right.$$



      I tried to use the characteristic method to solve this question , but I failed . Any comment or advice I will be grateful .







      differential-equations analysis pde characteristics






      share|cite|improve this question















      share|cite|improve this question













      share|cite|improve this question




      share|cite|improve this question








      edited May 9 at 9:50









      LutzL

      54.8k42053




      54.8k42053










      asked Feb 3 at 7:18









      user1992

      6961510




      6961510






















          3 Answers
          3






          active

          oldest

          votes

















          up vote
          2
          down vote



          accepted










          $$left{begin{array}{lll} f_{t}+xf_{y}=0\ f|_{t=0}=f_{0}(x,y) end{array}right.$$
          The characteristic ODEs are : $quad frac{dt}{1}=frac{dy}{x}=frac{dx}{0}=frac{df}{0}$



          A first family of characteristic curves comes from : $quad frac{dt}{1}=frac{dy}{x} quadimpliesquad y-xt=c_1$



          A second family of characteristic curves comes from $quadfrac{dx}{0}=$finite$quadimpliesquad x=c_2$



          A third family of characteristic curves comes from $quadfrac{df}{0}=$finite$quadimpliesquad f=c_3$



          Thus, the general solution of the PDE, expressed on the form of implicite equation is :
          $$Phileft(x:,: (t-xt) :,: f right)=0$$
          where $Phi$ is any differentiable function of three variables.
          ( Doesn't matter the order of the variables since the function $Phi$ is arbitrary ).



          Or alternatively, on explicit form :
          $$f(x,y,t)=Fleft(x:,:(y-xt) right)$$
          where $F$ is any differentiable function of two variables.



          CONDITION :



          $f(x,y,0)=f_0(x,y)=Fleft(x:,:(y-0) right) quadimpliesquad Fleft(x:,:y right)=f_0(x,y)$



          Now, the function $F$ is determined. We put it into the above general solution where the second variable is $(y-xt)$. This leads to :
          $$f(x,y,t)=f_0left(x:,:(y-xt) right)$$






          share|cite|improve this answer





















          • Now , I understood . This explaining is clear and sound .
            – user1992
            Feb 3 at 9:50










          • You can solve the first equation in this way only after determining that $x$ is constant, as with $x$ a function the integration $y=int x,dt$ is not trivial.
            – LutzL
            Feb 3 at 10:46










          • On the characteristic we are looking for $x=c_2$. If one prefers, the above first characteristic can be introduced after the second. Doesn't matter the order.
            – JJacquelin
            Feb 3 at 11:38


















          up vote
          2
          down vote













          The method of characteristics should tell you that the characteristic curves
          $$
          t(s),, x(s),,y(s),,z(s)=f(t(s),x(s),y(s))
          $$
          follow the ODE (up to re-parametrization)
          $$
          frac{dt}{ds}=1,, frac{dx}{dt}=0,, frac{dy}{dt}=x,, frac{dz}{ds}=0
          $$
          which has solutions
          $$t=s+t_0,, x=x_0,, y=y_0+x_0s,, z=z_0$$ so that for all $s$ (discounting shocks etc., i.e., in a neighborhood of $s=0$)
          begin{align}
          f(t,x,y)&=z(s)=f(t_0+s,x_0,y_0+x_0s)\
          &=z(0)=f(0,x_0,y_0)=f(0,x,y-xt)\
          &=f_0(x,y-xt).
          end{align}
          where obviously the initial values where chosen to conform to the given boundary condition, that is, $t_0=0$ so that $t=s$, $x_0=x$, $y_0=y-x_0s=y-xt$.






          share|cite|improve this answer























          • Can I ask $t(x)~,x(s),~y(s),~z(s)=f(t(s),x(s),y(s))~$ ,what does it mean ?
            – user1992
            Feb 3 at 8:48










          • This is the parametrization of a characteristic curve of the problem. One needs to distinguish at least the function $z(s)$ from the function $f(t,x,y)$, to be perfectly correct one would also have to use different symbols for the free variables $t,x,y$ and the functions $t(s),x(s),y(s)$, but this kind of "abuse of notation" is usual in this situation.
            – LutzL
            Feb 3 at 10:36


















          up vote
          2
          down vote













          If the PDE was just $f_{t} + f_{y} = 0$, then you would make a travelling wave ansatz $f(x,y,t) = f(y-t)$. As the derivative in $y$ has a non-constant coefficient $x$, it stands to reason that when differentiating our solution with respect to $t$, we should get an $x$ out the front. Hence, we can guess that $$f(x,y,t) = f_{0}(x, y - xt)$$ solves the problem, which you can check by differentiation it does.



          Alternatively, make the guess $f(x,y,t) = g(alpha y + gamma t)$ which, after differentiation, yields



          begin{align}
          f_{t} &= gamma g' \
          f_{y} &= alpha g' \
          therefore f_{t} + x f_{y} &= 0 \
          implies gamma g' + x alpha g' &= 0 \
          implies gamma &= -x, quad alpha = 1 \
          implies f(x,y,t) &= g(y - xt)
          end{align}



          Applying the initial condition yields



          begin{align}
          f(x,y,0) &= g(y) \
          &= f_{0}(x,y) \
          implies f(x,y,t) &= f_{0}(x, y - xt)
          end{align}






          share|cite|improve this answer























          • yes , the function $f_0(y-xt)$ actually works .but I have no ideal that why you guess another function $g(alpha y+gamma t)$ to deduce the solution $f(x,y,t) = g(y-xt)$
            – user1992
            Feb 3 at 8:23










          • When I said alternatively, I meant that instead of using my first line of reasoning ('it stands to reason ...'), you can make an arbitrary wave ansatz and derive the values of $alpha, gamma$ that satisfy the PDE.
            – Mattos
            Feb 3 at 11:39











          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%2f2633829%2fleft-beginarraylll-f-txf-y-0-f-t-0-f-0x-y-endarray-righ%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








          up vote
          2
          down vote



          accepted










          $$left{begin{array}{lll} f_{t}+xf_{y}=0\ f|_{t=0}=f_{0}(x,y) end{array}right.$$
          The characteristic ODEs are : $quad frac{dt}{1}=frac{dy}{x}=frac{dx}{0}=frac{df}{0}$



          A first family of characteristic curves comes from : $quad frac{dt}{1}=frac{dy}{x} quadimpliesquad y-xt=c_1$



          A second family of characteristic curves comes from $quadfrac{dx}{0}=$finite$quadimpliesquad x=c_2$



          A third family of characteristic curves comes from $quadfrac{df}{0}=$finite$quadimpliesquad f=c_3$



          Thus, the general solution of the PDE, expressed on the form of implicite equation is :
          $$Phileft(x:,: (t-xt) :,: f right)=0$$
          where $Phi$ is any differentiable function of three variables.
          ( Doesn't matter the order of the variables since the function $Phi$ is arbitrary ).



          Or alternatively, on explicit form :
          $$f(x,y,t)=Fleft(x:,:(y-xt) right)$$
          where $F$ is any differentiable function of two variables.



          CONDITION :



          $f(x,y,0)=f_0(x,y)=Fleft(x:,:(y-0) right) quadimpliesquad Fleft(x:,:y right)=f_0(x,y)$



          Now, the function $F$ is determined. We put it into the above general solution where the second variable is $(y-xt)$. This leads to :
          $$f(x,y,t)=f_0left(x:,:(y-xt) right)$$






          share|cite|improve this answer





















          • Now , I understood . This explaining is clear and sound .
            – user1992
            Feb 3 at 9:50










          • You can solve the first equation in this way only after determining that $x$ is constant, as with $x$ a function the integration $y=int x,dt$ is not trivial.
            – LutzL
            Feb 3 at 10:46










          • On the characteristic we are looking for $x=c_2$. If one prefers, the above first characteristic can be introduced after the second. Doesn't matter the order.
            – JJacquelin
            Feb 3 at 11:38















          up vote
          2
          down vote



          accepted










          $$left{begin{array}{lll} f_{t}+xf_{y}=0\ f|_{t=0}=f_{0}(x,y) end{array}right.$$
          The characteristic ODEs are : $quad frac{dt}{1}=frac{dy}{x}=frac{dx}{0}=frac{df}{0}$



          A first family of characteristic curves comes from : $quad frac{dt}{1}=frac{dy}{x} quadimpliesquad y-xt=c_1$



          A second family of characteristic curves comes from $quadfrac{dx}{0}=$finite$quadimpliesquad x=c_2$



          A third family of characteristic curves comes from $quadfrac{df}{0}=$finite$quadimpliesquad f=c_3$



          Thus, the general solution of the PDE, expressed on the form of implicite equation is :
          $$Phileft(x:,: (t-xt) :,: f right)=0$$
          where $Phi$ is any differentiable function of three variables.
          ( Doesn't matter the order of the variables since the function $Phi$ is arbitrary ).



          Or alternatively, on explicit form :
          $$f(x,y,t)=Fleft(x:,:(y-xt) right)$$
          where $F$ is any differentiable function of two variables.



          CONDITION :



          $f(x,y,0)=f_0(x,y)=Fleft(x:,:(y-0) right) quadimpliesquad Fleft(x:,:y right)=f_0(x,y)$



          Now, the function $F$ is determined. We put it into the above general solution where the second variable is $(y-xt)$. This leads to :
          $$f(x,y,t)=f_0left(x:,:(y-xt) right)$$






          share|cite|improve this answer





















          • Now , I understood . This explaining is clear and sound .
            – user1992
            Feb 3 at 9:50










          • You can solve the first equation in this way only after determining that $x$ is constant, as with $x$ a function the integration $y=int x,dt$ is not trivial.
            – LutzL
            Feb 3 at 10:46










          • On the characteristic we are looking for $x=c_2$. If one prefers, the above first characteristic can be introduced after the second. Doesn't matter the order.
            – JJacquelin
            Feb 3 at 11:38













          up vote
          2
          down vote



          accepted







          up vote
          2
          down vote



          accepted






          $$left{begin{array}{lll} f_{t}+xf_{y}=0\ f|_{t=0}=f_{0}(x,y) end{array}right.$$
          The characteristic ODEs are : $quad frac{dt}{1}=frac{dy}{x}=frac{dx}{0}=frac{df}{0}$



          A first family of characteristic curves comes from : $quad frac{dt}{1}=frac{dy}{x} quadimpliesquad y-xt=c_1$



          A second family of characteristic curves comes from $quadfrac{dx}{0}=$finite$quadimpliesquad x=c_2$



          A third family of characteristic curves comes from $quadfrac{df}{0}=$finite$quadimpliesquad f=c_3$



          Thus, the general solution of the PDE, expressed on the form of implicite equation is :
          $$Phileft(x:,: (t-xt) :,: f right)=0$$
          where $Phi$ is any differentiable function of three variables.
          ( Doesn't matter the order of the variables since the function $Phi$ is arbitrary ).



          Or alternatively, on explicit form :
          $$f(x,y,t)=Fleft(x:,:(y-xt) right)$$
          where $F$ is any differentiable function of two variables.



          CONDITION :



          $f(x,y,0)=f_0(x,y)=Fleft(x:,:(y-0) right) quadimpliesquad Fleft(x:,:y right)=f_0(x,y)$



          Now, the function $F$ is determined. We put it into the above general solution where the second variable is $(y-xt)$. This leads to :
          $$f(x,y,t)=f_0left(x:,:(y-xt) right)$$






          share|cite|improve this answer












          $$left{begin{array}{lll} f_{t}+xf_{y}=0\ f|_{t=0}=f_{0}(x,y) end{array}right.$$
          The characteristic ODEs are : $quad frac{dt}{1}=frac{dy}{x}=frac{dx}{0}=frac{df}{0}$



          A first family of characteristic curves comes from : $quad frac{dt}{1}=frac{dy}{x} quadimpliesquad y-xt=c_1$



          A second family of characteristic curves comes from $quadfrac{dx}{0}=$finite$quadimpliesquad x=c_2$



          A third family of characteristic curves comes from $quadfrac{df}{0}=$finite$quadimpliesquad f=c_3$



          Thus, the general solution of the PDE, expressed on the form of implicite equation is :
          $$Phileft(x:,: (t-xt) :,: f right)=0$$
          where $Phi$ is any differentiable function of three variables.
          ( Doesn't matter the order of the variables since the function $Phi$ is arbitrary ).



          Or alternatively, on explicit form :
          $$f(x,y,t)=Fleft(x:,:(y-xt) right)$$
          where $F$ is any differentiable function of two variables.



          CONDITION :



          $f(x,y,0)=f_0(x,y)=Fleft(x:,:(y-0) right) quadimpliesquad Fleft(x:,:y right)=f_0(x,y)$



          Now, the function $F$ is determined. We put it into the above general solution where the second variable is $(y-xt)$. This leads to :
          $$f(x,y,t)=f_0left(x:,:(y-xt) right)$$







          share|cite|improve this answer












          share|cite|improve this answer



          share|cite|improve this answer










          answered Feb 3 at 9:41









          JJacquelin

          42.2k21750




          42.2k21750












          • Now , I understood . This explaining is clear and sound .
            – user1992
            Feb 3 at 9:50










          • You can solve the first equation in this way only after determining that $x$ is constant, as with $x$ a function the integration $y=int x,dt$ is not trivial.
            – LutzL
            Feb 3 at 10:46










          • On the characteristic we are looking for $x=c_2$. If one prefers, the above first characteristic can be introduced after the second. Doesn't matter the order.
            – JJacquelin
            Feb 3 at 11:38


















          • Now , I understood . This explaining is clear and sound .
            – user1992
            Feb 3 at 9:50










          • You can solve the first equation in this way only after determining that $x$ is constant, as with $x$ a function the integration $y=int x,dt$ is not trivial.
            – LutzL
            Feb 3 at 10:46










          • On the characteristic we are looking for $x=c_2$. If one prefers, the above first characteristic can be introduced after the second. Doesn't matter the order.
            – JJacquelin
            Feb 3 at 11:38
















          Now , I understood . This explaining is clear and sound .
          – user1992
          Feb 3 at 9:50




          Now , I understood . This explaining is clear and sound .
          – user1992
          Feb 3 at 9:50












          You can solve the first equation in this way only after determining that $x$ is constant, as with $x$ a function the integration $y=int x,dt$ is not trivial.
          – LutzL
          Feb 3 at 10:46




          You can solve the first equation in this way only after determining that $x$ is constant, as with $x$ a function the integration $y=int x,dt$ is not trivial.
          – LutzL
          Feb 3 at 10:46












          On the characteristic we are looking for $x=c_2$. If one prefers, the above first characteristic can be introduced after the second. Doesn't matter the order.
          – JJacquelin
          Feb 3 at 11:38




          On the characteristic we are looking for $x=c_2$. If one prefers, the above first characteristic can be introduced after the second. Doesn't matter the order.
          – JJacquelin
          Feb 3 at 11:38










          up vote
          2
          down vote













          The method of characteristics should tell you that the characteristic curves
          $$
          t(s),, x(s),,y(s),,z(s)=f(t(s),x(s),y(s))
          $$
          follow the ODE (up to re-parametrization)
          $$
          frac{dt}{ds}=1,, frac{dx}{dt}=0,, frac{dy}{dt}=x,, frac{dz}{ds}=0
          $$
          which has solutions
          $$t=s+t_0,, x=x_0,, y=y_0+x_0s,, z=z_0$$ so that for all $s$ (discounting shocks etc., i.e., in a neighborhood of $s=0$)
          begin{align}
          f(t,x,y)&=z(s)=f(t_0+s,x_0,y_0+x_0s)\
          &=z(0)=f(0,x_0,y_0)=f(0,x,y-xt)\
          &=f_0(x,y-xt).
          end{align}
          where obviously the initial values where chosen to conform to the given boundary condition, that is, $t_0=0$ so that $t=s$, $x_0=x$, $y_0=y-x_0s=y-xt$.






          share|cite|improve this answer























          • Can I ask $t(x)~,x(s),~y(s),~z(s)=f(t(s),x(s),y(s))~$ ,what does it mean ?
            – user1992
            Feb 3 at 8:48










          • This is the parametrization of a characteristic curve of the problem. One needs to distinguish at least the function $z(s)$ from the function $f(t,x,y)$, to be perfectly correct one would also have to use different symbols for the free variables $t,x,y$ and the functions $t(s),x(s),y(s)$, but this kind of "abuse of notation" is usual in this situation.
            – LutzL
            Feb 3 at 10:36















          up vote
          2
          down vote













          The method of characteristics should tell you that the characteristic curves
          $$
          t(s),, x(s),,y(s),,z(s)=f(t(s),x(s),y(s))
          $$
          follow the ODE (up to re-parametrization)
          $$
          frac{dt}{ds}=1,, frac{dx}{dt}=0,, frac{dy}{dt}=x,, frac{dz}{ds}=0
          $$
          which has solutions
          $$t=s+t_0,, x=x_0,, y=y_0+x_0s,, z=z_0$$ so that for all $s$ (discounting shocks etc., i.e., in a neighborhood of $s=0$)
          begin{align}
          f(t,x,y)&=z(s)=f(t_0+s,x_0,y_0+x_0s)\
          &=z(0)=f(0,x_0,y_0)=f(0,x,y-xt)\
          &=f_0(x,y-xt).
          end{align}
          where obviously the initial values where chosen to conform to the given boundary condition, that is, $t_0=0$ so that $t=s$, $x_0=x$, $y_0=y-x_0s=y-xt$.






          share|cite|improve this answer























          • Can I ask $t(x)~,x(s),~y(s),~z(s)=f(t(s),x(s),y(s))~$ ,what does it mean ?
            – user1992
            Feb 3 at 8:48










          • This is the parametrization of a characteristic curve of the problem. One needs to distinguish at least the function $z(s)$ from the function $f(t,x,y)$, to be perfectly correct one would also have to use different symbols for the free variables $t,x,y$ and the functions $t(s),x(s),y(s)$, but this kind of "abuse of notation" is usual in this situation.
            – LutzL
            Feb 3 at 10:36













          up vote
          2
          down vote










          up vote
          2
          down vote









          The method of characteristics should tell you that the characteristic curves
          $$
          t(s),, x(s),,y(s),,z(s)=f(t(s),x(s),y(s))
          $$
          follow the ODE (up to re-parametrization)
          $$
          frac{dt}{ds}=1,, frac{dx}{dt}=0,, frac{dy}{dt}=x,, frac{dz}{ds}=0
          $$
          which has solutions
          $$t=s+t_0,, x=x_0,, y=y_0+x_0s,, z=z_0$$ so that for all $s$ (discounting shocks etc., i.e., in a neighborhood of $s=0$)
          begin{align}
          f(t,x,y)&=z(s)=f(t_0+s,x_0,y_0+x_0s)\
          &=z(0)=f(0,x_0,y_0)=f(0,x,y-xt)\
          &=f_0(x,y-xt).
          end{align}
          where obviously the initial values where chosen to conform to the given boundary condition, that is, $t_0=0$ so that $t=s$, $x_0=x$, $y_0=y-x_0s=y-xt$.






          share|cite|improve this answer














          The method of characteristics should tell you that the characteristic curves
          $$
          t(s),, x(s),,y(s),,z(s)=f(t(s),x(s),y(s))
          $$
          follow the ODE (up to re-parametrization)
          $$
          frac{dt}{ds}=1,, frac{dx}{dt}=0,, frac{dy}{dt}=x,, frac{dz}{ds}=0
          $$
          which has solutions
          $$t=s+t_0,, x=x_0,, y=y_0+x_0s,, z=z_0$$ so that for all $s$ (discounting shocks etc., i.e., in a neighborhood of $s=0$)
          begin{align}
          f(t,x,y)&=z(s)=f(t_0+s,x_0,y_0+x_0s)\
          &=z(0)=f(0,x_0,y_0)=f(0,x,y-xt)\
          &=f_0(x,y-xt).
          end{align}
          where obviously the initial values where chosen to conform to the given boundary condition, that is, $t_0=0$ so that $t=s$, $x_0=x$, $y_0=y-x_0s=y-xt$.







          share|cite|improve this answer














          share|cite|improve this answer



          share|cite|improve this answer








          edited Feb 3 at 10:43

























          answered Feb 3 at 8:42









          LutzL

          54.8k42053




          54.8k42053












          • Can I ask $t(x)~,x(s),~y(s),~z(s)=f(t(s),x(s),y(s))~$ ,what does it mean ?
            – user1992
            Feb 3 at 8:48










          • This is the parametrization of a characteristic curve of the problem. One needs to distinguish at least the function $z(s)$ from the function $f(t,x,y)$, to be perfectly correct one would also have to use different symbols for the free variables $t,x,y$ and the functions $t(s),x(s),y(s)$, but this kind of "abuse of notation" is usual in this situation.
            – LutzL
            Feb 3 at 10:36


















          • Can I ask $t(x)~,x(s),~y(s),~z(s)=f(t(s),x(s),y(s))~$ ,what does it mean ?
            – user1992
            Feb 3 at 8:48










          • This is the parametrization of a characteristic curve of the problem. One needs to distinguish at least the function $z(s)$ from the function $f(t,x,y)$, to be perfectly correct one would also have to use different symbols for the free variables $t,x,y$ and the functions $t(s),x(s),y(s)$, but this kind of "abuse of notation" is usual in this situation.
            – LutzL
            Feb 3 at 10:36
















          Can I ask $t(x)~,x(s),~y(s),~z(s)=f(t(s),x(s),y(s))~$ ,what does it mean ?
          – user1992
          Feb 3 at 8:48




          Can I ask $t(x)~,x(s),~y(s),~z(s)=f(t(s),x(s),y(s))~$ ,what does it mean ?
          – user1992
          Feb 3 at 8:48












          This is the parametrization of a characteristic curve of the problem. One needs to distinguish at least the function $z(s)$ from the function $f(t,x,y)$, to be perfectly correct one would also have to use different symbols for the free variables $t,x,y$ and the functions $t(s),x(s),y(s)$, but this kind of "abuse of notation" is usual in this situation.
          – LutzL
          Feb 3 at 10:36




          This is the parametrization of a characteristic curve of the problem. One needs to distinguish at least the function $z(s)$ from the function $f(t,x,y)$, to be perfectly correct one would also have to use different symbols for the free variables $t,x,y$ and the functions $t(s),x(s),y(s)$, but this kind of "abuse of notation" is usual in this situation.
          – LutzL
          Feb 3 at 10:36










          up vote
          2
          down vote













          If the PDE was just $f_{t} + f_{y} = 0$, then you would make a travelling wave ansatz $f(x,y,t) = f(y-t)$. As the derivative in $y$ has a non-constant coefficient $x$, it stands to reason that when differentiating our solution with respect to $t$, we should get an $x$ out the front. Hence, we can guess that $$f(x,y,t) = f_{0}(x, y - xt)$$ solves the problem, which you can check by differentiation it does.



          Alternatively, make the guess $f(x,y,t) = g(alpha y + gamma t)$ which, after differentiation, yields



          begin{align}
          f_{t} &= gamma g' \
          f_{y} &= alpha g' \
          therefore f_{t} + x f_{y} &= 0 \
          implies gamma g' + x alpha g' &= 0 \
          implies gamma &= -x, quad alpha = 1 \
          implies f(x,y,t) &= g(y - xt)
          end{align}



          Applying the initial condition yields



          begin{align}
          f(x,y,0) &= g(y) \
          &= f_{0}(x,y) \
          implies f(x,y,t) &= f_{0}(x, y - xt)
          end{align}






          share|cite|improve this answer























          • yes , the function $f_0(y-xt)$ actually works .but I have no ideal that why you guess another function $g(alpha y+gamma t)$ to deduce the solution $f(x,y,t) = g(y-xt)$
            – user1992
            Feb 3 at 8:23










          • When I said alternatively, I meant that instead of using my first line of reasoning ('it stands to reason ...'), you can make an arbitrary wave ansatz and derive the values of $alpha, gamma$ that satisfy the PDE.
            – Mattos
            Feb 3 at 11:39















          up vote
          2
          down vote













          If the PDE was just $f_{t} + f_{y} = 0$, then you would make a travelling wave ansatz $f(x,y,t) = f(y-t)$. As the derivative in $y$ has a non-constant coefficient $x$, it stands to reason that when differentiating our solution with respect to $t$, we should get an $x$ out the front. Hence, we can guess that $$f(x,y,t) = f_{0}(x, y - xt)$$ solves the problem, which you can check by differentiation it does.



          Alternatively, make the guess $f(x,y,t) = g(alpha y + gamma t)$ which, after differentiation, yields



          begin{align}
          f_{t} &= gamma g' \
          f_{y} &= alpha g' \
          therefore f_{t} + x f_{y} &= 0 \
          implies gamma g' + x alpha g' &= 0 \
          implies gamma &= -x, quad alpha = 1 \
          implies f(x,y,t) &= g(y - xt)
          end{align}



          Applying the initial condition yields



          begin{align}
          f(x,y,0) &= g(y) \
          &= f_{0}(x,y) \
          implies f(x,y,t) &= f_{0}(x, y - xt)
          end{align}






          share|cite|improve this answer























          • yes , the function $f_0(y-xt)$ actually works .but I have no ideal that why you guess another function $g(alpha y+gamma t)$ to deduce the solution $f(x,y,t) = g(y-xt)$
            – user1992
            Feb 3 at 8:23










          • When I said alternatively, I meant that instead of using my first line of reasoning ('it stands to reason ...'), you can make an arbitrary wave ansatz and derive the values of $alpha, gamma$ that satisfy the PDE.
            – Mattos
            Feb 3 at 11:39













          up vote
          2
          down vote










          up vote
          2
          down vote









          If the PDE was just $f_{t} + f_{y} = 0$, then you would make a travelling wave ansatz $f(x,y,t) = f(y-t)$. As the derivative in $y$ has a non-constant coefficient $x$, it stands to reason that when differentiating our solution with respect to $t$, we should get an $x$ out the front. Hence, we can guess that $$f(x,y,t) = f_{0}(x, y - xt)$$ solves the problem, which you can check by differentiation it does.



          Alternatively, make the guess $f(x,y,t) = g(alpha y + gamma t)$ which, after differentiation, yields



          begin{align}
          f_{t} &= gamma g' \
          f_{y} &= alpha g' \
          therefore f_{t} + x f_{y} &= 0 \
          implies gamma g' + x alpha g' &= 0 \
          implies gamma &= -x, quad alpha = 1 \
          implies f(x,y,t) &= g(y - xt)
          end{align}



          Applying the initial condition yields



          begin{align}
          f(x,y,0) &= g(y) \
          &= f_{0}(x,y) \
          implies f(x,y,t) &= f_{0}(x, y - xt)
          end{align}






          share|cite|improve this answer














          If the PDE was just $f_{t} + f_{y} = 0$, then you would make a travelling wave ansatz $f(x,y,t) = f(y-t)$. As the derivative in $y$ has a non-constant coefficient $x$, it stands to reason that when differentiating our solution with respect to $t$, we should get an $x$ out the front. Hence, we can guess that $$f(x,y,t) = f_{0}(x, y - xt)$$ solves the problem, which you can check by differentiation it does.



          Alternatively, make the guess $f(x,y,t) = g(alpha y + gamma t)$ which, after differentiation, yields



          begin{align}
          f_{t} &= gamma g' \
          f_{y} &= alpha g' \
          therefore f_{t} + x f_{y} &= 0 \
          implies gamma g' + x alpha g' &= 0 \
          implies gamma &= -x, quad alpha = 1 \
          implies f(x,y,t) &= g(y - xt)
          end{align}



          Applying the initial condition yields



          begin{align}
          f(x,y,0) &= g(y) \
          &= f_{0}(x,y) \
          implies f(x,y,t) &= f_{0}(x, y - xt)
          end{align}







          share|cite|improve this answer














          share|cite|improve this answer



          share|cite|improve this answer








          edited Nov 26 at 3:17

























          answered Feb 3 at 7:54









          Mattos

          2,73021321




          2,73021321












          • yes , the function $f_0(y-xt)$ actually works .but I have no ideal that why you guess another function $g(alpha y+gamma t)$ to deduce the solution $f(x,y,t) = g(y-xt)$
            – user1992
            Feb 3 at 8:23










          • When I said alternatively, I meant that instead of using my first line of reasoning ('it stands to reason ...'), you can make an arbitrary wave ansatz and derive the values of $alpha, gamma$ that satisfy the PDE.
            – Mattos
            Feb 3 at 11:39


















          • yes , the function $f_0(y-xt)$ actually works .but I have no ideal that why you guess another function $g(alpha y+gamma t)$ to deduce the solution $f(x,y,t) = g(y-xt)$
            – user1992
            Feb 3 at 8:23










          • When I said alternatively, I meant that instead of using my first line of reasoning ('it stands to reason ...'), you can make an arbitrary wave ansatz and derive the values of $alpha, gamma$ that satisfy the PDE.
            – Mattos
            Feb 3 at 11:39
















          yes , the function $f_0(y-xt)$ actually works .but I have no ideal that why you guess another function $g(alpha y+gamma t)$ to deduce the solution $f(x,y,t) = g(y-xt)$
          – user1992
          Feb 3 at 8:23




          yes , the function $f_0(y-xt)$ actually works .but I have no ideal that why you guess another function $g(alpha y+gamma t)$ to deduce the solution $f(x,y,t) = g(y-xt)$
          – user1992
          Feb 3 at 8:23












          When I said alternatively, I meant that instead of using my first line of reasoning ('it stands to reason ...'), you can make an arbitrary wave ansatz and derive the values of $alpha, gamma$ that satisfy the PDE.
          – Mattos
          Feb 3 at 11:39




          When I said alternatively, I meant that instead of using my first line of reasoning ('it stands to reason ...'), you can make an arbitrary wave ansatz and derive the values of $alpha, gamma$ that satisfy the PDE.
          – Mattos
          Feb 3 at 11:39


















          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%2f2633829%2fleft-beginarraylll-f-txf-y-0-f-t-0-f-0x-y-endarray-righ%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

          Wiesbaden

          Marschland

          Dieringhausen