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

10
votes
0answers
282 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 ...
9
votes
0answers
181 views

Half Solved: A problem on the heat operator not being elliptic with a weakened version of elliptic regularity

I should first mention this: in my studies of Sobolev spaces I have completed all the questions of chapter 9 from Folland's real analysis with the help of this site and this is my last one, which is ...
9
votes
0answers
146 views

What plays the role of the identity for the generalized convolution associated to the Fourier-Bessel transform?

In traditional Fourier theory, the Dirac delta plays the role of an "identity" for the $L^1$ algebra with respect to the usual convolution. The convolution is traditionally built out of group ...
9
votes
0answers
432 views

If a Radon measure is a tempered distribution, does it integrate all Schwartz functions?

The question might at first sight sound like the answer is trivially "yes", so let me clarify the question a bit. Consider given a Radon measure $\mu$ on $\mathbb{R}^n$. Let $\mathcal{D}(\mathbb{R}^n)$...
8
votes
0answers
326 views

Connection between distributional and renormalized solutions for Boltzmann equation

I have a problem understanding the meaning of a distributional solution. Let me tell you the context the problem appeared: I read through some papers by DiPerna and Lions concerning the Cauchy Problem ...
7
votes
0answers
125 views

In the space of distributions, how big is the subspace of functions?

I'm teaching Distribution theory and many of my students still believes that there is only one kind of distribution : the distribution that can be identified to a $L^1_{\text{loc}}$ function. And I ...
6
votes
0answers
84 views

Intuition and slick proof that distributions are special cases of hyperfunctions?

I am looking for some slick or simple proof that distributions are a special case of hyperfunctions. Furthermore, what is the intuition behind this fact? Why should one think of hyperfunctions as '...
5
votes
0answers
193 views

Laplace transform of functions related to type $\mathcal{S}$, and the relation to entire functions

I have doubts in the following two questions : What is the Laplace transform of $[x^k\varphi(x)]^{(q)}$, where $\varphi\in \mathcal{S}_\alpha^\beta$ and $-\infty<x<\infty$ , $k,q=0,1,2,......
5
votes
0answers
168 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 $\mathbb{R}^n$...
5
votes
0answers
96 views

Show that integrals are equal

Let $f \colon [0,+\infty) \to \mathbb R$ be a convex function. Then $f''(x)$ is a nonnegative distribution on $(0,+\infty)$ and hence it can be continued to a nonnegative mesure $\mu$ on $(0,+\infty)$....
5
votes
0answers
192 views

Distributional derivative of bounded functions

Let $f$ be a bounded measurable function on $\mathbb{R}$. We may consider its derivative $f'$ as a distribution on $\mathbb{R}$. Is there a reasonable description of those distributions $\psi$ ...
4
votes
0answers
58 views

The space of test-functions carries any other structure on it?

I'm starting to study distributions and on the lecture notes I'm reading the author defines a test-function as a function $f : U\subset \mathbb{R}^n\to \mathbb{R}$ which is infinitely differentiable ...
4
votes
0answers
66 views

Computing the Fourier transform of the distribution $\|x\|^{-\alpha}$.

Question: Suppose we are given the tempered distribution $\|x\|^{-\alpha}$. We want to compute the Fourier transform $\mathcal{F}[\|x\|^{-\alpha}](\xi)$. What techniques are available for ...
4
votes
0answers
57 views

“Contradiction” to Bochner's theorem for distributions

I recently asked a question "For what values of $\lambda$ the distribution $(x-i\epsilon)^{\lambda}$ is positive?". User Marcel was kind enough to point out in his answer that one uses Bochner's ...
4
votes
0answers
123 views

How to prove that this solution of heat equation is not a tempered distribution?

