All Questions
10,050 questions
7
votes
1
answer
1k
views
weak*-closed subspaces
Recall that a closed subspace $Y$ of a Banach space $X$ is weakly complemented if the set
$$Y^{\bot}:= \{ f\in X^*| f(y) = 0 \forall y\in Y\}$$
is a complemented subspace of $ X^*$. For example, $c_0$ ...
- 195
1
vote
2
answers
295
views
The operator preseving two disjoint dense operator ranges invariant
Let $\mathcal{H}$ be a separable infinite dimensional Hilbert space. Suppose that $\mathcal{H}_0\subset\mathcal{H}$ which is a dense proper subspace is the range of some bounded linear operator $T$. ...
- 11
8
votes
2
answers
1k
views
When is the norm of all positive operators on an ordered Banach space determined by their values on the positive cone?
I'm trying to investigate the interplay between the norm and cone of positive elements in ordered Banach spaces. In particular, I would like a nice characterization of when the norm of a positive ...
2
votes
1
answer
2k
views
Invariant functionals on C(R) and amenable groups
Since there seems to be no progress in this interesting question, I took the liberty to reformulate it in a way, that is easier to understand. Moreover, my answer shows that the question is related to ...
- 385
23
votes
5
answers
4k
views
Understanding/Mastering Analysis in Topology, necessary?
I have spoken to one professor so far about this, which of course was helpful, and so I am looking for additional opinions: To work with topological tools that were built via analysis, should I be a "...
- 17.5k
6
votes
2
answers
749
views
Transpose of unbounded operators between Banach spaces.
Let $X$ and $Y$ be Banach spaces, and let $L : X \rightarrow Y$ be a unbounded operator with dense domain $\operatorname{dom}(L)$. We can then talk about the transposed operator
$L' : \operatorname{...
- 5,327
7
votes
1
answer
1k
views
laplace equation on manifolds with boundary
in aubin's book on page 104 theorem 4.7 there is the theorem: Let $(M,g)$ be a compact $C^{\infty}$ Riemannian manifold. There exists a weak solution $\varphi \in H_{1}$ of $\Delta \varphi = f $ if ...
- 213
11
votes
4
answers
1k
views
Orthogonality in non-inner product spaces
I have come across a notion of orthogonality of two vectors in a normed space not necessarily inner product space. Two vectors $x$ and $y$ in a normed space are said to be orthogonal (represented $x\...
- 2,239
11
votes
1
answer
983
views
Applications of the "almost commuting" theorem of H. Lin
H. Lin proved that "almost commuting" hermitian matrices are "nearly commuting." To be more precise, Lin showed that given $\epsilon > 0$ there exists a $\delta > 0$ such that if $A, B \in M_N$ ...
- 3,699
3
votes
2
answers
1k
views
Do these kernel functions satisfy the semigroup property?
Define the kernel functions for $a\ge 1$,
$$
G_a(t,x) := \frac{C_a t}{t^{1+1/a}+|x|^{1+a}}, \qquad \forall t>0,\: x\in \mathbb{R}\;,
$$
where the constant $C_a$ is some normalization constant ...
- 1,649
1
vote
0
answers
135
views
Inequality involving BV norm and a regularizing kernel
In the same article by Benoit Perthame: http://www.mendeley.com/research/uniqueness-error-estimates-first-order-quasilinear-conservation-laws-via-kinetic-entropy-defect-measure/# (related to this ...
- 2,222
19
votes
3
answers
1k
views
Is there "Schur-Weyl duality" for infinite dimensional unitary group?
To what extent does the relation between the diagonal representation of $SU(n)$ in $(\mathbb{C}^n)^{\otimes k}$ and representations of the symmetric group $S_k$ remain valid when instead of the group $...
- 965
14
votes
2
answers
6k
views
Are weak and strong convergence of sequences not equivalent?
For some infinite-dimensional Banach spaces $E$, it is easy to find sequences $\langle x_i:i\in\mathbb N_0\rangle$ which converge to zero weakly but not in the norm topology, i.e. we have $\lim_{i\to\...
- 3,584
1
vote
1
answer
163
views
Maximum number of orthonormal vectors contained in an open cone
Let $H$ be a separable Hilbert space, $\Pi:H\to L$ the orthogonal projection to a linear subspace of finite dimension $p$, and $U$ the open cone of vectors $u\in H$ such that $\langle u,\Pi u\rangle&...
- 329
1
vote
1
answer
295
views
A nice overview (and maybe derivation) of the Poincaré transformations of the Vector Spherical Harmonics
With $Y_{lm}(\vartheta,\varphi)$ being the Spherical Harmonics and $z_l^{(j)}(r)$ being the Spherical Bessel functions ($j=1$), Neumann functions ($j=2$) or Hankel functions ($j=3,4$) defining $$\psi_{...
- 161
3
votes
1
answer
333
views
Stronger bound for a modified Lyapunov Equation
In regard to the stability analysis and control properties of the linear system $\dot{x}=Ax$.
Consider the solution $P$ of the continuous Lyapunov equation $AP+PA^T+Q=0$, where $A,Q,P
\in
{\mathbb{R}...
- 73
2
votes
0
answers
176
views
A limit involving a regularizing kernel
I am studying the following article by Benoit Perthame: http://www.mendeley.com/research/uniqueness-error-estimates-first-order-quasilinear-conservation-laws-via-kinetic-entropy-defect-measure/#
...
- 2,222
3
votes
1
answer
653
views
Converse of the taylor's theorem in Banach Spaces
I would like to known if the following converse of the taylor's theorem is true:
Let $E$, $F$ Banach spaces, and $f:E\rightarrow F$ continuous. Suppose there are $k$ continuous functions $T_i: E \...
- 121
6
votes
0
answers
715
views
What is the structure of a space of $\sigma$-algebras?
Let $X$ be a compact metric space, and consider the Banach space $\Omega = C(X,\mathbb R)$ of continuous, real-valued functions on $X$, equipped with the supremum norm. Let $\delta_x \in \Omega^*$ be ...
- 8,512
5
votes
1
answer
4k
views
Contraction mapping with no fixed point
I am interested in constructing the following "counter-example" to the Banach's fixed point theorem.
Let $K=$ {$ g\in L_1: \|g\|=1, g(\cdot)\ge0 $}.
Clearly, $K$ is not a compact and $K$ is not ...
- 931
8
votes
1
answer
487
views
Continuous selections from sums of compact sets
This question is somehow related to the last open problem from Grothendieck's thesis about completeness of locally convex inductive limit. However, a particular case of the problem boils down to a ...
- 16.4k
2
votes
2
answers
816
views
Principle of Local Reflexivity
I'm having a hard time trying to understand a proof of the Principle of Local Reflexivity. I'm following the proofs from
1) Topics in Banach Space Theory (by Fernando Albiac, Nigel J. Kalton)
2) ...
- 151
2
votes
0
answers
146
views
Subspace where an operator is positive
Given a self-adjoint operator $\hat{T}$ on a Hilbert space $\mathcal{H}$, and assuming it has a basis of eigenvectors $\{\phi_n\}$ such that $\hat{T}\phi_n=\lambda_n\phi_n$, one can consider the ...
- 2,358
6
votes
4
answers
1k
views
Recovering a measure from its moments
Suppose we are given moments of a measure on the interval [0,1]. Is there some practical way to recover the measure itself? I am particularly interested in the case where the measure density is given ...
0
votes
1
answer
338
views
The part of an operator as an analytic generator
Let the operator $A$ be the generator of an analytic semigroup on a Banach space $X$.
Let $Y$ be another Banach space embedded in $X$. We consider$A_Y$, the part of $A$ in $Y$, defined as the ...
- 271
2
votes
1
answer
414
views
Uniqueness of dimension in Banach spaces
Let $\;\;\; \big\langle V,+,\cdot, \;\; ||\cdot|| \;\; \big\rangle \;\;\;$ be a Banach space over the field $\mathbb{K}$, which is either $\mathbb{R}$ or $\mathbb{C}$.
Suppose there exists a subset $...
user5810
5
votes
1
answer
3k
views
Weak convergence implying norm convergence
A surprising (to me) consequence of Hahn-Banach is that when a sequence converges weakly then there is another sequence made of (finite) convex combination which converges in norm (to the same element)...
- 4,432
26
votes
3
answers
16k
views
the dual space of C(X) (X is noncompact metric space)
It is well known that when $X$ is a compact space (or locally compact space), the dual space of $C(X)=\{f |f:
X\rightarrow \mathbb{C} \text{ is continuous and bounded} \}$ is $M(X)$, the space of ...
- 1,706
3
votes
1
answer
375
views
Weak L_1-convergence of squares
Let $f_k$ be a sequence of non-negative functions from $L_2(\Omega)$, where $\Omega$ is a bounded open set. Assume that $f_k\to f$ weakly in $L_2$ and strongly in $L_p$, $\forall p<2$. Assume also ...
- 43
6
votes
3
answers
808
views
Hahn Banach Theorem for multisublinear functionals
The Hahn–Banach theorem states that: Given a sublinear functional $S: V \rightarrow \mathbb R$, if $T: U \rightarrow \mathbb R$ is a linear functional on a linear subspace $U \subseteq V$ that is ...
- 61
4
votes
2
answers
427
views
Choice of predictable (or jointly measurable) eigenvalues and eigenvectors of nuclear-operator-valued stochastic process
Let $q^{ij}$, $i,j\in\mathbb{N}$, be predictable real-valued stochastic processes. Let $(e^i)$, $i\in\mathbb{N}$ be an ONB of a separable Hilbert space $H$. Assume that $Q=\sum_{i,j=1}^\infty q^{ij}...
- 125
4
votes
1
answer
655
views
Generator of Laplace operator as analytic semigroup on $L^1(\mathbb{R}^n)$
The Laplace operator is the generator of an analytic semigroup on $L^p(\mathbb R^n)$
for $1 < p < \infty$. Is the same true for $L^1(\mathbb R^n)$? If it is, could someone give a reference? The ...
- 271
5
votes
1
answer
540
views
Cosets of groups of functions
Let's consider an interval $I\subseteq\mathbb R$, and let $\mathcal F(I)$ be the set of bijective functions $f:I\to I$ so that the graph of $f$ is a analytic curve in $I\times I$.
The set $\mathcal ...
- 4,312
0
votes
1
answer
864
views
Sequence of smooth functions converging to sgn(x)
I'm looking for a sequence of smooth functions $f_i(x)$ converging to Sign$(x)$, each of which additionally have the following property:
\begin{equation}
f_i(x_1+x_2) = g_i(x_1, f_i(x_2))
\end{...
- 561
25
votes
16
answers
4k
views
functions satisfying "one-one iff onto"
Hello Everybody.
I need some more examples for the following really interesting phenomenon:
A function from the class ... is one-one iff it is onto.
Some ...
4
votes
1
answer
314
views
Spectral Properties of $A(I-A)^{-1}$
I am working with a class of matrices $A$ which are non-negative-definite, not symmetric, and have maximum eigenvalue less than 1. I am interested in the spectral properties of the matrix $H = A(I - ...
- 8,512
1
vote
0
answers
202
views
Weak solution of a certain pde with integral term
Let us consider the following pde on the domain $(0,T)\times(0,1)$
$
\dot{p}(t,x)+v(t)p_{x}(t,x)+v'(t)\int_{0}^{1} \rho(t,s)p_{s}(t,s)\ ds=0
$
with initial data $p(0,x)=p_{0}(x)$ and boundary data $...
- 11
8
votes
2
answers
819
views
Decomposition of an integral operator into a composition
I've been musing about the following question for a while now. Given an integral operator $G$ defined by
$$ (Gf)(x) = \int_0^1 G(x,u) f(u)\,du $$
Is it possible to decompose this into two separate "...
- 757
0
votes
0
answers
184
views
Extension of closed linear functionals...
If f is a closed linear functional defined on a dense subspace of a Banach space X, and, consider f1 which is an extension of f to X, is there a way to show that f1 is also closed without invoking the ...
- 55
1
vote
0
answers
114
views
Mappings preserving convex compactness
Let $H$ be a Hilbert space.
How can one describe continuous mappings $F:H \to H$
that satisfy the following condition:
There exist two elements $c$, $F(c) \neq c$
and a convex compact $M$ containing ...
- 11
11
votes
5
answers
5k
views
A criterion for the sum of two closed sets to be closed ?
Let $V$ and $I$ be two closed subsets of a Banach space $A$.
The set $V$ is a convex cone, and $I$ is a linear subspace of $A$. I also know that $V\cap I=\{0\}$.
I would like to know whether $I+V$ ...
- 452
1
vote
0
answers
393
views
Unambiguous "weak" vector valued $L^{+\infty}$ spaces?
For some time, I have been stuck to the problem to be described as follows. The (perhaps not so commonly known) facts given here are taken from R. E. Edwards' Functional Analysis (Holt, Rinehart and ...
- 3,584
2
votes
3
answers
604
views
Can we approximate an arbitrary function as a (probably infinite) sum of bell shapes?
The problem is that we want to approximate domain-bounded functions (that is, functions restricted to a domain such as [0,10]) as (probably infinite) series of other functions. We know that, for ...
- 23
1
vote
1
answer
294
views
Reference request: Rate of convergence of sequence of functions
Suppose you are given a sequence of functions $f_n \rightarrow F$ with a certain notion of convergence. Suppose that in your setting where this implies that $f_n^{'} \rightarrow F^{'}$ with the same ...
- 81
26
votes
1
answer
820
views
The maximal "nearly convex" function
The following problem is only tangentially related to my present work, and I do
not have any applications. However, I am curious to know the solution -- or
even to see a lack thereof, indicating that ...
- 23k
10
votes
1
answer
869
views
Completeness of Borel measure
Let $X$ be a compact Hausdorff space and $\mu$ a finite Borel measure without atoms which is outer regular with respect to open sets and inner regular with respect to compact sets. Can such measure be ...
- 277
5
votes
0
answers
200
views
Diffusion processes in wide generality
It is common knowledge among schoolchildren that one may define jump diffusion processes in wide generality.
Hard question: What are the most general structures on which one may define something ...
- 8,512
6
votes
2
answers
4k
views
Is there dual space of the distributions $\mathcal{D}'(R)$?
Dear MOs,
Let $\mathcal{D}(R):=C_c^\infty(R)$ be the smooth functions with compact support. Its dual space is the space $\mathcal{D}'(R)$ of distributions. This space $\mathcal{D}(R)$ has its weak *-...
- 1,649
5
votes
1
answer
318
views
What's the link between the Toeplitz operators on H^2 and those used to define Cuntz-Pimsner algebras?
An alternate way to phrase this question might be, "How did the Toeplitz operators used in the definition of the Cuntz-Pimsner algebra come by their name?" or, "What's the relationship between the ...
- 151
0
votes
1
answer
261
views
Norm functionals of $B(H)$ restricted to sub ven-Neumann algebras [closed]
Let $H$ be a Hilbert space, we know that weak topology over $B(H)$, operator algebra of bounded linear operators from $H$ into $H$, is the topology generated by
$\{\langle \cdot \xi,\eta\rangle:\; \...
