All Questions
9,959 questions
7
votes
2
answers
1k
views
Carleson's Theorem (on the Adeles and other exotic groups)
I have redone this question:
On $\mathbb R^n$ the Carleson Operator if defined by
$$Cf(x) = \sup_{R>0} \left \vert \int_{B_R(0)} e^{2\pi i x\cdot \xi} \widehat{f}(\xi) d \xi \right \vert. $$ (...
1
vote
3
answers
849
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 g(...
2
votes
1
answer
901
views
Geometry of the Hilbert sphere
Let $X$ be the unit sphere in $\ell^2$, i.e. $X=\{x\in\ell^2: \|x\|=1\}$. Let the metric on $X$ be the geodesic metric, i.e. $d(x,y)=\cos^{-1}\langle x,y\rangle$. Call a set a ball-intersection if ...
5
votes
1
answer
419
views
positive hermitian elements in $M_n(\mathbb{C})$
Elements of the set $P$ of positive hermitian $n×n$ matrices over complex numbers
have some special properties:
(i) they are closed under sum,
(ii) they are closed under multiplication by positive ...
2
votes
2
answers
560
views
Will the eigenvalue of the dirac operater tend to negative infinity?
Question: If M is a spin manifold. Condider the dirac operator on a spinor bundle. Can the eigenvalue of this operater tend to negative infinity? If it can, can we choose a riemann matrix such that ...
4
votes
1
answer
581
views
Are all quantum cellular automata invertible & representable?
A little background: As far as I know there is no standard definition of a quantum cellular automaton in the literature. Different authors use different definitions. Here I propose my own definition (...
12
votes
3
answers
3k
views
Infinitesimal generators of stochastic processes
What's the $L^1$ analogue of Stone's theorem saying that any strongly continuous 1-parameter unitary groups has a unique self-adjoint generator?
More precisely: let $X$ be a measure space ($\sigma$-...
2
votes
1
answer
2k
views
linear bijective operator
Let $X$, $Y$ be Banach spaces, and $T\colon X\to Y$ be linear and bijective ($D(T)=X, R(T)=Y)$. Can one infer directly that $T$ is continuous? If not, is there a counterexample?
9
votes
1
answer
596
views
Classical analogue of the Stone-von Neumann Theorem?
Let $U_s$, $V_t$ be a pair of continuous $n$-parameter groups ($n < \infty$) of unitary operators on a complex Hilbert space $\mathcal{H}$. The Stone-von Neumann Theorem establishes that any such ...
0
votes
1
answer
498
views
Quotient of \ell_1 by space of finite sequences
The following question came up during a reading of Rudin's functional analysis. I have not been able to find any information through searching online, but I apologise if the answer is obvious, or the ...
12
votes
1
answer
468
views
Status of the compact AR problem?
The so-called "compact AR Problem" reads:
Is every compact convex set in a metrizable topological vector space an absolute retract?
It is open according to the chapter by T. Banakh, R. Cauty and ...
34
votes
1
answer
3k
views
tr(ab)=tr(ba), part 2.
This is a Banach space version of Andre Henriques' question
Trace Question
for Hilbert spaces. Let $a:X\to Y$ and $b:Y\to X$ be bounded linear operators between Banach spaces s.t. $ba$ and $ab$ ...
2
votes
2
answers
386
views
Reversed disc algebra?
Take $U=\mathbb{D}_2\setminus \overline{\mathbb{D}_1}$ ($\mathbb{D}_r$ is the open disc centered at 0 with radius $r$) and consider the space $A(U)$ of all functions on $\overline{U}$ which are ...
8
votes
1
answer
267
views
Is the class of elementary integrals "small" ?
This I read in a paper:
"The class of integrals that are elementary is very
small compared with nonelementary integrals."
What is the precise meaning of this sentence? E.g., does that mean that the ...
0
votes
2
answers
225
views
Codimension of $J(\omega_1)$ in its bidual
I am reading the paper
G. A. Edgar, A long James space, in: Measure Theory, Oberwolfach 1979, Lectures Notes in Math. 794, Springer-Verlag (1980) pp. 31-37.
and I am pretty confused by the remarks ...
4
votes
2
answers
1k
views
Reference for Neumann-Laplacian
Let $\Omega\subset R^d$ be a bounded, smooth domain. Consider $A=-\Delta$ subject to homogeneous Neumann boundary conditions in $L^p$-spaces. Does anybody know a good reference book on basic results ...
0
votes
0
answers
436
views
cokernels of semi-Fredholm operators
I did not find a reference for the following question, so I will pose it here. I think the answer should be elementary.
Let $F:X\rightarrow Y$ be a semi-Fredholm operator between Banach spaces, i.e. $...
0
votes
1
answer
426
views
Lower bounds for partial sums of multiplicative functions
The motivation for this enquiry is to understand something about the impact of multiplicativity for $f:\mathbb{N}\rightarrow\mathbb{C}$ on the conditional convergence of Dirichlet series
$$F(s)=\...
2
votes
1
answer
535
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 ...
8
votes
1
answer
749
views
Is $SU(\infty)$ amenable?
We can write the finitary special unitary group $SU(\infty)$ as the direct limit
$\varinjlim SU(n)$ of ordinary special unitary groups. These groups $SU(n)$ are compact, thus amenable. In other ...
1
vote
1
answer
293
views
Basic sequences
Nowadays, we know that there exist Banach spaces without unconditional basic sequences. Do we know if something a bit milder holds? Namely, is that true each non-reflexive Banach space contains a ...
4
votes
0
answers
102
views
quasinilpotence and finite spectrum II
Let A be a quasinilpotent operator on a Hilbert space and let every
operator of the algebra generated by $A$ and $A^{*}$ have finite
spectrum. Does then follow, that A is nilpotent ?
See also ...
28
votes
2
answers
1k
views
Can an operator have Exp(z) as its characteristic "polynomial"?
Let $\mathcal{H}$ be a Hilbert space, and let $T: \mathcal{H} \rightarrow \mathcal{H}$ be a trace-class operator. Define
$$ f_T(z) = \sum_{i=0}^\infty \mbox{Tr}(\wedge^k T) \cdot z^k, $$
the ...
3
votes
1
answer
3k
views
Infinite dimensional vector spaces with compact unit ball
Let $X$ be an infinite dimensional vector space over a field $\mathbb{K}$. Suppose that $(X,\|\cdot\|)$ is a complete normed vector space, in the sense that any Cauchy sequence is convergent. Suppose ...
-1
votes
1
answer
934
views
Domain and exponential of self- adjoint operator
Let $A$ be a self - adjoint operator on a Hilbert space $\mathcal{H}$ and let $D(A)$ be its domain. If $\psi \in D(A)$ then $exp(-itA) \psi \in D(A)$ iff $A$ is bounded ?
Thank ...
1
vote
0
answers
215
views
Classification of Self similar sets
I am looking at self similar sets in $\mathbb{C}$ defined as the fixed set or a sequence of contractions or an iterated function system. I am currently trying to classify these sets by how they are ...
1
vote
1
answer
1k
views
Laplace equation over concentric spheres
Is there a closed formula for the solution of Dirichlet problem ($\Delta u=0$) for annulus $r <|x| < R$, $x \in R^n$ (n>2), with two given boundary value functions, $f$ over $|x|=r$ and $g$ over ...
2
votes
1
answer
199
views
Uniqueness of free complements
Let $A,B$ be subfactors of a II$_1$ factor $M$ with $A*B\simeq M$. That is, $A$ and $B$ are freely independent with respect to the trace and $M\simeq A\vee B$. We'll call $B$ a free complement for $A$ ...
2
votes
1
answer
265
views
A Volterra-type equation
Consider the following integral equation
$\phi(x) = f(x) + \frac{1}{x}\int_0^x N(x,y)\phi(y)\;dy$,
where $f$ and $N$ are continuous and bounded functions. Are solutions $\phi$ of the above equation ...
12
votes
2
answers
547
views
Balls in spaces of operators
I am interested in some geometrical aspects of spaces $L(E)$, of bounded operators on a given Banach space $E$. I am unable to estimate if my problem deserves to be asked at MO, but let me try.
Is ...
1
vote
1
answer
224
views
Can symmetrizing a contraction increase the speed of convergence?
Dear community,
I have a problem which is very simple to state but seems to be hard to answer.
Statement of the problem
Let $f$ and $g$ be two symmetric, real functions in $n$ and $m$ variables, ...
6
votes
2
answers
293
views
quasinilpotence and finite spectrum
Let A be a quasinilpotent operator on a Hilbert space and let $A^{*}A$ have finite spectrum.
Does then follow, that A is nilpotent ?
2
votes
1
answer
942
views
A singular value inequality
Let $s_1,s_2: \mathbb{R}^{2\times 2} \mapsto \mathbb{R}_+$,
$s_{1}\left(\cdot\right)\ge s_{2}\left(\cdot\right)\ge 0$, be the
singular values of a $2\times2$ matrix. Is it true that
$$\left|s_{1}\...
3
votes
2
answers
1k
views
Sequences of linear combinations of measures
Let $X$ be a Polish space. Let $J\in\mathbb{N}$.
Let $\lbrace a^n_1\rbrace_n,\dots,\lbrace a^n_J\rbrace_n$ be $J$ sequences of reals.
Let $\lbrace \mu^n_1\rbrace_n,\dots,\lbrace \mu^n_J\rbrace_n$ be ...
4
votes
1
answer
1k
views
Harmonic functions on the plane
I have a question regarding harmonic maps from all of ${\Bbb R}^2$ into a domain in ${\Bbb R}^2$. Before stating my question in full generality, let me ask a special case of the question first. Is it ...
6
votes
1
answer
2k
views
Polynomials are dense in weighted $L^2$ space
Hi,
It seems to be a common knowledge that the polynomials $x^n$ are dense in $L^2$ spaces with various probability weights, such as the gamma distribution weight $x^{\alpha-1}e^{-x}/\Gamma(\alpha)\;...
2
votes
0
answers
327
views
Generalizations of Kato-Rosenblum theorem?
The Kato-Rosenblum theorem says that if $H_0, H$ are self-adjoint operators on a Hilbert space such that the difference $H-H_0$ belongs to the trace class, then the strong limit of $\exp(itH)\exp(-...
6
votes
2
answers
2k
views
Continuity of a convolution (Version 2)
Hello,
This problem bothers me for some time. Suppose that
$\mu$ is a non-negative Radon measure (or positive linear functional of the space of continuous functions with compact support);
$\psi$ is ...
6
votes
2
answers
2k
views
How to prove the Hahn-Banach constructively
I am just wondering, how to prove the Hahn-Banach theorem constructively for a finite dimensional normed vector space.
Thanks in advance for any helpful answers.
7
votes
1
answer
1k
views
How to construct a scalar differential operator having the same spectrum as a non-scalar differential operator exploiting symmetries?
I am interested in eigenvalue problems for differential operators acting on one forms on closed two-dimensional manifolds and how they relate to eigenvalue problems of associated operators acting on ...
3
votes
1
answer
801
views
Restriction of a linear functional equation to surface of a sphere
Let $f_i : R \rightarrow R$ and $g_j: R \rightarrow R$ be unknown functions, for $i = 1, \cdots, N$ and $j = 1, \cdots, K$. Let $A$ be a $K \times N$ matrix whose columns are unit-length vectors ${\...
4
votes
1
answer
3k
views
Dense sets in the space of continuous functions
Let $X$ be a compact metric space, and
let $C(X)$ be the Banach space of continuous real-valued function on $X$, with
the maximum norm.
Suppose $S\subset C(X)$ is a set of functions with the ...
5
votes
2
answers
958
views
L1 distance from a trigonometric susbspace
How to check, whether the $L^{1}$ distance between a finite exponential sum $S_{F}(x)=\sum\limits_{n\in F} \exp(inx)$ and the $L^{1}$-closure of subspace $\mathrm{span}\left(\exp(inx): n\in \mathbb{Z}\...
7
votes
4
answers
973
views
I was wondering if the set of singular loops is a (somewhere) submanifold of loop space?
The set of all smooth maps $S^1\to M^n$ ($M$ is a smooth manifold) is a generalized manifold(see http://ncatlab.org/nlab/show/smooth+loop+space).
I was wondering if the set of singular loops (maps ...
5
votes
2
answers
4k
views
finite codimension implies closed?
Let $E$ be a (complete) topological vector space, and $u:E\to E$ be continuous. Is it always true that if ${\rm Im}(u)$ is of finite codimension in $E$, then it is closed in $E$ or do we have to ...
2
votes
0
answers
290
views
Consequence of Modified Young's inequality
Let $f\in L^1(\mathbb R^n)$. Define operator $T_f(g)=|f|\ast g$ for functions $g$ on $\mathbb R^n$. The set of measurable functions $f$ on $\mathbb R^n$, such that $T_f$ is bounded from $L^p(\mathbb R^...
5
votes
1
answer
503
views
Approximating high-dimensional integrals by low-dimensional ones
This question is motivated by the following naive one: suppose we have a nice subset $X$ of some Euclidean space, say a polyhedron, and a nice $\mathbb{R}$-valued function $f$ on this subset, say a ...
2
votes
2
answers
1k
views
Sufficient conditions to the existence of a weakly convergent subsequence from a Cauchy sequence in a (merely) normed space
Bonsoir/bonjour à toutes et à tous.
The title has it all, but... We know (as a consequence of the Eberlein-Šmulian theorem) that any bounded sequence, $\{x_n\}_{n \;\! \in \;\! \mathbb{N}}$, in a (...
0
votes
2
answers
415
views
Commutative *-subrings of the noncommutative C*-algebra $B(l^2)$
A $\star$-ring is a ring with an involutive anti-automorphism. The simplest example of a noncommutative $\star$-ring is perhaps $B(l^2)$, the ring of bounded linear functions on the sequence space $l^...
2
votes
3
answers
891
views
Fourier Transforms restricted to mass shell
Hello,
I am stuck with the following (hopefully not too trivial) problem.
I want to know, if the map
$${\cal D}(\mathbb{R}^2)\to L^2(H_m,d\Omega_m)\qquad f \mapsto \hat{f}|_{H_m}$$
has dense range.
...