# Tagged Questions

**0**

votes

**0**answers

12 views

### When is the sum of complemented subspaces complemented?

Let $X$ be a Banach space.
Question. Suppose $X_1,...,X_n$ are complemented subspaces of $X$. When is the sum $X_1+...+X_n$ complemented? Further, suppose we know some projections $P_1,...,P_n$ onto ...

**1**

vote

**0**answers

20 views

### Upper bound on the norm of the inverse of matrices with zero limit

Posted here too, with no answer yet:
http://math.stackexchange.com/questions/1766281/upper-bound-on-the-norm-of-the-inverse-of-matrices-with-zero-limit
Let $\{L(\sigma)\}_{\sigma}$ be a family of ...

**2**

votes

**2**answers

110 views

### What is the group of automorphisms of $l^{\infty}$?

What is the group of automorphisms of $l^{\infty}$?
I think it would be the permutations of the integers. Is this right?

**4**

votes

**0**answers

67 views

### Complex Stone-Weierstrass Type problem

I have come across this problem which resembles complex Stone-Weierstrass theorem except for a problem that the conjugate of the functions are not necessarily in the sub algebra.
Suppose $\Omega$ is ...

**3**

votes

**1**answer

222 views

### Compact non-nuclear operators

I am not sure if this question makes sense, or if it is trivial, but does there exists an infinite dimensional Banach space (necessarily without the approximation property) such that no compact, ...

**2**

votes

**1**answer

124 views

### The spectrum and the tangent space of the algebra of holomorphic functions on a Stein manifold

Let $A$ be a Fréchet algebra over ${\mathbb C}$, and let us call the spectrum ${\tt Spec}[A]$ of $A$ the set of all characters, i.e. continuous multiplicative linear functionals $s:A\to{\mathbb C}$, ...

**3**

votes

**2**answers

202 views

### Nice way to express $H^{-1}(\mathbb{S}^1)$

I am looking for a good way to write down what $H^{-1}(\mathbb{S}^1)$ is. What do I mean by this: Well, certainly one can define this space via charts that map from the sphere into $\mathbb{R}^2$ and ...

**1**

vote

**0**answers

70 views

### Question about continuity in the “complete Skorohod Topology”?

I am reading the book in progress of Timo Seppäläinen about the "Translation Invariant Exclusion Process"
https://www.math.wisc.edu/~seppalai/excl-book/ajo.pdf
In one of the exercises, exercise 8.9 ...

**1**

vote

**0**answers

83 views

### The functional equation $T(x\otimes y)=T(x)\otimes T(y)$ on certain $C^{*}$ algebras

Is there a name for the following property of a $C^{*}$ algebra $A$?
$$A \simeq A \otimes A\;\;\; \text{The spatial tensor product}$$
Example of this situation is $A=C(X)$ where $X$ is the ...

**2**

votes

**1**answer

85 views

### Are compactly supported continuous functions dense in the Continuous functions of Sobolev space? [on hold]

