Definir $\text{sdig}(n)$ a la suma de los dígitos decimales de $n$ donde $n$ es un entero positivo. Mi pregunta es la siguiente:
¿Existe una función de $h:\mathbb Z^+\mapsto\mathbb Z^+$ tal que $$(h\circ h)(n)=\text{sdig}(n)$$ para todos los $n\in\mathbb Z^+$? Es decir, ¿existe un funcional de la raíz cuadrada de la suma de dígitos de la función?
Hasta ahora, este problema ha dejado perplejos a mí. He demostrado que si ese $h$ existe, se deben de viajar con la suma de dígitos de la función. También he demostrado que si $S_a$ es el conjunto de números cuya suma de dígitos es $a$, entonces para todos los $a$, existe alguna $b$ de manera tal que la función de $h$ mapas de todos los elementos de a $S_a$ a los elementos de $S_b$. Sin embargo, si estos descubrimientos conducen a la construcción de una función o de la prueba de su inexistencia, no sé.
Alguna idea?