$a_1^{p_1}+\ldots+a_k^{p_k}$ in pochi modi

Numeri interi, razionali, divisibilità, equazioni diofantee, ...
Rispondi
Avatar utente
jordan
Messaggi: 3988
Iscritto il: 02 feb 2007, 21:19
Località: Pescara
Contatta:

$a_1^{p_1}+\ldots+a_k^{p_k}$ in pochi modi

Messaggio da jordan » 04 ott 2014, 12:31

Own. Siano $p_1,\ldots,p_k$ primi distinti tali che $2p_1+1,\ldots,2p_k+1$ sono ancora tutti primi distinti. Sia $c$ una costante fissata positiva . Sia $f(x)$ il numero di interi positivi $n$ minori o uguali a $x$ esprimibili nella forma $a_1^{p_1}+\ldots+a_k^{p_k}$ per qualche intero positivo $a_1,\ldots,a_k$.

a) Dimostrare che se la media armonica di $p_1,\ldots,p_k$ è maggiore di $k$ allora $f(x)<cx$ per ogni $x$ sufficientemente grande.

b) Dimostrare che se $k$ è sufficientemente grande allora $f(x)<x^c$ per ogni $x$ sufficientemente grande.
The only goal of science is the honor of the human spirit.

Avatar utente
Drago96
Messaggi: 1144
Iscritto il: 14 mar 2011, 16:57
Località: Provincia di Torino
Contatta:

Re: $a_1^{p_1}+\ldots+a_k^{p_k}$ in pochi modi

Messaggio da Drago96 » 04 ott 2014, 13:50

Il punto a non funziona anche con $ p_i $ interi qualunque?
Imagination is more important than knowledge. For knowledge is limited, whereas imagination embraces the entire world, stimulating progress, giving birth to evolution (A. Einstein)

Avatar utente
jordan
Messaggi: 3988
Iscritto il: 02 feb 2007, 21:19
Località: Pescara
Contatta:

Re: $a_1^{p_1}+\ldots+a_k^{p_k}$ in pochi modi

Messaggio da jordan » 04 ott 2014, 13:53

Drago96 ha scritto:Il punto a non funziona anche con $ p_i $ interi qualunque?
Se intendi positivi, yep :wink:
The only goal of science is the honor of the human spirit.

Gottinger95
Messaggi: 481
Iscritto il: 01 lug 2011, 22:52

Re: $a_1^{p_1}+\ldots+a_k^{p_k}$ in pochi modi

Messaggio da Gottinger95 » 10 ott 2014, 18:09

Testo nascosto:
Siano \( p_1, \ldots, p_k\) interi positivi qualunque. Dimostriamo che \(\forall c \in \mathbb{R}^+\) si ha \(f(n) < cn\) definitivamente.
Ubi sunt. Fissiamo un \(n \) naturale. Sia \(m=\sum_{i=1}^k a_i^{p_i}\) per alcuni \(a_i\), con \(1 \le m \le n\). Sicuramente \( 0 \le a_i \le n^{1/p_i}\), perchè \( (n^{1/p_i} )^{p_i} = n \ge m \ge a_i^{p_i} \). Perciò al variare di \( a_i \in \{1, \ldots, n^{1/p_i} \}\) la somma \(a_1^{p_1}+ \ldots + a_k^{p_k} \) assume tutti i valori "assumibili" tra 1 e \(n\).
Quanti sunt. Considerando che per ipotesi
\[ \left ( \frac{1}{k} \sum \frac{1}{p_i} \right )^{-1} > k \ \ \leftrightarrow \ \ \frac{1}{k} \sum \frac{1}{p_i} < \frac{1}{k} \ \ \leftrightarrow \ \ \sum p^{-1} -1 = \alpha < 0 \ (*) \]
Sappiamo che, sfruttando il fatto che i possibili assegnamenti agli \(a_i\) sono \(n^{1/p_i}\):
\[ 0 \le \frac{f(n)}{n} \le \frac{ n^{\sum p_i^{-1} } }{n} = n^{\sum p_i^{-1} -1 } = n^{\alpha} \rightarrow 0 \]
per l''ipotesi \( (*)\). Perciò, per il teorema dei caramba, \(f(n) < cn\) definitivamente per ogni \(c>0\).
\( \displaystyle \sigma(A,G) \ \ = \sum_{Y \in \mathscr{P}(A) } \dot{\chi_{|G|} } (Y) \) bum babe

Avatar utente
jordan
Messaggi: 3988
Iscritto il: 02 feb 2007, 21:19
Località: Pescara
Contatta:

Re: $a_1^{p_1}+\ldots+a_k^{p_k}$ in pochi modi

Messaggio da jordan » 12 ott 2014, 17:20

Bene! Quest'idea si sta riciclando un po' spesso ultimamente :) chi prova l'altro?
The only goal of science is the honor of the human spirit.

Rispondi