All Questions
33 questions
2
votes
0
answers
88
views
Dependence and $L^2$ projections of functions
tl;dr: Is it possible that the best approximation to a nonnegative function of three variables with a bivariate function is no better than the best univariate function?
Let $w$ be a density on $\...
- 21
2
votes
1
answer
188
views
Equivalent characterization of weak derivative in Bochner space
Let $H$ be a hilbert space. A function $v\in L_\text{loc}^1(0,T;H)$ is called the weak derivative of $u \in L_\text{loc}^1(0,T;H)$ iff
$$ \int_0^T u(t) \varphi'(t) \, dt = -\int_0^T v(t) \varphi(t) \, ...
- 75
2
votes
0
answers
170
views
finite dimensionality of a subspace of a Banach space
Let $H$ be the space of measurable functions on $(0,1)$ such that
$$ \|u\|_{H}^2 = \int_0^1 x^2\,|\partial_x u|^2\,dx + \int_{0}^1 |u|^2\,dx <\infty.$$
Let $C>0$ be a constant. Suppose that $W \...
- 4,143
2
votes
0
answers
120
views
Closure of Laplacian
Let $(M,g)$ be a complete Riemannian manifold and $\Delta$ the (positive) Laplace-Beltrami operator. Now, consider this operator as an operator
$$\Delta:\mathcal{D}(\Delta)\to L^{2}(M)$$
There are two ...
- 1,171
2
votes
1
answer
159
views
A compact embedding claim
Let $U= (0,1)\times (0,1)$. Consider the weighted Sobolev spaces $H_1$ with the norms
$$ \|u\|_{H_1}^2 = \int_0^1 (\int_0^1 x\,|u(x,y)|^2\,dx) \,dy$$
Let $H_2$ be the weighted Sobolev space with the ...
- 4,143
2
votes
0
answers
325
views
Examples of RKHS that are "classical"
Among the so-called "classical" Hilbert spaces ($L^2$, Sobolev, Hardy, Bergman, etc.), which are very well-studied, which are RKHSs?
It is easy to construct example of RKHSs by applying the ...
- 21
2
votes
0
answers
56
views
Existence of a suitable smooth kernel
Denote by $H=L^2([0,1])$ the Hilbert space of square integrable real valued functions on the interval $[0,1]$. Does there exist a nontrivial smooth real valued function $k$ on the unit interval such ...
- 4,143
0
votes
1
answer
269
views
Determine if an integral expression is in $L^2(\mathbb{R})$
Note: This is a simplified version of the following question. I did not get a full response and realized can make it simpler to have my main interrogation answered. I decided to write it as a ...
1
vote
1
answer
143
views
A question on the self-adjointness of an operator
Given a Hilbert space (separable) $\mathcal{H}$ with an orthonormal basis $\{e_i\}_{i=1}^{\infty}$, define an operator $T$ with domain $\mathcal{D}(T)$ equal to the span of $\{e_i\}$ by $Te_i:=\...
user471371
0
votes
1
answer
736
views
Proof: If a reproducing kernel exists for a Hilbert space, then it is unique
I really want to prove the statement in the title but I'm struggling with it. Here my current state:
Proof via contradiction. Let $\mathcal{H}$ be a RKHS with two reproducing kernels $k$ and $\hat{k}$ ...
- 13
7
votes
1
answer
546
views
Explicit isomorphism between $L^2(\mathbb{R}^2)$ and $L^2(\mathbb{R})$?
As Hilbert spaces, $L^2(\mathbb{R}^2)$ and $L^2(\mathbb{R})$ are isomorphic. Of course the isomoprhism is vastly not unique. I wonder if there are any particularly nice explicit isomorphisms. E.g. I ...
- 679
0
votes
0
answers
106
views
Extension of a Hilbert basis
The picture below is taken from this paper: http://real.mtak.hu/22877/.
The authors claim that the basis of $H^2(\Omega) \cap H^1(\Omega)$ denoted by $\lbrace w_i \rbrace _{i \geq 1}$ can be extended ...
- 617
2
votes
0
answers
553
views
$\ell_\infty$-norm covering number of RKHS ball $\{f\in\mathcal{H}: \|f\|_\mathcal{H} \leq R\}$
For any $\epsilon \in (0,1)$, let $N_\infty(\epsilon, \mathcal{H}, R)$ denote the $\epsilon$-covering number of the RKHS norm ball $\{f\in\mathcal{H}: \|f\|_\mathcal{H} \leq R\}$ with respect to the $\...
- 121
10
votes
1
answer
900
views
Approximation of a compactly supported function by Gaussians
Let $f:\mathbb{R}\to\mathbb{R}$ be a smooth function whose support is a closed interval, e.g. $\text{supp}(f)=[a,b]$. Then $f$ can be approximated (e.g. in $L^2$) by a linear combination of Gaussian ...
- 710
7
votes
1
answer
311
views
Almost orthonormal projection and orthonormal projection in Hilbert space
Let $(e_i)_i$ be a family of vectors in a Hilbert space being almost orthonormal but not quite, i.e.
$$\langle e_i, e_j \rangle \approx \delta_{i,j} + \alpha e^{-\vert i-j \vert} $$
and $\alpha$ is ...
- 71
3
votes
1
answer
170
views
A specific problem on : Can bounding the Sobolev norm, bound a higher derivative?
Let $f \in H^k(\mathbb{R}^m)$, $k>\frac{m}{2}$. Given any $f$, such that $\|f\|_{H^k(\mathbb{R}^m)}<K$ , and any $\phi \in C^{\infty}(\mathbb{R}^m)\cap H^k(\mathbb{R}^m)$, such that $\|\phi\|_{...
- 698
-2
votes
1
answer
1k
views
Weak convergent $+$ strongly convergent subsequence $\Rightarrow$ strong convergence? [closed]
Let $X$ be a Hilbert space containing functions defined over a bounded region $\Omega\subset \mathbb{R}^N$. Assume $f_n\in X$ converges weakly to $f\in X$, and also has a strongly convergent ...
- 395
1
vote
1
answer
153
views
Optimal estimate in trace norm
Let $x,y$ be vectors of some Hilbert space of unit length.
Then we can consider the projection $P_x:=\langle \bullet, x \rangle x$ and similarly $P_y.$
Assume then that we know that $\left\lVert x-...
- 119
1
vote
1
answer
112
views
Orthogonal complement vector space
Let $X$ be a vector space contained in $H^{1}(\mathbb R^d),$ then we can study
$X^{\perp_{L^2}}:=\left\{ \xi \in L^2; \langle \xi, x \rangle_{L^2} =0 \ \forall x \in X \right\}$
and
$X^{\perp_{H^{-...
- 13
1
vote
0
answers
922
views
A Question on certain Hilbert space of continuous functions, and a characteristic of convergence in it
Define $T^k(\Omega)$, $\Omega$ an open subset of $\mathbb{R}^m$ (with a smooth boundary), as a space of function equivalance classes, with the norm defined as $$ \|f\|_{T^k(\Omega)}^2 = \|f\|_{L^2(...
- 698
4
votes
0
answers
174
views
Constant in trace theorem for balls
Consider the standard open ball $B_r:=\left\{x ; \left\lvert x \right\rvert \le R \right\}.$
The trace theorem tells us any function in $W^{k,p}(B_r)$ can be restricted to a function $W^{k-1,p}(\...
user127450
11
votes
2
answers
478
views
$x f'$ bounded by $x^2f $ and $f''$?
Consider the Hilbert space of functions $f \in L^2(\mathbb R)$ such that $x^2f \in L^2(\mathbb R) $ and $ f'' \in L^2(\mathbb R).$
I am wondering whether it is true that $xf'\in L^2(\mathbb R)$ as ...
- 177
2
votes
1
answer
223
views
Strongly continuous semigroup: continuous or continuous componentwise?
Let $T(t)_{t \ge 0}$ be a strongly continuous semigroup on a Hilbert space $H.$
Then, one can consider the function
$f(t_1,t_2):= T(t_1)S T(t_2)x$ where $x$ is a fixed element of the Hilbert space ...
- 536
7
votes
1
answer
337
views
Flows in Hilbert spaces
Let $\varphi: [0,T] \rightarrow H$ be a Hilbert space valued $C^1$-function. Let $H = X \oplus X^{\perp}$ such that $\varphi(0) \in X$ and the implication $\varphi(t) \in X \Rightarrow \varphi'(t) \in ...
- 83
3
votes
1
answer
261
views
Can the $L^{\infty}\to L^{\infty}$ norm be bounded by the trace norm?
Let $k\in C(\mathbb{R}^2; \mathbb{R})$ be a continuous function. Suppose that the operator $K\colon L^2(\mathbb{R}) \rightarrow L^2(\mathbb{R})$ defined by the formula
$$(Kf)(x)=\int_{\mathbb{R}} k(x,...
- 128k
2
votes
2
answers
150
views
Approximately complemented subspaces
Definition:
Suppose $E$ is a subspace of normed space $X$. Then $E$ is approximately complemented in $X$ if for any compact subset $K$ of $E$ and any $\epsilon>0$ there is a continuous linear ...
- 209
4
votes
2
answers
353
views
Why $\lim_{n\to+\infty}\bigg(\bigg\|\sum_{f\in F(n,d)} A_{f}^* A_{f}\bigg\|^{\frac{1}{2n}} \bigg)\;\text{exists}?$
Let $E$ be a complex Hilbert space and $\mathcal{L}(E)$ be the algebra of all bounded linear operators on $E$.
For $A= (A_1,\cdots,A_d)\in\mathcal{L}(E)^d$ (not necessary to be commuting). Why
$$...
- 1,154
2
votes
0
answers
73
views
A question on groupoids and measurable fields of Hilbert spaces
Suppose that we have the following data:
$ \mathcal{G} $ is a locally compact Hausdorff groupoid, with its source and
range maps denoted by $ s $ and $ r $ respectively.
$ (\lambda^{x})_{x \in \...
- 1,396
3
votes
3
answers
2k
views
Determining if a set is a Basis for l^2
For each $ n\ge 1$ Define the vectors $e_n = (e_{nk})$ where $ k\ge 1$ and $ e_{nk} = \frac{1}{k^n}$
Is this set a basis for $l^2$?
Thanks,
- 4,143
2
votes
0
answers
341
views
Trace class operators convergent series
On wikipedia it is mentioned that if we are on some (separable) Hilbert space $H$ and there is an ONB $(e_n)$ such that any compact operator $K$ can be written as
$$ K = \sum_{n,m =0}^{\infty} K_{n,m}...
- 305
0
votes
1
answer
217
views
Reproducing Kernel Hilbert Spaces with positive kernels
In my research I'm dealing with the following question.
Let $E$ set, $K:E \times E \to \mathbb R$ a positive type function, and $\mathcal H := \mathcal H(1+K)$ (in the sense of the Moore theorem). ...
- 11
2
votes
0
answers
2k
views
Orthogonal complements of intersections of closed subspaces
Let $H$ be a Hilbert space and $H_1, \cdots, H_n$ be closed subspaces of $H$.
$\mathbf{Question}:$ Is it always true that the orthogonal complement $(H_1\cap\cdots\cap H_n)^\bot$ of the intersection ...
- 285
1
vote
0
answers
94
views
Determining the exact form of a projection in a Hilbert space
Let $$\Omega = \left\{f(x) \in \mathcal{L}^2[0,T]: \frac{1}{T}\int_0^Tf(x)dx = \mu,~ a \le f(x) \le b,~\forall x \in [0,T]\right\},$$
where $\mathcal{L}^2[0,T]$ is the set of Lebesgue square-...
- 108