EVOLUCIN DEL PENSAMIENTO MATEMTICO - Bloque II Evaluacin
T!a"a#o $o"!e la %i$&o!ia 'e la$ (a&e()&ica$ co!!e$*on'ien&e a una +*oca
%i$&!ica ,al (eno$ un $i-lo. que in&e-!e/ al (eno$/ lo$ avance$ 'el l-e"!a 0 'el An)li$i$ Ma&e()&ico1 2ANLISIS MATEMTICO 3 L4EB5A EN EL SI4LO 6VIII7 Palo(a M8 Pue!&o Mo0ano Se*&ie("!e 9:;< El S XVIII, el periodo que va desde el ao 1707, fecha en que naci el matemtico suio !eonard Euler, "el matemtico ms prol#fico de todos los tiempos, a la ve que el dotado de ma$or talento e%positor&' hasta el ao 1(0), fecha de la coronacin de *apolen +onaparte como emperador de ,rancia, se denomina periodo de las Ma&e()&ica$ Ilu$&!a'a$- .na de las cosas ms importantes fue la sistematiacin del anlisis, o/ra de Euler- 0l1unos de sus li/ros tuvieron tal influencia, que la dedicacin al anlisis de los matemticos del si1lo eclips la ocupacin a cualquier otra rama de la matemtica 23umn, 14445- Sin em/ar1o no fue el 6nico campo de investi1acin- En este tra/a7o vamos a centrarnos en las cuestiones del 0nlisis 8atemtico $ el 9l1e/ra- ANLISIS MATEMTICO 0unque el anlisis en Europa se ori1ina en el si1lo si1lo XVII, en el que *e:ton $ !ei/ni inventan el clculo, no sin cierta controversia, pol;mica $ rivalidad entre ellos' muchos de los resultados ms importantes se tra/a7aron por ;stos $ otros matemticos durante el si1lo XVIII- .no de los temas que estuvo a/ierto a de/ate fue definicin del concepto de funcin, que no se concretar#a ri1urosamente hasta el si1lo XIX- <urante el si1lo XVIII la ma$or parte de los temas so/re el anlisis como el clculo de variaciones, las ecuaciones diferenciales $ ecuaciones en derivadas parciales, etc- fueron desarrolladas principalmente como aplicacin $ resolucin de pro/lemas de otras disciplinas cient#ficas- Veamos los resultados ms importantes so/re estos temas= = C)lculo 'i>e!encial e in&e-!al El clculo diferencial es una parte del anlisis matemtico que consiste en el estudio de cmo cam/ian las funciones cuando sus varia/les cam/ian- El principal o/7eto de estudio en el clculo diferencial es la derivada- .na nocin estrechamente relacionada es la de diferencial de una funcin- >or otro lado sur1i el proceso inverso, la inte1racin, que es tam/i;n un concepto fundamental del clculo $ del anlisis matemtico- +sicamente, una inte1ral es una 1eneraliacin de la suma de infinitos sumandos, infinitamente pequeos- ?omo todas las partes del 0nlisis am/os conceptos tienen su ori1en fundamentalmente en *e:ton $ !ei/ni- >osteriormente los hermanos @aco/ $ @ohann +ernouilli estudiaron los tra/a7os de !ei/ni con quien iniciaron una productiva correspondencia $ a partir de 1A40 pu/licaron una serie de tra/a7os poniendo de manifiesto que su clculo era una herramienta poderosa con la que ha/#a que contar pero que era preciso un /uen li/ro de te%to que e%plicara con detalle los pormenores del nuevo clculo 28art#n, B00(5- <icho li/ro fue "0nal$se des inniment petits pour lCintelli1ence des li1nes cour/a& 21A4A5 $ aunque su autor fue el 8arqu;s de !CDEpital, ho$ sa/emos que los resultados ori1inales fueron de/idos en su ma$or#a a su profesor @ohann +ernouilli- En su li/ro, !CDEpital desarrolla/a el clculo diferencial tal como ha/#a sido conce/ido por !ei/ni- !a definicin de diferencial es= "!a parte infinitamente pequea en que una cantidad varia/le es aumentada o disminuida de manera continua, se llama la diferencial de esta cantidad&- >ara tra/a7ar con infinit;simos se esta/lece la si1uiente re1la= <os cantidades cu$a diferencia es otra cantidad infinitamente pequea pueden intercam/iarse una por la otra 28art#n, B00(5- !os escritos de los +ernouilli, !ei/ni $ !CDEpital populariaron el clculo lei/niiano $ $a en la primera d;cada del si1lo XVIII otros matemticos se interesaron por ;l- !a matemtica 8ar#a 3- 01nesi tra/a7 tam/i;n en este campo- En 17)(, se pu/lic su li/ro FInstituioni 0nalitheF so/re clculo diferencial, que fue mu$ popular' se tradu7o a muchos idiomas $ se us en Europa durante muchos aos- ,ue conocida tam/i;n como !a +ru7a de 01nesi por confundir en su li/ro la pala/ra versoria 2nom/re latino de la curva de una funcin5, por versiera otra pala/ra que si1nifica a/uela del dia/lo o /ru7a, de ah# viene el nom/re adoptado tam/i;n por la curva que lleva su nom/re "la +ru7a de 01nesi&, cu$a ecuacin es= y= a x +a Sin em/ar1o durante este si1lo los conceptos carec#an todav#a del suficiente ri1or- Es memora/le el ataque del o/ispo +erGele$ calificando los infinitesimales como los Ffantasmas de las cantidades que se desvanecenF- El clculo adquiri una posicin ms firme con el desarrollo de los l#mites $, en la primera mitad del si1lo XIX, reci/i una fundamentacin adecuada por parte de ?auch$- = Teo!?a 'e ecuacione$ 'i>e!enciale$@ .na ecuacin diferencial es una ecuacin en la que intervienen derivadas de una o ms funciones- <ependiendo del n6mero de varia/les independientes respecto de las que se deriva, las ecuaciones diferenciales se dividen en= Ecuaciones diferenciales ordinaria s= aquellas que contienen derivadas respecto a una sola varia/le independiente- Ecuaciones en derivadas parciales = aquellas que contienen derivadas respecto a dos o ms varia/les- En 1eneral las ecuaciones diferenciales constitu$en la parte central del 0nlisis $ sirven como modelo matemtico para el estudio de pro/lemas que sur1en en disciplinas mu$ diversas 28olero, B01B5- Su estudio sur1e en el si1lo XVII, cuando las matemticas se inclinan $a so/re aspectos f#sicos $ t;cnicos, $ como hemos dicho anteriormente, Isaac *e:ton $ 3ottfried !ei/ni crean el clculo infinitesimal 2s XVII $ XVIII5, que inau1ura la era del 0nlisis 8atemtico, la derivada, la inte1racin $ las ecuaciones diferenciales 2Salaar, B0105- Helacionado con este tema ha$ una an;cdota que sur1e de la c;le/re pol;mica *e:tonI!ei/ni- En un determinado momento, *e:ton comunica 2por medio de Jlden/ur15 a !ei/ni el si1uiente ana1rama= Aa ce d ae 1Ke ff 7i el 4n )0 )q rr )s 4t 1B v % que en lat#n quiere decir F<ata aequetione quotcunque fluentes quantitaes involvente flu%iones invenire et veceversaF, o /ien= F<ada una ecuacin con cantidades fluentes, determinar las flu%iones $ viceversaF- Este fue el descu/rimiento fundamental de *e:ton, que consider necesario mantener en secreto, $ el cual en len1ua7e matemtico contemporneo si1nifica= FEs 6til resolver ecuaciones diferencialesF- Sin em/ar1o realmente el t;rmino "aequatio differentialis& fue primero usado por !ei/ni 2en un sentido /astante restrin1ido5 en 1A7A para denotar una relacin entre las diferenciales d% $ d$ $ dos varia/les % e $, concepcin que se conserv hasta los tiempos de Euler 2*poles, 144(5- El pro/lema de la resolucin de ecuaciones en derivadas parciales era por esta ;poca todav#a un campo a/ierto $ el de la inte1racin de ecuaciones diferenciales se presenta/a como parte de un pro/lema ms 1eneral= el pro/lema inverso del anlisis infinitesimal- 0s# se considera el si1lo XVIII como el si1lo de la inte1racin elemental de las ecuaciones diferenciales- !os primeros intentos de resolucin se centraron en las ecuaciones diferenciales lineales, advirti;ndose resultados nota/les $a en los aos B0 del si1lo XVIII- En 17B), el matemtico italiano @- ,- Hiccati estudi la ecuacin= d$Ld% M a$ B N /% O donde O , a, / constantes determinando la inte1ra/ilidad en funciones elementales de ;sta- <e aqu# que 2a propuesta de <C0lem/ert en 17A45 la ecuacin lleve su nom/re, denominacin e%tendida a todas las ecuaciones del tipo= d$Ld% N >2%5$ B M P2%5$ M H2%5 donde >, P $ H son funciones continuas !a investi1acin de esta ecuacin fue ocupacin de muchos matemticos, entre otros= !ei/ni, 3old/ach $ <aniel +ernoulli, que esta/leci que ;sta se inte1ra mediante funciones elementales si O N IB O N )GL2BGI15 para G entero- <esde entonces las ecuaciones diferenciales encontraron un 1ran n6mero de aplicaciones durante la se1unda mitad del si1lo XVIII- Su estudio lle1 a ser una de las disciplinas matemticas ms importantes de/ido a su utiliacin como herramienta fundamental en el campo cient#fico $ por la 1ran cantidad de pro/lemas prcticos que con ellas se pod#an resolver- !os matemticos ms famosos del si1lo XVIII contri/u$eron enormemente al desarrollo de las ecuaciones diferenciales- Se pueden citar tam/i;n de una manera especial por la importancia de sus tra/a7os en este campo ?lairaut, !a1ran1e $ !aplace- >ero como $a hemos comentado anteriormente, uno de los matemticos ms importantes de la ;poca es !eonhard Euler- Qa en el ao 17K(, Euler aplic a la resolucin de la ecuacin anterior la teor#a de series' ms adelante descu/ri que, cuando e%isten dos soluciones particulares, la inte1racin de la ecuacin se reduce a cuadraturas $ que, si se conoce una solucin particular v, entonces ella puede ser transformada en una ecuacin lineal mediante la transformacin $ N v M 1L- 0 finales de los aos K0 del si1lo XVIII, Euler ela/or un al1oritmo de resolucin de ecuaciones diferenciales lineales con coeficientes constantes, /asado en la reduccin del orden de ciertas ecuaciones homo1;neas con a$uda de la funcin e%ponencial- En el ao 17)K pu/lic el m;todo de resolucin de una ecuacin lineal con a$uda de la sustitucin $ N e G% $, en el caso de ra#ces reales m6ltiples de la ecuacin caracter#stica, con la a$uda de $ N u e G% - En el caso de la e%istencia de un par de ra#ces comple7as O R Si, utili la sustitucin $ N u e O % , sustituciones que reducen el pro/lema a la ecuacin= d B $Ld% B M S B $ N 0 la forma tri1onom;trica de cu$a solucin era conocida por Euler desde el ao 17)0 2*poles, 144(5- Es ;l mismo, entre mediados $ finales del s XVIII, quien con sus tra/a7os "?alculi diff;rentialis& 217TT5 e "Institutiones calculi inte1ralis& 217705, esta/lece casi definitivamente las re1las de utiliacin de los infinitos pequeos $ desarrolla los m;todos de inte1racin $ de resolucin de ecuaciones diferenciales 2@aso, B01K5- 8s tarde <C0lem/ert encontr en 17AA que la solucin 1eneral de una ecuacin no homo1;nea lineal, es i1ual a la suma de cierta solucin particular $ la solucin 1eneral de la correspondiente ecuacin homo1;nea- Uam/i;n a finales de los 70, !a1ran1e esta/leci la forma de o/tener soluciones sin1ulares, as# como la interpretacin de las mismas como la familia de envolventes de las curvas inte1rales- En resumen, el aparato del anlisis matemtico en el transcurso del si1lo XVIII se desarroll con rapide e%traordinaria tomando una forma $ un volumen pr%imo al actual- !as ecuaciones diferenciales tanto las ordinarias como en derivadas parciales, poco a poco, se convirtieron en una parte important#sima del anlisis matemtico, en su tratamiento al1or#tmicoIoperativo- Se estudiaron los distintos tipos de ecuaciones diferenciales inte1ra/les por cuadraturas, se ela/oraron los primeros procesos de apro%imacin $ se introdu7eron conceptos fundamentales dentro de la teor#a como los de solucin sin1ular $ solucin 1eneral de una ecuacin diferencial- Se estudiaron al1unos tipos de ecuaciones de orden superior $ se ela/oraron los cimientos para una teor#a 1eom;trica de las ecuaciones en derivadas parciales 28olero, B01B5- = C)lculo 'e va!iacione$@ El clculo de variaciones es un pro/lema matemtico consistente en /uscar m%imos $ m#nimos 2o ms 1eneralmente e%tremos relativos5 de funcionales 2funcin cu$o dominio es un con7unto de funciones5 continuos definidos so/re al16n espacio funcional- ?onstitu$en una 1eneraliacin del clculo elemental de m%imos $ m#nimos de funciones reales de una varia/le- Uuvo su ori1en en pro/lemas de mecnica $ f#sica, que intent resolver el 0nlisis, $ constitu$ a su ve la motivacin fundamental para la creacin del ?lculo <iferencial e Inte1ral a finales del si1lo XVII- El si1nificativo tra/a7o de !ei/ni titulado "*ova methodus pro ma%imis et minimis itemque tan1enti/us& que puede considerarse como el nacimiento formal del ?lculo, se pu/lic en 1A() $ las pala/ras con las que !ei/ni descri/e el t#tulo de esta o/ra nos dan una idea mu$ precisa del contenido= nuevo m;todo para el estudio de m%imos $ m#nimos de funciones usando la nocin de tan1ente 2?aada, B0045- El clculo de variaciones se fue desarrollando a medida que se plantea/an pro/lemas a resolver- >ero se considera que realmente naci en 1AA4 con la proposicin de @ohann +ernoulli del pro/lema de la /raquistocrona 2aunque se16n al1unos autores, este pro/lema fue formulado con anterioridad por 3alileo en 1AK(5- >uede descri/irse as#= "una masa puntual se deslia, por accin de la 1ravedad, desde un punto 0 del plano , hasta otro punto +, a trav;s de al1una curva- El tiempo empleado para ir desde 0 hasta + depende de la curva ele1ida- V>ara qu; curva se tendr que el tiempo es m#nimoW 2?aada, B0045- Inmediatamente este pro/lema capt la atencin de @aco/ +ernoulli, el 8arqu;s de !CDEpital, $ otros, que encontraron que la solucin es un arco de cicloide- En el e7emplo citado anteriormente, la varia/le independiente es una funcin- Estos m;todos se para pro/lemas donde de manera natural sur1e el estudio de funcionales cu$a varia/le independiente pueden ser varias funciones 2pro/lemas de m%imos $ m#nimos condicionados, multiplicadores de !a1ran1e5, como es el llamado pro/lema isoperim;trico que dice= dado un n6mero real positivo !, se trata de estudiar de todas las curvas cerradas del plano de lon1itud dada ! X 0, Vcul es la que encierra ma$or reaW 2?aada, B0045- ,ue !eonhard Euler el primero que ela/or una teor#a como tal del clculo variacional- Sus contri/uciones iniciaron en 17KK con su "Elementa ?alculi Variationum " 2Elementos del clculo de variaciones5, que da nom/re a la disciplina- >osteriormente pu/lic el li/ro "8;todo de /6squeda de l#neas curvas con propiedades de m%imo o m#nimo& 217))5, o la resolucin del pro/lema isoperim;trico tomado en su sentido ms amplio, que es el primer li/ro en la historia so/re clculo de variaciones 2Daro, B01K5- En el li/ro de Euler se citan ms de A0 e7emplos que ilustran las posi/ilidades del nuevo m;todo- En ellos se demuestra el valor prctico del clculo $ se esta/lece su estrecha relacin con la mecnica $ la f#sica- El o/7etivo de este m;todo 1eneral era la /6squeda de l#neas curvas para las cuales cierta ma1nitud prefi7a/le, alcana su valor m%imo o m#nimo- >ese a la practicidad del m;todo, ;ste adolec#a de cierta falta de ri1or so/re todo en cuestiones relacionadas con los pasos al l#mite- !a1ran1e, con solo 14 aos, se interes por los tra/a7os de Euler so/re estos temas- Da/iendo compro/ado que los m;todos de Euler en el clculo de variaciones eran e%cesivamente complicados, tratndose de un tema de anlisis puro, !a1ran1e desplaa las consideraciones 1eom;tricoIanal#ticas de Euler para sustituirlas por un m;todo puramente anal#tico $ un sim/olismo ms apropiado- En 17TT, descri/e en una carta diri1ida a Euler su m;todo, al que llama "8;todo de variacin&, pero que Euler denominar "?lculo de variaciones&- Su m;todo puede ilustrarse a partir del pro/lema fundamental de hacer m%ima o m#nima la inte1ral $ del clculo de la variacin de la inte1ral mediante la inte1racin por partes- 2Daro, B01K5- !a1ran1e fue, adems, el primero en sealar la posi/ilidad de utiliar la se1unda variacin para diferenciar el tipo de e%tremal encontrado- Jtros pro/lemas conocidos fueron el de la catenaria $ el de las 1eod;sicas del plano 28art#ne, B00(5- ?on el tiempo el clculo de variaciones ha lle1ado a ser una disciplina matemtica independiente, con m;todos propios de investi1acin- L4EB5A En la primera mitad del si1lo los estudiosos se dedicaron a arre1lar $ perfeccionar la o/ra de sus predecesores- >arte del est#mulo vino del estudio de las ecuaciones polinmicas de tercer $ cuarto 1rado $a empeado en si1los anteriores- !a independencia de l1e/ra $ 1eometr#a se determin a comienos de si1lo, cuando en 1707 vio la lu la F0ritm;tica .niversalF de *e:ton- En ella el l1e/ra se e%pon#a en estrecha relacin con el desarrollo de los m;todos de clculo, rele1ando las cuestiones 1eom;tricas al dominio de las aplicaciones- !a esencia de la o/ra consiste en reducir cualquier pro/lema a la formacin de una ecuacin al1e/raica, cu$a ra# es la solucin del pro/lema- ?ulmina el li/ro con los resultados de la teor#a 1eneral de ecuaciones $ adems la resolucin 1rfica de ;stas, mediante la construccin 1eom;trica de las ra#ces 28orata, B01B5- Este famoso tratado contiene las frmulas, para las sumas de las potencias de las ra#ces de una ecuacin al1e/raica 2identidades de *e:ton5- 0parece tam/i;n un teorema que permite determinar el n6mero de ra#ces reales de un polinomio, as# como una re1la para determinar una cota superior de las ra#ces positivas- !a contri/ucin ms importante de !ei/ni al l1e/ra fue en el campo de la l1ica- !ei/ni quer#a desarrollar una "caracter#stica universal& que sirviera como una especie de l1e/ra de la l1ica- 0dems pensa/a que se pod#an hacer descu/rimientos nuevos mediante operaciones correctas, pero ms o menos rutinarias con los s#m/olos, de acuerdo con las le$es del clculo l1ico- Su su1erencia revivi en el si1lo XIX $ 7u1 un papel mu$ importante en la matemtica de este si1lo 28orata, B01B5- .no de los resultados ms importantes, "El teorema fundamental del l1e/ra& 2e%istencia de ra#ces eventualmente comple7as a todo polinomio5 que ten#a forma de con7etura desde hacia dos si1los, es revaloriado en la utiliacin de la descomposicin en elementos simples, necesario para el clculo inte1ral- !a demostracin de <C0lem/ert pu/licada en 17)A es la ms completa pero contiene a6n al1unas la1unas $ pasa7es o/scuros- Dac#a falta un resultado fuerte del 0nlisis que a6n no se conoc#a- Sucesivamente, Euler 217)45 $ !a1ran1e 217715, intentan demostraciones al1e/raicas de este teorema, pero se enfrentan a la parte trascendente 2todo polinomio de 1rado impar so/re H posee una ra# real5, que necesitar de la utiliacin de un teorema de valores intermedios- Euler demuestra el pequeo teorema de ,ermat $ da una versin e%tendida a los n6meros compuestos 217KAI17A05- Esto a/ri tam/i;n la v#a al desarrollo de una nueva disciplina matemtica= el anlisis al1e/raico, en el que, a las operaciones clsicas del l1e/ra, se aaden la diferenciacin $ la inte1racin 23umn, 14445 En 17A( apareci su F0ritm;tica .niversalF, estando $a cie1o- En ella se analian un sin fin de resultados= se 1eneralian las re1las de resolucin de pro/lemas aritm;ticos' se desarrolla el aparato sim/licoIliteral del l1e/ra' se aclaran las operaciones con n6meros, monomios, radicales $ comple7os' se introducen los lo1aritmos' se dan las re1las de e%traccin de las ra#ces de n6meros $ de e%presiones al1e/raicas polinomiales' etc- Uam/i;n reali e%tensos tra/a7os so/re divisi/ilidad' con1ruencias' anlisis diofntico' m;todos anal#ticos para la resolucin de pro/lema de la distri/ucin de n6meros primos' etc 28orata, B01B5- 3a/riel ?ramer tam/i;n hio un tra/a7o importante so/re matrices $ determinantes en el si1lo XVIII $ al terminar la primera mitad del si1lo fue !a1ran1e el encar1ado de esta nueva evolucin en los estudios del l1e/ra, echando en un tratado de la resolucin de las ecuaciones num;ricas, los cimientos so/re los cuales levantaron despu;s sus hermosos tra/a7os +udan, ,urier $ @acques ,ranYois Sturm- Uam/i;n ca/e destacar a la matemtica francesa Sophie 3ermain, que pese a las numera/les dificultades que tuvo que pasar por el hecho de ser mu7er 2a los 1( aos quiso entrar en F!CEcole >ol$techniqueF pero no admit#an a mu7eres5 present unos resultados interesantes so/re la teor#a de n6meros, aunque firmando con un so/renom/re de hom/re F8- !e+lancF, consi1uiendo interesar al profesor !a1ran1e primero, quien la introdu7o en su c#rculo de investi1adores, $ posteriormente a 3auss, con quien esta/lecer#a una correspondencia frecuente- >ero fundamentalmente durante todo el si1lo XVIII se tra/a7 en la teor#a de ecuaciones, aunque no fue hasta 1744 cuando el matemtico alemn ?arl ,riedrich 3auss pu/lic la demostracin de que toda ecuacin polinmica tiene al menos una ra# en el plano comple7o, entrando as# el l1e/ra en su etapa moderna- El foco de atencin se traslad a partir de entonces al estudio de la estructura de sistemas matemticos a/stractos, cu$os a%iomas esta/an /asados en el comportamiento de o/7etos matemticos que se ha/#an encontrado al estudiar las ecuaciones polinmicas'= como los n6meros comple7os, los 1rupos, las cuaternas, etc, $ que lle1ar#an a ser de los ms importantes conceptos de las matemticas en el si1lo XIX 2?ei/al, B0075- AEB45ABCA AiDi*e'ia %&&*@EE&i(e!i(e1co(Ee$Eeven&oE9<FGFHEDe$cu"!i(ien&o$IMa&e(&ico$E %&&*@EEJJJ1(a&e(a&ica$1ne&E*a!ai$oE%i$&o!ia1*%*Ki'L$MviiN$Mviii %&&*@EEJJJ1u(1e$E'ocenciaE*%e!!e!oE(a&%i$E(u#e!e$E(u#e!1%&( BIBLIO45ABCA ?aada, 0- 2B0045- ?lculo de variaciones- 3ranada- ?ei/al- 2B0075- Distoria del 9l1e/ra- 8ontevideo- 3umn, 8- de- 214445- 8atemticas I $ II ?J. 20na$a-5- Daro, 8- @- 2B01K5- Introduccin al ?lculo de variaciones para estudiantes de primer curso de In1enier#as- @aso, H- 2B01K5- Distoria de las 8atemticas- 8art#n, 8- 2B00(5- Jr#1enes del ?lculo <iferencial e Inte1ral- 8art#ne, E- 2B00(5- .na /reve introduccin al clculo de variaciones- Zara1oa- 8olero, 8- 2B01B5- 0nlisis 8atemtico para in1enier#a= Ecuaciones diferenciales ordinarias 2pp- KAT[)0A5- 8orata, 0- 2B01B5- Distoria del l1e/ra $ de sus te%tos- 8adrid- *poles, @- 2144(5- El le1ado histrico de las ecuaciones diferenciales ordinarias- +olet#n de 8atemticas, TK[74- Salaar, !- 2B0105- Distoria de la matemtica- Uru7illo-