目次
可積分系
数学や物理学では、可積分系 (かせきぶんけい、) と名付けられた様々な考え方が知られている。 微分可能な系の一般論では、フロベニウス可積分性 が過剰な決定系として知られている。ハミルトン力学系の古典理論では、リウヴィル可積分性 がある。より一般的には、微分方程式の可積分性は、相空間の不変部分多様体による の存在に関係している。これらの考え方の各々は、葉層のアイデアを応用しているが、同じではない。量子力学や統計力学模型の設定には完備可積分性 や完全可積分性 という考え方もある。可積分系は、微分作用素の代数幾何学へ引き戻して考える場合もある。
見る タウ関数と可積分系
モジュラー形式
モジュラー形式は、モジュラー群という大きな群についての対称性をもつ上半平面上の複素解析的函数である。歴史的には数論で興味をもたれる対象であり、現代においても主要な研究対象である一方で、代数トポロジーや弦理論などの他分野にも現れる。 モジュラー函数(modular function): ここでいうモジュラー函数以外にも、「モジュラー函数」という術語はいくつか別の意味で用いられることがあるので注意が必要である。例えば、ハール測度の理論に現れる群の共軛作用から定まる函数 Δ(g) もモジュラー函数と呼ばれることがあるが、別な概念である。は重さ 0 、つまりモジュラー群の作用に関して不変であるモジュラー形式のことを言う。そしてそれゆえに、直線束の切断としてではなく、モジュラー領域上の函数として理解することができる。また、「モジュラー函数」はモジュラー群について不変なモジュラー形式であるが、無限遠点で f(z) が正則性を満たすという条件は必要ない。その代わり、モジュラー函数は無限遠点では有理型である。
見る タウ関数とモジュラー形式
ラマヌジャンのタウ函数
ラマヌジャンのタウ関数(ラマヌジャンのタウかんすう)は, によって研究された関数で,次の等式によって定義される関数 である: ただし なる に対し であり, はデデキントのイータ関数であり,関数 はラマヌジャンのデルタ関数と呼ばれる,ウェイト12,レベル1の正則尖点形式である.それは整数を24個の平方数の和として表す方法が何通りあるか、数えるときの「誤差項」に関連して現れる. (Ian G.
フーリエ級数
フーリエ級数(フーリエきゅうすう、Fourier series)とは、複雑な周期関数や周期信号を単純な形の周期性をもつ関数の無限和(級数)によって表したものである。フーリエ級数は、フランスの数学者ジョゼフ・フーリエによって金属板の中での熱伝導に関する研究の中で導入された。 熱伝導方程式は、偏微分方程式として表される。フーリエの研究の前までには、一般的な形での熱伝導方程式の解法は知られておらず、熱源が単純な形である場合、例えば正弦波などの場合の特別な解しかえられていなかった。この特別な解は現在では固有解と呼ばれる。フーリエの発想は、複雑な形をした熱源をサイン波、コサイン波の線型結合として考え、解を固有解の和として表すものであった。
見る タウ関数とフーリエ級数
アフィンリー代数
数学において、アフィン・リー環(affine Lie algebra)は、有限次元単純リー環から自然な方法で構成される無限次元のリー環である。アフィン・リー環は一般カルタン行列が半正定値で余階数が 1 のカッツ・ムーディ・リー環である。純粋数学的な視点からは、アフィン・リー環は面白い理由は、その表現論が、有限次元半単純リー環の表現論のように、一般のカッツ・ムーディ・リー環の表現論よりもはるかによく理解されているからである。ヴィクトル・カッツによって発見されたように、アフィン・リー環の表現に対する指標公式から、組合せ論的な恒等式であるマクドナルド恒等式が導かれる。 アフィンリー環はそのつくり方により弦理論や共形場理論において重要な役割を果たす。つくり方は、単純リー環 mathfrak からはじめて、円(閉弦と解釈される)上の mathfrak 値関数からなる点ごとの交換子によるループ代数 Lmathfrak を考える。アフィンリー環 hat はループ代数に1次元付け加えて交換子を非自明な方法で修正することによって得られる。これは物理学者が量子アノマリー(この場合WZWモデルのアノマリー)と、数学者が中心拡大と呼ぶものである。より一般に、 が単純Lie環 mathfrak のディンキン図形の自己同型に伴う自己同型であるとき、twisted loop algebra L_sigmamathfrak は実数直線上の mathfrak 値関数 で twisted periodicity condition を満たすものからなる。その中心拡大がまさに twisted アフィンリー環である。弦理論の視点はアフィンリー環の多くの深い性質、例えばそれらの表現のはモジュラー群の下でそれらの中で変換すること、を理解する助けとなる。
約数関数
約数関数(やくすうかんすう、divisor function)は、自然数 n を変数とする関数で、n の全ての約数を整数乗した数の総和を値にとるものである。
見る タウ関数と約数関数
数論的関数
数論的関数(すうろんてきかんすう、arithmetic function, arithmetical function, number-theoretical function)とは、定義域が正整数である複素数を値に持つ関数のことである。 複素数の無限数列 _ は nmapsto a_n という対応で、数論的関数とみなすことができる。
見る タウ関数と数論的関数
Τ関数 別名。

