¿Cómo saben los coches cuántos kilómetros puedes hacer con la gasolina que te queda?

Panel de mandos de un coche

Car Dashboard by Albert Lynn(CC BY-NC-ND 2.0)

Respuesta corta: Ajustando modelos de eficiencia a datos de consumo

Para la respuesta larga debería explicar que es eso de “ajustar modelos a datos”. Típicamente en física y en ingeniería uno cuenta con una serie de datos (en nuestro caso, cuántos litros hemos utilizado en una cierta distancia) y desarrolla un modelo teórico que pueda describir las observaciones que ya están hechas y predecir resultados en situaciones en las que todavía no tenemos datos. Por ejemplo, cuando uno va en un coche que tiene esta opción, uno no ha recorrido todavía la distancia que esta marcada y, sin embargo, el coche es capaz de predecir cuánta distancia podrá hacer con el combustible que le queda. Continue reading

La ecuación de Burgers

En este blog sabéis que periódicamente ponemos entradas de física, o mejor aún, de cómo las matemáticas se utilizan para explicar cosas de física (ver por ejemplo ésta, ésta y ésta otra entrada). La que colgamos hoy es de esas. Además ésta estaba pendiente porque en una entrada sobre varios modelos de las ecuaciones de Euler dije que iba a escribir sobre la ecuación de Burgers. Pues bien, aquí está.

La ecuación de Burgers no viscosa (que toma su nombre de J.M. Burgers) se escribe de la siguiente manera

\partial_t u(x,t)+u(x,t)\partial_x u(x,t)=0,\;\; u(x,0)=f(x)\;\;\quad (1).

Se trata de una ecuación de primer orden no lineal y suele ser el primer ejemplo de ecuación no lineal que se pone en los libros de texto (para una lectura rápida sobre las propiedades de algunas ecuaciones en derivadas parciales sencillas leed esto). Se trata además de la primera ecuación que surge de manera natural cuando uno quiere entender las ecuaciones de Euler y también “refleja” (más o menos) el comportamiento de una ola (ver un artículo reciente sobre este tipo de ecuaciones aquí).

Si pasamos esquivando el cuestión de la existencia o no de solución para dicho problema (1) y directamente suponemos que existe tal solución y que además es una función “suave”, i.e., con tantas derivadas como nos hagan falta, podemos obtener una propiedad importante de manera muy sencilla. Supongamos que tenemos una solución u(x,t) que tiene, al menos, dos derivadas en x, y supongamos además que dicha solución se va muy rápido a cero cuando |x| se hace muy grande. Dicha solución tendrá un mínimo (o ínfimo), y un máximo (o supremo) y sus posiciones dependerán del tiempo. Como la función tiende a cero en el infinito estos valores se alcanzan (es decir, no son ínfimos/supremos). Denotemos el punto donde u(x,t) alcanza su mínimo como x_t y el punto donde u(x,t) alcanza su máximo como X_t. Por lo tanto, fijo t,

u(x_t,t)=\min_x \{u(x,t)\},

y

u(X_t,t)=\max_x \{u(x,t)\}.
En estos puntos la ecuación queda
\partial_t u(X_t,t)+u(X_t,t)\partial_x u(X_t,t)=\partial_t u(X_t,t)=0,

y

\partial_t u(x_t,t)+u(x_t,t)\partial_x u(x_t,t)=\partial_t u(x_t,t)=0,

y obtenemos que tanto el máximo como el mínimo del dato inicial se conservan,

\max_x u(x,t)=\max_x f(x),

y

\min_x u(x,t)=\min_x f(x).

Si ahora repetimos el argumento para la evolución de \min_x \partial_x u obtenemos, si x_t es el punto de mínimo, la siguiente ecuación

\partial_t \partial_x u(x_t,t)+(\partial_x u(x_t,t))^2=0.\quad (2)

Ahora observamos que (2) es una EDO que se puede resolver explícitamente (¿sabrías cómo hacerlo?)

y tenemos que, si 0<t=-\min_x \partial_x f(x), |\partial_x u(x_t,t)|=\infty.

Veamos unas simulaciones para entender bien lo que pasa aquí:

Esto es un ejemplo de singularidad. Tampoco debería sorprendernos, pues esta ecuación aparece relacionada con olas y parece reflejar el hecho de que las olas “rompen”.

¿Qué pasa si ahora añadimos una pequeña viscosidad con la forma de un laplaciano? (Esta difusión puede generalizarse, por ejemplo como en [2])

