Você está na página 1de 30

Histria dos Limites

Limites nos apresentam um grande paradoxo. Todos os conceitos principais do clculo -


derivada, continuidade, integral, convergncia/divergncia - so definidos em termos de
limites. Limite o conceito mais fundamental do Clculo; de fato, limite o que distingue, no
nvel mais bsico, o clculo de lgebra, geometria e o resto da matemtica. Portanto, em
termos do desenvolvimento ordenado e lgico do clculo, limites devem vir primeiro . Porm,
o registro histrico justamente o oposto. Por vrios sculos, as noes de limite eram
confusas, com idias vagas e algumas vezes filosficas sobre o infinito (nmeros
infinitamente grandes e infinitamente pequenos e outras entidades matemticas) e com
intuio geomtrica subjetiva e indefinida. O termo limite em nosso sentido moderno um
produto do iluminismo na Europa no final do sculo 18 e incio do sculo 19, e nossa
definio moderna tem menos de 150 anos de idade. At este perodo, existiram apenas
raras ocasies nas quais a idia de limite foi usada rigorosamente e corretamente.

A primeira vez que limites foram necessrios foi para a resoluo dos quatro paradoxos de
Zeno (cerca de 450 A.C.). No primeiro paradoxo, a Dicotomia, Zeno colocou um objeto se
movendo uma distncia finita entre dois pontos fixos em uma srie infinita de intervalos de
tempo (o tempo necessrio para se mover metade da distncia, em seguida o tempo
necessrio para se mover metade da distncia restante, etc.) durante o qual o movimento
deve ocorrer. A concluso surpreendente de Zeno foi que o movimento era impossvel!
Aristteles (384--322 A.C.) tentou refutar os paradoxos de Zeno com argumentos
filosficos. Em matemtica, uma aplicao cuidadosa do conceito de limite resolver as
questes levantadas pelos paradoxos de Zeno.

Para suas demonstraes rigorosas das frmulas para certas reas e volumes, Arquimedes
(287--212 A.C.) encontrou vrias sries infinitas - somas que contm um nmero infinito de
termos. No possuindo o conceito de limite propriamente dito, Arquimedes inventou
argumentos muito engenhosos chamados de reduo ao absurdo duplo, que, na verdade,
incorporam alguns detalhes tcnicos do que agora chamamos de limites.

Clculo tambm algumas vezes descrito como o estudo de curvas, superfcies e slidos. O
desenvolvimento da geometria destes objetos floresceu seguindo a inveno da geometria
analtica por Pierre Fermat (1601--1665) e Ren Descartes (1596--1650). A geometria
analtica , essencialmente, o casamento da geometria com a lgebra, e cada uma melhora
a outra.

Fermat desenvolveu um mtodo algbrico para encontrar os pontos mais altos e mais
baixos sobre certas curvas. Descrevendo a curva em questo por uma equao, Fermat
chamou um nmero pequeno de E, e ento fez alguns clculos algbricos legtimos, e
finalmente assumiu E = 0 de tal maneira que todos os termos restantes nos quais E estava
presente desapareceriam! Essencialmente, Fermat colocou de lado o limite com o
argumento que E "infinitamente pequeno". Geometricamente, Fermat estava tentando
mostrar que, exatamente nos pontos mais altos e mais baixos ao longo da curva, as retas
tangentes curva so horizontais, isto , tm inclinao zero.

Encontrar retas tangentes a curvas um dos dois problemas mais fundamentais do clculo.
Problemas envolvendo tangentes so uma parte do que chamamos agora de estudo das
derivadas. Durante o sculo 17, vrios gemetras desenvolveram esquemas algbricos
complicados para encontrar retas tangentes a certas curvas. Descartes tinha um processo
que usava razes duplas de uma equao auxiliar, e essa tcnica foi melhorada pelo
matemtico Johan Hudde (1628--1704), que era tambm o prefeito de Amsterdam. Ren de
Sluse (1622--1685) inventou um mtodo ainda mais complicado para obter tangentes a
curves. Em cada um desses clculos, o limite deveria ter sido usado em alguma etapa
crtica, mas no foi. Nenhum destes gemetras percebeu a necessidade da idia de limite, e
assim cada um encontrou uma maneira inteligente para alcanar seus resultados, os quais
estavam corretos, mas com meios que, agora reconhecemos, faltam fundamentos rigorosos.

Determinar valores exatos para reas de regies limitadas, pelo menos em parte, por curvas
o segundo problema fundamental do clculo. Este so chamados freqentemente de
problemas de quadratura, e, intimamente relacionados a eles, esto os problemas de
cubatura - encontrar volumes de slidos limitados, pelo menos em parte, por superfcies
curvas. Eles nos levam a integrais. Johannes Kepler (1571--1630), o famoso astrnomo, foi
um dos primeiros estudiosos dos problemas de cubatura. Bonaventura Cavalieri (1598--
1647) desenvolveu uma teoria elaborada de quadraturas. Outros, tais como Evangelista
Torricelli (1608--1647), Fermat, John Wallis (1616--1703), Gilles Personne de Roberval
(1602--1675), e Gregory St. Vincent (1584--1667) inventaram tcnicas de quadratura e/ou
cubatura que se aplicam a curvas e slidos especficos ou famlias de curvas. Mas nenhum
deles usou limites! Seus resultados eram quase todos corretos, mas cada um dependia de
um malabarismo algbrico ou apelavam para intuio geomtrica ou filosfica questionvel
em algum ponto crtico. A necessidade de limites no era reconhecida.

Em quase todos os seus trabalhos que agora so considerados como clculo, Isaac Newton
(1642--1727), tambm no reconheceu o papel fundamental do limite. Para sries infinitas,
Newton raciocinou meramente por analogia: se fosse possvel executar operaes
algbricas em polinmios, ento seria possvel fazer o mesmo com o nmero infinito de
termos de uma srie infinita. Newton calculou o que ele chamou de flxions a curvas, no
exatamente derivadas, mas muito prximo. O processo que ele usou para esses clculos
era muito prximo do mtodo de Fermat. Neste e na maioria dos outros trabalhos
comparveis, Newton negligenciou o limite.

Por outro lado, em seu Principia Mathematica (1687), talvez o maior trabalho em matemtica
e cincia, Newton foi o primeiro a reconhecer que o limite deve ser o ponto de partida para
problemas de tangncia, quadratura e afins. No incio do Livro I do Principia, Newton tentou
dar uma formulao precisa do conceito de limite:

Quantidades, e as razes de quantidades, as quais em qualquer tempo finito


convergem continuamente para igualdade, e antes do final daquele tempo se
aproximam entre si por qualquer dada diferena, tornam-se iguais no final.

Existiram crticas sobre esta afirmao e sobre a discusso que a seguiu, notadamente por
George Berkeley (1685--1753). Mas a genialidade de Newton tinha descoberto o papel
fundamental que o limite tinha que desempenhar no desenvolvimento lgico do clculo. E,
apesar de sua linguagem rebuscada, a semente da definio moderna de limite estava
presente em suas afirmaes.

Infelizmente, para a fundamentao rigorosa do clculo, por muitas dcadas, ningum


observou estas dicas que Newton tinha fornecido. As principais contribuies ao clculo de
Gottfried Wilhelm Leibniz (1646--1716) foram as notaes e as frmulas bsicas para as
derivadas e integrais (as quais usamos desde ento) e o Teorema Fundamental do Clculo.
Com estas ferramentas poderosas, o nmero de curvas e slidos para os quais derivadas e
integrais podiam ser facilmente calculadas se expandiram rapidamente. Problemas
desafiadores de geometria foram resolvidos; mais e mais aplicaes do clculo cincia,
principalmente fsica e astronomia, foram descobertas; e novos campos da matemtica,
especialmente equaes diferenciais e o clculo de variaes, foram criados. Dentre os
lderes desse desenvolvimento do sculo 18 estavam vrios membros da famlia Bernoulli,
Johann I (1667--1748), Nicolas I (1687--1759) e Daniel (1700--1782), Brook Taylor (1685--
1731), Leonhard Euler (1707--1783), e Alexis Claude Clairaut (1713--1765).

O clculo se desenvolveu rapidamente pelos seus vrios sucessos no sculo 18, e pouca
ateno foi dada aos seus fundamentos, muito menos ao limite e seus detalhes. Colin
Maclaurin (1698--1746) defendeu o tratamento dos fluxions de Newton do ataque de George
Berkeley. Mas Maclaurin reverteu a argumentos do sculo 17 similares aos de Fermat e
apenas ocasionalmente usou a reduo ao absurdo dupla de Arquimedes. Apesar de suas
boas intenes, Maclaurin passou por oportunidades de seguir a sugesto de Newton sobre
limites. Jean Le Rond d'Alembert (1717--1783) foi o nico cientista daquele tempo que
reconheceu explicitamente a importncia central do limite no clculo. Na famosa
Encyclopdie (1751--1776), d'Alembert afirmou que a definio apropriada da derivada
necessitava um entendimento do limite primeiro e ento, deu a definio explcita:

Uma quantidade o limite de uma outra quantidade quando a segunda puder se aproximar
da primeira dentro de qualquer preciso dada, no importa quo pequena, apesar da
segunda quantidade nunca exceder a quantidade que ela aproxima.

Em termos gerais, d'Alembert percebeu que, "a teoria de limites era a verdadeira metafsica
do clculo".

A preocupao sobre a falta de fundamento rigoroso para o clculo cresceu durante os


ltimos anos do sculo 18. Em 1784, a Academia de Cincias de Berlim ofereceu um prmio
para um ensaio que explicasse com sucesso uma teoria do infinitamente pequeno e do
infinitamente grande em matemtica e que poderia, por sua vez, ser usada para colocar
uma base slida para o clculo. Embora este prmio tenha sido dado, o trabalho vencedor
"longo e tedioso" de Simon L'Huilier (1750--1840) no foi considerado uma soluo vivel
para os problemas colocados. Lazare N. M. Carnot (1753--1823) produziu uma tentativa
popular de explicar o papel do limite no clculo como "a compensao de erros" - mas ele
no explicou como estes erros se cancelariam mutuamente perfeitamente.

No final do sculo 18, o grande matemtico da poca, Joseph-Louis Lagrange (1736--1813),


conseguiu reformular toda a mecnica em termos de clculo. Nos anos que seguiram a
Revoluo Francesa, Lagrange concentrou sua ateno nos problemas da fundamentao
do clculo. Sua soluo, Funes Analticas (1797), desligou o clculo de "qualquer
considerao do infinitamente pequeno ou quantidades imperceptveis, de limites ou de
flxions." Renomado por suas outras contribuies ao clculo, Lagrange fez um esforo
herico (como sabemos agora, com um falha fatal) para tornar o clculo puramente
algbrico eliminando limites inteiramente.

Ao longo do sculo 18, havia pouca preocupao com convergncia ou divergncia de


sequncias e sries infinitas; hoje, entendemos que tais problemas requerem o uso de
limites. Em 1812, Carl Friedrich Gauss (1777--1855) produziu o primeiro tratamento
estritamente rigoroso da convergncia de sequncias e sries, embora ele no tenha usado
a terminologia de limites. Na sua famosa Teoria Analtica do Calor, Jean Baptiste Joseph
Fourier (1768--1830) tentou definir a convergncia de uma srie infinita, novamente sem
usar limites, mas ento ele afirmou que qualquer funo poderia ser escrita como uma de
suas sries, e no mencionou a convergncia ou divergncia desta srie.

No primeiro estudo cuidadoso e rigoroso das diferenas entre curvas contnuas e


descontnuas e funes, Bernhard Bolzano (1781--1848) olhou alm da noo intuitiva da
ausncia de buracos e quebras e encontrou os conceitos mais fundamentais os quais
expressamos hoje em termos de limites.

No comeo do sculo 18, as idias sobre limites eram com certeza confusas. Enquanto
Augustin Louis Cauchy (1789-1857) estava procurando por uma exposio clara e
rigorosamente correta do clculo para apresentar aos seus estudantes de engenharia na
cole polytechnique em Paris, ele encontrou erros no programa estabelecido por Lagrange.
Ento, Cauchy comeou o seu curso de clculo do nada; ele comeou com uma definio
moderna de limite. Comeando em 1821, ele escreveu as suas prprias notas de aula,
essencialmente seus prprios livros, o primeiro chamado de Cours d'analyse (Curso de
Anlise). Nas suas classes e nestes livros-texto clssicos, Cauchy usou o princpio de limite
como a base para introdues precisas continuidade e convergncia, a derivada, a
integral, e o resto do clculo.

Contudo, Cauchy perdeu alguns dos detalhes tcnicos, especialmente na aplicao da sua
definio de limite a funes contnuas e convergncia de certas sries infinitas. Niels
Henrik Abel (1802--1829) e Peter Gustav Lejeune Dirichlet (1805--1859) estavam entre
aqueles que desencavaram estes problemas delicados e no intuitivos. Nas dcadas de
1840 e 1850, enquanto era um professor do ensino mdio, Karl Weierstrass (1815--1897)
determinou que a primeira etapa necessria para corrigir estes erros era restabelecer a
definio original de Cauchy do limite em termos estritamente aritmticos, usando apenas
valores absolutos e desigualdades. A exposio de Weierstrass exatamente aquela que
encontramos no livro de Clculo de Thomas. Weierstrass prosseguiu em uma carreira
brilhante como professor de matemtica na Universidade de Berlim. L ele desenvolveu um
programa para trazer rigor aritmtico para todo o clculo e anlise matemtica.

Histria da Derivada

A derivada tem dois aspectos bsicos, o geomtrico e o computacional. Alm disso, as


aplicaes das derivadas so muitas: a derivada tem muitos papis importantes na
matemtica propriamente dita, tem aplicaes em fsica, qumica, engenharia, tecnologia,
cincias, economia e muito mais, e novas aplicaes aparecem todos os dias.

