Questions tagged [fa.functional-analysis]
Banach spaces, function spaces, real functions, integral transforms, theory of distributions, measure theory.
9,353
questions
5
votes
1
answer
412
views
improved Sobolev embedding
This is probably not a research level question but I am struggling with the geometry. My question is related to whether some monotonicity can increase the range of exponents in the Sobolev embedding.
...
1
vote
1
answer
206
views
A question of uniqueness
Let $u$ an harmonique function on $\Omega=(a,b)\times (0,+\infty)$ and boundary conditions :
$\displaystyle u(a,y)=u(b,y)=0,\quad\forall y\geq 0$
$\displaystyle u(x,0)=0,\,\lim_{y\to +\infty} u(x,y)=...
1
vote
1
answer
410
views
$L^p$ compactness for a sequence of functions from compactness of cut-off
Fix $p \in [1,\infty)$. Let $f_n:[a,b] \to \mathbb R$, $n \in \mathbb N$, be a sequence of $C^1$ functions. For every fixed $m\in \mathbb N^*$, suppose that the sequence of functions $$\{f_{n}\psi_m(...
9
votes
1
answer
200
views
Literature request: Schatten class difference of semigroups
Let $\mathcal{H}$ be a Hilbert space and $A,B$ two operators on it (not necessarily self-adjoint) such that $A, A+B$ are generators of strongly continuous one parameter semigroups $e^{-tA},e^{-t(A+B)}$...
1
vote
1
answer
254
views
Regarding subspace generated by the polynomial multiples of outer functions
Let $\mathbb{D}$ and $\mathbb{T}$ denote the open unit disk and unit circle in $\mathbb{C}$ respectively. We write $Hol(\mathbb{D})$ for the space of all holomorphic functions on $\mathbb{D}.$ The ...
0
votes
1
answer
75
views
Ultrabornological representation for the space of uniformly continuous functions?
Let $\{\omega_i\}_{i\in I}$ be a non-empty set of increasing (not necessarily strictly) continuous functions preserving $0$. Then, for each $i \in I$ define the space
$$
C_{\omega_i}(\mathbb{R}^n,\...
3
votes
1
answer
137
views
Banach embedding of finite dimensional spaces
Recall that: let $0<r<s<2$, then $\ell_r$ uniformly contains a subspace isomorphic to $\ell_s^m$, $m\ge 1$ (see [JS]).
I am wondering whether are any result for the case when $r>s>2$?
...
1
vote
1
answer
769
views
Known dense subset of Schwartz-like space and $C_c^{\infty}$?
After reading this question, which asked for some examples of commonly used (proper) dense subsets of $C_0^{\infty}(\mathbb{R}^n)$ with the $L^p$-norm I wonder. What are some "well-known" ...
7
votes
0
answers
104
views
Potential p-norm on tuples of positive operators
This is a follow-up to this question on p-norms of tuples of operators.
Consider $\left[\begin{matrix} A \\ B \end{matrix}\right] \in B(H)^2_+$, meaning $A,B\geq 0$, and define
$$
\left\|\left[\begin{...
1
vote
3
answers
433
views
Openness of the set of injective functions in $C(\mathbb{R})$?
Let $C(\mathbb{R})$ be equipped with the topology of compact convergence (or equivalently the compact-open topology). Then, is the subset $\left\{f\in C(\mathbb{R}):
\text{$f$ injective}
\right\}$ ...
11
votes
0
answers
630
views
What is the asymptotics of the Fourier transform of $\exp(-x^4)$ for large wave numbers?
The Fourier transform of $\exp(-x^4)$ has an analytical expression, it's the difference of two generalized hypergeometric functions:
$\int d x \ e^{-x^4} e^{ikx} = 2 \ \Gamma(\frac{5}{4}) \ _0F_2(;\...
5
votes
4
answers
555
views
Optimizing the gradient norm on the unit sphere
Let $ \Bbb S^{d-1}=\{(x_1,\cdots ,x_d): x_1^2+ \cdots +x_d^2=1\}\subset \Bbb R^d$ be the unit
sphere. Let $\nabla u= (\partial_{x_1}u,\cdots, \partial_{x_d}u)$ be the gradient of a function $u\in C_c^\...
1
vote
0
answers
111
views
Algorithm/iterative procedure for constructing hypercyclic vectors?
Let $B$ be a separable Banach space and let $L:B\rightarrow B$ be a hypercyclic operator; here I use the definition of hypercyclicity given implicitly by Birkhoff's Transitivity Theorem: continuous ...
3
votes
0
answers
110
views
Image restoration quality general lower bounds
A typical image restoration model posits that, starting from a true image $f = f(x,y)$, we observe
$$
\tilde f = f \star h + n
$$
where $\star$ is convolution, $h$ is the point spread function (caused,...
4
votes
1
answer
276
views
Supremum over which sets makes $H^{\infty}$ non-separable?
It is known that the space $H^{\infty}$ of bounded holomorphic functions on the unit disk $D$ is non-separable with respect to the supremum norm $\|\cdot\|_{\infty}^{D}$. Let $E\subset D$ be connected ...
0
votes
0
answers
84
views
Differential equation
Consider $u = u(\phi,\psi)$ where $\phi = \phi(x)$ and $\psi =\psi(x)$ are both analytic function. The following equation
$$\partial_x u - u\partial_x (\phi-\psi)=0$$
has a trivial solution $u(\phi,\...
2
votes
0
answers
66
views
Sum of an operator with disconnected spectrum and a compact operator is strongly reducible
Let $H$ be a complex, infinite-dimensional, separable Hilbert space. Let $T \in B(H)$ be an operator with disconnected spectrum. In the introduction of the paper:
Jiang, C.; Sun, S.; Wang, Z. (1997). ...
6
votes
1
answer
470
views
Path integral as quantum mechanics on the tangent bundle
Let $X$ be a configuration space, a finite-dimensional manifold. By "quantum mechanics on $X$" I mean a linear evolution equation on complex-valued functions on $X$, determined by a ...
0
votes
0
answers
100
views
Norm equivalences for Gaussian random functions (Cameron-Martin space)
Preliminaries
Consider the Hilbert space $H :={L^2_{\text{per}}(\mathbb{R})}$ of Gaussian random functions, $2\pi$-periodic in $\mathbb{R}$.
These random functions are drawn from a Gaussian measure $\...
4
votes
0
answers
113
views
If $f:U_1\to\mathcal L^p(\mu;E_2)$ is Fréchet differentiable, can we say anything about the Fréchet differentiability of $u\mapsto f(u)(\omega)$?
Let $(\Omega,\mathcal A,\mu)$ be a $\sigma$-finite measure space, $p\ge1$, $E_i$ be a $\mathbb R$-Banach space, $U_1\subseteq E_1$ be open and $f:U_1\to L$ be Fréchet differentiable at $x\in U_1$, ...
15
votes
2
answers
2k
views
In infinite dimensions, is it possible that convergence of distances to a sequence always implies convergence of that sequence?
This is a cross-posted on MSE here.
Let $(X,d)$ be a metric space. Say that $x_n\in X$ is a P-sequence if $\lim_{n\rightarrow\infty}d(x_n,y)$ converges for every $y\in X.$ Say that $(X,d)$ is P-...
2
votes
2
answers
408
views
lattice suprema vs pointwise suprema
What is the difference between the lattice supremum and the pointwise supremum of a family of functions? I mean, given a family of real valued functions $\mathcal{F}$, is the function $\sup\mathcal{F}:...
3
votes
2
answers
199
views
Analogue of decay of Fourier coefficients of a smooth function on $\mathbb{S}^1$
Let $\nu$ be the uniform measure on the unit circle $\mathbb{S}^1 \subset \mathbb{R}^2$, normalised so that $\nu(\mathbb{S}^1) = 1$. Suppose $\mu$ is a Borel probability measure on $\mathbb{S}^1$ ...
6
votes
1
answer
218
views
Potential p-norm on tuples of operators
Consider $\left[\begin{matrix}A \\ B\end{matrix}\right] \in B(H)^2$. One can define
$$
\left\|\left[\begin{matrix}A \\ B\end{matrix}\right]\right\|_p = \| |A|^p + |B|^p\|^{1/p}.
$$
Q: Is this a norm?
...
9
votes
1
answer
597
views
Uniqueness of solutions of Young differential equations
Consider the following one dimensional Young differential equation:
\begin{align*}
&Y_t=\int_0^t Y_s dX_s,\quad t\in[0,1];\\
&Y_0=0.
\end{align*}
Here the driving process $X$ is a bounded ...
2
votes
0
answers
977
views
Bounded weak and weak-$\star$ topologies and metrics
Let $X$ be a reflexive and separable Banach space. Let $(h_n)$ be a sequence dense in $\overline{B^*_1}$ (the closed ball in $X^*$ of radius $1$). Set
$$
d(x,y) := \sum_{n=1}^\infty 2^{-n} |(x-y, h_n)|...
3
votes
0
answers
88
views
Error rate implying regularity
My question is a bit general/vague.
It is well known that the regularity of certain functions can be measured through the rate of decay of certain error quantity based on an approximation procedure (...
18
votes
2
answers
757
views
What is known about the "unitary group" of a rigged Hilbert space?
Suppose that $(E,H)$ is a rigged (infinite dimensional, separable) Hilbert space, i.e. $H$ is a Hilbert space, and $E$ is a Fréchet space, equipped with a continuous linear injection $E \rightarrow H$ ...
6
votes
1
answer
284
views
Continuity of eigenvectors
Let $\mathbb{C} \ni z \mapsto M(z)$ be a square matrix depending holomorphically on a parameter $z$ with the property that $\operatorname{dim}\ker(M(z)))=1$ for $z $ away from a discrete set $D \...
2
votes
1
answer
115
views
$x '(t) + g (x (t)) = f (t),\quad \forall t\in \mathbb R$ have periodic solution $\iff\; \frac 1T \int_0 ^ T f (t) dt \in g (\mathbb R) $
I have a research work concerning the equation: $$x '(t) + g (x (t)) = f (t),\quad \forall t\in \mathbb R$$
f and g are defined and continuous in $\mathbb R$ and with values in $\mathbb R$.
...
1
vote
1
answer
272
views
Best approximation with tensors of rank $\ge2$
Let $k\in\mathbb N$, $H_i$ be a (finite-dimensional, if necessary) $\mathbb R$-Hilbert space for $i\in I:=\{1,\ldots,k\}$, $H:=\bigotimes_{i\in I}H_i$ denote the tensor product$^1$ of $(H_i)_{i\in I}$ ...
2
votes
2
answers
601
views
Conditions for continuity of an integral functional
Let $X$ be a metric space, $\nu,\mu$ be Borel measures on $X$, $f:X\times \mathbb{R}\rightarrow [0,\infty)$ be a measurable function. Under what conditions is the integral functional $F_f$, defined ...
5
votes
1
answer
237
views
Equivalence of families indexes of Fredholm operators
Let $F=F(H,H)$ be the space of bounded Fredholm operators in a Hilbert space $H$ with topology inherited from the norm operator topology, and let $X$ be a compact topological space.
For a continuous ...
0
votes
0
answers
107
views
Open subset of compact-open topology
Let $E$ be a Banach space, $X$ a locally-compact metric space, equip $C(X,E)$ with the compact-open topology. Let $F:E \rightarrow E$ and consider the induced map $F_{\star}(f):=F \circ f$ on $C(X,E)$...
3
votes
0
answers
183
views
How to prove the following linearized operator is positive?
In $L^2(\mathbb{R}^d)$, let $Q$ be the solution to
\begin{equation}
-\Delta Q+\alpha^2 Q = |Q|^{2\sigma} Q,
\end{equation}
and $Q$ satisfies that it is positive, radial, and exponentially decaying (...
2
votes
1
answer
212
views
If an estimate is false on $L^{1}$, then it is false for the $\delta$ distribution?
Let $u=\int e^{\dot{\imath}K(x,y)} f(y) dy$. My advisor told me that we can disprove an integrability estimate
$$\|u\|_{L^p}\lesssim \|f\|_{L^{1}}\label{1}\tag{1}$$
by disproving it when $f=\delta$, ...
5
votes
1
answer
242
views
Approximate Sobolev embedding
It is well-known in $H^2(\mathbb R^3)$ embeds into $L^{\infty}(\mathbb{R}^3).$ Now consider a function $u \in \ell^{\infty}(h\mathbb Z^3)$ and a grid of points $x \in h\mathbb{Z}^3.$
We then define ...
1
vote
0
answers
327
views
Eigenvalues of convolution matrices
Let $h: \mathbb{R}\to \mathbb{R}$ be a smooth function. Fix $0\leq s_1\leq \cdots \leq s_m\leq 1$ and $0\leq t_1\leq \cdots \leq t_n\leq 1$. Construct $A\in \mathbb{R}^{m\times n}$ by letting $A_{i,j}:...
2
votes
0
answers
143
views
Approximation in fractional Sobolev space
Assume $\Omega\subset \Bbb R^d$ is Lipschitz open set. Let $p\geq 1$ and $0<s\leq 1/p$.
How to prove that $C_c^\infty(\Omega)$ is dense in $W^{s,p}(\Omega)$?
Recall that,
$$|u|^p_{W^{s,p}(\Omega)}= ...
0
votes
0
answers
112
views
Viewing limit as a map
Question: Let $X$ be a set of functions from $\mathbb{R}$ to itself. Consider the subset $X_0$ of the sequences $(f_n)_{n=1}^{\infty}\in X^{\mathbb{N}}$ for which
$$
f_{\infty}(x) = \lim\limits_{n \...
5
votes
3
answers
396
views
Examples of amenable Banach algebras which have non-amenable subalgebra
I am looking for examples of amenable Banach algebras which have non-amenable subalgebra
I know
1: Each amenable Banach algebra has a bounded approximate identity
2: If $I$ be a closed ideal in an ...
2
votes
0
answers
230
views
The contraction principle in quasi metric spaces
I am researching contractive mappings and I need the article of I. A. Bakhtin "The contraction principle in quasi metric spaces"(1989) or at least part where explanation is given for ...
1
vote
0
answers
123
views
Using Paley-Wiener Theorem to prove the decay of $G(x-y)$
This question is related to my previous one, where I was looking for some help to prove the decay of the lattice Green function:
\begin{eqnarray}
G(x-y) = \int_{[-\pi,\pi]^{d}}\frac{d^{d}k}{(2\pi)^{d}}...
3
votes
1
answer
690
views
About the metrizability of the space of Probability measures $\mathcal{P}(S)$
It is often proved in Books that the space of Probability measures $\mathcal{P}(S)$ on a Polish metric space $(S,\rho)$ endowed with the weak/narrow topology induced by declaring it to be be the ...
0
votes
1
answer
665
views
Infinite composition of continuous functions
Let $f_n:\mathbb{R}\rightarrow \mathbb{R}$ be a sequence of functions and define $F_n:= f_n\circ \dots\circ f_1$. Then $F_n$ is continuous. However, the pointwise limit need not be (consider Mateusz'...
9
votes
1
answer
232
views
On hereditarily reflexive Banach spaces
It was proved by W.B. Johnson and H.P. Rosenthal [Studia Math. 43 (1972), 77–92]
that every Banach space $X$ with $X^{**}$ separable is hereditarily reflexive:
every infinite dimensional closed ...
2
votes
0
answers
126
views
Logical axioms used in the construction of counterexamples to ISP
In many cases, some problems are either solved in an affirmative way, or in a negative way. However, in some cases it turns out that some logical axioms lead to a proof of a certain statement, while ...
1
vote
0
answers
69
views
Empty Weyl/Fredholm spectrum of an operator on an infinite dimensional Banach space
Let $X$ be a complex infinite dimensional Banach space, and let $T \in B(X)$ be nonscalar. The Fredholm spectrum of $T$ is defined by:
$$ \sigma_{\Phi} (T) := \lbrace \lambda \in \mathbb{C} : T- \...
4
votes
1
answer
165
views
Concrete example of non-nuclear operator $E \to F$ and isometry $F \hookrightarrow G$ so that the composition $E \to F \hookrightarrow G$ is nuclear
DISCLAIMER: I posted the same question a week ago on Mathematics Stack Exchange.
We know by an abstract argument that there exist Banach spaces $E$, $F$, $G$ and maps $E \to F \hookrightarrow G$ such ...
5
votes
2
answers
995
views
Compact operator without eigenvalues?
Consider the operator $M$ on $\ell^2(\mathbb{Z})$ defined by for $u\in \ell^2(\mathbb Z)$
$$Mu(n)=\frac{1}{\vert n \vert+1}u(n).$$ This is a compact operator!
Then, let $l$ be the left-shift and $r$ ...