All Questions
10,447 questions
0
votes
1
answer
121
views
A simple bilinear estimate
Let $2\leq p,q <\infty$ and fix $0<\alpha<1$ such that
$\frac{1}{p}+\frac{1}{q}\leq 2-\alpha$.
Suppose that $f\in L^{p}([0,1])$ and $g\in L^{q}([0,1])$.
What is the optimal value of $t=t(\...
- 852
2
votes
0
answers
88
views
An example of an $\mathcal{L}_\infty$ Banach space with property p-(V) and without property (V)
Here are the definitions for property $p$-$(V)$ and property $(V)$.
A Banach space $X$ has property $(V)$ if and only if every unconditionally converging operator $T$ from $X$ to any Banach space $Y$ ...
9
votes
2
answers
471
views
Proving the inequality involving Hausdorff distance and Wasserstein infinity distance
Prove the inequality
$$d_{H}(\mathrm{spt}(\mu),\mathrm{spt}(\nu))\leq W_{\infty}(\mu,\nu)$$
where $d_H$ denotes the Hausdorff distance between the supports of the measures $\mu$ and $\nu$, and $W_\...
- 99
2
votes
1
answer
201
views
Combination of simple tensors - II
This is a follow-up question to Combination of simple tensors.
I am interested in devising an alternative norm (I mean, other than the usual $\pi$ or $\epsilon$ norms) in the tensor product of two ...
-3
votes
1
answer
76
views
Minimal norm problem with linear combination of translation operator to be estimated
Follow up question from this one
Suppose $X = L^2(G)$, where $G$ is some locally compact group. Let $x, y \in G$ I for fixed $n$ I am seeking for an operator $H \in B(X)$ of the form
$$
H = H(\alpha_1,...
- 115
0
votes
0
answers
80
views
Verifying the Cauchy behavior of a sequence
Let me consider the iteration $x_{n+1}=Tx_n$ and $T$ is a self-map from a non-empty subset $K$ of a smooth Banach space $X$ to itself, satisfying $W(Tx, Ty) \leq W(x, y)$, where $W(x, y)=\Vert x \Vert^...
- 85
0
votes
1
answer
118
views
Minimal norm problem whose unknown is an operator
Generally given an Hilbert space $X$ with and a bounded linear operator $H : X \to X$ given a vector $y \in X$ we seek an $x \in X$ such that
$$
f(x) = \frac{1}{2} \left\lVert Hx - y \right\rVert_2^2
$...
- 115
3
votes
2
answers
392
views
Monotonicity of matrix conjugation
Let $A$ and $B$ be positive-definite matrices such that $A \le B.$
By matrix monotonicity of the root, this also implies that $A^{\alpha} \le B^{\alpha}$ for $\alpha \in [0,1].$
I am now curious under ...
2
votes
1
answer
320
views
Fourier series but different waveform
Given a nondegenerate smooth simple closed convex curve $f: [0,2\pi]\to \mathbb C \setminus \{0\}$ with winding number (around origin) $1$, and $f$ have zero mean. Let $f_n: [0,2\pi]\to \mathbb C \...
- 807
0
votes
0
answers
32
views
reference request: mercer expansion and kernel underlying Sobolev spaces?
Let us define the periodic Sobolev spaces, for $s > n/2$ by
$$
H_{s}([0, 1]^n) = \{f : [0, 1]^n \to \mathbb{R} :\mbox{for}~j\leq s, f^{(j)} |_{\partial[0, 1]^n} \equiv 0, ~~
\int_{[0, 1]^d} (f^{(s)...
- 420
-1
votes
2
answers
232
views
Determining if $\|f\|_\infty \leq C\, \|f\|_{2}^{2/3} $ holds under $f(0) = f(1) = 0$, $\|f'\|_2 \leq 1$
Suppose $f \colon [0, 1] \to \mathbb{R}$ is continuously differentiable, and satisfies $f(0) = f(1) = 0$ and $\|f'\|_2 \leq 1$.
I am wondering if it there is a constant $C > 0$ such that for all ...
- 420
5
votes
1
answer
188
views
On a property for normed spaces
I asked this question on Math Stackexchange, but I didn't get an answer:
https://math.stackexchange.com/questions/4881155/on-a-property-for-normed-spaces?noredirect=1#comment10410489_4881155
I came ...
- 1,361
5
votes
1
answer
246
views
An asymmetric quadrilinear estimate
Fix $1<p<2$ and let $a_{i}=1-\frac{\theta_{i}}{p^{\prime}}$
where $\theta_{i}\in (0,1/2)$, $i=1,2,3,4$, and $p^{\prime}$ is the conjugate exponent of $p$. Note here that $0<a_{i}=1-\theta_{i}+...
- 852
7
votes
0
answers
151
views
Stochastic analysis on nuclear Fréchet spaces
This is a reference request question, so to make it clear what I am after, I will give a quick outline of the area I am thinking in and some questions that arise.
A lot of the time in infinite-...
- 439
0
votes
0
answers
55
views
Strong sub-differentiability of an equivalent strictly convex norm
First, we define the notion of strong sub-differentiability(SSD) of a norm on a Banach space $X$. The norm $\Vert \cdot \Vert$ of $X$ is said to be SSD if the one-sided limit $$\lim_{t \to 0+} \frac{\...
- 85
1
vote
1
answer
67
views
Norm of differentiation operator with respect to Gaussian norm
Here is a problem from Luenberger's optimization by vector space methods. I would appreciate steps to proceed.
Let $\mathcal{P}_n\subset\mathbb{R}[x]$ be polynomials of degree at most $n\ge0$. Compute ...
- 125
0
votes
1
answer
140
views
Approximating a sequence of tempered distributions "uniformly" by Schwartz functions
This question has been motivated by the post making sense of distributions on the diagonal.
Let $T$ be a tempered distribution on $\mathbb{R}^2$ and $\eta$ be a given mollifier on $\mathbb{R}$. For $f ...
- 3,477
4
votes
1
answer
137
views
Fredholm property of linearization of Floer map
I am reading Audin and Damian's book "Morse theory and Floer homology". In Proposition 8.1.4 which reveals the transversality property of moduli space of solutions of Floer equation, the ...
- 51
1
vote
1
answer
53
views
Zeros of Gram-Schmidt derived polynomials in weighted integral space
This is a problem out of Chapter 3 of Luenberger's Optimization by Vector Space Methods that I have been having trouble with. Any guidance would be appreciated.
Let $w(t)$ be a positive (weight) ...
- 125
2
votes
0
answers
103
views
What $1$-forms $\theta$ solve $\Delta \theta = f\theta$ for a smooth function $f$?
I have a seemingly basic question that I cannot find any literature on. Let $(M,g)$ be a smooth Riemannian manifold and let $\Delta:\Omega^1(M) \to \Omega^1(M)$ be the Laplace-De Rham operator on $1$-...
- 1,231
9
votes
1
answer
428
views
The cardinality of projections of subsets of the Hilbert cube by inner products
I have three related questions.
Question 1: Is there a subset $X$ of the Hilbert cube $[0,1]^{\Bbb N}$ of cardinality continuum, such that for each sequence $a\in [0,1]^{\Bbb N}$ with $\sum a_n$ ...
- 3,104
2
votes
0
answers
35
views
Continuity of Kernel Mean Embeddings
Given some kernel $k: X \times X \to \mathbb{R}$ with RKHS $H_k$ we say that $k$ is characteristic on the space of signed Radon measures over $X$, denoted by $\mathcal{M}(X)$, if the kernel mean ...
- 161
2
votes
1
answer
128
views
On the existence of a complicated fractal-like set of finite perimeter
Let $f\in BV(\Bbb R^n)$ be an integer-valued function that maps into $\{0, 1\}$ and is identically $0$ outside some bounded set in $\Bbb R^n$. In particular, $f$ determines a bounded Caccioppoli set $...
- 1,245
4
votes
3
answers
482
views
Does the uniform boundedness principle holds for multilinear maps as well?
This question has been motivated by weak* completeness of distributions.
According to the answer in the above post, any barrelled locally convex topological vector space $E$ satisfies the uniform ...
- 3,477
0
votes
0
answers
48
views
Computation of Brown measure of the shift operator on $\ell^2(\mathbb N)$?
This looks an extremely simple question - I am just trying to give an example of Brown measure, https://en.wikipedia.org/wiki/Brown_measure, so I try to compute it for the left/right-shift operator on ...
- 1,755
2
votes
0
answers
138
views
Sufficient initial conditions for "non-local" PDE
I am studying a problem of the form $$i\, \partial_t \psi(t) = L \psi(t) + \int_0^t U(t-r) \psi(r) \, dr, \qquad \psi(0) = \psi_0,$$ where the evolution occurs in some Hilbert space, $L$ is a self-...
- 71
3
votes
0
answers
94
views
Harmonic heat flow, formal and rigorous
Let $ (M,g) $ be a smooth Riemann manifold without boundary, $ S^{n-1} $ is an $ n $-dimensional sphere, and $ T>0 $. Consider a weak solution $ u:M\times[0,T]\to S^{n+1} $ of
$$
\partial_tu-\Delta ...
- 1,219
2
votes
2
answers
155
views
"Completeness" for weak convergence of unbounded closed operators on a separable Hilbert space $H$
Let $H$ be a separable Hilbert space with the inner product $\langle, \rangle$ and $\{ T_n \}$ be a sequence of unbounded closed linear operators with a common dense domain $D \subset H$ such that $...
- 3,477
1
vote
3
answers
359
views
For a tempered distribution $F$ on $\mathbb{R}^2$, what exactly does it mean by $\lvert F(x,y) \rvert \leq \lvert x-y \rvert^{-n}$?
Let $F$ be a tempered distribution on $\mathbb{R}^2$ and $n \in \mathbb{N}$ be a fixed natural number. I wonder what exactly it means by
$\lvert F(x,y) \rvert \leq \lvert x-y \rvert^{-n}$ where $x,y \...
- 3,477
1
vote
1
answer
133
views
A question about the maximal function
Let $n>4$, $f\in C^{\infty}(\mathbb{R}^{n})$ and 0 denote the origin of $\mathbb{R}^{n}$. We define a weighted maximal function by $$Mf(x)=\sup_{0<r<1}r^{4-n}\int_{B_{r}(x)}|f|$$ which is ...
- 155
1
vote
0
answers
21
views
Correlation Matrix Problem of Three Decomposition Level of DWT
I'm trying to apply a DWT with 3 composition levels and the following question arose when calculating the composition matrix.
The step I'm trying to follow is:
The DWT coefficientes are obtained from ...
- 11
2
votes
1
answer
232
views
Banach spaces locally having a basis
The $\mathcal{L}_p$-spaces ($1\leq p \leq \infty$) are Banach spaces $X$ such that there exists a constant $\lambda$ so that every finite dimensional subspace $E$ of $X$ is contained in another ...
- 4,461
13
votes
0
answers
573
views
Classical (i.e. commutative) spaces with quantum symmetry but no classical symmetry
In a recent preprint (arXiv:2311.04889), my coauthors and I constructed a sequence of graphs with no classical symmetry which nevertheless have quantum symmetry.
For graphs this had been an open ...
- 2,339
0
votes
0
answers
28
views
Metric entropy of mixed norm spaces with exponent-free bounds
Suppose $\mathcal{F}\subset L^p([0,1]^d)$ is a subset with the following property: The $L^q$-covering number of $\mathcal{F}$ is independent of $q$, for all $1\le q\le\infty$. An example of $\mathcal{...
- 21
3
votes
0
answers
84
views
About the naturality of Krasnoselskii genus on Variational Methods
I have recently watched a seminar about Variational Methods from Mónica Clapp and she gave a very interesting motivation of why the Lusternik–Schnirelmann category (click on the link for the ...
- 131
4
votes
0
answers
135
views
Automorphism-invariant positive linear functionals on $C*$-algebras
Let $A$ be a $C^*$-algebra. Does there exist a non-trivial positive linear functional $\nu\in A^*$ which is $\mathrm{Aut}(A)$-invariant? That is, $\nu\circ\alpha=\nu$ for all $\alpha\in\mathrm{Aut}(A)$...
- 1,959
4
votes
0
answers
148
views
Is every pointwise-weakly continuous one-parameter group of automorphisms of B(H) given by a Hamiltonian?
Let $\mathcal H$ be a Hilbert space, $\mathscr B(\mathcal H)$ be the von Neumann algebra of all bounded operators on $\mathcal H$, and let $\sigma $ be a one-parameter group
of automorphisms of $\...
- 2,263
3
votes
0
answers
105
views
Finitely generated Banach lattice $C(K)$ and partitions of unity
Let $E$ be a Banach lattice. A Banach sublattice $L$ of $E$ is called finitely generated if there exists a finite subset $F \subseteq E$ such that
$$L = \bigcap \{ \hat{L} \mid F \subseteq \hat L, \, \...
- 467
5
votes
0
answers
94
views
When a compact subset of a TVS can be continuously projected on a closed linear subspace?
Let $V$ be a (Hausdorff) topological vector space, $W\subset V$ a closed linear subspace, $X\subset V $ a compact.
(Q):
When there is a continuous map $P:X\to W$ such that $P(x)=x$ for every $x\in X\...
- 60.5k
3
votes
0
answers
132
views
Is the Schwartz space a tame Frechet space?
I ran into the following definition of tame Frechet spaces and Nash-Moser therem.
It says that the space of smooth functions on a compact manifold is tame Frechet.
However, I wonder if
The Schwartz ...
- 3,477
1
vote
1
answer
171
views
How is interpolation used in the proof of Lemma 4.1 in Tao's article Endpoint Strichartz Estimates?
In the proof of Lemma 4.1, pp. 962–963 in "Endpoint Strichartz Estimates" by Tao and Keel (1997) (see MR1646048 or Zbl 0922.35028), the authors first proved the statements hold for some ...
- 11
6
votes
1
answer
403
views
Do acyclic amenable groups exist?
Is there an example of a nontrivial discrete amenable group with vanishing integral homology?
To put the question in contrapositive. Given arbitrary acyclic group $Q$, is there some reason for the ...
- 4,600
0
votes
1
answer
729
views
Does weak convergence in $L^2$ imply convergence a.e. of a subsequence? [closed]
The title pretty much explains it all. Let $u_n\in L^2(\mathbb{R}^n)$ be a sequence converging weakly in $L^2$ to some $u\in L^2(\mathbb{R}^n)$, that is $\int u_k v \to \int u v$ for all $v\in L^2(\...
- 1,149
1
vote
0
answers
56
views
Convergence of slice in an equivalent renorming
Let us consider $\ell_2$ space with $\Vert \cdot \Vert_2$ norm. Let us define a new norm equivalent to $\Vert \cdot \Vert_2$ norm as follows:
$$
\Vert x \Vert_0 = \max \{ \Vert x \Vert_2, \sqrt{2} \...
- 85
2
votes
1
answer
213
views
Are projective tensor products left-exact if one considers only maps of norm at most 1?
Consider the category $\mathrm{Ban}$ of Banach spaces and bounded linear maps and the category $\mathrm{Ban}_1$ of Banach spaces and bounded linear maps of operator norm at most 1. Let $\otimes_\pi$ ...
- 843
0
votes
3
answers
278
views
A generalisation of Tchebychev inequality
Let $f,g \in C(\mathbb R)$ with $\exists M \in \mathbb R^*, \forall (x,y) \in \mathbb R^2, M\times (f(x)-f(y))(g(x)-g(y)) \geq 0$.
Is it true that exists $ u$ any real function, and $a,b$ monotone ...
- 4,074
2
votes
2
answers
235
views
$L^p$ domination of mixed partial derivatives of the 3rd order by the unmixed ones?
Is it true that for each real $p>1$ there is some real $C_p$ such that for all smooth real-valued functions $u$ compactly supported on $S:=(0,1)^3$ one has
$$\|D_1D_2D_3u\|_p\le C_p(\|D_1^3u\|_p+\|...
- 128k
2
votes
1
answer
272
views
Decompose a function into a bounded part and a Lipschitz part
Let $f: \mathbb R^d \to \mathbb R^d$ be a measurable function such that
$$
\sup_{x,y \in \mathbb R^d} \frac{|f(x) - f(y)|}{\max \{1, |x-y| \}} < \infty.
$$
Are there functions $g,h: \mathbb R^d \...
- 825
2
votes
2
answers
197
views
$L^p$ domination of mixed partial derivatives by the unmixed ones?
Is it true that for each real $p\ge1$ there is some real $C_p$ such that for all smooth real-valued functions $u$ compactly supported on $S:=(0,1)^2$ one has
$$\|D_1D_2u\|_p\le C_p(\|D_1^2u\|_p+\|D_2^...
- 128k
2
votes
0
answers
56
views
Fractional powers of Dirichlet-to-Neumann map to derive estimate for PDE
Assume $\Omega$ is an open, bounded subset of $\mathbb R^3$ with smooth boundary $\partial \Omega= \Gamma$. For $u \in
H^{1/2}(\Gamma)$, let $U \in H^1(\Omega)$ denote the weak solution of
the ...
- 93