**28**

votes

**7**answers

3k views

### What examples of distributions should I keep in mind?

I'm learning a bit about the theory of distributions. What examples of distributions will help me develop good intuition?
Definitions: Let $U$ be an open subset of $\mathbb{R}^n$. Write ...

**14**

votes

**18**answers

10k views

### Good books on theory of distributions

Hi all.
I'm looking for english books with a good coverage of distribution theory.
I'm a fan of Folland's Real analysis, but it only gives elementary notions on distributions.
Thanks in advance.

**11**

votes

**3**answers

1k views

### Eigenvectors of the Fourier transformation

The Fourier transform $\hat u$ is defined on the Schwartz space $\mathscr S(\mathbb R^n)$
by
$
\hat u(\xi)=\int e^{-2iπ x\cdot \xi} u(x) dx.
$
It is an isomorphism of $\mathscr S(\mathbb R^n)$ and the ...

**10**

votes

**4**answers

2k views

### Topology on the space of Schwartz Distributions

If we equip the Schwartz space $\mathcal{S}$ with its usual Fréchet space topology, then the space of continuous linear functionals $\mathcal{S}^\ast$ is known as the space of Schwartz distributions ...

**9**

votes

**2**answers

530 views

### Pull-back of generalized functions

Let $f\colon X\to Y$ be a smooth map between smooth manifolds. Then the pull-back operation
$f^*\colon C^\infty(Y)\to C^\infty(X)$ is a linear continuous operator when $C^\infty$ is equipped with the ...

**8**

votes

**2**answers

305 views

### Poincaré lemma for distributions

Let us consider a current on $\mathbb R^n$, that is a differential form whose coefficients are distributions. For simplicity, let us check the case of a $1$-form
$$
u=\sum_{1\le j\le n} u_j dx_j,\quad ...

**8**

votes

**3**answers

290 views

### Why is multiplication on the space of smooth functions with compact support continuous?

I asked this question
http://math.stackexchange.com/questions/1680725/why-is-multiplication-on-the-space-of-smooth-functions-with-compact-support-cont
sometime ago but i didn't receive a satisfatory ...

**8**

votes

**2**answers

358 views

### Notion of generalized function/distribution for functional derivatives?

Is there any work on defining something analogous to a generalized function for functions whose domain is a Hilbert or Banach space? Is there an extension of the notion of Frechet/Hadamard/Gateaux ...

**8**

votes

**0**answers

210 views

### Wavelet-like Schauder basis for standard spaces of test functions?

The Schwartz space of test functions $\mathcal{S}(\mathbb{R})$ is isomorphic to $\mathfrak{s}$ the space of sequences of real numbers with faster than power-like decay. Likewise, the space ...

**7**

votes

**3**answers

1k views

### Rationale for Hadamard's finite part of a divergent integral

(Note: I asked this question a few days ago on math.stackexchange but didn't get any responses. I've therefore decided to post it here instead.)
I have a problem justifying throwing away the ...

**7**

votes

**1**answer

401 views

### Is the space of rapidly decreasing (non-smooth) functions nuclear?

We denote by $\mathcal{S}(\mathbb{R})$ the space of smooth and rapidly decreasing functions. We define on $\mathcal{S}(\mathbb{R})$ the family of semi-norms
$$\lVert \varphi \lVert_{n,m} = \lVert ...

**6**

votes

**3**answers

791 views

### Can distribution theory be developed Riemann-free?

I imagine most people who frequent MO have been indoctrinated into the point of view that the Riemann integral can be safely discarded once one has taken the time to develop the Lebesgue integral. ...

**6**

votes

**1**answer

778 views

### Distributions on product spaces

I hope this is suitable to MO.
Question. Let $X$ and $Y$ be two open sets in $\mathbb R^n$ and $\mathbb R^m$, respectively. In what sense can we consider $\mathcal{D}^{\prime} \left(X\times Y\right)$ ...

**6**

votes

**0**answers

130 views

### Norms and distributions

Question 1. Is there a nice or explicit way to describe the class of all distributions (generalized functions) $\mu$ on the $n$-sphere $S^n \subset \mathbb{R}^{n+1}$ for which the function
$$
F(v) := ...

**5**

votes

**4**answers

1k views

### Distributions more complicated than the Dirac δ and derivatives

The responses to another question clarifies that the best known examples of distributions that are not measures, are the derivatives of the delta and such. What I want to know is: Is that the only way ...

**5**

votes

**1**answer

607 views

### Solve $f(x)=\int_{x-1}^{x+1} f(t) \mathrm{d}t$

Solve $f(x)=\int_{x-1}^{x+1} f(t) \mathrm{d}t$.
When $f$ is a function, it looks like the only solution is $f(x)=0$. But what if we allow distributions, such as the Dirac delta?

**5**

votes

**3**answers

863 views

### Explicit isomorphism between distributions and universal enveloping algebra

