関数方程式のソースを表示

数学、及びその応用分野において、'''関数方程式'''（かんすうほうていしき、functional equation）は、単一の（または複数の）[[関数 (数学)|関数]]のある点と他の点での値の関係を示す方程式である。関数の性質は、与えられた条件を満たす関数方程式の種類などをもとに決定することができる。通常は[[代数方程式]]に帰着できない方程式を指す。

[[リーマンゼータ関数]]やその類似物が満たす特殊な関数方程式は、[[関数等式]]と呼ばれることが多い。

== 例 == 
[[リーマンゼータ関数]] &zeta; は関数方程式
:<math>\zeta(s) = 2^s\pi^{s-1}\sin\left(\frac{\pi s}{2}\right)\Gamma(1-s)\zeta(1-s)</math>
を満たす。ただし大文字の &Gamma; は[[ガンマ関数]]である。

[[ガンマ関数]]は以下の関数方程式を満たす。ガンマ関数は、以下の3本の方程式からなる系を満たす唯一の関数である。
:<math>\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}</math>

関数方程式
:<math>f\!\left({az+b\over cz+d}\right) = (cz+d)^k f(z)</math>
は ''k'' 次の[[保型形式]]を定義する。ただし ''a''、''b''、''c''、''d'' は ''ad'' &minus; ''bc'' = 1 を満たす整数とする。

その他にも多くの例を挙げることができる。
*すべての[[指数関数]]は <math>f(x + y) = f(x)f(y)</math> を満たす。
*すべての[[対数関数]]は <math>f(xy) = f(x) + f(y)</math> を満たす。
*<math>f(x + y) = f(x) + f(y)</math>  （[[コーシーの関数方程式]]）
*<math>f(x + y) + f(x - y) = 2[f(x) + f(y)]</math> （[[中線定理]]、平行四辺形の法則）
*<math>f((x + y)/2) = (f(x) + f(y))/2</math> （イェンゼン）
*<math>g(x + y) + g(x - y) = 2[g(x) g(y)]</math> （ダランベール）
*<math>f(h(x)) = cf(x)</math> （[[シュレーダー方程式]]）
*<math>f(h(x)) = f(x) + 1</math> （[[アーベル方程式]]）

[[漸化式]]、例えば
:<math>a(n) = 3a(n-1) + 4a(n-2)</math>
は[[整数]]変数の未知函数と[[平行移動作用素]]からなる関数方程式の一種である。

可換律、結合律も関数方程式の一種である。例えば結合律は、よく見る形だと二項演算の記号を二つの変数に中置して
:<math>(a*b)*c = a*(b*c)</math>
のように書かれるので函数方程式であるということが直観的には見えにくいが、ここで ''a'' &lowast; ''b'' などと書く代わりに写像の記法に従って ''&fnof;''(''a'', ''b'') などと書けば、結合法則の式は
:<math>f(f(a, b),c) = f(a, f(b, c))</math>
と、それらしく書き表される。

上の例に共通しているのは、複数の既知関数（たとえば、定数倍や二つの変数の和や積など）が、求める未知関数に代入される点である。

== 解法 ==
関数方程式の求解は非常に難しいこともあるが、いくつかの解法が知られている。

*[[対合]]を考えることによる解法
対合を考えることは有益である。例えば、関数
:<math> f(x) = \frac{1}{x} </math>
を考える。これが
:<math> f(f(x)) = x</math> 
を満たすことに注意すれば、さらに ''f'' を繰り返し施した結果として、''f'' の偶数回の合成で''x''、奇数回の合成で''f''(''x'')となることがわかる。こういった考え方は様々な場合に適用することができて、たとえば
:<math> f(x) = \frac{1}{1-x},\quad f(x) = 1-x </math>
などに対しても同様のことができる。

例1: 実数値関数''f''に関する方程式
<math>f(x+y)^2 = f(x)^2 + f(y)^2, x,y \in \mathbb{R}</math>
を解くことを考える。<math>x=y=0</math> とすると、
:<math>f(0)^2=f(0)^2+f(0)^2</math>
:<math>\Leftrightarrow f(0)^2=f(0)=0</math>
<math>y=-x</math>とすると、
:<math>f(x-x)^2=f(x)^2+f(-x)^2</math>
:<math>f(0)^2=f(x)^2+f(-x)^2</math>
:<math>0=f(x)^2+f(-x)^2</math>
よってすべての''x''について <math>f(x)^2=0</math> となるので、<math>f(x)=0</math> が唯一の解である。

*[[偏微分]]・[[微分方程式]]と数値代入による解法
関数f(x)について、「連続性や微分可能性といった厳しい条件を設定すると」、関数は一意に定まることが多い。
以下、f(x)についての連続性と微分可能性を仮定する。

例1: <math>f(x+y)=f(x)+f(y)</math>・・・※
:(1) ※の両辺にx=y=0を代入すると、<math>f(0)=0</math>
:(2) ※の両辺をxで偏微分すると、<math>f'(x+y)=f'(x)</math>
:これにx=0を代入すると、<math>f'(y)=f'(0)</math>
:この微分方程式を解き、<math>f(y)=f'(0)y</math>
:対称性より、<math>f(x)=f'(0)x</math>

例2: <math>f(x+y)=\frac{f(x)+f(y)}{1+f(x)f(y)}</math>・・・※
:(1) ※の両辺にx=y=0を代入すると、<math>f(0)=0,\pm 1</math>
:(2) ※の両辺をxで偏微分すると、<math>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}</math>
:(2-1) これに<math>f(0)=0</math>を代入すると、<math>f'(y)=f'(0)(1-f(y)^2)</math>
:この微分方程式を解き、<math>f(y)=\tanh(f'(0)y)</math>
:対称性より、<math>f(x)=\tanh(f'(0)x)</math>
:(2-2) 以下、複号同順とする。
:これに<math>f(0)=\pm 1</math>を代入すると、<math>f'(y)=0</math>
:この微分方程式を解き、<math>f(y)=\pm 1</math>
:対称性より、<math>f(x)=\pm 1</math>
:(なお、※はtanh関数の加法定理に相当し、(2-2)の解は(2-1)の解の漸近線を表す。)

== 関連項目 ==
*[[方程式]]
* [[加法定理]]
* [[乗法定理]]

== 外部リンク ==
* {{MathWorld|title=Functional Equation|urlname=FunctionalEquation}}
* [http://eqworld.ipmnet.ru/en/solutions/fe.htm Functional Equations: Exact Solutions] at EqWorld: The World of Mathematical Equations.
* [http://eqworld.ipmnet.ru/en/solutions/eqindex/eqindex-fe.htm Functional Equations: Index] at EqWorld: The World of Mathematical Equations.
* [http://www.imomath.com/tekstkut/funeqn_mr.pdf IMO Compendium] text on functional equations in problem solving.

{{Normdaten}}
{{DEFAULTSORT:かんすうほうていしき}}
[[Category:解析学]]
[[Category:数学に関する記事]]
[[Category:関数方程式|*]]