Einstein summation notation, ambiguity?

Click For Summary

Discussion Overview

The discussion revolves around the interpretation of Einstein summation notation, particularly the ambiguity that arises when distinguishing between summing in the domain versus the range of a function. Participants explore how to express these different summation contexts clearly within the notation.

Discussion Character

  • Debate/contested

Main Points Raised

  • One participant suggests that ##f(x_ie_i)## is interpreted as ##f(\Sigma x_ie_i)##, indicating summation in the domain of f, but questions how to express summation in the range as ##\Sigma f(x_ie_i)##.
  • Another participant proposes that to indicate summation in the range while using Einstein notation, one must write it explicitly to override the conventional interpretation.
  • A participant reiterates the need for clarity in distinguishing between ##f(\Sigma x^{\mu}e_{\mu})## and ##\Sigma f(x^{\mu}e_{\mu})##, suggesting that the latter can be expressed as ##f(x^{\mu}e_{\nu})\delta^{\nu}_{\mu}##.
  • A later reply acknowledges the cleverness of the proposed distinction, indicating a positive reception to the insight shared.

Areas of Agreement / Disagreement

Participants express differing views on how to effectively communicate the distinction between summing in the domain versus the range in Einstein summation notation, indicating that no consensus has been reached.

Contextual Notes

The discussion highlights potential ambiguities in notation and the need for explicit clarification in certain contexts, but does not resolve the underlying issues of interpretation.

Hiero
Messages
322
Reaction score
68
If I see ##f(x_ie_i)## I assume it means ##f(\Sigma x_ie_i)## (summing in the domain of f) but what if I instead wanted to write ##\Sigma f(x_ie_i)## (summing in the range)?

Is there a way to distinguish between these in Einstein’s summation notation?
 
Physics news on Phys.org
This is an odd case, but I think if you want the latter, in a context where Einstein summation is implied, you have to write it explicitly, overriding the convention. Only first case is handled by the summation convention.
 
Hiero said:
Is there a way to distinguish between these in Einstein’s summation notation?
So ##f(\Sigma x^{\mu}e_{\mu})## is ##f(x^{\mu}e_{\mu})## and ##\Sigma f(x^{\mu}e_{\mu})## is ##f(x^{\mu}e_{\nu})\delta^{\nu}_{\mu}##
 
  • Like
Likes   Reactions: andresB, sophiecentaur, PeroK and 1 other person
Dale said:
So ##f(\Sigma x^{\mu}e_{\mu})## is ##f(x^{\mu}e_{\mu})## and ##\Sigma f(x^{\mu}e_{\mu})## is ##f(x^{\mu}e_{\nu})\delta^{\nu}_{\mu}##
Oh wow, that’s clever! Thanks for the insight.
 
  • Like
Likes   Reactions: Dale

Similar threads

  • · Replies 1 ·
Replies
1
Views
1K
  • · Replies 2 ·
Replies
2
Views
3K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 5 ·
Replies
5
Views
3K
  • · Replies 7 ·
Replies
7
Views
1K
  • · Replies 6 ·
Replies
6
Views
2K
  • · Replies 7 ·
Replies
7
Views
2K
  • · Replies 9 ·
Replies
9
Views
5K
  • · Replies 13 ·
Replies
13
Views
2K