This type of equation is not solved, it is piddled with. You have to understand the relations between the values it implies, together with constraints from continuity.
When you say about a function that \tilde\psi(s)= g(\tilde\psi(h(s))), you are saying that the value at x is related to the value at h(s). This means that it is related to the value at h(h(s)), and the study of the equation is related to the study of the iterations of the function h (both positive and negative iterations, so you need all the back images too), so that you know which quantities are independent. Then you have infinitely many equations on these quantities, and further constraints from differentiability/continuity if you wish to impose it.
In this case $h(s)=s/b$, $g(s) = as$, and the equation you give follows. The iteration of h(x) is very simple:
$$h(h(h(...\mathrm{n-nestings} ... h(x)...) = {x\over b^n}$$.
There is a nice trick for reducing the annoyance in the iterations, which is to switch from s to another logarithmic variable $x$ such that $s=e^x$. Then dividing $s$ by $b$ is shifting $x$ by $\log(b)$. The iterates of shifting is just adding an integer multiple of $\log(b)$, so you learn that
$$ \psi(x) = {1\over a} \psi(x+\log b)$$
where $\psi$ is the same as $\tilde\psi$ except with an exponential relabling of the x-axis.
$$ \psi(x) = \tilde\psi(e^x)$$
The point is that there is a periodicity condition, which states that the value at $x+n\log(b)$ for any integer n is uniquely determined to be ${1\over a^n}$ times the value at x. By rescaling x, you can make the period equal to 1.
The values of the function are therefore determined by the values between 0 and 1.
The values at some other x is determined by multiplying by ${1\over a^n}$ where n is the integer part of x. So that if you consider
$$ \psi(x) = {1\over a^x} K(x) $$
Then $K$ is a function of x which must be periodic with period 1. In terms of the original variables, you find your ansatz, except you neglected to say the function $K$ is periodic as a function of x, with period $\log b$. Periodicity is a strange sort of log-periodicity in the space.
I should point out that this method only works for positive a,b and for positive s, so that the logarithm is the real line. I didn't bother with the other cases, because they are unlikely to be physics, but you might want to ask on math.