All Questions
13,925 questions
5
votes
1
answer
164
views
Does quadratic asymptotic growth imply log-Sobolev inequality?
Let $f : \mathbb{R}^n \rightarrow [0,\infty)$ be a smooth function and consider $h$ s.t $h(\vec{x}) = f(\vec{x}) + \lambda \Vert \vec{x} \Vert^2$.
Does this imply that irrespective of any other ...
- 5,380
1
vote
1
answer
330
views
Does $\sum_{n=1}^{\infty}\frac{(-1)^n e^{\sin{n}}}{\sqrt{n}}$ converge?
I am trying to study the converge of the series
$$\sum_{n=1}^{\infty}\frac{(-1)^n e^{\sin{n}}}{\sqrt{n}}$$
But $e^{\sin{n}}$ is not monotone, and the Abel's test rule fails here. Can someone help me? ...
- 348
4
votes
1
answer
136
views
$\bf2$-Stone-Čech compactification of a product of topological spaces
Let $\beta_{\bf2} S$ be a compact, totally-disconnected space containing a dense, discrete subspace $S$ such that any function $f:S\to\bf2$ extends to a continuous map $\hat f:\beta_{\bf2} S\to\bf2$, ...
- 11.4k
0
votes
0
answers
60
views
Spectral analysis of Dirac operators coupled to gauge potential on $\mathbb{R}^n$
Dirac operators on compact manifolds seem to have been studied well, such as in this book and also this one.
However, I cannot easily find comprehensive treatment of Dirac operators coupled to gauge ...
- 3,477
9
votes
2
answers
775
views
Heat flow, decay of the Fisher information, and $\lambda$-displacement convexity
In the whole post I will work in the flat torus $\mathbb T^d=\mathbb R^d/\mathbb Z^d$ and $\rho$ will stand for any probability measure $\mathcal P(\mathbb T^d)$. This question is strongly related to ...
30
votes
2
answers
2k
views
Is every connected subgroup of a Euclidean space closed?
The question listed above (in the context of the complex numbers, but it is a reasonable question to ask in any dimension) was asked by a student in my complex analysis class, and I did not have an ...
- 41.9k
9
votes
0
answers
221
views
Continuous maps between Peano continua
A Peano continuum is a compact connected metrizable space which is locally connected. It is called nondegenerate if it has more than one point.
Denote by $C(X,Y)$ the space of all continuous maps from ...
- 18.6k
13
votes
3
answers
670
views
How algebraic can the dual of a topological category be?
(I'm going to try to use definitions from Abstract and Concrete Categories: The Joy of Cats by Adámek, Herrlich, and Strecker, since both of the adjectives in the title of my question seem to have at ...
- 12.5k
0
votes
0
answers
78
views
Definition of Moore-Penrose inverse for unbounded self-adjoint operators?
I know there is a concept of Moore-Penrose or pseudoinverse of a matrix. I would like to know if one can define it for densely defined unbounded self-adjoint operators on Hilbert spaces as well. ...
2
votes
1
answer
108
views
Separability is an interpolation property
I'm trying to prove that certain space, which can be obtained as an interpolation space, is separable. The fact that is separable is well known but i want to simplify it via interpolation. I haven't ...
- 56
1
vote
0
answers
174
views
Interpolation of Sobolev spaces with constraints
Let us consider a real interval $[0, L]$, with $a\in (0, L)$, and let $I_1=(0, a)$ and $I_2=(a, L)$. We denote by $H^k(I_1)$ and $H^k(I_2)$ the usual Sobolev spaces, defined for $k\in \mathbb{N}$. Now,...
- 81
6
votes
1
answer
170
views
Do projections in an $AW^\ast$-algebra form an orthomodular lattice?
I’m currently studying orthomodular lattices arising out of operator algebras. One of the most standard examples is the projection lattice of a von Neumann algebra - if $M$ acts on a Hilbert space $H$,...
- 151
1
vote
1
answer
105
views
Constrained optimization over a set of functions
How to approach the following optimization problem:
$$\text{minimize }\int_0^1 f(x) \, dx$$
over all (integrable) real-valued functions $f$ on $[0,1]$ satisfying
$$1-x_1 x_2 \leq f(x_1)f(x_2)\text{ ...
1
vote
1
answer
703
views
Reciprocal expansion of modified Bessel function
I am reading Sherstyukov and Sumin - Reciprocal expansion of modified Bessel function in simple fractions and obtaining general summation relationships containing its zeros. The authors say they are ...
CommunityBot
- 1
0
votes
0
answers
45
views
Functional inequalities on neighbourhood graphs
Consider an open domain $\Omega \in \mathbb{R}^d$, say the unit disk in $\mathbb{R}^2$ with $N$ points sampled i.i.d. on it. One of the simplest possible (unnormalised) discrete Laplacian of a ...
- 111
3
votes
1
answer
116
views
Does a bounded positive modular sesquilinear form on a $C^\ast$-algebra induces an element of its multiplier algebra?
This is a question that originates from my attempt at this question. Specifically, for a $C^\ast$-algebra $A$, I am attempting to construct a map $\phi: A \times A \to A$ s.t.,
$\phi$ is sesquilinear,...
- 151
3
votes
1
answer
109
views
Literature request: Covariance operators for Gaussian measures
I am looking to answer the question:
If $\mathcal{B}$ is a separable Banach space and $R: \mathcal{B}^*\to\mathcal{B}$ is a symmetric and positive operator, then $\phi: \mathcal{B}^*\to\mathbb{R}, \...
- 869
1
vote
2
answers
135
views
Normalized tight frame that is not orthonormal
Does anybody know an example of a normalized tight frame (wavelet frame) that is not an orthonormal frame of $L^2( \mathbb{R})$?
So in other words $\{\psi_{j,k}(x):=2^{j/2}\,\psi(2^j\,x-k)\}_{j,k \in ...
- 121
5
votes
1
answer
379
views
Nuclear vs Banach spaces: compactness properties
A question about the meaning from following excerpt from german wikipedia adressing interesting crucial feature of nuclear spaces opposing them from Banach spaces (transl.):
While normed spaces, ...
- 6,028
8
votes
2
answers
723
views
Could there be any homotopy group without "Lebesgue Number Lemma"?
This is about a comment that I have made in my general topology class while I was proving the abovementioned lemma as a consequence of compactness!
As far as I know, essentially, there is only one ...
- 20k
0
votes
0
answers
141
views
The tensor product of two Fredholm operators
What can be said about the tensor product $T\otimes S$ of two Fredholm operators $T:X_1\to Y_1$ and $S:X_2 \to Y_2$ where $X_1,X_2,Y_1, Y_2$ are Banach spaces and tensor product of ...
- 6,367
6
votes
1
answer
2k
views
Finite element method inverse estimate
$\DeclareMathOperator\diam{diam}$Looking for a proof in the literature of the following lemma:
Let $K\subset\mathbb{R}^d$ be a bounded domain. Let $P_X$ be a finite dimensional subspace of $\mathcal{...
CommunityBot
- 1
2
votes
0
answers
47
views
Norm density of evaluation functionals in the space of weak$^*$ continuous multilinear functionals on products of dual Banach spaces
Let $K$ be a compact (metrizable) space and let $C(K)$ be the Banach space of continuous real-valued functions on $K$, equipped with the supremum norm. It is then well known that the dual space $C(K)^*...
- 6,367
0
votes
0
answers
46
views
What's the problem in using spanning Bessel sequences that are not frames to decompose vectors?
This is related to a question I recently asked on math.SE.
Consider a subset $G\equiv \{g_k\}_{k\in\mathbb{N} }\subseteq\mathcal H$ in a separable Hilbert space $\mathcal H$, and suppose $G$ spans the ...
- 342
5
votes
3
answers
286
views
On a metrized $n$-dimensional manifold $X$, does every $x \in X$ have a small ball $B_\delta(x)$ that is homeomorphic to $\mathbb R^n$?
Suppose that $X$ is an $n$-dimensional topological manifold that is also metrizable, and hence equipped with some metric that induces the topology.
For every point $x \in X$, let $B_\delta(x)$ be the ...
- 5,327
1
vote
0
answers
86
views
Gamma convergence via density argument: Looking for references
I am looking for a reference or result dealing with Gamma via density argument.
Let me elaborate more my wish. I am actually trying to establish the Gamma convergence (precisely only the liminf) of a ...
- 869
1
vote
0
answers
40
views
relatively weakly compact sets in the projective tensor product of $\ell_p $ and a Banach space $X$
We will use the notation in [1].
A sequence $(x_n)$ in $X$ is called weakly $p$-summable ($p\ge 1$) if $(x^*(x_n))\in \ell_p$ for each $x^*\in X^*$. Equivalently, a sequence $(x_n)$ in $X$ is ...
4
votes
1
answer
180
views
Analytic function with values in $L^1$
Suppose that $(\Omega, \Sigma, \mu)$ is a measure space.
Let $D$ be the unit open disk and $F : D \rightarrow L^1(\mu)$ be an analytic function. Is it true that for a.e. $w \in \Omega$ the function $F(...
- 54.2k
0
votes
1
answer
114
views
Geometric interpretation of a Grammian-like function
Let $\mathbf{v}, \mathbf{w} \in \mathbb{R}^n$ and consider the following function $f : \mathbb{R}^n \times \mathbb{R}^n \rightarrow \mathbb{R}$:
$$
f(\mathbf{v},\mathbf{w}) = \|\mathbf{v}\|\|\mathbf{w}...
- 188k
0
votes
0
answers
50
views
About extreme case on complex interpolation
I'm trying to prove some equality of spaces via complex interpolation with the usual Calderon functor $[,]_\theta$. If $(E_0,E_1)$ is a compatible couple, it is known that $$[E_0,E_1]_j, j=0,1,$$ is a ...
2
votes
0
answers
83
views
3/2 Sobolev Norm on the boundary of a bounded open subset of $\Bbb R^n$
Let $\Omega\subset\mathbb{R}^{n}$ be a open bounded set and $\partial\Omega$ be the boundary of $\Omega$.
Following the reference text by Alois Kufner, Oldřich John and Svatopluk Fučík, Function ...
- 6,367
3
votes
1
answer
67
views
Infinite direct sum decomposition of the heat semigroup on $\mathbb R$
This question is based on a very similar question posted by me yesterday. A very nice solution was provided by Aleksei Kulikov. Here I modify my question slightly.
Let $Q_t$ be the heat semigroup on $...
- 24.2k
12
votes
1
answer
735
views
Parametrisations for null temperature functions: nonuniqueness of solutions to the heat equation
Disclaimer. I expect this is a highly open problem, but maybe I'm wrong and someone has come up with some answers besides those given here. In any case, all information appreciated, thanks!
Definition....
- 6,367
6
votes
3
answers
1k
views
Disjoint union of measures
This is a sort of follow-up question to this old post I came across.
Setup:
Let $\{X_n\}_{n \in \mathbb{N}}$ be a collection of Hausdorff topological spaces and let $\{\Sigma_n\}_{n \in \mathbb{N}}$ ...
- 12.9k
0
votes
0
answers
16
views
Representing a periodic strip operator as a tensor product of operators
I hope this question is not trivial, but here goes. I want to consider a bounded operator on $\mathcal{H}=\ell^2(\mathbb{Z}\times \{0,...,N-1\})$ that is a discrete Schrodinger like operator.
...
- 633
1
vote
1
answer
128
views
Infinite direct sum decomposition of the heat semigroup on $\mathbb{R}^n$
Consider the heat semigroup $Q_t$ on $L^2(\mathbb{R}^n)$ generated by the Laplace operator $\Delta=\sum_{i=1}^n\frac{\partial^2}{\partial x^2_i}$. Does there exist a direct sum decomposition
$$\oplus_{...
- 6,476
2
votes
0
answers
331
views
What is the spectrum of this differential operator?
My self-adjount differential operator $L$ is defined by $$L f(x) \equiv u(x) \frac{\partial^2}{\partial x^2} \left( u(x) f(x) \right)$$ where $u(x)$ is a known but arbitrary smooth function that ...
- 206
3
votes
3
answers
550
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 ...
CommunityBot
- 1
3
votes
0
answers
101
views
A problem on the box topology
Let $S$ be a set and let $\mathbb{R}$ be the real number set with the usual topology.
Define
$$\mathbb{R}^{S}_f=\{t\in \mathbb{R}^S\mid t(s)=0 \mbox{ except for finitely many } s\in S\}. $$
Consider ...
- 123
3
votes
1
answer
351
views
How to define relative orientation in terms of (co)homology?
Let $f\colon X\to Y$ be a smooth surjective map of smooth manifolds of dimension $n$ which are not necessarily orientable. A relative orientation of $X$ over $Y$ consists of an isomorphism $\psi\colon ...
- 3,948
0
votes
1
answer
117
views
Validity of approximation method for von Mangoldt function
I'm working on a problem involving the pointwise almost everywhere convergence of multilinear ergodic averages with the von Mangoldt function inspired by this paper. Specifically, I'm looking at ...
CommunityBot
- 1
1
vote
1
answer
215
views
Compactness with respect to topology induced by total-variation distance
I've been working on a problem and at some point in the proof I need to show that the following set $$\left\{\mu \in \mathcal{P}_{ac}(\mathbb R^d): \int \varphi(x)\mu(\mathrm{d}x)\leq C\right\}$$
is ...
- 192
3
votes
1
answer
6k
views
About eigen-functions of the Gaussian kernel
If I look at the Guassian kernel function $e^{- \frac {\vert x - y\vert_2^2 }{2 w^2 } }$ for $x, y \in \mathbb{R}$. Then w.r.t the Gaussian measure $N(\mu,\sigma)$ I believe it is true that this has a ...
- 188k
3
votes
0
answers
94
views
Pseudocompactness, countable compactness and locally finite open covers
Let $(P_1)$ be the property: Every locally finite open cover of $X$ has finite subcover.
Let $(P_2)$ be the property: Every locally finite open cover of $X$ is finite.
Let $(P_3)$ be the property: ...
- 1,201
10
votes
3
answers
739
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$
...
- 41.1k
2
votes
1
answer
196
views
Estimate for the operator $A A_D^{-1}$
Let $O\subset\mathbb{R}^d$
be a bounded domain of the class $C^{1,1}$
(or $C^2$
for simplicity). Let the operator $A_D$
be formally given by the differential expression $A=-\operatorname{div}g(x)\...
CommunityBot
- 1
3
votes
1
answer
79
views
Closed linear span of the range of $\boldsymbol f$ and Pettis integrals of $\boldsymbol f$
Let $X$ be a noncompact locally compact topological space, let $H$ by a complex Hilbert space and let $\boldsymbol f:X\to H$ be a continuous function vanishing at infinity whose support is equal to $X$...
- 407
0
votes
1
answer
89
views
Monto functions (multiply onto functions)
This is an improvement over Hereditary property of bionto (bi-onto) functions.
Let $\,\ X\,\ Y\ $ be topological spaces. Set $\ A\subseteq X\ $ is said to be clopen in $\ X\ $ iff both $\ A\ $ and $\ ...
- 4,786
1
vote
1
answer
122
views
distance in the matrix algebra w.r.t. the nuclear norm
Let $\varphi\in\mathcal{M}_n(\mathbb{C})$ and let $Z:=\mathbb{C}\cdot I=\{zI\colon\,z\in\mathbb{C}\}$ be the one-dimensional subspace spanned by the identity matrix $I$. Let moreover $\|\cdot\|_{\...
- 1,517
24
votes
2
answers
2k
views
Why are extremally disconnected spaces so hard to give examples of?
Recall that an extremally disconnected space is a Hausdorff topological space in which the closure of any open set is still open.
On the surface, this doesn't seem like a very remarkable condition ...
- 11.5k