A origem da derivada est nos problemas geomtricos clssicos de tangncia, por exemplo,
para determinar uma reta que intersecta uma dada curva em apenas um ponto dado.
Euclides (cerca de 300 A.C.) provou o familiar teorema que diz que a reta tangente a um
crculo em qualquer ponto P perpendicular ao raio em P. Arquimedes (287--212 A.C.) tinha
um procedimento para encontrar a tangente sua espiral e Apolnio (cerca de 262--190
A.C.) descreveu mtodos, todos um tanto diferentes, para determinar tangentes a parbolas,
elipses e hiprboles. Mas estes eram apenas problemas geomtricos que foram estudados
apenas por seus interesses particulares limitados; os gregos no perceberam nenhuma
linha em comum ou qualquer valor nestes teoremas.
Problemas de movimento e velocidade, tambm bsicos para nosso entendimento de
derivadas hoje em dia, tambm surgiram com os gregos antigos, embora estas questes
tenham sido originalmente tratadas mais filosoficamente que matematicamente. Os quatro
paradoxos de Zenon (cerca de 450 a.C.) se apiam sobre dificuldades para entender
velocidade instantnea sem ter uma noo de derivada. Na Fsica de Aristteles (384--322
B.C.), os problemas de movimento esto associados intimamente com noes de
continuidade e do infinito (isto , quantidades infinitamente pequenas e infinitamente
grandes). Na poca medieval, Thomas Bradwardine (1295--1349) e seus colegas em Merton
College, Oxford, fizeram os primeiros esforos para transformar algumas das idias de
Aristteles sobre movimento em afirmaes quantitativas. Em particular, a noo de
velocidade instantnea tornou-se mensurvel, pelo menos em teoria; hoje, a derivada (ou
a taxa de variao) da distncia em relao ao tempo.

Foi Galileu Galilei (1564--1642) quem estabeleceu o princpio que matemtica era a
ferramenta indispensvel para estudar o movimento e, em geral, cincia: Filosofia [cincia
e natureza] est escrita naquele grande livro o qual est diante de nossos olhos quero
dizer o universo mas no podemos entend-lo se no aprendermos primeiro a
linguagem... O livro est escrito em linguagem matemtica ... Galileu estudou o movimento
geometricamente; usou as propores clssicas de Euclides e propriedades das cnicas de
Apolnio para estabelecer relaes entre distncia, velocidade e acelerao. Hoje, estas
quantidades variveis so aplicaes bsicas das derivadas.

O interesse em tangentes a curvas reapareceu no sculo 17 como uma parte do


desenvolvimento da geometria analtica. Uma vez que equaes eram ento usadas para
descrever curvas, o nmero e variedade de curvas aumentou tremendamente naqueles
estudos em pocas clssicas. Por exemplo, Pierre Fermat (1601--1665) foi o primeiro a
considerar a idia de uma famlia inteira de curvas de uma s vez. Ele as chamou de
parbolas superiores, curvas da forma y = kxn, onde k constante e n = 2, 3, 4, A
introduo de smbolos algbricos para estudar a geometria de curvas contribuiu
significativamente para o desenvolvimento da derivada, da integral e do clculo. Por outro
lado, como concluses e resultados geomtricos poderiam ser obtidos mais facilmente
usando raciocnio algbrico que geomtrico, os padres de rigor lgico que tinham sido
iniciados pelos gregos antigos foram relaxados em muitos problemas de clculo, e isto
(entre outros fatores) levou a controvrsias espirituosas e at amarguradas. Fermat
desenvolveu um procedimento algbrico para determinar os pontos mais altos (mximos) e
mais baixos (mnimos) sobre uma curva; geometricamente, ele estava encontrando os
pontos onde a tangente curva tem inclinao zero.

Ren Descartes (1596--1650) teve o discernimento de prever a importncia da tangente


quando, em sua Geometria, escreveu E eu ouso dizer isto [encontrar a normal, ou
perpendicular a uma curva, a partir da qual podemos facilmente identificar a tangente] no
apenas o problema mais til e geral da geometria que conheo, mas at aquele que sempre
desejei conhecer. Descartes inventou um procedimento de dupla raiz para encontrar a
normal e ento a tangente a uma curva. Como resultado da traduo da Geometria de
Descartes para o latim por Frans van Schooten (1615--1661) e as explicaes abrangentes
por Schooten, Florimonde de Beaune (1601--1652) e Johan Hudde (1628-1704), os
princpios e benefcios da geometria analtica tornaram-se mais amplamente conhecidos.
Em particular, Hudde simplificou a tcnica da dupla raiz de Descartes para determinar
pontos mximos e mnimos sobre uma curva; o procedimento da dupla raiz foi redescoberto
por Christiaan Huygens (1629-1695). Ento, modificando o processo da tangente de Fermat,
Huygens inventou uma seqncia de etapas algbricas que produziu os pontos de inflexo
de uma curva; veremos que isto requer a derivada segunda. Ren Franois de Sluse (1622--
1685) desenvolveu uma tcnica algbrica que levou inclinao da tangente a uma curva.
No final da dcada de 1650, havia grande correspondncia entre Huygens, Hudde, van
Schooten, Sluse e outros sobre tangentes de vrias curvas algbricas; Hudde e Sluse
especialmente procuraram mtodos algbricos mais simples e padronizados que poderiam
ser aplicados a uma variedade maior de curvas. Para Gilles Personne de Roberval (1602--
1675), uma curva era o caminho de um ponto se movendo, e ele desenvolveu um mtodo
mecnico para encontrar a tangente para muitas curvas, incluindo a ciclide. Mas o mtodo
de Roberval no podia ser generalizado para incluir mais curvas.

Isaac Newton (1642--1727) comeou a desenvolver o seu clculo de flxions entre os seus
primeiro esforos cientficos em 1663. Para Newton, movimento era a base fundamental
para curvas, tangentes e fenmenos relacionados de clculo e ele desenvolveu seus
flxions a partir da verso de Hudde do procedimento da dupla raiz. Newton estendeu esta
tcnica como um mtodo para encontrar a curvatura de uma curva, uma caracterstica que
agora sabemos ser uma aplicao da derivada segunda. Em 1666, 1669 e 1671, Newton
resumiu e revisou seu trabalho de clculo e estes manuscritos circularam entre um grande
nmero de seus colegas e amigos. Ainda assim, embora tenha continuado a retornar a
problemas de clculo em pocas diferentes de sua vida cientfica, os trabalhos de Newton
sobre clculo no foram publicados at 1736 e 1745.

Com algum tutoramento e conselho de Huygens e outros, Gottfried Wilhelm Leibniz (1646--
1716) desenvolveu seu clculo diferencial e integral durante o perodo entre 1673 e 1676
enquanto vivia como um diplomata em Paris. Em uma pequena viagem a Londres, onde
participou de um encontro da Sociedade Real em 1673, Leibniz aprendeu o mtodo de
Sluse para encontrar tangentes a curvas algbricas. Leibniz tinha pouca inclinao para
desenvolver estas tcnicas e interesse ainda menor em fundamentaes matemticas (isto
, limites) necessrias, mas ele aperfeioou as frmulas modernas e a notao para
derivada no seu famoso artigo "New methods for maximums and minimums, as well as
tangents, which is neither impeded by fractional nor irrational quantities, and a remarkable
calculus for them" (Novos mtodos para mximos e mnimos, assim como tangentes, os
quais no so impedidos por quantidades fracionrias e irracionais, e um clculo notvel
para eles) de 1684.

Aqui est o primeiro trabalho publicado em clculo e de fato a primeira vez que a palavra
clculo foi usada em termos modernos. Agora, qualquer um poderia resolver problemas de
tangentes sem ser especialista em geometria, algum poderia simplesmente usar as
frmulas de clculo de Leibniz.

Algumas vezes se diz que Newton e Leibniz inventaram o clculo. Como podemos ver, isto
simplificao exagerada. Em vez disso, como Richard Courant (1888--1972) observou,
clculo tem sido uma luta intelectual dramtica que durou 2500 anos. Depois de 1700,
circunstncias levaram a um dos episdios mais tristes e deselegantes em toda a histria da
cincia: a disputa entre Leibniz e Newton, e mais ainda entre seus seguidores, sobre quem
deveria receber os crditos do clculo. Cada um fez contribuies importantes para
derivada, integral, sries infinitas e, acima de tudo, para o Teorema Fundamental do
Clculo. As acusaes de plgio e outros ataques eram irrelevantes frente matemtica
feita por eles, mas as acusaes e contra-ataques escalaram para cises entre matemticos
e cientistas na Inglaterra (leais a Newton) e no continente europeu (seguidores de Leibniz)
os quais levaram xenofobia nacionalista por mais de um sculo.

O primeiro livro sobre clculo diferencial foi Analysis of Infinitely Small Quantities for the
Understanding of Curved Lines (Anlise de quantidades infinitamente pequenas para o
entendimento de curvas,1696) pelo Marqus de lHospital (1661--1704). Muito de seu
trabalho foi realmente devido Johann Bernoulli (1667--1748) e seguiu o tratamento de
Leibniz para derivadas, mximos, mnimos e outras anlises de curvas. Mas o mtodo de
lHospital para determinar o raio de curvatura era muito parecido com aquele de Newton.
Jakob Bernoulli (1654-1705) e seu irmo mais novo Johann lideraram o caminho para
espalhar o conhecimento do poder das frmulas de clculo de Leibniz propondo e
resolvendo problemas desafiadores (o problema da catenria e da braquistcrona so dois
exemplos) para os quais o clculo era necessrio. Leibniz, Newton e Huygens tambm
resolveram estes problemas. Este problemas e outros levaram ao desenvolvimento das
equaes diferenciais e do clculo das variaes, novos campos da matemtica
dependentes de clculo.

Na Inglaterra, o novo Treatise of Fluxions (Tratado de Flxions,1737) de Thomas Simpson


(1710--1761) forneceu a primeira derivada da funo seno. Em 1734, o Bispo George
Berkeley (1685--1753) publicou The Analyst (O Analista), um ataque falta de fundamentos
rigorosos para seus flxions. Berkeley reconheceu a preciso das frmulas de Newton e a
exatido das suas aplicaes abrangentes em fsica e astronomia, mas criticou as
"quantidades infinitamente pequenas" e os "incrementos imperceptveis" dos fundamentos
das derivadas. Colin Maclaurin (1698--1746) tentou defender Newton no seu Treatise of
Fluxions (Tratado de Flxions) (1742) e desenvolveu derivadas para funes logartmicas e
exponenciais e expandiu as frmulas de Simpson para incluir as derivadas das funes
tangente e secante.

No continente, Maria Agnesi (1718--1799) seguiu Leibniz e L'Hospital no seu livro de clculo
Analytical Institutions (Instituies Analticas,1748). Leonhard Euler (1707--1783) deu um
passo importante na direo de estabelecer uma fundamentao slida para o clculo no
seu Introduction to the Analysis of the Infinite (Introduo Anlise do Infinito, 1748) quando
introduziu funes (no lugar de curvas) como os objetos para os quais as derivadas e outras
tcnicas de clculo seriam aplicadas. Por funo, Euler queria dizer algum tipo de
"expresso analtica"; sua concepo no era to abrangente como a nossa definio
moderna. Na sua publicao, tambm introduziu o termo anlise como um nome moderno
para clculo e a matemtica avanada relacionada. No seu Methods of Differential Calculus
(Mtodos de Clculo Diferencial,1755), Euler definiu a derivada como "o mtodo para
determinar as razes entre os incrementos imperceptveis, as quais as funes recebem, e
os incrementos imperceptveis das quantidades variveis, das quais elas so funes", que
soa no muito cientfico hoje em dia. Mesmo assim, Euler trabalhou com vrios casos
especiais da regra da cadeia, introduziu equaes diferenciais e tratou mximos e mnimos
sem usar quaisquer diagramas ou grficos. Em 1754, na famosa Encyclopdie francesa,
Jean le Rond d'Alembert (1717--1783) afirmou que a "definio mais precisa e elegante
possvel do clculo diferencial" que a derivada o limite de certas razes quando os
numeradores e denominadores se aproximam mais e mais de zero, e que este limite produz
certas expresses algbricas que chamamos de derivada.

No final do sculo 18, Joseph Louis Lagrange (1736--1813) tentou reformar o clculo e
torn-lo mais rigoroso no seu Theory of Analytic Functions (Teoria das Funes
Analticas,1797). Lagrange pretendia dar uma forma puramente algbrica para a derivada,
sem recorrer intuio geomtrica, a grficos ou a diagramas e sem qualquer ajuda dos
limites de d'Alembert. Lagrange desenvolveu a principal notao que usamos agora para
derivadas e o desenvolvimento lgico de seu clculo era admirvel em outros aspectos, mas
seu esforo em prover uma base slida para o clculo falhou porque sua concepo da
derivada era baseada em certas propriedades de sries infinitas as quais, sabemos agora,
no so verdadeiras.

Finalmente, no incio do sculo 19, a definio moderna de derivada foi dada por Augustin
Louis Cauchy (1789--1857) em suas aulas para seus alunos de engenharia. Em seu
Rsum of Lessons given at l'Ecole Polytechnique in the Infinitesimal Calculus (Resumo das
Lies Dadas na Escola Politcnica Sobre o Clculo Infinitesimal,1823), Cauchy afirmou que
a derivada :

O limite de [f(x + i) - f(x)] / i quando i se aproxima de 0. A forma da funo que serve como o
limite da razo [f(x + i) - f(x)] / i depender da forma da funo proposta y = f(x). Para indicar
sua dependncia, d-se nova funo o nome de funo derivada.

Cauchy prosseguiu para encontrar derivadas de todas as funes elementares e dar a regra
da cadeia. De igual importncia, Cauchy mostrou que o Teorema do Valor Mdio para
derivadas, que tinha aparecido no trabalho de Lagrange, era realmente a pedra fundamental
para provar vrios teoremas bsicos do clculo que foram assumidos como verdadeiros, isto
, descries de funes crescentes e decrescentes. Derivadas e o clculo diferencial esto
agora estabelecidos como uma parte rigorosa e moderna do clculo.

Histria da Integral

O clculo integral se originou com problemas de quadratura e cubatura. Resolver um


