Histria do Limite

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 Caval ieri (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 uma falha fatal) para tornar o clculo puramente algbrico eliminando limites inteiramente. Ao longo do sculo 18, havia po uca 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 d etalhes 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 infini to (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 par a 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 fracio nrias 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 Mar qus 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 infini tamente 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). Leonh ard 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, er a 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 lnulas, 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. Seu problema era o "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 p. 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 < p < 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 f D f ), onde f a latitude; isto , aproximando a integral de sec f. 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 coseno e a encontrar as quadratura s 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 sum ma 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.

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 e x e 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 = kq 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 so bre 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 (1 667--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 e x e 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, Finney, Weir & Giordano. 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 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 r efinaram 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 fu nes 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 equa es 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 equa es 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 es trutura 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 numr icos 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 f sicos 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 matemtica 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.

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.

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 Fe rmat (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. fontes: http://cwx.prenhall.com/bookbind/pubbooks/thomas_br/medialib /indexb.html

www.somatematica.com.br/historia.php