در ریاضیات ، حساب دیفرانسیل و انتگرال در مقیاس زمان اتحاد از تئوری است معادلات تفاوت را با معادلات دیفرانسیل ، متحد انتگرال و دیفرانسیل حساب دیفرانسیل و انتگرال با حساب تفاوت محدود ، ارائه یک فرمالیسم برای مطالعه گسسته پیوسته ترکیبی سیستم های دینامیکی . این برنامه در هر زمینه ای که به مدل سازی همزمان داده های گسسته و مداوم نیاز دارد ، دارای کاربردهایی است. این تعریف جدیدی از یک مشتق ارائه می دهد به این صورت که اگر کسی تابع تعریف شده روی اعداد واقعی را از هم متمایز کند ، تعریف معادل تمایز استاندارد است ، اما اگر کسی از یک تابع تعریف شده بر روی اعداد صحیح استفاده کند ، معادل آن استعملگر اختلاف رو به جلو .
فهرست
- 1تاریخ
- 2معادلات پویا
- 3تعاریف رسمی
- 4مشتق
- 5ادغام
- 6تبدیل لاپلاس و تبدیل z
- 7تمایز جزئی
- 8ادغام چندگانه
- 9معادلات دینامیکی تصادفی در مقیاس های زمانی
- 10تئوری را در مقیاس زمانی اندازه گیری کنید
- 11توزیع در مقیاس زمانی
- 12معادلات انتگرال در مقیاس های زمانی
- 13حساب کسری در مقیاس های زمانی
- 14همچنین ببینید
- 15منابع
- 16خواندن بیشتر
- 17لینک های خارجی
تاریخچه [ ویرایش ]
حساب مقیاس زمانی در سال 1988 توسط ریاضیدان آلمانی استفان هیلگر معرفی شد . [1] با این وجود ، قبلاً از ایده های مشابهی استفاده شده است و حداقل به معرفی انتگرال ریمان-استیلتس برمی گردد که مبالغ و انتگرال ها را متحد می کند.
معادلات پویا [ ویرایش ]
بسیاری از نتایج مربوط به معادلات دیفرانسیل به راحتی به نتایج مربوط به معادلات اختلاف منتقل می شوند ، در حالی که نتایج دیگر به نظر می رسد کاملاً متفاوت از نتایج پیوسته آنها باشد. [2] مطالعه معادلات پویا در مقیاس های زمانی چنین اختلافاتی را نشان می دهد و به جلوگیری از اثبات نتایج دو بار کمک می کند - یک بار برای معادلات دیفرانسیل و یک بار دیگر برای معادلات اختلاف. ایده کلی اثبات نتیجه ای برای یک معادله پویا است که در آن دامنه تابع ناشناخته به اصطلاح مقیاس زمانی باشد (همچنین به عنوان مجموعه ای از زمان شناخته می شود) ، که ممکن است یک زیرمجموعه بسته دلخواه از واقعیات باشد. در این روش، نتایج اعمال نه تنها به مجموعه ای از اعداد حقیقی یا مجموعه ای از اعداد صحیحاما به مقیاسهای زمانی کلی تر مانند یک مجموعه Cantor .
سه مثال محبوب ترین حساب دیفرانسیل و انتگرال در مقیاس های زمانی هستند حساب دیفرانسیل ، حساب دیفرانسیل و انتگرال تفاوت ، و حساب دیفرانسیل و انتگرال کوانتومی . معادلات پویا در مقیاس زمانی دارای پتانسیلی برای کاربردها هستند ، مانند پویایی جمعیت . به عنوان مثال ، آنها می توانند جمعیت حشرات را که در فصل به طور مداوم تکامل می یابند ، در زمستان در حالی که تخمهای آنها جوجه کشی یا خاموش هستند ، از بین ببرند و سپس در یک فصل جدید تخم بزنند و جمعیت غیر همپوشانی ایجاد کنند.
تعاریف رسمی [ ویرایش ]
مقیاس زمانی (یا اندازه گیری زنجیره ای ) است زیر مجموعه بسته از خط واقعی . علامت گذاری رایج برای مقیاس زمانی کلی این است
.
دو نمونه متداول مقیاس زمانی ، اعداد واقعی هستند و مقیاس زمان گسسته
.
یک نقطه واحد در مقیاس زمانی به صورت زیر تعریف می شود:
عملیات در مقیاس زمانی [ ویرایش ]
عملگرهای پرش به جلو ، پرش به عقب و دانه در مقیاس زمانی گسسته
پرش به جلو و پرش رو به عقب اپراتورهای نشان دهنده نزدیک ترین نقطه در مقیاس زمانی در سمت راست و چپ یک نقطه داده شده، به ترتیب. به طور رسمی:
(اپراتور شیفت جلو / اپراتور جهش رو به جلو)
(اپراتور تغییر عقب / عملگر پرش به عقب)
دانه دانه فاصله از یک نقطه تا نزدیکترین نقطه در سمت راست است و توسط:
برای یک حق متراکم ،
و
.
برای یک چپ متراکم،
طبقه بندی امتیازات [ ویرایش ]
چندین امتیاز در مقیاس زمانی با طبقه بندی های مختلف
برای هرچی ،
است:
- متراکم مانده اگر
- درست متراکم اگر
- اگر پراکنده بماند
- درست پراکنده اگر
- متراکم اگر هر دو متراکم و راست متراکم بمانند
- جدا شده اگر هر دو چپ پراکنده و راست پراکنده باشند
همانطور که در شکل سمت راست نشان داده شده است:
- نقطه
است متراکم
- نقطه
است متراکم چپ و راست پراکنده
- نقطه
است جدا شده
- نقطه
است به سمت چپ پراکنده و متراکم راست
تداوم [ ویرایش ]
تداوم مقیاس زمانی به عنوان معادل چگالی تعریف می شود. به مقیاس زمانی گفته می شود که از نظر نقطه درست است اگر در نقطه متراکم باشد ، درست است
. به همین ترتیب ، گفته می شود که یک مقیاس زمانی در نقطه به صورت چپ پیوسته است
اگر در نقطه متراکم بماند
.
مشتق [ ویرایش ]
عملکردی را در نظر بگیرید:
،
(جایی که ... می تواند هر فضای Banach باشد ، اما برای سادگی روی خط واقعی تنظیم شده است).
تعریف: مشتق دلتا (همچنین مشتق هیلگر) وجود دارد اگر و فقط اگر:
برای هر یک محله وجود دارد
از
به طوری که:
برای همه که در
.
سپس
،
؛ مشتق مورد استفاده در حساب استاندارد است . اگر
( عدد صحیح ) ،
،
عملگر اختلاف رو به جلو است که در معادلات اختلاف استفاده می شود.
ادغام [ ویرایش ]
جدایی ناپذیر دلتا به عنوان نامعین با توجه به مشتق دلتا تعریف شده است. اگر یک مشتق مداوم دارد
یکی تنظیم می شود
تبدیل لاپلاس و تبدیل z [ ویرایش ]
یک تبدیل لاپلاس را می توان برای توابع در مقیاس زمانی تعریف کرد ، که از جدول مشابه تبدیل برای هر مقیاس دلخواه زمانی استفاده می کند. از این تبدیل می توان برای حل معادلات دینامیکی در مقیاس زمانی استفاده کرد. اگر مقیاس زمانی ، اعداد صحیح غیر منفی باشد ، تبدیل برابر است با [2] تغییر یافته در تبدیل Z :
تمایز جزئی [ ویرایش ]
معادلات دیفرانسیل جزئی و معادلات اختلاف جزئی به عنوان معادلات پویای جزئی در مقیاس های زمانی متحد می شوند. [3] [4] [5]
ادغام چندگانه [ ویرایش ]
ادغام چندگانه در مقیاس زمانی در Bohner (2005) مورد بررسی قرار گرفته است. [6]
معادلات دینامیکی تصادفی در مقیاس زمان [ ویرایش ]
معادلات دیفرانسیل تصادفی و معادلات اختلاف تصادفی را می توان به مقادیر زمانی به معادلات دینامیک تصادفی تعمیم داد. [7]
اندازه گیری تئوری در مقیاس زمانی [ ویرایش ]
معیار طبیعی [8] [9] که از طریق هر مقیاس زمانی مرتبط است
جایی که نشانگر میزان Lebesgue و
عملگر تغییر عقب است که در مشخص شده است
. انتگرال دلتا به نظر می رسد یکپارچه معمول Lebesgue – Stieltjes با توجه به این اندازه گیری است
و معلوم می شود که مشتق دلتا مشتق رادون-نیکودیم با توجه به این اندازه گیری است [10]
توزیع در مقیاس زمانی [ ویرایش ]
دلتای دیراک و دلتای کرونکر در مقیاس های زمانی به عنوان متحد دلتا Hilger : [11] [12]
معادلات انتگرال در مقیاس زمانی [ ویرایش ]
معادلات انتگرال و معادلات جمع در مقیاس زمانی به عنوان معادلات انتگرال متحد می شوند. [ نیاز به منبع ]
حساب کسری در مقیاس زمان [ ویرایش ]
حساب کسری در مقیاس های زمانی در Bastos ، Mozyrska و Torres درمان می شود. [13]
همچنین به [ ویرایش ] مراجعه کنید
- تجزیه و تحلیل فرکتال برای معادلات دینامیکی در یک مجموعه کانتور .
منابع
https://en.wikipedia.org/wiki/Time-scale_calculus

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