Use this tag for questions about Schwartz distributions, also known as Generalised Functions. For questions about "probability distributions", use (probability-distributions). For questions about distributions as sub-bundles of a vector bundle, use (differential-geometry).

learn more… | top users | synonyms

11
votes
3answers
760 views

Dirac Delta or Dirac delta function?

Is Dirac delta a function? What is its contribution to analysis? What I know about it: It is infinite at 0 and 0 everywhere else. Its integration is 1 and I know how does it come.
13
votes
2answers
1k views

Sobolev space is an algebra

How do you prove that the Sobolev space $H^s(\mathbb{R}^n)$ is an algebra if $s>\frac{n}{2}$, i.e. if $u,v$ are in $H^s(\mathbb{R}^n)$, then so is $uv$? Actually I think we should also have ...
10
votes
1answer
815 views

Tensor products of functions generate dense subspace?

Let $X$ and $Y$ be two spaces in certain category, $F(\cdot)$ a functor associating each space with a function space (with certain topology). Assume that for any $f\in F(X)$ and $g\in F(Y)$, $f\otimes ...
7
votes
3answers
2k views

Property of Dirac delta function in $\mathbb{R}^n$

How does one prove the following identity? $$\int _Vf(\pmb{r})\delta (g(\pmb{r}))d\pmb{r}=\int _S\frac{f(\pmb{r})}{|\text{grad} g(\pmb{r})|}d\sigma$$ where $S$ is the surface inside $V$ where ...
4
votes
5answers
1k views

Distribution theory book

I'm looking for a good book on distribution theory (in the Schwartz sense), I have the basic knowledge as given in Grafakos' Classical Fourier Analysis, but I want to know more about it. Is the ...
3
votes
1answer
938 views

The constant distribution

If $u$ is a distribution in open set $\Omega\subset \mathbb R^n$ such that ${\partial ^i}u = 0$ for all $i=1,2,\ldots,n$. Then is it necessarily that $u$ is a constant function?
8
votes
3answers
7k views

what is product of delta function with itself?

what is the product of delta function with itself ? what is the dot product with itself ?
0
votes
2answers
210 views

Discontinuity of Dirac Delta distribution

I know that the following holds for Step function, but not sure if it holds for the distribution too. Does the following hold for the Dirac delta distribution too? $\delta$ is a linear functional ...
5
votes
2answers
908 views

On distributions over $\mathbb R$ whose derivatives vanishes

Let $I \subset \mathbb R$ be open, $u \in \mathcal D'(I)$ be a distribution whose distributional derivatives vanishes (i.e. is zero for all test functions, which we may assume to be complex valued ...
1
vote
1answer
224 views

The issue of treating an inverse Fourier transform in terms of a tempered distribution.

Consider the wave equation $$ u_{tt}=\Delta{u} \quad u(x,0)=f(x) \quad u_t(x,0)=g(x) \tag{*} $$ A solution to this equation is given by $$ u(.,t)=f*\partial_t\Phi_t+g*\Phi_t \tag{**} $$ where ...
4
votes
1answer
3k views

Clear explanation of heaviside function fourier transform

I know that fourier transform of Heaviside function is : $\hat{H}(x) = \pi \delta(\omega) + i (v.p. \frac{1}{\omega})$ How can i proof this result?
3
votes
1answer
120 views

If $f\in L^1(\mathbb{R})$ is such that $\int_{\mathbb{R}}f\phi=0$ for all continuous compactly supported $\phi$, then $f\equiv 0$.

I am wondering about a proof of the fact that If $f\in L^1(\mathbb{R})$ is such that $\int_{\mathbb{R}}f\phi=0$ for all continuous compactly supported $\phi$, then $f\equiv 0$. I am familiar with the ...
10
votes
2answers
553 views

Distributions on manifolds

Wikipedia entry on distributions contains a seemingly innocent sentence With minor modifications, one can also define complex-valued distributions, and one can replace $\mathbb{R}^n$ by any ...
1
vote
1answer
416 views

