- #1

- 10

- 0

- Thread starter sdickey9480
- Start date

- #1

- 10

- 0

- #2

- 22,089

- 3,296

What is your definition of the Dirac delta function??

- #3

- 10

- 0

given by the evaluation of a test function at x_0: ⟨δ_{x_0} , φ⟩ = φ(x_0)

- #4

- 42

- 0

Test functions are smooth, use that for continuity.

- #5

- 103

- 0

I think your question really amounts to 'what is a distribution'? As mentioned by the previous posters it has to do with test functions, and more generally with special vector spaces (usually complete ones and those endowed with a norm).

An amazing triumph of functional analysis is representing vectors (in this case non pathological functions) in terms of their actions on other vectors. By action on other vectors, I mean given any vector [itex]v[/itex] in the vector space [itex]V[/itex], define a mapping [itex]\hat{v}:V\rightarrow \mathbb{R}[/itex]. This mapping is given by the Riesz Representation Theorem, and in our case it means [itex]\hat{v}(g):=\int fg \mathrm{d}x[/itex]

[itex]\hat{v}[/itex] is called linear because [itex]\hat{v}(f+g)=\hat{v}(f)+\hat{v}(g)[/itex].

The second important property we want [itex]\hat{v}[/itex] to have is that of continuity. Another surprising result of functional analysis says that a functional (any linear map from the vector space into the reals, like [itex]\hat{v}[/itex] for example) is continuous if and only if it is

What I have done is built the necessary machinery to generalize functions. What I have shown is that any vector (or in this case non-pathological function) can be thought of as a continuous linear functional. A distribution is then just one of these continuous linear functionals.

So to answer your question, the dirac delta function [itex]\delta[/itex] is defined as a functional, mapping some space of functions to the real line by [itex]\delta (f) = \int f\delta \mathrm{d}x := f(0)[/itex]. It is clear that [itex]\delta[/itex] is linear because integral is linear (actually strictly speaking the integral doesn't make sense, hence the need for generalized functions to begin with. We really define [itex]\delta[/itex] to be linear).

Why is [itex]\delta[/itex] continuous? Because if [itex]||f||_\infty = 1[/itex] and [itex]f[/itex] is continuous, then [itex]f(x)\leq 1[/itex] for any [itex]x[/itex]. Hence [itex]\delta[/itex] is bounded by [itex]1[/itex], and therefore continuous.

- Last Post

- Replies
- 6

- Views
- 2K

- Last Post

- Replies
- 2

- Views
- 2K

- Last Post

- Replies
- 1

- Views
- 1K

- Last Post

- Replies
- 3

- Views
- 1K

- Last Post

- Replies
- 8

- Views
- 1K

- Last Post

- Replies
- 3

- Views
- 12K

- Last Post

- Replies
- 7

- Views
- 4K

- Last Post

- Replies
- 1

- Views
- 6K

- Last Post

- Replies
- 14

- Views
- 2K

- Last Post

- Replies
- 11

- Views
- 8K