The universal enveloping algebra of a Lie algebra $\mathfrak{g}$ is isomorphic to the algebra of distributions on the Lie group $G$ with support at the identity. The proof I have of this fact uses the ...

**5**

votes

**1**answer

223 views

### Are functions of moderate growth a bornological space?

I was thinking a bit about distribution theory the last weeks and stumbled across the following question:
There are two natural locally convex topologies on the space of smooth functions of moderate ...

**5**

votes

**1**answer

1k views

### A good reference for the wave front set

Hello,
I am wondering whether anyone know some good references for the theory of wave front set, microlocal analysis? I have some basic knowledge of distribution theory at the level of the Rudin's ...

**5**

votes

**3**answers

295 views

### A space of distributions vanishing on the boundary

The revised question
After more reflection on the problem, I might have found the answer by myself. Let $U$ be an open subset of $M$, irrespective of whether it has a boundary or not. Let
$$\mathcal ...

**5**

votes

**1**answer

239 views

### $\mathcal S(\mathbb R^n) \hat \otimes_\pi \mathcal S(\mathbb R^m) \simeq \mathcal S(\mathbb R^{n+m})$?

If $S(\mathbb R^n)$ is the Scwartz space of smooth rapidly decaying functions equipped with the topology generated by the family of semi-norms
$$\mathcal N_p (\varphi)= \sum_{|\alpha|, |\beta| \leq p} ...

**5**

votes

**3**answers

254 views

### Method to compute fundamental solutions which are distributions

