Ecuaciones Funcionales Avanzadas

Teoría

Las ecuaciones funcionales avanzadas van más allá de las simples sustituciones algebraicas y los argumentos de suprayectividad o inyectividad, entrando al terreno del análisis y la teoría de conjuntos. En el nivel de USAMO e IMO, estos problemas suelen requerir que entiendas a fondo la "Trampa Punto a Punto", una falacia lógica muy común donde un estudiante deduce una propiedad como $f(x)^2 = x^2$ y concluye incorrectamente que $f(x) = x$ para toda $x$ o que $f(x) = -x$ para toda $x$. En realidad, el signo podría variar de forma arbitraria para cada $x$ a menos que existan restricciones específicas que lo impidan. Para resolver estas ecuaciones, tienes que demostrar que la "elección" hecha en un punto obliga a tomar la misma elección en los demás puntos.

Un tema central aquí es la distinción entre soluciones sobre los números racionales ($\mathbb{Q}$) y los números reales ($\mathbb{R}$). Muchas ecuaciones funcionales, especialmente la Ecuación de Cauchy, admiten soluciones "patológicas" o "salvajes" sobre $\mathbb{R}$ que no son continuas y son densas en el plano (las puedes construir usando bases de Hamel). Por eso, los enunciados de los problemas suelen incluir "condiciones de regularidad": restricciones como continuidad, monotonía, acotación o medibilidad. Estas condiciones son herramientas muy potentes que sirven para colapsar la familia infinita de soluciones salvajes en un conjunto finito de funciones elementales bien portadas.

Dominar las ecuaciones funcionales avanzadas implica reconocer cuándo puedes reducir una ecuación a un prototipo conocido (como la de Cauchy, Jensen o D'Alembert) y extender rigurosamente las soluciones de $\mathbb{N}$ a $\mathbb{Z}$, luego a $\mathbb{Q}$ y finalmente a $\mathbb{R}$ usando argumentos de densidad. Tienes que estar muy atento a las restricciones del dominio y asegurarte de manejar los límites con precisión $\epsilon-\delta$ cuando uses la continuidad.

Fórmulas Clave

Ecuación Funcional de Cauchy: $$f(x+y) = f(x) + f(y)$$

• Solución general sobre $\mathbb{Q}$: $f(x) = cx$ para alguna constante $c$.
• Solución sobre $\mathbb{R}$: $f(x) = cx$ si y solo si $f$ cumple con una condición de regularidad (que sea continua, monótona, acotada en un intervalo o medible).
• Sin regularidad, existen infinitas soluciones no lineales (las puedes construir usando una base de Hamel de $\mathbb{R}$ sobre $\mathbb{Q}$).

Ecuación Funcional de Jensen: $$f\left(\frac{x+y}{2}\right) = \frac{f(x)+f(y)}{2}$$

• Bajo continuidad, la solución es lineal: $f(x) = ax + b$.

Ecuación Funcional de D'Alembert (Ecuación del Coseno): $$f(x+y) + f(x-y) = 2f(x)f(y)$$

• Soluciones continuas ($f \not\equiv 0$):
  1. $f(x) = \cos(kx)$
  2. $f(x) = \cosh(kx)$
  3. $f(x) = 1$

La Trampa Punto a Punto (Advertencia): Si $f(x)^2 = g(x)^2$, entonces para cada $x$, $f(x) \in {g(x), -g(x)}$. $$f(x) \neq g(x) \text{ y } f(x) \neq -g(x) \implies \text{Conclusión global incorrecta.}$$ Tienes que demostrar que $f(x) = g(x)$ para toda $x$ O que $f(x) = -g(x)$ para toda $x$.

Demostración

Teorema: Supón que $f: \mathbb{R} \to \mathbb{R}$ cumple la Ecuación de Cauchy $f(x+y) = f(x) + f(y)$. Si $f$ es continua, entonces $f(x) = cx$ para alguna constante $c \in \mathbb{R}$.

Demostración:

Paso 1: Establece la solución para los Números Naturales. Toma $x=y=0$. Entonces $f(0) = f(0) + f(0) \implies f(0) = 0$. Por inducción, para $n \in \mathbb{N}$ y cualquier $x \in \mathbb{R}$: $$f(nx) = f(x + \dots + x) = f(x) + \dots + f(x) = n f(x)$$ Específicamente, para $x=1$, define $f(1) = c$. Entonces $f(n) = cn$ para toda $n \in \mathbb{N}$.

Paso 2: Extiende a los Enteros. Como $f(0) = f(x + (-x)) = f(x) + f(-x) = 0$, tienes que $f(-x) = -f(x)$. Para cualquier entero negativo $n$, toma $n = -m$ donde $m \in \mathbb{N}$. $$f(n) = f(-m) = -f(m) = -(cm) = c(-m) = cn$$ Así que $f(n) = cn$ para toda $n \in \mathbb{Z}$.

Paso 3: Extiende a los Racionales. Toma $x \in \mathbb{Q}$. Entonces $x = \frac{p}{q}$ donde $p \in \mathbb{Z}, q \in \mathbb{N}$. $$f(p) = f\left(q \cdot \frac{p}{q}\right)$$ Usando la propiedad del Paso 1 ($f(nx) = nf(x)$): $$f(p) = q f\left(\frac{p}{q}\right)$$ Como $f(p) = cp$ (por el Paso 2): $$cp = q f\left(\frac{p}{q}\right) \implies f\left(\frac{p}{q}\right) = c \frac{p}{q}$$ Por lo tanto, $f(x) = cx$ para toda $x \in \mathbb{Q}$.

Paso 4: Extiende a los Reales mediante Continuidad. Toma $x \in \mathbb{R}$. Como $\mathbb{Q}$ es denso en $\mathbb{R}$, existe una sucesión de números racionales ${q_n}$ tal que $\lim_{n \to \infty} q_n = x$. Debido a que $f$ es continua: $$f(x) = f\left(\lim_{n \to \infty} q_n\right) = \lim_{n \to \infty} f(q_n)$$ Como $q_n \in \mathbb{Q}$, sabes que $f(q_n) = c q_n$. Por lo tanto: $$f(x) = \lim_{n \to \infty} (c q_n) = c \lim_{n \to \infty} q_n = cx$$ De esta forma, $f(x) = cx$ para toda $x \in \mathbb{R}$. $\square$