Is There a Dirac Delta Function in the Curl of \( r^n \hat{r} \)?

In summary, the divergence theorem states that the divergence of a function at a given point is zero. However, when evaluating the divergence of a function on a domain containing the origin, the divergence theorem fails, due to the assumption that the divergence is a continuous function. Stoke's theorem can be used to verify this result for a given function.
  • #1
Reshma
749
6
For a given function: [tex]r^n\hat r[/tex], find its curl.

I formulated the divergence first. For the divergence: [tex]\nabla . (r^n\hat r) = (n+2)r^{n-1}[/tex] and the functon becomes a dirac delta at the origin in case of n = -2.

For the curl:
Geometrically, the curl should be zero. Likewise, the curl in spherical coordinates obviously gives zero.
My question is how can one be certain that there is no Dirac Delta function lurking here(for the curl)? (My understanding of Dirac delta function is a bit poor, so additional explanations would help :biggrin: .)
 
Physics news on Phys.org
  • #2
You can calculate the flux of the field through a small sphere about the origin. Geometrically you can see immediately that the flux will not be zero, hence a delta function will be involved.
 
  • #3
The main thing to realize is that there's a bit of "pretend" going on:

Because, doing everything strictly, we have that:

[tex]
\iiint_B \nabla \cdot (r^{-2} \hat{r}) \, dV = 0
[/tex]

for any region B.

(I put pretend in quotes because I'm pretty sure that if you really know what you're doing, you can set up the machinery so that this is no longer pretending)


However, we would really like the divergence theorem to be true. It's fairly easy to show that

[tex]
\oint_S (r^{-2} \hat{r}) \cdot d\vec{A} = 4 \pi
[/tex]

when S is a (positively oriented) sphere centered at the origin. So, in order to save the divergence theorem in this case, we can say that [itex]\nabla \cdot (r^{-2} \hat{r}) = 4 \pi \delta^3(\vec{r})[/itex]. This presumably saves a great many other cases too, but I haven't worked out the details.


But wait you say, if the divergence theorem is a theorem, how can it fail in the first place? The answer is because the divergence theorem assumes that the divergence is a continuous function on the domain, and that assumption fails when the region of integration contains the origin.
 
Last edited:
  • #4
Thank you very much Galileo and Hurkyl.

I completely understood how the divergence theorem holds good for a function like [tex]\nabla \cdot (r^{-2} \hat{r})[/tex].

However, I still have a few more doubts.
For a general function like [tex]r^n\hat r[/tex], the curl gives zero. Is the function [tex]\nabla \times (r^{n} \hat{r}) = 0[/tex] a Dirac delta? Can Stokes' theorem be somehow modified to fit in this case?
 
  • #5
Maybe someone can correct me, but I don't think it can ever make sense for the curl to involve a δ³ term... a δ² term maybe (corresponding to a one-dimensional singularity) but that can't happen here due to spherical symmetry.

Of course, as I mentioned, I don't know all the little details about what people are doing when they use δ in this way.

Anyways, have you tried looking at what Stoke's theorem says here?
 
  • #6
1. the origin is not part of your function's domain.
2. On its domain, the divergence of your function is zero, and nothing else.
3. You can't integrate the divergence of your function over a region including the origin, since the origin isn't part of your function divergence's domain.
Hence, the divergence theorem can never be invoked.
4. Because it can be proven that the flux integral over any surface bounding a region containing the origin in the interior equals one and the same constant, we may, if we like, introduce the Dirac delta formalism to create a quasi-divergence theorem result.
 
Last edited:
  • #7
hurkyl said:
Maybe someone can correct me, but I don't think it can ever make sense for the curl to involve a δ³ term... a δ² term maybe (corresponding to a one-dimensional singularity) but that can't happen here due to spherical symmetry.

Of course, as I mentioned, I don't know all the little details about what people are doing when they use δ in this way.

Anyways, have you tried looking at what Stoke's theorem says here?
I went through some books on mathematical physics and I did not find much reference to the curl of [itex]r^n\hat r[/itex].
However, I found there is a corollary derived from the divergence theorem which can be applied here.
The theorem suggests:
[tex]\int_v(\nabla \times \vec v) d\tau = -\oint_s\vec v\times d\vec a[/tex]

Integrating over a volume of a sphere, taking [itex]\vec v = r^n\hat r[/itex] & [itex]d\vec a = R^2\sin \theta d\theta d\phi \hat r[/itex] &[itex]\nabla \times r^n\hat r =0[/itex]
Thus,[tex]\int_v(\nabla \times r^n\hat r) d\tau = 0[/tex]
&[tex] \oint_s r^n\hat r\times R^2\sin \theta d\theta d\phi \hat r = 0[/tex]

So, the theorem is verified. So I suppose there is no delta function lurking here. Is my thinking correct here?
 

FAQ: Is There a Dirac Delta Function in the Curl of \( r^n \hat{r} \)?

What is a delta function?

A delta function, also known as the Dirac delta function, is a mathematical concept that represents an infinitely tall, infinitely thin spike at a specific point on a graph. It is often used in physics and engineering to describe the distribution of point charges or point masses.

How do you check for a delta function in a mathematical expression?

To check for a delta function in a mathematical expression, you can use the Dirac delta function's defining property: ∫f(x)δ(x-x0)dx = f(x0), where x0 is the point at which the delta function is located. This means that when you integrate the expression with the delta function, the result will be the original expression evaluated at x0. If this property holds true, then the expression contains a delta function.

What are some common uses of delta functions in science?

Delta functions are often used in physics and engineering to model point charges or point masses, as well as in signal processing to represent an impulse or instantaneous change. They are also used in probability theory to represent point events in continuous probability distributions.

Can a delta function be negative?

No, a delta function cannot be negative. By definition, a delta function has a value of infinity at a specific point and a value of zero everywhere else. This means that it does not have a negative value at any point.

How is the delta function related to the Kronecker delta?

The Kronecker delta is a discrete version of the Dirac delta function, with values of 1 when the arguments are equal, and 0 otherwise. They are related through the formula δ(x) = ∑δ(x-xi), where xi are the points where the Kronecker delta is defined. The Kronecker delta is often used in discrete mathematics and computer science, while the Dirac delta function is used in continuous mathematics.

Similar threads

Back
Top