🔢 mathematics

Constructing Discontinuous but Locally Bounded Rational Functions using \L ojasiewicz Inequalities

Este artículo demuestra que para polinomios multivariados reales $P$ y $Q$ que se anulan en un punto donde el conjunto de ceros de $Q$ está contenido en el de $P$ , existe una función racional localmente acotada de la forma $P^p/Q^q$ cuya extensión continua al conjunto de ceros de $Q$ es necesariamente discontinua, un resultado establecido utilizando desigualdades de Łojasiewicz.

Autores originales: Adam Coffman, Yifei Pan

Publicado 2026-06-02

📖 5 min de lectura🧠 Análisis profundo

CC BY 4.0

Autores originales: Adam Coffman, Yifei Pan

Artículo original bajo licencia CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Esta es una explicación generada por IA del artículo a continuación. No ha sido escrita ni avalada por los autores. Para mayor precisión técnica, consulte el artículo original. Leer descargo de responsabilidad completo

Imagina que estás intentando cruzar un río. Normalmente, si tienes un puente (una función matemática), puedes caminar a través de él suavemente. Pero a veces, el puente tiene un agujero justo en medio. Si intentas caminar sobre el agujero, podrías caerte, o el camino podría volverse tan empinado que no podrías subirlo.

En el mundo de las matemáticas, específicamente con las funciones racionales (que son simplemente fracciones hechas de polinomios, como $\frac{x^2}{y}$ ), los matemáticos suelen buscar "agujeros" donde el número de abajo (el denominador) se vuelve cero. Usualmente, si el número de arriba (el numerador) también es cero en ese punto, podríamos ser capaces de parchar el agujero y caminar a través de él suavemente.

Este artículo, de Adam Coffman e Yifei Pan, trata sobre encontrar un tipo de agujero muy específico y complicado. Están buscando puentes que sean seguros para caminar (acotados) pero imposibles de cruzar suavemente (discontinuos).

Aquí está el desglose de su descubrimiento utilizando analogías simples:

1. El puente "Seguro pero Rugoso"

Imagina un puente que es perfectamente plano y seguro para pararse, pero si intentas caminar hacia un punto específico en el medio, el suelo cambia repentinamente. Puedes acercarte infinitamente al centro, y nunca te caerás por el borde (la función es acotada), pero nunca podrás pisar el punto central sin que el suelo salte hacia arriba o hacia abajo (la función es discontinua).

El ejemplo clásico: Piensa en la función $f(x,y) = \frac{xy}{x^2+y^2}$ . Si caminas hacia el centro (0,0) en una línea recta, podrías llegar a una altura de 0.5. Pero si caminas en una línea recta diferente, llegas a 0. Si caminas en una curva, podrías llegar a 1. El puente es "seguro" (nunca se va al infinito), pero es un desastre porque la altura depende enteramente de tu dirección.

2. La Gran Pregunta

Los autores preguntan: ¿Podemos siempre construir un puente como este?
Comienzan con dos formas (polinomios), llamémoslas $P$ (el numerador) y $Q$ (el denominador). Ambas formas tocan el suelo (son iguales a cero) en un punto específico. Saben que el "agujero" en $Q$ está completamente dentro del "agujero" en $P$ .

Quieren saber: ¿Existe siempre una forma de ajustar las potencias de estas formas para que la fracción resultante sea segura (acotada) pero aún así rugosa (discontinua)?

3. La Herramienta Mágica: La "Desigualdad de Lojasiewicz"

Para responder a esto, los autores utilizan una herramienta matemática poderosa llamada la Desigualdad de Lojasiewicz.

Piensa en esta desigualdad como un letrero de límite de velocidad para qué tan rápido una forma puede encogerse en comparación con otra.

Imagina que $P$ y $Q$ son dos globos desinflándose a medida que te acercas al centro.
La desigualdad nos dice que $P$ no puede desinflarse demasiado rápido en comparación con $Q$ sin romper las reglas de la geometría.
Hay una "proporción" o "exponente" específico (como un ajuste de engranaje) donde $P$ se encoge lo suficiente para mantener la fracción sin que explote (acotada), pero no lo suficiente como para suavizar los bultos (discontinua).

4. El Principal Descubrimiento

El artículo demuestra que sí, este truco de puente siempre existe.

No importa con qué dos formas ( $P$ y $Q$ ) comiences (siempre que ambas lleguen a cero y el agujero de $Q$ esté dentro del de $P$ ), siempre puedes encontrar una "relación de engranaje" específica (un número racional) para mezclarlas.

