On the concept of the derived function (Karl Marx)

On the concept of the derived function
On the concept of the derived function
Author	Karl Marx
Written in	August 1881
Source	MIA

I

Let the independent variable $x$ increase to $x_{1}$ ; then the dependent variable $y$ increases to $y_{1}$ .^[1]

Here in I) we consider the simplest possible case, where $x$ appears only to the first power.

1) $y=ax$ , when $x$ increases to $x_{1}$ ,

$y_{1}=ax_{1}$ and $y_{1}-y=a(x_{1}-x)$

Now allow the differential operation to occur, that is, we let $x_{1}$ take on the value of $x$ . Then

$x_{1}=x;x_{1}-x=0$

thus

$a(x_{1}-x)=a\times 0=0$

Furthermore, since $y$ , only becomes $y_{1}$ because $x$ increases to $x_{1}$ , we have at the same time

$y_{1}=y;y_{1}-y=0$

Thus

$y_{1}-y=a(x_{1}-x)$

changes to 0 = 0.

First making the differentiation and then removing it therefore leads literally to nothing. The whole difficulty in understanding the differential operation (as in the negation of the negation generally) lies precisely in seeing how it differs from such a simple procedure and therefore leads to real results.

If we divide both $a(x_{1}-x)$ and the left side of the corresponding equation by the factor $x_{1}-x$ , we then obtain

${\frac {y_{1}-y}{x_{1}-x}}=a$

Since $y$ is the dependent variable, it cannot carry out any independent motion at all, $y_{1}$ therefore cannot equal $y$ and $y_{1}-y=0$ without $x_{1}$ first having become equal to $x$ .

On the other hand we have seen that $x_{1}$ cannot become equal to $x$ in the function $a(x_{1}-x)$ without making the latter $=0$ . The factor $x_{1}-x$ was thus necessarily a finite difference^[2] when both sides of the equation were divided by it. At the moment of the construction of the ratio

${\frac {y_{1}-y}{x_{1}-x}}$

$x_{1}-x$ is therefore always a finite difference. It follows that

${\frac {y_{1}-y}{x_{1}-x}}$

is a ratio of finite differences, and correspondingly

${\frac {y_{1}-y}{x_{1}-x}}={\frac {\Delta y}{\Delta x}}$

Therefore

${\frac {y_{1}-y}{x_{1}-x}}$ or^[3] Failed to parse (Conversion error. Server ("https://wikimedia.org/api/rest_") reported: "Cannot get mml. Server problem."): {\displaystyle {\frac {\Delta y}{\Delta x}}=a} ,

where the constant a represents the limite value (Grenzwert) of the ratio of the finite differences of the variables.^[4]

Since a is a constant, no change may take place in it; hence none can occur on the right-hand side of the equation, which has been reduced to a. Under such circumstances the differential process takes place on the left-hand side

${\frac {y_{1}-y}{x_{1}-x}}$ or Failed to parse (Conversion error. Server ("https://wikimedia.org/api/rest_") reported: "Cannot get mml. Server problem."): {\displaystyle {\frac {\Delta y}{\Delta x}}} ,

and this is characteristic of such simple functions as $ax$ .

If in the denominator of this ratio $x_{1}$ decreases so that it approaches $x$ , the limit of its decrease is reached as soon as it becomes $x$ . Here the difference becomes Failed to parse (Conversion error. Server ("https://wikimedia.org/api/rest_") reported: "Cannot get mml. Server problem."): {\displaystyle x_{1}-x_{1}=x-x=0} and therefore also Failed to parse (Conversion error. Server ("https://wikimedia.org/api/rest_") reported: "Cannot get mml. Server problem."): {\displaystyle y_{1}-y_{1}=y-y=0} . In this manner we obtain

Failed to parse (Conversion error. Server ("https://wikimedia.org/api/rest_") reported: "Cannot get mml. Server problem."): {\displaystyle {\frac {0}{0}}=a}

