How to compute the expansion of this congruence?

  • I
  • Thread starter LCSphysicist
  • Start date
  • Tags
    Expansion
In summary, the vector field ##u^{a}\partial_{a} = (1-3M/r)^{-1/2}(\partial_{t} + (M/r^3)^{1/2} \partial_{\theta})## in Schwarzschild metric has a covariant derivative that can be decomposed into a 3x3 matrix called B. However, constructing this matrix can be complicated and requires understanding the physical meaning of the expansion, shear, and vorticity of the vector field. It is important to first visualize the behavior of this vector field and its integral curves before attempting to compute the expansion. Additionally, the calculation may involve terms other than derivatives with respect to r, and surfaces of constant time in
  • #1
LCSphysicist
646
162
##u^{a}\partial_{a} = (1-3M/r)^{-1/2}(\partial_{t} + (M/r^3)^{1/2} \partial_{\theta})## in Schwarzschild metric. I need to compute the expansion of this vector field, but i am not sure how.
Adopting the fact that ##u_{a};_{b} = B_{ab} (1)##, i want at first to construct the B matrix, but i am having trouble here! I mean, technically we can write the B matrix as the sum of three Matrix: One with trace, and two traceless, in which one is symmetric and the other is anti symmetric. But, using (1) we will have $
\begin{pmatrix}
0 & U_{1,2} &0 \\
0 &0 &0 \\
U_{3,1}& 0 & 0 \end{pmatrix}}$, this certainly can't be decompose in the way i cited above. I am really confused :S. Any help?
 

Attachments

  • 1614476162252.png
    1614476162252.png
    2.6 KB · Views: 150
Last edited:
Space news on Phys.org
  • #2
LCSphysicist said:
Adopting the fact that ##u_{a};_{b} = B_{ab}##, i want at first to construct the B matrix, but i am having trouble here!

The matrix you wrote down is wrong. Check your math. Bear in mind that you are computing a covariant derivative, which means you need to take into account the connection coefficients.
 
  • Like
Likes LCSphysicist
  • #3
LCSphysicist said:
I need to compute the expansion of this vector field

As John Wheeler once said, before computing anything you should first figure out the answer. :wink:

In this case, you should think about what the expansion (or more generally, the expansion, shear, and vorticity, since all three are components of the kinematic decomposition and all three have useful physical meanings) means, physically, and what, physically, the vector field you are describing means. What kind of orbits around the central body are the integral curves of the vector field you describe? If you imagine a fleet of such objects, each following its own integral curve, what would an object in the fleet see its neighboring objects doing? And how does that relate to the expansion, shear, and vorticity?
 
  • Like
Likes LCSphysicist
  • #5
PeterDonis said:
This Wikipedia article

Note that the article mentions a fourth quantity, the proper acceleration. For this particular scenario, however, that is zero and can be ignored. Can you see why?
 
  • Like
Likes LCSphysicist
  • #6
PeterDonis said:
The matrix you wrote down is wrong. Check your math. You should end up with a pure antisymmetric matrix.
I edited the post and the matrix (I think we need actually a 3x3 matrix, since it is purely spatial). As you noted, i should end up with an antisymmetric matrix. But, the problem is that i didn't even started the math because i was puzzled with the derivatives. I mean, we have that the only terms that are nonvanishing are terms involving the derivative wrt r.

PeterDonis said:
As John Wheeler once said, before computing anything you should first figure out the answer. :wink:

In this case, you should think about what the expansion (or more generally, the expansion, shear, and vorticity, since all three are components of the kinematic decomposition and all three have useful physical meanings) means, physically, and what, physically, the vector field you are describing means. What kind of orbits around the central body are the integral curves of the vector field you describe? If you imagine a fleet of such objects, each following its own integral curve, what would an object in the fleet see its neighboring objects doing? And how does that relate to the expansion, shear, and vorticity?

I think i can understand these terms when thinking about a fluid. It is confused because in theory i see that we can decompose in: ##\delta_{ab} \theta /3 + \rho_{ab} + \omega _{ab}##, i am not being able to do it here. I am pretty sure my matrix is wrong, but i can't see what step was wrong.