Si las mezclas con esta relación, la función se mantiene dentro de límites seguros (no se disparará al infinito).
Sin embargo, si intentas extender la función al punto central, seguirá siendo irregular y discontinua.

Es como encontrar la cantidad perfecta de azúcar para añadir al café: suficiente para evitar que sea demasiado amargo (acotado), pero no tanto como para que sepa a agua (continuo).

5. Cómo Construyen Estos Puentes

Los autores muestran dos formas principales de construir estas funciones "seguras pero rugosas":

Método A: El Truco del Gradiente (El Detector de Pendientes)
Toman una forma $P$ y observan su "gradiente" (que es como medir la inclinación de una colina en cada punto). Crean una fracción donde la parte superior es la altura de la colina ( $P$ ) y la parte inferior es la inclinación al cuadrado ( $|\nabla P|^2$ ).
- Analogía: Imagina una montaña. La parte superior es la altura, la parte inferior es qué tan empinada es la pendiente. Cerca de la cima, la altura y la pendiente están relacionadas de una manera específica. Al ajustar la "relación de engranaje" (los exponentes), crean una función que se mantiene acotada pero se niega a ser suave en el punto exacto de la cima.
Método B: El Truco de los Números Complejos (La Sombra)
Utilizan números complejos (números con una parte "imaginaria") para crear funciones del mundo real.
- Analogía: Imagina proyectar una luz sobre un objeto 3D para proyectar una sombra 2D. Toman una función compleja, dividen su parte "real" y su parte "imaginaria", y usan estas como numerador y denominador. Esto crea una función que gira alrededor del centro. A medida que te acercas al centro, el valor gira salvajemente, sin establecerse en una sola altura, aunque nunca se lanza al infinito.

6. Por Qué Esto Importa (Según el Artículo)

El artículo no afirma que esto vaya a arreglar puentes en el mundo real o curar enfermedades. En cambio, resuelve un rompecabezas en la Geometría Algebraica Real.

Confirma que el comportamiento de estas funciones matemáticas es más complejo de lo que pensábamos. Incluso cuando una función es lo suficientemente "bien portada" como para mantenerse dentro de una caja (acotada), puede ser lo suficientemente "mal portada" como para negarse a conectarse suavemente en un punto.

En resumen: Los autores demostraron que siempre puedes diseñar una fracción matemática que sea segura frente al infinito pero que se niegue a ser suave, utilizando una regla de "límite de velocidad" específica (desigualdad de Lojasiewicz) para encontrar la receta perfecta.

Resumen Técnico: Construcción de Funciones Racionales Discontinuas pero Localmente Acotadas

Planteamiento del Problema
El artículo aborda el comportamiento de las funciones racionales multivariables reales $f = P/Q$ cerca de los puntos donde tanto el numerador $P$ como el denominador $Q$ se anulan (el conjunto de indeterminación). Específicamente, los autores investigan la relación entre la acotación local y la continuidad. Si bien es bien sabido que las funciones racionales pueden ser acotadas pero discontinuas (por ejemplo, a lo largo de diferentes trayectorias que se aproximan al origen), el artículo busca un método constructivo general para demostrar que tales funciones siempre existen bajo condiciones geométricas específicas. La cuestión central es: Dado que $P$ y $Q$ son polinomios que se anulan en el punto $\vec{0}$ de tal manera que el conjunto de ceros de $Q$ está contenido en el conjunto de ceros de $P$ ( $Z(Q) \subseteq Z(P)$ ), ¿existe siempre una potencia racional de la función, específicamente de la forma $P^{2p}/Q^{2e}$ , que sea localmente acotada pero cuya extensión (definida como 0 en $Z(Q)$ ) sea discontinua?

Metodología
Los autores emplean herramientas de la geometría algebraica real y la teoría de los conjuntos semialgebraicos. La metodología se basa fuertemente en:

