2017年8月1日火曜日

数学で考えようとしなければ怖くないマクスウェルの方程式

数学で考えようとしなければ怖くないマクスウェルの方程式

今さら人に聞けない電磁気学を直感的に理解(後編)
前回は、無線通信に使える高周波を扱う上で不可欠な波動方程式とオイラーの式について、一般的な教科書とは全く異なるアプローチで分かりやすく説明した。今回は電磁気学の基礎となるマスクウェルの方程式を数学的に捉えることなく直感的に理解するための考え方を説明する。(本誌)

高周波は電磁気学で考える

 無線通信で利用できる高周波は、電磁気学で考える。周波数が高くなると、雑音の放射などが発生するため、電界と磁界を基にした電磁気学で考える必要が出てくるからだ(図9)。しかし、その電磁気学でも実は、電子工学のオームの法則が使える。
図9 電子工学から電磁気学へ
高周波は電磁気学で考える。
[画像のクリックで拡大表示]
 オームの法則では、電力Pは電圧Vと電流Iの積である。また、抵抗Rは電圧Vを電流Iで割ったものなので、電力Pは電圧の2乗V2を抵抗Rで割ったものでもある。同様に、電流の2乗I2と抵抗Rの積でもある。
 それでは、電磁気学の公式を見てみよう。アンテナから空間に放射される電力密度Pdは、電界Eと磁界Hの積である。また、電界の2乗E2を120π注3)で割ったものでもある。同様に、磁界の2乗H2と120πの積でもある。これを、オームの法則と見比べてみる。電界Eと電圧Vが、磁界Hと電流iが、それぞれ1対1に対応していることが分かる(図10)。
注3)120πは近似値である。真の値(真空の透磁率μと光速cの積)との誤差は約0.69/1000と非常に小さい。電磁気学では、球の表面積で割り算や掛け算をする場面が多いので、120πという近似値を使うことで約分が可能になるという利点がある。
図10 電磁気学でもオームの法則が使える
電界を電圧、磁界を電流と読み替え、オームの法則として考えればいい。抵抗に相当するものは120πしかない。
[画像のクリックで拡大表示]
 それでは、電磁気学の公式において、オームの法則での抵抗Rに相当するものは何か。電界を磁界で割ったものだが、2つの式を見比べると、それは120πであることが分かる。これは、電磁気学は非常に簡単な世界であることを示している。空間を電界と磁界が伝わるときの電界と磁界の比率を空間インピーダンスと呼ぶが、これがオームの法則での抵抗Rに相当する。電磁波が自由空間を飛んで行くときの空間インピーダンスは抵抗Rのようにさまざまな値を持つことはなく、120π(377Ω)という値を考えればよい。
自由空間=電磁気学において、一切の物質が存在しない仮想的な空間のこと。
 このように考えることで、オームの法則と電磁気学の公式を1対1に結びつけられる。電界や磁界という言葉に拒絶感を覚えていた人は、電界を電圧、磁界を電流と読み替えよう。そして、オームの法則として考えればいい。抵抗に相当するものは、電磁気学ではただ1つ、120πだけを考える。電磁気学の世界はすべて、オームの法則で計算できるのである。
 電磁気学の公式の電力密度Pdは、単位面積を通過する電力である。距離dだけ離れた場所の単位面積1m2を通過するエネルギーが電力密度になる。この単位面積を通過する電力に球の表面積4πr2を掛けると、この波源から出ている、すなわちアンテナから送信されている電力Pが求まる。このように整理してくと、電磁気学はどんどんやさしくなっていく。http://techon.nikkeibp.co.jp/atcl/feature/15/072600117/00002/?P=1

とても興味深く読みました:

再生核研究所声明316(2016.08.19) ゼロ除算における誤解

(2016年8月16日夜,風呂で、ゼロ除算の理解の遅れについて 理由を纏める考えが独りでに湧いた。)
                                                     
