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

1
vote
1answer
42 views

The non-existence of one distribution

The problem is to prove that does not exists a distribution $u$ on $\mathbb{R}$ such that $$ \langle u, \varphi \rangle = \int e^{1/x^2} \varphi(x) \, dx, \hspace{0.9cm} \varphi \in ...
3
votes
1answer
86 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 ...
0
votes
1answer
33 views

derivative of a step function always delta function ??

let be a piecewise continous function or 'staircase' (the function is constant everywhere but has jumps) $ F(x)$ in the sense of distribution is always true that $$ \frac{dF}{dx}= \sum_{n}\delta ...
0
votes
1answer
104 views

Dirac delta distribution & integration against locally integrable function

I was reading the a lecture note online about distribution theory and it said: The Dirac delta distribution $\delta \in D'$ is defined as $\delta(\varphi)= \varphi(0) $, and there's no locally ...
1
vote
1answer
73 views

tempered distribution and sobolev spaces

The Schwartz space $\mathcal S(\mathbb R^d)$ is the set of all complex-valued function $f \in C^{\infty}(\mathbb R^d)$ such that $\sup_{x\in \mathbb R^d}|x^{\alpha}D^{\beta}f(x)|<\infty$ where ...
2
votes
0answers
79 views

Besov–Zygmund spaces and the Inverse Function Theorem, is the Inverse Zygmund?

Preliminary Definitions Let $\Omega \subset \mathbb{R}^n$ be open. We define the Zygmund spaces $C^r_{*}(\Omega)$ with $r>0$, $r \in \mathbb{R}$ in the following way: (all the functions are ...
5
votes
0answers
157 views

Isomorphism between $C^\infty_0(B_1)$ and $\mathscr{S}(\mathbb{R}^n)$

Background: Related question I am trying to prove, that the countably-normed spaces $C^\infty_0(B_1)$ on the open unit ball (i.e. function and all derivatives vanish at the boundary) in ...
1
vote
1answer
37 views

How to show convergence in $\mathcal{S'}(\mathbb R^{d})$?

We put, $\mathcal{S}(\mathbb R^{d})=$ The Schwartz space and $\mathcal{S'}(\mathbb R^{d})=$ The dual of $\mathcal{S}(\mathbb R^{d})$(The space of tempered distributions). Suppose $\alpha > 1$ and ...
0
votes
0answers
28 views

Find $u:[0,T]\to H^2$ such that $u(0)=u_0\in H^2$ and $u_t(0)=u_1\in H^1$.

Let $u_0\in H^2$ and $u_1\in H^1$. If we define $$ \begin{align*}u:[0,T]&\longrightarrow L^2\\ t&\longmapsto u_0+\int_0^tu_1\;ds \end{align*}$$ then $u(0)=u_0$. Furthermore, the weak ...
1
vote
0answers
39 views

Distributional Representation of Perimeter in Chan-Vese

While re-implementing the classic Chan-Vese Algorithm for image segmentation, I stumbled upon the following statement, which I have problems to understand: Let $H: \mathbb{R} \to \mathbb{R}$ be the ...
1
vote
0answers
37 views

Function satisfies differential equation.

Given the D'Alembert operator D'Alembertian $\Box$, I want to show that $$ G(x,t,x_0,t_0):= \frac{\delta \left(t_0 + \frac{||x-x_0||}{c} -t \right)}{||x-x_0||} $$ satisfies $$ \Box G(x,t,x_0,t_0) = ...
0
votes
1answer
48 views

Distribution and Probability Distribution

I'm studying on the book of Kolmogorov and Fomin: "Elements of the Theory of Functions and Functional Analysis". I'm into the measure theory and I finished the Theorem of Radon-Nikodim. Now finally I ...
6
votes
1answer
62 views

Which normed space have Fatou's property?

There is tool in mathematics, more specifically in Analysis, which has immense applications in handling delicates estimates, limiting arguments, etc... ; namely Fatou property. Let $E$ be a normed ...
0
votes
1answer
57 views

Understanding how a differential equation is solved with distributions

This course page 12-13 (in French) is doing this : For a low-pass filter, the equation is $$RCy't()+y(t)=x(t)$$ with distributions it's written $$ (-RC\delta'+\delta)*y=x $$ (I don't understand this ...
1
vote
1answer
48 views

Derivative of the composition of delta distribution with a differentiable function

Is there an explicit representation of what $\frac{\partial }{ \partial x} \delta(f(x,t))$ is? Here $\delta $ is the delta distribution and $f$ is an arbitrary differentiable function which is ...
2
votes
1answer
68 views

Is $C(\mathbb R) \subset H_{s}^{loc}$ (localized Sobolev space)?

We put, Sobolev space $$H_{s}=H_{s}(\mathbb R)=\{f\in L^{2}(\mathbb R):[\int_{\mathbb R} |\hat{f}(\xi)|^{2}(1+|\xi|^{2})^{s}d\xi]^{1/2}<\infty \}.$$ If $U$ is an open set in $\mathbb R,$ the ...
1
vote
2answers
76 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
1answer
82 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
65 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
26 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} ...
1
vote
1answer
57 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
1answer
60 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 ...
0
votes
0answers
64 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 ...
1
vote
1answer
40 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
65 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 ...
2
votes
0answers
80 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 ...
0
votes
1answer
26 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} ...
4
votes
0answers
36 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 ...
2
votes
0answers
149 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 ...
0
votes
3answers
724 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
70 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 ...
3
votes
0answers
74 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 ...
0
votes
1answer
45 views

Understanding Distributional Meanings and Test Functions for PDEs

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 if this is a link to a particularly good set of ...
3
votes
1answer
37 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
55 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}} \, ...
2
votes
0answers
66 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 ...
3
votes
1answer
177 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 ...
2
votes
1answer
57 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 ...
2
votes
1answer
54 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 ...
2
votes
1answer
53 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). $$
3
votes
1answer
59 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
72 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 ...
0
votes
1answer
41 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})$?
0
votes
2answers
59 views

