**0**

votes

**1**answer

61 views

### Domain of the Stokes operator

Let
$\Omega\subseteq\mathbb R^d$ be open ($d\in\mathbb N$)
$\mathcal D:=C_c^\infty(\Omega)^d$ and $$\mathfrak D:=\left\{\phi\in\mathcal D:\nabla\cdot\phi=0\right\}$$
$\mathcal H:=\overline{\mathfrak ...

**8**

votes

**1**answer

252 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 $\mathcal{D}...

**2**

votes

**0**answers

134 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 R^...

**1**

vote

**0**answers

42 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>0$, and $z=a+ib$ with $a<0$. I want to study the behavior near the origin of the Fourier ...

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

**3**

votes

**2**answers

238 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

**0**answers

52 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

**1**answer

150 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 (f_1(x),..,f_k(...

**8**

votes

**3**answers

308 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

**0**answers

32 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

**2**answers

312 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

**1**answer

228 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

**0**answers

128 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

**0**answers

72 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 C^\infty(\...

**4**

votes

**1**answer

134 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

**3**answers

307 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

**0**answers

150 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

**1**answer

83 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

**1**answer

531 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 semi-...

**4**

votes

**2**answers

321 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

**1**answer

151 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

**0**answers

70 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

**2**answers

133 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

**0**answers

85 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

**1**answer

130 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

**2**answers

256 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

**1**answer

91 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

**1**answer

114 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 $$T\...

**0**

votes

**1**answer

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

**1**answer

196 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

**2**answers

283 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 t}+\beta^2w\right)+\...

**5**

votes

**0**answers

270 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)}
\widehat{g}(\xi)}{|\xi|^{d-2[\...

**5**

votes

**1**answer

241 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

**0**answers

331 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

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

**4**

votes

**1**answer

554 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 $\mathscr{...

**5**

votes

**1**answer

273 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$$ $$\text{...

**2**

votes

**1**answer

142 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

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

**0**

votes

**2**answers

375 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) = \frac{...

**5**

votes

**2**answers

266 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π x\...

**3**

votes

**1**answer

202 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. ( http://math.stackexchange.com/questions/813063/convergence-to-a-schwartz-...

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

**4**

votes

**2**answers

469 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

**1**answer

318 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

**1**answer

236 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

**0**answers

231 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

**0**answers

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

**0**answers

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

**3**answers

463 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 $\mathcal{D}(...