Un classico sugli interi friabili

Analisi, algebra lineare, topologia, gruppi, anelli, campi, ...
Rispondi
Avatar utente
<enigma>
Messaggi: 873
Iscritto il: 24 set 2009, 16:44

Un classico sugli interi friabili

Messaggio da <enigma> » 26 gen 2015, 14:51

Sia $\Psi(x,y):=\# \{ n \leq x : \text{gpf}(n) \leq y \}$, ovvero la funzione di conteggio degli interi fino a $x$ con tutti i fattori primi minori di $y$. Siano poi $u:=\log x/\log y$, e $\varrho(u)$ la funzione di Dickman-de Bruijn definita dall'equazione differenziale alle differenze $\varrho(u)=1$ ($0 \leq u \leq 1$), $u \varrho '(u)+\varrho(u-1)=0$ ($u>1$) .
1) Dimostrare che vale \[ \Psi(x,y) \sim x \varrho (u)\] per $y>x^\varepsilon$, comunque fissato $\varepsilon>0$.
(Suggerimento: usare l'identità di Buchstab.)
2) Dimostrare che in effetti \[ \Psi(x,y) = x \varrho (u)+O(x/\log y)\]
uniformemente per $x >y>2$.
(Suggerimento: considerare le quantità $\Delta(x,y):=(\Psi(x,y)-x\varrho(u))(\log y)/x$, $\Delta_k(y):=1+\sup\{ |\Delta(X,Y)|:y \leq Y \leq X \leq Y^k \}$, e dare una limitazione uniforme a $\Delta_k$ nella regione $k \leq 2 \log \log y$.)
"Quello lì pubblica come un riccio!" (G.)

fph
Site Admin
Messaggi: 3323
Iscritto il: 01 gen 1970, 01:00
Località: in giro
Contatta:

Re: Un classico sugli interi friabili

Messaggio da fph » 26 gen 2015, 19:51

Mi sembra che molti dei concetti che usi siano abbastanza al di fuori del linguaggio tipico degli utenti del forum. Puoi per favore dare un po' più di definizioni? Per esempio $\#\{\}$, $\operatorname{gpf}$, funzione di Dickman-De Bruijn, $~$, identità di Buchstab.
--federico
[tex]\frac1{\sqrt2}\bigl(\left|\text{loves me}\right\rangle+\left|\text{loves me not}\right\rangle\bigr)[/tex]

Avatar utente
<enigma>
Messaggi: 873
Iscritto il: 24 set 2009, 16:44

Re: Un classico sugli interi friabili

Messaggio da <enigma> » 26 gen 2015, 22:18

$\#\{x:P(x)\}$ è sinonimo di $\left | \{x:P(x)\}\right |$, $\operatorname{gpf}(n)$ è il più grande fattore primo di $n$, la funzione di Dickman-de Bruijn l'ho definita lì, $\sim$ è la solita notazione per l'equivalenza asintotica. L'hint dell'identità di Buchstab voleva essere un incentivo ad approfondire autonomamente ma mi rendo conto adesso che stranamente su Internet non c'è assolutamente nulla... quindi la scrivo qui: $ \Psi(x,y)=\Psi(x,z)-\sum_{y<p\leq z} \Psi(x/p,p)$.
"Quello lì pubblica come un riccio!" (G.)

Rispondi

Chi c’è in linea

Visitano il forum: Nessuno e 1 ospite