All Questions
10,050 questions
1
vote
2
answers
177
views
Restriction on the coefficients for an operator in the free group factor $ L(\mathbb{F}_2) $
Let $\mathbb{F}_2$ denotes the free group generated by a,b, denote this group by $G$. Then consider the von Neumann algebra $L(G)$ generated by the family
$\{L_{x_g} : g \in G\}$, here, with $g \in G$...
- 1,528
2
votes
1
answer
695
views
Is the F.T of $\operatorname{Span}(\mathscr S(\mathbb R^2)\otimes\mathscr D(D))$, $D\subset\mathbb R^2$ dense in $L^2(\mathbb R^4)$?
Let $K$ be the real vector space generated by elements $f$ in $\mathscr S(\mathbb R^2,\mathbb R)\otimes\mathscr D(D, \mathbb R)$, where $D$ is any bounded subset of $\mathbb R^2$. Let $\hat K$ be the ...
- 417
5
votes
3
answers
4k
views
Under what conditions a bounded linear map can be extended ?
I have two questions after reading the Hahn-Banach theorem from Conway's book ( I have googled to know the answer but I have not found any result yet. Also I am not sure that whether my questions have ...
- 281
0
votes
1
answer
611
views
Linear functionals and continuous functions on open intervals
Let $Q$ be an open interval of ${\mathtt R}$ and $E$ be the space of continuous and bounded functions in $Q\to \mathtt{R}$.
I call $E^*$ the set of linear functionals over $E$ and $E_+^*$ the subset ...
- 13
1
vote
2
answers
2k
views
Why is the output of an LTI system the convolution of the input funtion and the impulse response?
I am looking at the description of LTI systems in the time domain.
Intuitively, I'd have guessed it would be the composition of the input function and some "system function".
$$ y(t) = f(x(t)) = (f\...
- 113
23
votes
4
answers
2k
views
Are almost commuting hermitian matrices close to commuting matrices (in the 2-norm)?
I consider on $M_n(\mathbb C)$ the normalized $2$-norm, i.e. the norm given by $\|A\|_2 = \sqrt{\mathrm{Tr}(A^* A)/n}$.
My question is whether a $k$-uple of hermitian matrices that are almost ...
- 9,486
4
votes
1
answer
783
views
Dependence of norm of extension map on Sobolev spaces and $(\epsilon,\delta)$ domains
Let $D\subset \mathbb{R}^n$ be a bounded domain.
An extension map is $E_D: W^{p,k}(D)\to W^{p,k}(\mathbb{R}^n)$ satisfying:
...
- 175
0
votes
1
answer
2k
views
What is the orthonormal basis for the Bergman space on the disk?
[EDIT by YC: the original question's title asked about a basis for the Hardy space on the disk. It is clear from the actual question that what was meant was the Bergman space.]
In arXiv:0310.5297, ...
- 22.8k
1
vote
1
answer
636
views
Does anyone know an example of non-separable $L^1$ of a probability space?
It is easy to give examples of non-separable $L^p$ spaces by considering a measure on a big space. If one adds the condition that the space has to have total measure 1, the problem is not as easy.
...
- 96
9
votes
3
answers
3k
views
The classical Krein-Rutman theorem
The classical Krein-Rutman theorem states that any positive compact linear endomorphism $T:X \to X$ on a Banach space $X$ with positive spectral radius $r(T)$ has an eigenvalue $r(T)$ with a positive ...
- 1,202
2
votes
2
answers
2k
views
Separable quotients of non-separable Banach spaces?
I am reading the Functional Analysis book of Conway, one question from the book is find a closed subspace M of $l^{\infty}=l^{\infty}(\mathbb{N})$ with the property that $l^{\infty}/M$ is separable. I ...
- 281
-2
votes
1
answer
3k
views
Separability of continuous functions with compact support [closed]
Hi,
is the space $C_0(\mathbb{R}^m)$, $m \in \mathbb{N}$ of continuous functions with compact support separable? If yes: where can I find a proof for that?
Please note: this is not a duplicate of ...
- 9
20
votes
0
answers
2k
views
Can the similarity between the Riesz representation theorem and the Yoneda embedding lemma be given a formal undergirding?
For example, by viewing Hilbert spaces as enriched categories in some fashion? (I suppose the same idea of considering the inner product of a Hilbert space as a generalized Hom-set has also been ...
- 5,827
1
vote
1
answer
342
views
Compact sets in TVS
Let $K$ be a compact subset of a Hausdorff topological vector space. Is it true that
$\bigcap_{n\in \mathbb{N}}\frac{1}{n}K$ is either empty of or is a set consisting of the origin only?
- 11
2
votes
2
answers
1k
views
Characterization of Weakly measurable functions
I wonder if we can characterize weak measurability of a function taking values in a Banach space using sequence of step functions (functions that have finite range) just like how we define strong ...
- 23
2
votes
2
answers
667
views
Computing Bochner integrals with values in L^p-spaces by Lebesgue integrals?
Let $f: \mathbb{R}^n \to L^2(\mathbb{R}^d) $ be a Bochner-integrable function (all measures are the Lebesgue measure). Does then $ \int_{\mathbb{R}^n} f(x) d\lambda^n (y) = \int_{\mathbb{R}^n} f(x)(y) ...
- 403
2
votes
1
answer
208
views
Expanding Measurable Sets
Let $S,T \subset \mathbb{R}^n$ be measurable sets, and suppose that there exists a measurable bijection $f\colon S\to T$ so that
$$
\|f(x)-f(y)\| \;\geq\; \|x-y\|
$$
for all $x,y \in S$. Does it ...
- 8,493
6
votes
3
answers
2k
views
Space of compact operators
I am interested in the Banach space $\mathcal{K}=\mathcal{K}(\ell^2)$ of compact operators on $\ell^2$, however my questions can be stated for any $\mathcal{K}(E)$, where $E$ is an arbitrary Banach ...
- 11.3k
10
votes
1
answer
652
views
Extending state space to make a process Feller
Let $X$ be a locally compact Hausdorff space, and let $Y_t$ be a continuous Markov process on $X$ with transition function $P(t, x, \Gamma) := \mathbb{P}_x (Y_t \in \Gamma)$. Let $T_t$ be the ...
- 29.8k
2
votes
1
answer
570
views
Is a polynomial positive on the sphere a sum of squares of spherical harmonic polynomials?
Let $p\in {\mathbb{R}}[x_1,\ldots, x_n]$ be a homogenous polynomial of even degree $2d$. If $p$ is positive on the unit sphere $S\subset {\mathbb{R}}^n$, then does there exist some $m>0$ and ...
user2529
5
votes
1
answer
578
views
Infimum over all vector-valued L^2 spaces
Suppose I have a Banach space $E$ (which may be finite dimensional if you wish), a Hilbert space $H$ and a tensor $\tau \in H\otimes E$ in the algebraic tensor product. There are lots of ways to ...
- 18.7k
3
votes
1
answer
1k
views
Borel-Cantelli lemma for general measure spaces (those with infinite measure)
The Borel-Cantelli lemma is often stated for a probability space or spaces with finite measure.
But it seems to me that it still holds if the space $X$ is of infinite measure. I seem to be able to ...
- 31
1
vote
1
answer
754
views
Addition of essentially self-adjoint operators
Say $A, B : H \supset D \to H$ are essentially self-adjoint operators on the dense common domain $D$. $H$ is some Hilbert space. Does it hold that $A + B$ is also essentially self-adjoint? If not, can ...
- 403
59
votes
7
answers
29k
views
Learning roadmap for harmonic analysis
In short, I am interested to know of the various approaches one could take to learn modern harmonic analysis in depth. However, the question deserves additional details. Currently, I am reading Loukas ...
4
votes
1
answer
875
views
equality in noncommutative Hölder inequality
Let $1\leq p,q,r\leq \infty$ such that $\frac{1}{r}=\frac{1}{p}+\frac{1}{q}$. Let $S_p$ denote the Schatten space. For any $x\in S_p$ and any $y\in S_q$ we have
$$
||xy||_{S_r} \leq ||x||_{S_p}||y||_{...
- 1,222
5
votes
1
answer
512
views
$C_0$-semigroups applications
My graduation thesis was about stability theorems for $C_0$-semigroups (see the Wikipedia article for the definitions: http://en.wikipedia.org/wiki/C0-semigroup). I would like to know if there is ...
- 2,222
0
votes
1
answer
901
views
Schwartz space inequality
Let $g$ be a function in the Schwartz space $\mathscr S (\mathbb R)$. Show that for any $l \ge 0$, we have $\sup_x |x|^l |g(x-y)|\le A_l (1+|y|)^l$ by considering separately the cases $|x|\le 2|y|$ ...
1
vote
0
answers
369
views
Infinite internal direct sums of subspaces
Given a compact Hausdorff space $K$ such that $C(K)$ is of density $\omega_1$. Suppose that every copy of $c_0(\omega_1)$ in $C(K)$ is complemented. Let $\{Y_\alpha\colon\alpha<\omega_1\}$ be a ...
0
votes
2
answers
444
views
Sobolev space: probably simple ode....
I am trying to solve for $y(x)$ in terms of $f(x)$ in a convenient space (eg. $\dot{H}^2(\mathbb{T})$-zero mean). Here is the ode:
$y(x)+y(x)y'(x)=f(x)$.
I think a contraction mapping argument will ...
- 9
5
votes
1
answer
588
views
Detect compactness on unit sphere
In Pedersen's Analysis Now, for example, you learn that a bounded operator on Hilbert space $T: \mathcal{H} \to \mathcal{H}$ is compact if and only if the image $T(B)$ of the unit ball is compact. It ...
- 373
2
votes
0
answers
140
views
WLD Banach spaces
Does anyone know of an example of a weakly Lindeloff determined (WLD) Banach space which does not contain c_0 and is not weak Asplund? I believe the example of a WLD, non-weak Asplund space by Argyros ...
- 21
11
votes
4
answers
1k
views
Norm continuous infinite dimenisonal representation of a Lie group
Given a Lie group G and an infinite dimensional Hilbert space $\mathcal{H}$. In the literature I have only encountered the two following notions of a representation $\pi$ of G on $\mathcal{H}$ :
1) $\...
- 403
44
votes
1
answer
4k
views
Example of a compact set that isn't the spectrum of an operator
This question is somewhat ill-posed (due to the word easy) and is triggered by idle curiosity:
Is there an easy example of a (separable, infinite-dimensional) Banach space $X$ and a nonempty ...
- 5,743
8
votes
1
answer
1k
views
Is there a regular Dirichlet form with no associated Feller process?
I'm reading Dirichlet Forms and Symmetric Markov Processes by M. Fukushima, Y. Oshima, and M. Takeda (hereafter, [FOT]). In Chapter 7, where they discuss the construction of a Markov process ...
- 29.8k
1
vote
1
answer
977
views
Fourier transform of distributions with non-standard test functions
This might be a quite simple question for function analysis standards, but it has some obstacles. I'll try to improve the readability a bit by not using the full tex code. A short motivation:
Given a ...
- 278
2
votes
3
answers
759
views
How to prove/disprove that quasiconformal maps send measure-zero sets to measure-zero sets
$Qn#1 $
: Let $f:U\to V$ be a $K$ quasiconformal homeomorphism ( NOT diffeomorphism ) of plane open subsets of $C$. By my definition of quasiconformality, I mean 1)$f$ is continuous, 2)the weak ...
- 1,471
5
votes
3
answers
3k
views
What is the $L^p$-norm of the (uncentered) Hardy-Littlewood maximal function?
The (uncentered) Hardy-Littlewood maximal function $M(f)$ of (a locally integrable) function $f$ on $\mathbb{R}^{n}$ is defined by the rule $M(f)(x)=\sup_{\delta>0,\left|y-x\right|<\delta} \text{...
- 1,993
2
votes
0
answers
366
views
Are affine continuous functions on Bauer sub-simplices of the probability measures given by integration over continuous functions?
Let $X$ be a compact (non-metrizable) Hausdorff space and $\mathcal{P}(X)$ the set of Radon probability measures with
weak-$*$ topology (weak topology induced by the continuous functions).
Consider a ...
- 888
21
votes
4
answers
2k
views
A question on the integral of Hilbert valued functions
This questions stems from an attempt to recast in a form suitable for teaching some standard computations which are usually proved by handwaving, without much care about the details. My hope is that ...
- 9,007
9
votes
2
answers
477
views
An extension of Gaussian Isoperimetry
The Gaussian isoperimetric inequality (Tsirelson,Sudakov, Borell) states that among all sets of given Gaussian measure in the n-dimensional Euclidean space, half-spaces have the minimal Gaussian ...
- 949
1
vote
1
answer
312
views
Invertibility of frame/sampling operator on Bargmann-Fock spaces
Let $F_\alpha ^p (\mathbb{C}^n)$ for $1 < p < \infty$ and $\alpha > 0$ be the Bargmann-Fock space defined as the Banach space of entire functions $f$ such that $f(\cdot) e^{- \frac{\alpha}{2} ...
7
votes
1
answer
592
views
topologies on U(H)
There are many topologies on the algebra $B(H)$ of bounded operators on Hilbert space:
the weak, strong, ultraweak (also called σ-weak), ultrastrong (also called σ-strong), and some more......
- 43.2k
0
votes
1
answer
622
views
products in the category of banach spaces
Let $\{X_{\alpha} \}_{\alpha \in A}$ be a collection of Banach spaces. It is easy to show that $ P = \{(x_{\alpha}) : {\rm sup}_{\alpha} \|x_{\alpha} \| < \infty \} $ with $\| (x_{\alpha} ) \| = {\...
- 3,830
0
votes
2
answers
273
views
Do extracted weak $H^{1,2}$-limits and $C^0$-limits coincide?
Let $I$ be a bounded interval and consider a sequence $(u_k)$ in $H^{1,2}(I)$ (usual Sobolev space). Suppose furthermore, that the sequence $(u_k)$ is bounded in $H^{1,2}(I)$. Then, by Rellich, we can ...
- 2,935
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 ...
- 225
7
votes
2
answers
657
views
Subspaces isomorphic to $C[0, \omega_1]$
Let $\omega_1$ be smallest uncountable ordinal. I am trying to understand the possible "large" subspaces of $C[0,\omega_1]$, namely those which are isomorphic to the whole space. Therefore I have the ...
- 11.3k
7
votes
1
answer
423
views
Best constant in comparison between Rademacher and gaussian averages?
Let $(g_k)$ be a sequence of independent standard gaussians variables on a fixed probability space $\Omega$. Let $(\epsilon_k)$ be a sequence of independent rademacher variables.
What is the best ...
- 1,222
19
votes
4
answers
5k
views
Explicit extension of Lipschitz function (Kirszbraun theorem)
Kirszbraun theorem states that if $U$ is a subset of some Hilbert space $H_1$, and $H_2$ is another Hilbert space, and $f : U \to H_2$ is a Lipschitz-continuous map, then $f$ can be extended to a ...
- 1,839
3
votes
4
answers
2k
views
Suitable references for the the Stone-von Neumann Theorem
Hi all,
I am working on a mathematical physics project now and I need to understand the Stone-von Neumann Theorem properly. Wikipedia says that it is any one of a number of different formulations of ...
- 1,719
5
votes
1
answer
878
views
Short five lemma in Banach spaces
Denote by $\mathbf{Ban}$ the category of Banach spaces and bounded linear maps and by $\mathbf{Banc}$ the subcategory of Banach spaces and linear contractions. The isomorphisms of $\mathbf{Ban}$ are ...
- 1,848