Since in the expression Failed to parse (Conversion error. Server ("https://wikimedia.org/api/rest_") reported: "Cannot get mml. Server problem."): {\displaystyle {\frac {0}{0}}} every trace of its origin and its meaning has disappeared, we replace it with Failed to parse (Conversion error. Server ("https://wikimedia.org/api/rest_") reported: "Cannot get mml. Server problem."): {\displaystyle dy \over dx} , where the finite differences $x_{1}-x$ or $\Delta x$ and Failed to parse (Conversion error. Server ("https://wikimedia.org/api/rest_") reported: "Cannot get mml. Server problem."): {\displaystyle y_{1}-y} or Failed to parse (Conversion error. Server ("https://wikimedia.org/api/rest_") reported: "Cannot get mml. Server problem."): {\displaystyle \Delta y} appear symbolised as cancelled or vanished differences, or Failed to parse (Conversion error. Server ("https://wikimedia.org/api/rest_") reported: "Cannot get mml. Server problem."): {\displaystyle {\frac {\Delta y}{\Delta x}}} changes to $dy \over dx$ .

Thus

Failed to parse (Conversion error. Server ("https://wikimedia.org/api/rest_") reported: "Cannot get mml. Server problem."): {\displaystyle {dy \over dx}=a} .

The closely-held belief of some rationalising mathematicians that Failed to parse (Conversion error. Server ("https://wikimedia.org/api/rest_") reported: "Cannot get mml. Server problem."): {\displaystyle dy} and $dx$ are quantitatively actually only infinitely small, only approaching Failed to parse (Conversion error. Server ("https://wikimedia.org/api/rest_") reported: "Cannot get mml. Server problem."): {\displaystyle {\frac {0}{0}}} , is a chimera, which will be shown even more palpably under II.

As for the characteristic mentioned above of the case in question, the limit value (Grenzwert) of the finite differences is therefore also at the same time the limit value of the differentials.

2) A second example of the same case is

Failed to parse (Conversion error. Server ("https://wikimedia.org/api/rest_") reported: "Cannot get mml. Server problem."): {\displaystyle y=x}

Failed to parse (Conversion error. Server ("https://wikimedia.org/api/rest_") reported: "Cannot get mml. Server problem."): {\displaystyle y_{1}=x_{1};y_{1}-y=x_{1}-x}

${\frac {y_{1}-y}{x_{1}-x}}$ or Failed to parse (Conversion error. Server ("https://wikimedia.org/api/rest_") reported: "Cannot get mml. Server problem."): {\displaystyle {\frac {\Delta y}{\Delta x}}=1} ; Failed to parse (Conversion error. Server ("https://wikimedia.org/api/rest_") reported: "Cannot get mml. Server problem."): {\displaystyle {\frac {0}{0}}} or ${dy \over dx}=1$ .

Notes

