Content deleted Content added
unreliable bare urls removed |
rm :-indents (MOS:INDENT) |
||
(One intermediate revision by one other user not shown) | |||
Line 1:
In mathematics, a '''relative scalar''' (of weight ''w'') is a [[scalar-valued function]] whose transform under a coordinate transform,
\bar{x}^j = \bar{x}^j(x^i)
</math>
Line 7:
on an ''n''-dimensional manifold obeys the following equation
\bar{f}(\bar{x}^j) = J^w f(x^i)
</math>
Line 13:
where
that is, the determinant of the [[Jacobian matrix and determinant|Jacobian]] of the transformation.<ref name=lovelock>{{cite book |last1=Lovelock |first1=David |last2=Rund |first2=Hanno |authorlink2=Hanno Rund |title=Tensors, Differential Forms, and Variational Principles |date=1 April 1989 | publisher=Dover | isbn=0-486-65840-6 | url=http://store.doverpublications.com/0486658406.html | accessdate=19 April 2011 | format=Paperback | chapter=4 | page=103}}</ref> A '''scalar density''' refers to the <math>w=1</math> case.
Line 27:
===Weight 0 example===
Suppose the temperature in a room is given in terms of the function <math>f(x,y,z) = 2 x + y + 5</math> in Cartesian coordinates <math>(x,y,z)</math> and the function in cylindrical coordinates <math>(r,t,h)</math> is desired. The two coordinate systems are related by the following sets of equations:
<math display="block"> \begin{align}
h &= z
\end{align} </math>
and
<math display="block"> \begin{align}
y &= r \sin(t) \\
z &= h.
\end{align} </math>
Using <math>\bar{f}(\bar{x}^j) = f(x^i(\bar{x}^j))</math> allows one to derive <math>\bar{f}(r,t,h)= 2 r \cos(t)+ r \sin(t) + 5</math> as the transformed function.
Line 45 ⟶ 49:
Suppose that one wishes to ''integrate'' these functions over "the room", which will be denoted by <math>D</math>. (Yes, integrating temperature is strange but that's partly what's to be shown.) Suppose the region <math>D</math> is given in cylindrical coordinates as <math>r</math> from <math>[0,2]</math>, <math>t</math> from <math>[0,\pi/2]</math> and <math>h</math> from <math>[0,2]</math> (that is, the "room" is a quarter slice of a cylinder of radius and height 2).
The integral of <math>f</math> over the region <math>D</math> is{{cn|date=August 2022}}
<math display=block> \int_0^2 \! \int_{0}^\sqrt{2^2-x^2} \! \int_0^2 \! f(x,y,z) \, dz \, dy \, dx = 16 + 10 \pi.</math>
The value of the integral of <math>\bar{f}</math> over the same region is{{cn|date=August 2022}}
<math display=block> \int_0^2 \! \int_{0}^{\pi/2} \! \int_0^2 \! \bar{f}(r,t,h) \, dh \, dt \, dr = 12 + 10 \pi.</math>
They are not equal. The integral of temperature is not independent of the coordinate system used. It is non-physical in that sense, hence "strange". Note that if the integral of <math>\bar{f}</math> included a factor of the Jacobian (which is just <math>r</math>), we get{{cn|date=August 2022}}
<math display=block> \int_0^2 \! \int_{0}^{\pi/2} \! \int_0^2 \! \bar{f}(r,t,h) r \, dh \, dt \, dr = 16 + 10 \pi,</math>
which ''is'' equal to the original integral but it is not however the integral of ''temperature'' because temperature is a relative scalar of weight 0, not a relative scalar of weight 1.
===Weight 1 example===
If we had said <math>f(x,y,z) = 2 x + y + 5</math> was representing mass density, however, then its transformed value
should include the Jacobian factor that takes into account the geometric distortion of the coordinate
system. The transformed function is now <math>\bar{f}(r,t,h)= (2 r \cos(t)+ r \sin(t) + 5) r</math>. This time
Line 66 ⟶ 67:
<math display=block> \int_0^2 \! \int_{0}^{\pi/2} \! \int_0^2 \! \bar{f}(r,t,h) \, dh \, dt \, dr = 16 + 10 \pi.</math>
They are equal. The integral of mass ''density'' gives total mass which is a coordinate-independent concept.
Note that if the integral of <math>\bar{f}</math> also included a factor of the Jacobian like before, we get{{cn|date=August 2022}}
<math display=block> \int_0^2 \! \int_{0}^{\pi/2} \! \int_0^2 \! \bar{f}(r,t,h) r \, dh \, dt \, dr = 24 + 40 \pi / 3 ,</math>
which is not equal to the previous case.
|