Are these equations true?

  • I
  • Thread starter olgerm
  • Start date
In summary: And for the love of everything that is good in this world, stop trying to be clever by coming up with your own notation. There is a reason why we use standard notation. It's so we can communicate effectively. If you come up with your own notation, then you create an additional barrier between yourself and the rest of the physics/math community. Also, your notation is nonsensical in the context of Riemannian and pseudo-Riemannian geometry. If I want to raise the index of the second term, then the second term must be a tensor. Is it a tensor? No. It is not. Erg
  • #1
olgerm
Gold Member
531
34
are these equstions true(not just in SR)
## g^{\nu m_2}g^{\mu m_1}g^{j_1 m_3} \frac{\partial \Gamma_{m_3 m_2 m_1}}{\partial x^{j_1}}=\frac{\partial{\Gamma}^{j1\nu\mu}}{\partial x^{j_1}}##

##g^{i_2 m_2}g^{i_1 m_1}g^{j_1 m_3}{\Gamma_{m_3 j_1 j_2}}{\Gamma_{m_4 m_2 m_1}}={\Gamma^{j_1}}_{j_1 j_2}\Gamma^{j_2 i_2 i_1 }##
?
##\Gamma## is christoffel symbol.
##g## is metric tensor.

contrvariance and covariance of chistoffel symbol indices have same meaning like in ricci tensor##
{\displaystyle R_{\alpha \beta }=2{\Gamma ^{\rho }}_{\alpha [\beta ,\rho ]}+2{\Gamma ^{\rho }}_{\lambda [\rho }{\Gamma ^{\lambda }}_{\beta ]\alpha }.}={R^{\rho }}_{\alpha \rho \beta }=\partial _{\rho }{\Gamma ^{\rho }}_{\beta \alpha }-\partial _{\beta }{\Gamma ^{\rho }}_{\rho \alpha }+{\Gamma ^{\rho }}_{\rho \lambda }{\Gamma ^{\lambda }}_{\beta \alpha }-{\Gamma ^{\rho }}_{\beta \lambda }{\Gamma ^{\lambda }}_{\rho \alpha }##.
 
Physics news on Phys.org
  • #2
Your passion for reducing expressions to their component parts seems to have deserted you at a point when it would actually have helped you. Look at the definition of the Christoffel symbols ##\Gamma^i_{jk}##. They include terms with ##\partial_j## and ##\partial_k##, so raising the lower indices implies raising an index on a partial derivative. As discussed on one of your other threads, this only works in flat spacetime (where the connection coefficients are zero anyway).
 
  • #3
Ibix said:
Look at the definition of the Christoffel symbols ##\Gamma^i_{jk}##. They include terms with ##\partial_j## and ##\partial_k##, so raising the lower indices implies raising an index on a partial derivative. As discussed on one of your other threads, this only works in flat spacetime (where the connection coefficients are zero anyway).
I used the relation that wipedia gave about Christoffel symbol(that first index of Christoffel symbol tranforms like Christoffel symbol were tensor). Just want to get confirmation wheter all is correct or made some mistakes.

upper and lower indices also appeat in GR equation so there must be some way of transorming these (co- to contravariant) in GR.
 
  • #4
Again, look at the definition of the Christoffel symbols. The first index does not appear on a partial derivative, only on the metric. You can raise or lower this index using the metric tensor, and the mixed form of the Christoffel symbols does indeed appear in the mixed Riemann tensor. But I've never seen an "all upper index" Christoffel symbol and as far as I'm aware such a thing doesn't really make sense.
 
  • Like
Likes weirdoguy
  • #5
Ibix said:
first index does not appear on a partial derivative, only on the metric.
it does ## \Gamma _{cab}={\frac {1}{2}}\left({\frac {\partial g_{ca}}{\partial x^{b}}}+{\frac {\partial g_{cb}}{\partial x^{a}}}-{\frac {\partial g_{ab}}{\partial x^{c}}}\right)##

look the general deinition not definition for euclidean space.
 
  • #6
olgerm said:
it does ## \Gamma _{cab}={\frac {1}{2}}\left({\frac {\partial g_{ca}}{\partial x^{b}}}+{\frac {\partial g_{cb}}{\partial x^{a}}}-{\frac {\partial g_{ab}}{\partial x^{c}}}\right)##

look the general deinition not definition for euclidean space.
It doesn't in the mixed version, which I was looking at. So you can manifestly lower an index, but presumably there's some work to be done to show that you can raise it.

