Calcolo di un integrale improprio con seno, coseno e radice

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)

Se hai acquistato uno o più Topic speciali, puoi pubblicarli qui cliccando su "Apri un Topic".

Il registro completo dei Topic risolti e in corso è disponibile sul proprio profilo.

Calcolo di un integrale improprio con seno, coseno e radice #98025

avt
math.h
Punto
Un particolare integrale improprio, con integranda fratta data da un rapporto con seno, coseno e radice, mi sta dando un po' di problemi, soprattutto per la trigonometria.

∫_(0)^((π)/(2))(cos(x))/(√(2sin(x)+cos^2(x)-1))dx

Vorrei postare il ragionamento che ho fatto: ho visto che in zero la funzione non c'è, ho utilizzato il criterio del confronto asintotico (per x → 0^+) sui coseni così da avere una funzione più semplice da studiare. Il problema è dopo, non so se le sostituzioni che si possono fare con gli integrali trigonometrici siano lecite insieme all'utilizzo delle formule parametriche.

Il problema è che appunto non so come andare avanti dopo aver applicato il criterio (sempre se è concettualmente giusto applicarlo)!

Grazie a chi mi aiuterà.
 
 

Re: Calcolo di un integrale improprio con seno, coseno e radice #98034

avt
Ifrit
Amministratore
Ciao Math.h,

il nostro intento consiste nello studiare il comportamento dell'integrale

∫_(0)^((π)/(2))(cos(x))/(√(2sin(x)+cos^2(x)-1))dx

e, nel caso in cui converga, calcolarne esplicitamente il valore.

Prima di tutto osserviamo che 0 è un punto singolare per la funzione integranda

f(x) = (cos(x))/(√(2sin(x)+cos^2(x)-1))

infatti il denominatore si annulla per x = 0, pertanto

∫_(0)^((π)/(2))(cos(x))/(√(2sin(x)+cos^2(x)-1))dx

è un integrale improprio di seconda specie.

Per poter studiarne il comportamento, possiamo avvalerci del metodo del confronto asintotico (vedi criteri di convergenza per gli integrali impropri di seconda specie): in buona sostanza determineremo una stima asintotica della funzione integranda nell'intorno destro di x_0 = 0.

Prima di buttarci a capofitto nei calcoli, conviene però invocare la relazione fondamentale della trigonometria la quale consente di esprimere la funzione integranda nella forma equivalente (e più comoda)

f(x) = (cos(x))/(√(2sin(x)-sin^2(x)))

Per x → 0^(+) sussistono le seguenti stime asintotiche:

- per la funzione coseno

cos(x) ~ _(x → 0^(+))1

- per il radicando

2sin(x)-sin^2(x) ~ _(x → 0^(+))2sin(x) ~ _(x → 0^(+))2x

Abbiamo trascurato il quadrato del seno perché è un infinitesimo di ordine superiore rispetto a 2sin(x), dopodiché abbiamo sfruttato la stima asintotica notevole del seno che scaturisce dal suo limite notevole.

In definitiva, siamo autorizzati a scrivere la stima

f(x) = (cos(x))/(√(2sin(x)-sin^2(x))) ~ _(x → 0^(+))(1)/(√(2x))

In forza del confronto asintotico, se converge

∫_(0)^((π)/(2))(1)/(√(2x))dx

convergerà anche l'integrale che stiamo studiando. Senza svolgere alcun calcolo, sappiamo che

∫_(0)^((π)/(2))(1)/(√(2x))dx

converge perché possiamo ricondurlo a un integrale improprio notevole del tipo

∫_(0)^(a > 0)(1)/(x^(α))dx con α < 1

che è notoriamente convergente. Nel nostro caso α = (1)/(2) < 1, dunque

∫_(0)^((π)/(2))(cos(x))/(√(2sin(x)+cos^2(x)-1))dx

converge.

Calcolo dell'integrale

Calcoliamo l'integrale improprio sfruttando la definizione stessa:

∫_(0)^((π)/(2))(cos(x))/(√(2sin(x)-sin^2(x)))dx = lim_(m → 0^(+))∫_(m)^((π)/(2))(cos(x))/(√(2sin(x)-sin^2(x)))dx =

Osserviamo che fissato 0 < m < (π)/(2)

∫_(m)^((π)/(2))(cos(x))/(√(2sin(x)-sin^2(x)))dx

è un integrale definito infatti la funzione non presenta punti singolari nell'intervallo [m,(π)/(2)] dunque siamo autorizzati a usare tutte le tecniche risolutive che vogliamo/conosciamo.

