Questions tagged [fa.functional-analysis]
Banach spaces, function spaces, real functions, integral transforms, theory of distributions, measure theory.
3,436 questions with no upvoted or accepted answers
3
votes
0
answers
89
views
Error rate implying regularity
My question is a bit general/vague.
It is well known that the regularity of certain functions can be measured through the rate of decay of certain error quantity based on an approximation procedure (...
3
votes
0
answers
186
views
How to prove the following linearized operator is positive?
In $L^2(\mathbb{R}^d)$, let $Q$ be the solution to
\begin{equation}
-\Delta Q+\alpha^2 Q = |Q|^{2\sigma} Q,
\end{equation}
and $Q$ satisfies that it is positive, radial, and exponentially decaying (...
3
votes
0
answers
393
views
On a possible attempt to prove the invariant subspace problem
This question involves a possible method to prove the invariant subspace problem for (separable) infinite dimensional Hilbert spaces. The idea comes from various results on this topic; more precisely, ...
3
votes
0
answers
68
views
A strange convergence for a semigroup of operators
I am reading B. Simon's "Kato's inequality and the comparison of semigroups", and I am having troubles understanding a part of the proof of Theorem 1 therein, that goes as follows:
Let $A,B$ ...
3
votes
0
answers
130
views
Question about a paper on approximate identities
I am currently reading this paper on approximate identities of ternary Banach algebras. Assume that $(A, [.,.,.])$ is a ternary Banach algebra. A bounded net $(e_{\alpha}, f_{\alpha})$ is said to be ...
3
votes
0
answers
342
views
A.C.M. van Rooij's *Non-archimedean functional analysis* (1978) is very out-of-print! Anyone know of any good alternatives?
(This is a literature/reference question.)
So... long story short:
(1) In my present research, I needed a theory of continuous functions from the $p$-adic integers to the $q$-adic integers. Unable ...
3
votes
0
answers
91
views
How does one define the gradient of a Markov semigroup?
In the context of functional inequalities for Markov semigroups $(\mathcal P_t)_{t\ge0}$, what is one denoting by $\nabla\mathcal P_tf$? For example, I've found the following assumption in this paper:
...
3
votes
0
answers
222
views
Sets of finite perimeter: intersection with an half space
I have a question regarding sets of finite perimeter. In particular I'm interested to find
$$\mu_{E \cap H_t}, \label{1}\tag{1}$$
where $E$ is a set of finite perimeter in a generic open set $\Omega \...
3
votes
0
answers
82
views
Compatibility between the source and the boundary condition for an Helmholtz-type equation
Let $\Omega$ an open, convex, bounded domain in $\mathbb{R}^3$, and let us fix also $z\in\mathbb{C}\setminus\mathbb{R}$. Given $\phi\in H^{3/2}(\partial\Omega)$, I would like to show the existence of ...
3
votes
0
answers
270
views
Kazhdan Property T of semisimple Lie groups
I am reading the paper [Margulis, G. A.; Nevo, A.; Stein, E. M.,
Analogs of Wiener's ergodic theorems for semisimple Lie groups. II.
Duke Math. J. 103 (2000), no. 2, 233–259] (MSN).
I want to ...
3
votes
0
answers
58
views
Criteria for density of subgroup of diffeomorphism group
Let $C^{\infty,\star}(\mathbb{R}^d)$ denote the non-commutative topological group of smooth diffeomorphisms from $\mathbb{R}^d$ to itself with $\circ$ as multiplication and let $\emptyset\subset X\...
3
votes
0
answers
192
views
Space contained in the Interpolation of $L^\infty$ and the Wiener Algebra $\mathcal{F}(L^1)$
Let $\ell^p$ be the space of sequences with power $p$ summable to $\ell^\infty$, $L^p = L^p(\mathbb{R^d})$ be the Lebesgue spaces and $\mathcal{F}$ be the Fourier $d$-dimensional Fourier transform.
...
3
votes
0
answers
188
views
Invariant subspaces of Markov operators
I am currently working on some kind of graph theoretic problem and the following question came up:
Suppose you have a Markov operator $T$ on $\ell^\infty$, that is a positive, bounded operator such ...
3
votes
0
answers
117
views
Optimal Poincaré constants under combined boundary and average conditions
Let $\Omega=[0,1]^2$ be the unit square, $\Gamma_1=[0,1]\times\{0;1\}$ its horizontal boundary and $\Gamma_2= \{0;1\}\times[0,1]$ its vertical boundary.
I would like to know the optimal Poincaré ...
3
votes
0
answers
148
views
Markov semigroups and resolvents, difference of continuity
Let $(E,d)$ be a locally compact separable metric space. We have a Markov process $X=(\{X_t\}_{t \ge 0},\{P_x\}_{x \in E})$ on $E$. For bounded measurable function $f$ on $E$, we define
\begin{align*}
...
3
votes
0
answers
165
views
On Pitt's inequality (weighted Fourier inequality)
One of Pitt's Theorem (from "Theorems on Fourier Series" by H R Pitt, 1937) states that for an integrable periodic function $F$ over $[-\pi,\pi]$,
$$
\sum_{n=1}^{\infty} |a_n|^q n^{-q\lambda} \leq K(...
3
votes
0
answers
61
views
Boundedness of $\chi_{\{f_n=0\}}$ in the BV norm
Let $f_n \in H^2(\Omega) \cap C^0(\bar \Omega)$ be a sequence of functions that are uniformly bounded in $H^2(\Omega) \cap C^0(\bar \Omega)$ on a smooth bounded domain $\Omega \subset \mathbb{R}^n$ ...
3
votes
0
answers
170
views
singular support in the singular case
For any constructible sheaf (or D-module) $\mathcal{F}$ over a smooth variety $X$ over $\mathbb{C}$, there is a notion of singular support $SS(\mathcal{F})$ that lives in the cotangent bundle $T^{*}X$ ...
3
votes
0
answers
63
views
Continuity of local spectral radius
Let $H$ be a complex Hilbert space and let $T \in \mathcal{B}(H)$ be a linear, bounded operator. Given $x \in H$ we define its local spectral radius as $$r_T(x) = \limsup\limits_{n\rightarrow\infty} \|...
3
votes
0
answers
109
views
Integral kernel of composition of linear operators acting in $L^2(\mathbb{R})$
Let $A$ and $B$ be linear operators acting on $L^2(\mathbb{R})$ or some dense subset of that space.
We assume that they are integral operators (possibly with distributional kernel)
$Af(x)=\int_{\...
3
votes
0
answers
646
views
On properties on a certain functional
Consider the following function:
$$F(z) = \omega(z)\sin^2\left(\frac{c\Gamma(z)}{z}\right)$$
Here, $\omega(z)$ is a weight we have to construct and $c$ is a constant.
The following three conditions ...
3
votes
0
answers
89
views
Reference request: Projection operators in metric spaces
Given a metric space $(X,d)$ and a subset $S\subset X$, the projection $P_S$ onto $S$ is well-defined as a set valued function. I am interested in learning more about properties of these projections ...
3
votes
0
answers
84
views
Norm-controlled inverses vs uniform openness of multiplication
Let $A$ be a unital commutative Banach algebra and let $\hat{a}\in C(\Phi_A)$ be the Gelfand transform of an element $a\in A$. The algebra $A$ has norm-controlled inverses, whenever there exists a ...
3
votes
0
answers
181
views
Completely positive, unital maps acting on unitary operators [solved]
Call a completely positive, irreducible, unital map $E$ on the operators on a finite-dimensional Hilbert-space primitive if there is only a single eigenvalue with modulus 1 (all others have modulus &...
3
votes
0
answers
59
views
Convergence of sesqui-holomorphic kernels on the diagonal
Let $X\subset \mathbb{C}^d$ be a domain.
A function (kernel) $K:X\times X\to \mathbb{C}$ is called sesqui-holomorphic if it is holomorphic in the first variable, and anti-holomorphic in the second ...
3
votes
0
answers
83
views
Reference request for representation theory of TRO
Let $H$ and $K$ be Hilbert spaces. Recall that a Ternary ring of operator(TRO) $V$ is a closed subspace of $B(H,K)$ such that $xy^{\ast}z \in V$ for all $x,y,z \in V$. I have recently started reading ...
3
votes
0
answers
256
views
How can we solve this kind of saddle point problem?
I'm trying to solve a saddle point problem of the following form: Let
$(E,\mathcal E,\lambda)$ be a measure space;
$p$ be a probability density on $(E,\mathcal E,\lambda)$ and $\mu:=p\lambda$
$W$ be ...
3
votes
0
answers
151
views
Completeness of discrete shifts in $\mathbb{R}^n$
Consider the space $L^2(\mathbb{R})$. Let $(x_n)_n \subset \mathbb{R}$ be a sequence and $f \in L^2(\mathbb{R})$ a functions. It is well understood under which assumptions the span of the set
$$
S = \{...
3
votes
0
answers
649
views
When the square root of integral operator becomes also integral operator (with continuous kernel)?
Let $X$ be a compact metric space and $\mu$ be strictly positive Borel measure on $X$. Let $T:L^2(X,\mu)\rightarrow L^2(X,\mu)$ be a self-adjoint, compact, and positive operator on the Hilbert space $...
3
votes
0
answers
133
views
Lower bound on the intersection of $\ell_1$ $n$-balls
Let $B_1$ and $B_2$ be two balls in $\mathbb{R}^n$ in $\ell_1$ norm, with distance $d$ and radius $R$.
Is there a lower bound on the volume of the intersection between the two n-balls? (assuming the ...
3
votes
0
answers
70
views
Bounding the norm of Sobolev extension operator
If $\Omega$ is a sufficiently nice bounded open set in $\mathbb{R}^d$, it's known that there exists a continuous linear operator $$\mathcal{E}:W^{1,p}(\Omega)\rightarrow W^{1,p}(\mathbb{R}^d)$$ such ...
3
votes
0
answers
161
views
Fantappie transform(ation)s in Gelfand et al. "Generalized functions"
In the 6-volume "Generalized functions" a treatment of Fantappie transformations is promised in Vol. 1 (bottom of p.461 of the Russian edition) to come in Vol. 5. However, there is no Fantappie
...
3
votes
0
answers
95
views
Sparse perturbation
Let $x, x_0\in\mathbb{R}^n$ be two vectors satisfying $$\frac{\|x\|_1}{\|x\|_2}\leq\frac{\|x_0\|_1}{\|x_0\|_2}.$$
$\| \cdot\|_1$ and $\| \cdot\|_2$ are the $\ell_1$ and $\ell_2$ norm in $\mathbb{R}^n$,...
3
votes
0
answers
150
views
What is a $C^\infty$ diffeomorphism from $\ell_2\setminus\{0\}$ to $\ell_2$ which is the identity outside a ball?
Let $\ell_2:=\{x=(x_n)_{n\in\mathbb N}:\ \|x\|^2:=\sum_n|x_n|^2<\infty\}$ with its natural norm. According to Wikipedia https://en.wikipedia.org/wiki/Kuiper%27s_theorem and to other sources, it is ...
3
votes
0
answers
94
views
How much more cyclic vectors are there than hypercylic vectors?
$\DeclareMathOperator\C{C}\DeclareMathOperator\HC{HC}$Definitions:
Let $T:X\rightarrow X$ be a bonded linear operator on a separable (infinite-dimensional) Banach space and define the sets:
$
\HC(T)\...
3
votes
0
answers
173
views
A Caratheodory-like result for infinite-dimensional simplices
Let $K$ be a compact metric space; $\Delta K$ be the set of Borel probability measures on $K$ endowed with the weak* topology; $X$ be a closed subset of $\Delta K$; and $x_0 \in \overline{\text{co}} X$...
3
votes
0
answers
103
views
"Hoelder conjugate" version of the Johnson-Lindenstrauss transform
A variation of the well-known Johnson-Lindenstrauss transform (JLT) asserts that for $x_1,\ldots,x_m\in\mathbb{R}^n$ there exists a linear transformation $A:\mathbb{R}^n\to\mathbb{R}^k$ with $k=\...
3
votes
0
answers
138
views
Comparing the group convolution algebra with the equivariant Roe algebra
Let $G$ be a Lie group equipped with a left-invariant metric. Then $C_c(G)$ is a $*$-algebra of convolution operators on $L^2(G)$.
Let $\mathbb{C}[|G|]^G$ denote the $*$-subalgebra of bounded ...
3
votes
0
answers
91
views
Pseudodifferential operator associated to a self-adjoint extension of a symmetric operator on an incomplete manifold
Let $D$ be the Dirac operator acting on a spinor bundle $S$ over a complete Riemannian manifold $M$. Then $D$ is an essentially self-adjoint operator on $L^2(S)$.
Suppose there is a compact subset $K\...
3
votes
0
answers
205
views
Uniqueness of the inverse kernel of an invertible integral transform
For any invertible integral transform $T$ of kernel $K$ that maps a function $f$ to the function $\varphi$ such that
$$\varphi(s)=\left[T\left\lbrace f\right\rbrace\right](s)=\int_a^bK(x,s)f(x)dx$$
...
3
votes
0
answers
487
views
Homeomorphism between $L^p$-spaces on metric spaces and $L^p$-spaces on Euclidean space
Setup:
Fix $p \in [1,\infty)$.
Let $(X,d_X,x_0)$ and $(Y,d_Y,y_0)$ be complete pointed metric spaces and $\mu$ be Borel. Let $E^n,E^D$ be Euclidean spaces of respetive dimensions $n$ and $D$ and ...
3
votes
1
answer
490
views
Space derivative of flow of ODE with monotone source
Consider the ODE
$$
\begin{cases}
\partial_t\Phi(t,x) = f(t,\Phi(t,x)), &\ t>0, \ x \in \mathbb R \\
\Phi(0,x) = x, & x \in \mathbb R
\end{cases}
$$
where $f$ is function which is a non-...
3
votes
0
answers
160
views
Elements of vector-valued $L^1$-spaces
Let $E$ be a complete locally convex space and let $(X, \Sigma, \mu)$ be a measure space where $\mu$ is a Radon measure. Then the space $L^{1}(X,E)$ is defined as a the completion of the space $S(X,E)$...
3
votes
0
answers
99
views
Is projection method really applicable for numerical solution of linear integral equations in $ L^p \ (p \neq 2)$ setting?
Projection method is a traditional method to numerically handle problem of linear integral equation. The routine way is to do it in $ L^2 $ setting. For example:
Let $ A:L^2(a,b) \to L^2(a,b) $ be a ...
3
votes
0
answers
376
views
Existence and uniqueness for reaction-diffusion equations
I am interested in the following PDE on a $d$-dimensional torus $\mathbb{T}^d$
\begin{align*}
&\partial_tu(t,x) = \Delta u(t,x) +f(u(t,x),t,x),\\
& u(0)=u_0\in L_2
\end{align*}
where the ...
3
votes
0
answers
53
views
Controlling a Schwartz kernel near the diagonal
Let $D$ be a first-order elliptic differential operator that is essentially self-adjoint on $L^2(\mathbb{R}^n)$. Consider the operator $(D+i)^q$ acting on $L^2(\mathbb{R}^n)$ with domain $C_c^\infty(\...
3
votes
0
answers
73
views
"Almost" absolute continuity of derivative of BV function if ${\rm Tr}\,D_Sf = 0$
Let $f: \mathbb R^N \to \mathbb R^N$ be a $BV$ function.
Suppose that $\mathrm{div} f$ is absolutely continuous with respect to the Lebesgue measure: $\operatorname{div} f \ll \mathcal L^N$. This ...
3
votes
0
answers
136
views
Boundary behavior of $H^2_0(\Omega)$ functions
If $u \in H^2_0(\Omega)$, is it true that $$u(x) \le C\mathrm{dist}(x,\partial \Omega)^2$$ as $x$ goes to the boundary?
3
votes
0
answers
298
views
Tensor product of compact operators on Banach modules
Let $A$ and $B$ be Banach algebras. Consider a right Banach $A$-module, $E$, and a right Banach $B$-module, $F$, as well as a Banach algebra morphism $\pi\colon A\to\mathcal L_B(F)$ into the bounded $...
3
votes
0
answers
168
views
Dual Lorentz spaces
MO seems the perfect place to ask for the following question. Denote the Lorentz spaces on an arbitrary measure space $(E,\mu)$ by $L^{p,q}=L^{p,q}(E,\mu)$, and by $p'$ the conjugate index of $p$.
...