Saturday, 11 April 2015

analysis - How bad can perturbing a functional equation really make things?




A long time ago, I found occassion to find solutions to a functional equation of the following form



f(xy)=f(x)f(y)+δ with δR.



Using the same exact techniques as in solving the case where δ=0, you can show that the family of solutions on the rationals is given by fδ(x)=χR+(x)(f(1)δ)x+δ, with the same Hamel basis argument going through as usual to show the general solution.



It seems worthwhile to try this technique out elsewhere. For the equation f(xy)=f(x)f(y)+δ, however, things already seem more complicated - for instance, we must have that f(0),f(1)=1±14δ and that f(xm)=m/2k=2δf(x)m2k. It seems that the usual tricks aren't going to work. My question, as it pertains to this and other examples, is whether or not there is something akin to reducing functional equations to a homogenous case, and as whether or not there are other methods such problems are amenable to.


Answer



For the equation f(xy)=f(x)f(y)+δ, simply let g(x)=f(x)δ, then the given equation becomes g(xy)=g(x)g(y). (The same equation but with δ=0)




For the equation f(xy)=f(x)f(y)+δ, where δ0:



Substituting y=0 gives f(0)=f(x)f(0)+δ.



Since δ0,f(0)0, so f(x)=f(0)δf(0)=c, for some constant c. Putting this into the original equation we get c=c2+δ, so that c=1±14δ2. (Note: if you do not restrict the domain of f(x) to be R, all δ work, while if you did restrict to R, you would require δ14.)



If you add a parameter δ to the equation, typically 1 of 2 things happen:





  1. You can find a suitable transformation of f(x) to eliminate δ, e.g. g(x)=f(x)δ in the equation f(xy)=f(x)f(y)+δ. For the equation f(xy)=f(x)f(y)δ suggested in the comment, just use g(x)=f(x)δ for δ0. (For δ=0, clearly f(x)=0x)

  2. The introduction of δ0 allows you to exploit δ to get further restrictions for the function, as I did for the equation above. Note that f(xy)=f(x)f(y) has continuous solutions xa (and many more which are discontinuous, similar to the Cauchy equation), while f(xy)=f(x)f(y)+δ only has solutions f(x)=1±14δ2.


No comments:

Post a Comment

real analysis - How to find limhrightarrow0fracsin(ha)h

How to find limh0sin(ha)h without lhopital rule? I know when I use lhopital I easy get $$ \lim_{h\rightarrow 0}...