\partial_t u(x,t)+u(x,t)\partial_x u(x,t)=\nu \partial_x^2 u(x,t),\;\; u(x,0)=f(x)\;\;\quad (2).

Esta ecuación se conoce como Ecuación de Burgers viscosa y puede entenderse como un modelo (en realidad una caricatura) de la ecuación de Navier-Stokes. Bueno, ahora la cuenta anterior no es tan sencilla, porque el término difusivo, el laplaciano, tiene signo “bueno”, es decir, se opone a los crecimientos descontrolados como los que se veían en el vídeo anterior. De hecho, usando la transformación de Cole-Hopf (ver aquí) se puede ver que esta ecuación tiene existencia global para cualquier valor de \nu.

De esta manera, el vídeo ahora es

–Referencias:

1) Vincent Duchene, “Decoupled and unidirectional asymptotic models for the propagation of internal waves”, preprint Arxiv, http://arxiv.org/abs/1208.6394.

2) RGB y José Manuel Moreno, “La ecuación de Burgers como un paso previo al estudio de los fluidos incompresibles”, La Gaceta de la RSME, vol 15, num 3, pag, 489-512, 2012. ArXiv preprint http://arxiv.org/abs/1105.5990.

–Nota: Como lo de aproximar soluciones de EDPs es algo muy útil, dedicaremos una entrada próximamente a un método sencillo que produce muy buenos resultados.

Modelizando el ala de un avión

Voy a tratar de explicar un modelo de cómo se comporta el aire (o en general un fluido), considerando que es incompresible.

Las ecuaciones de Navier-Stokes son la segunda ley de Newton (F=ma) para el caso de los medios continuos. Estas ecuaciones son parabólicas de orden 2. Las incógnitas son la presión y el campo de velocidades. La presión nos refleja una fuerza interna entre las partículas del fluido. Hay un término, el laplaciano, que nos refleja la difusión que viene del roce entre las partículas producido por la viscosidad. Lo ‘malo’ que tienen es que son muy, muy difíciles. En un caso simplificado son uno de los problemas del milenio, esos que si resuelves te pagan un millón de dólares de los EEUU. Para poder manejarse en estos temas se hacen más o menos hipótesis que nos simplifican mucho la vida, pero ¿hasta dónde estamos perdiendo en verosimilitud?.

Hay varias maneras de simplificar las ecuaciones, y las que he explicado arriba no son las más generales pues también se podrían considerar la temperatura, la densidad… como incógnitas. La primera manera es decir que tu fluido no es viscoso, en cuyo caso tus ecuaciones son hiperbólicas de orden uno. Se llaman ecuaciones de Euler. Estas también son muy complicadas y tampoco se conoce solución. No son un problema del milenio, pero si que darán la gloria al que lo saque. No son estas las ecuaciones de las que voy a hablar, sino otras más sencillas.

Voy a suponer que la temperatura es constante, así como la densidad. Además nuestro fluido es no viscoso, estacionario, es decir que no cambia con el tiempo. Supongamos también que nuestro fluido se mueve en dos dimensiones solamente, entonces podemos encontrar otra función, determinada de forma única por la primera que nos dará las trayectorias del fluido. Notaremos esta función por \Psi. En este caso todo es muchísimo más sencillo. Estamos hablando de flujos potenciales. En estos la velocidad viene dada como el gradiente de una cierta función incógnita, \Phi, por lo que podemos pasar de un sistema a una sola ecuación.

Además es una ecuación muy sencillita. Definimos la circulación como la integral a lo largo de nuestro perfil (el ala del avión) de la velocidad. Es lo mismo que integrar el rotacional de la velocidad en el interior del ala. Entonces podemos demostrar que sólo hay sustentación si la circulación es distinta de cero. Pero, con las hipótesis que hemos hecho, si añadimos que el aire muy lejos del perfil no haga remolinos, entonces tenemos que la circulación será cero, pues esta sólo puede moverse, no aparecer si antes no había (estamos en 2D y no hay viscosidad).

También podemos darnos cuenta de la paradoja de D’Alembert, que dice que en un fluido potencial y estacionario no hay resistencia aerodinámica.

Esto es bastante contradictorio con lo que vemos día a día, que los aviones vuelan y que si vamos contra el viento nos cuesta más.

La solución a estas paradojas es que nuestro fluido no es potencial, por lo menos no lo es en algunas zonas. Un fluido potencial no puede desarrollar turbulencia, y en el caso de la resistencia aerodinámica, es ésta la culpable de que nos cueste más (junto con la viscosidad). Pasa lo mismo con la sustentación. Para que haya sustentación, la circulación ha de ser distinta de cero.