Delta Dirac Function

Show that $\delta$, function of Dirac, defined than $\left<{\delta_0,\phi}\right> = \phi(0)$ belongs to $W^{-1,p}(]-1,1[)$ and $\delta_0 \notin L^p(-1,1)$ $\forall p\geq 1$. How I will be able ...
8
votes
2answers
918 views

How to prove that the Cantor ternary function is not weakly differentiable?

I am using the standard cantor ternary function $f$ here, as cited in this Wikipedia page. It is an example of continuous, monotone increasing, but not strictly monotone increasing function with zero ...
6
votes
2answers
993 views

Laplacians and Dirac delta functions

It is often quoted in physics textbooks for finding the electric potential using Green's function that $$\nabla ^2 \left(\frac{1}{r}\right)=-4\pi\delta^3({\bf r}),$$ or more generally $$\nabla ...
3
votes
1answer
218 views

Gauss–Ostrogradsky formula for Distributions

Let $\Omega\subset\mathbb{R}^N$ be a bounded domain and $u\in W^{1,p}(\Omega)$, $v\in L^{p'}(\Omega)^N$ with $p\in (1,\infty)$. Let $\operatorname{div}(v)$ be the divergence of $v$ in the sense of ...
3
votes
2answers
490 views

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)$ ...
6
votes
3answers
640 views

Derivatives distribution

Let $f$ be a distribution on $\mathbf{R}^n$ (in the Schwartz sense) such that $$\frac{\partial f}{\partial x_i} = 0 \text{ for $i = 1, \ldots, n$.}$$ Then how to prove that $f$ is a constant? I had ...
5
votes
2answers
404 views

Square root of compactly supported C-infinity function

Given $u \in \mathcal{C}^\infty_0(\mathbb{R}^n)$, $u \geq 0$ everywhere, is $v(x) = \sqrt{u(x)}$ also in $\mathcal{C}^\infty_0$? It is clear that the only problematic points are the boundary of the ...
0
votes
2answers
88 views

Does delta distribution remain continuous with respect to quasinorm?

