さて ここでは逆行詞について復習した後 共変 反変転送という概念について学び逆行詞と実行詞の関係にどのように関わってくるかについて説明をしていきます最初に逆行詞についての復習です逆行詞はここに書かれているように定義されていますこの結果として 実行詞の基本ベクトルAijと逆行詞の基本ベクトルAiは 互いに規格直行化していますそのために実行詞の絵を描ければ 逆行詞の絵が大雑把に描けますまずA1軸はA1 Aスター1軸はA2軸に直行しているので 直角方向にAスター1軸をベクトルを描きます逆行詞での長さは 実行詞の長さ分の1に大雑把に比例しますのでAスター2とAスター1の長さは実行詞のA1とA2の長さの反比例関係にありますさらにAスター2はA1ベクトルに直行しているのでAスター1とAスター2はこのように描けるということになりますまたこの結果逆行詞の軸角は実行詞の実角の互角に対応しますただこれらの関係は三者省など直行座標形でない行詞については 正確には成り立ちませんが大雑把にこの関係が成り立つと考えて 大体の場合は問題ありません次に逆行詞の基本ベクトルが分かったので実際に逆行詞の行詞点を描いていきましょうまず実行詞の基本ベクトルをどう取るかですがブラベー行詞の基本ベクトルABを使って 逆行詞を描くとこのようになりますそうすると逆行詞点はこのように並ぶことになります一方 実行詞の基本行詞からスタートすることもできます基本行詞の基本行詞ベクトルはAPとBPですからこれを使って逆行詞ベクトルを描くと このようになりますその結果として行詞点はこのように並びますね上と下の行詞点 逆行詞点を比較すると配列の仕方が違っているということが分かります逆行詞が一時的に決まっていないということで これは問題ですねただ この問題は実行詞 決勝行詞の話を最初にしたときと同様に行詞点が与えられていても単位行詞は一時的に決まらないという問題から発生しています逆に言えば 逆行詞を組むときに単位行詞をスタートにして組んではいけないときに逆行詞を組むときに 単位行詞をスタートにして組んではいけないとないということですねあくまでも 実行詞の格子点から逆行詞を作らないといけませんそこで逆行詞は実行詞 の風鈴変換であるということを理解してほしいと思います逆行詞 は何で導入されたかというとX線解説などの解説学あとは個体物理 でバンド理論ですねこれらに共通しているのはいずれもX線とかの 電磁波あるいは電子とかの物質波の干渉が重要な領域であるということ これらの干渉を理解するために逆行詞を導入すると便利だということ です散乱理論の式を式に戻ってみますと散乱理論の式というのは 波数ベットルk散乱ベクトルkですねで散乱された 波がエクスポネンシャルにπikrの因子を持って電子密度分布あるいは 原子核スピン分布等での風鈴変換で散乱進歩が決まるという式になって いますこのとき散乱ベクトルkがブラック条件を満たしたときに skが極大になりますこれがブラック反射の条件ですね このようなことから逆行視点において物理的に意味があるのはs散乱進歩 が0でない逆行視点だけということをわかっていただけるかなと思います このことはつまり逆行視点をプロットで解説におけるつまり風鈴変換 における消滅速を考慮しないといけないということですそこで 先ほどの逆行視の絵から消滅速を考慮して書き直してみましょう まず実行視のブラベー行視は免震になっていますので解説点の 解説点のブラベー行視は免震になっていますので解説点のブラベー行視 のブラベー行視の解説点の解説点の消滅速はこのようになります hプラスkが奇数の解説点は消滅しますので消しますそうすると逆行視 も免震行視になりますねこのバツの点を消した行視というのは 下の基本行視の行視ベクトルから逆行視を組んだときの行視点の 配列と一致しますということで消滅速を考えれば 矛盾はなくなるということを理解していただけると思います その結果として3次元の実行視の逆行視を考えてみると耐震立方行視の ときには行視点は000と1分の11分の1の2つがありますが消滅しない指数 はhプラスkプラスlが偶数の場合ですこれは逆行視において免震立方行 視をとるということを意味しています実行視が免震立方行視の場合は 消滅しない指数はhklが奇数のみか偶数のみの場合ですつまり逆行 視は耐震立方行視になるということがわかります これらを他のブラベー行視に対しても考えてみると実行視と逆行視 の対応はこのようになります免震公視は耐震公視に変換され 耐震公視の逆行視は免震公視になります単純公視と低震公視は実行視でも 逆行視でも変わりませんcrystaldrawcell.pyというプログラム は赤い線で逆行視の単位行視を書いていますこのプログラムを読むことによって どうやって逆行視を計算して可視化することができるかを理解できる かと思います次に実行視と逆行視の関係を理解 するためには共変ベクトルと反変ベクトルという概念を理解する と非常に簡単になりますということで共変と反変という概念について はこのプログラムを読むことができるかどうかを理解してみましょう では次に実行視と逆行視の関係を理解することについてまず説明していきます 一つ前の録画で公視変換のルールについてまとめましたそのルール というのは実行視の公視ベクトルが変換行列tで変換されるとき実行 視の座標はtの点値の逆行列で変換されるということ基本ベクトルはtの点値のマイナス 1乗で変換される逆行視の座標つまりミラー指数はtで変換されるということ をまとめましたこうやって見てみると規定ベクトルと座標の変換 則というのは2種類に分類できます実行視ベクトルと同じ変換規則 つまりtによって変換を受ける実行視の規定ベクトルと座標の変換 則というのは2種類に分類できます実行視ベクトルと逆行視の座標 ミラー指数は同じグループに属しこれを共変ベクトルと呼びます 一方tの点値のマイナス1乗で変換されるのは実行視座標と逆行視 ベクトルですこれらは半変ベクトルと呼ばれます共変ベクトルとは 逆のルールに基づいて変換されるという意味ですねそれでは計量テンセルはどうでしょう 計量テンセルは実行視の計量テンセルは実行視の基本ベクトルaiとaj の内積で定義されますこれを座標変換するとg'ijというのはapriとapj の内積ですのでそれぞれを変換則を当てはめますその結果として やはりgklをa'jとa'jを変換することであることがわかります 実行視ベクトルの変換行列tikとtjlを使って変換した形になっています このことからgijは共変ベクトルの変換則tを2つ使って変換される 2回共変テンセルであることがわかります逆行視の計量テンセルはa'iとa'jの内積で定義されます以上先ほどの議論と同様にrgijは逆行 視の逆行視が半辺ベクトルの変換行列tkiの逆行列を使って変換する ことになります実行視ベクトルの変換行列tikと a'jの内積で定義されていることから逆行視ベクトルの変換行列 tkを2つ使って変換されますこのことから逆行視ベクトルの変換行列 tkを2回の半辺ベクトルであることがわかりますこのようにして 半辺か共変かを判断していくことができます 次に実行視と逆行視を変換した際の変換行列tikの変換行列tkiを2つ使って変換されますこのことから逆行視の計量テンセルは2回の半辺ベクトルであるということがわかります行列がどのようになるかを見て いきますまず一般座標形から一般座標形への変換ルールについて は前の録画で説明していますその結果このような関係式が出てきます がこのときA'1 A'2 A'3がA1 A2 A3の逆行詞である場合A'iとAjの 内積はクロネッカーデルタを使ってデルタijになりますつまりこちらの 変換則にA1 A2などとの内積をとって行列で表現してあげるとこのような 式になりますがこのうちの左の逆行詞ベクトルと実行詞ベクトル の内積の行列は単位行列になるのでこの関係が非常に簡単になります ということで実行詞から逆行詞変換の変換則について先ほどの 行列式をまとめてみましょうこれをもっと見やすく書くと変換行列 は実行詞の軽量転送行列の逆行列 になるということがわかりますこの実空間の軽量転送の逆行列 というのは後で説明しますが逆空間の軽量転送に一致しますということで 実行詞ベクトルとしてはこの2つの内積をとっております実行詞ベクトルとを逆行詞ベクトル に変換する際の変換行列は逆行詞の軽量転送に等しいということが わかりますこのようにして実行詞と逆行詞の変換則と軽量転送が 関係づけられますさてここで共変ベクトルと反変 ベクトルという概念が今まで出てきましたがこのようにしているときにこの 内積はスカラーになるということを確認していきたいと思いますまずそれぞれの座標形において 同一のベクトルrを考えますそうすると座標変換した後のaiプライム kxiプライムのrは内積が変わるということになりますこのようにしていますでは次に実行詞ベクトルと反転 行列の逆行列の変換行列を考えますこのようにしていますまず最初に自分の座標形について 調整すると自分の座標形を変換するときに実行詞ベクトルと反転を 変えることになりますまずまずaとkxは同じにしたいものではまず内積を変わるときに 実行詞ベクトルと反転を変えることになりますaプライムiとkxプライムiを座標 変換するとこのようになりますaプライムiはtijで変換されます一方で実空間の座標はtliの逆行列で変換されるということに注意 してくださいさてこちらの図のようにしています実空間の座標はTLIの逆行列で変換されるということに注意してください。これを書き直すとこのようになります。ここでTIKとTIJの逆行列のIに関する和というのが分かりにくいですが、これを行列で書き直してあげるとこのようになります。右の方は点値を取ると左の逆行列に等しくなりますので、これ実は単位行列になります。つまりこの関係式というのは、最初の一般座標形でのベクトルの表現Rと、座標変換をした後の表現R、が同じである、つまりベクトルRは不変量であるということを再確認しているものです。このルールはその他の共変ベクトルVIと半辺ベクトルWI、これはどのようなものをとっても構いませんが、その内積の座標変換でも同じ変換則が成立します。つまり共変ベクトルと半辺ベクトルの内積は必ず不変量スカラーになります。このようなことから、半辺ベクトルと共変ベクトルの書き方に規則を作ると、非常に見通しが良くなります。まず共変ベクトルの添え字は下付きに書きます。半辺ベクトルの添え字は上付きに書きます。このようなルールを決めた上で、共変成分と半辺成分の間で和をとる、つまり内積をとると、スカラーになります。このように、相対性理論を展開する際に、共変ベクトルと半辺ベクトルの内積をもっと簡単に書くことを提案しました。つまり、このxiとaiについて、相対性理論を展開する際に、共変ベクトルと半辺ベクトルの内積をもっと簡単に書くことを提案しました。つまり、このxiとaiについて、iについて和をとる際、半辺ベクトル成分と共変成分が出てきた場合には、和記号を省略して、xiとaiと簡略化して書こうということです。これをアインシュタインの縮約記法と言います。さらに、この書き方が便利なのは、同じ添え字記号iが上と下にペアしていることを、それがスカラー量になることが、一目見ただけでわかるということです。ということで、今まで出てきた量を、添え字規則に従って書き直してみましょう。実行詞の基本ベクトル、実行詞の計量点数、逆行詞の座標は、変換行列tにおいて、変換されるので共変ベクトルです。ということで、添え字を下に下突きで書きます。一方、実行詞の座標、逆行詞の基本ベクトル、逆行詞の計量点数は、半辺点数ですので、添え字を上に上突きで書きます。このような書き方をすると、わざわざ逆行詞の計量点数をrgijと書かなくても、添え字の位置で区別できるので、単純にgij上突きと書くことができるようになります。このようにしてみると、例えばベクトルの距離の事情、ノルムの事情は、このようにgij×xi×xjのiとjの相和になりますが、実行詞の計量点数が、2回の共変点数であって、座標の方は半辺点数であるので、それぞれ下突きと上突きのi、jで相和をとると、これらが消えてスカラーになるということがわかります。つまり、ベクトルrの長さの事情は、不変量スカラーであるということは一目でわかります。このように、共変成分と半辺成分を、上突きの添え字と下突きの添え字に分けて書くことによって、テンソルが出てくる方程式の左辺と右辺で、両辺が同じ変換則にして、つまり同じ添え字構造になっているということがわかれば、その方程式は座標変換に対して不変であるということが一目でわかるようになります。これを方程式は共変であると言います。実際に、私たちが今、大学以上で学ぶ物理法則は、何らかの対称性を満たすことが要請されています。これを、私たちが今、大学以上で学ぶ物理法則は、何らかの対称性を満たすことが要請されています。このような場合に、物理法則をラグランジアンのようなスカラーで表現するか、共変形式のテンソル方程式で表現し、方程式の左辺と右辺が同じ変換則に従うことを確認できれば、その方程式というのは要請されている対称性を満たすということが一目でわかります。例えば、特殊相対性理論やマクスウェルの方程式では、ローレンツ変換に対して共変です。一般相対性理論は、さらに一般座標変換に対して共変な理論です。長弦理論は、ローレンツ共変等に加えて、長対称性変換に対して普遍であるということが要請されていますので、最終的な方程式は、出発地点の方程式であることが要請されています。このような場合には、ローレンツ変換に対して、長弦理論は、ローレンツ変換に対して、長弦理論は、ローレンツ変換に対して、出発地点のラグラン事案は、ローレンツ共変、長対称性普遍な性質から設計されます。というようなことがありますので、物理方程式を共変・反変という概念を使って整理すると、非常に便利で見通しが良くなります。さらに、さらに、さらに、さらに、このような物性について、その物性に出てくる成分が共変なのか反変なのか、分からないことがあります。しかしながら、そのような未知の成分の場合にも、共変な方程式に添え字規則を使ってあげると、未知のベクトル、あるいはテンソルが共変か反変かが分かります。例えば、実効種の変換行列、今までは触れてきませんでしたが、は、今日変ベクトルであるajを、今日変ベクトルである別の座標形のa'iに変換する行列tijです。しかし、この書き方だと、tijが共変か反変かよく分かりません。が、今までの添え字規則に戻ってみると、jで和をとっているので、これは共変成分と反変成分の和でないといけません。といけません。また、SOEJIは左辺に残っているので、これは共変成分でないといけませんので、共変形式でこの式を表すと、TIJのIは下突き、Jは上突きにならないといけません。このことから、TIJは共変成分と半分成分を一つずつ持っている2回転ソルであるということが確認できます。同様のことをすると、逆格子の変換行列は、I成分が半辺、J成分が共変の2回転ソルであることがわかります。ここで、実格子のTIJと逆格子のTIJは同じ記号を使っていますが、相位置の位置が違うので、区別明確に確認できます。このように区別できることに注意してください。これは、計量転ソルについて、実格子でも逆格子でもGijと書いていても、相位置の位置によって実格子の計量転ソルか逆格子の計量転ソルかを明確に区別できたということと同様です。次に話をする最初のこの項ですね。次に話をする最初のこの項です。次に話をする最初のこの項です。次に話をする最初のこの項です。次に話をする最初のこの項です。次に話をする最初のこの項です。次に話をする最初のこの項です。次に話をする最初のこの項です。次に話をする最初のこの項です。次に話をする最初のこの項です。次に話をする最初のこの項です。次に話をする最初のこの項です。は半辺テンソルでないといけません 半辺ベクトルでもということですね次に有電力テンソルを考えます このとき自由エネルギースカラーはεij×ei×ejの相和になりますので eiとejが半辺ベクトルですのでei jというのは2回の共変テンソル であることがわかります歪みテンソルというのは実空間 での歪みΔxiこれは半辺ベクトルですねをxj位置の微分dxjで微分 したものになりますxjはまた半辺ベクトルですのでxjは半辺ベクトル ですのでxjは半辺ベクトルですですのでxjは半辺ベクトルですので これで微分すると共変成分に変わりますということで歪みテンソルという のは半辺成分と共変成分を1つずつ持っている2回テンソルであることが わかります同様に断線テンソルの場合には 共変成分半辺成分共変成分半辺成分が交互に出てくる半辺共変 テンソル4回の半辺共変テンソルであることが確認できますこのようにt直行形のベクトル解析 をうまく利用していくと理論解析理論展開が非常に簡単になりますしかしながら実際の材料の物性 のテンソル成分と関係づけることはあまり簡単ではありません単結晶の場合でしたら確かに単位 格子の軸方向が決められているのでテンソル成分と対応をつける ことができますしかし多結晶の場合には平均値 を取ろうとするとこれらの対称テンソルを対角化して種値の平均値 を取ることが必要になってきます種値を取るということはベクトル の方向に基本ベクトルを回転させるということになりますこのようにしてもいいかもしれません が実際に多くの理論計算の出力例えばバスプなどの出力では単位 格子の基本ベクトルに対してテンソル成分を出力するのではなくてデカルト 座標に対するテンソルを出力します例えばバスプでどのようにデカルト 座標が定義されるかといったとおりこのようにしてもいいかもしれません が実際に多くの理論計算の出力を取ることができるようになっていますこのようにしてもいいかもしれません が実際に多くの理論計算の出力はどのようにデカルト座標に対して テンソル成分を出力するのかというとポスカーファイルの中で格子 ベクトルをデカルト座標で表現したときの格子ベクトルが入力 されますこの格子ベクトルの方位に従って 物性テンソル例えば男性立テンソル有伝立テンソルやボルン有効電化 テンソルなどが出力されています以上今日編目の内容をご覧いただき ました強変成分と反変成分の基本的な 規則についてまとめておきますまず基本ベクトルと座標の強変 反変は入れ替わりますまた実空間と逆空間の強変反変 成分も入れ替わりますさらに微分によっても強変と反 変が入れ替わりますまた計量テンソルを使うことによって 強変成分と反変成分の基本的な成分を入れ替えられるということ も説明しました次の表はこれらをまとめています が実格子ベクトルが強変の場合その座標は反変になりその座標 で微分した結果は強変成分に変わります実格子ベクトルが強変の場合は 逆格子ベクトルは反変で逆格子の座標は強変で逆格子の座標で 微分すると反変に変わります実格子が強変と反変成分を入れ替わる ということも説明しました実格子ベクトルが反変の場合は 今と逆ですねというようなことでこの上の4つの ルールを考えてさらに創意時ルールをきっちり守ることによって反 変成分と強変成分の計算というのは間違いなく行うことができる ようになります最後に強変座標と反変成分の計算 を考えてみましょう強変座標と反変成分の計算という のは間違いなく行うことができることです強変座標と反変座標というのは同じ 規定ベクトルで異なる座標の取り方に当たるということを軽く説明 して終わりにします今まで私たちは見てきた一般座標 系の座標の取り方はこのようにr.pの1ベクトルをa2ベクトルに 平行にa1軸に遮影した値が座標x1で同様のことをa2軸に対して行った のがx2軸ですこのような座標の取り方を規定 座標系あるいは斜座標系と呼びますこれに対してnpの1ベクトルrを遮影 する際にa1軸に対して垂直に遮影するという考え方もできますこの場合にはx2a2軸へもa1軸に対して 垂直に遮影するという考え方もできますこの場合にはx2a2軸へもa1軸に対して 垂直に遮影するという考え方もできますこの場合にはx2a2軸へもa1軸に対して 垂直に遮影するという考え方もできますこのような座標の取り方を正斜 斜座標形と呼びますしかしながらこのような座標形 で1ベクトルをa1とa2で表すのは簡単ではありません実はこのような座標の取り方を するとすることはa1をa2で表すことは解決します次にa2をa2で表すことになります次にa2をa2で表すことになります次にa2をa2で表すことになりますA1とA2の逆行子ベクトルAスター1とAスター2をとってAスター1とAスター2に対して定座標形をとることと同じであるということがこの図から確認できますこのように出てきたX1とX2というのはもともとのこの座標形A1、A2についての反辺座標になりますがこちらのX'1、X'2は逆行子空間での規定座標形になっているのでこれが共変座標になっているということも理解していただけるかなと思います以上で終わりますありがとうございました