**1**

vote

**1**answer

62 views

### Some integrals with respect to a Gaussian measure on a Hilbert space

Assume that $(H,\langle\cdot,\cdot\rangle)$ is a real separable Hilbert space equipped with a Gaussian measure $\mu$ with a mean $m$ and a covariance operator $C$. Let $x\in H$ be a fixed vector. What ...

**3**

votes

**0**answers

39 views

### Global Euclidean Carleman Estimate with a linear phase

I am interested in deriving the following global Carleman estimate which I think should hold :
$ \| e^{\tau \phi} \triangle u \|_{L_{\delta}^2({\mathbb{R^3})}}> C \tau \| e^{\tau \phi} u \|_{L^2_{\...

**3**

votes

**1**answer

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

**2**

votes

**1**answer

75 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$$
...

**4**

votes

**0**answers

46 views

### I have an embedding $\iota$ between two Hilbert spaces and want to know if $\iota\iota^\ast$ is something simple like an orthogonal projection

I'm reading A Concise Course on Stochastic Partial Differential Equations. In Proposition 2.5.2 the authors define the notion of a cylindrical $Q$-Wiener process $W$. It turns out that $W$ is just a $...

**10**

votes

**6**answers

689 views

### Identities and inequalities in analysis and probability

Usually, at the heart of a good limit theorem in probability theory is at least one good inequality – because, in applications, a topological neighborhood is usually defined by inequalities. Of course,...

**5**

votes

**1**answer

306 views

### Renorming a Banach space to make projections contractive

Let $X$ be a Banach space and $P$ be a projection in $B(X)$. Then $X$ can be renormed so that $P$ has norm $1$.
Can the same be done for a family of projections? That is, given finitely many ...

**0**

votes

**0**answers

54 views

### why $\varphi''\in L^{2}(R)$ [on hold]

I have the following question: Let $T_{c}$ be an unbounded operator with domain $D(T_{c})=\{u\in L^{2}(R), T_{c}(u)\in L^{2}(R)\}$.
If $\forall \varphi \in \mathcal{C}^{\infty}_{0}(R): \|\varphi''\...

**3**

votes

**1**answer

86 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 (...

**0**

votes

**0**answers

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

**0**

votes

**1**answer

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

**1**

vote

**1**answer

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

**9**

votes

**2**answers

323 views

### Traces of operators in nuclear spaces

I am currently reading up on nuclear spaces in Jarchow, "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 ...

**0**

votes

**0**answers

65 views

### Is the Lebesgue measure zero for the discontinuous set of a semicontinuous function? [migrated]

[Q.]
Is there a semicontinuous function, which has its discontinuous set with non-zero measure?
Remark:
Given a semicontinuous function, the set of all discontinuous points may be uncountable, for ...

**7**

votes

**3**answers

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

**-7**

votes

**0**answers

60 views

### W^{∞,p}(IRⁿ) are separable space for 1<p<∞ [on hold]

How can prove that the space W^{∞,p}(IRⁿ) are separable space

**0**

votes

**0**answers

66 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

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

**-1**

votes

**0**answers

80 views

### Open set in $\mathbb{C}\times \mathbb{C}$ [closed]

Let $T_{z}, z\in\mathbb{C}$ an unbounded operator with domain $D$ subspace of a Hilbert space $H$ onto $H$, We assume $T_{z}$ holomorphic in $z$.
Let $R(\xi,z)=(T_{z}-\xi)^{-1}$ its resolvent where $\...

**2**

votes

**1**answer

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

**17**

votes

**2**answers

720 views

### Meager subspaces of a Banach space and weak-* convergence

I previously asked a version of this question on Math.SE, but didn't receive an answer. (But there is a bounty there if you want to claim it!)
Let $X$ be a Banach space. (If it helps, feel free to ...

**0**

votes

**0**answers

24 views

### Convergence of series in inclomplete normed vector space [migrated]

I tried to prove that in non-Banach normed vector space always exists the series that converges absolutely but do not converges.
The idea was to consider Cauchy sequence that don't converges and try ...

**0**

votes

**1**answer

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

**35**

votes

**8**answers

4k views

### Motivation for and history of pseudo-differential operators

Suppose you start from partial differential equations and functional analysis (on $\mathbb R^n$ and on real manifolds). Which prominent example problems lead you to work with pseudo-differential ...

**1**

vote

**1**answer

163 views

### analytic continuation argument

In "Pseudo-spectra, the harmonic oscillator and
complex resonances" (login required), the author says
Sections $2$ and $3$ of this paper concern the operator $Hf(x)=(-\frac{d^{2}}{dx^{2}}+cx^{2})...

**0**

votes

**1**answer

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

**1**

vote

**0**answers

46 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})$ ,
...

**3**

votes

**2**answers

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

**8**

votes

**1**answer

238 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 $...

**2**

votes

**2**answers

322 views

### Elements of Minimal Norm on an affine subset of a Banach Space

Let $v_1$ and $v_2$ be two elements of a real Banach space $(X,\lVert\;\rVert)$, each of unit norm. Consider the one-dimensional affine subspace $v_1+tv_2$ for real $t$. Is there a general formula for ...

**1**

vote

**1**answer

73 views

### Normalized tight frame that is not orthonormal

Does anybody know an example of a normalized tight frame (wavelet frame) that is not an orthonormal frame of $L^2( \mathbb{R})$?
So in other words $\{\psi_{j,k}(x):=2^{j/2}\,\psi(2^j\,x-k)\}_{j,k \in ...

**3**

votes

**2**answers

181 views

### On the Lorentz sequence space $d(w,1)$

I am interested in examples of dual Banach spaces $X$ with the Schur property (weakly convergent sequences in $X$ are norm convergent) like $\ell_1$.
The Lorentz spaces $d(w,1)$ [Lindenstrauss and ...

**10**

votes

**0**answers

292 views

### What is known about the Yang-Mills stratification over 3-manifolds?

Rade proved in his thesis (Crelle's Journal, 1992, available here: digizeitschriften.de/dms/toc/?PPN=PPN243919689) that if $E\rightarrow M$ is a $U(n)$-bundle over a 3-manifold, then the gradient flow ...

**0**

votes

**1**answer

264 views

### solution uniqueness of non-linear Fredholm equations

the equation is
$F(x)=G\left(\int k(x,y)f(y)dy\right)$ $(*)$
where $f(x)=\frac{dF(x)}{dx}$ is unknown and it's required to be non-negative. With integration by parts we'll have the form of a non-...

**0**

votes

**0**answers

43 views

### Decomposition of Spectrum in Banach spaces [closed]

We know that if X is a banach space and T be an element in Banach Algebra B(X) then the union of residual spectrum continuous spectrum and point spectrum is spectrum of Banach algebra i.e σ(T) is the ...

**4**

votes

**1**answer

410 views

### Cameron Martin space

I have seen two definitions of Cameron Martin space of a Gaussian measure $\nu$ on a Banach space (say $W$) and am unable to establish their equivalence. Any help would be appreciated.
1) It is the ...

**5**

votes

**0**answers

102 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\}...

**5**

votes

**1**answer

95 views

### Density of the linear span of products of harmonic polymomials

Let $\mathcal{H}$ denote the space of all harmonic polynomials with complex coefficients in $n$ variables $x_1,\ldots, x_n$ in $\mathbb{R}^n$. I'm trying to show that the linear span of the set $\...

**2**

votes

**2**answers

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

**3**

votes

**0**answers

96 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\{...

**5**

votes

**1**answer

182 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) ...

**1**

vote

**2**answers

223 views

### Reference request: $\mathcal{C}^\infty_c(M)$ is a topological vector space with the Whitney topology

Let $M$ be a smooth manifold and let $\mathcal{C}^\infty(M)$ be the space of all smooth real valued functions with the (strong) Whitney topology. This space is a topological vector space iff $M$ is ...

**8**

votes

**1**answer

293 views

### Are smooth solutions to a PDE dense in the space of $L^2$ solutions to the PDE?

Let's say I have a linear differential operator $P$ with smooth coefficients between bundles $E$ and $F$ over a smooth compact manifold $X$ with smooth boundary. Let's consider $P$ as an operator ...

**-1**

votes

**0**answers

12 views

### Continuous function on compact topological space [migrated]

I came across the following statement.
Let $X$ a uncountable set, $p \notin X$ and $X^* = X \cup \{p\}$. Let $$\mathcal O := \{O \subseteq X^* \mid O \subseteq X \text{ or } p \in O \text{ and } X \...

**1**

vote

**0**answers

40 views

### Transformation inverting distances between two sets of diameter 1

Let $S_1, S_2 \subseteq \mathbb{R}^2$ be two disjoint sets of points in the plane with $\texttt{diam}(S_1) \leq 1$ and $\texttt{diam}(S_1) \leq 1$.
Does there always exist a transformation $f: S_1 \...

**3**

votes

**2**answers

111 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?
...

**-1**

votes

**0**answers

28 views

### Problem regarding continuous embeddings [migrated]

Given the following exercise:
We define $$C^1_c(\mathbb R_+) := \{f \in C^1(\mathbb R_+): \{x \in (\mathbb R_+) : f(x) \neq 0\} \text{ compact in } (\mathbb R_+,|\cdot|)\}$$
and for all $f \in C^...

**4**

votes

**3**answers

156 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\...