Questions tagged [fa.functional-analysis]

Banach spaces, function spaces, real functions, integral transforms, theory of distributions, measure theory.

Filter by
Sorted by
Tagged with
2 votes
0 answers
32 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\...
Pietro Majer's user avatar
  • 56.2k
1 vote
0 answers
58 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 ...
Isaac's user avatar
  • 2,635
1 vote
1 answer
123 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 ...
Elvis's user avatar
  • 11
6 votes
1 answer
289 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 ...
Denis T's user avatar
  • 4,371
0 votes
1 answer
149 views

Does weak convergence in $L^2$ imply convergence a.e. of a subsequence?

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(\...
No-one's user avatar
  • 1,037
1 vote
0 answers
43 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} \...
PPB's user avatar
  • 83
2 votes
1 answer
117 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$ ...
Stephan Mescher's user avatar
0 votes
3 answers
243 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 ...
Dattier's user avatar
  • 3,737
1 vote
1 answer
69 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+\|...
Iosif Pinelis's user avatar
2 votes
1 answer
220 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 \...
Akira's user avatar
  • 717
2 votes
2 answers
161 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^...
Iosif Pinelis's user avatar
1 vote
0 answers
46 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 ...
BBB's user avatar
  • 21
2 votes
0 answers
55 views

Constructing spaces of analytic sections. Silva spaces

This is a follow up on this question Representing geodesic compactifications of $S^1\times \Bbb R$ as analytic sections over base (analytic) foliations to add more details. In the linked question I ...
53Demonslayer's user avatar
8 votes
1 answer
255 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)$-...
Liviu Nicolaescu's user avatar
2 votes
1 answer
142 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 ...
Akira's user avatar
  • 717
1 vote
0 answers
68 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-...
fidaleo's user avatar
  • 41
5 votes
2 answers
685 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 ...
Sébastien André-sloan's user avatar
3 votes
1 answer
249 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 ...
António Borges Santos's user avatar
0 votes
1 answer
111 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 ...
António Borges Santos's user avatar
2 votes
1 answer
124 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$-...
Keen-ameteur's user avatar
-2 votes
0 answers
35 views

Convergence of function sequences derived from systems of linear equations in operations research

I am working on a problem in operations research that involves systems of linear equations with a specific structure, and I am seeking insights or references that might help in proving a pointwise ...
Saito's user avatar
  • 45
2 votes
0 answers
59 views

Commutant of rank one operators over Hilbert module

Let $\mathcal{E}$ be a right Hilbert $C^*$-module over the $C^*$-algebra $A$. Consider for $\xi, \eta\in \mathcal{E}$ the rank-one operator $$\theta_{\xi, \eta}: \mathcal{E}\to \mathcal{E}: \zeta \...
Andromeda's user avatar
  • 189
3 votes
1 answer
127 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$, ...
Logan Hyslop's user avatar
2 votes
1 answer
91 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 ...
Ribhu's user avatar
  • 271
0 votes
0 answers
55 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+\...
user avatar
1 vote
1 answer
70 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,...
PPB's user avatar
  • 83
6 votes
2 answers
232 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 ...
Isaac's user avatar
  • 2,635
