Talk:Differential (infinitesimal)

Mathematics Redirect‑class Mid‑priority

	Mathematics portal This redirect is within the scope of WikiProject Mathematics, a collaborative effort to improve the coverage of mathematics on Wikipedia. If you would like to participate, please visit the project page, where you can join the discussion and see a list of open tasks.MathematicsWikipedia:WikiProject MathematicsTemplate:WikiProject Mathematicsmathematics
Redirect	This redirect does not require a rating on Wikipedia's content assessment scale.
Mid	This redirect has been rated as Mid-priority on the project's priority scale.

Question

Is this page about derivative or diferential? I don't see any diferentials??? Stijak 12:05, 18 September 2006 (UTC)[reply]

Definitions

at the top of this article, it says that a differential is infinitely small, without defining what `infinitely small' means. Later on, the definition from Apostal states that a differential is a real variable; in fact, the `t' in the definition of the differential is the differential itself. Hence the differential can be any real number; it doesn't have to be small.

It's not particularly useful if it's not small, but it's not required to be small.

Differential calculus vs Differential (calculus)

This page is linked from Calculus as 'Differential Calculus' so we expect a succinct exposition of same, not an explanation of the historically important but fairly minor term 'differential' in calculus. I think the whole page needs a rewrite, making use of some of the good existing material. I am considering this. Expitheta 20:33, 7 January 2007 (UTC)[reply]

For the time being, I've relinked Differential calculus to Derivative, which is a much more complete article. However, a separate article on differentiation and differential calculus would still be very welcome. As you rightly point out, this is not it! Geometry guy 11:06, 22 February 2007 (UTC)[reply]

What is this article about?

I've tagged this article for a clean-up or rewrite. It jumps so much from one vague idea to another that it is not even clear what it is supposed to be about. I think there is some scope to turn this into an article about differentials like dx and their role in:

the traditional approach to calculus via infinitesimally small quantities
the history of calculus
notation such as dy/dx, and $\int f(x)\mathrm {d} x$
motivating contemporary ideas to make all this rigorous, such as

the differential as a linear map and differential 1-forms
approaches in algebraic and differential geometry using ringed spaces such as schemes
nonstandard analysis and invertible infinitesimals
smooth infinitesimal analysis, synthetic differential geometry and nilpotent infinitesimals

I don't think any of these need to be discussed in detail, as they all have their own articles, but they could be tied together here.

Comments? Geometry guy 23:55, 21 February 2007 (UTC)[reply]

Looks excellent (though I don't really have the knowledge to comment on the last point). I was pleasantly surprised with our article on infinitesimals, so it might not be too hard to pull it off. -- Jitse Niesen (talk) 01:50, 25 February 2007 (UTC)[reply]

Okay, I've started. More to follow... Geometry guy 21:27, 25 February 2007 (UTC)[reply]

I've now sketched out this approach. I'll leave the clean-up tag in place for a while to encourage other people to clarify, expand and correct what I have done. Geometry guy 19:46, 28 February 2007 (UTC)[reply]

d versus d

Any special reason why "d" for differential is not italized anywhere in this article? iNic 00:31, 22 March 2007 (UTC)[reply]

That's quite common, though probably not as common as italics. See Wikipedia talk:WikiProject Mathematics/Archive 4#straight or italic d? and other discussions throughout Wikipedia. -- Jitse Niesen (talk) 04:03, 22 March 2007 (UTC)[reply]

Aha, wow! Didn't know it was an UK/US-thing. (I can't remind myself of ever seeing the plain text d anywhere in math literature, but probably I have.) Thanks! iNic 05:02, 22 March 2007 (UTC)[reply]

Differentials as linear maps

The whole part on differentials as linear maps is a bit too confusing. I think a rewrite would be most welcome. I found a very understandable version of this type of treatment in Spivak's Calculus on Manifolds (starting on page 15). A rewrite in that level would be much clearer, I think. Anyone with the proper knowledge would like to do that?

Goldencako 17:24, 7 September 2008 (UTC)[reply]

The precise definition of a differential.

Ricently I made a change in this article, but was reverted. The ideas where taken from the book Calculus: Early Transcendentals (Sixth Edition - James Stewart - McMaster University), see page 250. Here is what I wrote:

