Академический Документы
Профессиональный Документы
Культура Документы
discussions, stats, and author profiles for this publication at: https://www.researchgate.net/publication/270684035
READS
678
2 authors, including:
Juan Carlos Ponce-Campuzano
University of Queensland
30 PUBLICATIONS 10 CITATIONS
SEE PROFILE
j.ponce@uq.edu.au
UQ
2015
Si he llegado a ver ms lejos que otros es por que me sub a hombros de gigantes.
Isaac Newton
Contenido
1. Introduccin
10
16
20
22
22
26
30
32
1.
Introduccin
El concepto de derivada es fundamental en el clculo debido a sus ml-
tiples aplicaciones. Por ejemplo, se utiliza para calcular la velocidad y aceleracin instantnea de un cuerpo en movimiento; los valores mximos y
mnimos de funciones; asimismo se usa para optimizar la produccin y ganancias o minimizar costos de operacin.
El concepto de derivada se estudia desde niveles pre universitarios hasta
niveles avanzados de matemticas. Bsicamente, la derivada de una funcin
es una medida de la rapidez con la que cambia el valor de dicha funcin
matemtica, segn cambie el valor de su variable independiente. Esta idea
est basada esencialmente en la nocin de lmite como se puede apreciar en
la siguiente definicin:
Sea f : [ a, b] R R y c R. La funcin f es diferenciable en el
punto c, si existe el siguiente lmite:
lm
x c
f ( x ) f (c)
.
xc
2.
parte, Ren Descartes (1596-1650) y Pierre de Fermat (1601-1665) inventaron de manera independiente la geometra analtica en 1630. En esencia, la
geometra analtica significaba, primero, que las curvas podan representarse por medio de ecuaciones; segundo, que cada ecuacin determinaba una
curva.
Los griegos y musulmanes ya haban estudiado ciertas familias de curvas,
pero principalmente se enfocaron en el crculo y las secciones cnicas e
incluso algunas otras curvas definidas por medio de lugares geomtricos.
Muchos problemas se haban resuelto para este tipo de curvas, incluyendo
el clculo de tangentes y reas. A inicios del siglo XVI, con el uso del lgebra,
los estudiosos de la geometra de las curvas se encontraron con una nueva
8
gama de curvas para estudiar y analizar, dado que cada ecuacin poda
ahora producir una curva. Con estas nuevas curvas, los antiguos mtodos
de la geometra sinttica eran insuficientes. Una pregunta que aqu surge es:
Cmo podramos describir las propiedades de la tangente en un punto
arbitrario a una curva definida por un polinomio de grado 36?
Los griegos saban como trazar tangentes para cierto tipo de curvas. Ellos
haban definido una tangente como la lnea que toca una curva en un solo
punto pero sin cortarla. Esta definicin resultaba apropiada para la circunferencia pero no lo era para otro tipo de curvas. Por ejemplo, en el siglo III
a.C., Apolonio de Prgamo (262-190 a. C.) defini la tangente a una seccin
cnica y procedi a determinarla en cada caso. Las tcnicas para el clculo
de tangentes eran dentro de un contexto geomtrico. Para curvas como la
espiral de Arqumedes estas tcnicas no eran de gran utilidad. Arqumedes
(287-212 a. C) saba trazar las tangentes a su espiral y se cree que para ello
consider el problema desde un punto de vista cinemtico, calculando la
direccin del movimiento de un punto que genera la espiral.
Cmo se defina entonces la tangente en el punto (0, 0) para la
curva y = x3 (Figura 1), o la tangente en un punto a una curva
con muchos puntos crticos (Figura 2)?
El estudio de las nuevas curvas implicaba nuevos retos. Surgieron tambin nuevos problemas relacionados con el estudio de reas y de longitudes
de arco. Cabe mencionar que los griegos incluso abordaron ciertos problemas relacionados con el clculo de mximos y mnimos (extremos) a los
cuales llamaron problemas isoperimtricos. Un problema clsico considerado
por ellos es el siguiente:
9
Figura 1: y = x3
Figura 2: y =
1 2
10
10 x sin x
1
+ 10
x
De todas las figuras planas con el mismo permetro, cul es la de mayor rea?
3.
Figura 3:
(1)
(2)
Considerando el principio de Pappus para el mximo, en lugar de dos soluciones, existe una sola. As que las ecuaciones (1) y (2) son iguales, esto
es lo que Fermat llam una seudo identidad:
AB A2 = AB A2 2AE + BE E2 .
11
B
,
2
kak xk1 = 0.
k =1
A menudo se menciona que la idea de la derivada se origin principalmente en la fsica. Newton, despus de todo, invent el clculo y estableci
un mtodo riguroso para el estudio del movimiento. Sin embargo, ya en
la edad media, muchos fsicos que seguan la tradicin aristotlica se haban enfocado en el estudio del cambio, un concepto central en la fsica
de ese entonces. De hecho, se analizaron y clasificaron de manera lgica las
diferentes formas en la que una variable podra cambiar de manera uniforme, no uniforme, o como una combinacin uniforme y no uniforme [3, pp.
73-74].
Estas clasificaciones medievales de la variacin permiti que Galileo Galilei (1564-1642) en 1638, sin utilizar clculo, realizara un estudio con gran
precisin acerca del movimiento uniformemente acelerado. Gracias a las contribuciones de Galileo el movimiento se comenz a estudiar de manera cientfica y rigurosa. Fueron acaso estos estudios el origen y el propsito del
clculo? Obviamente no. A pesar de la importancia de la fsica en el desarrollo del clculo, las cuestiones fsicas no fueron el motivo del desarrollo
del clculo. Ciertamente el contexto fsico prepar el camino para el establecimiento de algunas propiedades de la derivada y para la introduccin del
concepto de cambio dentro de las matemticas. Sin embargo, la principal
motivacin para el concepto general de derivada no se origin en la fsica.
La idea principal de la derivada, as como sus aplicacin, se origin para
resolver problemas en un contexto geomtrico.
Posteriormente al trabajo de Fermat, la derivada (todava no definida
rigurosamente) se desarrollara gradualmente, relacionndose de manera
inesperada al mismo tiempo junto con otras ideas tales como extremos, tan15
4.
1716) son considerados como los creadores del clculo. Sin embargo, esta afirmacin es una excesiva simplificacin de los hechos. En realidad el
clculo es el producto de una larga evolucin de ideas en la cual, ciertamente, estos dos personajes desempearon un papel decisivo [16, p. 348].
Newton y Leibniz retomaron los mtodos existentes para el clculo de
tangentes, extremos y reas, incorporndolos dentro de dos conceptos ms
generales, conceptos que actualmente conocemos como integral y derivada.
Asimismo, desarrollaron una notacin que hara ms sencillo, casi automtico, el uso de conceptos generales.
Por ejemplo, actualmente seguimos usando la notacin x de Newton y
R
tambin la notacin dy/dx y ydx de Leibniz. Adems, de manera independiente, dieron un argumento para demostrar lo que actualmente conocemos
como el Teorema Fundamental del Clculo:
La derivada y la integral son conceptos mutuamente inversos.
Por su parte, Newton llam fluxin a su derivada, la cual consideraba
como la razn de un flujo o cambio. Mientras que Leibniz consider a la
derivada como una razn de diferencias infinitesimales y le llam cociente
diferencial. Es as que la derivada se consideraba dentro de un contexto ms
general en el clculo. Incluso se haba comprendido mejor su relacin con
otro concepto bsico el cual Leibniz llam integral.
Veamos a continuacin la versin newtoniana del teorema fundamental.
Esto ilustrar cmo es que Newton present su clculo en 1669, y tambin
16
Figura 5:
(3)
n
(m+n)/n
.
m+n ax
conjunto de propiedades tiles, todava haban muchas preguntas sin responder. Por ejemplo, qu significado tena el cociente diferencial de Leibniz? Algunos discpulos de Leibniz trataron de responder esta pregunta,
principalmente Johann Bernoulli (1667-1748) y LHpital (1661-1704) quienes afirmaban que el cociente diferencial era una razn de infinitesimales,
despus de todo, era as como se calculaba. Pero los infinitesimales no obedecan el axioma de Arqumedes:
5.
En 1715, Brook Taylor (1685-1731), utilizando las propiedades de diferencias finitas, escribi una ecuacin expresando lo que nosotros actualmente
consideramos como f ( x + h) en trminos de f ( x ) y de sus cocientes de diferencias de varios rdenes [15, p. 21]. Despus, considerando las diferencias
ms pequeas, junto con un paso a lmite, estableci la frmula que todava
lleva su nombre: Series de Taylor. La importancia de las series de Taylor fue
reconocida por Colin Maclaurin (1698-1746), Leonhard Euler (1707-1783), y
Joseph-Louis Lagrange (1736-1813), quienes las usaron para el estudio de
funciones y para calcular soluciones aproximadas de ecuaciones. Ms an,
el estudio de las series de Taylor permiti comprender algunos elementos de
la naturaleza de la derivada. Euler utiliz dichas series con gran habilidad
para demostrar ciertas propiedades matemticas de funciones. Cabe mencionar que Euler, cuando estudiaba alguna funcin, asuma que sta tena
una serie de Taylor y que adems era nica pero jams dio una demostracin al respecto.
Por otra parte, el concepto de derivada, tal y como lo conceba Newton,
se convirti en un instrumento efectivo para el desarrollo de la fsica, en
particular, para el estudio del movimiento. Para ilustrar esto consideremos
el siguiente ejemplo:
Sea F una fuerza y x una distancia. De esta manera, el momentum1 viene
expresado por m x y, para una masa constante, m x ser la razn de cambio
del momentum. Entonces, de acuerdo con la segunda ley de Newton2 , tene1 La
cantidad de movimiento, momento lineal, mpetu o momentum es una magnitud fsica fundamental
de tipo vectorial que describe el movimiento de un cuerpo en cualquier teora mecnica. En mecnica clsica,
la cantidad de movimiento se define como el producto de la masa del cuerpo y su velocidad en un instante
determinado.
2 Newton estableci sus tres leyes del movimiento de manera verbal y deriv su fsica, a partir de stas,
20
21
6.
6.1.
A pesar de que Euler realiz un trabajo excepcional en el anlisis de mximos y mnimos de funciones, no fue capaz de dar una explicacin precisa de
la naturaleza del cociente diferencial. La primera persona preocupada por
esclarecer este tema fue Joseph-Louis Lagrange (1736-1813) quien identific
problemas lgicos en las justificaciones que se hacan dentro del clculo.
Lagrange escribi en 1797 que el concepto de lmite Newtoniano no era suficientemente claro para fundamentar una rama de las matemticas (en este
caso el clculo), pues consideraba que este concepto era muy restrictivo. Para l, el clculo debera reducirse al lgebra ya que esta ltima estaba mejor
fundamentada, o al menos eso se pensaba a finales del siglo XVIII [12, pp.
15-16].
El lgebra que Lagrange tena en mente era lo que l llamaba el lgebra de
series infinitas, pues estaba convencido de que las series infinitas eran parte
del lgebra. Lagrange crea que la expansin de f ( x + h) en una serie de
potencias en h era un proceso algebraico. Obviamente es algebraico cuando
transformamos la expresin
1
1x
22
en la serie de potencias
1 + x2 + x3 + x4 +
por medio de la divisin. De hecho, Euler haba encontrado, por medio de
la manipulacin de frmulas, las expansiones de series de potencias infinitas para funciones tales como sen x, cos x, e x , entre muchas otras. Si estas
funciones tenan expansiones en series de potencias, quiz todo podra reducirse al lgebra.
Euler, en su libro Introduccin al anlisis del infinito (Introductio in analysin
infinitorum, 1748), haba estudiado series infinitas, productos infinitos y fracciones continuas infinitas usando un mtodo que l consideraba puramente
algebraico. Por ejemplo, Euler convirti series infinitas en productos infinitos tratndolos como un polinomio con un nmero infinito de trminos
y pensaba que este proceso era puramente algebraico Lagrange tambin
pens que los mtodos de Euler eran algebraicos. De esta manera, Lagrange
trat de dar rigor al clculo reducindolo al lgebra de series infinitas.
En 1797, Lagrange estableci, y de hecho crey que haba probado, que
toda funcin (esto es, toda expresin analtica, finita o infinita) tena una
expansin en series de potencias:
f ( x + h ) = f ( x ) + p ( x ) h + q ( x ) h2 + r ( x ) h3 +
(4)
excepto, posiblemente, para un nmero finito de valores aislados de x. Lagrange entonces defini una nueva funcin, el coeficiente del trmino lineal
en h el cual es p( x ) en la expansin mostrada en (4) y la denomin la primera funcin derivada de f ( x ).
El trmino funcin derivada (en francs: fontion drive) que Lagrange
utiliz es el origen de nuestro trmino actual derivada. Asimismo, introdujo una nueva notacin, f 0 ( x ), para esa funcin y defini f 00 ( x ) como la
23
primer derivada de la funcin f 0 ( x ), y as sucesivamente de manera recursiva. Finalmente, utilizando estas definiciones, Lagrange demostr que en la
expresin (4):
q( x ) =
f 00 ( x )
,
2
r(x) =
f 000 ( x )
6
24
Por ejemplo, usando el criterio de Euler4 para usar series truncadas, Lagrange dio una caracterizacin ms til de la derivada de una funcin:
f ( x + h) = f ( x ) + h f 0 ( x ) + hH, donde H tiende a cero con h.
Lagrange interpret la frase H tiende a cero con h en trminos de desigualdades. Es decir, l escribi que:
Dados D y h, estos se pueden elegir de tal manea tal que f ( x + h) f ( x )
est entre h( f 0 ( x ) D ) y h( f 0 ( x ) + D ).
Esta afirmacin se acerca a la moderna definicin delta-epsilon de la derivada y Lagrange la utiliz para demostrar diversos teoremas. Por ejemplo,
demostr que una funcin es creciente en un intervalo, si su derivada es
positiva en ese intervalo. Incluso Lagrange estaba seguro de que el uso de
esta afirmacin implicara que el clculo diferencial se podra utilizar en
un amplio rango de problemas en mecnica, en geometra y para resolver
problemas de mximos y mnimos.
En el trabajo de Lagrange de 1797, entonces, la derivada se defina con
base en las series de Taylor una definicin quiz extraa para nosotros. Sin
embargo, la derivada fue descrita al satisfacer lo que nosotros reconocemos
como la desigualdad delta-epsilon y Lagrange aplic esta desigualdad para
resolver problemas de tangentes y de extremos. Claramente aqu la derivada
era una funcin ms que una razn o una velocidad.
Por supuesto, todava era demasiado asumir que una funcin tiene una
serie de Taylor, si quisiramos definir slo una derivada. De hecho, Lagran4 Euler
en su trabajo Institutiones calculi differentialis de 1755 estableci el siguiente criterio para usar un
nmero finito de trminos de una serie de potencias sin considerar su residuo: Dada y una funcin de x y
una cambio en x,
= P + Q 2 + R 3 +
Si el incremento , el cual se agrega a la cantidad variable, es muy pequeo, los trminos Q 2 , R 3 , . . .
tambin se hacen pequeos, hasta que P exceda a la suma de todo el resto [7, Seccin 122].
25
ge haba cometido algunos errores, uno de ellos era al respecto de las series
infinitas. Como Augustin Louis Cauchy (1789-1857) lo haba puntualizado
en 1821, el lgebra de cantidades infinitas no se puede extender automticamente a procesos infinitos. Asimismo, Cauchy observ que la manipulacin
de las series de Taylor no era una prueba del todo completa. Por ejemplo, la
funcin
f ( x ) = e1/x
6.2.
[ x,x +i ]
f (x + i) f (x)
max f 0 ( x ).
i
[ x,x +i ]
Sn =
i =1
f ( x )dx.5
x0
27
3
.
2
29
7.
30
Lnea temporal
Las fechas se refieren a la publicacin de los principales trabajos relacionados con la evolucin del concepto de derivada.
31
Referencias
[1] Baron, M. Origins of the Infinitesimal Calculus, Pergamon, Oxford, 1969.
[2] Berkeley, G. The Analyst, or a Discourse Addressed to an Infidel Mathematician, 1734. In A. A. Luce and T. R. Jessop, eds., The Works of George
Berkeley, Nelson, London, 1951. 24
[3] Boyer, C. History of the Calculus and Its Conceptual Development, Dover,
New York, 1959. 13, 15, 29
[4] Cauchy, A.-L. Rsum des lecons donnes lcole royale polytechnique
sur le calcul infinitsimal, Paris, 1823. In Oeuvres compltes dAugustin
Cauchy, Gauthier-Villars, Paris, 1882- , series 2, vol. 4. 26
[5] Edwards, C. H.The Historical Development of the Calculus. New York:
Springer-Verlag., 1979. 18
[6] Euclid. The thirteen books of the elements. Sir Thomas L Heath, translator.
Vol. 2 (books III-IX); 2nd ed. New York, NY: Dover Publications, Inc.;
1956. 19
[7] Euler, L. Institutiones calculi differentialis, St. Petersburg, 1755. In Operia
omnia, Teubner, Leipzig, Berlin, and Zurich, 1911- , series 1, vol. 10. 25
[8] Fermat, P. Analysis ad refractiones, 1661. In Oeuvres de Fermat, ed., C.
Henry and P. Tannery, 4 vols., Paris, 1891-19 12; Supplement, ed. C. de
Waard, Paris, 1922, vol. 1, pp. 170-172. 12
[9] Fermat, P. Methodus ad disquirendam maximam et minimam et de tangentibus linearum curvarum, Oeuvres, vol. 1, pp. 133-136. 10, 12
32
33