I am thinking the accepted answer which is found here: When viewing $\delta: \mathbb{S} \to \mathbb{R}$ (linear and continuous with respect to the usual semi-norms on the Schwartz-space – or ...
-2
votes
1answer
81 views

Is $\delta : \mathcal{S}(\mathbf{R}) \to \mathbf{C}$ continuous with usual seminorm?

I am thinking again the accepted answer which is found here: When viewing $\delta: \mathbf{S} \to \mathbf{R}$ (linear and continuous with respect to the usual semi-norms on the Schwartz-space ...
4
votes
4answers
311 views

Borel Measure such that integrating a polynomial yields the derivative at a point

Does there exist a signed regular Borel measure such that $$ \int_0^1 p(x) d\mu(x) = p'(0) $$ for all polynomials of at most degree $N$ for some fixed $N$. This seems similar to a Dirac measure ...
1
vote
0answers
43 views

Represent Dirac distruibution as a combination of derivatives of continuous functions?

It seems from Rudin's functional analysis (P168, Thm6.27), the Dirac distribution $\delta_0$ on $R^1$ can be written as $$ \delta_0=f_0+f'_1+f''_2, $$ for $\{f_i\}_{i=0}^2\in C(R^1)$, there $'$ ...
1
vote
2answers
227 views

Eignvalues of Laplacian operator and Sobolev spaces

Let $\Omega$ an open bounded in $\mathbb{R}^n$ and $I$ un interval in $\mathbb{R}$, let $t_0 \in I$, $f\in H^1_0(\Omega)$, $g\in L^2(\Omega)$. Let $(\lambda_n)_{n\in \mathbb{N}}$ the eigen values od ...
0
votes
1answer
34 views

fourier transform and principal values

Fourier transform and principal values Can anyone tell me from how can i get the fouries transformation of prinicipal value of (1/x) $$p.v\int \frac{1}{x}\Bigg(\int e^{-wix}\varphi(w)dw\Bigg)dx$$
-2
votes
1answer
92 views

Contraction map in extending domain from Dense subset to $L^{2}$

This thread is about extending a dense domain $D \subset L^{2}$ into $L^{2}$. I do not understand what Deyton means in his comment about getting contraction map when doing this. I cannot see any ...
5
votes
2answers
4k views

Dirac Delta function

I know that $\int_{-\epsilon}^\infty f(x)\delta(x)dx=f(0)$ but what about $\int_0^\infty f(x)\delta(x)dx$? I suppose we have to do this by definition since the lower limit is bang on $0$?
10
votes
5answers
2k views

Is the Dirac Delta “Function” really a function?

I am given to understand that the Dirac delta function is strictly not a function in the conventional sense and it is a "functional or a distribution". The part which I can not understand why the ...
5
votes
2answers
410 views

Fractional derivatives of delta function $ \delta (x) $

How can I define the fractional derivative of the Delta function? I mean $D^{\alpha}= \frac{d^{\alpha}}{dx^{\alpha}} $ where $\alpha$ can be any real number, then if we define $D^{\alpha} \delta (x) ...
9
votes
1answer
184 views

Growth of Tychonov's Counterexample for Heat Equation Uniqueness

Define a function $\varphi$ on $\mathbb{R}_{+}$ by $$\varphi(t):=\begin{cases}e^{-1/t^{2}}, & {t>0}\\ 0, & {t\leq 0}\end{cases}\tag{1}$$ It is well-known that $\varphi$ is ...
9
votes
2answers
175 views

Various kinds of derivatives

Let $f\colon \mathbb{R}\to \mathbb{R}$ be a measurable function. Let us introduce the following notions of "derivative" of $f$. Classical derivative. The unique function $f'_c$ defined pointwise by ...
9
votes
1answer
403 views

Origin of the name 'test functions'

This is a very simple question really: where did the name 'test functions', used nowadays when speaking of infinitely differentiable and compactly supported functions, come from? More to the point: is ...
7
votes
1answer
558 views

Sequential and topological duals of test function spaces

Given a test function space, in particular $\mathcal{S}=\mathcal{S}(\mathbb{R}^n)$ (the Schwartz space) or $\mathcal{D}=\mathcal{D}(\mathbb{R}^n)$ (the space of compactly supported smooth test ...
6
votes
0answers
147 views

Two possible definitions of “vector-valued distribution”

Let $X$ be a reflexive Banach space. Define $$\tag{1} \mathcal{D}^\star(0, T; X)=\left\{ u\colon \mathcal{D}(0, T)\to X\ \text{linear and continuous}\right\} $$ where the topology on the space of ...
5
votes
1answer
96 views

$f, \hat{f} \in L^{p}(\mathbb R) \cap C(\mathbb R) \implies |f(x)| \to 0$ as $|x| \to \infty$?

Suppose $f, \hat{f} \in L^{p}(\mathbb R) \cap C(\mathbb R)\cap L^{\infty}(\mathbb R), (1<p<\infty).$ My Question: Can we expect $\lim_{|x|\to \infty} |f(x)|=0$ ? (In other words, If $f$ and its ...
4
votes
2answers
3k views

Dirac delta in polar coordinates

Given $$x=r\,\cos\theta\\y=r\,\sin\theta$$ and $$x'=r'\,\cos\theta'\\y'=r'\,\sin\theta'$$ how can I express $$\delta(x'-x)\delta(y'-y)$$ in terms of the polar coordinates? And the more general ...
3
votes
1answer
266 views

Topologies of test functions and distributions

I'm wondering about some of the topological properties of $\mathcal D(\Omega)$ and $\mathcal D'(\Omega)$: I know $\mathcal D(\Omega)$ is not metrizable, so not first countable (right?). However, my ...
9
votes
4answers
270 views

Iterated Limits Schizophrenia

Consider the functions $g_n(x)$, with $n\in\mathbb{N}$, $n \ge 1$ and $x\in\mathbb{R}$, defined as follows: $$ g_n(x) = \begin{cases} 2n^2x & \text{if }0 \le x < 1/(2n) \\ ...
8
votes
2answers
212 views

A Differential operator.

What are the fundamental solutions for the operator $$\mathcal D=a{\partial^2\over\partial x_1^2}+b{\partial^2\over\partial x_2^2}$$ on $\Bbb R^2 $ with standard cordinates $(x_1,x_2)$. Here ...
8
votes
2answers
1k views

When can one expect a classical solution of a PDE?

When solving a PDE, there may be a classical solution or a weak solution (or distribution solution). But I am wondering that when people talk about "finding a solution" to some PDE, what do they refer ...
6
votes
1answer
231 views

Difficulties in solving a PDE problem

This is an exercise in "Variation et optimisation des formes", chapter 3, Ex. 3.8. The preliminaries are: $$D=(0,1)^2,\ f \in L^2(D),\ x_{ij}=(i/n, j/n),\ 0<i,j<n,$$ $$\Omega_n = D\setminus ...
5
votes
1answer
176 views

Compatibility of pointwise and distributional convergence

This has probably been asked before but I couldn't find it. Let $\Omega$ be an open subset of $\mathbb{R}^n$ and let $u_k,\, u \in L^1_{\mathrm{loc}}(\Omega)$ and $v\in \mathscr{D}'(\Omega)$ (the ...
5
votes
2answers
6k views

Proof of Dirac Delta's sifting property

A common way to characterize the dirac delta function $\delta$ is by the following two properties: $$1)\ \delta(x) = 0\ \ \text{for}\ \ x \neq 0$$ $$2)\ \int_{-\infty}^{\infty}\delta(x)\ dx = 1$$ I ...
4
votes
0answers
76 views

How to prove that this solution of heat equation is not a tempered distribution?

A theorem of PDEs sais that the following Cauchy problem for the heat equation \begin{align*} & \partial_t u = \partial_{x}^2 u, \quad (t,x) \in \mathbb{R_+} \times \mathbb{R}, \\ & u|_{ t = ...
4
votes
2answers
917 views

principal value as distribution, written as integral over singularity

Let $C_0^\infty(\mathbb{R})$ be the set of smooth functions with compact support on the real line $\mathbb{R}.$ Then, the map $$\operatorname{p.\!v.}\left(\frac{1}{x}\right)\,: ...
4
votes
1answer
628 views

understanding of the classical definition of Green's function

I learn the classical definition of Green's function from Hunter's Applied Analysis. Consider the second-order ordinary differential operators $A$ of the form $$Au=au''+bu'+cu,$$ where $a,b$ and $c$ ...
3
votes
1answer
84 views

Notion of a distribution as acting on tangent spaces

I'm reading a paper that uses distributions in a way I'm not entirely comfortable with. To be precise, I'm not sure what definitions the author is working with and can't find any natural way to fill ...
3
votes
0answers
154 views

Solving $ T' = 0 $ for distributions in $\mathbb{R}^n$

Denoting $ T \in \mathcal{D}'(\mathbb{R}^n) $ as distributions with $ T_f(\varphi) = \int_{\mathbb{R}^n} f\varphi\ dx $, I wish to prove the distribution solution of the equation $ T' = 0 $ ...
2
votes
0answers
100 views

Dirac $\delta\left( \left[\sqrt{p^2+m^2}-\sqrt{k^2+p^2+2\cdot k\cdot p\cos(\theta)}\right]^2 -k^2-m^2 \right)$

This question is related to $f(k) = 0$, but we now we consider $\delta(f(k))$, i.e. $\delta\left( \left[\sqrt{p^2+m^2}-\sqrt{k^2+p^2+2\cdot k\cdot p\cos(\theta)}\right]^2 -k^2-m^2 \right)$ We ...