**8**

votes

**0**answers

112 views

### Optimal exponent in the Lojasiewicz-Simon gradient inequality

Lojasiewicz's theorem asserts that if $F: \mathbb{R}^n\to \mathbb{R}$ is a real-analytic function in a neighborhood of its critical point $0$, then there exist constants $\theta\in (0,1/2]$, ...

**2**

votes

**0**answers

49 views

### Factorization of linear bounded operators in Banach spaces

I am looking for a reference, if any, to the following statement: "Let $X$ and $Y$ be
Banach spaces, $A\in\mathcal{B}(X,X)$ be a linear bounded operator, and $B\in\mathcal{B}(X,Y)$ be surjective. ...

**4**

votes

**0**answers

129 views

### Discrete groups G whose full C*-algebra C*(G) is not MF?

This is a cheap rip-off of this question, but I am genuinely interested in an answer.
Is there a known example of a countable discrete group G whose full group C*-algebra C*(G) is not MF?
Let us ...

**2**

votes

**1**answer

92 views

### On the dependence on $\epsilon$ in Dvoretzky's theorem

A $k$-dimensional section of a convex body $K \subset {\mathbb R}^n$ is just the intersection of $K$ with a $k$-dimensional hyperplane $h$.
Such a section is said to be $(1+\epsilon )$-almost ...

**4**

votes

**0**answers

157 views

### Convergence of spectrum

Consider a one-parameter real analytic family of metrics $g_t$ on a compact manifold $M$ converging to a metric $g$ in $C^k$-norm, for some $k$. It is known that the Laplace spectrum of $g_t$ will ...

**13**

votes

**2**answers

378 views

### $\frac{d}{dt} (A+t B)^p\,\text{ for } p\geq 1$

Given two positive self-adjoint operators $A,B$ on a Hilbert space. Let $p\geq 1$.
I would like to calculate $$\frac{d}{dt}|_{t=0} (A+tB)^p,$$
where the power is defined through the spectral ...

**3**

votes

**2**answers

202 views

### Do Hausdorff locally convex inductive limits always exist?

