Integrale da calcolare nel campo complesso

Messaggioda Giomo97 » 24/01/2020, 12:14

Buongiorno, sto preparando l'esame di Metodi Matematici per l'Ingegneria, e in questo momento sono fermo agli esercizi sul teorema dei residui.

Sto provando a calcolare, nel campo complesso, gli integrali impropri di funzioni reali.
Sto avendo problemi con il seguente esercizio:

$ int_(-infty)^(+infty) ((x^2 +1) sin^2(pix))/ ((x^2+x+1)(x-1)^2) dx $


Per prima cosa ho trovato una f(z):
Considero che $ e^(2pixj) = cos(2pix) + jsen(2pix) $ . Esprimendo $ cos(2pix) = cos(pix + pix) $ , applico le formule di duplicazione del coseno, trovando:
$ e^(2pix) = cos^2(pix) - sen^2(pix) + 2jsen(pix)cos(pix) $ .
Quindi $ sen^2(pix) = (1- Re(e^(2pix)))/2 $ .
Fatta questa osservazione, esprimo $ f(z) = g(z) - h(z) $ , in cui $ g(z)= (z^2+1)/(2(z^2+z^1)(z-1)^2) $ e $ h(z) = ((z^2+1) e^(2pizj))/(2(z^2+z+1)(z-1)^2) $ , considerando di $ h(z) $ solo la parte Reale.

Premettendo che non sono sicuro del passaggio di scrivere f(z) come somma di due funzioni, ho pensato di calcolare l'integrale della funzione come la somma dei due integrali. È giusto?

Ho provato , utilizzando i lemmi di Jordan, a calcolare
$ int_(partial T) g(z) dz = int_(-R)^(1-epsilon ) g(x) dx - int_(Gamma epsilon ) g(z) dz + int_(1+epsilon)^(R) g(x) dx + int_(GammaR) g(z)dz $

A questo punto mi sono reso conto che la funzione g(z) possiede in 1 un polo doppio, quindi non posso applicare il lemma del piccolo cerchio, giusto?

Non sono andato oltre per via dei troppi dubbi/difficoltà che ho avuto.

Qualcuno potrebbe darmi delle dritte ed indicarmi, qualora fossero evidenti gravi mancanze, parti teoriche da ripassare?
Giomo97
Starting Member
Starting Member
 
Messaggio: 1 di 24
Iscritto il: 24/01/2020, 11:19

Messaggioda anonymous_0b37e9 » 26/01/2020, 07:56

Giomo97 ha scritto:A questo punto mi sono reso conto che la funzione g(z) possiede in 1 un polo doppio ...

Si tratta di una singolarità eliminabile:

$lim_(x rarr 1)((x^2+1)sin^2(\pix))/((x^2+x+1)(x-1)^2)=$

$=2/3*lim_(x rarr 1)sin^2(\pix)/(x-1)^2=$

$=2/3*lim_(x rarr 1)sin^2(\pi(x-1+1))/(x-1)^2=$

$=2/3*lim_(x rarr 1)sin^2(\pi(x-1)+\pi)/(x-1)^2=$

$=2/3*lim_(x rarr 1)sin^2(\pi(x-1))/(x-1)^2=$

$=2/3\pi^2*lim_(x rarr 1)sin(\pi(x-1))/(\pi(x-1))*sin(\pi(x-1))/(\pi(x-1))=$

$=2/3\pi^2$
anonymous_0b37e9
Cannot live without
Cannot live without
 
Messaggio: 1899 di 5111
Iscritto il: 17/07/2016, 11:55

Re: Integrale da calcolare nel campo complesso

Messaggioda Giomo97 » 26/01/2020, 13:44

Ho il problema sulla funzione g(z).
Su h(z) sono valide le osservazioni che hai fatto, però non hai risolto i miei dubbi.
Giomo97
Starting Member
Starting Member
 
Messaggio: 2 di 24
Iscritto il: 24/01/2020, 11:19

Messaggioda anonymous_0b37e9 » 27/01/2020, 10:44

Purtroppo, ho sbadatamente cancellato questo messaggio.

Moderatore: Raptorista

Aggiungo il testo cancellato per sbaglio.

Confesso di aver preso l'integrale sottogamba. Ad ogni modo, poiché la funzione ausiliaria sottostante:

$f(z)=((z^2+1)(1-e^(2\piiz)))/(2(z^2+z+1)(z-1)^2)$

ha un polo del primo ordine sull'asse reale:

$z=1$

di residuo:

$-i2/3\pi$

e un polo del primo ordine nel semipiano superiore:

$z=-1/2+isqrt3/2$

di residuo:

$-isqrt3/18(1+e^(-\pisqrt3))$

