¿Qué es una ecuación funcional?
Una ecuación funcional es una ecuación en la que la incógnita es una función , en lugar de un número. La condición debe cumplirse para todos los valores de las variables en un dominio especificado.
Ejemplo simple: halla todas las funciones tales que para todos . Aquí es lo que buscamos; la ecuación impone una relación que debe respetar para todo par .
En olimpiadas de nivel ONEM regional, las ecuaciones funcionales aparecen con dominio , , o . Los problemas piden: (a) hallar todas las funciones que satisfacen la ecuación, (b) demostrar que no existe ninguna, o (c) determinar el valor de en un punto específico.
La estrategia central siempre comienza con sustituciones especiales: elige valores concretos de e que simplifiquen la ecuación y revelen propiedades de (valor en , comportamiento en negativos, periodicidad, inyectividad, etc.).
La ecuación de Cauchy: $f(x+y) = f(x) + f(y)$
La ecuación de Cauchy es la ecuación funcional más clásica. Para , si para todo , entonces:
Paso 1 — Valor en cero: sustituye : , luego .
Paso 2 — Números enteros: sustituye : . Por inducción, para todo . Con : , luego (función impar). Extendemos a : para .
Paso 3 — Racionales: sea con , . Entonces , luego . Es decir, para todo , con .
**Sobre :** sin hipótesis adicionales, existen soluciones "patológicas" de Cauchy que no son lineales (no medibles, no acotadas en ningún intervalo). En olimpiadas, el problema siempre añade una hipótesis extra: es monótona, continua, o acotada en algún intervalo. Bajo cualquiera de estas condiciones, la única solución es con .
Ecuaciones funcionales multiplicativas y exponenciales
La ecuación (para ) caracteriza a los logaritmos: la única solución continua y no trivial es para algún . La sustitución da ; con : .
La ecuación caracteriza a las exponenciales: si no es idénticamente cero, entonces (pon : , luego o ; si , entonces para todo , caso trivial). La única solución continua no trivial es con , .
La ecuación (para ) caracteriza a las funciones potencia: la solución continua es para algún . Sustituyendo : , luego o ; la solución no trivial tiene .
Estas tres familias (lineal, logarítmica, exponencial, potencia) aparecen reiteradamente en ONEM. Memorizarlas permite "adivinar" la solución y luego verificarla.
Sustituciones estratégicas: técnica de extracción de información
El primer movimiento ante cualquier ecuación funcional es hacer sustituciones especiales para revelar propiedades de . Las más útiles:
(1) : revela . (2) (o ): relaciona con . (3) : revela en términos de y . (4) : relaciona con . (5) Intercambiar e : revela simetría o antisimetría.
Ejemplo: Sea tal que para todo . Esto es la ecuación funcional del coseno. Con : , luego o . Con : ; si , entonces , es decir ( es par). La solución trigonométrica es ; la solución hiperbólica es ; y también (con ).
Regla práctica: **nunca declares "la única solución es " sin verificar** que esa función efectivamente satisface la ecuación original. Y nunca olvides el caso de la función identicamente nula.