‫توزیع اولین زمان برخورد در مخابرات مولکولی‪:‬‬

‫با فرض اینکه دیفیوژن ذرات (مولکول‌ها) از حرکت براونی پیروی می‌کند‪ ،‬اگر از گیرنده به فرستنده یک‬
‫جریان (‪ )net drift‬وجود داشته باشد اولین زمان برخورد‪ -‬دارای توزیع گاوسی‪ -‬معکوس خواه‪--‬د ب‪--‬ود[‪.]3‬‬
‫در صورتی که جریانی از فرستنده به گیرنده وجود نداشته باشد‪ ،‬توزیع لوی به دست می‌آید[‪.]4‬‬
‫در ح‪--‬الت دو و س‪--‬ه بع‪--‬دی عالوه ب‪--‬ر توزی‪--‬ع اولین زم‪--‬ان برخ‪--‬ورد‪ -‬اطالع‪--‬ات دیگ‪--‬ری ب‪--‬ه اس‪--‬م اولین مک‪--‬ان‬
‫برخ‪-‬ورد‪ ،1‬اهمیت پی‪-‬دا می‌کن‪-‬د‪ .‬در ادام‪-‬ه ی‪-‬ک روش ب‪-‬رای ی‪-‬افتن اولین مک‪-‬ان برخ‪-‬ورد ب‪-‬رای گیرن‪-‬ده ‪n-1‬‬
‫‪R n‬ب‪-‬ا‬ ‫بعدی به دس‪-‬ت می‌آی‪-‬د‪ .‬ب‪-‬ه وی‪-‬ژه ی‪-‬ک ف‪-‬رم بس‪-‬ته ب‪-‬رای ت‪-‬ابع چگ‪-‬الی احتم‪-‬ال در فض‪-‬ای اقلیدس‪-‬ی‪-‬‬
‫سرعت جریان صفر به دست می‌آید‪ .‬در حالتیکه یک دریفت ثابت ازگیرنده ب‪-‬ه فرس‪--‬تنده وج‪--‬ود داش‪--‬ته باش‪--‬د‬
‫یک فرم بسته برای فضای سه بعدی نیز فراهم می‌شود‪-.‬‬
‫مدل مسئله‪:‬‬

‫فرض می‌شود که سیستم مخابرات مولکولی‪ -‬در ی‪--‬ک فض‪--‬ای ‪-n‬بع‪--‬دی اقلیدس‪-‬ی‪ -‬ق‪--‬رار‪ -‬دارد‪ .‬ب‪--‬دون از دس‪--‬ت‬
‫… ‪(0‬قرار‪ -‬دارد و گیرنده یک ص‪-‬فحه بینه‪-‬ایت } ‪n 0‬‬
‫=‪{x‬‬ ‫دادن کلیت فرض می‌کنیم فرستنده در موقعیت ) ‪، ،λ‬‬
‫است‪ .‬بعالوه چند فرض ایده آل هم اعمال می‌کنیم‪.‬‬
‫فرستنده یک منبع نقطه‌ای است که ذرات رها شده را تحت تاثیر قرار‪ -‬نمی‌دهد‪.‬‬ ‫‪‬‬
‫گیرنده یک صفحه بینه‪--‬ایت اس‪--‬ت و هنگامیک‪--‬ه ذره ب‪--‬ه آن برخ‪--‬ورد ک‪--‬رد‪ ،‬از محی‪--‬ط ج‪--‬ذب و ح‪--‬ذف‬ ‫‪‬‬
‫می‌شود‪.‬‬
‫برای مدلسازی حرکت ذرات از فرایند دیفیوژن ایتو استفاده می‌کنیم‪ -.‬فرض کنید ‪X t‬یک بردار م‪--‬وقعیت‪-n -‬‬
‫بعدی ذرات در زمان ‪ t‬باشد‪ .‬در این صورت ‪X t‬در معادله دیفرانسیل تصادفی ( ‪ )SDE‬زیر صدق‪ -‬می‌کند‪.‬‬

