نمایش مبدأ برای قضیه گذر کوهی

قضیه ی گذر کوهی یکی از تئوریهای وجود است که زیرمجموعه ی حساب متغیر میباشد و در اصل به علت

دلیل آنتونیو آمبروستی و پل رابینوویتز است.

با توجه به شرایط خاص در یک تابع، قضیه وجود، نقاط زینی را نشان می دهد. این قضیه یا همون تئوری از این

جهت غیرمعمول است که تئوری های دیگری در مورد وجود حداکثر یا حداقل توابع ریاضی وجود دارد، اما درمورد نقاط زینی تعداد کمی وجود دارد. 

== گزاره ==
فرض این قضیه این است که:

* تابع I، Iز فضای هیلبرتH ،به سمت اعداد حقیقی،

* <math>I\in\C^1\bigl(H,R\bigr)</math>و  <math>\acute{I}</math>یک پیوستگی لیپ شیتز محدود به زیرمجموعه های  Hاست.

* <math>I</math>در شرط فشردگی پالایز اسمال صدق میکند 
* <math>I[0]=0 
 </math>
* ثابت های مثبت  rوجود دارد <math>I[u]\geq a
 </math> اگر <math>\left\vert u \right\vert = r
 </math> و

* <math>\upsilon\in H
 </math>با  <math>\left\vert \upsilon \right\vert> r
 </math>وجود دارد به طوری که <math>I[\upsilon]\leq0
 </math> 

اگر تعریف کنیم:

<math>\Gamma = \{g\in C \bigl([0,1];H\bigr)|g[0]=0,g[1]=\upsilon\}
 </math>

و

<math>\inf g\in\Gamma 0\leq t\leq1 \max I[g(t)] 
 </math> 

پس نتیجه ی قضیه این است که  Cمقدار بحرانی از تابع  <math>I
 </math>است

== تصویرسازی ==
شهود پشت این قضیه، گذر کوهی نام دارد.  <math>I
 </math>را به عنوان ارتفاع در نظر بگیرید. دو نقطه ی پایین را نمای افقی در نظر بگیریم: در مبدا زیرا <math>I[0]=0
 </math>و نقطه ی دور Vواقع در <math>I[\upsilon]\leq 0
 </math> در بین این دو رشته کوهی با ارتفاع زیاد قرار دارد.( بزرگتر از0 ).به ترتیب با طی کردن مسیر  gاز مبدا به سمت  ، Vباید از قله ها عبور کنیم، یعنی اول بالا و سپس پایین برویم.از آنجا که تا حدی هموار است، نقطهی بحرانی باید در میان قرار داشته باشد. (موازی با خطوط میانگین در نظربگیرید_ [[نقطه بحرانی (ریاضیات)|نظریه ی ارزش]])

گذر کوهی در امتداد مسیری که در پایین ترین ارتفاع قرار دارد از میان کوه ها میگذرد.توجه داشته باشید که این گردنه کوه تقریبا همیشه یک  [[نقطه زینی|نقطه ی زین]] است.

برای اثبات، بخش  8.5ایوانز را ببینید.

== فرمول ساده تر ==
اگر  Xدر [[فضای باناخ]] باشد، فرض میکنیم که:

* <math>\Phi\in C (X,R)
 </math> و  [[:en:Gateaux_derivative|پیوستگی مشتق گاتو]]  <math>\acute{\Phi}:X\rightarrow X^{*}
 </math>را زمانی داریم که  Xو  *Xرا به ترتیب با    [[توپولوژی ضعیف]]  [[:en:Strong_topology|توپولوژی قوی]] نسبت بدهیم.

* 0>rوجود دارد چنان که بتوان آن را با معین  <math>\left\vert \acute{x} \right\vert > r
 </math> پیدا کرد با:

<math>\min(\Phi(0),\Phi(\acute{x})) < \inf \Phi(x)=:m(r)
 </math>

* Φشرط  [[:en:Palais–Smale_compactness_condition|فشردگی پالایز اسمال]] صدق میکند بر<math>\{x\in X | m(r) \leq\Phi(x)\} 
 </math>

در این قضیه  [[نقطه بحرانی (ریاضیات)|نقطه ی بحرانی]]   <math>\bar{x}\in X
 </math>صدق میکند بر <math>m(r)\leq\Phi(\bar{x})
 </math>و علاوه بر این اگر تعریف          

کنیم

<math>\Gamma = c\in C([0,1],X) | c(0)=0 , c(1)=\acute{x}\}
 </math>

پس

<math>\Phi(\bar{x}) = \inf _c\in\Phi 0\leq t \leq 1 \max(\Phi(c(t))
 </math> .

برای اثبات به قسمت  ۵.۵اوبین و اکلند را ببینید.

== منابع ==
Ambrosetti, Antonio; Rabinowitz, Paul H. (1973). "  [[doi:10.1016/0022-1236(73)90051-7|"Dual variational methods in critical point theory and applications"]]. Journal of Functional Analysis. 14 (4): 349–381. . [[doi:10.1016/0022-1236(73)90051-7]]

== بیشتر خواندن ==

* Aubin, Jean-Pierre;  [[:en:Ivar_Ekeland|Ekeland, Ivar]], Ivar (2006). Applied Nonlinear Analysis. Dover Books.  [[:en:Special:BookSources/0-486-45324-3|ISBN 0-486-45324-3.]] 

* Bisgard, James (2015).   [http://epubs.siam.org/doi/10.1137/140963510 "Mountain Passes and Saddle Points"]. SIAM Review. 57 (2): 275–292.  [[doi:10.1137/140963510]].
*  [[:en:Lawrence_C._Evans|Evans, Lawrence C.]]. (1998). Partial Differential Equations. Providence, Rhode Island: American Mathematical Society. ISBN 0-8218-0772-2
* Jabri, Youssef (2003).  [[iarchive:mountainpasstheo0000jabr|The Mountain Pass Theorem, Variants, Generalizations and Some Applications]]. Encyclopedia of Mathematics and its Applications. Cambridge University Press. ISBN  [[:en:Special:BookSources/0-521-82721-3|ISBN 0-521-82721-3.]].
*   [[:en:Jean_Mawhin|Mawhin, Jean;]] Willem, Michel (1989). [https://books.google.com/books?id=w6bTBwAAQBAJ&pg=PA92 "The Mountain Pass Theorem and Periodic Solutions of Superlinear Convex Autonomous Hamiltonian Systems"]. Critical Point Theory and Hamiltonian Systems. New York: Springer-Verlag. pp. 92–97. [[:en:Special:BookSources/0-387-96908-X|ISBN 0-387-96908-X.]]
* McOwen, Robert C. (1996). [https://books.google.com/books?id=TuNHsNC1Yf0C&pg=PA206  "Mountain Passes and Saddle Points"]. Partial Differential Equations: Methods and Applications. Upper Saddle River, NJ: Prentice Hall. pp. 206–208 [[:en:Special:BookSources/0-13-121880-8|. ISBN 0-13-121880-8]].
[[رده:حساب تغییرات]]
[[رده:آنالیز ریاضی]]
[[رده:قضایای آنالیز]]