Tipi di convergenza di una successione di funzioni

Prima di postare leggi le regole del Forum. Puoi anche leggere le ultime discussioni.
Questa sezione è un contenitore temporaneo per i topic speciali a pagamento (One-Shot).
#77016
avt
FrenkyCT
Punto

Ciao! Ho un quesito teorico in cui mi si richiedono le definizioni di convergenza puntuale assoluta e uniforme di una successione di funzioni.

In più mi si chiede di enunciare e dimostrare almeno un teorema di passaggio al limite.

Grazie come sempre!

#77017
avt
Ifrit
Amministratore

Ciao Frenky emt Ecco le definizioni che ti servono!

Definizione di convergenza puntuale

Consideriamo un insieme I contenuto in R e sia

s_(k): I → R una successione di funzioni reali definite in I. Diremo che

s_(k) converge puntualmente in I verso la funzione s:I → R se risulta che:

lim_(k → ∞)s_(k)(x) = s(x) ∀ x∈ I

Ciò vuol dire che

Per ogni ε > 0 e per ogni x∈ I esiste un indice n_(ε, x)∈ N tale che:

s(x)−ε < s_k(x) < s(x)+ε ∀ k > n_(ε, x)

o equivalentemente:

|s_(k)(x)−s(x)| < ε ∀ k > n_(ε, x).

Convergenza assoluta

Sia I ⊂ R un sottoinsieme di numeri reali, e sia

s_(k):I → R con k∈N

una successione di funzioni reali. Diremo che s_k converge assolutamente ad una funzione s:I → R se e solo se:

lim_(k → ∞)|s_k(x)| = s(x) ∀ x∈ I.

Esistono successioni di funzioni che sono assolutamente convergenti ma non semplicemente convergenti.

Esempio:

La successione di funzioni s_k(x) = (−1)^k x è assolutamente convergente in I = R e converge a s(x) = |x| ∀ x∈ R.

lim_(k → ∞)|(−1)^(k)x| = lim_(k → ∞)|x| = |x|

ma non converge semplicemente in I, infatti per x diverso da zero:

lim_(k → ∞)(−1)^(k)x non esiste.

Definizione di convergenza uniforme

Una successione di funzioni s_(k):I → R converge uniformemente in I verso la funzione s se per ogni ε > 0 riesci a determinare un numero naturale n_(ε), dipendente solo da ε, tale che:

|s_(k)(x)−s(x)| < ε ∀ k > n_(ε) , , , ∀ x∈ I,

La convergenza uniforme implica la convergenza puntuale, ma non vale il viceversa.

Successione di funzioni convergente puntualmente ma non uniformemente.

Un classico esempio di successione di funzioni convergente puntualmente ma non uniformemente in un I=[0,1] è:

s_(k)(x) = x^(k)

Essa converge puntualmente a:

s(x) = 0 se x∈ [0, 1) ; 1 se x = 1

]

successione di funzioni x k

La convergenza non è uniforme. Fissiamo ε = (1)/(2), se esistesse un indice n_(ε) tale che:

|s_k(x)−s(x)| < ε ∀ k > n_(ε)

si avrebbe in particolare per il valore x = (1)/([k]√(2))

ma:

|s_(k)((1)/([k]√(2)))−s((1)/([k]√(2)))| = |(1)/(2)−0| = (1)/(2) < ε

Nota infatti che abbiamo ottenuto:

(1)/(2) < (1)/(2).

Ecco graficamente come si presenta la differenza tra convergenza puntuale e uniforme:

Convergenza puntuale

convergenza puntuale di una serie di funzioni

Convergenza uniforme

convergenza uniforme di una serie di funzioni

________________________

Teorema di passaggio al limite sotto il segno di integrale.

Ho scelto questo teorema perché è quello più facile da ricordare e la dimostrazione non è tecnica. Richiede ovviamente dei risultati precedenti, come tutti i teoremi degni di questo nome. emt

Sia s_(k):[a,b] → R una successione di funzioni continue che converge uniformemente verso una funzione s in [a,b] allora:

lim_(k → ∞)∫_(a)^(b)s_k(x)dx = ∫_(a)^(b)lim_(k → ∞)s_k(x) (= s(x))dx = ∫_(a)^(b)s(x)dx

Dimostrazione:

Poiché per ogni k∈N la funzione s_k è continua e poiché la convergenza è uniforme allora la funzione limite s(x) è continua in [a,b].

s(x) è continua in un chiuso e limitato di conseguenza è certamente integrabile.

Inoltre:

|∫_(a)^(b)s_k(x)dx−∫_(a)^(b)s(x)dx| = |∫_(a)^(b)s_k(x)−s(x)dx|

Qui abbiamo utilizzato la linearità dell'operatore integrale

Inoltre per la proprietà generale degli integrali:

|∫_(a)^(b)h(x)dx| ≤ ∫_(a)^(b)|h(x)|dx

sussiste la seguente disuguaglianza:

|∫_(a)^(b)s_k(x)dx−∫_(a)^(b)s(x)dx| = |∫_(a)^(b)s_k(x)−s(x)dx| ≤

≤ ∫_(a)^(b)|s_(k)(x)−s(x)|dx ≤ ∫_(a)^(b) max_(a ≤ x ≤ b)|s_k(x)−s(x)|dx =

Osserva che max_(a ≤ x ≤ b)|s_k(x)−s(x)|dx è un numero e rappresenta il massimo della differenza tra il k-esimo termine della successione di funzioni e s(x). Essendo una costante possiamo tirarla fuori dal simbolo di integrale.

= max_(a ≤ x ≤ b)|s_k(x)−s(x)|∫_(a)^(b)dx = (b−a) max_(a ≤ x ≤ b)|s_(k)(x)−s(x)|

Poiché per ipotesi la successione s_(k)(x) converge uniformemente a s(x) si ha che passando al limite k, otteniamo che:

lim_(k → ∞)(b−a) max_(a ≤ x ≤ b)|s_(k)(x)−s(x)| = 0

e questo prova la tesi.

Ringraziano: Galois, CarFaby
  • Pagina:
  • 1