Not signed in (Sign In)

Start a new discussion

Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

  • Sign in using OpenID

Discussion Tag Cloud

Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.

Welcome to nForum
If you want to take part in these discussions either sign in now (if you have an account), apply for one now (if you don't).
    • CommentRowNumber1.
    • CommentAuthorUrs
    • CommentTimeOct 10th 2017

    I had occation to link to “formally integrable PDE” from somewhere, and so I created a stub entry just so that the link works. Also created a stub for integrable PDE and cross-linked with integrable system.

    • CommentRowNumber2.
    • CommentAuthorDavid_Corfield
    • CommentTimeOct 10th 2017

    So if we have that formally integrable PDEs are coalgebras for the jet comonad, the slice over Σ\Im \Sigma in nice cases, what can be said about integrable PDEs? Is there anything to be done in terms of the cohesive modalities?

    • CommentRowNumber3.
    • CommentAuthorUrs
    • CommentTimeOct 10th 2017
    • (edited Oct 10th 2017)

    what can be said about integrable PDEs?

    I doubt that there is something analogously general to be said about these. Global integrability is a tricky business. For classical examples of PDEs the integrability is wide open, such as in one of the “Millenium problems” Navier-Stokes existence

    • CommentRowNumber4.
    • CommentAuthorDavid_Corfield
    • CommentTimeOct 10th 2017

    Is there not something between global and formal integrability? Perhaps local integrability?

    • CommentRowNumber5.
    • CommentAuthorDavid_Corfield
    • CommentTimeOct 10th 2017

    Looking about, I see that formal integrability often implies local integrability, e.g., in real-analytic and complex situations.

    • CommentRowNumber6.
    • CommentAuthorUrs
    • CommentTimeOct 10th 2017

    Good point. Maybe one could capture this with making a model for differential cohesion not from infinitesimal neighbourhoods, but from germs.

    This is an idea I have been tossing around with Thomas Nikolaus a while back. In the end we seemed to have convinced ourselves that it works, but I didn’t try to write it out in detail.

  1. A comment on terminology: I’m no expert but I suspect that many people would equate “integrable PDE” with “integrable system (given by PDEs)”. See for example this MO question which is marked as “already answered”, linking to What is an integrable system. As far as I understand there is no precise definition of integrable system, but it is somehow related to “sufficiently many conservation laws” or “symmetries”.

    • CommentRowNumber8.
    • CommentAuthorUrs
    • CommentTimeOct 10th 2017

    Right, I did try to make clear in the Idea-section at integrable PDE that there is much convention involved in what counts as integrable.

    In any case, I think “integrating a PDE” is standard terminology, independent of the use of “integrable systems” in physics.

  2. Agreed with your remark on “integrating a PDE”.

Add your comments
  • Please log in or leave your comment as a "guest post". If commenting as a "guest", please include your name in the message as a courtesy. Note: only certain categories allow guest posts.
  • To produce a hyperlink to an nLab entry, simply put double square brackets around its name, e.g. [[category]]. To use (La)TeX mathematics in your post, make sure Markdown+Itex is selected below and put your mathematics between dollar signs as usual. Only a subset of the usual TeX math commands are accepted: see here for a list.

  • (Help)