Let R>0 be the set of the positive real numbers. Find all functions f:R>0→R>0 such thatf(xy+f(x))=f(f(x)f(y))+xfor all positive real numbers x and y.
出典は こちら .
f(x)=xだけであることを示す.これが解なのは明らかなので他にないことを示す.与式をP(x,y)で表す.
Claim. f(x)⩾x.
f(x)<xなるxが存在したとき,P(x,x−f(x)x)より,f(x)−x=f(something)>0となり矛盾する.
Claim. x<1のとき,f(x)<1.
x<1に対して,P(x,y=f(x)1−x)を考える(xy+f(x)=yに注意する):f(y)=f(xy+f(x))=f(f(x)f(y))+x⩾f(x)f(y)+x.これは,f(x)<1を意味している.
Claim. 0に収束し,limi→∞f(ai)→0をみたす数列{ai}i∈Z>0が存在する.
x<1とする.P(x,1−f(x)2x)より,0<f(f(x)f(1−f(x)2x))=f(1+f(x)2)−x<1−x.よって,はさみうちの原理より,limx→1−0f(f(x)f(1−f(x)2x))=0.また,0<f(1−f(x)2x)⩽f(f(x)f(1−f(x)2x))f(x)より,limx→1−0f(x)=1に注意すると,limx→1−0f(1−f(x)2x)=0.同様に,limx→1−01−f(x)2x=0.したがって,ai=1−f(1−1i+1)2(1−1i+1)などが条件をみたす.
Claim. limx→∞f(x)x=1
0に収束し,limx→∞f(ai)=0をみたすような数列{ai}i∈Z>0を一つ選ぶ.P(x,ai)より,f(xai+f(x))=f(f(x)f(ai))+x⟹xai−f(f(x)f(ai))⩽x−f(x).ここで,十分な大きなiをとることで−1<xai−1<xai−f(f(x)f(ai))とすることができる.あとは,1⩽f(x)x<1+1xでx→∞とすればはさみうちの原理より,主張を得る.
Claim. f(x)=x.
f(xy+f(x))xy+f(x)⋅(y+f(x)x)=f(f(x)f(y))f(x)f(y)⋅f(x)x⋅f(y)+1ここで,x→∞とすれば,f(y)=y.
たぶん,上手くやればlimx→+0f(x)=0が示せると思いますが,もっと弱いやつで十分だなと確認できたので,深掘りしませんでした.あとは,単純に極限の操作が自信がなかったので(証明はできたけど自信がまったくない)はさみうちの原理とか割と簡単なことだけしか使えませんでした.
バッチを贈ると投稿者に現金やAmazonのギフトカードが還元されます。