Show that T does not have a finite order

Part A: Show that $\langle T, \psi\rangle=\sum_{n=1}^\infty \psi^{(n)}(n)$ defines a distribution. Please check: $$|\langle T, \psi\rangle|=|\sum_{n=1}^\infty \psi^{(n)}(n)| \leq \sum_{n=1}^\infty ...
4
votes
1answer
102 views

Integral with Dirac Delta

I've to compute this expression $$ \hat{H} = \frac{1}{4}g_2\int d^3R\int d^3r\ \bar{\Psi}(\vec{R}+\frac{\vec{r}}{2})\bar{\Psi}(\vec{R}-\frac{\vec{r}}{2})\left[ \delta(\vec{r})\nabla_{\vec{r}}^2 ...
3
votes
1answer
94 views

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 ...
1
vote
1answer
40 views

Null space of $\mathrm{D_x} \mathrm{D_y}$ in $\mathcal{D}'(\mathbb{R}^2)$?

I am interested about the null space of the operator $\mathrm{D_x} \mathrm{D_y}$ on the space $\mathcal{D}'(\mathbb{R}^2)$ of generalized functions (or distributions) of Schwartz, i.e. $$\{ f \in ...
0
votes
1answer
67 views

Line integral along an implicit curve and dirac distibution

Let $\varphi : \Bbb{R}^2 \rightarrow \Bbb{R}$ defining an implicite curve $C = \{ (x,y), \varphi(x,y) = 0 \}$, and $u : \Bbb{R}^2 : \rightarrow \Bbb{R}$ Does the line integral $\int_C u(x,y)\ dC$ ...
1
vote
1answer
428 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
1answer
49 views

partial derivatives of Dirac functions

I was reading my courses, and couldn't understand an exercise: The question was: simplify in $D'(\Bbb R^n)$ $\sum_{i=1}^n x_i\frac{\partial \delta}{\partial{x_i}}$ on my correction, I had written: ...