Limite senza derivate & co.

Messaggioda j18eos » 21/02/2017, 11:15

Buongiorno a tutti\e\*!

Purtroppo 'stamattina mi sono svegliato e non mi ricordo più:
  • delle derivate;
  • degli sviluppi in serie di potenze di Taylor & MacLaurin;
  • e pure degli integrali.

Come posso calcolare il seguente limite \(\displaystyle\lim_{x\to0^{+}}x\ln x\)?
Ipocrisìa e omofobìa,
fuori da casa mia!

Semplicemente Armando. ;)
Avatar utente
j18eos
Moderatore
Moderatore
 
Messaggio: 5844 di 13399
Iscritto il: 12/06/2010, 15:27
Località: Napoli, Trieste, ed ogni tanto a Roma ^_^

Re: Limite senza derivate & co.

Messaggioda anto_zoolander » 21/02/2017, 23:52

La butto lì.

Testo nascosto, fai click qui per vederlo
Noto che $0<xlnx<x forall0<xleqe$

Definisco $f,g:(0,e]->RR$
Con $f(x)=xlnx,g(x)=x$

Ora poiché $0<xlnxleqx,forallx in(0,e]$ si conclude per i carabinieri

Poiché $forallepsilon>0existsdelta>0:0<xlnx<epsilon, forallx inB_o(0,delta[cap(0,e]$


Spero di non aver detto fesserie.
Error 404
Avatar utente
anto_zoolander
Moderatore
Moderatore
 
Messaggio: 1017 di 9002
Iscritto il: 06/10/2014, 15:07
Località: Palermo

Messaggioda j18eos » 22/02/2017, 00:47

Testo nascosto, fai click qui per vederlo
Io ricordo che \(\displaystyle\lim_{x\to0^{+}}\ln x=-\infty\), quindi non può essere \(\displaystyle0<x\ln x\) in un intorno destro dello \(\displaystyle0\)!
Ipocrisìa e omofobìa,
fuori da casa mia!

Semplicemente Armando. ;)
Avatar utente
j18eos
Moderatore
Moderatore
 
Messaggio: 5846 di 13399
Iscritto il: 12/06/2010, 15:27
Località: Napoli, Trieste, ed ogni tanto a Roma ^_^

Re: Limite senza derivate & co.

Messaggioda axpgn » 22/02/2017, 02:09

Ritoccando il ragionamento di anto forse funziona ...

Testo nascosto, fai click qui per vederlo
$xlnx=(lnx)/(1/x)$


$ln(e^(-1))/(1/e^(-1))=(-1)/e^1$

$ln(e^(-2))/(1/e^(-2))=(-2)/e^2$

$ln(e^(-3))/(1/e^(-3))=(-3)/e^3$

$0<e^(-3)<e^(-2)<e^(-1)<1$

$0>(-3)/e^3>(-2)/e^2>(-1)/e^1> -1$
axpgn
Cannot live without
Cannot live without
 
Messaggio: 7370 di 40641
Iscritto il: 20/11/2013, 22:03

Re: n01

Messaggioda luca97xd » 22/02/2017, 23:02

Credo possa funzionare anche il procedere in questo modo.

-

Testo nascosto, fai click qui per vederlo
Sia \(\displaystyle f:\mathbb{R}^+\rightarrow\mathbb{R} \) la funzione definita da \(\displaystyle f(x)=x\log(x) \). Si ha \(\displaystyle \lim_{\xi\rightarrow0}f(\xi)=\underset{\xi\in]0,\frac{1}{e}[}{\lim_{\xi\rightarrow0}}f(\xi) \) in quanto \(\displaystyle 0 \) comunque aderente alla restrizione.

Per ogni \(\displaystyle \xi_1,\xi_2\in]0,\frac{1}{e}[\) con \(\displaystyle \xi_1<\xi_2 \) si ha \(\displaystyle f(\xi_1)=\xi_1\log(\xi_1)>\xi_2\log(\xi_2)=f(\xi_2) \), dunque \(\displaystyle f \) è decrescente in senso stretto. Inoltre, \(\displaystyle \sup img(f)=0 \) in quanto per ogni \(\displaystyle \xi\in]0,\frac{1}{e}[ \) si ha \(\displaystyle f(\xi)=\xi\log(\xi)<0 \).

Ora, si dimostra che data una generica \(\displaystyle f:dom(f)\rightarrow\overline{\mathbb{R}} \) una funzione decrescente con \(\displaystyle dom(f)\subseteq{\overline{\mathbb{R}}} \) e \(\displaystyle dom(f)\neq\emptyset \), allora risulta \(\displaystyle \inf dom(f)\notin dom(f)\Rightarrow\lim_{\xi\rightarrow\inf dom(f)}f(\xi)=\sup img(f) \).

Ne segue che \(\displaystyle \underset{\xi\in]0,\frac{1}{e}[}{\lim_{\xi\rightarrow0}}f(\xi)=\sup img(f)=0 \) e la tesi.
Ultima modifica di luca97xd il 23/02/2017, 21:38, modificato 1 volta in totale.
luca97xd
Starting Member
Starting Member
 
Messaggio: 16 di 40
Iscritto il: 02/01/2016, 00:08

Re: Limite senza derivate & co.

Messaggioda Erasmus_First » 23/02/2017, 13:00

anto_zoolander ha scritto:
Testo nascosto, fai click qui per vederlo
Noto che $0<xlnx<x forall0<xleqe$ [...]

Occhio anto_zoolander: $ln(x)$ è negativo per x positivo ma minore di 1.
Testo nascosto, fai click qui per vederlo
$x·ln(x)$ è lo stesso di $ln(x^x)$. Supponiamo $x = 1/n$ con n molto grande.
Al tendere di $n$ a $+∞$ $(1/n)^(1/n)$ tende a 1 (da sinistra) e quindi il suo logaritmo tende a 0 (dalla parte negativa).

Per esempio, per $x = 1/10^9$ si trova $ln(x) =ln(1/10^9) = -9·ln(10)$ = $-20,723 ...$ e quindi
$1/10^9 · ln(1/10^9) =1/10^9 · (-20,723 ...) = -0,000000020723 ...$

___
Immagine
Immagine
Avatar utente
Erasmus_First
Senior Member
Senior Member
 
Messaggio: 521 di 1805
Iscritto il: 11/12/2014, 11:41

Re: Limite senza derivate & co.

Messaggioda veciorik » 23/02/2017, 16:48

Testo nascosto, fai click qui per vederlo
PostScriptum: ho trasformato il logaritmo esprimendo $x$ in forma esponenziale.
Il modo più immediato è porre $ x = e^{-y} = 1/e^y $ che dà $ x ln x= - y/e^y $.
Per $ y \rightarrow \infty $, $ y/e^y$ ha un limite arcinoto di tipo $ \infty / \infty $ che vale zero.
Ma ho preferito operare con potenze intere di 10 per arrivare ad una successione di tipo $n/10^n$.


Pongo $ \quad x=q/10^n \quad $ con $ \quad n \quad $ naturale e $ \quad q \quad $ reale positivo

Calcolo $ \quad x \ln x \quad = \quad q/10^n (\ln q - n \ln(10)) \quad = \quad (q \ln q)/10^n - q \ln(10) n/10^n$

Per $ \quad n \rightarrow \infty \quad $ entrambi gli addendi tendono a zero, evidentemente, per qualsiasi $ \quad q \quad $ che si può scegliere a piacere nell'intervallo $ \quad 1\le q \lt 10 \quad $ senza perdere in generalità.
"Dietro ogni problema c'è un'opportunità" - "Nelle prove naturali non si deve ricercare l'esattezza geometrica" - "Stimo più il trovar un vero, benché di cosa leggiera, che 'l disputar lungamente delle massime questioni senza conseguir verità nissuna" (Galileo Galilei)
Avatar utente
veciorik
Senior Member
Senior Member
 
Messaggio: 171 di 1135
Iscritto il: 07/03/2014, 23:42
Località: stra(VE)

Messaggioda j18eos » 24/02/2017, 10:32

@luca97xd
Testo nascosto, fai click qui per vederlo
Di sicuro \(\displaystyle\sup_{\textstyle x\in\left]0,\frac{1}{e}\right[}f(x)\leq0\): perché è proprio \(\displaystyle0\)?!

@Erasmus_First Più che una dimostrazione mi sembra un'argomentazione...

@veciorik Dimostrazione spaventosamente semplice: sono sbalordito!
Ipocrisìa e omofobìa,
fuori da casa mia!

Semplicemente Armando. ;)
Avatar utente
j18eos
Moderatore
Moderatore
 
