All Questions
10,233 questions
6
votes
0
answers
253
views
Are bounded groups of thin operators on Hilbert space similar to groups of unitaries?
QUESTION. Let $G$ be a group of bounded operators on $\ell^2$, satisfying $\sup_{x\in G} \lVert x\rVert <\infty$, whose elements are all of the form "identity+compact" (sometimes called &...
- 25.8k
2
votes
1
answer
150
views
Sufficient conditions for the graph measurability of a multivalued function
I am currently working on a problem related to the measurability of multi-functions in the context of mathematical economics. Specifically, I am searching for sufficient conditions regarding the graph ...
- 79
2
votes
0
answers
180
views
Approximating $L^p$ functions by eigenfunctions of Laplacian
I'm reading a paper https://www.sciencedirect.com/science/article/pii/S0022039608004932.
In this paper, the authors assume that $\mathcal{O}$ is a bounded domain of $\mathbb{R}^N$ with $C^m$ boundary ...
- 121
2
votes
1
answer
225
views
Boundary points in $\overline{\operatorname{conv}\{z_i\}_{i\in I}}$
Let $X$ be an infinitely-dimensional Banach space and $\{z_i\}_{i\in I}$ be a set of linearly independent points in $X_{\leq 1}$, the closed unit ball of $X$. $I$ the index set is not necessarily ...
- 307
6
votes
1
answer
310
views
Surjectivity of a class of integrals in dimensions two
Let $\Omega \subset \mathbb{R}^2$ be an open set and $G(x,\theta): \Omega \times [0,2\pi]\rightarrow \mathbb{R}$ be a positive continuous function. Assume $F:\Omega \rightarrow \mathbb{R}^2$ defined ...
- 434
1
vote
1
answer
143
views
$L^1$ error between indicator function and smoothed out version
For a large parameter $r>0$, consider the indicator function $1_{[-r,r]}$ and its convolution with the (normalized) Gaussian $\frac{1}{\sqrt{\pi}}e^{-x^2}$, that is,
$$f_r(x) = \frac{1}{\sqrt{\pi}}\...
- 101
14
votes
0
answers
237
views
Unitary group of a von Neumann algebra: is it a retract of $U(H)$?
Let $M\subset B(H)$ be a properly infinite von Neumann algebra (the case I care about is $M=$ hyperfinite $\mathrm{III}_1$).
Consider the unitary groups $U(M)$ and $U(H)$ in their strong operator ...
- 43.2k
1
vote
0
answers
54
views
Minimal F-semi-norms
There are conflicting terminologies in the literature on this subject, so let me define an F-semi-norms on a real vector space $E$ to be a subadditive function $\rho:E\to[0,+\infty)$ such that $\rho\...
- 5,529
1
vote
2
answers
181
views
Solution of $\Delta f -\frac{1}{2}hf = 0$ behaves asymptotically as $f(x) = 1 - C/|x|$
Let $f: \mathbb{R}^{3} \to \mathbb{R}$ be the solution of the following PDE:
$$\Delta f -\frac{1}{2}h f = 0$$
where $h \in C_{c}^{\infty}(\mathbb{R}^{3})$ (compactly supported an smooth) and $f$ ...
- 3,535
1
vote
1
answer
310
views
Weak convergence in $H^{1}$ implies different convergence in $L^{p}$?
Suppose I have a sequence $\{f_{n}\}_{n\in \mathbb{N}} \subset H^{1}(\mathbb{R}^{d})$ which converges weakly to $f$ in $H^{1}(\mathbb{R}^{d})$, in the sense that $\langle f_{n},\varphi \rangle_{L^{2}}+...
1
vote
1
answer
84
views
optimization over moving domains
Let $A, B$ be Banach spaces, and for any $a\in A$, $B_a\in B$ is a measurable subset. Consider the following optimization problem:
$$L(a)=\inf_{b\in B_a}\ell(b),$$
where $\ell(b)$ is a infinite-times ...
- 87
3
votes
1
answer
339
views
On a Poincaré inequality with weight
Let $\Omega$ be a bounded convex (non-empty) open subset of $\mathbb{R}^n$ ($\Omega$ can be as smooth as you like). Let also $p, q > 1$ be conjugate exponents.
Is it true that there exists a ...
- 1,263
0
votes
0
answers
138
views
Question about a step in the proof of the min-max principle
I honestly do not think this is a hard question, maybe it is even obvious but I tried MSE and had no success so far, so I am reproducing the question Question about the proof of the min-max principle ...
- 1,305
-2
votes
1
answer
143
views
Relationship between noncommutative torus for different values of theta [closed]
Let $u,v\in B(L_2(\mathbb T))$ defined as $u(f)(z)=zf(z)$ and $v(f)(z)=f(ze^{-2\pi i\theta})$ for $z\in\mathbb T$ where $\theta\in\mathbb R\setminus\mathbb{Q}$. Denote the $C^*$ algebra generated by $...
- 1,879
0
votes
0
answers
80
views
Continuity of linear map on tensor product spaces with different norm properties
I originally asked this question on StackExchange, but I think that it may be more suitable to here.
Let $V$ and $U$ be Banach spaces. I'm considering a linear map $\phi: V \rightarrow U$, and ...
- 177
3
votes
0
answers
245
views
Norm on the space of real analytic functions
The space $C^{\omega}(\Omega)$ of real-valued real analytic functions on the open bounded set $\Omega\subset \mathbb R^n$ does not have any obvious or natural metric which would make it a Fréchet ...
- 203
2
votes
1
answer
223
views
Is the projective limit $\mathcal{D}(\mathbb{R})$ separable?
Let $\mathscr{D}(\mathbb{R})$ be the set $C_0^\infty(\mathbb{R})$ of smooth functions with compact support endowed with the following topology:
The initial topology with respect to the family maps $(\...
0
votes
0
answers
51
views
Reparameterizing a function to be linearly bounded
Trying to find a reparameterization of a function from $f(y, z, \ldots)(x)$ to $f(y(a_1), z(a_2), \ldots)(x)$ so that for all $x \in [r, t]$ we have
$$
|f(y(a_1), z(a_2), \dots)(x) - f(y(b_1), z(b_2), ...
- 101
2
votes
1
answer
253
views
A question about equivalence of weighted Sobolev space norm in S. Benzoni-Gavage and D. Serre's book
This question may not be at the research level, but it has really bothered me for a long time. The following space is used for handling initial boundary value problem for first order hyperbolic ...
- 187
3
votes
1
answer
298
views
Pointwise convergence and disjoint sequences in $C(K)$
Let $K$ be a Hausdorff compact space and let $C(K)$ be the space of continuous real-valued functions on $K$. A sequence $(h_n)$ in $C(K)$ is called almost disjoint if there is a sequence $(g_n)$ with ...
- 5,529
4
votes
2
answers
378
views
A possible measure-theoretic pathology
Let $S$ be a nonempty closed subset of the open unit square $(0,1)^2 = X \times Y$
that has the following "shadow property":
For any aligned open square $C = A \times B$ that intersects $S$, ...
- 41
5
votes
2
answers
625
views
Reconstruction of second-order elliptic operator from spectrum
Let $M$ be a compact smooth manifold, $(\lambda_n)_{n=1}^{\infty}$ be a square-summable monotonically increasing sequence of non-negative numbers, and let $(f_k)_{k=1}^{\infty}$ be continuous ...
- 364
1
vote
1
answer
208
views
Weak-star convergence implies trace-norm convergence
By definition, if bounded operators $a_i$ converge to $0$ in the weak*-star topology, then $\operatorname{tr} a_it \to 0$ for any trace-class $t$.
Does this also hold for the trace-norm instead of the ...
- 896
6
votes
1
answer
249
views
Existence of adjoint operators on manifolds
Let $(M,g)$ be an oriented Riemannian manifold and $V$ a finite-rank vector bundle equipped with a non-degenerate bundle metric $\langle\cdot,\cdot\rangle_{V}$. This bundle metric, in turn, gives rise ...
- 1,429
7
votes
1
answer
453
views
Strong limits of nilpotent operators
Let $H$ be an infinite-dimensional Hilbert space.
Is it possible that the Identity $H\to H$ is a strong limit of nilpotent compact operators?
user473423
2
votes
0
answers
78
views
Analogy between quasi-injective modules & extensible Banach spaces
Let $X$ be a module. $X$ is said to be quasi-injective if every homomorphism $h:A\to X$ from any submodule $A\subseteq X$ has an extension to an endomorphism $\tilde{h}:X\to X$.
A module $X$ is quasi-...
- 2,605
0
votes
0
answers
137
views
Convexity of an equivalent norm
Let $X=l_2$ with usual norm $\|\cdot\|_2$. We define a subspace of $X$ as $D=conv (B_{l_2} \cup B),$ where $B = \{ (x_n) \in l_2 : \sum_{n=1}^\infty \frac{n}{2} x_n^2 \leq 1\}$, conv is the convex ...
- 85
1
vote
0
answers
113
views
Inclusion of finite dimensional C*-algebras and relative commutants of subfactors
Given a subfactor $N\subset M$ with finite Jones index, the inclusion of relative commutants $N^{\prime}\cap M\subset N^{\prime}\cap M_1$ (here, $M_1$ is the basic construction of $N\subset M$) is a ...
- 393
2
votes
1
answer
99
views
Definite negative functions and length functions
$\DeclareMathOperator\ND{ND}$I am reading E. Bedos paper on heat properties for groups.
Let's denote, for a group G, $$\ND^+_0(G) := \{d : G \to [0,+\infty[\; : \;d \text{ is negative definite and }d(...
- 21
0
votes
0
answers
75
views
Goldstine theorem in quasi-Banach spaces
A classical theorem of Goldstine is the following: Let $X$ be a Banach space and $J \colon X \to X''$ the natural inclusion. Then $J(B_X)$ is $\sigma(X'', X')$-dense in $B_{X''}$, where $B_Y$ is the ...
2
votes
1
answer
155
views
Variation of concept of a Lusin space
Citing from Wikipedia,
A Hausdorff topological space is a Lusin space if some stronger topology makes it into a Polish space.
Is there a (previously studied) analogous concept of a Hausdorff (...
- 651
2
votes
0
answers
124
views
Uniqueness in interpolation of Hilbert spaces
I am wondering under what condition it is true that for Hilbert spaces $H$ and $H_0$ such that $H \hookrightarrow H_0$ there is uniqueness in the existence of a Hilbert space $H_1 \hookrightarrow H$ ...
- 21
2
votes
2
answers
135
views
Directed sets of positive elements in noncommutative $\mathrm L^p$ spaces
Let $\tau$ be a faithful normal semifinite trace on a von Neumann algebra $\mathcal M$.
If $1<p<\infty$ and $E$ is a nonempty subset of $\mathrm L^p(\mathcal M,\tau)_+$ such that
for every $x\...
- 407
1
vote
1
answer
88
views
Mean values of polynomial and holomorphic matrices
Lemma. Assume $H: \mathbb{R} \to \mathbb{R}^{d \times d}$ is a polynomial of degree $m$, such that for all $x \in \mathbb{R}$, $H(x)$ is a symmetric semidefinite matrix. For all $n \geq 0$ and real ...
- 981
2
votes
0
answers
126
views
Differential equations: trying to connect a nonlinear equation to a linear one
The following is motivated by taking a product space $\Omega$ and splitting it into two parts via projections, whose subspaces, $T$ and $X$, are home to functions which satisfy a nonlinear PDE and a ...
- 383
2
votes
0
answers
91
views
How to show $ |(Bx,x)|\leq (Ax,x) $ for any $ x\in D(A) $ here?
On the Hilbert space $ H $, $ A $ is a non-negative self-adjoint operator and $ B $ is a symmetric operator. Let $ D(B)\supset D(A) $, where $ D(A) $ and $ D(B) $ are definite domain for $ A $ and $ B ...
- 1,219
1
vote
1
answer
180
views
On the compact embedding of Sobolev space
In dimension three, we know that the Sobolev space $W^{\frac{13}{11},11}(D)$ is compactly embedded into $W^{1,11}(D)$, where $D$ is a bounded domain in $R^3$ with smooth boundary. My question is: Does ...
- 31
3
votes
1
answer
103
views
Relation between factor condition on von Neumann algebras and modularity condition on ribbon fusion categories
A modular tensor category is defined to be a ribbon fusion category $\mathcal{C}$ in which the only objects which commute with all other objects are multiples of the identity. That is, if we denote by ...
- 2,902
3
votes
0
answers
94
views
Are U(H) and PU(H) locally uniform topological groups with the norm topology? Towards an instance of infinite-dimensional Hilbert's Fifth Problem
In looking at the work of Enflo generalising Hilbert's Fifth Problem from the Euclidean to the Banach case, there are the following conditions:
the multiplication in the topological group is locally ...
- 35.5k
0
votes
0
answers
56
views
Zero flux along lines
I am considering the $L^1$ ball in $\mathbb{R}^d$, and a conservative vector field $V$ on it, which arises as the gradient of a bounded, almost-everywhere Lipchitz-function. Denoting by $e_i$ as the i’...
- 232
10
votes
0
answers
653
views
Eigenfunctions of the integral kernel $1/(x^2 + x'^2)$
My question seems elementary, yet I could not find the solution after working on and searching for several days...
I'd like to find the eigenfunctions of a simple integral kernel:
\begin{equation}
\...
- 101
3
votes
1
answer
214
views
Convergence of spectrum
Let $M$ be a compact manifold and $g_k$ be a sequence of Riemannain metrics smoothly converging to another Riemannian metric $g$.
Let $\{\lambda^k_j\}$ be the spectrum of the Laplacian of the ...
- 1,211
2
votes
0
answers
94
views
Existence of Green function for some perturbation of Laplace operator
Let $\Omega$ be a smooth bounded domain in $\mathbb{R}^N$ $(N\geq2)$ and $\lambda>0$ is a small parameter. I wonder if there exists a Green function such that
$$(\Delta+\lambda) G(x,y)=\delta_x\...
- 471
2
votes
0
answers
119
views
Depth of the reduced subfactor
Suppose $N\subset M$ is a finite depth subfactor with $[M:N]<\infty$. Consider the reduced subfactor $pNp\subset pMp$ for some projection $p\in N$. How to calculate the depth of $pNp\subset pMp$ in ...
- 393
2
votes
1
answer
69
views
Spectral threshold effect: examples
I know that the effect of homogenization can be treated as a spectral threshold effect. I want to know more examples of spectral threshold effects in mathematical physics.
3
votes
0
answers
253
views
Two more topologies on unitary groups
Let $H$ be a separable Hilbert space and let $\operatorname{U}(H)$ be the group of unitary transformations of $H$. It is well known that the weak, strong and compact-open topologies on $\operatorname{...
- 9,853
2
votes
1
answer
228
views
Given an eigenvalue equation (elliptic PDE) in a ball $B_R$, prove the convergence of the first nonzero $\lambda_R$ and its eigenfunction $\phi_R$
Let $H: \mathbf{R}^n \rightarrow \mathbf{R}$ be a bounded continuous function. Set
$$\tag{1}
\int_{\mathbf{R}^n}\left\{|\nabla \xi|^2+H(x) \xi^2\right\} \mathrm{d} x \geqslant 0, \quad \forall \xi \in ...
- 809
2
votes
1
answer
137
views
Disturbance of self-adjoint operator
Assume that $ A $ is self-adjoint operator and $ B $ is a bounded self-adjoint operator. The definite domain of $ A,B $, denoted by $ D(A) $ and $ D(B) $ satisfies $ D(A)\subset D(B) $. Show that
\...
- 1,219
5
votes
1
answer
165
views
Approximation from below of positive elements in tensor product of von Neumann algebras
Let $\mathcal M$ and $\mathcal N$ be two von Neumann algebras.
If $x$ is a positive element of $\mathcal M$ and $y$ is a positive element of $\mathcal N$, it is known that $x\otimes y$ is a positive ...
- 407
1
vote
0
answers
113
views
Computing a limit for the Weierstrass function
Let $a\in (0,1)$ and let $b$ be an odd positive integer such that $ab>1+\frac{3}{2}\pi$. Let $\alpha \in (0,1)$ be defined by $\alpha= -\frac{ln(a)}{ln(b)}$ and consider the well known Weierstrass ...
- 4,153