# Teorema del passo di montagna Mountain pass theorem The mountain pass theorem is an existence theorem from the calculus of variations, originally due to Antonio Ambrosetti and Paul Rabinowitz. Given certain conditions on a function, the theorem demonstrates the existence of a saddle point. The theorem is unusual in that there are many other theorems regarding the existence of extrema, but few regarding saddle points.

Contenuti 1 Dichiarazione 2 Visualization 3 Weaker formulation 4 Riferimenti 5 Further reading Statement The assumptions of the theorem are: {stile di visualizzazione I} is a functional from a Hilbert space H to the reals, {displaystyle Iin C^{1}(H,mathbb {R} )} e {displaystyle I'} is Lipschitz continuous on bounded subsets of H, {stile di visualizzazione I} satisfies the Palais–Smale compactness condition, {stile di visualizzazione I=0} , there exist positive constants r and a such that {stile di visualizzazione I[tu]geq a} Se {displaystyle Vert uVert =r} , and there exists {displaystyle vin H} insieme a {displaystyle Vert vVert >r} tale che {stile di visualizzazione I[v]leq 0} .

Se definiamo: {displaystyle Gamma ={mathbf {g} in c([0,1];H),vert ,mathbf {g} (0)=0,mathbf {g} (1)=v}} e: {displaystyle c=inf _{mathbf {g} in Gamma }massimo _{0leq tleq 1}io[mathbf {g} (t)],} then the conclusion of the theorem is that c is a critical value of I.

Visualization The intuition behind the theorem is in the name "mountain pass." Consider I as describing elevation. Then we know two low spots in the landscape: the origin because {stile di visualizzazione I=0} , and a far-off spot v where {stile di visualizzazione I[v]leq 0} . In between the two lies a range of mountains (a {displaystyle Vert uVert =r} ) where the elevation is high (higher than a>0). In order to travel along a path g from the origin to v, we must pass over the mountains—that is, we must go up and then down. Since I is somewhat smooth, there must be a critical point somewhere in between. (Think along the lines of the mean-value theorem.) The mountain pass lies along the path that passes at the lowest elevation through the mountains. Note that this mountain pass is almost always a saddle point.

For a proof, see section 8.5 of Evans.

Weaker formulation Let {stile di visualizzazione X} be Banach space. The assumptions of the theorem are: {displaystyle Phi in C(X,mathbf {R} )} and have a Gateaux derivative {displaystyle Phi 'colon Xto X^{*}} which is continuous when {stile di visualizzazione X} e {stile di visualizzazione X^{*}} are endowed with strong topology and weak* topology respectively. There exists {displaystyle r>0} such that one can find certain {stile di visualizzazione |X'|>r} insieme a {displaystyle max ,(Phi (0),Phi (X'))

Se vuoi conoscere altri articoli simili a Teorema del passo di montagna puoi visitare la categoria Calcolo delle variazioni.

Vai su

Utilizziamo cookie propri e di terze parti per migliorare l'esperienza dell'utente Maggiori informazioni