Does anyone know an infinite series summation that is equal to i?

In summary: Summary: In summary, the conversation discusses the search for an infinite series summation that is equal to the imaginary number, i. It is mentioned that this can be achieved by replacing "i" with any other value in a convergent sequence. The conversation also explores the idea of finding a unique infinite series equal to "i" and the potential use of infinite products in this search. One participant offers a challenging homework assignment to find an infinite number of infinite product identities for "i". The conversation concludes with a discussion on the benefits of hiding or exposing "i" in mathematical equations.
  • #1
mesa
Gold Member
695
38
The title pretty much says it all, does anyone know of an infinite series summation that is equal to $$\sqrt{-1}$$?
 
Mathematics news on Phys.org
  • #2
Let ∑an be convergent sequence with limit L. Then ∑i an/ L converges to i
 
  • #3
johnqwertyful said:
Let ∑an be convergent sequence with limit L. Then ∑i an/ L converges to i

If that works then it is clever and unexpected (a wonderfully typical trait of PF:) although it will work for anything in place of 'i' correct?
Being recursive is fine but I am looking for a 'unique' solution.

I have one and have a hard time believing I am first to do so, so what else is out there?
 
  • #4
Yes, you may replace "i" with anything.
 
  • #5
johnqwertyful said:
Yes, you may replace "i" with anything.

Borek posted on a couple of my previous threads 'make an infinite series equal to 1 and multiply (insert the value I was attempting to get) by it.' At least this is a cleverly disguised version of the same thing, well done!

Anyway, have you ever seen a unique infinite series equal to 'i'? Google searches and the such are turning up nothing. How cool would it be if this is a first?! :biggrin:
 
  • #6
mesa said:
have you ever seen a unique infinite series equal to 'i'?

What do you mean by a "unique" infinite series. For that matter, what would a non-unique infinite series be?
 
  • #7
Stephen Tashi said:
What do you mean by a "unique" infinite series. For that matter, what would a non-unique infinite series be?

As in one where we don't use an infinite series equal to '1' and then multiply by 'i'. Apparently a fairly common suggestion here on PF :tongue2:
 
  • #8
I do...but it's not an infinite sum...it's an infinite product.
Care to investigate this further? Or do you need a sum,
and can't see how a product could come in handy?

Because I have a product, ##log(I)## is a sum and is
easy to get. And powers of "I" are also easy to get
using the infinite product identity.

Would that be of any help in your project?
 
  • #9
ClamShell said:
I do...but it's not an infinite sum...it's an infinite product.
Care to investigate this further? Or do you need a sum,
and can't see how a product could come in handy?

Because I have a product, ##log(I)## is a sum and is
easy to get. And powers of "I" are also easy to get
using the infinite product identity.

Would that be of any help in your project?

Honestly I have little experience with infinite products so far but I would love to see your work!
 
  • #10
mesa said:
Honestly I have little experience with infinite products so far but I would love to see your work!

Here is your homework assignment:

Given the information in the new thread "A Cool Identity" in General Math,
find an infinite number of infinite product identities for "I". Partial credit
will be given if you can only find a finite number of identities.
HINT: factor the factors into complex and real conjugates.

This is not a "snipe" hunt, we are dealing with the mathematical
certainty of prohibiting polynomial cross-products. Or stated
differently, an infinite number of equations in an infinite number
of unknowns, IS solvable.

Math is very fun.
 
Last edited:
  • #11
mesa said:
As in one where we don't use an infinite series equal to '1' and then multiply by 'i'. Apparently a fairly common suggestion here on PF :tongue2:

Are you asking for a series that sums to i whose individual terms cannot each be divided by i ? If the individual terms can be divided by i, this gives an infinite series that sums to 1.
 
  • #12
mesa said:
Honestly I have little experience with infinite products so far but I would love to see your work!
And I'll give you half credit if the only ones you find are an infinite number
of products equal to unity and trivially multiply by "I".

Math is very, very fun...or none of us would be here, n'est ce pas?

You don't have to be "super-brilliant", just interested in puzzles,
and then you become "super-brilliant" in some tiny, tiny niche of
reality; you learn more and more about less and less.

EDIT: another HINT: be sure to remember that "I" need only be
multiplied by anyone of the infinite number of factors.
 
Last edited:
  • #13
For those of you who do not like to cross threads,
here is the super-cool identity:

\begin{eqnarray}
\frac {1} {1-x} =
(1+x) \prod_{n=1} ^{\infty}
\left( \frac {1+x^{2^n}} {1-x^{2^n}} \right)^{2^{-n}} , {\;}
\text{for} {\;} 0\leq x<1
\nonumber
\end{eqnarray}

It's in LaTex, so feel free to move it around.
 
  • #14
Just food for thought, which is better? Exposing "I", or hiding it?
 
  • #15
Stephen Tashi said:
Are you asking for a series that sums to i whose individual terms cannot each be divided by i ? If the individual terms can be divided by i, this gives an infinite series that sums to 1.