problema de quadratura significa encontrar o valor exato da rea de uma regio
bidimensional cuja fronteira consiste de uma ou mais curvas, ou de uma superfcie
tridimensional, cuja fronteira tambm consiste de pelo menos uma curva. Para um problema
de cubatura, queremos determinar o volume exato de um slido tridimensional limitado, pelo
menos em parte, por superfcies curvas. Hoje, o uso do termo quadratura no mudou muito:
matemticos, cientistas e engenheiros comumente dizem que "reduziram um problema a
uma quadratura", o que significa que tinham um problema complicado, o simplificaram de
vrias maneiras e agora o problema pode ser resolvido avaliando uma integral.

Historicamente, Hipcrates de Chios (cerca de 440 A.C.) executou as primeiras quadraturas


quando encontrou a rea de certas lunas, regies que se parecem com a lua prxima do
seu quarto crescente. Antiphon (cerca de 430 A.C.) alegou que poderia "quadrar o crculo"
(isto , encontrar a rea de um crculo) com uma seqncia infinita de polgonos regulares
inscritos: primeiro um quadrado; segundo um octgono, a seguir um hexadecaedro, etc., etc.
Seu problema era o "etc., etc.". Como a quadratura do crculo de Antiphon requeria um
nmero infinito de polgonos, nunca poderia ser terminada. Ele teria que ter usado o
conceito moderno de limite para finalizar seu processo com rigor matemtico. Mas Antiphon
tinha o incio de uma grande idia agora chamado de mtodo de exausto. Mais de 2000
anos depois, creditamos a Eudoxo (cerca de 370 A.C.) o desenvolvimento do mtodo de
exausto: uma tcnica de aproximao da rea de uma regio com um nmero crescente
de polgonos, com aproximaes melhorando a cada etapa e a rea exata sendo obtida
depois de um nmero infinito destas etapas; esta tcnica foi modificada para atacar
cubaturas tambm.

Arquimedes (287--212 A.C.), o maior matemtico da antiguidade, usou o mtodo de


exausto para encontrar a quadratura da parbola. Arquimedes aproximou a rea com um
nmero grande de tringulos construdos engenhosamente e ento usou o argumento da
reduo ao absurdo dupla para provar o resultado rigorosamente e evitar qualquer
metafsica do infinito. Para o crculo, Arquimedes primeiro mostrou que a rea depende da
circunferncia; isto muito fcil de se verificar hoje em dia, uma vez que ambas as frmulas
dependem de . Ento Arquimedes aproximou a rea do crculo de raio unitrio usando
polgonos regulares de 96 lados inscritos e circunscritos! Seu famoso resultado foi 3 10/71
3 1/7; mas como estas eram apenas aproximaes, no sentido estrito, no eram
quadraturas. Esta tcnica refinou o mtodo de exausto, assim quando existe um nmero
infinito de aproximaes poligonais, chamamos de mtodo da compresso. O processo de
Arquimedes para encontrar a rea de um segmento de uma espiral era comprimir esta
regio entre setores de crculos inscritos e circunscritos: seu mtodo de determinar o volume
de um conide (um slido formado pela rotao de uma parbola ao redor de seu eixo) era
comprimir este slido entre cilindros inscritos e circunscritos. Em cada caso, a etapa final
que estabelecia rigorosamente o resultado era o argumento da reduo ao absurdo dupla.

No seu possivelmente mais famoso trabalho de todos, um tratado combinado de matemtica


e fsica, Arquimedes empregou indivisveis para estimar o centro de gravidade de certas
regies bidimensionais e de certos slidos tridimensionais. (Arquimedes reconheceu que,
por um lado, seu trabalho sugeria a verdade de seus resultados, e por outro faltava um rigor
lgico completo). Se considerarmos uma destas regies sendo composta de um nmero
infinito de retas, de comprimentos variados, ento estas retas so chamadas de indivisveis.
Similarmente, quando a composio de um slido tridimensional pensada como um
nmero infinito de discos circulares, de raios variados, mas com espessura zero, ento
estes discos so conhecidos como indivisveis.

Matemticos muulmanos dos sculos 9 a 13 foram grandes estudiosos de Arquimedes,


mas nunca souberam da determinao de Arquimedes do volume de um conide. Assim,
um dos mais notveis de todos matemticos rabes, Thabit ibn Qurrah (826--901)
desenvolveu sua prpria cubatura, um tanto complicada, deste slido; e ento o cientista
persa Abu Sahl al-Kuhi (sculo 10) simplificou consideravelmente o processo de Thabit. Ibn
al-Haytham (965--1039), conhecido no ocidente como Alhazen e famoso por seu trabalho
em tica, usou o mtodo de compresso para encontrar o volume do slido formado pela
rotao da parbola ao redor de uma reta perpendicular ao eixo da curva.

Durante o perodo medieval no ocidente, progresso foi obtido aplicando as idias de clculo
a problemas de movimento. William Heytesbury (1335), um membro do notvel grupo de
estudiosos do Merton College, em Oxford, foi o primeiro a vislumbrar mtodos para a
determinao da velocidade e a distncia percorrida por um corpo supostamente sob
"acelerao uniforme". Hoje, podemos obter estes resultados encontrando duas integrais
indefinidas ou antiderivadas, sucessivamente. Notcias deste trabalho de Heytesbury e seus
colegas de Merton alcanaram Paris posteriormente no sculo 14 onde Nicole Oresme
(1320--1382) representou ambas a velocidade e o tempo como segmentos de reta de
comprimentos variveis. Oresme colocou as retas de velocidade de um corpo juntas
verticalmente, como os indivisveis de Arquimedes, sobre uma reta base horizontal, e a
configurao total, como ele a chamou, representava a distncia total coberta pelo corpo.
Em particular, a rea desta configurao era chamada de "quantidade total de movimento"
do corpo. Aqui temos precursores dos grficos modernos e o nascimento da cinemtica.

medida que os europeus comearam a explorar o globo, tornou-se necessrio ter um


mapa do mundo no qual certas retas representassem rumos sobre a superfcie da Terra.
Houve diversas solues para este problema, mas a soluo mais famosa foi a projeo de
Mercator, embora Gerard Mercator (1512--1594) no tenha explicado seus princpios
geomtricos. Aquela tarefa foi assumida por Edward Wright (1561--1615) que, alm disso,
providenciou uma tabela que mostrava que as distncias ao longo das retas de rumo seriam
bem aproximadas somando os produtos (sec ), onde a latitude; isto , aproximando
a integral de sec .

Em seu New Stereometry of Wine Barrels (Nova Estereometria de Barris de Vinho) (1615), o
famoso astrnomo Johannes Kepler (1571--1630) aproximou os volumes de vrios slidos
tridimensionais, cada qual era formado girando uma regio bidimensional ao redor de um
eixo. Para cada um destes volumes de revoluo, subdividiu o slido em vrias fatias muito
finas ou discos chamados de infinitsimos (note a diferena entre infinitsimos e os
indivisveis de Arquimedes). Ento, em cada caso, a soma destes infinitsimos
aproximavam o volume desejado. A segunda lei de Kepler do movimento planetrio requeria
quadraturas de segmentos de uma elipse, e para aproximar estas reas, somou tringulos
infinitesimais.

Bonaventura Cavalieri (1598--1647), um estudante de Galileu, desenvolveu uma teoria de


indivisveis. Para uma regio bidimensional, Cavalieri considerou a coleo de "todas as
retas" como sendo um nico nmero, a rea da regio. Christiaan Huygens (1629--1695)
criticou, "Sobre os mtodos de Cavalieri: algum se engana se aceitar seu uso como uma
demonstrao mas so teis como um meio de descoberta anterior demonstrao... isto
o que vem primeiro...". Evangelista Torricelli (1608--1648), outro discpulo de Galileu e
amigo de Cavalieri, tentou resolver algumas das dificuldades com indivisveis ao afirmar que
as retas poderiam ter algum tipo de espessura. Foi cuidadoso para usar argumentos de
reduo ao absurdo para provar quadraturas que obteve por indivisveis. O "Chifre de
Gabriel" uma cubatura "incrvel" descoberta por Torricelli.

Pierre Fermat (1601--1665) desenvolveu uma tcnica para encontrar as reas sob cada uma
das "parbolas de ordem superior" (y = kxn, onde k 0 constante e n = 2, 3, 4, ) usando
retngulos estreitos inscritos e circunscritos para levar ao mtodo de compresso. Ento
empregou uma srie geomtrica para fazer o mesmo para cada uma das curvas y = kxn,
para n = -2, -3, -4, . Mas, para sua decepo, nunca foi capaz de estender estes
processos para "hiprboles de ordem superior", ym = kxn. Por volta da dcada de 1640, a
frmula geral para a integral de parbolas de ordem superior era conhecida de Fermat,
Blaise Pascal (1623-1662), Gilles Personne de Roberval (1602--1675), Ren Descartes
(1596--1650), Torricelli, Marin Mersenne (1588--1648) e provavelmente outros.

John Wallis (1616--1703) estava fortemente comprometido com a relativamente nova


notao algbrica cujo desenvolvimento era uma caracterstica dos matemticos do sculo
17. Por exemplo, ele tratou a parbola, a elipse e a hiprbole como curvas planas definidas
por equaes em duas variveis em vez de sees de um cone. Tambm inventou o
smbolo para infinito e, ao usar isto, obscureceu lugares onde agora sabemos que deveria
ter usado o limite. Estendeu a frmula de quadratura para y = kxn para casos quando n era
um nmero racional positivo usando indivisveis, razes inteligentes e apelos ao raciocnio
por analogia. A dependncia de Wallis em frmulas o levou a vrias quadraturas
interessantes.

Roberval explorou o Princpio de Cavalieri para encontrar a rea sob um arco da ciclide.
Roberval e Pascal foram os primeiros a plotar as funes seno e co-seno e a encontrar as
quadraturas destas curvas (para o primeiro quadrante). Pascal aproximou integrais duplas e
triplas usando somas triangulares e piramidais. Estas no eram cubaturas, mas eram etapas
em seu esforo para calcular os momentos de certos slidos, para cada um dos quais ele
ento determinou o centro de gravidade.

Finalmente, Gregory St. Vincent (1584--1667) determinou a rea sob a hiprbole xy = 1,


usando retngulos estreitos inscritos e circunscritos de larguras diferentes especialmente
desenhados e o mtodo de compresso. St. Vincent estendeu esta e outras quadraturas
para encontrar vrias cubaturas. Logo depois disto, seu aluno, Alfonso Antonio de Sarasa
(1618--1667) reconheceu que a quadratura da hiprbole est intimamente ligada
propriedade do produto do logaritmo!

Seguindo uma sugesto de Wallis, em 1657, William Neile (1637--1670) determinou o


comprimento de uma seo arbitrria da parbola semicbica, y2 = x3, e em 1658,
Christopher Wren (1632--1723), o famoso arquiteto, encontrou o comprimento de um arco
da ciclide. Em 1659, Hendrick van Heuraet (1634-cerca de 1660) generalizou seu trabalho
somando tangentes infinitesimais a uma curva, portanto desenvolveu a essncia do nosso
mtodo moderno de retificao - usando uma integral para encontrar o comprimento de um
arco.

Na forma geomtrica, muito do clculo nos primeiros dois teros do sculo 17 culminaram
no The Geometrical Lectures (1670) de Isaac Barrow (1630--1677). Barrow deixou sua
cadeira de Professor Lucasiano em Cambridge em favor de se ex-aluno Isaac Newton
(1642--1727). Newton seguiu James Gregory (1638--1675) ao pensar na rea da regio
entre uma curva e o eixo horizontal como uma varivel; o extremo esquerdo era fixo, mas o
extremo direito podia variar. Este truque lhe permitiu estender algumas frmulas de
quadratura de Wallis e o levou ao Teorema Fundamental do Clculo. O ltimo trabalho de
Newton sobre clculo, e tambm o primeiro a ser publicado, foi seu ensaio, "On the
Quadrature of Curves" (Sobre Quadratura de Curvas), escrito entre 1691 e 1693 e publicado
como um apndice na edio de 1704 do seu Opticks. Neste, ele montou uma tabela
extensa de integrais de funes algbricas um tanto complicadas, e para curvas as quais
no podia desenvolver frmulas de integrao, inventou tcnicas geomtricas de
quadratura. Usando o Teorema Fundamental do Clculo, Newton desenvolveu as tcnicas
bsicas para avaliar integrais usadas hoje em dia, incluindo os mtodos de substituio e
integrao por partes.

Para Gottfried Wilhelm Leibniz (1646--1716), uma curva era um polgono com um nmero
infinito de lados. Leibniz (1686) fez y representar uma ordenada da curva e dx a distncia
infinitesimal de uma abscissa para a prxima, isto , a diferena entre abscissas
"sucessivas". Ento disse, "represento a rea de uma figura pela soma de todos os
retngulos [infinitesimais] limitados pelas ordenadas e diferenas das abscissas ... e assim
represento em meu clculo a rea da figura por y dx". Leibniz tomou o "S" alongado para a
integral do latim summa e d do latim differentia, e estas tm permanecido nossas notaes
de clculo mais bsicas desde ento. Ele considerava as contas de clculo como o meio de
abreviar de algum modo o clssico mtodo grego de exausto. Leibniz era ambivalente
sobre infinitesimais, mas acreditava que contas formais de clculo poderiam ser confiveis
porque levavam a resultados corretos.

O termo integral, como usamos em clculo, foi cunhado por Johann Bernoulli (1667--1748) e
publicado primeiramente por seu irmo mais velho Jakob Bernoulli (1654--1705).
Principalmente como uma conseqncia do poder do Teorema Fundamental do Clculo de
Newton e Leibniz, integrais eram consideradas simplesmente como derivadas "inversas". A
rea era uma noo intuitiva, quadraturas que no podiam ser encontradas usando o
Teorema Fundamental do Clculo eram aproximadas. Embora Newton tenha desferido um
golpe muito imperfeito sobre a idia de limite, ningum nos sculos 18 e 19 teve a viso de
combinar limites e reas para definir a integral matematicamente. Em vez disso, com grande
engenhosidade, muitas frmulas de integrao inteligentes foram desenvolvidas.
Aproximadamente ao mesmo tempo em que a tabela de integrais de Newton tinha sido
publicada, Johann Bernoulli desenvolveu procedimentos matemticos para a integrao de
todas as funes racionais, o qual chamamos agora de mtodo das fraes parciais. Estas
regras foram resumidas elegantemente por Leonhard Euler (1707--1783) em seu trabalho
enciclopdico de trs volumes sobre clculo (1768-1770). Incidentalmente, estes esforos
estimularam o aumento do interesse durante o sculo 18 na fatorao e resoluo de
equaes polinomiais de graus elevados.

