All Questions
Tagged with fa.functional-analysis reference-request
1,021 questions
4
votes
0
answers
109
views
How fast is discrete-time diffusion on a continuous set?
This question is inspired by Joseph O'Rourke's beautiful answer to my previous question.
Let $\mathbb{S}^{d\times n}$ denote the set of real $d\times n$ matrices whose columns have unit norm and sum ...
- 7,633
4
votes
1
answer
562
views
Fundamental solutions for degenerate elliptic equations
I am looking for a paper or a book that says about the existence and some estimates (like these in the non-degenerate case) of the fundamental solutions for degenerate elliptic equations $L = -divA\...
- 51
1
vote
1
answer
184
views
Special kind of operators
Consider an operator $A: H \longrightarrow X$ ($H$ is a Hilbert space and $X$ is a Banach space) that has a representation
$$ A = \sum_{j=0}^\infty a_j \langle \cdot, e_j\rangle \cdot x_j,$$
where $(...
- 9,853
4
votes
0
answers
239
views
When separation in $L^1$ is possible?
Let $A$, $B$ be disjoint convex closed subsets of the Banach space $L^1[0,1]$. Assume additionally that $A$ is bounded and $A$, $B$ are closed under convergence in measure. Then there exists a closed ...
- 109k
7
votes
2
answers
1k
views
For what spaces is the Hardy-Littlewood maximal operator of strong type $(p,p)$ if and only if $p > p_0 > 1$?
(This is essentially a continuation of my previous question, here.)
Let $(X,d,\mu)$ be a metric measure space, i.e. $\mu$ is a Borel measure on the metric space $(X,d)$. Further assume (though you ...
user14166
4
votes
0
answers
1k
views
Applications of Riesz's lemma for the unit ball
I should give a talk on something I'm working on, and I'd like to have a list, as complete as possible, of applications, in and out of functional analysis, of the following classical result by F. ...
- 10.5k
0
votes
1
answer
305
views
Embedding a semigroup into a divisible semigroup
The following is motivated by the fact that I'd like to have a way, much better if canonical, to isometrically embed a normed group into a normed divisible group. But semigroups are a much more ...
- 10.5k
1
vote
0
answers
618
views
A question on a variant of Hardy's inequality.
I would like to know a proof of a variant of Hardy's inequality below. Could anyone introduce me a reference or give me a proof? Thank you very much for your assistance.
Set $0<r<\frac{2(n-s)...
- 11
2
votes
1
answer
891
views
Riesz representation theorem for vector-valued fields
Let $Q$ be a locally compact Hausdorff space, and let $V$ be a topological vector space. Consider the space $X = C_0(Q, V)$ of $V$-valued fields which vanish at infinity. Let $X^*$ denote the dual ...
- 8,512
1
vote
1
answer
2k
views
PhD in operator algebras and non-commutative geometry [closed]
I do not know whether it is a good place to ask this question or not.
I want to PhD in operator algebras and non-commutative geometry. What are the best places in the world for that? I want a good ...
- 11
1
vote
0
answers
61
views
Multi-completely monotone functions
Consider a $C^{\infty}$ nonnegative function $f(x,y,z)$, $x,y,z>0$ and let $\lambda f(\lambda x, \lambda y,\lambda z) \equiv f(z,y,z)$ for any $\lambda > 0$ (positive homogenity). Define
$$
g_{...
- 1,329
0
votes
1
answer
813
views
a problem in functional analysis that erdos solved in 2 lines
https://math.stackexchange.com/questions/261685/paul-erdoss-two-line-functional-analysis-proof .
does anyone know about what the problem was and what was his solution.
[Edit by quid:] please follow ...
- 2,106
2
votes
1
answer
347
views
The point of view of semicats in functional analysis
I'm completing a paper about (Mitchell's) semicats (well, not exactly, but let's say so for simplicity), and as a motivational example I'd like to mention at some point that the monic/epic morphisms ...
- 10.5k
1
vote
1
answer
650
views
Riesz representation for an infinite-dimensional space
Suppose $X$ is an infinite-dimensional Banach algebra (hence not locally compact).
Does there exist any sort of Riesz representation theorem that says something about elements of $C(X)^*$?
- 29
6
votes
2
answers
469
views
Orthonormal basis for $L^2(G/H)$.
Let $G$ be a locally compact group and $H$ be a closed subgroup of $G$. Is there any way to define a reasonable orthonormal basis for $L^2(G/H)$? By "reasonable" I mean elements of the orthonormal ...
user23860
4
votes
1
answer
498
views
Generator of a $C_0$-semigroup restricted to a subspace
Suppose we have a decreasing filtration of Banach spaces $(E_t)_{t\geq0}$, inclusions $V_{s+t,t}:E_{s+t}\to E_t$ and projections $P_{t,s+t}:E_t\to E_{s+t}$ such that $P_{t,s+t}V_{s+t,t}=I_{E_{s+t}}$. ...
- 1,411
6
votes
4
answers
1k
views
Reference for integral of functions taking values in a topological vector space.
(Note that I am interested in the Gelfand-Pettis integral specifically, as opposed to, for example, the Bochner integral.) I have tried Googling things like "integral topological vector space", "...
- 1,270
0
votes
0
answers
80
views
relationship between different function classes
I was wondering if there is a survey of relationship between several different well-studied function classes ?
ps - The question may be vague but I am looking for something along the lines of - http:/...
- 1
0
votes
0
answers
218
views
Series of linear maps: on a paper by Evans and Hanche-Olsen
I was reading this paper by Evans and Hanche-Olsen. In theorem 2, there are six equivalent statements given. I write just two of them, which I want to use.
Let $L$ be a bounded self-adjoint
...
- 421
2
votes
1
answer
132
views
Form of finite dimensional contractive projection in $L_p$
Let $P$ be a finite dimensional contractive (norm 1) projection in $L_p$, $1 < p < \infty$. Then $P$ is of the following form:
$Pf = \sum_{k=1}^n g_k \int h_kf$
Where $\|g_k\|_p = \|h_k\|_q = \...
- 311
4
votes
1
answer
615
views
Isometric embeddings of $\ell_q^m$ into $\ell_p$ and $L_p$ for $p,q\in[1,+\infty]$
I'm looking for articles describing or proving nonexistence of isometric embeddings of $m$-dimensional space $\ell_q^m$ into $L_p$ and $\ell_p$ for $q,p\in[1,+\infty]$.
Since $\ell_q^m$ is finite ...
- 1,697
2
votes
1
answer
637
views
Partial order on self-adjoint extensions?
Is there a natural partial order and/or lattice structure on the set of closed symmetric or self-adjoint extensions of a densely defined, unbounded, symmetric operator on a Hilbert space? Any ...
- 21.5k
-2
votes
3
answers
850
views
Books on analytic functions on Banach spaces over a non-Archimedean field
I'm looking for good textbooks on analytic functions on Banach spaces over a non-Archimedean field.
If you know one(s), please let me know.
- 1,169
2
votes
1
answer
240
views
BM-distances between $B(\ell_p^n)$ and $\ell^{n^2}_p$
Let $\ell_p^n$ be the $n$-dimensional real or complex $\ell_p$-space and let $\mathscr{B}(\ell_p^n)$ be the space of matrices on $\ell_p^n$ endowed with the operator norm. I am looking for any ...
- 11.3k
8
votes
5
answers
545
views
Reference for : a Fréchet nuclear space is Montel
I'm looking for a reference to cite regarding the property presented in the title: "Closed and bounded sets of a nuclear Fréchet space are compact"
Thank you in advance for the help!
- 5,428
5
votes
2
answers
774
views
Can we calculate the inner product of a semicontinous function with the Dirac delta function?
Dear all,
It is clear that if $f:R\mapsto R$ is a continuous function, than $< f, \delta_x >=f(x)$. Now, if $f$ is only semicontinous, can we say that $< f, \delta_x >=f(x)$? I think this ...
- 1,649
16
votes
5
answers
3k
views
Measure theory treatment geared toward the Riesz representation theorem
I'm looking for recommendations for books (or lecture notes) that develop measure theory in sufficient detail to state and prove the Riesz representation theorem (which is the characterization of the ...
- 21.5k
2
votes
2
answers
470
views
Linear coupled parabolic PDE system with Holder continuous coefficients
I am interested in proving existence/uniqueness to: find $u(x,t)$, $v(x,t)$ such that
$$u_t - a_1u_{xx} - a_2u_x - a_3u -a_4v = f$$
$$v_t - a_5u_{xx} - a_6u_x - a_7u - a_8v_{xx} - a_9v_x - a_{10}v = g$...
- 55
5
votes
0
answers
160
views
reference for perturbation of projection result
Let $A$ and $B$ have the same rank and dimensions. If $P_A$ denotes the projection onto the range space of $A$, then
$$
\|P_A - P_B\|_2 \leq \|A - B\| \cdot \min (\|A^\dagger\|_2, \|B^\dagger\|_2).
$$
...
- 922
4
votes
1
answer
471
views
Ask for theory about the weighted L^2(R^d) space.
Dear MOs,
I am now considering the following norm:
$$
||f||_{H}^2 := \iint f(x) H(x,y) f(y) d x d y\:.
$$
where the integral is over the whole space $R^{2d}$ and $H(x,y)$ is some non-negative ...
- 1,649
9
votes
0
answers
885
views
Continuous projections in $\ell_1$ with norm $>1$
I was trying to find papers and articles about non-contractive continuous projections in $\ell_1(S)$ where $S$ is an arbitrary set. If it is not studied yet, I would like to know results for the case $...
- 1,697
5
votes
0
answers
569
views
Functional calculus for vector-valued holomorphic functions?
Good afternoon,
I would like to ask a question on the functional calculus of several commuting operators. If someone knows some good/standard references, could you please tell me about them.
Firstly,...
- 758
2
votes
1
answer
136
views
the relation between a continuous family of distributions and a distribution of 2 variables
Let X,Y be smooth manifolds and let $f:X \to C^{-\infty}(Y)$ be a continuous map, where $ C^{-\infty}(Y)$ is the space of generalized functions on $Y$ equipped with the weak topology. By Schwartz ...
- 2,639
1
vote
0
answers
125
views
base change for distributions
For distributions on smooth manifolds one can consider the push-forward which is defined for proper maps, and the pull-back which is defined under certain condition on the wave front set see ...
- 2,639
6
votes
2
answers
460
views
Terminology: Banach spaces equipped with continuous associative product?
This is admittedly a low-interest question mathematically, and is arguably a question I could resolve if I had time over the next few days to go and look through a large number of the Banach algebra/...
9
votes
3
answers
2k
views
Generalizations and relative applications of Fekete's subadditive lemma
Fekete's (subadditive) lemma takes its name from a 1923 paper by the Hungarian mathematician Michael Fekete [1]. A historical overview and references to (a couple of) generalizations and applications ...
- 10.5k
1
vote
0
answers
125
views
Isomorphisms of group extensions arising from antisymmetric forms
Let $V,W$ be topological vector spaces and fix continuous antisymmetric bilinear forms $\omega_1:V\times V\to \mathbb{R}$, $\omega_2:W\times W\to\mathbb{R}$. Since $\omega_1$ is a 2-cocycle (in fact ...
- 1,411
1
vote
0
answers
465
views
Reference book for a stronger version of Goldstine theorem
Let me quote the proof of Goldstine theorem from wikipedia ( http://en.wikipedia.org/wiki/Goldstine_theorem ):
Given an $x^{**} \in B_{X^{**}}$, a tuple $(\phi_1, \dots, \phi_n)$ of linearly ...
- 311
1
vote
1
answer
201
views
Reference request for sums of Grothendieck spaces
I much appreciate your help with my previous question. Now, I'd like to ask about a reference. I need a fact asserting that if $p\in (1,\infty]$ (with emphasis on the case $p=\infty$) then the $\ell_p$...
- 125
3
votes
1
answer
502
views
Determining continuous functions on Banach spaces
Let $X$ be a real Banach space.
For a continuous (not necessarily linear) function $g:X \to \mathbb{R}$ and a family $\mathcal{F} \subseteq X^*$, we´ll say that $\mathcal{F}$ determines $g$ if ...
- 11.5k
14
votes
2
answers
4k
views
What is a good reference that compact resolvent implies Fredholm operator?
Suppose $A \in \mathcal{L}(E_1, E_0)$ is a bounded linear operator between Banach spaces $E_1$ and $E_0$, and we also have that $E_1$ is densely, continuously embedded in $E_0$ (i.e. $A$ can be ...
- 191
1
vote
1
answer
287
views
General compactness criterion in functional spaces
What follows is a total boundness criterion in the space $L^1(X)$, where $X$ is arbitrary space with probabilistic continuous measure (Lebesgue space). Of course, all such spaces $X$ and hence $L^1(X)$...
- 109k
19
votes
3
answers
1k
views
Is there "Schur-Weyl duality" for infinite dimensional unitary group?
To what extent does the relation between the diagonal representation of $SU(n)$ in $(\mathbb{C}^n)^{\otimes k}$ and representations of the symmetric group $S_k$ remain valid when instead of the group $...
- 965
1
vote
1
answer
295
views
A nice overview (and maybe derivation) of the Poincaré transformations of the Vector Spherical Harmonics
With $Y_{lm}(\vartheta,\varphi)$ being the Spherical Harmonics and $z_l^{(j)}(r)$ being the Spherical Bessel functions ($j=1$), Neumann functions ($j=2$) or Hankel functions ($j=3,4$) defining $$\psi_{...
- 161
5
votes
1
answer
540
views
Cosets of groups of functions
Let's consider an interval $I\subseteq\mathbb R$, and let $\mathcal F(I)$ be the set of bijective functions $f:I\to I$ so that the graph of $f$ is a analytic curve in $I\times I$.
The set $\mathcal ...
- 4,312
4
votes
1
answer
314
views
Spectral Properties of $A(I-A)^{-1}$
I am working with a class of matrices $A$ which are non-negative-definite, not symmetric, and have maximum eigenvalue less than 1. I am interested in the spectral properties of the matrix $H = A(I - ...
- 8,512
6
votes
2
answers
4k
views
Is there dual space of the distributions $\mathcal{D}'(R)$?
Dear MOs,
Let $\mathcal{D}(R):=C_c^\infty(R)$ be the smooth functions with compact support. Its dual space is the space $\mathcal{D}'(R)$ of distributions. This space $\mathcal{D}(R)$ has its weak *-...
- 1,649
3
votes
0
answers
217
views
Is this integral operator about Stokes' Flow compact?
Consider the following integral operator $\mathcal{A}$ on [EDITED: continuous vector function $f=(f_i):\partial S\to{\mathbb R}^3$]:
$$
({\mathcal A}f)_j(x_0):=\int_{\partial S}\sum_{i=1}^3 f_i(x)G_{...
user14319
12
votes
3
answers
2k
views
Reference request: Simple facts about vector-valued Sobolev space
Let $V,H$ be separable Hilbert spaces such that there are dense injections $V \hookrightarrow H \hookrightarrow V^*$. (For example, $H = L^2(\mathbb{R}^n)$, $V = H^1(\mathbb{R}^n)$, $V^* = H^{-1}(\...
- 29.8k
1
vote
1
answer
254
views
references for families of conditionaly negative definite matrices
We say that a matrix $A\in M_n(\mathbb{C})$ is a conditionaly negative definite matrix if it is hermitian and if for all complex numbers $c_1,\ldots,c_n$ such that $c_1+\cdots +c_n=0$ we have
$$
\sum_{...
- 1,222