Inhomogenous nonlinear transport equation $u_t+uu_x = -Du$












2












$begingroup$


We have the following setup: $$u_t+uu_x = -Du \ u(x,0)=sin x.$$ The question is to find the time $T_s$ of a first shock formation. So basically, I need to solve the equation using method of characteristics and go from there.



But when I solve the corresponding quasilinear equation,I am getting the implicit solution $$u(x,t) = dfrac{sin(x-tu)}{1+Dt}$$ which does not seem right.



Can anybody provide a solution using the method of characterisics so I can pinpoint where my mistake is?










share|cite|improve this question











$endgroup$

















    2












    $begingroup$


    We have the following setup: $$u_t+uu_x = -Du \ u(x,0)=sin x.$$ The question is to find the time $T_s$ of a first shock formation. So basically, I need to solve the equation using method of characteristics and go from there.



    But when I solve the corresponding quasilinear equation,I am getting the implicit solution $$u(x,t) = dfrac{sin(x-tu)}{1+Dt}$$ which does not seem right.



    Can anybody provide a solution using the method of characterisics so I can pinpoint where my mistake is?










    share|cite|improve this question











    $endgroup$















      2












      2








      2


      1



      $begingroup$


      We have the following setup: $$u_t+uu_x = -Du \ u(x,0)=sin x.$$ The question is to find the time $T_s$ of a first shock formation. So basically, I need to solve the equation using method of characteristics and go from there.



      But when I solve the corresponding quasilinear equation,I am getting the implicit solution $$u(x,t) = dfrac{sin(x-tu)}{1+Dt}$$ which does not seem right.



      Can anybody provide a solution using the method of characterisics so I can pinpoint where my mistake is?










      share|cite|improve this question











      $endgroup$




      We have the following setup: $$u_t+uu_x = -Du \ u(x,0)=sin x.$$ The question is to find the time $T_s$ of a first shock formation. So basically, I need to solve the equation using method of characteristics and go from there.



      But when I solve the corresponding quasilinear equation,I am getting the implicit solution $$u(x,t) = dfrac{sin(x-tu)}{1+Dt}$$ which does not seem right.



      Can anybody provide a solution using the method of characterisics so I can pinpoint where my mistake is?







      pde characteristics transport-equation






      share|cite|improve this question















      share|cite|improve this question













      share|cite|improve this question




      share|cite|improve this question








      edited Dec 6 '18 at 11:53









      Harry49

      6,17331132




      6,17331132










      asked Aug 23 '17 at 21:18









      dezdichadodezdichado

      6,3711929




      6,3711929






















          2 Answers
          2






          active

          oldest

          votes


















          2












          $begingroup$

          First, it should be clearly stated what $D$ is here. Many times it represents a differential operator, but here I assume it is meant to be an arbitrary constant. I'll rewrite the equation with $q = u_x, p = u_t, z = u,$ so that $F(p,q,z) = 0,$
          $$p - zq + Dz = 0.$$
          Next, apply the method of characteristics, where only the $z, x$ characteristics are needed since its not fully nonlinear.



          begin{align}
          frac{dz}{dt} &= q partial_q F + p partial_p F = p -zq = -Dz; ;; z(x_0,0) = sin(x_0)\
          frac{dx}{dt} &= partial_q F = -z; ;; x(t = 0) = x_0.
          end{align}
          Solving these gives us our solution,
          begin{align}
          z(x_0,t) &= sin(x_0)e^{-Dt}\
          x &= frac{sin{(x_0)}(e^{-Dt} - 1) + Dx_0}{D}
          end{align}
          Now if we could solve the latter equation for $x_0 = x_0(x,t),$ we could plug this back into the equation for $z(x_0,t)$ to get $u(x,t)$ explicitly.



          If I wanted to show a finite time blow up, I'd formally take the $x$ derivative of $z(x_0,t),$
          begin{align}
          frac{dz}{dx} &= cos{(x_0)}e^{-Dt}frac{dx_0}{dx} = cos{(x_0)}e^{-Dt} frac{1}{frac{dx}{dx_0}}\
          &= frac{Dcos{(x_0)}e^{-Dt}}{cos{(x_0)}(e^{-Dt} - 1) + D}\
          &= frac{De^{-Dt}}{e^{-Dt} + frac{D}{cos{(x_0)}}-1}\
          end{align}
          Perhaps I have errored, but this gradient only blows up if $e^{-Dt} = frac{D}{cos{x_0}} - 1,$ at some $t.$ Therefore, we need $D leq 2$ for this to happen at all.



          I am a little surprised about this, that the RHS forcing term changes this answer from the normal result, i.e. blow up when $t = frac{-1}{cos{(x_0)}}.$






          share|cite|improve this answer









          $endgroup$













          • $begingroup$
            Thanks, it looks promising and I will look into it in detail.
            $endgroup$
            – dezdichado
            Aug 24 '17 at 19:16










          • $begingroup$
            @dezdichado There is a sign mistake in the expression of the characteristic curves $x=dots$ here (see my answer). This explains the inconsistency pointed out by the answerer.
            $endgroup$
            – Harry49
            Aug 31 '18 at 11:27



















          1












          $begingroup$

          This (dissipative) Burgers' equation with relaxation is a typical example of conditional shock formation. The method of characteristics gives





          • $frac{text d t}{text d s} = 1$. Letting $t(0) = 0$, we have $t=s$.


          • $frac{text d u}{text d s} = -Du$. Letting $u(0) = sin x_0$, we have $u = sin (x_0), e^{-Ds}$.


          • $frac{text d x}{text d s} = u$. Letting $x(0) = x_0$, we have $x = -frac{1}{D} sin(x_0)(e^{-Ds}-1) + x_0$.


          This is sometimes written in implicit form as $$u = sinleft(x - frac{e^{Dt}-1}{D} uright) e^{-Dt}, .$$
          Now, let us compute the breaking time. Differentiating $x$ w.r.t. $x_0$ , we have $frac{text d x}{text d x_0} = -frac{1}{D} cos(x_0)(e^{-Dt}-1) + 1$. This quantity vanishes at $t = frac{1}{D}lnleft(frac{cos x_0}{D + cos x_0}right)$, where characteristics intersect. The smallest such positive time corresponds to the breaking time $T_s$, i.e.
          $$
          T_s = frac{1}{D}lnleft(frac{1}{1-D}right) ,quad text{if}quad D < 1 , .
          $$

          Otherwise, if $Dgeqslant 1$, no shock occurs.



          Alternatively, one can follow the method leading to Eq. (6.10) p. 36 of (1). Differentiating the PDE with respect to $x$ gives
          $$
          u_{tx} + (u_x)^2 + u u_{xx} = -Du_x , .
          $$

          Now, we introduce $q = u_x$ and the directional derivative $q' = q_t + u q_x$, so that the previous equation rewrites as
          $q' + q^2 = -D q$.
          This Bernoulli differential equation has the solution
          $$
          q(t) = frac{D q_0}{(D + q_0) e^{Dt}- q_0} , ,
          $$

          where $q_0 = q(0) = cos x_0$. Therefore, $q$ blows up at $t = frac{1}{D}lnleft(frac{cos x_0}{D + cos x_0}right)$, and the same expression of $T_s$ is obtained.





          (1) P.D. Lax, Hyperbolic systems of conservation laws and the mathematical theory of shock waves. SIAM, 1973. doi:10.1137/1.9781611970562.ch1






          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%2f2403982%2finhomogenous-nonlinear-transport-equation-u-tuu-x-du%23new-answer', 'question_page');
            }
            );

            Post as a guest















            Required, but never shown

























            2 Answers
            2






            active

            oldest

            votes








            2 Answers
            2






            active

            oldest

            votes









            active

            oldest

            votes






            active

            oldest

            votes









            2












            $begingroup$

            First, it should be clearly stated what $D$ is here. Many times it represents a differential operator, but here I assume it is meant to be an arbitrary constant. I'll rewrite the equation with $q = u_x, p = u_t, z = u,$ so that $F(p,q,z) = 0,$
            $$p - zq + Dz = 0.$$
            Next, apply the method of characteristics, where only the $z, x$ characteristics are needed since its not fully nonlinear.



            begin{align}
            frac{dz}{dt} &= q partial_q F + p partial_p F = p -zq = -Dz; ;; z(x_0,0) = sin(x_0)\
            frac{dx}{dt} &= partial_q F = -z; ;; x(t = 0) = x_0.
            end{align}
            Solving these gives us our solution,
            begin{align}
            z(x_0,t) &= sin(x_0)e^{-Dt}\
            x &= frac{sin{(x_0)}(e^{-Dt} - 1) + Dx_0}{D}
            end{align}
            Now if we could solve the latter equation for $x_0 = x_0(x,t),$ we could plug this back into the equation for $z(x_0,t)$ to get $u(x,t)$ explicitly.



            If I wanted to show a finite time blow up, I'd formally take the $x$ derivative of $z(x_0,t),$
            begin{align}
            frac{dz}{dx} &= cos{(x_0)}e^{-Dt}frac{dx_0}{dx} = cos{(x_0)}e^{-Dt} frac{1}{frac{dx}{dx_0}}\
            &= frac{Dcos{(x_0)}e^{-Dt}}{cos{(x_0)}(e^{-Dt} - 1) + D}\
            &= frac{De^{-Dt}}{e^{-Dt} + frac{D}{cos{(x_0)}}-1}\
            end{align}
            Perhaps I have errored, but this gradient only blows up if $e^{-Dt} = frac{D}{cos{x_0}} - 1,$ at some $t.$ Therefore, we need $D leq 2$ for this to happen at all.



            I am a little surprised about this, that the RHS forcing term changes this answer from the normal result, i.e. blow up when $t = frac{-1}{cos{(x_0)}}.$






            share|cite|improve this answer









            $endgroup$













            • $begingroup$
              Thanks, it looks promising and I will look into it in detail.
              $endgroup$
              – dezdichado
              Aug 24 '17 at 19:16










            • $begingroup$
              @dezdichado There is a sign mistake in the expression of the characteristic curves $x=dots$ here (see my answer). This explains the inconsistency pointed out by the answerer.
              $endgroup$
              – Harry49
              Aug 31 '18 at 11:27
















            2












            $begingroup$

            First, it should be clearly stated what $D$ is here. Many times it represents a differential operator, but here I assume it is meant to be an arbitrary constant. I'll rewrite the equation with $q = u_x, p = u_t, z = u,$ so that $F(p,q,z) = 0,$
            $$p - zq + Dz = 0.$$
            Next, apply the method of characteristics, where only the $z, x$ characteristics are needed since its not fully nonlinear.



            begin{align}
            frac{dz}{dt} &= q partial_q F + p partial_p F = p -zq = -Dz; ;; z(x_0,0) = sin(x_0)\
            frac{dx}{dt} &= partial_q F = -z; ;; x(t = 0) = x_0.
            end{align}
            Solving these gives us our solution,
            begin{align}
            z(x_0,t) &= sin(x_0)e^{-Dt}\
            x &= frac{sin{(x_0)}(e^{-Dt} - 1) + Dx_0}{D}
            end{align}
            Now if we could solve the latter equation for $x_0 = x_0(x,t),$ we could plug this back into the equation for $z(x_0,t)$ to get $u(x,t)$ explicitly.



            If I wanted to show a finite time blow up, I'd formally take the $x$ derivative of $z(x_0,t),$
            begin{align}
            frac{dz}{dx} &= cos{(x_0)}e^{-Dt}frac{dx_0}{dx} = cos{(x_0)}e^{-Dt} frac{1}{frac{dx}{dx_0}}\
            &= frac{Dcos{(x_0)}e^{-Dt}}{cos{(x_0)}(e^{-Dt} - 1) + D}\
            &= frac{De^{-Dt}}{e^{-Dt} + frac{D}{cos{(x_0)}}-1}\
            end{align}
            Perhaps I have errored, but this gradient only blows up if $e^{-Dt} = frac{D}{cos{x_0}} - 1,$ at some $t.$ Therefore, we need $D leq 2$ for this to happen at all.



            I am a little surprised about this, that the RHS forcing term changes this answer from the normal result, i.e. blow up when $t = frac{-1}{cos{(x_0)}}.$






            share|cite|improve this answer









            $endgroup$













            • $begingroup$
              Thanks, it looks promising and I will look into it in detail.
              $endgroup$
              – dezdichado
              Aug 24 '17 at 19:16










            • $begingroup$
              @dezdichado There is a sign mistake in the expression of the characteristic curves $x=dots$ here (see my answer). This explains the inconsistency pointed out by the answerer.
              $endgroup$
              – Harry49
              Aug 31 '18 at 11:27














            2












            2








            2





            $begingroup$

            First, it should be clearly stated what $D$ is here. Many times it represents a differential operator, but here I assume it is meant to be an arbitrary constant. I'll rewrite the equation with $q = u_x, p = u_t, z = u,$ so that $F(p,q,z) = 0,$
            $$p - zq + Dz = 0.$$
            Next, apply the method of characteristics, where only the $z, x$ characteristics are needed since its not fully nonlinear.



            begin{align}
            frac{dz}{dt} &= q partial_q F + p partial_p F = p -zq = -Dz; ;; z(x_0,0) = sin(x_0)\
            frac{dx}{dt} &= partial_q F = -z; ;; x(t = 0) = x_0.
            end{align}
            Solving these gives us our solution,
            begin{align}
            z(x_0,t) &= sin(x_0)e^{-Dt}\
            x &= frac{sin{(x_0)}(e^{-Dt} - 1) + Dx_0}{D}
            end{align}
            Now if we could solve the latter equation for $x_0 = x_0(x,t),$ we could plug this back into the equation for $z(x_0,t)$ to get $u(x,t)$ explicitly.



            If I wanted to show a finite time blow up, I'd formally take the $x$ derivative of $z(x_0,t),$
            begin{align}
            frac{dz}{dx} &= cos{(x_0)}e^{-Dt}frac{dx_0}{dx} = cos{(x_0)}e^{-Dt} frac{1}{frac{dx}{dx_0}}\
            &= frac{Dcos{(x_0)}e^{-Dt}}{cos{(x_0)}(e^{-Dt} - 1) + D}\
            &= frac{De^{-Dt}}{e^{-Dt} + frac{D}{cos{(x_0)}}-1}\
            end{align}
            Perhaps I have errored, but this gradient only blows up if $e^{-Dt} = frac{D}{cos{x_0}} - 1,$ at some $t.$ Therefore, we need $D leq 2$ for this to happen at all.



            I am a little surprised about this, that the RHS forcing term changes this answer from the normal result, i.e. blow up when $t = frac{-1}{cos{(x_0)}}.$






            share|cite|improve this answer









            $endgroup$



            First, it should be clearly stated what $D$ is here. Many times it represents a differential operator, but here I assume it is meant to be an arbitrary constant. I'll rewrite the equation with $q = u_x, p = u_t, z = u,$ so that $F(p,q,z) = 0,$
            $$p - zq + Dz = 0.$$
            Next, apply the method of characteristics, where only the $z, x$ characteristics are needed since its not fully nonlinear.



            begin{align}
            frac{dz}{dt} &= q partial_q F + p partial_p F = p -zq = -Dz; ;; z(x_0,0) = sin(x_0)\
            frac{dx}{dt} &= partial_q F = -z; ;; x(t = 0) = x_0.
            end{align}
            Solving these gives us our solution,
            begin{align}
            z(x_0,t) &= sin(x_0)e^{-Dt}\
            x &= frac{sin{(x_0)}(e^{-Dt} - 1) + Dx_0}{D}
            end{align}
            Now if we could solve the latter equation for $x_0 = x_0(x,t),$ we could plug this back into the equation for $z(x_0,t)$ to get $u(x,t)$ explicitly.



            If I wanted to show a finite time blow up, I'd formally take the $x$ derivative of $z(x_0,t),$
            begin{align}
            frac{dz}{dx} &= cos{(x_0)}e^{-Dt}frac{dx_0}{dx} = cos{(x_0)}e^{-Dt} frac{1}{frac{dx}{dx_0}}\
            &= frac{Dcos{(x_0)}e^{-Dt}}{cos{(x_0)}(e^{-Dt} - 1) + D}\
            &= frac{De^{-Dt}}{e^{-Dt} + frac{D}{cos{(x_0)}}-1}\
            end{align}
            Perhaps I have errored, but this gradient only blows up if $e^{-Dt} = frac{D}{cos{x_0}} - 1,$ at some $t.$ Therefore, we need $D leq 2$ for this to happen at all.



            I am a little surprised about this, that the RHS forcing term changes this answer from the normal result, i.e. blow up when $t = frac{-1}{cos{(x_0)}}.$







            share|cite|improve this answer












            share|cite|improve this answer



            share|cite|improve this answer










            answered Aug 24 '17 at 15:02









            MerkhMerkh

            2,297619




            2,297619












            • $begingroup$
              Thanks, it looks promising and I will look into it in detail.
              $endgroup$
              – dezdichado
              Aug 24 '17 at 19:16










            • $begingroup$
              @dezdichado There is a sign mistake in the expression of the characteristic curves $x=dots$ here (see my answer). This explains the inconsistency pointed out by the answerer.
              $endgroup$
              – Harry49
              Aug 31 '18 at 11:27


















            • $begingroup$
              Thanks, it looks promising and I will look into it in detail.
              $endgroup$
              – dezdichado
              Aug 24 '17 at 19:16










            • $begingroup$
              @dezdichado There is a sign mistake in the expression of the characteristic curves $x=dots$ here (see my answer). This explains the inconsistency pointed out by the answerer.
              $endgroup$
              – Harry49
              Aug 31 '18 at 11:27
















            $begingroup$
            Thanks, it looks promising and I will look into it in detail.
            $endgroup$
            – dezdichado
            Aug 24 '17 at 19:16




            $begingroup$
            Thanks, it looks promising and I will look into it in detail.
            $endgroup$
            – dezdichado
            Aug 24 '17 at 19:16












            $begingroup$
            @dezdichado There is a sign mistake in the expression of the characteristic curves $x=dots$ here (see my answer). This explains the inconsistency pointed out by the answerer.
            $endgroup$
            – Harry49
            Aug 31 '18 at 11:27




            $begingroup$
            @dezdichado There is a sign mistake in the expression of the characteristic curves $x=dots$ here (see my answer). This explains the inconsistency pointed out by the answerer.
            $endgroup$
            – Harry49
            Aug 31 '18 at 11:27











            1












            $begingroup$

            This (dissipative) Burgers' equation with relaxation is a typical example of conditional shock formation. The method of characteristics gives





            • $frac{text d t}{text d s} = 1$. Letting $t(0) = 0$, we have $t=s$.


            • $frac{text d u}{text d s} = -Du$. Letting $u(0) = sin x_0$, we have $u = sin (x_0), e^{-Ds}$.


            • $frac{text d x}{text d s} = u$. Letting $x(0) = x_0$, we have $x = -frac{1}{D} sin(x_0)(e^{-Ds}-1) + x_0$.


            This is sometimes written in implicit form as $$u = sinleft(x - frac{e^{Dt}-1}{D} uright) e^{-Dt}, .$$
            Now, let us compute the breaking time. Differentiating $x$ w.r.t. $x_0$ , we have $frac{text d x}{text d x_0} = -frac{1}{D} cos(x_0)(e^{-Dt}-1) + 1$. This quantity vanishes at $t = frac{1}{D}lnleft(frac{cos x_0}{D + cos x_0}right)$, where characteristics intersect. The smallest such positive time corresponds to the breaking time $T_s$, i.e.
            $$
            T_s = frac{1}{D}lnleft(frac{1}{1-D}right) ,quad text{if}quad D < 1 , .
            $$

            Otherwise, if $Dgeqslant 1$, no shock occurs.



            Alternatively, one can follow the method leading to Eq. (6.10) p. 36 of (1). Differentiating the PDE with respect to $x$ gives
            $$
            u_{tx} + (u_x)^2 + u u_{xx} = -Du_x , .
            $$

            Now, we introduce $q = u_x$ and the directional derivative $q' = q_t + u q_x$, so that the previous equation rewrites as
            $q' + q^2 = -D q$.
            This Bernoulli differential equation has the solution
            $$
            q(t) = frac{D q_0}{(D + q_0) e^{Dt}- q_0} , ,
            $$

            where $q_0 = q(0) = cos x_0$. Therefore, $q$ blows up at $t = frac{1}{D}lnleft(frac{cos x_0}{D + cos x_0}right)$, and the same expression of $T_s$ is obtained.





            (1) P.D. Lax, Hyperbolic systems of conservation laws and the mathematical theory of shock waves. SIAM, 1973. doi:10.1137/1.9781611970562.ch1






            share|cite|improve this answer











            $endgroup$


















              1












              $begingroup$

              This (dissipative) Burgers' equation with relaxation is a typical example of conditional shock formation. The method of characteristics gives





              • $frac{text d t}{text d s} = 1$. Letting $t(0) = 0$, we have $t=s$.


              • $frac{text d u}{text d s} = -Du$. Letting $u(0) = sin x_0$, we have $u = sin (x_0), e^{-Ds}$.


              • $frac{text d x}{text d s} = u$. Letting $x(0) = x_0$, we have $x = -frac{1}{D} sin(x_0)(e^{-Ds}-1) + x_0$.


              This is sometimes written in implicit form as $$u = sinleft(x - frac{e^{Dt}-1}{D} uright) e^{-Dt}, .$$
              Now, let us compute the breaking time. Differentiating $x$ w.r.t. $x_0$ , we have $frac{text d x}{text d x_0} = -frac{1}{D} cos(x_0)(e^{-Dt}-1) + 1$. This quantity vanishes at $t = frac{1}{D}lnleft(frac{cos x_0}{D + cos x_0}right)$, where characteristics intersect. The smallest such positive time corresponds to the breaking time $T_s$, i.e.
              $$
              T_s = frac{1}{D}lnleft(frac{1}{1-D}right) ,quad text{if}quad D < 1 , .
              $$

              Otherwise, if $Dgeqslant 1$, no shock occurs.



              Alternatively, one can follow the method leading to Eq. (6.10) p. 36 of (1). Differentiating the PDE with respect to $x$ gives
              $$
              u_{tx} + (u_x)^2 + u u_{xx} = -Du_x , .
              $$

              Now, we introduce $q = u_x$ and the directional derivative $q' = q_t + u q_x$, so that the previous equation rewrites as
              $q' + q^2 = -D q$.
              This Bernoulli differential equation has the solution
              $$
              q(t) = frac{D q_0}{(D + q_0) e^{Dt}- q_0} , ,
              $$

              where $q_0 = q(0) = cos x_0$. Therefore, $q$ blows up at $t = frac{1}{D}lnleft(frac{cos x_0}{D + cos x_0}right)$, and the same expression of $T_s$ is obtained.





              (1) P.D. Lax, Hyperbolic systems of conservation laws and the mathematical theory of shock waves. SIAM, 1973. doi:10.1137/1.9781611970562.ch1






              share|cite|improve this answer











              $endgroup$
















                1












                1








                1





                $begingroup$

                This (dissipative) Burgers' equation with relaxation is a typical example of conditional shock formation. The method of characteristics gives





                • $frac{text d t}{text d s} = 1$. Letting $t(0) = 0$, we have $t=s$.


                • $frac{text d u}{text d s} = -Du$. Letting $u(0) = sin x_0$, we have $u = sin (x_0), e^{-Ds}$.


                • $frac{text d x}{text d s} = u$. Letting $x(0) = x_0$, we have $x = -frac{1}{D} sin(x_0)(e^{-Ds}-1) + x_0$.


                This is sometimes written in implicit form as $$u = sinleft(x - frac{e^{Dt}-1}{D} uright) e^{-Dt}, .$$
                Now, let us compute the breaking time. Differentiating $x$ w.r.t. $x_0$ , we have $frac{text d x}{text d x_0} = -frac{1}{D} cos(x_0)(e^{-Dt}-1) + 1$. This quantity vanishes at $t = frac{1}{D}lnleft(frac{cos x_0}{D + cos x_0}right)$, where characteristics intersect. The smallest such positive time corresponds to the breaking time $T_s$, i.e.
                $$
                T_s = frac{1}{D}lnleft(frac{1}{1-D}right) ,quad text{if}quad D < 1 , .
                $$

                Otherwise, if $Dgeqslant 1$, no shock occurs.



                Alternatively, one can follow the method leading to Eq. (6.10) p. 36 of (1). Differentiating the PDE with respect to $x$ gives
                $$
                u_{tx} + (u_x)^2 + u u_{xx} = -Du_x , .
                $$

                Now, we introduce $q = u_x$ and the directional derivative $q' = q_t + u q_x$, so that the previous equation rewrites as
                $q' + q^2 = -D q$.
                This Bernoulli differential equation has the solution
                $$
                q(t) = frac{D q_0}{(D + q_0) e^{Dt}- q_0} , ,
                $$

                where $q_0 = q(0) = cos x_0$. Therefore, $q$ blows up at $t = frac{1}{D}lnleft(frac{cos x_0}{D + cos x_0}right)$, and the same expression of $T_s$ is obtained.





                (1) P.D. Lax, Hyperbolic systems of conservation laws and the mathematical theory of shock waves. SIAM, 1973. doi:10.1137/1.9781611970562.ch1






                share|cite|improve this answer











                $endgroup$



                This (dissipative) Burgers' equation with relaxation is a typical example of conditional shock formation. The method of characteristics gives





                • $frac{text d t}{text d s} = 1$. Letting $t(0) = 0$, we have $t=s$.


                • $frac{text d u}{text d s} = -Du$. Letting $u(0) = sin x_0$, we have $u = sin (x_0), e^{-Ds}$.


                • $frac{text d x}{text d s} = u$. Letting $x(0) = x_0$, we have $x = -frac{1}{D} sin(x_0)(e^{-Ds}-1) + x_0$.


                This is sometimes written in implicit form as $$u = sinleft(x - frac{e^{Dt}-1}{D} uright) e^{-Dt}, .$$
                Now, let us compute the breaking time. Differentiating $x$ w.r.t. $x_0$ , we have $frac{text d x}{text d x_0} = -frac{1}{D} cos(x_0)(e^{-Dt}-1) + 1$. This quantity vanishes at $t = frac{1}{D}lnleft(frac{cos x_0}{D + cos x_0}right)$, where characteristics intersect. The smallest such positive time corresponds to the breaking time $T_s$, i.e.
                $$
                T_s = frac{1}{D}lnleft(frac{1}{1-D}right) ,quad text{if}quad D < 1 , .
                $$

                Otherwise, if $Dgeqslant 1$, no shock occurs.



                Alternatively, one can follow the method leading to Eq. (6.10) p. 36 of (1). Differentiating the PDE with respect to $x$ gives
                $$
                u_{tx} + (u_x)^2 + u u_{xx} = -Du_x , .
                $$

                Now, we introduce $q = u_x$ and the directional derivative $q' = q_t + u q_x$, so that the previous equation rewrites as
                $q' + q^2 = -D q$.
                This Bernoulli differential equation has the solution
                $$
                q(t) = frac{D q_0}{(D + q_0) e^{Dt}- q_0} , ,
                $$

                where $q_0 = q(0) = cos x_0$. Therefore, $q$ blows up at $t = frac{1}{D}lnleft(frac{cos x_0}{D + cos x_0}right)$, and the same expression of $T_s$ is obtained.





                (1) P.D. Lax, Hyperbolic systems of conservation laws and the mathematical theory of shock waves. SIAM, 1973. doi:10.1137/1.9781611970562.ch1







                share|cite|improve this answer














                share|cite|improve this answer



                share|cite|improve this answer








                edited Dec 6 '18 at 11:41

























                answered Aug 30 '18 at 15:45









                Harry49Harry49

                6,17331132




                6,17331132






























                    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%2f2403982%2finhomogenous-nonlinear-transport-equation-u-tuu-x-du%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

                    How do I know what Microsoft account the skydrive app is syncing to?

                    When does type information flow backwards in C++?

                    Grease: Live!