数学において函数的平方根(かんすうてきへいほうこん、)あるいは半反復(half iterate)とは、合成の演算に関する函数の平方根のことである。言い換えると、ある函数 の函数的平方根 とは、すべての に対して を満たすもののことを言う。

例えば、 は の函数的平方根である。

同様に、チェビシェフ多項式 の函数的平方根は である。これは一般には多項式ではない。

また、 は の函数的平方根である。

が の函数的平方根であることは、 あるいは と表記される。

指数函数の函数的平方根は、1950年にヘルムート・クネーザーによって研究された。

ℝ 上での の解(実数の対合)は、1815年にチャールズ・バベッジによって初めて研究された。この方程式はバベッジの函数方程式と呼ばれるJeremy Gray and Karen Parshall (2007) Episodes in the History of Modern Algebra (1800–1950), American Mathematical Society, ISBN 978-0-8218-4343-7。特殊解は に対して である。これは あるいは () を含む。バベッジは、任意の与えられた解 に対して、任意の可逆函数 による函数的共役 もまた解であることを注記している。

任意の函数的 -乗根( だけでなく、連続、負、無限小の も含む)をシステマティックに構成する手順は、シュレーダーの方程式の解に依る 。

例

[赤の曲線] [青の曲線] [橙の曲線] [橙の曲線より上にある黒の曲線] [図示されていないが、緑の曲線より上にある。]

関連項目

反復合成写像 写像の合成 アーベル方程式 シュレーダーの方程式

フロー (数学)

分数階微積分学

参考文献