Ecuaciones Funcionales Intermedias

Teoría

Las ecuaciones funcionales intermedias marcan la transición de encontrar soluciones mediante sustituciones simples a analizar las propiedades estructurales globales de la función $f$. Aunque los problemas básicos a menudo se pueden resolver evaluando valores específicos (como $x=0$ o $y=x$), los problemas intermedios requieren que establezcas propiedades abstractas como la inyectividad (uno a uno), suprayectividad (sobre), biyectividad y la existencia de puntos fijos. Una vez que estableces estas propiedades, actúan como palancas poderosas para simplificar la ecuación, lo que a menudo reduce términos anidados complejos a componentes lineales o permite quitar la función $f$ de la parte exterior de una ecuación.

La estrategia más común en este nivel es buscar "variables desnudas". Si una ecuación tiene un término como $x$ o $y$ fuera del argumento de la función (por ejemplo, $f(f(x)+y) = f(x)+y$), esto sugiere fuertemente suprayectividad. De la misma forma, si puedes derivar $f(A) = f(B)$ donde $A$ y $B$ son expresiones distintas que involucran la variable, la inyectividad te permite concluir que $A=B$. Además, los argumentos de monotonía se usan frecuentemente junto con estas propiedades. Si una función es estrictamente monótona, es automáticamente inyectiva. Es más, resolver la ecuación de Cauchy ($f(x+y)=f(x)+f(y)$) bajo la restricción de monotonía (o acotación) implica inmediatamente linealidad ($f(x)=cx$), un resultado que es fundamental para resolver problemas de nivel USAMO e IMO.

Fórmulas Clave

1. Definiciones de Propiedades de Funciones

• Inyectividad: Una función $f$ es inyectiva si $f(a) = f(b) \implies a = b$.
  • Detección: Busca ecuaciones donde $f(x)$ aparezca sola de un lado, por ejemplo, $f(g(x,y)) = h(y) + x$.
• Suprayectividad: Una función $f: A \to B$ es suprayectiva si para cada $y \in B$, existe una $x \in A$ tal que $f(x) = y$.
  • Detección: Busca una variable "libre" en el lado derecho, por ejemplo, $f(\dots) = \dots + y$.
• Punto Fijo: Un valor $x_0$ es un punto fijo si $f(x_0) = x_0$.
  • Conjunto de Puntos Fijos: $S = {x \mid f(x)=x}$.

2. Ecuación Funcional de Cauchy La ecuación más fundamental en álgebra intermedia es: $$f(x+y) = f(x) + f(y)$$ La solución general depende del dominio y de las condiciones de regularidad:

• Sobre $\mathbb{Q}$ (Racionales): $f(x) = cx$ para alguna constante $c$.
• Sobre $\mathbb{R}$ con continuidad: $f(x) = cx$.
• Sobre $\mathbb{R}$ con monotonía (creciente o decreciente): $f(x) = cx$.
• Sobre $\mathbb{R}$ con acotación en cualquier intervalo: $f(x) = cx$.

3. Ecuación Funcional de Jensen Una variación que a menudo se puede reducir a la de Cauchy: $$f\left(\frac{x+y}{2}\right) = \frac{f(x)+f(y)}{2}$$ Solución: $f(x) = ax + b$ (Funciones afines).

4. Implicaciones Estándar

• $f(f(x)) = x + c \implies f$ es biyectiva.
• Monotonía estricta $\implies$ Inyectividad.
• $f(x+y) = f(x)f(y)$ con $f(x)$ no idénticamente cero $\implies f(x) = a^x$ (Exponencial).

Demostración

Teorema: Sea $f: \mathbb{Q} \to \mathbb{Q}$ una función que satisface la Ecuación Funcional de Cauchy $f(x+y) = f(x) + f(y)$ para toda $x, y \in \mathbb{Q}$. Entonces $f(x) = cx$ para toda $x \in \mathbb{Q}$, donde $c = f(1)$.

Demostración:

Paso 1: Establece que $f(0)=0$ y que la función es impar. Toma $x=y=0$. Entonces: $$f(0+0) = f(0) + f(0) \implies f(0) = 2f(0) \implies f(0) = 0$$ Ahora, toma $y = -x$. Entonces: $$f(x + (-x)) = f(x) + f(-x) \implies f(0) = f(x) + f(-x)$$ Como $f(0)=0$, tienes que $0 = f(x) + f(-x)$, lo que implica que $f(-x) = -f(x)$. Por lo tanto, $f$ es una función impar.

Paso 2: Prueba para los números naturales ($\mathbb{N}$). Prueba que $f(nx) = n f(x)$ para $n \in \mathbb{N}$ usando inducción.

• Caso Base: Para $n=1$, $f(1\cdot x) = 1 \cdot f(x)$, lo cual es trivial.
• Paso Inductivo: Supón que $f(kx) = k f(x)$ para alguna $k \in \mathbb{N}$. $$f((k+1)x) = f(kx + x) = f(kx) + f(x)$$ Por la hipótesis inductiva, $f(kx) = k f(x)$, así que: $$f((k+1)x) = k f(x) + f(x) = (k+1)f(x)$$ Así, $f(nx) = n f(x)$ para toda $n \in \mathbb{N}$. Específicamente, si tomas $x=1$, obtienes $f(n) = n f(1)$. Si defines $c = f(1)$, entonces $f(n) = cn$ para toda $n \in \mathbb{N}$.

Paso 3: Extiende a los enteros ($\mathbb{Z}$). Para cualquier entero negativo $n$, toma $n = -m$ donde $m \in \mathbb{N}$. $$f(n) = f(-m) = -f(m)$$ Usando el resultado del Paso 2: $$f(n) = -(c \cdot m) = c \cdot (-m) = cn$$. Así, $f(z) = cz$ para toda $z \in \mathbb{Z}$.

Paso 4: Extiende a los racionales ($\mathbb{Q}$). Toma $x = \frac{p}{q}$ donde $p \in \mathbb{Z}$ y $q \in \mathbb{N}$. Considera $f(q \cdot x)$. Por la propiedad de aditividad que probaste en el Paso 2 (aplicando la regla de multiplicación por el escalar entero $q$): $$f(q \cdot x) = q f(x)$$ Sin embargo, también sabes que $q \cdot x = q \cdot \frac{p}{q} = p$. Entonces: $$f(p) = q f(x)$$ Por el Paso 3, sabes que $f(p) = cp$. Sustituyendo esto en la ecuación: $$cp = q f(x)$$ Dividiendo entre $q$: $$f(x) = c \frac{p}{q} = cx$$

Conclusión: Para toda $x \in \mathbb{Q}$, $f(x) = cx$ donde $c = f(1)$. $\square$