In calculus, a differential is traditionally a change in a variable (the independent one, or the respect variable for wich the diferentiantion ocurrs). If x is a variable, then a change in the value of x is often denoted Δx (or δx when this change is considered to be small). The differential dx, if x is an independent variable, is the differential of the identity function ${f(x)=x}\,$ . The precise definition of the differential of a function is as follows

 ${\mathrm {d} f(x)=f'(x)\Delta x}\,$

Is it wrong?
I think the book is right and that is the definition of a differential.Usuwiki (talk) 00:23, 15 August 2009 (UTC)[reply]

Yes that is wrong. The book is right. You haven't read the book properly. The delta symbol is for a finite amount and it does not appear in the book in the way you have put it. A differential stands for an infinitessmal amount and the expression is derived as alimit. Dmcq (talk) 01:00, 15 August 2009 (UTC)[reply]

Sorry, the delta symbol appears in the book. Look inside Figure 5 for this equality:

\mathrm {d} x=\Delta x\,

Now replace the

\mathrm {d} x\,

that appears in the definition with

\Delta x\,

and that's it.

Also you say that a differential stands for an infinitesimal amount although the book says " $\mathrm {d} x$ can be given the value of any real number." I think you haven't read the book properly.Usuwiki (talk) 01:54, 15 August 2009 (UTC)[reply]

Ok. I have done so. And here is some things I note.

There is never the word infinitesimal in the reference I gave. In the article there is.
The book says that the numerical value of $dy$ (can be) determined. In the article it says that this value is infinitesimally small.
Last, the article says that This formula summarizes the intuitive idea that the derivative of y with respect to x is the limit of the ratio of differences Δy/Δx as Δx becomes infinitesimally small while the book says that the differential is the numerical value wich is is a dependent variable; it depends on the values of $x\,$ and $dx$ , and the geometric meaning of the diferential is the verticall increase of the tangent from the point where you take the diferential. And it gives a graphic like this one:

There is nothing infinitesimally small in the concept of the diferential (other tan what you can get to define the derivative)Usuwiki (talk) 01:18, 15 August 2009 (UTC)[reply]

One last thing, if you never give this first definition:

{\mathrm {d} f(x)=f'(x)\Delta x}\,

What sense makes this second one?

\mathrm {d} y={\frac {\mathrm {d} y}{\mathrm {d} x}}\mathrm {d} x,

Now, if you have the first definition then you get for the second one this logic:

\mathrm {d} y={\frac {\mathrm {d} y}{\mathrm {d} x}}\mathrm {d} x={\frac {f'(x)\Delta x}{\mathrm {D} _{x}[x]\Delta x}}\mathrm {D} _{x}[x]\Delta x={\frac {f'(x)\Delta x}{1.\Delta x}}1.\Delta x=f'(x)\Delta x

Wich makes sense. Isn't it?

Notice that

\mathrm {d} x=\Delta x

because of the first definition, and that is in the book too.Usuwiki (talk) 01:36, 15 August 2009 (UTC)[reply]

The book is badly wrong in sticking in that business with equating d's and deltas. And it shouldn't really talk in terms of numeric values for dx or dy, see differential form for how differentials are turned into something useful. You really should be asking questions on maths reference desk if you are having problems with the book rather than just changing an article and having people have to explain their reverts. You stuck in the delta instead of the d yourself rather than following the book so you obviously were thinking about the problem. Dmcq (talk) 01:54, 15 August 2009 (UTC)[reply]

I'm only saying that I have reference on a book about the topic. Not you neither the article have a reference on what you are saying. —Preceding unsigned comment added by Usuwiki (talk • contribs) 02:03, 15 August 2009 (UTC)[reply]

No what you wrote is wrong and I could easily have got rid of you by quoting the no original research policy about your derivation rather than try explaining the diagram is badly confusing. Also doing a derivation yourself and then saying it came from a book is very wrong - and then you said it was the precise definition! I've pointed out where you can get help with things like this if you're trying to learn it, you'll find people better than me at maths and at explaining things there. The article has plenty of references for you to look up a better author. What you wrote did not make sense. Dmcq (talk) 07:10, 15 August 2009 (UTC)[reply]

This article has a discussion about the interpretation of dx at Differential (infinitesimal)#Differentials as linear maps. Treating themas actual changes in x or y like a delta in Finite differences makes a mess of things. I'm not sure what the author was thinking of with that diagram, I guess he was trying to illustrate a tangent space with actual numbers but the dx=delta x is just saying if the differential was this size rather than a definition of dx. If you have a tutor you should ask them about it. Personally I wouldn't introduce differentials except in the context of tangent spaces and differential forms but there has been some people thinking it easier to treat infinitessmals directly in elementary calculus. It isn't it just leads to errors when people try and differentiate twice and do it wrong. Dmcq (talk) 12:02, 15 August 2009 (UTC)[reply]

I have just had a look at the Springer encyclopaedia of maths for differential and it agrees with you symbolism. I am very surprised. I will refer this to maths reference desk and perhaps someone there will have a look and decide what's right. Dmcq (talk) 14:33, 15 August 2009 (UTC)[reply]

Have put a query at WP:RD/MA#Differential_definition Dmcq (talk) 14:51, 15 August 2009 (UTC)[reply]

Good. I think here is our problem:

taken from http://www.geocities.com/pkving4math2tor2/2_the_der/2_06_the_diffl.htm (see Differentials Vs Infinitesimals)

It says: "there are 2 interpretations for the set of the quantities dx and dy: differentials and infinitesimals. Calculus with dx and dy interpreted as differentials is called standard analysis. Calculus with dx and dy interpreted as infinitesimals and the set of real numbers extended to include them is called non-standard analysis."

So, this article may be a part of the non-standard analysis taking dx and dy as infinitesimals and confiusing them with differentials. Or something. Lets wait to see what is decided.Usuwiki (talk) 14:57, 15 August 2009 (UTC)[reply]

The title of the article is differential (infinitessmal) but no, even if non-standard analysis is the modern way of putting the old idea it shouldn't go so forward I think.. I do think that a lot more introduction would be needed before using Δx as in the Springer article rather than just dump in it in the start without saying anything else about it. It isn't required for an intuitive notion and as the article says there are a number of ways of making the idea more mathematical. And it doesn't come into some of the other meanings. I'm not sure your approach and Springer's fits any of the ones there currently, even the linear map one which is closest, perhaps yet another meaning of differential should be added for analysis. Dmcq (talk) 15:49, 15 August 2009 (UTC)[reply]

Saying that it's

dy=f'(x)\,\Delta x\,

is a bit of nonsense that modern textbook writers have adopted out of squeamishness about infinitesimals, stemming from the fact that you can't present infinitesimals to freshmen in a logically rigorous way. Insisting on logical rigor is clearly a mistake—typical freshmen can't be expected to appreciate that. The absurdity of that convention becomes apparent as soon as you think about expressions like

\int _{0}^{1}f(x)\,dx.

Michael Hardy (talk) 19:23, 15 August 2009 (UTC)[reply]

The calculus textbook writing industry is an abomination. They all just copy each other, and serious mathematicians don't want to work on this stuff because it's all about teaching the sort of freshmen who don't want to understand the subject but just want to know what to write on the test. That is cheating, and that's what the enterprise is about. Michael Hardy (talk) 19:26, 15 August 2009 (UTC)[reply]

Agree it is an abomination but it does seem to be notable. I don't believe the leader should be changed but somehow this way of dealing with things will have to be accomodated. It already has a number of ways of dealing with differentials. It isn't an infinitessmal but neither are they in the linear map view. It is unfortunate that Differential (calculus) is so overloaded. Dmcq (talk) 21:59, 15 August 2009 (UTC)[reply]

Here I created the article Differential of a function. Is a rough traduction from the spanish version I made. I repeat Differential $\neq$ Infinitesimal.Usuwiki (talk) 22:17, 15 August 2009 (UTC)[reply]

And differential often does mean infinitessmal if you willl look up some english maths dictionaries. yet another differential topic is fine I gues. I'd call it differential (analysis) instead of Differential of a function, that is claiming other definitions and uses of the word is invalid which migght be okay if you were writing a textbook but not an encyclopaedia. Dmcq (talk) 23:30, 15 August 2009 (UTC)[reply]

Separate the differential from the infinitesimal.

This article should get removed the phrase "a differential is traditionally an infinitesimally small change in a variable"

I propose:

"the differential of a function can be defined through infinitesimals (a infinitesimally small change in a variable)"
Or this reverted edit, but changed to end up like this:

In calculus, a differential is traditionally a change in a variable (the independent one, or the respect variable for wich the diferentiantion ocurrs). If $x$ is a variable, then a change in the value of $x$ is often denoted $\Delta x$ (or $\delta x$ when this change is considered to be small). The differential $\mathrm {d} x$ , if $x$ is an independent variable, is the differential of the identity function ${f(x)=x}\,$ .

Through infinitesimals the differential can be represented as follows

 $\mathrm {d} y={\frac {dy}{dx}}\mathrm {d} x\,$

Notice that ${\frac {dy}{dx}}\,$ is in Leibniz's notation meaning the derivative of $y$ with respect to $x$ .

This equation can be confusing because as can be seen there are two differntials in it, the one being defined in the left side is $\mathrm {d} y\,$ (the differential of $y$ ), and the one wich is the multiplying factor on the right side $\mathrm {d} x\,$ (the differential of the fucntion $f(x)=x$ ), but there are two infinitesimals on it also, both, interrelated in Leibniz's fraction ${\frac {dy}{dx}}\,$ at the right side of the equeation.