All Questions
10,826 questions
1
vote
1
answer
124
views
Friedrich's second inequality for functions with zero average
Friedrich's second inequality (or Maxwell Estimates or Gaffney’s inequality in the literature) is referred as follows: for all $\mathbf{u} \in H^1(\Omega)^2$ satisfying either $\mathbf{n} \cdot \...
CommunityBot
- 1
14
votes
2
answers
873
views
Which finite dimensional Banach spaces can be represented isometrically as spaces of bounded operators on a finite dimensional Hilbert space?
Background:
It is known that every Banach space $X$ can be embedded isometrically as a subspace in the space $C(K)$ of continuous functions on a compact Hausdorff space $K$. Indeed, one can take $K$ ...
- 6,406
2
votes
0
answers
29
views
Steiner symmetrization of smooth function on non-simply connected regions
Given a smooth function $u$ defined on $\mathbb{R}^2$, restrict $u$ to a subset $\Omega \subset \mathbb{R}^2$ (possibly not simply connected) foliated by level sets of a smooth function $\psi: \Omega \...
- 434
7
votes
2
answers
351
views
Can the Banach algebra structure on $B(E)$ be (almost) retrieved from its Banach space structure?
This is basically just out of curiosity. Also, since my research area is in von Neumann algebras and my knowledge of general Banach algebras as well as general Banach spaces is somewhat limited, I ...
- 2,605
1
vote
0
answers
248
views
Solving functional analysis problems by using Algebraic geometry
I am thinking about some open problems in nonlinear functional analysis and I just wanted to know if there are any problems that have been solved by using Algebraic geometry techniques in these fields....
- 12.9k
4
votes
1
answer
219
views
Poincaré inequality on compact manifolds without boundary
The question arises from a paper The heat flow for the full bosonic string, Ann. Global Anal. Geom. 50 (2016).
In line 4, Page 362, the author claimed the following inequality which looks similar to ...
- 5,327
2
votes
0
answers
82
views
What is Lipschitz constant of the radial renormalization $(X,\|\cdot\|_a) \rightarrow (X,\|\cdot\|_b)$ on a normed vector space $X$
Suppose that $X$ is a vector space with two norms $\|\cdot\|_a$ and $\|\cdot\|_b$. The mapping
$$
f(x) = \frac{\|x\|_{a}}{\|x\|_{b}} x, \qquad \forall x \in X,
$$
with $f(0)=0$
is a radial and maps ...
CommunityBot
- 1
6
votes
1
answer
257
views
Example/Existence of Positive Linear Functional which is NOT Hermitian
We know that if $\mathcal{A}$ is a unital $C^*$-algebra and if $f:\mathcal{A}\to\mathbb{C}$ is a positive linear functional then it is Hermitian. It simply follows from the fact that in $\mathcal{A}$ ...
- 2,830
0
votes
0
answers
93
views
Orthogonalization of symmetric non-degenerate bilinear forms
It is well-known that given a field $k$ with characteristic different from $2$, every symmetric non-degenerate bilinear form $B$ over a finite-dimensional space can be orthogonalized. This means that ...
- 1,485
0
votes
0
answers
353
views
On a Duality between Riemann-weil explicit formula and Abel- Plana summation of trigonometric prime counting function:
Consider the analytic function $g(x)$
Now define
$f(x)=g(x)\frac{\sin^2\left(\frac{π\Gamma(x)}{2x}\right)}{\cos^2\left(\frac{π}{2x}\right)}$
Such that
$|f(x+it)|=o(e^{2πt})$
uniformly for every $x$...
- 790
0
votes
0
answers
56
views
What is the maximum of $ \frac{\sin(n(x+a))}{\sin(x+a)} + \frac{\sin(n(x-a))}{\sin(x-a)}$?
I have asked this here. Due to inactivity and no satisfying answers, I am asking here. Hope that's okay.
We know the global maxima of the function $\frac{\sin(nx)}{\sin(x)}$
is $n$ (thanks to this ...
- 113
2
votes
1
answer
89
views
The contractivity of the time derivative of the heat semigroup in $L^p$ spaces
Let $M$ be a complete manifold. The heat semigroup $e^{-tL}$ is bounded on $L^p(M)$, for any $1 \leq p \leq \infty$;
see this for instance.
It seems that we can deduce the time derivative of the heat ...
- 2,703
1
vote
1
answer
151
views
Some operators on spheres
Let $S_2$ be the unit sphere in $\mathbb R^3$ equipped with normalized Haar measure. For a continuous function f and $\delta\in (-1,1)$ define $T_\delta f(x):=\int_{\{y:<x,y>=\delta\}}f(y)d_\...
- 6,035
2
votes
1
answer
251
views
Log-Sobolev constant
Let $\nu \propto e^{-f}$ be a probability density on $\mathbb{R}^d$ with full support. We say $\nu$ satisfies the log-Sobolev inequality (LSI) with constant $\alpha$ if for every smooth function $g:\...
CommunityBot
- 1
1
vote
0
answers
30
views
Generalization of subadditivity analogous to quasiconvexity, and variants
I am curious if there are natural generalizations of subadditivity which have been studied in the past or have been stated in the literature? I (and people that I have talked to) have not had much ...
- 21
2
votes
1
answer
118
views
Proving that a polynomial $f(x,y)$ that is unbounded in every direction is bounded below by $1$ outside of a disc of finite radius
This is a follow up from this question.
I have a polynomial function $f(x,y)$ that is unbounded in every direction. In other words, if we choose a direction $(a,b)\in S^1$ and keep moving along the ...
- 60.5k
5
votes
1
answer
220
views
How big is the class of all closed range bounded linear operator?
Let $X$ and $Y$ be Banach spaces and let $CR(X,Y)$ denote the set $B(X,Y)$ of all bounded linear maps from $X$ to $Y$ with $T(X)$ closed in $Y$. Certainly $CR(X,Y)$ is not open in $B(X,Y)$ as given ...
- 63.9k
1
vote
1
answer
76
views
Proving that a function $f(x,y)$, that is unbounded in every direction, is uniformly bounded below by $1$ outside some disc of large enough radius
I have a smooth function $f(x,y)$ that is unbounded in every direction. In other words, if we choose a direction $(a,b)\in S^1$ and keep moving along the curve $(ta,tb)$, then $$\lim_{t\to\infty}f(ta,...
- 128k
3
votes
0
answers
74
views
Are all enveloping algebras $\mathcal{U}(\mathfrak{g})$ locally compact quantum groups?
Let us consider the enveloping algebra $\mathcal{U}(\mathfrak{g})$ of some Lie algebra $\mathfrak{g}$.
Under what assumptions about $\mathfrak{g}$, does the enveloping algebra generate a locally ...
- 143
2
votes
0
answers
94
views
Nemytskij operator for Lebesgue variable UNBOUNDED exponent spaces
Let $f:\Omega\times\mathbb{R}\to\mathbb{R}$ be a Caratheodory function (i.e. $f(x,\cdot)$ is continuous for a.a. $x\in\Omega$ and $f(\cdot,t)$ is measurable for all $t\in\mathbb{R}$), where $\Omega\...
- 60.5k
1
vote
1
answer
115
views
Block-diagonal embedding of $U(n)$ into $U(mn)$
What is known about the subgroup $U(n)\subset U(mn)$ for $m,n\in\mathbb{N}$ given by the diagonal embedding
$$ \alpha\mapsto \text{diag}(\alpha,\cdots, \alpha),$$
for $\alpha$ appearing $m$ times?
For ...
- 3,054
0
votes
1
answer
255
views
Carleson's theorem: proof of a lemma
I am reading the paper of Michael Lacey called "Carleson's theorem: proof, complements, variations" 1, on Carleson's theorem in Fourier analysis. At the bottom of page 20 at the beginning of ...
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 \...
- 21
2
votes
1
answer
129
views
What is the fastest algorithm for classical period finding?
Let $N$ be a positive integer, and choose an integer $a$ such that $\gcd(a,N)=1$. Then $a^r \equiv 1 \,\text{mod}\, N$ for some $r$. What is the current fastest classical algorithm for finding the ...
- 10.4k
8
votes
0
answers
177
views
Understanding spaces of negative regularity
I apologize if this question is too basic for this site, but I posted it on mathSE and did not get any responses (link can be found here) so I'm crossposting it here.
Let $C^k(\mathbb{R}^n$) be the ...
- 721
38
votes
2
answers
13k
views
What, exactly, has Louis de Branges proved about the Riemann Hypothesis?
I know this is a dangerous topic which could attract many cranks and nutters, but:
According to Wikipedia [and probably his own website, but I have a hard time seeing exactly what he's claiming] Louis ...
CommunityBot
- 1
0
votes
1
answer
123
views
Proving a Fourier transform inequality for functions with mixed variable bounded support
I'm working on a problem involving the Fourier transform and have encountered an inequality that I am unsure how to prove. I would greatly appreciate any help or guidance you can provide.
Let $\gamma\...
- 131
0
votes
0
answers
85
views
Measurable selection for the mean value theorem
When we use the mean value theorem we come across the problem of measurability of the argument. The problem is somehow like that:
Let $f:\Omega\times [0,1]\to\mathbb{R}$ be a Caratheodory function (i....
- 1,759
2
votes
0
answers
84
views
Question about the Nemytsky operator on $L^p$ space
Let $\Omega\subset\mathbb{R}^N$ be a bounded open set, $f:\Omega\times\mathbb{R}\to\mathbb{R}$ be a Caratheodory function, i.e. $f(x,\cdot)$ is continuous for a.a. $x\in\Omega$ and $f(\cdot,t)$ is ...
- 3,425
1
vote
0
answers
175
views
Solution of recurrence relation with summation
I have the following recurrence relation:
$$b(n,k)=\sum _{\text{i}=0}^{2 n-1} \left(b(n-1,k-\text{i})+\frac{\text{i} (2 n-\text{i}) \binom{2 n-1}{\text{i}} \binom{(n-2)^2}{k-\text{i}}}{2 n-1} \right)$$...
3
votes
0
answers
147
views
Embeddings of Bochner-Sobolev spaces with second time derivative
NOTE: I also asked this question here in MSE.
In the weak theory of evolution PDEs, the Bochner-Sobolev spaces are frequently used. For $a,b \in \mathbb{R}$ and $X,Y$ banach spaces, we define these ...
- 6,367
1
vote
0
answers
154
views
measure of Haar
Let $(G,K)$ be a Gelfand pair.
Why, for a function $f$ $K$-binvariant with respect to a compact subgroup $K$ of a group $G$, do we have the following equality:
$$ f(xy) = \int_K f(xky) \, dk$$
A ...
- 12.9k
0
votes
0
answers
79
views
Is the Bures metric equivalent to the Euclidean one?
Let $K=\mathbb R$ (reall numbers) or $K=\mathbb C$ (complex numbers). Define $\mathcal M_n$ to be the space of $n\times n$ matrices $A=(a_{i,j})_{1\le i,j\le n}$, with $a_{i,j}\in K$. Let $\|\cdot\|$ ...
- 1,334
11
votes
1
answer
227
views
Complemented subspaces of $C(\beta\mathbb N\times \beta\mathbb N)$
Problem. Is there any complemented subspace in the Banach space $C(\beta\mathbb N\times\beta\mathbb N)$, not isomorphic to $c_0$, $c_0\oplus C(\beta\mathbb N)$, $C(\beta\mathbb N)$, $c_0(C(\beta\...
- 41
0
votes
0
answers
61
views
Representation and Laplacian on the Heisenberg group
Let $\pi_{\lambda}$ be the the Schrödinger representations of the Heisenberg group $H=\mathbb C\times \mathbb R$. For $\varphi\in L^2(\mathbb R)$, we have
$$\pi_{\lambda} (z,t)\varphi(\xi)=e^{i\...
- 650
3
votes
1
answer
227
views
Algebraic and continuous duals of an inverse limit of finite dimensional vector spaces
I have been trying to understand the following section of a paper "Revêtements du demi-plan de Drinfeld et correspondance de Langlands p-adique" by Gabriel Dospinescu and Arthur-César Le ...
- 12.9k
11
votes
2
answers
8k
views
About the Fourier transform of the logarithm function
I want to calculate / simplify:
$$\mathcal{F} (\ln(|x|)\mathcal{F(f)}(x))=\mathcal{F} (\ln(|x|)) \star f$$
where $\mathcal{F}$ is the Fourier transform ($\mathcal[f](\xi)=\int_{\mathbb R}f(x)e^{ix\...
- 201
3
votes
1
answer
207
views
Embedding of a Banach space in $\ell_\infty(\Gamma)$ with a subspace embedded in a copy of $\ell_\infty$
In this question (which I think may be interesting in its own) I was asking if we can find a copy of $\ell_\infty$ between a separable subspace $Y$ contained in $\ell_\infty(\Gamma)$ and the whole ...
- 271
3
votes
1
answer
169
views
Copy of $\ell_\infty$ inside $\ell_\infty(\Gamma)$ containing given subspace
To complete a proof I need to know if the following is true:
Given a non-empty set $\Gamma$ and a separable subspace $Y$ of $\ell_\infty(\Gamma)$, there exists a subspace $A$ of $\ell_\infty(\Gamma)$ ...
- 271
1
vote
1
answer
170
views
Mean of probability distribution
I have a probability distribution defined by the following density function:
$f(k,j,n,m)=\frac{(m n)! \mathcal{S}_k^{(j)}}{(m n)^k (m n-j)!}$ (With $\mathcal{S}_k^{(j)}$ being the Stirling number of ...
- 188k
1
vote
0
answers
98
views
$(\lambda I-A)^{-1}-(\lambda I-B)^{-1}$ compact implies $\sigma_\text{ess}(A)=\sigma_\text{ess}(B)$
Suppose $H$ is a Hilbert space and $A$, $B$ are two adjoint operators on it (not necessarily bounded), satisfying $D(A)=D(B)$.
Question: If $\exists \lambda\in \rho(A)\cap\rho(B)$ such that $(\lambda ...
- 12.9k
2
votes
1
answer
236
views
A sensible topology on the space of continuous linear maps between Fréchet spaces
Let $V_1$ and $V_2$ be Fréchet spaces. Let $\{ \lVert \cdot \rVert_{1,n} \}_{n \in \mathbb{N}}$ be a family of seminorms for $V_1$ and similarly $\{ \lVert \cdot \rVert_{2,n} \}_{n \in \mathbb{N}}$ ...
- 12.9k
6
votes
2
answers
349
views
Mutual metric projection
Given a subset $S\subseteq \mathbb{R}^n$, the metric projection associated with $S$ is a function that maps each point $x\in \mathbb{R}^n$ to the set of nearest elements in $S$, that is $p_S(x) = \arg ...
- 2,830
2
votes
0
answers
71
views
How to naturally define an output space with certain properties
Consider the following regression problem $v=A(u) + \varepsilon$
for some operator $A:\mathcal{U} \rightarrow \mathcal{V}$ and some function spaces $\mathcal{U},\mathcal{V}$, mapping from $\mathcal{X}$...
- 51
2
votes
0
answers
60
views
Semigroup property in SPDEs
In fact, we know that a bounded linear operators on a Banach space $X$ satisfies the semigroup property, i.e. $$S(t+s)=S(t)S(s), \text{for every}\ t,s\geq 0.$$
However, in various literatures, I ...
- 57
1
vote
1
answer
132
views
Deriving a specific bound for functions in Hardy Space
Reading some article a while ago I read the following: (here $H^2$ represents the Hardy space)
Let $f\in H^2$ be such that $f(0)=1$, and let $0<\lvert\lambda\rvert<1$, then $$\lVert f(\lambda z)\...
- 24.2k
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_\...
- 4,713
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-...
- 63.9k
1
vote
0
answers
66
views
The derivative of semigroup in the weak sense imply strong sense
Suppose $X$ is a Banach space, and $T(t)$ $t\ge0$ is a strongly continuous semigroup with generator $A$. Assume $\frac{T(t)-I}{t}x$ weakly converges to $y\in X$ when $t\to 0$, then I need to prove $x\...
- 775
7
votes
1
answer
184
views
Functional calculus on the Schwartz space instead of $L^2$?
As far as I know, functional calculus is typically carried out on Hilbert spaces with (possibly unbounded) self-adjoint operators.
However, I wonder if there is a way to do it on the space of test ...
- 76