BV functions and wave equation












4












$begingroup$


What is the role played by BV functions in the study of (possibly nonlinear) wave equations?



I think that one would need assume small initial data in $L^1$ or $H^1$ to get a well-posedness result (is that correct?).



Has the case of initial data in BV been studied?










share|cite|improve this question









$endgroup$

















    4












    $begingroup$


    What is the role played by BV functions in the study of (possibly nonlinear) wave equations?



    I think that one would need assume small initial data in $L^1$ or $H^1$ to get a well-posedness result (is that correct?).



    Has the case of initial data in BV been studied?










    share|cite|improve this question









    $endgroup$















      4












      4








      4


      3



      $begingroup$


      What is the role played by BV functions in the study of (possibly nonlinear) wave equations?



      I think that one would need assume small initial data in $L^1$ or $H^1$ to get a well-posedness result (is that correct?).



      Has the case of initial data in BV been studied?










      share|cite|improve this question









      $endgroup$




      What is the role played by BV functions in the study of (possibly nonlinear) wave equations?



      I think that one would need assume small initial data in $L^1$ or $H^1$ to get a well-posedness result (is that correct?).



      Has the case of initial data in BV been studied?







      reference-request ap.analysis-of-pdes soft-question hyperbolic-pde






      share|cite|improve this question













      share|cite|improve this question











      share|cite|improve this question




      share|cite|improve this question










      asked 4 hours ago









      RikuRiku

      376110




      376110






















          1 Answer
          1






          active

          oldest

          votes


















          2












          $begingroup$

          The answer to this question depends a lot on the space dimension $n$. It is true that if $n=1$, the Cauchy problem has been studied with data in either $L^infty(R)$ or $BV(R)$. For superlinear wave equation, every $L^infty$-data yields at least one bounded global-in-time "entropy" solution. This is done by Compensated Compactness (DiPerna 1983). However, nobody knows whether this solution is unique. The $BV$ space is better suited in some sense, because Bressan was able to prove uniqueness of the entropy solution ; however, existence is obtained only if the initial data $u_0$ is not too large, in the sense that
          $$|u_0|_infty TV(u_0)<delta$$
          for some absolute finite constant $delta>0$. In some sense, the Cauchy problem is well-posed in $BV$, in a neighbourhood of constant data.



          In several space dimensions, Rauch remarked that you should forget the $BV$ space. The Cauchy problem cannot be well-posed in this topology. The reason is that the Cauchy problem for the linear wave equation itself is ill-posed in $BV$. This is a consequence of a theorem by Brenner in the 60's, which tells that this Cauchy problem is ill-posed in every $L^p$-space, except for the Hilbert case $p=2$. Brenner's theorem is a bit more complete. It says that for a first-order hyperbolic system
          $$partial_tf+sum_{j=1}^nA_jpartial_jf=0,$$
          the Cauchy problem is well-posed in some $L^p$ with $pne2$ if, and only if the matrices $A_j$ commutte to each other. This very strong condition amounts to saying that the system can be rewritten as a list of decoupled transport equations.



          It is interesting to notice that the opposite of Brenner's condition is that the characteristic cone of the differential operator has maximal curvature, hence the Cauchy problem admits a Strichartz-like estimate. You can read the discussion in the 1st chapter of my book co-authored with S. Benzoni-Gavage.






          share|cite|improve this answer









          $endgroup$













          • $begingroup$
            This is very interesting. Thank you. Could you add some references for the claims regarding the one-dimensional case?
            $endgroup$
            – Riku
            2 hours ago










          • $begingroup$
            @Riku: the one dimensional case is described in A. Bressan, Hyperbolic Systems of Conservation Laws. The One Dimensional Cauchy Problem. Oxford University Press, Oxford, 2000. The result of Rauch referred to is Commun. Math. Phys. 106, 481--484 (1986).
            $endgroup$
            – Willie Wong
            2 hours ago










          • $begingroup$
            @WillieWong Isn't book of Bressan about conservation laws and not about wave equations?
            $endgroup$
            – Riku
            2 hours ago












          • $begingroup$
            @WillieWong In fact, why is the answer talking about entropy solutions?
            $endgroup$
            – Riku
            2 hours ago










          • $begingroup$
            @Riku: a wave equation is a particular form of a conservation law. For example, if you write $-partial_t^2 phi + partial^2_xphi = 0$ for the linear wave equation, and set $psi_1 = partial_t phi$ and $psi_2 = partial_x phi$, then the wave equation is equivalent to the conservation laws $partial_t psi_1 - partial_x psi_2 = 0$ coupled to $partial_t psi_2 - partial_x psi_1 = 0$.
            $endgroup$
            – Willie Wong
            2 hours ago












          Your Answer








          StackExchange.ready(function() {
          var channelOptions = {
          tags: "".split(" "),
          id: "504"
          };
          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%2fmathoverflow.net%2fquestions%2f328672%2fbv-functions-and-wave-equation%23new-answer', 'question_page');
          }
          );

          Post as a guest















          Required, but never shown

























          1 Answer
          1






          active

          oldest

          votes








          1 Answer
          1






          active

          oldest

          votes









          active

          oldest

          votes






          active

          oldest

          votes









          2












          $begingroup$

          The answer to this question depends a lot on the space dimension $n$. It is true that if $n=1$, the Cauchy problem has been studied with data in either $L^infty(R)$ or $BV(R)$. For superlinear wave equation, every $L^infty$-data yields at least one bounded global-in-time "entropy" solution. This is done by Compensated Compactness (DiPerna 1983). However, nobody knows whether this solution is unique. The $BV$ space is better suited in some sense, because Bressan was able to prove uniqueness of the entropy solution ; however, existence is obtained only if the initial data $u_0$ is not too large, in the sense that
          $$|u_0|_infty TV(u_0)<delta$$
          for some absolute finite constant $delta>0$. In some sense, the Cauchy problem is well-posed in $BV$, in a neighbourhood of constant data.



          In several space dimensions, Rauch remarked that you should forget the $BV$ space. The Cauchy problem cannot be well-posed in this topology. The reason is that the Cauchy problem for the linear wave equation itself is ill-posed in $BV$. This is a consequence of a theorem by Brenner in the 60's, which tells that this Cauchy problem is ill-posed in every $L^p$-space, except for the Hilbert case $p=2$. Brenner's theorem is a bit more complete. It says that for a first-order hyperbolic system
          $$partial_tf+sum_{j=1}^nA_jpartial_jf=0,$$
          the Cauchy problem is well-posed in some $L^p$ with $pne2$ if, and only if the matrices $A_j$ commutte to each other. This very strong condition amounts to saying that the system can be rewritten as a list of decoupled transport equations.



          It is interesting to notice that the opposite of Brenner's condition is that the characteristic cone of the differential operator has maximal curvature, hence the Cauchy problem admits a Strichartz-like estimate. You can read the discussion in the 1st chapter of my book co-authored with S. Benzoni-Gavage.






          share|cite|improve this answer









          $endgroup$













          • $begingroup$
            This is very interesting. Thank you. Could you add some references for the claims regarding the one-dimensional case?
            $endgroup$
            – Riku
            2 hours ago










          • $begingroup$
            @Riku: the one dimensional case is described in A. Bressan, Hyperbolic Systems of Conservation Laws. The One Dimensional Cauchy Problem. Oxford University Press, Oxford, 2000. The result of Rauch referred to is Commun. Math. Phys. 106, 481--484 (1986).
            $endgroup$
            – Willie Wong
            2 hours ago










          • $begingroup$
            @WillieWong Isn't book of Bressan about conservation laws and not about wave equations?
            $endgroup$
            – Riku
            2 hours ago












          • $begingroup$
            @WillieWong In fact, why is the answer talking about entropy solutions?
            $endgroup$
            – Riku
            2 hours ago










          • $begingroup$
            @Riku: a wave equation is a particular form of a conservation law. For example, if you write $-partial_t^2 phi + partial^2_xphi = 0$ for the linear wave equation, and set $psi_1 = partial_t phi$ and $psi_2 = partial_x phi$, then the wave equation is equivalent to the conservation laws $partial_t psi_1 - partial_x psi_2 = 0$ coupled to $partial_t psi_2 - partial_x psi_1 = 0$.
            $endgroup$
            – Willie Wong
            2 hours ago
















          2












          $begingroup$

          The answer to this question depends a lot on the space dimension $n$. It is true that if $n=1$, the Cauchy problem has been studied with data in either $L^infty(R)$ or $BV(R)$. For superlinear wave equation, every $L^infty$-data yields at least one bounded global-in-time "entropy" solution. This is done by Compensated Compactness (DiPerna 1983). However, nobody knows whether this solution is unique. The $BV$ space is better suited in some sense, because Bressan was able to prove uniqueness of the entropy solution ; however, existence is obtained only if the initial data $u_0$ is not too large, in the sense that
          $$|u_0|_infty TV(u_0)<delta$$
          for some absolute finite constant $delta>0$. In some sense, the Cauchy problem is well-posed in $BV$, in a neighbourhood of constant data.



          In several space dimensions, Rauch remarked that you should forget the $BV$ space. The Cauchy problem cannot be well-posed in this topology. The reason is that the Cauchy problem for the linear wave equation itself is ill-posed in $BV$. This is a consequence of a theorem by Brenner in the 60's, which tells that this Cauchy problem is ill-posed in every $L^p$-space, except for the Hilbert case $p=2$. Brenner's theorem is a bit more complete. It says that for a first-order hyperbolic system
          $$partial_tf+sum_{j=1}^nA_jpartial_jf=0,$$
          the Cauchy problem is well-posed in some $L^p$ with $pne2$ if, and only if the matrices $A_j$ commutte to each other. This very strong condition amounts to saying that the system can be rewritten as a list of decoupled transport equations.



          It is interesting to notice that the opposite of Brenner's condition is that the characteristic cone of the differential operator has maximal curvature, hence the Cauchy problem admits a Strichartz-like estimate. You can read the discussion in the 1st chapter of my book co-authored with S. Benzoni-Gavage.






          share|cite|improve this answer









          $endgroup$













          • $begingroup$
            This is very interesting. Thank you. Could you add some references for the claims regarding the one-dimensional case?
            $endgroup$
            – Riku
            2 hours ago










          • $begingroup$
            @Riku: the one dimensional case is described in A. Bressan, Hyperbolic Systems of Conservation Laws. The One Dimensional Cauchy Problem. Oxford University Press, Oxford, 2000. The result of Rauch referred to is Commun. Math. Phys. 106, 481--484 (1986).
            $endgroup$
            – Willie Wong
            2 hours ago










          • $begingroup$
            @WillieWong Isn't book of Bressan about conservation laws and not about wave equations?
            $endgroup$
            – Riku
            2 hours ago












          • $begingroup$
            @WillieWong In fact, why is the answer talking about entropy solutions?
            $endgroup$
            – Riku
            2 hours ago










          • $begingroup$
            @Riku: a wave equation is a particular form of a conservation law. For example, if you write $-partial_t^2 phi + partial^2_xphi = 0$ for the linear wave equation, and set $psi_1 = partial_t phi$ and $psi_2 = partial_x phi$, then the wave equation is equivalent to the conservation laws $partial_t psi_1 - partial_x psi_2 = 0$ coupled to $partial_t psi_2 - partial_x psi_1 = 0$.
            $endgroup$
            – Willie Wong
            2 hours ago














          2












          2








          2





          $begingroup$

          The answer to this question depends a lot on the space dimension $n$. It is true that if $n=1$, the Cauchy problem has been studied with data in either $L^infty(R)$ or $BV(R)$. For superlinear wave equation, every $L^infty$-data yields at least one bounded global-in-time "entropy" solution. This is done by Compensated Compactness (DiPerna 1983). However, nobody knows whether this solution is unique. The $BV$ space is better suited in some sense, because Bressan was able to prove uniqueness of the entropy solution ; however, existence is obtained only if the initial data $u_0$ is not too large, in the sense that
          $$|u_0|_infty TV(u_0)<delta$$
          for some absolute finite constant $delta>0$. In some sense, the Cauchy problem is well-posed in $BV$, in a neighbourhood of constant data.



          In several space dimensions, Rauch remarked that you should forget the $BV$ space. The Cauchy problem cannot be well-posed in this topology. The reason is that the Cauchy problem for the linear wave equation itself is ill-posed in $BV$. This is a consequence of a theorem by Brenner in the 60's, which tells that this Cauchy problem is ill-posed in every $L^p$-space, except for the Hilbert case $p=2$. Brenner's theorem is a bit more complete. It says that for a first-order hyperbolic system
          $$partial_tf+sum_{j=1}^nA_jpartial_jf=0,$$
          the Cauchy problem is well-posed in some $L^p$ with $pne2$ if, and only if the matrices $A_j$ commutte to each other. This very strong condition amounts to saying that the system can be rewritten as a list of decoupled transport equations.



          It is interesting to notice that the opposite of Brenner's condition is that the characteristic cone of the differential operator has maximal curvature, hence the Cauchy problem admits a Strichartz-like estimate. You can read the discussion in the 1st chapter of my book co-authored with S. Benzoni-Gavage.






          share|cite|improve this answer









          $endgroup$



          The answer to this question depends a lot on the space dimension $n$. It is true that if $n=1$, the Cauchy problem has been studied with data in either $L^infty(R)$ or $BV(R)$. For superlinear wave equation, every $L^infty$-data yields at least one bounded global-in-time "entropy" solution. This is done by Compensated Compactness (DiPerna 1983). However, nobody knows whether this solution is unique. The $BV$ space is better suited in some sense, because Bressan was able to prove uniqueness of the entropy solution ; however, existence is obtained only if the initial data $u_0$ is not too large, in the sense that
          $$|u_0|_infty TV(u_0)<delta$$
          for some absolute finite constant $delta>0$. In some sense, the Cauchy problem is well-posed in $BV$, in a neighbourhood of constant data.



          In several space dimensions, Rauch remarked that you should forget the $BV$ space. The Cauchy problem cannot be well-posed in this topology. The reason is that the Cauchy problem for the linear wave equation itself is ill-posed in $BV$. This is a consequence of a theorem by Brenner in the 60's, which tells that this Cauchy problem is ill-posed in every $L^p$-space, except for the Hilbert case $p=2$. Brenner's theorem is a bit more complete. It says that for a first-order hyperbolic system
          $$partial_tf+sum_{j=1}^nA_jpartial_jf=0,$$
          the Cauchy problem is well-posed in some $L^p$ with $pne2$ if, and only if the matrices $A_j$ commutte to each other. This very strong condition amounts to saying that the system can be rewritten as a list of decoupled transport equations.



          It is interesting to notice that the opposite of Brenner's condition is that the characteristic cone of the differential operator has maximal curvature, hence the Cauchy problem admits a Strichartz-like estimate. You can read the discussion in the 1st chapter of my book co-authored with S. Benzoni-Gavage.







          share|cite|improve this answer












          share|cite|improve this answer



          share|cite|improve this answer










          answered 3 hours ago









          Denis SerreDenis Serre

          30k796200




          30k796200












          • $begingroup$
            This is very interesting. Thank you. Could you add some references for the claims regarding the one-dimensional case?
            $endgroup$
            – Riku
            2 hours ago










          • $begingroup$
            @Riku: the one dimensional case is described in A. Bressan, Hyperbolic Systems of Conservation Laws. The One Dimensional Cauchy Problem. Oxford University Press, Oxford, 2000. The result of Rauch referred to is Commun. Math. Phys. 106, 481--484 (1986).
            $endgroup$
            – Willie Wong
            2 hours ago










          • $begingroup$
            @WillieWong Isn't book of Bressan about conservation laws and not about wave equations?
            $endgroup$
            – Riku
            2 hours ago












          • $begingroup$
            @WillieWong In fact, why is the answer talking about entropy solutions?
            $endgroup$
            – Riku
            2 hours ago










          • $begingroup$
            @Riku: a wave equation is a particular form of a conservation law. For example, if you write $-partial_t^2 phi + partial^2_xphi = 0$ for the linear wave equation, and set $psi_1 = partial_t phi$ and $psi_2 = partial_x phi$, then the wave equation is equivalent to the conservation laws $partial_t psi_1 - partial_x psi_2 = 0$ coupled to $partial_t psi_2 - partial_x psi_1 = 0$.
            $endgroup$
            – Willie Wong
            2 hours ago


















          • $begingroup$
            This is very interesting. Thank you. Could you add some references for the claims regarding the one-dimensional case?
            $endgroup$
            – Riku
            2 hours ago










          • $begingroup$
            @Riku: the one dimensional case is described in A. Bressan, Hyperbolic Systems of Conservation Laws. The One Dimensional Cauchy Problem. Oxford University Press, Oxford, 2000. The result of Rauch referred to is Commun. Math. Phys. 106, 481--484 (1986).
            $endgroup$
            – Willie Wong
            2 hours ago










          • $begingroup$
            @WillieWong Isn't book of Bressan about conservation laws and not about wave equations?
            $endgroup$
            – Riku
            2 hours ago












          • $begingroup$
            @WillieWong In fact, why is the answer talking about entropy solutions?
            $endgroup$
            – Riku
            2 hours ago










          • $begingroup$
            @Riku: a wave equation is a particular form of a conservation law. For example, if you write $-partial_t^2 phi + partial^2_xphi = 0$ for the linear wave equation, and set $psi_1 = partial_t phi$ and $psi_2 = partial_x phi$, then the wave equation is equivalent to the conservation laws $partial_t psi_1 - partial_x psi_2 = 0$ coupled to $partial_t psi_2 - partial_x psi_1 = 0$.
            $endgroup$
            – Willie Wong
            2 hours ago
















          $begingroup$
          This is very interesting. Thank you. Could you add some references for the claims regarding the one-dimensional case?
          $endgroup$
          – Riku
          2 hours ago




          $begingroup$
          This is very interesting. Thank you. Could you add some references for the claims regarding the one-dimensional case?
          $endgroup$
          – Riku
          2 hours ago












          $begingroup$
          @Riku: the one dimensional case is described in A. Bressan, Hyperbolic Systems of Conservation Laws. The One Dimensional Cauchy Problem. Oxford University Press, Oxford, 2000. The result of Rauch referred to is Commun. Math. Phys. 106, 481--484 (1986).
          $endgroup$
          – Willie Wong
          2 hours ago




          $begingroup$
          @Riku: the one dimensional case is described in A. Bressan, Hyperbolic Systems of Conservation Laws. The One Dimensional Cauchy Problem. Oxford University Press, Oxford, 2000. The result of Rauch referred to is Commun. Math. Phys. 106, 481--484 (1986).
          $endgroup$
          – Willie Wong
          2 hours ago












          $begingroup$
          @WillieWong Isn't book of Bressan about conservation laws and not about wave equations?
          $endgroup$
          – Riku
          2 hours ago






          $begingroup$
          @WillieWong Isn't book of Bressan about conservation laws and not about wave equations?
          $endgroup$
          – Riku
          2 hours ago














          $begingroup$
          @WillieWong In fact, why is the answer talking about entropy solutions?
          $endgroup$
          – Riku
          2 hours ago




          $begingroup$
          @WillieWong In fact, why is the answer talking about entropy solutions?
          $endgroup$
          – Riku
          2 hours ago












          $begingroup$
          @Riku: a wave equation is a particular form of a conservation law. For example, if you write $-partial_t^2 phi + partial^2_xphi = 0$ for the linear wave equation, and set $psi_1 = partial_t phi$ and $psi_2 = partial_x phi$, then the wave equation is equivalent to the conservation laws $partial_t psi_1 - partial_x psi_2 = 0$ coupled to $partial_t psi_2 - partial_x psi_1 = 0$.
          $endgroup$
          – Willie Wong
          2 hours ago




          $begingroup$
          @Riku: a wave equation is a particular form of a conservation law. For example, if you write $-partial_t^2 phi + partial^2_xphi = 0$ for the linear wave equation, and set $psi_1 = partial_t phi$ and $psi_2 = partial_x phi$, then the wave equation is equivalent to the conservation laws $partial_t psi_1 - partial_x psi_2 = 0$ coupled to $partial_t psi_2 - partial_x psi_1 = 0$.
          $endgroup$
          – Willie Wong
          2 hours ago


















          draft saved

          draft discarded




















































          Thanks for contributing an answer to MathOverflow!


          • 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%2fmathoverflow.net%2fquestions%2f328672%2fbv-functions-and-wave-equation%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 to label and detect the document text images

          Vallis Paradisi

          Tabula Rosettana