6歳の道脇愛羽さんたち親娘が3週間くらいで ゼロ除算は自明であるとの理解を示したのに、近い人や指導的な数学者たちが1年や2年を経過してもスッキリ理解できない状況は 世にも稀なる事件であると考えられる。ゼロ除算の理解を進めるために その原因について、掘り下げて纏めて置きたい。
まず、結果を聞いて、とても信じられないと発想する人は極めて多い。割り算の意味を自然に拡張すると1/0=0/0=z/0 となる、関数y=1/xの原点における値がゼロであると結果を表現するのであるが、これらは信じられない、このような結果はダメだと始めから拒否する理由である。
先ずは、ゼロでは割れない、割ったことがない、は全ての人の経験で、ゼロの記録Brahmagupta(598– 668?) 以来の定説である。しかも、ゼロ除算について天才、オイラーの1/0を無限大とする間違いや、不可能性についてはライプニッツ、ハルナックなどの言明があり、厳格な近代数学において確立した定説である。さらに、ゼロ除算についてはアインシュタインが最も深く受け止めていたと言える:(George Gamow (1904-1968) Russian-born American nuclear physicist and cosmologist remarked that "it is well known to students of high school algebra" that division by zero is not valid; and Einstein admitted it as {\bf the biggest blunder of his life} :Gamow, G., My World Line (Viking, New York). p 44, 1970.)。
一様に思われるのは、割り算は掛け算の逆であり、直ぐに不可能性が証明されてしまうことである。ところが、上記道脇親娘は 割り算と掛け算は別であり、割り算は、等分の考えから、掛け算ではなく、引き算の繰り返し、除算で定義されるという、考えで、このような発想から良き理解に達したと言える。
ゼロで割ったためしがないので、ゼロ除算は興味も、関心もないと言明される人も多い。
また、割り算の(分数の)拡張として得られた。この意味は結構難しく、何と、1/0=0/0=z/0 の正確な意味は分からないというのが 真実である。論文ではこの辺の記述は大事なので、注意して書いているが 真面目に論文を読む者は多いとは言えないないから、とんでもない誤解をして、矛盾だと言ってきている。1/0=0/0=z/0 らが、普通の分数のように掛け算に結びつけると矛盾は直ぐに得られてしまう。したがって、定義された経緯、意味を正確に理解するのが 大事である。数学では、定義をしっかりさせる事は基本である。― ゼロ除算について、情熱をかけて研究している者で、ゼロ除算の定義をしっかりさせないで混乱している者が多い。
次に関数y=1/xの原点における値がゼロである は 実は定義であるが、それについて、面白い見解は世に多い。アリストテレス(Aristotelēs、前384年 - 前322年3月7日)の世界観の強い影響である。ゼロ除算の歴史を詳しく調べている研究者の意見では、ゼロ除算を初めて考えたのはアリストテレスで真空、ゼロの比を考え、それは考えられないとしているという。ゼロ除算の不可能性を述べ、アリストテレスは 真空、ゼロと無限の存在を嫌い、物理的な世界は連続であると考えたという。西欧では アリストテレスの影響は大きく、聖書にも反映し、ゼロ除算ばかりではなく、ゼロ自身も受け入れるのに1000年以上もかかったという、歴史解説書がある。ゼロ除算について、始めから国際的に議論しているが、ゼロ除算について異様な様子の背景にはこのようなところにあると考えられる。関数y=1/xの原点における値が無限に行くと考えるのは自然であるが、それがx=0で突然ゼロであるという、強力な不連続性が、感覚的に受け入れられない状況である。解析学における基本概念は 極限の概念であり、連続性の概念である。ゼロ除算は新規な現象であり、なかなか受け入れられない。
ゼロ除算について初期から交流、意見を交わしてきた20年来の友人との交流から、極めて基本的な誤解がある事が、2年半を越えて判明した。勿論、繰り返して述べてきたことである。ゼロ除算の運用、応用についての注意である。
具体例で注意したい。例えば簡単な関数 y=x/(x -1) において x=1 の値は 形式的にそれを代入して 1/0=0 と考えがちであるが、そのような考えは良くなく、y = 1 + 1/(x -1) からx=1 の値は1であると考える。関数にゼロ除算を適用するときは注意が必要で、ゼロ除算算法に従う必要があるということである。分子がゼロでなくて、分母がゼロである場合でも意味のある広い世界が現れてきた。現在、ゼロ除算算法は広い分野で意味のある算法を提起しているが、詳しい解説はここでは述べないことにしたい。注意だけを指摘して置きたい。
ゼロ除算は アリストテレス以来、あるいは西暦628年インドにおけるゼロの記録と、算術の確立以来、またアインシュタインの人生最大の懸案の問題とされてきた、ゼロで割る問題 ゼロ除算は、本質的に新しい局面を迎え、数学における基礎的な部分の欠落が明瞭になってきた。ここ70年を越えても教科書や学術書における数学の基礎的な部分の変更 かつて無かった事である。と述べ、大きな数学の改革を提案している:
再生核研究所声明312(2016.07.14) ゼロ除算による 平成の数学改革を提案する

以 上

再生核研究所声明335(2016.11.28)  ゼロ除算における状況

