Una Formula per Alcuni Integrali Impropri

Messaggioda gugo82 » 29/01/2017, 23:07

Problema:

Sia $f:[0,+\infty[\to \RR$ una funzione continua in $[0,+\infty[$.
Se:
  1. esistono un $\alpha >0$ ed una costante $c\geq 0$ tali che \(|f(x) - f(0)|\leq c\, x^\alpha\) intorno a $0$,

  2. esistono $\beta <0$ ed una costante $C\geq 0$ tali che \(|f(x)|\leq C\, x^\beta \) intorno a $+\infty$,
allora per ogni $0<a<b$ risulta:
\[
\tag{F}
\int_0^{+\infty} \frac{f(bx) - f(ax)}{x}\ \text{d} x = f(0)\ \log \frac{a}{b}\; .
\]

[P.S.: Forse le ipotesi a e b non sono del tutto ottimali, ma dovrebbero bastare allo scopo.]
Ultima modifica di gugo82 il 01/02/2017, 12:46, modificato 1 volta in totale.
Motivazione: Corretto l'errore segnalato da Rigel.
Sono sempre stato, e mi ritengo ancora un dilettante. Cioè una persona che si diletta, che cerca sempre di provare piacere e di regalare il piacere agli altri, che scopre ogni volta quello che fa come se fosse la prima volta. (Freak Antoni)
Avatar utente
gugo82
Cannot live without
Cannot live without
 
Messaggio: 17628 di 44916
Iscritto il: 12/10/2007, 23:58
Località: Napoli

Re: Una Formula per Alcuni Integrali Impropri

Messaggioda Rigel » 01/02/2017, 10:43

gugo82 ha scritto:[*] esistono $\beta <1$ ed una costante $C\geq 0$ tali che \(|f(x)|\leq C\, x^\beta \) intorno a $+\infty$


Mi sembra non sia sufficiente a garantire la convergenza dell'integrale (es.: \(f(x) = \sqrt{x}\)); probabilmente intendevi \(\beta < 0\), o qualcosa del genere.
Rigel
Cannot live without
Cannot live without
 
Messaggio: 4215 di 7818
Iscritto il: 13/01/2010, 08:31

Re: Una Formula per Alcuni Integrali Impropri

Messaggioda gugo82 » 01/02/2017, 12:45

@ Rigel: Certo... Errore di battitura. :oops:

In realtà la b mi pare troppo forte per quel che viene fuori dalla dimostrazione.
Forse si potrebbe rimpiazzare con una ipotesi più debole, tipo proprio la convergenza dell'integrale improprio di \(\frac{f(x)}{x}\) in $+\infty$.
Sono sempre stato, e mi ritengo ancora un dilettante. Cioè una persona che si diletta, che cerca sempre di provare piacere e di regalare il piacere agli altri, che scopre ogni volta quello che fa come se fosse la prima volta. (Freak Antoni)
Avatar utente
gugo82
Cannot live without
Cannot live without
 
Messaggio: 17641 di 44916
Iscritto il: 12/10/2007, 23:58
Località: Napoli

Re: Una Formula per Alcuni Integrali Impropri

Messaggioda gugo82 » 08/02/2017, 15:01

Testo nascosto, fai click qui per vederlo
Suggerimento: Considerare la funzione:
\[
\Phi (x;y) := \int_0^{x/y} \frac{f(y x) - f(0)}{x}\ \text{d} t
\]
e mostrare che essa è costante rispetto ad $y >0$.
Sono sempre stato, e mi ritengo ancora un dilettante. Cioè una persona che si diletta, che cerca sempre di provare piacere e di regalare il piacere agli altri, che scopre ogni volta quello che fa come se fosse la prima volta. (Freak Antoni)
Avatar utente
gugo82
Cannot live without
Cannot live without
 
Messaggio: 17675 di 44916
Iscritto il: 12/10/2007, 23:58
Località: Napoli

Re: Soluzione

Messaggioda gugo82 » 16/02/2017, 14:28

Spoilerizzo due possibili soluzioni, la seconda ottenuta in ipotesi un po' più forti.
1.
Testo nascosto, fai click qui per vederlo
Le ipotesi poste assicurano che l'integrale improprio:
\[
\intop_0^{+\infty} \frac{f(bx) - f(ax)}{x}\ \text{d} x
\]
è assolutamente convergente; inoltre, risultano convergenti pure gli integrali impropri del tipo:
\[
\begin{split}
&\intop_0^{+\infty} \frac{f(yx) - f(0)}{x}\ \text{d} x\\
&\intop_r^{+\infty} \frac{f(yx)}{x}\ \text{d} x
\end{split}
\]
per ogni $r, y>0$.

Come nel suggerimento, cominciamo considerando la funzione:
\[
\begin{split}
\Phi(x;y) &:=\intop_0^{x/y} \frac{f(yt) - f(0)}{t}\ \text{d}x\\
&\stackrel{u=yt}{=} \intop_0^x \frac{f(u)-f(0)}{u}\ \text{d} u\\
\end{split}
\]
la quale, come risulta evidente, è costante rispetto ad $y$; pertanto, scelti $a$ e $b$ come nell'enunciato ed \(R\gg 0\), abbiamo:
\[
\Phi(R/b;b) =\Phi (R/a;a)
\]
da cui traiamo immediatamente:
\[
\intop_0^{R/b} \frac{f(bx)-f(ax)}{x}\ \text{d} x = \intop_{R/b}^{R/a} \frac{f(ax)}{x}\ \text{d} x - f(0)\ \intop_{R/b}^{R/a} \frac{1}{x}\ \text{d} x\; .
\]
Passando al limite quest'ultima uguaglianza per $R-> +oo$ si ottiene la tesi.

2. Qui considero $f$ di classe $C^1$.
Testo nascosto, fai click qui per vederlo
Sfruttando il Teorema Fondamentale del Calcolo Integrale, la teoria degli integrali doppi e un cambiamento di variabile, abbiamo:
\[
\begin{split}
\intop_0^{+\infty} \frac{f(bx) - f(ax)}{x}\ \text{d}x &= \intop_0^{+\infty} \frac{1}{x}\ \left( \int_{ax}^{bx} f^\prime (y)\ \text{d} y\right)\ \text{d} x\\
&\stackrel{t=y/x}{=} \intop_0^{+\infty} \frac{1}{x}\ \left( \int_a^b f^\prime (tx)\ x\ \text{d} t\right)\ \text{d} x\\
&= \intop_0^{+\infty}\intop_a^b f^\prime (tx)\ \text{d} x\ \text{d} t\\
&= \intop_a^b \left( \int_0^{+\infty} f^\prime (tx)\ \text{d} x\right)\ \text{d} t\\
&\stackrel{y=tx}{=} \intop_a^b \frac{1}{t}\ \left( \int_0^{+\infty} f^\prime (y) \text{d} y\right)\ \text{d} t\\
&= \left( \intop_0^{+\infty} f^\prime (y) \text{d} y\right)\ \left(\intop_a^b \frac{1}{t}\ \text{d} t\right)\\
&= \Big( 0 - f(0)\Big)\ \log \frac{b}{a}\\
&= f(0)\ \log \frac{a}{b}\; .
\end{split}
\]
Sono sempre stato, e mi ritengo ancora un dilettante. Cioè una persona che si diletta, che cerca sempre di provare piacere e di regalare il piacere agli altri, che scopre ogni volta quello che fa come se fosse la prima volta. (Freak Antoni)
Avatar utente
gugo82
Cannot live without
Cannot live without
 
Messaggio: 17690 di 44916
Iscritto il: 12/10/2007, 23:58
Località: Napoli


Torna a Pensare un po' di più

Chi c’è in linea

Visitano il forum: Nessuno e 1 ospite