All Questions
3,599 questions with no upvoted or accepted answers
2
votes
0
answers
66
views
Existence of saddle points under a $C^0$-perturbation of a continuous function
Let $f:\mathbb{R}\to \mathbb{R}$ be a continuous function and has a strict maximum point $a$ and strict minimum point $b$. Define $g(x,y)=f(x)+f(y)$ and $h_\varepsilon(x,y)$ be a family of continuous ...
- 379
2
votes
0
answers
176
views
Projections in von Neumann algebra tensor product
Let $\mathcal M\subseteq B(\mathcal H)$ be a von Neumann algebra with normal faithful semifinite trace $\tau.$ Consider the von Neumann algebra $\mathcal N:=L_\infty([0,1])\overline{\otimes}\mathcal M$...
- 1,879
2
votes
0
answers
122
views
Consistent approximation of weighted Radon transform of smooth probability density, using kernel density estimation
Let $X$ be a random vector in $\mathbb R^d$, with "sufficiently smooth" probability density function on $\rho$. For unit-vectors $w$ and $u$ in $\mathbb R^d$, and a scalar $b \in \mathbb R$, ...
- 6,853
2
votes
0
answers
149
views
A closed ideal in $L^1(T)$
Let $\mathbb{T}$ be the unit circle and consider the convolution group algebra $L^1(\mathbb{T})$. Let $I_n$ be the closed ideal generated by the polynomial $p_n(z)=z^n-1$ in $L^1(\mathbb{T})$.
Let $I=...
- 4,058
2
votes
1
answer
547
views
Shift-invariant spaces
We can define a shift-invariant space as
$$V_{\varphi}(\mathbb{Z}):=\left\{\sum_{k\in\mathbb{Z}}c_k\varphi({\cdot}-k):(c_k)\in \ell_2\right\},$$
where convergence of the series is taken to be in $L^2(\...
- 49
2
votes
0
answers
197
views
Trouble understanding Lax method for KDV equation for inverse scattering method
I am trying to learn the Lax pair condition on my own so that I can eventually learn the inverse scattering method. I am following a paper by Tuncay Aktosun ("Inverse scattering transform and the ...
- 21
2
votes
0
answers
93
views
Finite approximations to the Kuratowski/Fréchet embedding
Let $(X,d)$ be a compact doubling metric space with doubling constant $C>0$. Let $\{\mathbb{X}_n\}_{n=0}^{\infty}$ be a sequences of finite subsets of $X$ with
$$
\left\{B\left(x_k,\frac1{n}\right)...
- 195
2
votes
0
answers
172
views
Distributions whose derivatives are Radon measures
It is not difficult to show that if $f\in L^{loc}_1(\mathbb{R})$ and its derivative $Df$ (as an element of $\mathcal{D}'(\mathbb{R})$)is a Radon measure in $\mathbb{R}$ with finite total variation, ...
- 271
2
votes
0
answers
166
views
Green's function for elliptic PDE with potential
$\newcommand{\div}{\operatorname{div}}$Suppose I have an elliptic operator $\mathcal{L} u = -\div (A \nabla u) $ on some open set $\Omega \subseteq \mathbb{R}^d$ where here $A$ is uniformly elliptic ...
2
votes
0
answers
124
views
Almost periodic functions in weak mixing extension
In Theorem 3.4.6 of the 'Lecture notes on ergodic theory' by Jesse Peterson, it is shown that in a weak mixing extension, every almost periodic function is trivial. I have a doubt in the proof of this ...
- 85
2
votes
0
answers
192
views
Almost periodicity and approximation in tracial von Neumann algebra
Let $N$ be a von Neumann algebra with a faithful normal tracial state $\tau$. For a countable group $G$, let $\sigma: G\rightarrow \text{Aut}(N)$ be a $G$- action on $N$ which preserves the tracial ...
- 73
2
votes
0
answers
117
views
Is the cone of positive elements in $L^1(G)$ norm closed?
Let's consider $L^1(G)$, the Banach $*$- algebra of all Lebesgue integrable functions on the locally compact group $G$. Put $L^1(G)_+$ by the cone of positive elements given by $\{\sum_1^n f_i^**f_i: ...
- 4,058
2
votes
0
answers
119
views
Norm of operators similar to a unitary one
Let $U$ be a unitary operator on a Hilbert space $H$ and $Q \in B(H)$ is positive and invertible, is it true that if $\|QUQ^{-1}\| = 1$, then $Q$ commutes with $U$?
One can show that this is the case ...
- 1,586
2
votes
0
answers
190
views
Inequality on the dual space of $H^s$
Does there exist a theorem that allow us to say that, if we have an estimate on the Sobolev space $H^s\,,\, s\geq 0$ then we can deduce an estimate on the dual space $H^{-s}$ ?
For instance, assume ...
- 93
2
votes
0
answers
168
views
Density of $\mathrm{span} \{ f(\cdot - n) : n \in \Bbb Z \}$ in $C(\mathbb R)$
I recently came across a survey paper by Allan Pinkus. This paper contains the following result:
Suppose that $g \in L^1(\mathbb R)$ has support in an interval of length at most $2\pi$. If $f=\hat g$ ...
- 437
2
votes
0
answers
134
views
Fourier type of asymptotic-$\ell_{2}$ Banach spaces
A Banach space $X$ is said to have Fourier type $p\in[1,2]$ if the Fourier transform $\hat{f}(s):=\int_{\mathbb{R}}e^{-ist}f(t)dt$ defines a bounded linear operator from $L_{p}(\mathbb{R},X)$ to $L_{p'...
- 201
2
votes
0
answers
121
views
Interpolation of Sobolev/Besov spaces in the limiting case q = ∞
I'm interested in the interpolation space ($1\le p_0,p_1\le\infty$, $0<\theta<1$)
$$
X=(L_{p_0}(0;1),W^1_{p_1}(0,1))_{\theta,q}\quad\text{with}\quad q=\infty\ \ \text{and}\ \ p_0\ne p_1 .
$$
It ...
- 61
2
votes
0
answers
80
views
In what sense the discrete difference operation is "almost" self-adjoint?
It is well-known that on $L^2[0,1]$, the differential operator $i\frac{d}{dx}$ is self-adjoint with domain of differentiable, periodic functions on $[0,1]$.
Now, let us discretize $[0,1]$, say $B_N:=\{...
- 3,477
2
votes
0
answers
267
views
Example of a unital contractive map that is not completely positive on an operator system
I am aware of maps that are positive but not completely positive (for example transpose map). BUT I can not think of an example of the following type.
Does there exist an operator $T$ such that a map $...
- 231
2
votes
0
answers
82
views
Estimate of Wasserstein distance and flow of vector fields under particular assumptions
Let $\mu$ be a compactly supported absolutely continuous probability measure. Let $v,u$ be Lipschitz vector fields. For a vector field $w$ recall that $\Phi_t^w$ denotes its flow.
A classical estimate ...
- 303
2
votes
0
answers
68
views
Core for Neumann Laplacians
Let $d$ be a positive integer. We write $\mathbb{H}^d$ for the closed $d$-dimensional upper-half space: $\mathbb{H}^d=\{(x_1,\ldots,x_d) \in \mathbb{R}^d,\,x_d \ge 0\}$. We consider the Neumann ...
- 721
2
votes
0
answers
73
views
Question about Gidas-Ni-Nirenberg result
Background:
So I know that the Euler Lagrange equation associated with the Sobolev inequality takes the following form,
$$-\Delta u = u^p$$
where $p=2^*-1$ and here we assume that $u>0$ on $\mathbb{...
- 537
2
votes
0
answers
60
views
Decay of solution for linear system with damping
Let us consider the following linear system with damping:
$$
\begin{cases}
u_t - u_x = -\frac{1}{2} (u+v)\\
v_t + v_x = -\frac{1}{2} (u+v)
\end{cases}
$$
Let's write the solution as $w=(u,v)$ ...
- 839
2
votes
0
answers
55
views
An integral average condition and its relationship with BMO, VMO, and Sobolev spaces
Let $V: \mathbb R^n \to \mathbb R^n$ be a vector field which satisfies
$$
\lim_{l \to \infty} \sup_{x \in \mathbb R^n} \left|\frac{1}{l^n} \int_{[0,l]^n}V(x+y) dy \right| = 0
$$
What is the ...
- 839
2
votes
0
answers
57
views
A variant of the elliptope relaxation
Given a p.s.d. matrix $A$, one may want to find:
$$
\max_x x^t A x \mbox{ such that } x \mbox{ has entries }1 \mbox{ or } {-1}.
$$
This hard problem has a well known relaxation based on the so called ...
- 2,772
2
votes
0
answers
198
views
A generalisation of closed and bounded subsets of non-Archimedean fields to topological spaces
The definition of compactness in topological spaces generalises the notion of a subset of $\mathbb{R}^n$ being closed and bounded, as expressed by the Heine-Borel Theorem.
In finite-dimensional vector ...
2
votes
0
answers
561
views
Multiplication in Sobolev space with negative exponent
My initial problem is the following: I would like to estimate $\lVert f^2\rVert_{H^{-2}}$ in the sense of Sobolev embeddings, where $f:\Omega \rightarrow \mathbb{R}$ is a function defined on a bounded ...
- 914
2
votes
0
answers
147
views
How is the Cauchy-Schwarz equality and the assumption on the support of $g$ used to derive this bound?
I am currently reading On Uniqueness Properties of Solutions of Schrödinger Equations and a having trouble understanding a claim made on page 1819.
Context from the paper: let $g\in C^\infty_0(\...
- 890
2
votes
0
answers
78
views
Delta distribution for compact groups and its derivatives
Let $G$ be a compact group (e.g. $SU(2)$) and $\rho: G \mapsto GL(n)$ a representation of it. Then we can define the delta function
$\delta(g-1)=\sum_{l}\chi_l(g)\chi_l(1) = \sum_l\dim_l(G)\chi_l(g)$
...
- 131
2
votes
0
answers
96
views
Codimension of analytic linear subspaces in Polish vector spaces
Let $A$ be a linear analytic subspace of a Polish vector space $X$.
Using Piccard-Pettis Theorem, it is easy to prove that $A$ has uncountable codimension in $X$. If $A$ is of type $F_\sigma$, then ...
- 42k
2
votes
0
answers
71
views
Perturbing the approximation property from the Lipschitz-free space to stay in the Wasserstein space
Let $(X,d,x)$ be a separable pointed metric space and let $\mathcal{F}(X)$ be its Arens-Eells (also called its Lipschitz-Free space; in the case where $X$ is Banach) space. We view the $1$-...
- 5,405
2
votes
0
answers
82
views
A convex version of the small uncountable cardinal $\mathfrak b$
Let us recall that $\mathfrak b$ is the smallest cardinality of a subset of $\omega^\omega$, which cannot be covered by countably many compact subsets of $\omega^\omega$.
The definition of $\mathfrak ...
- 42k
2
votes
0
answers
120
views
Does a holomorphic function with logarithmic growth at the boundary have $L^2$ boundary values?
Let $f(z)$ be a holomorphic function on the unit disc, with logarithmic growth at the boundary:
$$
|f(z)| = \mathcal O\bigg(\log\Big(\frac{1}{1-|z|}\Big)\bigg).
$$
Does it follow that the (...
- 43.2k
2
votes
0
answers
136
views
McDuff-to-hyperfinite step in Connes' Injectivity $\Rightarrow$ Hyperfiniteness
In Connes' "Classification of Injective Factors" (1976) the last step in Injectivity $\Rightarrow$ Hyperfiniteness (Thm. 5.1) is the implication 2. $\Rightarrow$ 1., where
$N \cong R$,
a) $...
- 121
2
votes
0
answers
105
views
Comparing two quantities related to the norm of an inner derivation
Let $M$ be a von Neumann algebra sitting in $B(H)$.
Let $U(M)$ denote the unitary group of $M$.
Let $I(M):=\{\tau\in M\,|\,\tau=\tau^*=\tau^{-1}\}$ the set of involutions in $M$.
Let $SAC(M):=\{h\in M\...
- 71
2
votes
0
answers
55
views
Schmidt ellipsoids to different orthonormal bases
Let $H$ be a separable, infinite dimensional Hilbert space. For an ONB $(e_n)_{n \in \mathbb{N}}$ of $H$ together with a series $(\alpha_n)_{n \in \mathbb{N}} \subset (0,\infty)$ such that $\sum\...
- 1,295
2
votes
0
answers
53
views
A question about the choice of a special harmonc spinor
Let $X$ be a complete Riemannian manifold and $H$ be the kernel of generalized Dirac operator $D$ on $L(S)$, where $S$ is the Dirac bundle. Let $K$ be a compact subset of $X$ and $K\subset \Omega$ be ...
- 563
2
votes
0
answers
86
views
Continuity of the entropy of the solution of a parabolic PDE at $t=0$
Consider the following initial value problem for a parabolic PDE :
$$\begin{cases}
\textrm{div}\big(A\,\nabla u(t,x) + b(x)\, u(t,x)\big) \,=\,\partial_t u(t,x) \quad x\in\mathbb R^d\,,\ t>0 \\[4pt]...
- 311
2
votes
0
answers
125
views
Conditions replacing compactness
Reading this book, the authors used the following "classic" idea:
Let $X$ be a Banach space and $C$ a nonempty, weakly compact, convex subset of $X$. Let $T: C \rightarrow C$ be a ...
- 291
2
votes
0
answers
57
views
Is the lattice of bounded Henstock Kurzweil integrable functions countably complete?
The set of HK integrable functions with an integrable upper bound $f$ forms a lattice, and satisfies the MCT and DCT. Does this mean that the lattice is countably complete?
Indexing any countable set, ...
- 1,947
2
votes
0
answers
105
views
Equivalence between notions of dynamical coupling as defined by Villani in his book Optimal Transportation: Old and New
$\DeclareMathOperator\law{law}$In Villani's book he presents the following notions of dynamical couplings:
Let $(X,d)$ be a Polish space. A dynamical transference plan $\Pi$ is a probability measure ...
- 99
2
votes
0
answers
108
views
Characterization of inverse limits of finite-dimensional convex cones
Consider a countable inverse system $C_1\substack{f_1 \\ \leftarrow} C_2 \substack{f_2 \\ \leftarrow} C_3 \substack{f_3 \\ \leftarrow} \ldots$ where the $C_i$ are finite-dimensional convex cones of ...
- 21
2
votes
0
answers
84
views
Method of characteristics and explicit formula for an IBVP for the transport equation
Let us assume $c:(0,1) \to (\epsilon,+\infty)$ and consider the PDE
$$
\begin{cases}
u_t+c(x)u_x = 0, \\
u(0,x) = g(x) \\
u(t,0) = f(t)
\end{cases} \qquad (t,x) \in (0,T)\times(0,1) \label{1}\tag{$\...
- 839
2
votes
0
answers
229
views
Weighted Sobolev norm in terms of Spherical harmonics coefficients
Let $M = [1,\infty) \times S^2$.
Consider the weighted Sobolev space $H^k_{\delta}(M)$ with the Sobolev norm:
$$\lVert u \rVert_{k,\delta}^2 := \sum_{n=0}^k \int_M |D^nu \,r^{n-\delta}|^2 r^{-3} dV $$
...
- 969
2
votes
0
answers
139
views
Fixed point subalgebra
Suppose that $M$ is a von Neuman algebra and we have an action of a finite group $G$ on $M$. Denote by $M^{G}$ the fixed point subalgebra and suppose that $M^{G}=\mathbb{C}$ (i.e., we have an ergodic ...
- 59
2
votes
0
answers
225
views
Sobolev (Triebel-Lizorkin) norm estimate for $F \circ u - F \circ v$
Let $F \in C^1(\mathbb R^d;\mathbb R)$ be such that $F(0) = 0$ and
$$|F'(\tau v + (1 - \tau)w)| \leq \mu(\tau)(G(v) + G(w))$$
for some $\mu \in L^1([0,1])$ and some non-negative $G \in C^0(\mathbb R^d;...
- 233
2
votes
0
answers
298
views
A question on convergence rates of Fourier series and strict convergence
Consider BV functions on a torus. The Fourier partial sum using the first $n$ coefficients will converge to the function at every point of continuity, as $n\to\infty$. The convergence rate is $O(1/n)$....
- 698
2
votes
1
answer
670
views
Integral on level sets
Let $g_\epsilon : K \subset \mathbb{R}^d \rightarrow \mathbb{R}$ (more regularity can be assumed if necessary) be defined on a compact set (with regular boundary) $K \subset \mathbb{R}^d$, and the ...
user140442
2
votes
0
answers
112
views
Anticommutation of convolution products on trace class operators of quantum groups
This question was originally posted to MathStackExchange.
Let $\mathbb{G}$ be a locally compact quantum group and let $W$ and $V$ be the left and right fundamental unitaries, i.e., they implement the ...
- 59
2
votes
0
answers
203
views
Quasidiagonal C*-algebras
Let $A$ be a nuclear $C^*$-algebra satisfying UCT condition. Then under what assumptions $A$ is quasidiagonal?
- 581