1 vote
0 answers
55 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\{ \...
Isaac's user avatar
  • 2,635
1 vote
1 answer
89 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 ...
Slup's user avatar
  • 532
1 vote
1 answer
92 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 $$ \...
d.k.o.'s user avatar
  • 175
6 votes
0 answers
191 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$. ...
Feng's user avatar
  • 517
0 votes
0 answers
72 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\...
Michaeli's user avatar
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=...
PonderingPolynomial's user avatar
10 votes
1 answer
226 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 ...
Pietro Majer's user avatar
  • 56.2k
2 votes
0 answers
121 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 $\...
builtdifferential's user avatar
3 votes
1 answer
76 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(\...
Houa's user avatar
  • 561
1 vote
1 answer
117 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 ...
Serge the Toaster's user avatar
4 votes
0 answers
56 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^\...
Liding Yao's user avatar
3 votes
1 answer
163 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)...
Ali Hasemi's user avatar
2 votes
0 answers
97 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 ...
Akira's user avatar
  • 717
-1 votes
0 answers
28 views

Conditional joint distribution decomposition

Let $I$ be a finite index set and $\mathcal X_i$ for $i\in I$ be a standard measurable space (or say a Polish space or $\mathbb R$). Suppose that the probability measure $P(X_I)$ on the product space $...
Mars's user avatar
  • 1
3 votes
1 answer
95 views

Dimension of spectral projection subspaces under local convergence

I'm interested in estimates on dimension of spectral projection subspaces of some limit operator. I recently asked a related question in the thread Dimension of spectral projection subspaces under ...
Keen-ameteur's user avatar
2 votes
1 answer
154 views

Does there exists an example of a Banach space that is compactly LUR; but not LUR

We know that a Banach space $X$ is locally uniformly rotund(LUR) if for $x, x_n \in S_X$ with $\Vert x+x_n \Vert \to 2$, we have $x_n \to x$. In the same case, if $(x_n)$ has a convergent subsequence, ...
PPB's user avatar
  • 83
0 votes
0 answers
49 views

Behaviour of duality mapping in a uniformly convex and smooth Banach space

Let us first define the normalized duality mapping $J:B \to 2^{B^*}$ by $$ J(\xi)= \{ jx \in B^* : \langle jx , \xi \rangle = \Vert jx \Vert_{B^*}^2 = \Vert \xi \Vert_B^2 \}, \forall \xi \in B, $$ ...
PPB's user avatar
  • 83
1 vote
0 answers
106 views

Building representation of an arbitrary umbral calculus

Consider a set of integrable functions on the interval $(0,1)$. Let's introduce an operation $\operatorname{eval}f=\int_0^1 f(x)\,dx$ (which is the mean value of the function). In such system the ...
Anixx's user avatar
  • 9,366
0 votes
0 answers
208 views

Gauss transformation in fractional Sobolev space

Let $g_{\mu}(x) = \mu^{d/2}\exp(-\pi\mu|x|^2)$ for every $\mu > 0$. Prove that $$ \int_{\mathbb R^{d}}\left|(-\Delta)^{\frac{s}{2}} u\right|^{2} \geq \int_{\mathbb R^{d}}\left|(-\Delta)^{\frac{s}{2}...
Muniain's user avatar
  • 101
3 votes
2 answers
144 views

Dimension of spectral projection subspaces under strong convergence of operators

I have a possibly simple question regarding estimating bounds on spectral projection subspace. Let $H_n$ be a sequence of bounded self-adjoint operators on $\ell^2(\mathbb{Z}^2)$ converging in the ...
Keen-ameteur's user avatar
5 votes
0 answers
159 views

Example of an $H^1$ function on the bidisk that is not a product of two $H^2$ functions

Fix $n \in \mathbb{N}$ and consider the Hardy space $H^1 := H^1(\mathbb{D}^n)$, consisting of holomorphic functions $f$ on the unit polydisk $\mathbb{D}^n=\mathbb{D}\times\dots\times\mathbb{D}$ such ...
EG2023's user avatar
  • 53
-1 votes
0 answers
52 views

How this second ODE is solved by Bessel’s function

Any help how this equation ( Eq. B3 in paper ) : $$ \phi’’(\eta) + \frac{6(1+\omega)}{1+3\omega)} \frac{1}{\eta} \phi’(\eta) + \omega k^2 \phi(\eta) =0 $$ Has been solved by Bessel’s function with a ...
Dr. phy's user avatar
  • 99
4 votes
0 answers
99 views

Weakly null sequences in projective tensor products II

The question in this post is the question below from an article by Rodriguez & Rueda Zoca [1]. Below is a complimentary salad/side dish that accompanies the main course. Let $B^2(X,Y)$ denote ...
Onur Oktay's user avatar
  • 2,208

1
2 3 4 5
186