f(x) = a^x.
La solución exponencial es la familia de funciones que cumplen la Ecuación Exponencial de Cauchy, dada por $f(x+y) = f(x)f(y)$ para toda $x, y$ en el dominio. Esta ecuación funcional caracteriza a las funciones que transforman progresiones aritméticas en el dominio en progresiones geométricas en el codominio. Es un prototipo fundamental para estudiar las ecuaciones funcionales y sirve como el análogo multiplicativo de la Ecuación Funcional de Cauchy estándar $f(x+y) = f(x) + f(y)$.
En las matemáticas de competencia, identificar esta estructura es crucial porque te permite reducir una relación funcional abstracta a una forma algebraica específica, $f(x) = a^x$. Aunque la ecuación $f(x+y) = f(x)f(y)$ implica que $f(x) = a^x$ para todos los números racionales $x \in \mathbb{Q}$, extender esta solución a todos los números reales $x \in \mathbb{R}$ requiere condiciones de regularidad adicionales. Las condiciones comunes que encuentras en problemas de Olimpiada incluyen continuidad, monotonicidad, estar acotada en un intervalo o ser medible. Sin estas condiciones, existen soluciones discontinuas "salvajes" (que construyes usando una base de Hamel), aunque estas rara vez son el enfoque de los problemas estándar de AIME o USAMO.
La intuición detrás de la solución está en