Questions tagged [fa.functional-analysis]
Banach spaces, function spaces, real functions, integral transforms, theory of distributions, measure theory.
3,435 questions with no upvoted or accepted answers
2
votes
0
answers
74
views
Random contractions and contractions on the space of measures
Let $(S,d)$ be some separable and complete metric space, and let $\mathbb{F}$ be some collection of functions from $S$ to $S$. Endow $\mathbb{F}$ with a suitable sigma algebra such that everything I ...
2
votes
0
answers
293
views
Average of irrational flow on the torus
Let $$F(x,y) = \frac{1}{\sqrt{2-\sin(2\pi x) - \sin(2\pi y)}}$$
defined on $\mathbb{T}^2$. Here $\mathbb{T}^2 = \mathbb{R}^2/ \mathbb{Z}^2$ is the 2-torus. How can I show that
$$ \lim_{T\...
- 375
2
votes
0
answers
246
views
Decay rate of least eigenvalue of Gram matrices
Consider the Hilbert space $H=L^2_w(I)$ as the weighted $L^2$ space, where $I\subseteq\mathbb{R}$:
$$ L_w^2(I)=\{\phi:I\rightarrow\mathbb{R}:\,\|\phi\|^2=\int_I \phi(x)^2w(x)\,dx<\infty\}. $$
In ...
- 141
2
votes
0
answers
213
views
Density in the graph norm
Let $T\in B(H)$, where $H$ is a (separable) complex Hilbert space. Let $A$ be an unbounded self-adjoint operator acting in $H$. We denote by $D(A)$ its domain. We endow it with the graph norm, e.g., $\...
- 71
2
votes
0
answers
204
views
Eigenvalues and kernel of the the fractional laplacian in the $d$-dimensional torus
Let $\mathbb{T}^d$ be the $d$-dimensional torus. Consider the operator
$$
\Delta^{(\alpha/2)}u(x):= \int_{\mathbb{T}^d} \frac{u(x+y)+u(x-y)-2u(x)}{(d_{\mathbb{T}^d}(x,y))^{d+\alpha}}
dy$$
Where $u$ ...
- 446
2
votes
0
answers
149
views
Projection semigroup of an isolated eigenvalue
I'm currently working with a paper and I don't get something there. Let $A$ be a closed operator on a Banach space $X$ and $\lambda \in \sigma(A)$ an isolated eigenvalue, i.e. there is a $r > 0$ ...
- 381
2
votes
0
answers
124
views
Logarithm of $L^p$ space
I encountered the following space as a natural space for setting up a certain problem:
$$
S_m^p = \{f \colon I \to \mathbb{R} \text{ measurable }; m^{f} \in L^p(I)\}
$$
Here, $I$ is an open bounded ...
- 648
2
votes
0
answers
199
views
Uniformly convex, uniformly smooth Banach space which is not convex of power type
It is well known that every uniformly convex Banach space $X$ admits an equivalent norm which such that it is convex of power type, i.e. the modulus of convexity with respect to the new norm satisfies ...
- 799
2
votes
0
answers
212
views
Tensor product of traces of von Neumann algebras
I am trying to understand how to define tensor product of normal semifinite faithful (in short n.s.f) traces between two von Neumann algebras $(M_1,\tau_1)$ and $(M_2,\tau_2),$ where $\tau_i$ is the n....
- 455
2
votes
0
answers
93
views
Reference request: $|\partial_t u - \Delta u|\in L^p(\Omega^T)$ implies Holder estimate
I am currently reading a paper regarding harmonic flow between Riemannian manifolds. Let $\Omega$ be a Riemannian domain of dimension $2$, $\Omega^T=\Omega\times[0,T]$. The equation is
$$
\partial_t ...
- 1,245
2
votes
0
answers
108
views
Homogeneity of the space of semicontinuous functions
I am interested in the topological homogeneity of function spaces.
Question. Let $X$ be a Tychonoff space, let $USC(X)$ be a space of upper semicontinuous functions on $X$ and let $USC(X)^+$ be a ...
- 1,101
2
votes
0
answers
212
views
Bilinear form representation
It is known, that the following result holds: let $X,Y$ be compact sets in $\mathbb{R}^N$ and $\mathbb{R}^M$ respectively and let $B:C(X)\times C(Y)\to\mathbb{R}$ be a continuous bilinear form ($C(X)$ ...
user114232
2
votes
0
answers
103
views
Bounded adjoint of Dirac operator and essential self-adjointness
Suppose $D$ is a Dirac operator acting on sections of a bundle $E$ over a manifold $M$, and define the Sobolev spaces $H^i(E)$ via the inner products $$\langle e_1,e_2\rangle_{H^i}:=\sum_{k=0}^i\...
- 1,913
2
votes
0
answers
150
views
Non-separable asymptotic $\ell_1$ space
The Figiel-Johnson Tsirelson space is an example of an asymptotic $\ell_1$ Banach space not containing $\ell_1$. The notion of asymptotic $\ell_1$ is with respect to some basis, but a coordinate free ...
user114263
2
votes
0
answers
70
views
Can the STFT decrease arbitrarily quickly near the origin?
For $f,g \in L^2(\mathbb{R}^d)$ we can define the Short Time Fourier Transform (STFT) $V_gf \in C_0(\mathbb{R}^{2d})$ as $$V_gf(x, \omega) = \int_{\mathbb{R}^d} f \overline{g(t - x)} e^{-2 \pi i t \...
- 1,010
2
votes
0
answers
93
views
Open problems concerning Araujo's biseparating maps
Araujo stated the following four open questions at the end of his paper, page $518$ and $519.$
Question $1:$ Assume that there exists a biseparating map $T:A^n(\Omega:E)\to A^m(\Omega',F)$ which is ...
- 623
2
votes
0
answers
491
views
How to make sense of the Euler Lagrange equations for an infinite action?
The Euler–Lagrange equation is an equation satisfied by a function $q$, which is a stationary point of the functional
$S(\boldsymbol q) = \int_a^b L(t,q(t),\dot{q}(t))\, \mathrm{d}t$
Say we have an ...
- 989
2
votes
0
answers
164
views
An operator valued Egoroff's theorem
The following statements suggests $B(H)$-valued Egoroff's theorem when $H$ is a separable Hilbert space. Probably it will be hold even if a von Neumann algebra $M$ whose predual is separable is ...
- 4,058
2
votes
0
answers
116
views
Density of $C^0(\Bbb R^{n}\times (0,T))$ and $C^{\infty}_c(\Bbb R^{n}\times (0,T))$ in $L_{p,q}(\Bbb R^n_T)$
Let the space $L_{p,q}(\Bbb R^n_T)$ be defined as the set of all measurable $f:\Bbb R^{n}\times(0,T)\to\Bbb R$ such that $||f||_{p,q}<\infty$, where
$$
||f||_{p,q}:=\left(\int_0^T\left( \int_{\Bbb ...
- 1,245
2
votes
0
answers
65
views
Generalized Besov spaces with different integrability and smoothness in space and time?
Consider the family of Besov spaces $B_{p,q}^{s}(\mathbb{R})$ with $0<p,q \leq \infty$ and $s \in \mathbb{R}$.
Is there a natural way to define spaces of generalized functions $f(t,x) \in \mathcal{...
- 2,306
2
votes
0
answers
58
views
Absolute continuity of DOS measure for Schrödinger operators
Kotani theory gives roughly that for ergodic operators there is a certain equivalence between absolutely continuous spectrum and an absolutely continuous density of states measure.
I would like to ...
- 21
2
votes
0
answers
243
views
Implicit function theorem metric spaces
Are there versions of the implicit function theorem in spaces that lack a natural linear structure, e.g. metric spaces. A quick google search has found me no results.
I am specifically interested in ...
- 175
2
votes
0
answers
71
views
One class Sturm-Liouville differential equation
Let $\phi_n(x), \psi_n(x)$ be solution Sturm-Liouville differential equation
$$p(x) y''(x) - 2n p'(x)y'(x)+2n(2n+1)y(x)=0$$
$$\phi_{n}(0)=0, \hspace{3mm} \phi'_{n}(0)=1;$$
$$\psi_{n}(0)=1, \hspace{...
- 259
2
votes
0
answers
169
views
Stochastic Approximation in Reproducing Kernel Hilbert Space
Consider an iterative algorithm with incremental updates
\begin{align}
x_{t+1} = x_t + \alpha_t \cdot [ h(x_t) + M_{t+1}],
\end{align}
where $\{x_t \}_{t \geq 0}$ is in a reproducing kernel Hilbert ...
- 1,127
2
votes
0
answers
169
views
How can we show that a $Q$-Wiener process on a Hilbert space $U$ takes values in $Q^{1/2}U$?
Let
$(\Omega,\mathcal A,\operatorname P)$ be a complete probability space
$(\mathcal F_t)_{t\ge0}$ be a complete and right-continuous filtration on $(\Omega,\mathcal A)$
$U$ be an infinite-...
- 167
2
votes
0
answers
88
views
Functional equation involving integrals and exponential
Can we find on $\mathbb{R}^+$ a real positive function $f(x)$ (in $C^{\infty}$) such that:
$$\int_0^{\infty} f(x) e^{\lambda \int_1^{x} f(t)^2 dt} dx=0$$
where $\lambda$ is a complex number (with $0&...
- 1,199
2
votes
0
answers
133
views
Banach spaces with unconditional basis have w-FPP
A Banach space $X$ is said to have w-FPP (weak fixed point property) if for every non-empty, weakly compact and convex subset $K\subseteq X$; every non-expansing mapping $T:K\longmapsto K$ i.e.
$$\|...
- 71
2
votes
0
answers
89
views
Extension of a generalized function to the plane
Let $\phi$ be a generalized function on $\mathbb{R}^2\backslash\{0\}$, and assume that its differential $d\phi$ extends to the whole plane $\mathbb{R}^2$.
Q. Does $\phi$ also extend to $\mathbb{R}^...
- 21.8k
2
votes
0
answers
189
views
Dunford−Pettis property of $L^1(\mu)$
$\def\bs#1{\boldsymbol#1}\def\sp{\kern.4mm}$Let $\bs K$ be either the standard real or complex topological field, and let $E$ be a Hausdorff locally convex space over $\bs K\sp$. Then saying that $E$ ...
- 3,584
2
votes
0
answers
245
views
Dual space of functions of exponential type
The dual space of entire functions is known. It is the space of functions analytic around infinity with non-constant term, $\mathcal{O}^\infty_0$. The action of $F\in \mathcal{O}^\infty_0$ on an ...
- 503
2
votes
0
answers
229
views
Chain rule for Newton-derivative
I'm looking for properties of the Newton-derivative, defined as follows: A function $F \colon X \to Y$ is Newton differentiable at $x\in X$ if there exists $\varepsilon>0$ and a function $G\colon ...
2
votes
0
answers
210
views
A Riemannian metric on the plane such that the intersection of every two discs is a disc, again
Is there a Riemannian metric on $\mathbb{R}^2$ (or a $2$ dimensional manifold) such that the intersection of every two open discs is an open disc, again?
As linear version of this question we ask:
...
- 366
2
votes
0
answers
78
views
Generalization of supersymmetry to dimension 3
in two dimensions there is a simple trick to study the spectrum of operators of the form
$$\textbf{A}:=\left( \begin{matrix}0 && A^* \\ A && 0 \end{matrix}\right)$$
The trick is to ...
- 167
2
votes
0
answers
205
views
relative amenability of von Neumann algebra
Let $\cal{M}$ be a finite von Neumann algebra and $\cal{N}$ be a von Neumann subalgebra of $\cal{M}$.
The von Neumann algebra $\cal{M}$ is is amenable relative to
$\cal{N}$ if there exists a norm ...
- 565
2
votes
0
answers
352
views
Orthonormal Basis for Convex Functions
Are there any orthonormal bases for strictly convex functions $f: \mathbb{R}^n\ni x \mapsto \mathbb{R},\ x\ne y\implies f\left(\alpha x+\left(1-\alpha\right)y\right) \lt \alpha f(x)+(1-\alpha)f(y) \...
- 13.2k
2
votes
0
answers
683
views
Laplace problem with Robin boundary condition on a wedge
I'm trying to understand what the essential differences between Dirichlet/Neumann and Robin boundary conditions are. Therefore, let $\omega \in \left(0, 2\pi\right)$ and let
\begin{equation*}
\Omega = ...
2
votes
0
answers
81
views
lower semicontinuity of the number of extreme points
Do you know the reference for the following fact:
the number of extreme points of a compact convex
subset of a locally compact space varies lower semicontinuously when we endow the space of compact ...
- 111
2
votes
0
answers
379
views
Is this double integral of Fourier series always real?
Consider $f(x)$ a function from $\mathbb{R^+}$ to $\mathbb{C}$ such that $f(x) \sim_0 x$ and $\int_{0}^{\infty} f(x) dx=\int_{0}^{\infty} x^2 f(x) dx=0$
Can we demonstrate that following integral is ...
- 1,199
2
votes
0
answers
142
views
Self-adjointness on Banach spaces
Let $A \in L(X,Y)$ be a bounded operator between Banach spaces. Then its dual operator $A' \in L(Y',X')$ has the same spectrum as $A$ by the closed range theorem.
Now, if we have an unbounded ...
- 501
2
votes
0
answers
60
views
Mean width of intersection of two elipsoid
My question is regarding mean widths. For a set $\mathcal{T}$ define the mean width
\begin{align*}
\omega(T)=\mathbb{E}_{\mathbf{g}\sim\mathcal{N}(0,\mathbf{I})}\bigg[\underset{\mathbf{u}\in\mathcal{...
- 363
2
votes
0
answers
38
views
Defining a capacity wrt. positivity preserving forms that are not regular?
Let $(X,m)$ be a locally compact measure space countable at infinity. Suppose we have a bilinear form $a:H \times H \to \mathbb{R}$ on a Hilbert space $H \subset L^2(X)$.
The form is coercive and ...
- 21
2
votes
0
answers
89
views
Link between subharmonic and subanalytic functions
Consider $\Omega$ an open set of $\mathbb{C}$ and $f : \Omega \to \mathbb{R}$ a $C_{\infty}$-function. The following two definitions are well-known (at least the first one) but I prefer to recall them ...
- 1,017
2
votes
0
answers
211
views
What is the modern replacement for Tauberian Theorems?
One strategy for proving the Prime Number Theorem is to use the results of Wiener and Ikehara. In fact, he gives two different proofs using slightly different result.
Them 220 If $g$ is $W$ and $h$...
- 22.8k
2
votes
0
answers
2k
views
Reference for a proof of the Gagliardo-Nirenberg Interpolation Inequality?
In the book Linear and Quasi-linear Evolution Equations in Hilbert Spaces by Cherrier and Milani, Theorem 1.5.2, we are given the following version of the GN interpolation inequality:
Let $\Omega\...
- 1,247
2
votes
0
answers
136
views
Equivalent statement of the Wiener-Tauberian theorem?
I would like to know why we have the equivalence between the following three statements of the Wiener-Tauberian theorem:
version 1: If $I$ is a closed ideal in $L^1(\mathbb R)$, such that the set $...
- 650
2
votes
0
answers
122
views
Riesz rearrangement inequality for weighted spaces
I am wondering if by replacing the Lebesgue measure in the definition of symmetric-decreasing function with a weighted Lebesgue measure, Riesz rearrangement inequality still holds. For clarity, I ...
- 63
2
votes
0
answers
80
views
cotype properties of measures
Let $K$ be a compact Hausdrauff space and $M(K)=C(K)^{*}$ the set of all bounded complex Radon measures on $K.$ Is it true that $M(K)$ is of cotype 2? I think the answer is true and to prove this its ...
- 455
2
votes
0
answers
79
views
One-dimensional integral equation uniquely solvable?
I recently met a question similar to this one and I would like to post it here, because I basically found nothing:
We define the (possibly unbounded) integral operator $T:D(T) \subset C_0(\mathbb{R}) ...
- 329
2
votes
0
answers
167
views
Real symmetric operators in $\ell^p$, for $p\neq 2$
Consider the spaces $\ell^p$, for $1 \leq p \leq \infty$. Suppose we have a bounded linear operator $S: \ell^\infty \to \ell^\infty$ such that $S(\ell^p) \subseteq \ell^p$ for every $p \geq 1$ and ...
2
votes
0
answers
350
views
Fractional iteration of a variant of the $\sin()$ function - how to fractionally iterate $ f(x)=\sum_{k=1}^\infty (-1)^k a_{2k}x^{2k}$?
I was reconsidering the fractional iteration of the sine-function and remembering that the power series for the fractional iterates have convergence radius zero I looked at the variant of the sine ...
- 5,342