Passaggio strano

otta96
C'è un passaggio in una dimostrazione che sto studiando che non capisco.
La situazione è questa: sia $u$ funzione assolutamente continua in $[0,2\pi]$ tale che $u(0)=u(2\pi),\int_0^(2\pi)u(t)dt=0$ e $u'\in L^2(0,2\pi)$, inoltre per ogni $v$ con le stesse ipotesi, in più $v(0)=0$ si ha $\int_0^(2\pi)uvdt=\int_0^(2\pi)u'v'dt$.
Allora, dato che $u$ ha valore medio nullo, allora la condizione vale se prendiamo $v\in C_0^\infty(0,2\pi)$.
Ora io non capisco come vada utilizzato che $u$ ha valore medio nullo e quindi non so come fare, un aiutino? Grazie.

Risposte
Bremen000
Io non ho capito il testo. Tu sai che \( u \in AC ([0, 2\pi]) \) è tale che \( u(0)=u(2\pi) \), è a media nulla e ha derivata in \( L^2 ( (0,2\pi)) \). Inoltre sai che per ogni \( v \) come \( u \) ma che in più si annulla in \(0 \) vale \( \int_0^{2\pi} uv = \int_0^{2\pi} u'v' \).

La dimostrazione asserisce che se \( v \in C_0^{\infty} ((0, 2\pi)) \) (generica, non come prima?) ... allora?


P.S. : stai facendo calcolo delle variazioni per caso?

otta96
Allora vale la stessa uguaglianza tra gli integrali.
In effetti questa dimostrazione si trova in un libro di calcolo delle variazioni, ma ancora non lo sto studiando, mi serve per la tesi.

gugo82
@otta96: Che libro?

Bremen000
Sia \( v \in C_0^{\infty}((0, 2\pi)) \) generica. Sia \( \overline{v} := \frac{1}{2\pi} \int_0^{2\pi} v(t)dt \). Sia \( V(t) = v(t) - \overline{v} \).

Allora $V$ soddisfa tutte le ipotesi delle $v$ di prima.

Allora vale

\[ \int_0^{2\pi} uv= \int_0^{2\pi}uV = \int_0^{2\pi}u’V’ = \int_0^{2\pi} u’v’ \]

Dove nel primo passaggio sfrutto che $u$ ha media nulla e nel terzo che le derivate di $v$ e $V$ sono le stessa.
Dovrebbe funzionare!

Faceva tanto disuguaglianza di Wirtinger sta roba, per quello pensavo a CdV!

EDIT: no, non funziona perché $V(0) \ne 0 $ però magari si aggiusta!

otta96
Il libro è un'introduzione al calcolo delle variazioni :teoria ed esercizi di Talenti, Colesanti e Salani.

otta96
"Bremen000":
!Faceva tanto disuguaglianza di Wirtinger sta roba, per quello pensavo a CdV!

Sostanzialmente è l'ultimo passaggio della dimostrazione della disuguaglianza di Wirtinger
;)

Bremen000
Ah vedi! Comunque non saprei, aspettiamo qualcuno di più dotto!

Bremen000
@otta: Se poi, per altre vie, scoprissi come si risolveva il tuo dubbio e avessi voglia di scriverlo qua, te ne sarei grato: sono abbastanza curioso!

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