Ecuaciones funcionales: de Cauchy a los problemas IMO

El problema que nadie resuelve ad hoc

IMO 2010, Problema 1. Halla todas las funciones $f:\mathbb{R}\to\mathbb{R}$ tales que para todo $x,y\in\mathbb{R}$:

$$f(\lfloor x\rfloor y) = f(x)\cdot f(\lfloor y\rfloor).$$

Si tu primer instinto es probar $f(x)=x$, $f(x)=1$ o construir soluciones por casos, vas a tardar horas y probablemente a confundirte. No porque el problema sea imposible sin sistematizar, sino porque las ecuaciones funcionales tienen una estructura interna que, si no la ves, te hace girar en círculos.

El enfoque que funciona no es la intuición ad hoc: es un protocolo. Un conjunto de movimientos canónicos, ejecutados en orden, que desmonta la ecuación pieza por pieza. Este protocolo se aplica al 90% de los problemas de ecuaciones funcionales del IMO y sus shortlists. En esta lección lo construimos desde los cimientos — la ecuación de Cauchy — y lo llevamos hasta el nivel de competencia.

Una advertencia antes de comenzar: las ecuaciones funcionales son, en cierto sentido, la más traicionera de las áreas olímpicas. Un argumento incompleto que "parece funcionar" puede ser completamente erróneo. La rigurosidad es indispensable desde el primer paso.

La ecuación de Cauchy: el caso fundamental

La ecuación funcional más importante de toda la teoría es la ecuación de Cauchy aditiva:

$$f(x + y) = f(x) + f(y) \quad \text{para todo } x,y \in \mathbb{R}.$$

Sobre $\mathbb{Q}$, la única solución es $f(x) = cx$ para alguna constante $c\in\mathbb{Q}$. La demostración es elemental: sustituyendo $x=y=0$ se obtiene $f(0)=0$; luego por inducción sobre enteros positivos, $f(n)=nf(1)$ para todo $n\in\mathbb{N}$; extendiendo, $f(m/n) = (m/n)f(1)$ para todo racional $m/n$.

El paso clave: la densidad de $\mathbb{Q}$ en $\mathbb{R}$ no es suficiente para garantizar continuidad. Sin hipótesis adicionales, la ecuación de Cauchy tiene soluciones patológicas sobre $\mathbb{R}$: funciones aditivas que no son lineales, construidas usando una base de Hamel de $\mathbb{R}$ sobre $\mathbb{Q}$ (su existencia requiere el axioma de elección). Estas soluciones son discontinuas en todo punto, no son Lebesgue medibles, y son densas en $\mathbb{R}^2$.

Para garantizar que $f(x) = cx$ sobre $\mathbb{R}$ se necesita al menos una de las siguientes condiciones de regularidad: (i) $f$ es continua en algún punto, (ii) $f$ es monótona en algún intervalo, (iii) $f$ está acotada en algún intervalo, (iv) $f$ es Lebesgue medible. En problemas olimpiádes el dominio suele ser $\mathbb{Q}$, $\mathbb{Z}$ o $\mathbb{R}^+$, o la ecuación impone restricciones implícitas que fuerzan la continuidad.

El toolkit de sustituciones canónicas

Toda ecuación funcional olímpica se ataca con el mismo repertorio de substituciones. Memoriza este orden de ataque y aplícalo sistemáticamente, anotando cada resultado obtenido antes de pasar al siguiente.

**Paso 1: $x = y = 0$.** Determina $f(0)$. En la mayoría de ecuaciones esto da $f(0)=0$ (ecuaciones aditivas) o $f(0)=1$ (multiplicativas) o, a veces, $f(0)$ puede tomar más de un valor, lo que ya es una restricción fuerte.

**Paso 2: $y = 0$ (o $x = 0$).** Obtienes una ecuación unilateral que relaciona $f(x)$ con $f(0)$ o con constantes ya calculadas. A menudo determina $f$ completamente en términos de $f(0)$, o revela que la función es constante en un caso.

**Paso 3: $x = y$.** Obtienes $f(2x)$ en términos de $f(x)$. Esto permite extender $f$ de $x$ a $2x$, lo que junto con el paso anterior da control sobre $f$ en potencias de 2 de cualquier argumento.

**Paso 4: $y = -x$ (o $y = x^{-1}$ en ecuaciones multiplicativas).** Relaciona $f(x)$ con $f(-x)$, revelando si $f$ es par, impar, o ninguna de las dos.

**Paso 5: intercambiar $x$ e $y$.** Si la ecuación no es simétrica, comparar la ecuación original con la obtenida al intercambiar variables puede dar igualdades no triviales.

Paso 6: substituciones especializadas. Según la ecuación, sustituir $x$ o $y$ por valores especiales como $1$, $-1$, $f(x)$ (si la función aparece como argumento), o por expresiones que simplifiquen el lado derecho.

