Integrazione di contorno

Nell'analisi complessa, l'integrazione di contorno è un metodo per calcolare integrali lungo contorni, ovvero cammini nel piano complesso.[1][2] Tale metodo, strettamente legato al calcolo dei residui,[3] può essere anche usato per calcolare integrali lungo la retta reale nei casi in cui le tecniche dell'analisi reale risultano inefficaci.[4]

Tra i metodi di integrazione di contorno ci sono:

Si può usare un metodo, o una combinazione di questi, per il calcolo degli integrali.

Curve nel piano complesso modifica

In analisi complessa un contorno è un tipo di curva nel piano complesso. Negli integrali di contorno, i contorni danno una definizione precisa delle curve sulle quali può essere definito un integrale. Una curva nel piano complesso è definita come una funzione continua da un intervallo chiuso della retta reale al piano complesso:  .

Nelle sottosezioni successive restringeremo l'insieme delle curve su cui possiamo integrare per includere solamente quelle che possono essere costruite da un numero finito di curve continue che possono avere una direzione. Inoltre, impediremo ai "pezzi" di incrociarsi, e richiediamo che ogni pezzo abbia una derivata continua e finita (non nulla). Questi requisiti equivalgono a richiedere solo curve che possono essere tracciate, ad esempio da una penna, con una sequenza di tratti regolari, ciascuno che finisce all'inizio del successivo, tutto senza sollevare la penna dal foglio.[5]

Curve lisce orientate modifica

I contorni sono spesso definiti in termini di curve lisce orientate.[5] Queste forniscono una definizione precisa di "pezzo" di curva liscia, di cui è fatto un contorno.

Una curva liscia è una curva   con la derivata continua e non nulla, tale che passi per ogni punto solo una volta (  è iniettiva su  ), con l'eventuale eccezione di quelle curve i cui estremi sono uguali ( ). Nel caso in cui gli estremi combaciano la curva è detta chiusa, la funzione deve essere iniettiva in ogni altro punto e la derivata deve essere continua in quel punto ( ). Una curva liscia non chiusa è spesso chiamata arco liscio.[5]

La parametrizzazione di una curva dà un ordinamento dei punti sulla curva:   viene prima di   se   Questo porta al concetto di curva liscia orientata, molto utile per considerare curve indipendentemente dalla specifica parametrizzazione. Questo può essere fatto considerando classi di equivalenza di curve lisce con la stessa orientazione. Una curva liscia orientata può quindi essere definita come un insieme ordinato di punti nel piano complesso che è l'immagine di una qualche curva liscia nel suo ordine naturale (a seconda della parametrizzazione). Si noti che non tutti gli ordinamenti dei punti sono i naturali ordinamenti di una curva liscia. Infatti, una curva liscia data ha solo due ordinamenti di questo tipo. Inoltre, una curva chiusa singola può avere ogni punto come estremo, mentre un arco liscio ha solo due scelte per i suoi estremi.

Contorni modifica

I contorni sono la classe di curve sulla quale definiamo l'integrazione di contorno. Un contorno è una curva orientata fatta di una successione finita di curve lisce orientate i cui estremi sono sovrapposti in modo da avere una direzione unica. Questo necessita che la successione di curve   sia tale che l'ultimo punto di   coincida con il punto di inizio di  .

Tutte le curve lisce orientate sono contorni. Anche un singolo punto nel piano complesso è un contorno. Il simbolo   si usa spesso per indicare le curve che si concatenano per formare una nuova curva. Perciò potremmo scrivere un contorno   fatto da   curve nel modo seguente:

 

Integrali di contorno modifica

L'integrale di contorno di una funzione complessa   è una generalizzazione degli integrali di funzioni a valori reali. Per funzioni continue nel piano complesso, l'integrale di contorno può essere definito, in analogia con l'integrale di linea, definendo per prima cosa l'integrale lungo una curva liscia orientata in termini di un integrale su un parametro reale. Si può dare una definizione più generale in termini di partizioni del contorno, in analogia con le partizioni di un intervallo e l'integrale di Riemann. In entrambi i casi l'integrale su un contorno è definito come la somma degli integrali lungo le curve lisce orientate che formano il contorno.

