Questions tagged [distribution-theory]

Use this tag for questions about distributions (or generalized functions). For questions about "probability distributions", use (probability-distributions). For questions about distributions as sub-bundles of a vector bundle, use (differential-geometry).

Distributions are object that generalize the notion of function. They are linear functionals on a set of test functions into the real numbers. The set of test functions is usually $\mathcal{D}(\mathbb R^n)=\mathcal{C}^{\infty}_c(\mathbb R^n)$. The basic idea is to to reinterpret functions as linear functionals acting on a space of test functions.

If we use a larger test space, such as $\mathcal{S}(\mathbb R^n)$ we obtain a smaller space of distributions, called tempered distributions. The space of distributions is usually denoted by $\mathcal{D}'(\mathbb R^n)$, while tempered distributions are usually denoted by $\mathcal{S}'(\mathbb R^n)$.

Distributions are heavily used in partial differential equations (when classical solutions don't exist there might still be distributional solutions), physics and engineering.

3639 questions
11
votes
1 answer

Derivative of principal value distribution $1/x$ is equal to finite part distribution $-1/x^2$?

Finite part (Partie finie) of the mapping $x \mapsto \frac{1}{{{x^2}}}$ is a regular distribution defined by $$\left\langle {{\text{Pf}}\frac{1}{{{x^2}}},\varphi } \right\rangle = \mathop {\lim }\limits_{\varepsilon \to 0 + } \left( {\int_{ -…
Alen
  • 2,012
11
votes
1 answer

How to show $e^{x}\cos[e^x]$ is a tempered distribution?

From Melrose, Lecture notes on Microlocal Analysis, Chapter 1. I was asked to show that the function $$ u(x)=e^{x}\cos[e^{x}] $$ is a tempered distribution. I tried to use the definition that there exist $k$ and $C_{k}$ such that $$ |\int uv|\le…
Bombyx mori
  • 19,638
  • 6
  • 52
  • 112
9
votes
1 answer

How much can a weak derivative differ from a classical one?

Let $B$ denote the unit ball in $\mathbb{R}^n$ and let $f\in C^1(B\setminus\{0\})\cap L^1(B)$. Denote with $\nabla_c f$ the classical gradient, which is defined in $B\setminus\{0\}$, and denote with $\nabla f$ the distributional gradient, which is a…
9
votes
2 answers

Reference for "distributional derivative being zero implies being constant"

I know that if a distribution (generalized function) has zero derivative, then it is a constant. I also know the proof. But I have a hard time finding a reference which contains a statement of this fact. Any thoughts? Thanks. Update: I indeed found…
Uchiha
  • 853
8
votes
0 answers

In the space of distributions, how big is the subspace of functions?

I'm teaching Distribution theory and many of my students still believes that there is only one kind of distribution : the distribution that can be identified to a $L^1_{\text{loc}}$ function. And I know that there is plenty of examples of…
user37238
  • 4,017
7
votes
1 answer

Fourier transform of unit step function

It is well known that the fourier transform for unit step $U(t)$ is \begin{equation} F(U(t))=\frac{1}{j\omega}+\pi \delta(\omega) \end{equation} When I try to arrive to this expression from the definition of fouriet transform, I…
7
votes
4 answers

On the derivative of a Heaviside step function being proportional to the Dirac delta function

I am learning Quantum Mechanics, and came across this fact that the derivative of a Heaviside unit step function is Dirac delta function. I understand this intuitively, since the Heaviside unit step function is flat on either side of the…
Joebevo
  • 1,439
6
votes
1 answer

about the derivative of dirac delta distribution

Consider the delta dirac distribution $\delta (\varphi) = \varphi (0), \varphi \in \mathcal{S}(\mathbb{R}^n)$ (the Schwartz space). I know that $\delta ^{'} (\varphi) = - {\varphi }^{'} (0)$. How can I prove $\delta^{'}$ is not given by a…
math student
  • 4,566
6
votes
1 answer

The (distributional) Fourier transform of the unit step function

I want to calculate the Fourier transform of the unit step function (given by $\phi(x) = 1$ for $x \geq 0$ and $\phi(x) = 0$ for $x < 0$) regarded as a tempered distribution. Note that I don't care about the answer (one can basically look it up on…
Paul Siegel
  • 9,117
6
votes
1 answer

$ \lim_{ \varepsilon \rightarrow 0^+ } \int_{|x| \geq \varepsilon} \frac{ \varphi(x) }{x}dx = - \int_{-\infty}^\infty \phi'(x) \ln(|x|) dx$

How do I prove that $$ \lim_{ \varepsilon \rightarrow 0^+ } \int_{|x| \geq \varepsilon} \frac{ \varphi(x) }{x}dx = - \int_{-\infty}^\infty \phi'(x) \ln(|x|)dx $$ for all $ \varphi \in C_0^{\infty} (\mathbb{R})?$ I was starting as follows $$ \lim_{…
6
votes
2 answers

Distribution of infinite order

This is an exercise from Functional Analysis By Walter Rudin on page 178 from chapter Test functions and Distribution. I am having trouble arguing for 2nd part. Question: For $\Omega=(0, \infty)$ $\displaystyle \Lambda(\phi) = …
6
votes
1 answer

What is wrong with my `proof'?(solved)

The question is: Let $k\in C^{0}(\mathbb{R}^{n}-\{0\})$ be a function such that $$k(xt)=t^{-n}k(x)$$ for $0\not=x\in\mathbb{R}^{n},t>0$. Show that the principal value $$\int k(x)\phi(x)dx=\lim_{|x|>\epsilon}k(x)\phi(x)dx,\phi\in…
Bombyx mori
  • 19,638
  • 6
  • 52
  • 112
5
votes
2 answers

Tempered distributions of finite order?

Is every tempered distribution of finite order? It seems that yes with the definition.
Nestor
  • 131
5
votes
2 answers

Why Dirac's Delta is not an ordinary function?

Given the following definition of the Dirac's Delta: $$\delta: \mathcal{D}(\mathbb{R}^n) \to \mathbb{R}: \varphi \mapsto \langle \delta,\varphi \rangle = \varphi(\mathbf{0})$$ where $\mathcal{D}(\mathbb{R}^n)$ is the space of bump functions over…
unlikely
  • 570
5
votes
1 answer

A catch with Dirac Delta Function

We know that $$ \int_{\mathbb{R}} f(t)\delta(t) \mathrm{d}t = f(0) $$ if $f$ is continuous. What will it be if $f$ is not continuous? For instance, what is the value of $$ \int_{\mathbb{R}} e^t\mathrm{u}(t)\delta(t) \mathrm{d}t $$
Priyatham
  • 2,607
1
2 3
21 22