15
votes
2answers
416 views

What can be said about the Fourier transforms of characteristic functions?

What can be said about the Fourier transform of the characteristic function $1_A$, where $A\subset \mathbb{R}^n$ is of finite Lebesgue measure? In particular, What properties are common to ...
2
votes
0answers
71 views

$f, \hat{f} \in L^{p}\cap L^{\infty} \implies f\in B(\mathbb R)$ (algebra of Fourier- Stieltjes transforms )?

For a bounded complex Borel measure $\mu$ on $\mathbb R$, we define, its Fourier-Stieltjes transform, $\hat{\mu}(y)= \int_{\mathbb R} e^{-2\pi ix\cdot y} d\mu(x); (y\in \mathbb R).$ Let $1\leq p \leq ...
29
votes
1answer
581 views

For which maps $S^1\to S^1$ is the winding number defined?

There are two classes of maps $S^1\to S^1$ for which I know how to define the winding number: • Continuous maps: Using the unique path lifting property of the universal covering map $\mathbb R\to ...
2
votes
1answer
207 views

Modulus of of continuity of a convolution operator with respect to Wasserstein metric

For a (discrete) measure $G$ on some reasonable metric space $\Theta$, consider the map $G \mapsto f_G$ defined as $$ f_G := f*G(dx) := \int f(dx|\theta) G(d\theta) $$ for some nice kernel function ...
0
votes
1answer
152 views

Closed sets in the space of Fourier transforms $\mathcal{F}L^{1}$

Consider the space of all Fourier transforms of $L^{1}(\mathbb R),$ that is, $$\mathcal{F}L^{1}=\mathcal{F}L^{1}(\mathbb R):= \{f\in L^{\infty}(\mathbb R):\hat{f}\in L^{1}(\mathbb R)\},$$ with the ...
3
votes
0answers
91 views

$f,g , |f|f, |g|g \in A(\mathbb R) \ \text{(Banach algebra)} \implies \left\|f|f|- g|g|\right\|\leq C \left \|f-g\right \|$?