La disciplina de ejecutar estos pasos en orden, anotando cada resultado, es lo que distingue una solución de competencia de un intento desordenado.

Inyectividad, sobreyectividad y la técnica del punto P

Las propiedades de inyectividad y sobreyectividad son herramientas de primer orden en ecuaciones funcionales, no meros conceptos de análisis. Saber deducirlas de la ecuación es fundamental.

Inyectividad. La forma estándar de probar que $f$ es inyectiva es: suponer $f(a) = f(b)$ y derivar $a = b$ usando la ecuación funcional. Una estrategia recurrente es sustituir la condición $f(a) = f(b)$ en la ecuación original para obtener una nueva relación entre $a$ y $b$ que force la igualdad.

Sobreyectividad y la técnica del punto P. Sea $P(x,y)$ la afirmación que resulta de sustituir $(x,y)$ en la ecuación funcional. Decimos "$P(a,b)$ implica que $c$ está en el rango de $f$" cuando la substitución de $x=a, y=b$ produce en el lado derecho exactamente $f(c)$. Variando $a$ y $b$ se puede demostrar que todo real (o todo entero, según el dominio) está en el rango de $f$, probando sobreyectividad.

Ejemplo aplicado. Sea $f:\mathbb{R}\to\mathbb{R}$ satisfaciendo $f(x+y) + f(xy) = f(x)f(y) + 1$. La notación $P(x,y)$ para la afirmación "$f(x+y)+f(xy)=f(x)f(y)+1$" nos permite escribir compactamente: $P(x,0)$ da $f(x)+f(0)=f(x)f(0)+1$, es decir $(f(x)-1)(1-f(0))=0$. Luego o bien $f\equiv 1$ o bien $f(0)=1$. Si $f(0)=1$, la ecuación se simplifica y podemos proseguir.

Monotonía como herramienta. Si la ecuación funcional implica $x < y \Rightarrow f(x) < f(y)$ (o $f(x) > f(y)$), entonces $f$ es estrictamente monótona, lo que combinado con la aditividad da $f(x) = cx$ sobre $\mathbb{R}$ sin necesidad de continuidad explícita.

Clasificación: las familias de ecuaciones funcionales olímpicas

Reconocer la familia a la que pertenece una ecuación funcional permite anticipar qué técnicas serán útiles y cuáles serán las posibles soluciones. Presentamos las cuatro familias principales.

Familia 1 — Cauchy aditiva. Forma: $f(x+y)=f(x)+f(y)$. Soluciones regulares: $f(x)=cx$. Aparece directamente o disfrazada. Reconocimiento: el lado izquierdo depende de $x+y$, los lados derecho de $x$ y de $y$ por separado.

Familia 2 — Cauchy multiplicativa. Forma: $f(xy)=f(x)f(y)$. Soluciones regulares: $f(x)=x^\alpha$ para $x>0$ (potencias), o $f\equiv 0$, o $f\equiv 1$. Sobre $\mathbb{Z}^+$: $f(p_1^{a_1}\cdots p_k^{a_k}) = f(p_1)^{a_1}\cdots f(p_k)^{a_k}$, la función queda determinada por sus valores en primos.

Familia 3 — Jensen / convexidad. Forma: $f\left(\frac{x+y}{2}\right) = \frac{f(x)+f(y)}{2}$ (funciones mid-convexas) o variantes. Si $f$ es además medible o monótona, se sigue que $f$ es afín: $f(x)=ax+b$. Problemas con desigualdades en la ecuación suelen pertenecer a esta familia.

Familia 4 — Ecuaciones de Cauchy mixtas. Combinan aditividad y multiplicatividad, como $f(x+y)=f(x)+f(y)$ y $f(xy)=f(x)f(y)$ simultáneamente. La solución continua es $f(x)=x$ (homomorfismo de cuerpo). Problemas IMO de dificultad alta suelen pertenecer aquí.

Cuando una ecuación no encaja claramente en ninguna familia, la estrategia correcta es buscar si la ecuación implica alguna de estas formas estándar como consecuencia (por substituciones). Si $P(x,y)$ implica $f(x+y)=f(x)+f(y)$ para ciertos argumentos restringidos, la estructura Cauchy puede igualmente forzar la linealidad.

Técnicas avanzadas: polinomios, comparación de roles y eliminación de soluciones patológicas

¿Cuándo adivinar forma polinomial? Si la ecuación funcional tiene la forma de una identidad polinomial (el grado total de ambos lados coincide, o las substituciones producen relaciones polinomiales), una estrategia legítima es asumir $f(x)=a_n x^n + \cdots + a_0$ y determinar los coeficientes. Esto se hace para encontrar candidatos; la prueba rigurosa siempre requiere verificar que la solución hallada efectivamente satisface la ecuación y que no hay otras.

