Módulos / algebra-2 / Capítulo 3 — Ecuaciones funcionales olímpicas / Lección 3.2

Funciones aditivas y multiplicativas

Lección 3.2·Capítulo 3 — Ecuaciones funcionales olímpicas·12 min·Piloto

Video en producción

El contenido pedagógico de esta lección ya está completo y lo puedes leer abajo. El video con la voz de Eduardo Espinoza Ramos se produce según la Política de IA.

Disclosure de IA: al publicarse, este contenido reproducirá digitalmente, con autorización expresa del autor, la voz y fisonomía de Eduardo Espinoza Ramos. Curaduría revisada por matemáticos profesionales. Política completa →

Objetivo de la lección

Resolver completamente la ecuación de Cauchy $f(x+y)=f(x)+f(y)$ sobre $\mathbb{Q}$, demostrar que las únicas soluciones son $f(x)=cx$, extender el análisis a la ecuación multiplicativa $f(xy)=f(x)f(y)$ y estudiar la relación entre ambas mediante la composición con $\exp$ y $\log$.

La ecuación de Cauchy: el problema fundacional

La ecuación de Cauchy es f(x+y)=f(x)+f(y)f(x+y)=f(x)+f(y) para todo x,yx,y en el dominio. Fue estudiada por Augustin-Louis Cauchy en 1821 y es la ecuación funcional más importante de las olimpiadas. Aparece directa o disfrazada en una fracción enorme de los problemas de ecuaciones funcionales olímpicas.

La intuición dice que la única solución "razonable" es f(x)=cxf(x)=cx para alguna constante cRc\in\mathbb{R}. En dominios discretos (Z\mathbb{Z} o Q\mathbb{Q}) esto es exactamente correcto. Pero sobre R\mathbb{R}, sin hipótesis de regularidad, existen soluciones "patológicas" que no son lineales — las veremos en la lección 3.4.

En todas las olimpiadas de nivel Iberoamericana/Cono Sur, cuando aparece la ecuación de Cauchy el dominio es Q\mathbb{Q} o se añade una condición de regularidad (monotonicidad, continuidad, o acotamiento en algún intervalo). En esos casos, la respuesta es siempre f(x)=cxf(x)=cx.

Solución sobre $\mathbb{Q}$: demostración completa

Sea f:QQf:\mathbb{Q}\to\mathbb{Q} solución de f(x+y)=f(x)+f(y)f(x+y)=f(x)+f(y). Demostraremos que f(x)=f(1)xf(x)=f(1)\cdot x para todo xQx\in\mathbb{Q}.

**Paso 1: f(0)=0f(0)=0.** Ponemos x=y=0x=y=0: f(0)=f(0)+f(0)=2f(0)f(0)=f(0)+f(0)=2f(0), luego f(0)=0f(0)=0.

**Paso 2: f(x)=f(x)f(-x)=-f(x).** Ponemos y=xy=-x: f(0)=f(x)+f(x)f(0)=f(x)+f(-x), luego 0=f(x)+f(x)0=f(x)+f(-x).

**Paso 3: f(nx)=nf(x)f(nx)=nf(x) para nZ+n\in\mathbb{Z}^+.** Por inducción: f(nx)=f((n1)x+x)=f((n1)x)+f(x)=(n1)f(x)+f(x)=nf(x)f(nx) = f((n-1)x+x) = f((n-1)x)+f(x) = (n-1)f(x)+f(x) = nf(x). Para nZn\in\mathbb{Z}^-: f(nx)=f(nx)=f(nx)=nf(x)=nf(x)f(nx)=f(-|n|x)=-f(|n|x)=-|n|f(x)=nf(x).

**Paso 4: f(p/q)=(p/q)f(1)f(p/q)=(p/q)f(1) para p/qQp/q\in\mathbb{Q}.** Sea qZ+q\in\mathbb{Z}^+. Tenemos f(1)=f(q1q)=qf(1q)f(1)=f(q\cdot\frac{1}{q})=q\cdot f(\frac{1}{q}), luego f(1q)=f(1)qf(\frac{1}{q})=\frac{f(1)}{q}. Entonces f(pq)=pf(1q)=pqf(1)f(\frac{p}{q})=p\cdot f(\frac{1}{q})=\frac{p}{q}f(1).

Denotando c=f(1)c=f(1), concluimos f(x)=cxf(x)=cx para todo xQx\in\mathbb{Q}. Verificación: f(x+y)=c(x+y)=cx+cy=f(x)+f(y)f(x+y)=c(x+y)=cx+cy=f(x)+f(y). Correcto para cualquier cQc\in\mathbb{Q}.

