自己紹介とコーシーの関数方程式の紹介

はじめに

初めましてこんにちは、AGAです。
A・・・Analysis(解析学)
G・・・Geometry(幾何学)
A・・・Algebra(代数学))
ということで、間接的に全ての数学を表したつもりです。ハゲではないので、「アガ」「すうがく」「解幾代」などのように読んでいただけると助かります
中学生をやっていて数学は全体的に好きです(2021/12/19現在)。
ただ、飽きっぽく忘れやすいです。

関数方程式とは？

関数方程式というのは関数を求める方程式のことです。
たとえば、いわゆる円の方程式$x^2 + y^2 =1$の$y$を$f(x)$とした
$x^2 + (f(x))^2=1$としたものも関数方程式になります。
この場合、解は$f(x)= \pm \sqrt{1-x^2} $となります。

コーシーの関数方程式

もう本題です

線形性の定義そのままだから$f(x)=ax(aは定数)$で満たしそうですが
方程式だから全ての解を求める必要があります。
そのため１から考えます

自然数の範囲

自然数では数学的帰納法がうまく使えます

整数の範囲

整数の範囲では1つ補題を作るとうまくいきます

有理数の範囲

ここからすぐに、任意の有理数$r$について$f(r)=rf(1)$がわかり、
$f(1)$は定数だから$a=f(1)$とすると$f(r)=ar$がいえる。

$f(x)$を連続関数とするとコーシーの関数方程式を満たす実関数は$f(x)=x$しかありません。
しかし、連続関数を仮定しないと無数に病的な関数が存在するらしいです。

応用

コーシーの関数方程式にはいくつか派生したものがあります。
以下$a$を定数とします

1つ目

$f(x+y)=f(x)f(y)$
$f(x)=e^{g(x)}$とすると、
$e^{g(x+y)}=e^{g(x)}e^{g(y)}$
$e^{g(x+y)}=e^{g(x)+g(y)}$
$g(x+y)=g(x)+g(y)$
とコーシーの関数方程式の形に帰着できます。
解は$f(x)=a^x(a\geq0)$です。

2つ目

$f(xy)=f(x)+f(y)$
$f(x)=g(\log{x})$とすると、
$g(\log{xy})=g(\log{x})+g(\log{y})$
$g(\log{x}+\log{y})=g(\log{x})+g(\log{y})$
とコーシーの関数方程式の形に帰着できます
解は$f(x)=\log_{a}\vert x \vert,0$です。

3つ目

$f(xy)=f(x)f(y)$
$f(x)=e^{g(\log{x})}$とすると
$e^{g(\log{xy})}=e^{g(\log{x})}e^{g(\log{y})}$
$e^{g(\log{x}+\log{y})}=e^{g(\log{x})+g(\log{y})}$
$g(\log{x}+\log{y})=g(\log{x})+g(\log{y})$
とコーシーの関数方程式の形に帰着できます
解は$f(x)=x^a ,0$です。

次回予告(もし次回があり、覚えてれば)

次回からはコーシーの関数方程式とその応用を組み合わせたものを書いていきたいと思います。
今回は連続関数を仮定した話ですが次回は仮定しません
もしこれを読んでいる人がいたら考えてみてください。