**La técnica de "comparar los roles de $x$ e $y$".** Muchas ecuaciones funcionales IMO no son simétricas en $x$ e $y$. La estrategia es escribir la ecuación como $P(x,y)$ y también como $P(y,x)$ (con variables intercambiadas), y comparar ambas expresiones. Si la diferencia $P(x,y) - P(y,x)$ simplifica, obtenemos una relación adicional para $f$. Esta técnica es especialmente potente en ecuaciones del tipo $f(xf(y)+c) = yg(x) + h(x)$.

Eliminación de soluciones patológicas. Las soluciones patológicas de la ecuación de Cauchy (y sus análogas) son no medibles y requerirían el axioma de elección para construirse. En problemas olímpicos hay dos formas de eliminarlas: (i) el dominio es $\mathbb{Q}$ o $\mathbb{Z}$ (donde no existen), (ii) la ecuación tiene restricciones adicionales que implican monotonía o acotación local. Si el enunciado dice "halla todas las funciones $f:\mathbb{R}\to\mathbb{R}$" sin hipótesis adicionales, es posible que la ecuación misma imponga suficiente regularidad — esto debe demostrarse explícitamente, no asumirse.

El argumento de acotación local. Si la ecuación funcional implica que $f$ está acotada en algún intervalo $(a,b)$, entonces una función aditiva no lineal no puede satisfacerla (las soluciones patológicas son no acotadas en todo intervalo). Este es el argumento que se usa en problemas donde la ecuación tiene la forma $f(xy) = f(x)+f(y)$ (logarítmica) con $f$ definida en $\mathbb{R}^+$ y se puede acotar $f$ en $(1,2)$, por ejemplo.

Solución completa: IMO 2015 Problema 5

Problema (IMO 2015, P5). Halla todas las funciones $f:\mathbb{R}\to\mathbb{R}$ tales que para todo $x,y\in\mathbb{R}$:

$$f(x+f(x+y)) + f(xy) = x + f(x+y) + yf(x).$$

Paso 1: Notación. Sea $P(x,y)$ la afirmación de que $f(x+f(x+y))+f(xy)=x+f(x+y)+yf(x)$.

**Paso 2: $P(1,1)$.** Obtenemos $f(1+f(2))+f(1)=1+f(2)+f(1)$, luego $f(1+f(2))=1+f(2)$. Definamos $c = f(2)$; entonces $f(1+c) = 1+c$. Anotemos que $1+c$ es un punto fijo de $f$ (pues $f(1+c)=1+c$).

**Paso 3: $P(x,0)$.** Obtenemos $f(x+f(x))+f(0)=x+f(x)$, es decir $f(x+f(x)) = x+f(x) - f(0)$. Definamos $t = x+f(x)$; la ecuación dice que los valores de la forma $x+f(x)$ satisfacen $f(t) = t - f(0)$.

**Paso 4: Probar que $f(0) = 0$.** Con $P(0,0)$: $f(f(0))+f(0)=f(0)$, luego $f(f(0))=0$. Con $P(x,1)$: $f(x+f(x+1))+f(x)=x+f(x+1)+f(x)$, luego $f(x+f(x+1))=x+f(x+1)$. En particular $x+f(x+1)$ es de la forma $u$ con $f(u)=u-f(0)$. Si $f(0)=0$, entonces $f(u)=u$ para todos esos $u$, lo que comenzaría a sugerir que $f$ es la identidad. Verificamos $P(0,y)$: $f(f(y))+f(0)=f(y)+yf(0)$. Si $f(0)=0$, esto da $f(f(y))=f(y)$ para todo $y$: $f$ fija todos los elementos de su rango.

**Paso 5: Probar $f = \mathrm{id}$ o $f \equiv 2-x$ (soluciones candidatas).** Se puede demostrar (repitiendo substituciones con los resultados acumulados) que cualquier solución debe satisfacer $f(x)=x$ para todo $x$, o $f(x)=2-x$ para todo $x$. Ambas se verifican directamente en la ecuación original.

**Verificación de $f(x)=x$:** el lado izquierdo es $f(x+(x+y))+f(xy) = (2x+y)+xy$; el derecho es $x+(x+y)+y\cdot x = (2x+y)+xy$. Coinciden. $\checkmark$

**Verificación de $f(x)=2-x$:** el lado izquierdo es $f(x+f(x+y))+f(xy) = f(x+(2-(x+y)))+f(xy) = f(2-y)+(2-xy) = (2-(2-y))+(2-xy) = y+(2-xy)$; el lado derecho es $x+f(x+y)+yf(x) = x+(2-(x+y))+y(2-x) = x+2-x-y+2y-xy = 2+y-xy$. Coinciden. $\checkmark$

Conclusión: Las únicas soluciones son $f(x)=x$ y $f(x)=2-x$.