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
0answers
14 views

Measure dispersion of a set of values resides in a range

I want to know what is best method to calculate (measure) the statistical dispersion of a set of values resides between a range. Scenario: My goal is to build an index. I have two methods that ...
1
vote
2answers
65 views

What is the limit $\lim_{s \to 0}\frac{1}{\pi s^2} e^{-r^2/s^2}$

There is a typo in one of the papers I just read and instead of the known delta function limit $\lim_{s \to 0}\frac{1}{\pi s} e^{-r^2/s^2}$ it says $\lim_{s \to 0}\frac{1}{\pi s^2} e^{-r^2/s^2}$ ...
4
votes
2answers
63 views

Example of a function $u\in L^\infty(0,T,H^1)$ such that $u_t\notin L^\infty(0,T,H^1)$

Could someone give me an example of a function $u\in L^\infty(0,T,H^1)$ such that $u_t$ exists (in the distributional sense), $u_t\in L^\infty(0,T,L^2)$ and $u_t\notin L^\infty(0,T,H^1)$? Thanks. ...
1
vote
1answer
20 views

Integrating a Dirac delta function with the argument dependent of a parameter

How can I handle the integral $$ \int_{t_1}^{t_2} \delta(D - x(t)) dt, $$ with $D$ a constant. I want to do a change of variables to perform the integral over $x$ but I am not sure how to proceed.
1
vote
1answer
21 views

Products of distributions ill-defined

This question concerns distributions, as often encountered in PDE theory, which are defined as continuous linear functionals on the space $C_0^{\infty}(\Omega)$ of test functions. The product of two ...
1
vote
1answer
23 views

Is it true that, $x\rho(x/t)\in H^{s}$ for $\rho\in \mathcal{D}(\mathbb R)$ and $s>3/2$?

