• No se han encontrado resultados

Problemas de la matemática aplicada: logros del pasado y retos del futuro.

N/A
N/A
Protected

Academic year: 2022

Share "Problemas de la matemática aplicada: logros del pasado y retos del futuro."

Copied!
82
0
0

Texto completo

(1)

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

(2)

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?

(3)
(4)

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

(5)

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”.

(6)

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.

(7)

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.

(8)

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

(9)

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)

(10)

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.

(11)

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.

(12)

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?.

(13)

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

(14)

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/

(15)

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.

(16)

Construcci´on de relojes

Supongamos por tanto que el perfil de la funci´ony = f (x)es

x y

f(x)

(17)

Construcci´on de relojes

Y en el a˜no 1690, Jacques Bernoulli encontr´o la soluci´on:

</ /

(18)

Construcci´on de relojes

Y en el a˜no 1690, Jacques Bernoulli encontr´o la soluci´on:

CICLOIDE

</ /

(19)
(20)

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

(21)

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

(22)

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.

(23)

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.

(24)

Movimiento Planetario

x y

(0,v) (a,0) F F

e r

m

md2~r

dt2 =−GMm r2

~r r

(25)

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(θ)

(26)

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.

(27)

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)

(28)

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)

(29)

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)

(30)

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)

(31)

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

(32)

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

(33)

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

(34)

EL CUESTIONAMIENTO DE

LA PREDICTIBILIDAD

(35)

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

(36)

EL sistema de Lorenz

(37)

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)

(38)

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

(39)

ï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

(40)

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

(41)

ï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

(42)

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

(43)

ï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?

(44)

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?

(45)

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

(46)

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.

(47)

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.

(48)

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.

(49)

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.

(50)

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.

(51)

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

(52)

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.

(53)

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)

(54)

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

(55)

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.

(56)

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.

(57)

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 =∞

(58)

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 =∞

(59)

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 =∞

(60)

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 =∞.

(61)

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-):

(62)

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-):

(63)

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.

(64)

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.

(65)

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.

(66)

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.

(67)

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?

(68)

Problemas del milenio

Otro problema del milenio: ¿P = NP?

Otro ejemplo: Problema del Vendedor Viajante.

(69)

Otro problema del milenio: ¿P = NP?

Otro ejemplo: Problema del Vendedor Viajante.

(70)

Problemas del milenio

Otro problema del milenio: ¿P = NP?

Problema del Vendedor Viajante con las capitales de estados de EEUU.

(71)

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.

(72)

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.

(73)

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

(74)

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-))

(75)

Algunas reflexiones sobre retos de la Matem´ atica Aplicada

La demostraci´on de las ternas pitag´oricas (Marijn Heule, Oliver Kullmann, Victor Marek)

(76)

Problemas del milenio

Algunas reflexiones sobre retos de la Matem´ atica Aplicada

(77)

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

(78)

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...)

(79)

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...)

(80)

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

(81)

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

(82)

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

Referencias

Documento similar

Ahora ve:.. El ayudante de cocina ayudó a la reconocida cocinera con la presentación del plato.. Preparando la presentación del plato, el ayudante de cocina ayudó a la

Me centraré en la conceptualización de la masculinidad hegemónica (Connell, 1995; Schippers, 2007) y los discursos sobre los que se asienta su ejecución, para así describir la

Este documento destaca nuestra visión colectiva sobre la Transición Energética Justa, tal como debatieron las/os participantes y se expresó en los seminarios virtuales de Amigos de

La variación de la energía térmica en un sistema se produce mediante el trabajo o el calor.. Por ejemplo, cuando usamos una bomba manual para inflar un neumático de

En tales circunstancias, una forma de proceder posible sería iniciar una fase preconstitucional de diálogo nacional, como sucedió en Sudáfrica, para reunir a

1. LAS GARANTÍAS CONSTITUCIONALES.—2. C) La reforma constitucional de 1994. D) Las tres etapas del amparo argentino. F) Las vías previas al amparo. H) La acción es judicial en

Su adopción, prevista en 2013, ofrecerá a los Estados miembros y a las agencias de la UE un marco común para un intercambio de información casi en tiempo real y una cooperación

Los regímenes de certificación de la UE abarcan tanto el cumplimiento de las normas mínimas de producción obligatorias como los requisitos suplementarios relacionados con la