翻訳と辞書 Words near each other ・ 函数のグラフ ・ 函数の全微分 ・ 函数の台 ・ 函数の合成 ・ 函数の微分 ・ 函数の根 ・ 函数の極限 ・ 函数一覧 ・ 函数体 (スキーム論) ・ 函数問題 ・ 函数方程式 ・ 函数的平方根 ・ 函数空間 ・ 函数等式 ・ 函数行列 ・ 函数解析 ・ 函数解析学 ・ 函数論 ・ 函根 ・ 函渠 Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク 函数方程式 ： ウィキペディア日本語版 関数方程式[かんすうほうていしき] 数学、及びその応用分野において、関数方程式（かんすうほうていしき、functional equation）は、単一の（または複数の）関数のある点と他の点での値の関係を示す方程式である。関数の性質は、与えられた条件を満たす関数方程式の種類などをもとに決定することができる。通常は代数方程式に帰着できない方程式を指す。 リーマンゼータ関数やその類似物が満たす特殊な関数方程式は、関数等式と呼ばれることが多い。 == 例 == リーマンゼータ関数 ζ は関数方程式 :$f(s)\; =\; 2^s\backslash pi^\backslash sin\backslash left(\backslash frac\backslash right)\backslash Gamma(1-s)f(1-s)$ を満たす。ただし大文字の Γ はガンマ関数である。 ガンマ関数は以下の関数方程式を満たす。ガンマ関数は、以下の3本の方程式からなる系を満たす唯一の関数である。 :$\backslash beginf(x)=\backslash \backslash$ f(y)f\left(y+\frac\right)=\fracf(2y)\\ f(z)f(1-z)=\end 関数方程式 :$f\backslash !\backslash left(\backslash right)\; =\; (cz+d)^k\; f(z)$ は ''k'' 次の保型形式を定義する。ただし ''a''、''b''、''c''、''d'' は ''ad'' − ''bc'' = 1 を満たす整数とする。 その他にも多くの例を挙げることができる。 *すべての指数関数は $f(x\; +\; y)\; =\; f(x)f(y)$ を満たす。 *すべての対数関数は $f(xy)\; =\; f(x)\; +\; f(y)$ を満たす。 *$f(x\; +\; y)\; =\; f(x)\; +\; f(y)$ （コーシーの関数方程式） *$f(x\; +\; y)\; +\; f(x\; -\; y)\; =\; 2$+ f(y) （中線定理、平行四辺形の法則） *$f((x\; +\; y)/2)\; =\; (f(x)\; +\; f(y))/2$ （イェンゼン） *$g(x\; +\; y)\; +\; g(x\; -\; y)\; =\; 2$g(y) （ダランベール） *$f(h(x))\; =\; cf(x)$ （シュレーダー方程式） *$f(h(x))\; =\; f(x)\; +\; 1$ （アーベル方程式） 漸化式、例えば :$a(n)\; =\; 3a(n-1)\; +\; 4a(n-2)$ は整数変数の未知函数と平行移動作用素からなる関数方程式の一種である。 可換律、結合律も関数方程式の一種である。例えば結合律は、よく見る形だと二項演算の記号を二つの変数に中置して :$(a$ *b) *c = a *(b *c) のように書かれるので函数方程式であるということが直観的には見えにくいが、ここで ''a'' ∗ ''b'' などと書く代わりに写像の記法に従って ''ƒ''(''a'', ''b'') などと書けば、結合法則の式は :$f(f(a,\; b),c)\; =\; f(a,\; f(b,\; c))$ と、それらしく書き表される。 上の例に共通しているのは、複数の既知関数（たとえば、定数倍や二つの変数の和や積など）が、求める未知関数に代入される点である。 == 解法 == 関数方程式の求解は非常に難しいこともあるが、いくつかの解法が知られている。 *対合を考えることによる解法 対合を考えることは有益である。例えば、関数 :$f(x)\; =\; \backslash frac$ を考える。これが :$f(f(x))\; =\; x$ を満たすことに注意すれば、さらに ''f'' を繰り返し施した結果として、''f'' の偶数回の合成で''x''、奇数回の合成で''f''(''x'')となることがわかる。こういった考え方はもっといろいろな場合に適用することができて、たとえば :$f(x)\; =\; \backslash frac,\backslash quad\; f(x)\; =\; 1-x$ なども同様のことができる。 例1: 実数値関数''f''に関する方程式 $f(x+y)^2\; =\; f(x)^2\; +\; f(y)^2,\; x,y\; \backslash in\; \backslash mathbb$ を解くことを考える。$x=y=0$ とすると、$f(0)^2=f(0)^2+f(0)^2$。よって $f(0)^2=0,\; f(0)=0$。$y=-x$とすると、 :$f(x-x)^2=f(x)^2+f(-x)^2$ :$f(0)^2=f(x)^2+f(-x)^2$ :$0=f(x)^2+f(-x)^2$ よってすべての''x''について $f(x)^2=0$ となるので、$f(x)=0$ が唯一の解である。 *偏微分・微分方程式と数値代入による解法 関数f(x)について、「連続性や微分可能性といった厳しい条件を設定すると」、関数は一意に定まることが多い。 以下、f(x)についての連続性と微分可能性を仮定する。 例1: $f(x+y)=f(x)+f(y)$・・・※ :1、※の両辺にx=y=0を代入すると、$f(0)=0$ :2、※の両辺をxで偏微分すると、$f\text{'}(x+y)=f\text{'}(x)$ :これにx=0を代入すると、$f\text{'}(y)=f\text{'}(0)(Const.)$ :この微分方程式を解き、$f(y)=f\text{'}(0)y$ :同様にして、$f(x)=f\text{'}(0)x$ 例2: $f(x+y)=\backslash frac$・・・※ :1、※の両辺にx=y=0を代入すると、$f(0)=0,1,-1$ :2、※の両辺をxで偏微分すると、$f\text{'}(x+y)=\backslash frac$ :①これに$f(0)=0$を代入すると、$f\text{'}(y)=f\text{'}(0)(1-f(y)^2)$ :この微分方程式を解き、$f(y)=\backslash tanh(Cy)$、ただし、$C=f\text{'}(0)(Const.)$ :同様にして、$f(x)=\backslash tanh(Cx)$ :②これに$f(0)=1,-1$を代入すると、$f\text{'}(y)=0$ :この微分方程式を解き、$f(y)=1,-1$ :同様にして、$f(x)=1,-1$ 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「関数方程式」の詳細全文を読む 英語版ウィキペディアに対照対訳語「 Functional equation 」があります。 スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.