Skip to main content
added 1398 characters in body
Source Link
Artes
  • 57.9k
  • 13
  • 159
  • 247

First we can see that ${\frac{(6k+1)^{k}}{(2k+5)^{k}}}$ behaves asymptotically as $3^k$, while $(z-2i)^k$ is divergent if $\|z-2i\|\ge1 $ otherwise$\|z-2i\|>1 $, however when $\|z-2i\|<1 $ it is convergent. For $\|z-2i\|=1$ this criterion is not conclusive. On the other hand we can carefully extend this argument to the full sequence, so we need only $\|z-2i\| < \frac{1}{3} $ to ensure that the sequence is convergent, and in fact Mathematica can tackle with an approprate assumption:

Moreover itHowever putting Assumptions -> Abs[-2 I + z] >= 1/3 Mathematica returns ComplexInfinity which is only generically true i.e. there are exceptional arguments satisfying Abs[-2 I + z] == 1/3 where the sequence converges. So in general assumming Abs[-2 I + z] == 1/3 the limit is left unevaluated. This issue is acceptable however as mentioned before here the limit can be extendedconvergent only conditionally.

E.g. let's assume z == 2 I + 1/3, no we can find the symbolic limit:

Limit[ ((6 k + 1)/(2 k + 5))^k (z - 2 I)^k, k -> Infinity, 
       Assumptions -> z == 2 I + 1/3]
1/E^(7/3)

For other arguments satisfying Abs[-2 I + z] == 1/3 e.g. find five of them:

FindInstance[ Abs[-2 I + z] == 1/3, z, 5]
{{z -> 149/752 + (I (4512 - Sqrt[365695]))/2256}, 
 {z -> 47 - 2/141 I (-141 + 5 Sqrt[22])}, 
 {z -> -(55/752) + (4512 + Sqrt[538279]))/2256}, 
 {z -> 1/47 + 2/141 I (141 + 5 Sqrt[22])}, {z -> 1/3 + 2 I}}

the sequence is not convergent however the limit is resticted to appropriate geometric subset of the complex plane:

Limit[ ((6 k + 1)/(2 k + 5))^k (z - 2 I)^k, k -> Infinity, 
       Assumptions -> z == 149/752 + (I (4512 - Sqrt[365695]))/2256]
E^(-(7/3) + 2 I Interval[{0, Pi}])    

With Mathematica we can also verify convergence of the adequate series, this provides the condition for convergence of the series:

Concluding we can say that Mathematica still requires a quantum of mathematical knowledge and I think it is quite fine. I'm quite convinced that the perspective that in the distant future mathematics will be done by computers is only athe field of computer activity is an unrealizable dream (and it seems some kind of S.Wolfram's publicity). See Computational Knowledge and the Future of Pure Mathematics. Nevertheless we can still expect quite reasonably that Mathematica will be able to do much more in mathematics.

First we can see that ${\frac{(6k+1)^{k}}{(2k+5)^{k}}}$ behaves asymptotically as $3^k$, while $(z-2i)^k$ is divergent if $\|z-2i\|\ge1 $ otherwise it is convergent. On the other hand we can extend this argument to the full sequence, so we need only $\|z-2i\| < \frac{1}{3} $ to ensure that the sequence is convergent, and in fact Mathematica can tackle with an approprate assumption:

Moreover it can be extended to the adequate series, this provides the condition for convergence of the series:

Concluding we can say that Mathematica still requires a quantum of mathematical knowledge and I think it is quite fine. I'm quite convinced that the perspective that in the distant future mathematics will be done by computers is only a unrealizable dream (and some kind of S.Wolfram's publicity). See Computational Knowledge and the Future of Pure Mathematics. Nevertheless we can still expect quite reasonably that Mathematica will be able to do much more in mathematics.

