Skip to main content

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
Filter by
Sorted by
Tagged with
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 (...
user69642's user avatar
  • 778
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 (...
Tao's user avatar
  • 429
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, ...
Manuel Norman's user avatar
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$ ...
Alex M.'s user avatar
  • 5,407
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 ...
Math Lover's user avatar
  • 1,115
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 ...
MCS's user avatar
  • 1,284
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: ...
0xbadf00d's user avatar
  • 167
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 \...
ty88's user avatar
  • 51
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 ...
Capublanca's user avatar
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 ...
A beginner mathmatician's user avatar
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\...
ABIM's user avatar
  • 5,405
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. ...
LL 3.14's user avatar
  • 230
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 ...
Yaddle's user avatar
  • 381
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é ...
DiegoG7's user avatar
  • 53
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*} ...
sharpe's user avatar
  • 721
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(...
DSM's user avatar
  • 1,216
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$ ...
FavorExistingPopularTags's user avatar
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$ ...
prochet's user avatar
  • 3,472
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} \|...
javi1996's user avatar
  • 355
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_{\...
Adam's user avatar
  • 31
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 ...
bambi's user avatar
  • 375
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 ...
JohnA's user avatar
  • 710
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 ...
Tomasz Kania's user avatar
  • 11.3k
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 &...
Henrik's user avatar
  • 31
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 ...
erz's user avatar
  • 5,529
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 ...
Math Lover's user avatar
  • 1,115
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 ...
0xbadf00d's user avatar
  • 167
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 = \{...
Muzi's user avatar
  • 173
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 $...
S.Lim's user avatar
  • 469
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 ...
GWB's user avatar
  • 301
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 ...
pseudocydonia's user avatar
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 ...
Dima Pasechnik's user avatar
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$,...
Yiming Xu's user avatar
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 ...
Mircea's user avatar
  • 2,041
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)\...
ABIM's user avatar
  • 5,405
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$...
e.lipnowski's user avatar
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=\...
user134977's user avatar
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 ...
geometricK's user avatar
  • 1,913
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\...
geometricK's user avatar
  • 1,913
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$$ ...
Harmonic Sun's user avatar
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 ...
ABIM's user avatar
  • 5,405
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-...
Jay's user avatar
  • 109
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)$...
Christian's user avatar
  • 799
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 ...
Yidong Luo's user avatar
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 ...
Oleg's user avatar
  • 931
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(\...
geometricK's user avatar
  • 1,913
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 ...
Riku's user avatar
  • 839
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?
user avatar
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 $...
Benedikt Hunger's user avatar
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$. ...
Piero D'Ancona's user avatar

1
18 19
20
21 22
69