Enquanto descrevia as trajetrias dos cometas no Principia Mathematica (1687), Newton


props um problema com implicaes importantes para o clculo: "Para encontrar uma
curva do tipo parablico [isto , um polinmio] a qual deve passar por qualquer nmero de
pontos dados", Newton redescobriu a frmula de interpolao de James Gregory (1638--
1675); hoje, chamada de frmula de Gregory-Newton, e em 1711, ele ressaltou sua
importncia: "Assim as reas de todas as curvas podem ser aproximadas ... a rea da
parbola [polinmio] ser quase igual rea da figura curvilnea ... a parbola [polinmio]
pode sempre ser quadrada geometricamente por mtodos conhecidos em geral [isto ,
usando o Teorema Fundamental do Clculo]". O trabalho de interpolao de Newton foi
estendido em pocas distintas por Roger Cotes (1682--1716), James Stirling (1692--1770),
Colin Maclaurin (1698--1746), Leonhard Euler e outros. Em 1743, o matemtico autodidata
Thomas Simpson (1710-1761) encontrou o que se tornou um caso especial, popular e til
das formulas de Newton-Cotes para aproximar uma integral, a Regra de Simpson.

Embora Euler tenha feito clculos mais analticos que geomtricos, com nfase em funes
(1748; 1755; 1768), houve vrios mal-entendidos sobre o conceito de funo, propriamente
dito, no sculo 18. Certos problemas de fsica, como o problema da corda vibrante,
contriburam para esta confuso. Euler identificou tanto funes com expresso analtica,
que pensou em uma funo contnua como sendo definida apenas por uma nica frmula
em todo seu domnio. A idia moderna de uma funo contnua, independente de qualquer
frmula, foi iniciada em 1791 por Louis-Franois Arbogast (1759--1803): "A lei de
continuidade consiste em que uma quantidade no pode passar de um estado [valor] para
outro [valor] sem passar por todos os estados intermedirios [valores] ...". Esta idia tornou-
se rigorosa em um panfleto de 1817 por Bernhard Bolzano (1781--1848) e conhecida
agora como o Teorema do Valor Intermedirio. Funes descontnuas (no sentido moderno)
foram foradas na comunidade matemtica e cientfica por Joseph Fourier (1768--1830) no
seu famoso Analytical Theory of Heat (Teoria Analtica do Calor,1822).
Quando Augustin Louis Cauchy (1789--1857) assumiu a reforma total do clculo para seus
alunos de engenharia na cole polytechnique na dcada de 1820, a integral era uma de
suas pedras fundamentais:

No clculo integral, me pareceu necessrio demonstrar com generalidade a


existncia das integrais ou funes primitivas antes de tornar conhecidas
suas diversas propriedades. Para alcanar este objetivo, foi necessrio
estabelecer no comeo a noo de integrais tomadas entre limites dados ou
integrais definidas.

Cauchy definiu a integral de qualquer funo contnua no intervalo [a,b] sendo o limite da
soma das reas de retngulos finos. Sua primeira obrigao era provar que este limite
existia para todas as funes contnuas sobre o intervalo dado. Infelizmente, embora
Cauchy tenha usado o Teorema do Valor Intermedirio, no conseguiu seu objetivo porque
no observou dois fatos tericos sutis mas cruciais. Ele no tinha noo das falhas lgicas
no seu argumento e prosseguiu para justificar o Teorema do Valor Mdio para Integrais e
para provar o Teorema Fundamental do Clculo para funes contnuas. Niels Henrik Abel
(1802--1829) tambm apontou certos erros delicados ao usar a integral de Cauchy para
integrar todo termo de uma srie infinita de funes.

A primeira prova rigorosa da convergncia da Srie de Fourier geral foi feita por Peter
Gustav Lejeune Dirichlet (1805--1859) em 1829. Dirichlet tambm responsvel pela
definio moderna de funo (1837). Em 1855, Dirichlet sucedeu Carl Friedrich Gauss
(1777-1855) como professor na Universidade de Gttingen. Por sua vez, Georg F. B.
Riemann (1826--1866) sucedeu Dirichlet (1859) em Gttingen. No processo de extenso do
trabalho de Dirichlet sobre sries de Fourier, Riemann generalizou a definio de Cauchy da
integral para funes arbitrrias no intervalo [a,b], e o limite das somas de Riemann a
formulao no texto. Imediatamente, Riemann perguntou, "em que casos uma funo
integrvel?" A maior parte do desenvolvimento da teoria de integrao foi
subseqentemente verificada por Riemann e outros, mas ainda havia dificuldades com
integrais de sries infinitas que no foram trabalhadas at o incio do sculo 20.

Histria das Seqncias e Sries

Zeno de Ela (490--425 A.C.) escreveu um livro com 40 paradoxos relativos ao contnuo e
ao infinito. Pelo menos quatro dos paradoxos influenciaram o desenvolvimento da
matemtica para explicar os fenmenos relevantes. Infelizmente, o livro no sobreviveu at
os tempos modernos, assim conhecemos estes paradoxos a partir de outras fontes. Os
paradoxos de Zeno sobre o movimento desconcertaram matemticos por sculos. No final
eles envolvem a soma de um nmero infinito de termos positivos a um nmero finito, o qual
a essncia da convergncia de uma srie infinita de nmeros. Vrios matemticos
contriburam para o entendimento das propriedades de seqncias e sries. Este ensaio
destaca as contribuies de alguns daqueles matemticos que estudaram seqncias e
sries.

Zeno no foi o nico matemtico da antiguidade a trabalhar com seqncias. Vrios dos
matemticos gregos da antiguidade usaram seu mtodo de exausto (um argumento
seqencial) para mediar reas de figuras e regies. Usando sua tcnica refinada de
raciocnio chamada de "mtodo", Arquimedes (287-- 212 A.C.) alcanou vrios resultados
importantes envolvendo reas e volumes de vrias figuras e slidos. Na verdade, ele
construiu vrios exemplos e tentou explicar como somas infinitas poderiam ter resultados
finitos. Dentre seus vrios resultados estava que a rea sob um arco parablico sempre
dois teros da base vezes a altura. Seu trabalho no foi to completo ou rigoroso, como
daqueles matemticos que vieram depois e desenvolveram seqncias e sries como
Newton e Leibniz, mas foi to impressionante quanto. Embora Arquimedes tenha sido
obstrudo pela falta de preciso e notao eficiente, foi capaz de descobrir muitos dos
elementos da anlise moderna de seqncias e sries.

O prximo contribuinte importante para esta rea da matemtica foi Fibonacci (1170--
1240). Ele descobriu uma seqncia de inteiros na qual cada nmero igual soma dos
dois antecessores (1,1,2,3,5,8,), introduzindo-a em termos de modelagem de uma
populao reprodutiva de coelhos. Esta seqncia tem muitas propriedades curiosas e
interessantes e continua sendo aplicada em vrias reas da matemtica moderna e cincia.
Durante o mesmo perodo, astrnomos chineses desenvolveram tcnicas numricas para
analisar resultados experimentais. Durante os sculos 13 e 14, matemticos chineses
usaram a idia de diferenas finitas para analisar tendncias em seus dados. Hoje, mtodos
como os deles so usados para entender o comportamento a longo prazo e os limites de
seqncias infinitas. Este trabalho inicial na sia levou a mais investigao e anlise de
vrias progresses e sries mas teve pouca influncia sobre os matemticos europeus.

Oresme (1325--1382) estudou taxas de variao, como velocidade e acelerao, usando


uma aproximao seqencial. Seu principal trabalho, De configurationibus, foi o primeiro a
apresentar grficos de velocidade. O argumento que usamos para mostrar a divergncia da
srie harmnica foi inventado por Oresme em sua publicao. Duzentos anos depois, Stevin
(1548--1620) avanou a matemtica providenciando uma simbologia mais fcil de se
compreender. Ele entendeu os conceitos fsicos e matemticos da acelerao devido
gravidade. Somou sries e analisou seqncias, mas parou um pouco antes de definir ou
explicar limites e convergncia. O contemporneo de Stevin, Galileu (1564--1642), aplicou
matemtica s cincias especialmente astronomia. Baseado no seu estudo de Arquimedes,
Galileu melhorou a compreenso de hidrosttica, desenvolveu os resultados para o
movimento em queda livre sob a ao da gravidade e os movimentos dos planetas. At
sugeriu que poderia existir uma terceira propriedade entre o finito e o infinito. Galileu deixou
seus sucessores com conselhos e desafios encontrados nas duas citaes a seguir:

Onde os sentidos falham, a razo deve entrar.

Infinitos e indivisveis transcendem nosso entendimento finito, o primeiro por


conta de sua magnitude, o segundo pela sua pequenez; imagine o que eles
so quando combinados.

medida que o desenvolvimento do clculo foi tomando forma, o progresso no


entendimento de sries infinitas teve um papel no desenvolvimento do clculo diferencial e
integral. Pascal (1623--1662) era fascinado pelos resultados impressionantes que vinham
das somas infinitas mas era confundido pelo seu conceito. Para ele, o infinito era alguma
coisa para admirar, mas impossvel de entender. Pascal preferiu a abordagem geomtrica
de St. Vincent (1584--1667) para sries e sua convergncia em vez da nova abordagem
analtica de Fermat (1601--1665) e Descartes (1596--1650) que no conseguia visualizar ou
entender. Apesar da limitao de Pascal para entender sries, ele, junto com Descartes e
Fermat, usou clculos com sries nas contribuies aos fundamentos do clculo diferencial
e integral.

At a metade do sculo 17, matemticos tinham desenvolvido e analisado sries de


nmeros. O tempo tinha chegado para investigar seqncias e sries de funes. Ambos
Newton (1642--1727) e Leibniz (1646--1716) desenvolveram representaes de sries para
funes. Usando mtodos algbricos e geomtricos, Newton calculou as sries para as
funes trigonomtricas sen(x) e cos(x) e para a funo exponencial. Estes resultados so
encontrados nos trabalhos de Newton intitulados Method of Fluxions and Infinite Series e
Analysis with Infinite Series. Newton utilizou sries para desenvolver muitos resultados de
clculo, tais como rea, comprimento de arco e volumes. Leibniz somou seqncias de
recprocas de nmeros poligonais e, seguindo o trabalho de St. Vincent, somou e analisou
vrias seqncias geomtricas. Leibniz usou uma abordagem seqencial de valores
infinitamente prximos para explicar o conceito de limite. Embora nunca tenha pensado na
derivada como um limite, descobriu muitos dos resultados que agora estudamos em clculo
usando limites.

Brook Taylor (1685--1731) no foi o primeiro a inventar a estrutura e o processo que


chamamos de srie de Taylor, e a srie de Maclaurin no foi desenvolvida por Colin
Maclaurin (1698--1746). James Gregory (1638--1675) estava trabalhando com sries de
Taylor quando Taylor tinha apenas alguns anos de idade. Gregory tambm publicou a srie
de Maclaurin para muitas funes trigonomtricas antes que Maclaurin tivesse nascido.
Taylor no conhecia o trabalho de Gregory quando publicou seu livro Methodus
incrementorum directa et inversa, o qual continha o que chamamos agora de srie de
Taylor. Ele tinha desenvolvido independentemente um mtodo baseado em clculo para
gerar representaes de funes em sries. Posteriormente, Maclaurin citou um trabalho de
Taylor em um livro de clculo que escreveu em 1742. O livro de Maclaurin popularizou
representaes de funes em sries, e embora Maclaurin nunca tenha afirmado que as
tinha descoberto, a srie de Taylor centrada em a = 0 tornou-se posteriormente conhecida
como srie de Maclaurin. Johann Bernoulli (1667--1748) tambm fez uma descoberta
independente do teorema de Taylor.

Euler (1707--1783) usou freqentemente sries infinitas em seu trabalho para desenvolver
novos mtodos ou para modelar problemas aplicados. Publicou Mechanica em 1736, onde
aplicou sistematicamente o clculo mecnica e desenvolveu novos mtodos para resolver
equaes diferenciais usando sries de potncias. Estabeleceu a notao de somatrio que
usamos hoje, usando sigma para o smbolo da soma. D'Alembert (1717--1783) escreveu
cinco artigos lidando com mtodos para integrar equaes diferenciais. Embora tenha
recebido pouca educao cientfica formal, claro que ele conhecia os trabalhos de Newton,
L'Hospital e dos Bernoullis. D'Alembert publicou muitos trabalhos sobre matemtica e fsica
matemtica, culminado com seu trabalho principal, Trait de dynamique. Considerou a
derivada como um limite da diferena de quocientes, o que o colocou frente dos seus
pares no entendimento do clculo. Tambm desenvolveu o teste da razo para determinar a
convergncia de muitas sries. Atravs do trabalho de D'Alembert, a natureza da pesquisa
sobre sries estava mudando de clculos prticos para uma fundamentao mais terica.

Lagrange (1736--1813) estendeu o trabalho de Euler nas equaes de movimento e o


entendimento da energia potencial. Publicou Mcanique analytique (1787), que aplicava
clculo ao movimento de objetos. O maior trabalho de Lagrange foi na teoria e aplicao do
clculo. Ele sentiu que a srie de Taylor desempenhava um papel fundamental no
entendimento do clculo, embora ainda evitasse o limite e as propriedades de convergncia
de seqncias e sries. Bolzano (1781-1848) confrontou este assunto, apontando que a
convergncia era importante para entender e usar sries. Tentou explicar convergncia
associando-a com a idia de subconjuntos limitados. Bolzano acreditava no mtodo de
Lagrange para usar sries de Taylor como a base para o clculo. Fourier (1768--1830) fez
contribuio ao estudo e clculo da difuso de calor e soluo de equaes diferenciais.
Thorie analytique de la chaleur (A Teoria Analtica do Calor, 1822) contm uso extenso de
sries consistindo de funes trigonomtricas que hoje chamamos de sries de Fourier.
Apesar disso, contribuiu muito pouco para a teoria destas sries, as quais eram conhecidas,
muito antes, por Euler, Daniel Bernoulli e Lagrange.

