Dieckmann-toiminto
Analyyttisessä lukuteoriassa Dieckmann-funktio (toinen nimi on Dieckmann-de Bruijn-funktio ) ρ on erityinen funktio , jota käytetään estimoimaan tasaisten lukujen lukumäärä tietyllä rajalla. Funktio esiintyi ensimmäisen kerran Karl Dieckmannissa hänen ainoassa matematiikkaa käsittelevässä artikkelissaan [1] . Funktiota tutki myöhemmin tanskalainen matemaatikko Nicholas de Bruijn [2] [3] .
Määritelmä
Diekmann-de Bruijn-funktio on jatkuva funktio , joka tyydyttää differentiaaliyhtälön siirtymällä
![{\näyttötyyli \rho (u)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7c941c05af252af43c7378c0b6a71571baa2affa)
alkuehdoilla 0 ≤ u ≤ 1.
![{\displaystyle \rho (u)=1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f565108b1602bcc6e9c41d3c0691cea81ce2fba1)
Dickman osoitti sen heurististen näkökohtien perusteella
missä on x:tä pienempien y - sileiden kokonaislukujen määrä .
![{\displaystyle \Psi(x,y)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2486971cee7f4d6e32790ce77c77468c2139dcc4)
V. Ramaswami antoi myöhemmin tiukan todisteen siitä
merkinnöissä Big O [4] .
Sovellukset
Diekmann-de Bruijn-funktio löytää pääsovelluksensa tasaisten kokonaislukujen esiintymistiheyden arvioinnissa annetuissa rajoissa. Funktiolla voidaan optimoida erilaisia lukuteoreettisia algoritmeja, vaikka se on sinänsä mielenkiintoinen.
Käyttämällä , voidaan osoittaa, että [5]
![{\displaystyle \Psi (x,y)=xu^{O(-u)))](https://wikimedia.org/api/rest_v1/media/math/render/svg/041f249ff54562e4ccefccda98d4cc76b5eb9b79)
,
joka liittyy alla olevaan arvioon.
![{\näyttötyyli \rho (u)\noin u^{-u))](https://wikimedia.org/api/rest_v1/media/math/render/svg/126579ffc994ca5632903cdbaa58f012184b5d9a)
Golomb-Dickmann-vakiolla on vaihtoehtoinen määritelmä Dieckmann-de Bruijn-funktiolle.
Arvio
Yksinkertainen likiarvo voi toimia .
Paras arvio on [6]
![{\displaystyle \rho (u)\sim {\frac {1}{\xi {\sqrt {2\pi u))))\cdot \exp(-u\xi +\operaattorinimi {Ei} (\xi ) )}](https://wikimedia.org/api/rest_v1/media/math/render/svg/16f4d39bbdc4919fcd5686227ecb3cb1c834d0b0)
,
missä Ei on integraali eksponentiaalinen funktio ja ξ on yhtälön positiivinen juuri
Yksinkertaisen ylärajan antaa
|
|
yksi
|
yksi
|
2
|
3,0685282⋅10 -1
|
3
|
4,8608388⋅10 -2
|
neljä
|
4,9109256⋅10 -3
|
5
|
3,5472470⋅10 -4
|
6
|
1,9649696⋅10 -5
|
7
|
8,7456700⋅10 -7
|
kahdeksan
|
3,2320693⋅10 -8
|
9
|
1,0162483⋅10 -9
|
kymmenen
|
2,7701718⋅10 -11
|
Laskenta
Jokaiselle välille [ n − 1, n ], jonka kokonaisluku on n , on olemassa analyyttinen funktio , joka . Jos 0 ≤ u ≤ 1, . Jos 1 ≤ u ≤ 2, . Jos 2 ≤ u ≤ 3,
![{\displaystyle \rho _{n}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/aae86a9b5e3ef50889d51507f5f05a1dd66fd356)
![{\displaystyle \rho _{n}(u)=\rho (u)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ff4e3e97191878e5739f51ab1dde4de1c1476bc5)
![{\displaystyle \rho (u)=1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f565108b1602bcc6e9c41d3c0691cea81ce2fba1)
![{\displaystyle \rho (u)=1-\log u}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d3ba7a7fe069c91771f48214b58b540f9dbf9e32)
![{\displaystyle \rho (u)=1-(1-\log(u-1))\log(u)+\operaattorinimi {Li} _{2}(1-u)+{\frac {\pi ^ {2}}{12}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f3449045e0dc7471586363efa991e4f6c0020653)
,
jossa Li 2 on dilogaritmi . Loput voidaan laskea käyttämällä ääretöntä sarjaa [7] .
![{\displaystyle \rho _{n}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/aae86a9b5e3ef50889d51507f5f05a1dd66fd356)
Vaihtoehtoinen laskentamenetelmä voi olla ylä- ja alarajan määrittäminen puolisuunnikkaan menetelmällä [6] [8] .
Laajennus
Bach ja Peralta määrittelivät funktion kaksiulotteisen analogin [7] . Tätä funktiota käytetään arvioimaan funktio , joka on samanlainen kuin de Bruijn-funktio, mutta ottaen huomioon niiden y - sileiden kokonaislukujen lukumäärän, joissa vähintään yksi alkutekijä on suurempi kuin z . Sitten
![{\näyttötyyli \sigma (u,v)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bb1f8af4ea732effda230b1e6fcc7994add1a877)
![{\näyttötyyli \rho (u)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7c941c05af252af43c7378c0b6a71571baa2affa)
![{\näyttötyyli \Psi(x,y,z)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9f72b54167f89e9280981b7d5708677bfd2655c9)
Linkit
- ↑ Dickman, K. Tietyn suhteellisen suuruuden alkutekijöitä sisältävien lukujen taajuudesta // Arkiv för Matematik, Astronomi och Fysik : journal. - 1930. - Voi. 22A , no. 10 . - s. 1-14 .
- ↑ de Bruijn, NG Positiivisten kokonaislukujen lukumäärästä ≤ x ja ilman alkutekijöitä > y // Indagationes Mathematicae : päiväkirja. - 1951. - Voi. 13 . - s. 50-60 . Arkistoitu alkuperäisestä 21. huhtikuuta 2013.
- ↑ de Bruijn, NG Positiivisten kokonaislukujen lukumäärästä ≤ x ja ilman alkutekijöitä > y , II // Indagationes Mathematicae : päiväkirja. - 1966. - Voi. 28 . - s. 239-247 . Arkistoitu alkuperäisestä 16. helmikuuta 2012.
- ↑ Ramaswami, V. Positiivisten kokonaislukujen lukumäärästä, jotka ovat pienempiä kuin x ja ilman alkujakajia, jotka ovat suurempia kuin x c
// Bulletin of the American Mathematical Society : Journal . - 1949. - Voi. 55 . - s. 1122-1127 .
- ↑ Hildebrand, A.; Tenenbaum, G. Kokonaisluvut ilman suuria alkutekijöitä (neopr.) // Journal de théorie des nombres de Bordeaux. - 1993. - V. 5 , nro 2 . - S. 411-484 . Arkistoitu alkuperäisestä 27. huhtikuuta 2019.
- ↑ 1 2 van de Lune, J.; Wattel, E. Analyyttisessä lukuteoriassa nousevan differentiaali-eroyhtälön numeerisesta ratkaisusta // Laskennan matematiikka : päiväkirja. - 1969. - Voi. 23 , ei. 106 . - s. 417-421 . - doi : 10.1090/S0025-5718-1969-0247789-3 .
- ↑ 12 Bach , Eric; Peralta, Rene. Asymptoottiset puolismoothness-todennäköisyydet // Laskennan matematiikka : päiväkirja. - 1996. - Voi. 65 , no. 216 . - s. 1701-1715 . - doi : 10.1090/S0025-5718-96-00775-2 . Arkistoitu alkuperäisestä 16. kesäkuuta 2016.
- ↑ Marsaglia, George; Zaman, Arif; Marsaglia, John CW Joidenkin klassisten differentiaali-eroyhtälöiden numeerinen ratkaisu // Laskennan matematiikka : päiväkirja. - 1989. - Voi. 53 , no. 187 . - s. 191-201 . - doi : 10.1090/S0025-5718-1989-0969490-3 .
Ulkoiset linkit
- Broadhurst, David (2010), Dickman-polylogaritmit ja niiden vakiot, arΧiv : 1004.0519 .
- Soundararajan, K. (2010), Dickman-funktioon liittyvä asymptoottinen laajennus, arΧiv : 1005.3494 .
- Weisstein, Eric W. Dickman -funktio (englanniksi) Wolfram MathWorld -verkkosivustolla .