The schwartz-distributions tag has no wiki summary.

**1**

vote

**0**answers

52 views

### A Density Problem

Let $ \mathscr{D}=\mathscr{D}(\mathbb{R}^n - {0}) $ be the space of all smooth functions with compact support in $ \mathbb{R}^n - {0} $ topologized by the standard Schwartz topology and let $ ...

**4**

votes

**1**answer

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

**1**

vote

**0**answers

84 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

77 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

47 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

196 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

49 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

190 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

156 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

106 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

147 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

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

**2**

votes

**1**answer

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

**5**

votes

**0**answers

109 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

158 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

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

**0**

votes

**1**answer

58 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

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

**2**

votes

**1**answer

117 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

156 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

122 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

328 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

214 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

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

**2**

votes

**1**answer

178 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 Schwarz-Bruhat space ...

**1**

vote

**1**answer

175 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

240 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

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

**3**

votes

**0**answers

95 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

95 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

334 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

111 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

141 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

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

**2**

votes

**0**answers

313 views

### Nonlinear PDE and Green functions

This is somewhat of a curiosity that can hide somewhat deeper. For a Green function of a nonlinear PDE I mean something like
$$
\partial^2\phi+V(\phi)=\delta^D(x).
$$
I do not know if a real ...

**3**

votes

**1**answer

423 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)?
...

**0**

votes

**3**answers

303 views

### Regularized fractional derivative of distributions.

A fractional derivative of distributions is usually introduced using definition of fractional integral as a convolution of two distributions. However there is another approach based on fractional ...

**2**

votes

**2**answers

112 views

### Inverse schwartz-distribution for convolution operation

I note here $\mathcal{D}'$ the space of all distributions and $\mathcal{S}'$ the space of tempered distributions, I am considering the following question:
Let $u \in \mathcal{D}'$ or $\mathcal{S}'$, ...

**3**

votes

**2**answers

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

**2**

votes

**1**answer

119 views

### Distributional limits concerning the regularity of Maxwells equations

This question is related to my previous question about the regularity of the Maxwell equations.
Assume we are working on a space where there are only electric point charges, $(q_i)$, and a blob of ...

**4**

votes

**4**answers

332 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", ...

**0**

votes

**1**answer

275 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) = ...

**2**

votes

**2**answers

389 views

### Fourier transform of $e^{it|\xi|^{\alpha}}$

Consider the fourier transform of $e^{it|\xi|^{2\alpha}}$ ($\alpha>0$)in $\mathbb{R}^n$,let $K_{\alpha}=\mathcal{F}(e^{it|\xi|^{\alpha}})$,so $K$ is a tempered distribution.Now I want to know if ...

**4**

votes

**1**answer

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

**0**

votes

**1**answer

404 views

### Calculating a distributional derivative

Suppose that we have a sequence of functions $u_j$ that are in $L^{\infty}(0,1)$. Then the sequence of maps $N_j(s) := \|u_j(s)\|^2$ are also in $L^{\infty}(0,1)$. Hence they give rise to ...

**1**

vote

**2**answers

365 views

### Opinions on the Multiplication of Measures

A few questions, hopefully to spark some discussion.
How can one define a product of measures?
We could use Colombeau products by embedding the measures into the distributions? I'm not sure why ...

**3**

votes

**2**answers

375 views

### One-sided Cauchy principal value

What is the notion of a principal value of an integral when the singularity appears at one endpoint? Namely,
$ PV \int_a^b f(t) dt = ? $,
where the integral is convergent in the upper limit, but ...

**5**

votes

**2**answers

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

**0**

votes

**1**answer

622 views

### The fourier transform of homogeneous distribution and related topics

When we have a distribuion $u\in \mathcal{D}'(R^n)$,and the restriction to $R^{n}\backslash{0}$ is homogeneous of degree a,we have $u \in \varphi'$ and $\widehat u$ is of degree(-n-a) in ...

**2**

votes

**3**answers

792 views

### The topology of $C_0^\infty(M) $

I have read definitions in my PDE book as follows: If $M$ is a smooth paracompact manifold, the space of all linear functional on $C^\infty(M)$ is denoted by $E'$ and the space of all linear ...