Problemas de la matem´ atica aplicada:
logros del pasado y retos del futuro.
Jos´e M. Arrieta
Universidad Complutense de Madrid e ICMAT
Grupo de Investigaci´onCADEDIF
Universidad de Oto˜no - CDL
PROBLEMA Sean∈ N.
Sines par, lo dividimos entre2.
Sines impar, calculamos el n´umero3n + 1.
.... y volvemos a empezar con el nuevo n´umero.
Ejemplo:3→ 10 → 5 → 16 → 8 → 4 → 2 → 1 → 4 → 2 → 1 · · ·
Problema:
¿Independientemente de d´onde empecemos, acaba toda sucesi´on en4,2,1?
CITA de Mario Livio ”Is God a mathematician?” (2009):
“El mundo no se est´a quieto. La mayor parte de los objetos que nos rodean est´an en movimiento o cambian continuamente. Incluso la Tierra bajo nuestros pies, que parece tan firme, est´a de hecho rotando sobre su eje, girando alrededor del Sol y viajando (junto con ´este) alrededor del centro de nuestra galaxia, la V´ıa L´actea. El aire que respiramos se compone de billones de mol´eculas que se mueven sin cesar de forma aleatoria. Al mismo tiempo, las plantas crecen, los materiales radiactivos se desintegran, la temperatura de la atm´osfera sube y baja de forma cotidiana – adem´as de con cada estaci´on – y la expectativa de vida humana no deja de aumentar. Sin embargo, esta agitaci´on c´osmica no amilan´o a la matem´atica.
Newton y Leibniz introdujeron la rama denominada C´alculo espec´ıficamente para poder efectuar un an´alisis riguroso y una modelizaci´on precisa del movimiento y del cambio. En nuestros d´ıas, la potencia de esta incre´ıble herramienta que lo abarca todo permite utilizarla para examinar problemas tan dispares como el movimiento de la lanzadera espacial o la propagaci´on
matem´aticos de la “Era de la Raz´on” (finales del siglo XVII y siglo XVIII) desarrollaron el c´alculo hasta crear la poderosa rama de las ecuaciones diferenciales, de innumerables aplicaciones. Esta nueva arma permiti´o a los cient´ıficos presentar detalladas teor´ıas matem´aticas de fen´omenos que iban desde la m´usica que produce una cuerda de viol´ın al transporte del calor, desde el movimiento de una peonza al flujo de l´ıquidos y gases. Durante un tiempo, las ecuaciones diferenciales se convirtieron en la herramienta favorita del progreso en f´ısica”.
Problemas de la ´epoca (siglo XVI-XVII):
Movimiento planetario.
Construcci´on de lentes. ´Optica.
Bal´ıstica.
Resistencia de materiales.
Optimizaci´on de recursos.
Construcci´on de relojes.
C´alculo de ´areas, vol´umenes, longitudes.
de naturaleza cambiante.
A partir de aqu´ı se da una relaci´on sim´etrica:
el C´alculo resuelve problemas del mundo real y permite el planteamiento de problemas nuevos y m´as dificiles.
A su vez, estas nuevas cuestiones hacen evolucionar al C´alculo en nuevas formas y se crean mas ramas del C´alculo para abordar estos problemas.
Din´amica de fluidos Electro-magnetismo Teor´ıa de la Relatividad Mec´anica Cu´antica
Modelizaci´on de fen´omenos bol´ogicos, eco- n´omicos y de las ciencias sociales en ge- neral
GALILEOGalilei (1564-1642) Johannes KEPLER (1571-1630) Bonaventura CAVALIERI (1598-1647) Pierre FERMAT (1601-1665)
Isaac BARROW (1630-1677) Isaac NEWTON (1642-1727) Gottfried LEIBNIZ (1646-1716) Jacob BERNOULLI (1654-1705) Johann BERNOULLI (1667-1748) Leonhard EULER (1707-1783)
Joseph-Louis LAGRANGE (1736-1813) Pierre-Simon LAPLACE (1749-1827) Augustin CAUCHY (1789-1857) Henri POINCAR´E(1854-1912)
Construcci´on de relojes
El P´ endulo y la construcci´ on de relojes
l
e m
e=0
e>0 e<0
Describimos la posici´on del p´endulo mediante la funci´onθ(t)que expresa el
´angulo que forma la masa con la vertical en funci´on del tiempo.
El movimiento de la masa del p´endulo se rige por la ecuaci´on θ00+g
l sin(θ) = 0
Es una Ecuaci´on Diferencial de segundo orden (tiene dos derivadas) y es no lineal (ser´ıa lineal si fueraθ00+glθ = 0.)
Buscamos funcionesθ(t)que sean soluci´on de la Ecuaci´on Diferencial.
Construcci´on de relojes
Periodo
Supongamos que el p´endulo se suelta desde el reposo (sin velocidad inicial) y desde la posici´onθ0. ¿Cu´al es el movimiento del p´endulo?, ¿Cu´al es su periodo?, es decir, ¿Cu´anto tarda el p´endulo en ir desdeθ0hasta −θ0y volver?.
Construcci´on de relojes
El periodoT (θ0)dependede la posici´on inicialθ0. El gr´afico deT (θ0)es de la forma
g
e
</ /
0
/ l 2
Construcci´on de relojes
El periodoT (θ0)dependede la posici´on inicialθ0. El gr´afico deT (θ0)es de la forma
g
e
</ /
T( )e
0
l 0
2/
Construcci´on de relojes
En el siglo XVII, Christiann Huygens (1629-1695) se pregunt´o, qu´e perfil deber´ıa tener una funci´ony = f (x)para que las oscilaciones de un objeto que se deslizase sobre ella tuvieran un periodo independiente de la posici´on inicial (isocrona). Esta es la base de la construcci´on del mecanismo del reloj de p´endulo.
Construcci´on de relojes
Supongamos por tanto que el perfil de la funci´ony = f (x)es
x y
f(x)
Construcci´on de relojes
Y en el a˜no 1690, Jacques Bernoulli encontr´o la soluci´on:
</ /
Construcci´on de relojes
Y en el a˜no 1690, Jacques Bernoulli encontr´o la soluci´on:
CICLOIDE
</ /
Construcci´on de relojes
En base a la cicloide, Huygens construy´o un mecanismo de reloj de p´endulo de forma que la masa segu´ıa la curva de una cicloide:
o o o
Movimiento Planetario
Basandose en las observaciones de Tycho Brahe, el astr´onomo Johannes Kepler, en sus libros “Astronom´ıa nueva”(1609) y “La armon´ıa del
mundo”(1619) lleg´o a enunciar sus tres leyes sobre el movimiento planetario
J. Kepler Tycho Brahe
Movimiento Planetario
Las Leyes de Kepler
1 Los planetas se mueven en ´orbitas el´ıpticas ocupando el Sol uno de los focos de la elipse.
2 El ´area barrida por un planeta en tiempos iguales es igual.
3 El cuadrado del periodo de revoluci´on es proporcional al cubo de los semiejes mayores de la elipse.
Newton, en sus “Principia”, resolvi´o el problema de dos cuerpos, es decir, el movimiento de un planeta bajo la acci´on gravitatoria del Sol.
Movimiento Planetario
x y
(0,v) (a,0) F F
e r
m
md2~r
dt2 =−GMm r2
~r r
Esta Ecuaci´on Diferencial de segundo orden es en realidad un sistema de
ecuaciones: ( d2x
dt2 =−GM(x2+yx2)3/2 d2y
dt2 =−GM(x2+yy2)3/2
Pasando a coordenadas polares, de forma quex = r cos(θ), y = r sin(θ)y escribiendo las ecuaciones en estas dos coordenadas, es decir, describiendo el movimiento del planeta como(r (t), θ(t)), tenemos
¨
x = (¨r− ˙rθ2) cos(θ)− (2 ˙r ˙θ + ˙r ˙θ) sin(θ)
¨
y = (¨r− ˙rθ2) sin(θ) + (2 ˙r ˙θ + ˙r ˙θ) cos(θ)
Movimiento Planetario
Tras varios c´alculos se llega a que
r (θ) = a2v2/GM 1 + e cos(θ) dondee =|a2v2/GM− 1|.
Pero es conocido que esta es la ecuaci´on de una c´onica con uno de sus focos en el origen de coordenadas y de excentricidade. De forma que
1 si e = 0es unc´ırculo,
2 si 0 < e < 1es unaelipse,
3 si e = 1es unapar´abola,
4 si e > 1es unahip´erbola.
Movimiento Planetario
Algunas conclusiones
Galileo Esto supone un triunfo ...
del m´etodo cient´ıfico de Galileo
de la mec´anica y de la matem´atica y principalmente del c´alculo del determinismo
de la capacidad de predicci´on (predictibilidad)
Movimiento Planetario
Algunas conclusiones
Galileo Esto supone un triunfo ...
de la raz´on
del m´etodo cient´ıfico de Galileo
de la mec´anica y de la matem´atica y principalmente del c´alculo del determinismo
de la capacidad de predicci´on (predictibilidad)
Movimiento Planetario
Algunas conclusiones
Galileo Esto supone un triunfo ...
de la raz´on
del m´etodo cient´ıfico de Galileo
del determinismo
de la capacidad de predicci´on (predictibilidad)
Movimiento Planetario
Algunas conclusiones
Galileo Esto supone un triunfo ...
de la raz´on
del m´etodo cient´ıfico de Galileo
de la mec´anica y de la matem´atica y principalmente del c´alculo
del determinismo
de la capacidad de predicci´on (predictibilidad)
Movimiento Planetario
Algunas conclusiones
Galileo Esto supone un triunfo ...
de la raz´on
del m´etodo cient´ıfico de Galileo
de la mec´anica y de la matem´atica y principalmente del c´alculo del determinismo
Movimiento Planetario
Algunas conclusiones
Galileo Esto supone un triunfo ...
de la raz´on
del m´etodo cient´ıfico de Galileo
de la mec´anica y de la matem´atica y principalmente del c´alculo del determinismo
Determinismo y predictibilidad de Laplace
Fue Pierre-Simon Laplace (1749-1827) (Marqu´es de Laplace) quien dijo:
“Podemos mirar el estado presente del universo como el efecto del pasado y la causa de su futuro. Un intelecto que en un momento dado supiera todas las fuerzas que act´uan en la naturaleza y todas las posiciones de todos los elementos que la componen, si este intelecto fuera lo suficientemente capaz para analizar todos estos datos, podr´ıa condensar en una simple f´ormula el movimiento de los grandes cuerpos del universo y del ´atomo m´as ligero; para tal intelecto nada podr´ıa ser incierto y el futuro as´ı como el pasado estar´ıan
EL CUESTIONAMIENTO DE
LA PREDICTIBILIDAD
En los a˜nos 60, el meteor´ologo y matem´atico Edward Lorenz (1917-2008), en base a trabajos de Barry Saltzmann y otros, fue capaz de simplificar las ecuaciones del movimiento de un fluido por “convecci´on t´ermica” a un sistema de tres ecuaciones diferenciales ordinarias.
x
�= −σx + σy y
�= −xz + rx − y z
�= xy − bz
σ = 10, r = 24, b = 8/3
Jos´e M. Arrieta Matem´atica Aplicada: Logros y retos 28 / 62
EL sistema de Lorenz
0 10 20 30 40 50 60 ï20
ï10 0 10 20
Primera Coordenada, x1(t)
0 10 20 30 40 50 60
ï30 ï20 ï10 0 10 20 30
Segunda Coordenada, x2(t)
0 10 20 30 40 50 60
0 10 20 30 40
Tercera Coordenada, x3(t)
EL sistema de Lorenz
ï15 ï10
ï5 0
5 10
15
ï20 ï15 ï10 ï5 0 5 10 15 20 5 10 15 20 25 30 35
ï15 ï10
ï5 0
5 10
15
ï20 ï15 ï10 ï5 0 5 10 15 20 5 10 15 20 25 30 35
@ Condicion Inicial
EL sistema de Lorenz
ï15 ï10
ï5 0
5 10
15
ï20 ï15 ï10 ï5 0 5 10 15 20 5 10 15 20 25 30 35
@ Condicion Inicial
ï15 ï10
ï5 0
5 10
15
ï20 ï15 ï10 ï5 0 5 10 15 20 5 10 15 20 25 30 35
@ Condicion Inicial Otra Condicion Inicial A
EL sistema de Lorenz
ï15 ï10
ï5 0
5 10
15
ï20 ï15 ï10 ï5 0 5 10 15 20 5 10 15 20 25 30 35
@ Condicion Inicial Otra Condicion Inicial A
ï15 ï10
ï5 0
5 10
15
ï20 ï15 ï10 ï5 0 5 10 15 20 5 10 15 20 25 30 35
¿Qué sucede si tomamos dos condiciones iniciales muy cercanas?
EL sistema de Lorenz
ï15 ï10
ï5 0
5 10
15
ï20 ï15 ï10 ï5 0 5 10 15 20 5 10 15 20 25 30 35
x1=(1.000001, 1, 2.000001) x0=(1,1,2) por ejemplo:
¿Qué sucede si tomamos dos condiciones iniciales muy cercanas?
0 10 20 30 40 50 60 ï20
ï10 0 10 20
EFECTO MARIPOSA
0 10 20 30 40 50 60
ï20 0 20
0 10 20 30 40 50 60
ï30 ï20 ï10 0 10 20
EL sistema de Lorenz
Sobre el“efecto Mariposa”:
El t´ermino “Efecto Mariposa” fue acu˜nado en el t´ıtulo de la
conferencia que E. Lorenz imparti´o el a˜no 1972 en el congreso 139 de la Asociaci´on Americana por el Avance de la Ciencia: Does the flap of a butterfly’s wings in Brazil set off a tornado in Texas? (¿Produce el aleteo de una mariposa de Brasil un tornado en Texas?)
consiste en una sensibilidad con respecto a los datos iniciales
si bien dos condiciones iniciales distintas terminan dibujando el mismo cuadro, nunca lo hacen de la misma forma por muy cerca que est´en las dos condiciones iniciales
cuestiona la “predicitibilidad” de los sistemas deterministas: el
“intelecto” del que habla Laplace deber´a conocer perfectamente todos los datos iniciales. En otro caso, no podr´a “predecir” el futuro.
EL sistema de Lorenz
Sobre el“efecto Mariposa”:
El t´ermino “Efecto Mariposa” fue acu˜nado en el t´ıtulo de la
conferencia que E. Lorenz imparti´o el a˜no 1972 en el congreso 139 de la Asociaci´on Americana por el Avance de la Ciencia: Does the flap of a butterfly’s wings in Brazil set off a tornado in Texas? (¿Produce el aleteo de una mariposa de Brasil un tornado en Texas?)
si bien dos condiciones iniciales distintas terminan dibujando el mismo cuadro, nunca lo hacen de la misma forma por muy cerca que est´en las dos condiciones iniciales
cuestiona la “predicitibilidad” de los sistemas deterministas: el
“intelecto” del que habla Laplace deber´a conocer perfectamente todos los datos iniciales. En otro caso, no podr´a “predecir” el futuro.
EL sistema de Lorenz
Sobre el“efecto Mariposa”:
El t´ermino “Efecto Mariposa” fue acu˜nado en el t´ıtulo de la
conferencia que E. Lorenz imparti´o el a˜no 1972 en el congreso 139 de la Asociaci´on Americana por el Avance de la Ciencia: Does the flap of a butterfly’s wings in Brazil set off a tornado in Texas? (¿Produce el aleteo de una mariposa de Brasil un tornado en Texas?)
consiste en una sensibilidad con respecto a los datos iniciales
si bien dos condiciones iniciales distintas terminan dibujando el mismo cuadro, nunca lo hacen de la misma forma por muy cerca que est´en las dos condiciones iniciales
cuestiona la “predicitibilidad” de los sistemas deterministas: el
“intelecto” del que habla Laplace deber´a conocer perfectamente todos los datos iniciales. En otro caso, no podr´a “predecir” el futuro.
EL sistema de Lorenz
Sobre el“efecto Mariposa”:
El t´ermino “Efecto Mariposa” fue acu˜nado en el t´ıtulo de la
conferencia que E. Lorenz imparti´o el a˜no 1972 en el congreso 139 de la Asociaci´on Americana por el Avance de la Ciencia: Does the flap of a butterfly’s wings in Brazil set off a tornado in Texas? (¿Produce el aleteo de una mariposa de Brasil un tornado en Texas?)
consiste en una sensibilidad con respecto a los datos iniciales
si bien dos condiciones iniciales distintas terminan dibujando el mismo cuadro, nunca lo hacen de la misma forma por muy cerca que est´en las dos condiciones iniciales
“intelecto” del que habla Laplace deber´a conocer perfectamente todos los datos iniciales. En otro caso, no podr´a “predecir” el futuro.
EL sistema de Lorenz
Sobre el“efecto Mariposa”:
El t´ermino “Efecto Mariposa” fue acu˜nado en el t´ıtulo de la
conferencia que E. Lorenz imparti´o el a˜no 1972 en el congreso 139 de la Asociaci´on Americana por el Avance de la Ciencia: Does the flap of a butterfly’s wings in Brazil set off a tornado in Texas? (¿Produce el aleteo de una mariposa de Brasil un tornado en Texas?)
consiste en una sensibilidad con respecto a los datos iniciales
si bien dos condiciones iniciales distintas terminan dibujando el mismo cuadro, nunca lo hacen de la misma forma por muy cerca que est´en las dos condiciones iniciales
cuestiona la “predicitibilidad” de los sistemas deterministas: el
“intelecto” del que habla Laplace deber´a conocer perfectamente todos los datos iniciales. En otro caso, no podr´a “predecir” el futuro.
EL sistema de Lorenz
Elsistema de Lorenz:
puso de manifiesto que sistemas deterministas sencillos pueden exhibir un comportamiento din´amico muy complicado (ca´otico)
a˜no 2001 que Warwick Tucker prueba que realmente es ca´otico y que el atractor de Lorenz es un “atractor extra˜no”, resolviendo as´ı el problema no 14 de Steven Smale.
W. Tucker
EL sistema de Lorenz
Elsistema de Lorenz:
puso de manifiesto que sistemas deterministas sencillos pueden exhibir un comportamiento din´amico muy complicado (ca´otico)
a pesar de su evidente comportamiento num´erico ca´otico no es hasta el a˜no 2001 que Warwick Tucker prueba que realmente es ca´otico y que el atractor de Lorenz es un “atractor extra˜no”, resolviendo as´ı el problema no 14 de Steven Smale.
Ecuaciones de Navier-Stokes
Una de las ecuaciones m´as importantes y que m´as desarrollos matem´aticos ha producido son las del movimiento de los fluidos: las ecuaciones de Claude-Louis NAVIER (1785-1831) y George G. STOKES (1819-1903) (y sus multiples variantes)
Din´amica de Fluidos
Se obtienen de aplicar la segunda Ley de Newton y la ley de conservaci´on de la masa a las part´ıculas que componen el fluido.
Si~u(x, y , z, t)es la velocidad del fluido yp(x, y , z, t)es la presi´on en el punto(x, y , z)del espacio y en el instantet, entonces:
∂~u
∂t + (~u· ~∇)~u − ν∆~u = −∇p + f div (~u) = 0
Din´amica de Fluidos
Las ecuaciones de Navier-Stokes tienen las dos siguientes caracter´ısticas:
Surgen de problemas concretos de din´amica de fluidos y tienen aplicaciones directas a la f´ısica, ingenier´ıa, aeron´autica, medicina, etc..
que para resolver los numerosos problemas planteados se necesitan matem´aticas de altura.
Din´amica de Fluidos
Las ecuaciones de Navier-Stokes tienen las dos siguientes caracter´ısticas:
Surgen de problemas concretos de din´amica de fluidos y tienen aplicaciones directas a la f´ısica, ingenier´ıa, aeron´autica, medicina, etc..
Componen uno de los mayores desaf´ıos matem´aticos actuales. Es claro que para resolver los numerosos problemas planteados se necesitan matem´aticas de altura.
Din´amica de Fluidos
Uno de los problemas del milenio
SE SABE QUE:
0 ∈ C
inicial) tal que
div (~u0) = 0, Z
R3|~u0|2<∞, entonces existeT > 0y una unica funci´on
~
u(t, x, y , z)∈ C∞([0, T ]× R3)yp(t, x, y , z)∈ C∞([0, T ]× R3), soluci´on de
∂~u
∂t + (~u· ~∇)~u − ν∆~u = −∇p
div (~u) = 0, ~u(0, x, y , z) = ~u0(x, y , z)
EL MILL ´ON DE DOLARES:Probar o refutar queT =∞
Din´amica de Fluidos
Uno de los problemas del milenio
SE SABE QUE:Dada una funci´on~u0(x, y , z)∈ C∞(R3)(la condici´on inicial) tal que
div (~u0) = 0, Z
R3|~u0|2<∞, entonces existeT > 0y una unica funci´on
~
u(t, x, y , z)∈ C∞([0, T ]× R3)yp(t, x, y , z)∈ C∞([0, T ]× R3), soluci´on de
∂~u
∂t + (~u· ~∇)~u − ν∆~u = −∇p
div (~u) = 0, ~u(0, x, y , z) = ~u0(x, y , z)
EL MILL ´ON DE DOLARES:Probar o refutar queT =∞
Uno de los problemas del milenio
SE SABE QUE:Dada una funci´on~u0(x, y , z)∈ C∞(R3)(la condici´on inicial) tal que
div (~u0) = 0, Z
R3|~u0|2<∞, entonces existeT > 0y una unica funci´on
~
u(t, x, y , z)∈ C∞([0, T ]× R3)yp(t, x, y , z)∈ C∞([0, T ]× R3), soluci´on de
∂~u
∂t + (~u· ~∇)~u − ν∆~u = −∇p
div (~u) = 0, ~u(0, x, y , z) = ~u0(x, y , z)
EL MILL ´ON DE DOLARES:Probar o refutar queT =∞
Din´amica de Fluidos
Uno de los problemas del milenio
A finales de 2013 salt´o la noticia que Mukhtarbay Otelbaev (Astana, Kazajist´an) hab´ıa encontrado una demostraci´on de queT =∞.
Uno de los problemas del milenio
Para finales de enero de 2014 ya se hab´ıa encontrado un contraejemplo a uno de los teoremas fundamentales del art´ıculo de Otelbaev. Este obst´aculo no se ha podido salvar y la demostraci´on de Otelbaev se da por err´onea. Uno de los art´ıfices de este “contraejemplo” fue Terence Tao (1975-):
Din´amica de Fluidos
Uno de los problemas del milenio
Para finales de enero de 2014 ya se hab´ıa encontrado un contraejemplo a uno de los teoremas fundamentales del art´ıculo de Otelbaev. Este obst´aculo no se ha podido salvar y la demostraci´on de Otelbaev se da por err´onea. Uno de los art´ıfices de este “contraejemplo” fue Terence Tao (1975-):
Problemas del milenio
Otro problema del milenio: ¿P = NP?
operaciones se necesitan para resolver un cierto problema? PROBLEMA DE TIPO P.Un ejemplo:
Primer problema: dadosN n´umeros enteros:a1, a2, . . . , aN, decidir si la suma es nula. Este problema “cuesta”N operaciones: cada suma es una operaci´on y decidir si la suma es nula o no es otra operaci´on. Es decir, el n´umero de operaciones que hay que hacer para llegar a la respuesta es un polinomio en la variableN (que representa la
complejidad del problema).
OTRO EJEMPLO: TenemosN conjuntos deN n´umeros enteros cada uno. Decidir si existe alg´un conjunto que tenga una suma nula
“cuesta” N2operaciones. De nuevo, el n´umero de operaciones es un polinomio en N.
Problemas del milenio
Otro problema del milenio: ¿P = NP?
Eficiencia en los algoritmos para resolver problemas discretos: ¿Cu´antas operaciones se necesitan para resolver un cierto problema?
PROBLEMA DE TIPO P.Un ejemplo:
Primer problema: dadosN n´umeros enteros:a1, a2, . . . , aN, decidir si la suma es nula. Este problema “cuesta”N operaciones: cada suma es una operaci´on y decidir si la suma es nula o no es otra operaci´on. Es decir, el n´umero de operaciones que hay que hacer para llegar a la respuesta es un polinomio en la variableN (que representa la
complejidad del problema).
OTRO EJEMPLO: TenemosN conjuntos deN n´umeros enteros cada uno. Decidir si existe alg´un conjunto que tenga una suma nula
“cuesta” N2operaciones. De nuevo, el n´umero de operaciones es un polinomio en N.
Otro problema del milenio: ¿P = NP?
Eficiencia en los algoritmos para resolver problemas discretos: ¿Cu´antas operaciones se necesitan para resolver un cierto problema?
PROBLEMA DE TIPO P.Un ejemplo:
Primer problema: dadosN n´umeros enteros:a1, a2, . . . , aN, decidir si la suma es nula. Este problema “cuesta”N operaciones: cada suma es una operaci´on y decidir si la suma es nula o no es otra operaci´on.
Es decir, el n´umero de operaciones que hay que hacer para llegar a la respuesta es un polinomio en la variableN (que representa la
complejidad del problema).
OTRO EJEMPLO: TenemosN conjuntos deN n´umeros enteros cada uno. Decidir si existe alg´un conjunto que tenga una suma nula
“cuesta” N2 operaciones. De nuevo, el n´umero de operaciones es un polinomio en N.
Problemas del milenio
Otro problema del milenio: ¿P = NP?
PROBLEMA DE TIPO NP.Un ejemplo:
Problema: TenemosN n´umeros enteros:a1, a2, . . . , aN. Decidir si existe un subconjunto de estos n´umeros cuya suma sea nula.
Este problema tiene una caracter´ıstica importante: si tenemos un candidato a soluci´on (es decir un subconjunto de estosN n´umeros) podemos decidir si es soluci´on o no con no mas deN operaciones.
SIN EMBARGO: el mejor algor´ıtmo que tenemos para resolver el problema es:
Construir todos los subconjuntos dea1, a2, . . . , aN (en total2N) y comprobar uno a uno si su suma es0 o no
En total necesitamos por lo menos2N operaciones, que no es un polinomio enN, sino una funci´on exponencial enN.
Otro problema del milenio: ¿P = NP?
La pregunta es: ¿Existir´a siempre alg´un algor´ıtmo de forma que el problema se pueda resolver con un “coste” polinomial en cuanto al n´umero de operaciones?
Problemas del milenio
Otro problema del milenio: ¿P = NP?
Otro ejemplo: Problema del Vendedor Viajante.
Otro problema del milenio: ¿P = NP?
Otro ejemplo: Problema del Vendedor Viajante.
Problemas del milenio
Otro problema del milenio: ¿P = NP?
Problema del Vendedor Viajante con las capitales de estados de EEUU.
Otro problema del milenio: ¿P = NP?
Si hay Nciudades, hay en total(N− 1)!caminos que pasan por todas las ciudades. Un primer algoritmo es calcular la distancia de todos los caminos: N!operaciones (que es como∼ NN por la f´ormula de Stirling).
Mediante t´ecnicas de programaci´on din´amica se puede reducir a
∼ N22N operaciones.
Problemas del milenio
Otros problema del milenio
La conjetura de Poincar´e. (Resuelta en 2003 por Grigori Perelman (1966-).)
La hip´otesis de Riemann. (Los ceros de la funci´on Zeta de Riemann tienen todos parte real =1/2)
La conjetura de Hodge. (Problema de geometr´ıa algebraica) La teor´ıa cuantica de Yang-Mills.
Algunas reflexiones sobre retos de la Matem´ atica Aplicada
Lo digital, la computaci´on est´a revolucionando la sociedad.
No hay “descubrimiento” actual que no utilice
modelos/simulaciones num´ericas. (Detecci´on de ondas
gravitacionales: el equipo de la Dra. Alicia Sintes de UIB jug´o un papel importante en la modelizaci´on y computaci´on)
Big Data (Datos masivos) Dise˜no de nuevos materiales.
Biotecnolog´ıa. Biomedicina.
Neurociencia computacional Comunicaciones. Internet (Google).
Tratamiento de im´agenes.
Informaci´on cu´antica
Problemas del milenio
Algunas reflexiones sobre retos de la Matem´ atica Aplicada
Los medios de comunicaci´on se hacen eco de los grandes hitos de la matem´atica.
La conjetura ABC (Shinichi Mochizuki (1969-))
Algunas reflexiones sobre retos de la Matem´ atica Aplicada
La demostraci´on de las ternas pitag´oricas (Marijn Heule, Oliver Kullmann, Victor Marek)
Problemas del milenio
Algunas reflexiones sobre retos de la Matem´ atica Aplicada
Algunas reflexiones sobre retos de la Matem´ atica Aplicada
Existencia de n´umeros “gemelos” primos. (Yitang Zhang)
Conjetura:l´ım infn→∞(pn+1− pn) = 2
Yitang Zhang prob´o:l´ım infn→∞(pn+1− pn)≤ 70 × 106 Ahora ya se ha “bajado” al´ım infn→∞(pn+1− pn)≤ 246
Problemas del milenio
Algunas reflexiones sobre retos de la Matem´ atica Aplicada
Es admirablemente sencillo enunciar problemas de teor´ıa de n´umeros, matem´atica discreta, combinatoria, etc.. para que el p´ublico en general lo entienda y aprecie:
El problema de los cuatro colores: todo mapa se puede colorear con tan s´olo 4 colores.
El ´ultimo teorema de Fermat:xn+ yn= zn.
Conjetura de Goldbach: Todo n´umero par mayor que 2 se escribe como suma de dos primos.
El problema de “Collatz” ( tambi´en conocido como problema de Siracusa, Problema de Kakutani, Problema del granizo, etc...)
Algunas reflexiones sobre retos de la Matem´ atica Aplicada
Es admirablemente sencillo enunciar problemas de teor´ıa de n´umeros, matem´atica discreta, combinatoria, etc.. para que el p´ublico en general lo entienda y aprecie:
El problema de los cuatro colores: todo mapa se puede colorear con tan s´olo 4 colores.
El ´ultimo teorema de Fermat:xn+ yn= zn.
Conjetura de Goldbach: Todo n´umero par mayor que 2 se escribe como suma de dos primos.
El problema de “Collatz” ( tambi´en conocido como problema de Siracusa, Problema de Kakutani, Problema del granizo, etc...)
Problemas del milenio
Algunas reflexiones sobre retos de la Matem´ atica Aplicada
Un reto importante de la Matem´atica Aplicada es la DIVULGACI ´ON, es decir, SABER EXPLICARSE al gran p´ublico.
Ejemplo: Navier-Stokes vs Conjetura de Collatz Divulgaci´on:
Naukas Gaussianos CienciaXplora
Mateaventuras (Clara Grima) Secci´on MATERIA
Problemas del milenio
Algunas reflexiones sobre retos de la Matem´ atica Aplicada
Un reto importante de la Matem´atica Aplicada es la DIVULGACI ´ON, es decir, SABER EXPLICARSE al gran p´ublico.
Ejemplo: Navier-Stokes vs Conjetura de Collatz
Naukas Gaussianos CienciaXplora
Mateaventuras (Clara Grima) Secci´on MATERIA
Problemas del milenio
Algunas reflexiones sobre retos de la Matem´ atica Aplicada
Un reto importante de la Matem´atica Aplicada es la DIVULGACI ´ON, es decir, SABER EXPLICARSE al gran p´ublico.
Ejemplo: Navier-Stokes vs Conjetura de Collatz Divulgaci´on:
Naukas Gaussianos CienciaXplora
Mateaventuras (Clara Grima) Secci´on MATERIA