Limite....

geovito
E' corretto procedere così?
$lim_(x->0)(arctg^3[log(1+sqrt(e^(x)-1))-sin(sqrt(e^(x)-1))])/(sinx-tgx)$ forma indeterminata $0/0$
Uso solo limiti fondamentali, Hopital, ordine infinitesimi. Non devo usare Taylor (che non conosco!)

Al numeratore diviene
$[log(1+sqrt(e^(x)-1))-sin(sqrt(e^(x)-1)]^3$ (limite notevole)
Al denominatore
$sinx-x$ (limite notevole)

quindi $lim_(x->0)[log(1+sqrt(e^(x)-1))-sin(sqrt(e^(x)-1))]^(3)/(sinx-x)$
$lim_(x->0)[log(1+sqrt(x))-sinsqrt(x)]^(3)/(-x^(3)/6)$ sostituendo $sinx-x$ con l'ordine di infinitesimo.
$lim_(x->0)[log(1+sqrt(x))-sqrt(x)]^(3)/(-x^(3)/6)$
Se è corretto, come conviene procedere? Altrimenti dov'è l'errore?
Grazie

Risposte
Antimius
Puoi anche notare che [tex]$\log{(1+\sqrt{x})} \sim \sqrt{x}$[/tex], quindi [tex]$(\log{(1+\sqrt{x})}-\sin{\sqrt{x}})^3 \sim -(\sin{\sqrt{x}}-\sqrt{x})^3 \sim \frac{x^{\frac{9}{2}}}{6}$[/tex].
Ho letto un po' velocemente quel che hai fatto, ma mi sembra corretto. Ti viene [tex]$0$[/tex]?

Seneca1
"Antimius":
Puoi anche notare che [tex]$\log{(1+\sqrt{x})} \sim \sqrt{x}$[/tex], quindi [tex]$(\log{(1+\sqrt{x})}-\sin{\sqrt{x}})^3 \sim -(\sin{\sqrt{x}}-\sqrt{x})^3 \sim \frac{x^{\frac{9}{2}}}{6}$[/tex].
Ho letto un po' velocemente quel che hai fatto, ma mi sembra corretto. Ti viene [tex]$0$[/tex]?


Mi sembra che tu stia utilizzando un po' troppo sportivamente questi infinitesimi equivalenti.

Antimius
Effettivamente mi sono scordato un pezzo, ma non saprei come farlo cicciare fuori senza Taylor.
Penso che a quel punto allora (se è corretto ciò che è stato fatto prima) convenga risolvere direttamente il limite [tex]$\lim_{x \to 0} \bigg( \frac{\log(1+\sqrt{x})-\sqrt{x}}{x} \bigg) ^3$[/tex]. Basta risolvere la parte interna, non dovrebbe essere difficile, ad esempio, con De l'Hopital o con qualche limite notevole, ma ora sto troppo dormendo per pensare. XD

Seneca1
Il punto è che, quando ci sono di mezzo differenze e somme, bisognerebbe giustificare la liceità di tali passaggi.

L'unico passaggio che mi sembra evidente è $arctan^3 [ log( 1 + sqrt(e^x - 1)) - sin( sqrt( e^x - 1 ) ) ] sim [ log( 1 + sqrt(e^x - 1)) - sin( sqrt( e^x - 1 ) ) ]^3$

geovito
Il risultato è $1/4$

Per Seneca: perchè gli altri passaggi non sono leciti?

Antimius
"Seneca":
Il punto è che, quando ci sono di mezzo differenze e somme, bisognerebbe giustificare la liceità di tali passaggi.


Sì, lo so. Ma io avevo utilizzato quelle equivalenze, sfruttando il fatto che [tex]$\lim_{x\to0} \frac{\log(1+\sqrt{x})-\sqrt{x}}{\sqrt{x}}=0$[/tex], cioè [tex]$\log(1+\sqrt{x})=\sqrt{x}+o(\sqrt{x})$[/tex] (e analogamente per il seno). Soltanto che poi trascurando l'o-piccolo non mi ero reso conto che in realtà veniva un [tex]$o(x^{\frac{3}{2}})$[/tex], e avendo a denominatore [tex]$x^3[/tex], non potevo concludere molto.

In ogni caso [tex]$\sin x-\tan x= \tan x(\cos x -1) \sim -\frac{x^3}{2}$[/tex] e anche questo è corretto (a meno di errori di calcolo :-D)

Quindi, si può calcolare il limite [tex]$-2 \lim_{x \to0} \bigg(\frac{\log(1+\sqrt{e^x-1}) - \sin(\sqrt{e^x-1})}{x}\bigg)^3$[/tex], che, se esiste, è uguale al limite cercato.

@vitus: Come ti mostra la mia svista, bisogna andarci molto cauti a sostituire nei limiti. Quando tu sostituisci tra somme e differenze fai quello che ho spiegato su, quindi se ci sono infinitesimi di ordini diversi, potrebbero non quadrare le cose.
Se c'è un prodotto o una frazione invece utilizzi questo fatto:
Se [tex]$f(x) \sim m(x)$[/tex] e [tex]$g(x) \sim n(x)$[/tex] per [tex]$x\to x_0$[/tex] e se esiste il limite [tex]$\lim_{x\to x_0}\frac{m(x)}{n(x)}$[/tex], allora
[tex]$\lim_{x\to x_0}\frac{f(x)}{g(x)}=\lim_{x\to x_0}\frac{f(x)}{m(x)}\frac{n(x)}{(g(x)}\frac{m(x)}{n(x)}=\lim_{x\to x_0}\frac{m(x)}{n(x)}$[/tex].

Seneca1
"Antimius":

In ogni caso [tex]$\sin x-\tan x= \tan x(\cos x -1) \sim -\frac{x^3}{2}$[/tex] e anche questo è corretto (a meno di errori di calcolo :-D)

Quindi, si può calcolare il limite [tex]$-2 \lim_{x \to0} \bigg(\frac{\log(1+\sqrt{e^x-1}) - \sin(\sqrt{e^x-1})}{x}\bigg)^3$[/tex], che, se esiste, è uguale al limite cercato.


Siamo d'accordo. :-D

Per sbrogliare la situazione mi è venuta in mente questa sostituzione:

$sqrt( e^x - 1 ) = z$

$x = ln( 1 + z^2 )$.

Il limite quindi diventa una cosa banale del tipo:

$-2 [ \lim_{z \to 0} (log(1+ z) - sin(z))/ln( 1 + z^2) ]^3$

O, ancora meglio:

$-2 [ \lim_{z \to 0} (log(1+ z) - sin(z))/z^2 ]^3$

Seneca1
"vitus":
Il risultato è $1/4$

Per Seneca: perchè gli altri passaggi non sono leciti?


I passaggi sono leciti se li sai giustificare adeguatamente. Finché non esprimi una spiegazione ragionevole perché, sostituendo un infinitesimo equivalente in un limite, il risultato non dovrebbe cambiare, non posso non sollevare obiezioni.

Se la pensi in questi termini vedrai che, a meno di errori di calcolo e distrazioni, avrai un maggior successo nella risoluzione dei limiti più rognosi.

Seneca1
Il limite, così come l'ho svolto, viene effettivamente $1/4$. Il problema è che (è la prima volta che lo uso) Wolphram mi contraddice:

http://www.wolframalpha.com/input/?i=limit+%28ln%28+1+%2B+sqrt%28+exp%28x%29+-+1+%29+%29+-+sin%28sqrt%28+exp%28x%29+-+1+%29%29%29%2F%28sin%28x%29+-+tg%28x%29%29+as+x-%3E0%2B

Qualcuno mi spiega il perché?

salvozungri
"Seneca":
Il limite, così come l'ho svolto, viene effettivamente $1/4$. Il problema è che (è la prima volta che lo uso) Wolphram mi contraddice:

http://www.wolframalpha.com/input/?i=limit+%28ln%28+1+%2B+sqrt%28+exp%28x%29+-+1+%29+%29+-+sin%28sqrt%28+exp%28x%29+-+1+%29%29%29%2F%28sin%28x%29+-+tg%28x%29%29+as+x-%3E0%2B

Qualcuno mi spiega il perché?


Il numeratore andrebbe elevato a 3. :)


[Edit]: Mi sono dimenticato di quotare :lol:

kevinpirola
mmmm..


non hai messo l'arcotangente al numeratore?


http://www.wolframalpha.com/input/?i=li ... 9%29%29%29^3%2F%28sin%28x%29+-+tg%28x%29%29+as+x-%3E0%2B

ecco il link corretto. EDIT: il link non si evidenzia tutto da solo. se vuoi provarlo devi evidenziarlo tu e fare il copia incolla.

Ricordo che $tan^(-1)$ in questo caso è l'arcotangente e non la cotangent

Seneca1
No, no; non c'entra l'arcotangente. Il problema è che mi ero dimenticato di elevare il numeratore alla terza.

Grazie.

kevinpirola
se guardi il link che ti ho postato c'è tutto, sia arcTan che numeratore alla terza ;)

Seneca1
"kevinpirola":
se guardi il link che ti ho postato c'è tutto, sia arcTan che numeratore alla terza ;)


Sì, ho visto. Ma l'arcotangente non era il problema. In questo caso si può approssimare all'argomento, quindi:

$arctan^3(f(x)) sim [ f(x) ]^3

kevinpirola
si, ovvio :) avevo dato per scontato che dimenticandosi acrtan automaticamente ci si dimenticava anche le sue parentesi e il relativo elevamento.

