All Questions
12,823 questions
1
vote
0
answers
104
views
Commutative Banach $\mathbb{R}$-algebras without complex structure, but with path-connected group of units
For a finite-dimensional commutative (associative, unital) $\mathbb{R}$-algebra $A$, the condition $\pi_0(A^\times) = 1$ (i.e. the group of units of $A$ being path-connected) is equivalent to $A$ ...
- 7,127
0
votes
0
answers
66
views
Taking trace of a tensor product of matrix-valued smooth functions on the thin diagonal
Let $V$ be a finite dimensional real / complex vector space and consider the space $L(V,V)$ of linear operators on $V$.
Fix $n \in \mathbb{N}$ and let $\mathcal{M}$ be the real / complex vector space ...
- 3,477
2
votes
1
answer
93
views
Reference needed: estimate of the second order derivatives
In $\mathbb{R}^d$ there is estimate (see 1.3, Chapter III of E.M.Stein' book Singular Integrals and Differentiability Properties of Functions)
$$\left\|\frac{\partial^2 f}{\partial x_i \partial x_j} \...
3
votes
1
answer
80
views
Solution of $d Y_t/dt = A(t) Y_t, Y_0 = I_d$ is positive definite?
Let $\{A(t)\}_{t \in [0,1]}$ be time-varying symmetric matrices in $\mathbb{R}^{d\times d}$. We consider the following ODE for $Y_t \in \mathbb{R}^{d \times d}$
$$
\tag{1}
\frac{d Y_t}{dt} = A(t) Y_t, ...
- 399
6
votes
1
answer
568
views
Can one show that $|\zeta'(x) / \zeta^2(x)| \leq 1/(x-.5)$ for $x\in\mathbb{R}\cap [1,\infty)$?
I have found that $\left|\frac{\zeta'(x)}{\zeta^2(x)}\right|\leq \frac{1}{x-\frac{1}{2}}$ for all real $x$ such that $x>1$ seems to be true. I have plotted the inequality and got this inequality ...
- 178
1
vote
0
answers
71
views
Integral formula of quantum dilogarithm
In the paper"Level N Teichmüller TQFT and Complex Chern-Simons Theory" arXiv:1612.06986, the authors study the quantum dilogarithm function:
\begin{equation}
\mathrm{D}_{\rm b}(x,n)=\prod_{...
- 109
3
votes
0
answers
122
views
Analytic functions and Hyperfunction as TVS
I have several related questions on Analytic functions and Hyperfunction as topological vector spaces (I am mainly interested in questions 4,6,10):
For an open set $U\subset \mathbb C^n$ we can ...
- 2,639
0
votes
0
answers
105
views
Generalizing the property of linear independent set in infinite dimensional TVS
Given a infinite dimensional Hilbert space $H$, and a countable set of vectors $\{v_{i}\}_{i=1}^{\infty}$. I want to study the following property of $\{v_{i}\}_{i=1}^{\infty}$:
There exists sequences $...
- 523
2
votes
1
answer
104
views
Looking for review of delay differential equations involving $f(x)$ and $f(x/k)$
A research problem unexpectedly leads me to a delay differential equation of the form
$$
f(x)=\alpha(f(x),f(x/2))\,f'(x)+\beta(f(x),f(x/2))\,f'(x/2)+\gamma(f(x),f(x/2))
$$
For special cases of $\alpha,...
- 3,065
9
votes
0
answers
163
views
Moore-Penrose partial isometries and hermitian elements
Let $A$ be a unital Banach algebra. An element $a \in A$ is hermitian if $\|\mathrm{exp}(ita)\|=1$ for every $t \in \mathbb{R}$. An element $a \in A$ is Moore-Penrose invertible if there exists $b \in ...
- 3,497
2
votes
1
answer
208
views
Proving an exponential sum inequality for symmetric Hamming distance sequences in binary vectors
Background: Let $X = \{0,1\}^k$ represent the set of all binary vectors of length $k$. For two binary vectors $x, y \in X$, the Hamming distance $d_H(x, y)$ is defined as the number of positions where ...
- 349
3
votes
1
answer
91
views
Conditional Expectation in Diffusion Process
Consider a $d$-dimensional diffusion process $\mathbf{X}=(\mathbf{X}_t)_{t\in [0,T]}=([X^1_t,...,X^d_t])_{t\in [0,T]}$ that is the unique strong solution of the following SDE:
$$\left\{\begin{matrix}
...
- 143
0
votes
0
answers
33
views
Non-positive definite solution for differential Riccati equation
Consider the matrix-valued differential Riccati equation (DRE):
$$
\dot P_t +PA+A^\top P+Q-(B^\top P+S)^\top (B^\top P+S)=0, \quad t\in [0,T];\quad P(T)=G,
$$
where all coefficients are continuous.
...
- 503
0
votes
0
answers
57
views
Double-periodic functions with (possible) poles
Consider the set of double-periodic function $f:\mathbb C/(\mathbb Z+i \mathbb Z) \setminus \{z_0\} \to \mathbb C$, where $z_0$ is a fixed point inside $\mathbb C/(\mathbb Z+i \mathbb Z),$ that have a ...
1
vote
1
answer
100
views
Is Nelson-Symanzik positivity compatible with fermionic statistics?
Let $\{ S_n \}_{n =0}^\infty$ be a sequence of tempered distributions where $S_n \in \mathcal{S}'(\mathbb{R}^{nd})$ where $d \in \{2,3,4\}$ is fixed. Moreover, we put three additional conditions:
$...
- 3,477
1
vote
0
answers
38
views
About Carleson measures on the Hardy space on the bidisc
I have been reading the paper "Carleson Measures in Hardy and Weighted Bergman Spaces of Polydiscs" by F. Jafari and there are a few things that going on that I am not entirely convinced of.
...
2
votes
1
answer
124
views
Choice of the eigenbasis for the Dirac operator on $S^d$
This question is a simplified version of my previous one. I think that adding a gauge potential complicates the problem too much.
Let us consider the Dirac operator $D$ on the $d$-sphere $S^d$ with ...
- 3,477
1
vote
1
answer
129
views
Is every operator range a Baire space in the relative topology?
Let $X$ be a Banach space and let $U\subseteq X$ be a (not necessarily closed) linear subspace. One says that $U$ is an operator range if there is another Banach space $E$, and a bounded linear map $...
- 483
16
votes
0
answers
351
views
The convergence domain of the function $\sum \{n!x\}$
This is a problem from a mathematics competition: Does there exist an irrational number $x$ such that the series
$$\sum_{n=1}^{\infty}\{n!x\}<+\infty$$
where $\{ \}$ means the fractional part of a ...
- 505
7
votes
1
answer
415
views
Is there a “Closure-of-Range Theorem” for Banach spaces?
The classic Closed Range theorem states that for a linear bounded operator $T:X\to Y$ between Banach spaces, and its transpose $T^*:Y^*\to X^*$, the four conditions:
$T(X)$ is $s$-closed; $T(X)$ is $...
- 60.5k
1
vote
0
answers
45
views
Existence of optimal entropic weights for empirical modeling
Let $\mathcal{X} = [0,1]^n$ be the input space and $\mathcal{Y} = \{1, ..., n_c\}$ be a discrete output space. Let $D = \{(x_i, y_i)\}_{i=1}^N \subset \mathcal{X} \times \mathcal{Y}$ be a training ...
- 111
4
votes
1
answer
162
views
Topology on $O_M$, the space of slowly increasing smooth functions?
A smooth function on $\mathbb{R}^n$ is called slowly increasing if each of its derivatives is polynomially bounded. It seems that the collection of such functions is denoted as $O_M$.
Obviously, $O_M$ ...
- 3,477
0
votes
0
answers
38
views
Are measures singular with respect to all representing measures in $\mathbb{D}^n$ always concentrated on null-sets? Will it also be a Henkin measure?
Let $\mu$ and $\nu$ be two measures on the $\sigma$-Borel set $\mathcal{B}(\mathbb{D}^n)$.
We say that $\mu$ is a representing measure for some point $z \in \mathbb{D}^n$, if
$$\forall_{u \in A(\...
- 63
0
votes
0
answers
68
views
Family of separable Hilbert spaces over locally compact form a continuous field of Hilbert space?
Let $\{H_{x}\}_{x\in G^{0}}$ be a family of separable Hilbert spaces and $G^{0}$ be a locally compact second countable topological space. Let $\mathbb{B}_{x}$ be the orthonormal basis of $H_{x}$.
If ...
1
vote
1
answer
91
views
Positive definite kernels on compact interval $[0,1]$
From How to prove that a kernel is positive definite? I learned that a function $f:[0,\infty)\to\mathbb{R}$ induces a positive definite kernel $K:\mathbb{R}^2\to\mathbb{R}$, $K(x,y)=f((x-y)^2)$ if $f$ ...
- 216
1
vote
0
answers
176
views
If $f \in L^p(\Omega)$, then $f \in L^q(\Omega)$ for some $q < p + \epsilon$?
Loosely speaking, I would like to know whether membership in some Lebesgue space $L^p$ is stable under small perturbations of the exponent $p$.
Let $\Omega \subseteq \mathbb R^n$ be a bounded domain ...
- 641
7
votes
2
answers
841
views
Why is $\mathbb R^{\mathbb N}$ not high-dimensional enough?
In this paper [1], the authors consider the limiting distribution of $$S_{n,p}:=\frac{1}{\sqrt n}\sum_{k=1}^nX_k$$ for $p\rightarrow\infty$ as $n\rightarrow\infty$, where $X_1, X_2,\dots, X_n$ are ...
- 181
2
votes
0
answers
124
views
dimensionality reduction of Markov chains
Suppose that $M$ is a time-homogeneous (and, for simplicity, stationary) Markov chain on $d$ states, which induces the probability measure $P$ on paths of length $n$. I seek a Markov chain $M'$ on $d'&...
- 6,541
5
votes
0
answers
75
views
What is the maximal advantage of randomized over deterministic algorithms for approximation in the worst-case?
Let $X\subset Y$ be Banach spaces and $B_X:=\{x\in X: \|x\|_X\le1\}$ be the unit ball of $X$.
The goal is to find an approximation of every element from $B_X$ with error measured in $Y$ by using at ...
2
votes
2
answers
175
views
Great literature on discrete dynamical systems and/or qualitative theory of difference equations
I am asking for the great literature on topics of discrete dynamical systems and/or qualitative theory of difference equations especially aimed on pure mathematicians. Could you please give me some ...
3
votes
1
answer
220
views
What we know about the function in Fefferman's Theorem
In Fefferman's many papers on Whitney's theorem he, amongst other things, constructs the existence of a smooth function $F$ which extends a function $f$ on a (say) finite set $E\subseteq \mathbb{R}^n$ ...
- 5,405
1
vote
0
answers
52
views
Stability of Euler discretization
I am looking at the discretization of an ODE:
$$x_{n+1} = x_n + \alpha f(x_n),$$
where $x_n\in R^d$ and $f$ is continuously differentiable and such that $f(0)=0$ and $f'(0)$ is Hurwitz (i.e., the real ...
- 562
2
votes
2
answers
154
views
Closure of $C([0,1]^2)$ via weak*-topology [closed]
Let $C([0,1]^2)$ denote the set of continuous functions on $[0,1]^2$. Let $L^1([0,1]^2)$ be the set of all Lebesgue integrable functions on $[0,1]^2$.
The dual space of $C([0,1]^2)$, denoted by $C^*([...
- 349
3
votes
0
answers
129
views
A Talagrand inequality for the supremum of partial sums over function classes under dependence. (Reference request)
As a consequence to the Talagrand concentration inequality, it is well known that for a measurable space $(S,\mathcal{S})$ and an i.i.d. sample $X_1,...,X_n$ of $S$-valued random variables, if $\...
- 141
1
vote
0
answers
87
views
Supremum of sums of functions in $L^1$ taking random signs
Consider the Banach space $X=L^1([0,1])$, and let $n\gg1$ and $x_1, ..., x_n$ be any points in the unit sphere of $X$.
Is there any reasonable lower bound for $$\sup_{(\epsilon_i)_{i=1}^n \in \{-1,+1\}...
- 393
0
votes
0
answers
79
views
Is there an asymptotic expansion for the reciprocal of the classical Euler beta function?
The classical Euler beta function can be defined by
$$
B(p,q)=\int_0^1t^{p-1}(1-t)^{q-1}\operatorname{d\!}t
$$
for $\Re(p),\Re(q)>0$.
The beta function and the classical Euler gamma function $\...
- 1,091
2
votes
0
answers
75
views
Pullback by surjective submersion is injective?
Denote by $\mathcal{D}'_X$ the sheaf of distributions on a smooth manifold $X$.
Let $M$ and $N$ be smooth manifolds and $\Phi: M \to N$ a submersion. Then $\Phi$ defines a unique morphism of sheaves $\...
- 261
-1
votes
1
answer
98
views
Spectrum of sum of positive and negative operators
Let $(\mathscr{H}, \langle \cdot, \cdot \rangle)$ be a separable complex Hilbert space, and let $\mathscr{D}$ be a dense subset of $\mathscr{H}$. Let $P: \mathscr{D} \to \mathscr{H}$ and $N: \mathscr{...
- 21
0
votes
0
answers
78
views
What properties does representing measure $\mu$ for $z\in\mathbb{D}^n$ has to satisfy so that $\nu=0$ is the only measure singular with respect to it?
Let $\mu$ and $\nu$ be two measures on the $\sigma$-Borel set $\mathcal{B}(\mathbb{D}^n)$.
We say that $\mu$ is a representing measure for some point $z \in \mathbb{D}^n$, if
$$\forall_{u \in A(\...
- 63
5
votes
2
answers
149
views
Showing an operator is (or not) closed on $L^2(\mathbb{R})$
I am linearizing nonlinear waves and get operators of the form below. Everything is considered in $L^2(\mathbb{R})$.
Consider the operator $L_1=\frac{d}{dx}$. The domain is $H^1(\mathbb{R})$ and it is ...
1
vote
0
answers
98
views
Equivalence of Sobolev norms for smooth functions with compact support
Let $f\in C^\infty_c([0,1]^n)$, then we can extend it to a $1$-periodic smooth function $\tilde f$. We define the fourier transform (series) of $f$ ($\tilde f$):$$
\hat f(\xi):=\int e^{2\pi i x\cdot \...
- 435
1
vote
1
answer
157
views
Is finding the CDF from the Laplace transform well-posed?
In my study of Dynamic Light Scattering, I came across the following inverse problem. Let $F(s):[0,T]\rightarrow[0,T]$ be the Laplace transform of a probability distribution $f(t)$ on the real line ...
- 654
2
votes
0
answers
189
views
Smoothing property of the heat kernel on the one-dimensional torus
Let $G=G(x,t)$ be the heat kernel on the one-dimensional torus $\mathbb{T}^1,$ with $x \in \mathbb{T}^1$ and $t \in (0,T].$ $G$ is given by \begin{equation}
G(x,t) = (4 \pi t)^{-1/2} \sum_{k \in \...
- 185
0
votes
1
answer
231
views
Questions on the compactness of $L_1([0,1]^2)$'s unit sphere
Let $U$ denote the set of functions $f\in L_1([0,1]^2)$ such that $\int f=1$ and $f(x,y)\geq 0: a.e. (x,y)\in [0,1]^2$. Recently in my study I need to study the compactness of $U$. By Riesz's theorem ...
- 349
0
votes
1
answer
101
views
Limit sequence of regular function in $L_1$‘s unit sphere
Let $U$ denote the set of functions $f\in L_1([0,1]^2)$ such that $\int f=1$. For any $f\in U$, we say it is regular if $\int_{x_0\times [0,1]}f=\int_{[0,1]\times y_0}f=1$ for a.e. every $x_0, y_0\in [...
- 349
4
votes
0
answers
147
views
Weakly compact sets forced to contain $0$
Let $E$ be an infinite-dimensional real normed space and let $K\subset E$ be a weakly compact set such that, for each $\varphi\in E^*\setminus \{0\}$, there exists a unique $\tilde x\in K$ such that
$$...
- 283
0
votes
0
answers
121
views
How to find the inverse of this linear integral operator?
Let $f(x): \mathbb{R}^d \rightarrow \mathbb{R}$ be a function that decays ``fastly enough'' at infinity.
We can define the following linear operator
$$L[f](x):= \int_{\mathbb{R}^d} d^d y \, \frac{f(y)}...
- 1
3
votes
1
answer
158
views
Upper and lower bounds for a Rademacher-type expectation
Suppose that $\varepsilon_i$
are independent Rademacher random variables
(that is,
$
\mathbb{P}(\varepsilon_i=-1)
=
\mathbb{P}(\varepsilon_i=1)
=1/2
$.
Fix an $a\in\mathbb{R}^n$
and define the random ...
- 6,541
3
votes
1
answer
309
views
Extremizing sequence consists of two elements
Let $\mathcal A_{s}$ be the set of sequences $X=(x_m)_{m \in I}$ where $I=\{1,2,...,n\}$ with $n \ge 2$ and possibly $n =\infty$ is an index set with $x_1=0$, $x_2=s>0$ and $x_m>x_{m-1}$ for $m,...
5
votes
0
answers
160
views
Hartman uniform distribution of means
Background: for a discrete abelian group $G$, a character of $G$ is a homomorphism $\chi:G\to \mathbf S^1$, $\mathbf S^1$ being the circle group $\{z\in \mathbb C:|z|=1\}$ with ordinary multiplication....
- 929