تبدیلات
[ ویرایش ]
برای چرخاندن یک برداردر جبر هندسی از فرمول زیر استفاده می شود: [ 15 ] : 50-51
،
کهزاویه چرخش است، و
دوبردار نرمال شده است که صفحه چرخش را نشان می دهد به طوری که
.
برای یک بردار فضایی داده شده،، بنابراین فرمول اویلر اعمال می شود، [ 2 ] : 401 که چرخش را می دهد
.
برای یک بردار زمانی معین،بنابراین یک "چرخش در طول زمان" از معادله مشابه برای اعداد مختلط تقسیم می شود :
.
با تفسیر این معادله، این چرخش ها در امتداد جهت زمان صرفاً چرخش های هذلولی هستند . اینها معادل افزایش لورنتس در نسبیت خاص هستند.
هر دوی این تبدیل ها به تبدیل های لورنتس معروف هستند و مجموعه ترکیبی همه آنها گروه لورنتس است . برای تبدیل یک شی در STA از هر مبنایی (مرتبط با یک چارچوب مرجع) به دیگری، یک یا چند مورد از این تبدیل ها باید استفاده شود. [ 1 ] : 47-62
هر عنصر فضا-زمان با ضرب با شبه مقیاس تبدیل می شود تا عنصر دوگانه آن را تشکیل دهد
. [ 12 ] : 114 چرخش دوگانه عنصر فضا-زمان را تبدیل می کند
به عنصرا
از طریق زاویه
با شبه اسکالر
است: [ 1 ] : 13
چرخش دوگانه فقط برای جبر کلیفورد غیر مفرد اتفاق میافتد ، غیر منفرد به معنای جبر کلیفورد حاوی شبه مقیاسها با مربع غیرصفر. [ 1 ] : 13
گرید انولوشن (درون چرخشی اصلی، وارونگی) هر بردار r را تبدیل می کندبه r∗
: [ 1 ] : 13 [ 16 ]
تبدیل برگشتی با تجزیه هر عنصر فضا-زمان به عنوان مجموع حاصل از بردارها و سپس معکوس کردن ترتیب هر ضرب اتفاق می افتد. [ 1 ] : 13 [ 17 ] برای چند برداری از حاصل ضرب بردارها،
بازگشت است
:
ترکیب کلیفورد از یک عنصر فضا-زمانترکیبی از تبدیلهای برگشتی و چرخشی درجه، که به عنوان نشان داده شده است
: [ 18 ]
دگرگونی درجه، برگشت و تبدیلهای صرف کلیفورد انحلال هستند . [ 19 ]
الکترومغناطیس کلاسیک
[ ویرایش ]
دوبردار فارادی
[ ویرایش ]
در STA، میدان الکتریکی و میدان مغناطیسی را می توان در یک میدان دو بردار واحد، که به نام دو بردار فارادی، معادل تانسور فارادی شناخته می شود، متحد کرد . [ 2 ] : 230 به این صورت تعریف می شود:
کهو
میدان های الکتریکی و مغناطیسی معمولی هستند و
شبه STA است. [ 2 ] : 230 متناوباً، در حال گسترش
از نظر اجزاء
تعریف شده است که
جداE→و
میدانها از آن بازیابی می شوند
با استفاده از
ایناصطلاح یک چارچوب مرجع معین را نشان میدهد، و به این ترتیب، استفاده از چارچوبهای مرجع مختلف، منجر به میدانهای نسبی ظاهراً متفاوتی میشود، دقیقاً مانند نسبیت خاص استاندارد. [ 2 ] : 233
از آنجایی که دوبردار فارادی یک نامتغیر نسبیتی است، اطلاعات بیشتری را میتوان در مربع آن یافت، که دو کمیت جدید لورنتز نامتغیر، یکی اسکالر و یک شبه مقیاس را به دست میدهد:
بخش اسکالر مربوط به چگالی لاگرانژ برای میدان الکترومغناطیسی است، و بخش شبه اسکالر یک تغییر ناپذیر لورنتس است که کمتر دیده می شود. [ 2 ] : 234
معادله ماکسول
[ ویرایش ]
STA معادلات ماکسول را به شکل سادهتر به عنوان یک معادله فرموله میکند، [ 20 ] : 230 به جای 4 معادله حساب برداری . [ 21 ] : 2-3 مشابه دو بردار میدان فوق، چگالی بار الکتریکی و چگالی جریان را می توان در یک بردار فضازمان واحد، معادل یک بردار چهار بردار ، متحد کرد . به این ترتیب، جریان فضا-زمانتوسط [ 22 ] : 26 داده شده است
جایی که اجزاءاجزای چگالی جریان سه بعدی کلاسیک هستند. هنگامی که این مقادیر را به این ترتیب ترکیب می کنیم، به ویژه مشخص می شود که چگالی بار کلاسیک چیزی نیست جز جریانی که در جهت زمانی داده شده توسط
.
با ترکیب میدان الکترومغناطیسی و چگالی جریان همراه با گرادیان فضازمان همانطور که قبلاً تعریف شد، میتوانیم هر چهار معادله ماکسول را در یک معادله در STA ترکیب کنیم. [ 20 ] : 230
معادله ماکسول:
این حقیقیت که این کمیت ها همه اشیاء کوواریانت در STA هستند به طور خودکار کوواریانس لورنتز معادله را تضمین می کند، که نشان دادن آن بسیار ساده تر از زمانی است که به چهار معادله جداگانه جدا شود.
در این شکل، اثبات برخی ویژگیهای معادلات ماکسول، مانند بقای بار ، بسیار سادهتر است . با استفاده از این حقیقیت که برای هر میدان دوبردار، واگرایی گرادیان فضازمان آن است، می توان دستکاری زیر را انجام داد: [ 23 ] : 231
این معادله به این معنی است که واگرایی چگالی جریان صفر است، یعنی بار کل و چگالی جریان در طول زمان حفظ می شود.
با استفاده از میدان الکترومغناطیسی، شکل نیروی لورنتس روی ذره باردار نیز میتواند به طور قابل توجهی با استفاده از STA ساده شود. [ 24 ] : 156
نیروی لورنتس بر یک ذره باردار:
فرمولاسیون پتانسیل
[ ویرایش ]
در فرمول حساب بردار استاندارد از دو تابع پتانسیل استفاده می شود: پتانسیل اسکالر الکتریکی و پتانسیل بردار مغناطیسی . با استفاده از ابزارهای STA، این دو شیء در یک میدان برداری واحد ترکیب می شوند، مشابه چهار پتانسیل الکترومغناطیسی در حساب تانسور است. در STA به این صورت تعریف می شود
کهپتانسیل اسکالر است و
اجزای پتانسیل مغناطیسی هستند. همانطور که تعریف شد، این میدان دارای واحدهای SI وبر در هر متر است (V⋅s⋅m -1 ).
میدان الکترومغناطیسی را می توان بر حسب این میدان پتانسیل با استفاده از
با این حال، این تعریف منحصر به فرد نیست. برای هر تابع اسکالر دو برابر مشتق پذیر، پتانسیل داده شده توسط
نیز همان را خواهد دادبه عنوان اصلی، با توجه به این حقیقیت است که
این پدیده آزادی سنج نامیده می شود . فرآیند انتخاب یک تابع مناسببرای سادهترین مشکل معین به عنوان ثابت کردن سنج شناخته میشود . با این حال، در الکترودینامیک نسبیتی، شرط لورنز اغلب تحمیل می شود، جایی که
. [ 2 ] : 231
برای فرمول بندی مجدد معادله STA ماکسول بر حسب پتانسیل،
ابتدا با تعریف فوق جایگزین می شود.
با جایگزینی این نتیجه، به فرمول پتانسیل الکترومغناطیس در STA می رسیم: [ 2 ] : 232
معادله پتانسیل:
فرمول لاگرانژی
[ ویرایش ]
مشابه فرمالیسم حساب تانسور، فرمول پتانسیل در STA به طور طبیعی به چگالی لاگرانژی مناسب منجر می شود . [ 2 ] : 453
چگالی لاگرانژی الکترومغناطیسی:
معادلات اویلر-لاگرانژ چند بردار برای میدان را می توان استخراج کرد، و با توجه به سختی ریاضی گرفتن مشتق جزئی نسبت به چیزی که اسکالر نیست، معادلات مربوطه تبدیل می شوند: [ 25 ] : 440
برای شروع دوباره به دست آوردن معادله پتانسیل از این فرم، ساده ترین کار در گیج لورنز است، با تنظیم [ 2 ] : 232
این فرآیند را می توان بدون توجه به گیج انتخابی انجام داد، اما این روند نتیجه را به طور قابل توجهی واضح تر می کند. با توجه به ساختار ضرب هندسی ، استفاده از این شرط منجر به این می شود.
پس از تعویض در، همان معادله حرکتی که در بالا برای میدان پتانسیل وجود دارد
به راحتی بدست می آید.
معادله پائولی
[ ویرایش ]
STA اجازه می دهد تا ذره پائولی را در قالب یک نظریه حقیقی به جای نظریه ماتریس توصیف کند. توصیف نظریه ماتریس ذره پائولی به شرح زیر است: [ 26 ]
کهاسپینور است ،
واحد خیالی بدون تفسیر هندسی است،
ماتریس های پائولی هستند (با نماد "کلاه" نشان دهنده آن است
یک عملگر ماتریسی است و نه عنصری در جبر هندسی)، و
شرودینگر همیلتونی است.
رویکرد STA نمایش اسپینور ماتریس را تبدیل می کندبه نمایندگی STA
با استفاده از عناصر،σ1،σ2،
، از زیر جبر فضازمان با درجه زوج و شبه مقیاس
: [ 2 ] : 37 [ 27 ] : 270، 271
ذره پائولی با معادله حقیقی پائولی- شرودینگر توصیف می شود: [ 26 ]
الان کهیک چند بردار زوج جبر هندسی است و شرودینگر همیلتونی
. هستند از این نظریه به عنوان نظریه حقیقی پائولی- شرودینگر یاد می کند تا تأکید کند که اگر اصطلاحی که شامل میدان مغناطیسی است حذف شود، این نظریه به نظریه شرودینگر کاهش می یابد. [ 26 ] : 30 بردار
یک بردار ثابت انتخابی دلخواه است. یک چرخش ثابت می تواند هر بردار ثابت انتخابی جایگزینی را ایجاد کند"
. [ 28 ] : 30
در این وبلاگ به ریاضیات و کاربردهای آن و تحقیقات در آنها پرداخته می شود. مطالب در این وبلاگ ترجمه سطحی و اولیه است و کامل نیست.در صورتی سوال یا نظری در زمینه ریاضیات دارید مطرح نمایید .در صورت امکان به آن می پردازم. من دوست دارم برای یافتن پاسخ به سوالات و حل پروژه های علمی با دیگران همکاری نمایم.در صورتی که شما هم بامن هم عقیده هستید با من تماس بگیرید.