Para avanzar en la comprensión de estos fenómenos hemos de separar el fluido en trozos, un trozo externo, donde podríamos habla de flujo potencial, y un flujo cercano al objeto inmerso en el fluido (el ala) y la parte de atrás de este donde los efectos de la viscosidad hacen que la vorticidad cambie localmente y tengamos circulación y turbulencias. Esto es el fenómeno de capa límite, que dice que lo que pasa es que los efectos de la viscosidad hay que contarlos en una zona muy pequeña alrededor del perfil y en la estela (zona de capa límite desprendida). Para ver unos dibujos dejo las soluciones calculadas con FREEfem++ en ambos casos (viscoso y potencial) y considerando un perfil circular.

Sobre las singularidades en Euler y la conjetura de Onsager

Hace algún tiempo escribíamos (ver aquí) sobre un modelo de las ecuaciones de Euler en 3d. La historia de este artículo acabó pronto porque había un error y lo retiraron. Hoy ha aparecido un artículo en Arxiv donde afirman que

A class of singular 3D-velocity vector fields of finite energy is constructed which satisfy the incompressible 3D-Euler equation. It is shown that such a solution scheme does not exist in dimension 2. The solutions constructed are smooth up to finite time where they become singular.

Es decir, afirman haber conseguido soluciones de Euler 3D que son suaves hasta un tiempo finito donde se vuelven singulares. Esto es un teoremazo de ser cierto. Sin embargo, al abrir interesado el artículo empiezan las dudas. El argumento parece ser considerar una familia de soluciones dada por

v_i(x,t)=\frac{f_i(x)}{t-1},

y ver qué han de satisfacer dichas f_i(x) para que v satisfaga las ecuaciones de Euler. Observamos que para esta familia se tiene que

\int_{\mathbb{R}^3}|v(x,t)|^2dx=(t-1)^{-2}\int_{\mathbb{R}^3}|f(x)|^2dx\rightarrow \infty\text{ as }t\rightarrow1. \quad (1)

Aquí es donde entra la conjetura de Onsager. Dicha conjetura dice que si v es un campo de velocidades suficientemente regular (más regular que Hölder-1/3) entonces la norma L^2 (que es la cantidad descrita anteriormente en (1)) se conserva. Si no

”…in three dimensions a mechanism for complete dissipation of all kinetic energy, even without the aid of viscosity, is available.” Lars Onsager

Se sabe que si la solución es regular conserva la energía, (es un artículo de Constantin, E y Titi de los años 90) mientras que un reciente artículo de C. De Lellis y L. Székelyhidi Jr. se prueba que existen soluciones Hölder-1/10 que no conservan la energía cinética (ver (1)).

Es decir, o a mí se me está escapando algo o (1) es incompatible con lo que se conoce.

–Nota: Con esta entrada participamos en el Carnaval de Matemáticas en su edición 26, organizado esta vez por ZTFNews.

Problemas de frontera “no-tan-libre” en dinámica de fluidos: las diferencias

En esta entrada tratamos de presentar de manera sencilla la siguiente pregunta

¿Cómo de importante es el lecho marino para las olas en la superficie?

Así tenemos que estudiar el problema de la evolución de la interfase entre dos fluidos cuando dichos fluidos se encuentran en un medio poroso acotado y, tras hacer unas simulaciones para ver por dónde iban los tiros, dimos los primeros pasos en el estudio matemático del problema. Sin embargo, pese a que en las simulaciones observamos grandes diferencias en los primeros resultados matemáticamente rigurosos no capturamos esos fenómenos.

La primera pregunta que nos hacemos es ¿cuál es la evolución de la amplitud máxima de la ola? Para ellos lo que hacemos es estudiar

Lo que conseguimos probar es

o, lo que es lo mismo, que la amplitud no puede crecer con el tiempo. Este resultado es idéntico al caso donde la profundidad es infinita. Sin embargo en las simulaciones habíamos visto que las diferencias a este nivel eran grandes:

Lo que ocurre es que la velocidad a la que cae la amplitud es distinta. En el caso de profundidad infinita tenemos

donde f_0(x)=f(x,0) es la ola inicial. En el caso de un medio acotado la amplitud evoluciona según

Así hemos obtenido la primera diferencia importante: la interfase en el caso de profundidad finita decae más despacio. 

Ahora cabe preguntarse ¿cómo evoluciona \max_x|\partial_x f(x,t)|? Esta cantidad nos da una idea de cómo es la longitud de onda. Sabemos que en el caso donde el medio no está acotado se tiene que

