Salta al contenuto
Note per Studenti Esercizio 156 · integrali impropri con potenze del logaritmo

Esercizio 156integrali impropri con potenze del logaritmo

In questa pagina 3

Testo (Lezione 44, esercizi 14 e 16 del foglio di ricapitolazione). 14. Si consideri ∫1+∞2+log⁡2xxa(log⁡4x+4log⁡2x+3) dx\displaystyle\int_1^{+\infty}\frac{2 + \log^2 x}{x^a(\log^4 x + 4\log^2 x + 3)}\,dx. (a) Per quali a∈Ra \in \mathbb{R} converge? (b) Calcolarlo per a=1a = 1. 16. Dire se converge ∫01/26−1/x−1+3xxlog⁡2x+xlog⁡(1+x) dx\displaystyle\int_0^{1/2}\frac{6^{-1/x} - 1 + 3^{\sqrt x}}{x\log^2 x + \sqrt x\log(1 + x)}\,dx.


In entrambi compaiono potenze del logaritmo: serve la famiglia di funzioni test 1xα∣log⁡x∣β\frac{1}{x^\alpha|\log x|^\beta} (punto (A') in Criteri di convergenza per gli integrali impropriPer f ≥ 0 l'integrale improprio esiste sempre (finito o +∞); valgono il confronto e il confronto asintotico, basta che le ipotesi valgano vicino all'estremo problematico. Funzioni test: 1/x^α converge a +∞ per α > 1 e vicino a 0 per α < 1; 1/(x^α log^β x) aggiunge il caso α = 1, β > 1. Se f → L ≠ 0 a +∞ l'integrale diverge. Criterio dell'integrale: per f decrescente, la serie di f(n) e l'integrale da 1 a +∞ hanno lo stesso carattere.Criteri di convergenza per gli integrali impropri →).

14.

(a) Convergenza

ff è positiva e continua per x≥1x \ge 1 (il denominatore è ≥3xa>0\ge 3x^a > 0). Il problema è +∞+\infty. Con log⁡x→+∞\log x \to +\infty, al numeratore domina log⁡2x\log^2 x e al denominatore log⁡4x\log^4 x: f(x)∼log⁡2xxalog⁡4x=1xalog⁡2xf(x) \sim \frac{\log^2 x}{x^a\log^4 x} = \frac{1}{x^a\log^2 x} Forma (A') con α=a\alpha = a, β=2\beta = 2: converge se a>1a > 1 (qualunque β\beta), oppure a=1a = 1 e β=2>1\beta = 2 > 1. Converge se e solo se a≥1a \ge 1.

(b) Calcolo per a=1a = 1

Passo 1: primitiva. Con y=log⁡xy = \log x, dy=dxxdy = \frac{dx}{x}: ∫2+log⁡2xx(log⁡4x+4log⁡2x+3) dx=∫2+y2y4+4y2+3 dy\int\frac{2 + \log^2 x}{x(\log^4 x + 4\log^2 x + 3)}\,dx = \int\frac{2 + y^2}{y^4 + 4y^2 + 3}\,dy Per scomporre, si osserva che compare solo y2y^2: con t=y2t = y^2 la frazione è 2+tt2+4t+3\frac{2 + t}{t^2 + 4t + 3}, e t2+4t+3=(t+1)(t+3)t^2 + 4t + 3 = (t + 1)(t + 3) (radici −1-1 e −3-3). Fratti semplici: 2+t(t+1)(t+3)=At+1+Bt+3⟹{A+B=13A+B=2⟹A=B=12\frac{2 + t}{(t + 1)(t + 3)} = \frac{A}{t + 1} + \frac{B}{t + 3} \quad \Longrightarrow \quad \begin{cases} A + B = 1 \\ 3A + B = 2 \end{cases} \quad \Longrightarrow \quad A = B = \frac12 Tornando a yy: 2+y2y4+4y2+3=12[1y2+1+1y2+3]\frac{2 + y^2}{y^4 + 4y^2 + 3} = \frac12\left[\frac{1}{y^2 + 1} + \frac{1}{y^2 + 3}\right] e con ∫dyy2+R2=1Rarctan⁡yR\int\frac{dy}{y^2 + R^2} = \frac1R\arctan\frac yR: ∫2+y2y4+4y2+3 dy=12[arctan⁡y+13arctan⁡y3]+k=12[arctan⁡(log⁡x)+13arctan⁡log⁡x3]+k\int\frac{2 + y^2}{y^4 + 4y^2 + 3}\,dy = \frac12\left[\arctan y + \frac{1}{\sqrt3}\arctan\frac{y}{\sqrt3}\right] + k = \frac12\left[\arctan(\log x) + \frac{1}{\sqrt3}\arctan\frac{\log x}{\sqrt3}\right] + k

Passo 2. In x=1x = 1, log⁡1=0\log 1 = 0 e la primitiva vale 00, quindi Ix=12[arctan⁡(log⁡x)+13arctan⁡log⁡x3]I_x = \frac12\left[\arctan(\log x) + \frac{1}{\sqrt3}\arctan\frac{\log x}{\sqrt3}\right]

Passo 3. Per x→+∞x \to +\infty entrambe le arcotangenti tendono a π2\frac\pi2: I=12[π2+13⋅π2]=π4(1+13)≈1,239I = \frac12\left[\frac\pi2 + \frac{1}{\sqrt3}\cdot\frac\pi2\right] = \frac\pi4\left(1 + \frac{1}{\sqrt3}\right) \approx 1{,}239

16.

Ipotesi

Su ]0,12]]0, \frac12]: il numeratore è positivo (6−1/x>06^{-1/x} > 0 e 3x≥13^{\sqrt x} \ge 1), il denominatore anche (xlog⁡2x>0x\log^2 x > 0, xlog⁡(1+x)>0\sqrt x\log(1 + x) > 0). ff è continua su ]0,12]]0, \frac12]; il problema è x→0+x \to 0^+.

