**2**

votes

**0**answers

45 views

### Is any operator from $l_{p}$ to a quotient of $l_{r}$($1\leq r<p<\infty$) compact?

Let $1\leq r<p<\infty$. Let $T$ be an operator from $l_{p}$ to a quotient of $l_{r}$. Is $T$ compact?

**2**

votes

**2**answers

263 views

### “Generalisation” of one-parameter semigroups

Let $(Y,\left\|\cdot\right\|_Y)$ be a Banach space and $A:D(A)\subset Y \to Y$ a closed operator. Studying dynamical systems of the form
\begin{equation}
u'=Au
\end{equation}
quickly leads to the ...

**11**

votes

**1**answer

281 views

### Is there a Gelfand-Naimark-like characterization of group algebras $L_1(G)$?

The Gelfand-Naimark theorem establishes that a complex commutative Banach algebra $A$ with an identity and an involution $x\to x^*$ satisfying $\|x x^*\|=\|x\|^2$ is (isometrically isomorphic to) a ...

**3**

votes

**2**answers

235 views

### Is there an easier proof to show that the closed convex hull of a normalized weakly null sequence is weakly compact?

In a paper that I am reading there is a following step:
Let $X$ be a Banach space and let $(x_k) \subset X$ be a normalized sequence that converges weakly to $0$.
Then $\overline{co}(x_k)$ is a ...

**3**

votes

**1**answer

273 views

### Proof of Pinelis (1992) - Banach space inequalities

I am reading Pinelis "An approach to inequalities for the distributions of infinite -dimensional martingales" and cannot follow his proof of Theorem 3:
Let $(f_n)$ be a martingale in a separable ...

**0**

votes

**1**answer

95 views

### Solutions of an nonlinear evolution problem

We consider the following continuous-time nonlinear evolution problem
\begin{equation}
\begin{cases} \dot{y}(t)=Ay(t)+F(y(t),u(t)),\quad t\geq0\\y(0)=f\in\mathcal{X}\end{cases}
\end{equation}
where ...

**0**

votes

**0**answers

88 views

### When do block sequences yield disjoint subspaces?

