Documentos de Académico
Documentos de Profesional
Documentos de Cultura
1.1.
Matemticas en Fsica
Como todos sabemos, la Fsica es la ciencia que estudia las leyes que gobiernan
el comportamiento de todo cuanto se conoce (materia, energa, espacio, tiempo, . . . ).
Aunque realmente nadie sabe porqu es as, lo cierto es que, cuando se analizan cuidadosamente, los sistemas fsicos parecen estar regidos por unas leyes matemticas
ms o menos sencillas, (aunque esta ltima apreciacin es algo subjetiva el cumplimiento de las leyes fsicas no lo es), generalmente en forma de ecuaciones diferenciales, o bien ordinarias (para magnitudes dependientes slo del tiempo) o bien en
1
2
ttsrrt
ttrrr
1-1
1-2
1.1.1.
El tipo de objetos matemticos que maneja normalmente un fsico es lo que determina el temario de matemticas que se estudia en fsicas. En este sentido, y resumiendo mucho, se podra decir que las matemticas que se estudia en fsicas estn
orientadas al objetivo de saber resolver ecuaciones diferenciales, tanto ordinarias como en derivadas parciales. El motivo es que en general las leyes fsicas son ecuaciones diferenciales, que expresan cmo cambian con el tiempo las magnitudes fsicas
que describen un sistema concreto. Esto no es tan sorprendente si tenemos en cuenta
que, en general, cualquier ley fsica que exprese un principio de conservacin (p. ej.
de la energa o del momento lineal) para una magnitud descriptible por medio de un
campo (una funcin del espacio y del tiempo) llevar a una relacin que deben cumplir las derivadas de esa funcin respecto de sus variables, es decir, a una ecuacin
diferencial en derivadas parciales, o a una ecuacin diferencial ordinaria si la funcin
considerada slo es funcin del tiempo.
Por ejemplo, las ecuaciones diferenciales ordinarias (EDOs) son fundamentales en
la mecnica de Newton, donde para realizar predicciones debemos resolver la segunda ley de Newton, que es una ecuacin diferencial ordinaria de segundo orden (ya que
las derivadas de mayor orden que incluye son de orden 2)
F =m
d2 r
dt2
(1.1)
1-3
cuya solucin queda determinada de manera nica cuando se conocen las dos condiciones iniciales dadas par la velocidad y posicin inicial del mvil
dr
dt
= v0,
r(t = 0) = r 0
(1.2)
t=0
xi (t = 0) = xi,0 ,
i = 1, 2, . . . , n
(1.3)
Las EDOs con condiciones iniciales (como los ejemplos anteriores) no son las nicas
importantes, tambin son fundamentales las EDOs con condiciones de contorno, que
aparecen, por ejemplo, al resolver una ecuacin diferencial en derivadas parciales por
medio del mtodo de separacin de variables, que ya se estudiar en su momento.
Cuando se manejan magnitudes fsicas que no son slo funciones del tiempo lo
ms habitual es que las leyes fsicas sean ecuaciones diferenciales en derivadas parciales. Las ecuaciones diferenciales en derivadas parciales (EDPs) se han convertido
en el lenguaje bsico de la fsica desde el momento en que aparece el concepto de
campo como herramienta matemtica apropiada para la descripcin de diversas variables fsicas cuyo valor es funcin del espacio y el tiempo (como p. ej. la temperatura
o la velocidad de un fluido, o la intensidad de un campo magntico en una regin en
la que hay cargas en movimiento), o para la descripcin de interacciones a distancia,
como p. ej. las interacciones electromagnticas o la interaccin gravitatoria (de hecho,
el concepto de campo fue introducido por Newton en su ley de gravitacin universal).
Esta situacin se cumple en todas las escalas de la fsica, desde la escala csmica (descrita por las ecuaciones de Einstein) hasta la escala microscpica (descrita
por las ecuaciones de la Mecnica Cuntica, Schrdinger, Klein-Gordon, Boltzmann),
pasando por la escala macroscpica en la que nos movemos nosotros, es decir, la escala que incluye longitudes caractersticas que van desde (pongamos) los milmetros
a (pongamos) los kilmetros, descrita por las ecuaciones de Navier-Stokes. En todas
estas escalas las ecuaciones diferenciales en derivadas parciales son tambin el lenguaje fundamental que permite describir las fuerzas electromagnticas (por medio de
las ecuaciones de Maxwell). Aparte de esto las EDPs son tambin la herramienta fundamental para modelizar fenmenos sencillos que dependen de ms de una variable
(ecuacin de ondas, ecuacin de Laplace, ecuacin de la difusin, . . . ), y tambin
son importantes en disciplinas nuevas de la fsica, como p. ej. el anlisis de imgenes
digitales (tan importante en teledeteccin y en medicina), donde frecuentemente se
plantea una EDP (la ecuacin del flujo ptico) para determinar el movimiento de los
patrones detectados en una secuencia de imgenes. En el transcurso de la carrera
de ciencias fsicas uno ir descubriendo poco a poco muchas de estas leyes fsicas
(algunas de ellas pertenecen a temas ms o menos avanzados, que slo se estudian
en programas de doctorado), su formulacin matemtica precisa, las ecuaciones que
las describen y cmo se resuelven.
El otro factor que determina las matemticas que debe conocer un fsico es la naturaleza de los objetos matemticos a los que se aplican las leyes de la fsica. Tal y como
hemos dicho antes, las variables fsicas normalmente son funciones, a veces slo del
1-4
1-5
1.1.2.
Esto puede parecer una trivialidad pero conviene tener presente que los ordenadores hacen slo tareas sistemticas, tediosas, y las hacen muy rpido, por eso son
tan tiles. En muchos problemas habituales en fsica nos encontramos con que necesitamos realizar una cantidad apreciable de clculos numricos (o de manipulaciones
simblicas), que aparte del volumen de trabajo que representan no ofrecen ninguna
dificultad, ese es el tipo de trabajo que debemos re-dirigir al ordenador. De todas formas, desde el punto de vista del investigador en fsica, el objetivo ltimo de estos
clculos no es solamente encontrar el resultado, la parte fsicamente ms importante
viene despus con la interpretacin fsica del resultado obtenido y la extraccin de
conclusiones que nos permitir hacer predicciones cualitativas correctas para casos
similares sin necesidad de hacer ningn clculo. El objetivo en fsica no es generar una
solucin numrica sino comprenderla, es decir, alcanzar cierto grado de conocimiento
sobre el comportamiento del sistema que se est estudiando.
Por eso no podemos esperar que los ordenadores nos resuelvan todos los problemas. De hecho, normalmente la parte ms difcil de un clculo numrico es plantear
el problema de la manera adecuada, una vez que logramos eso, el resto es fcil. Para
ser capaces de plantear un problema de la manera correcta es necesario tener cierto
grado de conocimiento sobre lo que se est haciendo, sobre lo que significan las ecuaciones que estamos intentando resolver y tambin sobre qu es exactamente lo que
hace el mtodo numrico que estamos empleando. Slo teniendo los conocimientos
1-6
1.2.
Es muy probable que muchos alumnos de esta asignatura sean aficionados (probablemente muy expertos) a los ordenadores y la programacin, para ellos esta asignatura ser, sin duda alguna, muy sencilla. Este apartado est dirigido principalmente
a los que todava no lo son. Para aquellos alumnos que no estn demasiado familiarizados con la programacin vamos a incluir a continuacin algunas indicaciones
generales.
Como es sabido, los ordenadores son mquinas capaces de almacenar y manipular informacin, almacenada en su interior en cdigo binario. Para la manipulacin de
la informacin los ordenadores disponen de un procesador, que puede ser programado
para realizar distintas operaciones. En ltima instancia, el procesador de un ordenador maneja informacin en cdigo binario. A nivel del procesador la informacin est
codificada en una inmensa secuencia de ceros y unos, asignados a unas variables
elementales, dadas por las direcciones de memoria sobre las que opera el procesador, de modo que la actividad del procesador se reduce a mover estos ceros y unos de
unas direcciones de memoria a otras, y a intercambiar sus valores. Resulta obvio que
este nivel fundamental de funcionamiento (denominado bajo nivel) queda muy lejos
del nivel que a nosotros nos resulta inteligible, basado no en ceros y unos, sino en archivos de texto, de audio, de video, programas ejecutables, grficas, comunicaciones,
etc. (este nivel se denomina alto nivel).
El programa que permite al usuario comunicarse con el procesador es el Sistema
Operativo (generalmente programado en lenguaje C). El funcionamiento de un ordenador, el tipo de cosas que podremos hacer con l y la forma de hacerlas, est totalmente
condicionado por el sistema operativo que tenga instalado.
1.2. USO EFICIENTE DE ORDENADORES PARA TRABAJO CIENTFICO. SISTEMA OPERATIVO LIN
1.2.1.
De un ordenador debemos esperar que realice de manera eficiente todas las tareas
que le encarguemos, y nada ms. No deberamos permitir que un ordenador sea una
amenaza para la integridad, e inviolabilidad, de la informacin que depositamos en l.
El ordenador debe trabajar para nosotros, y no al contrario, por este motivo no deberamos permitir que el mantenimiento del ordenador suponga una carga de trabajo
considerable.
Para el tipo de tareas que nos interesan en esta asignatura, la eleccin de Sistema
Operativo ms eficiente, segura y econmica es el sistema operativo (de tipo Unix)
denominado Linux, sin ninguna duda. En sus inicios (hacia principios de los 90) el SO
Linux tena el inconveniente de ser algo ms complicado de usar que otros conocidos
sistemas operativos comerciales. Sin embargo, en la actualidad sucede lo contrario.
La superioridad de los sistemas operativos tipo Unix est fuera de discusin en
la actualidad. Todos los super-ordenadores (vectoriales, clusters, etc.) dedicados a
tareas de clculo exhaustivas en centros de investigacin (o en universidades, etc.)
funcionan con sistemas o bien Unix o bien Linux, concretamente el 88.6 % de los 500
super-ordenadores ms rpidos del mundo usan Linux3 . Los sistemas operativos tipo
Unix, como el Linux son tambin los escogidos en la mayora de los casos para los
servidores que proporcionan conexin a internet a un nmero elevado de usuarios.
Las ventajas del Linux frente a otros sistemas operativos son enormes. Por un lado
el propio SO es gratuito, as como todas las actualizaciones. Adems es completo,
es decir, incluye paquetes para cualquier tarea que queramos hacer con el ordenador, como p. ej. comprimir y descomprimir archivos, escribir documentos de todo tipo,
manipular archivos de audio y video, incluye compiladores para muchos lenguajes de
programacin, entre ellos C, etc., y todos estos paquetes son gratuitos. Otra de las
grandes ventajas es la seguridad. El SO Linux se basa en una jerarqua de permisos y
de usuarios. Para usar el ordenador uno necesita estar registrado como usuario (con
un login y una contrasea o password, y con un determinado directorio de trabajo, que
es el nico sitio en el que tiene permiso de escritura), de modo que un posible atacante
ya se encuentra con dificultades. Para modificar algo que afecte a la configuracin del
aparato uno necesita conectarse como administrador (root). Adems de esto el ordenador mantiene un registro de todas las conexiones realizadas (con xito y fallidas),
de modo que es fcil detectar si se est siendo vctima de un intento de invasin. Pero
aparte de todo esto la mayor ventaja del Linux es la eficiencia con la que emplea los recursos de hardware disponibles (procesador, o procesadores y memoria), adaptndose a- y sacando el mejor partido de- lo que tenga disponible. Para una introduccin algo
ms extensa a este SO se puede consultar ttr.
1.2.2.
El sistema operativo Linux nace en 1991, escrito por Linus Torvalds y publicado
en un servidor de una incipiente Internet. Como sistema operativo, Linux (o Linux 0.1)
era muy bsico: un ncleo (tambin llamado kernel o mquina virtual Linux) y una
serie de herramientas Unix del proyecto GNU. En la actualidad, ambas cosas permanecen, aunque muy mejoradas por infinidad de programadores a lo largo de los aos
3
ttrrss
1-8
Familia
i386
(Intel 386)
x86_64
(Intel x86 de 64
bits)
IA64
(Intel
architecture 64
bits)
ppc
Los modelo ms habituales sern con toda probabilidad los i386. Adems, si se
instala un sistema operativo para i386 en una mquina con procesador x86_64,
aunque no se sacar todo el rendimiento de la misma, el sistema operativo funcionar. No es as para las otras familias de procesadores.
2. Una vez creado el CD de instalacin, y reiniciada la mquina para que arranque
desde el CD/DVD, se carga el sistema operativo Linux. Lo primero que har ste
ser ejecutar un programa que comprueba el tipo de mquina en la que est:
tipo de placa base, el tipo y tamao de disco duro, si hay un teclado y un ratn,
si hay una tarjeta grfica y un monitor, si hay tarjeta de red, etc. Lo primero que
1-12
Tarea
Directorio Ejemplo
Configuracin del
t
tst
sistema (y de las
tttrs
aplicaciones)
Aplicaciones bsicas
s
del SO
Bibliotecas de
s
funciones del SO
s
Aplicaciones para los sr srt
usuarios
sr
Bibliotecas de
sr srs
funciones de las
sr srsrs
aplicaciones para los
usuarios
Datos compartidos
srsr srsr
de las aplicaciones
Datos propios de los
sr
usuarios
El reparto de tareas, hace que cada tarea la realice slo un actor (aplicacin, servicio, biblioteca, archivo de datos) y que las dems se aprovechen de lo bien que lo
hace. Este diseo modular permite mejorar partes sin que haya que cambiar el todo
y es la clave del xito de los sistemas Unix. El sistema operativo se encarga de facilitar la interconexin de aplicaciones, servicios, bibliotecas, y su acceso a archivos de
datos fcilmente accesibles al usuario (o al administrador)8 .
1.3.
1.3.1.
1.3.2.
r rs tr r sst r s
rs rts Prr tr r sst
trt s t sst
tr r sst s sst
ts r t tr r sst
s tr r st
1-14
Para instalar una aplicacin, emplearemos tambin los yum y apt. As, por ejemplo,
si queremos instalar un programa para hacer grficas (plot en Ingls), lo buscaremos
primero con
sr t (Fedora)
t sr t (Debian/Ubuntu)
lo que nos encontrar (entre muchos otros), el paquete gnuplot:
t r trt tt rr
Para instalarlo ordenaremos
st t (Fedora)
tt st t (Debian/Ubuntu)
En ese momento se nos informar de todas las dependencias que tiene este paquete con otros, que se instalarn esos otros adems del gnuplot, que se recomiendan
otros paquetes (como el gnuplot-doc, que contiene la ayuda de la aplicacin), etc. Hecho esto, se tendr la aplicacin instalada. Adems la bsqueda nos habr sugerido
paquetes ayudantes, como
tr rt t Pt
que podremos instalar tambin para facilitarnos el uso de Gnuplot. Cuando seamos
usuarios avanzados, sin embargo, eliminaremos esta aplicacioncita con
r tr (Fedora)
tt r tr (Debian/Ubuntu)
En esa accin, el gestor de paquetes se encargar de no eliminar nada que pueda
afectar a otras aplicaciones (y en caso de que alguna aplicacin utilizara plotdrop
como auxiliar para crear grficas, nos prohibira desinstalarlo. . . sin antes haber desinstalado la otra aplicacin dependiente).
1.4.
Documentacin cientfica: tipos de documentos cientficos, herramientas para generar documentos cientficos (LATEX y LyX)
1.4.1.
1-16
del archivo es slo ver cmo va quedando el documento a medida que lo escribimos, pero no es un formato diseado para transmitir informacin a terceras personas.
Para ello, una vez que hemos finalizado el documento debemos generar el correspondiente archivo en formato , sto puede hacerse usando los mens que existen en
el programa usado para visualizar el archivo (normalmente el r, o el ,
etc., todos ellos gratuitos e incluidos en cualquier distribucin de Linux), o bien desde
la lnea de comandos del Linux, por medio del comando (o del ). Otra
alternativa es compilar el documento con la instruccin
t rt
que genera directamente el documento en , sin necesidad de pasar por el .
Al principio puede parecer que esto es mucho ms complicado que los procesadores de texto habituales, ya que en principio tenemos que aprender algo de cdigo
para poder escribir un documento. Sin embargo, si disponemos de un ejemplo de cdigo fuente en LATEX, que contenga las instrucciones ms habituales, el esfuerzo que
tenemos que realizar para ponernos en marcha es realmente mnimo, y al cabo de
muy poco tiempo el balance entre el tiempo que hemos perdido aprendiendo a usar el
LATEX y el tiempo que hemos ganado, al no tener que pasar horas ajustando detalles
en documentos formateados con procesadores de texto malos, es extremadamente
positivo. De todas formas, existen programas que nos permite generar documentos en
LATEX al estilo de los procesadores de texto tipo WYSIWYG (What You See Is What
You Get) como el OpenOffice, es decir, visualizando el aspecto final del documento
al mismo tiempo que lo escribimos y accediendo a los comandos del procesador de
textos por medio de opciones en mens, sin necesidad de estudiar cdigo LATEX. Un
ejemplo es el LyX, tambin es gratuito y de cdigo abierto y puede instalarse con
cualquier distribucin de Linux. Con el LyX podemos ir generando el documento de
la misma forma a como lo haramos con el OpenOffice, generando las instrucciones
de LATEX que necesitemos por medio de las funciones disponibles en los mens que
aparecen en la parte superior de la ventana del LyX. Con esto podemos generar documentos de la mxima calidad tipogrfica, sin necesidad de estudiar cdigo LATEX. De
todas formas, aunque al principio puede parecer que es mucho lo que uno necesita
estudiar para generar un simple documento, en la prctica el nmero de comandos de
LATEX que se emplean es muy reducido, y cuando uno est familiarizado es algo ms
rpido escribir el cdigo directamente en LATEX que navegar por los mens del LyX,
aunque esto ya es una cuestin de gustos. El LyX est bastante extendido pero no
es el nico procesador de tipo WYSIWYW (What You See Is What You Want) que nos
permite manejar LATEX, otro ejemplo muy extendido es el TEXMACS (tambin gratuito y
de cdigo abierto), que adems puede usarse como front end del programa M AXIMA.
El xito del LATEX se debe a que la calidad tipogrfica y potencia de este sistema
(para manejar documentos extensos y complejos) es muy superior a la de cualquier
otro procesador de textos. Adems este procesador de textos es extremadamente eficiente a la hora de sacar partido de los recursos computacionales disponibles (memoria y velocidad del procesador del ordenador), no es lgico que para escribir un mero
documento con algunas ecuaciones y unas pocas figuras tengamos que comprarnos
un ordenador nuevo cada ao.
En ttr puede encontrarse un resumen sobre
este programa de procesamiento de textos, su historia y ejemplos de uso. En la actualidad este procesador de textos es el empleado para formatear los documentos de
la prctica totalidad de las publicaciones cientficas en los campos de matemticas,
1.4.2.
1-18
con el mundo de la tecnologa donde trabajan fsicos, junto con titulados de otras carreras (incluyendo, informtica, ingeniera, meteorologa, medicina, economa, . . . ). De
todas formas en una carrera como fsicas la investigacin es un referente que constantemente aparece. En particular, aparte de los fsicos que se dedican a la investigacin,
es muy frecuente que los profesionales del mundo de la tecnologa (y tambin de la
docencia) que deseen mantenerse ms o menos al da en su tema de trabajo, se vean
obligados a leer peridicamente diversas publicaciones cientficas, de modo que esperamos que este breve vistazo global al tema de las publicaciones en fsica sea de
inters, a largo plazo, para todos.
Siguiendo los pasos establecidos en el mtodo cientfico el objetivo ltimo de la
investigacin es transmitir los resultados obtenidos, de modo que otros puedan:
a. Reproducirlos y de esta forma verificarlos.
b. Tomarlos como punto de partida en su trabajo.
Esto se realiza por medio de una serie de publicaciones peridicas, de mbito internacional. En la actualidad el lenguaje que se ha impuesto en el mundo de la investigacin
cientfica es el ingls (anlogamente a como sucede en el mundo de la economa), de
modo que para el cientfico es imprescindible ser capaz de manejar esta lengua.
Actualmente existen multitud de publicaciones cientficas. Algunas de ellas son muy
generales (como las prestigiosas revistas Nature o Science), donde se publican artculos que pueden ser de inters para muchos campos cientficos distintos (fsica, biologa, medicina, . . . ). En un siguiente nivel de especificidad nos encontramos con revistas todava de carcter general, pero que ya afectan a un nico campo cientfico (p. ej.
en fsica son especialmente conocidas las publicaciones Reviews of Modern Physics
y Physical Review Letters, editadas por la American Physical Society). A continuacin
nos encontramos con revistas especializadas en un tema en particular (p. ej. Journal
of Fluid Mechanics) e incluso altamente especializadas en temas muy especficos (p.
ej. Journal of Non-Newtonian Fluid Mechanics).
Normalmente los artculos publicados en revistas muy especializadas estn dirigidos a un pblico experto en esa materia. En estas publicaciones se da por sentado que
el lector posee un conocimiento profundo de los detalles particulares del tema de que
se trate, de modo que el autor suele centrarse en los aspectos ms relevantes de lo
que ha sido su aportacin al estado del conocimiento del tema (denominado habitualmente estado del arte). Si a esto sumamos que los editores de estas revistas suelen
imponer lmites ms o menos estrictos en la extensin de cada artculo, encontramos
que al final estas publicaciones slo estn al alcance de los que trabajan en ese tema.
En las revistas ms generalistas, en cambio, las publicaciones estn dirigidas a un
pblico ms amplio, centrndose los trabajos en las implicaciones y consecuencias de
la investigacin realizada desde un punto de vista amplio, dejando de lado los detalles
tcnicos.
Una vez dentro de un tema de investigacin especfico existen dos tipos de artculos de investigacin. Por un lado estn los artculos, digamos normales, en los que un
grupo publica una aportacin puntual concreta y por otro los artculos de revisin del
estado del arte en los que un autor de reconocido prestigio (con una larga trayectoria
de investigacin a sus espaldas) realiza una puesta al da sobre la investigacin en un
tema en concreto. Los artculos de investigacin normales suelen tener una extensin
que va desde unas pocas pginas a unas pocas decenas de pginas, normalmente
1-20
autores, por revistas, etc.). As mismo cada publicacin mostrada por este portal contiene enlaces virtuales a las publicaciones a las que cita y tambin a las publicaciones
posteriores que citan a sta, lo cual es extremadamente til. Gracias a las herramientas de bsqueda que este portal de internet proporciona es muy sencillo mantenerse
al da con lo que se publica en un tema y, cuando uno sabe qu es lo que busca, es
muy sencillo encontrarlo.
1.4.3.
Part I