ゼロ除算における状況をニュース方式に纏めて置きたい。まず、大局は:
アリストテレス以来、あるいは西暦628年インドにおけるゼロの記録と、算術の確立以来、またアインシュタインの人生最大の懸案の問題とされてきた、ゼロで割る問題 ゼロ除算は、本質的に新しい局面を迎え、数学における初歩的な部分の欠落が明瞭になってきた。ここ70年を越えても教科書や学術書における数学の初歩的な部分の期待される変更 かつて無かった事である。ユークリッドの考えた空間と解析幾何学などで述べられる我々の空間は実は違っていた。いわゆる非ユークリッド幾何学とも違う空間が現れた。不思議な飛び、ワープ現象が起きている世界である。ゼロと無限の不思議な関係を述べている。これが我々の空間であると考えられる。
1.ゼロ除算未定義、不可能性は 割り算の意味の自然な拡張で、ゼロで割ることは、ゼロ除算は可能で、任意の複素数zに対してz/0=0であること。もちろん、普通の分数の意味ではないことは 当然である。ところが、数学や物理学などの多くの公式における分数は、拡張された分数の意味を有していることが認められた。ゼロ除算を含む、四則演算が何時でも自由に出来る簡単な体の構造、山田体が確立されている。ゼロ除算の結果の一意性も 充分広い世界で確立されている。
2.いわゆる複素解析学で複素平面の立体射影における無限遠点は1/0=0で、無限ではなくて複素数0で表されること。
3. 円に関する中心の鏡像は古典的な結果、無限遠点ではなくて、実は中心それ自身であること。球についても同様である。
4.       孤立特異点で 解析関数は有限確定値をとること。その値が大事な意味を有する。ゼロ除算算法。
5. x,y 直交座標系で y軸の勾配は未定とされているが、実はゼロであること;  \tan (\pi/2) =0. ― ゼロ除算算法の典型的な例。
6. 直線や平面には、原点を加えて考えるべきこと。平行線は原点を共有する。原点は、直線や平面の中心であること。この議論では座標系を固定して考えることが大事である。
7. 無限遠点に関係する図形や公式の変更。ユークリッド空間の構造の変更、修正。
8. 接線法線の考えに新しい知見。曲率についての定義のある変更。
9. ゼロ除算算法の導入。分母がゼロになる場合にも、分子がゼロでなくても、ゼロになっても、そこで意味のある世界。いろいろ基本的な応用がある。
10.従来微分係数が無限大に発散するとされてきたとき、それは 実はゼロになっていたこと。微分に関する多くの公式の変更。
11.微分方程式の特異点についての新しい知見、特異点で微分方程式を満たしているという知見。極で値を有することと、微分係数が意味をもつことからそのような概念が生れる。
12.図形の破壊現象の統一的な説明。例えば半径無限の円(半平面)の面積は、実はゼロだった。
13.確定された数としての無限大、無限は排斥されるべきこと。
14.ゼロ除算による空間、幾何学、世界の構造の統一的な説明。物理学などへの応用。
15.解析関数が自然境界を超えた点で定まっている新しい現象が確認された。
16.領域上で定義される領域関数を空間次元で微分するという考えが現れた。
17.コーシー主値やアダマール有限部分に対する解釈がゼロ除算算法で発見された。
18.log 0=0、 及び e^0 が2つの値1,0 を取ることなど。初等関数で、新しい値が発見された。

資料:
The division by zero is uniquely and reasonably determined as 1/0=0/0=z/0=0 in the natural extensions of fractions. We have to change our basic ideas for our space and world:
http://www.diogenes.bg/ijam/contents/2014-27-2/9/9.pdf
*156  Qian,T./Rodino,L.(eds.):
       Mathematical Analysis, Probability and
        Applications -Plenary Lectures: Isaac 2015, Macau, China.
           (Springer Proceedings in Mathematics and Statistics, Vol. 177)
             Sep. 2016   305 pp.
             (Springer)     9783319419435   25,370.
数学基礎学力研究会のホームページ
URLは
http://www.mirun.sctv.jp/~suugaku堪らなく楽しい数学-ゼロで割ることを考える
以 上

再生核研究所声明3682017.5.19)ゼロ除算の意義、本質
                     
ゼロ除算の本質、意義について、既に述べているが、参照すると良くまとめられているので、初めに復習して、新しい視点を入れたい。

再生核研究所声明3592017.3.20) ゼロ除算とは何か ― 本質、意義

