**5**

votes

**4**answers

2k views

### Does the derivative of log have a Dirac delta term?

Dirac writes down the following formula on page 61 of his "Principles of quantum mechanics":
$\frac{d}{dx}\log x = \frac{1}{x} -i\pi\delta(x)$, see http://adsabs.harvard.edu/abs/1947pqm..book.....D ...

**0**

votes

**0**answers

29 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} ...

**4**

votes

**1**answer

248 views

### Multivariate Maximal Hilbert Transform

One way to define the maximal Hilbert transform of a function, $f$, is by
$$\mathcal{H}[f](x):=\underset{\varepsilon>0}{\sup}\;\left|\int_{|x-t|\geq\varepsilon}\dfrac{f(t)}{x-t}dt\right|,\quad ...

**4**

votes

**2**answers

200 views

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

What are some comprehensive surveys or monographs that describe (in
enough technical detail) the historical development of the various
subareas of analysis and partial differential equations?
...

**3**

votes

**1**answer

120 views

### A family of convex bodies in Banach-Mazur position

Let $\{K_i\}$ be a family of smooth, origin-symmetric, strictly convex bodies such that $K_i$ converge in the Hausdorff distance (or you may assume $\partial K_i\to \partial K$ smoothly, in the sense ...

**0**

votes

**1**answer

259 views

### Condition to obtain a not compact embedding

I have the two spaces $W_0^{1,p}$ with the norme $$||u||^p=||u||^p_{L^p}+||\nabla u||^p_{L^p}$$ and $$L^{p^*}_{\alpha}=\{ u~\text{measurable}, \int_{\Omega} (|x|^{\alpha} u(x)|)^{p^*} dx<\infty\}$$ ...

**4**

votes

**0**answers

36 views

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

Set $A:=C_0((0,1]) * C((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$ ...

**3**

votes

**0**answers

48 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 ...

**9**

votes

**2**answers

231 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 ...

**1**

vote

**0**answers

137 views

### Constructing special holomorphic functions

I would appreciate any help with this question as I am not sure how I should approach it.
Suppose $ D$ is the unit disk and that $A(x)$ is a positive continuous function on $D$.
Does there exist a ...

**8**

votes

**1**answer

154 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
...

**2**

votes

**0**answers

178 views

### One parameter family of elliptic equations

Consider the following 2nd order nonlinear elliptic equation on $\mathbb{R}^n$: $$-\Delta \varphi_\varepsilon + \sum_i a_i(x, \varepsilon)\partial_i \varphi_\varepsilon + \varphi_\varepsilon = ...

**3**

votes

**0**answers

65 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 ...

**6**

votes

**1**answer

195 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)$?

**2**

votes

**1**answer

113 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 ...

**3**

votes

**1**answer

266 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 ...

**4**

votes

**1**answer

55 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,
...

**7**

votes

**2**answers

206 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 ...

**3**

votes

**0**answers

53 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 ...

**5**

votes

**1**answer

352 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 ...

**4**

votes

**1**answer

110 views

### Mixed norm estimate for the heat equation

Consider the inhomogeneous linear heat equation
$$\partial_tu-\Delta u=F$$
on $\mathbb R^n\times [0,1]$ (say) with zero initial data. Assume $F$ is very nice (say Schwarz), so that we have a nice ...

**2**

votes

**0**answers

128 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 ...

**7**

votes

**1**answer

202 views

### Derive an orthonormal system by Riesz basis $\{g(\cdot-\lambda_k),\ \lambda_k\in\mathbb R, \ k\in\mathbb Z\}$

Let $\{g(\cdot-k),k\in\mathbb Z\}$ be a Riesz basis, and let $\varphi\in L^2(\mathbb R)$ be a function defined by its Fourier transform
$$\hat{\varphi}(\xi)=\frac{\hat{g}(\xi)}{\Gamma(\xi)},$$
where
...

**2**

votes

**2**answers

424 views

### Local coordinates on (infinite dimensional) Lie groups, factorization of Riemann zeta functions

Given a (finite dimensional) Lie group $G$ (real $k=\mathbb{R}$ or complex $k=\mathbb{C}$) and its Lie algebra $\mathfrak{g}$, one can prove (a basis $B=(b_i)_{1\leq i\leq n}$ of $\mathfrak{g}$ being ...

**0**

votes

**0**answers

109 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: ...

**3**

votes

**0**answers

62 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. ...

**2**

votes

**1**answer

74 views

### Semi-simple Banach algebra

Is there an example of an unital commutative semi-simple Banach algebra which it is not amenable?

**0**

votes

**1**answer

39 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}
...

**21**

votes

**1**answer

4k views

### L1 distance between gaussian measures

L1 distance between gaussian measures: Definition
Let $P_1$ and $P_0$ be two gaussian measures on $\mathbb{R}^p$ with respective "mean,Variance" $m_1,C_1$ and $m_0,C_0$ (I assume matrices have full ...

**3**

votes

**1**answer

63 views

### Restriction of a semigroup to a form domain

Say, we have a Hilbert space $H$ with a semibounded self-adjoint
operator $A:D(A)\to H$ generating a strongly continuous semigroup
$T(t):H\to H$. Is it possible to restrict $T(t)$ to a form domain of ...

**5**

votes

**3**answers

239 views

### A space of distributions vanishing on the boundary

The revised question
After more reflection on the problem, I might have found the answer by myself. Let $U$ be an open subset of $M$, irrespective of whether it has a boundary or not. Let
$$\mathcal ...

**6**

votes

**1**answer

113 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 ...

**7**

votes

**2**answers

251 views

### Rellich's theorem from compact resolvent

On a compact Riemannian manifold, we know that the Laplacian $\Delta$ has compact resolvent. In proving this, one typical way is to use Rellich's theorem about the compact embedding of $H^1(M)$ into ...

**2**

votes

**1**answer

217 views

### Rank of a sequence of covariance matrices

Let $X_i$ ($i=1, \dots$) be an orthonormal basis for $L^2(\Omega, \mathbb P)$. In particular, it holds that
$$\mathbb E[X_iX_j] = \delta_{ij}.$$
Now take $Z\in L^2(\Omega, \mathbb P)$ and define ...

**2**

votes

**1**answer

56 views

### Fractional Sobolev spaces on the circle with a Littlewood-Paley characterisation

Fractional Sobolev space $H^s_p(\mathbb R), s>0, 1<p<\infty$ is a space of tempered distributions $f$ that satisfy $F^{-1}((1+|\xi|^2)^{s/2} F(f)) \in L_p(\mathbb R)$.
Here, $F$ denotes the ...

**7**

votes

**1**answer

224 views

### What is $\hat{A}=\{[\pi]:\pi$ is a irreducible representation of $A$} ( $A$ is a $C^*$-algebra)?

Let $A=\{f:[0,1]\to M_2(\mathbb{C}): $f continuous and $ f(0)=\begin{pmatrix} f_{11}(0) & 0 \\ 0 & f_{22}(0) \end{pmatrix}\}$ be a $C^*$-algebra with pointwise multiplication, involutions and ...

**4**

votes

**1**answer

374 views

### Weak topology on a pre-Hilbert Space

Since there was essentially no answers on my previous question, I will ask a partial case of it, which is very easy to state.
Let $\left(X,\left<\cdot,\cdot\right>\right)$ be an inner product ...

**11**

votes

**2**answers

195 views

### Existence of closed operators with arbitrary dense domain of a given banach space

Consider any Banach space $X$, and let $Y$ be any dense subspace, then does it necessarily exist a closed linear operator $T$ defined on $X$, such that the domain of $T$ is exactly $Y$, i.e., ...

**1**

vote

**0**answers

59 views

### An operator factoring through a Banach space containing no copy of $l_{1}$

Is there an operator $T:X\rightarrow Y$ that factors through a Banach space $Z$ containing no complemented copy of $l_{1}$, but does not factor through any Banach space $W$ containg no copy of ...

**4**

votes

**1**answer

171 views

### Zeta-Determinant Theorem

Recently, someone asked on MO about lecture notes from Graeme Segal's "Stanford lectures" on TQFT, and the answer was to check here.
When scrolling over the notes, I stumpled of Prop. 2.8.2 in ...

**3**

votes

**1**answer

154 views

### Fractional Sobolev spaces and interpolation in unbounded Lipschitz domains

I am not really familiar with the topic, thus I am looking for some references about the following problem.
Let $s>0$ be a positive real and let $p\in(1,+\infty)$. We define the Bessel Potential ...

**7**

votes

**0**answers

190 views

### What is the name for a Banach space property closed under ultraproducts?

In Banach space theory, a super-property is a property of a Banach space that is preserved under ultrapowers. (Update (2015-09-28): The property must also be closed under isometric embeddings.) ...

**2**

votes

**2**answers

248 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 ...

**3**

votes

**0**answers

138 views

### Finding density of Haar measure relative to the Liouville volume measure on $\frac{G^{\mathbb{C}}}{P}$

Let $G$ be a connected compact Lie group and $G^{\mathbb{C}}$ be the complexification of the Lie group $G$ then we know that by polar decomposition we can write $G^{\mathbb{C}}\cong G\times ...

**9**

votes

**1**answer

89 views

### Approximation via finite rank Cameron-Martin projections

Let $(W, \|\cdot\|_W)$ be a real separable Banach space equipped with
a non-degenerate Gaussian Borel measure $\mu$. Let $H \subset W$ be
the corresponding Cameron-Martin Hilbert space (also known as ...

**2**

votes

**0**answers

54 views

### Green's functions on linear subspaces and relations to boundary conditions

Consider the Laplacian $-\Delta$ on (in a suitable sense) twice differentiable functions subject to homogeneous Dirichlet boundary conditions $\mathscr{H}=\{f : f(0)=f(1)=0\}$. We can identify the ...

**3**

votes

**2**answers

260 views

### Martingale-cotype vs cotype on super-reflexive spaces

I'm have difficultly nailing down the direction of some implications. For $2 \leq q < \infty$, there are (at least) two ways to say that a Banach space $B$ has "cotype $q$".
$B$ has cotype q.
...

**8**

votes

**1**answer

278 views

### Why should the map $-\Delta^{-1}$ be continuous?

I'm reading an article by Wei-Ming Ni about the existence of solutions for the elliptic problem $$\Delta u +|x|^\lambda |u|^\tau =0,$$
in the unit ball $\Omega$ in dimension $>2$. I'm looking for ...

**3**

votes

**1**answer

106 views

### Sum of two parts of a continuous stochastic process

Let $X$ be a centered continuous stochastic process which is square integrable on $[0,2]\times \Omega$ and the basis of $L^2(0,2)$ is $\{e_i\}$. By using Karhunen-Leove Theorem one can write for all ...

**1**

vote

**0**answers

42 views

### Zeros of functions constituting a Riesz-basis for the Paley-Wiener space

I have a short question which first requires some slightly elaborate definitions:
Let $(e_n)$ be a Riesz-basis for a Hilbert space $\mathcal{H}$ with biorthogonal basis $(g_n)$, i.e. $\langle e_m, ...