超冪根
代数学における実数 a の超冪根(ちょうべきこん、英: ultraradical)あるいはブリング根(ブリングこん、Bring radical)は、ブリング標準形と呼ばれる五次多項式
複素数 a のブリング根は、上と同じ多項式の任意の根(多価函数として扱う)とするか、何らかの意味で特定した一つの根とするか(この場合、a が実数のときは実数値であり、かつ実数直線の近傍で解析的となる複素函数が定められるようにとるのがふつう)の何れかとする。後者では、四つの分岐点が生じるから、ブリング根をガウス平面全体で連続な一つの函数として定義することはできないし、連続となるような定義域としては四つの分岐切断を除外しなければならない。
ジョージ・ジェラードは、いくつかの五次方程式が冪根および超冪根を用いて閉じた形で解ける(つまり「解の公式」がある)ことを示した(実は任意の五次方程式がこのような形で解ける)。
a の超冪根はしばしば [2] や [3]と書かれる。本項では a のブリング根を と書くことにする。これは実変数のとき、奇函数で、単調減少かつ非有界であり、十分大きな a に対する漸近挙動は で与えられる。
五次方程式の標準形について[編集]
五次方程式の解を直接得ることは難しい。最も一般の形では
主標準形[編集]
五次方程式の一般形から、主標準形 (principal quintic form) と呼ばれる三次と四次の項のない形
一般形の方程式と主標準形の方程式の根が、二次のチルンハウス変換
この標準形はフェリックス・クラインによる五次方程式の解法に用いられた[5]。
ブリング–ジェラード標準形[編集]
五次方程式は主標準形よりもさらに単純化することが可能で、二次の項も消去したブリング–ジェラード標準形 (Bring–Jerrard normal form):
この四次のチルンハウス変換からくる新たなパラメータによって、ブリングは他のパラメータの次数を下げることに成功し、六つの未知数を含む二次と三次の五つの方程式からなる連立方程式が導かれた。同じ方法を1852年にジェラードも発見している[6]が、ジェラードはこの分野においてブリングによる既存の結果があることはおそらく知らなかったようである[7]。五次方程式の一般形からこの標準形への完全な変換は Mathematica[8]やMaple[9]のような計算機代数システムを用いれば容易に得られるだろうけれども、これら複雑な変換を経る必要からも分かる通り、得られる式は(特に四次以下の場合の冪根を用いた解と比べて)膨大であり、係数を変数記号とする五次の一般方程式に対するそれは、計算機にとっても多くのストレージを消費するものとなる[8]。
解を係数の代数函数と見なすと、
ブリオッシ標準形[編集]
五次方程式の一径数標準形には、ほかにもブリオッシ標準形 (Brioschi normal form) と呼ばれる形
注目すべき点として、このチルンハウス変換は主標準形をブリング–ジェラード標準形にするために用いた複雑な変換と比べればより単純なものとなっていることが挙げられる。
級数表示[編集]
ブリング根のテイラー展開あるいは超幾何函数を用いた表示は以下のようである。
- 確認
- ブリング標準形の方程式 は の形に書くとして、 と置けば所期の根は ということになる。
よって のテイラー級数は f(x) のテイラー級数を逆に解くことで得られる。f のテイラー級数は単純に x + x5 であるから、実際に計算すれば
形を見れば(奇数次の項しか出てこないから)
超幾何函数を用いれば、ブリング根は
ちなみに、ラグランジュの反転定理を経由せずともニュートンの二項定理を使えば簡単に上記の級数表示(ブリング根 │a│<1)を取り出すことが出来る。simpler derivation of bring radical で検索
一般五次方程式の解[編集]
まず、ブリング–ジェラード標準形の任意の多項式
上で見たように、ブリング–ジェラード標準形への帰着は求根可能な多項式方程式によって記述されていたし、そのためのチルンハウス変換では四次以下の方程式の根を係数とする多項式しか現れていなかったから、したがって、これらの変換を逆にたどることは冪根で解ける多項式の求根という形で実現できるということがわかる。もちろんこのように変換を逆にたどろうとする方法では無関係で余分な解も出てくることになるが、数値的な方法で正しい解を一つ見つけられるならば、その根を平方根・立方根およびブリング根によって書き下すこともできるということだから、したがってそれは一変数の代数函数を用いて書けるという意味で「代数的解」であり、これで五次の一般方程式に対する代数的解法(「解の公式」)が与えられたとみることができる。
その他の特徴付け[編集]
ブリング根の特徴付けはさまざま知られているが、その最初のものは1858年にシャルル・エルミートの手になる楕円モジュラー函数を用いたもので、その後さまざまな数学者が更なる手法を開発している。
エルミート–クロネッカー–ブリオッシの特徴付け[編集]
1858年に、シャルル・エルミートは楕円超越函数を用いた最初の一般五次方程式の解法を発表した[11](同時期にフランチェスコ・ブリオッシ[12]とレオポルト・クロネッカー[13] もまた同値な解法を得ている)。エルミートは、既によく知られていた三次方程式に対する三角函数を用いた解法を一般化する形でこの解法に到達し、ブリング–ジェラード標準形
このような取り扱いは、冪根を一般化する過程とみることもできる。冪根が あるいはもっと明確に
脚注[編集]
注釈[編集]
出典[編集]
- ^ Toth 2012, p. 72, Remark 1.
- ^ Toth, Gabor (2012), Finite Möbius Groups, Minimal Immersions of Spheres, and Moduli, Springer Science & Business Media, ISBN 9781461300618, p. 72, Remark 1.
- ^ Weisstein, Eric W. "Ultraradical". mathworld.wolfram.com (英語).
- ^ Adamchik, Victor (2003). “Polynomial Transformations of Tschirnhaus, Bring, and Jerrard”. ACM SIGSAM Bulletin 37 (3): 91. doi:10.1145/990353.990371. オリジナルの2009-02-26時点におけるアーカイブ。 .
- ^ Klein, Felix (1888). Lectures on the Icosahedron and the Solution of Equations of the Fifth Degree. Trübner & Co.. ISBN 978-0-486-49528-6
- ^ Jerrard, George Birch (1859). An essay on the resolution of equations. London: Taylor and Francis
- ^ Adamchik (2003), pp. 92–93.
- ^ a b c “Solving the Quintic with Mathematica”. Wolfram Research. 2014年7月1日時点のオリジナルよりアーカイブ。2021年1月7日閲覧。
- ^ Drociuk, Richard J. (2000). "On the Complete Solution to the Most General Fifth Degree Polynomial". arXiv:math.GM/0005026。
- ^ King, R. Bruce (1996). Beyond the Quartic Equation. Birkhäuser. pp. 131. ISBN 978-3-7643-3776-6
- ^ Hermite, Charles (1858). “Sur la résolution de l'équation du cinquème degré”. Comptes Rendus de l'Académie des Sciences XLVI (I): 508–515.
- ^ Brioschi, Francesco (1858). “Sul Metodo di Kronecker per la Risoluzione delle Equazioni di Quinto Grado”. Atti Dell'i. R. Istituto Lombardo di Scienze, Lettere ed Arti I: 275–282.
- ^ Kronecker, Leopold (1858). “Sur la résolution de l'equation du cinquième degré, extrait d'une lettre adressée à M. Hermite”. Comptes Rendus de l'Académie des Sciences XLVI (I): 1150–1152.
- ^ Umemura, Hiroshi (2007). “Resolution of algebraic equations by theta constants” (英語). Resolution of algebraic equations by theta constants (in: David Mumford, Tata Lectures on Theta II). Modern Birkhäuser Classics. Birkhäuser, Boston, MA. pp. 261–270. doi:10.1007/978-0-8176-4578-6_18. ISBN 9780817645694
参考文献[編集]
- Mirzaei, Raoof(2012). "Spinors and Special functions for Solving Equation of nth degree". International Mathematica Symposium.
関連文献[編集]
- Felix Klein, Lectures on the Icosahedron and the Solution of Equations of the Fifth Degree, trans. George Gavin Morrice, Trübner & Co., 1888. ISBN 0-486-49528-0.
- R. Bruce King, Beyond the Quartic Equation, Birkhäuser, 1996. ISBN 3-7643-3776-1
- Harold T. Davis, Introduction to Nonlinear Differential and Integral Equations, Dover, 1962, ISBN 0-486-60971-5, Chapter 6, especially Sections 20 and 21
- [より簡単なブリング根の導出]
simpler delivation of bring radical
関連項目[編集]
外部リンク[編集]
- M. Hazewinkel (2001), “Tschirnhausen transformation”, in Hazewinkel, Michiel, Encyclopedia of Mathematics, Springer, ISBN 978-1-55608-010-4
- Weisstein, Eric W. "Bring–Jerrard Quintic Form". mathworld.wolfram.com (英語).
- Weisstein, Eric W. "Bring Quintic Form". mathworld.wolfram.com (英語).
- Weisstein, Eric W. "Ultraradical". mathworld.wolfram.com (英語).