si ha:

$\int_{-oo}^{+oo}((x^2+1)(1-e^(2\piix)))/(2(x^2+x+1)(x-1)^2)dx=$

$=\pii(-i2/3\pi)+2\pii[-isqrt3/18(1+e^(-\pisqrt3))]=$

$=2/3\pi^2+sqrt3/9\pi(1+e^(-\pisqrt3))$

Quindi:

$\int_{-oo}^{+oo}((x^2+1)sin^2\pix)/((x^2+x+1)(x-1)^2)dx=$

$=Re[\int_{-oo}^{+oo}((x^2+1)(1-e^(2\piix)))/(2(x^2+x+1)(x-1)^2)dx]=$

$=2/3\pi^2+sqrt3/9\pi(1+e^(-\pisqrt3))$

Wolfram
Immagine
Ultima modifica di anonymous_0b37e9 il 29/01/2020, 14:12, modificato 3 volte in totale.
anonymous_0b37e9
Cannot live without
Cannot live without
 
Messaggio: 1908 di 5111
Iscritto il: 17/07/2016, 11:55

Re: Integrale da calcolare nel campo complesso

Messaggioda Giomo97 » 27/01/2020, 15:47

Ti ringrazio molto per la soluzione postata.
Mi aiuteresti a capire alcune cose?

anonymous_0b37e9 ha scritto: Ad ogni modo, poiché la funzione ausiliaria sottostante:

f(z)=(z2+1)(1−e2πiz)2(z2+z+1)(z−1)2


Vorrei capire come arrivare a calcolarlo.
Scrivere:
Giomo97 ha scritto:esprimo f(z)=g(z)−h(z) , in cui g(z)=z2+12(z2+z1)(z−1)2 e h(z)=(z2+1)e2πzj2(z2+z+1)(z−1)2 , considerando di h(z) solo la parte Reale.


E' un'osservazione esatta? O rischio, come mi è capitato, di complicare l'esercizio?

Volendo essere pragmatici, per la risoluzione di questo tipo di integrali devo trovare una funzione ausiliaria $ f(z) = g(z) e^(jpialpha) $ e lavorare in un opportuno insieme di integrazione I da scegliere in base al valore di $ alpha $ .

In particolare se $ alpha >= 0 $ scelgo $ I = { z in C : Imm(z) >=0 , epsilon < |z| < R} $ ;
Se $ alpha < 0 $ scelgo $ I = { z in C : Imm(z)<=0 , epsilon < |z| < R} $

Giusto??
Giomo97
Starting Member
Starting Member
 
Messaggio: 3 di 24
Iscritto il: 24/01/2020, 11:19

Messaggioda anonymous_0b37e9 » 29/01/2020, 14:13

Giomo97 ha scritto:... considerando di h(z) solo la parte reale.

Ho l'impressione che tu faccia un po' di confusione con la parte reale. Per esempio:

$f(x)=((x^2+1)sin^2\pix)/((x^2+x+1)(x-1)^2)$

è la parte reale della seguente funzione complessa di variabile reale:

$((x^2+1)(1-e^(2\piix)))/(2(x^2+x+1)(x-1)^2)$

e non la parte reale della seguente funzione complessa di variabile complessa:

$((z^2+1)(1-e^(2\piiz)))/(2(z^2+z+1)(z-1)^2)$


P.S.
Purtroppo, ho sbadatamente cancellato il messaggio precedente. Se dovessi averne ancora bisogno, fammi sapere.
anonymous_0b37e9
Cannot live without
Cannot live without
 
Messaggio: 1910 di 5111
Iscritto il: 17/07/2016, 11:55

Re:

Messaggioda Raptorista » 31/01/2020, 10:32

anonymous_0b37e9 ha scritto:P.S.
Purtroppo, ho sbadatamente cancellato il messaggio precedente. Se dovessi averne ancora bisogno, fammi sapere.

L'ho recuperato.
Un matematico ha scritto:... come mia nonna che vuole da anni il sistema per vincere al lotto e crede che io, in quanto matematico, sia fallito perché non glielo trovo


Immagine
Avatar utente
Raptorista
Moderatore
Moderatore
 
Messaggio: 5388 di 9616
Iscritto il: 28/09/2008, 19:58

Messaggioda anonymous_0b37e9 » 31/01/2020, 12:08

Raptorista ha scritto:L'ho recuperato.

Grazie mille Raptorista. :-)
anonymous_0b37e9
Cannot live without
Cannot live without
 
Messaggio: 1917 di 5111
Iscritto il: 17/07/2016, 11:55


Torna a Analisi superiore

Chi c’è in linea

Visitano il forum: Nessuno e 1 ospite