All Questions
10,199 questions
7
votes
3
answers
4k
views
Measures on infinite dimensional Banach spaces
Does there exist a Borel measure or any valid measure on an infinite dimensional Banach space such that a bounded open set in this space has a positive measure ?
8
votes
1
answer
2k
views
Limits of Nilpotent and Quasi-nilpotent Operators in a $\mathrm{II}_1$-factor
A bounded operator $A$ in a Hilbert space is called nilpotent if there exists $n$ such that $A^{n}=0$. An operator is called quasi-nilpotent iff
$$
\limsup_{n\to\infty}{ \|A^{n}\|^{1/n}}=0.
$$
Every ...
- 3,626
6
votes
1
answer
404
views
Unique preduals up to (nonisometric) isomorphism?
It's well known that there are Banach spaces which has a unique isometric predual-- for example, any von Neumann algebra. As other questions on here (for example, Isomorphisms of Banach Spaces ) ...
- 18.7k
3
votes
0
answers
637
views
Fixed point theorem for convex, closed multivalued mapping
There is well-known fixed point theorem theorem for multivalued l.s.c. maps, based on Michael selection theorem:
Suppose, that $X$ is compact, convex and metrizable in locally convex Hausdorff ...
- 696
4
votes
1
answer
1k
views
Sobolev-Slobodeckij spaces for p=infinity
For $1\leq p<\infty$ an approach to define fractional Sobolev spaces is by Sobolev-Slobodeckij spaces a generalisation of Hölder continuity. For example letting $U\subset\mathbb{R}^n$ then,
$
\...
- 3,217
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$-...
- 22.3k
3
votes
2
answers
1k
views
Sum of two closed operators closable
I found this question on another forum, and after processing it a bit, I didn't find a good answer. The question is:
Is the sum of two closed operators closable? If not, give an example of two ...
- 2,222
9
votes
2
answers
928
views
Property (T) for pseudogroups
Let $H$ be a Hilbert space, $S(H)$ be the inverse semigroup (pseudogroup) of linear maps between (closed) subspaces of $H$ preserving the dot product (the operation is composition of partial maps). ...
user6976
3
votes
2
answers
642
views
Localization of Laplacian eigenfunction on the unit square?
Let A be the unit square, $\{u_k\}$ is the set of all L2-normalized Laplacian eigenfunctions with Dirichlet boundary condition. Is it true that for any open subset V, $C_V = \inf\limits_k \int\...
5
votes
3
answers
987
views
Boundedness of Laplacian eigenfunctions
Let $A$ be a bounded domain in $\mathbb R^d$, $d>1$, and $\{u_k\}$ is the set of all $L^2$-normalized Laplacian eigenfunctions on $A$ with Dirichlet boundary condition (i.e., $\|u_k\|_2 = 1$).
Is ...
9
votes
1
answer
1k
views
A question concerning separate and joint continuity of bilinear maps
Suppose that $V$ is a locally convex topological vector space and $f:V^2 \to V$ is a bilinear map. Suppose that $C \subseteq V$ is compact and convex, $f$ maps $C^2$ into $C$ and
$f \restriction C^2$ ...
- 3,547
7
votes
4
answers
2k
views
Invariant means on the integers
Let $A\subseteq\mathbb Z$, as usual we define the lower Beurling density $d^{-}(A)=\lim\inf_{n\rightarrow\infty}\frac{|A\cap[-n,n]|}{2n+1}$ and the upper Beurling density $d^+(A)=\lim\sup_{n\...
- 6,034
13
votes
2
answers
3k
views
What is the "correct" generalization of operator norms for nonlinear operators?
I have been recently wondering what is a (or even the) "correct" generalization of the notion of an operator norm to nonlinear operators?
Please excuse the naivete of my question; if you think that ...
- 28.6k
7
votes
2
answers
988
views
Missing mass conjecture
Let $n,t$ be positive integers and $p_1,p_2,\ldots,p_n$ positive numbers summing to 1. Conjecture:
$$
\sum_{i=1}^n p_i (1-p_i)^t \le \frac{n(1-1/n)^n}{t}
$$
always holds.
The motivation comes from my ...
- 6,541
16
votes
0
answers
763
views
Lipschitz Homeomorphisms Between Spheres of N-dimensional Spaces
Let $B_p^N$ be the unit ball of $\mathbb{R}^N$ under the $\ell_p^N$ norm.
Question: Let $C_N$ be the infimum of all $C$ for which there is a homeomorphism $f_N$ from $B_\infty^N$ onto $B_2^N$ so ...
- 31.5k
9
votes
2
answers
1k
views
Which Banach algebras are group algebras?
Given a locally compact Hausdorff group $G$, one can construct several Banach star-algebras using $G$ (and its associated Haar measure): $L^1 (G)$, $M(G)$ (regular complex measures on $G$), $L^{\infty}...
- 4,874
1
vote
0
answers
869
views
Limit of two hypergeometric functions (2F1)
Hi,
Does anyone know whether there is a known function/distribution that corresponds to the limit:
$\lim_{\epsilon\rightarrow0^+} \mathfrak{Re}\left[f(x+i\epsilon) - f(x-i\epsilon)\right]$
when $f(...
- 131
15
votes
2
answers
810
views
Are extensions of nuclear Fréchet spaces nuclear?
Consider the category of Fréchet spaces, the morphisms being
continuous linear maps with closed image. Suppose that we
have a short exact sequence in that category:
$0 \rightarrow V_1 \rightarrow ...
- 261
2
votes
1
answer
508
views
Fractional integration lemma
Hello everyone.
I am trying to establish a fractional integration lemma of this form.
For $\alpha\geq 0$, and
$1\leq p,q<\infty$ and $0\leq \frac{1}{q}-\frac{1}{p}=\frac{\alpha}{d}$
or $1\leq p,...
- 23
24
votes
3
answers
3k
views
Can Hölder's Inequality be strengthened for smooth functions?
Is there an $\epsilon>0$ so that for every nonnegative integrable function $f$ on the reals,
$$\frac{\| f \ast f \|_\infty \| f \ast f \|_1}{\|f \ast f \|_2^2} > 1+\epsilon?$$
Of course, we ...
- 9,756
10
votes
2
answers
881
views
volume of the unit ball of the Banach space $\ell_1^n\otimes_{\epsilon}\ell_1^n$?
We denote by $\otimes_{\epsilon}$ the injective Banach tensor product.
Which is the asymptotic volume of the unit ball of the Banach space $\ell_1^n\otimes_{\epsilon}\ell_1^n$?
- 1,222
4
votes
2
answers
1k
views
Projective Banach spaces
Injective Banach spaces, with morphisms as contractive linear maps, have been classically studied (and are $C(K)$ spaces with $K$ Stonian). But what about projectives?
So $P$ will be projective if ...
- 18.7k
5
votes
1
answer
794
views
Can the Sobolev norm of order 1/2 detect "jumps"?
We are given a function $f: \mathbb R^d \to \mathbb R$. For simplicity we can assume that $f$ is smooth and compactly supported. Is the Sobolev norm of order $\frac{1}{2}$ strong enough to prove an ...
- 570
2
votes
3
answers
358
views
Almost Orthogonal Vectors given a Unitary Operator
Let $\mathit{H}$ be a (real or complex) Hilbert space and $U:\mathit{H}\rightarrow\mathit{H}$ be a unitary operator. What conditions can be placed on $U$ to guarantee a sequence $v_n$ such that $|v_n|...
- 163
2
votes
2
answers
1k
views
Characterization of closed subspaces of $ L^2(R)$
Natural way to find an example of banach spaces is to look at closed subspaces of Banach spaces. Initially, It was really hard to find examples of closed subspaces of $L^2(R)$. Then, my professor gave ...
- 97
9
votes
2
answers
1k
views
Hilbert transforms of measures
Given a finite measure $\mu$ on the real line $\mathbb R$, one definition of its Hilbert transform is $(H\mu)(y) =\frac{1}{\pi}(PV)\int \frac{d\mu(x)}{x-y}$ which is known to exist almost everywhere ...
- 91
15
votes
3
answers
4k
views
What holomorphic functions are limits of polynomials?
Let $\Omega$ be a connected open set in the complex plane. What is the closure of the polynomials in $\mathcal{H}(\Omega)$ the set of holomorphic functions on $\Omega$? The topology is the usual ...
- 2,751
16
votes
1
answer
691
views
Unbalancing lights in higher dimensions
In ''The Probabilistic Method'' by Alon and Spencer, the following unbalancing lights problem is discussed. Given an $n \times n$ matrix $A = (a_{ij})$, where $a_{ij} = \pm 1$, we want to maximise the ...
- 878
3
votes
1
answer
588
views
orthonormal basis of eigenvectors for laplacian on a concave polygon
I am interested in the Laplace operator $\Delta$ on a concave polygon.
When the polygon is convex, it is known that $\Delta: H^2(\Omega) \rightarrow L^2(\Omega)$
is boundedly invertible. In addition, ...
- 31
1
vote
2
answers
1k
views
Convergence of eigenvectors
Let $T$ be a compact operator on $l^2$. Let $T_n$ be finite rank operators and $T_n \to T$ in the operator norm. Is it true that the eigenvalues and eigenvectors of $T_n$ converge to eigenvalues and ...
- 31
1
vote
2
answers
294
views
inequality of norms [closed]
Let $X$ and $Y$ be two Banach spaces with norms $\|\|_X$ and $\|\|_Y$ respectively. If $Z=X\times Y$ is also a Banach space with norm $\|\|_Z$ then what is the relation between $\|\|_X,\:\|\|_Y$ and $\...
2
votes
0
answers
520
views
Eigenvector of infinite matrix
I consider the system of reaction-diffusion PDEs in a ball
with Robin boundary condition.
It is a Steklov eigenvalue problem
(see G Auchmuty (2004) "Steklov eigenproblems and the representation
of ...
- 31
12
votes
3
answers
16k
views
Dual space of $\ell^\infty$
Why can the elements of the dual space of $\ell^\infty(\mathbb N)$ be represented as sums of elements of $\ell^1(\mathbb N)$ and Null$(c_0)$?
<hr:
EDIT: As confirmed in the comments, the OP ...
- 169
59
votes
9
answers
10k
views
Motivation for and history of pseudo-differential operators
Suppose you start from partial differential equations and functional analysis (on $\mathbb R^n$ and on real manifolds). Which prominent example problems lead you to work with pseudo-differential ...
- 5,327
2
votes
2
answers
825
views
Existence of extreme points
Let $(X,d)$ be a complete metric linear space whose balls are convex. Let $Y\subseteq X$ be a bounded, closed and convex subset that verifies the following property: for all $y_0\in Y$, the distance ...
- 6,034
3
votes
0
answers
1k
views
Sigma-algebras on Banach Spaces.
I am very interested in counterexamples when cylindrical sigma-algebra is not equal to the borel. I read
link text and
link text.
Especially interessted in l-infinity space. I've read Talgat and ...
- 169
0
votes
3
answers
753
views
center of the algebra of bounded operators [closed]
Suppose that $X$ is a Banach space. How to prove that the center of the algebra $B(X)$ (the algebra of bounded operators on $X$) consists only of operators of the form $aI$, where $a$ is scalar and $I$...
- 33
12
votes
1
answer
329
views
Ideals in smooth subalgebras of C*-algebras
Let $B$ be a $C^{*}$-algebra and $\mathcal{B}$ a dense *-subalgebra stable under holomorphic functional calculus and $C^{1}$-functional calculus for selfadjoint elements. Also, $\mathcal{B}$ is a ...
- 213
5
votes
1
answer
410
views
Is the unitary group of $l^2(A)$ with the strict topology contractible?
Let $A$ be a $C^*$-algebra with countable approximate unit. Let $\mathbb{K}$ denote the compact operators on a separable Hilbert space. Mingo and later Cuntz and Higson have shown that the unitary ...
- 7,637
2
votes
0
answers
156
views
Holomorphic stability of inverse limit of pre-$C^*$-algebras
Let A be a C*-algebra and let At be a set of dense *-subalgebras of A, stable under holomorphic functional calculus on A, which are also Banach algebras complete with respect to the norms ||$\cdot$||t....
- 613
2
votes
3
answers
538
views
General theory for p-normed spaces
Hello,
in functional analysis and operator theory, you encounter several (at first glance, at least) similar constructions of normed spaces that can be indexed with some $ p \in [1,\infty]$, and ...
- 5,327
0
votes
1
answer
643
views
Is this (interpolation) inequality right?
Suppose that $\Omega$ is a bounded domain in $\mathbb{R}^3$, $F$ is bounded in $L^\infty (\Omega \times (0,T))\cap (\cap_{k=1}^\infty L^{5/3}(0,T;C^k(\bar{\Omega})))$.
Question: Can we say that $F$ ...
- 61
4
votes
1
answer
688
views
Subgroups of U(M_n)
can any subgroup of the unitary group of full matrix alg $M_d(\mathbb{C})$ be approximated on finite
sets by a finite subgroup?
i.e. is the following True or false?
Let $n, d$ be positive integers ...
- 155
3
votes
0
answers
251
views
What is the origin of the metrization problem for compact convex sets?
The following is an ``old question in analysis:''
Is it true that every perfectly normal compact convex subset of a locally convex topological vector space is metrizable?
Here perfectly normal means ...
- 3,547
6
votes
0
answers
295
views
Is there an idempotent measure on the free LD system?
This is a follow up question to MO question "Idempotent measures on the free binary system?".
Let $(A,*)$ be the free binary operation on one generator which satisfies the left self distributive law:
...
- 3,547
13
votes
1
answer
736
views
Idempotent measures on the free binary system?
Let $(S,*)$ be the free (non associative) binary system on one generator (so $S$ is just the set of terms in $*$ and $1$). There is an extension of $*$ to the space $P(S)$ of finitely additive ...
- 3,547
3
votes
0
answers
356
views
Stability of convex sets w.r.t. integration over [0,1]
In the preprint on pages 19−20, first using Hahn−Banach, one proves
Lemma 38. For any closed convex set $U$ in a real Hausdorff locally convex space $E$ and for any Riemann integrable $\gamma:[0,1]\...
- 3,584
11
votes
4
answers
1k
views
Example of noncomplete quotient of complete lcs mod closed subspace
The following statement is well-known: for a Fréchet space $V$ and a closed subspace $W \subseteq V$ the quotient $V / W$ is again complete and hence a Fréchet space. For the particular case of a ...
- 8,098
48
votes
6
answers
7k
views
Is there an "elegant" non-recursive formula for these coefficients? Also, how can one get proofs of these patterns?
Not sure if this is a "good" question for this forum or if it'll get panned, but here goes anyway...
Consider this problem. I've been trying to find a formula to expand the "regular iteration" of "...
9
votes
1
answer
2k
views
Rate of convergence of smooth mollifiers
How does one figure out/prove the rate of convergence (in some norm) of mollifiers given a function bounded in some other norm (say Sobolev space, Besov space)? Also, is there a dimensional analysis ...
- 2,243