Finalmente, a comunidade matemtica foi motivada a estabelecer fundamentos mais


tericos para as idias de limite e convergncia de seqncias e sries. Cauchy (1789-
1857) foi o primeiro a definir por completo as idias de convergncia e convergncia
absoluta de sries infinitas. Este trabalho foi feito em conjunto com o desenvolvimento de
uma anlise rigorosa do clculo. Tambm foi o primeiro a desenvolver uma teoria
sistemtica para nmeros complexos e a transformada de Fourier para equaes
diferenciais. Contudo, ambos Cauchy e seu colega Niels Henrik Abel (1802--1829)
ignoraram a utilidade das sries divergentes. Abel escreveu em 1828 "sries divergentes
so a inveno do diabo, e uma vergonha basear nelas qualquer demonstrao".

Runge (1856--1927) desenvolveu o mtodo de resoluo baseado em seqncias para


solucionar numericamente equaes diferenciais junto com M. W. Kutta (1867--1944).
Seqncias e sries tornaram-se ferramentas padro para aproximar funes e calcular
resultados em computao numrica.

O matemtico indiano autodidata Srinivasa Ramanujan (1887--1920) usou seqncias e


sries de potncias para desenvolver resultados em teoria de nmeros. O trabalho de
Ramanujan era terico e produziu numerosos resultados importantes usados por
matemticos no sculo 20. Seus colaboradores britnicos Godfrey Harold (G.H.) Hardy
(1877--1947) e John Littlewood (1885--1977) usaram seu conhecimento de sries para
produzir avanos importantes em teoria de nmeros e estenderam a utilidade das sries
para muitas reas da matemtica.

Histria das Equaes Diferenciais

De vrias maneiras, equaes diferenciais so o corao da anlise e do clculo,


dois dos mais importantes ramos da matemtica nos ltimos 300 anos. Equaes
diferenciais so uma parte integral ou um dos objetivos de vrios cursos de
graduao de clculo. Como uma ferramenta matemtica importante para cincias
fsicas, a equao diferencial no tem igual. Assim amplamente aceito que
equaes diferenciais so importantes em ambas matemtica pura e aplicada. A
histria sobre este assunto rica no seu desenvolvimento e isto que estaremos
olhando aqui.
Os fundamentos deste assunto parecem estar dominados pelas contribuies de um
homem, Leonhard Euler, que podemos dizer que a histria deste assunto comea e
termina com ele. Naturalmente, isto seria uma simplificao grosseira do seu
desenvolvimento. Existem vrios contribuintes importantes, e aqueles que vieram
antes de Euler foram necessrios para que ele pudesse entender o clculo e a
anlise necessrios para desenvolver muitas das idias fundamentais. Os
contribuintes depois de Euler refinaram seu trabalho e produziram idias
inteiramente novas, inacessveis perspectiva do sculo 18 de Euler e sofisticadas
alm do entendimento de apenas uma pessoa.
Esta a histria do desenvolvimento das equaes diferenciais. Daremos uma
pequena olhada nas pessoas, nas equaes, nas tcnicas, na teoria e nas
aplicaes.
A histria comea com os inventores do clculo, Fermat, Newton, e Leibniz. A partir
do momento que estes matemticos brilhantes tiveram entendimento suficiente e
notao para a derivada, esta logo apareceu em equaes e o assunto nasceu.
Contudo, logo descobriram que as solues para estas equaes no eram to
fceis. As manipulaes simblicas e simplificaes algbricas ajudaram apenas um
pouco. A integral (antiderivada) e seu papel terico no Teorema Fundamental do
Clculo ofereceu ajuda direta apenas quando as variveis eram separadas, em
circunstncias muito especiais. O mtodo de separao de variveis foi
desenvolvido por Jakob Bernoulli e generalizado por Leibniz. Assim estes
pesquisadores iniciais do sculo 17 focalizaram estes casos especiais e deixaram
um desenvolvimento mais geral das teorias e tcnicas para aqueles que os
seguiram.
Ao redor do incio do sculo 18, a prxima onda de pesquisadores de equaes
diferenciais comeou a aplicar estes tipos de equaes a problemas em astronomia
e cincias fsicas. Jakob Bernoulli estudou cuidadosamente e escreveu equaes
diferenciais para o movimento planetrio, usando os princpios de gravidade e
momento desenvolvidos por Newton. O trabalho de Bernoulli incluiu o
desenvolvimento da catenria e o uso de coordenadas polares. Nesta poca, as
equaes diferenciais estavam interagindo com outros tipos de matemtica e
cincias para resolver problemas aplicados significativos. Halley usou os mesmos
princpios para analisar a trajetria de um cometa que hoje leva seu nome. O irmo
de Jakob, Johann Bernoulli, foi provavelmente o primeiro matemtico a entender o
clculo de Leibniz e os princpios de mecnica para modelar matematicamente
fenmenos fsicos usando equaes diferenciais e a encontrar suas solues. Ricatti
(1676--1754) comeou um estudo srio de uma equao em particular, mas foi
limitado pelas teorias do seu tempo para casos especiais da equao que leva hoje
seu nome. Os Bernoullis, Jakob, Johann, e Daniel, todos estudaram os casos da
equao de Ricatti tambm. Na poca, Taylor usou sries para "resolver" equaes
diferenciais, outros desenvolveram e usaram estas sries para vrios propsitos.
Contudo, o desenvolvimento de Taylor de diferenas finitas comeou um novo ramo
da matemtica intimamente relacionado ao desenvolvimento das equaes
diferenciais. No incio do sculo 18, este e muitos outros matemticos tinham
acumulado uma crescente variedade de tcnicas para analisar e resolver muitas
variedades de equaes diferenciais. Contudo, muitas equaes ainda eram
desconhecidas em termos de propriedades ou mtodos de resoluo. Cinqenta
anos de equaes diferenciais trouxeram progresso considervel, mas no uma
teoria geral.
O desenvolvimento das equaes diferenciais precisava de um mestre para
consolidar e generalizar os mtodos existentes e criar novas e mais poderosas
tcnicas para atacar grandes famlias de equaes. Muitas equaes pareciam
amigveis, mas tornaram-se decepcionantemente difceis. Em muitos casos,
tcnicas de solues iludiram perseguidores por cerca de 50 anos, quando Leonhard
Euler chegou cena das equaes diferenciais. Euler teve o benefcio dos trabalhos
anteriores, mas a chave para seu entendimento era seu conhecimento e percepo
de funes. Euler entendeu o papel e a estrutura de funes, estudou suas
propriedades e definies. Rapidamente achou que funes eram a chave para
entender equaes diferenciais e desenvolver mtodos para suas resolues.
Usando seu conhecimento de funes, desenvolveu procedimentos para solues
de muitos tipos de equaes. Foi o primeiro a entender as propriedades e os papis
das funes exponenciais, logartmicas, trigonomtricas e muitas outras funes
elementares. Euler tambm desenvolveu vrias funes novas baseadas em
solues em sries de tipos especiais de equaes diferenciais. Suas tcnicas de
conjecturar e encontrar os coeficientes indeterminados foram etapas fundamentais
para desenvolver este assunto. Em 1739, desenvolveu o mtodo de variao de
parmetros. Seu trabalho tambm incluiu o uso de aproximaes numricas e o
desenvolvimento de mtodos numricos, os quais proveram "solues" aproximadas
para quase todas as equaes. Euler ento continuou aplicando o trabalho em
mecnica que levou a modelos de equaes diferenciais e solues. Ele era um
mestre que este assunto necessitava para se desenvolver alm de seu incio
primitivo, tornando-se um assunto coeso e central ao desenvolvimento da
matemtica aplicada moderna.
Depois de Euler vieram muitos especialistas que refinaram ou estenderam muitas
das idias de Euler. Em 1728, Daniel Bernoulli usou os mtodos de Euler para
ajud-lo a estudar oscilaes e as equaes diferenciais que produzem estes tipos
de solues. O trabalho de D'Alembert em fsica matemtica envolveu equaes
diferenciais parciais e exploraes por solues das formas mais elementares
destas equaes. Lagrange seguiu de perto os passos de Euler, desenvolvendo
mais teoria e estendendo resultados em mecnica, especialmente equaes de
movimento (problema dos trs corpos) e energia potencial. As maiores contribuies
de Lagrange foram provavelmente na definio de funo e propriedades, o que
manteve o interesse em generalizar mtodos e analisar novas famlias de equaes
diferenciais. Lagrange foi provavelmente o primeiro matemtico com conhecimento
terico e ferramentas suficientes para ser um verdadeiro analista de equaes
diferenciais. Em 1788, ele introduziu equaes gerais de movimento para sistemas
dinmicos, hoje conhecidas como equaes de Lagrange. O trabalho de Laplace
sobre a estabilidade do sistema solar levou a mais avanos, incluindo tcnicas
numricas melhores e um melhor entendimento de integrao. Em 1799, introduziu
as idias de um laplaciano de uma funo. Laplace claramente reconheceu as
razes de seu trabalho quando escreveu "Leia Euler, leia Euler, ele nosso mestre".
O trabalho de Legendre sobre equaes diferenciais foi motivado pelo movimento de
projteis, pela primeira vez levando em conta novos fatores tais como resistncia do
ar e velocidades iniciais. Lacroix foi o prximo a deixar sua marca. Trabalhou em
avanos nas equaes diferenciais parciais e incorporou muitos dos avanos desde
os tempos de Euler ao seu livro. A contribuio principal de Lacroix foi resumir
muitos dos resultados de Euler, Lagrange, Laplace, e Legendre. O prximo na
ordem foi Fourier. Sua pesquisa matemtica fez contribuies ao estudo e clculos
da difuso de calor e soluo de equaes diferenciais. Muito deste trabalho
aparece em The Analytical Theory of Heat (A Teoria Analtica do Calor,1822) de
Fourier, no qual ele fez uso extensivo da srie que leva seu nome. Este resultado foi
uma ferramenta importante para o estudo de oscilaes. Fourier, contudo, pouco
contribuiu para a teoria matemtica desta srie, a qual era bem conhecida
anteriormente por Euler, Daniel Bernoulli, e Lagrange. As contribuies de Charles
Babbage vieram por uma rota diferente. Ele desenvolveu uma mquina de calcular
chamada de Mquina de Diferena que usava diferenas finitas para aproximar
solues de equaes.
O prximo avano importante neste assunto ocorreu no incio do sculo 19, quando
as teorias e conceitos de funes de variveis complexas se desenvolveram. Os
dois contribuintes principais deste desenvolvimento foram Gauss e Cauchy. Gauss
usou equaes diferenciais para melhorar as teorias das rbitas planetrias e
gravitao. Gauss estabeleceu a teoria do potencial como um ramo coerente da
matemtica. Tambm reconheceu que a teoria das funes de uma varivel
complexa era a chave para entender muitos dos resultados necessrios em
equaes diferenciais aplicadas. Cauchy aplicou equaes diferenciais para modelar
a propagao de ondas sobre a superfcie de um lquido. Os resultados so agora
clssicos em hidrodinmica. Inventou o mtodo das caractersticas, o qual
importante na anlise e soluo de vrias equaes diferenciais parciais. Cauchy foi
o primeiro a definir completamente as idias de convergncia e convergncia
absoluta de sries infinitas e iniciou uma anlise rigorosa de clculo e equaes
diferenciais. Tambm foi o primeiro a desenvolver uma teoria sistemtica para
nmeros complexos e a desenvolver a transformada de Fourier para prover solues
algbricas para equaes diferenciais.
Depois destas grandes contribuies de Gauss e Cauchy, outros puderam refinar
estas teorias poderosas e aplic-las a vrios ramos da cincia. Os trabalhos iniciais
de Poisson em mecnica apareceram em Trait de mcanique em 1811. Aplicou seu
conhecimento de equaes diferenciais a aplicaes em fsica e mecnica, incluindo
elasticidade e vibraes. Muito de seu trabalho original foi feito na soluo e anlise
de equaes diferenciais. Outro aplicador destas teorias foi George Green. O
trabalho de Green em fundamentos matemticos de gravitao, eletricidade e
magnetismo foi publicado em 1828 em An Essay on the Application of Mathematical
Analysis to Electricity and Magnetism. A matemtica de Green proveu a base na
qual Thomson, Stokes, Rayleigh, Maxwell e outros construram a teoria atual do
magnetismo. Bessel era um amigo de Gauss e aplicou seu conhecimento sobre
equaes diferenciais astronomia. Seu trabalho sobre funes de Bessel foi feito
para analisar perturbaes planetrias. Posteriormente estas construes foram
usadas para resolver equaes diferenciais. Ostrogradsky colaborou com Laplace,
Legendre, Fourier, Poisson e Cauchy enquanto usava equaes diferenciais para
desenvolver teorias sobre a conduo do calor. Joseph Liouville foi o primeiro a
resolver problemas de contorno resolvendo equaes integrais equivalentes, um
mtodo refinado por Fredholm e Hilbert no incio da dcada de 1900. O trabalho de
Liouville sobre a teoria de integrais de funes elementares foi uma contribuio
substancial para solues de equaes diferenciais. As investigaes tericas e
experimentais de Stokes cobriram hidrodinmica, elasticidade, luz, gravitao, som,
calor, meteorologia e fsica solar. Ele usou modelos de equaes diferenciais em
todos os campos de estudo.
Na metade do sculo 19, uma nova estrutura era necessria para atacar sistemas
de mais de uma equao diferencial. Vrios matemticos vieram em socorro. Jacobi
desenvolveu a teoria de determinantes e transformaes em uma ferramenta
poderosa para avaliar integrais mltiplas e resolver equaes diferenciais. A
estrutura do jacobiano foi desenvolvida em 1841. Como Euler, Jacobi era um
calculador muito hbil e um perito numa variedade de campos aplicados. Cayley
tambm trabalhou com determinantes e criou uma teoria para operaes com
matrizes em 1854. Cayley era um amigo de J. J. Sylvester e foi para os Estados
Unidos para lecionar na Universidade Johns Hopkins entre 1881 e 1882. Cayley
publicou mais de 900 artigos cobrindo muitas reas da matemtica, dinmica terica
e astronomia. Cayley criou a noo de matrizes em 1858 e desenvolveu boa parte
da teoria de matrizes nas dcadas posteriores. Josiah Gibbs fez contribuies
termodinmica, ao eletromagnetismo e mecnica. Por seu trabalho nos
fundamentos de sistemas de equaes, Gibbs conhecido como o pai da anlise
vetorial.
medida que o final do sculo 19 se aproximava, os principais esforos em
equaes diferenciais se moveram para um plano terico. Em 1876, Lipschitz
(1832--1903) desenvolveu teoremas de existncia para solues de equaes
diferenciais de primeira ordem. O trabalho de Hermite foi desenvolver a teoria de
funes e solues de equaes. medida que a teoria se desenvolveu, as seis
funes trigonomtricas bsicas foram provadas transcendentais, assim como as
inversas das funes trigonomtricas e as funes exponenciais e logartmicas.
Hermite mostrou que a equao de quinta ordem poderia ser resolvida por funes
elpticas. Enquanto seu trabalho era terico, os polinmios de Hermite e as funes
de Hermite se mostraram posteriormente muito teis para resolver a equao de
onda de Schrdinger e outras equaes diferenciais. O prximo a construir
fundamento terico foi Bernhard Riemann. Seu doutorado foi obtido, sob a
orientao de Gauss, na teoria de variveis complexas. Riemann tambm teve o
benefcio de trabalhar com o fsico Wilhelm Weber. O trabalho de Riemann em
equaes diferenciais contribuiu para resultados em dinmica e fsica. No final da
dcada de 1890, Gibbs escreveu um artigo que descreveu a convergncia e o
"fenmeno de Gibbs" da srie de Fourier. O prximo contribuinte terico importante
foi Kovalevsky, a maior matemtica antes do sculo 20. Depois de vencer
dificuldades considerveis por causa da discriminao de seu gnero, ela teve
oportunidade de estudar com Weierstrass. No incio de sua pesquisa, completou trs
artigos sobre equaes diferenciais parciais. No seu estudo da forma dos anis de
Saturno, ela se apoiou no trabalho de Laplace, cujo trabalho ela generalizou.
Basicamente, o trabalho de Kovalevsky era sobre a teoria de equaes diferenciais
parciais e um resultado central sobre a existncia de solues ainda leva seu nome.
Ela publicou vrios artigos sobre equaes diferenciais parciais. Posteriormente, no
sculo 20, trabalhos tericos de Fredholm e Hilbert refinaram os resultados iniciais e
desenvolveram novas classificaes para o entendimento posterior de algumas das
mais complicadas famlias de equaes diferenciais.
O prximo impulso foi no desenvolvimento de mtodos numricos mais robustos e
eficientes. Carl Runge desenvolveu mtodos numricos para resolver as equaes
diferenciais que surgiram no seu estudo do espectro atmico. Estes mtodos
numricos ainda so usados hoje. Ele usou tanta matemtica em sua pesquisa que
fsicos pensaram que fosse matemtico, e fez tanta fsica que os matemticos
pensaram que fosse fsico. Hoje seu nome est associado com os mtodos de
Runge-Kutta para resolver equaes diferenciais. Kutta, outro matemtico aplicado
alemo, tambm lembrado por sua contribuio teoria de Kutta-Joukowski de
sustentao de aeroflios em aerodinmica, baseada em equaes diferenciais. Na
ltima metade do sculo 20, muitos matemticos e cientistas da computao
implementaram mtodos numricos para equaes diferenciais em computadores
para dar solues rpidas e eficientes para sistemas complicados, sobre geometrias
complexas, de grande escala. Richard Courant e Garrett Birkhoff foram pioneiros
bem sucedidos neste esforo.
Equaes no lineares foram o prximo grande obstculo. Poincar, o maior
matemtico de sua gerao, produziu mais de 30 livros tcnicos sobre fsica
matemticas e mecnica celeste. A maioria destes trabalhos envolveu o uso e
anlise de equaes diferenciais. Em mecnica celeste, trabalhando com os
resultados do astrnomo americano George Hill, conquistou a estabilidade das
rbitas e iniciou a teoria qualitativa de equaes diferenciais no lineares. Muitos
resultados de seu trabalho foram as sementes de novas maneiras de pensar, as
quais floresceram, tais como anlise de sries divergentes e equaes diferenciais
no lineares. Poincar entendeu e contribuiu em quatro reas principais da
matemtica - anlise, lgebra, geometria e teoria de nmeros. Ele tinha um domnio
criativo de toda a matemtica de seu tempo e foi, provavelmente, a ltima pessoa a
estar nesta posio. No sculo 20, George Birkhoff usou as idias de Poincar para
analisar sistemas dinmicos grandes e estabelecer uma teoria para a anlise das
propriedades das solues destas equaes. Na dcada de 1980, a teoria
emergente do caos usou os princpios desenvolvidos por Poincar e seus
seguidores.

