All Questions
10,935 questions
8
votes
3
answers
831
views
Is every face exposed if all extreme points are exposed?
Let $C$ be a non-empty compact convex subset of ${\mathbb R}^d$ such that every extreme point of $C$ is an exposed point of $C$. Does it follow from this that every face of $C$ is an exposed face?
- 391
4
votes
0
answers
126
views
Darboux integral for non-polynomial ODEs
Given a polynomial ODE in $n$-dimensions of maximal degree $d$
$$
\dot{x}_j=f_j(x)=\sum_{i_1,\dots,i_n=1}^d a_{i_1,\dots,i_n}^j x_1^{i_1}\dots x_n^{i_n} \quad \forall j=1,\ldots,n
$$
we define ...
- 247
1
vote
1
answer
88
views
Approximating a family of measurable functions
Let $X$ be a set of $N>0$ elements (with the counting measure) and consider a family of measurable functions $f_i:X\to [0,1]$, for $i\in \mathbb N$.
Any function $f_i$ can be seen as a point in the ...
- 321
1
vote
0
answers
126
views
Artin approximation for Banach rings
Let $B$ be an integral Banach ring, meaning it is complete with respect to a norm and it is an integral domain. Let $F$ be its fraction field. Let $\widehat{F}$ be the completion of $F$ with respect ...
- 39
3
votes
1
answer
148
views
positive functional on Banach *-algebra (with appro. identity) is continuous?
Theorem (N. Th.Varopoulos): Let $\mathcal{B}$ be a Banach *-algebra
with a bounded approximate identity. Then every positive functional $T$ on $\mathcal{B}$ is continuous.
I think this theorem is ...
- 325
2
votes
1
answer
107
views
If $b\in C^1(E, \mathbb{R})$ and $b'$ is compact, then $b$ is weakly continuous — a reference request
While reading the well known book Minimax Methods in Critical Point Theory with Applications to Differential Equations by Paul Rabinowitz, in the proof of a generalisation of the Mountain Pass Theorem ...
3
votes
0
answers
170
views
Smoothness of height in Manin conjecture
Set up: Let $K$ be a number field. Let $M_K$ be the places of $K$, and define the standard height on $\mathbb{P}^n(K)$ as
$$H([x_0, \cdots, x_n]) = \prod_{v \in M_K} \max\{|x_0|_v, \cdots, |x_n|_v\}$$
...
- 267
2
votes
1
answer
670
views
Integral on level sets
Let $g_\epsilon : K \subset \mathbb{R}^d \rightarrow \mathbb{R}$ (more regularity can be assumed if necessary) be defined on a compact set (with regular boundary) $K \subset \mathbb{R}^d$, and the ...
user140442
1
vote
1
answer
197
views
Does convolution with heat kernel converge to pointwise evaluation?
Let $G(t, x) := \frac{1}{\sqrt{4 \pi t}} \exp\left( -\frac{x^2}{4 t }\right)$ for all $(t, x) \in (0, T) \times \mathbb{R}$ be the fundamental solution to the heat equation $\partial_tu = \partial_{...
0
votes
1
answer
431
views
Approximation of the product $(\bar{z} - a)^{-1} \cdot (z - b)^{-1}$
$\def\zbar{\smash{\overline z}\vphantom z}$I would like to construct an approximation of the product
\begin{equation}
f(z) = \frac{1}{\zbar-a} \frac{1}{z-b},
\end{equation}
where $a, b \in \mathbb{C}$,...
- 11
2
votes
1
answer
304
views
Is there a name for the space of gradients?
Let $\Omega \subseteq \mathbb{R}^n$ be a bounded domain. Define the set
$$H = \left\{\nabla f : f \in \mathcal{C}^1(\Omega)\right\}.$$
I suspect that $H$ is a Hilbert space (though I am unsure about ...
- 45
0
votes
0
answers
33
views
Reference request: injectivity of CWT, density of dilations and translations in $L^p$
Recently, I encountered the notion of Continuous Wavelet Transform (CWT), and I find it very intriguing (for a reference, see the wiki). I believe it offers a different and more general perspective on ...
- 807
1
vote
1
answer
294
views
What is the exact description of the homogeneous Besov space $\smash{\dot{B}}^0_{1,1}(\mathbb{R})$?
The Besov space is defined briefly in Wikipedia and I looked for a number of references to find some information on the homogeneous Besov space $\smash{\dot{B}}^0_{1,1}(\mathbb{R})$.
However, ...
- 3,477
1
vote
0
answers
54
views
Minimal F-semi-norms
There are conflicting terminologies in the literature on this subject, so let me define an F-semi-norms on a real vector space $E$ to be a subadditive function $\rho:E\to[0,+\infty)$ such that $\rho\...
- 5,529
3
votes
1
answer
244
views
Takesaki: question about lemma in section "Left Hilbert algebras and weights"
To make this question relatively self-contained, this post is quite long, but the question itself is rather short.
Consider the following fragments in Takesaki's second volume "Theory of operator ...
- 175
2
votes
0
answers
122
views
Are the extensions of the expected value, below, finite for all functions in only a shy subset of all measurable functions?
This is a follow up to this post, where I wish to verify whether one of the statements (in the post) is true but first let's recap the definitions:
Let $(X,d)$ be a metric space. If set $A\subseteq X$,...
- 63
3
votes
1
answer
108
views
$L^\infty$ bound of $x^m \psi_n(x)$ where $\psi_n$ is a Hermite function and $m,n \in \mathbb{N}$ - extension from Cramer's inequality
For each $n \in \mathbb{N}$, the Hermite function $\psi_n : \mathbb{R} \to \mathbb{R}$ is a Schwartz function defined by
\begin{equation}
\psi_n(x):=(-1)^n(2^n n!\sqrt{\pi})^{-1/2} e^{x^2/2} \frac{d^n}...
- 3,477
0
votes
2
answers
308
views
Calculating the Fourier dimension of a real interval $\left[a, b\right]$
(Preliminaries:) 1.) Let $S\subset\mathbb{R}^n$ and define $\mathcal{M}(S) = \{\text{$\mu$ a Borel measure}: \text{$0 < \mu(S) < \infty$ and $\mathrm{support}(\mu)\subset S$}\}$.
2.) Define the ...
- 151
1
vote
1
answer
172
views
Banach space valued distributions and test functions
Let $A,B,C$ be Banach spaces and $m\,:\,A\times B\to C$ be a bilinear map such that $\|m(a,b)\|\leq \textrm{const}\,\|a\|\|b\|$. We denote by $\mathcal{S}(\mathbb{R}^d)$ be the standard space of ...
- 552
7
votes
1
answer
284
views
A characterization of Hilbert spaces by norm one projections
Suppose a (separable) Banach space $X$ has the following property: If $P:X\to X$ is a bounded projection different from $I$ such that $\|P\|=1$, then $\|I-P\|=1$. Does this imply that $X$ is a Hilbert ...
- 1,361
5
votes
1
answer
353
views
Family of functions with prescribed derivatives
Suppose $f: \mathbb C \times (-1,1) \to \mathbb C$ is a smooth function that satisfies $f(0,t)=1$ for all $t\in (-1,1)$. Assume that for any $k\in \mathbb N$, any $z \in \mathbb C$ and any $t \in (-1,...
- 4,153
6
votes
1
answer
1k
views
Under what conditions does a continuous linear map map a closed subspace to a closed subspace?
Are there natural conditions that ensure that a continuous linear map $\phi:V\to W$ between TVS maps any closed subspace $L\subset V$ to a closed subspace in $W$?
It is obviously satisfied if $W$ is ...
- 2,649
8
votes
1
answer
245
views
Spectral decomposition of $\Gamma\backslash X$
Let $X$ be a reasonable manifold of non-positive curvature (could be $\mathbb{H}^n$, symmetric or locally symmetric space, homogeneous Hadamard manifold etc.), and let $\Gamma$ be a reasonable group ...
- 81
3
votes
0
answers
140
views
Does the Kato-Ponce estimate hold on manifolds?
Recall the Kato-Ponce estimate for fractional powers of the operator $J = (1-\Delta)$,
$$ \| J^s(fg) \|_{L^r} \lesssim \| J^s f \|_{L^{p_1}} \| g \|_{L^{q_1}} + \| J^s g \|_{L^{p_2}} \| f \|_{L^{q_2}},...
- 914
1
vote
0
answers
70
views
On calculating the second quantization operator $\Gamma(A)$ of the Ornstein-Uhlenbeck operator $A$
Let $A$ be a self-adjoint operator on a Hilbert space , and let $d\Gamma(A)$ be the generator of the second quantization of $A$. Consider the following theorem from Segal's "Non-Linear Quantum ...
- 90
5
votes
1
answer
1k
views
Left and right eigenvectors are not orthogonal
Consider a compact operator $T$ on a Hilbert space with algebraically simple eigenvalue $\lambda$. Is it then true that left (the eigenvector of the adjoint with complex-conjugate eigenvalue) and ...
- 73
5
votes
1
answer
165
views
Algebraic solutions of polynomial ODEs
Given a polynomial ODE in $n$-dimensions of maximal degree $d$
$$
\dot{x}_j=f_j(x)=\sum_{i_{1},\dots,i_{n}=1}^{d}a_{i_{1},\dots,i_{n}}^{j}x_{1}^{i_{1}}\dots x_{n}^{i_{n}} \quad \forall j=1,...,n
...
- 247
5
votes
1
answer
521
views
Properties of $C_B(X)$ equipped with the strict topology
Let $X$ be a Polish space. $C_B(X)$ is the space of bounded continuous functions $X\to\mathbb{R}$ equipped with the strict topology, which is the finest locally convex topology that agrees with the ...
- 353
4
votes
0
answers
239
views
The ideal structure of the Haagerup tensor product of $C^{\ast}$-algebras
I'm currently reading the paper The ideal structure of the Haagerup tensor product of $C^{\ast}$-algebras and having difficulty in understanding the proof of Proposition $4.5$ from the paper.
Let $A$ ...
- 1,115
1
vote
1
answer
113
views
The notion of "Admissible" and "Permitted" in the context of convolution with distributions and hypocontinuity
I am reading the paper "On Convolutions" (1958) and have encountered the notion of "Admissible" and "Permitted" spaces.
In p.17-18 of the above paper, it says that an ...
- 3,477
2
votes
1
answer
369
views
For a Banach space $X$, can we find a reflexive (or weakly sequentially complete) space $Y$ such that $X\subset Y$?
It could be a naive question. Probably, it is not true.
However, this question makes sense in the setting of function spaces.
For example, for $L_\infty (0,1)$, we have $L_p(0,1)\supset L_\infty (0,1)$...
- 617
1
vote
0
answers
50
views
On an Atiyah-Singer-Patodi like construction of the spectral flow
Let $\hat{\mathfrak{F}}$ be the space of selfadjoint Fredholm operators on a separable infinite-dimensional complex Hilbert space $H$, and let $\hat{\mathfrak{F}}_0\subset\hat{\mathfrak{F}}$ consist ...
1
vote
1
answer
83
views
Integral of $M^\text{*} - M$ with respect to $M^\text{*}$ is zero for $M^\text{*}$ the running maximum of $M$ a continuous local martingale
Given $M$ a continuous local martingale, and $M^\text{*} = \sup_{0 \leq s \leq t} M_s$ its running maximum, we consider the finite variation integral
$$
I_T:= \int_0^T (M^\text{*}_s - M_s) \, \text{d}...
- 113
2
votes
0
answers
326
views
Examples of RKHS that are "classical"
Among the so-called "classical" Hilbert spaces ($L^2$, Sobolev, Hardy, Bergman, etc.), which are very well-studied, which are RKHSs?
It is easy to construct example of RKHSs by applying the ...
- 21
0
votes
0
answers
208
views
Examples of non $w^{*}$-closed complemented subspaces of a dual Banach space that are also dual spaces
Let $Y$ be a complemented, but not $w^{*}$-closed, subspace of a Banach space $X$. It is known that certain such $Y$ are not dual spaces.
Question: What are interesting examples of subspaces of the ...
- 7,067
0
votes
1
answer
145
views
Renorming on a separable Banach space
Let us consider the sequence space $c_0$ with the equivalent norm
$$\Vert x \Vert^2 = \max_{i\ge1} \vert x^i \vert^2 + \sum_{i=2}^{\infty} 2^{-i+1} \vert x^i \vert^2 $$
for $x=(x^1,x^2,\ldots)\in c_0$....
- 85
3
votes
0
answers
124
views
Leibniz rule bound for the inverse of the Laplacian?
Let $f, g \in L^2[\mathbb{T}^2]$ be real-valued functions without zero modes. That is, $\int_{\mathbb{T}^2}f=\int_{\mathbb{T}^2}g=0$. Here, ${\mathbb{T}^2}$ is the $2$-dimensional torus $[\mathbb{R}/\...
- 3,477
1
vote
1
answer
138
views
Integration of vector function against vector measure
Let $X,Y,Z$ be Banach spaces and let $m\,:\,X\times Y\to Z$ be a bilinear map such that $\|m(x,y)\|\leq C \|x\|\|y\|$ for some fixed constant $C$. Moreover, let $\mu$ be a Borell vector measure on $\...
- 552
9
votes
4
answers
4k
views
Is the space of Radon measures a Polish space or at least separable?
Background: I work on a SPDE problem where in order to apply Prokhorov's theorem I need that some measure space is Polish space. And additionaly it would be good if that space is Banach space. Earlier ...
- 657
0
votes
1
answer
93
views
Continuity of generalised Legendre transform
Let $X$ and $Y$ be $\sigma$-compact spaces, and $\mu$ [resp. $\nu$] be a regular Borel probability measure on $X$ [resp. $Y$].
For a bounded continuous $c:X\times Y\rightarrow\mathbb{R}$, we consider ...
- 463
0
votes
0
answers
113
views
The set of measurable functions together with convergence in measure is a completely metrizable abelian topological group
Below we use Bochner measurability and Bochner integral. Let
$(X, \mathcal A, \mu)$ be a complete $\sigma$-finite measure space,
$(E, | \cdot |)$ a Banach space,
$S (X)$ the space of $\mu$-simple ...
- 657
0
votes
2
answers
285
views
When I know self convolution of the complex function can I recover function itself or its modulus?
I have a function $A : \mathbb{R} \to \mathbb{C}$.
I know there exists unknown function $u: \mathbb{R} \to \mathbb{C}$, such that $A$ is convolution of $u$ and its complex conjugate $A = u * u^*$.
I ...
- 151
3
votes
1
answer
185
views
Is the weighted shift strong frequently hypercyclic?
One sided Shift
Let be $M$ separable metric space. Consider $X=M^{\mathbb{N}}$ the sequence space equipped with the product metric $d(x,y)=\sum_{i=1}^\infty |x_i-y_i|/2^i$ . Define the shift map $\...
- 757
2
votes
1
answer
88
views
Controlling the tensor product of functions in $H^1$ with lower derivatives
Given some function $\phi:D\to\mathbb{R}$, with $D\subseteq \mathbb{R}^d$. I was wondering whether we can find an estimate of the form
$$ \|\phi\otimes\phi\|_{\dot{H}^1(D\times D)} \lesssim \|\phi\|_{\...
- 123
7
votes
0
answers
162
views
Relation between the additive Haar measure on $(K,+)$ and the multiplicative Haar measure on $K^{*}$ for a global field $K$
The following question comes from my studying of Alain Connes's paper Trace Formula in Noncommutative Geometry and the Zeros of the Riemann Zeta Function. In it, on p. 11, Connes notes that if $K$ is ...
- 1,805
13
votes
1
answer
729
views
Making sense of the formula $\operatorname{Det} (I+M )= e^{\operatorname{Tr} \ln (I+M)}$, especially in the infinite dimensional cases
$\DeclareMathOperator\Det{Det}\DeclareMathOperator\Tr{Tr}$In physics literature dealing with quantum field theory, the formula
\begin{equation}
\Det(I+M) = e^{\Tr \ln(I+M)}
\end{equation}
appears ...
- 3,477
0
votes
1
answer
111
views
Integral mean value property
Let $V$ be the space of all continuous functions $f$ on the real line with $f(x)=\frac12\big(f(x-1)+f(x+1)\big)$.
It contains the space of periodic functions. The latter equals the space of ...
user473423
4
votes
1
answer
156
views
approximation of a Feller semi-group with the infinitesimal generator
Let $T_t$ a Feller semigroup (see this) and let $(A,D(A))$ its infinitesimal generator.
If A is a bounded operator it is easy to show that the Feller semi-group is $e^{tA}$.
Is this formula always ...
- 293
2
votes
1
answer
112
views
The eigenvectors of adding a particular rank one matrix to the circulant matrix
Suppose that $e_1, \cdots, e_n$ are the standard vectors of the Euclidean space $\mathbb{R}^n$.
Let us consider the backward shift operator $T:\mathbb{R}^n\to \mathbb{R}^n$ given by $Te_k=e_{k-1}$ ...
- 4,058
10
votes
3
answers
741
views
Is there a version of Fischer-Riesz theorem for Banach space?
$( \Omega,F, P )$: a measurable space equipped with a finite measure
$(B , \Vert \cdot \Vert) $ : a Banach space with $\mathcal{B}$ as its borelian $\sigma$-algebra
$p$ : a constant bigger than $1$
...
- 406