Differenze tra tende uniformemente a 0 e tende a 0

baldo891
sto studiando analisi complessa, riporto la definizione del libro
Diremo che una funzione $g(z)$ continua nella regioneD spazzata dall'arco di cerchio $\gamma$ in questo limite tende a zero uniformemente rispetto all'argomento di $z$ per $r=|z|$che tende a zero o a infinito,se esiste una costante $u$ che dipende solo da $r$ tale che
$|g(z)|<=u$ poi il libro fa questo esempio
la funzione $g(z)=z/(z^2+1)$ tende a zero uniformemente per $r$ che tende a zero o a infinito poichè $|g(z)|<=r/(|r^2-1|)$ ma quindi che differenze ci sono tra tende uniformemente a zero e tende a zero?questa funzione infatti se consideriamo i limiti tende a zero per $z$ che tende a zero e tende a zero
per $z$ che tende a infininito. io purtoppo non noto differenze che invece sicuramente ci sono.
Ciao e grazie

Risposte
gugo82
Innanzitutto la definizione è sbagliata.
Quella che dai è la definizione di uniforme limitatezza, al massimo.

Come sai ogni funzione complessa [tex]$g(z)$[/tex] si può rappresentare nella forma [tex]$g(r,\theta)$[/tex] con [tex]$(r,\theta)=(|z|,\text{Arg} z)$[/tex], sicché essa è equiparabile ad una funzione di due variabili reali.
Dere che [tex]$g(z)\to L$[/tex] uniformemente rispetto a [tex]$\text{Arg} z$[/tex] per [tex]$|z|\to R$[/tex] significa dire che [tex]$\lim_{r\to R} g(r,\theta) =L$[/tex] uniformemente rispetto a [tex]$\theta$[/tex], ossia che:

[tex]$\lim_{r\to R} \sup_{\theta \in T} |g(r,\theta) -L|=0$[/tex],

in cui l'estremo superiore è preso in un appropriato sottoinsieme [tex]$T$[/tex] di [tex]$[0,2\pi[$[/tex], ovvero che:

[tex]$\forall \varepsilon >0,\ \exists \delta >0:\quad \forall 0<|r-R|<\delta ,\ \forall \theta \in T,\ |g(r,\theta) -L|<\epsilon$[/tex].

Ora, per quanto riguarda l'esempio che hai postato, abbiamo:

[tex]$|g(z)| \to 0$[/tex]

e però il limite è uniforme rispetto all'argomento; infatti:

[tex]$|g(z)|=\left| \frac{r\ e^{\imath \theta}}{r^2\ e^{\imath 2\theta} -1}\right| $[/tex]
[tex]$=\frac{r}{|r^2\ e^{\imath 2\theta}-1|}$[/tex] (ricordando che [tex]$\Big| |u|-|v| \Big| \leq |u-v|$[/tex])
[tex]$\leq \frac{r}{|r^2-1|}$[/tex]
[tex]$=\frac{r}{(r+1)\ |r-1|}$[/tex]
[tex]$\leq \frac{r}{|r-1|}$[/tex]

quindi:

[tex]$\sup_{\theta \in T} |g(r,\theta)-0|\leq \frac{r}{|r-1|}$[/tex]

e perciò:

[tex]$0\leq \lim_{r\to 0} \sup_\theta |g(r,\theta)-0|\leq \lim_{r\to 0} \frac{r}{|r-1|} =0$[/tex]

ossia [tex]$g(z)\to 0$[/tex] per [tex]$|z|\to 0$[/tex] uniformemente rispetto a [tex]$\text{Arg} z$[/tex].

baldo891
Precisissimo come sempre! grazie
potrebbe capitare che una funzione tende a zero ed al contempo non tende a zero uniformemente?

baldo891
up

dissonance
Intanto a tendere a zero è una successione di funzioni, non una funzione sola. Comunque la risposta alla tua domanda è si. Prendi la successione di funzioni $f_n(x)=x/n$. Disegnane qualcuna e ti accorgi facilmente che $f_n(x)-> 0$ ma la convergenza non è uniforme su tutto $RR$ (lo è se ti restringi ad un intervallo limitato, però).

gugo82
"baldo89":
Precisissimo come sempre! grazie
potrebbe capitare che una funzione tende a zero ed al contempo non tende a zero uniformemente?

Sì, può capitare.

Pensa ad una funzione di due variabili [tex]$g(r,\theta)$[/tex] che non tende a zero uniformemente per [tex]$r\to 0$[/tex] e poi sostituisci [tex]$r=|z|$[/tex] e [tex]$\theta =\text{Arg} z$[/tex] per ottenere la tua [tex]$g(z)$[/tex].

Ad esempio [tex]$g(r,\theta)=\frac{r}{\theta}$[/tex] thende a zero quando [tex]$r\to 0^+$[/tex] per ogni fissato [tex]$\theta \in ]0,2\pi[$[/tex]; però si ha:

[tex]$\forall r>0,\quad \sup_{\theta \in ]0,2\pi[} |g(r,\theta)|=+\infty$[/tex]

e la convergenza non può essere uniforme rispetto a [tex]$\theta$[/tex].
La funzione [tex]$g(z)$[/tex] corrispondente a [tex]$g(r,\theta)$[/tex] è evidentemente:

[tex]$g(z)=\frac{|z|}{\text{Arg} z}$[/tex]

la quale è definita in tutto il piano privato del semiasse reale nonnegativo (i.e. [tex]$\mathbb{C}\setminus \{z\in \mathbb{C}:\ \text{$\Re e z\geq 0$ e $\Im m z=0$}\}$[/tex])...

Oppure, volendo fare le cose più belle, si può prendere [tex]$g(z):=\frac{|z|}{\arg z}$[/tex], che è polidroma, ha la determinazione principale definita nel piano complesso privato del semiasse reale nonnegativo e tutte le altre determinazioni definite in tutto il piano meno l'origine.
Ovviamente [tex]$g(z)$[/tex] non è olomorfa, giacché prende solo valori reali.


@dissonance: Grazie per lo spunto. :wink:

baldo891
grazie :D

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