si \max_x|\partial_x f(x,0)|<1 entonces \max_x|\partial_x f(x,t)|<\max_x|\partial_x f(x,0)|\;\; \forall t>0.

En el caso de que el medio tenga profundidad finita tenemos una condición (razonablemente complicada y que escribiremos F) que involucra no sólo a \max_x|\partial_x f(x,0)| si no también a \max_x|f(x,0)|:

si F(\max_x|\partial_x f(x,0)|,\max_x|f(x,0)|)\leq 0 entonces \max_x|\partial_x f(x,t)|\leq\max_x|\partial_x f(x,0)|\;\; \forall t>0.

Una consecuencia de esto es que si esa condición se satisface y entonces tenemos una cota superior para \max_x|\partial_x f(x,t)| y por lo tanto la ola no puede romper.

Bueno, ahora que sabemos cuándo la interfase no rompe cabe preguntarse si hay alguna situación en la que la interfase rompa. Y efectivamente obtenemos que hay datos tales que pasa lo siguiente:

Es más, podemos probar mediante una prueba asistida con ordenador, que existen datos iniciales tales que sólo rompen cuando la profundidad es finita. Es decir, que el fondo ayuda a que las olas rompan. Y si bien hemos probado estos teoremas en el caso de fluidos moviéndose en un medio poroso estos dos últimos resultados se pueden probar gratis para el caso de las water waves, i.e. la interfase entre un fluido incompresible e irrotacional siguiendo las ecuaciones de Euler y el aire.

–Referencias:

D. Córdoba, RGB, R.Orive, The confined Muskat problem: differences with the deep water regime.

–Nota: Con esta entrada participamos en el Carnaval de Matemáticas en su edición 26, organizado esta vez por ZTFNews.

–Nota 2: Con esta entrada participamos también en el Carnaval de Física en su edición XXXIV que organiza Hablando de Ciencia.

Problemas de frontera “no-tan-libre” en dinámica de fluidos: primeros pasos

Decía el señor Swett Marden que

“Un guijarro en el lecho de un pobre arroyuelo puede mudar el curso de un río”.

Parece una exageración y sin duda lo es, pero sirve para que nos hagamos la siguiente pregunta:

¿Cómo de importante es el lecho marino para las olas en la superficie?

Ésta es la pregunta que tratamos de contestar en este artículo. El problema que queremos entender es, dados dos fluidos incompresibles en un medio poroso acotado, ¿cómo se comporta la interfase entre ambos y que diferencias presenta con el caso en el que el medio no esta acotado? Bueno, vamos a trasladar ese problema físico a ecuaciones en derivadas parciales. Tenemos una densidad que presenta dos valores según estemos por encima o por debajo de la interfase, que denotamos por ,

Que los fluidos sean incompresibles y se muevan en un medio poroso acotado quiere decir que el dominio espacial de los fluidos es 

y que la velocidad satisface la Ley de Darcy y la condición de incompresibilidad

Estas ecuaciones se puede trasladar a una única ecuación para la interfase:

Ahora que tenemos el problema cabe preguntarnos si el hecho de que el dominio sea S y no \mathbb{R}^2 cambia mucho la situación. Para hacernos una idea podemos hacer unas simulaciones numéricas preliminares. Para ello consideramos un dato inicial y lo hacemos evolucionar en el caso donde el medio tiene profundidad finita (caso acotado) y también en el caso en el que el medio tiene una profundidad infinita (caso no acotado). Por supuesto el resto de los parámetros físicos son los mismos en ambas evoluciones. Así observamos lo siguiente

(Si no ves bien las imágenes pincha en ellas para hacerlas más grandes)

Parece claro a la vista de estos resultados que el hecho de que el medio esté acotado o no es relevante para las olas.

Una vez que tenemos el problema propuesto tenemos que empezar a sacar teoremas :-P. Evitando tecnicismos lo primero que probamos es

1) (Existencia y unicidad) que si el fluido de arriba es más ligero que el que está abajo el problema tiene una solución.

1.b) (Existencia y unicidad 2) que si el fluido de arriba es más pesado que el de abajo pero la interfase inicial es analítica existe una solución.

2) (Efecto regularizante) que dicha solución se vuelve muy regular (analítica) para cualquier t>0 (compárese con la ecuación del calor aquí.)

