Esercizietto oscuro

Principe2
Il seguente esercizio dobbiamo consegnarlo entro luendi.
Parlandone con dei "colleghi" non siamo riusciti a tirar fuori
altro che idee strambe. Posto l'esercizio, non che mi aspetti
che qualcuno ce lo risolva (se accade, meglio!), ma soprattutto
perchè non abbiamo neanche capito cosa bisogna fare precisamente.

Si consideri l'equazione della corda vibrante in $[0,1]$ $u_{t t}=u_{x x}$
con condizioni al bordo $u(0)=0, u(1)=1$. Mostrare che esiste un'unica
soluzione stazionaria stabile in una qualche norma.

Il problema è che non ci è stata data una definizione di stabilità e abbiamo
diverse "teorie"....

Risposte
Andrea2976
Ciao, provo a darti una possibile interpretazione.
Se cerchi una possibile soluzione stazionaria la devi scegliere indipendente dal tempo, dai tuoi dati risulta essere
$u(x,t)=x$ (le condizioni iniziali io le ho interpretate come $u(0)=u(0,0)=0$ e $u(1)=u(1,0)=1$).
Ora $u(x,t)=x$ è stabile se per ogni dato iniziale
$u(x,0)=v(x)$ tale che $v(0,0)=0$ e $v(1,0)=1$ e tale che $||v(x)-x|| $||u_v(x,t)-x|| Ora non resta che determinare il delta_epsilon.

Risulta che $u_v(x,t)=1/2[v(x-ct)+v(x+ct)]$ (soluzione standard della corda con dato iniziale $v(x)$)

Se consideri la norma L^1 si ha:

$int_0^1 [|1/2[v(x-ct)+v(x+ct)] -x|]<=int_0^1 [|1/2(v(x-ct) -(x-ct))|]+[|1/2(v(x+ct)-(x+ct))|]
in quanto dalla condizione $||v(x)-x|| In conclusione $u(x,t)=x$ è stabile in norma L^1.

Spero si capisca...magari un giorno mi leggerò la guida di mathML!

P.S. Dopo l'aiuto di Tipper forse adesso il tutto è più comprensibile...almeno spero!

_Tipper
"Andrea2976":
Spero si capisca...magari un giorno mi leggerò la guida di mathML!

Ti bastava mettere un dollaro all'inizio e uno alla fine di ogni formula, mi sembrano scritte tutte secondo la sintassi che accetta il MathPlayer.

Fioravante Patrone1
in omaggio a Tipper :D


Ciao, provo a darti una possibile interpretazione.
Se cerchi una possibile soluzione stazionaria la devi scegliere indipendente dal tempo e dai tuoi dati risulta essere
$u(x,t)=x$ (le condizioni iniziali io le ho interpretate come $u(0)=u(0,0)=0 e u(1)=u(1,0)=1$).
Ora $u(x,t)=x$ è stabile se per ogni dato iniziale
$u(x,0)=v(x)$ tale che $v(0,0)=0$ e $v(1,0)=1$ e tale che $||v(x)-x|| $||u_v(x,t)-x|| Ora non resta che determinare il $delta_epsilon$.

Risulta che $u_v(x,t)=1/2[v(x-ct)+v(x+ct)]$ (soluzione standard della corda con dato iniziale $v(x)$)

Se consideri la norma $L^1$ si ha:

$int_0^1 [|1/2[v(x-ct)+v(x+ct)] -x|]<=int_0^1 [|1/2[v(x-ct) -(x-ct)|]+|1/2[v(x+ct)-(x+ct)|]
in quanto dalla condizione $||v(x)-x|| In cocnclusione $u(x,t)=x$ è stabile in norma $L^1$.

Spero si capisca...magari un giorno mi leggerò la guida di mathML!



il tipografo :P

NB: corretto. Un grazie ed un inchino al proto per la segnalazione! :D

_Tipper
Mi domando perché hai fatto il professore, avresti avuto una grandissima carriera da tipografo davanti a te... :-D

PS: anche se ti è sfuggito un delta_epsilon :-D

Principe2
ok... io alla fine una soluzione l'avevo tentata.. è un pò delirante, ma l'abbiamo fatta
in due e ci pare corretta. Sperando che vi interessi la posto:

Sia $S_0$ lo spazio vettoriale delle soluzioni dell'equazione
$u_{t t}-\Delta u=0$ con condizioni al bordo nulle $u(0,t)=u(1,t)=0$.
Sia $u_0(x,t)=x$ la nostra soluzione stazionaria. Definisco lo
spazio vettoriale $S=RRx\oplus S_0$. Su $S$ definisco la norma

$||u||_S= $sup${\int_0^1|u_x|^2dx, t\ge0}$

tale "norma" è ben definita come numero reale, in quanto $\le$ dell'energia
e verifica la disuguaglianza triangolare, in quanto formalmente si tratta di fare
prima una norma $L^2$ e poi una $C^0$.
Resta allora solo da dimostrare la positività. Sia $s\in S$ tale
che $||s||=0$, allora $s$ è costante nella variabile $x$. Ma le
funzioni in $S$ valgono tutte $0$ in $0$ e quindi deve essere $s=0$.
Sia ora $\varepsilon>0$, consideriamo il problema


$u_{t t}^{(\varepsilon)}-\Delta u^{(\varepsilon)}=0$

$u^{(\varepsilon)}(0)=0,u^{(\varepsilon)}(1)=1$

$u^{\varepsilon}(x,0)=x+\varepsilon v(x,0)$ (variazione continua della soluzione
stazionaria)

$u_t^{(\varepsilon)}(x,0)=\varepsilonw(x,0)$ (variazione continua dello 0$


Dobbiamo mostrare che $||u_0-u^{(\varepsilon)}||_S\rightarrow0$ per
$\varepsilon\rightarrow0$. Si ha

$||u_0-u^{(\varepsilon)}||_S=\int_0^1|(u_0)_x-u_x^{(\varepsilon)}|^2dx\leq$

$\leq\int_0^1|(u_0)_x-u_x^{(\varepsilon)}|^2+|(u_0)_t-u_t^{(\varepsilon)}|^2dx$


a secondo membro abbiamo l'energia della funzione
$u_0-u^{(\varepsilon)}$ che è conservata e quindi possiamo
valutarla sui dati iniziali. Un semplice conto mostra allora che tende a $0$.

Principe2
scusa andrea, ma la velocità non la metti?

Andrea2976
Ciao,

(mi spiace rispondere solo ora ma ieri ero in viaggio) forse andrebbe aggiunta anche la condizione sulla velocità (nel mio caso) ma con la norma in L^1 tale condizione sarebbe superflua non entrando in gioco.
Magari mi sbaglio.

Rispondi
Per rispondere a questa discussione devi prima effettuare il login.