All Questions
12,823 questions
-6
votes
1
answer
180
views
An analog of Anderson's result in C* algebra setting [closed]
Let $\mathcal{A}$ be a unital $C^{*}$-algebra and $S(\mathcal{A})$ denote the states space of $\mathcal{A}$.
For $a\in \mathcal{A}$ , define $W(a) =\{\phi(a):\phi\in S(\mathcal{A})\}$
It's known that $...
- 307
2
votes
0
answers
179
views
Analytic continuation of $\int_V (f(x_1,\cdots,x_n))^s dx_i$
Let $V$ be an $n$-dimensional simplex, let $f(\boldsymbol{x}) = f(x_1,\cdots,x_n)\in \mathbb{C}[x_1,\cdots,x_n]$ be a product of linear polynomials that is non-zero in interior of $V$. Also let $E(\...
- 528
9
votes
1
answer
429
views
A curious norm related to the L¹ norm
If $f \in C^0([0,1])$, one can define
$$\Vert f \Vert_? = \sup_{J \subset [0,1]} \left\lvert \int_J f \right\rvert,$$
where $J$ runs among all subintervals of $[0,1]$.
This is a norm on $C^0([0,1])$ (...
- 575
1
vote
1
answer
102
views
Does $C^{k,s-k}$ function with lipschitz lower order derivatives give a certain bound on the Taylor remainder?
Let $\Omega \subseteq \mathbb{R}$ be open (not necessarily an interval). Let $ s > 0$ and $k \in \mathbb{N}_0$ be such that $s \in (k, k+1]$. Suppose that
$f \colon \Omega \to \mathbb{R}$ is an ...
- 820
2
votes
1
answer
152
views
Co-locating slowly increasing smooth functions in two different ways
This question is subsequent from my previous one.
I will write everything in detail for the sake of completeness.
Let $g_1$ and $g_2$ be smooth functions on $\mathbb{R}$, whose derivatives of all ...
- 3,477
5
votes
2
answers
256
views
On the closed convex hull of a weakly compact set
Let $H$ be an infinite-dimensional real Hilbert space and let $B$ be the closed unit ball of $H$. Let $K\subset B$ be a weakly compact set whose closed convex hull agrees with $B$. Question: does $K$ ...
- 283
2
votes
0
answers
102
views
Semiclassical limit of spectral gap of Schrödinger operators with nonsmooth potential
Let $\Omega$ be a connected compact subset of $\mathbb{R}^d$. It is well known that for a smooth potential $V:\Omega \to \mathbb{R}$ that has a unique nondegenerate minimum $V(0) = 0$, the operator $H ...
- 1,551
0
votes
0
answers
121
views
Is there a good or commonly accepted short notation for the set of differentiable, but not necessarily continuously differentiable maps?
Every once in a while I find myself in need of some short notation for the set of differentiable, but not continuously differentiable maps, say, $X \to Y$. Always having to specify "...
- 7,127
3
votes
1
answer
182
views
Tensor product of a slowly increasing smooth function and a tempered distribution converging to a co-located product
Let $T$ be a tempered distribution on $\mathbb{R}$ and $g$ be a smooth function on $\mathbb{R}$ whose derivatives of all orders are all polynomially bounded (a.k.a. slowly increasing).
For any pair of ...
- 3,477
0
votes
1
answer
119
views
Detecting singular points from a parametrization
Suppose $r(t)$ parametrizes some, say algebraic, curve in the plane. It can certainly be that $r$ is smooth but the curve is not, since $r$ resolves double points by passing through them at different ...
- 13
-1
votes
1
answer
167
views
Space of distributions on $[0,1]^2$: weakly compact or not?
Let $X_1,X_2$ be distributions on $[0,1]$ and let $X=(X_1,X_2)$ be the joint distribution of $X_1,X_2$. Let $\mathcal{X}$ be the set of all such joint distribution $X$.
Question 1: Does $\mathcal{X}$ ...
- 349
1
vote
1
answer
40
views
Envelopes of functions with respect to some convex cone $\mathcal{F}$
Let's say we are given a function $f:\mathbb R ^d\to \mathbb R$ continuous. Assume that $\mathcal F$ is a convex cone of continuous functions ($\mathbb R^d$ to $\mathbb R$) closed under maxima. I am ...
- 291
4
votes
0
answers
80
views
Interpolation-extrapolation scales of H. Amann
I am currently reading H. Amann's notes titled "Nonhomogeneous linear and quasilinear elliptic and parabolic boundary value problems", and I have a question regarding the abstract ...
- 145
0
votes
0
answers
61
views
Bounding the coefficients of a polynomial written as the sum of powers of linear forms
Crosspost: Just a heads up, I've posted this question on math.stackexchange as well. I have made new attempts at solving it though, and figured I'd ask here since it's more of a research-level ...
- 121
1
vote
2
answers
120
views
Expansion of the associated Legendre polynomials $P^m_l(\cos\vartheta)$ for $\vartheta \rightarrow 0$
A simple test with Mathematica indicates that for the associated Legendre polynomials $P^m_l$ the following relation should hold:
$$ \lim_{\vartheta\rightarrow 0} P^m_l(\cos\vartheta) =a_{lm} \...
- 369
5
votes
1
answer
183
views
What is a natural interpretation of the commutator of the conditional expectation operator?
Notation: We denote by $\mathbb E_{\mathcal F} X$ the conditional expectation of the random variable $X$ with respect to the $\sigma$-algebra $\mathcal F$.
Given two $\sigma$-algebras $\mathcal G, \...
- 6,165
3
votes
1
answer
111
views
Sobolev inequalities and Wiener algebra
It follows from the Gagliardo-Nirenberg inequality that for a locally integrable function $f$ defined on $\mathbb R^d$ (we assume $d\ge 3$)
such that $\nabla f$ belongs to $L^2(\mathbb R^d)$ and
$$
\...
- 16.2k
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? ...
- 287
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 ...
- 617
10
votes
1
answer
314
views
Weakly metrizable sets in normed spaces
A similar question was asked on MSE without getting an answer.
In the proof of lemma 1.2 of Asplund operators and holomorphic maps the author (my attempt to contact him failed because the only e-mail ...
- 16.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
3
votes
0
answers
196
views
Parabolic smoothing for semilinear PDE
Consider the semilinear energy-critical parabolic PDE in $\mathbb{R}^3$
\begin{align}
\partial_t u &= \Delta u + |u|^{4/(n-2)}u = \Delta u + u^5\\
u(0,x) &= u_0\in \smash{\dot{H}}^1(\mathbb{R}^...
- 537
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
160
views
Is the function $(z-1)(2^{z}-1)\zeta(z)$ logarithmically concave and convex in $z\in(0,\infty)$?
For proving that the sequence
\begin{equation}\label{first-proof-decreas-seq}
\frac{1}{(2k-1)(k+1)} \frac{2^{2k+2}-1}{2^{2k}-1} \biggl|\frac{B_{2k+2}}{B_{2k}}\biggr|
\end{equation}
is decreasing in $k\...
- 1,091
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 ...
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
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$,...
- 2,830
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,...
- 2,830
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{ ...
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}, \...
- 171
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,018
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)^*...
- 56
2
votes
1
answer
315
views
Where to find or how to establish a general formula for the improper integral $\int_{0}^{\infty}\frac{\sin t}{t}(\ln t)^k\operatorname{d\!} t$?
When I tried to establish the Maclaurin power series expansion of the reciprocal $\frac{1}{\Gamma(z)}$ of the Euler gamma function $\Gamma(z)$, I came across the improper integral $$
I_k=\int_{0}^{\...
- 1,091
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 ...
- 356
1
vote
0
answers
39
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(...
- 565
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
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 ...
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 ...
- 1,101
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 ...
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}...
- 6,351
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
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 $...
- 407
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_{...
- 407
3
votes
1
answer
240
views
Solutions and asymptotics of the ODE $ f''=f^{-\alpha} $
Consider the ODE $ f''=f^{-\alpha} $, where $ \alpha>1 $ and $ f>0 $ in $ \mathbb{R} $. Assume that for $ [f]_{\frac{2}{\alpha+1}}\leq A $, where $ A>0 $ is a constant and
$$
[f]_{\frac{2}{\...
- 1,219
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 ...
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 ...
- 21
1
vote
1
answer
136
views
$\ell^2 \to L^\infty$-inequality for almost periodic functions
Suppose $u : \mathbb R \to \mathbb C$ is a smooth, (Bohr) almost periodic function. Formally, such a function admits a Fourier series expansion
$$u(x) = \sum_{\lambda \in \Lambda} \widehat u(k) e^{i \...
- 301
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 ...
- 151