geovito
Grazie a tutti per le illuminanti delucidazioni, in particolar a Seneca.

Dunque, in somme/differenze, è possibile sostituire gli infinitesimi solo se sono dello stesso ordine?
Ho capito bene?

Sempre nella risoluzione dei limiti con somme (differenze) o prodotti (rapporti) di funzioni, è possibile sostituire alcune funzioni con gli infinitesimi/infiniti e applicare ad altre i limiti fondamentali, a seconda dei casi e della convenienza, oppure si deve o solo ricorrere ai limiti fondamentali o agli infinitesimi/infiniti?

Peto venia per la banalità delle domande.

Seneca1
"vitus":
Grazie a tutti per le illuminanti delucidazioni, in particolar a Seneca.

Dunque, in somme/differenze, è possibile sostituire gli infinitesimi solo se sono dello stesso ordine?
Ho capito bene?


Siano $f, g, D$ infinitesimi per $x -> x_0$.

$lim_(x -> x_0 ) ( f(x) - g(x) )/( D(x) )$

Supponiamo che $f(x) sim bar (f) (x)$ e che $g(x) sim bar (g) (x)$

Ci chiediamo se $lim_(x -> x_0 ) ( f(x) - g(x) )/( D(x) ) = lim_(x -> x_0 ) ( bar (f) (x) - bar (g) (x) )/( D(x) )$ .

