On the separation \L ojasiewicz exponents of real analytic sets in the real plane

1. Planteamiento del Problema

El artículo aborda el cálculo y la estimación de los exponentes de separación de Łojasiewicz para dos conjuntos analíticos reales definidos por funciones $f$ y $g$ en el origen del plano $\mathbb{R}^2$.

• Contexto: La desigualdad de Łojasiewicz establece que, para dos subconjuntos semianalíticos $A$ y $B$ que se intersecan en el origen, existe una constante $C > 0$ y un exponente $\beta \geq 1$ tales que:
  $$d(x, A) + d(x, B) \geq C \cdot d(x, A \cap B)^\beta$$
  donde $d(x, X)$ es la distancia euclidiana del punto $x$ al conjunto $X$.
• Objetivo: El exponente de separación, denotado como $L(A, B)$, es el ínfimo de tales $\beta$. El problema central es encontrar una fórmula explícita y computable para $L(V_f, V_g)$ (donde $V_f = f^{-1}(0)$ y $V_g = g^{-1}(0)$) en términos de las propiedades algebraicas de $f$ y $g$, específicamente utilizando sus expansiones de Newton-Puiseux. Además, se busca una cota efectiva cuando $f$ y $g$ son polinomios.

2. Metodología

Los autores emplean técnicas geométricas y analíticas avanzadas centradas en la teoría de singularidades y la geometría algebraica real:

• Polígonos de Newton Relativos a un Arco: Se utiliza la técnica de "deslizamiento" (sliding technique) desarrollada por Kuo y Parusinski. Esta técnica permite analizar el comportamiento de una función analítica $f$ a lo largo de un arco paramétrizado por una serie de Puiseux $\phi(y)$.
• Series de Puiseux y Aproximaciones Reales:
  • Se definen las raíces de Newton-Puiseux de las funciones.
  • Se introduce el concepto de aproximación real ($\gamma_R$) de una serie de Puiseux no real, sustituyendo el primer coeficiente no real por un número real genérico.
  • Se define la aproximación de dos series distintas ($\phi_{1,2}$) truncando sus expansiones en el orden donde difieren.
• Lemas de Orden y Distancia: Se establecen relaciones entre el orden de una serie de Puiseux respecto a la variedad de ceros ($V_f$) y la distancia euclidiana. Específicamente, se demuestra que $d((\phi(y), y), V_f) \asymp |y|^{\text{ord}_d(\phi, V_f)}$.
• Análisis de la Desigualdad a lo largo de Curvas: Utilizando el Lema de Selección de Curvas, el exponente global $L(V_f, V_g)$ se reduce al supremo de los exponentes locales $\ell(\phi)$ calculados a lo largo de curvas analíticas semialgébricas que pasan por el origen.

3. Contribuciones Clave y Resultados Principales

A. Fórmula Computacional para Funciones Analíticas (Teorema 3.1)

El resultado principal es una fórmula que calcula el exponente de separación $L(V_f, V_g)$ basándose en las raíces de Newton-Puiseux de $f \cdot g$.

• Definición de $\ell(\phi)$: Para una curva parametrizada por $\phi$, el exponente local es:
  $$\ell(\phi) = \frac{\min\{\text{ord}_d(\phi, V_f), \text{ord}_d(\phi, V_g)\}}{\text{ord}_d(\phi, V_{\gcd(f,g)})}$$
• Conjunto de Aproximaciones ($V_a$): Se define un conjunto finito de series de Puiseux reales, $V_a(f \cdot g)$, que son aproximaciones de las raíces de $f$ y $g$.
• Fórmula Final: El exponente global se determina como:
  $$L(V_f, V_g) = \max\{L_+(V_f, V_g), L_-(V_f, V_g)\}$$
  Donde $L_+$ se calcula maximizando $\ell(\gamma)$ sobre todas las series $\gamma \in V_a(f \cdot g)$, y $L_-$ es el análogo para la función reflejada $g(x, -y)$.
• Significado: Esto transforma un problema de optimización sobre un espacio infinito de curvas en un problema algebraico finito sobre un conjunto discreto de series de Puiseux.

B. Estimación Efectiva para Polinomios (Teorema 4.1)

Para el caso en que $f$ y $g$ son polinomios reales de grado máximo $d$ (con $f(0)=g(0)=0$), los autores proporcionan una cota superior explícita para el exponente de separación:

$$L(V_f, V_g) \leq \frac{(2d-1)^2 + 1}{2}$$

• Método de Prueba: Se utiliza la función auxiliar $F = f^2 + g^2$. Se aplica la desigualdad clásica de Łojasiewicz a $F$ y se relaciona la distancia a la intersección $V_f \cap V_g$ con el valor de $|g(x)|$ en la región donde $f=0$.
• Mejora: Esta cota es más aguda (mejor) que las estimaciones anteriores conocidas en la literatura para el caso de dos variables, especialmente cuando el punto de intersección no es aislado.

4. Significado e Impacto

1. Computabilidad: El trabajo proporciona un algoritmo efectivo para calcular el exponente de separación, un invariante topológico y analítico crucial que antes requería estimaciones cualitativas o era difícil de calcular explícitamente.
2. Conexión de Teorías: Integra la teoría de polígonos de Newton, series de Puiseux y desigualdades de Łojasiewicz, ofreciendo una perspectiva unificada para estudiar la separación de conjuntos algebraicos reales.
3. Aplicaciones: Los exponentes de Łojasiewicz son fundamentales en:
   • La división de distribuciones.
   • El estudio de singularidades de funciones analíticas.
   • La conjetura del gradiente de Thom.
   • La optimización polinómica y problemas de optimización "tame".
   • La demostración de versiones efectivas del Teorema de los Ceros de Hilbert (Nullstellensatz).
4. Optimización de Cotas: La cota efectiva obtenida para polinomios en dos variables mejora los resultados existentes, lo cual es vital para algoritmos en geometría computacional y análisis numérico donde se necesitan límites precisos sobre la convergencia o la separación de soluciones.

En resumen, el artículo ofrece una herramienta teórica robusta y computacionalmente viable para cuantificar la "separación" entre dos curvas analíticas reales en el origen, resolviendo un problema abierto mediante el uso de aproximaciones de series de Puiseux y proporcionando cotas explícitas para el caso polinómico.