De momento estos 3 teoremas son idénticos en su enunciado a los teoremas cuando la profundidad es infinita. ¿Sorprendido? Bueno, esto sólo quiere decir que para probar matemáticamente las diferencias que hemos visto en los vídeos y las imágenes anteriores tenemos que trabajar un poco más, así que sed pacientes y esperad a la siguiente entrada ;-).

Bueno, si os veis muy impacientes podéis leer (o, en su caso, releer) ésta, ésta y esta entrada.

–Referencias:

D. Córdoba, RGB, R.Orive, The confined Muskat problem: differences with the deep water regime.

–Nota: Con esta entrada participamos en el Carnaval de Matemáticas en su edición 26, organizado esta vez por ZTFNews.

–Nota 2: Con esta entrada participamos también en el Carnaval de Física en su edición XXXIV que organiza Hablando de Ciencia.

Las “singulares” ecuaciones de los fluidos

Recientemente ha salido en Arxiv un artículo, de Thomas Hou y Zhen Lei, donde prueban singularidades para un modelo de las ecuaciones de Euler incompresibles tridimensionales. Este no es uno de los problemas del milenio, pero está íntimamente relacionado con uno de ellos. Me refiero al problema de la existencia de singularidades en las ecuaciones de Navier-Stokes incompresibles.

Las ecuaciones de Euler incompresibles representan las velocidades de un fluido incompresible y no viscoso. Podemos pensar en agua. Las ecuaciones de Navier-Stokes incompresibles representan las velocidades de un fluido incompresible y viscoso. Por lo tanto están más cerca de captar la realidad.

Veamos este video:

Durante los primeros segundos salen en pantalla un par de recipientes con dos fluidos distintos. Pues bien, las ecuaciones de Euler son una aproximación correcta al fluido de la izquierda, mientras que no lo son para el de la derecha debido a la enorme viscosidad que tiene. En este otro vídeo vemos otro efecto de la viscosidad: el fluido verde se “pega” al fondo del vaso.

Ahora bien, ¿qué significa que haya una singularidad en las ecuaciones de Euler? Bueno, estas ecuaciones (en el caso de un fluido homogéneo) son:

a) la conservación de momento: (3 ecuaciones)

b) la condición de incompresibilidad: (1 ecuación)

donde \nabla=(\partial_{x},\partial_y,\partial_z) y \vec{u}=(u_1,u_2,u_3).

Viendo que el operador \nabla y \partial_t son derivadas un primer significado de la ecuación está claro: un campo de vectores \vec{u} es solución de las ecuaciones de Euler incompresibles cuando sus derivadas satisfacen las ecuaciones anteriores en cada punto (x,y,z) del espacio para todo tiempo t.

Así, diremos que hay una singularidad cuando alguna o varias de estas derivadas no exista para algún punto del espacio (x,y,z) en algún tiempo tPor ejemplo, podemos pensar en la función |x| que no tiene derivada en el punto x=0.

Pues bien, la existencia de singularidades (o su inexistencia) es un tema central desde el punto de vista matemático y físico porque es crucial a la hora de derivar el modelo. Es decir, si no hubiese una solución para todo tiempo entonces es que las hipótesis de las que se derivan las ecuaciones NO se satisfacen y, por lo tanto, las ecuaciones no tienen sentido físico. Visto así, casi es un alivio, porque, o sabemos resolver las ecuaciones para todo tiempo o no tenemos que hacerlo.

Para acabar con esta entrada voy a dejar un enlace a una entrada previa sobre el resultado de Ángel Castro, Diego Córdoba, Charles Fefferman, Francisco Gancedo y Javier Gómez sobre las singularidades en las olas (observad que el agua en una ola sigue las ecuaciones de Euler). Estas singularidades en la superficie no son del mismo tipo de las comentadas en la entrada y por eso no las mencionamos más.

Probablemente, si saco algo de tiempo, escribiré alguna entrada sobre el modelo de Euler más sencillo que conozco, la ecuación de Burgers.

Nota: Esta entrada participa en el Carnaval de Matemáticas en su edición 3.141, que organiza el blog Desequilibrios.

¿Goles? No, ecuaciones

Para los que sigan la liga los goles de Cristiano Ronaldo serán geniales, pero para los que sigan la liga y además sepan de física sus goles, además de extraordinarios, parecen ser una consecuencia más del “efecto Magnus“. Yo, que ni sigo los goles ni sé de física, no tenía ni idea de lo que era el “efecto Magnus” has que hace unos días aparecieron dos periodistas de la agencia EFE en el CSIC para preguntar a qué era debido que CR7 marque esos golazos.

