A Tensor/Vector decomposition/representation & DOF arguement

binbagsss
Messages
1,291
Reaction score
12
In fluid mechanics, it is sometimes useful to present the velocity, ##U## in terms of a scalar potential ##\Phi## as:##\vec{U}=\nabla \phi##
##U## has 3 dof. ##\phi## has 1.If asked why this works, in terms of a dof argument, why is this?e.g . compared to GR common decomposition of the Riemann tensor into##R^{\nu\lambda\kappa\rho} =R*^{\nu\lambda\kappa\rho} + BR\eta*^{\nu\lambda\kappa\rho} + C^{\nu\lambda\kappa\rho},## (1)

With ##C^{\nu\lambda\kappa\rho}## is traceless, ##R=\eta_{\nu\kappa} \eta_{\lambda\rho}R^{\nu\lambda\kappa\rho}##, where #\eta^{ab}# denotes the Minkowski metric and ##B,C## are constants, and where ##R*^{\nu\lambda\kappa\rho}## denotes ##R*^{\nu\lambda\kappa\rho}=\frac{1}{4}\left[{R}^{\nu\kappa}\eta^{\lambda\rho}-R^{\nu\rho}\eta^{\lambda\kappa}+{R}^{\lambda\rho}\eta^{\nu\kappa}-{R}^{\lambda\kappa}\eta^{\nu\rho}\right] ## and## \eta*^{\nu\lambda\kappa\rho}= 2\eta^{\nu\kappa}\eta^{\lambda\rho}-2\eta^{\nu\rho}\eta^{\lambda\kappa} ##

From what I understand the tensors making up the decomposition can be a number of degrees of freedom at most the same as the object they are making up, and altogether they must have at least the total number of dof of the object they are making up. So , e.g. if T=A+B+C, and T has 10 d.o.f, then each of A,B,C can have any number between [1,10] of d.o.f, and altogether they must have at least 10 d.o.f? Is this correct?

So looking at the above, equation (1), the first term has 10 dof, the second 1, and the last 10 dof. Or would you look at the first term as a sum of four terms each of 10 dof, so it could potentially represent a tensor with 40 dof?

Thanks.
 
Physics news on Phys.org
binbagsss said:
In fluid mechanics, it is sometimes useful to present the velocity, ##U## in terms of a scalar potential ##\Phi## as:##\vec{U}=\nabla \phi##
##U## has 3 dof. ##\phi## has 1.

This is only possible if the flow is irrotational, ie. \nabla \times \vec U = 0.
 
pasmith said:
This is only possible if the flow is irrotational, ie. \nabla \times \vec U = 0.
apologies yes I should have added that.
 
I'm a bit confused by the conditions on the existence of coordinate basis given by Frobenius's theorem. Namely, let's take a n-dimensional smooth manifold and a set of n smooth vector fields defined on it. Suppose they are pointwise linearly independent and do commute each other (i.e. zero commutator/Lie bracket). That means they span the entire tangent space at any point and since commute, they define a local coordinate basis. What does this mean? Well, starting from any point on the...

Similar threads

  • · Replies 4 ·
Replies
4
Views
4K
  • · Replies 4 ·
Replies
4
Views
4K
Replies
1
Views
2K
  • · Replies 9 ·
Replies
9
Views
2K
  • · Replies 30 ·
2
Replies
30
Views
7K
Replies
1
Views
273
Replies
1
Views
3K
Replies
6
Views
2K
  • · Replies 12 ·
Replies
12
Views
2K
Replies
2
Views
4K