Dirichlet konvolüsyon özel bir tür olan kıvrım sayısı teorik olarak çok faydalı bir araç olarak görünür. Aritmetik fonksiyonlar kümesi üzerinde çalışır .
Meydan okuma
Verilen iki aritmetik fonksiyon (yani ), Dirichlet evrişimini aşağıda tanımlandığı gibi hesaplar . ( f ∗ g ) : N → R
ayrıntılar
- kuralını kullanıyoruz .
- İki aritmetik fonksiyonun Dirichlet evrişliği , yine aritmetik bir fonksiyondur ve. (Hem toplamları ifade eşdeğer aracı bölme , bu nedenle toplam doğal üzerinde bölenler arasında . Aynı şekilde biz subsitute olabilirni=n( ∑ n ∈ N f(n)ve ikinci eşdeğer formülasyonu elde ediyoruz. Bu gösterime alışkın değilseniz, aşağıdaki adım adım bir örnek vardır.) Sadece ayrıntılandırmak için (bu doğrudan bu meydan okuma ile ilgili değildir): Tanım, Dirichlet serisinin ürününün hesaplanmasından gelir :
- Giriş iki kara kutu işlevi olarak verilir . Alternatif olarak, sınırsız sayıda değer üretebilecek sonsuz bir liste, bir jeneratör, bir akış veya benzeri bir şey de kullanabilirsiniz.
- İki çıkış yöntemi vardır: ya işlevi döndürülür ya da alternatif olarak ek bir girişi alabilir ve doğrudan döndürebilirsiniz .
- Basit olması için, her öğesinin, örneğin pozitif bir 32 bit int ile temsil edilebileceğini varsayabilirsiniz .
- Basitlik açısından, her bir girişinin örneğin tek bir gerçek kayan nokta numarası ile temsil edilebileceğini varsayabilirsiniz .
Örnekler
Önce birkaç işlevi tanımlayalım. Her tanımın altındaki sayı listesinin bu işlevin ilk birkaç değerini temsil ettiğini unutmayın.
- çarpımsal kimlik ( A000007 )
1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, ...
- sabit birim işlevi ( A000012 )
1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, ...
- kimlik fonksiyonu ( A000027 )
1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, ...
- Möbius işlevi ( A008683 )
1, -1, -1, 0, -1, 1, -1, 0, 0, 1, -1, 0, -1, 1, 1, 0, -1, 0, -1, ...
- Euler totient işlevi ( A000010 )
1, 1, 2, 2, 4, 2, 6, 4, 6, 4, 10, 4, 12, 6, 8, 8, 16, 6, 18, 8, ...
- Liouville işlevi ( A008836 )
; burada , çokluk ile sayılan
temel faktörlerinin sayısıdır
1, -1, -1, 1, -1, 1, -1, -1, 1, 1, -1, -1, -1, 1, 1, 1, -1, -1, -1, ...
- bölen toplamı işlevi ( A000203 )
1, 3, 4, 7, 6, 12, 8, 15, 13, 18, 12, 28, 14, 24, 24, 31, 18, 39, 20, ...
- bölen sayma işlevi ( A000005 )
1, 2, 2, 3, 2, 4, 2, 4, 3, 4, 2, 6, 2, 4, 4, 5, 2, 6, 2, 6, 4, 4, 2, 8, ...
- kare sayıların karakteristik işlevi ( A010052 )
1, 0, 0, 1, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, ...
Sonra aşağıdaki örneklere sahibiz:
- σ = i d ∗ 1 ve
- λ = μ ∗ s q ve
- 1 = τ ∗ μ ve
- ve
Sonuncusu Möbius inversiyonunun bir sonucudur : Herhangi bir denklemi eşittir .
Adım Adım Örnek
Bu, tanımda kullanılan gösterime aşina olmayanlar için adım adım hesaplanan bir örnektir. ve işlevlerini göz önünde bulundurun . Biz şimdi onların büklüm değerlendirecek en . İlk birkaç terimi aşağıdaki tabloda listelenmiştir.
Toplam , bölen tüm doğal sayılar üzerinde yinelenir , böylece , tüm doğal bölenlerini varsayar . Bunlar . Her bir toplam kısmı olarak, değerlendirme de ve çarpma onunla değerlendirildi . Şimdi sonuçlandırabiliriz
fun
mı pahalı ?