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
1
vote
0
answers
75
views
$T$ trace, then $Tg(u)=g(T(u))$ for all $u$ on $W^{1,p}$
The trace operator $T$ is defined for bounded domain $U$ with $C^1$ boundaries as the linear, continuous operator
$T: W^{1,p}(U) \rightarrow L^p(\partial U)$
such that
$$
Tu=u\;\text{ on }\partial U
$$...
- 11
1
vote
0
answers
75
views
Product of d-dimensional Legendre polynomials
Let $P_n:\mathbb{R}\rightarrow\mathbb{R}$ be the $d$-dimensional Legendre polynomials, that is they are orthonormal polynomials w.r.t the probability measure $\mu_d$ on $[-1,1]$ given by $\mu_d= \...
- 155
1
vote
0
answers
104
views
Amenability of $\textrm{w}_0(L^1(G))$
Let $G$ be an infinite compact group and $A=L^1(G)$. It is known that $c_0(A)$ is amenable [Runde2020, p.80] while $\ell^{\infty}(A)$ is not [Daws2009] .
Let $\textrm{w}_0(A)$ denote the subspace of $\...
- 2,605
1
vote
0
answers
90
views
What do $\gamma$-radonifying operators radonify?
In the second volume of their Analysis in Banach Spaces, Hytönen et al. introduce the notion of $\gamma$-radonifying operator more or less as follow.
Let $(\gamma_j)_{j\in\mathbf N}$ be a sequence of ...
- 407
1
vote
0
answers
135
views
Conformal laplacian on asymptotically flat manifolds with boundary
Let $g$ be an asymptotically flat metric on $M = \mathbb{R}^3 \setminus B_1$ where $B_1$ is the unit ball.
Suppose $X$ is a smooth vector field on $M$ that is decaying exponentially and satisfies
$$\...
- 969
1
vote
0
answers
210
views
How to show that every Von Neumann algebra is unital?
I was reading the book on operator algebra by Kehe Zhu. The proof of theorem 17.7 (page 107) goes like this :
He first considered the set of all non-empty finite subsets of the set of all projections ...
- 173
1
vote
0
answers
55
views
functional resembling random variable norm
Let $N\subset\mathbb{R}$ be finite
and define
$$
A(N)
=
\sum_{i
\in\mathbb{Z}
}\min\{
2
^i,
|N\cap[2^i,2^{i+1})|
\},
$$
where
$\mathbb{Z}=\{0,\pm1,\pm2,\ldots\}$
and
$|\cdot|$ denotes set cardinality.
...
- 6,541
1
vote
0
answers
125
views
Interpolating sequences are strongly separated
I am reading Agler and McCarthy's Pick Interpolation and Hilbert Function spaces. In Chapter 9, titled "Interpolating Sequences", the authors say that every interpolating sequence is ...
- 151
1
vote
0
answers
210
views
Is this a well known space? Perhaps homogeneous Sobolev-like space?
The homogeneous Sobolev space $\dot H^s(\mathbb{R}^n) $ is often defined as the closure of $\mathcal{S}(\mathbb{R}^n)$ under the norm
$$ || |\omega|^s \widehat{f} ||_{L^2(\mathbb{R}^d)} =\int_{\...
- 197
1
vote
0
answers
170
views
Generalization of Borel functional calculus
[Repost from https://math.stackexchange.com/questions/4802593/generalization-of-borel-functional-calculus]
Let $A$ be a normal operator on a Hilbert space $V$. The continuous functional calculus gives ...
- 95
1
vote
0
answers
146
views
Intuition behind right-inverse of map from Johnson-Lindenstrauss Lemma
The Johnson–Lindenstrauss lemma states that for every $n$-point subset $X$ of $\mathbb{R}^d$ and each $0<\varepsilon\le 1$, there is a linear map $f:\mathbb{R}^d\to\mathbb{R}^{O(\log(n)/\varepsilon^...
- 5,405
1
vote
0
answers
123
views
Dependence of Sobolev embedding theorem constant on smoothness
Assume that $\Omega \subset \mathbb{R}^d$ is "nice" enough and $k$ is a positive real number. Using the Sobolev embedding theorem, we can get that
$$
\|f\|_{W^{0,2d/(d-2k)}\ \ \ \ \ (\Omega)}...
- 11
1
vote
0
answers
103
views
Cyclic representation isomorphic to L2 space
This question is also posted on Math Stack Exchange.
I need some help understanding a proof of the following claim: every cyclic representation is isomorphic to some $L^2$ space.
First, formal ...
- 111
1
vote
0
answers
72
views
Infinite dimensional version of the Laplace transform and Gaussian integrals
This question is somehow related to my previous one Convergence of the Gaussian integral on $\mathcal{E}'$ for a mapping supported on $L^2$
Let $F : L^2(S^1) \to L^2(S^1)$ be a (nonlinear) Borel-...
- 3,477
1
vote
0
answers
119
views
Continuity of a minimizing measure w.r.t a parameter
Let $V_t(x)=x^2+t\phi(x)$ where $t>0$ and $\phi\in C^\infty_c(\mathbb{R})$.
My question is what can be said about the continuity of the (unique) minimizer (among probability measures) of the ...
- 41
1
vote
0
answers
54
views
Minimal F-semi-norms
There are conflicting terminologies in the literature on this subject, so let me define an F-semi-norms on a real vector space $E$ to be a subadditive function $\rho:E\to[0,+\infty)$ such that $\rho\...
- 5,529
1
vote
0
answers
113
views
Computing a limit for the Weierstrass function
Let $a\in (0,1)$ and let $b$ be an odd positive integer such that $ab>1+\frac{3}{2}\pi$. Let $\alpha \in (0,1)$ be defined by $\alpha= -\frac{ln(a)}{ln(b)}$ and consider the well known Weierstrass ...
- 4,115
1
vote
0
answers
144
views
Estimator for the conditional expectation operator with convergence rate in operator norm
Let $X$ and $Z$ be two random variables defined on the same probability space, taking values in euclidian spaces $E_X$ and $E_Z$, with distributions $\pi$ and $\nu$, respectively.
Let $L^2(\pi)$ ...
- 111
1
vote
0
answers
126
views
Artin approximation for Banach rings
Let $B$ be an integral Banach ring, meaning it is complete with respect to a norm and it is an integral domain. Let $F$ be its fraction field. Let $\widehat{F}$ be the completion of $F$ with respect ...
- 39
1
vote
0
answers
73
views
Is $L^p_\text{loc} (Y)$ dense in $(L^0(Y), \hat \rho)$?
Below we use Bochner measurability and Bochner integral. Let
$(Y, d)$ be a separable metric space,
$\mathcal B$ Borel $\sigma$-algebra of $Y$,
$\nu$ a $\sigma$-finite Borel measure on $Y$,
$(Y, \...
- 657
1
vote
0
answers
50
views
Is there $r>0$ such that the norm $[f]_r:=\sup_{n \ge 1} \|1_{B(y_n, r)} f\|_{L^p}$ is equivalent to $\|f \|:=\sup_{y \in Y}\|1_{B(y,1)}f\|_{L^p}$?
Below we use Bochner measurability and Bochner integral. Let
$(Y, d)$ be a separable metric space,
$\mathcal B$ Borel $\sigma$-algebra of $Y$,
$\nu$ a $\sigma$-finite Borel measure on $Y$,
$(E, |\...
- 657
1
vote
0
answers
82
views
Injective envelopes of 1-extensible spaces
Please read this post as a naive follow up on a previous question.
Let $X$ be a Banach space and let $(I(X),\alpha)$ denote its injective envelope (e.g., CohenLacey1969). A low hanging fruit is the ...
- 2,605
1
vote
0
answers
105
views
Applications of finite speed of propagation property
Consider the Laplace operator $\Delta:=\sum_{j=1}^{n}\partial_{x_{j}}^{2}$ on $\mathbb{R}^n$. Let $E_{\lambda}$ be the spectral resolution of $\Delta$, and
$$ H_{t}[f]:=\cos{(t\sqrt{-\Delta})}f=\int_{...
- 287
1
vote
0
answers
109
views
PDE coupled with the pronic numbers (related to triangular numbers)
I am studying the linear PDE:
$$ t^2\frac{\partial^3}{\partial t^3}\sum_{n=1}^\infty \Psi_n(t,s)=s^2\frac{\partial}{\partial s}\sum_{n=1}^\infty \Psi_n(t,s)+\sum_{n=2}^\infty b(n)\frac{\partial}{\...
- 383
1
vote
0
answers
44
views
Characterizing some similarity invariant homogeneous log-superharmonic functions of matrices
Let $L:M_n(\mathbb{C})^r\rightarrow[0,\infty)$ be a function that satisfies the following properties:
$\log(L)$ is plurisubharmonic.
$L$ is homogeneous in the sense that $L(\lambda A_1,\dots,\lambda ...
1
vote
0
answers
111
views
Residues of analytic operators
Suppose we have analytic operators $P_{z}: C^1[0,1]\to C^1[0,1]$, where $z \in \mathbb{C}$, and the spectrum of $P_{z_0}$ possesses an isolated eigenvalue $1$ (assuming multiplicity is 1 and $I-P_z$ ...
- 11
1
vote
0
answers
87
views
Cocycle-conjugacy classes of flows on the C*-algebra of compact operators
A flow on a C*-algebra $A$ is a group homomorphism $\sigma $ from ${\mathbb R}$ into the group of *-automorphisms of $A$
such that the map
$$
t\in {\mathbb R}\mapsto \sigma _t(a)\in A
$$
is norm-...
- 2,263
1
vote
0
answers
47
views
Existence for a nonlinear evolution equation with a monotone operator that is not maximal
We consider the nonlinear evolution equation
$$
\dot{u}(t) + Bu(t) = 0, \quad u(0)=0
$$
with
$$
A: \mathcal{C}(\Omega)\to \mathcal{M}(\Omega),\; p \mapsto \arg\min_{\mu\in\partial\chi_{\{||\...
- 171
1
vote
0
answers
104
views
Validity of analysis of summation of function of primes using Abel–Plana summation:
Consider the analytic function $g(x)$
Define
$$f(x)=g(x)\frac{\sin^2\left(\frac{π\Gamma(x)}{2x}\right)}{\cos^2\left(\frac{π}{2x}\right)}$$
Note that:
$$f(p)=g(p) \text{ for prime } p$$
And $f(n)=0$ ...
- 790
1
vote
0
answers
153
views
A transformation game for natural numbers?
Consider the completely additive function $\eta(n) := \sum_{p\mid n} v_p(n)p$ defined on natural numbers, with values in natural numbers. For literature, on this function, see the corresponding OEIS ...
- 3,074
1
vote
0
answers
131
views
Brezis-Kato theorem
Let $n\geq 3$, and $u$ satisfies
$$
-\Delta u=K(x)u^{\frac{n+2}{n-2}}
\quad x\in B_1\setminus \{0\},
$$ where
$|K(x)|\leq A$ in $B_1\setminus \{0\}$, and
$u\geq 0$ in $B_1\setminus \{0\}$.
Can we ...
- 471
1
vote
0
answers
76
views
Positive definite function on the upper half line and its integral expression
By Hausdorff-Bernstein-Widder theorem, any completely monotonic function on the half line $\mathbb{R}_{\geq 0}:=[0,\infty)$
is given by the Laplace transform of a positive measure on $\mathbb{R}_{\geq ...
- 63
1
vote
0
answers
120
views
Formula for the kernel of an operator
Let $\mathcal H$ be a Hilbert space and let $O$ be an operator. Obviously $M=O^\dagger O$ is a semi-positive definite operator and $v\in\ker M$ if and only if $v\in\ker O$. Therefore it seems to me ...
- 521
1
vote
0
answers
82
views
Commutator of self-adjoint operators and $C^1$-type formula
Let $\mathcal{H}$ be a (complex) Hilbert space.
Let $H$ be a self-adjoint operator on $\mathcal{H}$ with dense domain $\mathcal{D}(H) \subset \mathcal{H}$, generating the unitary one-parameter ...
- 71
1
vote
0
answers
37
views
Unique smallest degree algebraic solution to polynomial ODE
Let's assume we are given a degree $d$ polynomial VF as a map $f: \mathbb{R}^n \rightarrow \mathbb{R}^n$
$$f_j(x)=\sum_{i_{1},\dots,i_{n}=1}^{d}a^j_{i_{1},\dots,i_{n}}x_{1}^{i_{1}}\dots x_{n}^{i_{n}}$$...
- 247
1
vote
0
answers
35
views
Finding bounds for a "smooth" mapping $u : [0,T] \to \mathcal{S}(\mathbb{R})$ in terms of Schwartz seminorms
Let $u(t,x) : [0,T] \times \mathbb{R} \to \mathbb{R}$ be a smooth function with the following properties:
Partial derivatives of $u(t,x)$ with respect to $t$ up to any order are Schwartz functions of ...
- 3,477
1
vote
0
answers
109
views
$L^2(0,\infty;L^2(\Omega))$ estimate on solution of heat equation with Neumann boundary condition
Let $u$ be a solution of
$$u' - \Delta u = 0 \quad\text{on $\Omega$}$$
$$\partial_\nu u = 0\quad\text{in $\partial \Omega$}$$
$$u(t=0)=u_0\quad\text{on $\Omega$}$$
where $\Omega$ is a bounded ...
- 93
1
vote
0
answers
95
views
Are the sum and product of nonlinear compact operators compact?
In the 'interactive' proof of Lomonosov's Theorem about hyperinvariant subspaces (in the book Hilbert Space Operators, A Problem Solving Approach), one is asked to prove the compactness of the ...
- 11
1
vote
0
answers
164
views
Reference on spectral theory of self-adjoint operators
I am reading this paper on comparing different moments of independent random variables. A initial step in their approach is designing an operator $L$ over smooth functions (and extended to an self ...
- 13
1
vote
0
answers
32
views
Rätz orthogonality and involution
In the Rätz’s sens of orhtoganality, can we find an exemple of an involution u(different to -Id)such that x orthogonal to y then x orthogonal to u(y)
1
vote
0
answers
51
views
Error estimates for inhomogeneous semidiscrete PDE
I have the following semidiscrete problem on a meshed domain $U_h$. Let
$V_h$ be linear finite elements on $U_h$, $V_{h0}\subset V_h$ have zero trace on $\partial \Omega_h$, and
$V_{h\partial}$ be ...
- 235
1
vote
0
answers
94
views
Convex combination of positive mean-ergodic operators
Let $T_1,T_2:L^1([0,1],\mathrm{d}x)\to L^1([0,1],\mathrm{d}x)$ be positive mean-ergodic operators such that:
For every $h:[0,1]\to \mathbb{R}_+$ we have that
$$\int_0^1 T_1 h(x)\mathrm{d}x = \int_0^1 ...
- 333
1
vote
0
answers
739
views
Finding a unique and finite expected value for almost all measurable functions?
Let $(X,d)$ be a metric space. If set $A\subseteq X$, let $H^{\alpha}$ be the $\alpha$-dimensional Hausdorff measure on $A$, where $\alpha\in[0,+\infty)$ and $\text{dim}_{\text{H}}(A)$ is the ...
- 63
1
vote
0
answers
180
views
Applications of hyperbolic polynomials?
The recently posted MO-Q "Positivity of the coefficients of Taylor series associated to the Riemann hypothesis" (see also this MO-Q) has re-kindled my interest in hyperbolic polynomials--...
- 10.5k
1
vote
0
answers
145
views
Operator norm of linear functional $\varphi \mapsto \int_\Omega f\varphi$ with respect to different norms
Let $\Omega \subseteq \mathbb{R}^n$ be open. For some $f \in L^2(\Omega)$ consider the continuous linear functional $$T \colon C^\infty_c(\Omega) \to \mathbb{R}, \qquad T(\varphi) := \int_\Omega f \...
- 548
1
vote
0
answers
133
views
Infinite dimensional matrix solvability
In order to solve a boundary problem for a conducting hemisphere, the following matrix equation arises (derived from the boundary condition on the curved part of the surface) where we must solve for ...
- 573
1
vote
0
answers
133
views
Does the Gaussian Poincare inequality hold for infinite dimensional measure metric spaces?
This is a question subsequent to the one:
Does the Gaussian Poincare inequality hold for $p=1$ as well as $p=2$?
There, I received a very helpful answer that the Gaussian poincare inequality for any ...
- 3,477
1
vote
0
answers
108
views
Existence of a smooth extension
In the three dimensional Euclidean space $\mathbb R^3$ let us define the hypersurface
$$ S= \{(x,y,z) \in \mathbb R^3\,:\, z^2= x^2+y^2\}.$$
Suppose that $f \in C^{\infty}(S)$. Does there exist $u\in ...
- 4,115
1
vote
0
answers
79
views
Groups without "almost equivariant" coarse embeddings
Let $X$ be a set. We say that $\psi:X\times X\to[0,\infty)$ is a CND (conditionally negative definite) kernel if there is a Hilbert space $\mathcal{H}$ and a map $f:X\to\mathcal{H}$ such that
\begin{...
- 81
1
vote
0
answers
105
views
Friedrichs extension of the Laplacian from a smooth subspace and density of its eigenbasis in the Frechet topology of the subspace as well?
Let $C^\infty_\text{div}(\mathbb{T}^3)$ be the "real" Frechet space of periodic, divergence-free smooth vector fields on $\mathbb{R}^3$. That is, $\mathbb{T}^3$ is the $3$-dimensional torus.
...
- 3,477