Lemma di stima

Da testwiki.
Versione del 27 dic 2023 alle 15:41 di imported>Mat4free (fix vari)
(diff) ← Versione meno recente | Versione attuale (diff) | Versione più recente → (diff)
Vai alla navigazione Vai alla ricerca

In analisi complessa, il lemma di stima, anche conosciuto con il nome disuguaglianza ML, dà un estremo superiore agli integrali di contorno. Se una funzione è a valori complessi e continua sul contorno Γ e se il suo valore assoluto è limitata da una costante M per ogni z in Γ, allora

|Γf(z)dz|Ml(Γ),

dove l(Γ) è la lunghezza d'arco di Γ. In particolare, possiamo prendere il massimo

M:=maxzΓ|f(z)|

come estremo superiore. Intuitivamente, il lemma è molto semplice da capire. Se si pensa a un contorno come tanti piccoli segmenti uniti insieme, allora ci sarà un massimo per ogni segmento. Ci sarà un massimo di tutti questi massimi. Pertanto, se si somma il massimo dei massimi su tutto il cammino, allora l'integrale lungo quel cammino dovrà essere minore o uguale a quello.

Formalmente, la validità della disuguaglianza può essere fatta vedere usando la definizione di integrale di contorno, della disuguaglianza triangolare per integrali, e della formula della lunghezza di un arco come segue:

|Γf(z)dz|=|αβf(γ(t))γ(t)dt|αβ|f(γ(t))||γ(t)|dtMαβ|γ(t)|dt=Ml(Γ).

Il lemma di stima è usato comunemente come parte dei metodi di integrazione di contorno con lo scopo di mostrare che l'integrale lungo una parte del contorno va a 0, mentre |z|. Sotto è mostrato un esempio.

Esempio

Il contorno Γ

Problema. Trovare un estremo superiore di

|Γ1(z2+1)2dz|,

dove Γ è il semicerchio superiore |z|=a con raggio a>1 percorso una volta in senso antiorario.

Soluzione. Per prima cosa si osservi che la lunghezza del cammino di integrazione è metà circonferenza di un cerchio di raggio a, quindi

l(Γ)=12(2πa)=πa.

Poi cerchiamo un estremo superiore M dell'integranda quando |z|=a. Per la disuguaglianza triangolare vediamo che

|z|2=|z2|=|z2+11||z2+1|+1,

perciò

|z2+1||z|21=a21>0

perché |z|=a>1 su Γ. Segue che

|1(z2+1)2|M=1(a21)2.

Quindi, applichiamo il lemma di stima. Il risultato è

|Γ1(z2+1)2dz|Ml(Γ)=πa(a21)2.

Note

Voci correlate

Template:Portale