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
223
views
optimal regularity for Laplace equation with inhomogeneous L^p Robin boundary condition
Consider the problem
$$-\Delta u = 0 \mbox{ in }\Omega,\qquad \partial_\nu u+\tau u=g\mbox{ on }\partial\Omega,$$
where $\Omega\subset R^n$ is a bounded $C^2$-domain, $\tau>0$ is a constant, and $...
2
votes
0
answers
301
views
Finite codimensional subspaces of L(X,Y)
Let $X$ and $Y$ be separable Banach spaces and $L(X,Y) $ be the Banach space of bounded linear operators from $X$ to $Y$. Suppose $A$ is a norm closed finite codimensional subspace of $L(X,Y)$.
My ...
- 1,073
2
votes
1
answer
959
views
Do kernels provide a basis for a RKHS?
Let $H$ be a Reproducing Kernel Hilbert Space with elements $f:X\rightarrow \mathbb{C}$, with kernel $K(x, y)$. My question is whether, for some choice of $x_i\in X$, it is the case that $u_i:=K(x_i, \...
- 461
2
votes
0
answers
272
views
Continuity of multiplicative character
Let $G$ be a discrete group and $\beta (G)$ denote the Stone-Cech compactification of $G$, a right topological semigroup. By a multiplicative character, I mean a mapping that preserves multiplication ...
- 61
2
votes
0
answers
270
views
Spectrum of the Normal Operator associated to compact supported spectral measures
Let $\mathcal{H}$ be a Hilbert space and $E:\Sigma\to\mathcal{L}(\mathcal{H})$ be a compactly supported spectral on the Borel $\sigma$-algebra $\Sigma$ of $\mathbb{C}$. Then we can form the bounded, ...
- 229
2
votes
1
answer
2k
views
Monge–Ampère operator
I'm studying the article of Bedford–Taylor "Fine topology, Šilov boundary…" but I don't
understand the proof of the following proposition.
Let $u$, $v$ be plurisubharmonic functions defined ...
- 29
2
votes
0
answers
82
views
Description of the norm of certain interpolation space
Dear all,
I suspect that there should be some detailed description of the norm (or of the unit ball) of the following complex interpolation space (for any $0< \theta < 1$): $$\Big(B(\ell_1^n, \...
- 769
2
votes
0
answers
259
views
Common eigenvector
I have little experience with functional analysis beyond an undergraduate basic course, and I'm dealing with the following problem:
let $V$ be an infinite-dimensional locally convex (but not normed!) ...
- 5,407
2
votes
0
answers
114
views
non-closed weak graph limit of symmetric operators
Hi Everyone,
I was recently reading Reed & Simon's functional analysis textbook (the first volume), and it mentions casually on page 294 that weak graph limits of a sequence of symmetric ...
- 21
2
votes
0
answers
176
views
Banach Algebras and the peripheral spectrum
Here is a little theorem that I'm trying to prove. I haven't seen it in literature before, but I think the applications will be quite useful, particularly in the context of Banach algebras.
Denote ...
- 21
2
votes
0
answers
787
views
Regarding a proof in Bourbaki's Topological Vector Spaces
On Bourbaki's TVS Chapter IV pages 33-34, the last part of Proposition 2 can be formulated as follows:
Notations:
$K$ - The underlying field which is the real or complex number field;
$X$ - A ...
- 21
2
votes
0
answers
202
views
Frames and reproducing kernels
Hello MathOverFlow
I have some questions about frames and reproducing kernels and here they are:
For a Hilbert space $H$ spanned by a frame $\lbrace f_n \rbrace$ there exists a reproducing kernel $K(...
- 21
2
votes
0
answers
807
views
Why groups that admit Folner Sequences are amenable
I've been looking at Folner's Condition recently, and I'm struggling to find a proof for why the existence of a Folner sequence on a locally compact group implies that it is amenable (and the converse ...
- 21
2
votes
0
answers
564
views
Young inequality in weighted spaces
Let $U$ be a bounded open set in $\mathbb{R}^2$, $g\in L^1_{\mathrm{loc}}(\mathbb{R}^2)$.
Let moreover $w$ be a weight (i.e. a non vanishing locally integrable function) on $U$ and $p\geq2$.
Does ...
- 1,205
2
votes
0
answers
176
views
A limit involving a regularizing kernel
I am studying the following article by Benoit Perthame: http://www.mendeley.com/research/uniqueness-error-estimates-first-order-quasilinear-conservation-laws-via-kinetic-entropy-defect-measure/#
...
- 2,222
2
votes
0
answers
146
views
Subspace where an operator is positive
Given a self-adjoint operator $\hat{T}$ on a Hilbert space $\mathcal{H}$, and assuming it has a basis of eigenvectors $\{\phi_n\}$ such that $\hat{T}\phi_n=\lambda_n\phi_n$, one can consider the ...
- 2,358
2
votes
0
answers
524
views
What essential property justifies the name "derivative"?
Most, if not all, of the notions of derivative that I have so far seen have the property that they are locally defined -- meaning that the derivative of a map-type object at a point depends on the map ...
- 643
2
votes
0
answers
242
views
Core of divergence form operator with unbounded coefficient
Consider the unbounded operator $L$ on $L^2(\mathbb{R^d})$ to be the self-adjoint extension of
$$Lf := \nabla \cdot \left(a(x) \nabla f(x) \right)$$ on $C^2_c(\mathbb{R^d})$.
I also assume that $a(x)...
- 617
2
votes
0
answers
262
views
A specific projection and compactness on the Bargmann-Fock space
Let $F_2$ be the Bargmann Fock space defined as the space of entire functions $f$ on $\mathbb{C}$ such that \begin{align*} \int_{\mathbb{C}} |f(z)|^2 e^{- |z|^2} dA(z) \end{align*} ($dA$ is just ...
2
votes
0
answers
137
views
Invariant linear manifolds for multiplication by the independent variable in L^2 (R)
In general I am trying to determine when the self-adjoint operator $M$ of multiplication by the independent variable in $L^2 (\mathbb{R})$ has a symmetric restriction to a dense linear manifold (non-...
- 31
2
votes
0
answers
320
views
Hom of Nuclear spaces
Let V be a Nuclear space (not necessary Frechet, but complete). Let V^* be the dual space considered with the weak topology (i.e. pointwise convergence). Is it true that $V^*$ is also nuclear?
Is it ...
- 2,649
2
votes
0
answers
327
views
Generalizations of Kato-Rosenblum theorem?
The Kato-Rosenblum theorem says that if $H_0, H$ are self-adjoint operators on a Hilbert space such that the difference $H-H_0$ belongs to the trace class, then the strong limit of $\exp(itH)\exp(-...
- 21
2
votes
0
answers
290
views
Consequence of Modified Young's inequality
Let $f\in L^1(\mathbb R^n)$. Define operator $T_f(g)=|f|\ast g$ for functions $g$ on $\mathbb R^n$. The set of measurable functions $f$ on $\mathbb R^n$, such that $T_f$ is bounded from $L^p(\mathbb R^...
- 415
2
votes
0
answers
140
views
WLD Banach spaces
Does anyone know of an example of a weakly Lindeloff determined (WLD) Banach space which does not contain c_0 and is not weak Asplund? I believe the example of a WLD, non-weak Asplund space by Argyros ...
- 21
2
votes
0
answers
366
views
Are affine continuous functions on Bauer sub-simplices of the probability measures given by integration over continuous functions?
Let $X$ be a compact (non-metrizable) Hausdorff space and $\mathcal{P}(X)$ the set of Radon probability measures with
weak-$*$ topology (weak topology induced by the continuous functions).
Consider a ...
- 888
2
votes
0
answers
520
views
Eigenvector of infinite matrix
I consider the system of reaction-diffusion PDEs in a ball
with Robin boundary condition.
It is a Steklov eigenvalue problem
(see G Auchmuty (2004) "Steklov eigenproblems and the representation
of ...
- 31
2
votes
0
answers
156
views
Holomorphic stability of inverse limit of pre-$C^*$-algebras
Let A be a C*-algebra and let At be a set of dense *-subalgebras of A, stable under holomorphic functional calculus on A, which are also Banach algebras complete with respect to the norms ||$\cdot$||t....
- 613
2
votes
0
answers
200
views
Fredholmness and invertibility in a C* algebra generated convolution-type operators
Let $PC$ be the algebra of complex-valued, piecewise-continuous functions from $[-\infty,+\infty]$, $SO$ be the algebra of bounded, continuous, complex-valued functions on $\mathbb R$ which are slowly ...
- 21
2
votes
0
answers
800
views
Controlling the Lipschitz norm of the limit of a sequence of functions
Consider the Fréchet space $\Omega = C(\mathbb R^d)$ of real-valued continuous functions equipped with the seminorms $$\|f\|_D := \sup_{x,y \in D} \left\{ |f(x)|, \tfrac{|f(x)-f(y)|}{|x-y|} \right\}, \...
- 8,512
2
votes
0
answers
197
views
Generating cones having no surjections [in operator spaces]
Is this little toy known ?
Let $E$ be some Banach space, and let $K$ be the closed unit ball
of its dual, endowed with the weak-star topology. Also, let $j:E$ $\rightarrow$ $C(K)$
be the natural ...
- 4,060
2
votes
1
answer
181
views
Integral transformation, Laplace-like
Is the following integral transformation of $f$ known (for suitable $f$ and $s\in\mathbb{C}$)?
$$
\int_1^\infty f(t) \frac{e^{-ts}}{1-e^{-ts}}dt
$$
It resembles somewhat the Laplace transformation.
...
- 139
2
votes
1
answer
212
views
Integration of hypergeometric product for legendre polynomials
I'm looking for a general solution to the integral:
$\int_{0}^1 {_2}F_1(m-n,m+n+1,m+1;z){_2}F_1(m-k+1,m+k+2,m+2;z) dz$
where $m,n,k\in \mathbb{N}$ and $m\leqslant n$ and $m+1 \leqslant k$.
To give ...
- 21
1
vote
0
answers
88
views
Density of a subset of Schwartz space in the fractional Sobolev space
It is known that the Schwartz space $\mathcal{S}(\mathbb{R}^N)$ is dense in the fractional Sobolev space $H^s(\mathbb{R}^N)$, (where $0<s<1$), as $C_{c}^{\infty}(\mathbb{R}^N) \subset \mathcal{S}...
1
vote
0
answers
58
views
duality of sobolev spaces. Representation of elements in the dual
I'm trying to understand $(W_0^{1,p} (Ω))^*=W_0^{-1,p^*} (Ω)$, and what a proper representation of its elements is. I understand the basics such as: if $f∈L^{p^*} (Ω)⇒f∈W_0^{-1,p^*}(Ω)$ and the ...
1
vote
0
answers
148
views
integral over the unit sphere of $\Bbb C^n$
Please, is there a way to calculate this integral
$$\int_{S_{2n-1}} \frac{e^{a \langle z, \zeta \rangle}}{|z - \zeta|^{\beta}} \, d\sigma(\zeta)$$
where $ z $ is a fixed point in the complex unit ball ...
- 531
1
vote
0
answers
49
views
What makes the generalized projection different than metric on a Banach space?
I have came across the notion of generalized projection in Banach spaces, introduced by Ya. Alber and has seen many iterative algorithms being solved by using this projection. It helps in finding the ...
- 85
1
vote
0
answers
84
views
Does sets of positive capacity rule out constant functions?
Let $U\subset \Bbb R^d$ be bounded with Lipschitz boundary $K\subset \bar{U}$ be compact. The capacity of $K$ in $U$ is defined by
\begin{align*}
\text{Cap}_{p}(K, U) :=
\inf \left\{
\int_U |\...
- 1,101
1
vote
0
answers
112
views
References on the partial trace
For the Hilbert space $H^N:=L((\mathbb R^{3})^N,\mathbb C)$, consider the projection operator $D: H^N\to H^N$ as follows :
$$D(\Phi):=\left(\int_{(\mathbb R^{3})^N}\overline{\Psi(x_1,\ldots, x_N)}\Phi(...
- 1,399
1
vote
1
answer
118
views
Lower bound for a commutator trace
I have this Hilbert space of square-integrable complex-valued functions on a square, $\mathbb{L}^2([0,1]^2)$. And let $M_x$, $M_y$, and $M_{x+y} = M_x+M_y$ be the operators of multiplication by the ...
- 121
1
vote
0
answers
65
views
Fractional Sobolev embedding
Let $s\in (0,1)$ and $1<p<\infty$. Let $H^{s,p}(\mathbb{R}^n)=H^{s,p}$ the Bessel potential space, defined as the image of $L^p(\mathbb{R^n})$ by the Bessel potential. It is known that these ...
1
vote
0
answers
127
views
Trace type convergence of the Laplacian on the box to the Laplacian on $\mathbb R^d$
Let $-\Delta \colon H^2(\mathbb R^d) \to \mathbb R^d$ be the (negative) Laplacian on the full space and $-\Delta_L$ the Laplacian acting on $L^2([-L,L]^d)$ with some boundary conditions making it self-...
- 61
1
vote
0
answers
104
views
Commutative Banach $\mathbb{R}$-algebras without complex structure, but with path-connected group of units
For a finite-dimensional commutative (associative, unital) $\mathbb{R}$-algebra $A$, the condition $\pi_0(A^\times) = 1$ (i.e. the group of units of $A$ being path-connected) is equivalent to $A$ ...
- 7,127
1
vote
0
answers
71
views
Integral formula of quantum dilogarithm
In the paper"Level N Teichmüller TQFT and Complex Chern-Simons Theory" arXiv:1612.06986, the authors study the quantum dilogarithm function:
\begin{equation}
\mathrm{D}_{\rm b}(x,n)=\prod_{...
- 109
1
vote
0
answers
39
views
About Carleson measures on the Hardy space on the bidisc
I have been reading the paper "Carleson Measures in Hardy and Weighted Bergman Spaces of Polydiscs" by F. Jafari and there are a few things that going on that I am not entirely convinced of.
...
1
vote
0
answers
45
views
Existence of optimal entropic weights for empirical modeling
Let $\mathcal{X} = [0,1]^n$ be the input space and $\mathcal{Y} = \{1, ..., n_c\}$ be a discrete output space. Let $D = \{(x_i, y_i)\}_{i=1}^N \subset \mathcal{X} \times \mathcal{Y}$ be a training ...
- 111
1
vote
0
answers
176
views
If $f \in L^p(\Omega)$, then $f \in L^q(\Omega)$ for some $q < p + \epsilon$?
Loosely speaking, I would like to know whether membership in some Lebesgue space $L^p$ is stable under small perturbations of the exponent $p$.
Let $\Omega \subseteq \mathbb R^n$ be a bounded domain ...
- 641
1
vote
0
answers
87
views
Supremum of sums of functions in $L^1$ taking random signs
Consider the Banach space $X=L^1([0,1])$, and let $n\gg1$ and $x_1, ..., x_n$ be any points in the unit sphere of $X$.
Is there any reasonable lower bound for $$\sup_{(\epsilon_i)_{i=1}^n \in \{-1,+1\}...
- 393
1
vote
0
answers
98
views
Equivalence of Sobolev norms for smooth functions with compact support
Let $f\in C^\infty_c([0,1]^n)$, then we can extend it to a $1$-periodic smooth function $\tilde f$. We define the fourier transform (series) of $f$ ($\tilde f$):$$
\hat f(\xi):=\int e^{2\pi i x\cdot \...
- 435
1
vote
0
answers
40
views
relatively weakly compact sets in the projective tensor product of $\ell_p $ and a Banach space $X$
We will use the notation in [1].
A sequence $(x_n)$ in $X$ is called weakly $p$-summable ($p\ge 1$) if $(x^*(x_n))\in \ell_p$ for each $x^*\in X^*$. Equivalently, a sequence $(x_n)$ in $X$ is ...
1
vote
0
answers
86
views
Gamma convergence via density argument: Looking for references
I am looking for a reference or result dealing with Gamma via density argument.
Let me elaborate more my wish. I am actually trying to establish the Gamma convergence (precisely only the liminf) of a ...
- 1,101