The following is from Schaefer, "Topological Vector Spaces", 1999, p. 56/57:
Let $(E_\alpha)_{\alpha \in A}$ be a family of locally convex spaces with $\alpha$ in a directed poset $A$ and $h_{\beta ...

**4**

votes

**2**answers

190 views

### An extremal type problem on segments

I am interested in the following extremal-type problem.
Let us define $\Psi$ as
$$\Psi(x)=\max_{f\in L^2[0,x] \,\,with\,\,\|f\|_2=1}\Bigg|\int_0^x\int_0^xf(t)f(s)\ln|t-s|dsdt\Bigg|$$
on ...

**7**

votes

**2**answers

452 views

### $H^{*}$ algebras as a generalization of $C^{*}$ algebras

Let $H$ be the quaternions algebra. An $H^{*}$ algebra is a normed ring $A$ which is simultaneously a unital left $H$ module and has an involution $*$ with the following properties:
$\forall \lambda ...

**3**

votes

**0**answers

100 views

### Compact embedding of ${\rm L}^1_{loc}$ space

I was reading one preprint and stumbled upon a part in the proof where one particular embedding was used. Namely:
Let $\Omega\subset{\bf R}^2$ be open and bounded and let $p\in\langle
1,2\rangle$. ...

**2**

votes

**1**answer

82 views

### Why is the ker-hull-topology on $Irr(A)$ is the discrete topology?

Let $A$ be a C$^*$-algebra. Let $Irr(A)=\{[\pi]: \pi$ is an irreducible representation of A}, here is $\rho\in [\pi]$ if there is an unitary operator $V:H_{\pi}\to H_{\rho}$ such that ...

**4**

votes

**1**answer

81 views

### Elliptic regularity for two dimensional domains

Suppose $ \Omega$ is a smooth bounded domain in $ R^2$. I am interested in the regularity of solutions to
$$-\Delta u(x) = f(x) \mbox{ in } \Omega$$ with $ u=0$ on $ \partial \Omega$.
If $ f \in ...

**6**

votes

**0**answers

58 views

### Quantitive strong Szegő limit theorem

Background: Let $\varphi: \mathbb{T} \to \mathbb{C}$ be a complex function on the unit circle admitting a Fourier expansion. Denote its Fourier coefficients by $\widehat{\varphi}_k$: ...

**3**

votes

**1**answer

93 views

### Markov-semigroup sobolev inequality

I have a question about the following definition:
A probability measure $\mu$, such that the Markov semi-group $e^{Lt} \in L(L^2)$ exists and is symmetric, satisfies the Sobolev inequality iff for ...

**2**

votes

**0**answers

106 views

### Can one integrate around a branch-cut?

How meaningful is it to try to integrate around the branch-cut of a function?
For example lets say I have the function $\log(z^2+a^2)$ for $a>0$ and I choose my branch-cuts to be starting at $\pm ...

**1**

vote

**1**answer

70 views

### degree theory for elliptic equations; special solutions

I am interested in using degree theory to examine some semilinear problems.
But instead of just looking for solutions lets assume i am looking for a certain class of solutions; for instance lets ...

**1**

vote

**1**answer

124 views

### Stone-Weierstrass Theorem, polynomial interpolation, divided difference in complex plane

Setting:
Let $\Gamma$ be a simple smooth($C^\infty$) curve in $\mathbb{C}$ parametrized by the injective map $\gamma:[0,1] \to \mathbb{C}$.
Assume $f$ is a function defined on $\Gamma$ s.t. $f$ is ...

**3**

votes

**0**answers

124 views

### polynomial relations between modular functions

$\newcommand{\Qbar}{\overline{\mathbb{Q}}}$
We define a modular function to be a meromorphic modular form of weight 0 for some subgroup (not necessarily congruence) $\Gamma\le\text{SL}_2(\mathbb{Z})$ ...

**13**

votes

**0**answers

198 views

### Is there support for the term “Gelfand algebra”?

In this question Yemon Choi asked whether there is a standard term for Banach algebras for which the submultiplicative law
($\|ab\| \leq \|a\| \|b\|$) is weakened to merely requiring the product to be ...

**5**

votes

**0**answers

24 views

### Basis functions for approximation of a convex function on unit simplex

Consider the unit $D$-simplex $S^D=\left\lbrace (x_0, x_1, \ldots, x_D) \in \mathbb{R}^{D+1} \mid \sum\limits_{i=0}^{D}x_i = 1, x_i \geq 0 \right\rbrace$. I have a bounded, convex function ...

**6**

votes

**1**answer

133 views

### Is every ideal part of an operator ideal?

An operator ideal $\mathfrak J$ is a class of continuous operators. Namely, for every pair of complex Banach spaces, $\mathfrak X,\mathfrak Y$, we have that $\mathfrak J(\mathfrak X,\mathfrak Y) ...

**8**

votes

**0**answers

211 views

### Outline of Generic Separable Banach Spaces don't have a Schauder Basis

So, I know P. Enflo showed that there is a separable Banach Space that doesn't satisfy the approximation property. My professor mentioned during class that in fact generic separable Banach Spaces ...

**2**

votes

**0**answers

63 views

### Regularity of $u$ in $u_t - \Delta \beta(t,u) = f$, can we get $u_t$ is a function?

I'm looking for reference discussing the regularity of the weak solution $u$ to the equation
$$u_t - \Delta \beta(t, u) = f$$
$$u(0) = u_0$$
where $\beta(t,\cdot)$ is a nonlinear function depending ...

**3**

votes

**0**answers

62 views

### Embeddings between weighted Besov spaces

Consider the Besov spaces $B_{p,q}^s(\mathbb{R}^d)$ for parameters $0<p,q\leq \infty$ and $s\in \mathbb{R}$. The weighted Besov space $B_{p,q}^s(\mathbb{R}^d;\mu)$ is defined for $\mu \in ...

**6**

votes

**1**answer

132 views

### Is every $C_0$ semigroup on a Hilbert space automatically a $C_0$ group on a larger space?

Let $\{T(t),t\ge 0\}$ be a $C_0$ semigroup on a Hilbert space $X$, does that exist a larger Hilbert space $Y$ such that $X\subset Y$, and $T(t)$ extend to a $C_0$ group $T'(t)$(so $t<0$ make sense ...

**3**

votes

**2**answers

170 views

### Questions on topologies on space of Radon measures

Consider the space $C_c(\mathbb{R})$ of continuous real-valued functions on $\mathbb{R}$ equipped with the inductive limit topology by $C_c(\mathbb{R}) = \bigcup_{n \in \mathbb{N}} C_c(\mathbb{R}, ...

**3**

votes

**0**answers

44 views

### Steklov averages in PDE: what to do when we have time-dependent elliptic operator

One may have an equation (with boundary conditions omitted below)
$$u_t - Au = f$$
$$u(0)=u_0$$
which has a weak solution $u \in L^2(0,T;V) \cap C([0,T];H)$ in the sense that
$$-\int_0^T \int_\Omega ...

**4**

votes

**1**answer

129 views

### Is the sum of spectral projections a projection?

Let $T$ be a closed operator on a Hilbert space with discrete spectrum. Then for $\{\lambda_1,...\lambda_n\}\in\sigma(T)$ one can define the spectral projections
...

**2**

votes

**0**answers

43 views

### Power-spectrum of quasi-periodic functions

From Scholarpedia:
Quasiperiodic oscillation is an oscillation that can be described by a quasiperiodic function, i.e., a function $F$ of real variable $t$ such that ...

**0**

votes

**1**answer

96 views

### Convex cones: strict separation

Consider two closed convex cones $A$ and $B$ in $\mathbb{R}^3$. Assume that they are convex even without zero vector, i.e. $A \setminus \{0\}$ and $B \setminus \{0\}$ are also convex (it helps to ...

**1**

vote

**0**answers

77 views

### A Question about compactness of an embedding into $L^p$ spaces

Assume $ \Omega \subset \mathbb{R}^N$ is a smooth bounded domain. There is well known Hardy inequality that says
For any $ u \in W_0^{1,2}(\Omega) $, $N\geq3$ we have
$$ \Lambda \int_{\Omega} ...

**11**

votes

**1**answer

246 views

### Are free positive operators equivalent to almost-commuting operators?

Set $A:=C_0((0,1]) * C_0((0,1])$ (the free product C*-algebra), with canonical generators $a,b$ (positive contractions). Does there exists some $\gamma>0$ such that, for any $x,y \in A$ if $x^*x=a$ ...

**5**

votes

**0**answers

122 views

### Is there a decomposition strengthening of the Sauer-Shelah Lemma?

Let $S \subset \{-1,1\}^n$. For a subset $A \subset [n]$ let $P_A$ denote the coordinate projection operator on S; in other words let $P_A(S)$ be the coordinate projection of $S$ onto the coordinates ...

**8**

votes

**3**answers

500 views

### Historical developement of analysis and partial differential equations (especially in the 20th century)

Q: Is there a set of some comprehensive surveys or monographs describing (in
technical detail) the historical development of the various
subareas of analysis and partial differential equations?
...

**5**

votes

**1**answer

186 views

### Power's Theorem for irreducible representations

Let $A_{\alpha}\subset B(H)$ be a bunch of unital C*-algebras acting on a Hilbert space $H$ given together with their character spaces $M(A_{\alpha})$'s. A very nice theorem of Stephen C. Power ...

**2**

votes

**0**answers

59 views

### Constructing an additive set function from on a non-additive one

repost from math.se.
I was trying to generalize some results from measure theory to functions that are "almost" measures but not additive. Then, I thought it could be interesting to do this in a ...

**3**

votes

**1**answer

276 views

### “bornophagic” in cited references

Could anybody come up with a cited reference for the following concept?
A subset $B$ of a topological vector space $X$ is called "bornophagic" if, for every bounded $A\subset X$, there exists ...

**3**

votes

**1**answer

141 views

### Norm on space of metrics

I recently heard a differential geometry talk where the speaker constructed a one-parameter family of metrics $g(t)$ on a smooth manifold and said that $g(t)$ is real analytic in the Banach space ...

**7**

votes

**1**answer

213 views

### Can we recover a topological space from the collection of Borel probability measures living on it?

Let $(X, \tau)$ be a topological space, and $\mathcal{P}(X, \tau)$ be the Borel probability measures living on $X$. Can we recover $(X, \tau)$ from $\mathcal{P}(X, \tau)$?

**4**

votes

**1**answer

63 views

### Getting out a system of linear ODEs by knowing the Magnus expansion

Assume we are given for a transition between two time points $t_0 = 0$ and $t_1$ a matrix relationship, eventually describing the solution of a system of linear with non-constant coefficients,
...

**3**

votes

**0**answers

55 views

### Semi-continuity of the dimension of the null space

Suppose $T_n : X \rightarrow X$ is a sequence of Fredholm operators on a Banach space such that $T_k \rightarrow T$ strongly (in the induced operator norm). If $N_k$ and $N$ denote the dimensions of ...

**9**

votes

**2**answers

238 views

### Traces of operators in nuclear spaces

I am currently reading up on nuclear spaces in Yarchow, "Locally Convex Spaces", but I got confused and don't seem to find my mistake. In said book, theorem 21.5.9 states:
Let $F$ be a nuclear ...

**7**

votes

**1**answer

410 views

### Is a manifold generically real analytic (with generic real analytic metric)?

I have heard it said in some differential geometry talks that "the generic situation in such and such case is real analytic". My question is, is the generic smooth manifold also real analytic in some ...

**7**

votes

**2**answers

234 views

### Real analyticity of solution of heat equation

Consider the heat equation $\partial_t u - \Delta u = 0, u(0, x) = u_0$ on a complete (non-compact) Riemannian manifold $M$, may be even $\mathbb{R}^n$. I was wondering, what are some known sufficient ...

**10**

votes

**1**answer

165 views

### Equivariant Fredholm operators classify equivariant K-theory

Let $\mathcal{F}$ be the space of Fredholm operators on a separable Hilbert space $H$ with the topology induced by the operator norm.
If $X$ is compact,
Atiyah-Jänich proved that
...

**3**

votes

**0**answers

71 views

### How Universal is the Topological $\mathbb K$-algebra $C(\Omega, \mathbb K)$?

For $\Omega$ an arbitrary set the family $C(\Omega, \mathbb K)$ of all functions $\Omega \to \mathbb K$ becomes a complete topological $\mathbb K$-algebra under the topology of uniform convergence. ...

**0**

votes

**0**answers

126 views

### Harmonic function with Dirichlet boundary condition

Consider the domain $D = \{(x_1, x_2,.., x_n) \in \mathbb{R}^n : 0 \leq x_i \leq 1\}$. Let $D$ be divided into two parts $D_1$ and $D_2$ by the hyperplane $H = \{x_1 = \frac{1}{2}\}$. My question is: ...

**4**

votes

**0**answers

171 views

### Osculating ellipsoids

Let $K$ be a given smooth, origin-symmetric, strictly convex body in $n$ dimensional euclidean space. At every point $x$ on the boundary of $K$ there exists an origin-symmetric ellipsoid $E_x$ that ...

**0**

votes

**1**answer

51 views

### Norm of derivative of rank one projector

I asked this question on math.stack but I got no answer, so I try here.
Let $\phi(t)$ be a solution for the nonlinear Schroedinger equation\begin{equation}
...

**6**

votes

**1**answer

121 views

### Existence of a measurable map between metric spaces

Let $X$ and $Y$ be separable complete metric spaces (if necessary, they may be assumed to be compact). Let $R\subset X\times Y$ be a closed subset such that the projection of $R$ to $X$ is onto.
Is ...