O Teorema Fundamental do Clculo

Quando pensamos nas origens geomtricas das derivadas e integrais, retas tangentes a
curvas e reas, respectivamente, no existe pista alguma que sugira o Teorema
Fundamental do Clculo. Para Eudoxo (cerca de 370 a.C.), Euclides (cerca de 300 a.C.),
Arquimedes (287--212 a.C.), Apolnio (cerca de 262--190 a.C.) e todos os outros
matemticos da antiguidade clssica, retas tangentes, quadraturas e cubaturas no tinham
lugar de destaque dentre outros problemas geomtricos. Para estes matemticos, o
Teorema Fundamental do Clculo teria sido uma grande surpresa.

Quando lgebra foi usada pela primeira vez para descrever curvas na geometria analtica de
Ren Descartes (1596--1650) e Pierre Fermat (1601--1665), podemos ver os primeiros
lampejos de uma conexo entre tangentes e quadraturas. Em seu estudo das "parbolas de
ordem superior", y = kxn, onde k constante e n = 2, 3, 4, , Fermat desenvolveu a frmula
y/k para a subtangente em qualquer ponto sobre a curva. A partir da, e do nosso ponto de
vista hoje, teria sido fcil encontrar a frmula para a derivada; mas para Fermat, nxn-1 no
era o objetivo. Em alguma poca na dcada de 1640, Fermat mostrou que a rea entre
qualquer uma das parbolas de ordem superior e o eixo horizontal, para 0 x a, era igual
rea do retngulo de largura a e altura an/(k+ 1). Hoje, podemos ver que Fermat estava
torturantemente prximo do Teorema Fundamental do Clculo, como teria sido expresso em
termos de suas parbolas de ordem superior. Mas aquilo no parecia ser de seu interesse.

Fermat tambm antecipou o Teorema Fundamental do Clculo no procedimento que


desenvolveu para encontrar o centro de gravidade de um conide (agora conhecido como
um parabolide de revoluo), um problema que tinha se originado com Arquimedes. Mas,
falhou em reconhec-lo. Para encontrar o centro de gravidade de um slido mais
geral, Gilles Personne de Roberval (1602--1675) usou um processo somatrio e ambas a
tangente e a quadratura de certas curvas, mas tambm no observou a conexo. Gregory
St. Vincent (1584--1667) e Evangelista Torricelli (1608--1647) adicionaram tcnica de
Roberval para determinar centros de gravidade sem perceber quaisquer outros princpios
matemticos importantes. Em suas notas no publicadas at sua morte, Torricelli
desenvolveu sua construo de retas tangentes a "hiprboles de ordem superior" de Fermat,
ym = kxn, a partir da quadratura destas curvas, mas sem qualquer pista de idias mais
abrangentes e gerais. Adicionalmente, Torricelli relacionou a construo de retas tangentes
a espirais, rm = k n em coordenadas polares, quadratura da espiral. Os resultados de
Torricelli eram bem conhecidos de seus alunos, principalmente Vincenzo Viviani (1622--
1703), e, atravs dele, James Gregory (1638--1675) e Isaac Barrow (1630--1677) quando
este posteriormente viajou e estudou na Itlia. Desta maneira, muitas das tcnicas do que
agora chamamos de clculo foram transmitidas para a Inglaterra.

De uma maneira indireta envolvendo retificao (para encontrar o comprimento de um


segmento de uma curva), James Gregory considerou a rea entre a curva, y, e o eixo t,
comeando em t = a como uma funo do extremo direito, t=x. Ento encontrou a reta
tangente a esta nova curva em t=x e mostrou que sua inclinao neste ponto era igual
ordenada, y, da curva original. Este processo tortuoso aproximou Gregory da Parte 1 do
Teorema Fundamental do Clculo da maneira que afirmado no livro de Clculo de
Thomas. Mas este resultado era uma pequena parte do livro Universal Part of Geometry
(Parte Universal da Geometria,1668) de Gregory, sua tentativa de resumir e organizar a
geometria do clculo como ele a conhecia (o muito da qual tinha aprendido durante seus
estudos na Itlia, 1664--1668). Ele no s no procurava o Teorema Fundamental do
Clculo aqui, como tambm no estava usando as frmulas convenientes usadas hoje em
dia.

Isaac Barrow foi o primeiro professor da cadeira Lucasiana de Matemtica e Filosofia


Natural em Cambridge (1663--1669). Devido s semelhanas em educao e formao de
seus escritores, o Geometrical Lectures (1670) de Barrow e o Universal Part of Geometry de
Gregory cobriram praticamente o mesmo assunto. O trabalho de Barrow se aprofundou de
alguma maneira nos esforos do sculo 17 levando ao desenvolvimento do clculo. Em
particular, em vrios lugares, Barrow mostrou no mnimo uma compreenso intuitiva do fato
que tangentes e quadraturas eram operaes inversas. Ao discutir velocidade e distncia,
mostrou como a reta tangente a uma curva (distncia) poderia levar construo e
quadratura de outra curva (velocidade), e vice-versa. No seu tratado mais abrangente,
Barrow primeiro mostrou geometricamente que a rea entre uma curva crescente, mas
arbitrria, f(t), e o eixo horizontal, a t x, era igual a y vezes a subtangente de uma curva
auxiliar, h(x), onde y a ordenada da curva dada em t = x. A linguagem geomtrica de
Barrow provavelmente escondeu o fato de que seu h(x) era, na realidade, um mltiplo
constante do que agora chamamos de antiderivada, F(x). Desta maneira, tambm antecipou
a Parte 1 do Teorema Fundamental do Clculo. Mais alm, no seu Geometrical Lectures,
Barrow provou um teorema relacionando a soma de retngulos infinitesimais preenchendo a
regio entre uma curva e o eixo horizontal, a x b, ao retngulo cuja largura uma
constante e cuja altura F(b) - F(a) em notao moderna. Esta a essncia da Parte 2 do
Teorema Fundamental do Clculo como encontrado no livro de Clculo de Thomas. O livro
Geometrical Lectures de Barrow foi o pice dos processos geomtricos do sculo 17 que
levaram s nossas modernas derivada e integral. Embora seu aluno e protegido, Isaac
Newton (1642--1727), o tenha encorajado a incluir alguns mtodos algbricos adicionais no
seu trabalho, Barrow era no fundo um gemetra muito talentoso. Assim no percebeu que o
clculo, atravs do Teorema Fundamental do Clculo, uma entidade intelectual nica.

Graas aos fundamentos providos por Barrow, Isaac Newton (1642--1727), se aperfeioou
nos resultados da tangente e quadratura dos primeiros dois teros do sculo 17. Em uma
carta a Gottfried Wilhelm Leibniz (1646--1716), Newton afirmou claramente, em termos
fsicos, o que os dois problemas mais bsicos de clculo eram (e ainda so): "1. Dado o
comprimento do espao continuamente [isto , em todo instante de tempo], encontrar a
velocidade do movimento [isto , a derivada] em qualquer tempo dado. 2. Dada a velocidade
de movimento continuamente, encontrar o comprimento do espao [isto , a integral ou a
antiderivada] descrita em qualquer tempo proposto". Mas no lugar de derivadas, Newton
empregou flxions de variveis, denotados, por exemplo, por x, e em vez de antiderivadas,
ele usou o que ele chamou de fluentes.

A partir de Gregory, Newton adotou a idia que a rea entre uma curva, y, e o eixo
horizontal, era dependente do extremo direito, t = x. De fato, Newton pensou na rea como
sendo realmente gerada pelo movimento da reta vertical t = x. Assim o flxion da rea era
simplesmente yx. Ento, a tcnica de Newton para encontrar tais quadraturas era encontrar
o fluente de y, equivalente a encontrar nossas antiderivadas; este o cerne da Parte 2 do
Teorema Fundamental do Clculo como encontrado no livro Clculo de Thomas. Newton
usou o Teorema Fundamental do Clculo para encontrar os valores exatos para vrias
reas, da mesma maneira que fazemos hoje. Em geral, Newton comeou a pensar nos
problemas geomtricos de clculo em termos algbricos.

Newton resumiu quase todos os trabalhos anteriores sobre clculo. Juntamente com
Barrow, foi especialmente influenciado por La gomtrie de Ren Descartes (1596--1650)
numa traduo em Latim e com comentrios por Frans van Schooten (1615-1660) e por
John Wallis (1616--1703) em seu The Arithmetic of Infinites. Ele coroou seus estudos com
sua prpria genialidade, escrevendo trs manuscritos sobre clculo: o primeiro foi escrito em
outubro de 1666; o segundo em 1669; e o terceiro, atualizando seus dois trabalhos
anteriores, em 1671. Em seu trabalho mais famoso, o Principia Mathematica (1687), Newton
usou as idias e algumas das tcnicas de clculo, mas como o Principia foi escrito em sua
maior parte na forma geomtrica, as frmulas e partes algbricas do clculo estavam
ausentes. As trs monografias de clculo de Newton, contudo, foram amplamente
conhecidas atravs de cpias feitas para seus colegas da Sociedade Real. Mas elas no
foram publicadas at muito depois de sua morte.

