Register to reply 
Point masses versus infintesimal densities, is there a difference? 
Share this thread: 
#1
Jan2713, 07:29 PM

P: 175

Hello,
Is a (classical) physical object that is correctly described as a point mass (i.e. as a mass value M at a point x) a physically different object from a (classical) physical object that is correctly described as a mass density distribution distributed/defined over an infintesimal region? If the answer is no, then are the point mass description and the infintesimal mass density distribution description just two ways of saying the same thing? In other words, if I am told that there exists a point mass is it trivial to immediately infer that there exists a mass density distributed over an infintesimal region? If the answer is yes, what exactly is the difference, and is the idea of a 'dirac delta function' (which I don't yet understand) an attempt to apply formalism originally intended for densities, to point masses? Thanks! 


#2
Jan2713, 07:36 PM

PF Gold
P: 6,511

"point" implies dimensionless, that is zero in x,y,z dimensions. "Infinitesimal" is not zero, so I don't see how they could be the same.



#3
Jan2713, 08:03 PM

P: 175

I think "point" doesn't quite imply "dimensionless" given that the classical point masses I have in mind are partly defined in terms of their coordinates in three dimensional space. Though I take it you mean that while a classical point mass is not physically extended over any of the x,y,z dimensions that it exists in, an infintesimal mass density distribution IS extended over these dimensions, it's just that the region over which it is extended is "infinitely small"?
This means that there is a real physical difference between being extended over an infinitely small region whose centre is x,y,z and being located at the point x,y,z. I find it a little hard to wrap my head around what that difference is supposed to be, but perhaps the important point is just that an infinitely small region, whatever that is, is physically "bigger" than the point at the centre of that region. 


#4
Jan2713, 08:04 PM

HW Helper
P: 3,464

Point masses versus infintesimal densities, is there a difference?
discrete and continuous are two different things. And they should be treated separately. Generally, physical phenomena will depend on whether we are talking about continuous or discrete stuff. (e.g. real numbers versus integers).
But luckily, there are some physical theories where discrete and continuous 'formalism' give highly analogous results. For example, in classical electrodynamics, the force on a charged point particle (discrete), or the force per volume on a continuous distribution of charge (continuous). In this case, the equations are very similar. And we can even think of the discrete case being approximately the same as the continuous case, when the charge density is very great in a very small volume. (This is essentially the idea of the DiracDelta). 


#5
Jan2713, 08:07 PM

Mentor
P: 5,404




#6
Jan2713, 08:14 PM

P: 261

I would define the mass density of a point particle to be:
[tex]\rho(x)=m\delta (xx_0)[/tex] where [itex]x_0[/itex] is the position of the particle and [itex]\delta (x)[/itex] is the Dirac delta function. The DDF is just a function (well, technically it isn't really a function) that is defined to be zero everywhere except at the origin, where [itex]\delta (0)=\infty [/itex]. Its integral is defined such that: [tex]\int_a^b \delta(x)dx=1[/tex] as long as a<0 and b>0 (as long as the integral "covers" the part where delta shoots to infinity). Now with these definitions and since mass is the volume integral of mass density, the mass contained in a region around [itex]x_0[/itex] is therefore: [tex]M=\int \rho (x)dx=m\int \delta (xx_0)dx=m[/tex] This definition of mass density for a point particle can be easily generalized to three dimensions as follows: [tex]\rho (x,y,z)=m\delta (xx_0)\delta (yy_0)\delta (zz_0)[/tex] where we define [itex]0*\delta (x)=0[/itex] for all x (even x=0). As you can see the density is zero everywhere except at the point (x_{0},y_{0},z_{0}) where it shoots to infinity. The volume integral over a region containing the point (x_{0},y_{0},z_{0}) is therefore: [tex]M=\iiint \rho (x,y,z)dxdydz=m[/tex] 


#7
Jan2713, 08:51 PM

P: 461

I don't think this is really a physics question. Mathematically, Phinds is absolutely correct. A true point particle would be a discrete closed set in the three dimensional world and it would be zero dimensional. If you define it as a dirac delta, it is the limit of a sequence of functions (distributions) and integrating this over all space is non zero. But in reality, neither is really correct, so you should choose whichever method suits the question. You see this all the time. Sigma notation when it is suitable and integration when that makes more sense.
So, I guess, interchangeable a far as physics goes, but certainly different. 


#8
Jan2713, 09:03 PM

P: 175

Thanks, these are extremely useful responses.
Whether they are interchangeable regarding the physics is important to me. The reason I ask is that my predicament is this: I have formulated a proof in the context of Newtonian mechanics, which makes use of mass density distributions. I have (rightfully) been told that "for this proof to have significance you really need to show that it works in a point particle setting too" and when seeking advice from a physicist he said "this might be possible if you use Dirac delta functions". Here is a fragment of the proof. I consider Newton's gravitational field equation for N mass densities, where the value of the gravitational field g(x) is determined by N mass densities (indexed by i): g(x) = G [itex]\sum[\int\frac{ρ_{i}(ζ)(xζ)}{xζ^{3}}[/itex]] dζ Here, we are integrating over a whole volume of space and ζ is a dummy term for integration. The important part of the proof shows that because the integrals are all over the same interval, we can swap the sum and the integral to get: g(x) = G [itex]\int[\frac{(xζ)}{xζ^{3}}\sumρ_{i}(ζ)][/itex]dζ I hope that makes sense. (Part of what it's supposed to show is that Mass densities are additive, or more precisely, that it makes no difference to g(x) whether we have many densities or a single density that is there sum.) So my ultimate question is whether this "sum/integral swap" can be shown to hold for point particlesor at least, for dirac delta functions? Can one simply replace the densities in these equations with delta functions? Perhaps more importantly, can dirac delta functions add together to compose delta functions with spikes in more than one position? 


#9
Jan2713, 09:39 PM

P: 261

[tex]\int \sum _i f(x) \delta (xx_i)dx=\sum_i f(x_i)[/tex] which hold for any function f(x) which is continuous in the domain of integration. Using [itex]\rho_i (\zeta)=m_i \delta (\zeta x_i)[/itex], you get: [tex]g(x)=G \int \sum_i \frac{x\zeta}{x\zeta ^3}~m_i~ \delta (\zeta x_i)d \zeta=G \sum_i m_i \frac{xx_i}{xx_i ^3}[/tex] And this is exactly what you'd expect  i.e. it's the rule for summing multiple point particles' field contributions. 


#10
Jan2713, 10:05 PM

P: 261

As an aside, the proof for the identity I provided is relatively simple. Consider the following integral:
[tex]\int f(x) \delta (xx_0)dx[/tex] Now, since [itex]\delta[/itex] is zero everywhere except at x_{0}, the entire integrand is zero everywhere except at that point. This means that the only contribution of f(x) to the integral happens at x_{0}, and it can therefore be written as: [tex]\int f(x)\delta (xx_0)dx=\int f(x_0)\delta (xx_0)dx=f(x_0) \int \delta (xx_0)dx=f(x_0)[/tex] If we're considering the addition of multiple delta functions ("spikes" as you called them), we simply write: [tex]\int \sum_i f(x) \delta (xx_i)dx = \int [ f(x)\delta (xx_1)+f(x)\delta (xx_2)+~.~.~.~+ f(x)\delta (xx_n)]dx[/tex] [tex]=f(x_1)+f(x_2)+~.~.~.~+f(x_n)=\sum_i f(x_i)[/tex] 


#11
Jan2813, 05:16 AM

HW Helper
P: 3,464




#12
Jan2813, 06:22 AM

P: 175

Thanks elfmotat, this is very helpful. I can see now how to formulate the proof in terms of delta functions. It's slightly different to how you've formulated it, however, and I'm not sure if the identity you state (which I think is sometimes called the sifting, or selecting property) can help me. Though it would be great if it could.
Newton's gravitation equation in Dirac delta form is: [tex]g(x)=G \sum_i [\int \frac{x\zeta}{x\zeta ^3}~m_i~ \delta (\zeta x_i)d \zeta][/tex] And here's where my "sum/integral swap" differs from yours... the sum only takes the delta functions in its scope, not the fraction: [tex]g(x)=G \int [ \frac{x\zeta}{x\zeta ^3} \sum_i ~m_i~\delta (\zeta x_i) ]d \zeta[/tex] The point of this is that I've recovered the form of the single point mass law (or at least, the single delta function law). This is what enables me to infer from the form of the law that mass is additive. Though I've not quite deduced mass additivity, I've only deduced delta function additivity. In other words, if [itex]\rho[/itex]_c(x) is the mass of the composite of the point masses indexed by i, then I've shown that: [tex]\rho_c(x) = \sum_i ~m_i~\delta (\zeta x_i)[/tex] I'm not sure if it's possible to derive Mc=SUM(Mi) from this. One could appeal to the identity you mention, though I think one would first have to motivate the claim that the mass of a complex delta function is determined through integration, which might be begging the question? Any thoughts on this would be most welcome. BruceW, thanks for your comments. As I understand it, they are not interchangeable in special relativity partly because there, mass is not additive. 


#13
Jan2813, 06:29 AM

HW Helper
P: 3,464




#14
Jan2913, 03:33 AM

P: 175

In SR mass (what you call 'rest mass') is not additive. Mass additivity states that the masses of composites are the sum of their atomic component parts. All composites, whether their parts are moving relative to each or not, are within the scope of this principle. So you only need to find one example of a composite whose mass is not additive in order to refute the principle.



#15
Jan2913, 05:33 AM

P: 5,462

A few thoughts:
Going back to your original question, no they are not the same, even in physics. A point mass is an idealisation that can have no angular motion or moment. It allows centre of mass constructs. It has precisely 6 degrees of freedom in the generalised coordinates system. Any distribution in space, however small, must offer a moment/angular motion construct. It must possess three extra degrees of rotational freedom. On the subject of discrete v continuous. One of the greatest discoveries of classical physics/ applied maths was that the solution to continuous equations can have discrete solutions. go well 


#16
Jan2913, 05:42 AM

HW Helper
P: 3,464

(In response to James MC 'rest masses not additive' post): true, true. But if we assume that any two points very close to each other must have the same velocity, then there is no problem, because locally rest masses will add up, and so there will be no difference between 'point masses' and 'infinitesimal densities'.
In other words, I am pretty sure you can still make use of the DiracDelta function to represent the density of a point particle in SR. (Not going into quantum mechanics). Edit: this is also relevant to Studiot's post. I think that as long as we assume that in the limit of small distance between different parts of the fluid, we get a vanishingly small difference in velocities. And so this would disallow angular momentum of a very small distribution in space. Does this sound right? I have not really thought about it before. P.S. I totally agree that small densities and point masses are not the same, even in physics. 


#17
Jan2913, 05:58 AM

P: 5,462

It simply means that the value is zero. 


#18
Jan2913, 06:01 PM

HW Helper
P: 3,464

I'm going to go against what I said in my last post. In SR, rest mass is not additive in the discrete or continuous formalisms. In the discrete case, if we have several point masses, (with generally different velocities), then their rest mass is definitely not additive. And in the continuous case, if we are integrating over the density of some fluid, then over some region, the fluid may be at rest, so we are calculating its rest mass in this region. But generally, the fluid will have a nonuniform velocity field, so generally we will be calculating the relativistic mass, not the rest mass.
And the thing I said about vanishingly small difference in velocities: I don't think I was quite right. If we consider a continuous distribution, and imagine making its volume very small, then different parts of it can still have different velocities. So any angular motion of that tiny distribution will be very small, but as (I think) Studiot was saying, it will still be some nonzero value, which therefore means there is an associated degree of freedom. It is only when we take some special limit, where we assume that the relative velocities literally go to zero, that the angular motion disappears. And this is the discrete (i.e. pointlike) formalism (as Studiot was saying). So it is only when we pass over to the discrete formalism, that the degrees of freedom associated with the physical angular momentum of the distribution disappear. I think that how this limit is taken in quantum mechanics has something to do with renormalisation theory. I don't know, as I haven't learned that kind of stuff. But it seems pretty interesting. Edit: sorry to start talking about quantum mechanics at the end there, we had been talking about classical physics. quantum is a different kettle of fish, or some similar idiom. 


Register to reply 
Related Discussions  
Are These Terms Infintesimal?  Beyond the Standard Model  6  
Tests for Difference in Mean VERSUS Tests for Difference in Median  Set Theory, Logic, Probability, Statistics  3  
Difference in Magnitudes between two densities  Introductory Physics Homework  1  
Difference between densities and nforms?  Differential Geometry  0  
Point masses in GR  Special & General Relativity  10 