2014 dxdy logo

Научный форум dxdy

Математика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,
Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки




 
 Аддитивная арифметическая функция
Сообщение23.11.2023, 18:12 
Уважаемые участники форума!
Можете привести пример аддитивной арифметической функции $f$, у которой значение $f(p)$ неограниченно, а ряд $\sum_p {\frac {f(p)}{p}}$ - сходился?
У меня не получается. Например, $f(n)=\ln {\frac {1}{n}}$ значение $\ln {\frac {1}{p}} \to -\infty$ при $p \to \infty$, но ряд $\sum_p {\frac {\ln(1/p)}{p}}=-\sum_p {\frac {\ln(p)}{p}}= - \infty$.

 
 
 
 Re: Аддитивная арифметическая функция
Сообщение23.11.2023, 18:35 
vicvolf в сообщении #1619424 писал(а):
аддитивной арифметической функции
Это что?

 
 
 
 Re: Аддитивная арифметическая функция
Сообщение23.11.2023, 18:44 
Аватара пользователя
У вас значения и ряд берутся по простым числам?
Тогда можно её вообще произвольным образом задать на простых числах, всегда получится продолжить аддитивным образом. Соответственно, берете быстро растущую последовательность простых чисел, говорите, что на ней функция растет, но медленно, а на всех остальных простых числах - вообще ноль.

realeugene, аддитивная функция - функция, такая что $f(xy) = f(x) + f(y)$, если $x$ и $y$ взаимно просты.

 
 
 
 Re: Аддитивная арифметическая функция
Сообщение23.11.2023, 20:25 
mihaild в сообщении #1619427 писал(а):
У вас значения и ряд берутся по простым числам?
Да
Цитата:
Тогда можно её вообще произвольным образом задать на простых числах, всегда получится продолжить аддитивным образом. Соответственно, берете быстро растущую последовательность простых чисел, говорите, что на ней функция растет, но медленно, а на всех остальных простых числах - вообще ноль.
Обозначим $p_k$- $k$-ое простое число. Пусть, если $n=p_k$, то $f(n)=\ln p_k$, в противном случае $f(n)=0$. Пусть $k=m^2$, где $m=1,2,...$. В этом случае последовательность $\ln p_k \to \infty$, но имеет мощность ноль по сравнению с мощностью простых чисел, поэтому $\sum_p \frac {\ln(p)}{p}=\sum_{p_k} \frac {\ln(p_k)}{p_k}< \infty$. Правильно?

 
 
 
 Re: Аддитивная арифметическая функция
Сообщение24.11.2023, 12:23 
Аватара пользователя
Идея вроде правильна, формулировка странная. И можно чуть проще.
Пусть $p_k$ - нумерация простых чисел, $m_i$ - минимальное число, такое что $p_{m_i} > 2^i$. Тогда скажем, что $f(p_{m_i}) = i$, на остальных простых числах и степенях $f$ равна нулю, далее продолжим по аддитивности. Тогда $\sum_p \frac{f(p)}{p} = \sum_i \frac{f(p_{m_i})}{p_{m_i}} \leq \sum_i \frac{i}{2^i}$.

 
 
 
 Re: Аддитивная арифметическая функция
Сообщение25.11.2023, 11:17 
mihaild в сообщении #1619521 писал(а):
Идея вроде правильна, формулировка странная. И можно чуть проще.
Пусть $p_k$ - нумерация простых чисел, $m_i$ - минимальное число, такое что $p_{m_i} > 2^i$. Тогда скажем, что $f(p_{m_i}) = i$, на остальных простых числах и степенях $f$ равна нулю, далее продолжим по аддитивности. Тогда $\sum_p \frac{f(p)}{p} = \sum_i \frac{f(p_{m_i})}{p_{m_i}} \leq \sum_i \frac{i}{2^i}$.
$p^2_{m_i} > 2^{i+1}$ и $f(p^2_{m_i}) = i+1$

 
 
 
 Re: Аддитивная арифметическая функция
Сообщение25.11.2023, 11:26 
vicvolf в сообщении #1619735 писал(а):
Что значит продолжим по аддитивности?
Аддитивная функция должна быть определена на всех натуральных числах. Продолжить значит доопределить, так чтобы свойство $f(ab)=f(a)+f(b)$ выполнялось для взаимно простых $a,b$.

-- Сб ноя 25, 2023 11:32:01 --

vicvolf в сообщении #1619735 писал(а):
$f(p^2_{m_i}) = i+1$
Оно в вашей сумме не участвует. Но можно его установить любым числом.

 
 
 
 Re: Аддитивная арифметическая функция
Сообщение25.11.2023, 17:27 
mihaild в сообщении #1619521 писал(а):
Пусть $p_k$ - нумерация простых чисел, $m_i$ - минимальное число, такое что $p_{m_i} > 2^i$. Тогда скажем, что $f(p_{m_i}) = i$, на остальных простых числах и степенях $f$ равна нулю, далее продолжим по аддитивности. Тогда $\sum_p \frac{f(p)}{p} = \sum_i \frac{f(p_{m_i})}{p_{m_i}} \leq \sum_i \frac{i}{2^i}$.
Сказано, что на остальных простых числах и степенях значение $f$ равно 0. Очевидно значения $f$ в степенях $p_{m_i}$ предлагается продолжить по аддитивности. Например, если продолжить, как $f(p^k_{m_i})=i$, то получим сильно аддитивную арифметическую функцию. Если продолжить, как я, $f(p^k_{m_i})=i+k-1$ или $f(p^k_{m_i})=0$, то будет просто аддитивная.
Можно было не указывать фразу про аддитивное продолжение и тогда, как я написал:
vicvolf в сообщении #1619735 писал(а):
$p^2_{m_i} > 2^{i+1}$ и $f(p^2_{m_i}) = i+1$
и получаем аддитивную арифметическую функцию с $f(p^k_{m_i})=i+k-1$.
Null в сообщении #1619737 писал(а):
vicvolf в сообщении #1619735 писал(а):
$f(p^2_{m_i}) = i+1$
Оно в вашей сумме не участвует.

Поэтому сумма не меняется в зависимости от аддитивного продолжения:
mihaild в сообщении #1619521 писал(а):
$\sum_p \frac{f(p)}{p} = \sum_i \frac{f(p_{m_i})}{p_{m_i}} \leq \sum_i \frac{i}{2^i}$.

 
 
 [ Сообщений: 8 ] 


Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group