Lunghezza di una curva

Rebdiluca
Ciao, l'esercizio mi chiede di determinare la lunghezza della curva:
$ { ( x(t)=e^t ),( y(t)=t ):} t\in [0,1] $
Allora ho pensato di ricondurmi ad una curva grafico di equazioni:
$ { ( x(t)=t ),( y(t)=logt ):} t\in [1,e] $
Prima domanda: penso che calcolare la lunghezza dell'una o dell'altra sia indifferente, dico giusto? In particolare, avrei:
$ int_(1)^(e) sqrt(1+1/t^2) dt $ , che integro per parti, ottenendo:
$ [tsqrt(1+1/t^2) + int_()^() 1/(tsqrt(t^2+1)) dt ] $.
Ora ho un dubbio: per risolvere il secondo integrale, va bene $ z=sqrt(1+t^2) $ come sostituzione? Grazie!

Risposte
anto_zoolander
Io da queste situazioni me ne esco spesso con la sostituzione $t=tanz$

Rebdiluca
Ciao, grazie per la risposta. Seguendo il tuo consiglio, ottengo:
$ int_()^() 1/(tsqrt(t^2+1)) dt = int_()^() sqrt(tg^2z+1)/(tgz) dz $
Arrivato qui, però, non saprei come proseguire. Integrare per parti mi sembra inutile...

anto_zoolander
"Robert96":
Ciao, grazie per la risposta. Seguendo il tuo consiglio, ottengo:
$ int_()^() 1/(tsqrt(t^2+1)) dt = int_()^() sqrt(tg^2z+1)/(tgz) dz $
Arrivato qui, però, non saprei come proseguire. Integrare per parti mi sembra inutile...


e sei ad un passo dalla fine :D

considera che la sostituzione $t=tanz$ la consideriamo con $zin]-pi/2,pi/2[-{0}$ così è invertibile ed inoltre il condominio è tutto $RR$, quindi $tinRR-{0}$

$sqrt(tan^2z+1)=sqrt(sec^2z)=|secz|$ ma la secante è strettamente positiva su $]-pi/2,pi/2[-{0}$

allora $|secz|=secz, forallzin]-pi/2,pi/2[$

$int(secz)/(tanz)dz => int 1/cosz*1/(sinz/cosz)dz => int1/sinzdz$

NB: ho tolto lo $0$ perché a priori la $t$ non doveva essere $0$, quindi anche questo fila :-D

Rebdiluca
Quindi, ricapitolando:
$ int_()^() 1/(t(t^2+1)^(1/2)) dt = int_()^() sqrt(tg^z+1)/(tgz) dz = int_()^() 1/sinz dx $
Per calcolare l'ultimo integrale ho moltiplicato e diviso per $ sinz $, ottenendo: $ int_()^() sinz/(1-cos^2z) dx $.
Sostituisco $ y=cosz $ e risolvo l'integrale: $ 1/2log|(cosz-1)/(1+cosz)| $. Allora tutto l'integrale, risolto, si può scrivere come:
$ tsqrt(1+1/t^2)+1/2log|(cosarctant-1)/(1+cosarctant)| $

E' svolto bene? Grazie mille per l'aiuto!

anto_zoolander
Yes :-D però potresti portarti un passo avanti.

$z=arctant <=> cosz=cos(arctant), foralltinRRsetminus{0}$

Quindi siamo ritornati nella nostra variabile di partenza.
Consideriamo adesso la funzione:

$cos(arctant)=y <=> t=tan(arccosy) <=> t=sqrt(1-y^2)/y <=> y=1/sqrt(t^2+1),tinRRsetminus{0} $

quindi alla fine ottieni qualcosa di più pulito:

$F(t)=1/2ln|(1-sqrt(1+t^2))/(1+sqrt(1+t^2))|+c, tinRRsetminus{0}$


Se noti lo $0$ che abbiamo tolto all'inizio, ce lo trasciniamo ancora. Infatti:

$F(0)=1/2ln|(1-1)/(1+1)|=[1/2ln|0/2|]$ e possiamo lasciarlo tolto.

Ovviamente ho tenuto solo conto dell'integrale in cui spero di averti aiutato :-D

Rebdiluca
"anto_zoolander":

$cos(arctant)=y <=> t=tan(arccosy) <=> t=sqrt(1-y^2)/y <=> y=1/sqrt(t^2+1),tinRRsetminus{0} $


Forse mi sono perso qualche formula trigonometrica per strada...mi spiegheresti come sei passato dalla seconda uguaglianza alla terza?

anto_zoolander
Certamente :-D

$y=cos(arctanx)$

Questa finzione è definita come $f:RR->(0,1]$ ti metto sotto spoiler il perché, nel caso ti interessi.



ora consideriamo $y=cos(arctanx)$ non vogliamo invertirla, ma solo ricavare qualcosa, quindi non c'è bisogno che la rendiamo biettiva, perchè di fatto non lo è(perché il coseno su $(-pi/2,pi/2)->(0,1]$ non è iniettivo).

$arccosy=arctanx$ e $tan(arccosy)=x$

ora scriviamo l'ultima cosa come:

$sin(arccosy)/cos(arccosy)=sqrt(1-(cos(arccosy))^2)/cos(arccosy)$

ora già digerire una composizione ok, ma pure altre mi sembra cattiveria scriverle.. :-D

$x=sqrt(1-y^2)/y$ ora cerchi di tornare alla tua $x$

$x^2*y^2=1-y^2$ ... $y^2(x^2+1)=1$

$y=pm1/sqrt(x^2+1)$

ma $yin(0,1]$ quindi positivo

$y=1/sqrt(1+x^2)$

In particolare

$1/sqrt(1+x^2)=cos(arctanx), forallx inRR, forally in(0,1]$


Infatti se scegliessimo ad esempio $x=1$

$arctan(1)=pi/4$ ... $cos(pi/4)=sqrt2/2$

$1/sqrt(1+1^2)=1/sqrt2$ ovvero $sqrt2/2$ :-D

Rebdiluca
Grazie per la spiegazione molto chiara (e anche per l'approfondimento sulla composizione). Davvero una bella fatica quest'integrale!

anto_zoolander
Di nulla :D

Alla fine basta capirlo la prima volta, poi viene da se.

Palliit
Giusto per proporre un'alternativa, messa la relazione nella forma: $x=e^y$ hai:

$L=int_0^1sqrt(1+e^(2y))dy$ ,


che con la sostituzione: $1+e^(2y)=z^2$ diventa:

$L=int_sqrt(2)^sqrt(1+e^2)z^2/(z^2-1)dz=int_sqrt(2)^sqrt(1+e^2)(1+1/(z^2-1))dz=(z+1/2ln|(z-1)/(z+1)|)|_sqrt(2)^sqrt(1+e^2)$,


avendo calcolato il secondo termine dell'ultimo integrale mediante scomposizione in fratti semplici. Salvo miei errori.

Rispondi
Per rispondere a questa discussione devi prima effettuare il login.