Пусть
![$a(n)$ $a(n)$](https://dxdy-03.korotkov.co.uk/f/e/b/1/eb1e4d26da404d5c7d56055c19d365a082.png)
это
A007052. Здесь
![$$a(n)=4a(n-1)-2a(n-2), a(0)=1, a(1)=3$$ $$a(n)=4a(n-1)-2a(n-2), a(0)=1, a(1)=3$$](https://dxdy-01.korotkov.co.uk/f/8/1/c/81c93467a7bb1baa30f164cce62c99f582.png)
Пусть
![$\varphi(n)$ $\varphi(n)$](https://dxdy-02.korotkov.co.uk/f/d/c/5/dc5d13b84084e51daf4619fbbe578c3182.png)
это
A000010, т.е. функция Эйлера. Тогда для
![$$R_1(n,q)=\sum\limits_{j=0}^{\varphi(q+1)+1}R_1(n-1,j)$$ $$R_1(n,q)=\sum\limits_{j=0}^{\varphi(q+1)+1}R_1(n-1,j)$$](https://dxdy-03.korotkov.co.uk/f/6/0/1/6015654d7df3420ab6fdd911aa902ae982.png)
предположительно будем иметь
![$$R_1(n,0)=a(n)$$ $$R_1(n,0)=a(n)$$](https://dxdy-03.korotkov.co.uk/f/2/6/a/26aeac014b6ccb2712ff101817f2488c82.png)
Вот простенькая прога на PARI/GP для проверки:
Код:
R1_upto(n)=my(v1, v2, v3); v1=vector(2*n+1, i, 1); v2=v1; v3=vector(n+1, i, 0); v3[1]=1; for(i=1, n, for(q=0, 2*(n-i), v2[q+1]=sum(j=0, eulerphi(q+1)+1, v1[j+1])); v1=v2; v3[i+1]=v1[1];); v3
a(n)=real((2 + quadgen(8))^(n+1)) / 2
test(n)=R1_upto(n)==vector(n+1,i,a(i-1))
Возникает вопрос: является ли
![$\varphi(n)$ $\varphi(n)$](https://dxdy-02.korotkov.co.uk/f/d/c/5/dc5d13b84084e51daf4619fbbe578c3182.png)
единственной в своем роде или же существует другая функция
![$f(n)$ $f(n)$](https://dxdy-04.korotkov.co.uk/f/3/d/4/3d425a215e8eeb2a056f553633aaae4a82.png)
, такая, что для
![$$R_2(n,q)=\sum\limits_{j=0}^{f(q+1)+1}R_2(n-1,j)$$ $$R_2(n,q)=\sum\limits_{j=0}^{f(q+1)+1}R_2(n-1,j)$$](https://dxdy-01.korotkov.co.uk/f/4/f/c/4fc08af14aedd144946546bbf547aa9a82.png)
будем иметь
![$$R_2(n,0)=a(n)$$ $$R_2(n,0)=a(n)$$](https://dxdy-02.korotkov.co.uk/f/d/0/5/d05b35dd635cbd51e7e7005fc1ab9d6782.png)
Если она единственная, то можно ли каким-то образом восстановить значения
![$R_1(n,q)$ $R_1(n,q)$](https://dxdy-01.korotkov.co.uk/f/0/7/1/071c99625c2be411c41d2ba4aa70ab6f82.png)
для
![$q>0$ $q>0$](https://dxdy-03.korotkov.co.uk/f/a/6/c/a6c6010d91ef4b2caffdf7a3b57e9cea82.png)
если нам известны значения
![$R_1(n,0)$ $R_1(n,0)$](https://dxdy-03.korotkov.co.uk/f/6/8/2/6825529522d26d3b1ca9e4252bf81ea782.png)
и неизвестны значения
![$\varphi(n)$ $\varphi(n)$](https://dxdy-02.korotkov.co.uk/f/d/c/5/dc5d13b84084e51daf4619fbbe578c3182.png)
? В частности, наибольший интерес представляют
![$R_1(1,q)=\varphi(q+1)+2$ $R_1(1,q)=\varphi(q+1)+2$](https://dxdy-04.korotkov.co.uk/f/f/7/3/f731610d116647af539cca6ec960fa6582.png)
. Если научиться их восстанавливать, мы сможем вычислять функцию Эйлера еще одним оригинальным способом.
-- 22.06.2023, 16:08 --Что еще удалось заметить?
Пусть
![$\pi(n)$ $\pi(n)$](https://dxdy-03.korotkov.co.uk/f/a/b/6/ab6b1f726144febfe19f0c5d987822fa82.png)
это
A000720, т.е. функция распределения простых чисел. Тогда для
![$$R_3(n,q)=\sum\limits_{j=0}^{\pi(q+1)+1}R_3(n-1,j)$$ $$R_3(n,q)=\sum\limits_{j=0}^{\pi(q+1)+1}R_3(n-1,j)$$](https://dxdy-03.korotkov.co.uk/f/e/7/8/e78f7ee441893559a9f07ec4355972af82.png)
предположительно будем иметь
![$$R_3(n,0)=\frac{3^n+1}{2}$$ $$R_3(n,0)=\frac{3^n+1}{2}$$](https://dxdy-01.korotkov.co.uk/f/4/8/a/48aaa2fa7dce9ddc824158e3a99f88c482.png)
Вопрос здесь аналогичен предыдущему: можно ли восстанавливать значения?