The tag has no wiki summary.

learn more… | top users | synonyms

3
votes
1answer
91 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
1answer
153 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
0answers
102 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
3answers
143 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 ...
5
votes
1answer
183 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
1answer
47 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
1answer
515 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
1answer
92 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
1answer
130 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
0answers
104 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
1answer
294 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
1answer
184 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
0answers
172 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
1answer
147 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
1answer
150 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
1answer
230 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, ...
10
votes
2answers
297 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
0answers
85 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
1answer
86 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
1answer
305 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
1answer
106 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
1answer
121 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
1answer
248 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
0answers
263 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
1answer
334 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
3answers
277 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
2answers
104 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
2answers
338 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
1answer
117 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
4answers
311 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
1answer
258 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
2answers
376 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 ...
3
votes
1answer
436 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
1answer
379 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
2answers
347 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
2answers
357 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
2answers
266 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
1answer
536 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
3answers
759 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 ...
-1
votes
2answers
455 views

Is there dual space of the distributions $\mathcal{D}'(R)$?

Dear MOs, Let $\mathcal{D}(R):=C_c^\infty(R)$ be the smooth functions with compact support. Its dual space is the space $\mathcal{D}'(R)$ of distributions. This space $\mathcal{D}(R)$ has its weak ...
2
votes
0answers
170 views

Spectral gap of tempered distributions

Hi, Let $\Lambda\subset\mathbb{R}$ be an infinite discrete set of finite density (for simplicity one may take the density equals 1) and $\delta_{\lambda}$ is a unit mass located at the point ...
4
votes
2answers
412 views

Wightman fields vs local functionals vs operators

In QFT literature one wants to look at $n-$point correlation functions of "operators" inserted at $x$ say, $\cal{O}(x)$ and if $\phi_i$ are the fields then the quantity one has in mind is written as, ...
5
votes
5answers
1k 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 ...
3
votes
1answer
364 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 ...
2
votes
1answer
380 views

about decomposition of a non-negative definite operators

Hello, Many years before, I had the following problem. We first give a definition. Given a non-negative definite real-valued definite matrix $n^2\times n^2$ matrix $M$, it is called separable if it ...
5
votes
3answers
699 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. ...
1
vote
1answer
366 views

Equivalent references for Schwartz's book of the distribution theory

Hello, It seems that there is no English translation of the Schwartz's book 1966. I may need to use the spaces like $$ \dot{\mathcal{B}}(R),\quad \dot{\mathcal{B}}'(R),\quad \mathcal{B}(R),\quad ...
1
vote
1answer
383 views

A question about an equivalent definition of the Schwartz distribution

Hello, Does anyone know a reference or proof of the "if" part of the following statement? $$ \mu\in \mathcal{S}'(R)\quad\text{if and only if}\quad \mu*\alpha\in\mathcal{S}(R),\forall \alpha\in ...
3
votes
2answers
797 views

Distributions and measures

Hello, After reading the previous post, I still have some doubts. Let's consider everything on $R$ to avoid complications. Can we say that any distribution $\mu\in\mathcal{D}'(R)$ of zero order ...
0
votes
1answer
399 views

($n$-dimensional) Inverse Fourier transform of $\frac{1}{\| \mathbf{\omega} \|^{2\alpha}}$

Note: I first posted question on math.stackexchange and I got one reply, which was a bit helpful (I'm still trying to understand it fully), but did not explore the two solution cases that I mentioned. ...