The Malgrange-Ehrenpreis theorem tells us that there is a fundamental solution for any linear differential operator of constants coefficients. The original proof was not constructive (it was based on ...

**5**

votes

**2**answers

283 views

### Integration under functional sign

Let $f(x,y)$ be some bounded with its derivatives continuous function on $\Omega \times \overline{\Omega}$, where $\Omega$ is a domain in $\mathbb{R}^n$. Let $f(\,\,\cdot\,,\,y) \in ...

**5**

votes

**2**answers

282 views

### Weak solutions for a PDE of fourth order

I deal with two-dimensional Kirchhoff equation with $L^\infty$ coefficient and distributional right hand side:
$$
\Delta\Delta w+u(x,y)\left(\alpha^2\frac{\partial w}{\partial ...

**5**

votes

**2**answers

252 views

### Recognizing Schwartz regular distributions

Are there characterizations of Schwartz regular distributions other than being locally integrable (which does not lend itself to easy manipulations)?
To be more detailed: if I want to show that some ...

**5**

votes

**1**answer

263 views

### Calculus of variation

This is probably simple but I'm stuck somewhere. I am trying to solve the calculus of variation problem that arise in an applied field: $$\min_{f \in C^1} \int^1_0 \int^1_0 (x-y)^2f(x,y)dxdy$$ ...

**5**

votes

**2**answers

264 views

### Eigenstates of Fourier transformation

Let $\gamma$ be defined on $\mathbb R^n$ by $\gamma (x)=e^{-π x^2}$. With $\mathcal F$ standing for the Fourier transformation defined on the Schwartz space by
$$
(\mathcal F u)(\xi)=\int e^{-2iπ ...

**5**

votes

**0**answers

125 views

### Differential operators acting on the Schwartz space

I asked a similar question on math stack exchange but didn't get an answer so I will try to ask it here. Any help/suggestion is most than welcome!
Let $D$ be a linear differential operator with ...

**5**

votes

**0**answers

267 views

### Squaring random Schwartz distributions

Let $\mu$ denote the centered Gaussian measure on $S'(\mathbb{R}^d)$ with covariance
$$
\mathbb{E}
[\phi(f)\phi(g)]=\int_{\mathbb{R}^d} \frac{\overline{\widehat{f}(\xi)}
...

**5**

votes

**0**answers

115 views

### Support of a Measure with Characteristic Functional Continuous in $L_p$, $1\leq p <2$?

Let $\mathcal{S}(\mathbb{R})$ be the space of smooth and rapidly decaying functions and $\mathcal{S}'(\mathbb{R})$ its dual, the space of tempered distributions. Let $\mu$ be a probability measure ...

**5**

votes

**0**answers

327 views

### distributions on Lie groups and representations

Let $G$ be a Lie group and $\pi$ a continuous action on $V$, a Fréchet space.
This action induces a representation of the space of compactly supported functions, $C_c(G)$, with convolution as product ...

**4**

votes

**4**answers

425 views

### Reference for integral of functions taking values in a topological vector space.

(Note that I am interested in the Gelfand-Pettis integral specifically, as opposed to, for example, the Bochner integral.) I have tried Googling things like "integral topological vector space", ...

**4**

votes

**2**answers

1k views

### Distributions and measures

Hello,
After reading the previous post, I still have some doubts. Let's consider everything on $R$ to avoid complications.
Can we say that any distribution $\mu\in\mathcal{D}'(R)$ of zero order ...

**4**

votes

**2**answers

634 views

### Wightman fields vs local functionals vs operators

In QFT literature one wants to look at $n-$point correlation functions of "operators" inserted at $x$ say, $\cal{O}(x)$ and if $\phi_i$ are the fields then the quantity one has in mind is written as, ...

**4**

votes

**1**answer

533 views

### Understanding Bruhat's notion of Schwartz function

I am trying to understand Bruhat's generalized Schwartz functions over (Hausforff) locally compact Abelian groups [1], following this paper [2] by Osborne. There, the Schwartz-Bruhat space ...

**4**

votes

**2**answers

315 views

### The derivative of a non-tempered distribution can be tempered?

Suppose we have a non- tempered distribution $u\in \mathcal D'(\mathbb R^d)\backslash \mathcal S'(\mathbb R^d)$. Is it possible to have $\partial_{x_1}...\partial_{x_d}u \in \mathcal S'(\mathbb R^d)$ ...

**4**

votes

**2**answers

465 views

### Decomposition of distributions

Can we write every (tempered) distribution $\psi$, say on $\mathbb{R}$, as the sum of two distributions
$\psi = \psi_1 + \psi_2$
such that $\psi_1$ and the Fourier transform of $\psi_2$ are ...

**4**

votes

**1**answer

148 views

### Hyperfunctions supported at a point

Is it true that the space of hyperfunctions on $\mathbb{R}^n$ supported at 0 coincides with the space of Schwartz distributions supported at 0?
More explicitly, is it true that any hyperfunction ...

**4**

votes

**1**answer

194 views

### Practical way to check whether a distribution is conormal

Let $X$ be a $C^\infty$-manifold, $Y$ be its $C^\infty$-submanifold. Hörmander defines the set $I^m(X,Y)$ of conormal distributions as the set of all $u \in \mathscr D'(X)$ such that
$$
L_1 ...

**4**

votes

**1**answer

131 views

### normal form of currents?

(this question did not get any answers on math.SE, so I am reposting it here)
Let $M$ be an $n$-dimensional manifold. Then the space of currents $\mathcal D^k(M)$ of degree $k$ on $M$ is the space ...

**4**

votes

**1**answer

692 views

### What functions can be obtained as a convolution of a Schwartz function and a tempered distribution?

Let $\mathcal S (\mathbb R)$ denote the space of Schwartz functions on $\mathbb R$ and $\mathcal S^* (\mathbb R)$ denote the dual space of Schwartz (a.k.a tempered) distributions.
We consider ...

**4**

votes

**0**answers

66 views

### Applications and main properties of hyperfunctions

I am trying to get familiar with hyperfunctions, and I do have some familiarity with the classical theory of distributions.
I am wondering whether hyperfunctions have any advantages over ...

**4**

votes

**0**answers

220 views

### Define the space of distributions with algebraic decay?

A tempered distribution $u\in \mathcal{S}'(\mathbb{R})$ is said to be rapidly decreasing if for every $f \in \mathcal{S}(\mathbb{R})$, $u*f \in \mathcal{S}(\mathbb{R})$.
One rough way to motivate ...

**4**

votes

**0**answers

168 views

### Convergence of Schwartz Kernels

I read this question, and I would like to ask the opposite: Assume that I have a sequence of smoothing operators $(P_n)$ with (hence smooth) kernels $(p_n)$ converging strongly to some smoothing ...

**4**

votes

**0**answers

108 views

### Is there an analogue of distributions in characteristic p?

Some motivation: When working over $\mathbb{C}$, distributions (in the sense of generalized functions) act as natural generators for $D$-modules (in the sense that any regular holonomic $D$-module is ...

**3**

votes

**2**answers

233 views

### Nice way to express $H^{-1}(\mathbb{S}^1)$

I am looking for a good way to write down what $H^{-1}(\mathbb{S}^1)$ is. What do I mean by this: Well, certainly one can define this space via charts that map from the sphere into $\mathbb{R}^2$ and ...

**3**

votes

**3**answers

436 views

### When sequentially continuous linear functional is continuous?

Let $C^\infty(X)$ denote the space of infinitely smooth functions on a compact manifold $X$ (at the beginning one may assume that $X$ is a circle, though I need a more general case). Let ...

**3**

votes

**1**answer

940 views

### Fourier transform of a bounded function

This should really be well-known, but I was not able to find a definite answer to this question:
Is the Fourier transform of a bounded function always a borel measure (i.e. an order 0 distribution)?
...

**3**

votes

**2**answers

566 views

### Schwartz kernel theorem for topological spaces

Is there some regularizing version of Schwartz kernel theorem for topological spaces, i.e., in the form of
Every continuous linear map $A\colon C\prime(X_2) \to C(X_1)$ is given by a kernel $k \in ...

**3**

votes

**1**answer

494 views

### The Schwartz space is not normable

The Schwartz space of rapidly decreasing function (as well as their derivatives) on $\mathbb R^n$ is a Fréchet space, whose (metric complete) topology is given by the usual countable family of ...