学年

質問の種類

物理 大学生・専門学校生・社会人

マーカーのn²-1はどのようにわかりますか?

とと,エルミート性のかわりに, 対称性 (A, B)p = (B, A)F が成り立つことです。 実ベクトル空間の内積が複素ベクトル空間の内積と違う点は,実数値をとるこ が直接わかるわけではありません. ここでは量子トモグラフィー, つまり量子状 そのためには, いくつかの種類の測定をしなければなりません. どのような測 多数回測定によってわかるのは, あるオブザーパブルの平均値だけなので, 状態 状 態を決定することを考えます。 定を行えば量子状態を決定できるでしょうか。 ■ 4.1 密度作用素の空間 n次元複素ユークリッド·ベクトル空間H上の密度作用素全体のなす集合Dens の構造をもう少し考えてみます. 密度作用素はエルミート作用素なので, エルミー ト作用素全体のなす集合 Herm に目を向けてみましょう. Herm は実ベクトル空間です. 次元はn次のエルミート行列のパラメータの数を 数えればよくて,対角線にn個の実パラメータ,それ以外のところにn(n-1)/2個 の複素パラメータがあるので, n° 次元になります.さらに、実ベクトル空間 Herm に内積を定義しておきます。 (定義)エルミート作用素の内積 A, B をエルミート作用素とするとき, 内積( , )= : Herm × Herm → Kで (A, B)F = Tr(AB) と定義する。 また,第1スロット, 第2スロットの両方に関して実線形です。 ミ

解決済み 回答数: 1
物理 大学生・専門学校生・社会人

量子力学・ハイゼンベルクの交換相互作用についての問題です。 参考書を参考に(あ)〜(え)まで解いてみたのですが、考え方はあっていますか? また、(お)以降の解説をお願いします。ブロッホの定理やフーリエ変換はどのように効いてくるのでしょうか?

III. 以下の文章のあ き の枠内に当てはまる数式や記号を答えよ。 ヘ =1として,スピン角運動量1/2をもつ三つのスピンが,互いに相互作用している系を考え る。スピン演算子を$, S,, $, とすると,系のハミルトニアンは次のように与えられる。 自=-J(S, S+ S,. S。+ $。. S.), J>0. ここでも番目(;= 1,2,3) のスピンのz,9, z 方向成分をそれぞれ好,S, S とする。スピン演算 子の間には (S, SY] = iS}, [SF, SY] = 0などの交換関係が成り立つ、自) = E\d) を満たす。 固有エネルギーEとエネルギー固有状態|)を求めたい。 全スピン角運動量 Shot = $, + $2+S。を使うとハミルトニアンは次のように書き直すことが できる。 自= - + JC, 定数C= あ 'tot このことから基底状態のエネルギー固有値は 時の固有値は S= +1/2, -1/2 のニつであり,これらに相当する1スピン状態をそれぞれ↑。 ↓と記すと,3スピン状態は,|S{ S S3) = |M1),| t)などのように表すことができる。独 立な3スピン状態は全部で 具体的にエネルギー固有状態をあらわしてみよう。 まず基底状態のうちで Sto = St+ Sz + Sg が最大の状態は |S S; Sg) ちに書き下すことができる。 つぎにエネルギー固有状態のうちで Sie = 1/2 のものを求めたい,ハミルトニアンと交換可 能な演算子はハミルトニアンと同時固有状態をもつことを利用する.このような演算子の一つ にスピンをRIS; S; S) = |S; S; S;)のように巡回置換する演算子良がある。-iとなるこ とと,周期系におけるブロッホの定理やフーリエ変換を思い出すと,Rと St。と自の同時固有 状態は適切な定数A(複素数も含む)を用いて い である。 う 種類あり,規格直交基底をなす。にれらの線形結合の形で え のように直 三 る(「4)+A|)+ ^°| +t) V3 と表せることが分かる。Aの取り得る値をすべて列挙すると 底状態となるのは A- か 以上の結果からすでに二つ基底状態が得られた。残りの基底状態を列挙すると, お となる.このうちで,基 の場合である。 き と なる。

未解決 回答数: 1
数学 大学生・専門学校生・社会人

多様体の接空間に関する基底定理の証明です。g(q)=∫〜と定義した関数を微積分学の基本定理を用いながら変形してg(q)=g(0)+∑gᵢuⁱと導出するのですが、これがうまくいきません。 自分は、g(q)の式をまず両辺tで微分して、次に両辺uⁱで積分して、最後に両辺tで積分... 続きを読む

12. Theorem.If{ = (x', , x") is a coordinate system in M at p, then its coordinate vectors d, lp, …… 0,l, forma basis for the tangent space T,(M); and D= E(x) 。 i=1 for all ve T(M). Proof. By the preceding remarks we can work solely on the coordinate neighborhood of G. Since u(c) = Othere is no loss of generality in assuming ど(p) = 0eR". Shrinking W if necessary gives E(W) = {qe R":|q| < } for some 8. Ifg is a smooth function on E(W) then for each 1 <isndefine og (tq) dt du g(9) = for all qe {(W). It follows using the fundamental theorem of calculus that g= g(0) + E&,u' on (W). Thus if fe &(M), setting g = f。' yields f= f(P) + Ex on U. Applying d/ax' gives f(p) = (f /0x)(P). Thus applying the tangent vector e to the formula gives (f) = 0+ E(x'(p) + E Ap)u(x) = E(Px). ず ax Since this holds for all f e &(M), the tangent vectors v and Z Ux') d,l, are equal. It remains to show that the coordinate vectors are linearly independent. But if ) a, o.l, = 0, then application to x' yields dxi 0=24 (P) = 2q d」= 4. In particular the (vector space) dimension of T,(M) is the same as the dimension of M.

未解決 回答数: 1