ゼロ除算の理解を進めるために ゼロ除算とは何か の題名で、簡潔に表現して置きたい。 構想と情念、想いが湧いてきたためである。
基本的な関数y=1/x を考える。 これは直角双曲線関数で、原点以外は勿論、値、関数が定義されている。問題はこの関数が、x=0  で どうなっているかである。結論は、この関数の原点での値を ゼロと定義する ということである。 定義するのである。定義であるから勝手であり、従来の定義や理論に反しない限り、定義は勝手であると言える。原点での値を明確に定義した理論はないから、この定義は良いと考えられる。それを、y=1/0=0 と記述する。ゼロ除算は不可能であるという、数学の永い定説に従って、1/0 の表記は学術書、教科書にもないから、1/0=0 の記法は 形式不変の原理、原則 にも反しないと言える。― 多くの数学者は注意深いから、1/0=\infty の表記を避けてきたが、想像上では x が 0 に近づいたとき、限りなく 絶対値が大きくなるので、複素解析学では、表現1/0=\infty は避けても、1/0=\infty と考えている事は多い。(無限大の記号がない時代、アーベルなどもそのような記号を用いていて、オイラーは1/0=\inftyと述べ、それは間違いであると指摘されてきた。 しかしながら、無限大とは何か、数かとの疑問は 続いている。)。ここが大事な論点である。近づいていった極限値がそこでの値であろうと考えるのは、極めて自然な発想であるが、現代では、不連続性の概念 が十分確立されていて、極限値がそこでの値と違う例は、既にありふれている。― アリストテレスは 連続性の世界観をもち、特にアリストテレスの影響を深く受けている欧米の方は、この強力な不連続性を中々受け入れられないようである。無限にいくと考えられてきたのが突然、ゼロになるという定義になるからである。 しかしながら、関数y=1/xのグラフを書いて見れば、原点は双曲線のグラフの中心の点であり、美しい点で、この定義は魅力的に見えてくるだろう。
定義したことには、それに至るいろいろな考察、経過、動機、理由がある。― 分数、割り算の意味、意義、一意性問題、代数的な意味づけなどであるが、それらは既に数学的に確立しているので、ここでは触れない。
すると、定義したからには、それがどのような意味が存在して、世の中に、数学にどのような影響があるかが、問題になる。これについて、現在、初等数学の学部レベルの数学をゼロ除算の定義に従って、眺めると、ゼロ除算、すなわち、 分母がゼロになる場合が表現上現れる広範な場合に 新しい現象が発見され、ゼロ除算が関係する広範な場合に大きな影響が出て、数学は美しく統一的に補充,完全化されることが分かった。それらは現在、380件以上のメモにまとめられている。しかしながら、世界観の変更は特に重要であると考えられる:

複素解析学で無限遠点は その意味で1/0=0で、複素数0で表されること、アリストテレスの連続性の概念に反し、ユークリッド空間とも異なる新しい空間が 現れている。直線のコンパクト化の理想点は原点で、全ての直線が原点を含むと、超古典的な結果に反する。更に、ゼロと無限の関係が明らかにされてきた。
ゼロ除算は、現代数学の初等部分の相当な変革を要求していると考えられる。
以 上

ゼロ除算の代数的な意義は、山田体の概念で体にゼロ除算を含む構造の入れ方、一般に体にゼロ除算の概念が入れられるが、代数的な発展については 専門外で、触れられない。ただ、計算機科学でゼロ除算と代数的な構造について相当議論している研究者がいる。
ゼロ除算の解析学的な意義は、従来孤立特異点での研究とは、孤立点での近傍での研究であり、正確に述べれば 孤立特異点そのものでの研究はなされていないと考えられる。
なぜならば、特異点では、ゼロ分のとなり、分子がゼロの場合には ロピタルの定理や微分法の概念で 極限値で考えてきたが、ゼロ除算は、一般に分子がゼロでない場合にも意味を与え、極限値でなくて、特異点で 何時でも有限確定値を指定できる ― ゼロ除算算法初めて、特異点そのものの世界に立ち入ったと言える。従来は孤立特異点を除いた世界で 数学を考えてきたと言える。その意味でゼロ除算は 全く新しい数学、世界であると言える。典型的な結果は tan(\pi/2) =0で、y軸の勾配がゼロであることである。
ゼロ除算の幾何学的な意義は、ユークリッド空間のアレクサンドロフの1点コンパクト化に、アリストテレスの連続性の概念でない、強力な不連続性が現れたことで、全く新しい空間の構造が現れ、幾何学の無限遠点に関係する部分に全く新規な世界が現れたことである。所謂無限遠点が数値ゼロで、表現される。
さらに、およそ無限量と考えられたものが、実は、数値ゼロで表現されるという新しい現象が発見された。tan(\pi/2) =0の意味を幾何学的に考えると、そのことを表している。これはいろいろな恒等式に新しい要素を、性質を顕にしている。ゼロが、不可能性を表現したり、基準を表すなど、ゼロの意義についても新しい概念が現れている。

以 上

0 件のコメント:

コメントを投稿