Quando Leibniz foi a Paris em 1672 em misso diplomtica, foi introduzido a idias
emergentes de clculo por Christiaan Huygens (1629--1695), um membro da nova
Academia Francesa. Leibniz estudou muitos dos trabalhos de autores de matemtica
avanada, e relatou que aqueles de Blaise Pascal (1623--1662) eram especialmente teis. A
maior parte dos escritos de Leibniz sobre clculo recaram em trs grupos: seus manuscritos
- quase todos dirios - comearam enquanto ele estava em Paris (1672--1676); os artigos
que publicou no Acta Eruditorum nas dcadas de 1680 e 1690; e um manuscrito, History
and Origin of the Differential Calculus (Histria e Origem do Clculo Diferencial,1714), sobre
o qual falaremos a seguir.

As idias de Leibniz sobre integrais, derivadas e clculo em geral foram desenvolvidas a


partir de analogias com somas e diferenas. Por exemplo, para o Teorema Fundamental do
Clculo, se fosse dada uma seqncia finita de nmeros tais como, Y: 0, 1, 8, 27, 64, 125, e
216, com diferenas y: 1, 7, 19, 37, 61, e 89, ele notou que a soma das diferenas, y = (1
- 0) + (8 - 1) + (27 - 8) + + (216 - 125) se alternavam em torno da diferena entre o
primeiro e o ltimo valor de Y, 216 - 0. Agora, para Leibniz, uma curva era um polgono feito
de um nmero infinito de lados, cada um com comprimento "infinitesimal". Ento, escreveu
em 1680, "Eu represento a rea de uma figura pela soma [infinita] de todos os retngulos
limitados pelas ordenadas e diferenas das abscissas", isto , como ydx. Ento, "elevando
a alturas maiores" se baseando na analogia com somas finitas e diferenas, Leibniz afirmou
que ao encontrar a rea representada por ydx, deve-se encontrar uma curva Y tal que as
ordenadas y so diferenas de Y, ou y = dY. Em termos modernos, Y nossa antiderivada,
e assim, Leibniz formulou uma afirmao inicial da Parte 1 do Teorema Fundamental do
Clculo como encontrado no livro Clculo de Thomas. Posteriormente, em um artigo de
1693 no Acta Eruditorum, Leibniz escreveu, "o problema geral de quadraturas pode ser
reduzido a encontrar uma curva que tenha uma dada lei de tangncia", e continuou a
especificar esta lei na forma da Parte 2 do Teorema Fundamental do Clculo.

Para apreciar completamente as contribuies de Leibniz ao clculo, devemos considerar


seu contexto dentro do seu significativo trabalho em lgica, metafsica e filosofia porque
pensava em todas estas atividades como inter-relacionadas. Para Leibniz, a existncia de
infinitsimos poderia ter sido um problema filosfico interessante, mas no observou o ponto
em seu clculo. Clculo, especialmente o teorema Fundamental, "continha uma maneira
prtica de computar" e era uma abreviao dos mtodos rigorosos das tangentes e
quadraturas de Arquimedes (287--212 a.C.) e outros gemetras gregos clssicos. Por outro
lado, Jakob (1654--1705) e Johann Bernoulli (1667--1748) e outros matemticos e cientistas
do sculo 18 que se aproveitaram do clculo de Leibniz, especialmente de sua notao
frtil, usaram livremente, expandiram e aplicaram o clculo, freqentemente com resultados
espetaculares.

Infelizmente, em torno da virada do sculo 18, alguns poucos seguidores de Newton


atacaram Leibniz acusando-o de plgio do clculo de Newton durante suas visitas a Londres
em 1673 e 1676. Newton e Leibniz nunca se encontraram frente a frente, mas durante as
primeiras dcadas do sculo 18, Newton era presidente da Sociedade Real e Leibniz ainda
era um membro. Leibniz escreveu seu History and Origin of the Differential Calculus (1714)
para sua defesa, mas sem sucesso. A matria se tornou uma disputa prioritria de escala
monumental e se tornou um descrdito para todos os participantes medida que o sculo
18 avanou; por exemplo, numa lealdade mal direcionada, a maior parte dos matemticos
ingleses se limitaram aos flxions e fluentes de Newton e evitaram as notaes superiores
de Leibniz at o incio do sculo 19. O consenso hoje, depois de muito estudo meticuloso e
imparcial, feito por vrios estudiosos, que Newton e Leibniz desenvolveram o Teorema
Fundamental do Clculo independentemente e que, portanto, deveriam dividir igualmente a
glria da criao do clculo.

Leibniz argumentou sobre o Teorema Fundamental do Clculo por analogia e Newton


baseou sua justificativa em flxions e fluentes, que por sua vez dependiam da intuio de
pontos se movendo ao longo de uma curva. Colin Maclaurin (1698--1746) provou a Parte 1
do Teorema Fundamental do Clculo para funes de potncia simples, y = xn, onde n = 1,
2, 3, , e Joseph Louis Lagrange (1736--1813) estendeu a idia bsica de Maclaurin a
funes crescentes representadas por uma srie de potncias. A prova moderna do
Teorema Fundamental do Clculo foi formulada para funes contnuas em a x b por
Augustin Louis Cauchy (1789--1857) em seu Lessons Given at the cole Royale
Polytechnique on the Infinitesimal Calculus (1823). Os argumentos que Cauchy deu so os
mesmos daqueles encontrados no livro de Clculo de Thomas. Com seu Teorema
Fundamental do Clculo, Cauchy proveu a chave, para todas as funes contnuas, que
finalmente uniu rigorosamente os dois ramos principais do clculo em uma estrutura, ambos
elegantes e teis.
Histria dos Vetores

A lei do paralelogramo para a adio de vetores to intuitiva que sua origem


desconhecida. Pode ter aparecido em um trabalho, agora perdido, de Aristteles (384--322
A.C.), e est na Mecnica de Hero (primeiro sculo d.C.) de Alexandria. Tambm era o
primeiro corolrio no Principia Mathematica (1687) de Isaac Newton (1642--1727). No
Principia, Newton lidou extensivamente com o que agora so consideradas entidades
vetoriais (por exemplo, velocidade, fora), mas nunca com o conceito de um vetor. O estudo
sistemtico e o uso de vetores foram fenmenos do sculo 19 e incio do sculo 20.

Vetores nasceram nas primeiras duas dcadas do sculo 19 com as representaes


geomtricas de nmeros complexos. Caspar Wessel (1745--1818), Jean Robert Argand
(1768--1822), Carl Friedrich Gauss (1777--1855) e pelo menos um ou dois outros,
conceberam nmeros complexos como pontos no plano bidimensional, isto , como vetores
bidimensionais. Matemticos e cientistas trabalharam com estes novos nmeros e os
aplicaram de vrias maneiras; por exemplo, Gauss fez um uso crucial de nmeros
complexos para provar o Teorema Fundamental da lgebra (1799). Em 1837, William
Rowan Hamilton (1805-1865) mostrou que os nmeros complexos poderiam ser
considerados abstratamente como pares ordenados (a, b) de nmeros reais. Esta idia era
parte de uma campanha de muitos matemticos, incluindo Hamilton, para procurar uma
maneira de estender os "nmeros" bidimensionais para trs dimenses; mas ningum
conseguiu isto preservando as propriedades algbricas bsicas dos nmeros reais e
complexos.

Em 1827, August Ferdinand Mbius publicou um pequeno livro, The Barycentric Calculus,
no qual introduziu diretamente segmentos de reta que eram denotados por letras do
alfabeto, vetores na essncia, mas no no nome. No seu estudo de centros de gravidade e
geometria projetiva, Mbius desenvolveu uma aritmtica destes segmentos de reta;
adicionou-os e mostrou como multiplic-los por um nmero real. Seus interesses estavam
em outro lugar, contudo, e ningum se importou em notar a importncia destes clculos.

Depois de muita frustrao, Hamilton estava finalmente inspirado a desistir da procura por
um sistema "numrico" tridimensional e em vez disso, inventou um sistema de quatro
dimenses que chamou de quatrnios. Nas suas prprias palavras: 16 de outubro de 1843,

O que parecia ser uma segunda-feira e um dia de Conselho da Academia Real


Irlandesa - eu estava caminhando para participar e presidir, , ao longo do Canal
Real, uma sub-corrente de pensamento estava na minha mente, que finalmente
deu um resultado, o qual no muito dizer que logo senti a importncia. Um circuito
eltrico pareceu fechar; e uma fasca surgiu, ... No pude resistir ao impulso ...
escrever com uma faca sobre uma pedra da ponte Brougham, quando passamos por
ela, a frmula fundamental... .

Os quatrnios de Hamilton foram escritos, q = w + ix + jy + kz, onde w, x, y, e z eram


nmeros reais. Hamilton rapidamente percebeu que seus quatrnios consistiam de duas
partes distintas. O primeiro termo, o qual chamou de escalar e "x, y, z para suas
componentes retangulares, ou projees em trs eixos retangulares, ele [referindo-se a si
prprio] foi induzido a chamar a expresso trinomial propriamente dita, assim como a reta a
qual ela representa, de um VETOR". Hamilton usou suas "frmulas fundamentais", i2 = j2 =
k2 = -ijk = -1, para multiplicar quatrnios, e imediatamente descobriu que o produto, q1q2 = -
q2q1, no era comutativo.
Hamilton tinha se tornado cavaleiro em 1835, e era um cientista conhecido que j tinha feito
um trabalho fundamental em tica e fsica terica na poca que inventou quatrnios, por
isso foi imediatamente reconhecido. Em troca, devotou os 22 anos restantes de sua vida ao
seu desenvolvimento e promoo. Escreveu dois livros completos sobre o assunto, Lectures
on Quaternions (1853) e Elements of Quaternions (1866), detalhando no apenas a lgebra
dos quatrnios mas tambm como poderiam ser usados em geometria. Em certo ponto
Hamilton escreveu, "eu ainda devo afirmar que esta descoberta me parece ser to
importante para a metade do sculo 19 como a descoberta de flxions foi para o final do
sculo 17". Ele teve um discpulo, Peter Guthrie Tait (1831--1901), que, na dcada de 1850,
comeou a aplicar quatrnios a problemas em eletricidade e magnetismo e a outros
problemas em fsica. Na segunda metade do sculo 19, a defesa de Tait dos quatrnios
provocou reaes calorosas, ambas positivas e negativas, na comunidade cientfica.

Ao redor da mesma poca que Hamilton descobriu os quatrnios, Hermann Grassmann


(1809--1877) estava escrevendo The Calculus of Extension (1844), agora muito conhecido
pelo seu ttulo em alemo, Ausdehnungslehre. Em 1832, Grassmann comeou a
desenvolver "um novo clculo geomtrico" como parte do seu estudo da teoria de mars, e
subseqentemente usou estas ferramentas para simplificar partes de dois trabalhos
clssicos, o Analytical Mechanics de Joseph Louis Lagrange (1736-1813) e o Celestial
Mechanics de Pierre Simon Laplace (1749-1827). Em seu Ausdehnungslehre, primeiro
Grassmann expandiu o conceito de vetores a partir da familiar 2 ou 3 dimenses para um
nmero arbitrrio, n, de dimenses; isto estendeu grandemente as idias de espao.
Segundo, e ainda mais geralmente, Grassmann antecipou grande parte da lgebra matricial
e linear moderna e anlise vetorial e tensorial.

Infelizmente, o Ausdehnungslehre tinha dois pontos contra si. Primeiro, era muito abstrato,
faltando exemplos explicativos e foi escrito em um estilo obscuro com uma notao
extremamente complicada. Mesmo depois de t-lo estudado, Mbius no tinha sido capaz
de entend-lo completamente. Segundo, Grassmann era um professor de ensino mdio sem
uma reputao cientfica importante (comparado a Hamilton). Embora seu trabalho tenha
sido amplamente ignorado, Grassmann promoveu sua mensagem nas dcadas de 1840 e
1850 com aplicaes em eletrodinmica e geometria de curvas e superfcies, mas sem
muito sucesso geral. Em 1862, publicou uma segunda edio revisada do seu
Ausdehnungslehre, mas tambm era escrito de maneira obscura e era muito abstrato para
os matemticos de sua poca e praticamente teve a mesma sina da primeira edio. No
final de sua vida, Grassmann distanciou-se da matemtica e iniciou uma segunda carreira
de pesquisa muito bem sucedida, em fontica e lingstica comparada. Finalmente, nas
dcadas de 1860 e 1870, o Ausdehnungslehre comeou lentamente a ser entendido e
apreciado e Grassmann comeou a receber algum reconhecimento favorvel por sua
matemtica visionria. Uma terceira edio do Ausdehnungslehre foi publicada em 1878,
ano seguinte de sua morte.

Durante a metade do sculo 19, Benjamin Peirce (1809--1880) era, de longe, o mais
proeminente matemtico nos Estados Unidos, e se referiu a Hamilton como, "o monumental
autor dos quatrnios". Peirce foi um professor de matemtica e astronomia em Harvard de
1833 a 1880 e escreveu um enorme livro chamado System of Analytical Mechanics (1855;
segunda edio 1872), no qual, surpreendentemente no incluiu quatrnios. Em vez disso,
Peirce expandiu o que chamou de "esta maravilhosa lgebra do espao" ao escrever seu
livro Linear Associative Algebra (1870), um trabalho totalmente de lgebra abstrata. Dizia-se
que quatrnios era o assunto favorito de Peirce e ele teve muitos alunos que se tornaram
matemticos e que escreveram um bom nmero de livros e artigos sobre o assunto.

James Clerk Maxwell (1831--1879) foi um proponente dos quatrnios perspicaz e crtico.
Maxwell e Tait eram escoceses, tinham estudado juntos em Edimburgo e na Universidade
de Cambridge e dividiam os mesmos interesses em fsica matemtica. No que chamou de
"classificao matemtica de quantidades fsicas", Maxwell dividiu as variveis de fsica em
duas categorias, escalares e vetoriais. Ento, em termos desta estratificao, apontou que
usar quatrnios tornava transparente as analogias matemticas em fsica que tinham sido
descobertas por Lord Kelvin (Sir William Thomson, 1824--1907) entre o escoamento de calor
e a distribuio de foras eletrostticas. Contudo, nos seus artigos, especialmente em seu
muito influente Treatise on Electricity and Magnetism (1873), Maxwell enfatizou a
importncia do que descreveu como "idias de quatrnios ... ou a doutrina de vetores" como
um "mtodo matemtico ... um mtodo de pensar". Ao mesmo tempo, apontou a natureza
no homognea do produto de quatrnios, e avisou cientistas para no usar "os mtodos de
quatrnios" com seus detalhes envolvendo os trs componentes vetoriais. Essencialmente,
Maxwell estava sugerindo uma anlise puramente vetorial.

