ゼータ関数Σ1/n^sのsに-1を入れた式が1+2+3+...になるのは式の上で簡単に分かります。
ゼータ関数を解析接続で拡張したあとに-1を入れたら-1/12になるのはそうなんですねといった感じですが、ゼータ関数以外を使って1+2+3+...(のようなもの)を計算したときに-1/12以外にはならないのでしょうか。
ある定義域外の値を入れると式の上で「1+2+3+...」になるような、部分的に定義された正則な関数はゼータ関数以外にもありえそうな気がするのですが、その関数を解析接続で拡張し、その拡張された関数を使って1+2+3+...のようなものを求めても必ず-1/12になるのでしょうか。
また、自然数の総和以外にも、他の本来収束しない数列などに対して解析接続によって与えられる値はどうなのでしょうか。
関数f(z),g(z),発散する数列Anがあり、
ある値p,qがあってf(p)とg(q)が共にAnの極限と式の上で一致し、
しかしf,gをそれぞれ解析接続して得た関数F,GによるF(p)とG(q)は異なる、
といった場合はあり得るのでしょうか。
式の上で一致、という言葉がかなり曖昧ですが初学者の興味ということで…
No.1ベストアンサー
- 回答日時:
1 + 2 + 3 + 4 + ... = -1/12 だと言いたがる人は
ある程度以上に数学が解る人の中にも多く、
困ったものだと感じています。
素人を困惑させることが、そんなに楽しいのでしょうか。
数学の楽しみは、ものごとをちゃんと考えることにあるので、
あえて話をわかりにくくして「これがロマンだ」みたいな
ことを言われても、なんだかなあな印象です。
そういうアプローチじゃないことが数学のロマンなんだと、
数学者でない私は考えています。
ゼータ関数 ζ(s) が Re(s) > 1 で ζ(s) = Σ1/n^s と表されることと、
ζ(-1) = -1/12 であることは事実ですが、
ζ(s) が Σ1/n^s で表されるのは Re(s) > 1 の範囲でだけです。
関数の級数表示は収束域が制限される場合があるからこそ、
解析接続に意味があるのです。
1 + 2 + 3 + 4 + ... = -1/12 という式は、ζ(-1) = -1/12 を意味しません。
その式は、左辺が発散しているだけの、成立しない等式です。
No.5
- 回答日時:
ありえません。
左辺は+∞に発散する無限級数ですからその和が負の有限値に収束する訳がありません。
これは解析学を学び始めた人にその誤りに気付きにくいように巧みに論理誘導しているミスディレクションです。
米国のストバチームにトリックで挑んで勝利した黒子テツヤの様なものです。
これを解説しているサイトもありますから興味があったら検索してみてください。
高校生を惑わすような論理誘導の例は他にもあります。
数学的帰納法は、
i> 最初は正しい。
ii> ある時点で正しいとき、その次も正しい。
この2つが証明されると常に正しいという理屈です。
そこで...
i>スキンヘッドの人はハゲである。
ii>ハゲの髪の毛が1本増えたとしてもハゲであることに変わりはない。
よって全ての人はハゲである。
これは、明らかに間違った理論ですが、それを数学的に論破することが難しいのでよく取り上げられます。多くの答えは「ハゲは感性の問題なので、数学的に定義すること自体が誤りである。」としています。
実は、この問題について数学的な誤りを指摘することは可能です。ハゲの定義を「単位面積当たりの本数が一定数を下回る領域が存在する頭皮」とすれば、その境界点に於いて ii が成立しなくなるのです。
しかし、学問というのはその屁理屈を正しいとする新たなルールを勝手に作ってしまうことで発達することもあります。
例えば、
z=log(-1)
となる z を求めよという方程式。対数の真数は正なので右辺の式は定義域外である。よって解なし。
となるのが普通ですが、値域を複素数に拡張するとこの値が求められるようになり、しかも関数の禁じ手である多価関数という新たなルールも登場するのです。
No.4
- 回答日時:
後半の話題ですが、
f(p)とg(q)が共に発散数列Anの極限と式の上で一致
ということは、pはfの定義域内になく、
qはgの定義域内にないということです。
それだけの情報からは、F(p)とG(q)の関係が
どうなっているかは知りようがありません。
f(z)とg(z)の定義域の共通部分の中で
f(z)=g(z)となるzが集積点を持てば、全てのzについて
F(z)=G(z)になるというのが、「一致の定理」です。
No.2
- 回答日時:
>>ゼータ関数Σ1/n^sのsに-1を入れた式が1+2+3+...
定義域sは複素数全体なんだけど、実部Re(s)>1が前提条件で有って、Re(s)<1では意味をなさなくなる訳で、ζ(-1)はRe(s)<1だから、議論する価値はないですよ。
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
似たような質問が見つかりました
- 数学 1-1+1-1+…=sqrt(2)って証明できるの?(解析接続)(グランディ級数) 解析接続はほぼ入 3 2023/06/08 12:35
- 数学 複素関数と実関数のテーラー展開の違いについて 1 2022/08/09 06:18
- 数学 数2Bの数列の問題です。 自分は、 まず数列 an=ar^(n-1)と置き こちらの問題の、y= の 1 2022/07/07 16:26
- Visual Basic(VBA) Excel のユーザー定義関数でソルバーが動作しない 1 2022/09/05 19:51
- Excel(エクセル) ExcelのIF関数について 4 2023/05/24 12:54
- 統計学 加重最小二乗法=①「変数を自然対数変換」=②「誤差項の分散の逆数を重み付け」? 8 2022/11/26 11:15
- Excel(エクセル) エクセル 関数について質問です。 2 2022/10/03 11:14
- 数学 コーシーリーマンの関係式の誘導 2 2022/06/13 10:35
- 経済学 「政府支出乗算」の求め方を教えてください。 2 2022/11/20 19:52
- 数学 1変数関数に陰関数ってあるんですか? 1変数関数は f(x)=xの式 f(x)はxの値で決まるもの( 4 2023/05/08 18:47
おすすめ情報
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
なにしてるかわからない。。
-
皆さん定義を教えてください 「...
-
「互いに素」の定義…「1と2は互...
-
0と0は互いに素か
-
「logx^2=2logx」が間違って...
-
自然数 整数 有理数 実数 加法 ...
-
無限から無限を引いたら何にな...
-
ACCESS VBAでインポート定義の場所
-
べき乗
-
数字の1とは何なのか?
-
三角関数(たとえばf(x)=sinxと...
-
eの0乗は1ってどういう原理です...
-
ネットストーカーの定義 最近SN...
-
えっ!「来週」の使い方…
-
なぜ、直角三角形ではないのにs...
-
1未満と1以下の違い
-
正方行列ではない行列にも行列...
-
ヘシアンが0の場合どうやって極...
-
0に限りなく近い数は存在するの?
-
ACCESS IIF関数 複数条件の設...
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
皆さん定義を教えてください 「...
-
べき乗
-
無限から無限を引いたら何にな...
-
1未満と1以下の違い
-
p⇒q=(¬p)∨qについて
-
「logx^2=2logx」が間違って...
-
数字の1とは何なのか?
-
「互いに素」の定義…「1と2は互...
-
変数の宣言の名称を教えてくだ...
-
ACCESS VBAでインポート定義の場所
-
日本語 ことば ひとまわり ふた...
-
ACCESS IIF関数 複数条件の設...
-
Excelファイルの「数式」タブ→...
-
e<3の証明を教えてください。
-
なぜ小数は自然数ではないので...
-
ヘシアンが0の場合どうやって極...
-
2進数の符号ビットの入った数...
-
最大元と極大元の定義の違いが...
-
eの0乗は1ってどういう原理です...
-
フーリエ級数展開の初項はなぜa...
おすすめ情報