Let $X$ be a Banach space having a (unconditional, normalized) Schauder basis $(e_n)_n$. Suppose that $Y$ and $Z$ are (closed) block subspaces of $X$ having normalized block bases (with respect to ...

**2**

votes

**1**answer

175 views

### Completion of $C_0^{\infty}(\mathbb{R}^N)$ with norm $\|u\|= \Bigg(\int_{{\mathbb{R}}^N} |\Delta u |^2 \, \mathrm{d}x \Bigg)^{\frac{1}{2}}. $

I have a question that I could not find it any where.
Is the completion of $C_0^{\infty}(\mathbb{R}^N)$ with the respect to norm
$$\|u\|= \Bigg(\int_{{\mathbb{R}}^N} |\Delta u |^2 \, ...

**4**

votes

**2**answers

254 views

### Well-complemented copies of $\ell_p^n$

This must be surely known but I couldn't locate this problem in the literature. It popped out in a priori unrelated approximation problem but if true, would help me greatly.
Let $p\in (1,\infty)$.
...

**5**

votes

**1**answer

181 views

### Is the space of vectorial functions that are Dunford integrable complete?

Let $X$ a Banach Space and $(\Omega, \Sigma, \mu)$ a measure space. A function $F:\Omega\rightarrow X$ is Dunford integrable if $x^\ast\circ F$ is $\mu$-integrable for every $x^\ast\in X^\ast$. The ...

**3**

votes

**2**answers

161 views

### On the Lorentz sequence space $d(w,1)$

I am interested in examples of dual Banach spaces $X$ with the Schur property (weakly convergent sequences in $X$ are norm convergent) like $\ell_1$.
The Lorentz spaces $d(w,1)$ [Lindenstrauss and ...

**6**

votes

**0**answers

129 views

### Is there a quotient of $c_0$ without the approximation property?

The famous example of Enflo of a Banach space without the approximation property is actually a subspace of $c_0$. Is there a quotient of $c_0$ without the approximation property?
This would follow if ...

**6**

votes

**2**answers

299 views

### Non strictly-singular operators and complemented subspaces

If $T$ is a bounded operator which is not strictly singular, acting on a separable Banach space $X$, can one always find an infinite dimensional, closed and complemented, subspace $Y$ such that $T$ ...

**5**

votes

**1**answer

222 views

### Hahn Banach type extension of a Lipschitz map

The problem that I posted was a much generalized form of what I had in my mind. All I want to know the literature of Hahn-Banach type extension of Lipschitz map. I know only about the result by ...

**1**

vote

**1**answer

175 views

### Noncommutative analogs of classical Banach geometric properties

The scale of Schatten-von Neumann classes is noncommutatitve analog of classical $\ell_p$-spaces. A lot of researchers devoted their lives to study Banach geometric structure of these spaces. ...

**4**

votes

**0**answers

126 views

### $L_\infty(\mu)$ spaces non-isomorphic to a dual space

Given a measurable space $(\Omega,\mu)$ such that $L_\infty(\mu)$ is isomorphic to a dual space, $L_\infty(\mu)$ is an injective Banach space. Indeed, given a subspace $Y$ of $X$ and a norm-one ...

**0**

votes

**0**answers

107 views

### Unitarizability of group representations

Let $G$ be a Lie (or more general) group. Consider its continuous representation in a Banach space by isometries, i.e. preserving the Banach norm. Under what conditions this representation is ...

**4**

votes

**2**answers

390 views

### Is a specific sequentially closed subset of $M([0,1])$ closed?

Let $M([0,1])$ be the set of finite signed measures on $[0,1]$
(with the topology generated by the sets $\left\{ \mu \in M([0,1]) : \left| \int f(x) \mu(dx)- a\right| \leq \delta\right\}$ for all ...

**4**

votes

**1**answer

141 views

### A differential equation with continuous coefficient and no solution in a reflexive Banach space?

Is there a reflexive Banach space $B$ and a continuous map $f:B\to B$ such that the differential equation
$$ \frac{d x (t)}{dt} = f(x(t)) $$
with some initial condition $x(0)=x_0$ has no solution?

**-1**

votes

**1**answer

78 views

### Infinitesimal generator is bounded [closed]

Consider a strongly continuous semigroup of bounded linear operators $S(t):X\to X$. The infinitesimal generator of $S(t)$ is the linear operator $A:D(A)\subseteq X \to X$ defined by
...

**3**

votes

**1**answer

509 views

### Besov and Triebel-Lizorkin spaces

Let me start with a couple of notational reminders. For $\xi\in \mathbb R^n$,
$$
1=\varphi_{0}(\xi)+\sum_{\nu \ge 1}\varphi_{\nu}(\xi),\quad \varphi_{0}\in C^\infty_c(\mathbb R^{n}),\quad ...

**3**

votes

**0**answers

104 views

### Approximating the norm of a finite dimensional representation on a Banach space by irreducible representations

Let $G$ be a compact group, let $X$ be a Banach space and let $\pi$ be a linear and isometric representation of $G$ on $X$ that is continuous with respect to the strong operator norm. For $v \in X$, ...

**6**

votes

**2**answers

291 views

### Almost isometric embeddability implies isometric embeddability

Consider the following situation: Suppose $X$ is a Banach space such that for each finite metric space $M$ and each $\epsilon > 0$ for which $M$ bi-lipschitz embeds into $X$ with Lipschitz constant ...

**1**

vote

**0**answers

87 views

### Quadratic Variation of a Martingale in Hlibert Spaces

I'm looking at a Martingale (actually a Martingale difference sequence),
$$
M_n = \sum \delta M_n,
$$
and I'd like to prove something about convergence. If Martingale is Hilbert space valued ...

**4**

votes

**1**answer

137 views

### Operator on a Banach space

Let $T$ be a continuous operator on a Banach space $V$. Assume there exist $T$-stable finite-dimensional subspaces $V_i$ such that $\bigoplus_{i=1}^\infty V_i$ is dense in $V$, on $V_i$ the operator ...

**9**

votes

**0**answers

207 views

### Subspaces and quotients in Banach space theory

In Banach space theory (closed) subspaces and quotient seem to play a symmetric role. However, since the behavior of subspaces is more intuitive, subspaces appear more frequently. E.g., the theory of ...

**6**

votes

**0**answers

92 views

### Real interpolation space between the Wiener algebra and $L^2$

The Wiener algebra $W_n$ is the image by the Fourier transform of $L^1(\mathbb R^n)$. What is the (complex) interpolation space between $W_n$ and $L^2(\mathbb R^n)$? It is probably not true that for ...

**6**

votes

**1**answer

303 views

### Dominated convergence to characteristic function

Let $\phi_m(x):=\chi_{[0,1]} * \chi_{[0,1]} *...* \chi_{[0,1]}$ be the m -times convolution (so $m+1$ characteristic functions are involved).
Then the Fourier transform of this function is given by
...

**3**

votes

**0**answers

53 views

### Dual cone of 'positive' Bochner integrable functions

If we consider the space of integrable functions $L^1([0,1];\mathbb{R})$, it can be ordered by the convex cone of positive integrable functions $L^1([0,1];\mathbb{R}_+)$. It is known that the ...

**1**

vote

**1**answer

88 views

### A nullspace identity for operator exponentials

Let $X$ be a complex Banach space. Does validity of
$$
\mbox{ker}\left(e^{2\pi \imath \, T} - 1\right) = \overline{\sum\nolimits_{k\in \mathbb{Z}} \mbox{ker} (T-k) }\quad \forall \, T \in B(X,X)
$$
...

**0**

votes

**0**answers

76 views

### interpolation between Bochner spaces

Is there a reference for the interpolation result stating the existence of an embedding
\begin{equation}
L^2(I;W^{2,p}(\Omega)) \cap H^1(I;L^p(\Omega)) \hookrightarrow ...

**3**

votes

**0**answers

90 views

### independent symmetric 3-valued random variables in Lp

Consider the following excerpt from this paper:
Given $1<p<2$, $0<w\leq 1$ and $n\in\mathbb{N}$, we fix once and for all a sequence $f_j^{(n)}=f_{p,w,j}^{(n)}$, $1\leq j\leq n$, of ...

**1**

vote

**0**answers

134 views

### What is the trace of this operator in $L^\infty$ (if this question make sense)?

Let $\Omega$ be a closed domain in $\mathbb{R}^N$, and $\lambda$ the corresponding Lebesgue measure. We define in $(L^\infty(\Omega), \Vert \cdot \Vert_\infty)$ the following operator :
...

**2**

votes

**1**answer

108 views

### Rearrangments of Fourier series

Suppose one has a schauder basis $\{f_n\}_{n\in\mathbb{N}}$ for $L^p([0,1])$ and we wish to expand a function $f \in L^p([0,1])$ in our basis to get the expression
$$f(y)=\sum_{n=0}^{\infty} a_n ...

**2**

votes

**1**answer

133 views

### A question on p-summing operators

Let $(x_{n})_{n}$ be a $p$-summable sequence in a Banach space $X$. Define an operator $T$ from $l_{q}$(where $q=p/(p-1)$) to $X$ by $Te_{n}=x_{n}(n=1,2...)$. Is $T$ a $p$-summing operator?

**2**

votes

**1**answer

171 views

### When do Borel $\sigma$-algebras generated by the total variation norm and the weak* topology coincide?

I am almost certain that I read somewhere that the following is true, but I cannot seem to locate the reference. I would be most appreciative if someone could point me to a reference. The result was ...

**4**

votes

**1**answer

194 views

### Banach-Stone Theorem in Lipschitz-free spaces

If $T$ is a nonlinear surjective isometry from Lipschitz-free space $\mathcal{F}(M)$ to $\mathcal{F}(N)$($M,N$ are metric spaces), is $M$ homeomorphic to $N$?

**4**

votes

**1**answer

309 views

### Open problems in Banach spaces, universality

I have gathered a list of universality problems in Banach spaces which have been solved:
1.The non existence of a separable reflexive space universal for the class of separable reflexive spaces.
...

**4**

votes

**0**answers

128 views

### SubGROUPs of Banach spaces, when are they dense in a vector subspace?

It’s relatively easy to show that if $J$ is a closed subgroup of a finite-dimensional real Banach space, $B$, then it is a vector subspace iff for all bounded linear functionals $\sigma$ of $B$, ...

**1**

vote

**0**answers

172 views

### Matrix norm on $L^p$ operator algebras

I have a question about the framework of $L^p$ operator algebras ($1<p<\infty$), i.e. norm-closed subalgebras of $B(L^p(X,\mu))$ for some measure space $(X,\mu)$ (see e.g. ...

**3**

votes

**1**answer

159 views

### Characterizations of Wiener algebra

The Wiener algebra $\mathcal W$ is defined as $\text{Fourier}(L^1(\mathbb R))$, i.e. the image by the Fourier transform of $L^1(\mathbb R)$. Riemann-Lebesgue's lemma ensures that
$$
\mathcal W\subset ...

**5**

votes

**1**answer

234 views

### Location of a Banach Space inside its bidual

Let $X$ be a Banach Space and let $Y$ be a closed subspace of $X^{**}$ such that $X\bigcap Y=0$. Let $P$ be the quotient map from $X^{**}$ onto $X^{**}/ Y$. I need to prove or refute that ...

**13**

votes

**1**answer

735 views

### Are “most” operators on an infinite-dimensional complex Banach space “diagonalizable”?

This is true for finite-dimensional spaces: the diagonal operators on a finite dimensional complex vector space form contain a dense open set and the nondiagonalizable operators have measure 0.
To be ...

**1**

vote

**0**answers

114 views

### Estimates of entropy of functional spaces

Let $M^n$ be a compact $n$-dimensional manifold. For $k\geq 0$ let us denote by $C^k(M)$ the Banach space of $k$ times continuously differentiable functions, and $B_{C^k}$ denote the unit ball of it.
...

**3**

votes

**2**answers

191 views

### Basis equivalent with a monotone basis

Given a basis in a Banach space $X$, can one find, for every $\varepsilon>0$, an equivalent basis with basis constant at most $1+\varepsilon$?
In $L_p[0,1]$ with $1<p<\infty$ any monotone ...

**9**

votes

**4**answers

523 views

### Between Tietze's and Dugundji's Extension Theorems

The celebrated Tietze Extension Theorem asserts that any continuous real-valued function defined on a closed subset of a normal space, can be extended to a continuous function on the whole space. Seen ...

**5**

votes

**3**answers

638 views

### reflexive banach space

I want to ask this non-expert question:
What does it mean geometrically for a Banach space to be reflexive?
Well, we could say a Banach space is reflexive iff unit ball is weakly compact. Or some ...

**3**

votes

**1**answer

216 views

### A question in Banach space

Given $A\in\Bbb R^{m\times n}$, define $$\gamma_2(A)=\min_{XY=A}\max_{i,j}\|x_i\|_{\ell_2}\|y_j\|_{\ell_2}$$ where rows of $X$,columns of $Y$ given by $\{x_i\}_{i=1}^m,\{y_j\}_{j=1}^n$ respectively.
...

**7**

votes

**0**answers

268 views

### Lipschitz-free spaces of $\mathbb R^n$

We define
$$
\text{Lip}_0(\mathbb R^n)=\{f:\mathbb R^n\rightarrow \mathbb R, \text{such that $f(0)=0$ and }
\sup_{x\not=y}\frac{\vert f(x)-f(y)\vert}{\vert x-y\vert}<+\infty.
\}
$$
It is well-known ...

**2**

votes

**2**answers

134 views

### Infinite direct sum of $l_2^{(n_k)}$ contains a complemented isometric copy of $l_2$

How do I show that for any increasing sequence $(n_k) \subseteq \mathbb{N}$, the space $\left( \oplus _{k=1} ^\infty l_2 ^{(n_k)} \right) _\infty$ contains a complemented isometric copy of $l_2$?