スポンサーサイト

上記の広告は1ヶ月以上更新のないブログに表示されています。
新しい記事を書く事で広告が消せます。

DirichletのL関数の定義

※ MathJax を使用しています。数式を表示するためには、JavaScript をオンにする必要があります。

Dirichlet 級数

$(a_{n}\mid n=1,2,\ldots)$ を複素数列, $s$ を複素数とする. このとき, $$ \sum_{n=1}^{\infty}\frac{a_{n}}{n^{s}} $$ の形の級数を Dirichlet 級数という.

Dirichlet の L 関数

$\chi$ を Dirichlet 指標とする. このとき, $$ L(s, \chi) = \sum_{n=1}^{\infty}\frac{\chi(n)}{n^{s}} $$ で定まる複素関数 $L(s, \chi)$ を Dirichlet の $L$ 関数という. ここで, $s$ は $\mathrm{Re}(s)>1$ なる複素変数である.

$L(s, \chi)$ の右辺は Dirichlet 級数である. 特に, $\chi$ が主指標であるとき, $L(s, \chi)$ は Riemann の $\zeta$ 関数に一致する.

$L(s, \chi)$ は, 半平面 $\mathrm{Re}(s)>1$ で絶対かつ広義一様収束する. 特に, $\mathrm{Re}(s)>1$ で正則である.

Dirichlet の $L$ 関数について, 半平面 $\mathrm{Re}(s)>1$ において Euler 積表示 $$ L(s, \chi) = \prod_{p}\left(1-\frac{\chi(p)}{p^{s}}\right)^{-1} $$ が成り立つ. ここで, $p$ は素数全体をわたる.

$\chi$ が非自明な Dirichlet 指標のとき, $L(s, \chi)$ は $\mathbb{C}$ 全体に解析接続でき, そこで正則になる. また, $L(1, \chi)\neq 0$ が成り立つ.

$\chi$ が自明な Dirichlet 指標のとき, $L(s, \chi)$ は $\mathbb{C}\setminus\{1\}$ に解析接続でき, そこで正則になる. $\mathbb{C}$ 全体では有理型関数であり, $s=1$ で $1$ 位の極をもつ.

参考文献

  • J. ノイキルヒ (著), 梅垣敦紀 (訳): 代数的整数論, シュプリンガー, 2003.

関連記事

Dirichlet指標の定義

【theme : 数学
【genre : 学問・文化・芸術

プロフィール

よしいず

Author:よしいず
MATHEMATICS.PDFというウェブサイトを運営しています。

管理の都合上、トラックバックとコメントはオフにしてあります。ブログ経験者なら分かっていただけると思いますが、スパム(アダルトやその他の宣伝)ばかりなのが現実です。

リンクは自由です。当サイトの記事に対する間違いの指摘・意見・感想などを述べた記事からのリンクは歓迎です。ただし、ブログ記事アップ直後はミスが多く、頻繁に修正します。場合によっては削除する可能性もあります。その際、何も断りもなく修正・削除しますがご了承ください。内容を参考にする場合には投稿後一週間ほど様子を見てからにしてください(笑)。

記事の間違いを指摘するときは、その具体的箇所、理由(仕様に反するなど)・根拠(参考にした文献など)、代替案(同じ結果を得るための正しいやり方)も教えてください。そうしないと、(指摘される側および第三者はその時点では無知の状態なので、)どこが間違いなのか分かりませんし、本当に間違っているのかどうかが判断・検証できません。実際、間違いだと指摘されたことが結局は正しかったというケースもありますので。

このブログのタイトル一覧

リンク
月別アーカイブ
カテゴリ
最新記事
検索フォーム
RSSリンクの表示
上記広告は1ヶ月以上更新のないブログに表示されています。新しい記事を書くことで広告を消せます。