I'm bowing out now. I've never seen an "all upper" Christoffel symbol and as far as I know it doesn't make sense. We'll see if anyone else chips in.
 
  • #7
Are the equation in my 1. post true or not?
 
  • #8
olgerm said:
Are the equation in my 1. post true or not?
It is nonsensical. As you have already been told, we typically do not raise the two last indices of the Christoffel symbols because it makes very little sense to do so. Even if we did, the metric components do not commute with the partial derivative.
 
  • #9
contravairant ricci tensor includes these terms.
##R^{\alpha \beta }=R(\alpha,\beta)=\frac{\partial{\color{red}\Gamma}^{j1 \beta \alpha }}{\partial x^{j_1}}-\frac{{\partial{\Gamma^{j_1}}_{j_1}}^{\alpha}}{\partial x_{\beta}}+\sum_{j_2=0}^D(\color{red}{\Gamma^{j_1}}_{j_1 j_2}\Gamma^{j_2 \beta \alpha }\color{black}-{\Gamma ^{j_1 \beta}}_{j_2 }{{\Gamma^{j_2}}_{j_1}}^{\alpha }))##
 
  • #10
olgerm said:
contravairant ricci tensor includes these terms.
##R^{\alpha \beta }=R(\alpha,\beta)=\frac{\partial{\color{red}\Gamma}^{j1 \beta \alpha }}{\partial x^{j_1}} \dots##
Many people have already told you that ##\Gamma^{ijk}## is a nonsensical term in the context of Riemannian and pseudo-Riemannian geometry. If you want to create your own symbols for your own personal use, that’s your prerogative. But don’t be surprised when we can’t tell you anything about the correctness of equations using those symbols, especially when you don’t define them, or if you do, you define them using incorrect presuppositions.
 
  • Like
Likes Orodruin
  • #11
Pencilvester said:
##\Gamma^{ijk}## is a nonsensical term in the context of Riemannian and pseudo-Riemannian geometry.
thats just what contravariant ricci tensor tensor includes.
from wiki:
##R_{\alpha \beta }=\sum_{j_1=0}^D({R^{j_1}}_{\alpha j_1 \beta })=\sum_{j_1=0}^D(\partial _{j_1 }{\Gamma ^{j_1 }}_{\beta \alpha }-\partial _{\beta }{\Gamma ^{j_1}}_{j_1 \alpha }+\sum_{j_2=0}^D({\Gamma ^{j_1 }}_{j_1 j_2 }{\Gamma ^{j_2}}_{\beta \alpha }-{\Gamma ^{j_1 }}_{\beta j_2 }{\Gamma ^{j_2 }}_{j_1 \alpha }))=\sum_{j_1=0}^D(\frac{\partial{\Gamma ^{j_1}}_{\beta \alpha }}{\partial x^{j_1}}-\sum_{j_2=0}^D(\frac{{\Gamma^{j_1}}_{j_1 \alpha}}{\partial x^{\beta}}+{\Gamma^{j_1}}_{j_1 j_2}{\Gamma ^{j_2}}_{\beta \alpha }-{\Gamma ^{j_1}}_{\beta j_2 }{\Gamma^{j_2}}_{j_1 \alpha }))##

now raising indices on both sides of equation:
##R^{\alpha \beta }=R(\alpha,\beta)=\sum_{j_1=0}^D(\frac{\partial{\Gamma}^{j1 \beta \alpha }}{\partial x^{j_1}}-\frac{{\partial{\Gamma^{j_1}}_{j_1}}^{\alpha}}{\partial x_{\beta}}+\sum_{j_2=0}^D({\Gamma^{j_1}}_{j_1 j_2}\Gamma^{j_2 \beta \alpha }-{\Gamma ^{j_1 \beta}}_{j_2 }{{\Gamma^{j_2}}_{j_1}}^{\alpha }))##

or are you saying that contravariant ricci tensor "doesnt make sense" ether?
anyway the term "doesnt make sense" ambigous.
 
  • #12
olgerm said:
now raising indices on both sides of equation:
For the hundredth time: You cannot just go around raising indices inside derivatives, even if you for some reason want to define Christoffel symbols with exclusively upper indices.
 
  • Like
Likes Dragrath, weirdoguy and Vanadium 50
  • #13