Per funzioni continue modifica

Per definire in questo modo l'integrale di contorno bisogna per prima cosa considerare l'integrale, su una variabile reale, di una funzione a valori complessi. Sia   una funzione a valori complessi di una variabile reale   Le parti reale e immaginaria di   sono spesso indicate rispettivamente con   e   cosicché

 

Allora l'integrale della funzione a valori complessi   sull'intervallo   è dato da

 

Sia   una funzione continua sulla curva liscia diretta   Sia   una qualsiasi parametrizzazione di   coerente con la sua orientazione. Allora l'integrale lungo   si indica

 

ed è dato da[5]

 

Questa uguaglianza è ben definita, cioè il risultato non dipende dalla parametrizzazione scelta.[5] Nel caso in cui l'integrale reale nel membro a destra non esista, si dice che non esiste neanche l'integrale lungo  

La generalizzazione dell'integrale di Riemann a funzioni di variabile complessa è fatta in completa analogia alla definizione per le funzioni dai reali. La partizione di una curva liscia diretta   è definita come un insieme finito e ordinato di punti di   L'integrale lungo la curva è il limite delle somme finite di valori della funzione, presi ai punti delle partizioni, nel limite in cui la distanza massima di due punti successivi sulla partizione (nel piano complesso) tende a zero.

Metodi diretti modifica

Calcolare gli integrali con metodi diretti significa calcolarli con metodi simili a quelli usati per gli integrali curvilinei di funzioni a più variabili. Ciò significa che usiamo il seguente metodo.

  • Parametrizzazione del contorno:
    il contorno è parametrizzato da una funzione derivabile che manda numeri reali in numeri complessi, oppure il contorno viene diviso in pezzi che vengono parametrizzati separatamente.
  • Sostituzione della parametrizzazione nell'integranda:
    sostituire la parametrizzazione nell'integranda trasforma l'integrale in uno di una variabile reale.
  • Calcolo diretto:
    l'integrale viene calcolato con metodi affini agli integrali di variabile reale.

Un risultato fondamentale dell'analisi complessa è che l'integrale di contorno di   è   dove il contorno scelto è il cerchio unitario percorso in senso antiorario (o qualsiasi curva di Jordan orientata positivamente intorno a  ). Nel caso del cerchio unitario c'è un metodo diretto per calcolare l'integrale

 

Nel calcolare l'integrale, usiamo come contorno il cerchio unitario   parametrizzato da

 
 

Applicazione di teoremi modifica

Per calcolare gli integrali di contorno vengono spesso applicati teoremi integrali, cioè viene calcolato un integrale reale in concomitanza con l'integrale di contorno.

I teoremi integrali come la formula integrale di Cauchy o il teorema dei residui sono generalmente usati nel metodo seguente.

  • Scelta di un contorno:
    il contorno è scelto in modo tale che percorra la parte del piano complesso che descrive l'integrale reale e che racchiuda le singolarità dell'integranda, così da poter applicare la formula integrale di Cauchy o il teorema dei residui.
  • Applicazione della formula integrale di Cauchy:
    ci si riconduce all'integrazione lungo un cerchio piccolo intorno a ogni polo.
  • Applicazione della formula integrale di Cauchy o del teorema dei residui:
    l'applicazione di queste formule dà il valore dell'integrale lungo tutto il contorno.
  • Divisione del contorno in parte reale e parte immaginaria:
    l'intero contorno può essere diviso nel contorno che segue la parte che descrive l'integrale reale (chiamata  ), e l'integrale che attraversa il piano complesso (chiamato  ). L'integrale lungo tutto il contorno è la somma dell'integrale lungo ciascuno dei contorni.
  • Dimostrazione che l'integrale che attraversa il piano complesso ha contributo nullo nella somma:
    se si può mostrare che l'integrale   sia zero, o che l'integrale reale cercato sia improprio, allora se si dimostra che l'integrale   tende a   l'integrale lungo   tenderà all'integrale lungo il contorno  
  • Conclusione:
    se possiamo fare il passaggio sopra, allora possiamo calcolare l'integrale reale.