Numeratore

  • 3x=exlog⁡33^{\sqrt x} = e^{\sqrt x\log 3}, e y=xlog⁡3→0y = \sqrt x\log 3 \to 0, quindi ey=1+y+o(y)e^y = 1 + y + o(y): 3x−1=log⁡3⋅x1/2+o(x1/2)3^{\sqrt x} - 1 = \log 3\cdot x^{1/2} + o(x^{1/2}).
  • 6−1/x=e−log⁡6x6^{-1/x} = e^{-\frac{\log 6}{x}}: per x→0+x \to 0^+ tende a 00 più in fretta di qualunque potenza di xx (con t=1x→+∞t = \frac1x \to +\infty, e−tlog⁡6t−α=tα6t→0\frac{e^{-t\log 6}}{t^{-\alpha}} = \frac{t^\alpha}{6^t} \to 0). In particolare 6−1/x=o(x1/2)6^{-1/x} = o(x^{1/2}).

Quindi NUM=log⁡3⋅x1/2+o(x1/2)∼log⁡3⋅x1/2\text{NUM} = \log 3\cdot x^{1/2} + o(x^{1/2}) \sim \log 3\cdot x^{1/2}.

Denominatore

log⁡(1+x)=x+o(x)\log(1 + x) = x + o(x), quindi xlog⁡(1+x)=x3/2+o(x3/2)\sqrt x\log(1 + x) = x^{3/2} + o(x^{3/2}). Il confronto con xlog⁡2xx\log^2 x: x3/2xlog⁡2x=x1/2log⁡2x→0+∞=0\frac{x^{3/2}}{x\log^2 x} = \frac{x^{1/2}}{\log^2 x} \to \frac{0}{+\infty} = 0 quindi x3/2=o(xlog⁡2x)x^{3/2} = o(x\log^2 x) e DEN∼xlog⁡2x\text{DEN} \sim x\log^2 x.

Da ricordare: per x→0+x \to 0^+, xβ=o(xlog⁡2x)x^\beta = o(x\log^2 x) se β>1\beta > 1: il logaritmo fa "esplodere" un po' il fattore xx, e qualunque potenza più alta resta indietro.

Conclusione

f(x)∼log⁡3⋅x1/2xlog⁡2x=log⁡3⋅1x1/2log⁡2xf(x) \sim \frac{\log 3\cdot x^{1/2}}{x\log^2 x} = \log 3\cdot\frac{1}{x^{1/2}\log^2 x} Forma (A') vicino a 00 con α=12<1\alpha = \frac12 < 1: l'integrale converge (con α<1\alpha < 1 l'esponente del logaritmo non conta).

Errori comuni

  • In 14, concludere che per a=1a = 1 diverge "come 1x\frac1x": c'è log⁡2x\log^2 x al denominatore, e con β=2>1\beta = 2 > 1 converge.
  • In 16, sviluppare 6−1/x6^{-1/x} con Taylor: l'argomento −log⁡6x-\frac{\log 6}{x} tende a −∞-\infty, non a 00; si usa che è trascurabile rispetto a ogni potenza.

Lezioni in cui compare

Teoria collegata