First we can see that ${\frac{(6k+1)^{k}}{(2k+5)^{k}}}$ behaves asymptotically as $3^k$, while $(z-2i)^k$ is divergent if $\|z-2i\|>1 $, however when $\|z-2i\|<1 $ it is convergent. For $\|z-2i\|=1$ this criterion is not conclusive. On the other hand we can carefully extend this argument to the full sequence, so we need only $\|z-2i\| < \frac{1}{3} $ to ensure that the sequence is convergent, and in fact Mathematica can tackle with an approprate assumption:

However putting Assumptions -> Abs[-2 I + z] >= 1/3 Mathematica returns ComplexInfinity which is only generically true i.e. there are exceptional arguments satisfying Abs[-2 I + z] == 1/3 where the sequence converges. So in general assumming Abs[-2 I + z] == 1/3 the limit is left unevaluated. This issue is acceptable however as mentioned before here the limit can be convergent only conditionally.

E.g. let's assume z == 2 I + 1/3, no we can find the symbolic limit:

Limit[ ((6 k + 1)/(2 k + 5))^k (z - 2 I)^k, k -> Infinity, 
       Assumptions -> z == 2 I + 1/3]
1/E^(7/3)

For other arguments satisfying Abs[-2 I + z] == 1/3 e.g. find five of them:

FindInstance[ Abs[-2 I + z] == 1/3, z, 5]
{{z -> 149/752 + (I (4512 - Sqrt[365695]))/2256}, 
 {z -> 47 - 2/141 I (-141 + 5 Sqrt[22])}, 
 {z -> -(55/752) + (4512 + Sqrt[538279]))/2256}, 
 {z -> 1/47 + 2/141 I (141 + 5 Sqrt[22])}, {z -> 1/3 + 2 I}}

the sequence is not convergent however the limit is resticted to appropriate geometric subset of the complex plane:

Limit[ ((6 k + 1)/(2 k + 5))^k (z - 2 I)^k, k -> Infinity, 
       Assumptions -> z == 149/752 + (I (4512 - Sqrt[365695]))/2256]
E^(-(7/3) + 2 I Interval[{0, Pi}])    

With Mathematica we can also verify convergence of the adequate series, this provides the condition for convergence:

Concluding we can say that Mathematica still requires a quantum of mathematical knowledge and I think it is quite fine. I'm quite convinced that the perspective that in the distant future mathematics will be only the field of computer activity is an unrealizable dream (and it seems some kind of S.Wolfram's publicity). See Computational Knowledge and the Future of Pure Mathematics. Nevertheless we can still expect quite reasonably that Mathematica will be able to do much more in mathematics.

Source Link
Artes
  • 57.9k
  • 13
  • 159
  • 247

First we can see that ${\frac{(6k+1)^{k}}{(2k+5)^{k}}}$ behaves asymptotically as $3^k$, while $(z-2i)^k$ is divergent if $\|z-2i\|\ge1 $ otherwise it is convergent. On the other hand we can extend this argument to the full sequence, so we need only $\|z-2i\| < \frac{1}{3} $ to ensure that the sequence is convergent, and in fact Mathematica can tackle with an approprate assumption:

Limit[ ((6k + 1)/(2k + 5))^k (z - 2I)^k, k -> Infinity, 
        Assumptions -> 3 Abs[-2 I + z] < 1]
0

Moreover it can be extended to the adequate series, this provides the condition for convergence of the series:

SumConvergence[((6k + 1)/(2k + 5))^k (z - 2I)^k, k]
3 Abs[-2 I + z] < 1

Mathematica correctly returned ComplexInfinity for provided values of z since they did not satisfied the appropiate condition:

Abs[{3 + 4I, 3 - 4I, -3 - 4I, -4I, 4I, 4, -4}]
{5, 5, 5, 4, 4, 4, 4}

Concluding we can say that Mathematica still requires a quantum of mathematical knowledge and I think it is quite fine. I'm quite convinced that the perspective that in the distant future mathematics will be done by computers is only a unrealizable dream (and some kind of S.Wolfram's publicity). See Computational Knowledge and the Future of Pure Mathematics. Nevertheless we can still expect quite reasonably that Mathematica will be able to do much more in mathematics.