All Questions
4,446 questions with no upvoted or accepted answers
3
votes
0
answers
140
views
Sufficient condition for the unique solvability of Dirichlet problem of Hamilton-Jacobi equation
It shall be an old story in PDE.
I am looking for a sufficient condition of Dirichlet problem for the existence of the unique viscosity solution of the equation in the form of
$$\inf_{a \in [-1,1]} \{...
- 1,399
3
votes
0
answers
578
views
Measures on a unit sphere of a Hilbert space
Consider a real separable infinite-dimensional Hilbert space $H$. Let $S=\{h\in H\mid \|h\|=1\}$ be a unit sphere in $H$. What are the most natural measures on $S$? Is there a (Borel) measure $\mu$ on ...
- 73
3
votes
0
answers
237
views
Orthogonality relations for unitary representations of infinite (finitely generated) groups
Let $G$ be a group, and consider the matrix elements of finite dimensional irreducible unitary representations of $G$ over $\mathbb{C}$ as functions $f:G\to \mathbb{C}$. If $G$ is finite, any two ...
- 333
3
votes
0
answers
95
views
Strengthening of the local smoothing estimates for the free Laplacian
The classical local-smoothing estimates for the free Laplacian asserts that:
$$\Vert e^{-it\Delta}f\Vert_{L^2((-\infty,+\infty)\,;\,H^{1/2}(B))}\leq C_B\cdot\Vert f\Vert_{L^2}$$
where $B\subset\mathbb{...
- 943
3
votes
0
answers
73
views
On the principal eigenvector of an elliptic operator
Suppose I have an open domain $U \subset \mathbb{R}^n$ and an elliptic operator $L$ acting on all square-integrable $C^2$ functions $\rho:U\to \mathbb{R}$ which converge to zero at $\partial U$:
\...
- 1,461
3
votes
0
answers
61
views
Isometry from a representation to the representation tensored with itself
Suppose, the group $ G=S(2^{\infty})$ has a unitary representation $ \pi $ on a separable infinite dimensional Hilbert space $ H $.
(The group $ S(2^{\infty}) $ is the direct limit of the following ...
- 817
3
votes
0
answers
82
views
Eigenvalues of approximations to product-convolution operators
Consider an operator $T: L^2 \mapsto L^2$ of the form $TA = g (h \ast A)$ where $g$ is and $h$ are bounded $C^\infty$ functions.
This operator $T$ can be shown to be Hilbert-Schmidt, hence compact. ...
- 455
3
votes
0
answers
103
views
Separation-free topological completeness notion
Cannot really claim that I have immediate urgent motivation to study this question but it appeared to me long ago, I recalled it now by some reason and decided to ask it here.
There is a strong ...
- 18.4k
3
votes
0
answers
148
views
Average nastiness of a Newton polytope
Given a Newton polytope $P$ inside the $d$-scaled simplex ( i.e $\alpha \in P \implies | \alpha |=d $ ), then we define the following quantity:
$$ P(x)= \left( \sum_{\alpha \in P} \binom{d}{\alpha}...
- 351
3
votes
0
answers
262
views
Non-compact analogue of Peter-Weyl
I have the following situation: $G$ is a real unimodular locally compact semisimple Lie group. Then it is known that the regular representation $H:=L^2(G,\mu_H)$ decomposes as
\begin{equation}
\int^{\...
- 1,813
3
votes
0
answers
182
views
LCH topologies on Groups that are not group topologies
Ellis's 1957 paper on Locally Compact Transformation groups proves the following:
A locally compact hausdorff topology on a group $(G, \cdot)$ for which left and right multiplication are (separately)...
- 352
3
votes
0
answers
80
views
When does the ground state energy continuously depend on a parameter?
Given a family of Schrödinger operators $H_\gamma=-\Delta+V_\gamma$, under which condition is the map $\gamma\mapsto\inf\sigma(H_\gamma)$ continuous?
This is surely the case for many textbook ...
- 428
3
votes
0
answers
198
views
Properties of convergence at points of continuity
Let $J$ denote the set of functions $f : [0, \infty) \to \mathbb{R}$ that are right-continuous and have left-hand limits (r.c.l.l.) and such that their points of discontinuity are jumps.
Then $J$ is a ...
- 1,773
3
votes
0
answers
142
views
Automorphism group of Lie algebra of bounded operators
What is the automorphism group of the complex Lie algebra of bounded operators on a complex Hilbert space, with the commutator as Lie bracket? What for the real Lie algebra of bounded antihermitian ...
- 3,873
3
votes
0
answers
306
views
Metric analogues of bounded variation
A function $f:[a,b]\to\mathbb{R}$ is said to be of bounded variation if
$$ \sup_I \sum_{i=1}^n |f(x_i)-f(x_{i-1})| \le V $$
for some finite $V>0$, where the supremum is over all finite partitions
$...
- 6,541
3
votes
0
answers
98
views
Quantum Groups and quantum spaces - From algebra to Analysis
My question will be about the non-standard quantum projective space $\mathcal{A}_q(\mathbb{CP}^n(c,d))$ introduced by Dijkhuizen and Noumi. I want to see this algebra now on a von Neumann algebraic ...
3
votes
0
answers
246
views
Inverse problem for negative moments
Let $D$ be a bounded simply connected domain in the plane, bounded by a smooth closed curve $\partial D$. Moreover$D$ contains the origin. Assume that all negative complex moments w.r.t arc-length ...
- 1,583
3
votes
0
answers
225
views
Sigma algebra generated by SOT versus of sigma algebra generated by WOT
Let $H$ be a non-separable Hilbert space. Let us denote $B_s$ ($B_w$), by the sigma algebra generated by the strong operator topology (weak operator topology) on $B(H)$.
Question: Is $B_s$ the same ...
- 4,058
3
votes
0
answers
204
views
Uniqueness of the reduced free product of unital completely positive maps
For $1\leq i\leq n$, let $\psi_i$ be a faithful state on the C$^*$-algebra $A_i$ and $\phi_i$ be a faithful state on the C$^*$-algebra $B_i$. Let $(A,\psi) = *_{i=1}^n (A_i,\psi_i)$ and $(B, \phi) = *...
- 3,984
3
votes
0
answers
300
views
Isolated Eigenvalue of $T$ is also an isolated eigenvalue of $\overline{T}$?
I am working with transfer operators and I reach a point where would be nice if I could use a result from Tosio Kato's book about perturbation theory of linear operators. I think I am able to use Kato'...
- 2,044
3
votes
0
answers
96
views
Moment Sequence in l²
I have the following problem/question:
For which finite regular complex measures $\mu$ is the moment sequence
$$
\left(\int_{[-1,1]}t^k\,d\mu\right)_{k\in\mathbb N}
$$
a member of $\ell^2(\mathbb N)$?...
3
votes
0
answers
117
views
A measurable implicit function with differentiated arguments
I have encountered the need for an unusual implicit function theorem, about which I know very little. I would appreciate it if someone could help me with a few pointers.
The setup is as follows. Let $...
- 183
3
votes
0
answers
140
views
Has every Lusin vector space a stronger Polish vector space topology?
Let $X$ be a topological vector space or even a locally convex space such that its (vector space) topology is Lusin, i.e. there is some stronger Polish topology. Does there also exist a stronger ...
- 1,773
3
votes
0
answers
406
views
Smooth perturbation of a positive self-adjoint operator with compact resolvent
Consider a one-parameter family $A_t$ of unbounded positive self-adjoint operators with discrete spectrum (for example, one can consider a one-parameter family of Laplacians on a compact Riemannian ...
- 31
3
votes
0
answers
74
views
Trace space of $\{ t^su \in L^2(0,\infty;X) \mid t^su_t \in L^2(0,\infty;Y)\}$ for $s \in (-\frac 12, \frac 12)$
Let $s \in (-\frac 12,\frac 12)$ and let $X=D(\Lambda)$ be a Hilbert space with $\Lambda$ the infinitesimal generator of a bounded semigroup of class $C^0$ in $Y$ (which is another Hilbert space), and ...
- 251
3
votes
0
answers
93
views
When closed subsets have finitely many connected componenets
Let $X$ be topological space such that every its closed subset has finitely many connected componenets. Is there any charactrization for such topological space?
- 31
3
votes
0
answers
1k
views
Notion of convergence on a dense subset
My motivation for this question is as follows.
Consider the set $D$ of cadlag functions on $(0,1)$ and its subset $D^\uparrow$ of non-decreasing cadlag functions.
Each $f \in D$ has at most countably ...
- 1,773
3
votes
0
answers
392
views
Compact embedding of ${\rm L}^1_{loc}$ space
I was reading one preprint and stumbled upon a part in the proof where one particular embedding was used. Namely:
Let $\Omega\subset{\bf R}^2$ be open and bounded and let $p\in\langle
1,2\rangle$. ...
- 165
3
votes
0
answers
175
views
polynomial relations between modular functions
$\newcommand{\Qbar}{\overline{\mathbb{Q}}}$
We define a modular function to be a meromorphic modular form of weight 0 for some subgroup (not necessarily congruence) $\Gamma\le\text{SL}_2(\mathbb{Z})$ ...
- 10.7k
3
votes
0
answers
74
views
Semi-continuity of the dimension of the null space
Suppose $T_n : X \rightarrow X$ is a sequence of Fredholm operators on a Banach space such that $T_k \rightarrow T$ strongly (in the induced operator norm). If $N_k$ and $N$ denote the dimensions of ...
- 537
3
votes
0
answers
98
views
How Universal is the Topological $\mathbb K$-algebra $C(\Omega, \mathbb K)$?
For $\Omega$ an arbitrary set the family $C(\Omega, \mathbb K)$ of all functions $\Omega \to \mathbb K$ becomes a complete topological $\mathbb K$-algebra under the topology of uniform convergence. ...
- 1,955
3
votes
0
answers
501
views
Some counter examples in group theory
In this question, which we flag it as a community wiki question, we search for a big list of groups $G$ which can not be isomorphic to a structure mentioned in $i.$ for some $i \in \{1,2,\ldots,...
3
votes
0
answers
113
views
Adjunctions of uniformly locally connected spaces
A space $X$ is uniformly locally connected (ULC) if there exists an open neighbourhood $U$ of the diagonal $\vartriangle_X$ in $X \times X$ and a homotopy $H: U \times I \to X$ between $\pi_1|U$ and $\...
- 81
3
votes
0
answers
115
views
Cardinality based results in Topological Vector Spaces?
Given a topological vector space $V$, let its density be the smallest cardinal $A$ such that a set of cardinality $A$ is dense in $V$. Naively, it seems one of two things happen:
TVS's $V$ of larger ...
- 437
3
votes
0
answers
229
views
Area defined with $\pm$ closedness
Denote $B_n\subset\Bbb R^n$ to be unit ball at origin.
Denote $S\subset B_n$ to region of type $\mathsf I$ if it satisfies
$$s\in S\iff\forall t\in S, s+t\in S\mbox{ or }s-t\in S$$
I am convinced $\...
- 13.9k
3
votes
0
answers
109
views
Nemytskii/superposition operator without separability of Banach space?
Let $T:[0,1] \times X \to \mathbb{R}$ be a nonlinear map where $X$ is a Banach space. Suppose that $T$ is a Caratheodory map, so that $t \mapsto F(t,x)$ is measurable and $x \mapsto F(t,x)$ is ...
- 171
3
votes
0
answers
137
views
An estimate for the maximal $C^*$-norm in the group algebra of a free group
Let $F\twoheadrightarrow G$ be an epimorphism of groups, $F$ being finitely generated and free. Let $H$ be its kernel. Consider a lifting
$i:G\hookrightarrow F$ of the epimorphism.
Every element of $...
- 401
3
votes
0
answers
69
views
Dilation of positive operators into martingales
In Rota's paper (An Alternierende Verfahren for General Positive Operators), Theorem 2 says that: Let $P$ be a doubly stochastic operator which is selfadjoint in $L^2 (S, \Sigma, \mu)$. Then there is ...
- 31
3
votes
0
answers
104
views
independent symmetric 3-valued random variables in Lp
Consider the following excerpt from this paper:
Given $1<p<2$, $0<w\leq 1$ and $n\in\mathbb{N}$, we fix once and for all a sequence $f_j^{(n)}=f_{p,w,j}^{(n)}$, $1\leq j\leq n$, of ...
- 1,591
3
votes
0
answers
134
views
Poincare inequality for the measure of Brownian path
I am wondering if the Poincare inequality holds for the Brownian path space.
As the simplest example, let $\{w_t, t \in [0, 1]\}$ be a 1-d standard BM: has independent increments and continuous ...
- 199
3
votes
0
answers
72
views
Pointwise (a.e) evaluation of $\sum_{n \geq 0}(u,w_n)_{L^2}w_n$ and equalities in $L^2$
Let $w_n$ be a orthonormal basis of $L^2(\Omega)$. Given $u \in L^2$ we can write $$u=\sum_{n \geq 0}(u,w_n)_{L^2}w_n.$$
Suppose $w_n$ are the eigenfunctions of the Neumann Laplacian. We can write
$$\...
- 31
3
votes
0
answers
211
views
Arveson spectrum for a unitary representation of a group on a Hilbert space
Although this is not research, I think the question is a little bit too specific for math.stackexchange
Let $G = \mathbb{R}$. By Stone's theorem, $U(t)\in\mathcal{B}(\mathcal{H})$ is generated by a ...
- 189
3
votes
0
answers
144
views
Transitive closure of balanced bounded mass transport
Given two $\sigma$-finite measures $\mu$ and $\nu$ on $\mathbb{R}^n$, write $\mu \sim \nu$ iff there exist countable decompositions $\mu = \mu_1 + \mu_2 + \cdots$ and $\nu = \nu_1 + \nu_2 + \cdots$ ...
- 19.7k
3
votes
0
answers
201
views
Which compact topological spaces are homeomorphic to their ultrapower?
It is well known that for any compact metric space $(X, d)$, and any ultrafilter $\mu$ there is a map $i_\mu:\prod_\mu (X, d) \to (X_d)$ in the category of metric spaces and Lipschitz maps where $i_\...
- 2,221
3
votes
0
answers
443
views
Infinite sums with Mobius Inversion : can we have uniform convergence of inversion formula?
My question is on Mobius inversion formula convergence/properties when used with infinite sums of function.
Lets consider (on $\mathbb{R}^{+}$):
$$S(x)= \sum\limits_{n=1}^{\infty} f(nx)$$
We call $...
- 1,199
3
votes
0
answers
582
views
Lipschitz continuity of a composition operator
Let $M$ be a compact Riemannian submanifold of $\mathbb{R}^K$, $U\subset \mathbb{R}^K$ an open neighboorhood of $M$ such that the shortest point Projection $P_M\colon U\rightarrow M$ is well-defined ...
- 2,286
3
votes
0
answers
262
views
About the small set expansion conjecture
Given a graph $G=(V,E)$ and a $\delta > 0$ one wants to calculate $h(G,\delta)=min_{\vert S\vert \leq \delta \vert V \vert } \phi(S)$. ($\phi(S) = \frac{ E(S,\bar{S}) }{d min \{\vert S \vert , n - \...
- 1,893
3
votes
0
answers
354
views
A Characterization of Closed Ideals in $C^{\infty}(\mathbb{R}^n)$
The space $C^{\infty}(\mathbb{R}^n)$ can be turned into a topological ring using the Whitney topology. Whitney's Spectral Theorem says that the closure of an ideal in this ring is the ideal of all ...
- 343
3
votes
0
answers
113
views
Stationarity of Brownian motion with drift
Suppose the following SDE for $X_t$ is well-posed:
$$dX_t = \sqrt{2}\, dB_t - \nabla\Phi(X_t)\,dt.$$
For what $\Phi\in C^1(R^d)$ will $X$ have stationary distribution $u_{\infty}$? For what $\Phi$ ...
- 165
3
votes
0
answers
168
views
Norm condition in a Banach lattice
Consider the following "condition (J)" on the norm of a (real or complex) Banach lattice $E$: whenever $x$ and $y$ are disjoint (i.e., $|x|\wedge |y|=0$) then
$\|x+y\|+\|x-y\|=2\|x\|+2\|y\|$.
...
- 1,704