He dicho que los goles “parecen ser” consecuencia del efecto Magnus porque hay división de opiniones (pero la parte final del debate me la he perdido al subirme a mi despacho).

El susodicho efecto Magnus lo que viene a ser es una diferencia de presiones inducida por el giro de la pelota en el fluido. Veamos ésto un poco más despacio. Primero tenemos que la pelota gira en el fluido, por lo tanto, la velocidad “aparente” para la pelota (es decir, en el sistema de referencia de la pelota) la velocidad del viento es mayor por un lado que por otro. Esto es así porque la pelota al girar “empuja” el aire colindante, y la mitad de la bola va a favor del viento y la otra mitad en contra.

Una vez que tenemos la diferencia de velocidades, vamos a usar la Ley de Bernoulli. Si asumimos válida esta ley entonces una diferencia de velocidades se traduce en una diferencia de presiones. Y esta diferencia de presiones redunda en una diferencia neta de fuerzas que hace que la pelota trace una curva y, con un poco de suerte, sorprenda al portero.

–Nota: ¿Creéis que si en el CSIC nos dedicamos a estudiar cómo golpean el balón los diferentes futbolistas dejarán de recortar en ciencia?

–Nota 2: Ésta explicación que he dado yo es mala y torpe en comparación con la que nos ha dado Daniel Peralta en el CSIC.

Integradores variacionales (Marca ACME) por Fernando Jiménez

Una de las mayores desgracias que sufren los matemáticos, físicos, ingenieros y otros científicos que se ocupan de estudiar la naturaleza desde un punto de vista cuantitativo, es la de no saber resolver (en algunos casos) las ecuaciones diferenciales que esa misma naturaleza, con un poco de mala leche, les plantea. Probablemente esta afirmación no es la mejor publicidad para la ciencia y quienes la practican (… ¡que no saben resolver las ecuaciones!…, pensarán algunos imaginándose un avión en caída libre) aunque, quizá, la dificultad de encontrar dichas soluciones en términos de funciones elementales les proporcione cierto cuartelillo. De hecho, ese cuartelillo no tarda en llegar cuando se presentan ciertos antecedentes al gran público. La reacción de la hermana filóloga de un amigo que se dedica a la física de cuerdas viene bastante al caso: ¡pero cómo van a encontrar la solución!, ¿acaso has visto sus hojas? -le dijo a su madre, mientras discutíamos todos juntos el asunto, refiriéndose a las notas de su hermano. La solución analítica de las ecuaciones diferenciales es por tanto como un ciervo blanco. Pero, ¿quién la necesita cuando se puede encontrar una buena aproximación?

El Análisis es la rama de las matemáticas que se encarga, entre otras cosas, de demostrar que la solución de las ecuaciones diferenciales existe (lo que, aunque los científicos aplicados no lo crean, resulta un gran alivio), mientras que el Análisis Numérico, entre otras cosas, se ocupa de encontrar aproximaciones de esas esquivas soluciones, que llamaremos integradores, y de estudiar sus propiedades.  Las ecuaciones de la física clásica tienen carácter diferencial y se obtienen a partir de la acción de un sistema dado (integral de la función lagrangiana) a partir de principios variacionales (para entradas anteriores sobre este tema ver aquí, aquí o aquí). Se puede probar la existencia de las soluciones a dichas ecuaciones, aunque en muchos casos, sobre todo en los más complejos (que suelen coincidir con los de mayor interés práctico) no sabemos encontrarlas. ¿Debemos encogernos en un rincón y ponernos a llorar? ¡Ni mucho menos! Como se menciona antes, el Análisis Numérico nos echa una mano con sus integradores.

Por otro lado, desde la mitad del siglo pasado se han introducido métodos topológicos y geométricos en el estudio de las ecuaciones diferenciales, en especial de aquellas que provienen de la física y que están relacionadas con sistemas mecánicos (desde los más simples, como puede ser un péndulo o una bolita deslizándose plano abajo, hasta los más complejos, como puede ser el Sistema Solar). Este nuevo campo de investigación que reformula la Mecánica Clásica en lenguaje geométrico se llama actualmente Mecánica Geométrica, y nos enseña interesantes propiedades de las soluciones a las ecuaciones mecánicas. Habitualmente, estas propiedades están relacionadas con la preservación de alguna cantidad geométrica. Ejemplos son la forma simpléctica, cuyo nombre asusta pero que está conectada de una forma más pedestre con el volumen del sistema bajo estudio, o las aplicaciones momento, inquietantes objetos en íntima relación con la simetría de las funciones lagrangiana o hamiltoniana y que nos dan información sobre los invariantes del sistema y parte de su comportamiento (por ejemplo, el hecho de que las órbitas de los planetas estén contenidas en un plano puede explicarse de forma sencilla diciendo que el momento angular de dicho planeta se conserva). El concepto de simetría tiene gran importancia en las matemáticas y física modernas, sobre todo a nivel cuántico. Su vínculo con la preservación de cantidades geométricas, cantidades que en algunos casos tienen una interpretación física reconocible, se encapsula en uno de los hitos más importantes de las matemáticas del siglo XX: el teorema de Noether.

