数学の実解析におけるコーシーの函数方程式（コーシーのかんすうほうていしき、）は、オーギュスタン・ルイ・コーシーがその著書『解析教程』において扱ったことに名を因む、 で与えられる函数方程式である。一般に、この方程式を満足する函数・写像は加法的であると言う（しかし、以下、本項では として実函数の場合のみを取り扱う）。 この方程式を 上で（つまり有理変数有理数値の函数）で考える場合、初等代数学的な方法で解函数が ( は有理数) という形の函数族（-線型写像）のみであることが確かめられる。 上で実函数解を考えるとき、 を任意の実数に取り換えた族 はやはりこの方程式の解となるが、それ以外にも極めて複雑な解が存在しうる。それでもなお、適当な「正則性条件」を設定することによって、病的な解を排除することはできる（中には極めて弱い条件のものもある）。例えば、加法的函数 が -線型となる条件として以下のようなものが挙げられる: 連続性: が の至る所で連続 . より弱く、 が少なくとも一点で連続 (Darboux in 1875). 単調性: が任意の区間上で単調. 有界性: が任意の区間上で有界(S.Pincherle and U.Amaldi 1901). 可測性: がルベーグ可測(M.R.Fréchet 1913). ある正の開区間では同符号(Darboux 1880).
逆に に何の制約条件も課さなければ、（選択公理を仮定して）無限個の非線型函数がこの方程式を満足することが示せる。1905年には、今日ではハメル基底と呼ばれる の 上の基底を用いて、それを証明した。そのような解函数はハメル函数と呼ばれることもある。
ヒルベルトのはこの方程式の一般化である。実数 が存在して となるような解函数は、コーシー-ハメル函数と呼ばれ、を三次元からより高次元へ拡張するのに用いるデーン-ハドヴィガー不変量に用いられるBoltianskii, V.G. (1978) "Hilbert's third problem", Halsted Press, Washington。
ℚ 上の解 初等的な四則演算しか含まない簡単な議論によって、有理数変数有理数値の加法的函数 の概念が 上の -線型写像の概念と同じものを定めることが示せる。
定理 函数 が加法的ならば、 は -線型である。 証明の概略 加法性から明らかに および は任意として、自然数 に対して が分かる。これにより から および自然数 に対して から . ゆえに任意の有理数 ( は自然数) に対して、.
ℝ 上の非線型解の存在 上の線型性証明の議論は、任意の実数 を用いてスケール変換した のコピー に対する函数 でも有効である。つまり、そのような集合に の定義域を制限すれば線型解に限られ、したがって一般に任意の と任意の に対して が成り立つ。しかし以下に示すように、実数体 を有理数体 上のベクトル空間と見ることにより、これら -線型解に基づいて極めて病的な解 を見つけることができる。ただし注意すべきは、これが非構成的方法であることである。それはツォルンの補題によって示される、任意のベクトル空間に基底が存在することを用いた議論だからである。
さて、任意のベクトル空間は基底を持つのだから、実数体 にも 上のベクトル空間としての基底が存在する。それは部分集合 であって、各 に対して の適当な有限部分集合 (つまり ) が存在して、何れも非零な定数 を用いて の形に一意的に表すことができるという性質を持つものである。しかし、そのような の -基底を構成的な方法で明示的に与えることはできないから、求める病的な解函数も同様に明示的に構成することはできないことを再度断っておく。
既にみた通り、各 に対して を に制限したものは を比例定数とする -線型写像 でなければならない。各 が の一意的な有限線型結合として表されるから、 が加法的との仮定のもとで、 と置くことにより、任意の に対して は矛盾なく定まる。基底に対する の値 に基づいて定義した がコーシーの函数方程式を満足することを確かめるのは難しくない。さらに言えば、任意の解函数がこのようにして得られることも明らかである。特に、方程式の解函数が -線型となるための必要十分条件は、 が に依らず一定となることである。ある意味、非線型解を明示できないにもかかわらず、コーシーの函数方程式の解函数は（濃度の意味で）「ほとんど」が実際に非線型な病的解である。
関連する方程式
コーシーの『解析教程』第5章「ある条件を満たす一変量の連続関数を決定すること.」の §1 には "二つの同じ形の一変量の関数を互いに加えたり乗じたりするとき, その和または積として, それぞれの関数の変化量の和または積の同じ形の関数が与えられるという性質をもつ連続関数を探し出すこと." という節題が付けられていて、（上で見た方程式を含む）以下の方程式およびその実連続函数解が考察されている:
: 解は線型函数 , : 解は指数函数 , : 解は対数函数 , : 解は冪函数 .
明らかに零函数はこの何れの方程式も満たし、自明な解と呼ばれる。コーシーの著書に従えば、2–4 の非自明な連続解は、変域等に注意しつつ 1 に帰着することで得られる（2 は 1 の証明を乗法的になぞる方法でも示されている）: 例えば 2 は、 に注意して、両辺の対数（底は何でもよい）を取れば ゆえ 1 を に適用して から を得る（ここでの を上では改めて と書いている）。 3 は によって （つまりこの は の底）と書けば、 となり に関して 1 の形であるから、, したがって 4 は 3 と同様の置き換えで 2 に帰着すれば , 変数を戻して となる。
注 注釈
出典
参考文献
. 邦訳:
風巻紀彦(2005), 凸関数論, 横浜図書,
外部リンク
Solution to the Cauchy Equation Rutgers University The Hunt for Addi(c)tive Monster
Hamel basis and additive function