Académique Documents
Professionnel Documents
Culture Documents
ndice
Prologo
.. 2
Sumas y diferencias
.. 5
El clculo de Leibniz
.. 6
El problema de De Beaune
.. 10
.. 12
Clculo Integral
Prologo
Antecedentes: La disputa
Clculo Integral
G.W. LEIBNIZ
(Gottfried Wilhelm von Leibniz; Leipzig, actual Alemania, 1646 - Hannover, id., 1716)
Filsofo y matemtico alemn. Su padre, profesor de filosofa moral en la Universidad de
Leipzig, falleci cuando Leibniz contaba seis aos. Capaz de escribir poemas en latn a los
ocho aos, a los doce empez a interesarse por la lgica aristotlica a travs del estudio de la
filosofa escolstica.
En 1661 ingres en la universidad de su ciudad natal para estudiar leyes, y dos aos despus
se traslad a la Universidad de Jena, donde estudi matemticas con E. Weigel. En 1666, la
Universidad de Leipzig rechaz, a causa de su juventud, concederle el ttulo de doctor, que
Leibniz obtuvo sin embargo en Altdorf; tras rechazar el ofrecimiento que all se le hizo de
una ctedra, en 1667 entr al servicio del arzobispo elector de Maguncia como diplomtico,
y en los aos siguientes despleg una intensa actividad en los crculos cortesanos y
eclesisticos.
En 1672 fue enviado a Pars con la misin de disuadir a Luis XIV de su propsito de invadir
Alemania; aunque fracas en la embajada, Leibniz permaneci cinco aos en Pars, donde
desarroll una fecunda labor intelectual. De esta poca datan su invencin de una mquina
Clculo Integral
Clculo Integral
Sumas y diferencias.
Cuando a sus 26 aos conoci en 1672 a Huygens en Paris, ste le plante el problema de
sumar los inversos de los nmeros triangulares
1 1 1 1 1
2
+ + + + + +
+
1 3 6 10 15
n ( n+1 )
De donde
1 1 1 1 1
1
1 1
1 1
+ + + + =2 1 + + 2 + =2
1 3 6 10 15
2
2 3
3 4
( )(
) (
Leibniz, tal como hizo en la suma de la serie de los inversos de los nmeros triangulares,
consideraba sumas y diferencias de sucesiones de nmeros. Observ por ejemplo que dada la
sucesin a0, a1, a2, ... , an , si consideramos la sucesin de diferencias d1, d2, ... , dn ,
donde:
di=aiai1 . Entonces
d1+d2+
+dn=(a1a0)+(a2a1)+
+(anan1)=ana0
Ya que i2(i1)2=2i1. Luego se sigue que la suma de los n primeros nmeros impares es n 2
Clculo Integral
1+3+5+ + (2n1)=n2
Leibniz utiliza este mtodo en otros casos. Por ejemplo en relacin a la serie geomtrica
1,q,q2, ... ,qn, ...
Obtiene
El clculo de Leibniz.
Leibniz no tard en aplicar a la geometra sus observaciones de que las sumas de sucesiones
y sus diferencias consecutivas son procesos inversos el uno del otro. Consideremos una
curva como la de la figura donde aparece una sucesin de ordenadas equidistantes
y1,y2,y3,,yn
Clculo Integral
De esta forma el teorema fundamental del clculo aparece como obvio. Esto es, para hallar el
rea debajo de una curva con ordenadas y, debemos hallar una curva de ordenadas z de tal
manera que dz/dx=y, en cuyo caso es tambin ydx=z.
En la primera notacin de sus manuscritos Leibniz escribe
omnl = y
Donde omn es omnia, que en latn significa suma, y donde l son diferencias. Con ello
empieza a desarrollar su clculo y la expresin simplemente significa que la suma de las
primeras diferencias de una sucesin que empieza por 0 es igual al ltimo trmino. Despus
ira cambiando su notacin y escribe la anterior relacin como dy=y que es la que usamos
actualmente. El signo integral no es ms que una S elongada que significa suma.
La idea de su clculo es que las frmulas y relaciones geomtricas se realicen de manera casi
automtica por medio de las reglas del clculo de diferencias
d ( x + y ) =dx+ dy
d ( xy )=x dy + y dx
dy
( xy )= y dxx
y
2
d ( x n) =n x n1 dx
etc.
Para demostrar por ejemplo la regla d(xy)=x dy+y dx, calcula la diferencia entre dos
trminos consecutivos de la sucesin producto xy
d(xy)=(x+dx)(y+dy)xy=xdy+ydx+dx dy
Y luego omite la cantidad dx dy por ser infinitamente ms pequea en comparacin con los
otros trminos.
De esta regla Leibniz deduce la integracin por partes
x dy=xy
Clculo Integral
y dx
Aunque las demuestra como teoremas, siempre que puede intenta relacionar sus operaciones
analticas con resultados geomtricos familiares. Por ejemplo para esta ltima integracin
por partes, observa que es tambin la adicin de reas
x dy+
y dx=xy
Para probar
d
( xy )= xdyx ydx
2
Escribe
d
Y otra vez cancela xdx del denominador por ser pequeo frente a x 2.
Otra relacin es por ejemplo
2
y dy=
y
2
Para su prueba, piensa en trminos de la funcin y=x. Tal como se observa en la figura el
rea del tringulo ABC es la suma de los y dy, para pequeos dy, pero esta rea es y2/ 2.
Clculo Integral
En sus aplicaciones geomtricas, dado un punto P=(x,y) sobre una curva, tal como se
observa
de
la
figura
Aparecen las llamadas subtangente s=TA, tangente t=TP, normal n=PB y subnormal = AB.
Todas estas variables tienen entitad propia y estn relacionadas unas con otras. Por ejemplo
se tiene por la semejanza
y v
=
s y
Para cada una de estas variables se pueden considerar tambin sus diferencias. Si
consideramos las diferencias dx y dy, el pequeo tringulo PQR se llama el tringulo
caracterstico y se tiene por ejemplo la relacin
dy y
=
dx s
Todo este clculo y en especial su notacin result ser muy manejable y de gran utilidad, lo
que contribuy decisivamente a su xito. Notacin y concepto son virtualmente inseparables.
Clculo Integral
Por ejemplo la regla de la cadena para z=f(y) e y=g(x) que nosotros escribimos
como primero la composicin h(x)=f(g(x) y luego
h(x)=f(g(x))g(x)
Aunque desde el punto de vista lgico le falta rigor a esta frmula simblica, ya que cancela
dys como si fueran nmeros reales, no slo halla correctamente al resultado sino que sugiere
adems la manera de demostrarla, reemplazando las diferenciales dx,dy,dz por
incrementos finitos x,y,z y pasando luego al lmite.
Leibniz tard unos aos en presentar estas ideas en pblico ya que era una formulacin
intuitiva, pero que tena el problema de trabajar con cantidades infinitamente pequeas y esto
no estaba rigurosamente definido ni era muy aceptable en matemticas. Su primera
publicacin fue un corto artculo titulado "Nova Methodus pro Maximis et Minimis, itemque
Tangentibus, quae nec fractas nec irrationales quantitates moratur et singulare pro illis
calculi genus", (Un nuevo mtodo para mximos y mnimos y tangentes, no impedido por
cantidades racionales o irracionalesy un singular nuevo tipo de clculo para ellas), que
apareci en 1684 en Acta eruditorum.
En este trabajo original, despus de introducir su clculo, Leibniz da tres ejemplos de la
aplicaciones, el primero prueba el principio ya conocido por Descartes y Fermat de que el
ngulo de incidencia es igual al ngulo de refraccin, el segundo es un problema geomtrico.
Luego, dice Leibniz:
"Y esto es slo el comienzo de una mucho ms sublime Geometra, de problemas incluso
mucho ms difciles y de los ms bonitos de matemticas aplicadas, los cuales sin nuestro
clculo diferencial o algo similar nadie podra atacar con tanta facilidad. Aadiremos
como apndice la solucin del problema que De Beaune propuso a Descartes, quin lo
intent resolver el el Vol. 3 de sus Lettres, pero sin xito"
En realidad Descartes haba encontrado prcticamente la naturaleza de esta curva, pero
careca de instrumentos adecuados para su solucin. Este problema y otros que fueron
apareciendo despus pusieron de manifiesto la potencia del nuevo clculo. Exponemos este
problema en la seccin siguiente.
Clculo Integral
El problema de De Beaune.
El problema que Florimont De Beaune haba propuesto originalmente a Descartes en 1639
es: Hallar una curva cuya subtangente sea una constante dada a.
De la relacin
dx s
=
dy y
Leibniz considera dx=b constante, lo que equivale a tener las abscisas en progresin
aritmtica. Tomando k=b/a, la relacin anterior da
dy=k y
Que estn en progresin aritmtica, al ser dy 1=y1y0=k y1, ser y1=k1 y0 para la constante
k1=1/(k+1). Luego las correspondientes ordenadas
y0, y1=k1 y0, y2=k12 y0,y3=k13 y0, ...
Clculo Integral
dy
=dx
y
De donde integrando a logy=x+C. (Obsrvese que la notacin que usamos ahora para este
proceso es la original). Leibniz viene a describir una poligonal solucin de una ecuacin en
diferencias que aproxima a la exponencial y su ecuacin diferencial correspondiente, siendo
la aproximacin cada vez mejor a medida que dx se va haciendo infinitsimo.
Clculo Integral
que es la ecuacin diferencial que verifica y=sin. Para resolver esta ecuacin Leibniz
considera d como constante y aplica el operador d a la ecuacin. Se obtiene
d[dy2+y2 d2]=0, de donde por la regla del producto
d[dydy+y2 d2]=2(dy)(d dy)+2y dy d2=0
Esto es
d2 y
= y
2
d
Que es la ecuacin diferencial de segundo orden de y=sin. Ahora Leibniz supone que
podemos escribir la serie de potencias con coeficientes indeterminados
y=sin = b +c3+e 5+f 7+g9+
Donde ha tomado el trmino constante igual a cero al ser sin0=0 y slo toma potencias
impares al ser sin impar. Diferenciando dos veces esta expresin se obtiene
2
d y
=23 c+45 e 3 +89 g 7
2
d
De donde tomando b=1 como condicin inicial obtenemos sucesivamente c=1/3!, e=1/5!,
f=1/7!, g=1/9!, ... , esto es
sin =
1 3 1 5 1 7 1 9
+ +
3!
5!
7
9
Obtiene por tanto con su mtodo de diferencias la relacin que ya haba obtenido Newton en
1676 con su serie del binomio.
Clculo Integral
CONCLUSIN
Leibniz reconoca en una carta a Wallis, un matemtico ingls, que le deba mucho a Fermat;
y Newton escribi que desarrollo su clculo diferencial en base al mtodo de trazar tangentes
de Fermat, que trataba exactamente los mximos y mnimos de curvas polinmicas.
Actualmente, toda la comunidad cientfica reconoce a ambos como los descubridores del
clculo, y se sigue utilizando la notacin de ambos, con diferencias entre matemticas y
fsica. En fsica, se utiliza la notacin de Newton para la diferenciacin, la cual consiste en
un punto sobre el nombre de la funcin, y que Newton denomino fluxin. Es muy utilizada
para la derivada respecto del tiempo.
En la notacin de Leibniz se representa la operacin de diferenciar mediante el operador
d/dx. Esta notacin permite recordar intuitivamente varios conceptos del clculo como la
regla de la cadena, o el de separacin de variables en la resolucin de ecuaciones
diferenciales.
La notacin de Leibniz resulta muy til cuando se trabaja con derivadas parciales de
funciones multivariables y sus operadores derivados, ya que indica que variable de la
funcin es independiente en cada momento.
Clculo Integral