All Questions
3,841 questions with no upvoted or accepted answers
4
votes
0
answers
188
views
Evaluate a multiple integral
I want to compute this integral and I would appreciate any help: $N\geq 1$ is fixed.
$$I_N=\int_{0\le r_n\le r_{n-1}\le\cdots\le r_1} e^{-(r_1^2+\cdots+r_n^2)} \prod_{i<j} \sinh(r_i-r_j) dr_1\...
4
votes
0
answers
284
views
How can I calculate the adjoint of the wave operator $\square_{g}$ in $H^{k}$?
I have a three part question, which I could only received an answer for the first part here.
The Laplace-Beltrami operator is an operator which is the typical example of a self-adjoint operator in $L^...
4
votes
0
answers
242
views
SubGROUPs of Banach spaces, when are they dense in a vector subspace?
It’s relatively easy to show that if $J$ is a closed subgroup of a finite-dimensional real Banach space, $B$, then it is a vector subspace iff for all bounded linear functionals $\sigma$ of $B$, $\...
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\...
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}|...
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
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 ...
4
votes
0
answers
167
views
Do position and momentum measurements determine a wave function?
Suppose we have a function $f\in L^2(\mathbb R^n)$ and we know the functions $x\mapsto|f(x)|$ and $p\mapsto|\hat f(p)|$, where $\hat f$ is the Fourier transform of $f$.
Can we reconstruct the function ...
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
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 ...
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=...
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 ...
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 ...
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 ...
4
votes
0
answers
298
views
Why is the density function of a sum of many iid random variables (i.e., the Gaussian) self-dual?
In the usual proof of the central limit theorem via characteristic functions, we note that if $X_1, \dots, X_n$ are independent and identically distributed, with probability density function $f(x)$, ...
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 ...
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 ...
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 ...
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 ...
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$ ...
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 $ \...
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 ...
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 ...
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}(...
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 ...
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}
...
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}
...
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 ...
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 ...
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 ...
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
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.
4
votes
0
answers
349
views
Is the Fourier transform of $\frac{1}{\mu+|\xi|^{2\alpha}}$($\mu>0$) a bounded function?
Consider $m(\xi)=\frac{1}{\mu+|\xi|^{2\alpha}}$, where $\xi\in\mathbb{R}^n$, $\mu, \alpha>0$, I want to know that if $m(\xi)$ is a multiplier of $\mathcal{M_{1}^{\infty}}$,i.e., whether the ...
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 ...
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
119
views
Symmetry of Sundry Planar Convex Sets of Constant Width & Minimal Area
In a much broader paper in “Optimization Methods & Software 27,6 (2012) pp1073-1099” Bayen & Henrion consider planar compact, convex sets with support functions which are finite Fourier ...
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 ...
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 ...
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 ...
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 ...
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. ...
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 ...
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} \...
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 ...
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$ ...
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 ...
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 ...
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 ...
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 ...
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 ...