7

競技数学典型/関数不等式(AoPSより)

750
0
$$$$

はじめに

みなさんこんにちは!今回は関数方程式の重要なテクニックを含む問題を二問解説していきます.単射や全射などの最低限の知識は前提にして解説していきますのでご容赦ください.

※ミス等ありましたら,コメント等でご指摘お願いします.

問題+解説

正実数に対して定義され,実数値をとる関数$f$は任意の正実数$x,y$に対して以下を満たす.$f$としてありうるものを全て求めよ.

$$・f(x)+f(y) \le \frac{f(x+y)}{4} \\・ \frac{f(x)}{y}+\frac{f(y)}{x} \ge (\dfrac{1}{x}+\dfrac{1}{y})\cdot\dfrac{f(x+y)}{8}$$

AoPSは こちら .

①解の予想

解の予想をしましょう.予想すると,一次関数は満たさず,$f(x)=0$くらいしかなさそうだな〜ということがわかります.暫定的には$f(x)=0$のみであることを示す方針でいきましょう.

②式を観察する

色々な数値を代入してみましょう.定義域が$\mathbb{R}^+$の関数方程式なので$0$を代入することはできないことに注意しましょう.例えば,$(x,y)=(t,t)$を代入してみます.すると,$f(2t)=8f(t) \ \forall_t \in \mathbb{R}^+$を得ます.これはとても強力な式ですね.ここで,与えられた式をもう少しいじってみましょう.与えられた式をつなげてみると以下のようになります.

$$ 4f(x)+4f(y) \le f(x+y) \le \dfrac{8}{x+y}(xf(x)+yf(y)) \forall_{x,y}\in \mathbb{R}^+ $$

二つに式を一つの式にすることで最左辺と最右辺を比べて新たに情報を抽出することができます.$4f(x)+4f(y) \le \dfrac{8}{x+y}(xf(x)+yf(y))$を整理して見ましょう.すると以下のようになります.

$$ (x-y)(yf(x)-xf(y)) \ge 0 \ \ \ \ \forall_{x,y}\in \mathbb{R}^+ $$

これは$f$が広義単調増加関数であることを意味しています.とりあえず,パッと式を見て思いつくものはこれくらいでしょうか...?

③得られた道具をもとに考察を深める

ここで,$f(2x)=8f(x)$という等式があったことを思い出して見ましょう.それに広義単調増加関数であるという情報を加えると導かれることはなんでしょうか...?

そうですね,$f$の値域が$0$以上であるということです.従って,以下のような不等式評価ができるようになるのです.
$$f(x+y)=4f(x)+4f(y) \ge 4f(x)$$
さて,ここで違和感を持てるととてもセンスがあると思います.(僕には無理でした...)
$f(2x)=8f(x)$
$f(x+y) \ge 4f(x)$
$f$は広義単調増加関数
$y$は正実数ならばどんな値でも良いんです.$2y < x$なる$y$を取ってくると面白いことが起こります.

$8f(x) = 2f(x) \ge f(x+2y) \ge 4f(y)+4f(x+y) \ge 4f(y)+ 4(4f(x)+4f(y)) \ge 16f(x)$

以上の不等式から$f(x)=0$であるとわかります.

$ $

(数の大小に対する感覚はとても大事なように感じます.$f(x+ny)$という形を$f((x+(n-1)y)+y)$と見立てるのはとても有用なことが多いです.)

実数に対して定義され,実数値をとる関数$f$は任意の正実数$x,y$に対して以下を満たす.$f$としてありうるものを全て求めよ.

$$f(x+y)+yf(x) \le x+f(y)+f(xy)$$

AoPSは こちら

①答えの予想

これは$f(x)=x$くらいしか無さそうですね.

②式を観察する

やはり,一つの不等式しかないというところが特徴的ですね.本当に求まるのかなぁという気持ちになってしまいますね.とりあえず,値を代入するところから始めていきましょう.$(x,y)=(0,x)$を代入することで,$xf(0) \le f(0)$であるので$f(0)=0$を得ます.さらに,$(x,y)=(x,0)$とすることで$f(x) \le x$を得ます.ここから$(x,y)=(x,x)$$(x,y)=(x,-x)$など色々試しても上手くいかないことがわかると思います.そこで少し具体的な値を求めることを考えて見ましょう,例えば,$f(1)$の値を求めることを考えて見ましょう.

(なぜ急に具体的な値を求めるのか?という疑問が挙がるかもしれませんが,これは「できることがそれくらいしかないこと」+「具体的な値を求めることが議論が進むことが多いこと」が理由です.今回は$f(1)$なんかが求められそうだったのでとりあえず$f(1)$の値について考えてみます.)

$(x,y)=(-1,1)$と先ほど得られた結果より,以下が成り立ちます.

$$ f(-1) \le -1+f(1)+f(-1) \Longleftrightarrow 1 \le f(1) \le 1 $$

よって$f(1)=1$です.不等式のFEでは$k \le ○ \le k $という形で挟むくらいしか確定させる方法がないですね.$(x,y)=(1,-1)$を代入することで$f(-1)=-1$も得ることができます.

③f(1)の値を生かす

せっかくこれらの情報を入手したので生かしたいです.$(x,y)=(1,x)$$(x,y)=(x,1)$など色々試して見ましょう.すると以下の式を見つけると思います.$(x,y)=(x+1,-1),(1,x)$を代入すると良いですね.
(実際のところこの代入を思いつくのはとても難しいですね.しかしながら,$f(1)$$f(-1)$の値がわかっていることなどを考えると,さほど天下り的ではありません.)

$$ f(x)+1 \le f(x+1), x+f(x+1)\le 1+2f(x) $$

これらを組み合わせて,$f(x)+1+x \le 1+2f(x)$,すなわち$x \le f(x) \le x$なので$f(x)=x$であるとわかります.

終わりに

 関数不等式では基本的に決め手は$○ \le f(x) \le ○$で挟むしかありません.最終的にはそれらを使って$f(x)$を評価する必要があることを頭に入れておくと解きやすいかもしれません.今回扱った問題に出てくるテクニックはどれも重要なものなので知らなかった人は「こんな方法があるのか〜」程度に知っておいてください.

投稿日:20221126
OptHub AI Competition

この記事を高評価した人

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

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

バッジはありません。

投稿者

自己満足

コメント

他の人のコメント

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