قضیه هارتمن-گروبمن: تفاوت میان نسخه‌ها

محتوای حذف‌شده محتوای افزوده‌شده
جز جایگزینی با اشتباه‌یاب: موثر⟸مؤثر
خط ۱:
در [[ریاضیات]]، در مطالعه [[سامانه پویا|سیستم‌های دینامیکی]]، '''قضیه هارتمن-گروبمن''' یا '''قضیه خطی‌سازی''' یک قضیه دربارهٔ رفتار محلی [[سامانه‌های دینامیکی]] در [[همسایگی (ریاضیات)|همسایگی]] یک [[نقطه تعادل هذلولی‌وار]] است. آن ادعا می‌کند که [[خطی‌سازی]] - ساده‌سازی طبیعی سیستم - در پیش‌بینی الگوهای کیفی رفتار مؤثر است. این قضیه نام خود را مدیون [[فیلیپ هارتمن]] و [[دیوید ام گروبمن]] است.
 
== قضیه اصلی ==
سیستمی را در نظر بگیرید که در زمان با حالت <math>u(t)\in\mathbb R^n</math>در حال تحول است که [[معادله دیفرانسیل]] <math>du/dt=f(u)</math> را برای برخی از [[همواری|نگاشت‌های هموار]] <math>f: \mathbb{R}^n \to \mathbb{R}^n</math> ارضا می‌کند. فرض کنید نگاشت [[حالت تعادلی]] هذلولی‌وار <math>u^*\in\mathbb R^n</math> دارد: به این معنا که، <math>f(u^*)=0</math> و [[ماتریس ژاکوبی]] <math>A=[\partial f_i/\partial x_j]</math> از <math>f</math> در حالت <math>u^*</math> هیچ [[مقدارویژه و بردارویژه|مقدارویژه‌ای]] با [[قسمت حقیقی]] برابر با صفر ندارد. سپس همسایگی <math>N</math> از تعادل <math>u^*</math> و یک [[همسان‌ریختی]] <math>h : N \to \mathbb{R}^n</math> وجود دارد، به طوری که <math>h(u^*)=0</math> و به گونه‌ای که در همسایگی <math>N</math> [[شار (ریاضیات)|شار]] <math>du/dt=f(u)</math> از نظر [[مزدوج توپولوژی|مزدوج توپولوژیکی]] توسط نگاشت پیوسته <math>U=h(u)</math> برای [[شار (ریاضیات)|شار]] خطی‌سازی آن <math>dU/dt=AU</math> است.<ref>{{Cite journal|last=Grobman|first=D. M.|year=1959|title=О гомеоморфизме систем дифференциальных уравнений|trans-title=Homeomorphisms of systems of differential equations|journal=[[Doklady Akademii Nauk SSSR]]|volume=128|pages=880–881}}</ref><ref>{{Cite journal|last=Hartman|first=Philip|author-link=Philip Hartman|date=August 1960|title=A lemma in the theory of structural stability of differential equations|journal=Proc. A.M.S.|volume=11|issue=4|pages=610–620|doi=10.2307/2034720|jstor=2034720|doi-access=free}}</ref><ref>{{Cite journal|last=Hartman|first=Philip|year=1960|title=On local homeomorphisms of Euclidean spaces|journal=Bol. Soc. Math. Mexicana|volume=5|pages=220–241}}</ref><ref>{{cite book|first=C.|last=Chicone|title=Ordinary Differential Equations with Applications|volume=34|series=Texts in Applied Mathematics|publisher=Springer|edition=2nd|year=2006|isbn=978-0-387-30769-5}}</ref>
 
حتی برای نگاشت‌های بی‌نهایت مشتق‌پذیر <math>f</math> ، [[همسان‌ریختی]] <math>h</math> لازم نیست که هموار باشد، و نه حتی به صورت محلی لیپ‌شیتس. با این حال، به نظر می‌رسد [[پیوسته هلدر]] است، و یک توان وابسته به ثابت هذلولی‌وار <math>A</math> .<ref>{{Cite journal|last=Belitskii|first=Genrich|last2=Rayskin|first2=Victoria|year=2011|title=On the Grobman–Hartman theorem in α-Hölder class for Banach spaces|url=http://www.ma.utexas.edu/mp_arc/c/11/11-134.pdf}}</ref>
خط ۹:
 
== مثال ==
سیستم 2D را در متغیرها در حال تحول <math>u=(y,z)</math> را در نظر بگیرید با توجه به جفت [[معادلات دیفرانسیل]] تزویج‌شده {{به انگلیسی|coupled}} است
 
: <math> \frac{dy}{dt} = -3y+yz\quad\text{and}\quad \frac{dz}{dt} = z+y^2.</math>
خط ۲۲:
</math>
 
یک نگاشت هموار بین <math>u=(y,z)</math> اصلی و مختصات <math>U=(Y,Z)</math> جدید است، حداقل نزدیک به تعادل در مبدأ. در مختصات جدید [[سیستم دینامیکی]] به خطی‌شدگی خود تبدیل می‌شود
 
: <math> \frac{dY}{dt}=-3Y\quad\text{and}\quad \frac{dZ}{dt} = Z.</math>
خط ۳۲:
 
== منابع ==
{{پانویس|30em|۲|چپ‌چین=بله}}
{{پانویس|30em|۲}}
{{پایان چپ‌چین}}
 
== مطالعه بیشتر ==
سطر ۴۹ ⟵ ۴۷:
* {{Cite web|title=The Most Addictive Theorem in Applied Mathematics|url=https://blogs.scientificamerican.com/roots-of-unity/the-most-addictive-theorem-in-applied-mathematics/|website=Scientific American}}
{{پایان چپ‌چین}}
 
[[رده:تقریب‌های ریاضی]]
[[رده:صفحات با ترجمه بازبینی‌نشده]]
[[رده:قضایای آنالیز]]
[[رده:قضیه‌ها در سیستم دینامیک]]
[[رده:قضایایویکی‌سازی آنالیزرباتیک]]
[[رده:صفحات با ترجمه بازبینی‌نشده]]