Desigualdades de Lojasiewicz: Las demostraciones utilizan la clásica desigualdad de Lojasiewicz y la desigualdad del gradiente de Lojasiewicz. Estas desigualdades proporcionan cotas sobre la relación entre los valores de los polinomios y sus gradientes (u otros polinomios) cerca de sus conjuntos de ceros. Específicamente, la existencia de un exponente racional mínimo $\beta_0$ (o $\theta_0$ ) tal que $|P|^\beta \le C|Q|$ es central para el argumento.
Geometría Semialgebraica: Los autores analizan la estructura de la imagen de las aplicaciones polinómicas y la geometría de los conjuntos de ceros. Utilizan propiedades de los conjuntos semialgebraicos, incluyendo la descripción local de curvas algebraicas reales (Proposición 3.4) y la dimensión de los conjuntos de indeterminación.
Selección de Exponente Constructivo: El artículo construye exponentes racionales específicos $p/e$ derivados del exponente mínimo de Lojasiewicz. La estrategia consiste en mostrar que para exponentes ligeramente mayores que el límite mínimo, la función se vuelve no acotada, mientras que para el límite mínimo, la función es acotada pero falla en ser continua debido a límites divergentes a lo largo de trayectorias específicas (a menudo derivadas de expansiones de Puiseux).
Construcciones Complejas: En la Sección 6, se presenta una construcción alternativa utilizando polinomios complejos. Al tomar las partes real o imaginaria de cocientes de polinomios holomorfos (por ejemplo, $f(z)^\nu / \overline{g(z)}^\mu$ ), los autores generan funciones racionales reales acotadas con discontinuidades sin depender de la maquinaria específica de la geometría algebraica real utilizada en los teoremas principales.

Contribuciones Clave y Resultados
El artículo establece varios teoremas y lemas que caracterizan la existencia y construcción de estas funciones:

Teorema de Existencia Principal (Teorema 5.2): Si $P$ y $Q$ son polinomios que se anulan en $\vec{0}$ con $Z(Q) \subseteq Z(P)$ , existen números enteros positivos $p$ y $e$ tales que la función racional $P^{2p}/Q^{2e}$ es localmente acotada cerca de $\vec{0}$ , pero su extensión a $Z(Q)$ (asignando el valor 0) es discontinua. La razón $p/e$ es única y corresponde al exponente mínimo de Lojasiewicz que relaciona a $P$ y $Q$ .
Construcción Basada en el Gradiente (Teorema 7.4): Se proporciona un método específico y robusto donde el denominador se elige como una potencia de la norma al cuadrado del gradiente del numerador, es decir, $Q = |\nabla P|^{2q}$ . El Teorema 7.4 demuestra que si $p/q$ es igual al exponente de Lojasiewicz mínimo $\theta_0$ para $P$ en un punto crítico, la función resultante es acotada pero discontinua.
Dimensionalidad de los Conjuntos de Indeterminación (Teorema 7.10): Los autores demuestran que esta construcción no se limita a ceros aislados. Muestran que para cualquier conjunto algebraico real $A$ contenido estrictamente en un hiperplano, se puede construir una función racional acotada cuyo conjunto de indeterminación sea exactamente $A$ . Esto contrasta con el caso genérico donde las funciones racionales acotadas suelen tener conjuntos de indeterminación de codimensión 2 o superior; aquí, el conjunto de indeterminación puede tener dimensión $n-2$ o mayor.
Construcciones con Variables Complejas (Sección 6): El artículo proporciona un método para generar funciones racionales acotadas y discontinuas en $\mathbb{R}^{2m}$ tomando las partes real o imaginaria de expresiones como $h(z)/\overline{h(z)}$ , donde $h$ es un polinomio holomorfo. Esto produce funciones con conjuntos de indeterminación de dimensión $2m-2$ .

Significancia y Reivindicaciones
El artículo sostiene que proporciona una prueba general y elemental (en el sentido de utilizar la geometría algebraica real fundamental) de que el fenómeno de "acotado pero discontinuo" no es una anomalía, sino una propiedad garantizada para una amplia clase de funciones racionales definidas por pares polinómicos con conjuntos de ceros anidados.

Los autores enfatizan que su enfoque clarifica el umbral preciso de la continuidad. Demuestran que la existencia de una función racional discontinua pero acotada de la forma $P^{2p}/Q^{2e}$ es equivalente a una versión fuerte de la desigualdad de Lojasiewicz para el par $(P, Q)$ . El trabajo conecta la propiedad analítica de la continuidad con la propiedad algebraica del exponente mínimo de Lojasiewicz.

El artículo no propone nuevas aplicaciones en álgebra computacional o ingeniería, pero señala que el problema de calcular límites de funciones racionales multivariables sigue siendo de interés en el álgebra computacional. La significancia reside en la construcción teórica: proporcionar una forma sistemática de generar contraejemplos a la intuición de que la acotación local implica continuidad (o que la continuidad puede restaurarse mediante una simple extensión) en el cálculo multivariable. Los resultados refinan la comprensión del "vacío" entre la acotación y la continuidad, mostrando que para cualquier par de polinomios de este tipo, existe una potencia racional específica que se sitúa exactamente en el límite de la continuidad.