All Questions
4,448 questions with no upvoted or accepted answers
4
votes
0
answers
121
views
Domain of $A^{1/2}$ on $L^2(\mathbb{T}^2)$
Let $A$ be a densely defined unbounded self-adjoint operator defined on $L^2(\mathbb{T}^2)$, where $\mathbb{T}^2$ stands for the 2-torus. It is known that $A$ is positive, that is, $\langle Au, u\...
- 41
4
votes
0
answers
244
views
On the modulus of convexity of mixed-norm $\ell_{p_1,p_2}$ spaces
Let $\ell_{p_1,p_2}=(\mathbb{R}^{m\times n},\|\cdot\|_{p_1,p_2})$ be the space of $m\times n$ matrices endowed with the mixed-norm
$$ \|X\|_{p_1,p_2} = \left( \sum_{j=1}^n \left( \sum_{i=1}^m |x_{ij}|...
- 980
4
votes
0
answers
107
views
Is Wiener's Tauberian theorem true in Wiener space?
Let $\gamma$ be the standard product Gaussian measure in $\mathbb{R}^\infty$, and let $\mu$ be a finite variation measure, not necessarily positive, such that $\mu \ll \gamma$.
Is the following true?
...
- 4,010
4
votes
0
answers
464
views
Convergence in distribution of random measures
Let $M$ denote the space of real Radon measures on $\mathbb{R}$ as the topological dual of $C_c(\mathbb{R})$ equipped with the inductive limit topology (for possibly unbounded Radon measures) or ...
- 1,773
4
votes
0
answers
162
views
Remainders in compactifications of completely metrizable spaces
Given a Tychonoff (topological) space $X$, we know that $X$ admits a Hausdorff compactification $cX$. We say the remainder of $X$ in this compactification is $rX=cX\setminus X$. One natural question, ...
- 333
4
votes
0
answers
98
views
Unique representability of bounded distributive lattices
Priestley Duality assigns to every bounded distributive lattice $L$ a compact totally order-disconnected topological space $P(L)$, also called a Priestley space.
A poset $(P,\leq)$ is called (...
- 48.9k
4
votes
0
answers
146
views
A question on extension of $Z^{*}$ algebras
A $Z^{*}$ algebra is a $C^{*}$ algebra which all elements are(two sided or equivalently one sided) zero divisor.
Are there two $Z^{*}$ algebras $A,B$ such that for every short exact sequence of ...
- 366
4
votes
0
answers
59
views
Behaviour of Markov type under uniform homeomorphism of spheres
A metric space $(X,d_X)$ has Markov type $p$ (with $p \in [1,2]$), if, for every stationary Markov chain $\{Z_n\}_{n=0}^\infty$ on $Y$ (a finite space) and every mapping $f:Y \to X$, one has
$$
\...
- 4,432
4
votes
0
answers
229
views
The representation-theoretic nature of an operator resolvent
Consider parameter $s$ in definition of $R(s,A)=(s I - A)^{-1}$ where $A$ is a linear operator in a vector space $X$. When $X$ is over $\mathbb{C}$, then $s$ is thought to be a complex number.
Now ...
- 580
4
votes
0
answers
241
views
"Partition" of a smooth function in $\mathbb R^2$
This is a question asking for reference.
I have a proof of the following.
Let $f=f(x,y)$ be a smooth function in $\mathbb R^2$ which vanishes at the origin. Then there exist smooth functions $f_1=...
- 231
4
votes
0
answers
196
views
Is exponential function in a C*-algebra injective on self-adjoint elements?
I asked this question in stackexchange, but it flashed and disappeared:
Let $A$ be a C*-algebra and $\exp(x)=\sum_{n=0}\frac{x^n}{n!}$, the usual exponential function from $A$ into $A$. Is it true ...
- 7,426
4
votes
0
answers
317
views
Is the second smallest eigenvalue of the Laplacian matrix a set function over edges?
Let $G$ be a connected unweighted undirected graph. In addition, let $\lambda_2(L(G))$ be the second smallest eigenvalue of the Laplacian matrix of graph $G$.
Is $\lambda_2(L(G))$ a submodular set ...
- 41
4
votes
0
answers
172
views
$S^{3}$-valued harmonic analysis
Edit:
Note that $S^{3}$ with the quaternion operation is a group. For a locally compact Abelian group $\Gamma$ we consider
$$\tilde{\tilde{\Gamma}}=\{\phi:\Gamma \to S^{3} \mid \phi(xy)=\phi(...
- 366
4
votes
0
answers
172
views
Ultracoproducts of C(X)-algebras
Let $X$ be a metrizable compact topological space, let $\mathcal U$ be an ultrafilter, and denote by $X^{\mathcal U}$ the ultracopower of $X$ with respect to $\mathcal U$.
As a C$^*$-algebraist, I ...
- 1,786
4
votes
0
answers
454
views
Adjoint of sum of two operators. Kato-Rellich
Let $A$ be self-adjoint and $B$ be symmetric with $A$-bound less than $1$. By Kato-Rellich, I know that $(A+B)^*=A+B$. Could I also get something like $(A+iB)^*=A-iB$ or is there a counterexample to ...
- 41
4
votes
0
answers
293
views
When is the sum of a weak-$*$ closed convex cone and a subspace also weak-$*$ closed?
Let $X$ be a Banach space. Suppose $C \subset X^*$ is a convex cone and $V \subset X^*$ is a subspace, and suppose both $C$ and $V$ are closed in the weak-$*$ topology. Are there any general ...
- 195
4
votes
0
answers
693
views
On the projective tensor product of $c_{0}$ by $c_{0}$
Let $E$ be the projective tensor product of $c_{0}$ by $c_{0}$. Does it follow that $E$ is isomorphic to no subspace of $C(K)$, where $K$ is countable compact metric space?
When $C(K)$ is isomorphic ...
- 81
4
votes
0
answers
645
views
Define the space of distributions with algebraic decay?
A tempered distribution $u\in \mathcal{S}'(\mathbb{R})$ is said to be rapidly decreasing if for every $f \in \mathcal{S}(\mathbb{R})$, $u*f \in \mathcal{S}(\mathbb{R})$.
One rough way to motivate ...
- 2,306
4
votes
0
answers
404
views
Hilbert Schmidt Operators and the Conditional Expectation Operator
Consider the function $\text{E}_W: L_2(\mathbb{R},P_X) \mapsto L_2(\mathbb{R},P_W)$ where $P_X$ and $P_W$ are two different probability measures. They are related in such a way that if $f_X$, $f_W$ ...
- 289
4
votes
0
answers
1k
views
Predual of a von Neumann algebra in terms of trace class operators
For a von Neumann algebra $\mathcal{A} \subseteq \mathcal{B(H)}$ where $\mathcal{B(H)}$ is the space of all bounded linear operators on the Hilbert space $\mathcal{H}$, there is a Banach space $ \...
- 71
4
votes
0
answers
315
views
Convergence of Schwartz Kernels
I read this question, and I would like to ask the opposite: Assume that I have a sequence of smoothing operators $(P_n)$ with (hence smooth) kernels $(p_n)$ converging strongly to some smoothing ...
- 9,853
4
votes
0
answers
130
views
The proximality of low rank function approximation
The paper "Best $n$-Dimensional approximation to sets of functions" by A. L. Brown in 1964 gave a negative answer to the following question:
Q1: Is there for a given integer $n$ always a best ...
- 3,217
4
votes
0
answers
551
views
$f,g , |f|f, |g|g \in A(\mathbb R) \ \text{(Banach algebra)} \implies \left\|f|f|- g|g|\right\|\leq C \left \|f-g\right \|$?
Let $f\in L^{1}(\mathbb R)$ and it Fourier transform, $\hat{f} (y) : = \int _ {\mathbb R} f(x) e^{-2\pi i x\cdot y} dx ; y \in \mathbb R ;$ and consider Fourier algebra
$$A(\mathbb R):= \{f\in L^{1}(...
- 1,051
4
votes
0
answers
309
views
Conditional expectation with respect to random closed sets
Short question
If $X$ is a random closed set, and $Y$ is an integrable random variable, I would like a definition of the "conditional expectation" $$\mathbf{E}[Y \mid X\ni x].$$ Has this been worked ...
- 6,287
4
votes
0
answers
434
views
Scattering for rapidly decaying solutions of NLS
Cazenave and Weissler proved in their paper "Rapidly Decaying Solutions
of the Nonlinear Schrödinger Equation" the following property.
Given the problem
\begin{equation}
\left\{
\begin{array}{rl}
...
- 403
4
votes
0
answers
289
views
Solving a Fredholm equation with a piecewise kernel : Karhunen-Loeve of a stopped Brownian motion
Is there a way to solve analytically the Fredholm integral equation of the second kind
$$
\int_0^{100} K(s, t) f(s) ds = \lambda f(t)
$$
where the kernel has the piecewise 'linear' form
\begin{align}
...
user24451
4
votes
0
answers
2k
views
Approximation of continuous functions by Lipschitz functions in the topology of uniform convergence on compact sets
I was involved into this subject when I answered
this
question from MSE. Trying to generalize my answer, I am thinking about a following
Question. Let $X$ and $Y$ be metric spaces. When each ...
- 5,409
4
votes
0
answers
277
views
Exterior powers and singular values on Hilbert spaces
I am currently writing an article relating to multiplicative ergodic theorems for cocycles of bounded operators acting on a Hilbert space, and in parts of the argument it is necessary for me to refer ...
- 6,206
4
votes
0
answers
2k
views
metric entropy for Lipschitz functions
Suppose $(X,d)$ is a metric space of unit diameer and let $F$ be the collection of all $1$-Lipschitz functions mapping $X$ to $[-1,1]$, equipped with the sup-norm $||\cdot||_\infty$.
I am interested ...
- 6,541
4
votes
0
answers
226
views
Any references on infinite-dimensional Fourier-Plancherel theory?
Let $M$ be a measure on an infinite-dimensional topological vector space (in fact, only the measure type matters), such that $M$ is quasi-invariant under a dense subspace $S$ of shifts (let's assume ...
- 4,010
4
votes
0
answers
112
views
status of Invariant subspace problem on Krein Space
What is the status of Invariant subspace problem on Krein Space? What sort of developments have taken place in this area.
- 2,106
4
votes
0
answers
326
views
Sequences and pseudocharacter in compact spaces
Is there a consistent example of a compact Hausdorff space $X$ on which the following holds?
i) there is a $Y \in {[X]}^{\aleph_1}$ such that $\psi (Y) = \aleph_1$; and
ii) there is no non-trivial ...
- 627
4
votes
0
answers
283
views
Markov operators and existence of ergodic measures
My question refers to the yesterday's question (see here)
of John Learner and goes as follows:
Can we deduce the existence of an ergodic measure if we know that an invariant measure exists, but the ...
- 141
4
votes
0
answers
90
views
$x\in Ext(B_X)$ has the Kadec property, implies that the slices form a neighborhood base of the norm topology
This is question 3.87 from Fabian's Functional Analysis and Infinite-Dimensional Geometry. The result is credited to Lin and Troyanski. Where on the net can I read a proof of this lemma? Any help ...
4
votes
0
answers
291
views
trace-class embeddings
There is a classical theorem of Riesz-Kolmogorov that characterizes compact embedding in $L^p$-spaces of some subspace of them. A generalization to arbitrary metric spaces has been recently obtained ...
- 3,388
4
votes
0
answers
109
views
How fast is discrete-time diffusion on a continuous set?
This question is inspired by Joseph O'Rourke's beautiful answer to my previous question.
Let $\mathbb{S}^{d\times n}$ denote the set of real $d\times n$ matrices whose columns have unit norm and sum ...
- 7,633
4
votes
0
answers
94
views
Algebraic conditions of separability
Let $X$ be a real vector space (without any norm), and $Y$ be a convex subset of $X$, $0\notin Y$. The goal is to find a hyperplane $L$ passing through 0 such that $Y$ lies in a closed halfspace ...
- 109k
4
votes
0
answers
239
views
When separation in $L^1$ is possible?
Let $A$, $B$ be disjoint convex closed subsets of the Banach space $L^1[0,1]$. Assume additionally that $A$ is bounded and $A$, $B$ are closed under convergence in measure. Then there exists a closed ...
- 109k
4
votes
0
answers
1k
views
Applications of Riesz's lemma for the unit ball
I should give a talk on something I'm working on, and I'd like to have a list, as complete as possible, of applications, in and out of functional analysis, of the following classical result by F. ...
- 10.5k
4
votes
0
answers
297
views
Which orbits of a separable representation of the infinite unitary group are closed?
Consider a separable irreducible unitary representation of $U(\mathcal{H})$ in the Hilbert space $V$. Assume that $\mathcal{H}$ is separable. My question is the following:
Is it true that all ...
- 965
4
votes
0
answers
454
views
Binomial Expectation of Convex Function
Suppose $x$ has a binomial distribution with chance $\alpha$ drawn $k$ times, and let $f(x)$ be a positive convex real valued function. I would like to evaluate
$$\frac{\partial}{\partial \alpha} \...
- 41
4
votes
0
answers
158
views
Does this construction yield an injective hull ?
Let $K$ be an object of $\mathbf{CHaus}$, the category of compact Hausdorff spaces, and $K \xrightarrow{\ \ \sigma \ \ } K$ be an involutory morphism without fixed points. Define $C^{\sigma}(K)$ as ...
- 7,249
4
votes
0
answers
140
views
When is $A^*A$ invertible for Banach space?
Let's consider a linear functional $A$ from smooth objects to smooth ones. It is first order operator in the sense that it extends to be a map from $W^{k+1,p}$ to $W^{k,p}$. Assume that we have $L^2$ ...
- 527
4
votes
0
answers
1k
views
Resonance of Schrödinger operator
Consider the dispersive estimates for the Schrödinger flow
$$
e^{itH}P_{c},\quad H=-\Delta+V \quad \text{on}\quad \mathbb{R}^n,n\ge 1
$$
where $P_{c}$ is the projection onto the continuous spectrum ...
- 1,644
4
votes
0
answers
1k
views
The spectrum of a Markov Operator and Invariant Measures
Suppose I have a discrete-time Markov Chain (in an infinite dimensional state space $\Omega$) with Markov operator $P$, a linear operator on the space of bounded measurable functions on $\Omega$. (Or ...
- 509
4
votes
0
answers
210
views
properties of $\beta\omega\setminus\omega$ minus the P-points
Let $X=\beta\omega\setminus\omega$ and let $Y=X\setminus P$ where $P$ is the set of P-points in $X$. Then $P$ is dense in $X$ if we assume CH but $P$ may be empty otherwise (Shelah). In the one case $...
- 607
4
votes
0
answers
223
views
A closure operation on subsets of ${\Bbb Z}[x]$
Given a(n infinite) set $S\subset {\Bbb Z}[x]$ (integer polynomials), write $R_S$ for the topological closure of the set of all complex roots of all $p\in S$. Then write $\hat{S}$ for the set of all ...
- 17.6k
4
votes
0
answers
166
views
Relationship between sequential compactness of a convex set and its extremal points
Suppose that $X$ is a compact convex subset of a topological vector space. Suppose also that the extremal points of $X$ have the additional property that any sequence $x_n$ of extremal points has a ...
- 93
4
votes
0
answers
820
views
Calderón's complex interpolation: what is the corresponding classical theorem?
This question is closely related to my answer to Dan's question, which contains the definitions of some terms I use here. In addition, the notion of exact interpolation functor of exponent $\theta$ is ...
- 1,202
4
votes
0
answers
500
views
Laplace Transform: Are there theorems similar to the Bernstein Theorem?
Bernstein's Theorem states, that if a function is completely monotonic, then it is the Laplace transform of an $L^1$-function. (E.g. Widder, "The Laplace Transform", Chapter IV, Theorem 19b)
Are ...
- 93