Todo lo anterior está perfectamente formalizado cuando pensamos en las soluciones exactas a las ecuaciones diferenciales (que sabemos que existen). A nivel práctico… ¿qué pasa cuando no sabemos encontrarlas? ¿Nos echamos a llorar de nuevo? ¿Tienen nuestros útiles integradores las mismas propiedades? ¿Preservan a nivel numérico las mismas cantidades que sus contrapartes exactas preservan a nivel continuo? El área de las matemáticas que se encarga de responder a estas preguntas a nivel geométrico es la Mecánica Discreta, área relativamente moderna y en plena ebullición. La respuesta suele ser positiva, bajo ciertas condiciones, lo que nos ofrece una bonita simetría especular entre el mundo de las soluciones exactas y el mundo de los integradores. ¿Hay alguna forma variacional de obtener dichos integradores, tal y como ocurre con las ecuaciones continuas de la física? De nuevo la respuesta es sí, lo que da lugar a uno de los objetos más interesantes y más prácticos dentro de la Mecánica Discreta: los integradores variacionales. La última pregunta suele ser la más peliaguda: ¿son realmente mejores, en algún sentido, los integradores con propiedades geométricos que aquéllos que no las tienen? Pensándolo fríamente, a la hora de simular un sistema mediante un integrador, lo que uno pretende es que dicho integrador sea eficiente, robusto, preciso (es decir, que se aproxime a la solución exacta lo máximo posible) y que sea fácil de traducir en algoritmos comprensibles por un ordenador. Bajo estas consideraciones se puede decir que los integradores geométricos, en concreto los variacionales, no son mejores ni peores que los demás. Lo que sí se comprueba es que algunos de ellos, en concreto los que preservan la forma simpléctica, presentan gran robustez cuando se hacen simulaciones a tiempos largos (son simplécticos, por ejemplo, los integradores empleados en las simulaciones del Sistema Solar).

Lo que sí se puede concluir en cualquier caso, es que tanto el Análisis Numérico como cualquiera de sus estribaciones geométricas, ya sea en forma de Integración Geométrica o Mecánica Discreta, no son áreas menores de las matemáticas o una forma humilde de capitular ante la incapacidad de encontrar soluciones analíticas a ciertas ecuaciones. Todo lo contrario, son ramas poderosas, intrigantes y de gran utilidad práctica, que nos proporcionan lo que la mayoría de las veces resulta más inteligente: una forma de encontrar una solución alternativa y aproximada a un problema demasiado difícil. O en otras palabras: una forma de avanzar en lugar de quedarse paralizado.

–Nota: Esta entrada la ha escrito Fernando Jiménez.

Saltamontes en los Pirineos o por qué un biólogo necesita las matemáticas

En esta entrada hacemos una breve revisión de un tema que nos parece muy interesante: el efecto que tiene la bacteria wolbachia en unas subespecies particulares de saltamontes, Chorthippus parallelus parallelus y Chorthippus parallelus erythropus. La distribución de estos animalejos se solapa en los Pirineos, donde forman una zona híbrida (ZH), es decir, una región donde individuos de las dos subespecies se encuentran, se cruzan y dan lugar a descendencia híbrida, en aquellos puntos en los que la orografía y sus requerimientos ecológicos lo permiten. Esta ZH responde a un contacto secundario entre poblaciones endémicas ibéricas (Cpe) y de la Europa continental (Cpp), que se expandieron después de la última glaciación desde aquellos refugios en los que habían divergido genéticamente en alopatría, esto es, especiación por aislamiento geográfico.