Esempio 1 modifica

Consideriamo l'integrale

 

Per calcolare questo integrale, diamo un'occhiata alla funzione a valori complessi

 

che ha singolarità in   e in   Scegliamo un contorno che racchiuda la funzione nei reali; qui un semicerchio con il diametro sulla retta reale sarà utile. Il raggio è   Chiamiamo tale contorno  

Ci sono due modi per procedere, con la formula integrale di Cauchy o con il metodo dei residui.

Con la formula integrale di Cauchy modifica

Si noti che:

 

perciò

 

Inoltre si osservi che

 

Dato che l'unica singolarità nel contorno   è quella in   possiamo scrivere

 

che mette la funzione nella forma che permette l'applicazione diretta della formula. Quindi,

 

Facciamo la derivata prima, nei passaggi qui sopra, perché il polo è di secondo ordine, vale a dire,   è alla seconda, così deriviamo una volta sola   Se   fosse al cubo, useremmo la derivata seconda e la divideremmo per   e così via. Il caso di   non elevato a potenza corrisponde alla funzione non derivata, cioè la stessa  

Dobbiamo far vedere che l'integrale lungo l'arco del semicerchio tende a 0 per  , con il lemma di stima

 

dove   è l'estremo superiore di   lungo l'arco e   è la lunghezza dell'arco. Ora,

 

Quindi

 

Con il metodo dei residui modifica

Consideriamo la serie di Laurent di   centrata in   l'unica singolarità che dobbiamo tenere in considerazione. Allora abbiamo

 

Il residuo è   (per vederlo, si immagini che l'equazione qui sopra venga moltiplicata per   ed entrambi i lati integrati con la formula integrale di Cauchy, solo l'integrale del secondo termine verrebbe non nullo), quindi, per il teorema dei residui, abbiamo

 

Così otteniamo lo stesso risultato di prima.

Nota sul contorno modifica

Come digressione ci si può chiedere perché non prendiamo il semicerchio per includere l'altra singolarità:   Per fare in modo che l'integrale lungo l'asse reale si muova nella direzione corretta, il contorno deve essere percorso in senso orario, cioè nella direzione negativa, invertendo così il segno dell'integrale. Ciò non influisce sull'uso del metodo dei residui.

Esempio 2 – distribuzione di Cauchy modifica

L'integrale

 
 
the contour

(che viene dalla teoria della probabilità come multiplo scalare della funzione caratteristica della distribuzione di Cauchy) "resiste" alle tecniche dell'analisi elementare. Lo calcoleremo esprimendolo come limite di integrali di contorno lungo il contorno   che va lungo la retta reale da   ad   e poi lungo il semicerchio centrato in 0 di raggio   percorso in senso antiorario. Sia   cosicché l'unità immaginaria   sia racchiusa nel contorno.

L'integrale diventa

 

Dato che  è una funzione intera (non avente singolarità nel piano complesso), l'integranda ha singolarità solo dove il denominatore è nullo, cioè per   o   Solo uno di questi punti è nella regione limitata dal contorno.

Il residuo di   in   è

 

Secondo il teorema dei residui, si ha

 

Il contorno   può essere spezzato in una parte dritta e un arco curvo, così

 

perciò

 

Si può far vedere che se   allora

 

Quindi se   allora

 

Il ragionamento per l'arco intorno a   è simile: se   allora

 

e infine si ha:

 

Se   l'integrale è risolvibile con metodi di analisi reale e il suo valore è  

Esempio 3 – integrale trigonometrico modifica

Per risolvere gli integrali di funzioni trigonometriche, si possono fare delle sostituzioni che trasformano l'integranda in una funzione razionale di variabile complessa. Ad esempio consideriamo l'integrale

 