‫که در آن ‪v∈ R n‬ضریب دریفت ‪X t‬و ‪D ∈ R n× n‬ضریب دیفیوژن ‪X t‬اس‪-‬ت‪ .‬همچ‪-‬نین ‪B t‬حکت ب‪-‬راونی ‪-n‬‬
‫بعدی را نشان می‌دهد‪ .‬در این مقاله فرض می‌ک‪--‬نیم ‪ v‬و ‪ D‬در ط‪--‬ول زم‪--‬ان و مک‪--‬ان ث‪--‬ابت هس‪--‬تند‪ .‬همچ‪--‬نین‬
‫=‪D‬است ( ‪¿.‬‬
‫‪gaid‬‬ ‫… ‪(σ‬‬‫فرض می‌کنیم‪ D -‬یک ماتریس قطری ) ‪، ،σ‬‬

‫‪X‬به صورت زیر است‪:‬‬ ‫‪t‬‬ ‫اولین زمان برخورد از فرایند دیفیوژن ایتو‬

‫که در آن ‪n e، n‬امین بردار واحد اس‪-‬ت‪ .‬ب‪-‬ه ط‪-‬ور‪ -‬ف‪-‬یزیکی ‪τ‬اولین زم‪-‬انی اس‪-‬ت ک‪-‬ه ذره ب‪-‬ه گیرن‪-‬ده برخ‪-‬ورد‪-‬‬
‫می‌کند و )‪ f τ( t‬تابع چگالی احتمال اولین زمان برخورد‪ -‬است‪ .‬اگر مق‪-‬دار ‪τ‬را در ‪X t‬ج‪-‬ایگزین ک‪-‬نیم‪ ،‬اولین‬
‫‪1‬‬
‫‪First Arrival Position‬‬
‫مکان برخورد‪X τ -‬نیز دارای توزیع چگالی احتمال ) ‪ f Y ( y‬است‪ .‬می‌توان یک کانال موقعیت را ب‪-‬ه ص‪-‬ورت‪-‬‬
‫زیر تش‪-‬کیل داد‪− e n :‬را جهت کان‪-‬ال تعری‪-‬ف‪ -‬می‌ک‪-‬نیم‪ -‬و بقی‪-‬ه ) ‪(n− 1‬مؤلف‪-‬ه ب‪-‬رای انتق‪-‬ال اطالع‪-‬ات اس‪-‬تفاده‬
‫‪n− 1‬‬
‫∈' ‪X‬م‪---‬وقعیت اولی‪---‬ه ذره اس‪---‬ت و‬ ‫‪0 R‬‬ ‫می‌ش‪---‬ود‪ .‬این ‪ n-1‬مؤلف‪---‬ه ‪X t‬را ب‪---‬ا نم‪---‬اد ‪X ' t‬نم‪---‬ایش می‌دهیم‪.‬‬
‫‪X '∈τ R n− 1‬موقعیت‪ -‬برخورد‪ -‬است‪ .‬تالش می‌کنیم یک فرم بسته برای ‪ f X ∨ X‬بیابیم‪.‬‬
‫'‬
‫‪τ‬‬ ‫‪0‬‬
‫'‬

‫دو روش برای یافتن تابع چگالی اولین مکان برخ‪--‬ورد‪ -‬وج‪--‬ود‪ -‬دارد‪ .‬ب‪--‬رای مث‪--‬ال در [‪ ]5‬نح‪--‬وه ی‪--‬افتن مک‪--‬ان‬
‫برخورد‪ -‬با استفاده از انتگرال مستقیم برای ‪ n=1‬شرح داده شده اس‪--‬ت‪ .‬این روش اغلب ب‪--‬رای گیرن‪--‬ده ه‪--‬ای‬
‫صفحه‌ای به خوبی عمل می‌کند‪ ،‬اما معموال فرم انتگرال ب‪--‬رای گیرن‪--‬ده‌های غیرص‪--‬فحه‌ای پیچی‪--‬ده اس‪--‬ت‪ .‬ب‪--‬ه‬
‫عالوه با افزودن ‪ n‬محاسبه انتگرال نیز بسیار‪ -‬سخت است‪ .‬روش دیگر‪ ،‬ایده گرفتن از معادالت دیفرانس‪--‬یل‬
‫‪2‬‬
‫پاره‌ای کالسیک است‪ .‬می‌ توانیم‪ -‬یک نمایش برای ‪ pdf‬شرطی‪ -‬با استفاده از تابع گرین برای م‪-‬رز منح‪-‬نی‬
‫به دست آوریم‪.‬‬
‫برای انجام این کار ابتدا عملگر مولد مع‪--‬ادل ی‪--‬ک فراین‪-‬د‪ -‬دیفی‪--‬وژن ایت‪--‬و را تعری‪--‬ف می‌ک‪--‬نیم‪ .‬س‪--‬پس فرم‪--‬ول‬
‫دینکین که مسئله یافتن ‪ pdf‬موقعیت برخورد را به یک مسئله ‪ PDE‬م‪-‬رزی‪ 3‬تب‪-‬دیل می‌کن‪-‬د‪ -‬ش‪-‬رح می‌دهیم‪.‬‬
‫نهایتا با انتخاب یک تابع مناسب در فرمول‪ -‬دینکین نشان می‌دهیم‪ -‬ک‪-‬ه ت‪-‬ابع چگ‪-‬الی براب‪--‬ر انتگ‪-‬رال کرن‪-‬ل‬
‫فرمول نمایندگی‪ 4 -‬است‪.‬‬
‫فرم‪-‬ول‪ -‬نماین‪-‬دگی‪ PDE -‬ی‪-‬ک روش ب‪-‬رای اختص‪-‬اص دادن مق‪-‬دار در ناحی‪-‬ه ‪Ω‬ب‪-‬ا اس‪-‬تفاده از داده م‪-‬رزی‪ -‬را‬
‫توصیف‪ -‬می‌کند‪ .‬معنی فیزیکی انتگرال کرنل در فرمول‪ -‬نمایندگی یک تابع وزن‌دار از داده مرزی است که‬
‫اگرفرایند‪ -‬را با رها کردن یک ذره با حرکت براونی داخل ‪Ω‬معکوس کنیم و اجازه دهیم به طور‪ -‬تص‪-‬ادفی‬
‫به سمت مرز برود؛ همان ‪ pdf‬موقعیت برخورد است‪ .‬در اینجا ‪Ω‬را به صورت زیر تعریف می‌کنیم‪-.‬‬

‫تعریف‪ :‬فرض کنید ‪X t‬یک فرایند دیفیوژن ایتو باشد که در معادله دیفرانس‪-‬یل تص‪-‬ادفی ایت‪-‬و ص‪-‬دق می‌کن‪-‬د‪.‬‬
‫ت‪-‬ابع مول‪-‬د عملگ‪-‬ر ‪ A‬از ‪X t‬ب‪-‬رای ه‪-‬ر ) ‪( f∈ C 2b R( n‬ت‪-‬ابع کران‪-‬دار‪ -‬ب‪-‬ا مش‪-‬تق مرتب‪-‬ه اول و دوم کران‪-‬دار) ب‪-‬ه‬
‫صورت زیر تعریف می‌شود‪-.‬‬

‫‪D D‬را مشخص می‌کند‪.‬‬ ‫‪T‬‬

‫که در آن ‪D( D T )ji‬مؤلفه (‪ )I,j‬ماتریس‬
‫∞< ‪E x [τ‬باشد آنگاه‪:‬‬
‫]‬ ‫قضیه فرمول دینکین [‪ :]6‬فرض کنید ) ‪ f∈ C 2b R( n‬و فرض کنید ‪τ‬یک زمان توقف با‬

‫‪2‬‬
‫‪Curved boundary‬‬
‫‪3‬‬
‫‪Boundary‬‬
‫‪4‬‬
‫‪Integral kernel of the representation formula‬‬
 ‫در حالت با سرعت دریفت صفر داریم‪:‬‬

‫و مولد معادل برابر است با‪:‬‬

‫در فرمول دینکین پیچیده ترین ترم به صورت زیر است‪:‬‬

‫که باید تالش کنیم برابر صفر شود یعنی‪:‬‬

‫که عبارت فوق معادله دیفرانسیل شناخته شده الپالس است‪ .‬در معادالت دیفرانسیل برای ح‪-‬التی ک‪-‬ه ‪Ω‬ی‪-‬ک‬
‫نیم فضا‪ -‬است فرم نمایندگی‪ -‬دارد‪.‬‬

‫قضیه‪( :2‬فرمول پواسن برای نیم فضا) فرض کنید ‪Ω‬به صورت‪ -‬زیر تعریف شود‪.‬‬

‫(‪g∈ C R‬و ‪ u‬را به صورت‪ -‬زیر تعریف کنید‬ ‫‪n− 1‬‬

‫‪∩) L ∞ (R‬‬ ‫فرض کنید )‬
‫‪n− 1‬‬

‫‪ω‬حجم کره واحد در ‪R n‬است که از رابطه زیر به دست می‌آید‪.‬‬ ‫‪n‬‬ ‫که در آن‬

‫و ¿ ∨‪¿ y− x‬فاصله اقلیدسی در ‪R n‬است آنگاه‪:‬‬

‫گام کلیدی در یافتن توزیع اولین مکان برخورد یافتن تابع مناسب برای فرمول دینکین است‪ .‬برای حالت با‬
‫دریفت صفر داریم‪.‬‬
‫‪n− 1‬‬
‫‪C c(R‬تم‪-‬ام تواب‪-‬ع پیوس‪-‬ته ب‪-‬ا تکی‪-‬ه گ‪-‬اه متن‪-‬اهی‬ ‫‪ .f∈ L 1(R‬ف‪-‬رض کنی‪-‬د )‬ ‫‪n− 1‬‬
‫لم ‪ :1‬برای ‪n≥ 2‬فرض کنید )‬
‫❑‬

‫‪R‬را مشخص کند‪ .‬در این صورت اگر ‪∫ gf= 0‬برای هر )‬

‫‪n− 1‬‬
‫=تقریبا هم‪--‬ه‬
‫‪g∈ C c(R‬آنگاه ‪f 0‬‬
‫‪n− 1‬‬
‫‪n− 1‬‬
‫روی‬
‫‪R‬‬

‫‪R.‬‬ ‫‪n− 1‬‬

‫جا در‬