**4**

votes

**1**answer

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

**3**

votes

**0**answers

45 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

**0**answers

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

**1**

vote

**2**answers

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

**0**

votes

**1**answer

65 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

94 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

**1**answer

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

**2**

votes

**1**answer

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

**3**

votes

**1**answer

106 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

270 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

232 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

**0**answers

243 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

**1**answer

201 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

92 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

233 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

**1**answer

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

**5**

votes

**2**answers

238 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

**1**answer

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

**3**

votes

**1**answer

181 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. ( ...

**4**

votes

**0**answers

154 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

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

**3**

votes

**1**answer

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

**1**

vote

**0**answers

58 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

309 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

**2**answers

176 views

### Linear operators on distributions with different topologies

Denote by $\mathscr{D}^\prime$ and $\mathscr{D}^\prime_b$ the space of distributions on $\mathbb{R}^n$ equipped with the weak and the strong topology, respectively. Because the topology of ...

**4**

votes

**0**answers

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

**3**

votes

**0**answers

159 views

### smoothing a current

Let $M$ be a smooth oriented manifold of dimension $n$ and $T$ a current of dimension $k$ on $M$. Let $\phi:P\times M \to M$ be a proper smooth family of diffeomorphisms of $M$ (i.e. $P$ is a smooth ...

**3**

votes

**1**answer

122 views

### Zero currents localized along a submanifold

Let $\mathcal{D}(\mathbb{R})$ be the continuous dual of $C^\infty_c(\mathbb{R})$, the space of compactly-supported smooth functions. There is a nice characterization of distributions ...

**4**

votes

**2**answers

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

**6**

votes

**0**answers

128 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

**3**answers

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

**7**

votes

**1**answer

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

**1**

vote

**1**answer

75 views

### Estimate the analytical wavefront set $WF_A(u)$ given $WF_A(A_K u)$

Let $X$ and $Y$ be two real-analytic manifolds and $Z \subset X \times Y$ be a real-analytic embedded closed submanifold. Suppose now that $K \in \mathscr D'(X \times Y)$ is a distribution conormal to ...

**5**

votes

**1**answer

583 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?

**4**

votes

**1**answer

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

**0**

votes

**1**answer

216 views

### The dual space of the Dirac measures on an Abelian group

Let $G$ be a Hausdorff locally-compact Abelian group and $L^2(G)$ the Hilbert space of two-integrable complex functions on the group.
Question. What would be natural vector space $\mathcal{R}$ ...

**3**

votes

**0**answers

147 views

### Fourier transform and support of a distribution

Let $T \in \mathscr D'(\mathbb R^n)$ be a distribution, such that its Fourier transform $\widehat T$ is a real analytic function on $\mathbb R^n$ but it can't be continued to an entire function on ...

**2**

votes

**1**answer

405 views

### Is every distribution a linear combination of Dirac deltas?

My question is whether Dirac-type distributions over an Abelian group define a basis of the Schwartz-Bruhat space $\mathcal{S}(G)^\times$ of tempered distributions on $G$, so that any distribution ...

**1**

vote

**1**answer

301 views

### Is the space of test functions separable? [closed]

Consider the space $\mathcal D(\mathbb{R}^n)$ of smooth functions (in the sense of having continuous derivatives of all orders) which are compactly supported. Endow it with its usual topology, i.e., ...

**3**

votes

**0**answers

222 views

### Why distributions as functionals? [closed]

Why do we generalize functions by functionals on Schwartz Spaces, beyond the fact that it simply works? There should be a deeper reason why Schwartz considered functionals.
Excited for answers, Alex.

**3**

votes

**1**answer

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

**1**

vote

**1**answer

226 views

### Fubini for distributions which are not measures?

We have a "nonnegative" distribution $\mu$ with compact support in $\mathbb{R}^2$ which is not a measure, as we can produce a linear function $f(x,y)=x-1$ such that the integral of $f^{2k}$ w.r.t. ...

**3**

votes

**1**answer

259 views

### How to define a generalized differential form through its values on submanifolds

Suppose we're in $\mathbb R^n$, and we have a function on line segments ,$\omega(I)$, with values in $\mathbb R$. Give sufficient conditions for $\omega$ to be given by a generalized 1-form (that is, ...

**9**

votes

**2**answers

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

**4**

votes

**0**answers

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

**1**

vote

**1**answer

116 views

### countably normed spaces and countably normed spaces [closed]

Why locally convex spaces are not presented as countably normed spaces i.e an infinite sequence of norms (see Generalized functions Tome 2 by Gelfand and Chilov) in the western mathematical ...

**0**

votes

**1**answer

545 views

### Dirac delta composed with absolute value [closed]

I hope this question is well suited for this site; please excuse me if not.
I recently read that the value of $\delta(x^2)$ is an open question [1], with $\delta(x)$ the Dirac delta. Now I'm trying ...

**0**

votes

**1**answer

124 views

### Why equality of singular supports?

Let $f:\mathbb{R}^n\to \mathbb{R}$ be a smooth and bounded function which tends to 0 at infinity. Define, for $t>0$, the distribution
$$
\nu (t) = \int \limits _{f(x)\ge t} dx,
$$
and (in the ...

**1**

vote

**1**answer

167 views

### Support of a distribution

Let $g:\mathbb{R}^n \to \mathbb{R}$ be a smooth real-valued function that decays like some positive power of $|x|^{-1}$ at infinity. Define the first order distribution $\mu $ by
$$
\langle \mu , ...

**3**

votes

**1**answer

309 views

### Fourier transform of tempered distribution

I'm wondering whether anyone knows a reference or proof for finding the Fourier transform of $f(t):=(t+1)^{1/2}t_+^{1/2}$? (Here $t_+=\max (t,0)$.)