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

0
votes
1answer
150 views

Derivate including Dirac's Delta(x)

Can anyone explain me this result? WolframAlpha Being the derivate of $a\cos(ax)\delta(x)$, where "$a$" is just a constant. I watched the solution step by step and its result (which is easy to ...
3
votes
0answers
50 views

Formal integration of a series of the type $-f(x-a)=\sum_{n=0}\frac{C_n}{n!}\delta^{(n)}(x-a)$

This question is inspired from an answer given to this question in the physics stackexchange, specifically the integration step going from (12) to (13). We have a distribution given as ...
1
vote
2answers
589 views

Dirac delta function

1)Prove that the dirac delta function property: $$ x\delta'(x)=-\delta(x)$$ 2)and : $$\int_{-\infty}^\infty \delta'(x)f(x)dx=-f'(0) \ $$
2
votes
1answer
157 views

Fourier transform of locally integrable function

I have a question and I don't know if it is true. Is any locally integrable function a sum of an $L_{1}$ function and another nice function (perhaps, an $L_{2}$ function). This is related to the ...
1
vote
1answer
349 views

Derivative in the sense of distributions

I have a question regarding calculating the derivative in the distribution sense of the following function: $$ f(x) = \frac{d^2 }{d x^2}|\cos|x|| $$ Maybe someone can point me in the right ...
3
votes
1answer
171 views

Distributional limit

Let $u_t(x) = t^Ne^{itx}$ for $x\geqslant 0$ and $u_t(x)=0$ elsewhere. I want to calculate the distributional limit $\lim_{t\to\infty}u_t(x)$. How would one approach such problem. I just started a ...
2
votes
1answer
94 views

Dirac function and integration by parts

I have some problems to show the following relation, apparently using integration by parts and knowing that $\phi$ denotes the density of the standard one dimensional normal distribution. $$\int ...
5
votes
1answer
2k views

what do test function mean?

I am trying to learn weak derivatives. In that we call $\mathbb{C}^{\infty}_{c}$ function as test function and we use this function in weak derivatives. I want to understand why these are called test ...
3
votes
1answer
143 views

Distributional limit of $\phi/n$

I have the following problem: Let $\phi(x) \in C_0^\infty(\mathbb{R}^n)$ satisfy $\phi \geq 0$ and $\phi(0) = 1$. Show that $\phi_n = \phi/n$ converge to $0$ in $\mathcal{D}'(\mathbb{R}^n)$. My ...
2
votes
1answer
512 views

Justification of use of delta functions/rigorous proof of Green's function for Poisson equation

I'm looking at the proofs of Helmholtz's theorem, but I'm having trouble justifying their interchange of integration and differentiation and subsequent treatment of the "integrand" as a delta ...
5
votes
3answers
265 views

Derivative of delta distribution

I'm reading Reed & Simon's book on Functional Analysis. In the chapter of locally convex spaces they say: "consider the tempered distribution $\delta'(f)=-f'(0)$, which doesn't come from a ...
1
vote
1answer
47 views

$L$ elliptic diff op $\implies$ singsupp$(u)\subseteq$singsupp$(Lu)$ for distributions $u$?

If $L:D'(\mathbb{R}^n)\to D'(\mathbb{R}^n),n\in\mathbb{N}$ is a weakly elliptic, linear differential operator with constant coefficients then for every $\Omega\subseteq\mathbb{R}^n$, and for all $u\in ...
2
votes
1answer
56 views

Example of a function $h$ such that $\overline{\partial}h$ is not a measure

Everything is in the title. Do you have an example of a function $h \in L^1(\mathbb{C})$ such that $\overline{\partial}h$ in the sense of distributions is not a (finite complex) measure ? ...
2
votes
0answers
108 views

Distributions over locally compact Abelian groups: when can they be Fourier transformed?

Pontryagin duality shows us every locally compact Abelian group---such as $\mathbb{R}^n$, $\mathbb{Z}$, the circle $\mathbb{R}/\mathbb{Z}$ or any finite Abelian group---has a Fourier transform. In the ...
3
votes
1answer
578 views

Prove that $f$ does not have a weak derivative

