Questions tagged [fa.functional-analysis]
Banach spaces, function spaces, real functions, integral transforms, theory of distributions, measure theory.
3,436 questions with no upvoted or accepted answers
1
vote
0
answers
34
views
Interpolation spaces defined by singular value decomposition
Let $ X $ and $Y$ be Hilbert space, $A:X \to Y $ compact and injective, $(\sigma_n;v_n,u_n)$ be its singular value decomposition, that is,
$$
Av_n = \sigma_n u_n \\
A^* u_n = \sigma_n v_n
$$
Since $\...
- 269
1
vote
0
answers
98
views
Two definitions of Sobolev spaces and the trace theorem
Let $M=[0,\infty) \times S^2$. We have the regular regular Sobolev space $H^1(M)$.
We also have the space $H^1\bigg([0,\infty); H^1(S^2)\bigg)$. Are those two spaces the same? Does one contain the ...
- 969
1
vote
0
answers
116
views
A formula involving the heat kernel on the universal cover of a punctured plane
I am looking for the earliest reference to the following formula:
$$
\int_0^\infty\tilde{P}(1,e^{i\alpha},t)\frac{dt}{t}=\frac{1}{\pi \alpha^2},\quad \alpha>0,
$$
where $\tilde{P}(x,y,t)$ is the ...
- 8,992
1
vote
0
answers
177
views
A question on Gaussian small ball probability
Consider the random variable $$ G = \sum_{j=1}^{\infty} \lambda_j Z_j^2 $$
where $Z_j \sim_{\substack{i.i.d}} N(0,1)$ and $\lambda_j$ some non increasing sequence of positive numbers with $\sum_{j=1}^{...
- 119
1
vote
0
answers
122
views
eigenvalues of integral operator with centered kernel
Suppose $k:\mathcal{X} \times \mathcal{X} \to \mathbb{R}$ be a symmetric positive (semi-)definite kernel. The Moore-Aronszajn Theorem indicates that
there is a reproducing kernel Hilbert Space $\...
- 519
1
vote
0
answers
112
views
Confusion on the paper "Cohomology of maximal ideal space"
In the paper Cohomology of Maximal Ideal Space, there is a corollary about if $M$ is a compact orientable n-dimensional manifold, then $C(M,\mathbb{C})$ cannot be generated by fewer than n+1 elements.
...
- 523
1
vote
0
answers
34
views
$L^p$-continuity for discrete linear causal systems
Let $p \in [1, +\infty)$, $(b_0(n)), \dots (b_m(n)), (a_1(n)), \dots, (a_m(n))$ suitable sequences of real numbers and consider the map $\phi: \ell^p \to \ell^p$, $x \mapsto y$ defined by:
\begin{...
- 41
1
vote
0
answers
82
views
On a core for Neumann Laplacians
Let $D \subset \mathbb{R}^d$ be a bounded smooth domain. We consider the Neumann semigroup $\{T_t\}_{t>0}$ on $C(\overline{D})$. In other words, $\{T_t\}_{t>0}$ is the semigroup of the normally ...
- 721
1
vote
0
answers
92
views
Closure of $f\mapsto\sigma f''$ on $\mathcal{C}^2(\,[0,1]\,)$
Let $\sigma\in\mathcal{C}^0(]0,1])$ a positive function such that $\lim\limits_{t\rightarrow 0}\sigma(t)=0$, and $f\in\mathcal{C}^0(\,[0,1]\,)\cap\mathcal{C}^2(\,]0,1]\,)$ such that $\lim\limits_{t\...
- 449
1
vote
0
answers
98
views
Densely defined derivations in von Neumann algebra(in norm topology)
This post is actually a refined question of here.
Let $N$ be an abelian von-Neumann algebra. Define densely defined derivation to be derivation $\delta:D(\delta)\rightarrow N$ where the domain is ...
- 523
1
vote
0
answers
131
views
Results on the eigenspace of weighted elliptic eigenvalue problems
I am considering the following eigenvalue problem in $\Omega=\mathbb{R}^n_+$
$$-\operatorname{div}(a(x)\nabla \varphi) = \lambda a(x)w(x)\varphi$$
where the weights $a>0$ and $w\in L^{\infty}$ (and ...
- 537
1
vote
0
answers
50
views
Nested nets of closed bounded star-shaped sets in a semi-reflexive space
Among Hausdorff locally convex spaces, semi-reflexivity is characterized by the weak topology having the Heine-Borel property. It follows that, in a semi-reflexive space, every nested net of closed ...
- 11
1
vote
0
answers
86
views
Reference request: Optimal controls can be assumed to take values in a convex set
Consider the deterministic controlled system:
$$\dot x(t) = Ax(t) + Bu(t), \ t \in [0, T]$$
$$x(0) = x_0$$
where $x: [0, T] \to \mathbb R^n$ is the controlled state process, $A \in \mathbb R^{n \times ...
- 6,321
1
vote
0
answers
205
views
Convergence in the resolvent sense and spectral properties
Let $\{T_k\}_k, T$ be unbounded selfadjoint operators on a Hilbert space $H$. If $T_k\to T$ in the norm-resolvent sense, then for any $(a,b)\subset \mathbb R$ with $\{a,b\}\cap \sigma(T)=\emptyset$, ...
- 111
1
vote
0
answers
70
views
Minimax type principle for a self-adjoint operator acting on a Hilbert space
Let $T\in\mathcal{B}(\mathcal{H})$ be a self-adjoint operator acting on a Hilbert space $\mathcal{H}$. Suppose $k\in\mathbb{N}$. Define $$\lambda_k(T)=\sup\limits_{\substack{\mathcal{M}\subseteq \...
- 231
1
vote
0
answers
245
views
On $L^2$ spaces which have an orthogonal basis of characters (complex exponentials)
Suppose $\Omega \subset \mathbb{R}^n$. What conditions on $\Omega$ make it so there exists a countable set $\Lambda$ such that $\{e^{2\pi i\lambda t} \}_{\lambda \in \Lambda}$ form an orthogonal basis ...
- 111
1
vote
0
answers
60
views
Lower bound for the tensor product of a semi-bounded quadratic form
When I read YVES COLIN DE VERDIÈRE's paper: Sur la multiplicité de la première valeur propre non nulle du laplacien, he gave a proposition without proof:
$\mathcal{H}$ is a Hilbert space, $Q$ is a ...
1
vote
0
answers
316
views
Characterization of differentiability
For a normed space $(V, \lVert\cdot\rVert_V)$ let us define:
\begin{equation}
\forall x, y \in V \quad [0,1] \mapsto \gamma_x^y (t) = (1-t)x + ty.
\end{equation}
I would like to ask whether the ...
- 820
1
vote
0
answers
43
views
Generalization of a Gaussian measure continuity result from Hilbert to Banach space
Da Prato/Zabczyk "Second Order Partial Differential Equations in Hilbert Spaces" states the following lemma (this is a reformulation of proposition 1.3.11 in their book):
Let $\mu = \mathcal ...
- 375
1
vote
0
answers
152
views
A characterization of the Dunford-Pettis property
A Banach space $X$ is said to have the Dunford-Pettis property if for any Banach space $Y$ every weakly compact operator $T:X\rightarrow Y$ is completely continuous. Recall that $T$ is completely ...
- 3,343
1
vote
0
answers
87
views
Computation of the trace of a convolution operator
I try to understand a particular step on page two from the research paper "A multidimensional analog of a limit theorem of G. Szegö".
https://iopscience.iop.org/article/10.1070/...
- 197
1
vote
0
answers
299
views
Is there a generalization of the Agmon-Douglis-Nirenberg regularity theorem for elliptic equations to domains with corners?
The Agmon-Douglis-Nirenberg theorem(s) state(s) that whenever $f\in W^{m,p}(\Omega)$ where $\Omega$ is a bounded open set of class $C^{m+2}$, then there is a unique solution $u\in W^{m+2,p}(\Omega)$ ...
- 597
1
vote
0
answers
158
views
Relation between the spectrum of 𝐷𝐴 and 𝐴 where 𝐴 is a bounded linear self-adjoint positive operator and 𝐷 is a constant diagonal positive matrix
Let $D$ be a $3\times 3 $ constant real positive-definite diagonal matrix and $\Omega\subset\mathbb{R}^3$ be a bounded lipschitz domain.
Denote by $(L^2(\Omega))^3$ the set of square integrable ...
- 63
1
vote
0
answers
103
views
Regularity results for non uniform elliptic equation
I have seen some regularity result for ellptic PDE but all of them consist of uniform elliptic one. For instance,
$$\nabla \cdot (\gamma(x) \nabla u)=F \text{ in } \Omega\qquad u=\phi \text{ on }\...
- 309
1
vote
0
answers
189
views
Complete set of orthonormal functions on $W^{2,2}([0,1]^2, \mathbb{R}^2)$
Consider $L^2([0,1],\mathbb{R})$.
Then,
$$1, \sqrt{2} \cos(2 \pi j x), \sqrt{2} \sin(2 \pi j x ), \quad j =1,2,\ldots$$
is a Schauder basis on $L^2([0,1], \mathbb{R})$.
I am curious, how does this ...
- 61
1
vote
0
answers
78
views
Asymptotics of eigenvalues of first-order self-adjoint elliptic operators
Let $D$ be a first-order self-adjoint elliptic operator on a closed Riemannian manifold $M$. Then $D$ has discrete spectrum in $\mathbb{R}$, and there is an orthonormal basis for $L^2(M)$ consisting ...
- 1,913
1
vote
0
answers
161
views
What is the necessary and sufficient condition for a chain rule hold?
Assume that $f: [0,+\infty) \to [0,+\infty)$ is a $C^1$, increasing, and concave function with $f(0)=0$. Let $g:[0,+\infty) \to [0, +\infty)$ be a non-increasing function.
My question is that, does ...
- 11
1
vote
1
answer
203
views
Hyperplane separation of a concave functional and a point, in domain theory
Problem:
Let $D$ be an $\omega$-BC domain, and $[D\to[0,\infty]]$ be the space of Scott-continuous nonnegative functions on $D$, equipped with the obvious ordering and the Scott-topology.
EDIT: I don'...
- 353
1
vote
0
answers
133
views
Subspace of RKHS generated by kernel mean embeddings
Suppose $\mathcal{H_k}$ is a reproducing kernel Hilbert space (RKHS) with reproducing kernel $k: \mathcal{X} \times \mathcal{X} \rightarrow \mathbb{R}$. I am looking for results characterising the ...
- 93
1
vote
0
answers
62
views
Stable deconvolution of a band-limited function from its convolution with a Gaussian
Suppose that $f : \mathbb R \to \mathbb C$ is a band-limited function, i.e. its Fourier transform $\hat f$ has support in a compact interval $[-a,a]$. Let $\phi(t) = e^{-\frac{t^2}{2\sigma^2}}$ be a ...
- 437
1
vote
0
answers
131
views
Construction of Schauder bases on $C(X)$
Let $(X,d)$ be a compact metric space and let $C(X)$ be the set of continuous (bounded) real-valued functions on $X$ equipped with the usual supremum norm:
$$
\|f\|_{\infty}\triangleq \sup_{x\in X}|f(...
- 109
1
vote
0
answers
77
views
Fixed-point theorem for the space of probability flux
Let $\mathcal P_T:=\{\mu=(\mu_t)_{0\le t\le t}: \mu_t\in\mathcal P,~ \forall 0\le t\le 1\}$, where $\mathcal P$ is the space of probability measures on $\mathbb R$. Denote by $\rho$ the metric that is ...
- 1,334
1
vote
0
answers
248
views
Is the spectral fractional Sobolev norm equivalent to other norms (e.g. Gagliardo...)?
Let $s \in (0, 1)$ and $\Omega$ be a bounded subdomain of $\mathbb R^n$ with polygonal/polyhedral boundary. Let $\Delta$ be the Laplace-Dirichlet operator on $\Omega$ (i.e. the Laplace operator with ...
1
vote
0
answers
119
views
Invariant on C*-algebras-number of closed unbounded derivation it admitted
In working of the unbounded derivation of C*-algebras. I observed the following: For topological manifold $M$, the number of closed, linear independent, unbounded derivation it admitted on $C(M)$ is ...
- 523
1
vote
0
answers
251
views
Regularity of a Fokker-Planck PDE with unbounded coefficient
Let $A$ be a positive definite symmetric matrix, let $b\in C^1(\mathbb R^d\!\times\!(0,\infty))\cap C(\mathbb R^d\!\times\
- 311
1
vote
0
answers
541
views
Is the set of compact operators closed with the strong topology?
It is well-known that the space of compact operators over Banach spaces is closed within the norm topology.
My question:
Let $X$ be a Banach space.
Considering the strong topology (defined by ...
- 299
1
vote
0
answers
206
views
The quadratic variation of $\int_0^t\int_T^Sg(s,x) \, dW_s^x \, dx$
Consider the process $W^x_t$ which is a Brownian motion for every $x\geq 0$ such that
$$d\langle W_t^x,W_t^y\rangle=Q(x,y)\,dt$$
where $Q$ is some non-negative definite function. Now consider the ...
- 77
1
vote
0
answers
70
views
Injectivity of post-composition operator
Let $X$, $Y_1,Y_2$, and $Z$ be separable metric spaces. Let $C(X,Y)$ be the topological space of continuous functions from $X$ to $Y$ equipped with its compact-open topologies. Fix a continuous ...
1
vote
0
answers
140
views
Reduced twisted $C^*$-algebra and twisted crossed product
Let $G$ be a discrete group. Is it possible to represent $C^*_r(G, \sigma)$, the reduced twisted group $C^*$-algebra as a twisted crossed product?
- 581
1
vote
0
answers
245
views
A characterization of the integral
Let $I(f)$ be an endomorphism of the smooth functions with zero value in zero such that:
$$\ln[1+I(f)]=I\left(\frac{f}{1+I(f)}\right).
$$
Then, does it exist $g$ smooth such that:
$$I(f)(x)=\int_0^x f(...
- 377
1
vote
0
answers
347
views
Duality of maps on bounded vs trace-class operators (Schrödinger-Heisenberg dual)
$\newcommand\calH{\mathcal H}
\newcommand\calK{\mathcal K}
\newcommand\tr{\operatorname{Tr}}$I am looking for a (citable) reference for the following fact:
Bounded linear maps $g:T(\calH)\to T(\calK)$...
- 896
1
vote
0
answers
54
views
Complemented subspaces in projective limits
Let $X=\operatorname{proj}_nX_n$ be a projective limit of a sequence of complete DF-spaces and let $Y$ be its complemented subspace. Does it follow that $Y=\operatorname{proj}_nY_n$ where every $Y_n$ ...
- 375
1
vote
0
answers
47
views
Hypercylic operators have very typical cyclic vectors
Let $W$ be the Wiener measure on $C_0(\mathbb{R})$ and let $T\in L(C_0(\mathbb{R}),C_0(\mathbb{R}))$ be a hypercylic operator; i.e. there exists some $f \in C_0(\mathbb{R})$ such that $\{T^n(f)\}_{n=1}...
- 5,405
1
vote
0
answers
107
views
Self-adjointness of an operator
This is a problem from page 3 of Bourgain, Burq, and Zworski - Control for Schrödinger equations on 2-tori: rough potentials, the author claim that
Hence $P = - \partial_x^2 + W$ defined on $C^\infty(...
- 111
1
vote
0
answers
132
views
Can we construct non-closable unbounded derivation in abelian C* algebras?
Can we construct an unbounded derivation on abelian C* algebra which is not closable?
One of possible construction may be found in the paper by Bratteli and Robinson(Unbounded derivations of C*-...
- 523
1
vote
0
answers
90
views
Dual of essentially compactly supported functions on a hemi-compact Radon space
Let $X$ be a hemicompact Radon space and fix a $\sigma$-finite Radon measure $\mu$ on $X$. Let $L(X_n)$ denote the subspace of $L_{\mu}^1(X)$ of "functions" which are $\mu$-essentially ...
1
vote
0
answers
173
views
Geometrical interpretation of back projection operator or adjoint of Radon transform
If $f \in C_{c}^{\infty}\left(\mathbb{R}^{2}\right)$, the Radon transform of $f$ is the function $$R f(s, \omega):=\int_{-\infty}^{\infty} f\left(s \omega+t \omega^{\perp}\right) d t, \quad s \in \...
- 309
1
vote
0
answers
285
views
Continuous fields of Hilbert spaces arising from representations of abelian C*-algebras
This is a followup to a previous question [1] on MO.
Let $X$ be a second-countable, locally compact, Hausdorff space, and let $\mathscr H =\{H_x\}_{x\in X}$, be a
measurable field of Hilbert spaces ...
- 483
1
vote
0
answers
72
views
Initial-boundary value problem for transport equation with $W^{1,p}$ velocity
Let us consider $v:\mathbb R_+ \times \mathbb R \to \mathbb R_+$ such that $v \in L^1(0,\infty, W^{1,p}(\mathbb R))$ and the transport equation
$$ \begin{cases}
u_t + v(t,x) u_x = 0 \qquad & (...
- 61
1
vote
0
answers
38
views
Extending the Dirac operator on an open subset of a manifold and preserving positivity
Let $M$ be a spin manifold and $U\subseteq M$ an open ball. Let $D$ be the Dirac operator on $M$ with respect to some Riemannian metric $g$, acting on sections of the spinor bundle $S\to M$. Suppose ...
- 1,913