Las diferencias morfológicas, fisiológicas, genéticas y de comportamiento entre estas subespecies (y sus híbridos naturales y de laboratorio) han sido intensamente estudiadas en estos últimos años, por lo que esta ZH se considera un modelo singular en Biología Evolutiva (Bella et al., 2010). Estos estudios muestran un escenario complejo, con un número considerable de causas involucradas en el origen, estructura y mantenimiento de dicha ZH y ofrecen una muy buena panorámica de la evolución “en acción”. ¡Por esto es importante e interesante!

 Por otra parte, Wolbachia es una bacteria endosimbionte obligada (esto es, sin palabras de brujo, que vive exclusivamente en el interior de las células del insecto al que infecta) que induce alteraciones en la reproducción de diversos organismos, fundamentalmente artrópodos y nematodos. Esta bacteria induce, por ejemplo, feminización de los machos o incluso su muerte selectiva. También producen incompatibilidad citoplasmática que consiste en la incapacidad de un macho infectado de tener descendencia con una hembra que no esté infectada (Serbus et al., 2008). Esto condiciona los cruzamientos entre poblaciones infectadas en distintos grado por esta bacteria, lo que se ha planteado como un posible ejemplo de “especiación por infección” (Wade, 2001).

En estudios previos hemos profundizado en la Biología de este microrganismo y hemos comprobado que en la ZH de Chorthippus genera una barrera reproductiva considerable (Zabal-aguirre et al., 2010; Bella et al., 2010), lo que apunta a que, efectivamente, esta bacteria puede promover fenómenos de especiación.

Debido a su peculiar forma de transmisión, de madres a hijos, la dinámica de la infección por Wolbachia es compleja. A su vez la forma por la cual la infección pueda condicionar los cruzamientos que se producen en una población y sus repercusiones a largo plazo son dificiles de estudiar en el laboratorio. Más aun en condiciones naturales. Es por esto. que la infección por Wolbachia ha sido modelizada matemáticamente (¡aquí aparece la caballería!) con el fin de conocer hasta qué punto esta bacteria influye en las poblaciones a las que infecta (Turelli et al., 1994; Telschow et al., 2005; 2007; Vautrin et al., 2007). 

Bien, hasta aquí el tema y la historia que hay detrás, pero ¿qué hemos hecho nosotros? Pues hemos continuando con los estudios de Vautrin et al. (2007),  implementando una variante de este modelo para analizar (i) cómo podría evolucionar la infección por Wolbachia en una población modelo de Chorthippus parallelus y por otra parte (ii) cómo influirían algunas variables ambientales, por ejemplo la temperatura, en la dinámica de la infección. Nuestro modelo sigue el siguiente esquema 

Como nos está quedando un poco largo ya, vamos a concluir con la referencia del trabajo por si alguien está interesado en abundar más:

Wolbachia infection in Chorthippus parallelus: Intra-generational frequency variation, P. Martínez-Rodríguez, R. Granero-Belinchón, F Arroyo-Yebras y J.L. Bella. (aquí hay un poster sobre este tema).

Referencias:

  1. Bella JL, Martínez-Rodríguez P, Arroyo-Yebras F, Bernal A, Sarasa J, Fernández-Calvín B, Mason PL & Zabal-Aguirre M. 2010. Wolbachia infection in the Chorthippus parallelus hybrid zone: evidence for its role as a reproductive barrier. Journal of Orthoptera Research 19 (2): 205-212
  2. Hewitt G. 2000. The genetic legacy of the Quaternary ice ages. Nature 405, 907-913.
  3. Serbus LR, Casper-Lindley C, Landmann F, Sullivan, W. 2008. The genetics and cell biology of Wolbachia-host interactions. Annu Rev Genet 42: 683-707. 
  4. Telschow A, Flor M, Kobayashi Y, Hammerstein P, Werren JH. 2007. Wolbachia-induced unidirectional cytoplasmic incompatibility and speciation: mainland-island model. PLoS ONE Aug 8; 2(1):e701.
  5. Telschow A, Hammerstein P, Werren JH. 2005. The effects of Wolbachiaversus genetic incompatibilities on reinforcement and speciation. Evolution 59: 1607-1619.
  6. Vautrin E, Charles S, Genieys S, Vavre F. 2007. Evolution and invasion dynamics of multiple infections with Wolbachiainvestigated using matrix based models. J Theor Biol. 245(2):197-209.
  7. Wade MJ. 2001. Infectious speciation. Nature, 409: 675-677.
  8. Zabal-Aguirre M, Arroyo F & Bella JL. 2010. Distribution of Wolbachia infection of Chorthippus parallelus in populations within and beyond a Pyrenean hybrid zone. Heredity 104: 174–184.

–Nota: Con esta entrada participamos en el Carnaval de Biología en su décima edición organizado por Scientia y en el de Matemáticas, que organizamos nosotros.