All Questions
10,934 questions
3
votes
1
answer
639
views
L^{p} multiplier sets
Let S be a set of integers and denote the characteristic function of S as $\chi_{S}(n)$. Define an operator on the space of trig functions by the relation $\hat{Tf}(n) = \chi_{S}(n) \hat{f}(n)$. Here $...
4
votes
3
answers
451
views
uniformity for Banach algebras - a three space property?
Let $A$ be a commutative, unital Banach algebra and $I \subset A$ an ideal such that $I$ with the relative norm is a uniform Banach algebra and $A / I$ with the quotient norm is uniform as well.
Does ...
5
votes
1
answer
384
views
Are the asymptotics of Fourier coefficients to periodic solutions of ODE known?
The Van der Pol equation, given by
$$x'' + x = g x' (1 - x^2),$$
has periodic solutions $x(t)$, with the period $T(g)$ depending on the parameter. Thus, one can expand $x(t)$ as a Fourier series ...
35
votes
6
answers
9k
views
Do convolution and multiplication satisfy any nontrivial algebraic identities?
For (suitable) real- or complex-valued functions $f$ and $g$ on a (suitable) abelian group $G$, we have two bilinear operations: multiplication -
$$(f\cdot g)(x) = f(x)g(x),$$
and convolution -
$$(f*...
38
votes
2
answers
5k
views
Is the set of primes "translation-finite"?
The definition in the title probably needs explaining. I should say that the question itself was an idea I had for someone else's undergraduate research project, but we decided early on it would be ...
2
votes
3
answers
349
views
Multiplication of (0,1) matrices
is there an obvious lattice path counting interpretation for multiplying n by n (0,1) matrices ?
26
votes
2
answers
2k
views
When is a locally convex topological vector space normal or paracompact?
All locally convex topological vector spaces (LCTVS) are completely regular, since their topology is given by a family of semi-norms. I'm interested in conditions that imply that a LCTVS is ...
4
votes
2
answers
875
views
Ansätze for solving PDEs with wavelets
It is common to solve PDEs with e.g. Fourier and Laplace Transforms. It is often said that Wavelets are a progression compared to them with many nice features.
My question: Which Ansätze do you know ...
23
votes
4
answers
5k
views
Are proper linear subspaces of Banach spaces always meager?
Let X be a Banach space, and let Y be a proper non-meager linear subspace of X. If Y is not dense in X, then it is easy to see that the closure of Y has empty interior, contradicting Y being non-...
28
votes
3
answers
4k
views
How do I compare the different notions of Fourier transform for sheaves?
There is a close but not perfect relationship between algebraic D-modules on C^n, constructible sheaves on C^n in the analytic topology, and \ell-adic sheaves on an n-dimensional vector space over a ...
10
votes
2
answers
1k
views
Cone shaped solutions to wave equation
When I studied physics, we learned how to write down planar waves and spherical waves. But, when I turn on my flashlight, I see a cone of light. How can I see that there is a solution to the wave ...
10
votes
5
answers
1k
views
What is a rigorous statement for "linear time-invariant systems can be represented as convolutions"?
In Signal Processing books, a fundamental theorem is that linear time invariant systems can be represented as a convolution with a distribution. Could you give a mathematically rigorous statement of ...
11
votes
2
answers
932
views
A group action of the Heisenberg group with special symmetries
Suppose we look at the Heisenberg group $H_{d}$ as a matrix group of upper triangular matrices over the ring $\mathbb{Z}/d\mathbb{Z}$. You can even choose $d$ to be prime if you want. A natural ...
48
votes
6
answers
12k
views
Intuition for Integral Transforms
It is well known that the operations of differentiation and integration are reduced to multiplication and division after being transformed by an integral transform (like e.g. Fourier or Laplace ...
2
votes
1
answer
264
views
Upper bounds on FFT complexity for arbitrary radixes
Given a signal of length $N = P^m$, $P$ prime, what is a reasonable upper bound on the number of operations (complex additions and multiplications) needed to compute the Fast Fourier Transform (FFT) ...
9
votes
5
answers
870
views
Abelianization of GL(H)
This is related to Theo's question about the abelianizations of finite dimensionsal Lie groups.
I am interested in a specific (infinite-dimensional) case of the above question. Let H be an infinite-...
9
votes
1
answer
611
views
opposite Banach space
I heard this from Haskell Rosenthal many years ago.
If V is a complex vector space, say the opposite of V is the complex vector space with the same elements, the same operations except switch scalar ...
12
votes
3
answers
530
views
Making an l_2 distance out of l_1 distance
If we think of the l1 distance as a grid-distance between points, then we can think of l2 distance as what we get when we "shortcut" the grid by going "inside" a cell.
Making the grid finer doesn't ...
21
votes
2
answers
2k
views
In a Banach algebra, do ab and ba have almost the same exponential spectrum?
Let $A$ be a complex Banach algebra with identity 1. Define the exponential spectrum $e(x)$ of an element $x\in A$ by $$e(x)= \{\lambda\in\mathbb{C}: x-\lambda1 \notin G_1(A)\},$$ where $G_1(A)$ is ...
3
votes
1
answer
2k
views
Hilbert Space as direct sum of subspaces with cyclic vectors
Ok,so this should be easy, however I havent taken functional analysis for a while. But given a compact self-adjoint operator on a hilbert space H(over the complex numbers), we define v to be a cyclic ...
9
votes
1
answer
395
views
Is there a coalgebraic characterisation of the hyperfinite II_1 factor?
Peter Freyd showed that the real interval [0, 1] is a final coalgebra for a functor on sets equipped with two points, which sends such a set to the 'wedge' of two copies of itself, identifying the ...
3
votes
1
answer
914
views
Range of a Certain Linear Operator
Consider the following hermitian form on the sobolev space H^1(I), of an interval I:
g(u,v):= \int_I (du/dt dv/dt - \rho(t) u v)dt, where \rho is a nice bounded function on I.
Riesz representation ...
5
votes
1
answer
2k
views
Can Walsh-Hadmard transform be used for convolution ?
The Walsh-Hadamard transform is very fast to compute.
Can it be used to compute the convolution of two functions as it can be done with Fourier transform ?
40
votes
5
answers
10k
views
Is there a natural measures on the space of measurable functions?
Given a set Ω and a σ-algebra F of subsets, is there some natural way to assign something like a "uniform" measure on the space of all measurable functions on this space? (I suppose first ...
21
votes
5
answers
4k
views
Isomorphisms of Banach Spaces
Suppose $X$ and $Y$ are Banach spaces whose dual spaces are isometrically isomorphic. It is certainly true that $X$ and $Y$ need not be isometrically isomorphic, but must it be true that there is a ...
8
votes
3
answers
698
views
L_p norm balls for 1<p<2 - is it always similar to an L_q norm ball for some q>2?
The L_1 ball in 2D is shaped like a diamond (L_1 is also known as the Manhattan norm). The L_∞ ball is shaped like a square (L_∞ is also known as the supremum norm). They are similar, i.e. have same ...
9
votes
1
answer
2k
views
The large sieve for primes
Let $\Lambda(n)$ be the von Mangoldt function, i.e., $\Lambda(n) = \log p$ for $n$ a prime power $p^k$ and $\Lambda(n) = 0$ for all $n$ that not prime powers. Let
$$S(\alpha) = \sum_{n \leq N} \...
5
votes
4
answers
2k
views
Decomposing a 1-d signal into arbitary basis functions
Hi all,
The short-time fourier transform decomposes a signal window into a sin/cosine series.
How would one approximate a signal in the same way, but using a set of arbitrary basis functions instead ...
11
votes
4
answers
4k
views
Fourier transform of $\exp(-\|x\|_p)$: more general question
David Corfield asked the following questions yesterday: Is the
$n$-dimensional Fourier transform of $\exp(-\|x\|)$ always non-negative,
where $\|\cdot\|$ is the Euclidean norm on $\Bbb R^n$? What is ...
7
votes
2
answers
1k
views
Is the Fourier transform of $\exp(-\|x\|)$ non-negative?
Is the $n$-dimensional Fourier transform of $\exp(-\|x\|)$ always non-negative, where $\|\cdot\|$ is the Euclidean norm on $\mathbb{R}^n$? What is its support?
2
votes
1
answer
493
views
Convergence of Affine Transformations
Hi,
I was wondering if anyone could point me to any sources regarding the convergence of iterated affine transformation, i.e. sequences where {a_n} is a set of affine transforms and the sequence:
...
10
votes
4
answers
2k
views
Reading for finite Fourier analysis
Can anyone recommend some good reading for Fourier analysis (and the Fourier transform) over finite abelian groups? I've found it given brief descriptions in both books on representation theory and on ...
44
votes
10
answers
25k
views
Fourier transform for dummies [closed]
So ... what is the Fourier transform? What does it do? Why is it useful (both in math and in engineering, physics, etc)?
(Answers at any level of sophistication are welcome.)
12
votes
4
answers
877
views
Can you describe the image of the exponential map $B(H)\to B(H)$?
James Tener asks at the 20-questions seminar:
The exponential map $\exp:B(H)\to B(H)$ is just defined by its Taylor series. Can you describe its image?