Serie con logaritmo

[_ester_]

Buongiorno, data questa serie:
$sum_2^(+oo)log( (n+3)/(n-1) )$
non so come dimostrarne la divergenza. Ho provato il criterio della radice e di Cauchy ma non portano a niente. Avevo pensato di confrontarla ma non so con cosa... Grazie in anticipo

[Mephlip]

Prova a scrivere $\frac{n+3}{n-1}=\frac{n-1+4}{n-1}=\frac{n-1}{n-1}+\frac{4}{n-1}=1+\frac{4}{n-1}$ e ad usare lo sviluppo di Taylor di $\ln(1+t)$.

[Bokonon]

@Mephlip Sarebbe meglio se prima effettuasse la sostuituzione $k=n-1$ IMHO.

[_ester_]

Non sapevo si potesse utilizzare lo sviluppo di Taylor per la convergenza delle serie. Intanto, si può usare anche per le successioni e non solo per le funzioni?
E in secondo luogo, devo sostituire il termine generale della mia serie con la sua approssimazione e poi studiare il carattere della nuova serie?

[pilloeffe]

Ciao _ester_,

Farei semplicemente uso del suggerimento di Mephlip e poi applicherei il criterio del confronto asintotico:

$ \sum_{n = 2}^{+\infty} log((n+3)/(n-1)) = \sum_{n = 2}^{+\infty} log(1 + 4/(n-1)) $ \( \displaystyle \sim \) $ \sum_{n = 2}^{+\infty} 4/(n-1) = 4 \sum_{k = 1}^{+\infty} 1/k $

ove naturalmente $k := n - 1 $ (come ha suggerito Bokonon, anche se lui suggeriva di farlo prima, ma si può fare anche dopo... ). L'ultima serie scritta non è altro che la serie armonica, notoriamente divergente.

[_ester_]

@pilloeffe, grazie mille
Ma mi viene il dubbio a questo punto, come mai è possibile utilizzare lo sviluppo di Taylor nelle successioni se queste non sono derivabili?

[pilloeffe]

@pilloeffe, grazie mille

Prego!

Ma mi viene il dubbio a questo punto, come mai è possibile utilizzare lo sviluppo di Taylor nelle successioni se queste non sono derivabili?

Beh, facendo uso del suggerimento che ti ha già dato Mephlip, se poni $t := 4/(n - 1) > 0 $ puoi tranquillamente trovare lo sviluppo in serie di $ln(1 + t) $ purché sia $t <= 1 \implies n >= 5 $
Questa tecnica è stata usata anche recentemente qui.

[_ester_]

Bene, ho capito un po' di più in che senso usare Taylor in queste situazioni, ma:

1)

purché sia $t <= 1 \implies n >= 5 $

Qui intendevi $t>1$? Altrimenti non ho capito perché

2) Mi rimane il dubbio sul fatto che le successioni, essendo costituite da punti isolati (o no?), non sono derivabili, quindi come posso approssimarle con lo sviluppo di Taylor se questo si applica a funzioni infinitamente derivabili?

[Bokonon]

@_ester_
Proviamo a riassumere la logica di ciò che stiamo facendo.
Dal criterio per confronto date due serie $a=sum_(n=1)^(oo) a_n$ e $b=sum_(n=1)^(oo) b_n$, di cui sappiamo che b diverge, se $a_n>=b_n$ significa che sta sempre sopra e quindi diverge anch'essa.
Nota bene che non è necessario dimostrare che $a_n>=b_n$ per ogni n, è sufficiente mostrare che accada da un certo punto in poi.
Prendiamo la serie armonica $b=sum_(k=1)^(oo) 1/n=M_(alpha)+sum_(k=alpha)^(oo) 1/n=M_(alpha)+oo$
Tradotto, possiamo effettuare la somma dei primi $alpha$ termini e ottenere un numero $M_(alpha)$ ma la parte rimanente della serie diverge comunque.

Consideriamo adesso la serie $a=sum_(n=1)^(oo) ln(1+1/(k/4))$ che non è altro che la nostra serie in cui è stata effettuata la sostituzione $k=n-1$. Compariamola con la serie armonica e vediamo se è vero che $a_n>=b_n rArr ln(1+1/(k/4))>=1/k$ (*)

Ora, questo avviene sempre ma non è facile mostralo per induzione, perciò potremmo moltiplicare ambo i membri per $k/4$ e vedere cosa accade al crescere indefinito di $k$.
$ln[(1+1/(k/4))^(k/4)]>=1/4$ che per $k->oo$ diventa $ln(e)=1>=1/4$
Quindi possiamo affermare che da un certo $k=alpha$ in poi $a_n>=b_n$ quindi diverge.

Un'altra idea è considerare la funzione continua $f(k)$, quindi la nostra serie è composta da sottoinsieme di punti dell'immagine della funzione, ovvero i k naturali positivi.
Ergo se la relazione vale per tutti i reali, allora varrà anche per i naturali.
Tornando alla nostra (*) e applicando il confronto asintotico che hanno proposto nel thread, abbiamo la medesima conclusione.

[Mephlip]

@Bokonon: sì, in effetti io so già dove voglio arrivare e potrebbe essere forviante per chi ha meno esperienza!
Quindi _ester_, in futuro può essere utile sostituire immediatamente per visualizzare meglio la successione e ricondursi ad opportune successioni asintotiche a quella di partenza.