The schwartz-distributions tag has no wiki summary.

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

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

**2**answers

402 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

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

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

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

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

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

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

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

327 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., ...

**2**

votes

**1**answer

177 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

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

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

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

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

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

**3**

votes

**1**answer

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

**23**

votes

**7**answers

2k views

### What examples of distributions should I keep in mind?

I'm learning a bit about the theory of distributions. What examples of distributions will help me develop good intuition?
Definitions: Let $U$ be an open subset of $\mathbb{R}^n$. Write ...

**3**

votes

**1**answer

421 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

**5**answers

2k views

### fourier transform of (real) exponential

Is it possible to make sense, in distributional sense, of the Fourier transform of the exponential function (defined over the whole real line)?

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

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}'$, ...

**5**

votes

**3**answers

711 views

### Can distribution theory be developed Riemann-free?

I imagine most people who frequent MO have been indoctrinated into the point of view that the Riemann integral can be safely discarded once one has taken the time to develop the Lebesgue integral. ...

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

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

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

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