Consider the (infinite) sequence a1 , a2 , a3 , a4 , ..., where the first two terms are integers and each term after is the average (arithmetic mean) of the two preceding terms. For which values of a1 and a2 is every term of the sequence an integer? GeoffreyT2000 (talk ) 03:00, 20 December 2017 (UTC) [ reply ]
a1 = a2 and no other.
|
a
i
+
2
−
a
i
+
1
|
=
2
−
i
|
a
2
−
a
1
|
{\displaystyle |a_{i+2}-a_{i+1}|=2^{-i}|a_{2}-a_{1}|}
. The only way to keep that an integer for all
i
{\displaystyle i}
is to have
|
a
2
−
a
1
|
=
0
{\displaystyle |a_{2}-a_{1}|=0}
.--108.52.27.203 (talk ) 03:22, 20 December 2017 (UTC) [ reply ]
I need to find out how to convert an infinite series to an infinite product. The original formula is as follows, taking
ϵ
0
{\displaystyle \epsilon _{0}}
to be a constant:
z
=
2
e
ϵ
0
4
τ
∑
j
=
0
∞
j
+
1
2
e
ϵ
0
τ
(
j
+
1
2
)
2
{\displaystyle z=2e^{\frac {\epsilon _{0}}{4\tau }}\sum _{j=0}^{\infty }{\frac {j+{\frac {1}{2}}}{e^{{\frac {\epsilon _{0}}{\tau }}\left(j+{\frac {1}{2}}\right)^{2}}}}}
In part one of this querry, I concluded that a this can be achieved for a function which is equivalent for
τ
≥
0
{\displaystyle \tau \geq 0}
, through Weiestrass factorisation. This equivalent function was derived by making the original function even so as to create a function which is entire, without a pole at zero.
Initially, the new formula was presented as a triple sum, but has since been simplified to a double sum, which is presented below:
z
=
2
π
e
ϵ
0
4
∑
j
=
0
∞
∑
k
=
0
∞
(
j
+
1
2
)
I
1
2
−
k
(
1
)
k
!
2
k
e
ϵ
0
(
j
+
1
2
)
2
(
τ
2
−
1
)
k
,
τ
≥
0
{\displaystyle z={\sqrt {2\pi }}e^{\frac {\epsilon _{0}}{4}}\sum _{j=0}^{\infty }\sum _{k=0}^{\infty }{\frac {\left(j+{\frac {1}{2}}\right)I_{{\frac {1}{2}}-k}\left(1\right)}{k!2^{k}e^{\epsilon _{0}\left(j+{\frac {1}{2}}\right)^{2}}}}\left(\tau ^{2}-1\right)^{k},\quad \tau \geq 0}
How to proceed now that an entire function has been obtained? Plasmic Physics (talk ) 08:27, 20 December 2017 (UTC) [ reply ]
Note that an infinite sum of entire functions is not necessarily entire. For example
∑
k
=
0
∞
x
k
=
(
1
−
x
)
−
1
{\displaystyle \sum _{k=0}^{\infty }x^{k}=(1-x)^{-1}}
.
Bo Jacoby (talk ) 19:27, 20 December 2017 (UTC) .[ reply ]
Noted. Plasmic Physics (talk ) 21:05, 20 December 2017 (UTC) [ reply ]
It was already noted above that the second formula is wrong as it has a zero at
τ
=
1
{\displaystyle \tau =1}
whereas the original function does not. Ruslik _Zero 19:35, 20 December 2017 (UTC) [ reply ]
That is not correct. Plot the partial z(1) using the second formula to prove it. WolframAlpha is quite useful for this. Plasmic Physics (talk ) 20:21, 20 December 2017 (UTC) [ reply ]
Let
x
=
e
−
2
ϵ
0
τ
{\displaystyle x=e^{-{\frac {2\epsilon _{0}}{\tau }}}}
. Then
z
=
∑
j
=
0
∞
(
2
j
+
1
)
x
j
(
j
+
1
)
2
=
1
+
3
x
+
5
x
3
+
7
x
6
+
9
x
10
+
11
x
15
+
13
x
21
+
⋯
{\displaystyle z=\sum _{j=0}^{\infty }(2j+1)x^{\frac {j(j+1)}{2}}=1+3x+5x^{3}+7x^{6}+9x^{10}+11x^{15}+13x^{21}+\cdots }
This series is simpler than the double sum above. Bo Jacoby (talk ) 01:36, 22 December 2017 (UTC) .[ reply ]
In what way is this helpfull? Plasmic Physics (talk ) 03:33, 22 December 2017 (UTC) [ reply ]
Your area of interest is
ϵ
0
τ
>
0
{\displaystyle {\frac {\epsilon _{0}}{\tau }}>0}
. So
0
<
x
<
1
{\displaystyle 0<x<1}
. The series converges for complex
x
{\displaystyle x}
where
|
x
|
<
1
{\displaystyle |x|<1}
. Choose a number
N
{\displaystyle N}
such that the polynomial
z
N
(
x
)
=
∑
j
=
0
N
(
2
j
+
1
)
x
j
(
j
+
1
)
2
{\displaystyle z_{N}(x)=\sum _{j=0}^{N}(2j+1)x^{\frac {j(j+1)}{2}}}
of degree
D
=
N
(
N
+
1
)
2
{\displaystyle D={\frac {N(N+1)}{2}}}
is a sufficiently good approximation to the power series
z
∞
(
x
)
=
∑
j
=
0
∞
(
2
j
+
1
)
x
j
(
j
+
1
)
2
{\displaystyle z_{\infty }(x)=\sum _{j=0}^{\infty }(2j+1)x^{\frac {j(j+1)}{2}}}
within your area of interest. The polynomial
z
N
(
x
)
{\displaystyle z_{N}(x)}
has the
D
{\displaystyle D}
complex roots
r
1
,
⋯
,
r
D
{\displaystyle r_{1},\cdots ,r_{D}}
, and
z
∞
(
x
)
≈
z
N
(
x
)
=
(
2
N
+
1
)
∏
j
=
1
D
(
x
−
r
j
)
{\displaystyle z_{\infty }(x)\approx z_{N}(x)=(2N+1)\prod _{j=1}^{D}(x-r_{j})}
. This is a finite product. To obtain an infinite product, let
N
→
∞
{\displaystyle N\rightarrow \infty }
. Bo Jacoby (talk ) 12:03, 22 December 2017 (UTC) .[ reply ]
I am not sure that this limit exists. For example,
exp
(
x
)
{\displaystyle \exp(x)}
does not have zeros but any N-th order Taylor polynomial of it has N roots. Ruslik _Zero 20:36, 22 December 2017 (UTC) [ reply ]
The product representation of
e
x
{\displaystyle e^{x}}
is
lim
N
→
∞
(
1
+
x
N
)
N
{\displaystyle \lim _{N\rightarrow \infty }\left(1+{\frac {x}{N}}\right)^{N}}
. Bo Jacoby (talk ) 20:58, 22 December 2017 (UTC) .[ reply ]
It is true but what I said still holds. Ruslik _Zero 20:07, 23 December 2017 (UTC) [ reply ]
I should have emphasized that the roots depend on N :
z
N
(
x
)
=
(
2
N
+
1
)
∏
j
=
1
D
(
x
−
r
N
,
j
)
{\displaystyle z_{N}(x)=(2N+1)\prod _{j=1}^{D}(x-r_{N,j})}
. The limit
z
∞
(
x
)
=
lim
N
→
∞
z
N
(
x
)
{\displaystyle z_{\infty }(x)=\lim _{N\rightarrow \infty }z_{N}(x)}
certainly exists for
|
x
|
<
1
{\displaystyle |x|<1}
. For example
z
7
(
x
)
=
15
∏
j
=
1
28
(
x
−
r
7
,
j
)
{\displaystyle z_{7}(x)=15\prod _{j=1}^{28}(x-r_{7,j})}
where
r
7
,
1
=
−
0.292929
{\displaystyle r_{7,1}=-0.292929}
,
r
7
,
2
=
−
0.0262713
+
0.709453
i
{\displaystyle r_{7,2}=-0.0262713+0.709453i}
,
r
7
,
3
=
−
0.0262713
−
0.709453
i
{\displaystyle r_{7,3}=-0.0262713-0.709453i}
,
r
7
,
4
=
0.407881
+
0.745992
i
{\displaystyle r_{7,4}=0.407881+0.745992i}
,
r
7
,
5
=
0.407881
−
0.745992
i
{\displaystyle r_{7,5}=0.407881-0.745992i}
,
r
7
,
6
=
−
0.909933
+
0.102748
i
{\displaystyle r_{7,6}=-0.909933+0.102748i}
,
r
7
,
7
=
−
0.909933
−
0.102748
i
{\displaystyle r_{7,7}=-0.909933-0.102748i}
,
r
7
,
8
=
0.642708
+
0.659149
i
{\displaystyle r_{7,8}=0.642708+0.659149i}
,
r
7
,
9
=
0.642708
−
0.659149
i
{\displaystyle r_{7,9}=0.642708-0.659149i}
,
r
7
,
10
=
−
0.66325
+
0.652759
i
{\displaystyle r_{7,10}=-0.66325+0.652759i}
,
r
7
,
11
=
−
0.66325
−
0.652759
i
{\displaystyle r_{7,11}=-0.66325-0.652759i}
,
r
7
,
12
=
−
0.305051
+
0.900312
i
{\displaystyle r_{7,12}=-0.305051+0.900312i}
,
r
7
,
13
=
−
0.305051
−
0.900312
i
{\displaystyle r_{7,13}=-0.305051-0.900312i}
,
r
7
,
14
=
0.801119
+
0.536062
i
{\displaystyle r_{7,14}=0.801119+0.536062i}
,
r
7
,
15
=
0.801119
−
0.536062
i
{\displaystyle r_{7,15}=0.801119-0.536062i}
,
r
7
,
16
=
0.910997
+
0.377235
i
{\displaystyle r_{7,16}=0.910997+0.377235i}
,
r
7
,
17
=
0.910997
−
0.377235
i
{\displaystyle r_{7,17}=0.910997-0.377235i}
,
r
7
,
18
=
0.977577
+
0.194432
i
{\displaystyle r_{7,18}=0.977577+0.194432i}
,
r
7
,
19
=
0.977577
−
0.194432
i
{\displaystyle r_{7,19}=0.977577-0.194432i}
,
r
7
,
20
=
−
0.878192
+
0.472676
i
{\displaystyle r_{7,20}=-0.878192+0.472676i}
,
r
7
,
21
=
−
0.878192
−
0.472676
i
{\displaystyle r_{7,21}=-0.878192-0.472676i}
,
r
7
,
22
=
−
1
{\displaystyle r_{7,22}=-1}
,
r
7
,
23
=
i
{\displaystyle r_{7,23}=i}
,
r
7
,
24
=
−
i
{\displaystyle r_{7,24}=-i}
,
r
7
,
25
=
0.317872
+
1.00891
i
{\displaystyle r_{7,25}=0.317872+1.00891i}
,
r
7
,
26
=
0.317872
−
1.00891
i
{\displaystyle r_{7,26}=0.317872-1.00891i}
,
r
7
,
27
=
−
0.62899
+
0.853767
i
{\displaystyle r_{7,27}=-0.62899+0.853767i}
,
r
7
,
28
=
−
0.62899
−
0.853767
i
{\displaystyle r_{7,28}=-0.62899-0.853767i}
.
Bo Jacoby (talk ) 08:15, 24 December 2017 (UTC) .[ reply ]