We put, $\mathcal{D}(\mathbb R)=$ The space of $C^{\infty}-$ functions on $\mathbb R$ with compact support; and the Sobolev space $$H^{s}(\mathbb R)=\{f\in L^{2}(\mathbb R):[\int_{\mathbb R} ...
2
votes
1answer
40 views

Embedding of weighted Lebesgue space on Fourier side into $C^\infty$

Given $g$, a continuous real-valued function defined in $\mathbb R^n$, $K^g:=\{u:e^g \hat{u}\in L^2(\mathbb R^n,(1/2 \pi)^nd \xi)\}$. Thus $K^g$ can be viewed as a Hilbert space with natural norm ...
1
vote
0answers
36 views

An exercise about Fourier transform and $H^s$ in Treves

In Treves, the Fourier transform is defined by $\hat{f}(\xi)=\int {e^{-i\langle\xi,\space x\rangle} f(x) dx}$. The following is the problem, where I have figured out almost all of the questions except ...
2
votes
0answers
32 views

Speed dating/networking challenge

I am trying to organise an event with 54 participants. I want them to participate in 9 different activities at stations around a hall. Obviously this will require 9 sessions to allow the participants ...
1
vote
1answer
21 views

Question on smooth compactly supported distribution

Let $u \in \mathcal{D}^{\prime}$ (i.e. $u$ is a distribution), $\phi \in C_{0}^{\infty}$ be a smooth compactly supported test function. Does $\phi u$ necessarily belong to $\mathcal{D}^{\prime}$ or to ...
2
votes
1answer
45 views

Difference between $\mathcal{E^{\prime}}$ and $\mathcal{D^{\prime}}$

What's the difference between $\mathcal{E^{\prime}}$(the space of compactly supported distributions) and $\mathcal{D^{\prime}}$ (the space of smooth compactly supported distributions)? Examples would ...
1
vote
1answer
99 views

Identity with Dirac delta function: $\delta (x^2-a^2) = \frac{1}{2|a|}[\delta(x-a)+\delta(x+a)]$

How can I show that $\delta (x^2-a^2) = \frac{1}{2|a|}[\delta(x-a)+\delta(x+a)]$? I'm suppose to integrate it by a differentiable function and integrate, but I can't figure this one out.
1
vote
3answers
393 views

Integrals with Dirac delta function, $\int\delta[(x-a)(x-b)]f(x)\, dx $

I am struggling to find the result of the following integrals with dirac delta function. Why are they true? For the second one, I thought $\delta(x_1-x_2)$ must be zero?
2
votes
1answer
143 views

What does it mean to say an integral exists 'in the distributional sense'?

What exactly does it mean to say that an integral exists 'just in the distributional sense'? For example, the Fourier transform of $x^2 e^{-\lambda x}$ or of $H(R-|x|)$ where $R > 0$ and $H$ is the ...
2
votes
1answer
45 views

Nuclearity of $\mathscr{S}$

I have big problems proving that the Schwartz Space $\mathscr{S}(\mathbb{R}^n)$ together with the topology induced by the family $$ \|\varphi\|_{p}:=\sup_{x\in \mathbb{R^n}}\sup_{|\alpha|\leq ...
5
votes
1answer
395 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 $$ ...
10
votes
2answers
709 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 ...
0
votes
1answer
22 views

Distribution: $f_a(x)=\frac{H(x+a)-H(x-a)}{2a}$. What is its derivative with respect to the parameter $a$ and the limit as $a\to 0$.

Consider the distribution $$ f_a(x)=\frac{H(x+a)-H(x-a)}{2a}$$ Determine the $a$-derivative of this distribution $$ \left < \frac{\partial f_a}{\partial a},\phi \right> = \lim_{h\to0} ...
1
vote
2answers
39 views

Derivation of a non-continuous function with distribution theory

Consider the following function: $$f(x,t) = \left\{\begin{array}{ll} 1 & x \in [0, t] \\ 0 & x \not\in [0,t] \end{array}\right.$$ What can I say about the derivative of $f$ with respect to ...
4
votes
0answers
22 views

Distributions and primitives

I was wondering: if distributions are seen as a generalization of functions that "removes obstructions" to the operation of derivation, is there a generalization of functions that would remove any ...
0
votes
2answers
29 views

How to treat Dirac delta function of two variable?

We can treat one variable delta function as $$\delta(f(x)) = \sum_i\frac{1}{|\frac{df}{dx}|_{x=x_i}} \delta(x-x_i).$$ Then how do we treat two variable delta function, such as $\delta(f(x,y))$? ...
1
vote
0answers
37 views

Can we characterize homogeneous Sobolev spaces by means of Sobolev embedding?

For $\alpha>0^{[1]}$, let $D^\alpha=(-\Delta)^{\frac{\alpha}{2}}$ be the operator defined on all Schwartz class functions $f$ as follows: $$ \widehat{D^\alpha f}(\xi)=\lvert \xi\rvert^\alpha ...
4
votes
4answers
250 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 ...
-3
votes
1answer
59 views

If $tf(t)=tg(t)$, where $f(t), g(t)$ are distributions, then $f(t)=g(t)+\lambda \delta (t)$

Using Dirac distribution properties, prove that if $tf(t)=tg(t)$, where $f(t), g(t)$ are distributions, then $f(t)=g(t)+\lambda \delta (t)$ for some $\lambda\in \mathbb R$. If someone knows please ...
0
votes
0answers
22 views

Distribution that is not a measure

I don't know how to prove that the folowing distribution in $\mathbb{R}$ is not a measure $$T(\phi)=\phi'(0)$$ Any help will be appreciated
2
votes
1answer
37 views

Distributions with support of the form $\left\lbrace x \right\rbrace$

Doing some calculations with Distributions I came up with the following theorem: THEOREM: Let $O \subseteq \mathbb{R^d}$ be an open subset and $x \in O$. Suppose $T \in \mathcal{D}'(O)$ with ...
1
vote
0answers
43 views

What is $D\delta$ if $D$ is ordinary differential operator and $\delta$ is the Dirac distribution?

I'm reading some material about single-variable distribution theory. More specifically, I was checking some theorems of the convolution algebra $\mathcal{D}_+$, where $\mathcal{D}_+$ is the space of ...
0
votes
1answer
54 views

p--laplacian problem

For $f \in W^{-1,p'}(\Omega)$, $f \geq 0$, we definr $v,$ $v_{\epsilon}$, $g_{\epsilon}$ by $$-\mathrm{div}(|Dv|^{p-2} Dv)=f \quad \mbox{in} \mathcal{D}'(\Omega), \quad v \in W^{1,p}_0(\Omega)$$ with ...
-2
votes
1answer
48 views

A sequence of functions converging to the Dirac delta

let $g_n(x)=\frac{1}{2}n $ for $|x|<\frac{1}{n}$ and for positive integer n. Prove that $$\lim_{n \to \infty} g_n(x)=\delta(x)$$ Pretty evident after a quick sketch, but I don't know how to show ...
3
votes
3answers
134 views

The inverse Fourier transform of $1$ is Dirac's Delta

From the definition of the Dirac delta $\delta_0$ one can infer that its Fourier transform is identically equal to $1$. But going in the other direction is not as straightforward. How can one show ...
0
votes
0answers
63 views

What is the inverse Fourier transform of $|k|^{-\alpha}$?

What is the inverse Fourier transform, $\mathcal{F}^{-1}\{|k|^{-\alpha}\}$? I am specifically interested in the case where $1<\alpha<2$. To do this, I need to compute the integral ...
0
votes
0answers
19 views

Continuous linear operator from $S'$ to $S'$

Do you know a general class of continuous linear operators from $S'$ to $S'$ ? (where $S'$ is the space of tempered distributions, dual space of the Schwartz space) Or, formally, given $X \in S'$ and ...
0
votes
1answer
28 views

Understanding Distributional Meanings and Test Functions for PDEs

thank you for taking the time to read my question. My question is about distributional meanings in PDEs. My specific question is at the bottom, but I'd be interested in a bit of general theory (even ...
3
votes
0answers
46 views

Hopf lemma for generalized normal derivatives

Let $\Omega\subset\mathbb{R}^N$ be a bounded smooth domain. If $u\in C^2(\Omega)\cap C_0(\overline{\Omega})$ is a superharmonic function ($-\Delta u\ge 0)$ then, Hopf Boundary Lemma does implies that ...
3
votes
1answer
30 views

Limit in $S' (\mathbb{R})$

Given the sequence of distributions: $$ x^3~ \sin (nx),~~n \in (\mathbb{N}) $$ How can i find the limit for $n \rightarrow \infty$? I tried with the usual substitution $y=nx$, but it leads to ...
2
votes
0answers
59 views

Is this distributional laplacean a measure?

Let $\Omega\subset\mathbb{R}^N$ be a bounded smooth domain. Suppose that $0<k<t<1$ and $\Phi$ is a mooth function satisfying: $\Phi(x)=0$ for $x\le k$, $\Phi(x)=1$ for $x\ge t$. Take $u\in ...
1
vote
0answers
20 views

Criteria to prove that a map is a tempered distribution

There is any simple sufficient condition to determine if a function is a tempered distribution? For example, given the map : $$ F \phi = \int_\epsilon^\infty \! \frac {\phi(x)}{\sqrt{x}} \, ...
3
votes
1answer
43 views

The Dirac Delta Distribution $\delta_0 : D \to \mathbb R$ is not regular

I have a question on the following proof, that $\delta_0$ is not a regular distribution. We define $\delta_0$ as the linear function on test function with $$ \delta_0(\varphi) = \varphi(0) $$ for ...
-1
votes
2answers
62 views

Check: Find the Fourier transform of $f(x)=ax+b$ with $a,b \in \Bbb R$. [closed]

Part A: Find the Fourier transform of $f(x)=ax+b$ with $a,b \in \Bbb R$. Part B: Generalize the previous problem and deduce a formula for the Fourier transform of a polynomial of degree m. ...
2
votes
1answer
49 views

Can we conclude that $\Delta (\Phi\circ u)$ is a measure, given that $\Phi$ is a particular smooth function and $u$ is in some Sobolev space?

Let $\Omega\subset\mathbb{R}^N$ be a bounded smooth domain. Assume that $u\in W_0^{1,2}(\Omega)$ is such that $\Delta u$ is a measure. Let $\Phi$ be a smooth function in $\mathbb{R}$, such that ...
-1
votes
0answers
26 views

Taylor theorem on Sobolev spaces

I am trying to understand the Taylor theorem for Sobolev spaces that appears in http://science.org.ge/moambe/5-2/5-10%20Boyarsky.pdf. I am not sure in what sense the aproximation is. I feel that it is ...
-2
votes
1answer
71 views

eigenvalues to Laplacian

Let $\Omega$ be a bounded subset of $\mathbb R^d$ and let $g\in L^2(\Omega )$. Let $(\lambda_n)_{n\in \mathbb{N}}$ be the eigenvalues of the Laplacian operator $\Delta$, and $(e_n)_n$ the ...
3
votes
2answers
66 views

Topology of test functions $\mathcal{D}(\mathbb R)$

(My motivation for the following question is to understand the distribution theory) The space of test functions: $\mathcal{D}(\mathbb R)= \{\phi:\mathbb R \to \mathbb R : \phi \in C^{\infty}(\mathbb ...
0
votes
0answers
31 views

Wave front set of a corner

Consider the distribution $u$ defined on $\mathbb{R}^2$ by $$ u(x, y) = \begin{cases} 1 &\text{if } 0 < x < 1;\, 0 < y < 1, \\ 0 &\text{otherwise}.\end{cases} $$ What is the ...
2
votes
1answer
102 views

Dirac delta distribution and measure?

Of course the Dirac delta is not a function. Despite, I think the concept of a measure is much easier than that of a distribution. Therefore, I was wondering: In what sense is the concept of a Dirac ...
2
votes
1answer
46 views

Verifying that $\lim_{\alpha\to \infty} \frac{1}{\pi} \frac{\sin^2\alpha x}{\alpha x^2}= \delta(x)$

I'd like to show that: $$ \lim_{\alpha\to \infty} \frac{1}{\pi} \frac{\sin^2\alpha x}{\alpha x^2}= \delta(x). $$
1
vote
1answer
65 views

Approximation of the Heaviside Function whose derivative has a compact support

I am looking for a smooth approximation $H_\delta$ of the Heaviside function, which has the property that $$ \lim_{\delta\rightarrow 0^+}H_\delta =H $$ in the distribution sense, and $$ ...
0
votes
2answers
61 views

Let $\langle S, \psi \rangle=\sum_{n \in \mathbb N} \int_0^n \psi'(x)dx$. Is S a distribution?

Let $\langle S, \psi\rangle=\sum_{n \in N} \int_0^n \psi'(x)dx$. Is S a distribution? I claim that S is not a distribution. I know that if S was a distribution it would satisfy the following ...
3
votes
1answer
36 views

When does the regularization of a function converges to the function?

Let $\theta(x)$ equal $k\exp(-\frac{1}{1-||x||} )$ if $||x||<1$, and equal 0 if $||x||\geq1.$ Here $||.||$ designates the Euclidian norm in $\mathbb{R}^{^{n}}$, and the constant $k$ is chosen such ...
0
votes
1answer
19 views

Example of pseudodifferential operators that smooth out the singularity of delta function

What is one example of pseudodifferential operator $P$ that smooth out the singularity of delta function, i.e. $P$ s.t. $P \delta(x) \in C^{\infty}(\mathcal{R})$?