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

Site Tag Cloud

2-categories 2-category 2-category-theory abelian-categories adjoint algebra algebraic algebraic-geometry algebraic-topology analysis analytic-geometry arithmetic arithmetic-geometry beauty bundles calculus categories category category-theory chern-weil-theory cohesion cohesive-homotopy-type-theory cohomology colimits combinatorics complex-geometry computable-mathematics computer-science connection constructive constructive-mathematics cosmology definitions deformation-theory descent diagrams differential differential-cohomology differential-equations differential-geometry differential-topology digraphs duality education elliptic-cohomology enriched fibration foundations functional-analysis functor galois-theory gauge-theory gebra geometric-quantization geometry graph graphs gravity grothendieck group-theory harmonic-analysis higher higher-algebra higher-category-theory higher-differential-geometry higher-geometry higher-lie-theory higher-topos-theory homological homological-algebra homotopy homotopy-theory homotopy-type-theory index-theory infinity integration integration-theory k-theory lie-theory limits linear linear-algebra locale localization logic manifolds mathematics measure-theory modal-logic model model-category-theory monad monoidal monoidal-category-theory morphism motives motivic-cohomology multicategories noncommutative noncommutative-geometry number-theory of operads operator operator-algebra order-theory pasting philosophy physics planar pro-object probability probability-theory quantization quantum quantum-field quantum-field-theory quantum-mechanics quantum-physics quantum-theory question representation representation-theory riemannian-geometry scheme schemes set set-theory sheaf simplicial space spin-geometry stable-homotopy-theory stack string-theory subobject superalgebra supergeometry svg symplectic-geometry synthetic-differential-geometry terminology theory topology topos topos-theory type type-theory universal variational-calculus

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
    • CommentTimeFeb 3rd 2010

    created differential equation just to link to Lawvere's two articles on that.

    Peering through the Lawverian prose, say on page 10 of Toposes of laws of motion I seem to see the shadow of a theory of integration in smooth toposes.

    The extension along the inclusion of an infinitesimal object into another object considered there is of the same general nature as the extensins along the inclusion of infnitesimal into all paths that I consider at integration of oo-Lie algebroid valued differential forms.

    I mean, no big deal, just something I noticed.

    • CommentRowNumber2.
    • CommentAuthorUrs
    • CommentTimeFeb 3rd 2010
    • (edited Feb 3rd 2010)

    added now some substance to differential equation:

    the formulation of homogeneous first order ODEs in terms of just diagrams in a smooth topos.

    One would think that this should be explicit in the articles by Lawvere cited, but apparently it is only implicit.

    • CommentRowNumber3.
    • CommentAuthorUrs
    • CommentTimeFeb 3rd 2010

    the puny section at synthetic differential geometry that used to be called "Related entries" I have expanded to a section constructions in synthetic differential geometry.

    • CommentRowNumber4.
    • CommentAuthorUrs
    • CommentTimeJun 17th 2011
    • (edited Jun 17th 2011)

    added to differential equation a brief stubby paragraph with a remark on differential equations as sub-tangent Lie algebroids and sub-Jet-D-Schemes.

    • CommentRowNumber5.
    • CommentAuthorzskoda
    • CommentTimeJun 17th 2011

    Interesting. Are the differential equation which have solutions only for finite time included ? It seems that the solution is required for all tt.

    • CommentRowNumber6.
    • CommentAuthorUrs
    • CommentTimeJun 17th 2011

    Well, it’s all solutions over the given parameter space.

    So I think what you are looking for is the solution space itself regarded as sheaf on the category of parameter spaces:

    Sol(F):𝒜{xA|F(t, t ix)=0} Sol(F) : \mathcal{A} \mapsto \{x \in A | F(t, \partial^i_t x) = 0\}

    for any D-module 𝒜\mathcal{A}.

    • CommentRowNumber7.
    • CommentAuthorzskoda
    • CommentTimeJun 17th 2011

    People say the phrase that a D-module does not tell a differential equation but an invariant way of talking of its space of solutions. Is this fitting this ?

    • CommentRowNumber8.
    • CommentAuthorUrs
    • CommentTimeJun 17th 2011

    Yes, I think that’s what is meant.

    The analogy to keep in mind is the relation of a (system of) ordinary equations and the corresponding variety. The former is a coordinate-description, the latter is the intrinsic object.

    • CommentRowNumber9.
    • CommentAuthorzskoda
    • CommentTimeJun 17th 2011

    This is nice idea, much explored by Vinogradov, that it is a generalization of the classical algebraic geometry, but ODE and PDE experts would not quite agree. For the same differential equation one can consider various types of problems, initial value, boundary problems, look for weak solutions in various spaces etc. So in a sense this is like having an algebraic equation defining a variety over different rings, simultaneously. Probably somehow one can go in this direction here as well…

    • CommentRowNumber10.
    • CommentAuthorzskoda
    • CommentTimeJul 7th 2011
    • (edited Jul 7th 2011)

    Today on the arXiv

    • Yves Andre, Solution algebras of differential equations and quasi-homogeneous varieties, pdf

    We develop a new connection between Differential Algebra and Geometric Invariant Theory, based on an anti-equivalence of categories between solution algebras associated to a linear differential equation (i.e. differential algebras generated by finitely many polynomials in a fundamental set of solutions), and affine quasi-homogeneous varieties (over the constant field) for the differential Galois group of the equation. Solution algebras can be associated to any connection over a smooth affine variety. The spectrum of a solution algebra is an algebraic fiber space over the base variety, with quasi-homogeneous fiber. We also discuss the relevance of this result in Transcendental Number Theory.

    • CommentRowNumber11.
    • CommentAuthorzskoda
    • CommentTimeMay 19th 2013
    • (edited May 19th 2013)

    So in a sense this is like having an algebraic equation defining a variety over different rings, simultaneously.

    Of course, algebraic geometers (since at least Weil) do such things, but with various formal devices about the field of definition.

    I have created a stub in my lab partial differential equation (zoranskoda) which just gives hint on how the subject is wide (even in my, nonexpert, and narrow vision). On the other hand, in the main nnLab, partial differential equation redirects to differential equation. I spent quite much time thinking about this in last few weeks, and somehow think that this is not the optimal choice yet in fact. I think that the creator of the entry (I suppose Urs) had a quite reasonable idea that PDE is general differential equation, while ODE is a rather special kind, so a differential equation should be about the general case. There are several objections however to this point of view (I am writing this to provoke further thinking and diversification of grand scheme of differential equation related entries in nnLab):

    1. As a rule PDE people do not include ODE into their subject; this is, of course, not the logical division, but methodological, so nnLab may to some extent (as focusing on logical and architectural structure of mathematics) ignore it, sacrificing some useful methodological divisions.

    2. I also think that the term differential equation includes also many generalizations which are not considered PDE-s. For example, fractional differential equations in the sense of utilitizing fractional derivatives, stochastic differential equations (Ito and Stratonovich; though stochastic PDE is also a used term, I do not know how general), formal differential equations, including over other fields, noncommutative formal differential equations, differential equations with operator coefficients etc. also think that the partial derivatives are mainly about the finite dimensional situation, and various infinite dimensional concepts like variational derivatives are not really included. For nnLab it is important to have in mind second quantized differential equations from QFT, where in addition to infinite-dimensionality one has identical particles, i.e. the extension of operators to multiparticle Hilbert spaces; problems with singularity of fields etc.

    3. The beautiful POV on differential equations in the entry currently s interesting and should be generalized. I mean, the definition is about the solutions in smooth terms, quite general from a point of view of a space considered, but rather meager from the point of view of (generalized) function space involved in a solution. Thus, maybe it should be a small paragraph with more details referred to a future separate entry on differential equation in cohesive topos or alike. I know that topos people like Marta Bunge considered certain spaces of distributions which have something in common with distributions in the sense of Sobolev and Schwartz; maybe one can consider something like those to define weak solutions in cohesive topos ? This would be very interesting. I also remind of Sullivan’s ideas that derived geometry should be useful in fluid mechanics quoted in homological algebra in the finite element method: Dennis Sullivan, Algebra, topology and algebraic topology of 3D ideal fluids, arxiv/1010.2721 (has some ideas on need of a version of higher geometry, hence of homological methods in particular, at the very end of the article)

    4. Difference equations do not properly belong to the differential equations, but I suspect that they do, when the subject is considered in appropriate generalized, noncommutative, sense. For example, doing D-modules on quantum groups leads to certain difference equations.

    For a related mind teaser let me mention something related. I have asked in MathOverflow a question on new frameworks in PDE-s and for about a couple of weeks, no answer, nor even a comment (though quite many upvotes for the question)

    http://mathoverflow.net/questions/129631/recent-fundamental-new-directions-in-pdes

    • CommentRowNumber12.
    • CommentAuthorMike Shulman
    • CommentTimeMay 20th 2013

    Isn’t “an algebraic equation defining a variety over different rings simultaneously” what people nowadays call a ’scheme’?

    • CommentRowNumber13.
    • CommentAuthorzskoda
    • CommentTimeMay 20th 2013
    • (edited May 20th 2013)

    Yes, if understood as a functor. I do not know of an analogous site to AffAff such that MM-points for a DD-scheme would give a functor and such that different cases of MM correspond to something what are in special standard cases spaces of weak solutions as distributions, as elements of Sobolev spaces, hyperfunctions and alike. I am not saying that it is impossible to find a fairly good site for this, containing the information enabling a dozen of most important examples of functional spaces of solutions to be defined this (or similar) way, but so far it has not been done.

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)