Sounds like we are on the same page, although you guys at PF are masters of semantics so I look forward to your response :)

ClamShell, I wish I could do as you are suggesting but infinite products are not yet part of my vocabulary.
 
  • #16
Sorry to have imposed...I used to like sums because
their so easy to differentiate. Now I suspect that it
is just another fatal attraction. The answer is that
it is better to hide "I" than to expose it.
Disclaimer: But I do respect the opinion that "I"
is a pretty fun object. Adios.
 
  • #17
ClamShell said:
Sorry to have imposed...I used to like sums because
their so easy to differentiate. Now I suspect that it
is just another fatal attraction. The answer is that
it is better to hide "I" than to expose it.
Disclaimer: But I do respect the opinion that "I"
is a pretty fun object. Adios.

Infinite products are the next step after infinite series, I can't wait to 'dig in' to these wonderful things. When I get up to speed I look forward to accepting your challenges!
 
  • #18
mesa said:
Infinite products are the next step after infinite series, I can't wait to 'dig in' to these wonderful things. When I get up to speed I look forward to accepting your challenges!
Keep in touch.
 
  • #19
mesa said:
The title pretty much says it all, does anyone know of an infinite series summation that is equal to $$\sqrt{-1}$$?
Just can't keep my mouth shut...

What about 1 = 1/2 + 1/4 + 1/8 + 1/16 + ... (Zeno?)?

Each denominator is 2^n for n = 1 to infinity
or each denominator is double the previous denominator.

What happens if each denominator is (2i)^n ?

This simple sum may reveal what happens to
some class of other sums.

Or what happens when ##i = i/2 + i/4 + i/8 + ...## ?
and you need to find powers of ##i## by powering the
right hand side?
 
  • #20
ClamShell said:
Just can't keep my mouth shut...

What about 1 = 1/2 + 1/4 + 1/8 + 1/16 + ... (Zeno?)?

Each denominator is 2^n for n = 1 to infinity
or each denominator is double the previous denominator.

What happens if each denominator is (2i)^n ?

Ah hah! With that we could do this,

$$i=.2-\sum_{n=0}^{\infty} \frac{1}{.4(2i)^n}$$

I think that will work.

Very good, thank you ClamShell!
Anyone else have anything?
 
Last edited:
  • #21
mesa said:
Ah hah! With that we could do this,

$$i=.2-\sum_{n=0}^{\infty} \frac{1}{.4(2i)^n}$$

I think that will work.

Very good, thank you ClamShell!
Anyone else have anything?
I don't see it, please show your work...
 
  • #22
ClamShell said:
I don't see it, please show your work...

Hang on, I'm throwing it in wolfram...
 
  • #23
ClamShell said:
I don't see it, please show your work...

$$i=2-\sum_{n=0}^{\infty} \frac{1}{.4(2i)^n}$$

That's better, now it works :biggrin:
 
  • #24
So the sum is ##(2 - i)## ?
 
  • #25
ClamShell said:
So the sum is ##(2 - i)## ?

Apparently so!

So what else can we do?
 
  • #26
I like this forum!
I used Mac Laurin (1/(1-x/2) and e^(i*pi))formulas therefore "i" can be written as relation which is containing series but not just one summation series because i^0=1; i^1=i;i^2=-1;i^3=-i;i^4=1...
Now using Mac Laurin formula for 1/(1-x/2) and k=sum(j=0;oo;(1/2)^(4*j)); we have i=-2*(15*k-4)/(15*k-16).
This is not a sum of series but a relation which contains series.
 
Last edited:
  • #27
mariusdarie said:
I like this forum!
I used Mac Laurin (1/(1-x/2) and e^(i*pi))formulas therefore "i" can be written as relation which is containing series but not just one summation series because i^0=1; i^1=i;i^2=-1;i^3=-i;i^4=1...
Now using Mac Laurin formula for 1/(1-x/2) and k=sum(j=0;oo;(1/2)^(4*j)); we have i=-2*(15*k-4)/(15*k-16).
This is not a sum of series but a relation which contains series.

I'm not making the connection here, could you show some steps?
 
  • #28
mesa said:
So what else can we do?

Here's what I suggest, although it is very distasteful to folks
who have learned very much about ##i## .

Coming up with normalized sums and then multiplying both
sides of the equation by ##i## is a bit trivial in my book.
It's what I call "factoring it in".

I think what the many folks who try to come up with infinite
sums for ##i##, are really after, is a method for "factoring it out"
of the right-hand-side of a normalized relationship; but the only
infinite sums that seem to crop up leaves ##i## on both sides
of the equation.

An example of "factoring ##i## out" instead of "factoring ##i## in"
is ##0 = x^2 + 1## .
 
  • #29
ClamShell said:
Here's what I suggest, although it is very distasteful to folks
who have learned very much about ##i## .

Coming up with normalized sums and then multiplying both
sides of the equation by ##i## is a bit trivial in my book.
It's what I call "factoring it in".

