0

ELMOのFEを解いてみた(雑)

239
0

中途半端で雑です

解いてみた

2019ELMO.SLP.A5.

Find all nondecreasing functions f:RR such that, for allx,yR,f(f(x))+f(y)=f(x+f(y))+1.

(日本語で書くのがめんどくさいので,コピペ)
問題は ここらへんから .

ぱっと見て,f(x)=1,x+1かな?恒等のほうがやりやすそうだし,f(x)=g(x)+1とおいて,元の式に代入してみる:
P(x,y)g(g(x)+1)+g(y)=g(x+g(y)+1)まず,P(0,0)より,g(0)=0.P(0,x)P(x,0)の比較によって,(1)g(x+1)=g(x)+g(1). (1)P(x,0)より, (2)g(g(x))=g(x).(1),(2)を用いて,P(x,y)を変形すると,Q(x,y)g(x)+g(y)=g(x+g(y)).情報を上手く分けることができたし,任意のx,yRP(x,y)をみたすことと(1)(2)Q(x,y)をみたすことは同値ですね.上手くいってそうな気がしますが(2)Q(x,y)から嫌な臭いがしてきますね. IMO でありましたね.あまりすっきりした解ではなかったような気がするので,この問題も非自明なものがあるのかもしれないですね...ですが,(1)がどうにかしてくれることを願いましょう.

さて,c=g(1)=0のとき,任意のnZに対して,g(n)=cn=0が成り立ち,もちろんgも非減少なのでg(x)=0が必要.Q(x,y)で色々すると,g(ng(x))=ng(x)  (nZ,xR)が成り立ち,特にg(cn)=cn=g(n)が分かる.c0のときを考える.c<0なら0[c,1]よりc=0となるから不適で,c1なら大きいところで一定になるが,(1)より不適.つまり,c=1が言えた.これによって,(1)が消え,c=1という情報しか残りませんでした😱.恒等と定値以外にもあるのだと覚悟を決めました.

色々したら,g(mg(x)+ng(y))=mg(x)+ng(y)  (m,nZ,x,yR)なので,(3)x,yg(R),m,nZ,mx+nyg(R).これは,g(R)が稠密でなかったら,g(R)Q (クロネッカーの定理)かつg(R)の元(0は考えない)を既約分数で表した時の分母すべてのgcdは有限である.(n>0とおく.)一般化されたベズーの補題より1ng(R)なので,(3)よりg(R)={,2n,1n,0,1n,2n,}.(2)より,g(1n)=1nQ(x,1n)より,(4)g(x)+1n=g(x+1n).(4)より,g1(0)={x:g(x)=0}は半開区間で,g1(0)=[a,a+1n)or(a1n,a]  (a[0,1n))と書ける.それぞれのときg(x)=1nn(x+a),g(x)=1nn(xa)が必要.

逆にg(R)が稠密なら非減少なので,gは連続で,(2)より,g(x)=xが必要.

十分性は明らか.(必要十分条件を追っていけば簡単.)よって求める解は,f(x)=1,f(x)=x+1,f(x)=1nn(x+a)+1,f(x)=1nn(xa)+1  (nZ>0,a[0,1n))

感想

同値を意識すると,変な解があっても落ち着いて対処できるかもしれないなって思いました.

投稿日:2023119
OptHub AI Competition

この記事を高評価した人

高評価したユーザはいません

この記事に送られたバッジ

バッジはありません。
バッチを贈って投稿者を応援しよう

バッチを贈ると投稿者に現金やAmazonのギフトカードが還元されます。

投稿者

kk2
kk2
58
9221
2006年に生まれました

コメント

他の人のコメント

コメントはありません。
読み込み中...
読み込み中