Facciamo una sostituzione di  . Allora

 

e

 

Chiamando   il cerchio unitario, sostituiamo e otteniamo:

 

Le singolarità da considerare sono in   Sia C1 un cerchio piccolo intorno a   e C2 un cerchio piccolo intorno a   Allora si arriva a:

 

Esempio 3a – integrali trigonometrici (procedimento generale) modifica

Il metodo sopra può essere applicato a tutti gli integrali del tipo

 

dove   e   sono polinomi. Si noti che gli estremi di integrazione possono essere   e   come nell'esempio precedente, o qualsiasi altra coppia di punti distanti   tra loro.

Il trucco è usare la sostituzione   e

 

La sostituzione manda l'intervallo   nel cerchio unitario. Inoltre,

 

così la sostituzione dà una funzione razionale   in   e l'integrale diventa

 

che è uguale alla somma dei residui nel cerchio unitario.

 

L'immagine a destra lo raffigura per

 

che ora calcoleremo. Il primo passo è riconoscere che

 

Sostituire dà

 

Il poli di questa funzione sono in   e   Di questi,   e   sono fuori dal cerchio unitario (in rosso, non in scala), mentre   e   sono dentro (in blu). I residui corrispondenti sono entrambi uguali a   quindi l'integrale vale

 

Esempio 4 – tagli modifica

Consideriamo l'integrale reale

 

Cominciamo considerando l'integrale complesso

 
 

Possiamo usare la formula integrale di Cauchy o il teorema dei residui per ottenere i residui rilevanti. Tuttavia, la cosa importante da notare è che  , e la radice ha un taglio. Questo influisce la nostra scelta del contorno   Normalmente il taglio del logaritmo è il semiasse reale negativo, tuttavia, questo rende i calcoli un po' più complicati, quindi scegliamo il semiasse positivo.

Quindi, usiamo il cosiddetto contorno a serratura, che consiste in un cerchio piccolo di raggio ε intorno all'origine, due segmenti antiparalleli tra loro, uno sopra all'asse e uno sotto, e un cerchio grande, come nell'immagine a destra.

Si noti che   e   stanno dentro al cerchio grande. Questi sono i due poli rimanenti, ottenibili fattorizzando il denominatore dell'integranda. Il punto di diramazione in   è evitato girando intorno all'origine.

Sia   il cerchio piccolo di raggio  ,   il più grande, con raggio   allora

 

Si può far vedere che gli integrali lungo   e   tendono entrambi a 0 per   e   per un ragionamento di stima, che lascia due termini. Ora dato che  , sul contorno fuori dal taglio, l'argomento guadagna   lungo  . (Per l'identità di Eulero,   rappresenta il vettore unitario, che ha   come suo logaritmo. Questo   è l'argomento di   Il coefficiente di 1/2 ci obbliga a usare  ) Allora

 

Quindi:

 

Usando il teorema dei residui e la formula integrale di Cauchy (prima impiegando il metodo delle frazioni parziali per ottener la somma di due semplici integrali di contorno) si ha

 

Esempio 5 – il quadrato del logaritmo modifica

 

Questa sezione tratta un tipo di integrale dei quali

 

è un esempio.

Per calcolare questo integrale, si usa la funzione

 

e il ramo del logaritmo corrispondente a  

Calcoleremo l'integrale di   lungo il contorno a serratura raffigurato a destra. Questo integrale è un multiplo dell'integrale iniziale che vogliamo calcolare e per il teorema dei residui abbiamo

 

Sia   il raggio del cerchio grande, e   il raggio di quello piccolo. Denotiamo la linea superiore con   e quella inferiore con   Come prima facciamo il limite per   e   I contributi dei due cerchi sono nulli. Per esempio, si ha il seguente limite superiore con il lemma ML:

 

Per calcolare i contributi di   e   impostiamo   su   e   su   con  :

 

che viene

 

Esempio 6 – logaritmi e il residuo all'infinito modifica

 

Vogliamo valutare

 