f(x+y)=f(x)+f(y)    f(x)=cx para todo xQf(x+y) = f(x)+f(y) \implies f(x) = cx \text{ para todo } x\in\mathbb{Q}

La ecuación multiplicativa $f(xy)=f(x)f(y)$

La ecuación multiplicativa f(xy)=f(x)f(y)f(xy)=f(x)f(y) para todo x,yRx,y\in\mathbb{R} es la hermana de la ecuación de Cauchy. Las primeras sustituciones dan:

x=y=0x=y=0:** f(0)=f(0)2f(0)=f(0)^2, luego f(0){0,1}f(0)\in\{0,1\}.

**Si f(0)=0f(0)=0:** poner y=0y=0 da f(0)=f(x)f(0)=0f(0)=f(x)f(0)=0 para todo xx — pero eso es solo f(0)=0f(0)=0. Poner x=0x=0: f(0)=f(0)f(y)=0f(0)=f(0)\cdot f(y)=0 no dice que f0f\equiv 0. Sin embargo, si el dominio incluye un x0x_0 con f(x0)0f(x_0)\ne 0, poner y=0y=0: f(0)=f(x0)f(0)f(0)=f(x_0)f(0), luego f(0)(f(x0)1)=0f(0)(f(x_0)-1)=0, y como f(x0)0f(x_0)\ne 0, concluimos f(0)=1f(0)=1 — contradicción. Luego si f(0)=0f(0)=0, entonces f0f\equiv 0 (la función nula).

**Si f(0)=1f(0)=1:** ponemos y=1y=1: f(x)=f(x)f(1)f(x)=f(x)f(1), luego f(1){0,1}f(1)\in\{0,1\}; como f(1)=0f(1)=0 daría f0f\equiv 0 (con f(0)=1f(0)=1, absurdo), entonces f(1)=1f(1)=1. Ponemos y=1y=-1: f(x)=f(x)f(1)f(-x)=f(x)f(-1) para todo xx. Con x=1x=1: f(1)=f(1)f(1)=f(1)f(-1)=f(1)f(-1)=f(-1), trivial. Con x=1x=-1: f(1)=f(1)2=1f(1)=f(-1)^2=1, luego f(1)=±1f(-1)=\pm 1.

Relación con la ecuación de Cauchy. Si f>0f>0 en (0,)(0,\infty) y f(xy)=f(x)f(y)f(xy)=f(x)f(y), definimos g(t)=logf(et)g(t)=\log f(e^t). Entonces g(s+t)=logf(es+t)=logf(eset)=log(f(es)f(et))=g(s)+g(t)g(s+t)=\log f(e^{s+t})=\log f(e^s\cdot e^t)=\log(f(e^s)f(e^t))=g(s)+g(t). Así gg satisface la ecuación de Cauchy, luego g(t)=ctg(t)=ct, lo que da f(x)=xcf(x)=x^c para x>0x>0. Las soluciones continuas positivas de la ecuación multiplicativa son exactamente las potencias f(x)=xcf(x)=x^c.

Problemas iberoamericanos con ecuación de Cauchy disfrazada

Ejemplo 1 — disfraz aditivo-multiplicativo. Halla todas las f:R+R+f:\mathbb{R}^+\to\mathbb{R}^+ tales que f(xf(y))=yf(x)f(xf(y))=yf(x) para todo x,y>0x,y>0.

Ponemos x=y=1x=y=1: f(f(1))=f(1)f(f(1))=f(1). Sea c=f(1)c=f(1). Ponemos y=1y=1: f(xc)=f(x)f(xc)=f(x)... espera, f(xf(1))=1f(x)=f(x)f(xf(1))=1\cdot f(x)=f(x), es decir f(cx)=f(x)f(cx)=f(x) para todo xx. Ponemos x=1x=1: f(f(y))=yf(1)=ycf(f(y))=yf(1)=yc. Aplicamos ff: f(f(f(y)))=f(yc)f(f(f(y)))=f(yc). Pero f(f(f(y)))=f(yc)f(f(f(y)))=f(yc) y f(yc)=f(y)f(yc)=f(y) (por la relación f(cx)=f(x)f(cx)=f(x)). Luego f(f(y))=ycf(f(y))=yc y f(f(y))=ycf(f(y))=yc: consistente. Probamos que ff es inyectiva: si f(a)=f(b)f(a)=f(b), entonces yf(a)=f(af(y))=f(bf(y))=yf(b)yf(a)=f(af(y))=f(bf(y))=yf(b) para todo yy, luego f(a)=f(b)a=bf(a)=f(b)\Rightarrow a=b. Inyectividad + f(cx)=f(x)f(cx)=f(x) implica cx=xcx=x para todo xx, es decir c=1c=1. Luego f(1)=1f(1)=1 y f(f(y))=yf(f(y))=y: ff es involución. La ecuación original f(xf(y))=yf(x)f(xf(y))=yf(x) con ff inyectiva e involución da f(x)=1/xf(x)=1/x. Verificación: f(xf(y))=f(x/y)=y/x=y(1/x)=yf(x)f(x\cdot f(y))=f(x/y)=y/x=y\cdot(1/x)=yf(x). Correcto.