I have a question about Sobolev space.
Let $\Omega$ be an open subset of $\mathbb{R}^{d}$,
we consider the Sobolev space
$H^{1}(\Omega):=\left\{ u \in L^{2}(\Omega) : D_{j}u \in L^{2}(\Omega), ...

**0**

votes

**0**answers

41 views

### approximating smooth functions by non-smooth ones, in the distribution topology

The classical Stone-Weierstrass theorem gives a necessary and sufficient condition for a class of continuous functions on a compact to approximate a larger class of continuous functions in $C^0$ ...

**4**

votes

**1**answer

79 views

### Norm vs A-norm in non-Archimedean Functional Analysis

Let $K =(K,| \cdot |)$ be a non-Archimedean valued field.
Let $E$ be a $K$-vector space. A norm on $E$ is a map $||\cdot||:E\to[0,\infty)$ such that:
$||x||=0$ if and only if $x=0$,
$||\lambda ...

**8**

votes

**3**answers

481 views

### Can the topological algebra of analytic functions be endowed with a norm that defines the natural topology?

Right, so in my research in complex analysis I was puzzled by this question which may have a simple approachable answer that eludes me, but I am truly itching to find out and in need of it so I am ...

**1**

vote

**0**answers

30 views

### The decay rate of the spectrum of the Gaussian kernel on compact manifolds

It seems that the $k^{th}$ largest eigenvalue of the intergral operator induced on $S^n$ by the Gaussian kernel, $e^{-\frac{\vert \vec{x} - \vec{y} \vert _2^2}{2\sigma^2}}$ decays as $k^{-k}$. This is ...

**12**

votes

**1**answer

286 views

### Banach-Mazur distance between the cube and the octahedron

The Banach-Mazur distance $d(X, Y)$ between two normed spaces $X, Y$ of the same dimension is defined as $d(X, Y) = \log\inf \|T\| \cdot \|T^{-1}\|$, where the $T:X \to Y$ is a linear and invertible ...

**1**

vote

**0**answers

56 views

### Lower bound for the $C^*$-unitisation norm?

Let $A$ be a $C^*$-algebra without unit. Its unitisation $A^+$ carries the $C^*$-norm
$$\|(a,\lambda)\|_{A^+} = \sup \{\|ax+\lambda x\|_A \;\big|\; \|x\|_A = 1 \},$$
which is the operator norm of ...

**1**

vote

**0**answers

75 views

+100

### Regularity of a Dirichlet form

I have a question about Dirichlet form.
Let $\Omega$ be an Euclidean domain of $\mathbb{R}^{N}$ and
$X=\bar{\Omega}$. The measure $m$ on the Borel
$\sigma$ algebra $\mathcal{B}(X)$ is given by ...

**0**

votes

**0**answers

115 views

### Weak formulation of a nonlinear problem with test functions in a dense subspace of $H_0^1$

Let $\Omega\subset \mathbb R^{d=3}$ is a bounded and Lipschitz domain. Let $u\in H_g^1(\Omega)$ satisfy the weak formulation
$$a(u,v)+\int\limits_{\Omega}{f(u)vdx}=0,\,\forall v\in H_0^1(\Omega)\cap ...

**5**

votes

**1**answer

162 views

### Injectivity/Surjectivity of $F_A :=\frac{d}{dt} +A(t) $ for a hyperbolic path of matrices $A(t)$ on $H^1 $

I am looking for a reference to the following problem:
Given a hyperbolic (no purely imaginary eigenvalues), continuous path of matrices $A(t)$ in $\mathbb{R}$ with hyperolic limits at $\pm \infty $.
...

**4**

votes

**1**answer

201 views

### Weil's Haar measure construction from below

Weil's construction of a Haar measure on a locally compact group rests on approximating a function from above by sums of translates of another function.
I would need to know something similar for an ...

**0**

votes

**0**answers

141 views

### Johnson's Theorem - Proof (Runde) Clarification

I am reading Runde's Lectures on Amenability. In the proof of Johnson's theorem where he proves "$L^{1}(G)$ is amenable Banach algebra implies $G$ is amenable" : he defines a $L^1(G)$ bimodule action ...

**1**

vote

**0**answers

59 views

### $C^{1,2}$ regularity of (weak) solutions to the heat equation

Let $\Omega$ be a bounded Lipschitz domain (smoother if needed), and consider the heat equation
$$u_t - \Delta u = 0$$
$$\frac{\partial u(t,x)}{\partial \nu(x)} = a(t,x) - b(t,x)u(t,x)$$
$$u(0) = ...

**5**

votes

**0**answers

121 views

### Constructing Extreme Points in Reflexive Banach Spaces

A theorem of Lindenstrauss and Phelps states that if $X$ is a separable reflexive Banach space then the unit ball of $X$, $Ba(X)$, has uncountably many extreme points. The proof goes by contradiction ...

**6**

votes

**1**answer

164 views

### Definitions of Hilbert Bundles

I have some doubts regarding definitions and conventions on Hilbert Bundles. Some authors like Peter Kuchment (Floquet Theory for Partial Differential Equations) and Serge Lang (Differential and ...

**0**

votes

**0**answers

44 views

### Bounds on the the spherical harmonics on $S^{p-1}$

The only reference I could find in this regard is for upper bounding the n-homogeneous spherical harmonics on $S^{p-1}$ as in equation 4.29 here, ...

**4**

votes

**1**answer

131 views

### “Identity tensor transpose” as a map $M_n \hat{\otimes} M_n \to M_n \overline{\otimes} M_n$

Equipping $M_n$ with its usual operator space structure,
$\newcommand{\ptp}{\widehat{\otimes}}$
we can form the projective tensor product of operator spaces $M_n\ptp M_n$. In particular this puts a ...

**3**

votes

**1**answer

176 views

### How to learn concepts of Functional Analysis which are common in PDE

I am a master student and working in PDE area. I am trying to gain deep understanding of some of the concepts in functional analysis which are common tools in PDE research, such as weak*-topology, ...

**1**

vote

**1**answer

52 views

### Various limits of the Christoffel Darboux Kernel

In a different thread, we stumbled upon the following question:
Given a continuous finite measure $w(x)dx$ on some interval $(a,b)$, $-\infty \leq a <b \leq \infty$, and the set of respective ...

**6**

votes

**0**answers

123 views

### intuitive connection between The KdV equations and the Virasoro bott group

I posted this on stack exchange but had no joy, perhaps someone here can answer : The Euler Arnold equation expresses equations (usually from mathematical physics) as geodesic equations on a Lie ...

**7**

votes

**2**answers

347 views

### Attempted Banachification of a space

In a recent blog post, Terry Tao mentioned the question of how to tell if a Hausdorff topological vector space admits a finer topological structure which happens to be the topology of a Banach space ...

**0**

votes

**0**answers

57 views

### Functions $f \in S(\mathbb{R})$ with slow decay rate?

I came across this question by thinking about whether there are functions $f \in S(\mathbb{R})$ that satisfy for all(!) $a>0$ that $f e^{a|.|^a} \notin L^{\infty},$ as somebody on ...

**2**

votes

**1**answer

198 views

### Does Fourier Algebra of locally compact group separate compact sets of the group?

Let $G$ be a locally compact group. Consider the left regular representation $\lambda$ over $L^2(G)$. Then according to Eymard, Fourier algebra of $G$, $A(G)$ is the set of all coefficients of ...

**0**

votes

**1**answer

104 views

### adjoint of the operator rotation [closed]

I need to calculate the adjoint of the operator
$T_{a}=a i(x\frac{\partial}{\partial y}- y\frac{\partial}{\partial x})$ with $i^{2}=-1, \quad a\in \mathbb{C}$ and domain
$D=\{\varphi\in L^{2}(R), ...

**2**

votes

**1**answer

145 views

### Strong maximum principle for heat equation. Positivity of solution

I have a non-negative solution $u \in L^2(0,T;H^1) \cap H^1(0,T;(H^1)')$ of the heat equation
$$u_t-\Delta u =0$$
on bounded $C^1$ domain $\Omega$, with the boundary condition
$$\frac{\partial ...

**0**

votes

**0**answers

53 views

### On the set of times such that $e^{-it\Delta}f\not\in L^6(\mathbb{R}^3)$

Let $e^{-it\Delta}$ the flow of the free Schrodinger equation on $L^2(\mathbb{R^3})$. The (endpoint) Strichartz estimates implies that, given $f\in L^2(\mathbb{R^3})$, $e^{-it\Delta}f\in ...

**2**

votes

**1**answer

169 views

### Eigenfunction basis of Laplacian on a manifold

It is a well known result that for $\Omega$ bounded open set in $\mathbb{R}^n$, there exists a basis of $C^\infty$ eigenfunctions of the Laplacian for $L^2(\Omega)$. It is also known that there exists ...

**2**

votes

**1**answer

104 views

### Does weak convergence implies weak convergence of the positive part?

Weak convergence of a function in Sobolev spaces implies weak convergence of positive and negative parts of that function or not?

**4**

votes

**2**answers

213 views

### Error estimate in the spectral theorem of compact operators on a Hilbert space

Given a compact self-adjoint operator $K$ mapping $L^2(\mathbb{R}^d) \rightarrow L^2(\mathbb{R}^d)$ as $f \rightarrow \int K(x,y) f(y) d\mu(y)$, let us define its eigenvalues $\lambda_i$ and ...

**2**

votes

**1**answer

80 views

### About eigen-functions of the Gaussian kernel

If I look at the Guassian kernel function $e^{- \frac {\vert x - y\vert_2^2 }{2 w^2 } }$ for $x, y \in \mathbb{R}$. Then w.r.t the Gaussian measure $N(\mu,\sigma)$ I believe it is true that this has a ...

**3**

votes

**1**answer

664 views

### Two questions on Elias Stein paper (1976)

I am working on some results related with a paper of Elias Stein (on the almost every where convergence of wavelet summation methods), and I have the following questions:
The maximal function ...

**2**

votes

**0**answers

65 views

### Good reference for noncommutative $L^p$ spaces

I'm looking for good references to learn about $L^p$ spaces associated with von Neumann algebras. I already know about Uffe Haagerup's paper "$L^p$-spaces associated with an arbitrary von Neumann ...

**5**

votes

**0**answers

98 views

### Automorphisms of Cuntz algebra

Suppose, $ O_{\infty} $ is the cuntz algebra generated by the orthogonal isometries $ \{S_i\}_{i\in \mathbb{N}} $,i.e. $ S_i^*S_j=\delta_{ij}$ and $ O_{\infty}=C^*(\{S_i\}_{i\in \mathbb{N}}) $.
Then ...

**3**

votes

**0**answers

110 views

### Conditions for continuity of non-simple eigenvectors

Here, http://math.stackexchange.com/a/1146455, it is noted that eigenprojections are continuous, but eigenvectors are not. Are there any conditions where the eigenvalues are not simple, but the ...

**1**

vote

**0**answers

46 views

### A problem on Markov chains and Dirichlet forms

Let $X$ be a countable set. Let $c:X\times X\to[0,+\infty)$ satisfy
$$c(x,y)=c(y,x)\text{ for all }x,y\in X,$$
$$m(x)=\sum_{y\in X}c(x,y)\in (0,+\infty)\text{ for all }x\in X,$$
$$c(x,x)=0\text{ for ...

**5**

votes

**1**answer

106 views

### $L^\infty$ estimate on heat equation with a lower order term

Let $u$ be the weak solution on a smooth bounded domain $\Omega \subset \mathbb{R}^n$ (for $n \leq 3$) of
$$u_t - \Delta u = f$$
$$u(0) = u_0$$
$$\partial_\nu u = 0 \quad\text{on $\partial\Omega$}$$
...

**2**

votes

**1**answer

81 views

### Measurability of integrals with respect to different measures

Let $Y$ be a locally compact Hausdorff topological space (further assumptions like metrizability, separability, etc., may be added if necessary) and let $\mathscr Y$ denote the Borel $\sigma$-algebra ...

**4**

votes

**0**answers

71 views

### On the weakly sequential completeness of the dual of the James space $J$

Let me first introduce some definitions. Let $1\leq p\leq \infty$.
A sequence $(x_{n})_{n}$ in a Banach space $X$ is said to be weakly $p$-convergent to $x\in X$ if the sequence $(x_{n}-x)_{n}$ is ...

**4**

votes

**1**answer

66 views

### Operator space structures on CB(H,K) where H and K are Hilbertian operator spaces?

(I'd be grateful if anyone thinking of putting MathJax in the question title refrains from doing so.)
By consulting various standard sources (Effros-Ruan's book, Pisier's book, the lexicon of ...

**8**

votes

**2**answers

298 views

### $l^1$ versus $l^2$

Is there an elementary proof of this Banach space fact?
If the Banach space $V$ is linearly isomorphic to $l^1$, then it does not isometrically contain euclidean spaces of arbitrarily large finite ...

**2**

votes

**1**answer

146 views

### Simplify proof for rapidly decaying functions

I want to show the following theorem in a lecture:
Let $F \in C^{\infty}(\mathbb{C}^{k}, \mathbb{C})$ such that $F(0)=0.$
Let $G: \mathbb{R}^n \rightarrow \mathbb{C}^{k}$, $x \mapsto ...