Ciò richiede uno studio attento di

 

Costruiremo   in modo tale che abbia un taglio in   mostrato in rosso nel grafico. Per farlo, scegliamo due rami del logaritrmo, mettendo

 

e

 

Il taglio di   è quindi   e il taglio di   è   È facile vedere che il taglio del prodotto, cioè   è   perché   di fatto è continua in   Questo perché quando   e ci avviciniamo al taglio da sopra,   ha il valore

 

Quando ci avviciniamo da sotto,   ha il valore

 

Ma

 

così abbiamo continuità attraverso il taglio. Questo è raffigurato nel grafico, dove i cerchi neri orientati sono indicati con il corrispondente valore di argomento del logaritmo usato in   e  

Useremo il contorno mostrato in verde. Per fare questo, dobbiamo calcolare il valore di   lungo i segmenti poco sopra e poco sotto il taglio.

Sia   (nel limite, cioè per il raggio dei due cerchi verdi si riduce a zero), dove   Lungo il segmento superiore, troviamo che   ha il valore

 

e lungo il segmento inferiore,

 

Segue che l'integrale di   lungo il segmento superiore è   nel limite, e lungo il segmento inferiore,  

Se possiamo far vedere che gli integrali lungo i due cerchi verdi svaniscono nel limite, allora possiamo avere il valore di   per il teorema dei residui. Sia il raggio dei cerchi verdi   dove   e   e applichiamo il lemma ML. Per il cerchio   sulla sinistra, troviamo

 

Similmente, per il cerchio   sulla destra, abbiamo

 

Ora, usando il teorema dei residui, abbiamo

 

dove il segno meno è dato dalla direzione in senso orario intorno ai residui. Usando il ramo del logaritmo come prima, chiaramente

 

Il polo è in blu nel grafico. Il valore si semplifica a

 

Usiamo la formula seguente per il residuo all'infinito:

 

Sostituendo, troviamo

 

e

 

dove abbiamo usato il fatto che   per il secondo ramo del logaritmo. Dopo applichiamo lo sviluppo binomiale, ottenendo

 

Concludendo, si ha

 

Infine, il valore di   è

 

Rappresentazione integrale modifica

Una rappresentazione integrale di una funzione significa esprimere la funzione in termini di un integrale di contorno. Sono note varie rappresentazioni integrali per molte funzioni speciali. Le rappresentazioni integrali possono essere importanti per ragioni teoriche, ad esempio per dare prolungamento analitico o equazioni funzionali, o talvolta per fare calcoli numerici.

 
Contorno di Hankel

Ad esempio, la definizione originale della funzione zeta di Riemann   tramite serie di Dirichlet,

 

vale solo per   ma

 

dove l'integrale è fatto lungo il contorno di Hankel, è valida per tutti i complessi   diversi da 1.

Note modifica

  1. ^ Joseph Bak, Complex analysis, 2ª ed., Springer, 1997, pp. 130-156, ISBN 0-387-94756-6, OCLC 34356120. URL consultato il 16 febbraio 2019.
  2. ^ Krantz, Steven G. (Steven George), 1951-, Handbook of complex variables, Birkhäuser, 1999, ISBN 0-8176-4011-8, OCLC 40964730. URL consultato il 16 febbraio 2019.
  3. ^ (EN) Dragoslav S. Mitrinovic e J. D. Keckic, The Cauchy Method of Residues: Theory and Applications, ISBN 90-277-1623-4.
  4. ^ (EN) Dragoslav S. Mitrinovic e J. D. Keckic, The Cauchy Method of Residues: Theory and Applications, ISBN 90-277-1623-4.
  5. ^ a b c d e (EN) E. B. Saff e Arthur David Snider, Fundamentals of Complex Analysis with Applications to Engineering and Science, ISBN 0-13-907874-6.

Bibliografia modifica

Voci correlate modifica

Altri progetti modifica

Collegamenti esterni modifica

  Portale Matematica: accedi alle voci di Wikipedia che trattano di matematica