↑ In order to avoid confusion with the designation of derivatives, Marx’s notation Failed to parse (Conversion error. Server ("https://wikimedia.org/api/rest_") reported: "Cannot get mml. Server problem."): {\displaystyle x'} , Failed to parse (Conversion error. Server ("https://wikimedia.org/api/rest_") reported: "Cannot get mml. Server problem."): {\displaystyle y'} , ... for the new values of the variable has been replaced here and in all similar cases by $x_{1}$ , $y_{1}$ , ...
↑ In keeping with the accepted terminology of the source-books which Marx consulted, a finite difference is here understood always to be a non-zero difference.
↑ Marx distinguishes in each equation two sides (where now we speak of two parts), the left hand and the right hand which do not always play symmetric roles. On the left-hand side of the equation he frequently places two different, equivalent expressions joined by the conjunction ‘or’.
↑ In the mathematical literature which was at Marx’s command the term ‘limit’ (of a function) had no well-defined meaning and was understood most often as the value the function actually reached at the end of an infinite process in which the argument approached its limiting value. Marx devoted an entire rough draft to the criticism of these shortcomings in the manuscript, ‘On the ambiguity of the terms “limit” and “limit value” ‘. In the manuscript before us Marx employs the term ‘limit’ in a special sense: the expression, given by predefinition, for those values of the independent variable at which it becomes undefined. For Marx, the ratios Failed to parse (Conversion error. Server ("https://wikimedia.org/api/rest_") reported: "Cannot get mml. Server problem."): {\displaystyle {\frac {\Delta x}{\Delta y}}} (at Failed to parse (Conversion error. Server ("https://wikimedia.org/api/rest_") reported: "Cannot get mml. Server problem."): {\displaystyle \Delta x=0} this is transformed to Failed to parse (Conversion error. Server ("https://wikimedia.org/api/rest_") reported: "Cannot get mml. Server problem."): {\displaystyle {\frac {0}{0}}} ) and Failed to parse (Conversion error. Server ("https://wikimedia.org/api/rest_") reported: "Cannot get mml. Server problem."): {\displaystyle {dy \over dx}} , interpreted as the symbolic expression of the ratio ‘of annulled or vanished differences’, that is, of Failed to parse (Conversion error. Server ("https://wikimedia.org/api/rest_") reported: "Cannot get mml. Server problem."): {\displaystyle {\frac {0}{0}}} , are such expressions. With respect to the ratio Failed to parse (Conversion error. Server ("https://wikimedia.org/api/rest_") reported: "Cannot get mml. Server problem."): {\displaystyle {\frac {\Delta y}{\Delta x}}} , Marx (influenced to a certain degree by the definitions of this concept in Hind and Lacroix, took this to be an expression which is identically equal to this ratio when $\Delta x\neq 0$ , but which has been predefined by continuity when the ratio is transformed to Failed to parse (Conversion error. Server ("https://wikimedia.org/api/rest_") reported: "Cannot get mml. Server problem."): {\displaystyle {\frac {0}{0}}} . The ‘limit’, at that point, consequently, must be the ‘preliminary derivative’. Exemplifying this, Marx writes with respect to the ratio Failed to parse (Conversion error. Server ("https://wikimedia.org/api/rest_") reported: "Cannot get mml. Server problem."): {\displaystyle {\frac {\Delta y}{\Delta x}}} where Failed to parse (Conversion error. Server ("https://wikimedia.org/api/rest_") reported: "Cannot get mml. Server problem."): {\displaystyle y=ax^{3}+bx^{2}+cx+d} : ‘The “preliminary derivative” Failed to parse (Conversion error. Server ("https://wikimedia.org/api/rest_") reported: "Cannot get mml. Server problem."): {\displaystyle a(x_{1}^{2}+x_{1}x+x^{2})+b(x_{1}+x)+c} appears here as the limit of a ratio of finite differences; that is, no matter how small we allow the differences to become, the value of Failed to parse (Conversion error. Server ("https://wikimedia.org/api/rest_") reported: "Cannot get mml. Server problem."): {\displaystyle {\frac {\Delta y}{\Delta x}}} will always be given by this “derivative”.’ Later, Marx mentions that setting $x_{1}$ equal to $x$ , that is, setting Failed to parse (Conversion error. Server ("https://wikimedia.org/api/rest_") reported: "Cannot get mml. Server problem."): {\displaystyle \Delta x=0} , ‘reduces this limit value to its absolute minimum quantity ,’ giving its ‘final derivative’. Analogously, by ‘the limit of the ratio of differentials’ Marx in this manuscript means the ‘real’ (‘algebraic’) expression which provides the value for this ratio; in other words, the derived function. Marx writes, however, that in the equation Failed to parse (Conversion error. Server ("https://wikimedia.org/api/rest_") reported: "Cannot get mml. Server problem."): {\displaystyle {dx \over dy}=f'(x)} , ‘neither of the two sides is the limiting value of the other. They approach one another, not in a limit relationship, but rather in a relationship of equivalence,’. But here, the concept of ‘limit’ (and of ‘limit value’) is used in another sense, close to the one accepted today. Marx uses the therm ‘absolute minimal expression’ in a sense even closer to the contemporary concept of limit, when he writes in another passage that it is interchangeable with the category of limit, in the sense given it by Lacroix and in which it has had great significance for mathematical analysis.

[1] In order to avoid confusion with the designation of derivatives, Marx’s notation Failed to parse (Conversion error. Server ("https://wikimedia.org/api/rest_") reported: "Cannot get mml. Server problem."): {\displaystyle x'} , Failed to parse (Conversion error. Server ("https://wikimedia.org/api/rest_") reported: "Cannot get mml. Server problem."): {\displaystyle y'} , ... for the new values of the variable has been replaced here and in all similar cases by $x_{1}$ , $y_{1}$ , ...

[2] In keeping with the accepted terminology of the source-books which Marx consulted, a finite difference is here understood always to be a non-zero difference.

[3] Marx distinguishes in each equation two sides (where now we speak of two parts), the left hand and the right hand which do not always play symmetric roles. On the left-hand side of the equation he frequently places two different, equivalent expressions joined by the conjunction ‘or’.

[4] In the mathematical literature which was at Marx’s command the term ‘limit’ (of a function) had no well-defined meaning and was understood most often as the value the function actually reached at the end of an infinite process in which the argument approached its limiting value. Marx devoted an entire rough draft to the criticism of these shortcomings in the manuscript, ‘On the ambiguity of the terms “limit” and “limit value” ‘. In the manuscript before us Marx employs the term ‘limit’ in a special sense: the expression, given by predefinition, for those values of the independent variable at which it becomes undefined. For Marx, the ratios Failed to parse (Conversion error. Server ("https://wikimedia.org/api/rest_") reported: "Cannot get mml. Server problem."): {\displaystyle {\frac {\Delta x}{\Delta y}}} (at Failed to parse (Conversion error. Server ("https://wikimedia.org/api/rest_") reported: "Cannot get mml. Server problem."): {\displaystyle \Delta x=0} this is transformed to Failed to parse (Conversion error. Server ("https://wikimedia.org/api/rest_") reported: "Cannot get mml. Server problem."): {\displaystyle {\frac {0}{0}}} ) and Failed to parse (Conversion error. Server ("https://wikimedia.org/api/rest_") reported: "Cannot get mml. Server problem."): {\displaystyle {dy \over dx}} , interpreted as the symbolic expression of the ratio ‘of annulled or vanished differences’, that is, of Failed to parse (Conversion error. Server ("https://wikimedia.org/api/rest_") reported: "Cannot get mml. Server problem."): {\displaystyle {\frac {0}{0}}} , are such expressions. With respect to the ratio Failed to parse (Conversion error. Server ("https://wikimedia.org/api/rest_") reported: "Cannot get mml. Server problem."): {\displaystyle {\frac {\Delta y}{\Delta x}}} , Marx (influenced to a certain degree by the definitions of this concept in Hind and Lacroix, took this to be an expression which is identically equal to this ratio when $\Delta x\neq 0$ , but which has been predefined by continuity when the ratio is transformed to Failed to parse (Conversion error. Server ("https://wikimedia.org/api/rest_") reported: "Cannot get mml. Server problem."): {\displaystyle {\frac {0}{0}}} . The ‘limit’, at that point, consequently, must be the ‘preliminary derivative’. Exemplifying this, Marx writes with respect to the ratio Failed to parse (Conversion error. Server ("https://wikimedia.org/api/rest_") reported: "Cannot get mml. Server problem."): {\displaystyle {\frac {\Delta y}{\Delta x}}} where Failed to parse (Conversion error. Server ("https://wikimedia.org/api/rest_") reported: "Cannot get mml. Server problem."): {\displaystyle y=ax^{3}+bx^{2}+cx+d} : ‘The “preliminary derivative” Failed to parse (Conversion error. Server ("https://wikimedia.org/api/rest_") reported: "Cannot get mml. Server problem."): {\displaystyle a(x_{1}^{2}+x_{1}x+x^{2})+b(x_{1}+x)+c} appears here as the limit of a ratio of finite differences; that is, no matter how small we allow the differences to become, the value of Failed to parse (Conversion error. Server ("https://wikimedia.org/api/rest_") reported: "Cannot get mml. Server problem."): {\displaystyle {\frac {\Delta y}{\Delta x}}} will always be given by this “derivative”.’ Later, Marx mentions that setting $x_{1}$ equal to $x$ , that is, setting Failed to parse (Conversion error. Server ("https://wikimedia.org/api/rest_") reported: "Cannot get mml. Server problem."): {\displaystyle \Delta x=0} , ‘reduces this limit value to its absolute minimum quantity ,’ giving its ‘final derivative’. Analogously, by ‘the limit of the ratio of differentials’ Marx in this manuscript means the ‘real’ (‘algebraic’) expression which provides the value for this ratio; in other words, the derived function. Marx writes, however, that in the equation Failed to parse (Conversion error. Server ("https://wikimedia.org/api/rest_") reported: "Cannot get mml. Server problem."): {\displaystyle {dx \over dy}=f'(x)} , ‘neither of the two sides is the limiting value of the other. They approach one another, not in a limit relationship, but rather in a relationship of equivalence,’. But here, the concept of ‘limit’ (and of ‘limit value’) is used in another sense, close to the one accepted today. Marx uses the therm ‘absolute minimal expression’ in a sense even closer to the contemporary concept of limit, when he writes in another passage that it is interchangeable with the category of limit, in the sense given it by Lacroix and in which it has had great significance for mathematical analysis.

[1]

[2]

[3]

[4]