Messaggio: 5847 di 13399
Iscritto il: 12/06/2010, 15:27
Località: Napoli, Trieste, ed ogni tanto a Roma ^_^

Re: Limite senza derivate & co.

Messaggioda anto_zoolander » 08/06/2017, 21:54

Testo nascosto, fai click qui per vederlo
considero $a_n=n/e^n forallninNN$

Ora per il criterio del rapporto $lima_(n+1)/(a_n)=1/e<1$
Per tanto $a_n->0$

Quindi $forallepsilon>0existsn_0inNN:|a_n|<epsilon foralln>n_0$

In corrispondenza di $n_0$ esisterà un $x_0geqn_0$ tale che,

$forallepsilon>0existsx_0>0:|f(x)|<epsilon forallx>x_0$
Con $f(x)=x/e^x$

Se per assurdo così non fosse otterremmo una contraddizione ogni volta che $x=n>n_0$
Ovviamente il limite richiesto si ottiene con il cambiamento di variabile $y=e^x$

Spero di aver usato correttamente la contraddizione.
Error 404
Avatar utente
anto_zoolander
Moderatore
Moderatore
 
Messaggio: 1122 di 9002
Iscritto il: 06/10/2014, 15:07
Località: Palermo

Re: Limite senza derivate & co.

Messaggioda otta96 » 08/06/2017, 22:27

Sennò si può fare con un cambio di variabile $x=1/y$ e con le proprietà dei logaritmi il limite diventa: $\lim_{y \to +\infty} -lny/y$, questo limite te lo ricordi o stamattina te lo sei dimenticato insieme alle altre cose?
otta96
Cannot live without
Cannot live without
 
Messaggio: 102 di 5748
Iscritto il: 12/09/2015, 22:15

Prossimo

Torna a Scervelliamoci un po'

Chi c’è in linea

Visitano il forum: Nessuno e 1 ospite