Notifiche
Cancella tutti

Contrazioni

  

1

Sia C([0,1])={f:[0,1]Rcontinue} munito della distanza d(f,g)=maxx[0,1]|f(x)g(x)|.
Posto E:={p(x)=a+bcos(6πx),a,bR}(C([0,1]),d),
si risponda ai seguenti quesiti.

A) È E chiuso? (E,d) è completo?

B) Si calcoli p=maxx[0,1]|p(x)| e si verifichi che è una norma su E.

C) Dato λR sia T:EE l'operatore definito dalla seguente formula
Tp(x):=λ(p(x))"+4+7cos(6πx),
dire per quali λR si ha che T è una contrazione in (E,d).

D) Per i valori di λ trovati in (C) , si trovi il punto fisso di T.

E) Si verifichi che
pE:=|p(12)|+|p(0)|
è una norma su E equivalente a .

Autore

Le derivate sono tutte derivate seconde, purtroppo non me le fa indicare con ''.

Soluzione(Insicura):

Nota: le derivate del testo sono in realtà tutte derivate seconde.

(A) (i) Si mostra che E è chiuso per successioni, ossia, data pk(x)=ak+bkcos(6πx) convergente con metrica d ad una certa funzione f, è necessario mostrare che a,bR:f(x)=a+bcos(6πx)E. Dato che dalla convergenza uniforme segue la convergenza puntuale, è sufficiente dimostrare che f(x)=a+bcos(6πx) a,bR

||pk(x)abcos(6πx)||=maxx[0,1]{ak+bkcos(6πx)abcos(6πx)|}|bkb|maxx[0,1]{cos(6πx)}+|aka|=|bkb|+|aka|0 ciò converge a zero per quanto detto prima sulla convergenza alla certa funzione.

Per l'unicità del limite si ha dunque f(x)=a+bcos(6πx), ciò implica dunque che E è un insieme chiuso.

(ii) Dato che E è chiuso e che (E,d)(C([0,1]),d), il quale è completo, si ha che anche esso è completo.

 

 

(B) (i) ||p||=maxx[0,1]|a+bcos(6πx)|  dato che il coseno ha valori  tra 1 e -1 si ha: ||p||=max(|a+b|,|ab|)

(ii) Per le nozioni sugli spazi di Banach si ha che la norma infinito è una norma anche su E dato che lo è su C([0,1]).

 

 

 

(C) (Nota: la notazione della derivata prima qui è la derivata seconda in realtà) Prima di inziare a risolvere il quesito è necessario calcolare p(x)=36π²bcos(6πx). Quindi si ha Tp(x)=36π²bλcos(6πx)+4+7cos(6πx)=cos(6πx)(736π²bλ)+4. Per definizione di contrazione si ha che ||TpTq||C||pq||, ove C<1. Facendo i conti:

||TpTq||=|(36π²λ(bpbq)+7)cos(6πx)||(36λπ²)(bpbq)|+7

Dato che T è una contrazione è necessario porre |36λπ²|<1|λ|<136π².

 

 

(D) Per individuare i punti fissi è necessario utilizzare la definizione Tp=p. Si ha dunque cos(6πx)(736π²bλ)+4=a+bcos(6πx). Da qui è possibile ricavare il sistema {a=4,b=7136π²λ)}. Si ha dunque: p(x)=4+7136π²λcos(6πx).

 

 

(E) (Nota: la notazione della derivata prima qui è la derivata seconda in realtà) Svolgendo i conti si ha |p(112)|=|a| e |p(0)=36π²|b|. Si ha dunque ||||E=|a|+36π²|b|. Si mostra che C1||||||||EC2||||.

 

Etichette discussione
2 Risposte



2

Ora che ExProf non c'é più, gli unici che hanno qualche speranza di capirlo sono cmc e mathgpt4.

Io riesco solo a vedere che il massimo di | a + b cos (6 pi x ) | é |a| + |b| perché quando x va

da 0 a 1 l'argomento va da 0 a 6 pi ( tre volte un giro ) e quindi da qualche parte | b cos t |

assume il valore |b| preceduto dallo stesso segno di a. Se la derivata che sta nell'operatore é

prima come sta scritto, comparirà un seno e il massimo di |- L 6 pi sin (6 pi x ) + 4 + 7 cos 6 pi x |

si dovrebbe cercare come prima ma con l'ausilio dell'angolo aggiunto. Questo dà una indicazione

per rispondere alla domanda su quando é una contrazione. Se scopro qualcos'altro, lo metto qui.

@eidosm grazie mille comunque, purtroppo online non sono riuscita a trovare esercizi simili svolti e in aula non ne abbiamo fatto mezzo T.T

Per ora sono riuscita a risolvere in autonomia solo i primi due punti tramite la chiusura per successioni.



2

A) Soluzione corretta, da rendere più rigorosa nell’uso delle proprietà degli spazi di Banach:

limnpn(x)=f(x):uniformemente inC([0,1])a,bRf(x)=a+bcos(6πx).

Inoltre, la funzione coseno è continua e linearmente indipendente.

B) Corretto e di rigor accettabile.

C) Avresti dovuto specificare la relazione tra ||pq|| e |bddxb|:

||pq||=max{|addxa+bddxb|,|addxa(bddxb)|}|bddxb|.

Serve più rigore nell'utilizzo del teorema di Banach-Caccioppoli.

D) Perfetto.

E) Dimostrazione incompleta ed errata in alcuni passaggi. Devi dimostrare rigorosamente che inducano la medesima topologia (banale). 

 

Cito @eidosm se può essere di suo interesse.

@enrico_bufacchi Grazie mille per i preziosi consigli, purtroppo devo ancora prenderci la mano con il rigore nelle dimostrazioni... 🙂



Risposta
SOS Matematica

4.6
SCARICA