Let $f\in L^{1}(\mathbb R)$ and it Fourier transform, $\hat{f} (y) : = \int _ {\mathbb R} f(x) e^{-2\pi i x\cdot y} dx ; y \in \mathbb R ;$ and consider Fourier algebra $$A(\mathbb R):= \{f\in ...
0
votes
1answer
147 views

Can we expect $\left\||f|^{2}f-|g|^{2}g\right\|\leq C ||f-g||$ in the Banach algebra $A(\mathbb T)$ ?

Let $f\in L^{1}(\mathbb T)$ and define the Fourier coefficient of $f$ : $\hat{f}(n)=\frac{1}{2\pi} \int _{-\pi}^{\pi} f(t) e^{-int} dt; (n\in \mathbb Z)$.Consider the space, $$A(\mathbb T):= \{f\in ...
1
vote
0answers
86 views

How to use, $(|u|^{2}u - |v|^{2}v)(s)= (u-v)|u|^{2}(s)+ v(|u|^{2}-|v|^{2}) (s)$; to prove contraction in a Banach space $C([0,T]; M^{p,1})$?

(May be this is very basic question for MO) (For details or this question you may see the paper page no. 9, MR2506839, Local well-posedness of nonlinear dispersive equations on modulation spaces; ...
0
votes
0answers
56 views

Fourier Analysis in Kahane and Zelasko's characterization of maximal ideals in commutative Banach algebra

I've been told that Kahane and Zelasko (in A characterization of maximal ideals in commutative Banach algebra's Studia Math 29 1968) use a "non-trivial result" from Fourier analysis in their proof of ...
1
vote
1answer
224 views

When one can expect $\widehat{(fg)} = \hat{f} \ast \hat{g}$; $f, g\in L^{1} (G)$?

Let $f, g \in L^{1}(\mathbb T)= L^{1} ([-\pi, \pi))$. We define, the Fourier transform of $f$ as follows: $$\hat{f}(n)=\frac{1}{2\pi}\int_{-\pi}^{\pi} f(t) e^{-int} dt, \ (n\in \mathbb Z).$$ It is ...
7
votes
0answers
160 views

Laplace Transform in the context of Gelfand/Pontryagin

Question: Do quasi-characters properly generalize the Laplace transform or decompose functions in some setting in a way similar to how characters generalize the Fourier transform and decompose $L^1$ ...
3
votes
0answers
106 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
150 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
86 views

Let $f \in M^{1,1} (\mathbb R)$ (Feichtinger's algebra /Modulation Space). Can we say $Fof\in M^{1,1}(\mathbb R)$; $F$ is an entire function?

The Modulation space ( Feichtinger's algebra), $$S_{0} (\mathbb R) = M^{1, 1}(\mathbb R): = \{ f\in L^{2}(\mathbb R) : V_{g}(f) \in L^{1}(\mathbb R^{2}) \};$$ where $V_{g}f (x, w)$ is the short- ...
2
votes
1answer
215 views

Let $f \in S(\mathbb R)$. Can we say $\widehat{|f|} \in L^{1}(\mathbb R)$?

Let $f\in L^{1} (\mathbb R) := \{f:\mathbb R \rightarrow \mathbb C \ \text {measurable functions} : \int_{\mathbb R} | f(x)| dx < \infty \}$ and the Fourier transform of $f$, $\hat{f} (y) : = ...
1
vote
0answers
79 views

Differentiability of $f*g$ on the circle, for integrable f, bounded g, and some decay of the Fourier coefficients of f

If $f\in L^1(\mathbb{T})$ and $g\in L^\infty(\mathbb{T})$ where $\mathbb{T}$ is the circle, such that $\hat{f}\in L^{p}(\mathbb{Z})$ for some $1\leq p<\infty$, do we have that $f*g$ is ...
5
votes
2answers
354 views

What is the translation in Fourier transform for a function to have exp. decay at $x\to -\infty$

It is known that smooth functions with exponential decay at $\pm\infty$ are functions whose Fourier transform have analytic continuation in some suited complex strip. I was wondering what happens if ...
4
votes
1answer
156 views

If $f$ is non-prime, can we say $|f|$ is also a non-prime; in convolution algebra?

By Schwartz-inequality and Riesz–Fischer theorem, one can deduced that, $$L^{2}(\mathbb T) \ast L^{2}(\mathbb T) = A(\mathbb T)(:= \{f\in L^{1}(\mathbb T): \sum_{n\in \mathbb Z} |\hat{f}(n)| < ...
1
vote
0answers
114 views

Constructing an $\epsilon$-net for a Lipschitz subspace of $L^2$

Let $X$ be a subset of $L^2([0,1])$ which contains only Lipschitz function. Also, the member of $X$ are uniformly bounded $$ |x(t)| < M, \text{ for all $x \in X$ and $t \in [0,1]$}. $$ Let $F: X ...
3
votes
2answers
498 views

Extension of Poisson Summation formula

Under the condition f continuous, integrable and: $|f(t)| + |\hat{f}(t)| \le C (1+|t|)^{-1-a}$ (with a>0) we have the twisted Poisson formula that holds (where $\chi(n)$ is a primitive Dirichlet ...
2
votes
0answers
78 views

Is Modulation space is close under absolute?

It is clear that, for $1\leq p \leq \infty$, $f\in L^{p}$ iff $| f| \in L^{p}.$ By the usual modulation space $M^{p, q}(\mathbb R^{d})$, $1\leq p, q \leq \infty, d\in \mathbb N $, we mean the ...
2
votes
1answer
196 views

Fourier transforms of finitely additive bounded measures

Given a finitely additive positive regular bounded measure $\mu$ on ${\mathbb R}^n$ (i.e. a positive linear functional on $C_b({\mathbb R}^n)$), I wonder what can be said about its Fourier transform. ...
2
votes
2answers
320 views

$L^p$-norm of Fourier series in terms of coefficients, $p \neq 2$

It is known that the $L^2$-norm of a Fourier series equals the $l^2$-norm of the coefficients. Are there similar results in the case of $L^p$-norm for $p\neq 2$? Can it be expressed explicitly in ...
4
votes
1answer
78 views

A Laplacian semi-group estimation

Let $S(t)$ be the semi-group generated by the Dirichlet Laplacian in $L^2(0,1)$, which is given, for $y\in L^2(0,1)$, by $$S(t)y=\displaystyle\sum_{n=1}^\infty e^{-n^2\pi^2 t} \langle y,\sin(n\pi x) ...
0
votes
0answers
84 views

Two distribution spaces ${\mathcal S}'/{\mathcal P}$ and ${\mathcal S}_\infty'$

Let ${\mathcal S}'$ be the set of all distributions. Denote by ${\mathcal P}$ the set of all polynomials, which is embedded into ${\mathcal S}'$ as a closed subspace. Equip ${\mathcal S'}/{\mathcal ...
0
votes
1answer
94 views

local moments of measures whose Fourier transform vanish in an interval

Assume h is a measure whose Fourier transform vanishes in an interval $[-\Omega,\Omega]$. I'm interested in obtaining inequalities of the form \begin{equation*} \int_{-\delta}^{+\delta}|h|(dt)\le ...
3
votes
2answers
179 views

On lower bounds of exponential frames in l1 norm

Let $\{t_k\}_{k=-\infty}^\infty$ be a sequence of real numbers. I'm interested in finding the largest number A such that \begin{equation*} \int_{-\Omega}^\Omega|\sum_{k=-\infty}^{+\infty}c_ke^{2\pi i ...
5
votes
2answers
380 views

Fourier series representing a continuous function?

This is maybe not really research level, but I have not found anything in the literature, and asking on math.stackexchange wasn't successful either. Fourier series define an isometry $L^2(\mathbb{Z}) ...
2
votes
2answers
258 views

A sufficient condition for a probability measure to have compact support

Consider a probability measure $\mu$ on, let's say, $\mathbb R$. Is there a necessary and sufficient condition so that $\mu$ has compact support $Supp(\mu)$ ? I agree this question is too vague, ...
1
vote
1answer
235 views

Is this set a Riesz Basis of $L^2(0,\pi)$

Let $A=\{\sqrt{2}\sin(\sqrt{n^2+a} \pi x)\} _{n=1}^\infty$, where $a$ is a positive real number. Is $A$ a Riesz Basis of $L^2(0,1)$?
2
votes
1answer
212 views

About the boundedness of a multiplication operator.

Let be $f$ a $2\pi-$periodic function and $\hat{f}(k)=\frac{1}{2\pi}\int_0^{2\pi}f(x)e^{-ikx}dx$. Consider the operator: \begin{equation} Tf(x)=\sum_{k\in\mathbb{Z}}sign(k)\ \hat{f}(k)\ e^{ikx}. ...
5
votes
1answer
235 views

For which metric measure spaces is the Hardy-Littlewood maximal operator not of weak type (1,1)?

Let $(X,d,\mu)$ be a metric measure space, i.e. $\mu$ is a Borel measure on the metric space $(X,d)$. I'll denote the Hardy-Littlewood maximal operator - either centred or uncentred, I don't mind ...
3
votes
3answers
761 views

Integral kernel for the resolvent of the laplace operator

Consider the Laplace operator defined in the biggest possible subset of $L^2(\mathbb{R}^2)$ and let $z \in \mathbb{C}\backslash\mathbb{R}$. Therefore $z \notin \sigma (\Delta)$ the spectrum of ...
2
votes
2answers
371 views

Does the Fourier series of an $L^1$ function converge to the function *weakly* in $L^1$?

Let $f$ be a periodic $L^1$ function, and $S_n[f]$ the $n$-th partial sum of its Fourier series. I am aware that $S_n[f]$ might not converge toward $f$ in $L^1$ (i.e., in norm). However, does it at ...
6
votes
2answers
575 views

What is the simplest oscillatory integral for which sharp bounds are unknown?

I have either heard or read that sharp asymptotics and bounds for oscillatory integrals of the form $ \int e^{i \lambda \Phi(x)} \psi(x) dx \quad \lambda \to \infty $ are unknown when the critical ...
0
votes
1answer
755 views

In Fourier Transforms: Positive Definite Functions, Bochner's Theorem, and Derivatives

I've been reading about Bochner's Theorem lately, but when I apply it to the derivative of a function, I seem to get a contradiction with the theorem. "Bochner's theorem states that a positive ...
10
votes
1answer
1k views

A Fourier-analytic inequality used by Jean Bourgain

I am currently reading Jean Bourgain's 1986 paper A Szemerédi type theorem for sets of positive density in $R^k$ and would appreciate some help in understanding a Fourier-analytic estimate used in ...
3
votes
1answer
346 views

Ask for theory about the weighted L^2(R^d) space.

Dear MOs, I am now considering the following norm: $$ ||f||_{H}^2 := \iint f(x) H(x,y) f(y) d x d y\:. $$ where the integral is over the whole space $R^{2d}$ and $H(x,y)$ is some non-negative ...
1
vote
2answers
275 views

Is it possible that the intersection of two nest algebras contains only scalars?

Dear all, I really want to know the answer of the following question. I would appreciate any help. Assume H is a separable Hilbert space, is it possible to find two nests N1, N2 such that the ...
0
votes
1answer
436 views

how to prove the range of a closed linear operator is closed ?

The closed range theorem tells us that given two banach spaces X,Y,and a closed densely defined linear operator T:$X \to Y$. We have the following equivalence $R(T)$ is closed in $Y \iff R(T^{*})$ is ...
1
vote
4answers
1k views

General Procedure for Inverse of an Integral Transform

Is there a general inversion formula or procedure for an integral of the form (where f is the function being transformed and g depends on the type of transform) $\int^{a}_{b} f(x) g(x,\xi) dx $ ? ...
6
votes
1answer
496 views

Fastest decay of Fourier Transform for Generalized Functions of compact support

What is the fastest decay possible for the Fourier transform of a generalized function with compact support and finite value at the origin? I know that regular functions cannot attain exponential ...
2
votes
0answers
197 views

Continuous function sort

If you have a real-valued function f(x), positive, continuous and bounded on some interval, then what kind of transform would convert this to a monotonic function g(x) on that interval analogously to ...
0
votes
0answers
99 views

Differential equation with switched parameters and boundary conditions in integral form

Sorry for the title, I didn't find a better description (showing that I have no idea for the solution). Feel free to put in a better title and change the tags if you can grasp a view on the problem. ...
3
votes
2answers
274 views

Wiener Tauberian Theorem for nonunimodular group

Is there a nonunimodular group for which Wiener's Tauberian theorem is true? Is a locally compact topological group whose volume grows polynomially with radius always unimodular?
1
vote
0answers
280 views

Fourier series/transform of an amplitude-limited sinusoid

I am trying to estimate the amplitude of an original unlimited sine wave from a measurement of the power spectral density (PSD) of an amplitude-limited version. I expect that I may be able to do so ...
10
votes
1answer
573 views

A problem concerning $L^2([0,1]\times[0,1])$

Trying to solve a conjecture in differential geometry, I am leaded to the following problem (which may seem weird to a analyst). I wonder if anyone know some techniques that happen to solve it. Let ...
6
votes
0answers
369 views

The log kernel and Bochner Theorem

I was wondering if it possible to find a measure $\eta$ on $\mathbb{R}$ such that $$ L(x):=\log\frac{1}{|x|}=\int e^{itx}\;d\eta(t) $$ for every $x\in [0,1/2]$. On a structural ground, this ...
0
votes
3answers
703 views

How to isolate $f(x)$ in $f(x+a)=f(x)+a\times g(x)$?

$a \in \mathbb{R}$ $f:\mathbb{R} \rightarrow \mathbb{R}$ $g:\mathbb{R} \rightarrow \mathbb{R}$ For generic functions $f$ and $g$, how isolate $f(x)$ in the equation below? $f(x+a)=f(x)+a\times ...
1
vote
1answer
331 views

Stein's extension operator and wave front sets

Let $K\subset\mathbb{R}^d$ be a compact set with non-empty interior and Lipschitz boundary. In Section VI.3 of his book "Singular Integrals and Differentiability Properties of Functions", E. M. Stein ...