**1**

vote

**0**answers

17 views

### The composition of a dissipative operator and a positive operator is dissipative?

Consider the following bilinear system on a open and bounded domain $\Omega$
\begin{equation}
\left\{\begin{array}{r c l}
\displaystyle\frac{dy(t)}{dt} &=& Ay(t)+u(t)By(t)\\
y(0) &...

**4**

votes

**0**answers

65 views

### C$^*$-algebras in which the spectral radius is comparable to the norm

For every commutative C$^*$-algebra the spectral radius is equal to the norm. My question is:
For which C$^*$-algebras $\mathcal A$ does there exist a constant $C>0$ such that $$C\|a\| \...

**2**

votes

**0**answers

50 views

### A specific mollified functions in the Sobolev space H^1(R)

Let $u>0$ be in $H^{1}(\mathbb{R})=W^{1,2}(\mathbb{R})$, we know that the set of $C^{\infty}$ functions with compact support are dense in the Sobolev space $H^{1}(\mathbb{R})$. Hence, we have a ...

**2**

votes

**0**answers

99 views

### The uses of the polar topology in topological vector spaces

The polar topology originates from the $S$-topology and is used in duality pairs. Due to the connection between the original topology and the weak topology, we can rephrase the original topology in ...

**4**

votes

**0**answers

58 views

### Coming up with a represenation for sum of functions in the Fourier algebra

This is my first overflow question, so let me apologize in advance if this belongs on http://math.stackexchange.com.
Let $G$ be a discrete group.
Let $\lambda:G\to B(\ell^{2}(G))$ be the left ...

**-1**

votes

**0**answers

45 views

### Closure property of completely monotone functions [on hold]

A $C^{\infty}$ function $f(x_1, \dots, x_n)$ defined on $(0,\infty)^n$ is said to be completely monotone if
$$
(-1)^{k}\frac{\partial^k f}{\partial x_{i_1} \cdots \partial x_{i_k}} \geq 0
$$
...

**0**

votes

**0**answers

46 views

### interpolation inequalities and embeddings

When $Z$ is an interpolation space between two Banach spaces $X$ and $Y$ (say real / complex method), we have a norm inequality
$$
\| x \|_Z \le C \| x \|_X^\theta \| x \|_Y^{1-\theta}
$$
My question ...

**0**

votes

**1**answer

96 views

### Right inverse of the Seiberg-Witten functional

For closed 4 manifold X, we consider the derivative of the Seiberg-Witten functional, i.e.
$$\Omega^1_2(X;\sqrt{-1}\mathbb R)\oplus\Gamma_2(S^+)\overset{D}{\to}\Omega^2_{+,1}(X;\sqrt{-1}\mathbb R)\...

**-3**

votes

**0**answers

52 views

### Fredholm operators: how to calculate Coker and Ker [on hold]

Exercise:
Let $1\leq p \leq \infty$. For each $n\in\mathbb{Z}$ construct a Fredholm operator $F:l^p\to l^p$ whose index is $n$.
Solution (given in the lecture classe):
$F_n(x_i):=(0,\ldots, 0,x_1,...

**3**

votes

**1**answer

93 views

### Linear independency and compactness of the set of pure states of a $C^*$-algebra

Let $\mathcal{A}$ be a noncommutative $C^*$-algebra and $PS(\mathcal{A})$ be the set of its pure states.
Question 1. Is $PS(\mathcal{A})$ linearly independent (as vectors over $\mathbb{R}$)? (If $\...

**0**

votes

**1**answer

114 views

### Hodge decomposition on open manifold

For the open manifold like $X\times \mathbb R$ or $X\times \mathbb R^+$, where $X$ is a closed manifold.
Is there any decomposition like (Hodge Decomposition) of the Differential forms on it.

**0**

votes

**0**answers

88 views

### Gauge Fixing Problem on Cylindrical

For Cylindrical $Y\times\mathbb R$, where $Y$ is a closed oriented 3-manifold.
If it is necessary, we could consider the $b_1(Y)=0$ case.
Fix a Line bundle $L\to Y\times \mathbb R$ and a Hermitian ...

**1**

vote

**0**answers

44 views

### A priori estimates for elliptic operators

Suppose $L : L^{m,p}(M)\rightarrow L^p(M)$ is some elliptic operator of order $m$, and $(M,g)$ is a compact Riemannian manifold. Then it is known that there exists a constant $C$ such that we have the ...

**0**

votes

**1**answer

69 views

### Heat kernel upper bounds on a complete Riemannian manifold

Let $M$ be a complete Riemannian manifold, and $p(t, x, y)$ denotes its heat kernel. I am trying to find sufficient conditions for when the following holds:
$$ p(t, x, y) \leq Ct^{-n/2}, \forall x, y, ...

**0**

votes

**0**answers

46 views

### $L^\infty$-contractive semigroups

Let $L^\infty(\mathbb T)$ be the space of $2\pi$-periodic and bounded measurable functions
and $\mathcal P$ be a pseudo-differential operator defined on
$\mathcal D(\mathcal P)\subset L^\infty(\...

**0**

votes

**1**answer

60 views

### Domain of the Stokes operator

Let
$\Omega\subseteq\mathbb R^d$ be open ($d\in\mathbb N$)
$\mathcal D:=C_c^\infty(\Omega)^d$ and $$\mathfrak D:=\left\{\phi\in\mathcal D:\nabla\cdot\phi=0\right\}$$
$\mathcal H:=\overline{\mathfrak ...

**0**

votes

**0**answers

41 views

### Questions about the regularity of the solution of the heat equation in a bounded domain [closed]

I have questions about the proof of the following theorem:
Theorem 8 (Smoothness). Suppose $u\in C^2_1(U_T)$ solves the heat equation in $U_T$. Then $u\in C^\infty(U_T)$
Here is the statement and ...

**-1**

votes

**1**answer

47 views

### About the critical points of quasi-convex functions

What do we know about the structure of critical points of quasi-convex functions?
I am looking for statements like "the critical points of a quasi-convex function are always either a global minima ...

**1**

vote

**1**answer

79 views

### Reference on Probability theory on functional spaces (in special Hilbert spaces)

Currently, I am working on some sort of stochastic optimization problems defined over function spaces.
I am familiar with standard probability theory (R. Durrett, ''Probability: Theory and Examples")...

**11**

votes

**2**answers

291 views

### Is a C*-algebra with an isomorphic predual a von Neumann algebra?

It is well-known that a C*-algebra $A$ is a von Neumann algebra if and only if it has an isometric predual, that is, if and only if there exists a Banach space $X$ such that $A$ is isometrically ...

**0**

votes

**1**answer

109 views

### Space time Lesbesgue spaces

I have a function which lives in $f(x,t)∈L^2(0,T;H^{1/2})∩L^\infty(0,T;L^2)$
for a certain time interval. I also know that $\partial_{t} \ f(x,t)∈L^2(0,T;H^{−1})$. Can I assure that the function lives ...

**4**

votes

**1**answer

117 views

### Density of smooth functions on Hölder spaces

The following result is often cited without reference in the context of PDEs:
Let $\varOmega \subset\mathbb R^n$ be a bounded open set with smooth boundary. If $0<\beta<\alpha<1$ then $C^\...

**1**

vote

**0**answers

28 views

### About a particular definition of a Hessian of a function of tuples of matrices

Say I have a function $L : (W_1,..,W_{H+1}) \rightarrow \mathbb{R}$ i.e it takes a tuple of $n$ matrices of different dimensions and computes a number from them.
Then I see being defined a ...

**5**

votes

**0**answers

93 views

### Banach spaces complemented in their ultrapowers

By the principle of local reflexivity, the second dual $X^{**}$ of a Banach space $X$ is complemented in some ultrapower $X^U$ of $X$. Even when $X$ is separable, the index set of $U$ cannot be ...

**0**

votes

**0**answers

92 views

### The eigenfunction of modified $1$-laplace equation?

Let $\Omega\subset \mathbb R^2$ be open bounded with smooth boundary. It is well known that the laplace equation
$$
-\Delta u=0
$$
has a set of eigenvalues $0<\lambda_1<\lambda_2\leq\lambda_3<...

**1**

vote

**0**answers

112 views

### Is an bijective analytic map bi-analytic?

Suppose that
$E$ and $F$ are complex Banach spaces and $U\subset E$ and $V\subset F$ are open subses.
$f\colon U\to V$ is analytic
$f\colon U\to V$ is bijective
Is $f$ bi-analytic? (i.e. is its ...

**0**

votes

**0**answers

49 views

### $L^\infty$ bounds for pseudo-differential equations of parabolic type

It is well-known that if the solution of $u_t=u_{xx}$, with $t>0$ and $x\in\mathbb R$, is bounded, then $a(t)=\sup_{x\in \mathbb R}u(x,t)$ is non-increasing, while
$b(t)=\inf_{x\in \mathbb R}u(x,t)$...

**4**

votes

**0**answers

222 views

### Baum Connes Conjecture [closed]

I have recently decided on a topic for my master thesis. I want to compare the Baum Connes conjecture as it is formulated in topology to the conjecture as it is formulated in functional analysis. I ...

**7**

votes

**1**answer

250 views

### Why is the Berkovich spectrum of a C*-Algebra the same as the Gelfand spectrum?

Let $A = \mathcal{C}(X)$ be a commutative (unital) C*-Algebra. Let $Spec(A)$ denote its Gelfand spectrum
$$ Spec(A) = \{A \rightarrow \mathbb{C} : \text{non-zero *-homomorphism} \} \simeq X. $$
Now ...

**5**

votes

**0**answers

121 views

### Norm of projection onto functions of mean zero

Let $X$ be a finite set and consider the space $\ell^2(X;Y)$ of functions $\zeta:X\to Y$, where $Y$ is a fixed Banach space. It decomposes into a direct sum of constant function and its complement $\...

**0**

votes

**0**answers

38 views

### References for the Sturm oscillation theorem

What is the most general form of the Sturm oscillation theorem?
So far I have only seen cases that treat either unbounded intervals or weighted $L^2$ spaces. I would be especially interested in ...

**10**

votes

**2**answers

369 views

### Extracting subsequences in Banach spaces, along an ultrafilter?

There are various principles in Banach space theory that allow one to pass from a given sequence of vectors $(x_n)$, to a subsequence $(x_{n_k})$ with some desired property. I'm thinking here, in ...

**8**

votes

**1**answer

198 views

### Restriction of irreducible unitary representation to normal subgroup of finite index

Let $G$ be a Lie group (or more generally a locally compact group), let $N$ be a closed and normal subgroup of $G$ of finite index. Let $H$ be an infinite dimensional complex Hilbert space, and let $\...

**2**

votes

**1**answer

354 views

### Is the $L^1$-space dual to a Banach space

Let $(\Omega,\mu)$ be a measure space. It is well known that for $1<p\leq \infty$ one has the duality
$$L^p=(L^{p*})^*,$$
where $1/p+1/p^*=1$.
Question. Is it known that the Banach space $L^1$ is ...

**2**

votes

**0**answers

76 views

### If $f_j\to f$ in $L^1(\Bbb R^n)$ then $Tf_j\to Tf$ in $L^{1,\infty}(\Bbb R^n)$

Let's define $A:=\{f\in L^1(\Bbb R^n)\cap L^2(\Bbb R^n)\;:\;f\;\mbox{has compact support}\}$. So $A$ is dense in $L^1(\Bbb R^n)$.
Given then $f\in L^1(\Bbb R^n)$; by density there exists $\{f_j\}_j\...

**2**

votes

**0**answers

66 views

### Elliptic regularity on the hypercube

Assume
$$
Lu=f\quad \text{in } [0,1]^d\\
u=0 \quad\text{ on } \partial[0,1]^d
$$
for some strongly-elliptic operator $L$, and $f\in H^k$$, k\geq -1$. Do we have $u\in H^{k+2}$? I can only find the ...

**4**

votes

**0**answers

94 views

### Concentration of infinite-dimensional Gaussian measure

I have the question about finding the subspace of concentration of a Gaussian Measure. More precisely:
$\textbf{Question:}$ Assume we have a separable Hilbert space $\ell_2$ with Borel $\sigma$-...

**1**

vote

**0**answers

73 views

### Differntiability of Distance to a CLosed Convex Set

Let $A$ be a closed convex set in Banach space $( \mathbb{R}^n, \| \cdot\| )$. For any $\mathbf{x} \in \mathbb{R}^n$, define $$Ｐ_{A}(\mathbf{x}) = \arg\min_{\mathbf{y}\in A} \| \mathbf{x} - \mathbf{y} ...

**2**

votes

**1**answer

78 views

### Sequences in $L_{p}(1<p<\infty)$ that is equivalent to the unit vector basis of $l_{p}$ or $l_{2}$

Let $1<p<\infty$. Johnson and Schechtman (Multiplication operators on $L(L_{p})$ and $l_{p}$-strictly singular operators, 2008, DOI: 10.4171/JEMS/141, eudml, arxiv) observed that if $(x_{n})_{n}$...

**15**

votes

**2**answers

803 views

### Corollaries of the Yoneda Lemma in Analysis?

This is a cross-post of my ~2 weeks (canonically) unanswered question on Math.SE: http://math.stackexchange.com/questions/1830287/corollaries-of-the-yoneda-lemma-in-analysis.
I am looking for some ...

**2**

votes

**0**answers

101 views

### A universal operator between separable Banach spaces

The Banach space $C[0,1]$ is universal for all separable Banach spaces in the sense that for a separable Banach space $X$ there is an isometric isomorphism from $X$ into $C[0,1]$. My question is ...

**0**

votes

**0**answers

64 views

### Spectrum on an unbounded operator

Consider the operator $T_{c}=-\frac{d}{dx^{2}}+ c x^{2}$ with $c\in C^{*}$, $Re(c)>0$ defined on its domain $D_{c}=\{u\in L^{2}; T_{c}(u)\in L^{2}\}$.
Put $c=a+ib$ avec $a>0$ et $b\in R$.
...

**2**

votes

**0**answers

38 views

### Ideals of finite codimension in $L^1(G)$

Let $G$ be a non-abelian, locally compact group.
Is there any characterization of the two-sided ideals of $L^1(G)$ which are of finite codimension?

**3**

votes

**1**answer

115 views

### Subspaces of $L_{p}(2<p<\infty)$

Let $p>2$ and $X$ a subspace of $L_{p}$.
Then Kadec and Pelczynski proved that either $X$ is isomorphic to $l_{2}$ or $X$ contains a subspace isomorphic to $l_{p}$.
Question: if $X$ is ...

**3**

votes

**1**answer

136 views

### The C*-envelope of the algebra of continuous functions on a compact topological space is commutative

In my research in operator theory, specifically in C* algebras and enveloping, I came across this strange footnote in a text (locally published in non English where I study) which states the following:...

**2**

votes

**0**answers

55 views

### Implicit function theorem and selfadjoint operators

Is there a version of the implicit function theorem in some space of functions from $[0,1]$ to a Hilbert space $H$ that contains as a special case the unique solvability of the initial-value problem $\...

**4**

votes

**0**answers

77 views

### Equivalence of questions regarding restrictions of pure states

In Davidson and Szarek's article "Local Operator Theory, Random Matrices and Banach Spaces" in the Handbook of the Geometry of Banach Spaces, the authors discuss the (now solved) Kadison-Singer ...

**1**

vote

**0**answers

59 views

### Sufficient condition for the unique solvability of Dirichlet problem of Hamilton-Jacobi equation

It shall be an old story in PDE.
I am looking for a sufficient condition of Dirichlet problem for the existence of the unique viscosity solution of the equation in the form of
$$\inf_{a \in [-1,1]} \{...

**2**

votes

**0**answers

50 views

### How do spectrums interact with bi-Lipschitz maps?

If it makes things simple, we can just stick to bi-Lipschitz maps from $S^k \rightarrow \mathbb{R}^d$ (w.r.t geodesic distance on the sphere with the standard round metric and the $2-$norm on the ...

**1**

vote

**1**answer

156 views

### Could I affirm that $f$ is not identically 0?

Consider the following situation: Let $\Omega =l^{\infty}(\mathbb{R})$ be the
space of all bounded sequences of real numbers. We will consider in $\Omega$ the metric:
$
d(x,y)=\sum_{i\geq 1}\frac{|...