Caso particolare equazione di Eulero-Lagrange

[gius2404]

Ho un quesito da proporre nell'ambito del calcolo delle variazioni.
Se la funzione integranda all'interno di un funzionale di tipo integrale ha una struttura del tipo F(x,y) (cioè non dipende esplicitamente da y'), che tipo di caratteristiche ha la soluzione della relativa equazione di Eulero?

[mod="Steven"]Ho spostato nella sezione più idonea di Analisi[/mod]

[gugo82]

Insomma hai un funzionale del tipo \( \displaystyle \mathcal{I}[y]:=\int_a^b F(x,y(x))\ \text{d} x \) con \( \displaystyle [a,b]\times \mathbb{R} \ni (x,y) \mapsto F(x,y) \in \mathbb{R} \) abbastanza regolare (per semplificare il discorso, diciamo \( \displaystyle F \) di classe \( \displaystyle C^2 \) ).
Non capisco però se vuoi sapere com'è fatta l'equazione di E-L oppure come sono fatte le soluzioni.

Ad ogni modo, per un funzionale generale del tipo \( \displaystyle \int_a^b G(x,y(x),y^\prime (x))\ \text{d} x \) , con integrando \( \displaystyle [a,b]\times \mathbb{R}^2 \ni (x,y,v)\mapsto G(x,y,v)\in \mathbb{R} \) abbastanza regolare, l'equazione di E-L è:

\( \displaystyle \frac{\partial G}{\partial y} (x,y(x),y^\prime (x)) = \frac{\text{d}}{\text{d} x} \left[ \frac{\partial G}{\partial v} (x,y(x),y^\prime (x))\right] \) ;

per ricavarla devi: 1) derivare parzialmente \( \displaystyle G(x,y,v) \) rispetto a \( \displaystyle y \) ed a \( \displaystyle v \) ; 2) sostituire \( \displaystyle y=y(x), v=y^\prime (x) \) in \( \displaystyle \tfrac{\partial G}{\partial y},\ \tfrac{\partial G}{\partial v} \) ; 3) derivare la funzione composta \( \displaystyle \tfrac{\partial G}{\partial v} (x,y(x),y^\prime (x)) \) rispetto a \( \displaystyle x \) .

Ora, nel tuo caso è \( \displaystyle G(x,y,v)=F(x,y) \) quindi risulta \( \displaystyle \tfrac{\partial G}{\partial y} =\tfrac{\partial F}{\partial y} ,\ \tfrac{\partial G}{\partial v} =0 \) (infatti \( \displaystyle F \) non dipende da \( \displaystyle v \) ) e perciò l'equazione di E-L si scrive:

\( \displaystyle \frac{\partial F}{\partial y} (x,y(x)) =0 \) .

Essa è un'equazione in \( \displaystyle x \) ed \( \displaystyle y(x) \) e non è una EDO perchè non compare esplicitamente alcuna derivata di \( \displaystyle y(x) \) ; da tale equazione (con un po' di pazienza) puoi cercare di ricavare gli estremanti \( \displaystyle y(x) \) , casomai cercando di usare qualche teorema sulle funzioni implicite.
In generale non è che si può dire molto di più...

Prova a postare un esempio di funzionale da cui esce fuori questa roba, forse ne facciamo uscire qualcosa di più utile.

[gius2404]

@gugo82
Ti ringrazio innanzitutto per la risposta rapidissima!
Hai centrato pienamente il problema. Ossia, visto che l'equazione di Eulero-Lagrange si riduce ad una equazione algebrica (in pratica una definizione implicita delle curve estremali) che considerazioni si possono fare su tali curve in questo caso rispetto al caso generale? Si tratta di un quesito puramente teorico e non ho un esempio pratico da sottoporre. Mi rendo conto che la domanda può sembrare piuttosto vaga...
Ti ringrazio ancora per l'aiuto!!

[gugo82]

Beh in generale non puoi dire nulla.

Infatti anche se sono verificate le ipotesi del teorema del Dini, tutto ciò in cui puoi sperare è che localmente tu possa definire una funzione \( \displaystyle y(x) \) che risolve la E-L; però di solito quella è una soluzione prettamente locale, nel senso che in generale non è detto che la \( \displaystyle y(x) \) risulti definita su tutto l'intervallo base \( \displaystyle [a,b] \) , ma solo in un sottointervallo \( \displaystyle [\alpha ,\beta]\subset [a,b] \) .

E poi, non è nemmeno detto che alla E-L sia applicabile il teorema del Dini: ad esempio, prendi \( \displaystyle \mathcal{I}[y]:=\int_1^2 x\ e^{y(x)}\ \text{d}x \) , che fornisce \( \displaystyle x\ e^{y(x)}=0 \) come equazione di E-L; in tal caso, visto che \( \displaystyle x>0 \) ed \( \displaystyle e^{y(x)}>0 \) non è applicabile il teorema del Dini...

