数学、及びその応用分野において、関数方程式(かんすうほうていしき、functional equation)は、単一の(または複数の)関数のある点と他の点での値の関係を示す方程式である。関数の性質は、与えられた条件を満たす関数方程式の種類などをもとに決定することができる。通常は代数方程式に帰着できない方程式を指す。
リーマンゼータ関数やその類似物が満たす特殊な関数方程式は、関数等式と呼ばれることが多い。
リーマンゼータ関数 ζ は関数方程式
![{\displaystyle \zeta (s)=2^{s}\pi ^{s-1}\sin \left({\frac {\pi s}{2}}\right)\Gamma (1-s)\zeta (1-s)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/16c0dcb4535d0e42b3e09cff1736643170ad9e71)
を満たす。ただし大文字の Γ はガンマ関数である。
ガンマ関数は以下の関数方程式を満たす。ガンマ関数は、以下の3本の方程式からなる系を満たす唯一の関数である。
![{\displaystyle {\begin{cases}f(x)={\dfrac {f(x+1)}{x}}\\f(y)f\left(y+{\dfrac {1}{2}}\right)={\dfrac {\sqrt {\pi }}{2^{2y-1}}}f(2y)\\f(z)f(1-z)={\dfrac {\pi }{\sin(\pi z)}}\end{cases}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/158a7ab273637783a012ad8377acb47154696235)
関数方程式
![{\displaystyle f\!\left({az+b \over cz+d}\right)=(cz+d)^{k}f(z)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/086a61ec802292fa8b94ac5ca60895448b721f0d)
は k 次の保型形式を定義する。ただし a、b、c、d は ad − bc = 1 を満たす整数とする。
その他にも多くの例を挙げることができる。
- すべての指数関数は
を満たす。
- すべての対数関数は
を満たす。
(コーシーの関数方程式)
(中線定理、平行四辺形の法則)
(イェンゼン)
(ダランベール)
(シュレーダー方程式)
(アーベル方程式)
漸化式、例えば
![{\displaystyle a(n)=3a(n-1)+4a(n-2)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1c779f9e7404bc7566219cf01fcfbf8124c8a664)
は整数変数の未知函数と平行移動作用素からなる関数方程式の一種である。
可換律、結合律も関数方程式の一種である。例えば結合律は、よく見る形だと二項演算の記号を二つの変数に中置して
![{\displaystyle (a*b)*c=a*(b*c)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1b5f454bc3f6f4cd80632e092956d92ce2afd5e8)
のように書かれるので函数方程式であるということが直観的には見えにくいが、ここで a ∗ b などと書く代わりに写像の記法に従って ƒ(a, b) などと書けば、結合法則の式は
![{\displaystyle f(f(a,b),c)=f(a,f(b,c))}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e1920afc59d9fd015bace49384bbce8ed531a1ee)
と、それらしく書き表される。
上の例に共通しているのは、複数の既知関数(たとえば、定数倍や二つの変数の和や積など)が、求める未知関数に代入される点である。
関数方程式の求解は非常に難しいこともあるが、いくつかの解法が知られている。
対合を考えることは有益である。例えば、関数
![{\displaystyle f(x)={\frac {1}{x}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4ce585154e4780be88423541d65e57da942e543e)
を考える。これが
![{\displaystyle f(f(x))=x}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d04c2f87b1313815142f4089bddf9881977e4bdf)
を満たすことに注意すれば、さらに f を繰り返し施した結果として、f の偶数回の合成でx、奇数回の合成でf(x)となることがわかる。こういった考え方は様々な場合に適用することができて、たとえば
![{\displaystyle f(x)={\frac {1}{1-x}},\quad f(x)=1-x}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6f17883c19a3bddd074c8b62faa8cb87c6f6037c)
などに対しても同様のことができる。
例1: 実数値関数fに関する方程式
を解くことを考える。
とすると、
![{\displaystyle f(0)^{2}=f(0)^{2}+f(0)^{2}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0120f7479fd44581bf569424eac5cca9f6d23e5d)
![{\displaystyle \Leftrightarrow f(0)^{2}=f(0)=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/013bf19aa497406d71067021ca41e47dedd6b7ed)
とすると、
![{\displaystyle f(x-x)^{2}=f(x)^{2}+f(-x)^{2}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/30e01687031ee7721fdc5abdd7916f6422ce301b)
![{\displaystyle f(0)^{2}=f(x)^{2}+f(-x)^{2}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4a9c13312f8023ea21ad4a8f86e886b1f78acebc)
![{\displaystyle 0=f(x)^{2}+f(-x)^{2}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/54c2a8df1753502fcdaafc94c07a2ba4e49e9c82)
よってすべてのxについて
となるので、
が唯一の解である。
関数f(x)について、「連続性や微分可能性といった厳しい条件を設定すると」、関数は一意に定まることが多い。
以下、f(x)についての連続性と微分可能性を仮定する。
例1:
・・・※
- (1) ※の両辺にx=y=0を代入すると、
![{\displaystyle f(0)=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8d308c32c9894b88115262081194321ae7d9bbf3)
- (2) ※の両辺をxで偏微分すると、
![{\displaystyle f'(x+y)=f'(x)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6927d00ff0b58e59ebbfb1c662d5372eff82b082)
- これにx=0を代入すると、
![{\displaystyle f'(y)=f'(0)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b9d5bca9e12dd87ef1110982f7942d1ffd0b0fc8)
- この微分方程式を解き、
![{\displaystyle f(y)=f'(0)y}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c7721e66abd00a85d9ba3d829ee54516e0b29883)
- 対称性より、
![{\displaystyle f(x)=f'(0)x}](https://wikimedia.org/api/rest_v1/media/math/render/svg/46118ab5631652087b0927e31f65a7ec467772b7)
例2:
・・・※
- (1) ※の両辺にx=y=0を代入すると、
![{\displaystyle f(0)=0,\pm 1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5a4aa8a828147d6f63aff2ba048d526b1b08e4e4)
- (2) ※の両辺をxで偏微分すると、
![{\displaystyle f'(x+y)={\frac {f'(x)(1+f(x)f(y))+f'(x)f(y)(f(x)+f(y))}{(1+f(x)f(y))^{2}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b5b6ae27b93c7b90fc927d98a7c840e101173a7f)
- (2-1) これに
を代入すると、![{\displaystyle f'(y)=f'(0)(1-f(y)^{2})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/719de9fb18f3ddeb5b4bd2af70ea883fd296752d)
- この微分方程式を解き、
![{\displaystyle f(y)=\tanh(f'(0)y)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5240276f890e86038efbee7f1a0f4f7f2edbf22e)
- 対称性より、
![{\displaystyle f(x)=\tanh(f'(0)x)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/dd63599db09f6cb82c6e9738ea126ff09f8dacc4)
- (2-2) 以下、複号同順とする。
- これに
を代入すると、![{\displaystyle f'(y)=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/74cb63c24ac7fdbd261edbe306b955b9410b6cc1)
- この微分方程式を解き、
![{\displaystyle f(y)=\pm 1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/88765e6abfbe36f1a8af86f8613ac01ba7a3eb76)
- 対称性より、
![{\displaystyle f(x)=\pm 1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a88ad89a099107ff64ba621801d3f5d4b078175f)
- (なお、※はtanh関数の加法定理に相当し、(2-2)の解は(2-1)の解の漸近線を表す。)