Questions tagged [fa.functional-analysis]
Banach spaces, function spaces, real functions, integral transforms, theory of distributions, measure theory.
3,437 questions with no upvoted or accepted answers
0
votes
0
answers
46
views
Show that $\big(s(. |C_n)\big)_n$ is equicontinuous on $X^*$
Let $(X,\|.\|)$ be a separable Banach space with dual $X^*$. $\mathcal{P}_{wkc}(X)$ be the class of nonempty, weakly-compact and convex subsets of $X$. For any $C\in\mathcal{P}_{wkc}(X)$ we define ...
- 1
0
votes
0
answers
97
views
Uniform bound on $\lVert \chi_{\{u_n=0\}}\rVert_{W^{s,p}(\Omega)}$ for a bounded sequence $u_n$ in $H^1_0(\Omega)$?
Suppose I have a sequence $u_n \to u$ in $H^1_0(\Omega)$ on a smooth and bounded domain. For some $p>1$ and $s \in (0,\frac 12)$, is it possible to estimate the norm of the characteristic function ...
0
votes
0
answers
66
views
Coincidence Topologies for $L^p$ spaces
If $X$ and $Y$ are compact metric spaces then it is well-known that the compact-open topology on $C(X,Y)$ coincides with the topology of uniform convergence on compacts. Therefore, the latter is ...
- 5,405
0
votes
0
answers
142
views
Mackey topology
Recall that for a Hausdorff locally convex space $X$ the Mackey topology $\tau (X^*,X)$ is the topology in its topological dual $X^*$ of uniform convergence on all weakly compact absolutely convex ...
- 1
0
votes
0
answers
99
views
Link between eigenvalues of a symmetric matrix and a functional space
Let $f_1,\dots,f_n \in L^2(\mathbb{R},\mathbb{R})$ be $n$ mutually orthogonal functions with $\int f^2_i =1$ such that $|\{x \in \mathbb{R} | f_i(x) = 0\}| = 0$ for any $i \in \{1, \dots,n\}$. Does ...
- 31
0
votes
0
answers
85
views
Sine-Gordon transformation and functional integrals
In the past months, I've been trying to understand the so-called Sine-Gordon transformation, so I've posted some questions here about this topic. I also did an extensive research about this subject, ...
- 3,515
0
votes
0
answers
145
views
“Chapman-Kolmogorov”-convolution vs. smoothness
Let $K:\mathbb{R}^n \times \mathbb{R}^n \to \mathbb{R}$ be a so-called "integral-kernel": we certainly require $K(x,.)$ and $K(.,y)$ to be Lebesgue measurable for almost all $x,y \in \mathbb{R}^n$. An ...
- 1,461
0
votes
0
answers
135
views
Reference for discrete Laplacian on $\mathbb{Z}$
For $x\in \mathbb{R}^\mathbb{Z}$, let the discrete Laplacian be defined as
\begin{align*}
(\Delta x)_k = 2x_k-x_{k+1}-x_{k-1}.
\end{align*}
I am looking for good references about its spectrum (or ...
0
votes
1
answer
546
views
Orlicz–Sobolev spaces
Let $A$ be an N-function and suppose that
$$\int^{+\infty}_1\frac{A^{-1}(\tau)}{\tau^{1+\frac{1}{n}}}d\tau=+\infty. $$
We denote by $\widehat{A}$ an N-function equal to $A$ near infinity and $\widehat{...
0
votes
0
answers
147
views
Approximation of Inductive Tensor Product $C(X) \bar{\otimes} C(Y)$
The following question is from Banach Algebra Techniques in Operator Theory written by Ronald G. Douglas.
Assume both $X, Y$ are Banach spaces and $X \otimes Y$ is the algebraic tensor product. Let ${...
- 307
0
votes
0
answers
255
views
Span of a nonlinear function
Fix vectors $x,y\in\mathbb{R}^d$ and a smooth function $\phi:\mathbb{R}\rightarrow \mathbb{R}$. Define $\phi^d: \mathbb{R}^d \rightarrow \mathbb{R}^d$ as applying $\phi$ entrywise (i.e. $\phi^d(x_1, ...
- 159
0
votes
0
answers
191
views
Canonical embedding of Hilbert space in random $L^2$
This question is a followup of Canonical embedding of Hilbert space in $L^2$ space, where it was essentially shown that there is no canonical way to construct, from an abstract Hilbert space $H$, a ...
- 1,329
0
votes
0
answers
88
views
Prove that the solution belong to ${L^2}\left( {0,T;{L^2}\left( \Omega \right)} \right)$
Let $k \in {L^\infty }\left( {0,T} \right)$ and we assume that
$$\phi :t \mapsto u\left( t \right) + \int_0^t {k\left( s \right)u\left( s \right)ds} \in {L^\infty }\left( {0,T;{L^2}\left( \Omega \...
- 183
0
votes
0
answers
97
views
Smooth sections of finite dimensional bundle and covering space
Let $G$ be a discrete finitely generated group which acts properly and freely on a smooth manifold $M$ with compact quotient $M/G$. Is it right to consider any function $f \in C^{\infty}_c(M)$ (with ...
0
votes
0
answers
170
views
Limit of balls in $L^p$
Setup:
Let $\mu$ be a measure on a measurable space $(X,\Sigma)$, such that for every $p ,q\in [1,\infty)$, $L^p_{\mu}(\Sigma)\subseteq L^q_{\mu}(\Sigma)$ if $p\geq q$. Furthermore, the inclusions ...
- 5,405
0
votes
0
answers
58
views
Bounds on $\inf_{x,x' \in \mathbb B_X}TV(P+x,Q+x')$, where $P$ and $Q$ are distributions with density on the space $X=(\mathbb R^n,\ell_p)$
Let $n \ge 1$ be an integer, $p \in [1,\infty]$, and $P$ and $Q$ be two (probability) measures on the metric space space $X=(\mathbb R^n,\ell_p)$ which have densities w.r.t the Lebesgue measure on $X$,...
- 6,853
0
votes
0
answers
90
views
Special kind of translation and rotational invariance of the numerical range
Let $T\in\mathscr{B(\mathcal{H})}$ and $X\in M_n(\mathbb{C})$. Is the following statement true?
If $W(B\otimes X)\subseteq W(B\otimes T)$ for any $B\in M_n$ then $W(B\otimes (X+I_n))\subseteq W(B\...
- 231
0
votes
0
answers
85
views
Could the convex hull of $\operatorname{Lip}_1(\mathbb R)$ be dense in $\operatorname{Lip}_1(\mathbb R^d)$?
$\DeclareMathOperator\Lip{Lip}$My problem is slightly different from the title, but I don't have a more straightforward title. Sorry for that.
For $d\ge 1$, denote $\mathbb S^{d-1}:=\{x\in\mathbb R^...
user128095
0
votes
0
answers
91
views
Does $L^1$ convergence preserve the regularity of this sequence of functions?
Let $f_n$ be a sequence of $L^1(]0,1[)$ functions such that $f_n$ is non-decreasing, at least left-continuous, $f_n(0^+) <0$, $f_n(1^-) >0$, for all $n \in \mathbb N$. This sequence converges
$...
- 143
0
votes
0
answers
113
views
References for a proof or interpretation of deficiency indices theorem (von Neumann)
I am looking for a proof or some interpretation around why the domain of the new extension $D(A_U)$ in the Theorem below is given by its specific formula.
I have already searched in papers and here ...
- 41
0
votes
0
answers
135
views
Help showing F is weakly lower semicontinuous
Given a compact subset $\Omega$ of $\mathbb{R}^N$, I wonder if $$F(u)=\int_\Omega f(u)\ dx =\int_\Omega (1-|u|^2)^2\ dx$$ is weakly lower semicontinuous (w.l.s.c) on $H^1(\Omega)$, meaning that if $\...
- 383
0
votes
0
answers
137
views
homomorphisms into tensor product algebras
Given a decomposition $H=H_1\otimes H_2$ of a Hilbert space $H$ into the tensor product of the Hilbert spaces $H_1$ and $H_2$ and a *-isomorphism $U: B(H_0)\to B(H)$, where $H_0$ is another Hilbert ...
- 3,873
0
votes
0
answers
32
views
Spectral measures of a family of parameter-dependent self-adjoint contractions on an $L^2$-space
I have a self-adjoint linear contraction $A_g$ on an $L^2$-space of the form $$A_gf=\int\gamma(f,g),$$ where $\gamma$ is Lipschitz continuous and $g$ is an a priori fixed function. Assuming $1-A_g$ is ...
- 167
0
votes
0
answers
113
views
Is it possible that the dimension of the intersection of a nested sequence of Hilbert space is 1?
Let $H$ be an infinite dimensional separable Hilbert space over $\mathbb{C}$
Let $\{h_n\}_{n \in \mathbb{N}} \in H$ be a sequence of linearly independent vectors in $H$
Let
$$
V=
\bigcap_{n=1}^\...
- 433
0
votes
0
answers
75
views
Partial well-posedness results on Schrödinger operators?
Set $ A_i:= -\Delta + V_i :H^2(\mathbb{R}^3) \subseteq L^2(\mathbb{R}^3) \to L^2(\mathbb{R}^3), \ i =1,2 $, where
\begin{equation*}
V_1 = 0, \ \ (\textrm{No interaction}) \\
V_2 = - \frac{\gamma}...
- 269
0
votes
0
answers
48
views
supermodular independent product
For which choices of two supermodular capacities, the independent
product of them (given by the formula $w(A\times B)=\mu(A)\cdot \nu(B)$), also is supermodular ?
Even particular/concrete cases of ...
- 1
0
votes
0
answers
86
views
Is the embedding of $W^{2,p}$ onto $C^1(\overline{I})$ compact?
We know that when $I$ is a bounded interval and $1<p\leq \infty$ that the injection $W^{1,p}\subset C(\overline{I})$ is compact.
The proof of this fact uses the Arzela-Ascoli theorem on the unit ...
- 597
0
votes
0
answers
83
views
$ 0 $ locates in the continuous spectrum of Schrodinger operators?
This is question is motivated by Non-closed range space of Laplace operators?. We aim to determine what kind of potential will make corresponding schrodinger operators possess non-closed range.
For ...
- 269
0
votes
0
answers
127
views
On examples of action of C-star simple group on von Neumann algebra
Can there exist a faithful action of a $C^{*}$-simple group $G$ on a von Neumann algebra $(M,\varphi)$ equipped with faithful normal state $\varphi$ such that action preserves the state $\varphi$ and ...
- 677
0
votes
0
answers
41
views
reference request: non-negative quadratic function on a subspace, extended by infinity outside
I am looking for a reference for some objects that naturally appeared in my research. Suppose $W$ is a subspace of a real vector space $V$, and $f:W \to \mathbb R$ is a non-negative quadratic function ...
- 41
0
votes
0
answers
113
views
Extrapolate an Interpolation scale
Suppose $X$ and $Y$ are real Banach spaces with a continuous embedding $X\subset Y$. For given $0<\theta<1$ I am interested in constructing using the norms of $X$ and $Y$ a (Quasi-) Banach ...
- 23
0
votes
0
answers
45
views
Skorohod Space with $J_1$ topology homeomorphic to Frechet Space
Is the Skorohod space $D([0,T];\mathbb{R}^d)$ equipped with the $J_1$ topology homoeomorphic to a separable Fr\'{e}chet space. In particular, is it homeomorphic to $L_{\mu}^1(\mathcal{B}([0,1])$ ...
- 5,405
0
votes
0
answers
221
views
Existence of the eigenvalue of the dual operator of the transfer operator
In the passage that I marked in green apparently the author uses a relationship between fixed point and eigenvalues. The result that I know of to ensure the existence of this eigenvalue requires that ...
- 677
0
votes
0
answers
97
views
Integral of kernel in RKHS with respect to probability measure
I'm trying to understand how to work with the expression $$ \int u (d\mu-d\pi)$$ where $u\in \mathcal{H}$, an RKHS. $\mu$ and $\pi$ here are two different probability measures. Since $\mathcal{H}$ is ...
- 383
0
votes
0
answers
79
views
Hausdorff distance restricted to linear subspaces
Let $V$ be a Hilbert space, $Q \subset V$ be convex and compact and $Q_n \subset V$ be convex and compact for $n\in \mathbb{N}$ such that $Q_n \rightarrow Q$ for $n\rightarrow \infty$ in Hausdorff ...
- 1,095
0
votes
0
answers
149
views
Compact embedding of the $\mathcal{C}^k$ norm on a compact Kahler manifold
Given a smooth complex valued function $f$ on a Kahler manifold $X$, we can define its $\mathcal{C}^k$ norm to be $\sum_{p+q \leq k, 0 \leq p \leq q} sup_{X}|\nabla^{p} \overline{\nabla^q} f|_g$, ...
- 1
0
votes
0
answers
55
views
Smooth compactly supported function with good scaling with respect to the fractional Laplacian
Is there a smooth cut off function with compact support such that $\phi: \Omega \subset \mathbb R^N \to \mathbb R$, $\mathrm{supp} \phi \subset B_R(0) \subset \Omega$ and $$(-\Delta)^s \phi \le C R^{-...
user139845
0
votes
0
answers
74
views
Parseval type lower bound on sum of squares of function projections
This is a followup to this earlier question
Let $f:\mathbb{Z}\rightarrow \{\pm 1\}.$ Assume that the support of $f$ is finite, say it is contained in $[1,N],$ it can even be taken to be $[1,N]$ if it ...
- 10.4k
0
votes
0
answers
479
views
What are the sets on which norm-closedness implies weakly closedness?
Let $X$ be a Banach space. Let $C$ be a convex, and normed-closed subset of $X$. It is well-known that $C$ becomes weakly closed subset of $X$. I want to know is there any well-know class of non ...
- 369
0
votes
0
answers
44
views
S-familiy induced by an operator induces a Schwartz function
Let $T:S(\mathbb{R}^d)\to S(\mathbb{R}^d)$, a continuous linear operator, where $S(\mathbb{R}^d)$ is the Schwartz space. There is a result that guarantees that the family $F=\{\delta_s\circ T\}_{s\in\...
- 3
0
votes
0
answers
224
views
Show convergence of a sequence of resolvent operators
Let
$E$ be a locally compact separable metric space
$(\mathcal D(A),A)$ be the generator of a strongly continuous contraction semigroup on $C_0(E)$
$E_n$ be a metric space for $n\in\mathbb N$
$(\...
- 167
0
votes
0
answers
97
views
Does $L^p$ contractivity imply $L^p$ dissipativity?
Does $L^p$ contractivity of an operator semigroup imply the $L^p$ dissipativity of the operator ?
Thank you in advance !
- 1
0
votes
0
answers
54
views
On cyclicity of a module
Let $A$ be a $\text{ von Neumann algebra }$, $\mathcal{H}$ is a cyclic $A$ module, $G$ be a finite group acting on $A$, is $\mathcal{H}$ cyclic module over fixed point subalgebra of the action? ...
- 677
0
votes
0
answers
78
views
$p$-summing operators space is a Banach space
Let $X,Y$ be Banach spaces and $p\geq 1$. A bounded linear operator $T$ is called $p$-absolutely summing, if there is exist $K>0$, such that for all $n\in N$ and $x_1,\dots, x_n\in X$:
$$
\left(\...
- 1
0
votes
0
answers
59
views
Nests on Banach spaces and their duals
Let $X$ be a Banach space and $\mathcal{E}$ a nest on $X$.
Take $f\in X^{*}$ and suppose:
$N \in\mathcal{E}$ is the largest element of the nest so that $f \in N^\bot$
$N=\bigcap_{M>N}M$
Is there ...
0
votes
0
answers
63
views
Coarea-like formula for BV functions (not their derivative)
Let $\Omega \subset \mathbb R^N$ and $f \in BV(\Omega)$. The coarea formula states that
$$Df = \int_{\mathbb R} D \chi_{\{f >h\}} \, dh.$$
Unfortunately, the formula
$$f = \int_{\mathbb R} \...
- 839
0
votes
0
answers
153
views
Equivalent Definitions of Gaussian Process?
The Gaussian process $\{X_t\}_{t \in T}$ ($T=[0,1]$ for example) is usually defined using its finite-dimensional distribution. I came across this statement many times: linear operator (not necessarily ...
- 103
0
votes
0
answers
109
views
Elliptic equation with Neumann boundary condition: RHS in $L^2$ implies solution in $L^\infty$?
Consider the homogeneous Neumann problem $$-\Delta u + ku = f$$ $$\partial_\nu u = 0$$
on a smooth, bounded domain $\Omega$.
If $f \in L^2(\Omega)$, do we obtain the regularity $u \in L^\infty(\...
0
votes
0
answers
326
views
Measurability of the heat semigroup in $L^\infty$
Let $S(t)$ be the $C_0$-semigroup generated by the Laplacian operator with Dirichlet boundary condition in $L^2(\Omega)$, where $\Omega$ is a bounded open subset of $R^n$.
It is known that $S(t)$ ...
- 1
0
votes
0
answers
156
views
Function classes with high Rademacher complexity
My question is two fold,
Is there any general understanding of what makes a function class have high Rademacher complexity? (Sudakov minoration would say that one sufficient condition for a class of ...
- 2,246