A distribution is a continuous linear functional on the space $\mathcal{C}^{\infty}_c$ of smooth (indefinitely differentiable) functions with compact support. Though they appeared in formal computations in the physics and engineering literature in the late $19^{th}$ century, their formal setting ...

learn more… | top users | synonyms

1
vote
0answers
22 views

A question about Fourier transform of function of the type $(1+P(x))^{z}$

Let $$f= (1+P(x))^{z},$$ where $P(x)\ge 0$ is a real polynomial in $\mathbb{R}^n$ of degree $2m$, and $z=a+ib$ with $a<0$. I want to study the behavior near the origin of the Fourier transform of ...
0
votes
0answers
34 views

Dual space of vector fields with null divergence

Let us consider $\mathscr D(\mathbb R^3;\mathbb R^3)$ the space of smooth compactly supported vector fields in $\mathbb R^3$ and let us define $\widetilde{\mathscr D}=\mathscr D(\mathbb R^3;\mathbb ...
11
votes
3answers
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 ...
0
votes
0answers
28 views

Fourier tranform of the Euclidean norm [migrated]

where can I find the Fourier transform of the power of the Euclidean norm?, that is: $$\mathcal{F}[\|x\|^{p}](\omega) = \int_{\mathbb{R}^{d}}\exp(-2\pi i \langle\omega, x\rangle) \|x\|^{p} dx$$ ...
3
votes
2answers
234 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 ...
0
votes
0answers
48 views

approximating smooth functions by non-smooth ones, in the distribution topology

The classical Stone-Weierstrass theorem gives a necessary and sufficient condition for a class of continuous functions on a compact to approximate a larger class of continuous functions in $C^0$ ...
2
votes
1answer
147 views

Simplify proof for rapidly decaying functions

I want to show the following theorem in a lecture: Let $F \in C^{\infty}(\mathbb{C}^{k}, \mathbb{C})$ such that $F(0)=0.$ Let $G: \mathbb{R}^n \rightarrow \mathbb{C}^{k}$, $x \mapsto ...
8
votes
3answers
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 ...
2
votes
0answers
31 views

Show that a very regular kernel $k(x,y)$ has operator $K : \mathcal{E}'(\Omega) \to \mathcal{D}'(\Omega)$ which is pseudo-local

I am reading Francois Treves' Introduction to pseduodifferential and Fourier integral operators, vol. I. I am having trouble understanding the proof of Lemma 2.1, which is stated as follows. Let ...
8
votes
2answers
307 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 ...
3
votes
1answer
207 views

Topology in space of test functions $\mathcal{D}(\Omega)$ and space of distributions $\mathcal{D}'(\Omega)$

We can concluded that $\mathcal{D}(\Omega):=\bigcup_{K \in \mathcal{K}(\Omega)} \mathcal{D}_K(\Omega)$ (where $\mathcal{K}(\Omega)$ denotes the union of all compacts set content in a open subset ...
5
votes
0answers
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 ...
2
votes
0answers
69 views

Combining oscillatory integrals of the first and second kind

Consider an oscillatory integral of the first kind $$ I_\lambda(x)=\intop_{\mathbb{R}^{n}}e^{i\lambda\Phi(x,y)}a(x,y)\,d y,\quad \lambda\geq 0,\; a\in C_c^\infty(\mathbb{R}^{k+n}),\; \Phi\in ...
4
votes
1answer
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 ...
5
votes
3answers
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 ...
1
vote
0answers
140 views

The dual of the space of smooth functions that vanish at infinity

Let $U \subset \Bbb R ^n$ be an open subset and let $\mathcal C$ be the space of the smooth functions on $U$ that vanish at infinity, endowed with the seminorms $p_\alpha (f) = \sup \limits _{x \in U} ...
3
votes
1answer
80 views

Spaces $C^\infty(\mathbb T^n\times \mathbb R^n)$, $C^\infty_0(\mathbb T^n\times \mathbb R^n)$ and $\mathscr{S}(\mathbb T^n\times \mathbb R^n)$? [closed]

Is there any characterization of the space $C^\infty(\mathbb T^n\times \mathbb R^n)$ that I can take as a definition of it? I assume it would be something like this: $$C^\infty(\mathbb T^n\times ...
3
votes
1answer
500 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 ...
8
votes
0answers
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 ...
4
votes
2answers
316 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
1answer
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
0answers
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 ...
1
vote
2answers
130 views

Is there a version of the Titchmarsh Convolution theorem to find singular support?

Okay, some terminology, correct me if I'm wrong. Singular support - the set on which a distribution fails to be smooth. In this case a piecewise function. Is there a name for $f*f*f$? The ...
1
vote
0answers
83 views

Construct a PDE solution from a net of approximations

Consider $P$ a linear partial differential operator in $\Bbb R ^n$. Consider some boundary condition given in the generic form $C(u) = 0$, that guarantees a unique solution (if any) of $Pu = 0$. Let ...
2
votes
1answer
129 views

Conformally covariant distributions

In Conformal Field Theory (in $D$ dimensions) one considers (in particular) correlation functions of the form $$ \langle O(x)O(y)\rangle, $$ where $O$ is a scalar primary field. Scale covariance ...
5
votes
2answers
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 ...
0
votes
1answer
89 views

The hypoellipticity of a heat-like operator

I am aware that the heat operator (on a smooth manifold) is hypoelliptic. I am also aware that there are manifolds on which the Schrödinger's operator (with a $\Bbb i = \sqrt {-1}$ multiplying $\frac ...
3
votes
1answer
111 views

Generalized functions on a product of two manifolds

Let $X,Y$ be smooth compact manifolds. Let $C^\infty(X)$ and $C^{-\infty}(X)$ denote the spaces of smooth and generalized functions on $X$ respectively. We have the obvious canonical linear map ...
0
votes
1answer
149 views

About weak derivatives [closed]

I have a question about weak derivatives. Let $u,v \in L^{1}_{loc}(U)$ (the space of locally integrable functions) for some open set $\emptyset \neq U \in \mathbb{R}^{n}$. We often say that $v$ is ...
3
votes
1answer
181 views

Topologies on spaces of distributions and test functions

Let $X$ be an open subset of $\mathbb{R}^n$. Following the notation of Schwartz, we denote $\mathcal{D}$ the space of compactly supported complex-valued smooth functions on $X$ equipped with the ...
5
votes
2answers
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
0answers
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
1answer
240 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
0answers
328 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 ...
5
votes
0answers
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 ...
4
votes
1answer
537 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 ...
5
votes
1answer
265 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$$ ...
2
votes
1answer
141 views

Well-posedness of heat equation with distributional right hand side

The question is about well-posedness of heat equation $$ \frac{\partial\Theta}{\partial t}=\alpha^2\Delta\Theta+p(t)\delta(x-u(t))\delta(y-v(t)),~~ (x,y,t)\in\Omega\times[0,T], $$ subjected to ...
10
votes
4answers
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 ...
0
votes
2answers
373 views

Eigenfunction of local fractional derivative

Let $E_{\alpha}(x^{\alpha})$ be a Mittag-Leffler function, $\alpha \in (0,1)$. It is an eigenfunction for nonlocal fractional derivative, defined as a convolution with $$ \Phi_{\lambda}(x) = ...
5
votes
2answers
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π ...
3
votes
1answer
193 views

Extension of pseudodifferential operators

I'm very sorry if this is the wrong place to ask this question, but I've asked it on StackExchange and received no answers. ( ...
7
votes
3answers
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 ...
4
votes
2answers
468 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 ...
3
votes
1answer
314 views

Can I approximate Schwartz functions which integrate to zero by $C_0^\infty$ functions which integrate to zero?

Let $X$ be the closed subspace of Schwartz space $\mathcal{S}(\mathbb{R}^N)$ defined by \begin{equation*} X=\left\{f\in\mathcal{S}(\mathbb{R}^N):\quad \int f\; dx=0\right\}. \end{equation*} My ...
5
votes
1answer
224 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 ...
4
votes
0answers
221 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 ...
0
votes
0answers
52 views

how can i solve this nonlinear problem?

let be the differential equation in dimension $ n > 3 $ or $ n =3 $ $$ -\Delta u =|grau|^{2}u $$ (1) with the constraint that the vector 'u' $ |u|=1 $ then how could i prove that the unitary ...
1
vote
0answers
63 views

Bounds on functions pullbacked via exponential map

Let us assume that $M$ is a compact Riemannian manifold (without boundary). For any point $x\in M$, we can pullback $C^\infty(M)$ functions to $T_x M$ via the exponential map, by setting $$ (\exp_x^* ...
3
votes
3answers
441 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 ...