Ejemplo 2 — Ecuador iberoamericano. f(x+y2)=f(x)+2f(y)f(y)f(x+y^2)=f(x)+2f(y)f(y)... el patrón f(x+t)=f(x)+h(t)f(x+t)=f(x)+h(t) a menudo esconde una ecuación de Cauchy en hh. El análisis es: f(x+y2)f(x)=2f(y)2f(x+y^2)-f(x)=2f(y)^2 depende solo de y2y^2, lo que fuerza que ff sea par (si el dominio es R\mathbb{R}) y que f(y2)f(y^2) sea una función cuadrática.

Checklist: qué hacer cuando ves una ecuación funcional

1. Anota el dominio y codominio. 2. Sustituye x=y=0x=y=0, y=0y=0, y=xy=x, y=xy=-x en ese orden. 3. Busca si la ecuación puede transformarse en la ecuación de Cauchy (cambio de variable u=logxu=\log x, v=exv=e^x, etc.). 4. Determina f(0)f(0), f(1)f(1), f(1)f(-1) como valores ancla. 5. Intenta probar inyectividad o sobreyectividad (tema de la lección 3.3). 6. Formula tu candidato y verifícalo.

Un tip poderoso: si la ecuación funcional tiene la forma f(A(x,y))=B(f(x),f(y))f(A(x,y))=B(f(x),f(y)) donde AA y BB son operaciones algebraicas, pregúntate si el cambio de variable g=ϕfψg=\phi\circ f\circ\psi transforma AA en suma y BB en suma. Si la respuesta es sí, gg satisface la ecuación de Cauchy y puedes aplicar los resultados de esta lección.

Problemas del Capítulo 3 — con solución

8 problemas verificados. Intenta cada uno antes de abrir la solución.

A2-3.1★★Clásico olímpico

Halla todas las funciones f:RRf:\mathbb{R}\to\mathbb{R} tales que f(x+y)=f(x)+f(y)+2xyf(x+y)=f(x)+f(y)+2xy para todo x,yRx,y\in\mathbb{R}.

A2-3.2★★Cono Sur 2013 (adaptado)

Halla todas las funciones f:ZZf:\mathbb{Z}\to\mathbb{Z} tales que f(m+n)+f(mn)=f(m)f(n)+1f(m+n)+f(mn)=f(m)f(n)+1 para todo m,nZm,n\in\mathbb{Z}.

A2-3.3★★★Iberoamericana 2005, P2

Halla todas las funciones f:RRf:\mathbb{R}\to\mathbb{R} tales que f(xf(y))=f(f(y))+xf(y)+f(x)1f(x-f(y))=f(f(y))+xf(y)+f(x)-1 para todo x,yRx,y\in\mathbb{R}.

A2-3.4★★★IMO Shortlist 2010 A1

Halla todas las funciones f:RRf:\mathbb{R}\to\mathbb{R} tales que para todo x,yRx,y\in\mathbb{R}: f(xy)=f(x)f(y)f(\lfloor x\rfloor\cdot y)=f(x)\cdot\lfloor f(y)\rfloor.

A2-3.5★★★Cono Sur 2017, P3

Halla todas las funciones f:R+R+f:\mathbb{R}^+\to\mathbb{R}^+ tales que f(x+f(y))=f(x)+yf(x+f(y))=f(x)+y para todo x,yR+x,y\in\mathbb{R}^+.

A2-3.6★★★★IMO 1987, P5

Halla todas las funciones f:NNf:\mathbb{N}\to\mathbb{N} tales que f(f(n))+f(n+1)=n+2f(f(n))+f(n+1)=n+2 para todo nNn\in\mathbb{N} (donde N={1,2,3,}\mathbb{N}=\{1,2,3,\ldots\}).

A2-3.7★★★★Iberoamericana 2012, P3

Halla todas las funciones f:RRf:\mathbb{R}\to\mathbb{R} tales que f(xf(x)+f(y))=f(x)2+yf(xf(x)+f(y))=f(x)^2+y para todo x,yRx,y\in\mathbb{R}.

A2-3.8★★★★IMO Shortlist 2015 A2

Determina todas las funciones f:ZZf:\mathbb{Z}\to\mathbb{Z} con la propiedad de que f(c)f(c) y f(d)f(d) son coprimos siempre que cc y dd son enteros con cd=1|c-d|=1.