Funzioni continue, limiti

Seneca1
Salve.

Sia $f : [0, +oo[ -> RR$ una funzione continua.
Si supponga di avere $| f(x) - sin(x) | <= 1/x$ per $x in [1, +oo[$.

Devo dimostrare che non esiste il limite per $x -> +oo$ di $f(x)$.

Dalla disuguaglianza ho:

$| [f(x) - sin(x)] + 0 | <= 1/x < epsilon$

Da un certo $x$ in poi, $1/x$ è più piccolo di qualsiasi $epsilon$ positivo; che è tanto come dire, credo, che $lim_(x -> +oo) f(x) - sin(x) = 0$

Intuitivamente, se aggiungo $sin(x)$ alla funzione $f(x) - sin(x)$ (che è convergente per $x -> +oo$), otterrei una funzione che non converge più, ma che in un intorno di infinito di comporta come $sin(x)$.

Riscrivo la disuguaglianza:

$sin(x) - 1/x <= f(x) <= sin(x) + 1/x$

Come faccio a concludere in maniera formale che non esiste $lim_(x -> +oo) f(x)$ ?

Nota: $f$ è limitata (già dimostrato). In questo modo basta concludere che $f$ non ha limite finito per provare la non esistenza del limite.

Risposte
dissonance
Troppo complicato, Seneca. Per mostrare che un limite non esiste c'è un sistema così comodo... Prendere due successioni infinite e mostrare che $f$ le applica in due successioni convergenti a due limiti diversi.

Seneca1
"dissonance":
Troppo complicato, Seneca. Per mostrare che un limite non esiste c'è un sistema così comodo... Prendere due successioni infinite e mostrare che $f$ le applica in due successioni convergenti a due limiti diversi.


Grazie Dissonance. Come faccio se non ho la $f$?

dissonance
Non hai l'espressione esplicita della $f$ però sai che, per $x$ grandi, essa è praticamente indistinguibile da $sin$. Direi che basta, no?

Seneca1
Sì, mi è naturale come ragionamento. Ma...

"dissonance":
per $x$ grandi, essa è praticamente indistinguibile da $sin$


Come si può formalizzare questa proprietà?

Raptorista1
"Seneca":
Come si può formalizzare questa proprietà?

Prova a pensare ai concetti di limite e di asintotico.
Ad esempio, [tex]\displaystyle \lim_{x \to +\infty} \frac{2x+1}{x} = 2[/tex] ci dice, qualitativamente, che "per [tex]x[/tex] sufficientemente grande" i grafici di [tex]y = \frac{2x+1}{x}[/tex] e [tex]y = 2[/tex] sono indistinguibili. Giusto?

dissonance
Ma è ancora più facile se pensi alle successioni. Prendi due successioni numeriche $a_n, b_n$ tali che $|a_n-b_n|\to 0$ quando $n \to \infty$: ovvero, con il linguaggio di prima, per $n$ grande le due successioni sono "praticamente indistinguibili". In particolare, se $a_n \to a$ allora anche $b_n \to a$ (esercizio).

Ora dimostra che non esiste il limite di $sin(x)$ per $x \to +\infty$. Di questa funzione conosci l'espressione esplicita e quindi questa dimostrazione la sai fare in modo diretto, usando due successioni infinite opportunamente scelte... Resta solo da trasportare questo risultato alla tua $f(x)$, usando l'osservazione del capoverso precedente.

dissonance
@Seneca: Se stai incontrando difficoltà ti dò un suggerimento: il risultato è vero nella sola ipotesi che

[tex]$\lim_{x \to +\infty} \lvert f(x) - \sin(x) \rvert = 0.[/tex]

Non serve neanche che [tex]f[/tex] sia continua.

Seneca1
La motivazione sarebbe la seguente?

Abbiamo $lim_(x -> +oo) 1/x = 0$. E' noto cioè che comunque si fissi $epsilon > 0$ "piccolo", in un certo intorno di $+oo$ si ha che $|1/x| < epsilon$.

Poiché in un intorno di infinito abbiamo $|f(x) - sin(x)|<= 1/x$ esisterà un intorno di $+oo$ in cui anche $|f(x) - sin(x)|< epsilon$: cioè $lim_(x -> +oo) f(x) - sin(x) = 0$ .

Avevo pensato anche io che la continuità fosse una ipotesi da utilizzare nei "punti" seguenti dell'esercizio. Grazie Dissonance!

dissonance
Si, ok. Fai prima per convergenza obbligata: essendo $0 \le | f(x)-sin(x)|\le 1/x$, al limite per $x \to +\infty$ si ha

$0\le lim_{x \to \infty} | f(x)-sin(x) | \le 0$,

cioè $ lim_{x \to \infty} | f(x)-sin(x) | = 0$. Ma è chiaro come usare questa ipotesi? Io avevo pensato di fare così: prese le successioni $n\pi, \pi/2+2n\pi$, risulta che $sin(n\pi)=0, sin(pi/2 +2n\pi)=1$ per ogni $n$. In particolare $f(n\pi)\to 0, f(pi/2+2n\pi)\to 1$ e questo esclude che possa esistere il limite per $x \to +\infty$ di $f(x)$.

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