All Questions
3,841 questions with no upvoted or accepted answers
3
votes
0
answers
94
views
How much more cyclic vectors are there than hypercylic vectors?
$\DeclareMathOperator\C{C}\DeclareMathOperator\HC{HC}$Definitions:
Let $T:X\rightarrow X$ be a bonded linear operator on a separable (infinite-dimensional) Banach space and define the sets:
$
\HC(T)\...
- 5,405
3
votes
0
answers
173
views
A Caratheodory-like result for infinite-dimensional simplices
Let $K$ be a compact metric space; $\Delta K$ be the set of Borel probability measures on $K$ endowed with the weak* topology; $X$ be a closed subset of $\Delta K$; and $x_0 \in \overline{\text{co}} X$...
- 537
3
votes
0
answers
103
views
"Hoelder conjugate" version of the Johnson-Lindenstrauss transform
A variation of the well-known Johnson-Lindenstrauss transform (JLT) asserts that for $x_1,\ldots,x_m\in\mathbb{R}^n$ there exists a linear transformation $A:\mathbb{R}^n\to\mathbb{R}^k$ with $k=\...
- 111
3
votes
0
answers
138
views
Comparing the group convolution algebra with the equivariant Roe algebra
Let $G$ be a Lie group equipped with a left-invariant metric. Then $C_c(G)$ is a $*$-algebra of convolution operators on $L^2(G)$.
Let $\mathbb{C}[|G|]^G$ denote the $*$-subalgebra of bounded ...
- 1,913
3
votes
0
answers
91
views
Pseudodifferential operator associated to a self-adjoint extension of a symmetric operator on an incomplete manifold
Let $D$ be the Dirac operator acting on a spinor bundle $S$ over a complete Riemannian manifold $M$. Then $D$ is an essentially self-adjoint operator on $L^2(S)$.
Suppose there is a compact subset $K\...
- 1,913
3
votes
0
answers
140
views
Decay of Laplace (or Mellin) transform beyond region of convergence?
Let $f:[0,\infty)\to \mathbb{R}$ be a piecewise differentiable function with $f(0)=0$ and $f'(t)$ of bounded variation. Its Laplace transform $\mathcal{L}f$ converges for $\Re s > 0$. Assume it can ...
- 20.2k
3
votes
0
answers
205
views
Uniqueness of the inverse kernel of an invertible integral transform
For any invertible integral transform $T$ of kernel $K$ that maps a function $f$ to the function $\varphi$ such that
$$\varphi(s)=\left[T\left\lbrace f\right\rbrace\right](s)=\int_a^bK(x,s)f(x)dx$$
...
- 139
3
votes
0
answers
487
views
Homeomorphism between $L^p$-spaces on metric spaces and $L^p$-spaces on Euclidean space
Setup:
Fix $p \in [1,\infty)$.
Let $(X,d_X,x_0)$ and $(Y,d_Y,y_0)$ be complete pointed metric spaces and $\mu$ be Borel. Let $E^n,E^D$ be Euclidean spaces of respetive dimensions $n$ and $D$ and ...
- 5,405
3
votes
1
answer
490
views
Space derivative of flow of ODE with monotone source
Consider the ODE
$$
\begin{cases}
\partial_t\Phi(t,x) = f(t,\Phi(t,x)), &\ t>0, \ x \in \mathbb R \\
\Phi(0,x) = x, & x \in \mathbb R
\end{cases}
$$
where $f$ is function which is a non-...
- 109
3
votes
0
answers
160
views
Elements of vector-valued $L^1$-spaces
Let $E$ be a complete locally convex space and let $(X, \Sigma, \mu)$ be a measure space where $\mu$ is a Radon measure. Then the space $L^{1}(X,E)$ is defined as a the completion of the space $S(X,E)$...
- 799
3
votes
0
answers
99
views
Is projection method really applicable for numerical solution of linear integral equations in $ L^p \ (p \neq 2)$ setting?
Projection method is a traditional method to numerically handle problem of linear integral equation. The routine way is to do it in $ L^2 $ setting. For example:
Let $ A:L^2(a,b) \to L^2(a,b) $ be a ...
- 269
3
votes
0
answers
376
views
Existence and uniqueness for reaction-diffusion equations
I am interested in the following PDE on a $d$-dimensional torus $\mathbb{T}^d$
\begin{align*}
&\partial_tu(t,x) = \Delta u(t,x) +f(u(t,x),t,x),\\
& u(0)=u_0\in L_2
\end{align*}
where the ...
- 931
3
votes
0
answers
53
views
Controlling a Schwartz kernel near the diagonal
Let $D$ be a first-order elliptic differential operator that is essentially self-adjoint on $L^2(\mathbb{R}^n)$. Consider the operator $(D+i)^q$ acting on $L^2(\mathbb{R}^n)$ with domain $C_c^\infty(\...
- 1,913
3
votes
0
answers
73
views
"Almost" absolute continuity of derivative of BV function if ${\rm Tr}\,D_Sf = 0$
Let $f: \mathbb R^N \to \mathbb R^N$ be a $BV$ function.
Suppose that $\mathrm{div} f$ is absolutely continuous with respect to the Lebesgue measure: $\operatorname{div} f \ll \mathcal L^N$. This ...
- 839
3
votes
0
answers
136
views
Boundary behavior of $H^2_0(\Omega)$ functions
If $u \in H^2_0(\Omega)$, is it true that $$u(x) \le C\mathrm{dist}(x,\partial \Omega)^2$$ as $x$ goes to the boundary?
user123672
3
votes
0
answers
297
views
Tensor product of compact operators on Banach modules
Let $A$ and $B$ be Banach algebras. Consider a right Banach $A$-module, $E$, and a right Banach $B$-module, $F$, as well as a Banach algebra morphism $\pi\colon A\to\mathcal L_B(F)$ into the bounded $...
- 320
3
votes
0
answers
168
views
Dual Lorentz spaces
MO seems the perfect place to ask for the following question. Denote the Lorentz spaces on an arbitrary measure space $(E,\mu)$ by $L^{p,q}=L^{p,q}(E,\mu)$, and by $p'$ the conjugate index of $p$.
...
- 9,007
3
votes
1
answer
754
views
Lower semicontinuous and convex envelope
L.Ambrosio, in paper [1] writes:
Let $g:\mathbb{R}\times\mathbb{R}^n\rightarrow\mathbb{R}$ be a function (...)
for every $s\in\mathbb{R}$, $z\in\mathbb{R}^n$; we denote, with a slight abuse of ...
- 131
3
votes
0
answers
75
views
Functional characterization of local correlation matrices?
Definition: A matrix $C\in\mathbb R^{m\times n}$ is local correlation matrix iff there exists real random variables $x_1,\dots,x_m,y_1,\dots,y_n$ defined on a common probability space which takes ...
- 1,826
3
votes
0
answers
200
views
Largest weak(-like) topology with respect to which continuous functions are dense in the space of Borel functions
Let $X$ denote the space of bounded Borel functions $f\colon [0,1] \to \mathbb{R}$. Let $M$ denote the space of finite Borel measures on $[0,1]$. What is the largest family $F \subset M$ such that for ...
- 1,277
3
votes
0
answers
571
views
Domain of the Generator of a Bessel process
Consider the Bessel Process of index $\nu\in (-1,0)$, or dimension $\delta=2\nu-1$
\begin{align}
\rho_{t}=x+\frac{\delta-1}{2}\int_{0}^{t}\frac{1}{\rho_{s}}\,ds+W_{t}
\end{align}
where $(W_{t})_{t\geq ...
3
votes
0
answers
163
views
Perturbation theory compact operator
Let $K$ be a compact self-adjoint operator on a Hilbert space $H$ such that for some normalized $x \in H$ and $\lambda \in \mathbb C:$
$\Vert Kx-\lambda x \Vert \le \varepsilon.$
It is well-known ...
user136577
3
votes
0
answers
150
views
Keeping $\max_{|t|\geq 1} |\widehat{\phi}(t)|$ small (uncertainty principle)
Let $\phi:\mathbb{R}\to \lbrack 0,\infty)$ be piecewise continuous, symmetric ($\phi(x)=\phi(-x)$) and with support on $(-1,1)$. Let $\Phi(x)=\int_{-\infty}^x \phi(u) du$; assume $\Phi(1)=1$.
What is ...
- 20.2k
3
votes
0
answers
66
views
Does this definition of the Fourier intensity measure make sense?
Let $\epsilon_n$ be a sequence in $\{-1,1\}^{\mathbb Z_+}$.
For simplicity, assume that $\epsilon_n$ is just the Thue-Morse sequence with symbols $1$ and $-1$ (although the following definition is ...
- 785
3
votes
0
answers
172
views
Decomposition of $L^2(\Gamma \backslash H)$ into irreducible representations using the spectral theorem
I'm reading the introduction of An Introduction to the Trace Formula by James Arthur and wanted to understand something in the introduction.
Let $H$ be a unimodular locally compact Hausdorff group, ...
- 6,180
3
votes
0
answers
495
views
Simple (?) question on inner product in reproducing kernel Hilbert space
I'm following the gentle introduction to Reproducing Kernel Hilbert Spaces From Zero to Reproducing Kernel Hilbert Spaces in Twelve Pages or Less by Hal Daumé III. I believe the author fully ...
- 163
3
votes
0
answers
97
views
Is the set of points in the irreducible decompositions of this C$^{*}$ -algebra's representations closed?
Suppose $X$ and $Y$ are compact Hausdorff spaces. Let $\varphi\colon C(X)\to M_{n}(C(Y))$ be any $*$-homomorphism. If $\pi$ is an irreducible representation of $M_{n}(C(Y))$, then $\pi$ is unitarily ...
- 267
3
votes
0
answers
86
views
What kind of set is this, spanned by two positive definite matrices?
Let $A$ and $B$ be Hermitian positive definite $n\times n$ matrices over $\mathbb C$ or $\mathbb R$. Then for real $k,\ell,$ the matrix $A^kB^\ell A^k$ is well-defined and again Hermitian positive ...
- 13.4k
3
votes
0
answers
235
views
Chern number of projection-Topological magic in physics
I enclosed a computation from a well-known paper in the field of mathematical physics where the Chern number of the first Landau level is computed (the result claimed is $-1$) and the full paper can ...
- 31
3
votes
0
answers
216
views
Entire analytic functions with entire analytic Fourier transform, and corresponding distributions
I'm interested in the Fourier transform on a space of distributions that includes more than the usual tempered distributions, and in particular allows for $\delta$-distributions supported at complex ...
- 333
3
votes
0
answers
817
views
Do the gradient of convex (Fenchel) conjugates preserve the "distance" between two uniformly convex functions?
Update: I have discontinued pursuing this question. However, by observing that the conjugate and its derivative are nothing more than optimum and optimizer, my question should be answered by carefully ...
- 31
3
votes
0
answers
383
views
What tools from functional analysis are relevant to investigating this operator?
Given a sequence of continuous functions ${{f_n}}$, define the varicontinuity index $$V({f_n}): \mathbb{R} \to [0, \infty]$$ by
\begin{split}
V({f_n})(x) &=\sup \Big\{\varepsilon > 0\big|\; \...
- 2,079
3
votes
0
answers
97
views
Notions of $\beta$-Hölder smoothness when $\beta\in (1,2]$: are they equivalent?
I posted the following question on StackExchange a few months ago (https://math.stackexchange.com/questions/2898620/notions-of-beta-h%C3%B6lder-smoothness-when-beta-in-1-2-are-they-equivalent), but ...
- 31
3
votes
0
answers
102
views
Uniform homeomorphism of Frechet nuclear spaces
Given a Frechet space X which is uniformly homeomorphic with a nuclear (Frechet) space, does it follow that X is also nuclear?
- 101
3
votes
3
answers
551
views
Looking for a very particular kind of non-convex functions
I want some examples (hopefully parametric families!) of non-convex functions which satisfy the following properties simultaneously,
It should be at least twice differentiable.
It should have a ...
- 2,246
3
votes
0
answers
128
views
Dixmier traces, Wodzicki residue and residues of zeta functions
Let $M$ be an $n$ dimensional closed manifold and consider an elliptic, pseudodifferential operator $P$ of order $-n$. Here are some facts which I had learned so far:
1. There exists a density defined ...
- 9,340
3
votes
0
answers
202
views
Anzai flow in noncommutative geometry
Consider Anzai flows (cf. Anzai: Ergodic Skew Product Transformations on the Torus, Osaka Math. J. 3 (1951), 83-99) on the two dimensional torus $T^2$. I would like to know if there exists some ...
3
votes
0
answers
102
views
Legendre transform on signed measure space
Let $X$ be an open set in $\mathbb{R}^n$ and $M(X)$ be the space of finite signed measures defined on $X$. $L(p)$ is a lower-semicontinuous convex functional defined on $M(X)$. My question is: (1) ...
- 325
3
votes
0
answers
142
views
eta invariant and spectral flow
We know that for a family of first-order self adjoint elliptic (Fredholm) operator $A_t$, for $t\in [0,1]$ we have the formula
$$\eta(A_1)-\eta(A_0)=spfl(A_t)_{t\in[0,1]}+\int^1_0 \omega(s)ds,$$
where ...
- 1,915
3
votes
0
answers
103
views
Inequality concerning BV norm
Let $u(x) \in L^1( \mathbb{R}^n) \cap BV(\mathbb{R}^n)$ and let $\rho\ge 0$ be the standard mollifier on $\mathbb{R}^d$, supported in unit ball with $\int_{\mathbb{R}^d}\rho \,dx=1$ and define $\rho_\...
- 101
3
votes
0
answers
74
views
A question about a theorem in 'Quantum dynamical semigroups generated by noncommutative unbounded elliptic operators'
I have asked this question on MathSE and someone advised me to ask it here. The link is .
I'm studying the paper Quantum dynamical semigroups generated by noncommutative unbounded elliptic operators ...
- 31
3
votes
0
answers
489
views
Generalization of Carleman coefficients to multivariable functions - Carleman tensor?
Recently I learned about a matrix called
Carleman matrix. It is a matrix used to represent function iteration with matrix multiplying.
Carleman linearization is a technique used to embed a finite
...
- 133
3
votes
0
answers
97
views
An example of a particular vn-algebra
Let $A$ be a vn-algebra. Let us suppose $e$ is a finite projection in $A$ and $x$ is an isometry (meaning $x^*x=1$) in $A$ such that $e$ does not commute with $x$. Then $\{q_n=x^nex^{*n}\}$ forms a ...
- 4,058
3
votes
0
answers
223
views
Sobolev space under Mellin transform
The Mellin transform is known to be an isomorphism see wikipedia
between $M:L^2(0, \infty) \rightarrow L^2(-\infty, \infty)$
where $$M(f):= \frac{1}{\sqrt{2\pi}}\int_0^{\infty} x^{-\frac{1}{2} + is} ...
user127612
3
votes
0
answers
112
views
Is a relatively weakly compact subset of $W^{1,1}(\Omega)$ metrizable?
Let $\Omega$ be a domain with smooth boundary. Let $S\subset W^{1,1}(\Omega)$ be a relatively weakly compact set.
Is it true that $(S,w)$ is metrizable?
Since $S$ is relatively weakly compact, it ...
- 1,245
3
votes
0
answers
183
views
Parabolic variational inequality: regularity of the time derivative in $L^2(0,T;H)$?
Let $V \subset H \subset V^*$ be a Gelfand triple of Hilbert spaces. Take $f,\psi \in L^2(0,T;H)$ and consider the VI: find $u \in L^2(0,T;V)$ with $u' \in L^2(0,T;V^*)$ such that
$$u(t) \leq \psi(t) ...
- 73
3
votes
0
answers
358
views
New/useful method for summation of divergent series?
Questions
$$ S(n,x) = x+e^x + e^{e^x} + e^{e^{e^x}} + \dots \text{$n$ times}$$
Also obeys (see background for argument):
$$ \frac{1}{2 \pi i} \oint e^{S(k,x)} \frac{\partial \ln(\frac{\int_0^\...
- 237
3
votes
0
answers
206
views
Do these limits exist?
Let $G$ be a (discrete) torsion free group with identity $e$. Recall that for an element $\alpha\in\mathbb C[G]$, the set of complex functions on $G$ with finite support, $\alpha^*\in\mathbb C[G]$ is ...
- 2,118
3
votes
0
answers
228
views
Categorical features of Hilbert spaces
Does the category of Hilbert spaces and bounded maps have any particular categorical feature which can be studied systematically?
I mean, I know that it's a $*$-category, but it seems to have much ...
user95283
3
votes
0
answers
116
views
Obstruction to the existence of a complex-valued determinant function
Let $\mathcal A$ be a Type $II_1$ von Neumann algebra, equipped with a finite trace $\tau: \mathcal A \to \mathbb C$. Further, denote by $\mathcal A^\times \subset \mathcal A$ the group of invertible ...
- 1,255