Questions tagged [fa.functional-analysis]
Banach spaces, function spaces, real functions, integral transforms, theory of distributions, measure theory.
9,354
questions
0
votes
0
answers
41
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,641
1
vote
1
answer
80
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-...
- 61
2
votes
0
answers
89
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,133
2
votes
2
answers
80
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 $...
- 2,749
0
votes
2
answers
221
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 \...
- 2,749
1
vote
1
answer
110
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 ...
- 125
2
votes
1
answer
212
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,301
11
votes
0
answers
510
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,289
0
votes
0
answers
24
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
59
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
111
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,939
4
votes
0
answers
124
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,233
3
votes
0
answers
93
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, \, \...
- 419
5
votes
0
answers
79
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\...
- 56.6k
3
votes
0
answers
99
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 ...
- 2,749
1
vote
1
answer
134
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 ...
- 7
6
votes
1
answer
369
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,436
0
votes
1
answer
212
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,037
1
vote
0
answers
54
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} \...
- 75
2
votes
1
answer
138
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$ ...
- 833
0
votes
3
answers
267
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 ...
- 3,801
2
votes
2
answers
204
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+\|...
- 118k
2
votes
1
answer
246
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 \...
- 851
2
votes
2
answers
180
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^...
- 118k
2
votes
0
answers
50
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 ...
- 31
8
votes
1
answer
276
views
Is the dual of a Fréchet space weakly* separable?
It is known that if $X$ is a separable Banach space with dual $X^\ast$, then $B_{X^\ast}$, the closed the unit ball in $X^\ast$, is compact and metrizable in the weak* or $\sigma(X^\ast, X)$-...
- 34.1k
2
votes
1
answer
146
views
Are these two norms on localized versions of $L^p_q$ equivalent?
$\newcommand{\RR}{\mathbb R}\newcommand{\diff}{\, \mathrm d}$ We fix $T \in (0, \infty)$ and $p, q \in [1, \infty)$. Let $\mathbb T$ be the interval $[0, T]$.
Let $E$ be the space of all real-valued ...
- 851
1
vote
0
answers
80
views
positive invertible maps which are not *-automorphisms
Let $A$ be a unital C*-algebra. Is there a unital positive self-map $F:A\to A$ which is invertible (i.e. injective and surjective) but not a $*$-automorphism? If yes, how does appear its Gelfand-...
- 41
5
votes
2
answers
812
views
How can I prove this special version of the Poincaré inequality?
I am reading a paper, Is $L^2$ Physics-Informed Loss Always Suitable for Training Physics-Informed Neural Network?, which uses an "application" of Poincaré's inequality. The form I know and ...
4
votes
1
answer
259
views
Schroedinger operator in 2 dimensions with singular potential
Consider the Schroedinger operator
$$H = -\Delta + \frac{c}{\vert x \vert^2}$$
in two dimensions with $c >0$
This operator has a self-adjoint realization, since it is a positive symmetric operator ...
0
votes
1
answer
119
views
Singular integral bounded by Dirichlet form?
We define for some fixed $L$
$$\Omega:=\{(x_1,x_2) \in ([-L,L]^2 \times [-L,L]^2) \setminus \{x_1=x_2\}\},$$
in particular $x_1,x_2 \in \mathbb R^2.$
Let $f \in C_c^{\infty}(\Omega)$, then I am ...
2
votes
1
answer
135
views
Difference in essential spectrum between Schrodinger operators
I am considering two Schrodinger operators on $\mathbb{Z}^2$ and compare their essential spectrum. The operators are both of the form $H=A+V$ where $A$ is the adjacency operator on the $\mathbb{Z}^2$-...
- 579
3
votes
1
answer
137
views
Rescaling Fourier coefficients of a continuous function by a bounded sequence
This question stems out of: which sequences $(a_n)_{n\in\mathbb{Z}}$ of complex numbers have the property that if there exists a continuous function $f$ on the circle with Fourier coefficients $b_n$, ...
- 404
2
votes
1
answer
116
views
$L^2$ space of Hilbert-Schmidt operator valued functions
Let $\mathscr{S}$ denote the space of all Hilbert-Schmidt operators on $L^2(\mathbb R)$. Consider the Hilbert space $L^2(\mathbb R, \mathscr S)$ of square-integrable $\mathscr S$-valued function, that ...
- 311
0
votes
0
answers
56
views
asymptotic expansions for $C^{1+\epsilon}$operators
I want to understand the asymptotic expansion for $C^{1+\epsilon}$ operators.
More precisely, if a complex operator $T(z)=\sum_{n \ge 1}T_n z^n$ is defined on a closed unit disk, and it is $C^{1+\...
user522705
1
vote
1
answer
74
views
Convexity property of an equivalent norm on $\ell_2$
Let us consider the space $\ell_2$ with an equivalent norm defined by
$$
\Vert x \Vert = \max \{ \Vert x^{'} \Vert_2, \Vert x^{''} \Vert_2 \},
$$
where $x^{'}=(0, x_2, x_3, \cdots)$, $x^{''} = (x_1, 0,...
- 75
6
votes
2
answers
252
views
If a Banach / Fréchet manifold $M$ happens to be a topological vector space, is $M$ just a Banach / Fréchet space?
In finite dimensions, if $M$ is a smooth manifold that happens to be a vector space, then it is indeed just the Euclidean space.
I wonder if the same result holds valid in infinite dimensions. More ...
- 2,749
1
vote
0
answers
61
views
Is the adjoint action of $\mathrm{SU}(2)$ on the Schwartz space proper and free?
$\DeclareMathOperator\SU{SU}$Let $t_1, t_2, t_3$ be generators of the Lie algebra $\mathfrak{su}(2)$.
Let us consider a Schwartz space $\mathcal{S}$ defined as
\begin{equation}
\mathcal{S}:= \Bigl\{ \...
- 2,749
1
vote
1
answer
91
views
Image of a complete topological group under open and surjective map is complete?
A uniform space $X$ is complete if every Cauchy filter in $X$ is convergent. Here we do not require $X$ to be Hausdorff.
Question.
Let $G$ be a complete topological group and let $H$ be a topological ...
- 532
1
vote
1
answer
93
views
Maximal element w.r.t. abolute continuity of measures
Suppose that $\mu$ is a $\sigma$-finite measure on $\mathcal{X}\equiv\bigotimes_{i=1}^n\mathcal{X}_i$. Let $\Pi$ denote the set of all $\sigma$-finite product measures on $\mathcal{X}$. Define
$$
\...
- 185
6
votes
0
answers
196
views
Energy of harmonic maps from $\mathbb R^2$ to $S^2$ is quantized
Assume that $U:\mathbb R^2\to S^2=\{y\in\mathbb R^3:|y|=1\}$ is a smooth solution of the equation $\Delta U+|\nabla U|^2U=0$ in $\mathbb R^2$ with $\int_{\mathbb R^2}|\nabla U|^2\,dx<+\infty$. ...
- 517
0
votes
0
answers
74
views
Ultraproduct reflexive
Hello I have the following construction: Let $(E,\|\cdot\|_E)$ be a Banach space, $E_n:=E^n$ and $\|x_n\|_n:=\frac{1}{n}\sum_{k=1}^n \|x_n(k)\|_E$ for all $x_n=(x_n(1),...,x_n(n))\in E^n$ and $n\in\...
- 1
2
votes
1
answer
135
views
Invertibility of message passing with invertible parametrization
Consider the message passing framework defined by, $$f(\boldsymbol{x}_i)= \boldsymbol{x}_i + \sum_{j \neq i} (\boldsymbol{x}_i -\boldsymbol{x}_j) g(\|\boldsymbol{x}_i -\boldsymbol{x}_j\|^2),$$ for $i=...
11
votes
1
answer
280
views
Which closed subsets $Y$ of a compact space $X$ admit a linear extensor $C(Y)\to C(X)$?
In the following $X$ is a Hausdorff compact topological space. Let $Y$ be a closed subset of $X$.
The restriction operator $R_Y:C(X)\to C(Y)$ is surjective (Tietze), so it admits a continuous right ...
- 56.6k
2
votes
0
answers
127
views
Convergence of eigenfunctions
In their 1999 paper "Sturm-Liouville operators with singular potentials", Savchuk and Shkalikov prove the uniform resolvent convergence of an operator $L_\varepsilon \rightarrow L$ for $\...
3
votes
1
answer
99
views
Can gradient zero implies that a function is constant with Hörmander vector fields
Let $X=(X_1,\cdots,X_m)$ be a system of Hörmander vector fields defined on $\mathbb{R}^n$. The Sobolev space $W_{X}^{1,p}(\Omega)$ is defined by
$$W_{X}^{1,p}(\Omega):=\{u\in L^p(\Omega)|X_iu\in L^p(\...
- 561
1
vote
1
answer
125
views
Points in the Stone Cech compactification are intersection of open sets
Let $\beta \mathbb{N}$ be the Stone Cech compactification of the natural numbers and let $ x\in \beta \mathbb{N}$. Is it true that there exists a sequence of open sets $\{U_n\}_{n=1}^\infty$ in $\beta ...
4
votes
0
answers
60
views
Find reasonable definition for endpoint Lorentz function spaces $L^{\infty,q}$ via the idea from endpoint Triebel-Lizorkin ${\scr F}_{\infty,q}^s$
On a measure space $(X,\mu)$, for $0<p,q<\infty$ the Lorentz space $L^{p,q}(\mu)$ is defined by $$\|f\|_{L^{p,q}(\mu)}:=p^\frac1q\|t\mu(|f|>t)^\frac1p\|_{L^q(\mathbb R_+,\frac{dt}t)}=p^\...
- 906
3
votes
1
answer
166
views
Can homomorphisms be Borel in some weaker topology?
Let $X$ be a Banach space with separable dual and let $A$ be a Banach algebra. Consider a norm continuous homomorphism $h$ from $L(X)$, the Banach algebra of bounded operators on $X$ onto $A$. In $L(X)...
- 31
2
votes
0
answers
104
views
Upper bound Hölder norm of the solution to the linear PDE $\partial_t u (t, x) = \Delta_x \{ |\sigma (x)|^2 u(t, x) \}$
Previously, I asked the same question for a non-linear PDE, but I have got no answer. Below, I consider the linear counterpart it.
We fix $T>0$ and let $\mathbb T := [0, T]$. Let $\sigma : \mathbb ...
- 851