I think what the many folks who try to come up with infinite
sums for ##i##, are really after, is a method for "factoring it out"
of the right-hand-side of a normalized relationship; but the only
infinite sums that seem to crop up leaves ##i## on both sides
of the equation.

An example of "factoring ##i## out" instead of "factoring ##i## in"
is ##0 = x^2 + 1## .

That's basically what I did building off of your suggestion of 1/(2i)^n.

Let's try to get something more concrete down, for example throw up another infinite series summation for some real number, stuff 'i' into the mix somewhere where it will be affected by each consecutive term and see if we can algebraically manipulate it to get more summations for 'i' like your last one.

Should be fun!
 
  • #30
Next step might be to figure out what ##i^2, i^3, i^4## look like.

I'm at a disadvantage because I do not know how you arrived at your
identity.
 
  • #31
ClamShell said:
Next step might be to figure out what ##i^2, i^3, i^4## look like.

0

ClamShell said:
I'm at a disadvantage because I do not know how you arrived at your
identity.

Sometimes you just see stuff and when it works you shout hooray! I use more 'intuition' than I do rigor (that usually comes after to prove the identity) but it seems it was along the lines of your suggestion.
 
  • #32
Plug and Chug...danger, danger
 
  • #33
ClamShell said:
Plug and Chug...danger, danger
Take a look at what it takes to prove some identities, in particular,
the identity in "A cool identity" in General math.
 
  • #34
Sum n/(2^n) is also neat...it converges to 2

It's the entropy of Sum 1/(2^n) if you choose
to think of it as a probability sum equal to one.
n starts at 1 in both sums.

You might use Sum n/(2^n) for the 2 in your identity,
I'm not telling you how to do this stuff, just
making suggestions.

Maybe 1/(0.4) could be rewritten as 2.5...see
where I'm going? Put both together and enclose
in just one summa.

EDIT: Sum 2/(2^n) could also be used to replace
the 2 in your identity.

What happens when you start at some other n?

What does 1/(2i)^n converge to? Wolfram could
tell us that. I might try Wolfram some day.

You might ask, "where do you come up with this
stuff"...I can't even use IRS programs without
making mistakes. Go figure.

I'm thinkin' that you already have enough
knowledge of sums; remember I said it was
a fatal attraction...I'm thinkin' all you need
to learn products is in:

http://en.wikipedia.org/wiki/Infinite_product

And all you need to know about my infinite product
identity, is that it's not merely a polynomial, it's an
infinite product of polynomials; special polynomials;
cross-product free polynomials. And the only way to
get cross-product free polynomials is by real and
complex conjugate pairs. All the principle cross-product
free polynomials that exist. Ahem...
 
Last edited:
  • #35
ClamShell said:
Sum n/(2^n) is also neat...it converges to 2

It's the entropy of Sum 1/(2^n) if you choose
to think of it as a probability sum equal to one.
n starts at 1 in both sums.

You might use Sum n/(2^n) for the 2 in your identity,
I'm not telling you how to do this stuff, just
making suggestions.

Maybe 1/(0.4) could be rewritten as 2.5...see
where I'm going? Put both together and enclose
in just one summa.

EDIT: Sum 2/(2^n) could also be used to replace
the 2 in your identity.

Sure could, we could rewrite it as,

$$i=\sum_{n=0}^{\infty} \frac{n.4(2i)^n-2^n}{2^n.4(2i)^n}$$
or,
$$i=\sum_{n=0}^{\infty} \frac{.8(2i)^n-2^n}{2^n.4(2i)^n}$$

ClamShell said:
What does 1/(2i)^n converge to? Wolfram could
tell us that. I might try Wolfram some day.

You might ask, "where do you come up with this
stuff"...I can't even use IRS programs without
making mistakes. Go figure.

I am not always the biggest fan of computers either however their usefulness is hard to ignore.

ClamShell said:
I'm thinkin' that you already have enough
knowledge of sums; remember I said it was
a fatal attraction...I'm thinkin' all you need
to learn products is in:

http://en.wikipedia.org/wiki/Infinite_product

I don't, I have only been doing this for a few months between school, work, and raising my kids. I haven't even brought Calculus into series summations yet (although I am about to start, this is going to be awesome!)


ClamShell said:
And all you need to know about my infinite product
identity, is that it's not merely a polynomial, it's an
infinite product of polynomials; special polynomials;
cross-product free polynomials. And the only way to
get cross-product free polynomials is by real and
complex conjugate pairs. All the principle cross-product
free polynomials that exist. Ahem...

If you think it's new and useful than you should look to see if it is known, the forum can be very helpful at making suggestions on where to start and (as I have seen suggested on PF) if it seems new try writing a paper and let the math community tear it up :)
 

Similar threads

  • General Math
Replies
7
Views
1K
  • General Math
Replies
6
Views
844
Replies
1
Views
1K
Replies
17
Views
3K
Replies
3
Views
980
Replies
4
Views
1K
Replies
20
Views
1K
  • General Math
Replies
7
Views
1K
Replies
3
Views
243
Replies
4
Views
414
Back
Top