Però in questo caso si può vedere "a mano" che non esistono minimi per \( \displaystyle \mathcal{I}[\cdot] \) in \( \displaystyle Y:=\{ y\in C([1,2]):\ y(1)=0=y(2)\} \) ; basta solo fare due conticini.
Infatti si ha certamente \( \displaystyle 0< \mathcal{I}[y] \) , quindi \( \displaystyle 0\leq \inf_{y\in Y} \mathcal{I}[y] \) ; d'altra parte hai:

\( \displaystyle \int_1^2 x\ e^{y(x)}\ \text{d}x \leq \left( \sup_{x\in [1,2]} x\right) \cdot \int_1^2 e^{y(x)}\ \text{d}x =2\ \int_1^2 e^{y(x)}\ \text{d}x \)

ed intuitivamente è evidente che, prendendo \( \displaystyle y(x) \) "molto negativa" in una parte "abbastanza grande" dell'intervallo \( \displaystyle ]1,2[ \) , puoi rendere l'integrale \( \displaystyle \int_1^2 e^{y(x)}\ \text{d}x \) "piccolo a piacere".
Per dimostrare questo fatto puoi prendere la successione di funzioni definite ponendo:

\( \displaystyle y_n(x):=\begin{cases} -2n\ x+2n &\text{, se \( \displaystyle {1}\leq{x}\leq{t}{\frac{{{3}}}{{{2}}}} \)} \\ 2n\ x-4n &\text{, se \( \displaystyle {t}{\frac{{{3}}}{{{2}}}}\leq{x}\leq{2} \)} \end{cases} \)

i cui grafici sono triangoli isosceli di base \( \displaystyle [1,2] \) ed altezza \( \displaystyle n \) rivolti nel semipiano delle \( \displaystyle y \) negative.
In figura sono tracciati in giallo, arancione e rosso i grafici di \( \displaystyle y_2(x) \) , \( \displaystyle y_3(x) \) ed \( \displaystyle y_5(x) \) ed in azzurro, blu e viola i grafici di \( \displaystyle e^{y_2(x)} \) , \( \displaystyle e^{y_3(x)} \) ed \( \displaystyle e^{y_5(x)} \) :

        Internet Explorer richiede Adobe SVG Viewer per visualizzare il grafico

Tali funzioni verificano le condizioni agli estremi e sono continue, quindi \( \displaystyle y_n\in Y \) ; inoltre già graficamente si vede che \( \displaystyle \int_1^2 e^{y_n(x)}\ \text{d} x \to 0 \) per \( \displaystyle n\to +\infty \) : questo si può provare con un semplice calcolo:

\( \displaystyle \int_1^2 e^{y_n(x)}\ \text{d} x =e^{2n}\ \int_1^{\tfrac{3}{2}} e^{-2n\ x}\ \text{d} x\ +\ e^{-4n}\ \int_{\tfrac{3}{2}}^2 e^{2n\ x}\ \text{d} x =2\ e^{2n}\ \int_1^{\tfrac{3}{2}} e^{-2n\ x}\ \text{d} x =\frac{1-e^{-n}}{n} \) ,

quindi \( \displaystyle \lim_n \int_1^2 e^{y_n(x)}\ \text{d} x = \lim_n \frac{1-e^{-n}}{n} =0 \) . Ne consegue:

\( \displaystyle 0< \mathcal{I}[y_n]\leq \frac{1-e^{-n}}{n} \quad \Rightarrow \quad 0\leq \lim_n \mathcal{I}[y_n]\leq \lim_n \frac{1-e^{-n}}{n} =0 \)

e perciò \( \displaystyle 0=\inf_{y\in Y} \mathcal{I}[y] \) .
Se, per assurdo, esistesse un minimo \( \displaystyle \overline{y} (x)\in Y \) per \( \displaystyle \mathcal{I}[\cdot] \) , allora dovrebbe aversi necessariamente \( \displaystyle \mathcal{I}[\overline{y} ]=0 \) ; ma ciò è impossibile giacché \( \displaystyle \mathcal{I}[\cdot ]>0 \) in \( \displaystyle Y \) . Ergo \( \displaystyle \mathcal{I}[\cdot] \) non ha minimo in \( \displaystyle Y \) .

Quindi quando hai integrandi che non dipendono da \( \displaystyle y^\prime \) e vedi che l'equazione di E-L non ti è d'aiuto, devi necessariamente provare a fare i conti a mano.