معادله دیراک
برای ادامه به سمت یک نظریه میدان برای الکترون ها و کوانتیزه کردن میدان دیراک، ما می خواهیم یک لاگرانژی اسکالر پیدا کنیم که معادله دیراک را به دست می دهد. از مطالعه کوواریانسهای لورنتس میدانیم که یک اسکالر است و میتوانیم از حاصلضرب نقطهای دو بردار 4 مانند لاگرانژی زیر یک اسکالر تشکیل دهیم. لاگرانژی نمی تواند به طور صریح به مختصات وابسته باشد. 

(میتوانیم یک جمله تانسور هم اضافه کنیم اما برای بدست آوردن معادله دیراک نیازی نیست.) فیلدهای مستقل 4 جزء
و چهار جزء
. معادله اویلر -لاگرانژ با استفاده از میدانهای مستقل ساده است زیرا هیچ مشتقی از آن در لاگرانژ
وجود ندارد .![]()

این معادله دیراک را به ما می دهد که نشان می دهد این لاگرانژی درست است. معادله اویلر-لاگرانژ که با استفاده از فیلدها به دست می آید ، معادله الحاقی دیراک
است .
چگالی همیلتونی ممکن است از لاگرانژ به روش استاندارد گرفته شود و کل همیلتون با ادغام در فضا محاسبه شود. توجه داشته باشید که چگالی همیلتونی همان چگالی همیلتونی است که مستقیماً از معادله دیراک مشتق شده است.

ما ممکن است
در امواج صفحه گسترش پیدا کنیم تا همیلتونی را به عنوان مجموع نوسانگرها درک کنیم.


با نوشتن همیلتونی بر حسب این فیلدها ، فرمول را می توان با بازدهی ساده کرد

با قیاس با الکترومغناطیس، میتوانیم ضرایب فوریه را برای امواج صفحه دیراک توسط عملگرها جایگزین کنیم.

ایجاد عملگرهای نابودی و برآوردن روابط ضد کموتاسیون .


اپراتور شماره شغل است. روابط ضد جابجایی تعداد اشغال را 1 یا 0 محدود می کند .
اکنون میدان دیراک و همیلتونین را میتوان بر حسب میدانهای الکترونی و پوزیترونی بازنویسی کرد که انرژی برای آنها همیشه مثبت است، با جایگزین کردن عملگر برای از بین بردن یک "حالت انرژی منفی" با یک عملگر برای ایجاد یک حالت پوزیترون با تکانه مناسب و چرخش.

این ضد رفت و آمد با هر چیز دیگری به استثنای اینکه

حالا فیلدها و همیلتونین را بازنویسی کنید.

تمام انرژی های این حالت ها مثبت است .
یک انرژی ثابت (بی نهایت) مشابه اما دارای علامت مخالف با میدان EM کوانتیزه شده وجود دارد که باید آن را اضافه کنیم تا حالت خلاء انرژی صفر داشته باشد. توجه داشته باشید که اگر از اپراتورهای رفت و آمد (بوز-اینشتین) به جای ضد رفت و آمد استفاده می کردیم، کمترین حالت پایه انرژی وجود نداشت، بنابراین این تفریق انرژی ممکن نبود. آمار فرمی دیراک برای ذراتی که معادله دیراک را برآورده می کنند مورد نیاز است .
از آنجایی که عملگرهایی که حالتهای فرمیونی را ایجاد میکنند ضد جابهجایی هستند ، حالتهای فرمیونی باید تحت مبادله ضد متقارن باشند. فرض کنید
و
عملگرهای ایجاد و نابودی فرمیون ها هستند و آنها ضد رفت و آمد هستند.

سپس این حالت ها تحت تبادل جفت فرمیون ها ضد متقارن هستند.

نشان دادن اینکه عدد اشغال حالت های فرمیونی صفر است یا یک کار سختی نیست .
توجه داشته باشید که اسپینورها معادلات کمی متفاوت زیر را برآورده می کنند .

منبع
https://quantummechanics.ucsd.edu/ph130a/130_notes/node46.html
در این وبلاگ به ریاضیات و کاربردهای آن و تحقیقات در آنها پرداخته می شود. مطالب در این وبلاگ ترجمه سطحی و اولیه است و کامل نیست.در صورتی سوال یا نظری در زمینه ریاضیات دارید مطرح نمایید .در صورت امکان به آن می پردازم. من دوست دارم برای یافتن پاسخ به سوالات و حل پروژه های علمی با دیگران همکاری نمایم.در صورتی که شما هم بامن هم عقیده هستید با من تماس بگیرید.