Not signed in (Sign In)

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-category 2-category-theory abelian-categories adjoint algebra algebraic algebraic-geometry algebraic-topology analysis analytic-geometry arithmetic arithmetic-geometry book bundles calculus categorical categories category category-theory chern-weil-theory cohesion cohesive-homotopy-type-theory cohomology colimits combinatorics complex complex-geometry computable-mathematics computer-science constructive cosmology deformation-theory descent diagrams differential differential-cohomology differential-equations differential-geometry digraphs duality elliptic-cohomology enriched fibration finite foundation foundations functional-analysis functor gauge-theory gebra geometric-quantization geometry graph graphs gravity grothendieck group 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 integration integration-theory k-theory lie-theory limits linear linear-algebra locale localization logic mathematics measure-theory modal modal-logic model model-category-theory monad monads monoidal monoidal-category-theory morphism motives motivic-cohomology nlab noncommutative noncommutative-geometry number-theory of operads operator operator-algebra order-theory pages pasting philosophy physics 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 sheaves simplicial space spin-geometry stable-homotopy-theory stack string string-theory superalgebra supergeometry svg symplectic-geometry synthetic-differential-geometry terminology theory topology topos topos-theory tqft 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.
    • CommentAuthorMike Shulman
    • CommentTimeNov 28th 2013

    I just got around to reading Dray and Manogue’s paean to differentials. Most of it I agree with, but I am confused by their antagonism towards differentials for linear approximation.

    Some of what they say seems just wrong, e.g. they claim (bottom of p95) that between a functional relationship y=f(x)y=f(x) and its inverse x=f 1(y)x = f^{-1}(y) the resulting notions of dxdx and dydy are different, but I don’t see it. It seems to me what’s different is rather the relationship between Δx\Delta x and Δy\Delta y and dxdx and dydy. Specifically, for y=f(x)y=f(x) we have Δx=dx\Delta x = dx but Δydy\Delta y \neq dy, while for x=f 1(y)x = f^{-1}(y) we have Δy=dy\Delta y = dy and Δxdx\Delta x \neq dx, but in both cases the dd’s represent changes along the tangent line to the curve.

    They also say that using differentials for linear approximation obstructs their use as infinitesimals, but I don’t see that either. Quite the opposite, in fact: I would say that infinitesimals are a way of making precise exactly what a linear approximation is. The idea of a linear approximation is that when xx is close to aa, then f(x)f(x) is close to f(a)+f(a)(xa)f(a) + f'(a)(x-a), but what does that mean exactly? You can say it with epsilons and deltas, but it’s more intuitive to say it with infinitesimals: when xx is first-order close to aa, then f(x)f(x) is second-order close to f(a)+f(a)(xa)f(a) + f'(a)(x-a). Isn’t it important in applications outside of mathematics that a Taylor series approximates a function even for appreciable (non-infinitesimal) changes? Frequently it seems that in practice we use the smooth (infinitesimal change) to approximate the discrete (appreciable change). And the notation isn’t contradictory either: dy=f(x)dxdy = f'(x) dx makes sense as a relationship between dxdx and dydy as they range over both infinitesimals and appreciable values; we use the infinitesimal version to define the relationship and work with it formally, but the appreciable one in applications.

    • CommentRowNumber2.
    • CommentAuthorUrs
    • CommentTimeNov 28th 2013

    I would say that infinitesimals are a way of making precise exactly what a linear approximation is.

    Yes, indeed. The finite order in “nilpotent element” is precisely the finite order in “linear approximation to some order”.

    It is also striking that their list of formalizations of infinitesimals on p. 96 (7 of 11) omits what is probably the best way, namely Grothendieck’s way as later highlighted in its essence by Lawvere and as used all the time by all algebraic geometers (and in fact intuitively by many physicists without formal mathematical training).

    • CommentRowNumber3.
    • CommentAuthorMike Shulman
    • CommentTimeNov 28th 2013

    It is odd that they omit nilpotent infinitesimals. FWIW, though, my current opinion is that for pedagogical purposes, and perhaps for many applied fields as well, invertible infinitesimals are preferable to nilpotent ones.

    • CommentRowNumber4.
    • CommentAuthorTodd_Trimble
    • CommentTimeNov 28th 2013

    It is probably worth adding that one can formalize the Dirac distribution via invertible infinitesimals, but not via nilpotent ones.

    • CommentRowNumber5.
    • CommentAuthorTobyBartels
    • CommentTimeNov 30th 2013

    To me, the most annoying error is right there on the front page, where they put ‘dividing’ in scare quotes. It is quite literally the operation of division! To shy away from that is exactly the kind of thinking that leads to banishing differentials in the first place.

    • CommentRowNumber6.
    • CommentAuthorTobyBartels
    • CommentTimeNov 30th 2013

    I also object to their division between differentials of equations and differentials of functions. There's only one kind of differential (in their paper), which is the differential of an expression/quantity. As applications, these are different; the first starts with two quantities uu and vv and uses the theorem that du=dv\mathrm{d}u = \mathrm{d}v if u=vu = v (and either du\mathrm{d}u or dv\mathrm{d}v exists), while the second starts with a quantity uu and a function ff and uses the theorem that df(u)=f(u)du\mathrm{d}f(u) = f'(u) \,\mathrm{d}u (if du\mathrm{d}u exists and ff' is defined at uu). But it's the same operation d\mathrm{d}.

    • CommentRowNumber7.
    • CommentAuthorTobyBartels
    • CommentTimeNov 30th 2013

    I would also consider their calculation for the problem on pages 92&93 to be in error, in the step where they move from the last equation with differentials to the following one. The basic principle of optimization is that the maximum or minimum value of uu can only occur when du\mathrm{d}u is 00 or undefined; so having established that d=(a/pb/q)da\mathrm{d}\ell = (a/p - b/q) \,\mathrm{d}a, they should conclude that the extreme values of \ell occur only when a/pb/q=0a/p - b/q = 0, p=0p = 0, q=0q = 0, da=0\mathrm{d}a = 0, or da\mathrm{d}a is undefined. The last two possibilities can only be dealt with by examining the nature of aa in the context of the original problem, to see that it is possible to vary aa smoothly (so da\mathrm{d}a is defined) and without pausing (so da0\mathrm{d}a \ne 0) except for the extreme cases where a=0a = 0 or b=0b = 0. (After all, it would be illegitimate to write d=1d\mathrm{d}\ell = 1 \,\mathrm{d}\ell and conclude that \ell has no extreme values because 1=01 = 0 has no solution. At some point you must check that you've used a differential of a quantity whose critical behaviour you already understand.) Since p=0p = 0 and q=0q = 0 are impossible, this leaves us with (only) these extreme cases in addition to the one considered in the paper. As it happens, while they derive the minimum value of \ell, one of the extreme cases gives us the maximum value of \ell; both extremes occur.

    • CommentRowNumber8.
    • CommentAuthorTobyBartels
    • CommentTimeNov 30th 2013

    As to the point at hand … I teach that an equation involving infinitesimals leads to an approximate equation involving finitesimal (or ‘appreciable’, that's a good word) differences. So for example, from v=u 2v = u^2, we derive dv=2udu\mathrm{d}v = 2 u \,\mathrm{d}u and so Δv2uΔu\Delta{v} \approx 2 u \,\Delta{u}.1 (I delay discussion of the precision of this approximation to the treatment of Taylor polynomials in the sequence on infinite series, although in principle that could be done earlier.) Dray & Manogue's discussion here seems particularly confused, especially the bit about ff and yy agreeing on the graph of the function (which is largely moot) and their use of Δy\Delta{y} for the approximate change in yy (which I would consider unforgivable).

    But I can understand their objection to the textbook treatment; if you motivate differentials as infinitesimal changes, then using dx\mathrm{d}x and dy\mathrm{d}y for appreciable quantities (whether Δy\Delta{y} and Δx\Delta{x} themselves or merely approximations thereto) seems wrong. If you instead motivate differentials as changes in a linear approximation, then this is not a problem, but this is not a motivation that I would give students when I introduce them (even though ultimately it underlies the rigorous definition).

    Still, they seem to say that linear approximation requires giving a name to the function that yy is of xx, and that's just not true. Particularly in applications, there is no need to do this (just as there is no need to give a name to the function that \ell is of aa in the optimization problem). So, we need to use differentials of equations here, and that's what I do; but rather than identify a differential with either a difference or an approximation thereto, I give the rule (as I gave it above) that you can change differentials to differences in an equation so long as you also change equality to approximate equality.


    1. Here's a bug in iTeX; \Delta comes out in italics by default (which I don't mind) yet \mathrm may not be applied to it (which I do mind). 

    • CommentRowNumber9.
    • CommentAuthorTobyBartels
    • CommentTimeNov 30th 2013

    I don't like to identify the differentials of Calculus with either nilpotent infinitesimals or nonstandard infinitesimals. I want them to be invertible (in appropriate contexts), so that I can write dy/dx\mathrm{d}y/\mathrm{d}x, and I also want dy/dx\mathrm{d}y/\mathrm{d}x to be equal (not merely adequal) to the derivative. So to me, they are differential forms in the sense of standard differential geometry; and even though I use Lawvere's ideas to explain (or to avoid explaining) what space they are differential forms on, I'm not doing SDG.

    • CommentRowNumber10.
    • CommentAuthorUrs
    • CommentTimeNov 30th 2013
    • (edited Nov 30th 2013)

    Todd, one can formalize the Dirac distribution also without any infinitesimals at all.

    Seriously, I think there is overwhelming pactical evidence that nilpotent infinitesimals is the right way to do differential calculus, while there is close to no practical evidence for the use of non-nilpotent infinitesimals.

    • CommentRowNumber11.
    • CommentAuthorTobyBartels
    • CommentTimeNov 30th 2013

    Of course, their statement on page 98 about dxdy=rdrdθ\mathrm{d}x \,\mathrm{d}y = r \,\mathrm{d}r \,\mathrm{d}\theta, that it's at best shorthand for an equality of integrals, does not go far enough either. It is rather an equation between absolute differential forms which may be calculated as follows:

    dxdy=|dxdy|=|d(rcosθ)d(rsinθ)|=|(cosθdrrsinθdθ)(sinθdr+rcosθdθ)|=|sinθcosθdrdr+rcos 2θdrdθrsin 2θdθdrr 2sinθcosθdθdθ|=|sinθcosθ0+rcos 2θdrdθ+rsin 2θdrdθ+r 2sinθcosθ0|=|rdrdθ|=|r||drdθ|=rdrdθ. \mathrm{d}x \,\mathrm{d}y = {|\mathrm{d}x \wedge \mathrm{d}y|} = {|\mathrm{d}(r \cos\theta) \wedge \mathrm{d}(r \sin\theta)|} = {|(\cos\theta \,\mathrm{d}r - r \sin\theta \,\mathrm{d}\theta) \wedge (\sin\theta \,\mathrm{d}r + r \cos\theta \,\mathrm{d}\theta)|} = {|\sin\theta \cos\theta \,\mathrm{d}r \wedge \mathrm{d}r + r \cos^2\theta \,\mathrm{d}r \wedge \mathrm{d}\theta - r \sin^2\theta \,\mathrm{d}\theta \wedge \mathrm{d}r - r^2 \sin\theta \cos\theta \,\mathrm{d}\theta \wedge \mathrm{d}\theta|} = {|\sin\theta \cos\theta \,0 + r \cos^2\theta \,\mathrm{d}r \wedge \mathrm{d}\theta + r \sin^2\theta \mathrm{d}r \wedge \mathrm{d}\theta + r^2 \sin\theta \cos\theta \,0|} = {|r \,\mathrm{d}r \wedge \mathrm{d}\theta|} = {|r|} {|\mathrm{d}r \wedge \mathrm{d}\theta|} = r \,\mathrm{d}r \mathrm{d}\theta .

    I teach this in the multivariable term in place of the Jacobian determinant (although there are tricks to speed it up).

    • CommentRowNumber12.
    • CommentAuthorTodd_Trimble
    • CommentTimeNov 30th 2013

    Urs #10, surely you don’t believe I don’t know that?? That’s why I used the phrase “can be formalized” – not “are formalized”.

    • CommentRowNumber13.
    • CommentAuthorTodd_Trimble
    • CommentTimeNov 30th 2013

    Actually, though, I think the assertions in the second paragraph of #10 are deserving of more careful articulation and supporting evidence, since I am sure there are many mathematicians who would instinctively disagree with such dogma. To be clear: maybe you’re right, Urs, but such a sweeping dismissal of invertible infinitesimals does deserve at least some explanation by someone.

    • CommentRowNumber14.
    • CommentAuthorzskoda
    • CommentTimeNov 30th 2013
    • (edited Nov 30th 2013)

    When I studied nonstandard analysis, I read at several places that there are places in applied mathematics where they have several infinitesimal scales involved which are not functionally dependent, and that there are subtle kinds of convergence suited to deal with such situations; so it is intuitively easier to indeed have infinitesimals whose smallness s not scaled as powers of a fixed infinitesimal. It does not look to me that this is straightforward to treat with nilpotent infinitesimals.

    On the other hand, nonstandard analysis is not only bringing the infinitesimals but the transfer principle which makes automatic transfer of one whole class of theorems. In SDG one needs to work in a special way with infinitesimals and prove many theorems from scratch. By no means SDG replaces nonstandard analysis in all important applications. For example, Keistler is emphasising a power of very rich functional spaces of nonstandard analysis, e.g. Loeb probability spaces.

    • CommentRowNumber15.
    • CommentAuthorMike Shulman
    • CommentTimeNov 30th 2013

    Good points, Zoran. In general, I am skeptical of claims that any one way to do something is “the right way”.

    • CommentRowNumber16.
    • CommentAuthorzskoda
    • CommentTimeNov 30th 2013
    • (edited Nov 30th 2013)

    Even if one accepts not to do nonstandard kind of differentals, there are other kinds of nonnilpotent infinitesmals, namely it is useful also to work with full completion rather than finite nilpotent thickenings; e.g. theorems on formal functions around a subvariety, which are supported on the completion; they are not supported at any nilpotent level but at the colimit where the differentials are still infinitesimal in the sense that the series does not converge in finitary sense, and they are not nilpotent as all powers contribute. Zariski’s algebraic geometry could not make sense of those and Grothendieck did in his related work.

    I do not know if formal functions along (=normal to) submanifold in SDG have their status already at the axiomatic level or one needs to go to a specific model ?

    • CommentRowNumber17.
    • CommentAuthorMike Shulman
    • CommentTimeNov 30th 2013

    The word “appreciable” is from nonstandard analysis literature. I’m not sure how standard (npi) it is.

    • CommentRowNumber18.
    • CommentAuthorMike Shulman
    • CommentTimeDec 2nd 2013

    I actually don’t even know how to do ordinary 1-variable integration with nilpotent infinitesimals. The only SDG treatments of integration that I’ve seen basically postulate it as an axiom, which is not really satisfying, especially pedagogically.

    • CommentRowNumber19.
    • CommentAuthorMike Shulman
    • CommentTimeDec 2nd 2013

    Re #8 and #9, my inclination would be to say that the differential of a quantity is another quantity that represents the first-order change in the first quantity. Since the meaning of “first-order” is relative to some (explicitly or implicitly) chosen scale, it could be either infinitesimal or appreciable depending on context, but in either case there is still the intuition of it being “small”. We can define precisely what differentials mean by using (invertible) infinitesimals — or using appreciables, with epsilons and deltas — but once we’ve done that then there’s nothing wrong with plugging in either kind of value. And because the differential only represents the first-order change, the quotient dy/dxdy/dx is always equal to the derivative.

  1. @Toby #9

    So to me, they are differential forms in the sense of standard differential geometry; and even though I use Lawvere’s ideas to explain (or to avoid explaining) what space they are differential forms on, I’m not doing SDG.

    I’m not sure if differential forms in standard differential geometry are superior to non-invertible differentials when it comes to making sense of a fraction dydx\frac{dy}{dx}. In fact a single differential form dxdx is not invertible (1dx\frac{1}{dx} is not defined) just as for nilsquare infintesimals. What we mean by dydx\frac{dy}{dx} is the ratio of differentials, which makes sense whenever there is a variable quantity ff such that dy=fdxdy=fdx. This probably makes sense for any flavour of differentials.

    • CommentRowNumber21.
    • CommentAuthorMichael_Bachtold
    • CommentTimeDec 3rd 2013
    • (edited Dec 3rd 2013)

    @Zoran 14:

    When I studied nonstandard analysis, I read at several places that there are places in applied mathematics where they have several infinitesimal scales involved which are not functionally dependent, and that there are subtle kinds of convergence suited to deal with such situations;

    That sounds interesting, do you remember where you read that or what examples they where talking about?

    @Mike 18:

    The only SDG treatments of integration that I’ve seen basically postulate it as an axiom, which is not really satisfying, especially pedagogically.

    I’ve also been wondering about this recently. If I recall correctly SDG postulates the existence of antiderivatives by an axiom and defines the definite integral by the fundamental theorem of calculus. So actually there is no fundamental theorem of calculus in SDG (correct me if I’m wrong).

    So how could one restore a fundamental theorem of calculus inside SDG? Related question: how to do things like numerical integration inside SDG? Is there a notion of “discrete approximation” of a space inside SDG? The limit (in the categorical sense) of a family of discrete spaces approximating another space?

    Edit: I had a look at the 2009 Book by Kock Synthetic geometry of manifolds where he says p106: “Integration theory in SDG is not very well developed; in most places, like in [36], the theory depends on anti-derivatives. The present text is no exception, and the theory here is even more primitive than in [36]” Here [36] is the older book by Kock on SDG.

    • CommentRowNumber22.
    • CommentAuthorzskoda
    • CommentTimeDec 3rd 2013

    do you remember where you read that or what examples they where talking about

    I think it was first time from Hoegh-Krohn, but came across later as well. Once I am back from next week conference I will be glad to search for his examples.

    • CommentRowNumber23.
    • CommentAuthorTobyBartels
    • CommentTimeDec 3rd 2013

    @Michael #20: The reciprocal of a nowhere-00 differential on a 11-dimensional manifold is defined (and the reciprocal of any differential on a 11-dimensional manifold is partially defined); this generalizes to any line bundle. (In fact, since the reciprocal line bundle is the dual line bundle, the reciprocal of dx\mathrm{d}x is the vector field /x\partial/\partial{x} (no subscripts necessary). The notation /x\partial/\partial{x} (or d/dx\mathrm{d}/\mathrm{d}x) is for the application of this vector field to scalar fields, which is really the combination of applying the differential and then the pairing of vector fields with covector fields (aka differential 11-forms). So 1/dx1/\mathrm{d}x is appropriate notation when we're going to multiply directly by a differential.)

    However, you are correct that dy/dx\mathrm{d}y/\mathrm{d}x can mean the unique solution ff to dy=fdx\mathrm{d}y = f \,\mathrm{d}x, without any meaning given to 1/dx1/\mathrm{d}x. This is important, since sometimes we want dy/dx\mathrm{d}y/\mathrm{d}x without assuming that the unspecified underlying space is 11-dimensional. So your broader point, that the notation works just fine with nilpotent infinitesimals, is correct.

  2. I see, thanks for clarifying.

    • CommentRowNumber25.
    • CommentAuthorMike Shulman
    • CommentTimeDec 11th 2013

    It’s a thousand pities that the phrase “differential equation” has come to mean what should really be called a “derivative equation”. So what kind of equation is, say, 2xdx+2ydy=02x \, dx + 2y \, dy = 0?

    • CommentRowNumber26.
    • CommentAuthorZhen Lin
    • CommentTimeDec 11th 2013

    The two notions are not so different in the one-variable, first-order case. So I would still call that a differential equation.

    • CommentRowNumber27.
    • CommentAuthorTobyBartels
    • CommentTimeDec 11th 2013

    Yes, I agree with Zhen. Yesterday I told my students ‘A differential equation is an equation with differentials or derivatives in it.’ and gave these three examples, all essentially equivalent:

    • dy=3ydx\mathrm{d}y = 3 y \,\mathrm{d}x,
    • dydx=3y\displaystyle \frac{\mathrm{d}y}{\mathrm{d}x} = 3 y,
    • f(x)=3f(x)f'(x) = 3 f(x).
    • CommentRowNumber28.
    • CommentAuthorTobyBartels
    • CommentTimeDec 11th 2013
    • (edited Dec 11th 2013)

    A higher order differential equation (even partial) is equivalent to a system of equations in which differentials (and no derivatives) appear. For example,

    2ux 2+ 2uy 2=0 \frac{\partial^2{u}}{\partial{x}^2} + \frac{\partial^2{u}}{\partial{y}^2} = 0

    is equivalent to the system

    du=Adx+Bdy, \mathrm{d}u = A \,\mathrm{d}x + B \,\mathrm{d}y , dA=Cdx+Ddy, \mathrm{d}A = C \,\mathrm{d}x + D \,\mathrm{d}y , dB=Ddx+Edy, \mathrm{d}B = D \,\mathrm{d}x + E \,\mathrm{d}y , C+E=0. C + E = 0 .

    I don't know that this is worth it!

    Alternatively, using higher differentials, we could write

    d 2u=Cd 2x+Adx 2+2Ddxdy+Ed 2y+Bdy 2, \mathrm{d}^2u = C \,\mathrm{d}^2x + A \,\mathrm{d}x^2 + 2 D \,\mathrm{d}x \,\mathrm{d}y + E \,\mathrm{d}^2y + B \,\mathrm{d}y^2 , C+E=0. C + E = 0 .

    Or even

    d 2u=Cd 2x+Adx 2+2DdxdyCd 2y+Bdy 2; \mathrm{d}^2u = C \,\mathrm{d}^2x + A \,\mathrm{d}x^2 + 2 D \,\mathrm{d}x \,\mathrm{d}y - C \,\mathrm{d}^2y + B \,\mathrm{d}y^2 ;

    there you go, a second-order–differential equation!

    • CommentRowNumber29.
    • CommentAuthorMike Shulman
    • CommentTimeDec 11th 2013

    Okay, if anyone comes complaining to me about calling equations-with-differentials “differential equations”, I’ll cite you guys. (-: But I’m not entirely happy with

    A differential equation is an equation with differentials or derivatives in it

    because it would include equations like

    (dy) 2=dx+e dx (dy)^2 = \sqrt{dx} + e^{dx}
    • CommentRowNumber30.
    • CommentAuthorTobyBartels
    • CommentTimeDec 12th 2013

    Would you say that a vector equation is an equation with vectors in it? How about

    v+x=0 \vec{v} + x = 0

    ?

    • CommentRowNumber31.
    • CommentAuthorMike Shulman
    • CommentTimeDec 12th 2013

    No, I would not. In fact, I don’t think I’ve ever had occasion to use the phrase “vector equation”.

    • CommentRowNumber32.
    • CommentAuthorTobyBartels
    • CommentTimeDec 13th 2013

    Oh. Well, I have.

    I guess that my point is that your example is ill formed.

    • CommentRowNumber33.
    • CommentAuthorMike Shulman
    • CommentTimeDec 13th 2013

    How do you define “ill formed”?

    • CommentRowNumber34.
    • CommentAuthorTobyBartels
    • CommentTimeDec 15th 2013

    I'm inclined to say that your example fails to be a differential equation for the same reason that

    x/= 2y+e ( x/ = {}^2y + e^(

    fails to be an equation at all. There is no universal definition of what makes something well formed or ill formed; but one must establish that one's equation has meaning before writing it down.

    That said, in both the vector-equation and differential-equation case, the problem is a matter of homogeneity or dimensionalysis. Don't add vectors to scalars, don't add first-order differentials to second-order ones, don't add distances to speeds, etc. Of course, this is not a universal rule; the geometric algebraists break it all the time, but this only splits things up into several independent equations. From that perspective, my equation

    v+x=0 \vec{v} + x = 0

    splits into this system of equations:

    • v=0\vec{v} = 0 (vector),
    • x=0x = 0 (scalar).

    (The unique solution is now immediate.)

    So following this, your example

    (dy) 2=dx+e dx (dy)^2 = \sqrt{dx} + e^{dx}

    splits into the following infinite system of differential equations:

    • 0=10 = 1 (order 00)
    • 0=dx0 = \sqrt{dx} (order 1/21/2),
    • 0=dx0 = dx (order 11),
    • dy 2=dx 2/2dy^2 = dx^2/2 (order 22),
    • 0=dx 3/60 = dx^3/6 (order 33),
    • 0=dx 4/240 = dx^4/24 (order 44),
    • 0=dx 5/1200 = dx^5/120 (order 55),
    • etc.

    (Thanks to the first equation, this system has no solutions.) Possibly e dxe^{dx} should be given some other interpretation; but that's the job of the person writing down the equation, I'm just trying to be generous by coming up with something.

    • CommentRowNumber35.
    • CommentAuthorMike Shulman
    • CommentTimeDec 15th 2013

    That makes sense to me, but do you explain it that way to your students? I would expect that dxdx looks just like another variable to them. How do you define “differential” for them in such a way that “don’t add first-order differentials to second-order ones” makes sense?

    • CommentRowNumber36.
    • CommentAuthorTobyBartels
    • CommentTimeDec 16th 2013

    Now I see your point; I don't really explain that to the students.

    That said, I do tell them (much earlier, when discussing how to spot errors in the calculation of the differential of an expression) that if they see an expression with two terms, one of which has a differential factor and one of which doesn't, then there has been a mistake. (Especially in the context of an equation, I can explain this by saying that something infinitely small can't be equal to something finitely small.) So if somebody did see

    (dy) 2=dx+e dx, (dy)^2 = \sqrt{dx} + e^{dx} ,

    then I could explain that the problem is similar (especially since e dxe^{dx} is finitesimal).

    We only really deal with first-order differential equations in any of the classes that I teach.

    • CommentRowNumber37.
    • CommentAuthorZhen Lin
    • CommentTimeDec 16th 2013

    Can’t this be tackled with traditional dimensional analysis, at least in physically meaningful cases? You can’t add an area to a volume, after all.

    • CommentRowNumber38.
    • CommentAuthorTobyBartels
    • CommentTimeDec 16th 2013

    It's certainly the same kind of issue, but if xx and yy are dimensionless quantities, still Mike's equation is unbalanced.

    • CommentRowNumber39.
    • CommentAuthorMike Shulman
    • CommentTimeDec 16th 2013

    And if xx and yy are lengths, then x 2dy=y(dx) 2x^2 \, dy = y\, (dx)^2 is dimensionally balanced but differentially unbalanced.

    Toby, I wish I could sit in on one of your classes from start to end. (-: Clearly you’ve thought all this out very carefully, and I sort of have a sense of how you do it after all of our discussions, but not, I think, enough to replicate it myself.

    • CommentRowNumber40.
    • CommentAuthorTobyBartels
    • CommentTimeDec 18th 2013
    • (edited Dec 18th 2013)

    Well, I've thought it out enough to fake whatever I haven't thought out!

    One can partly sit in on my classes by reading the notes (near the bottom) for Applied Calculus, regular Calculus, and multivariable Calculus.

    • CommentRowNumber41.
    • CommentAuthorTobyBartels
    • CommentTimeDec 18th 2013

    I want to redo the discussion of differentials in the last to emphasize curves instead of vectors as the thing that differentials act on, to be less dependent on the precise nature of the unspecified domain.

    • CommentRowNumber42.
    • CommentAuthorUrs
    • CommentTimeDec 19th 2013
    • (edited Dec 19th 2013)

    Sorry for the belated reaction, now from my phone:

    Sorry Todd, I did not mean to imply you did not know it, but I did object to the suggestion that there is a defect of nilpotent infinitesimals which is cured by nonstandard analysis.

    For the sake of argument, I’ll keep insisting on that. Mike may be sceptical of general claims, but empirically by looking at what happens in practice, this is what I see.

    Zoran means to give a counterexample above, but I doubt it: certainly with nilpotent infinitesimals it is not true that they are all proportional to each other. On the contrary.

    I see nilpotent differentials govern large areas of maths and deeply so. On the other hand I see nonstandard anaysis as a hack that proves that it can be done if one insists, but that does not show up naturally.

    One thing that would convince me of nonstandard analysis is if it could be shown to model differential cohesion, as Toby suggested recently in another thread. That would be neat. But I don’t quite see it yet.

    • CommentRowNumber43.
    • CommentAuthorUrs
    • CommentTimeDec 19th 2013
    • (edited Dec 19th 2013)

    Concerning integration: we once had this discussion before in another thread: in 1-categorical SDG one needs an integration axiom, but not in homotopy SDG. Here integration of (Kaehler) differential forms is given by the quotient of forms modulo homotopy given by closed forms on a disk. This is described for instance in the nlab entry on Lie integration.

    • CommentRowNumber44.
    • CommentAuthorTodd_Trimble
    • CommentTimeDec 19th 2013

    Actually, I see Zoran’s stronger point as being the existence of a transfer principle for nonstandard analysis on invertible infinitesimals.

    • CommentRowNumber45.
    • CommentAuthorDavid_Corfield
    • CommentTimeDec 19th 2013

    To repeat what I wrote elsewhere:

    I wonder if the difference between nilpotent and invertible infinitesimals has something to do with the not altogether straightforward relationship between category theory and model theory, that we once discussed. I mean, you never make any use of that very model-theoretic transfer principle with nilpotent infinitesimals, do you? Perhaps this relates to the difference between geometric and logical morphisms in toposes.

    The transfer principle was used by Ngo in his proof of the fundamental lemma. Interesting that it’s appearing in such a core area of maths. I wonder if there’s something fundamental there, or merely a “hack”.

    • CommentRowNumber46.
    • CommentAuthorColin Tan
    • CommentTimeDec 19th 2013
    For a historic example, the transfer principle was used by Artin in his solution of Hilbert's 17th problem. To prove that every nonnegative real polynomial is a sum of squares of rational functions, Artin used the model completeness of the theory of real closed fields to execute his transfer. Later proofs/ generalizations of this result come under the name Real Nullstellensatz and are proved by considering an object known as the real spectrum. This contrast seems to be an example of what David is alluding to above, the historic model theoretic approach and the later more flexible categorical approach.

    Does Cohen's proof of the independence of the continuum hypothesis and the later clarification of double negation as booleanification count as an example in this spirit?

    In category theory, we often say that, rather than a category of good objects, we rather work with a good category (completeness, cocompleteness, presentability) of objects. In model theory, the corresponding slogan would be, rather than a theory with good models, we rather work with a good theory (uncountable categoricity, quantifier elimination) of models.
    • CommentRowNumber47.
    • CommentAuthorMike Shulman
    • CommentTimeDec 19th 2013

    In case anyone’s antipathy to it arises from not knowing this, nonstandard analysis does have a nice category-theoretic description: it’s the filterpower construction on a topos. The canonical functor from a topos to its filterpower is logical and conservative, and that is the transfer principle in a nutshell. From this perspective you can also think of the topos of nonstandard analysis as the “germ at infinity” of the topos of infinite sequences, which is certainly a natural construction and not a hack. There are more toposes in heaven and earth, Horatio. (-:

    And I don’t think I can teach Calc I students about Kaehler differential forms and homotopy SDG. I don’t even understand myself what the stuff at Lie integration would look like in SDG – it all seems to be expressed in terms of concrete models?

    Anyway, I suggest, Urs, that you not think of NSA as a competitor to SDG, even though they both contain things called “infinitesimals”, but as another tool in the mathematician’s toolbox which serves different purposes.

    • CommentRowNumber48.
    • CommentAuthorUrs
    • CommentTimeDec 19th 2013
    • (edited Dec 19th 2013)

    Colin, what would be the relation of this application of the transfer principle to differential calculus eith explicit differentials?

    Mike, we seem to be talking past each other. Not everything that is expressed in topos theory is therefore the natural way to do something. Maybe remember the sympathies and antipathies towards Bohr toposes for another example of just this question.

    I still find that when I look around then sdg differentials play a thorough and foundational role in differential geometry both in its basic formulation but in particular in a bunch of powerful modern refinements. All of derived algebraic geometry, all of D-geometry and all the applications to pde theory, variational calculus etc that this has

    In contrast, for nonstandard analysis the main statement is that elementary calculus can be phrased this way. Is there anything that goes further?

    • CommentRowNumber49.
    • CommentAuthorUrs
    • CommentTimeDec 19th 2013
    • (edited Dec 19th 2013)

    By the way, also nilpotent differentials have their transfer principle: that’s the statement that for instance the Cahier topos is a model for differential cohesion. This means in particular that there is a certain geometric morphism from the standard smooth topos to that with synthetic infinitesimals.

    But i’d think these transfer principles are part of the notion of infinitesimals themselves. Saying that nonstandard analysis is good because it has a transfer principle is a bit like saying that the natural numbers are good because they have an element called zero

    • CommentRowNumber50.
    • CommentAuthorMike Shulman
    • CommentTimeDec 19th 2013

    If you are really interested in applications of nonstandard analysis, you could try reading some books. Here are a few on my shelf:

    • Nelson, Radically elementary probability theory
    • Diener-Diener (eds.), Nonstandard analysis in practice
    • Imme van den Berg, Nonstandard asymptotic analysis
    • Leob-Wolff (eds.), Nonstandard analysis for the working mathematician.

    I haven’t digested everything in these books, but I’ve learned a lot from them, and each of them goes way beyond elementary calculus. But perhaps the point of departure is that most of the applications are to analysis, whereas in #48 you seem to prefer applications to geometry. Analysis is an area of math that often doesn’t seem especially amenable to elegant category-theoretic formulations, but that doesn’t make it less important. Nonstandard analysis, essentially because it is a “synthetic” way to talk about orders of magnitude, does seem like it provides a more elegant way to do a lot of analysis.

    In other words, there’s a reason we say “nonstandard analysis” but “synthetic differential geometry”. (-:

    • CommentRowNumber51.
    • CommentAuthorMike Shulman
    • CommentTimeDec 19th 2013
    • CommentRowNumber52.
    • CommentAuthorUrs
    • CommentTimeDec 19th 2013
    • (edited Dec 19th 2013)

    Thanks, Mike, for the analysis/differential geometry dichotomy. I’ll think about that.

    I have added the references that you displayed to nonstandard analysis – References. Incidentally, that makes the list already available there a bit longer still; and my impression is that it would be useful if some expert organized these items a little and/or added some comments as to why one would want to track down which of them.

    • CommentRowNumber53.
    • CommentAuthorzskoda
    • CommentTimeDec 19th 2013
    • (edited Dec 19th 2013)

    for nonstandard analysis the main statement is that elementary calculus can be phrased this way. Is there anything that goes further?

    Surely, there are advanced objects like Loeb nonstandard probability spaces, nonstandard set theory, transfer at the level of certain topoi in the picture etc. Nonstandard analysis is not only about analysis.

    • CommentRowNumber54.
    • CommentAuthorzskoda
    • CommentTimeDec 19th 2013
    • (edited Dec 19th 2013)
    • V. A. Lyubetskiĭ, Оценки и пучки. О некоторых вопросах нестандартного анализа, Uspekhi Mat. Nauk 44 (1989), no. 4(268), 99–153, 256; translation Valuations and sheaves. On some questions of non-standard analysis, in Russian Math. Surveys 44 (1989), no. 4, 37–112 MR1023104 doi IOP pdf rus pdf

    We present some parts of a mathematical theory that is sometimes called Heyting-valued analysis (or nonstandard analysis in the broad sense). Sometimes this theory is considered as a part of general topos theory. One may surmise that this theory has some applications outside mathematical logic as well: in algebra and analysis, and even in a still wider context, for example, as in A. Robinson’s well-known work on the application of nonstandard analysis in quantum field theory.

    In Chapter I we present the actual method of Heyting-valued (in particular, Boolean-valued) analysis. Chapters II–IV contain specific examples of applications of the method of Heyting-valued analysis. In Chapter II we primarily consider the problem of the existence of a model companion of a locally axiomatizable class of rings. In Chapter III we consider a conjecture of P. S. Novikov [cf. Selected works (Russian), see p. 127, “Nauka”, Moscow, 1979; MR0545907 (80i:01017)]. In this chapter we discuss the transfer from classical to intuitionistic validity in an arbitrary ring. Novikov’s paper established the possibility of such a transfer in the case of the ring Z. In Chapter IV, we construct, for some rings of continuous Y-valued functions (as algebras over the ring Y), a nonstandard representation Y˜ such that in a certain sense this algebra is similar to its ring of scalars Y. The appendix briefly describes examples of applications of Boolean-valued analysis in connection with problems of duality. Practically all the theorems and propositions are given complete proofs.

    • CommentRowNumber55.
    • CommentAuthorzskoda
    • CommentTimeDec 19th 2013
    • (edited Dec 19th 2013)

    Just a sample set-theoretic treatise in the framework of nonstandard analysis.

    • В. Г. Кановей, В. А. Любецкий, Проблемы теоретико-множественного нестандартного анализа, pdf; transl. Vladimir G Kanovei, Vasilii A Lyubetskii, Problems of set-theoretic non-standard analysis, 2007 Russ. Math. Surv. 62 45 MR2352413 doi IOP pdf
    • CommentRowNumber56.
    • CommentAuthorUrs
    • CommentTimeDec 19th 2013

    Zoran, thanks for taking the time to provide more pointers. But I think your choice of examples – e-g- nonstandard probability spaces – confirms that the distinction between analysis and differential calculus which Mike amplified above is relevant. Probability spaces are not a topic involving differential calculus.

    For me that suggestion of Mike’s is a good conclusion of this little debate here, and I’d tend to leave it at that for the moment, since I should be looking into other things. If I had more time I would maybe add a little paragraph to this effect to the nLab entry.

    • CommentRowNumber57.
    • CommentAuthorColin Tan
    • CommentTimeDec 20th 2013
    Urs, referring to comments 45,46 and 48, I was trying to illustrate the difference within the model theoretic and the category theoretic approaches to using differentials in calculus, in response to David's comments. Using a nilpotent differential amounts to the category theoretic approach of having a good category of objects. A ring with nilpotents is not a field and does not have the same first-order theory as the real field. However, using an invertible infinitesimal follows the model theoretic approach. A hyperreal field has the same first-order theory as the real field, but it a nonstandard model where we can do computations and take the standard part to recover back calculus in the standard model.
    • CommentRowNumber58.
    • CommentAuthorDavid_Corfield
    • CommentTimeDec 20th 2013

    Concerning the analysis/geometry dichotomy, in view of algebra-geometry duality, this might also be seen as the analysis/algebra dichotomy. Then we have some interesting comments by Terry Tao, which I collected here. In particular, in the section ’Tao on Buzz’ he looks to characterise analysis and algebra in terms of open and closed conditions. There’s also something there on NSA.

    • CommentRowNumber59.
    • CommentAuthorTobyBartels
    • CommentTimeJan 27th 2014

    Re #41, the new version of the notes on differentials for my Multivariable Calclulus class are done: check them out. I now feel like the end (where I get to this bit) is a bit anticlimactic, and I wonder if I should redo the whole thing starting with the action of differentials on curves.

    Incidentally, higher differentials such as d 2u\mathrm{d}^2 u (where remember we are not doing the exterior differential, which would just be zero, but rather something relevant to second derivatives) cannot be understood as acting on vectors (since they act on order-22 jets) but can be understood as acting on curves.

    With the emphasis on curves, I suppose that I'm secretly doing calculus on diffeological spaces. (I remarked in class on Thursday that there are very general notions of ‘differentiable space’ even beyond the differentiable manifolds that one is likely to meet in an advanced course, but in theory everything in this course is done on open subspaces of n\mathbb{R}^n for n=1,2,3n = 1, 2, 3.)

    • CommentRowNumber60.
    • CommentAuthorTobyBartels
    • CommentTimeFeb 8th 2014
    • (edited Feb 8th 2014)

    It seems that I went to far with the strategy of pushing everything back to curves, since x,yy 3/(x 2+y 2)x, y \mapsto y^3/(x^2 + y^2) (continuously extended to the origin) is not differentiable at the origin (by the usual definition), even though its composite with any differentiable curve is differentiable (indeed continuously so if the curve is continuously differentiable).

    Boman's theorem says that you can push things back to curves for smooth maps, and this is what really matters, so I may just do that next term, leaving the fine print for merely differentiable maps to the textbook.

    • CommentRowNumber61.
    • CommentAuthorMike Shulman
    • CommentTimeFeb 8th 2014

    I presume it is also not sufficient to say that ff is differentiable if fcf\circ c is differentiable for all cc and moreover there exists a differential form dfdf such that df(p)|c=(fc)(0)\langle df(p)|c\rangle = (f\circ c)'(0)? That is, you also need to ensure that the limits defining each derivative (fc)(0)(f \circ c)'(0) happen “simultaneously in all directions”?

    • CommentRowNumber62.
    • CommentAuthorTobyBartels
    • CommentTimeFeb 9th 2014

    My working definition of ‘differential form’ (of rank 11) in this class is a formal linear combination of differentials with coefficients from the ring of appreciable quantities (not stated like that, of course, but given by examples). Then df\mathrm{d}f is automatically the differential form desired (well, assuming that it exists, since I actually refuse to define df\mathrm{d}f until ff is known to be differentiable, but then your proposal is circular).

    But ignoring that context, and defining a differential form abstractly as an operator on differentiable curves with appropriate properties (such as linearity), then the answer is Yes if you require df\mathrm{d}f to be a continuous differential form; and in that case, we can conclude that ff is continuously differentiable.

    Without that, I don't know. In the example of x,yy 3/(x 2+y 2)x, y \mapsto y^3/(x^2 + y^2), not only is df\mathrm{d}f not continuous, it's not linear (at (x,y)=(0,0)(x,y) = (0,0)); if you apply it to a line through the origin with tangent vector [a,b][a,b], then the result is b 3/(a 2+b 2)b^3/(a^2 + b^2). So this df\mathrm{d}f is not a differential form.

    If df\mathrm{d}f has the properties of a differential form, does this guarantee that ff is differentiable in the standard sense? That would be nice! Is additivity sufficient? That would be particularly nice! I don't know.

    • CommentRowNumber63.
    • CommentAuthorTobyBartels
    • CommentTimeFeb 10th 2014

    OK, yes, your idea does work!

    Specifically, define df\mathrm{d}f as the operation (in general partially defined) on differentiable parametrized curves (in a given Cartesian space, or more generally in a C 1C^1 manifold) that takes cc to (fc)(0)(f \circ c)'(0) (if this exists). Also define df(p)\mathrm{d}f(p) to be the restriction of that operation to curves with c(0)=pc(0) = p. Then df(p)\mathrm{d}f(p) might be defined on all such curves, and (if so) it might respect the equivalence of curves that defines a tangent vector at pp, and (if so) it might be linear and so a cotangent vector at pp. If so, then ff is differentiable at pp, as desired.

    The proof is that the definition of differentiability itself calls for nothing more than this cotangent vector.

    The next step is to make this into a definition of generalized differentiable (rather than smooth) space, by not using the previously known structure of tangent vectors.

    • CommentRowNumber64.
    • CommentAuthorDavidRoberts
    • CommentTimeFeb 12th 2014

    Just throwing this in the mix: http://mathoverflow.net/a/7632/4177

    • CommentRowNumber65.
    • CommentAuthorMike Shulman
    • CommentTimeJul 3rd 2014
    • CommentRowNumber66.
    • CommentAuthorTobyBartels
    • CommentTimeJul 4th 2014

    Thanks!

    • CommentRowNumber67.
    • CommentAuthorTobyBartels
    • CommentTimeApr 20th 2015
    • (edited Apr 20th 2015)

    The current term's Mulivariable Calculus course has a revised version of the introduction to differentials and 11-forms, split into two parts. (Although I'm not really done rewriting the second part, it's acceptable, and I needed to hand it out in class today.) There will be more handouts.

    This year features the general statement that a differential form is any expression with differentials in it, said with the confidence that I know how to define it if pressed! But in the first handout, dx\mathrm{d}x, d 2x\mathrm{d}^2x, etc are treated as independent variables in a formal expression, which I never really liked. Fortunately, there is a real definition in the second handout, although what it really does is to define equality as an equivalence relation on such formal expressions.

    Edit: Also, the second handout formally defines a function ff on a Cartesian space to be differentiable at a point PP if (fC)(f \circ C) is not only differentiable wherever the value of CC is PP and CC is differentiable there, but also depends only on the derivative of CC there (the velocity tangent vector) and depends on that linearly (stated as the existence of an appropriate row vector f(P)\Del{f}(P)). That actually came out looking simpler than I had originally anticipated!

    • CommentRowNumber68.
    • CommentAuthorTobyBartels
    • CommentTimeMay 5th 2015

    I should probably add to differentiable function my proof that this definition of differentiability is correct. It's stronger than requiring all directional derivatives and then requiring these to depend linearly on the direction. Since the derivative of fCf \circ C depends on CC only through the derivative of CC and yet there exist nondifferentiable functions with linear directional derivatives (example: y 3/xy^3/x extended as 00, at (0,0)(0,0)), one might think that it would be insufficient to require (fC)(f \circ C)' to depend on CC only linearly through the derivative of CC. However, the claim that (fC)(f \circ C)' depends on CC only through the derivative of CC fails for nondifferentiable functions with linear directional derivatives! (In the example, (fC)(f \circ C)' is 00 at (0,0)(0,0) when CC is a line but not, say, when x=y 2x = y^2 on CC.)

    • CommentRowNumber69.
    • CommentAuthorMike Shulman
    • CommentTimeMay 5th 2015

    Very interesting!

    • CommentRowNumber70.
    • CommentAuthorTobyBartels
    • CommentTimeMay 6th 2015

    Yes, when I saw that example on differentiable map, I was at first worried that I'd made a mistake, and I tried to put that example through my proof, which made me realize that it didn't apply.

    • CommentRowNumber71.
    • CommentAuthorTobyBartels
    • CommentTimeNov 25th 2016

    Here is a multivariable Calculus textbook, intended for undergraduates who have had only one-variable Calculus and no more advanced mathematics, that covers the Stokes Theorems using differential forms. http://matrixeditions.com/UnifiedApproach5thedSamples.html