All Questions
Tagged with reference-request fa.functional-analysis
386 questions with no upvoted or accepted answers
5
votes
0
answers
445
views
Why are functions with vanishing normal derivative dense in smooth functions?
Question
Let $M$ be a compact Riemannian manifold with piecewise smooth boundary. Why are smooth functions with vanishing normal derivative dense in $C^\infty(M)$ in the $H^1$ norm?
Here I define $...
- 881
5
votes
0
answers
215
views
Explicit description of the Plancherel measure for $GL_n(\mathbb{R})$
Let $G:=\mathrm{GL}_n(\mathbb{R})$ and $f\in C_c^\infty(G)$. One can uniquely determine the Plancherel measure $d\mu_p$ on $\hat{G}$, the unitary (actually tempered) dual of $G$, by the equation
$$f(g)...
- 1,692
5
votes
0
answers
341
views
Real interpolation of weighted Sobolev spaces with different weights
Let $\Omega \subseteq \mathbb{R}^n$ be open and let $w_0$ and $w_1$ be measurable and almost everywhere positive and finite functions defined on $\Omega$. Let $L^2_{w_0}(\Omega)$ be the weighted ...
5
votes
0
answers
364
views
Version of Stone Weierstrass for functions not vanishing at infinity
I am trying to see what is known about uniform density of function spaces in $C(\mathbb{R}^n)$ or $C_b(\mathbb{R}^n)$ (bounded continuous functions on $\mathbb{R}^n$). By uniform density, I mean ...
- 51
5
votes
0
answers
254
views
A weak Perron-Frobenius property for sets of positive matrices
A popular form of the Perron-Frobenius theorem states the following result: if $A$ is a $d \times d$ real matrix all of whose entries are positive, then the spectral radius of $A$ is a simple ...
- 6,206
5
votes
0
answers
328
views
Are inclusions from spaces of $C^\infty$ sections into spaces of $C^k$ sections homotopy equivalences?
[EDIT: The answer to my original question was obviously no, as user56365 pointed out. Here is what I should have asked.]
For finite-dimensional smooth manifolds $E,M$, let $E\to M$ be a smooth fibre ...
- 648
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
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
5
votes
1
answer
363
views
Inverse marginal property of a collection of $\sigma$-algebras
In my paper "On the inverse best approximation property of systems of subspaces of a Hilbert space"
I introduced the Inverse marginal property (IMP) for a collection of $\sigma$-algebras.
Let $(\...
- 935
5
votes
1
answer
381
views
Sufficient criteria for $X \subset \mathcal{H}$ to be a Lipschitz (or unif. cont.) retract of $\mathcal{H}$
I am interested in sufficient criteria which ensure that a subset $X$ of a Hilbert space $\mathcal{H}$ is a Lipschitz (or at least uniformly continuous) retract of $\mathcal{H}$.
Under which ...
- 734
4
votes
0
answers
90
views
Hölder stability of the PDE $\partial_t u (t, x) = \operatorname{div} \{ a (t, x) \nabla u(t, x) \}$
$
\newcommand{\bR}{\mathbb{R}}
\newcommand{\bE}{\mathbb{E}}
\newcommand{\bT}{\mathbb{T}}
\newcommand{\bP}{\mathbb{P}}
\newcommand{\bF}{\mathbb{F}}
\newcommand{\cF}{\mathcal{F}}
\newcommand{\eps}{\...
- 835
4
votes
0
answers
330
views
Book recommendation in functional analysis and probability
I am interested by functional analysis and probability. I would like to know if you have any books that deal with these two subjects (at a graduate level) to recommend?
I'm looking for a book that has ...
4
votes
0
answers
135
views
Automorphism-invariant positive linear functionals on $C*$-algebras
Let $A$ be a $C^*$-algebra. Does there exist a non-trivial positive linear functional $\nu\in A^*$ which is $\mathrm{Aut}(A)$-invariant? That is, $\nu\circ\alpha=\nu$ for all $\alpha\in\mathrm{Aut}(A)$...
- 1,959
4
votes
0
answers
77
views
Reference/Help request for formula $[A,e^{-itB}]$ found in physics thread
I'm wondering if anyone has a rigorous reference or a proof of the formula (2) found in the main answer of this thread on the physics stack exchange. I want to use it but in the case where $A, B$ are ...
- 71
4
votes
0
answers
134
views
Weighted logarithmic Sobolev inequality
$\DeclareMathOperator\Ent{Ent}$The usual logarithmic Sobolev inequality says that
$$
\Ent_\mu(f^2)\leq C\int |\nabla f|^2 d\mu
$$
where the entropy
$$
\Ent_\mu(f^2)=\int f^2 \log\left( \frac{f^2}{\int ...
- 5,380
4
votes
0
answers
68
views
Maximal function estimate for differential quotient of function satisfying $\nabla f \in BMO$
For a function $f \in W^{1,p}(\mathbb R^N)$, it is well-known that there exists a constant $C_N$ (dependent on $N$) such that
$$
|f(x)-f(y)| \le C_N|x-y|(\mathcal M|\nabla f|(x) + \mathcal M|\nabla f|(...
- 61
4
votes
0
answers
164
views
Convergence rates for kernel empirical risk minimization, i.e empirical risk minimization (ERM) with kernel density estimation (KDE)
Let $\Theta$ be an open subset of some $\mathbb R^m$ and let $P$ be a probability distribution on $\mathbb R^d$ with density $f$ in a Sobolev space $W_p^s(\mathbb R^d)$, i.e all derivatives of $f$ ...
- 6,853
4
votes
0
answers
160
views
An estimate for the Benjamin-Ono equation from T. Tao's well-posedness paper
In https://arxiv.org/abs/math/0307289 (eq. (8)),
for a (smooth) solution of the equation $$u_t - uu_x + Hu_{xx} = 0$$
(where $H$ denotes the Hilbert transform) the following estimate is stated (...
- 839
4
votes
0
answers
123
views
Restricting a function defined on an étale groupoid to an isotropy group
Let $\mathcal G$ be an étale groupoid, let $x$ be a point in the unit space of $\mathcal G$, and let $\mathcal G(x)$
be the isotropy group of $x$.
If $f$ is a continuous, complex valued, compactly ...
- 2,263
4
votes
0
answers
95
views
When the Jacobian of unstable measure converges
Let $T:X \to X$ be a hyperbolic map on the compact metric space $X$. Hyperbolicity means that $T$ has local stable and unstable sets with uniform exponential bounds, which satisfy a local product ...
- 1,043
4
votes
0
answers
65
views
A standard name of a strongly extremal point of a convex set
I need to name somehow points $x$ of a bounded convex set $C$ in a Banach space $X$ such that the set $$\{x^*\in X^*:x^*(x)=\max x^*[C]\}$$ of support functionals at $x$ has non-empty interior in the ...
- 41.9k
4
votes
0
answers
147
views
Continuous extension preserving modulus of continuity
Let $X$ be a (non-empty) compact subset of $D(0,M):=\left\{x\in \mathbb{R}^n:\, \|x\|\leq M\right\}$, and let $f:X\rightarrow Y$ be uniformly continuous; for some metric space $Y$. Are there any ...
4
votes
0
answers
159
views
Is there a name for this geometric property of metric spaces?
My research has lead me to metric spaces $(M, \rho)$ which have the following geometric property:
Suppose $x, y \in M$ and $r, s > 0$ such that
$(x, r) \neq (y, s)$,
$B[y; s] \subseteq B[x; r]$,
$...
- 191
4
votes
0
answers
176
views
If $u \in W^{\alpha,p}(0,T;X)$ for $\alpha \in (0,1)$, then $f(u) \in W^{\alpha,q}(0,T;Y)$ for some good $f:X \to Y$
Let $u \in W^{\alpha,p}(0,T;X)$ for some reflexive Banach space $X$ (you can also take a Hilbert space if it helps) for $\alpha \in (0,1)$ and $p \geq 2$. I am fine with both the Sobolev-Slobodeckij ...
- 51
4
votes
0
answers
146
views
When does an operator from $\ell_1$ to itself factor through $\ell_p$?
I would like to know whether a given operator from $\ell_1$ to itself, given by a matrix $A$, factors through $\ell_p$, for $p>1$.Does anyone know any references/results on this topic? I am ...
- 53
4
votes
0
answers
138
views
A good reference for Bochner spaces
I am looking for some references on Bochner spaces containing basic stuff such as measurability, convergence and $L^p$ theory. I already have the Analysis in Banach Spaces: Volume I book which covers ...
- 597
4
votes
0
answers
114
views
Is this subspace of $B(\mathcal{H})$ known?
Let $\mathcal{H}$ be a Hilbert space. Suppose that I take a fixed ONB of $\mathcal{H}$ let us call it $\{ e_i \}_{i\in \mathbb{N}}$ and then I define
\begin{align*}
\|T \|_{D} = \sup_{l_i, m_i} \sum_{...
- 1,054
4
votes
0
answers
125
views
Is there a name for this slightly stronger version of Cesàro convergence which "more quickly ignores earlier terms"?
Let $V$ be a normed vector space, let $l \in V$, and let $(a_n)$ be a sequence in $V$. We say that $a_n$ is Cesàro-convergent to $l$ if $\frac{1}{n}\sum_{i=1}^n a_i \to l$ as $n\to\infty$.
Now I will ...
- 708
4
votes
0
answers
144
views
A Pythagorian inequality characterization of inner-product spaces
Let $(X,\|\cdot\|)$ be a real normed space. For any points $A$ and $B$ in $X$, let $AB:=\|A-B\|$. Suppose that for any points $A$ and $B$ in $X$ and any straight line $\ell\subseteq X$ such that $B\...
- 128k
4
votes
0
answers
126
views
Relationship between three different definitions of solutions for ODE with irregular coefficient
What is the difference between the notions of
Regular Lagrangian flow
Filippov solution
Caratheodory solution
of an ODE $\dot \Phi(t,x) = b(t,\Phi(t,x))$, with initial condition $\Phi(0,x) = x$, ...
- 839
4
votes
0
answers
116
views
Log-Sobolev Inequalities for convex bodies
For a measure $\mu$ supported on a convex body $K$, what are the conditions on $\mu$ and $K$ to satisfy a Log-Sobolev inequality of the form:
$$\int f^{2} \log f^{2}\,d\mu -\int f^{2}\,d\mu \log\left(\...
- 519
4
votes
0
answers
93
views
Conditions on the Hamiltonian of a classical system that yeild essentially self-adjoint quantum Hamiltonian
What are the conditions on the Hamiltonian of a classical system that under these conditions the quantum Hamiltonian obtained via Weyl quantization will be essentially self-adjoint in $L_2(\mathbb{R}^...
- 381
4
votes
0
answers
102
views
$W^{k,p}$ and Holder regularity for linear elliptic systems with Neumann boundary data
I'm looking for a text or paper that discusses regularity in the Sobolev and Holder sense for general linear elliptic systems of PDEs on bounded domains with Neumann boundary data.
The book by ...
4
votes
0
answers
115
views
Box counting dimension of the graph of a BV function
Let $u: \Omega\subset \mathbb{R}^N \to \mathbb{R}^M$ be a $BV$ function.
Is the box counting dimension of the graph of $u$ equal to $N$? How can we prove it?
The analogous question for the ...
- 839
4
votes
0
answers
105
views
Borel selections of usco maps on metrizable compacta
The problem posed below is motivated by this problem of Chris Heunen and in fact is its reformulation in the language of usco maps. Let us recal that an usco map is an upper semicontinuous compact-...
- 41.9k
4
votes
0
answers
111
views
A reference for $\nabla |u|^p = p\ \text{sgn}(u)|u|^{p-1}\nabla u$
Let $\Omega$ be an open domain with nice boundary and $u\in W^{1,p}(\Omega)$. I believe that $|u|^p\in W^{1,1}$ with
$$
\nabla |u|^p = p\ \text{sgn}(u)|u|^{p-1}\nabla u
$$
but couldn't find a good ...
- 1,245
4
votes
0
answers
91
views
Sharp asymptotic behavior of the metric entropy for the unit ball in Besov space
For $s>0$ and $1 \leq p,q \leq \infty$ let $B^s_{p,q}$ be the Besov space defined on $[0,1]^d$, and assume $ s > d( \frac 1 p - \frac 1 2)_+$, such that $B^s_{p,q}$ is compactly embedded in $L^2(...
4
votes
0
answers
343
views
Diffeomorphism group action on the space of embeddings
Let $S$ and $M$ be two finite-dimensional smooth manifolds with $\dim S\le \dim M$. Then it is known (e.g.Kriegl-Michor's book) that the set $\mathrm{Emb}(S, M)$ of all smooth embeddings $S\to M$ is ...
- 2,789
4
votes
0
answers
264
views
Is the Gelfand transform strictly continuous?
Let $M$ be the Banach algebra of measures on the circle with $L_1$ naturally sitting as a closed ideal of $M$. Then $M$ carries the strict topology implemented by the family of seminorms $\|\mu\|_f = \...
- 113
4
votes
0
answers
254
views
Lower semi-continuity of integration
I've found many papers characterizing the weak lower semi-continuity of
$$
\Phi(u)\triangleq \int_{x \in \Omega} f(x,u(x))\,dx,
$$
on $L^2(\Omega)$ where $\Omega$ is a bounded subset of $\mathbb{R}^d$....
- 5,405
4
votes
0
answers
120
views
Reductive Operator Problem
In the 1972 paper ''An equivalent Formulation of the Invariant Subspace Conjecture'' Dyer, Pedersen, and Porcelli announce the following result:
The Invariant Subspace Problem has a positive ...
- 355
4
votes
0
answers
263
views
Approximately inner conditional expectations of $II_{1}$ factors
In many contexts it is helpful to think of conditional expectations as averages of unitary conjugates, a standpoint vindicated by many standard techniques in the theory of finite von Neumann algebras. ...
- 7,057
4
votes
0
answers
311
views
Some elementary decay estimates of solutions to the heat equation
Preliminaries: Let $u$ be the solution of the Cauchy problem for the heat equation with initial datum $u_0 \in L^1 \cap L^p$. Then I know that the following estimates hold:
$$\Vert u(t,\cdot)\Vert_{L^...
- 303
4
votes
0
answers
585
views
Dual of the space of all bounded functions, $B(X, \mathbb{R}).$
Let $X$ be a non compact separable metric space. Denote
by $B(X, \mathbb{R})$ the set of all bounded real functions
endowed with the sup norm, this is a Banach space. Denote by
$C_b(X,\mathbb{R})\...
- 757
4
votes
0
answers
361
views
Spectral mapping theorem
Rudin's book contains in chapter 10 a spectral mapping theorem for (self-adjoint) unbounded operators that respects the point-spectrum, in the sense that he shows $f(\sigma_p(T))=\sigma_p(f(T))$ for ...
- 305
4
votes
0
answers
269
views
Algebras and $\sigma$-algebras associated to random variables
Let $\{v_\lambda:~\lambda\in\Lambda\}$ be a family of real-valued random variables on a (complete) probability space $(\Omega, \sigma, \mathbb{P})$. Assume the variables lie in $\bigcap_{p=1}^\infty L^...
- 1,411
4
votes
0
answers
172
views
Donnelly-Fefferman growth of eigenfunctions
Let $(M, g)$ be a compact Riemannian manifold, and let $\lambda^2$, $\varphi_\lambda$ represent eigenvalues and eigenfunctions respectively of the Laplacian $\Delta$, that is, $-\Delta \varphi_\lambda ...
- 41
4
votes
0
answers
508
views
Good reference for noncommutative $L^p$ spaces
I'm looking for good references to learn about $L^p$ spaces associated with von Neumann algebras. I already know about Uffe Haagerup's paper "$L^p$-spaces associated with an arbitrary von Neumann ...
- 41
4
votes
0
answers
121
views
Domain of $A^{1/2}$ on $L^2(\mathbb{T}^2)$
Let $A$ be a densely defined unbounded self-adjoint operator defined on $L^2(\mathbb{T}^2)$, where $\mathbb{T}^2$ stands for the 2-torus. It is known that $A$ is positive, that is, $\langle Au, u\...
- 41
4
votes
0
answers
241
views
"Partition" of a smooth function in $\mathbb R^2$
This is a question asking for reference.
I have a proof of the following.
Let $f=f(x,y)$ be a smooth function in $\mathbb R^2$ which vanishes at the origin. Then there exist smooth functions $f_1=...
- 231