serie di funzioni

Messaggioda dRic » 11/10/2018, 22:36

Ciao, scusate la mia insistenza :-D

Vi riposto una parte di un esempio tratto da un libro su cui sto studiando

Ho una funzione definita come:

$$ u(x, t) = \sum^{\infty}_{n=1} e^{-nt} \frac {sin(nx)} {n^2}$$

in $Q = [0; \pi] \times [0; 1]$ (ovvero $x \in [0; \pi]$ e $ t \in [0; 1]$).

$u$ è convergente totalmente e ora voglio capire se è derivabile in $Q$. Faccio le derivate parziali:

$$ u_x = \sum^{\infty}_{n=1} e^{-nt} \frac {cos(nx)} {n}$$
$$ u_t = -\sum^{\infty}_{n=1} e^{-nt} \frac {sin(nx)} {n}$$

che hanno dei problemini per $t=0$. Se convergessero uniformemente allora sarebbe tutto ok, ma per $t=0$ non riesco a dimostrarlo allora non posso dire che $u$ è derivabile. Allora il libro fa questa astuzia: considera $Q^' = [0; \pi] \times [\delta; 1]$ ($\delta > 0$). In questo caso il valore assoluto delle derivate parziali per $t = \delta $ sono maggiorati da $ \frac {e^{-\delta t}} {n}$ e quindi posso dire che convergono totalmente (e quindi uniformemente). Quindi in $Q^'$ $u$ è derivabile.

A questo punto non capisco il passaggio logico:

"Poiché $u$ è derivabile in $Q^'$ allora è derivabile anche in $Q$".

Grazie in anticipo!
dRic
Advanced Member
Advanced Member
 
Messaggio: 653 di 2164
Iscritto il: 01/01/2017, 03:54

Re: serie di funzioni

Messaggioda killing_buddha » 12/10/2018, 09:10

Aspettiamo un analista, ma probabilmente il fatto è che le derivate convergono a funzioni continue su tutto il quadrato perché delta è arbitrario, e però non sono uniformemente continue (perché dato epsilon bla bla la disuguaglianza che prova la continuità non è uniforme in delta).
- "Everything in Mathematics that can be categorized, is trivial" (P. J. Freyd), which should be understood as: "category theory is good ideas rather than complicated techniques".
- "I always disliked Analysis" (P. J. Freyd)
Avatar utente
killing_buddha
Cannot live without
Cannot live without
 
Messaggio: 2880 di 5766
Iscritto il: 03/05/2008, 17:33

Re: serie di funzioni

Messaggioda dissonance » 12/10/2018, 10:19

Secondo me è un fatto molto più scemo. Semplicemente, quando dice "derivabile in \(Q\)", intende "derivabile nella parte interna di \(Q\)", ovvero in
\[
(0, \pi)\times (0, 1).\]
dissonance
Moderatore
Moderatore
 
Messaggio: 14501 di 27757
Iscritto il: 24/05/2008, 19:39
Località: Nomade

Re: serie di funzioni

Messaggioda gugo82 » 12/10/2018, 14:37

Testo nascosto, perché contrassegnato dall'autore come fuori tema. Fai click in quest'area per vederlo.
Però gli ingegneri che studiano PDE sono carini, in fondo... :lol:
Sono sempre stato, e mi ritengo ancora un dilettante. Cioè una persona che si diletta, che cerca sempre di provare piacere e di regalare il piacere agli altri, che scopre ogni volta quello che fa come se fosse la prima volta. (Freak Antoni)
Avatar utente
gugo82
Cannot live without
Cannot live without
 
Messaggio: 19665 di 44915
Iscritto il: 12/10/2007, 23:58
Località: Napoli

Re: serie di funzioni

Messaggioda dRic » 12/10/2018, 20:27

dissonance ha scritto:Secondo me è un fatto molto più scemo. Semplicemente, quando dice "derivabile in \(Q\)", intende "derivabile nella parte interna di \(Q\)", ovvero in
\[
(0, \pi)\times (0, 1).\]


Ma allora perché fare tutta questa "dimostrazione"? Levando i punti che non ti vanno bene dall'insieme è abbastanza ovvio che tutto poi ti torna...

@gugo82
Testo nascosto, perché contrassegnato dall'autore come fuori tema. Fai click in quest'area per vederlo.
Lo so di essere più che scarso in queste cose, quindi per i prossimi tempi avrete a che fare con me assai di frequente :smt023
dRic
Advanced Member
Advanced Member
 
Messaggio: 656 di 2164
Iscritto il: 01/01/2017, 03:54


Torna a Analisi matematica di base

Chi c’è in linea

Visitano il forum: paolo1712 e 1 ospite