A theorem of PDEs sais that the following Cauchy problem for the heat equation \begin{align*} & \partial_t u = \partial_{x}^2 u, \quad (t,x) \in \mathbb{R_+} \times \mathbb{R}, \\ & u|_{ t = ...
4
votes
0answers
55 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 ...
4
votes
0answers
95 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 $...
4
votes
0answers
94 views

why is test function space $\mathcal{A}$ complete

I am trying to find out, why the space $$\mathcal{A}:=\left\{\phi\in C_0(\mathbb{R}^{2d})|\;\|\phi\|_\mathcal{A}:=\int_{\mathbb{R}^d}\sup_{x\in\mathbb{R}^d}|(\mathcal{F}_p\phi)(x,y)|\;\mathrm dy<\...
4
votes
0answers
133 views

Regularity theorem for Laplacian

Let $\Omega \subset \mathbb R^d$ be a bounded domain, $d>2$. Let $f \in C^\infty(\Omega)$. If $u \in L^2$ is a distributional solution of $\Delta u = f$ in $\Omega$ then $u \in C^\infty(\Omega)$ ...
4
votes
0answers
222 views

Solving $ T' = 0 $ for distributions in $\mathbb{R}^n$

Denoting $ T \in \mathcal{D}'(\mathbb{R}^n) $ as distributions with $ T_f(\varphi) = \int_{\mathbb{R}^n} f\varphi\ dx $, I wish to prove the distribution solution of the equation $ T' = 0 $ (...
3
votes
0answers
37 views

Proof of the Helmholtz-Hodge decomposition

Let $\Omega\subseteq\mathbb R^3$ be open $\mathcal D(\Omega):=C_c^\infty(\Omega)$ Let $$G^2(\Omega):=\left\{\nabla p:p\in L^2_{\text{loc}}(\Omega)\text{ with }\nabla p\in L^2(\Omega)^3\right\}$$...
3
votes
0answers
63 views

How to show this property of the delta function?

Let $\mathcal{D}(\mathbb{R})$ be the space of test-functions in $\mathbb{R}$ and let $f$ be a $C^\infty$ function. I want to show that if $f$ has $n$ zeroes $x_1,\dots,x_n$ in the interval where it is ...
3
votes
0answers
40 views

Show that a regularizing operator $K : C_c(\Omega) \to \mathcal{D}'(\Omega)$ has kernel $k \in C^\infty(\Omega \times \Omega)$.

I am reading Francois Treves' Introduction to pseudodifferential and Fourier integral operators, vol. I. Let $\Omega \subseteq \mathbb{R}^n$ be open. On page 11, Treves defines what it means for a ...
3
votes
0answers
63 views

Fourier distribution $\frac{e^{i|x|}}{|x|}$

I need help to calculate Fourier transform in distribution sense of $\frac{e^{i|x|}}{|x|}$ in $D'(\mathbb{R}^3)$ we have $ \frac{e^{i|x|}}{|x|} \in L^1_{loc}(\mathbb{R}^3)$ edit, Let $E(x)=\frac{e^{i|...
3
votes
0answers
53 views

Proving an identity of the composition of the delta distribution with a differentiable function

Given a differentiable function $f$, some $x_j$ ($j \in \{1, ..., n\}$) such that $f(x_j) = 0$ $\forall j$ and $f'(x_j) \ne 0$ $\forall j$, and the following definition of the composition of a ...
3
votes
0answers
46 views

Is $\sum_n\exp(ian+ibn^2+icn^3)$ known in terms of anything else?

For arbitrary $a,b,c$, does the series $$F(a,b,c)=\sum_{n=-\infty}^\infty\exp\left(ian+ibn^2+icn^3\right),$$ i.e. an evenly-weighed series of exponentials of cubic polynomials, converge to anything ...
3
votes
0answers
35 views

Equivalent descriptions of Sobolev spaces on compact manifolds

While reading through a set of lectures on the Laplacian on manifolds, I encountered two descriptions of Sobolev spaces. The first one, valid only for compact manifolds (because it needs to globalize ...
3
votes
0answers
44 views

How do I show that a distribution is a function?

While reading Grigor'yan's book on the heat kernel I have encountered the following definition of a Sobolev space on a Riemannian manifold $M$: $W^2 (M) = \{ u \in W^1 (M) : \Delta u \in L^2 (M) \}...
3
votes
0answers
146 views

No consistent theory can define a product of distributions: why?

I have been told there cannot be a consistent theory defining a distribution product. Googling for information, I found 1 and 2. Number 1 gives interesting hints on what might happen, and defines a ...
3
votes
0answers
58 views

Distribution induced by a function

We are given $F(x) = |2x+1|, x \in \mathbb{R}$ How to determine whether $$[F|_{(0, \infty)}] \in \mathcal{D}'((0, \infty))$$ $$[F|_{(- \infty, 0)}] \in \mathcal{D}'((- \infty, 0))$$ are regular ...
3
votes
0answers
68 views

if $\Delta u = |\nabla u|^{3/2}$ then $u \in C^{\infty}$

Suppose $u \in H^1_{\text{loc}}(\mathbb{R^2})$. I want to show that if $\Delta u = |\nabla u|^{3/2}$ in the distributional sense then $u \in C^{\infty}$. I know that since $\nabla u \in L^2$ (I'll ...
3
votes
0answers
82 views

Fourier transform and non-standard calculus

The Fourier transform is not as easily formalizable as the Fourier series. For example, one needs to introduce tempered distributions to define the Dirac delta-function. Also, it is impossible to view ...
3
votes
0answers
40 views

What is the topological interpretation of continuity of distributions?

I was given this definition of continuity in the distributional sense. A distribution $T$ over the space of test functions $\mathcal{D}$ is continuous if for every sequence of test functions $\{ \...
3
votes
0answers
92 views

What is a good way to prove the weak form of the Sobolev embedding theorem?

From Richard Melrose, From microlocal to global analysis, Chapter 1, Problem 11. Suppose $u\in L^{2}(\mathbb{R}^{n})$ and that $$ D_{1}D_{2}\cdots D_{n}\mu\in (1+|x|)^{-n-1}L^{2}(\mathbb{R}^{n}) $$ ...
3
votes
0answers
154 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}} \, \mathrm{d}...
3
votes
0answers
52 views

Do we have $C^\infty \cap \mathcal{O}_C' = \mathcal{S}$ and/or $C^\infty \cap \mathcal{S}' = \mathcal{O}_M$?

We define the following traditional function spaces from distribution theory. $\mathcal{S}$ the space of rapidly decreasing smooth functions. $\mathcal{S}'$ the space of tempered distributions, dual ...
3
votes
0answers
221 views

Does the fundamental theorem of calculus hold for BV functions?

I am a bit confused and I hope you can help me in understanding a bit better these things. Let us start by considering one dimensional case. Let $f\colon \mathbb (a,b) \to \mathbb R$ be a function. ...
3
votes
0answers
267 views

Weak convergence implies uniform convergence in distribution?

Consider an empirical processes $\{v_T(\theta), T\geq 1 \}$ and assume it is weakly convergent to the stochastic process $\{ v(\theta); \theta \in \Theta\}$., i.e. $$ E^*(f(v_T(\theta)))\rightarrow E(...
3
votes
0answers
97 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 + \frac{...
3
votes
0answers
176 views

Verifying the fundamental solution of Stokes flow in R^3?

Recall that Stokes flow in $\mathbb{R}^3$ is the solution $(\textbf{u}, p)$ of $$\begin{align} -\nabla p + \mu \Delta \textbf{u} &= \textbf{f} \\ \nabla \cdot \textbf{u} &= 0, \end{align} \...
3
votes
0answers
112 views

Variation of Partition of Unity

We know as "Partition of unity" that follow: Let $X\subseteq \mathbb{R}^n$ be an open set, and let $K$ be a compact subset of $X$. Let $X_i$, $i=1,\ldots, m$, be open subsets of $X$ whose union ...
3
votes
0answers
47 views

Estimation of $\|(1-\Delta)^{\gamma/2}f\|_1$ type

Let $\phi(\xi)\in C_c^\infty(\mathbb{R}^d)$ with value $1$ in a neighborhood of the unit ball and vanishing fast outside the ball. I want to estimate $$\|(1-\Delta)^d (\cdot)^\alpha \partial^\alpha\...
3
votes
0answers
108 views

Inversion formula for Schwartz-space $\mathcal{S}$.

Let $T\phi = \overline{\mathcal{F}}\mathcal{F}\phi$ for $\phi \in \mathcal{S}(\mathbb{R}^n)$ (rapidly decreasing functions or Schwartz-functions, $\mathcal{F}$ fourier transform and $\overline{\...
3
votes
0answers
527 views

Show that the Dirac delta distribution can not be represented by a continuous function

How do I show that the Dirac delta distribution cannot be represented by a continuous function? My try is to show that there exists no continuous function $f(x)$ such that $\int f(x) \phi(x) dx = \...
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 $$-f'(x-a)=\...
3
votes
0answers
352 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 ...
3
votes
0answers
113 views

Colombeau product of distributions

How can use the Colombeau generalized function method to evaluate the product of distributions $ \delta (x) \times \delta (x) $ or $ \delta ^{n} (x) \times \delta ^{m} (x) $ (derivatives of dirac ...
3
votes
0answers
59 views

Why $\partial_{i}(A^{*}u)=A^{*}(\sum^{n}_{j=1}a_{ji}\partial_{j} u)$?

We define the affine transformation on distributions by $$\langle A^{*}u, \phi \rangle=\frac{1}{\det(A)}\langle u,\phi(A^{-1}x)\rangle$$ Assume this we should have $$\langle \partial_{i}(A^{*}u), \...
3
votes
0answers
182 views

Does $\sqrt{\delta^2}$ make more sense than $\delta^2$?

What is the Product of $\delta$ functions with itself? was already asked some time ago. In a comment the OP states: I want to create $\delta(t)$ such that the product with itself is also $\delta(t)...
3
votes
0answers
413 views

The topology of distributions

I have been wondering about the following concerning the spaces $\mathcal D$ of test functions (say on $\mathbf R$). It is my understanding that the topology on this space is inductive limit ...