Banach spaces, function spaces, real functions, integral transforms, theory of distributions, measure theory.

learn more… | top users | synonyms (1)

3
votes
1answer
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
1answer
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
0answers
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
1answer
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
1answer
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
1answer
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
0answers
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
1answer
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
3answers
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
0answers
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
2answers
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
2answers
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
1answer
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
1answer
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
2answers
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
1answer
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
0answers
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
1answer
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
0answers
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
1answer
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
3answers
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
0answers
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
0answers
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
0answers
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
1answer
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
1answer
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
0answers
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
0answers
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
1answer
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
1answer
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
1answer
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
1answer
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
0answers
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
1answer
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
1answer
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
1answer
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
2answers
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
1answer
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
0answers
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
1answer
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
0answers
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
1answer
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
0answers
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
0answers
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
0answers
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
0answers
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
1answer
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
1answer
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
0answers
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
1answer
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 ...