La tecnica migliore consiste nel procedere con il metodo di sostituzione (per approfondire: integrali per sostituzione). Poniamo

t = sin(x)

e calcoliamo il nuovo differenziale, derivando ciascun membro per la relativa variabile

dt = cos(x)dx

Come se non bastasse, dobbiamo trasformare anche gli estremi:

- a x_0 = m associamo t_0 = sin(m)

- a x_1 = (π)/(2) associamo t_1 = sin((π)/(2)) = 1

In definitiva l'integrale

∫_(m)^((π)/(2))(cos(x))/(√(2sin(x)-sin^2(x)))dx =

diventa

= ∫_(sin(m))^(1)(1)/(√(2t-t^2))dt = (•)

Per determinarne il valore al variare di m è sufficiente completare il quadrato all'interno della radice aggiungendo e sottraendo 1

2t-t^2 = (-1+2t-t^2)+1 = 1-(t^2-2t+1) = 1-(t-1)^2

e scrivere quindi

(•) = ∫_(sin(m))^(1)(1)/(√(1-(t-1)^2))dt = (• •)

La forma in cui esso si presenta ricalca fedelmente il modello

∫(h'(t))/(√(1-[h(t)]^2))dt = arcsin(h(t))+c

dove arcsin(h(t)) è la funzione arcoseno, pertanto

(• •) = [ arcsin(t-1)]_(sin(m))^(1) = arcsin(1-1)- arcsin(sin(m)-1) = arcsin(0)- arcsin(sin(m)-1) = - arcsin(sin(m)-1)

(Per approfondire: integrali fondamentali in forma generale)

Ora che disponiamo del valore dell'integrale al variare di m, possiamo calcolare il limite e ottenere il risultato

∫_(0)^((π)/(2))(cos(x))/(√(2sin(x)-sin^2(x)))dx = lim_(m → 0^(+))∫_(m)^((π)/(2))(cos(x))/(√(2sin(x)-sin^2(x)))dx = lim_(m → 0^(+))- arcsin(sin(m)-1) = - arcsin(-1) = -(-(π)/(2)) = (π)/(2)

Abbiamo finalmente concluso l'esercizio.
Ringraziano: CarFaby, math.h

Re: Calcolo di un integrale improprio con seno, coseno e radice #98036

avt
math.h
Punto
Ciao Ifrit. Ti ringrazio molto per la soluzione dell'esercizio!
Ho tuttavia un dubbio: dato che nell'intorno di 0 (dove ci sono problemi) la funzione stessa è positiva, potrei eventualmente utilizzare il teorema del confronto?
Cioè potrei eventualmente maggiorare la funzione trovandone una convergente che a sua volta (per le ipotesi del teorema sulla convergenza) mi garantisca la convergenza della funzione? Se sì, come posso fare?
Anche se è un metodo che porta allo stesso risultato, preferisco averci chiaro anche un modo alternativo per dimostrare la convergenza della funzione. Grazie mille!emt

Re: Calcolo di un integrale improprio con seno, coseno e radice #98039

avt
Ifrit
Amministratore
In effetti è possibile scrivere una funzione che maggiori l'integranda nell'intervallo (0,(π)/(2)] e il cui integrale risulti convergente.

Possiamo dimostrare infatti che

(cos(x))/(√(2sin(x)-sin^2(x))) ≤ (cos(x))/(√(sin(x))) ∀ x∈ (0,(π)/(2)]

Procediamo! Grazie alla proprietà dei radicali relativa al prodotto possiamo scrivere le seguenti relazioni

√(2sin(x)-sin^2(x)) = √(sin(x)(2-sin(x))) = √(sin(x))√(2-sin(x))

(Le uguaglianze sono lecite: stiamo giocando con funzioni positive)

Teniamole da parte e cerchiamo di vincolare il termine √(2-sin(x)).

Il seno è una funzione limitata da -1 e 1, infatti soddisfa il vincolo

-1 ≤ sin(x) ≤ 1 ∀ x∈ (0,(π)/(2)]

Cambiando di segno i tre membri e i versi delle disuguaglianze ricaviamo

-1 ≤ -sin(x) ≤ 1 ∀ x∈ (0,(π)/(2)]

Sommando 2 ai tre membri i versi delle disuguaglianze rimangono invariate

1 ≤ 2-sin(x) ≤ 3 ∀ x∈ (0,(π)/(2)]

Nel momento in cui applichiamo la radice quadrata ai tre membri, otteniamo inoltre

1 ≤ √(2-sin(x)) ≤ √(3)

(Nota: il verso non cambia perché la radice quadrata è una funzione strettamente crescente).

Quando moltiplichiamo i tre membri per la quantità positiva √(sin(x)) otteniamo la doppia disuguaglianza

√(sin(x)) ≤ √(sin(x))√(2-sin(x)) ≤ √(3)√(sin(x)) ∀ x∈(0,(π)/(2)]

che passata ai reciproci (e cambiando i versi) diventa

(1)/(√(3)√(sin(x))) ≤ (1)/(√(sin(x))√(2-sin(x))) ≤ (1)/(√(sin(x))) ∀ x∈(0,(π)/(2)]

Infine, moltiplicando i tre membri per la funzione (positiva nell'intervallo di riferimento) cos(x) ricaviamo

(cos(x))/(√(3)√(sin(x))) ≤ (cos(x))/(√(sin(x))√(2-sin(x))) ≤ (cos(x))/(√(sin(x))) (disuguaglianza utile) ∀ x∈(0,(π)/(2)]

Abbiamo dimostrato quindi che la funzione integranda è maggiorata dalla funzione

h(x) = (cos(x))/(√(sin(x)))

il cui integrale associato diventa

∫_(0)^((π)/(2))(cos(x))/(√(sin(x)))dx

Il suo comportamento si deduce dal calcolo esplicito - in sostanza bisogna calcolare l'integrale improprio con la definizione.

∫_(0)^((π)/(2))(cos(x))/(√(sin(x)))dx = lim_(m → 0^(+))∫_(m)^((π)/(2))(cos(x))/(√(sin(x)))dx = lim_(m → 0^(+))[2√(sin(x))]_(m)^((π)/(2)) = lim_(m → 0^(+))(2-2√(sin(m))) = 2

In definitiva l'integrale della funzione maggiorante converge.

Nota: l'integrale

∫(cos(x))/(√(sin(x)))dx

si riconduce all'integrale fondamentale in forma generale

∫(f(x))^(α)f'(x)dx = ((f(x))^(α+1))/(α+1)+c con α ne-1

infatti, in virtù della definizione di potenza con esponente fratto:

∫(cos(x))/(√(sin(x)))dx = ∫cos(x)·(sin(x))^(-(1)/(2))dx

Come puoi notare, non è affatto immediato determinare una funzione maggiorante con integrale associato convergente: bisogna acquisire molta malizia matematica e occhio clinico.
Ringraziano: CarFaby, math.h

Re: Calcolo di un integrale improprio con seno, coseno e radice #98040

avt
math.h
Punto
Grazie mille Ifrit! Quello che infatti voglio ottenere è proprio un occhio ''matematico'', in questo modo posso giocare con le varie definizioni.
Chiaramente in sede d'esame sarebbe meglio utilizzare un metodo più veloce.emt
Ti ringrazio ancora, buon proseguimento emt
Ringraziano: Ifrit

Re: Calcolo di un integrale improprio con seno, coseno e radice #98041

avt
math.h
Punto
Scusami Ifrit, riguardando bene il post mi sono ricordato di un'altra domanda da fare riguardante i criteri di convergenza (sempre se posso ed è consentito emt ).
Eventualmente, come mi dovrei comporare per discutere la convergenza in generale nel caso di funzioni trigonometriche e un intevrallo di integrazione a +infinito?
Chiaramente una funzione trigonometrica come il seno o coseno è oscillante a +infinito tra +1 e -1, quali supposizioni posso fare riguardante questo particolare caso?
Grazie mille e scusami ancora per l'ulteriore domanda emt

Re: Calcolo di un integrale improprio con seno, coseno e radice #98048

avt
Ifrit
Amministratore
In realtà la domanda che poni è off-topic, oltre a essere troppo generica per fornire una risposta adeguata in un topic one-shot. emt

Re: Calcolo di un integrale improprio con seno, coseno e radice #98049

avt
math.h
Punto
Ho capito. Eventualmente dove potrei domandare questo fatto? Effettivamente la mia domanda è troppo generica, avevo comunque visto che si può applicare l'assoluta integrabilità. Grazie mille Ifrit in ogni caso

Re: Calcolo di un integrale improprio con seno, coseno e radice #98050

avt
Ifrit
Amministratore
Attenzione emt

Non ti stavo consigliando di aprire un altro topic: la tua domanda è comunque troppo generica. Tra l'altro, forniremmo esclusivamente dei consigli e non una strategia generale che valga per ogni singolo caso.

Bene o male, sì il criterio di convergenza assoluta, in combo con il criterio del confronto/confronto asintotico, consentono di risolvere buona parte degli esercizi dati a un corso di Analisi Matematica standard.
  • Pagina:
  • 1
Os