# Decimosexto problema de Hilbert

El decimosexto problema de Hilbert (uno de los conocidos como veintitrés Problemas de Hilbert, publicados en 1900 por el matemático alemán David Hilbert), se planteó en su forma original como el Problema de la topología de curvas y superficies algebraicas ("Problem der Topologie algebraischer Kurven und Flächen").
En realidad, consiste en dos problemas similares en diferentes ramas de las matemáticas:
* Una investigación de las posiciones relativas de las ramas de las curvas algebraicas reales de grado n (y de manera similar para las superficies algebraicas).
* La determinación del límite superior para el número de ciclos límite en campos vectoriales polinómicos bidimensionales de grado n y una investigación de sus posiciones relativas.
El primer problema aún no está resuelto para n = 8. Por lo tanto, este problema es lo que generalmente se considera el decimosexto problema de Hilbert en geometría algebraica real. El segundo problema también permanece sin resolver: no se conoce un límite superior para el número de ciclos límite para ningún n > 1, y esto es lo que generalmente se entiende por el decimosexto problema de Hilbert en el campo de los sistemas dinámicos.
La Real Sociedad Española de Matemáticas expuso este documento explicando el decimosexto problema de Hilbert.

## La primera parte del problema decimosexto de Hilbert

En 1876 Harnack investigó las curvas algebraicas en el plano proyectivo real y encontró que las curvas de grado n no podían tener más de
    ${n^{2}-3n+4 \over 2}$
componentes conectados separados entre sí. Además, mostró cómo construir curvas que alcanzaban ese límite superior y, por lo tanto, era el mejor límite posible. Las curvas con ese número de componentes se denominan curvas M.
Hilbert había investigado las curvas M de grado 6 y encontró que los 11 componentes siempre estaban agrupados de cierta manera. Su desafío para la comunidad matemática ahora era investigar completamente las posibles configuraciones de los componentes de las curvas M.
Además, solicitó una generalización del teorema de la curva de Harnack a las superficies algebraicas y una investigación similar de superficies con el número máximo de componentes.

## La segunda parte del problema decimosexto de Hilbert

Aquí se van a considerar campos de vectores polinómicos en el plano real, que es un sistema de ecuaciones diferenciales de la forma:
    ${dx \over dt}=P(x,y),\qquad {dy \over dt}=Q(x,y)$
donde tanto P como Q son polinomios reales de grado n.
Estos campos de vectores polinómicos fueron estudiados por Poincaré, quien tuvo la idea de abandonar la búsqueda de encontrar soluciones exactas al sistema, y en su lugar intentó estudiar las características cualitativas de la colección de todas las soluciones posibles.
Entre muchos descubrimientos importantes, encontró que los conjuntos de límites de tales soluciones no necesitan ser un punto estacionario, sino que podrían ser una solución periódica. Estas soluciones se denominan ciclo límite.
La segunda parte del problema decimosexto de Hilbert es decidir un límite superior para el número de ciclos límite en campos vectoriales polinómicos de grado n y, similar a la primera parte, investigar sus posiciones relativas.

### Resultados

Yulii Ilyashenko y Jean Écalle demostraron en 1991/1992 que cada campo vectorial polinómico en el plano tiene solo un número finito de ciclos límite (un artículo de 1923 de Henri Dulac que afirmaba ser una prueba de esta afirmación, se comprobó que contenía una laguna en 1981). Esta afirmación no es obvia, ya que es fácil construir campos vectoriales suaves (C$^∞$) en el plano con infinitos ciclos límite concéntricos.
La cuestión de si existe un límite superior finito H(n) para el número de ciclos límite de campos vectoriales polinómicos planos de grado n permanece sin resolver para cualquier n > 1. (H(1) = 0 ya que los campos vectoriales lineales no tienen ciclos límite). Yevgueni Landis e Iván Petrovsky reclamaron una solución en la década de 1950, pero se demostró que era incorrecta a principios de la década de 1960. Se conocen campos vectoriales planos cuadráticos con cuatro ciclos límite. Un ejemplo de visualización numérica de cuatro ciclos límite en un campo vectorial plano cuadrático se puede encontrar en una publicación de N.V. Kuznetsov. En general, las dificultades para estimar el número de ciclos límite por integración numérica se deben a los ciclos límite anidados con regiones de atracción muy estrechas, que son atractores ocultos, y ciclos límite semiestables.

## La formulación original de los problemas

En su discurso, Hilbert presentó los problemas como:
Hilbert continúa:
       ${dy \over dx}={Y \over X}$
   donde X, Y son funciones racionales enteras de grado n en x, y, o escrito de forma homogénea:
       $X\left(y{dz \over dt}-z{dy \over dt}\right)+Y\left(z{dx \over dt}-x{dz \over dt}\right)+Z\left(x{dy \over dt}-y{dx \over dt}\right)=0$