Professional Documents
Culture Documents
P
P
2
محمدیوسف حقی ، 1فرهاد دارابی
گروه فیزیک ،دانشکده علوم ،دانشگاه شهیدمدنی ،تبریز ،ایران )1
گروه فیزیک ،دانشکده علوم ،دانشگاه شهیدمدنی ،تبریز ،ایران )2
*نویسنده مسئول :گروه فیزیک ،دانشکده علوم ،دانشگاه شهیدمدنی ،تبریز ،ایران
ما مدل های یک و دو بعدی را برای الکترومغناطیس کالسیک با اس,,تفاده از روش ن,,زول Hadamardاس,,تخراج می
کنیم.الکترومغناطیس ابعاد پایین به عنوان تخصصی از ابعاد باالتر تصور می شود ک,ه در آن می,دان ه,ا در امت,,داد جهت
ه,,ای فض,,ایی اض,,افی یکن,,واخت هس,,تند .,این اس,,تراتژی دو الکترومغن,,اطیس مس,,تقل در دو مختص,,ات فض,,ایی و چه,,ار
الکترومغناطیس مستقل در یک مختصات فضایی به دست میدهد.
.مقدمه
پرسشهایی درباره فضا ،مسطح بودن و تعداد ابعاد آن همیشه فیزیکدانان ،ریاضیدانان و رماننویسان را مجذوب خ,,ود
کرده است.ما در سه بعد فضایی زندگی میکنیم ،ام,ا اغلب در م,ورد جهانه,ایی ب,ا ابع,اد متف,اوت فک,ر و س,,عی میک,,نیم
تصویری از چنین جهانهایی بسازیم که ویژگیهای آنها فراتر از ادراک حسی ما است ،ام,ا مطمئن,ا ً دور از تص,ور م,ا
نیست.ارنفست ،یک قرن پیش ،به این فکر می کرد که آیا قوانین بنیادی فیزیک «به نوعی ایجاب می کنند» ک,,ه س,,ه بع,,د
(فضایی) وجود داشته باشد.او متوجه شد ک,,ه تع,,دادی از وی,,ژگی ه,,ای هندس,,ی وج,ود دارن,,د ک,,ه س,,ه بع,,د را متف,,اوت می
کنند.او مش,,اهده ک,,رد ک,,ه ( , )iدر ی,,ک فضا-زم,,ان کلی (-)n+1بع,,دی ،تع,,داد اج,,زای می,,دان الک,,تریکی براب,,ر ب,,ا تع,,داد,
بوستهای مستقل است که به نوبه خود برابر با تعداد( ,)nمختصات فضایی است;و ( ,)iiتعداد اجزای می,,دان مغناطیس,,ی
2همزم,ان ب,ا س,طوح دو بع,دی متم,ایز( ,)iiiاین دو ع,دد ب,ا برابر با تعداد ,چرخش ه,ای مس,تقل است
یکدیگر برابرند ،ودر ، 3فقط برای n = 3برابرند ،در حالی که ،برای تمام مقادیر دیگر ،nمی,,دان ه,,ای الک,,تریکی و
مغناطیسی اشیایی از انواع مختلف هستند .از این منظر،قوانین الکترومغناطیس مستلزم سه بعدی بودن فض,,ا اس,,ت زی,,را
"دوگانگی بین کمیت های الکتریکی و مغناطیسی" یکی از ویژگی های جه,,ان م,,ا است.طب,,ق گفت,,ه ،Ehrenfestس,,ه (و
چهار) بعد متفاوت و جالب تر به نظر می رسند.این مشاهدات اولیه توسط تحقیقات ریاضی و فیزیکی در دهه ه,,ای بع,,د
تأیید شده است.عجیب است که چنین مشاهدات فنی دانشمندان ,را به طرح س,,ؤاالت جس,,ورانه ت,,رغیب می کن,,د ,،ک,,ه ح,,تی
فیلسوفان نیز جرأت بیان آنها را ندارند.یکی از این سواالت :جهان در دو یا ح,تی ی,,ک بع,د فض,ایی چگون,,ه ب,ه نظ,ر می
رسدما در این مقاله به این سوال کلی و بسیار دشوار نمی پردازیم و به پرسش,,ی س,,اده ت,,ر بس,,نده می ک,,نیم.س,,وال م,,ا این
است که قوانین الکترومغناطیس ( ,)EMدر n < 3بعد فضایی چه شکلی می توانند داشته باشند.اندکی تأمل نشان ميدهد
که حتی این سؤال فروتنانه نیز بیمعنا است ،مگر اینکه «رویهای» مشخص شود که فرد را قادر میسازد تعداد ابعاد را
کاهش دهد.علیالخصوص چه چیزی باید از یک جهان یک یا دو بعدی مطالبه کند؟کدام تقارن ها ،میدان ها ،پتانسیل ها،
نیروی لورنتس ،معادالت ماکسول ،محصوالت برداری ،نسبی و ع,,دم تغی,,یر پیمان,,ه ای بای,,د اعم,,ال ش,,وند .آی,,ا می ت,,وان
EMرا در ابعاد n < 3فضایی به گونه ای فرمول بندی کرد که تمام ویژگی های فوق به طور مداوم تعریف شوند؟به
منظور فرمول بندی EMدر ابعاد فضایی ، n<3استراتژی پیشنهادی هادامارد در یک قرن پیش را اتخاذ می کنیم ک,,ه
به عنوان روش نزولی شناخته می شود.به قول هادامارد ،این ایده شامل توجه به این است که کسی که کارهای بیش,,تری
میتواند انجام دهد ،کمتر را نیز میتواند انجام دهد:پساگر بتوانیم مع,ادالت را ب,ا متغیره,ای mیکپارچ,ه ک,نیم ،می ت,وانیم
همین کار را برای معادالت با متغ,یر m−1نیزانج,ام دهیم.ه,دف اص,لی هادام,ارد ح,ل ی,ک معادل,ه دیفرانس,یل ،همانن,د,
معادالت موج و گرما ،متعلق به مجموعه ای از nمتغیر مستقل ،با در نظر گرفتن آن به عنوان یک مورد خاص از یک
مسئله عمومی تر ،متعلق به مجموعه بزرگتر n+1متغیر مستقل و با ادغام متغیر اضافی بود.توجه داشته باشید ک,ه م,,ا
در حال اتخاذ یک معنای هندسی غیررسمی از اصطالح بعد هستیم .در فضای سه بعدی برای تعیین موقعیت ی,,ک نقط,,ه
به سه پارامتر (مختصات دکارتی) نیاز است.هادامارد به س,,ادگی یکی از آنه,,ا را ب,,رای "ن,,زول" ب,,ه فض,,ای دو بع,,دی و
متغیر دوم را هم برای نزول به فضای یک بعدی ادغام میکند.ق,,درت این روش در س,,ادگی مبتکران,,ه آن نهفت,,ه است.این
استراتژی ساده و در عین حال جوابگو است EM :با ابعاد پایین ب,,ه عن,,وان ی,,ک م,,ورد خ,,اص از ابع,,اد ب,,االتر در نظ,,ر
گرفته می شود که در آن تمام مقادیر مربوطه در امتداد جهت های فضایی اضافی یکنواخت هستند.همانطور ک,,ه خ,,واهیم
دید ،این روش ،با الهام از روش نزولی هادامارد ،دو EMمستقل در دو مختصات فضایی و چهار EMمستقل در یک
مختصات فضایی به دست میدهد .هر مدل با ابعاد کم ،ویژگی ها و خواص فیزیکی خاص خود را خواهد داشت.
نقطه شروع تحلیل ما فرمول کالسیک الکترومغناطیس در سه بعد فضایی است.35–33ساختار تانسور این نظریه در
فرمول بندی آن در یک فضازمان مینکوفسکی ( )1 +3بعدی نمایان است.36
در این کار ،تمرکز اصلی ما بر روی رفتار اجزای میدان الکترومغناطیسی EMبا کاهش ابعاد فضایی است .بنابراین،
بارها و جریان ها بسته به مختصات فضا-زمان به عنوان منابع غیر دینامیکی در نظر گرفته می شوند.
.Aمیدان ها و تانسورها
میدان EMدر فضای مینکوفسکی ( )1 +3بعدی ،که برای آن یک تانسور متریک ηبا اثر
( ,diag(1,−1,−1,−1) = )ηµνفرض می کنیم ،را می توان بر حسب تانسور میدان ،Fجفت شده با جریان 4بردار j
و شبه تانسور دوگانه Gتوصیف کرد:
در معادالت باال و در این مقاله ،واحدهای Heaviside-Lorentzرا اتخاذ میکنیم که در آن اجزای میدان الکتریکی و
مغناطیسی دارای ابعاد یکسانی هستند.
تانسورهای Fو Gهر دو نا متقارن رتبه 2-هستند و دوگانگی بین آنها با روابط
بیان می شود.
مولفه های Eمیدان الکتریکی و Bمیدان مغناطیسی ،چگالی بار ، ρو چگالی جریان ، Jساختار بلوک این کمیت ه,,ا
را تعیین ,می کنند.,
) نشاندهنده جابهجایی ،و تیلد نشاندهنده دوگانگی در R3است ( ترجمه نشده ص3 با
تحت یک چرخش فضایی سه بعدی مناسب (در این مقاله ما بر تقارن های گسسته ،مانن,,د وارونگی ه,,ای مک,,ان و زم,,ان
تمرکز نمی کنیم) ،هر دو Eو Bمانند 3بردارها تبدیل ,می شوند ،هیچ اختالط بین اجزای الکتریکی و مغناطیس,,ی رخ
نمی دهد ،و ساختار بلوک ( )2از Fو Gحفظ شده است،
همانطور که از ویژگی کلی تانسورهای مینکوفسکی نامتقارن رتبه 2-انتظار می رود ،که تجزیه 3 ⊕ 3آنها نسبت ب,ه
چرخش های مناسب )SO(3ثابت است.
به همین ترتیب ،چرخشهای مناسب چگالی بار ρرا بدون تغییر میگذارند و چگالی جریان Jرا مانند یک
3بردارتبدیل میکنند و از اختالط بین ρو Jجلوگیری و ساختار بلوک ( )2از jرا حفظ میکنند ،که در نتیجه مانند
یک بردار رفتار میکند که با تجزیه ثابت با 3 ⊕ 1توجه به ) SO(3مشخص می شود.
)(3
)(4
در موارد زیر ،بیان صریح معادالت ماکسول باال در مولفهها آسان خواهد بود:
با شروع از معادالت ماکسول ،می توان یک معادله موج برای هر یک از اجزای میدان الکترومغناطیسی EMبدست
اورد.
.Bپتانسیل و الگرانژی
معادالت همگن ماکسول ( )3که می تواند به صورت معادل زیر بیان شود
که محدودیت های مستقل از منبع را بر روی اجزای میدان EMارائه می دهد .این معادالت با بیان تانسور میدان بر
پتانسیل برآورده می شوند حسب 4بردار
در فرمالیسم غیرکوواریانس ،رابطه بین میدان ها و پتانسیل ها خوانده می شود برای
به این ترتیب تعداد درجات آزادی میدان EMبه چهار کاهش می یابد.
کاهش بیشتر ،از این مشاهدات ناشی میشود که تعریف میدانها بر حسب پتانسیلها تحت تبدیلهای gauge
ثابت است.
برقرار باشد ،آنگاه پتانسیل از معادله اگر انتخاب گیج به گونه ای باشد که شرط لورنتس
موج تبعیت می کند.
نمایش نمودار ( )aساختار معادالت ماکسول در ابعاد 1 + 3و ( )bپس از اولین کاهش بعدی.
هستند ,و یال ها جفت ها را نشان می دهند ،دو راس اگر و فقط در یا منابع راس ها یا فیلدها
صورتی به هم مرتبط می شوند که در یک معادله دیفرانسیل ظاهر شوند
فرض استقالل zبا خط افقی چیندار نشان داده میشود که دو بخش را که توسط معادالت میدان مستقل اداره میشوند،
جدا میکند.
سیستم ماکسول در ابعاد 1 + 3یک نمودار متصل است و هر معادله به یک زیرگراف متصل است.
با انجام کاهش ،نمودار به دو جزء متصل تقسیم می شود :معادالت همگن ( )31(-)29به یک یال واحد ،معادالت
ناهمگن ( )27(-)25به یک زیرگراف مثلثی ،در حالی که معادالت )25( .و (( )32که همچنین تنها معادالت شامل تمام
متغیرهای هر مجموعه هستند) بدون تغییر هستند.
که از آن می توان معادله موج ( )17برای اجزای میدان را بالفاصله استخراج کرد.
به عنوان یک مشتق نامتقارن از پتانسیل است ،معادالت ناهمگن ( در حالی که معادالت همگن نتیجه مستقیم بیان
)4را می توان از چگالی الگرانژی به دست آورد.
ما از معادالت ماکسول در ابعاد 1 +3شروع میکنیم و نیاز داریم که هم منابع و هم راهحلها مستقل از zباشند ،به
طوری که تمام عبارات حاوی مشتقات نسبت به zحذف شوند.
مشاهده این که معادالت ماکسول به دو مجموعه مستقل (غیر جفت نشده) ( )8(-)9تقسیم می شوند که هر کدام از 4
معادله ساده تشکیل شده اند.
1بخش
اولین زیر سیستم از معادالت (,)14( ,)13( ,)12و ( )15بدست میآید .که دینامیک و محدودیت های مربوط به
اجزای میدان Ex، Eyو Bzرا تعیین می کنند.
فقط به این زیرسیستم معادله پیوستگی توجه کنید که ،از آنجایی که
را حفظ می کند., است که حداقل ویژگی های ساختار مربوط می شود .این کاهش معمول EMدر ابعاد
شکل 2راببینید
زیرسیستم دوم از معادالت )11( ,)10( ,)9( .و ( )16مشتق شده و شامل مجموعه مکملی از اجزای میدان است.
که در آن یک معادله ناهمگن منفرد با عبارت منبع Jzوجود دارد .دوباره شکل 2را ببینید,
نماد گذاری تانسور
در نتیجه کاهش اول ،تانسور میدان ،EMجریان دوگانه و 4جریان به صورت زیر تقسیم میشوند:
که در آن اجزای مربوط به زیرسیستم اول به رنگ آبی و اجزای مربوط به زیرسیستم دوم به رنگ قرمز هستند .با
جابجایی به نمادگذاری تانسور ،می بینیم که دوگانگی آشکار بین بلوک های دارای رنگ مساوی در Fو Gنتیجه
تعامل بین()1+3و ()1 + 2دوگانه برای یک ضد متقارن رتبه 2-است ()1 + 3تانسور:
شکل :2پانل های باالیی :منابع مستقل از zدر یک فضای سه بعدی.پانل های پایین :نمایش آنها در الکترومغناطیس( .)1 + 2بخش ( )a( :)Ex, Ey, Bzیک سیم باردار
نامشخص (قرمز) و یک سیم باردار (آبی) با بردار جریان متعامد به ) z(bدر دو بعد با یک بار نقطه (قرمز) و یک (( آبی) حلقه جریان دایره ای در صفحه ( .)x, yبخش (
)c( :)Bx، By، Ezدو سیم جریان نامعین (آبی) به موازات ) z(dدر دو بعد با دو بار نقطه ای آبی رنگ با عالمت مخالف نشان داده شده اند.
از این پس ،شاخصهای التین a، b، cدر { }2 ،1 ،0متفاوت هستند ،صرف نظر از آزاد بودن یا منقبض بودن
آنها .در شکل تانسور ،سیستم معادالت ( )28(–)25بخش ( )Ex, Ey, Bzخوانده می شود.
در یک مانند منبع یک تانسور نامتقارن مرتبه 3است ،در حالی که دوگانه آن با
فضای ( )1 2بعدی مانند یک بردار رفتار می کند .شکل تانسور معادالت ماکسول ( )32(–)29برای بخش (Bx،
)By، Exخوانده می شود.
که در آن ( )Fa3اکنون یک بردار 3جزئی است ،دوگانه آن ( )Gabیک تانسور نامتقارن مرتبه 3است ،و منبع j
3یک اسکالر است .شکل معادالت )39(–)36( .شبیه معادالت نسبیتی ماکسول ( )4(–)3است .با این حال ،توجه
داشته باشید که در هر زیرسیستم ،تانسور میدان و منبع انواع مختلفی از اشیاء هستند ,،با قیاس نزدیکتر به حالت(
)1+3فقط در بخش ( )Ex، Ey، Bzمعتبر است.
در هر دو بخش ،معادالت ماکسول تعیین ,می کند ,که اجزای میدان به صورت امواج در دو بعد منتشر می شوند :در
جایگزین می واقع ،در یک چارچوب مستقل از ،zعملگر داالمبر به طور موثر با
شود
همچنین در این مورد به شکل متفاوت معادله ( )41در بخش ( )Bx, By, Ezتوجه کنید که ماهیت اسکالر مؤثر
منبع را برجسته می کند.
در بخشهای فرعی قبلی ،معادالت میدان الکترومغناطیسی را در مورد تغییرناپذیری در امتداد مختصات فضایی معین
بدست اوردیم.
و الکترواستاتیک،
را می توان به عنوان موارد خاصی از معادالت ماکسول که با کاهش ابعادی به دست آمده در این مورد در امتداد محور
زمان tمشاهده کرد.
در واقع ،شرط استقالل زمانی میدان ها دو بخش ایجاد می کند ,،بخش مغناطیس استاتیک ،که در آن اجزاء (Bx، By،
)Bzدر معادالت ظاهر می شوند.
مطابقت بین مغناطیس استاتیک ( )47(–)46و ( EM )Ex,Ey,Bz ( )37( –)36از یک طرف و بین الکترواستاتیک (
)49(–)48و ( EM )Bx,By,Ex ( )39( –)38نسبتا ً مشهود است.
استنتاج EMایستا و موازی بین دو حالت کاهش مکان و زمان به صورت گرافیکی در شکل 3نشان داده شده است.
با این حال ،به دلیل وجود تانسور متریک مینکوفسکی ،کاهش ابعادی در امتداد محور زمان ،عملگر دااالمبررا به
الپالسین کاهش میدهد.
.Dپتانسیل ها و الگرانژی
دو بخش پدید آمده از کاهش در امتداد zبه دو بخش متمایز از تراکم الگرانژی ( EM )1 + 3مرتبط هستند.
شکل:3نمودار معادالت ثابت ماکسول [پانل های ( ،])b(-)aدر مقایسه با نتیجه کاهش در امتداد جهت فضای سوم [پانل ( .])cاستقالل زمانی با دایره چین دار در پانل (،)a
حفظ می شوند ،هر و گاوس مغناطیسی نشان داده می شود .در حالی که گاوس الکتریکی جداسازی
به یک زیرگراف مثلثی کاهش می یابد .اثر مشابه چیزی است که در کاهش در امتداد zاتفاق می افتد. به یک یال واحد و هر جزء آمپر-مکسول جزء فارادی
معادالت ناهمگن ()37و ( )39را می توان از معادالت اویلر-الگرانژ به دست آورد که به ترتیب توسط دو عبارت تکی
LEEBو LBBEکه در مورد زمینه ها و منابع مستقل از zتولید شده اند.
با این حال ،توجه داشته باشید که به طور کلی دو بخش الگرانژ از هم جدا نیستند ،زیرا اجزای Aaنه تنها در ، LEEB
در امتداد مختصات کاهیده ظاهر می شوند. بلکه در ,LBBEنیز از طریق مشتقاتشان
با این حال ،جداسازی میتواند حتی در سطح الگرانژی ،با انتخاب یک پتانسیل مستقل از ،zبرای میدانها و منابع رخ
دهد.
مشابه درخواست پتانسیل های مستقل از زمان در EMساکن ،و به وضوح توسط معادالت تثبیت گیج
همگن و ناهمگن ()39(–)38مجاز است ،چگالی الگرانژی کل را به مجموع عبارت ها به شکل زیر جدا می کند.
و
باقی می ماند به در بخش اول آزادی گیج با توجه به تحوالت
معادله اویلر-الگرانژ در یک فضای (-)1+2بعدی ،مرتبط با چگالی های الگرانژی باال ،که به عنوان تابعی از
متغیرهای مربوطه آنها بیان می شود ،معادله ()37و()39را به دست می دهد
E.تقارن
تغییر ناپذیری در امتداد مختصات فضایی سوم ،که ما در یک چارچوب اینرسی خاص فرض میکنیم ،بدیهی است که
توسط تبدیلهای عمومی لورنتس حفظ نمیشود.
تبدیل های لورنتس Λکه تغییر ناپذیری zرا در قاب تبدیل شده حفظ می کند ،زیر گروه ماتریس ها را با فرم بلوک-
مورب تشکیل می دهد.
ماتریس های با Q = 1عناصر گروه همسانگردی (گروه کوچک) بردار واحد ( ,)0,0,0,1هستند و در واقع تمام نقاط
محور zرا ثابت می گذارند .ماتریس های با ،Q = −1در عوض()0,0,0,1را به( ,))1−,0,0,0نگاشت و محور zرا
معکوس کنید.,
تحت تاثیر ان قرار نمیگیرند وهر زیر سیستم اشکارا با توجه به تبدیالت در ابغاد 1 ,+ 2تغییرناپ,,ذیر اس,,ت.م,,ا همچ,,نین
ماهیت جبری تجزیه های مستلزم ساختارهای بلوکی ()33را درک میکنیم که مربوظ به تجزیه3 ⊕ 3
A.میدان ها
اکنون فشرده سازی دوم را در جهت yانجام می دهیم ،با این فرض که هم منابع و هم جواب های معادالت کاهیده اول
مستقل از yباشند.
هر زیرسیستم )28(–)25( , ،و ()32(–)29که از اولین کاهش ناشی می شود ،به دو مجموعه معادالت بدون جفت تقسیم
می شود ،همانطور که به صورت گرافیکی در شکل 4نشان داده شده است .به طور خاص ،بخش ( )Ex، Ey، Bzبه (
)Exو ( )Ey، Bzجدا می شود ،در حالی که بخش ( )Bx، By، Ezبه ( )By، Ezو ( )Bxتقسیم می شود.
.1بخش( )Ex
بخش اول از یک جزء واحد Exساخته شده است که توسط سیستمی از دو معادله ناهمگن اداره می شود
عبارات منبع ρو Jxتنها اجزای بردار منبع هستند که هنوز توسط باقیمانده ها به هم مرتبط هستند.
معادله پیوستگی ابعادی (-)1+3که می تواند با مشتق مستقیم معادالت نیز به دست آید()57(–)56
توجه داشته باشید که دینامیک ,در بخش ( )Exبه سرعت نور بستگی ندارد که در معادله( )57لحاظ نشده است.
راه حل کلی
18
تایید می کند که هیچ انتشار موجی در این بخش رخ نمی دهد
شکل4
:نمایش معادالت کاهش دوم )a(.اثرات کاهش اول (خظ چین) و دوم بر روی نمودار ماکسول .اثرات کاهش دوم بر نمودار های کاهش اول )c(.نمودارهای کاهش دوم .به طور
و به راس خاص مغناظیس گاوس
مولفه xبه پیوند بین Exو Jxکاهش می یابد .در حالیکه دو به یک لبه کاهش می یابد.در مورد امپر_ماکسول به پیوند بین و کاهش می یابد .هر جزازفارادی
مولفه دیگر تنها به زیر گراف های غیر ساده(مثلثی)کاهش می یابد.
.2بخش ( )Ey,Bz
حل معادالت فوق مربوط به امواج EMعرضی و خطی قطبی شده است که در امتداد محور xمنتشر می شوند.
این نظریه که انتشار موج را نشان میدهد ،مدلی نیست که معموالً برای بحث در مورد کمی سازی EMدر ابعاد1+1
اتخاذ می شود .همچنین توجه داشته باشید که این نظریه شامل تعداد مساوی از اجزای الکتریکی و مغناطیسی است،
ویژگی که ،بر اساس فرض ارنفست ،1منحصر به مورد 1+3است.
()c ()a
()d ()b
شکل :5پانل های باالیی)y,z ( :منابع مستقل در یک فضای سه بعدی .پانل های پایین :نمایش آنها در ( )1 + 1الکترومغناطیس .بخش ( )Exدر ()1 + 1الکترومغناطیس)a( :
صفحه باردار (قرمز) یکنواخت (ب) در یک بعد با بار نقطه ای (قرمز) نشان داده می شود .بخش ( )Ey, Bzدر ()1 + 1الکترومغناطیس )c( :صفحه جریان (آبی) با بردار
جریان موازی با ) z، (dبه یک منبع نقطه (آبی) تبدیل می شود.
.3بخش( )By,Ez
اجزاء ( ،)By، Ezاز یک جفت معادالت مشابه با بخش ( )Ey، Bzتبعیت می کنند.,
با عبارت منبع .Jz
همچنین در این مورد ،راه حل های امواج قطبی شده خطی هستند.
بخشهای ( )Ey، Bzو ( )By، Ezتوسط یک چرخش π/2از میدانها و منبع حول محور xبه هم متصل میشوند ,،و
بنابراین با همان نظریه EMتوصیف میشوند.
.4بخش( )Bx
که بخش را بی اهمیت جلوه می دهد ،زیرا تنها راه حل یک میدان مغناطیسی یکنواخت و ثابت است .توجه داشته باشید
که Bxبه طور کامل توسط معادالت غیر دینامیکی و با شرط استقالل( )y, zثابت می شود.
B.نمادگذاری تانسور
پس از فشرده سازی دوم ،هر بلوک از کاهش اول به دو بلوک فرعی تقسیم می شود .به طور خاص ،فیلدها و منابع به
شرح زیر از هم جدا می شوند:
عناصر هر جفت بخش [( ])Bx( ،)Exو [( ])By، Ez( ،)Ey، Bzبا دوگانگی به یکدیگر مرتبط هستند :این نتیجه از
تعامل بین ( )1+3و ()1+1دوگانگی برای رتبه 2 -تانسور نامتقارن( ، )1 + 3بازده
جایی که از این پس شاخص های التین r، sمقادیر { }1 ،0را می گیرند .در شکل تانسور ،معادالت بخش ()Ex
خوانده می شود
دوتایی اسکالر آن ,G23 = Exو( )1+1منبع بردار ( .)cρ,Jx ( = )jrبخش ( )Ey, Bzبا معادالت تانسور مشخص می شود
معادل سیستم ( )61(–)60در این مورد ،هم میدان ( )Ey,−Bz −( = )Fr2و دوگانه آن()Bz,Ey ( = )Gr3−بردار هستند ،در
حالی که منبع j2 = Jyبه صورت یک اسکالر هستند
و همچنین با یک میدان برداری ()Ez,By −( = )Fr3یک بردار دوگانه ( )By,Ez −( = )Gr2و یک منبع اسکالر j3 = Jz
مشخص می شود .در نهایت ،شکل تانسور معادالت برای بخش Bxخوانده می شود
جایی که میدان اسکالر F23 = −Bxبا تانسور دوگانه (( )1 + 1مطابقت دارد.
ماهیت غیر دینامیکی این بخش آخر با عدم وجود منابع تأیید می شود.
فیلدها در همه بخش ها به طور رسمی از معادالت موجی در ابعاد ( )1 + 1تبعیت می کنند که با عملگر داالمبر
مشخص می شود.
با این حال ،همانطور که قبالً اشاره ک,ردیم ،انتش,ار م,,وج در واق,,ع فق,ط در بخش ه,ایی رخ می ده,د ک,,ه در آنه,ا دو فیل,د
مشخص شده است ،در حالی که در بخش های ( ,)Exو ( ,)Bxمعادالت موج فوق اضافی هس,,تند .قاب,,ل توج,,ه اس,,ت ،دو
بخش که هم میدان الکتریکی و هم میدان مغناطیسی را در بر میگیرند ،ک,ه ب,ه ط,ور رس,می مع,ادل یک,دیگر هس,تند ,،از
زیرسیستمهای مختلف فشردگی اول ناشی میشوند .آنها همچنین دارای چندین وی,,ژگی مش,,ترک ب,,ا نظری,,ه عم,,ومی EM
در ابعاد ( )1 + 3هستند:,
به عنوان نمونه )iتعداد اجزای الکتریکی و مغناطیسی یکسان است )ii .تعداد ,معادالت همگن و ن,,اهمگن یکس,ان است.
)iiiتانسور Fو Gدوگانه آن ،اشیاء ریاضی از یک نوع هستند )iv .انتشار موج وجود دارد .از س,وی دیگ,ر ،اش,,یاء
ریاضی دو زیرسیستم باقیمانده بسیار نامتعادل هستند ,،زیرا ( ,)Exبا یک میدان تانسوری ،ی,,ک دوت,,ایی اس,,کالر و ب,,دون
معادله همگن مشخص می شود ،در حالی که ( ,)Bxدارای یک میدان اسکالر ،یک تانسور است .دوگانه و ب,,دون معادل,,ه
ناهمگن.
.cپتانسیل ها و الگرانژی
با توجه به فشردگی دوم ،الگرانژین ( )24را می توان به راحتی به صورت زیر تجزیه کرد:
دینامیک در بخشهای ( ،)Ey، Bz( ،)Exو ( )By، Ezرا میتوان از معادالت اویلر-الگرانژ که به ترتیب با
عبارتهای LE, LEBو ,LBEتعیین ,میشوند ،بدست آورد ،همراه با فرض استقالل میدان از yو .z
اصطالح LB = −Bx2/2در عوض ،با معادالت همگن ماکسول روی یک ثابت می شود .با این حال ،چهار بخش الگرانژ
به عنوان تابعی از پتانسیلها از هم جدا نیستند ،زیرا A0و A1در هر دو LEBو LBEاز طریق مشتقات آنها ∂ 2Arو ∂ 3Ar
همانطور که در مورد کاهش ابعاد به ()1 + 2میتوانیم تثبیت گیج ∂2Ar = ∂3Ar = 0را انتخاب کنیم ،که چهار بخش را
جدا می کند .این آزادی گیج Ar → Ar +∂rfرا با )f = f(t,xباقی می گذارد.
در حالت جدا شده ،معادالت اویلر-الگرانژ در ابعاد ( )1 + 1مرتبط با چگالی الگرانژ
پویایی ( ( 57(–)56را در بخش ( )Exنشان می دهد
و بخش سوم
معادالت دینامیکی ( )61و ( )65میدان های عرضی را به ترتیب در بخش های ( )Ey، Bzو ( )By، Ezارائه دهید.
پس از فشرده سازی دوم ،یک تبدیل لورنتس به شکل بلوک-مورب به خود می گیرد
با ) . L ∈ O(1,1), Q ∈ O(2ماتریس های Λزیرگروه همسانگردی صفحه -yzتشکیل میدهند ,به این ترتیب که Λ(0,
).>0,y,z)> = (0,0,y0,z0
ما همچنین به ماهیت جبری تجزیههای ناشی از ساختارهای بلوکی بعد از معادله اول پی میبریم )33( .ومعادله دوم (
)70
کاهش اولی دقیقا ً تجزیه 3 ⊕ 3تانسور نامتقارن ( )Fµνو تجزیه 1 ⊕ 3بردار ( )jµنسبت به )O(2,1است ،به تجزیه (
)55مراجعه کنید . .,دومی تجزیه 1⊕1⊕2⊕2تانسور نامتقارن Fو 1⊕1⊕2تجزیه بردار jبا توجه به O(1,1
)است .به انشعاب(. )92
با اعمال کاهش ابعادی ،دریافتیم که الکترومغناطیس کالسیک در ابعاد ( )1 + 3به دو نظریه مختلف در ابعاد ()1+2
تقسیم میشود ،اگر تغییری در میدانها و منابع با توجه به یک جهت فضا فرض شود.
کاهش بیشتر ،به دست آمده با فرض عدم تغییر نسبت به یک صفحه ،چهار بخش مستقل را به همراه داشت که توسط سه
نظریه مختلف EMدر ابعاد ( )1 + 1توصیف شده است.
یکی از نظریههای هر کاهش ،یعنی ( )Ex, Ey, Bzدر ابعاد ( )1 + 2و ( )Exدر ( )1 + 1ابعاد ،در تعمیمهای کمبعد
معادالت ماکسول و در واقع دینامیک آنها ظاهر میشود .توسط معادالت تانسوری با همان شکل معادالت در ابعاد (+ 3
)1اداره می شود .با این حال ،این مدلها تئوریهای EMباقیمانده را پیشبینی نمیکنند ،که نتیجه این واقعیت است
که نظریههای کمبعد هنوز در یک فضازمان بعدی( )1 + 3جاسازی شدهاند.
ناواری در کاهش و نقش تقارن برابری (که مستلزم-تحقیقات آینده به تجزیه و تحلیل عمیقتر الگوهای شکست گیج
. است) اختصاص خواهد یافتH وD استفاده از میدانهای
ما قصد داریم نقش کاهش ابعادی را در نظریهها و سیستمهای غیرآبلی که در آنها میدانهای (کالسیک،عالوه بر این
. بررسی کنیم،و کوانتومی) با منابع دینامیکی تعامل دارند
1
P. Ehrenfest, “In what way does it become manifest in the fundamental laws of physics that
space has three dimensions?” In: Proceedings of the Royal Academy of Sciences at
.Amsterdam 20, 200 (1918)
.9S. Coleman, R. Jackiw, and L. Susskind, Ann. Phys. (N.Y.) 93, 267 (1975)
10
S. Coleman, “More about the Massive Schwinger Model”, Ann. Phys. (N.Y.) 101, 239
.(1976)
.11G. ’t Hooft, “A Two-Dimensional Model for Mesons”, Nucl. Phys. B 475, 461 (1974)
12
E. Witten, “θ-Vacua in Two-Dimensional Quantum Chromodynamics”, Nuovo Cim. A 51,
.325 (1979)
.13G. Parisi, “Quark imprisonment and vacuum repulsion”, Phys. Rev. D 11, 970 (1975)
.15E. Moreno and J. Rivas. “On electromagnetism in R2+1”, Eur. J. Physics 5, 20 (1984)
.26A V. Karnyukhin, R. N. Kuz’min, and V. A. Namiot, Sov. Phys. JETP 57, 509 (1983)
342, 1494
.)2013(
29
P. Facchi, M. S. Kim, S. Pascazio, F. V. Pepe, D. Pomarico, and T. Tufarelli, “Bound
states and entanglement generation in waveguide quantum electrodynamics, Phys. Rev. A
94, 043839 (2016). 30C. E. M´aximo, N. Piovella, P. W. Courteille, R. Kaiser, and R.
.Bachelard, Phys. Rev. A 92, 062702(2015)
31
A. Gonz´alez-Tudela, C.-L. Hung, D. E. Chang, J. I. Cirac, and H. J. Kimble, Nat.
.Photonics 9, 320(2015)
32
T. Hill, B. C. Sanders, and H. Deng, “Cooperative light scattering in any dimension” Phys.
.Rev. A 95, 033832 (2017)