معادله دیراک

معادلۀ دیراک، معادله‌ای در مکانیک کوانتومی است که از گسترش معادله شرودینگر برای تابع موج ذرّات به‌دست می‌آید. برتری آن بر معادلۀ شرودینگر در این است که معادلۀ دیراک نظریه نسبیت خاص را نیز در بر می‌گیرد. این معادله را فیزیکدان بریتانیایی پل دیراک پدید آورد. خود دیراک این معادله را بر پایۀ معادله کلاین-گوردون گسترش داد. در این راه او به حالت‌هایی با تکانه زاویه‌ای j=1/2 در طبیعت پی برد. این موضوع به ویژه در دریافت حالت‌های با انرژی منفی کارایی داشت.

مقدمه

معادلۀ شرودینگر در ریخت نانسبیتی آن به ریخت زیر است
این معادله بر پایۀ پنداشتهای نانسبیتی به‌دست آمده است. در این معادله، وابستگی به زمان خطی است ولی وابستگی به مکان در آن ناخطی است. این معادله نسبت به تبدیلهای گالیله ناورداست اما نسبت به تبدیلهای لورنتز ناوردا نمی‌ماند. افزون بر این معادلهٔ شرودینگر نمی‌تواند اسپین ذرات را پیش‌بینی کند و اسپین را باید دستی در پاسخهای آن نهاد. این ناکاریها فیزیک را به جستجوی معادله‌ای رهنمون کرد که چنین کمبودهایی نداشته باشد. در فیزیک با موردهایی روبرو می‌شویم که باید تصحیحهای نسبیتی را هم در شمار آوریم. از این رو باید به‌دنبال معادله‌ای باشیم که نسبت به تبدیلهای لورنتز ناوردا باشد، چرا که این تبدیلها نسبت به تبدیلهای گالیله فراگیرتر و همگانی‌تریند.

معادلۀ دیراک

دیراک در پی یافتن معادلۀ شرودینگری به ریخت 
با همیلتونی 

  
بود که عملگرهای و در آن نه به سازند فضا زمانی و نه به مشتق آن  ()وابسته باشد. از سوی دیگر چون  هرمیتیست، ناگزیر  و  هم باید هرمیتی باشند، به دیگر سخن
باشد. از سوی دیگر همیلتونی باید به ریخت انرژی نسبیتی

  
باشد. بنابراین
و همچنین
پس در پی یافتن معادله‌ موجی با هنج مثبت و هامیلتونی هرمیتی به معادله دیراک دست می‌یابیم که هم نسبت به مکان و هم نسبت به زمان از مرتبه یک است.
معادله دیراک، تابع موجی ذرّات با اسپین نیم یعنی فرمیون‌ها را (مانند الکترون‌ها) بیان می‌کند. ولی معادله کلاین-گوردون برای ذرّات با اسپین صفر (مانند برخی از مزون‌ها) درستست. دیراک همچنین توانست با معادله‌اش، پادماده به‌ویژه پوزیترون را سه سال پیش از یافتن آن‌ها در آزمایش پیش‌بینی کند. چنانچه هیچ نیروی بیرونی درکار نباشد، معادلهٔ دیراک به ریخت زیر نوشته می‌شود:
در اینجا  با نمادنویسی خط مورب فاینمن جمع‌ بسته می‌شود.  ماتریس‌های 4×4 هستند که به نام ماتریس‌های دیراک شناخته می‌شوند.
 نیز ماتریس‌های پاولی نام دارند.

لاگرانژی دیراک

در الگوی بهنجار ذره‌های بنیادی همهٔ ذره‌های بنیادی اسپین نیم دارند و از معادلهٔ دیراک پیروی می‌کنند. در الگوی بهنجار ذره‌های بنیادی نوترینوها وارون لپتونهای باردار هم‌خانواده‌شان بی‌جرم پنداشته می‌شوند و بنابراین از معادلهٔ دیراک بی‌جرم پیروی می‌کنند.
بنا بر نگرهٔ کوانتمی میدان برای به‌دست آوردن معادلهٔ حرکت باید از لاگرانژی میدان آغازید. برای میدانی فرمیونی آزاد مانند  لاگرانژی دیراک را می‌توان به ریخت زیر نوشت:
که  در آن میدانی اسپینوری با چهار سازند است و میدان همیوغ آن  و نیز عملگر مشتق‌گیر دوسویه   برابرست با
و عملگر مشتق‌گیر همسو با پیکان رویش یا تنها بر میدانهای سوی راستش و یا تنها بر میدانها سوی چپش کاراست، بدین‌گونه که   بوده و همان عملگر مشتق‌گیر همیشگیست. بنابراین بنا بر معادلهٔ اولر لاگرانژ در نگرهٔ کوانتمی میدان داریم:
بنابراین با بازکردن لاگرانژی دیراک 
و گرفتن مشتق از مشتق همیوغ میدان و خود همیوغ میدان و نهادن آن در معادلهٔ اولر لاگرانژ خواهیم داشت:
پس
و سرانجام به معادلهٔ دیراک می‌رسیم:
لاگرانژی دیراک را به ریخت  هم می‌نویسند که با ریخت نوشته شده در بالا در   توفیر دارد. ولی بنا بر قضیهٔ گوس انتگرال مشتقی کامل جمله‌ای سطحی می‌باشد که چنین جمله‌ای نسبت به وردش کنش ناورداست و از این رو پیامدی بر معادلهٔ دیراک ندارد.