William Kingdon Clifford (1845--1879) expressou "admirao profunda" pelo


Ausdehnungslehre de Grassmann e era claramente a favor de vetores, os quais
freqentemente chamava de passos, em lugar de quatrnios. Em seu Elements of Dynamic
(1878), Clifford decomps o produto de dois quatrnios em dois produtos vetoriais muito
diferentes, os quais chamou de produto escalar e produto vetorial. Para anlise vetorial,
disse "minha convico que seus princpios exerceram uma ampla influncia sobre o
futuro da cincia matemtica". Embora o Elements of Dynamic fosse supostamente o
primeiro de uma seqncia de livros-texto, Clifford no teve a oportunidade de seguir estas
idias porque morreu jovem.

O desenvolvimento da lgebra vetorial e da anlise vetorial como conhecemos hoje foi


revelado primeiramente em um conjunto de notas de aula feitos por J. Willard Gibbs (1839--
1903) feito para seus alunos na Universidade de Yale. Gibbs nasceu em New Haven,
Connecticut (seu pai tambm foi professor em Yale) e suas conquistas cientficas principais
foram em fsica, termodinmica propriamente dita. Maxwell apoiava o trabalho de Gibbs em
termodinmica, especialmente as apresentaes geomtricas dos resultados de Gibbs.
Gibbs tomou conhecimento dos quatrnios quando leu o Treatise on Electricity and
Magnetism de Maxwell, e Gibbs tambm estudou o Ausdehnungslehre de Grassmann.
Concluiu que vetores forneceriam uma ferramenta mais eficiente para seu trabalho em
fsica. Assim, comeando em 1881, Gibbs imprimiu por conta prpria notas de aulas sobre
anlise vetorial para seus alunos, as quais foram amplamente distribudas para estudiosos
nos Estados Unidos, na Inglaterra e na Europa. O primeiro livro moderno sobre anlise
vetorial em ingls foi Vector Analysis (1901), as notas de Gibbs colecionadas por um de
seus alunos de ps-graduao, e Edwin B. Wilson (1879--1964). Ironicamente, Wilson
cursou a graduao em Harvard (B.A. 1899) onde tinha aprendido sobre quatrnios com seu
professor, James Mills Peirce (1834--1906), um dos filhos de Benjamin Peirce. O livro de
Gibbs/Wilson foi reimpresso em uma edio em 1960. Uma outra contribuio para o
moderno entendimento e uso de vetores foi feita por Jean Frenet (1816--1990). Frenet
entrou na cole normale suprieure em 1840, ento estudou em Toulouse, onde escreveu
sua tese de doutorado em 1847. A tese de Frenet continha a teoria de curvas espaciais e as
frmulas conhecidas como as frmulas de Frenet-Serret (o triedro de Frenet). Frenet
contribuiu com apenas seis frmulas enquanto que Serret contribui com nove. Frenet
publicou esta informao no Journal de mathematique pures et appliques em 1852.

Na dcada de 1890 e na primeira dcada do sculo 20, Tait e alguns outros ridicularizaram
vetores e defenderam quatrnios enquanto outros cientistas e matemticos desenharam seu
prprio mtodo vetorial. Oliver Heaviside (1850--1925), um fsico autodidata que foi
grandemente influenciado por Maxwell, publicou artigos e seu livro Electromagnetic Theory
(trs volumes, 1893, 1899, 1912) nos quais atacou quatrnios e desenvolveu sua prpria
anlise vetorial. Heaviside tinha recebido cpias das notas de Gibbs e falou muito bem
delas. Ao introduzir as teorias de Maxwell sobre eletricidade e magnetismo na Alemanha
(1894), os mtodos vetoriais foram defendidos e vrios livros sobre anlise vetorial em
alemo se seguiram. Os mtodos vetoriais foram introduzidos na Itlia (1887, 1888, 1897),
na Rssia (1907) e na Holanda (1903). Vetores agora so a linguagem moderna de grande
parte da fsica e da matemtica aplicada e continuam tendo seu prprio interesse
matemtico intrnseco.

Histria do Clculo de Vrias Variveis

Durante o sculo 16, matemticos estavam desenvolvendo uma nova matemtica para
resolver problemas em cincias fsicas. Como o mundo fsico multidimensional (isto , trs
dimenses espaciais e o tempo), muitas das quantidades usadas nestes modelos aplicados
eram de vrias variveis. Astronomia era uma rea da cincia que era rica neste tipo de
matemtica de vrias variveis. Por isso, o cenrio estava sendo montado por astrnomos e
matemticos para o desenvolvimento de funes de vrias variveis e, finalmente, para o
clculo de vrias variveis. Galileu (1564--1642) tentou aplicar a matemtica ao seu trabalho
em astronomia, cinemtica e resistncia dos materiais. Pelo seu trabalho nestas reas,
freqentemente chamado de fundador da mecnica e fsica moderna. O astrnomo,
matemtico e fsico alemo Johannes Kepler (1571--1630) contribuiu grandemente atravs
do desenvolvimento das suas trs leis do movimento planetrio. Estes resultados mudaram
a astronomia e desempenharam um papel crucial no desenvolvimento da fsica newtoniana
e do clculo. Seu trabalho ajudou a desacreditar o modelo geocntrico de Ptolomeu e
ajudou a estabelecer a teoria heliocntrica de Coprnico. Tambm montou o cenrio para o
surgimento da matemtica aplicada em vrias variveis.

Depois do desenvolvimento do clculo de uma varivel no sculo 17, sua aplicao para
resolver problemas em um mundo multidimensional resultou na necessidade de
generalizao para incluir funes de mais de uma varivel e clculo de vrias variveis. O
que seriam os anlogos da derivada e da integral para funes de mais de uma varivel?
Jean d'Alembert (1717--1783) desenvolveu e usou o clculo de vrias variveis para lidar
com mtodos para resolver equaes diferenciais e movimento de corpos considerando a
resistncia do meio. De vrias maneira, usou os trabalhos de Newton, L'Hospital e dos
Bernoullis para estender os conceitos de clculo para vrias variveis. D'Alembert pesquisou
nesta rea e publicou muitos trabalhos em matemtica e fsica matemtica. Seu trabalho
principal foi o Trait de dynamique (1743), o qual ajudou a fazer com que a diferenciao
parcial fizesse parte do clculo.

Prximo na linha de refinamento e uso do clculo de vrias variveis foi Joseph Louis
Lagrange (1736--1813). Este aplicou seu conhecimento de clculo mecnica. Foi muito
produtivo nesta rea aplicada da matemtica. Seus principais trabalhos foram sobre as
equaes de movimento e no entendimento da energia potencial. Lagrange tambm foi o
primeiro a desenvolver os mtodo de hoje para encontrar mximos e mnimos usando
clculo. Seu trabalho em otimizao em vrias variveis resultou na tcnica que agora
chamamos de multiplicadores de Lagrange. Ele tinha apenas 19 anos quando inventou
estes mtodos e at muito mais tarde em sua vida ainda os considerava como seu melhor
trabalho em matemtica. Publicou Mcanique analytique (1787), no qual aplicou clculo de
vrias variveis ao movimento e s propriedades de objetos no espao. Colega de
Lagrange, o astrnomo e matemtico Pierre-Simon Laplace (1749--1827), se sobressaiu ao
resolver, ainda jovem, um problema de gravitao mtua que tinha frustrado Euler e
Lagrange. Seu trabalho contribuiu para a anlise do sistema solar. Laplace generalizou as
leis da mecnica para sua aplicao ao movimento e s propriedades de corpos celestes,
por isso precisou e desenvolveu resultados em clculo de vrias variveis. Seu famoso
tratado sobre este assunto foi intitulado Mcanique celeste. Em 1782, Adrien Legendre
(1752--1833) venceu um prmio de pesquisa da Academia de Berlim com seu trabalho
sobre balstica exterior. Analisou a curva descrita pelas bolas de canho, levando em
considerao a resistncia do ar e desenvolveu relaes para alcance dadas as velocidades
iniciais. Legendre pde desenvolver estas equaes a partir de seu trabalho avanado em
equaes diferenciais e clculo de vrias variveis.

Sylvestre Franois Lacroix (1765--1843) escreveu um tratado importante sobre clculo em


1797. Em seu livro, unificou e generalizou muitos mtodos para incluir clculo de vrias
variveis. Enquanto Lacroix seguiu muitos dos fundamentos estabelecidos por Euler,
tambm incorporou resultados obtidos no final do sculo 18 ao seu texto. Seu tratado
expandiu o papel do clculo de vrias variveis nas cincias. O matemtico francs Joseph
Fourier (1768--1830) tambm aplicou clculo para resolver problemas prticos em cincia.
Por sua habilidade, foi selecionado por Napoleo para ir numa expedio ao Egito como
consultor tcnico em engenharia e pesquisa tcnica. Posteriormente, Fourier continuou sua
pesquisa matemtica usando seu entendimento de derivadas parciais e de clculo de vrias
variveis. Fourier fez contribuies para o estudo e clculo de difuso de calor e para a
soluo de equaes diferenciais. Muito daquele trabalho aparece em seu influente livro
Thorie analytique de la chaleur.

frente daqueles que contriburam para o clculo de vrias variveis estava Carl Friedrich
Gauss (1777--1855). As conquistas de Gauss em cincias e matemtica foram
assombrosas. Seu desenvolvimento de uma teoria de rbitas planetrias foi publicado em
1809. Gauss desenvolveu e provou o Teorema da Divergncia enquanto trabalhava na
teoria de gravitao, mas suas anotaes no foram publicadas at muitos anos depois, por
isso, foi dado crdito a outros pelo desenvolvimento e prova deste importante resultado de
vrias variveis. O teorema , algumas vezes, chamado de Teorema de Gauss. Gauss
desenvolveu resultados que estabeleceram a teoria do potencial como um ramo coerente da
matemtica. Mikhail Ostrogradsky (1801--1862) foi o primeiro a publicar uma prova do
teorema da divergncia. Ostrogradsky deixou a Rssia para Paris em 1822 onde encontrou
Laplace, Legendre, Fourier, Poisson e Cauchy. Enquanto trabalhava na teoria do calor na
metade da dcada de 1820, formulou o teorema da divergncia como uma ferramenta para
tornar integrais de volume em integrais de superfcie.

O matemtico francs Simon Poisson (1781--1840) estudou com Lagrange e Laplace,


fazendo seu trabalhos iniciais em mecnica. Utilizou a matemtica nas aplicaes de
elasticidade e vibraes. O famoso matemtico Augustine Cauchy (1789--1857) construiu
sobre os conceitos de vrias variveis no Mcanique cleste de Laplace e no Trait des
functions analytiques de Lagrange. Em 1816, resolveu um problema de hidrodinmica sobre
a propagao de ondas sobre a superfcie de um lquido. Usou seus conhecimentos de
diferenciao parcial e de integrais de linha para analisar solues e propriedades das
equaes diferenciais parciais. O matemtico aplicado Carl Jacobi (1804--1851)
desenvolveu a teoria de determinantes e transformaes em uma ferramenta poderosa para
avaliar integrais mltiplas. Tambm aplicou mtodos de transformao para estudar
integrais como as que surgiram no clculo do comprimento de arco.

O trabalho de George Green (1793 -- 1841) sobre os fundamentos matemticos da


gravitao, da eletricidade e do magnetismo foi publicado em 1828 em um pequeno livro
intitulado An Essay on the Application of Mathematical Analysis to Electricity and Magnetism.
A matemtica de Green deu a base na qual Thomson, Stokes, Rayleigh, Maxwell e outros
construram a teoria atual do eletromagnetismo. Central a este desenvolvimento foi o clculo
de vrias variveis, resultado que agora chamamos de Teorema de Green. George Stokes
(1819--1903) aplicou o clculo de vrias varveis para estudar hidrodinmica, elasticidade,
luz, gravitao, som, calor, meteorologia e fsica solar. Ele no foi o primeiro a desenvolver o
teorema integral que agora chamamos de Teorema de Stokes; ele o aprendeu de Thomson
em 1850 e poucos anos depois incluiu entre questes de um exame. Desde ento tornou-se
conhecido como Teorema de Stokes.

Bernhard Riemann (1826--1866) trabalhou com fsico Wilhelm Weber (1804--1891),


introduzindo as idias bsicas da geometria diferencial. Continuou a estudar e contribuir
com o clculo de vrias variveis aplicando resultados em dinmica e fsica computacional.
Similarmente, Josiah Willard Gibbs (1839 -- 1903), que nasceu em Connecticut e estudou
em Yale, trabalhou em problemas de cincia aplicada em fsica matemtica. Suas
contribuies foram em termodinmica, eletromagnetismo e mecnica. Sonya Kovalevsky
(1850--1891), a matemtica russa mais conhecida do final do sculo 19, aprendeu
matemtica lendo papel de parede de um quarto que consistia de pginas de um texto
matemtico do clculo diferencial e integral de Ostrogradsky. Ela trabalhou principalmente
na teoria de equaes diferenciais parciais.

Trabalhos posteriores de cientistas e matemticos aplicados no final do sculo 19 e no


sculo 20 refinaram resultados anteriores de vrias variveis e utilizaram estas tcnicas em
vrias reas de cincia e engenharia. O fsico James Maxwell (1831--1879) usou
ferramentas de vrias variveis como a divergncia, o rotacional, fluxo e potencial para
avanar no entendimento de tica, luz, eletricidade e magnetismo. Ernst Mach (1838--1916)
usou muitas destas mesmas ferramentas para produzir novos resultados em mecnica,
termodinmica e fsica. Seu trabalho influenciou trabalhos posteriores de Albert Einstein em
relatividade e fsica. O matemtico italiano Guido Fubini (1879--1943) avanou ambos os
aspectos aplicado e terico do clculo de vrias variveis. Seu trabalho aplicou matemtica
cincia e engenharia. Ele provou o mtodo de avaliar integrais iteradas que tem o seu
nome e utilizou os resultados em mecnica e fsica.