olgerm said:
...now raising indices on both sides of equation:
##R^{\alpha \beta }=R(\alpha,\beta)=\sum_{j_1=0}^D(\frac{\partial{\Gamma}^{j1 \beta \alpha }}{\partial x^{j_1}}-\frac{{\partial{\Gamma^{j_1}}_{j_1}}^{\alpha}}{\partial x_{\beta}}+\sum_{j_2=0}^D({\Gamma^{j_1}}_{j_1 j_2}\Gamma^{j_2 \beta \alpha }-{\Gamma ^{j_1 \beta}}_{j_2 }{{\Gamma^{j_2}}_{j_1}}^{\alpha }))##

or are you saying that contravariant ricci tensor "doesnt make sense" ether?
anyway the term "doesnt make sense" ambigous.

$$\Gamma^\alpha_{\mu \nu} \equiv \langle \mathbf{\omega}^\alpha ~ , ~ \nabla_{\mathbf{e}_\mu} \mathbf{e}_\nu \rangle$$

Or, if you like:
$$\partial_\nu \mathbf{e}_\mu \equiv \Gamma^\lambda_{\nu \mu} \mathbf{e}_\lambda + K_{\nu \mu} \mathbf{n}$$
where indices represent n coordinate directions on an n-dimensional manifold embedded in an (n+1)-dimensional Euclidean space, ##\mathbf{e}_\mu## are the basis vectors for those coordinates, and ##\mathbf{n}## is the normal vector to that manifold.

Can you, in a similar fashion, define ##\Gamma^{ijk}##? (by the way, this question is rhetorical)

My Preview button isn't compiling my latex code, so if I made a mistake, I apologize.
 
Last edited:
  • #14
Orodruin said:
You cannot just go around raising indices inside derivatives
can you explain it more?
 
  • #15
Pencilvester said:
indices represent n coordinate directions on an n-dimensional manifold embedded in an (n+1)-dimensional Euclidean space, ##\mathbf{e}_\mu## are the basis vectors for those coordinates, and ##\mathbf{n}## is the normal vector to that manifold.
I do not understand your post,but just mention, that you can not embed any maifold into more dimensional euclidean space. consider minkowsky spacetime:
for every point in minkowsky spacetime there exists infinitly different point to whom distance(interval) is 0. that can not be embeded into euclidean space, because i euclidean space for exery point ##\vec{X}## there is only one point to which distance from ##\vec{X}## is 0. It is ##\vec{X}## itself.
also interval may be negative, but distance in (whatever dimensional) euclidean space can not.
 
Last edited:
  • #16
olgerm said:
can you explain it more?
I already did:
Orodruin said:
the metric components do not commute with the partial derivative.

If you are not going to consider what you are being told, I see little meaning in continuing having this conversation in thread after thread.
 
  • #17
No, these equations are not right, unless you want to introduce highly confusing notation.

What you want to do, is similar to pouring out some beer, then grab a glass, and calling the resulting mess a glass of beer.

I'd be confused.
 
  • Like
Likes Dragrath and Orodruin
  • #18
This thread is going nowhere and is now closed.
 
  • Like
Likes weirdoguy

1. Are all equations in science true?

No, not all equations in science are true. Science is an ever-evolving field and equations are used as models to explain natural phenomena. As new evidence and data is discovered, equations may be revised or replaced.

2. How do scientists know if an equation is true?

Scientists use the scientific method to test and validate equations. This involves making observations, formulating hypotheses, conducting experiments, and analyzing data. If the results consistently support the equation, it is considered to be true.

3. Can an equation be true in one situation but not in another?

Yes, an equation can be true in one situation but not in another. This is because different variables and conditions can affect the outcome of an equation. Additionally, some equations may only be applicable in certain contexts or at certain scales.

4. Are there any exceptions to equations in science?

Yes, there are exceptions to equations in science. Some equations may only be valid under certain conditions or may not apply to all situations. Additionally, new discoveries and advancements in science may challenge previously accepted equations.

5. Can equations be proven to be true?

No, equations cannot be proven to be true in the same way that mathematical theorems can be proven. However, they can be supported by a significant amount of evidence and consistently produce accurate predictions, making them highly reliable in explaining natural phenomena.

Similar threads

  • Special and General Relativity
Replies
7
Views
967
  • Special and General Relativity
Replies
2
Views
1K
  • Special and General Relativity
Replies
5
Views
1K
  • Special and General Relativity
Replies
1
Views
1K
  • Special and General Relativity
Replies
1
Views
545
  • Special and General Relativity
Replies
15
Views
1K
  • Special and General Relativity
Replies
4
Views
3K
  • Special and General Relativity
Replies
2
Views
880
  • Special and General Relativity
Replies
2
Views
1K
Replies
24
Views
1K
Back
Top