How to Write (a_1+...+a_n)(b_1+...+b_n) in Einstein Notation?

Join the discussion
Ask a follow-up here, or get your own question answered by working scientists, mathematicians and engineers — people, not an autocomplete.
Real named experts · corrections over time · the nuance an AI answer skips
6 replies · 3K views
mnb96
Messages
711
Reaction score
5
Hi!
I want to write the following expression in Einstein notation:

[tex](a_1+\ldots+a_n)(b_1+\ldots+b_n)[/tex]

I tried it by introducing the term [tex]I^{ij}=1[/tex] and writing:

[tex]a_ib_jI^{ij}[/tex]

Are you aware of another, more convenient form for this?
 
Physics news on Phys.org
According to the Einstein summation convention, when ever a expression contains one index as a superscript and the same index as a subscript a summation is implied over all values that the index can take. (As defined in Schutz "A First Course in General Relativity")

So what do you need the I super ij for?

I would just write it as

a (superscript i) * b (subscript i) for all values that i can take.

(My LaTex usage is horrible that is why I typed it out.)

Thanks
Matt
 
CFDFEAGURU said:
So what do you need the I super ij for?

I would just write it as

a (superscript i) * b (subscript i) for all values that i can take.

In general

[tex](a_1+\ldots+a_n)(b_1+\ldots+b_n) \neq \sum_{i=1}^{n}a_i\,b_i[/tex]
 
You probably read too fast: [tex]a^ib_i=a_1b_1+\ldots+ a_nb_n[/tex] and that clearly does not produce all the combinations.
I'm trying to figure out if I really need to introduce that [tex]I^{ij}=1[/tex] term, or if I can express that by using the kronecker delta or the levi-civita symbol.
 
Yes, that is correct, but I said one is a superscript and one is a subscript. You have them written as both subscripts.

Yes, I did overlook the parenthesis.

Would it not then just be

a (superscript i) a (subscript i) * b (superscript 1) b (subscript i)

?

Thanks
Matt
 
Yes, thanks torquil.

Matt
 
mnb96 said:
You probably read too fast: [tex]a^ib_i=a_1b_1+\ldots+ a_nb_n[/tex] and that clearly does not produce all the combinations.
I'm trying to figure out if I really need to introduce that [tex]I^{ij}=1[/tex] term, or if I can express that by using the kronecker delta or the levi-civita symbol.

The problem with this is that if you construct an expression out of a, b, the kronecker delta and/or the levi civita symbol, and it has no free indices, it will be rotationally invariant. Your original expression is not rotationally invariant, so you need something else, e.g. your matrix of 1's.

Torquil