All Questions
9,781 questions
3
votes
0
answers
128
views
Image of trace operator on $W^{2,1}(\mathbb{R}^2)$
It is known that for a domain $\Omega\subset \mathbb{R}^2$ with $C^1$ boundary $\partial\Omega$, that the trace operator is bounded and surjective from $T:W^{1,1}(\Omega)\to L^1(\partial\Omega)$.
For ...
- 989
3
votes
1
answer
388
views
Closed prime ideal in $C[0, 1]$
I know that maximal ideals of $C[0, 1]$ corresponds to singleton. Also, using Zorn's lemma one can construct a prime ideal in $C[0, 1]$ which is not maximal.
Is there any $\textbf{closed}$ prime ...
- 25.8k
2
votes
1
answer
286
views
Are these conditions regarding products of consecutive terms in a sequence of positive numbers equivalent?
Assume $w_n$ is a bounded (weight) sequence of positive numbers. We want to consider products of consecutive terms in this sequence. For $i,j\in \mathbb{N}$, define $M_i^j = w_i w_{i+1}\cdots w_{i+j-1}...
- 109k
1
vote
0
answers
128
views
Sum of upper semi continuous and lower semi continuous functions
Let $X$ be a compact metric space. Assume that $f: X \to \mathbb{R}$ is upper-semi continuous and $g:X \to \mathbb{R}$ is lower semi-continuous. Assume that $\sup \{ f(x)+g(x) : x \in X \}$ is finite. ...
- 4,713
4
votes
3
answers
3k
views
Distributional derivative of non continuously differentiable functions
Hello,
let $f$ be a continuously differentiable function on $R^n$. Then its classical derivative and its distributional derivative coincide.
It is known (cf. Rudin, Functional Analysis, Sect. 6.13) ...
- 107
0
votes
1
answer
127
views
Continuous extensions of tangent vector fields
Let $\Omega$ be an open subset of $S^2$ with $\bar{\Omega}\neq S^2$. Suppose a continuous tangent vector field $G$ is given on $\partial \Omega$ with $|G(y)|=1$ for all $y\in \partial \Omega$. Does ...
- 26.3k
11
votes
2
answers
1k
views
Do Hausdorff locally convex inductive limits always exist?
The following is from Schaefer, "Topological Vector Spaces", 1999, p. 56/57:
Let $(E_\alpha)_{\alpha \in A}$ be a family of locally convex spaces with $\alpha$ in a directed poset $A$ and $h_{\beta \...
- 4,713
7
votes
1
answer
331
views
A metric characterization of Hilbert spaces
In the Wikipedia paper on Hadamard spaces, it is written that every flat Hadamard space is isometric to a closed convex subset of a Hilbert space. Looking through references provided by this Wikipedia ...
- 401
0
votes
1
answer
80
views
Continuous modification of tangent vector fields
Let $\Omega$ be an open subset of $S^2$, and assume that there exists a continuous tangent vector field $F(x)$ defined on $\bar{\Omega}\neq S^2$ with $|F(x)|=1$ for all $x\in \bar{\Omega}$. Suppose a ...
- 63.9k
3
votes
1
answer
250
views
Is Toeplitz operator on the Bergman space bounded iff its symbol is bounded?
It is fairly well known that if $T_\varphi$ is a Toeplitz operator on the Hardy-Hilbert space, then $\lVert T_\varphi \rVert = \lVert \varphi \rVert _{\infty}$.
Now, if $\varphi \in L^\infty (\mathbb ...
- 151
26
votes
2
answers
6k
views
Understanding a simplifying assumption in proof of the invariant subspace problem
In a recent preprint On the invariant subspace problem in Hilbert spaces Per H. Enflo claims to have solved the invariant subspace problem, showing that every bounded linear operator on a separable ...
- 16.5k
4
votes
1
answer
97
views
Is there any example of linear operator which is bounded on all Besov spaces but not on Triebel-Lizorkin spaces
Is there any linear operator $T:S'(\mathbb R^n)\to S'(\mathbb R^n)$ such that $T:B_{pq}^s(\mathbb R^n)\to B_{pq}^s(\mathbb R^n)$ for all $0<p,q\le\infty$ and $s\in\mathbb R$, but there exist a $F_{...
- 938
1
vote
1
answer
112
views
A bilinear estimate with a simple one-dimensional oscillatory integral kernel
Let $f\in L^{p}(\mathbb{R})$, $1\leq p\leq 2$.
I am trying to show that
$$\int_{\mathbb{R}}\int_{\mathbb{R}}
\,K(y,z)\,
\frac{f(y)f(z)}{y^{\frac{1}{2\,p^{\prime}}}\,z^{\frac{1}{2\,p^{\prime}}}}\,dy\,...
23
votes
8
answers
8k
views
Grothendieck on topological vector spaces
In a short biography article on Alexander Grothendieck, it is mentioned that after Grothendieck submitted his first thesis on topological vector spaces (TVS), apparently, he told Bernard Malgrange ...
- 1,446
6
votes
2
answers
449
views
Asymptotic behavior of the "Cauchy square" series
$\renewcommand{\ge}{\geqslant}\renewcommand{\le}{\leqslant}$
$\newcommand{\pa}[1]{\left( #1 \right)}$
Let us take $\alpha > 0$, $x_1 := \alpha$ and for any $n \ge \mathbb{N}$,
\begin{align*}
\boxed{...
- 61
2
votes
0
answers
138
views
Is $L^2([a,b]; L^2(S^2))$ the same as $L^2([a,b] \times S^2)$?
The space $L^2([a,b];L^2(S^2))$ is a Banach space with respect to the norm
$$\left\Vert f \right\Vert_1^2 = \int_{a}^b \left\Vert f(r) \right\Vert_{L^2(S^2)}^2 dr$$
The space $L^2([a,b]\times S^2)$ ...
- 969
1
vote
0
answers
92
views
Multilinear non-commutative Khintchine inequality
Let $g_1,\ldots,g_k$ be independent standard Gaussians and for each index $(i_1,\ldots,i_k)\in [n]^k$ let $A_{i_1,\ldots,i_k}$ be a $d\times d$ symmetric matrix.
Question: Is there a known bound for ...
- 156
4
votes
0
answers
262
views
Spectrum of ring in algebraic geometry vs spectrum of Banach algebra
For a commutative unital Banach algebra $A,$ and $x\in A,$ we have $\lambda \in \sigma_A(x)$ if and only if $\phi(x) = \lambda$ for some algebra homomorphism $\phi:A \to \mathbb C.$ The set of all ...
8
votes
3
answers
1k
views
Fractional Sobolev spaces and interpolation in unbounded Lipschitz domains
I am not really familiar with the topic, thus I am looking for some references about the following problem.
Let $s>0$ be a positive real and let $p\in(1,+\infty)$. We define the Bessel Potential ...
- 938
5
votes
1
answer
521
views
Properties of $C_B(X)$ equipped with the strict topology
Let $X$ be a Polish space. $C_B(X)$ is the space of bounded continuous functions $X\to\mathbb{R}$ equipped with the strict topology, which is the finest locally convex topology that agrees with the ...
CommunityBot
- 1
3
votes
0
answers
282
views
Interchange limit and supremum of functionals over a bounded convex set
Let $(H, \langle\cdot,\cdot\rangle)$ be a separable real Hilbert space and $B\subset H$ be (nonempty) convex and bounded, and suppose that $(\alpha_k)\subset H$ is a sequence for which the limit $\...
- 463
2
votes
1
answer
321
views
A strange functional inequality
Let $f,g \in C([-2,2],\mathbb R_+^*)$ even and concave real functions.
Is it true that
$$
\int_0^1 f\big(\cos(x^{-1})+\sin(x^{-1})\big) \cdot g\big(\cos(x^{-1})-\sin(x^{-1})\big) \mathrm{d}x\\ \leq f(...
- 109k
0
votes
0
answers
149
views
Notation $\le_{a,b,n,\ldots}$ in Analysis
In modern Analysis, especially Functional Analysis, one proves, or one uses inequalities of the form
$$F(X)\le_{a,\ldots,n}G(X).$$
The meaning of the subscripts in the inequality sign means that there ...
- 47.5k
2
votes
0
answers
28
views
Monotonicity of the rank of finitely generated closed sublattices
Let $E$ be a Banach lattice. We consider finitely generated elements in the class of all closed sublattices of $E$. Let $F$ be a closed sublattice $E$. Then a subset $G \subseteq F$ is called ...
- 467
6
votes
1
answer
1k
views
Symmetric basis of harmonic homogeneous polynomials
Recently, a question about the beautiful theory of harmonic polynomials made me aware there is something
I've wanted to know for a long time.
As is well known, for any number of variables $n$ and any ...
- 60.6k
1
vote
1
answer
370
views
Bounding supremum norm in terms of gradient L2-norm using a Poincare-like inequality
Suppose $f$ is a Lipschitz continuous real-valued function over a bounded domain $\Omega \subset \mathbb{R}^d$ with smooth boundary, and let $\overline{f} := \frac{1}{|\Omega|}\int_\Omega f(x) dx$. Is ...
- 3,425
2
votes
0
answers
78
views
What is known about $\operatorname{gap}(A) = \|A\| - r(A)$ for bounded operators on Hilbert spaces?
The gap of a bounded linear operator on a Hilbert space is defined as $$\operatorname{gap}(A) := \|A\| - r(A),$$
where $r(A)$ denotes the spectral radius of $A$. A natural question to ask is - for ...
- 165
3
votes
0
answers
206
views
Explicit basis of symmetric harmonic polynomials
An orthonormal basis for the space of harmonic polynomials in $n$ variables is provided by the spherical harmonics on the $n-1$ sphere, see e.g. wiki.
From there, constructing an orthonormal basis for ...
- 9,007
2
votes
0
answers
60
views
Basis vectors using anti-commuting operators?
Let $V$ be a finite-dimensional inner product space. Suppose $A_{1},...,A_{N}$ are anti-commuting operators, meaning that these are linear operators on $V$ that satisfy:
$$A_{i}A_{j}+A_{j}A_{i} = A_{i}...
- 1,305
0
votes
0
answers
73
views
Criteria giving sufficient conditions for a Borel measure to have compact support
I am interested in criteria that guarantee that a Borel probability measure has compact support.
I outline two below and I am hoping to gather more as answers (if they exist).
The first sufficient ...
- 890
8
votes
3
answers
831
views
Is every face exposed if all extreme points are exposed?
Let $C$ be a non-empty compact convex subset of ${\mathbb R}^d$ such that every extreme point of $C$ is an exposed point of $C$. Does it follow from this that every face of $C$ is an exposed face?
- 31
0
votes
0
answers
55
views
Johnson-Lindenstrauss type result for matrix factorization
The type of result I want is: given matrix $A\in \mathbb{R}^{m\times n}$ and error tolerance $\epsilon$, what is a lower bound on $k$ such that $\|A - UV\|_{??}\le \epsilon$, where $U \in\mathbb{R}^{m\...
0
votes
0
answers
43
views
When does the Hermite series converge pointwise and when is it uniformly bounded?
Let $\gamma$ denote the standard Gaussian measure on the real line, and consider $f \in L^2(\gamma)$. Since the Hermite polynomials $\{H_n\}_{n \geq 0}$ are a complete orthonormal system, we may ...
- 380
65
votes
14
answers
6k
views
Notions of convergence not corresponding to topologies
This question concerns the ramifications of the following interesting problem that
appeared on Ed Nelson's final exam on Functional Analysis some years ago:
Exam question: Is there a metric on the ...
- 35.5k
-1
votes
1
answer
286
views
Check an equation on the Heisenberg group $H_1$
The Heisenberg group $H_1$ is the set $\mathbb C\times \mathbb R$ endowed with the group law
$$ (z,t)\cdot(w,s) =\left (z+w, \,t+s+\tfrac{1}{2}\Im m(z \bar{w})\right); \quad \forall z,w \in \mathbb C\,...
- 650
4
votes
1
answer
285
views
Elliptic regularity when the Lagrangian is possibly infinite
I want to solve variational problems of the form
$$\inf_u \int_{-1}^1 \phi(u'(x)) \text{ with } u(-1)=u(1) = 0,$$
where $\phi(p)$ is convex and is allowed to take on the value $+\infty$ for some ...
CommunityBot
- 1
6
votes
2
answers
2k
views
Weak convergence + convergence of the norm implies strong convergence in Orlicz spaces
It is known [1, proposition 3.32] and a classical trick in PDEs that, in any uniformly convex Banach space $X$, weak convergence $x_n\rightharpoonup x$ together with convergence of the norm $\|x_n\|_X\...
- 176
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 ...
0
votes
0
answers
97
views
Generator of an analytic semigroup
Perhaps I have a naive question. My question is as follows:
When we consider a Cauchy proposition of the following form:
$$
\begin{cases}
x'(t)= -Ax(t)+ F(t,x(t)) &\text{for}\ t> 0 \\
x(0)=...
0
votes
0
answers
44
views
Are there probability densities $\rho, f_n$ such that $\lim_n \frac{[\rho * f_n]_\alpha}{\|\rho * f_n\|_\infty} = \infty$?
We fix $\alpha \in (0, 1)$. Let $[f]_\alpha$ be the best $\alpha$-Hölder constant of $f: \mathbb R^d \to \mathbb R^k \otimes \mathbb R^m$, i.e., $[f]_\alpha := \sup_{x \neq y} \frac{|f(x) - f(y)|}{|x-...
- 825
4
votes
2
answers
360
views
Functions with asymmetrically decreasing Fourier transform?
$\def\ii{{\rm i}}\def\bbR{\mathbb R}\def\bbC{\mathbb C}\def\bbNo{\mathbb N_0}\def\Fou{\mathscr F}$Specifically, I would like to have a compactly supported continuous function $f=u+\ii\,v:\bbR\to\bbC$ ...
- 3,584
7
votes
0
answers
295
views
Applications of Banach space homology
There is a well-developed theory of Banach space homology. What are some of its useful applications to Banach space theory and which important questions can one answer using it? In other words, how ...
- 175
1
vote
2
answers
90
views
Is the difference between $\alpha$-Hölder constants of $f*\rho$ and $g*\rho$ controlled by $\|f-g\|_\infty$?
Let $\mathcal D_1$ be the set of bounded probability density functions on $\mathbb R^d$. This means $f \in \mathcal D_1$ if and only if $f$ is non-negative measurable such that $\int_{\mathbb R^d} f (...
- 60.6k
1
vote
1
answer
57
views
Lower bound the best $\alpha$-Hölder constant of a convolution
Let $\mathcal D_1$ be the set of bounded probability density functions on $\mathbb R^d$. This means $f \in \mathcal D_1$ if and only if $f$ is non-negative measurable such that $\int_{\mathbb R^d} f (...
- 60.6k
0
votes
0
answers
235
views
Analogue of $\ell^2(X)$ over an arbitrary Banach ring
Let $X$ be a set. Over the Banach fields $F=\mathbb{R}$ or $F=\mathbb{C}$ we can define the Banach space$$\ell^2(X)=\{\xi\colon X\to F\mid \sum_{x\in X}|\xi(x)|^2<\infty\}$$which satisfies a list ...
- 1,485
0
votes
0
answers
53
views
A problem about how to understand the existence of derivative of level set in Mountain-pass theorem
I'm confused about the Mountain pass theorem in Lemma4 of here.
Background :
$$
\begin{gathered}
I_\lambda(u)=\frac{1}{2} \int_M\left|\Delta_g^{\frac{m}{2}} u\right|^2 d \mu_g-\frac{\lambda}{2 m} \log ...
- 809
3
votes
1
answer
79
views
Can a lift satisfy Chen's relation, geometric condition but not be a rough path?
Let $(X,\mathbb X):[0,1]^2\to \mathbb R^d\oplus\mathbb R^{d\times d}$ satisfy the following four properties:
\begin{align}
&X_{s,t}=X_{0,t}-X_{0,s}\\
&\sup_{t\neq s}\frac{|X_{s,t}|}{|t-s|^\...
- 5,474
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}+...
- 61.9k
0
votes
0
answers
112
views
Characterization for the multipliers of Schwartz space
Is the following true?
A function $m:\mathbb R^n\to\mathbb C$ is a Schwartz multiplier (i.e. $[f\mapsto mf]:S(\mathbb R^n)\to S(\mathbb R^n)$ is bounded linear) iff the following:
For every $\alpha$ ...
- 938
1
vote
0
answers
85
views
Maximizing the integral of a transformation that depends on a neighborhood of values of the original function
I'm not an expert in analysis whatsoever, so I might be posing a well-established question, or even an unanswerable one. Also, any suggestion on changes that might make the problem better are welcome.
...
- 11