**3**

votes

**1**answer

143 views

### The spectral norm of the truncated exponential of a matrix

Let $A$ be a matrix satisfying $A^*+A\leq0$, it can be shown that $\|e^{tA}\|_2\leq1$ for all $t\geq 0$, where $\|\cdot\|_2$ is the spectral norm defined as largest singular value of the matrix.
I am ...

**0**

votes

**1**answer

131 views

### Gaussian bounds on Dirichlet heat kernel

Let $(M, g)$ be a compact Riemannian manifold and let $p(t, x , y)$ be the heat kernel of $M$. Then there exist constants $c, C > 0
$ such that $$\frac{c}{t^{n/2}}
e^{-\frac{1}{4t}d(x, y)^2} \leq ...

**0**

votes

**0**answers

76 views

### Looking for an exposition of a certain theorem of Talagrand

The following is a theorem by Talagrand (as stated here, http://arxiv.org/pdf/1511.08609v1.pdf),
Let $(X, \mu)$ be a probability space. Let $F : X \rightarrow \{0,1\}$
be a family of functions ...

**2**

votes

**1**answer

99 views

### $H^1$-continuity of Laplace's equation with respect to boundary data

Let $\Omega\subset \mathbb{R}^d$ be open and bounded with $C^\infty$ boundary $\partial\Omega$, $\phi\colon \partial\Omega \rightarrow \mathbb{R}$ continuous and $u^\phi$ the solution to Laplace's ...

**0**

votes

**1**answer

83 views

### Construction of orthonormal basis of the Hilbert space $\mathcal{S}^p_{\mathcal{H}}$ of vectors of $p \in \mathbb{N}$ Hilbert Schmidt operators

Let $(e_j)$ be a orthonormal basis (ONB) of a separable Hilbert space $(\mathcal{H}, \langle\cdot, \cdot\rangle_{\mathcal{H}})$ and $(\mathcal{S_H}, \langle\cdot, \cdot\rangle_{\mathcal{S_H}})$ be the ...

**2**

votes

**1**answer

95 views

### Representation of support of Gaussian measure by kernels of no-variance functionals

Let $\mu$ be a Gaussian measure on a separable Banach space $X$ and $q$ is the covariance operator of $\mu$. I am reading a proof for
$$\operatorname {supp} \mu = \bigcap_{q(f, f) = 0} \ker f =: E$$
...

**1**

vote

**0**answers

52 views

### Domain of operator

Let be $\lambda\in C^{*}$. Consider the following operator:
$ T_{\lambda}=-\Delta_{R^{2}}++\frac{\lambda^{2} }{4} (x^{2}+y^{2})+i\lambda N$,
where
$N=(x \frac{d }{dy} -y \frac{d }{dx})$ ,
...

**0**

votes

**1**answer

56 views

### characterization of normality by selection theorem

The Urysohn's extension theorem states that a space $X$ is normal iff every continuous function $f:A \rightarrow \mathbb{R}$, with $A$ a closed subset of $X$, can be extended to a continuous function $...

**7**

votes

**3**answers

348 views

### $C^1$-functions on Banach spaces

For Banach spaces $X,Y$ and an open subset $U$ of $X$ a function $f:U\to Y$ is $C^1$ if $U\to L(X,Y)$, $x\to f'(x)$ is continuous where, by definition, the derivative $f'(x)$ is a continuous linear ...

**6**

votes

**0**answers

107 views

### Compactum of Banach algebra

What is an example of Banach algebra $A$ and a left non-trivial closed ideal $I$ with all of following properties?
There exists a bounded approximate identity in $I$ for $I$ i.e., a net $\{e_\alpha\}...

**3**

votes

**2**answers

451 views

### What is a generalized limit?

In the proof of Lemma 1.3 in the paper "The ideal structure of a groupoid C* algebra", Journal of Operator Theory 1991 by Jean Renault, I found the notion of a generalized limit of a net without any ...

**2**

votes

**2**answers

90 views

### Continuous upper envelope of upper semicontinuous function

Let $u$ be a upper semicontinuous function on a compact set $K$ in $\mathbb R^d$. Define a space of continuous function dominating $u$ by
$$A = \{\phi \in C(K): \phi \ge u\}.$$
[Q.] Is the following ...

**0**

votes

**1**answer

133 views

### Reproducing Kernel Hilbert Spaces with positive kernels

In my research I'm dealing with the following question.
Let $E$ set, $K:E \times E \to \mathbb R$ a positive type function, and $\mathcal H := \mathcal H(1+K)$ (in the sense of the Moore theorem). ...

**8**

votes

**1**answer

257 views

### Interpolation between $L_1^0$ and $L_2^0$

Let $L_p^0$ be the mean zero functions in $L_p(G)$, where, say, $G$ is an infinite compact group endowed with normalized Haar measure. Suppose that $T$ is a bounded linear operator on $L_1$ that maps $...

**3**

votes

**2**answers

114 views

### Compact embeddings between vector-valued Holder spaces

Let $S\subset\mathbb{R}^n$ be compact, $\alpha,\beta\in(0,1)$, $\alpha>\beta$ and $X$ a Banach space.
Under which assumptions on $X$ is the embedding
$$C^\alpha(S;X)\subset C^\beta(S;X)$$ compact?
...

**6**

votes

**1**answer

255 views

### finding subharmonic function on the ball with both Dirichlet and Neumann boundaries prescribed

I have a question which looks like some sort of inverse problem.
Let $B$ denote the unit ball centered at the origin in $R^N$ (take $N \ge 2$).
Given any $h:\partial B \rightarrow (0,\infty)$ (smooth) ...

**3**

votes

**0**answers

98 views

### quasi-nilpotent part of a dual operator

Definitions and notation.
Let $X$ be a complex Banach space and $T\in\mathcal{L}(X)$ a continuous linear operator on $X$. We define the quasi-nilpotent part of $T$ as
\begin{equation*}H_0(T):=\left\{...

**3**

votes

**1**answer

217 views

### A unital algebra with norm and continuous multiplication is a Banach algebra

In my research in functional analysis, I came across this rather simple result:
For a normed algebra A over $ \mathbb{C} $ with unit, in which multiplication , right and left are both continuous w....

**0**

votes

**0**answers

85 views

### On the transitivity of the action of the unitary group

Let $H$ be a complete inner product space over either real or complex numbers. If $H$ is complete, for two finite sets of vectors $\left\{e_i\right\}_{i\in I}$ and $\left\{f_i\right\}_{i\in I}$ there ...

**5**

votes

**1**answer

157 views

### Convergence of functionals on compact projections on a separable Hilbert space

Let $H$ be a separable Hilbert space over $\mathbb{C}$, say $\ell_2$ for simplicity. Let $\mathcal{K}(H)$ denote the space of all compact operators on $H$ and $\mathcal{P}(H)$ the set of all finite ...

**5**

votes

**3**answers

174 views

### Morrey's inequality for Sobolev spaces of fractional order

Let $H^s(\mathbb T)$, where $s\in\mathbb R$, be the space of $2\pi$-periodic functions (or distributions), $u(x)=\sum_{k\in\mathbb Z}\hat u_k\,\mathrm{e}^{ikx}$, such that
$$
\|u\|_{H^s}^2=\sum_{k\...

**5**

votes

**0**answers

103 views

### Generalized singular numbers and the Haagerup $L^p$ spaces

Let $M$ be a semi-finite von Neumann algebra with a trace $\tau$.Let $S(M)$ be the algebra of all affiliated operators measurable with respect to $M$.
The $L^p$ norm on $M$ is given by
\begin{...

**0**

votes

**0**answers

110 views

### Smooth Approximation of Indicator Function of Convex Sets in $\mathbb{R}^n$

Let $( \mathbb{R}^n, \| \cdot \|_P)$ be the $n$-dimensional Euclidean space equipped with $\ell_p$-norm $\| \cdot \|_p$ for some $p\in [1, + \infty]$. Let $A$ be a convex set in $\mathbb{R}^n$ and ...

**0**

votes

**0**answers

109 views

### A topology on the product space of Euclidean space and smooth functions space

I'd like to know if there is a well-known topology on the space $S := \mathbb R \times C^\infty(\mathbb R)$, such that $(x_n, f_n) \to (x, f)$ in $S$ with respect the topology is equivalent to
$$(x_n,...

**3**

votes

**1**answer

106 views

### almost invariant half space for a dual of a restricted operator

Let $X$ be an infinite-dimensional Banach space and $T\in\mathcal{L}(X)$ a continuous linear operator acting on $X$. A closed subspace $Y$ of $X$ is said to be an almost-invariant halfspace (...

**19**

votes

**1**answer

438 views

### What is the Banach-Mazur distance between $\ell_\infty$ and $L_\infty$?

Given Banach spaces $X$ and $Y$, the Banach-Mazur distance between $X$ and $Y$ is defined as
$$ d(X,Y) = \inf\{ \|\varphi\|\|\varphi^{-1}\| : \varphi\colon X\to Y \text{ isomorphism} \}.
$$
We ...

**5**

votes

**0**answers

82 views

### Relationship between the Itō formula for a Q-Wiener process and the Itō formula for a cylindrical Wiener process. A question on the trace term

Remark: Even when this question is about stochastic PDEs, it can be answered by someone who has no knowledge about probability theory or PDEs.
I'm reading Stochastic Differential Equations in ...

**1**

vote

**0**answers

38 views

### Minimization over function space [closed]

This is the first time I encounter a problem where I need to minimize a function defined in a function space. Define the function space $A=\{\theta:\mathbb{R}^3 \rightarrow\mathbb{R}|\ \theta\ \text{...

**10**

votes

**1**answer

257 views

### Sequence of nested sets in $[0, 1]$ with bound on gaps

What is the best possible $\epsilon$ and sequence $(a_n)_{n = 1}^\infty \subset [0, 1]$ we can find such that
$$
d_{N}:=\sup_{x\in [0,1]}\inf_{n=1}^N |x-a_n|\leq \frac{1+\epsilon}{N}
$$
for all $N\in ...

**0**

votes

**1**answer

89 views

### Some questions related to the unitary operators

A unitary operator is a surjective linear operator between complex inner product spaces, which preserves the inner product.
What is the name of the analogue for the real case? Orthogonal operator ...

**1**

vote

**1**answer

52 views

### Name for a uniform local boundedness property of a function

I am working with a function $f : \mathbb{R}^N \to \mathbb{R}$ having the property that for every $R > 0$, there exists $M > 0$ such that if $x, y \in \mathbb{R}^N$ and $\vert x - y \vert \le R$,...

**1**

vote

**1**answer

148 views

### Lipschitz functions and $W^{1,\infty}$

I am not sure my question is research type, but I am sure I can find here an answer.
So we have the following theorem in the book of Lawrence Evans in PDE, 2nd edition pages 294-295:
Theorem 4 (...

**5**

votes

**0**answers

174 views

### Extension operators for topological vector space-valued smooth functions on closed sets

There are many known results about extension theorems for real-valued functions on closed sets, with varying levels of differentiability and so on, all very roughly following the Whitney approach. For ...

**8**

votes

**1**answer

196 views

### Davis, Figiel, Johnson and Pełczyński factorization through spaces with a bases

Davis, Figiel, Johnson and Pełczyński's Factorization Theorem states that each weakly compact operator $T:X \to Y$ between Banach spaces $X$ and $Y$ factors through a reflexive Banach space $Z$. In ...

**3**

votes

**1**answer

120 views

### $\nu$ is a Dirac delta

Let $X$ be an locally compact Hausdorff space and $m$ a positive regular Borel probability measure where $m(Y)$ is 0 or 1 for any Borel set of $X$. Does it necessarily follow that $m$ is a Dirac delta?...

**4**

votes

**1**answer

179 views

### Density argument with Schwartz functions?

I was wondering whether the Schwartz functions are also dense in
$$\{f \in L^2(\mathbb{R}^n); \int_{\mathbb{R}^n} |x|^2 |f(x)|^2 dx + \int_{\mathbb{R}^n}|\xi|^2 |\hat{f}(\xi)|^2 d \xi < \infty\}$$
...

**0**

votes

**2**answers

121 views

### Strictly convex norm on an infinite-dimensional Hilbert space

Question: Consider the Hilbert space $ H=\ell^2(\mathbb{Z})$. Let ${\rm L}(H)$ be the set of all linear
operators on $H$ onto itself. Find a norm $N$ and a domain $DN\subset {\rm L}(H)$ for $N$ ...

**7**

votes

**1**answer

277 views

### Level sets of weakly differentiable funtions

Let $C$ be a $C^1$ hypersurface in $R^n$ and let $u \in C^1(R^n)$. Suppose
$$\nabla u(x) \cdot \eta(x)=|\nabla u| \ \ \forall x\in C$$
where $\eta(x)$ is the normal vector to $C$ at $x$ ($\nabla u$ ...

**0**

votes

**0**answers

75 views

### compact injection

Put:
$D=\{u\in L^{2}(\mathbb{R}^{n})| x^{\alpha}D^{\beta}_{x}u\in L^{2}(\mathbb{R}^{n}), \forall \alpha,\beta \in \mathbb{N}^{m}:|\alpha|+|\beta|\leq 2 \}$
Why $D \hookrightarrow L^{2}(\mathbb{R}^{n}...

**3**

votes

**1**answer

107 views

### On the complemented subspaces of $L_{p}(p>2)$

M.I. Kadec and A. Pełczyński proved that if $E$ is a subspace of $L_{p}(p>2)$ isomorphic to $l_{2}$, then $E$ is complemented in $L_{p}$. My question is:
Is there a constant $C_{p}$ depending only ...

**0**

votes

**0**answers

47 views

### stokes-equation estimate in $L^2(0,T,L^\frac{3}{2}(\Omega))$

I'm interested in the default Stokes-system, e.g.
$ \frac{\partial}{\partial t} u - \Delta u + \nabla p = f \; \text{in} \; \Omega$
$ \nabla \cdot u = 0 \; \text{in} \; \Omega$
$ u = 0 \; \text{on} ...

**3**

votes

**1**answer

150 views

### Convergence in trace

Let $A$ and $B$ be two self-adjoint, positive definite Compact operators on a Hilbert space $\mathcal{H}$. Further, let $A$ be trace class. Define $C_n \equiv AB(\frac{I}{n} + BAB)^{-1}$. Does $\frac{...

**3**

votes

**0**answers

102 views

### Ideals of $L^1(G)$

I want to study the closed ideal structure of $L^1(G)$. Is there a good paper or book which characterizes closed ideals and maximal ideals of $L^1(G)$?

**0**

votes

**0**answers

82 views

### An integral form of sum $\sum_{n\geq 0} \frac{f^{(n)}(0) g^{(n)}(0)}{(n!)^2}$ for two real analytic at 0 functions? Fourier|Taylor series parallels

Thinking of parallels between Fourier series and Taylor series, you might find out that the integral $\frac 1 {2 \pi}\int\limits_0^{2 \pi} f(e^{it})\,\overline{g(e^{it})} \,dt=\langle f,\, g\rangle$ ...

**4**

votes

**0**answers

160 views

### A metric on $Homeo([0,1])$

One can define a metric on the set $Homeo([0,1])$ by setting $dist(f,g) =$ measure of support of $f^{-1}g$, that is the measure of the set of points $x$ where $f(x)\ne g(x)$. Was this metric studied ...

**2**

votes

**0**answers

134 views

### Dual space of vector fields with null divergence

Let us consider $\mathscr D(\mathbb R^3;\mathbb R^3)$ the space of smooth compactly supported vector fields in $\mathbb R^3$ and let us define
$\widetilde{\mathscr D}=\mathscr D(\mathbb R^3;\mathbb R^...

**1**

vote

**1**answer

100 views

### Basis for the Orlicz Space

Does the Orlicz space (https://en.wikipedia.org/wiki/Birnbaum-Orlicz_space) has unconditional Schauder basis? Can we find such a orthonormal basis like the Hermitian polynomials in $L^2$?

**3**

votes

**1**answer

96 views

### busby invariant of extensions of $C^*$-algebras

I have a question of an explicit example of a busby invariant of a extension, which can be found in Blackadars book "K-theory for Operator Algebras".
Let $0\to B\to E\to A\to 0$ be a short exact ...

**3**

votes

**0**answers

51 views

### Real interpolation of weighted Sobolev spaces with different weights

Let $\Omega \subseteq \mathbb{R}^n$ be open and let $w_0$ and $w_1$ be measurable and almost everywhere positive and finite functions defined on $\Omega$. Let $L^2_{w_0}(\Omega)$ be the weighted ...

**2**

votes

**1**answer

72 views

### Choi type matrix condition for completely positivity on a certain operator system spanned by some unitaries

Let $B_1$ and $B_2$ be $C^*$-algebras. Let $U_1, \ldots, U_n$ be some unitaries in $B_1.$ We consider the operator system $S$ spanned by $U_iU_j^*.$
Let $\phi: S \rightarrow B_2.$
Given that the ...