$f(x) sim bar (f) (x) hArr lim_(x -> x_0) (f(x))/(bar(f) (x)) = 1$ (per def. di infinitesimo equivalente)

$lim_(x -> x_0 ) ( f(x) - g(x) )/( D(x) ) = lim_(x -> x_0 ) ( (f(x))/(bar(f)(x)) * bar(f)(x) - (g(x))/(bar(g)(x)) * bar(g)(x))/( D(x) )$

E da questa non puoi concludere in generale che $ lim_(x -> x_0 ) ( bar (f) (x) - bar (g) (x) )/( D(x) )$ (proprio perché non puoi mandare al limite solo alcuni pezzi della funzione).

________

Invece, se tu dovessi calcolare solamente, nelle stesse ipotesi di prima, $lim_(x -> x_0) (f(x))/(D(x))$, potresti scrivere:

$lim_(x -> x_0) (f(x))/(D(x)) = lim_(x -> x_0) (f(x))/(bar(f) (x)) * (bar(f) (x))/(D(x))$

Poiché $f(x) sim bar (f) (x)$ , avresti che $(f(x))/(bar(f) (x)) -> 1$ e per i teoremi sui limiti concluderesti che :

$lim_(x -> x_0) (f(x))/(bar(f) (x)) * (bar(f) (x))/(D(x)) = lim_(x -> x_0) (bar(f) (x))/(D(x))$

Ho scritto velocemente, spero si capisca qualcosa...

Antimius
Omg, mi sono distratto per qualche oretta e avete riempito il topic :-D
Comunque, per prodotti e frazioni va bene la regola che ti ho scritto prima. Per quanto riguarda somme e differenze, devi stare attento. Io solitamente utilizzo gli o-piccoli per non confondermi (infatti prima non li ho usati e ho sbagliato :-D)
Quindi ad esempio potresti aver anche scritto [tex]$\sin x-\tan x=o(x)$[/tex], ma poi avresti dovuto vedere se ti sarebbe stato utile, perché se al numeratore avessi avuto ad esempio [tex]$x^2$[/tex] non avresti potuto concludere nulla.

Comunque, può aiutarti anche il seguente fatto notevole (per ordini di infinitesimo diverso).
Sia [tex]$f(x)=o(m(x))$[/tex], [tex]$g(x)=o(n(x))$[/tex]. Se esiste il limite [tex]$\lim_{x \to x_0} \frac{m(x)}{n(x)}$[/tex], allora:
[tex]$\lim_{x \to x_0} \frac{m(x)+f(x)}{n(x)+g(x)}=\lim_{x \to x_0} \frac{m(x)(1+\frac{f(x)}{m(x)})}{n(x)(1+\frac{g(x)}{n(x)})}=\lim_{x \to x_0} \frac{m(x)}{n(x)}$[/tex]
(Mi sembra si chiami principio di sostituzione degli infinitesimi)

geovito
$lim_(x -> x_0 ) ( f(x) - g(x) )/( D(x) ) = lim_(x -> x_0 ) ( (f(x))/(bar(f)(x)) * bar(f)(x) - (g(x))/(bar(g)(x)) * bar(g)(x))/( D(x) )$

E da questa non puoi concludere in generale che $ lim_(x -> x_0 ) ( bar (f) (x) - bar (g) (x) )/( D(x) )$ (proprio perché non puoi mandare al limite solo alcuni pezzi della funzione).

I "pezzi" sarebbero il numeratore?

Seneca1
"vitus":
$lim_(x -> x_0 ) ( f(x) - g(x) )/( D(x) ) = lim_(x -> x_0 ) ( (f(x))/(bar(f)(x)) * bar(f)(x) - (g(x))/(bar(g)(x)) * bar(g)(x))/( D(x) )$

E da questa non puoi concludere in generale che $ lim_(x -> x_0 ) ( bar (f) (x) - bar (g) (x) )/( D(x) )$ (proprio perché non puoi mandare al limite solo alcuni pezzi della funzione).

I "pezzi" sarebbero il numeratore?


I pezzi sarebbero $(f(x))/(bar(f)(x)) -> 1$ e $(g(x))/(bar(g)(x)) -> 1$

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