Two-variable functions defined on a one-dimensional subset

[mnb96]

Hello,

it is known that by using delta-functions we can somehow assign a meaning to "functions" that take a specific value at one point, as a sort of generalization of the Kronecker delta-function in discrete domain.

Instead I would like to consider the domain R², and formally define a "function" that takes only specific values along a one-dimensional path inside R². This path on R² is defined by the points \left( x,p(x) \right), with p:R--->R.

Note: if I had had to define a function taking specific values at some specific points, I would have defined it as a finite sum of delta functions \delta (x,y), but in this case I cannot use discrete sums of delta functions.

Is it possible to express formally such a (non-)function?
Is it allowed to do something like the following:

\int_{R^2}f(\mathbf{t})\delta(\mathbf{t}-\mathbf{p})|d\mathbf{t}| = f(\mathbf{p}) = f(x,p(x))

where the path p is given by \mathbf{p}(x)=\left( x,p(x) \right) , t is some position vector in R^2, and \delta is the Dirac delta-function in 2 dimensions.Thanks!

 

[Mute]

Your guess looks a bit odd - maybe it's just your notation that's not clear. If I understand correctly, you have some function, F, which is a function of a 2d vector x, and you want it to be equal to some other function, say g(x), but only along some path in the 2d space.

This is how I would probably write the function: first, I would parametrize the curve in \mathbb{R}^2 using a parameter t. i.e., the path is some vector \mathbf{\gamma}(t). Then, I think one can write the function as

F(\mathbf{x}) = g(\mathbf{x})\int_{-\infty}^\infty dt~\delta(\mathbf{x}-\mathbf{\gamma}(t)).

When the vector x lies along the path \mathbf{\gamma}(t), the delta function in the integral "pings" and the integral is one. When x does not lie along the path, the delta function doesn't ping and the integral is zero.

This looks superficially similar to what you wrote, but note my parametrization and hence the integral is one dimensional, whereas your integral seems to be two dimensional.

 

[mnb96]

Hi Mute!

thanks a lot! You got my question despite it was formulated in a confusing manner.
Your answer was essentially what I wanted to know.

 

[Sina]

Basically on two dimensional space your delta function will be a product as

δ(x−(x,p(x))) = δ(x₁−x)*δ(x₂−p(x))

and so on. For instance a normal delta function that is zero at the point (p,q) of two dimensional space is δ(x₁−p)*δ(x₂− q).

And finally, there are not delta functions :p