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).

learn more… | top users | synonyms

0
votes
1answer
370 views

Derivatives of Norms and Absolute Values (distributions)

For example we have for $x \in \mathbb{R}$, $$\frac{\partial}{\partial x}\left| x\right| = 2\Theta(x) -1 $$ and thus $$\frac{\partial^2}{\partial x^2}\left| x\right| = 2\delta(x) $$ We also have, ...
6
votes
2answers
85 views

Is it possible to mathematically explain why solids go under mollification when heated?

Well, I'm sure that many people on MSE might object that this is not a math question, however, I think that there might be a well-posed mathematical answer to this question, or at least I hope so. We ...
5
votes
1answer
486 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 ...
2
votes
1answer
68 views

What would be to show $(1+|\xi|^2)^{s/2}\hat{u}\in \mathcal{S}^{'}(\mathbb R^n)$ is a function?

If $s\in\mathbb R$ define the sobolev space $H^s(\mathbb R^n)$ as $$H^s(\mathbb R^n):=\{u\in \mathcal{S}^{'}(\mathbb R^n): (1+|\xi|^2)^{s/2}\hat{u}\in L^2(\mathbb R^n)\}.$$ I have a doubt concearning ...
3
votes
0answers
91 views

Exponential of the derivative operator on the Schwartz space?

We consider the derivative operator $\mathrm{D}$ on the space of smooth and rapidly decreasing function $\mathcal{S}$. We denote by $P_n = \frac{1}{0!} + \frac{X}{1!} + \frac{X^2}{2!} + \cdots + ...
1
vote
1answer
71 views

Is $L^2(0,T;H^{-1}(\Omega)) \subset \mathcal{D}^*((0,T)\times \Omega)$?

Let $\Omega \subset \mathbb{R}^n$ be a domain. Consider the space of test functions $\mathcal{D}((0,T)\times \Omega)$ and the space of distributions $\mathcal{D}^*((0,T)\times \Omega).$ Is it true ...
3
votes
1answer
155 views

How to build a compact support for a function

I was wondering if it is possible to build a distribution with compact support from a function. More precisely, consider a compact set $\mathbf{K}\subset\mathbb{R}^2\setminus\{0\}$, and a function ...
2
votes
1answer
74 views

Weak Laplacian of $\|x\|^\alpha$

Let $\alpha> 0$ and consider the function $\|\mathbf x\|^\alpha = (x^2 + y^2)^{\frac{\alpha}{2}}$ defined on $\mathbb R^2$. I want to compute the Laplacian $\Delta (\|\mathbf x\|^\alpha)$ in the ...
9
votes
0answers
254 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 ...
2
votes
1answer
132 views

Why the tempered distribution is zero?

My question is derived from the proof of the equation $\Delta f=f$ which has no nonzero solution in $\mathscr{S}'(\mathbb{R}^n)$. The ideal to solve this equation is to use the Fourier transform. By ...
1
vote
1answer
42 views

How to compute the limit of a distribution

I would like to know if the following sequence : $ T_n = \displaystyle \sum_{k=1}^n \dfrac{1}{k^{2}} \delta_{\frac{1}{k}} $ converge in $ \mathcal{D} ' ( \mathbb{R} ) $. If it's converge in $ ...
2
votes
0answers
185 views

Problem on the integral representation of a tempered distribution

Suppose $\mathscr{S}(\mathbb{R^n})$ is the space of Schwartz functions, in which the seminorms have the form $$\left \| \varphi \right \|_{m}=\underset{\underset{x\in \mathbb{R}^{n}}{|\alpha|\leq m ...
2
votes
1answer
42 views

Support of the limit of a convergent sequence of distributions

I read that if $u_n \to u \in \mathcal{D}'(X)$, then $$ \text{supp} \, u \subset \bigcap_{n \geq 1} \bigcup_{m \geq n} \text{supp} \, u_m. $$ However, the proof given shows that $$ \text{supp} \, u ...
2
votes
2answers
37 views

Can we conclude that a distribution is a $L^2$ function by testing with $L^2$?

Let $T\colon \mathcal{D}\to\mathbb{R}$ be a distribution. Does $|T(f)|\leq\|f\|_2 \forall f\in\mathcal{D}$ imply $T=T_g$ for some $g\in L^2$? What if $T$ is tempered?
1
vote
2answers
87 views

Derivatives of $|x|$

I wanted to calculate the first and second derivatives of the function $f(x)=|x|$, in order to verify that: $$ f'(x)=\frac{|x|}{x} $$ and $$ f''(x)=2\delta(x). $$ Can you help me?
4
votes
1answer
311 views

Prove that the weak$^*$ topology on the space of tempered distributions is not 1st countable

Please, help me with a proof of this (apparently) known fact whose proof is out of my reach, even though I spent a considerable amount of time looking it up: The weak$^*$ topology on the space of ...
0
votes
1answer
337 views

distribution solution to xT = 0 in Schwartz space

I try to understand the Poisson summation formula from the perspective of distribution theory. However, I got stuck at a problem on the way, namely proving that the distribution solution to $xT = 0$ ...
0
votes
0answers
158 views

Approximate dirac delta and integration error

For a sequence of functions $g_n(x-x_o)$ approximating the Dirac delta I can write: $ \int_a^b g_n(x-x_o) f(x) dx = \int_a^b \delta(x-x_o) f(x) dx + \epsilon_n$ when $x_o \in [a,b]$. I am trying to ...
1
vote
2answers
93 views

Distributional derivatives on hypersurface?

In a paper I was reading, the define a set $Q=(0,T)\times \Omega$, where $\Omega \subset \mathbb{R}^n$ is a bounded domain, and then they write $$\langle \frac{d}{dt}u - \Delta u, \varphi ...
1
vote
0answers
115 views

Convolution of two delta distributions

Show ${\int}_0^{\infty}\delta(x+z)\delta(y-z)dz =\delta(y+x)$ It seems obvious, and I don't think we need a rigorous proof for this (statistical mechanics homework) but I want a rigorous proof of ...
7
votes
1answer
300 views

How to make sense of Fourier series for a distribution?

In particular if I have an array of numbers say, $\{c_m\}_{m\in\mathbb{Z}^n}$. Under what conditions can we say that these are the Fourier coefficients of a distribution? [For examples Bessel's ...
0
votes
2answers
637 views

Delta function multiplied by an exponential function

I do not know if this is an ill-posed question but ... is $\delta(t)e^{-\gamma t}$ equal to $\delta(t)$? Thanks, biologist
3
votes
1answer
101 views

Applications of the theory of distributions outside of PDEs?

Are there any interesting, important or powerful mathematical applications to the Theory of Distributions besides those dealing with partial differential equations?
0
votes
1answer
638 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 ...
2
votes
1answer
119 views

Weighted Dirac comb as a tempered distribution?

I'm trying to determine when a "weighted" Dirac comb is a tempered distribution. More precisely, trying to prove: $$u=\sum_{k=1}^{\infty}c_k \delta_k\in\mathcal{S}'(\mathbb{R})\iff\exists ...
0
votes
2answers
70 views

A short question concerning the distributional solution of $xf=0$

I was reading my notes on the following result: All the $\mathcal{D}'(\mathbb{R})$ solutions to $xf =0$ are of the form $c\delta $ where $c$ is constant and $\delta$ is the dirac delta distribution ...
1
vote
1answer
102 views

Generalized functions as integral kernels on Hilbert spaces

I'm a physics student and I'm studying functional analysis. I've got a doubt about some operators defined by integral kernels that are generalized functions. Let $L_2(a,b)$ be the Hilbert space of ...
0
votes
1answer
45 views

$(1+x^2)T = 1$ in $\mathscr D'(\mathbb{R})$

I only know that the solutions of $xT=0$ in $D'(\mathbb{R})$ are in the form $c\delta_0$, but I can't figure out how to find general solution to $(1+x^2)T = 1$. Any ideas?
0
votes
1answer
68 views

How to prove that limit is equal to zero

How to prove that: $$\lim_{\epsilon\rightarrow 0}(-\log(-x) \phi(x)|_{-\infty}^{-\epsilon} -\log(x) \phi(x)|_{\epsilon}^{+\infty})$$ where $\phi(x) $ is any test function is equal to $0$. It seems ...
2
votes
4answers
325 views

Why is $C_c^\infty(\Omega)$ not a normed space?

I am watching a Coursera video on Théorie des Distributions and I am trying to understand one of the slides. Let $\Omega \subset \mathbb{R}^N$ be an open set and $C_K^\infty(\Omega) = \{ \phi \in ...
2
votes
1answer
95 views

Relationships between growth rates of a distribution and smoothness of its Fourier transform

Let $f\in \mathcal{S}^\prime(\mathbb{R})$ be a tempered distribution, and $\hat{f}$ be its Fourier transform. It is known that when both $f$ and $\hat{f}$ are $L^2$ functions, there are relationships ...
1
vote
1answer
55 views

About a condition for a distribution to be zero

I'm trying to solve the following question: If $S$ is a distribution with compact support on $\mathbb{R}$, which verifies $\langle S, x^n \rangle=0$ $\forall n\in\mathbb{N}$, then $S$ is the ...
3
votes
2answers
203 views

Fundamental solution of a differential operator

I'm trying to solve this question, but I don't know how to deal with it: If we have $b=(b_1,,\dots,b_n)\in\mathbb{R}^n$ and $\beta\in\mathbb{R}$, prove that the differential operator ...
3
votes
1answer
671 views

Fourier transforms of the Heavyside function and the absolute value function

I'm trying to obtain these two Fourier transforms. First of all, I'm using the following definition of Fourier transform: $$\cal{F}(f)(y)=\int_{-\infty}^{\infty}f(x)e^{-ixy}\;dx$$ What I have so ...
1
vote
1answer
81 views

Mellin-Barnes transform of $\frac{1}{\Gamma}$

Let $\varphi \in L_1(c+i\mathbb R)$, where $c > 0$. Then we can define the Mellin-Barnes transform (or the inverse Mellin transform) of the function $\varphi$ by the formula $$ \mathcal ...
1
vote
1answer
70 views

Fourier transform of $\frac{d}{dt}\ln\frac{1}{it}$

I'd like to proove the identity $$\mathcal{F}\left(\frac{d}{dt}\ln\frac{1}{it}\right)=2i\pi H$$ with $H=\mathbb{I}_{\mathbb{R}^+}$ ie the Heaviside step function, $\mathcal{F}$ denote the Fourier ...
1
vote
0answers
107 views

Does the norm exist on $\mathscr S' \subset \mathscr D'$?

I take an extension from $L^2(\mathbb R)$ to $\mathscr S'(\mathbb R)$ of tempered distributions for a mapping of nonlinear distribution. I do not want to use seminorm, but the norm, therefore the ...
2
votes
2answers
74 views

$xT' = 1$ in $D'(\mathbb{R})$

I need help solving the following problem: I want to show that all solutions of $$xT' = 1\ , T \in D'(\mathbb{R})$$ take the following form: $c_{1} + c_{2}1_{[0, \infty)} + ln|.|$ What I tried so far ...
0
votes
1answer
134 views

Extend from the spaces $L^2$ to the tempered distributions $\mathscr S'$

Recall that $\mathscr S(\mathbb R) \subset L^2(\mathbb R)$. Assume the continous and bounded functions $f: \mathbb R \to \mathbb C, \,f \in C(\mathbb R), f(t) \not= 0$ only if $a \leq t \leq b$ and ...
2
votes
2answers
405 views

Convolution and Dirac delta [closed]

I need to prove the following: $\delta_0 * \phi = \phi$, where $\phi$ is a test function. Thank you for your help.
2
votes
0answers
54 views

What is the motivation for “continuity in the sense of distributions”?

Let $M$ be a compact (real) manifold and let $\Omega^m_c(M)$ be the compactly supported $m$-forms on $M$. Apparently a linear map $T : \Omega^m_c(M) \to \mathbb{R}$ is continuous "in the sense of ...
1
vote
1answer
101 views

How to solve distributional equation?

What are the only solutions of a distributional equation: $$xT'=0$$ Thanks. Any hint? I know that $T'(\phi)=-T(\Phi')$.
2
votes
1answer
58 views

Translation is continuous

Let $\mathcal D$ be the space of 'test-functions'. Those are infinitely differentiable functions with compact support. Define the following convergence on $\mathcal D$. $(\phi_j) \to \phi$ in ...
0
votes
2answers
469 views

Fourier transform of a unity function and of unit step function

Fourier transform of the unity function is the Dirac delta distribution. I think this means: In particular, the Fourier transform of the unity function is the Dirac delta distribution, ...
-1
votes
1answer
91 views

Is delta distribution continuous and differentiable with dual space norm?

I know that delta distribution $\delta : \mathcal S (\mathbf R) \to \mathbf C$ is continuous with usual seminorm and here. I am interested in its continuity with dual-space $H^{-1}(\Omega)$ of ...
1
vote
0answers
61 views

What is the difference between these two kernel definitions?

I am reading my graft and the document of David Haussler about Convolution Kernels on Discrete Structures, UCSC-CRL-99-10. My graft and the other document The terminology seems to differ. The ...
2
votes
1answer
181 views

What is the interpretation of $\delta(x)\ln\delta(x)$, where $\delta(x)$ is the Dirac's delta function?

What's the result of the following integral? $$\int f(x)\delta(x)\ln\delta(x)\mathrm{d}x$$ where $f(x)$ is a smooth function (continuous derivatives of as high order as needed).
1
vote
1answer
78 views

When is $W^{m,p}(\Omega)$ dense in $L^p(\Omega)$?

Let $\Omega\subset\mathbb{R}$, $m\in\mathbb{N}$ and $1\leq p<\infty$. What are the (most common) sufficient conditions (if such conditions exists) that we can impose on $\Omega$, $m$ and $p$ to ...
1
vote
1answer
47 views

Distribution of a product of RVs

I have this question which I cannot figure out where I was doing it wrong. Let $(X,Y)$ be a jointly continuous RV with density function $$f_{(X,Y)}(x,y)=\frac{12.5}{LW}\;\;\text{for}\; \;0.9L\leq ...
1
vote
1answer
173 views

Fundamental solution of nonlinear PDE

A fundamental solution of a linear PDE (in sense of Schwartz), $Lu=0$ is defined as a distribution $E$ such that $LE=\delta$. Now I wish to find fundamental solution of nonlinear PDE, such as the ...