Eccomi di ritorno. Vedo che è stato un pomeriggio intenso: magari ci fosse questo tipo di interazione durante i corsi! Ma almeno avendo tutto on-line si può interagire dopo. Rispondo ai punti segnalati.
Per quanto riguarda il , alla lezione 42 sono stato troppo ottimista e ho detto una cosa falsa
![Embarassed :oops:](./images/smilies/icon_redface.gif)
. Il bootstrap funziona solo fino alla dimensione 4, poi basta. Il problema è nell'implicazione
,
la quale vale solo fino alla dimensione 4. La dimostrazione è abbastanza semplice, anche se non ovvia. Come avete osservato, quando uno va a scrivere la formula per la derivata k-esima della composizione, vengono fuori tanti termini, purtroppo anche con potenze elevate delle derivate. La fortuna però è che le derivate più alte compaiono con esponente 1 (e quindi hanno la sommabilità 2), quelle di ordine immediatamente inferiore compaiono con esponente 2, ma fortunatamente stanno in grazie alle immersioni (e qui serve la dimensione minore o uguale a 4), e tutte le precedenti sono continue (sempre per le immersioni), quindi no problem anche se hanno esponenti esagerati. Torna questo discorso?
[Piccola partentesi: dimostrare che l'implicazione di sopra è falsa in dimensione 5 è un esercizio interessante ...]
Quindi sì, in dimensione minore o uguale a 4 è discesa dopo aver fatto i primi passi, anche se con un po' di fatica (morale: fatica e dimensione bassa aiutano).
Allo stesso modo si tratta la potenza buffa dell'esercizio del compito di prova, ma solo grazie al fatto che l'argomento di troncamento ci ha portato "gratis" in . Senza quello restavamo al palo.
Detto questo, possiamo chiederci come si potrebbe fare il sin u in dimensione 2018, o anche 2019 visto che siamo già nel nuovo anno. Apparentemente la teoria non basta, quindi temo che occorra usare dei cannoni più potenti, come avete già osservato nei post precedenti. Vedo due possibilità.
La prima è usare la teoria . Visto che sin u sta un tutti gli , allora u sta in tutti i , ma allora sin u sta in tutti gli (questo mi sembra vero), e così via per bootstrap.
Occhio che per il singolo p non è vero, cioè l'implicazione
è in generale falsa, quindi è fondamentale l'uso combinato di tutti i p messi insieme. Occhio anche che non esiste una teoria , quindi la fatica di far lavorare insieme i vari p va fatta tutta!
La seconda via d'uscita è usare il primo alto per andare a finire in un abbastanza alto da immergersi in qualche ed a quel punto si procede per bootstrap con la teoria di Schauder.
Tornano questi due procedimenti?
E l'equazione è solo semi-lineare... Quando diventa quasi-lineare ridiamo davvero
![Mr. Green :mrgreen:](./images/smilies/icon_mrgreen.gif)