2-Estensione per i cilindri

[T.Sc]

Salve, non mi tornano i coefficienti necessari ad ottenere una 2 estensione per i cilindri. Per dirla meglio, a lezione avevamo visto che definendo $, si otteneva una 2 estensione per a=3,b=-2. Ho provato a fare il conto in maniera piu' esplicita, ma non mi trovo. Provo a scrivere quello che ho fatto limitandomi al caso $1$-dimensionale per comodita', in quanto l'unico davvero rilevante:l'idea era vedere cosa succedeva nella regione $x <0$ a livello di derivate :li' si ha -au'(-x)-2bu'(-2x)=(Eu)'(x). Si ha quindi: Occupiamoci solo del secondo addendo:cambiamo le variabili e dovrebbe tornare: e , per cui la funzione da "ridurre a supp compatto" mi verrebbe che mi porterebbe pero' al sistema \phi(0)=\phi'(0)=0 che non mi da' la coppia voluta.

Dove ho sbagliato? Grazie in anticipo

[Massimo Gobbino]

Ti torna, almeno a livello brutale, che



è l'extender giusta? Per questo basta controllare che il suo valore in 0 e quello della sua derivata coincidono con quelli di u.

[Massimo Gobbino]

Anche formalmente mi pare che il conto torni. Facendo solo quello per la derivata seconda, si tratta di dimostrare che



per ogni .

Ora con i classici cambi di variabili si ottiene che questa vale se e solo se



dove



Ora, come sempre, il problema è che la non ha supporto compatto in , e quindi l'uguaglianza di sopra non è immediata. Tuttavia, si verifica (ad esempio per approssimazione) che resta vera purché

,

ma questo è esattamente quello che accade per i valori speciali e .

[T.Sc]

Sisi adesso mi torna grazie mille,stavo sbagliando proprio ad impostare le condizioni necessarie.

[dalmo]

Ho provato a ripetere questo stesso conto per cercare di trovare un generico m-extender, si tratterebbe di dimostrare quindi che:

per ogni .

Ho quindi posto e procedendo con i cambi di variabile ho ottenuto . Analogamente al caso per ottenere i coefficienti è quindi sufficiente imporre per , così facendo si ottiene un sistema lineare di n equazioni in n incognite con matrice associata una matrice invertibile, il sistema ammette pertanto soluzione unica. Precisato questo, la mia domanda è la seguente: supponiamo io voglia ottenere sempre un m-extender, tuttavia anzichè imporre la condizione

per ogni

impongo

per ogni con sempre con

ossia, detto a parole, impongo che l'estesa ammetta derivata debole n-esima con ; otterrò allora una certa con coefficienti con da determinare. Con gli ormai ben noti cambi di variabile ottengo quindi un sistema lineare di m equazioni in m incognite, risolubile con soluzione unica.
Svolgendo il conto con degli m ed n fissati mi sono però accorto che gli sono differenti da quelli ottenuti con il conto svolto nella maniera classica, non riesco a giustificare questa cosa, avendo ottenuto dei ben determinati coefficienti con il conto classico (per intenderci quello con la derivata m-esima) mi aspetterei che questi coefficienti soddisfino a maggior ragione il conto con la derivata n-esima (dato che n<m), che invece risulta soddisfatto da ben altri coefficienti... dev'esserci un errore molto grossolano in quello che sto dicendo ma non riesco ad individuarlo.

[Massimo Gobbino]

Uhm, intanto le funzioni test al LHS e RHS devono essere le stesse ... magari correggi il post.

Poi faccio un po' fatica a seguire il ragionamento. La che si ottiene dipende dai cambi di variabile fatti strada facendo, i quali a loro volta dipendono da come uno ha definito Eu, e non dal numero di derivate alle quali puntiamo. L'unica cosa che dipende dal numero di derivate alle quali puntiamo è il numero di richieste sulla , cioè quante sue derivate vogliamo che si annullino.

Per fare un esempio, nel caso del 2-extender trattato in qualche post precedente, imporre lo scarico delle derivate prime avrebbe portato alla stessa con l'unica richiesta del suo annullamento in 0, mentre imporre lo scarico delle derivate seconde porta alla richiesta che .

O forse non ho capito la domanda?

La cosa carina e notevole è invece che le costanti che vengono fuori dalle condizioni su sono le stesse che vengono fuori imponendo brutalmente che le derivate dell'estesa coincidano in 0 con le derivate della funzione originaria.

[Massimo Gobbino]

Acc... nel giorno del crash c'erano stati dei post successivi a questo in cui si chiariva il dubbio. Provo a riassumerli qui.

L'oggetto del contendere è questo. Sospettiamo che una certa formula rappresenti un 2-extender. Ci sono da fare due verifiche, e cioè che le derivate prime e seconde si scarichino bene su tutta la retta. Con i soliti cambi di variabile ci si riduce ad avere degli scarichi sui soli positivi, non più rispetto alla funzione test originaria, ma rispetto a delle nuove funzioni e , diverse nei due casi.

Ebbene, non c'è nulla di male nel fatto che e siano diverse. Le richieste su di loro per avere lo scarico sui positivi sono diverse!

Per la , cioè quella che deriva dallo scarico delle derivate prime, serve che , e questa condizione è verificata. Per la , cioè quella che deriva dallo scarico delle derivate seconde, serve che , e pure questa condizione è verificata. Quindi siamo felici .