I will try to do the things slowly here because probably i missed some part of the theory.
Taking just the spatial part of the metric:
\begin{pmatrix}
U_{r,r} &U_{r,\theta} &U_{r,\phi} \\
U_{\theta,r} &U_{\theta,\theta} &U_{\theta,\phi} \\
U_{\phi,r} &U_{\phi,\theta} & U_{\phi,\phi}
\end{pmatrix} =
\begin{pmatrix}
0&0 &0 \\
U_{\theta,r}& 0 & 0\\
0 & 0 & 0
\end{pmatrix}

Following the wikipedia article ##{\dot {X}}^{a}={X^{a}}_{{;b}}X^{b} ## is zero here probably because we are dealing with geodesics, and i am assuming that we are using affine parameters.
 
  • #7
LCSphysicist said:
I edited the post and the matrix

Yes, I saw that, thanks!

LCSphysicist said:
(I think we need actually a 3x3 matrix, since it is purely spatial).

No, it isn't. It's transverse, but it's not purely spatial, because surfaces of constant time in the coordinates you are using are not orthogonal to the vector field.

LCSphysicist said:
As you noted, i should end up with an antisymmetric matrix.

No, actually you shouldn't. The matrix will be traceless (which is actually sufficient to answer the title question of this thread), but it won't be purely antisymmetric; it will have a symmetric part as well. (I originally thought it would be antisymmetric but then realized I was wrong, I was thinking of a different, though related, vector field.)

LCSphysicist said:
we have that the only terms that are nonvanishing are terms involving the derivative wrt r.

Not necessarily. Remember that, as I said, we are talking about covariant derivatives, so you have to take into account the connection coefficients.

LCSphysicist said:
I think i can understand these terms when thinking about a fluid.

Yes, at least a fair number of the intuitions associated with a fluid will work here; you can think of the integral curves of the vector field as "flow lines" of the fluid. But you still need to think about how the "speed of flow", so to speak, varies with ##r##.

LCSphysicist said:
Following the wikipedia article ##{\dot {X}}^{a}={X^{a}}_{{;b}}X^{b} ## is zero here probably because we are dealing with geodesics

Yes.

LCSphysicist said:
and i am assuming that we are using affine parameters.

Geodesics are geodesics whether you are using affine parameters or not. As it happens, we aren't going to have to worry about affine parameters at all for this particular problem; just cranking through the computation as described in the Wikipedia page will take care of it automatically.
 
  • Like
Likes LCSphysicist
  • #8
LCSphysicist said:
Taking just the spatial part of the metric

This is already wrong in at least two ways.

First, as I noted in my last post, the matrix you are trying to compute is not purely spatial.

Second, as I noted in my last post, you are taking covariant derivatives, not partial derivatives, so you have to take into account the connection coefficient terms.

There is also a third potential issue: the components of the vector field you wrote down in the OP are the components of ##U^\alpha##, with an upper index; but what you need to compute the matrix are the components of ##U_\alpha##, with a lower index--i.e., the covector field that corresponds to your vector field. So you have to lower an index on the field first before computing the matrix. I suspect you haven't done that.
 
  • Like
Likes LCSphysicist

FAQ: How to compute the expansion of this congruence?

What is a congruence?

A congruence is a mathematical relationship between two numbers or objects that have the same remainder when divided by a given number. In other words, they are equivalent in terms of a specific modulus.

How do you compute the expansion of a congruence?

To compute the expansion of a congruence, you can use the rules of modular arithmetic. This includes adding, subtracting, multiplying, and dividing both sides of the congruence by the same number. You can also use properties such as the distributive property to simplify the expression.

Can you provide an example of computing the expansion of a congruence?

Sure, let's say we have the congruence 5x ≡ 10 (mod 15). We can divide both sides by 5 to get x ≡ 2 (mod 15). This is the expanded form of the congruence.

What is the purpose of computing the expansion of a congruence?

Computing the expansion of a congruence can help us solve equations involving modular arithmetic. It allows us to find the possible values of the unknown variable that satisfy the congruence.

Is there a specific method to compute the expansion of a congruence?

Yes, there are specific methods such as the Chinese Remainder Theorem or the Euclidean Algorithm that can be used to compute the expansion of a congruence. These methods are especially useful for solving more complex congruence equations.

Back
Top