Consider a function $f:\mathbb{R} \rightarrow [0,1 ]$ defined by: $\begin{equation*} f(x)=\left\{ \begin{array}{rl}0 & \text{if } x\leq 0,\\ 1 & \text{if } x\geq 1, \\ 1/2 & \text{if } ...
4
votes
1answer
115 views

Distinction between “measure differential equations” and “differential equations in distributions”?

Is there a universally recognized term for ODEs considered in the sense of distributions used to describe impulsive/discontinuous processes? I noticed that some authors call such ODEs "measure ...
1
vote
1answer
473 views

differential equation with distributions

I'm stuggeling with this differential equation: $T'+T=0$ Where $T$ is distribution. I found solutions in form: $\sum_{n\in A} \frac{d^n}{dx^n}\Lambda_{c_n e^{-x}}$. This can be simplified to ...
3
votes
2answers
93 views

No distribution for associated function

Show that there is no distribution $f \in D'(\mathbb{R})$ such that \begin{equation} f(\phi)=\int e^{1/x^2}\phi(x)dx \end{equation} for every $\phi \in C_{0}^{\infty}(\mathbb{R})$ with $supp(\phi) ...
0
votes
1answer
212 views

Limit of distributions of principal value

What is the limit in $D'(\mathbb{R})$ (i.e. in the distribution sense) of \begin{equation} \lim_{t \rightarrow +\infty}\frac{e^{ixt}}{x+i0} \end{equation} where $x+i0=p.v.(\frac{1}{x})-i\pi\delta(x)$ ...
2
votes
1answer
287 views

About a property of the Dirac delta function

How can I show that there is no $u$ satisfying both (i) and (ii):$$(i) \; u \in L^p (\Bbb R^n )$$ and $$(ii) \int_{\Bbb R^n} \delta (x) \phi(x) dx= \int_{\Bbb R^n} u (x) \phi(x)dx\; ( \forall \phi ...
1
vote
1answer
755 views

Inverse function with Dirac Delta

We know that the inverse function of $ y=\log(x) $ is $ y =\exp(x) $. However, what would be the inverse of $ y=\log(x)+ \sum_{n=1}^{\infty}\delta (x-n) $? I have tried with Mathematica, and ...
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 ...
4
votes
1answer
158 views

Distributional differential equation, somehow related to compact support distributions

I've been mulling over a problem from Friedlander's Introduction to Distribution Theory for a few days now: in Chapter 3 (on distributions with compact support), it asks to solve the differential ...
0
votes
2answers
880 views

example of a function with compact support

Can you give an example of a function which is $C^\infty (\mathbb{R})$ having support on (-1,1) such that $ \int_{-1}^1 f(x)\,dx$=1 and $ \int_{-1}^1 xf(x)\,dx$=0. Thank you.
5
votes
1answer
1k views

Fourier transform of Cauchy principal value

I try to understand the direct computation of the Fourier transform of the distribution `Cauchy principal value' $v.p \frac{1}{x}$. I don't understand the following change of order of integration: $$ ...
3
votes
2answers
450 views

approximating Dirac delta with bounded derivatives

Consider the Dirac delta distribution $\delta$ in $\mathbf{R}^d$. It is quite standard to approximate it by functions $g_n$ with $\|g_n\|_{L^1} = 1$. Is it possible to choose a sequence of test ...
4
votes
1answer
146 views

Generalizing the weak derivative

I am wondering about the weak derivative in time. We say f has a weak derivative f' if $$\int_0^T f\phi' = -\int_0^T f'\phi$$ for all $\phi \in C_0^\infty(0,T)$. This definition uses the $L^2$ inner ...
1
vote
1answer
84 views

How to prove the density result?

How to prove that $C_c^\infty(R^n)$ is dense in $C^0(R^n)$,where the topology of $C^0(R^n)$ defined as follows $u_k\rightarrow 0$ in $C^0(R^n)$ if and only if $\forall K\subset\subset R^n$,$sup_{x\in ...
5
votes
2answers
695 views

Proving the integral of the Dirac delta function is 1

Was wondering if my solution is mathematically accurate enough: The question in the book yields: Derive $$ 1=\int_{-\infty}^{\infty} \delta(x-x_i)\ dx_i $$ From $$ ...
2
votes
3answers
3k views

Heaviside step function fourier transform and principal values

I found the following answer on SE: Fourier transform of unit step? However, it is still not clear to me and maybe somebody could explain it clearer. Problem I have the following in my notes of ...
-1
votes
1answer
239 views

Fundamental solutions of PDEs

I have two questions about solving PDEs. $L$ is an linear differntial operator In the complement of the origin, the equation $LE =\delta$ reduces to $LE = 0$. Why? What can say about solutions of $ ...
-1
votes
1answer
64 views

When Dirac function is in $H^{-m}(R^n)$?

If Dirac function $\delta\in H^{-m}(R^n)$,please give the range of $m$?
9
votes
1answer
362 views

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 ...
6
votes
1answer
296 views

Convolution between two distributions

I want to define the convolution $*$ between two distributions $S$ and $T$. For a test function $\varphi$, can I say: $$\langle S * T, \varphi \rangle \doteqdot \langle S, T*\varphi \rangle $$ where ...
3
votes
1answer
113 views

Equicontinuity and uniform boundedness for “distributions”

Exercise. (Rudin, Functional Analysis, chapter 2, pag. 53). Let us consider the space $$ \mathcal D :=\{f \in C^{\infty}(\mathbb R), \, \text{supp}f\subseteq [-1,1] \} $$ with the topology induced by ...
2
votes
1answer
114 views

Properties of Fourier transform of distributions

For distributions the scaling property, $f(ax) = \frac{1}{|a|} \mathcal{F(\frac{u}{a})}$, of the Fourier transform is no longer true. Is there a source that lists which properties of the Fourier ...
2
votes
1answer
220 views

weak derivative and continuous functions (functionals, distributions)

Suppose $\varphi \in C_c^\infty(0,T; H^1(\Omega))$ is a $H^1(\Omega)$-valued test function (it vanishes at $t=0$ and $t= T$), and $f \in C^1(0,T \times \Omega)$. Let $w \in L^2(0,T;H^1(\Omega)$ with ...
1
vote
0answers
39 views

Function of the incremental ratio tends weakly to a distribution

Let $g:\mathbb{R}^3\to\mathbb{R^2}$ be a continuous function. Suppose that there exists $\Omega$ a neighborhood of $0$ where $Xg, Yg \in L^\infty(\Omega)$, with ...
3
votes
1answer
68 views

Show continuity of a function?

Are there theorems or results to show that if for every $\varphi\in \mathcal{C}_0^\infty(\mathbb{R})$ we have, $$\int_{\mathbb{R}} \varphi^k(x)\mu(dx) \leq C$$ Then $\mu(dx) = f(x)dx$ and $f\in ...
0
votes
1answer
274 views

Questions related to distribution function and its “inverse”

Let $f: \mathbb R^n \to \mathbb R$ be a measurable fucntion. Define $F(t) = \mu \{x:|f(x)| >t\}$ Show that $F$ is nonincreasing and right-continuous (done). Define $F^\star(v)=\inf \{t: F(t)\leq ...
2
votes
1answer
59 views

A particular product of distributions

Suppose you have two continuous functions $f,g: \mathbb{R}\to\mathbb{R}$; is the product $f'g$ as a distribution, at least locally? I am interested in a local result, actually, so you can as well ...
0
votes
1answer
104 views

Composition of a distribution with a map

Suppose $\lambda \in C_c^\infty(\mathbb{R})^*$ is a distribution and $f: \mathbb{R} \to \mathbb{R}$ is a continuous map of the real line. In addition assume $f$ has compact support. How can I make ...
1
vote
1answer
127 views

The Dirac impulse and Fourier transform

Here wikipedia it is said that the Dirac delta could be thought of as $$ \delta(x) = \left\{ \begin{array}{ll} \infty &, x = 0 \\ 0 &, x \ne 0 \end{array}\right. $$ and here that the ...
3
votes
0answers
340 views

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

With reference to Property of Dirac delta function in $\mathbb{R}^n$, is there a similar formula for $\langle g^*\delta', f \rangle$ (or even $\langle g^*\delta^{(n)}, f \rangle$)? By similar I mean a ...
1
vote
2answers
205 views

Distributional/weak time derivative basic question

Suppose we have $u \in L^2(0,T;H^1(\Omega))$, and $v \in L^2(0,T;H^{-1}(\Omega))$ is the weak time derivative of $u$, so by definition it satisfies $$\int_0^T u(t)\phi'(t) = -\int_0^T v(t)\phi(t)$$ ...
6
votes
1answer
295 views

Convolution square root of $\delta $

I want to somehow classify the distributional solutions of the equation $$ f \ast f = \delta $$ where $\delta = \delta _0$ is the Dirac delta distribution. Clearly, by Fourier transformation, we ...
2
votes
1answer
241 views

Proof that limit goes to zero without Riemann-Lebesgue lemma

Let $\varphi$ be a test function ($\varphi$ is smooth and has compact support - is zero outside some bounded interval). I know that the following $$ \lim_{\epsilon \to 0_+} ...
1
vote
0answers
71 views

Lebesgue-Stieltjes integral as a generalized function

Given some convex function $f(x)$, $x >0$ we can define a distribution $F \in \mathcal{D}'(0,\infty)$ using Lebesgue-Stieltjes integral $$ \langle F, \varphi \rangle ...
3
votes
1answer
239 views

Second derivative of convex function

Let $f(x)$, $x>0$ be a convex function. Then it's distributional second derivative is defined by the rule $$ \langle f''(x),\varphi(x)\rangle = \langle f(x), \varphi''(x)\rangle $$ for any ...
2
votes
1answer
182 views

Sobolev spaces of infinite order

I do have a question about the Sobolev spaces of infinite order. Let me first define them: Let $H^s(\mathbb{R}^n)$ denote the Sobolev space of order $s \in \mathbb{R}$. We can naturally identify ...