Questions tagged [fa.functional-analysis]

Banach spaces, function spaces, real functions, integral transforms, theory of distributions, measure theory.

Filter by
Sorted by
Tagged with
-1
votes
0answers
33 views

Bounded approximation property and affine subspaces of codimension $1$

Let $E$ be a Banach space with the bounded approximation property and let $M\subseteq E$ be an affine subset of co-dimension $1$, and let $C\subseteq M$ be a closed and convex subset of $M$ with non-...
4
votes
1answer
138 views

The largest $\ell_p$-norm of a sum of rows of a Sylvester-Hadamard-Walsh matrix

Given any $n\in\mathbb N$, consider the the Sylvester-Hadamard-Walsh matrix $M=(a_{i,j})_{i,j\in 2^n}$ of size $2^n\times 2^n$ and for a number $p\in[1,\infty)$, let $$\nu_{n,p}=\max_{F\subseteq 2^n}\...
1
vote
0answers
24 views

Pertrubing the approximation property from the Lipschitz-free space to stay in the Wasserstein space

Let $(X,d,x)$ be a separable pointed metric space and let $\mathcal{F}(X)$ be its Arens-Eells (also called its Lipschitz-Free space; in the case where $X$ is Banach) space. We view the $1$-...
4
votes
0answers
105 views
+50

Tensor product of representations on a compact quantum group

Let $\mathbb{G}$ be a $C^*$-algebraic compact quantum group (in the sense of Woronowicz) with function algebra $(C(\mathbb{G}), \Delta)$. Let $X \in M(B_0(H)\otimes C(\mathbb{G}))$ and $Y \in M(B_0(K)\...
6
votes
3answers
863 views

Orthonormal basis in $W^{1,2}([0,1])$

Consider the Hilbertspace $W^{1,2}([0,1])$ (i.e. Sobolev space) with the standard inner product which is defined by: $(f,g) = (f,g)_{L^{2}([0,1])} + (f',g')_{L^{2}([0,1])}$. Here $[0,1]$ is not ...
1
vote
0answers
22 views

Knowledge on weighted integral operators?

There are tons of books and a huge literature on the properties of the following integral operator: \begin{equation} T(f) = \int_{\mathcal{X}} K(x,\cdot)f(x)dx, \end{equation} where $K(x,z)$ is, say, ...
0
votes
0answers
44 views

product of two generalized functions

Let $f_n$ and $g_n$ two generalized functions such that : the product $f_n g_n$ is well defined for all $n\in \mathbb{N}$, which means $WF(f_n)+WF(g_n)$ does not contain an element of the form $(x,0)$...
0
votes
0answers
33 views

Compact embedding of Lipschitz continuous functions

Let $(X,d,\mu)$ be a metric measure space, not necessarily with $\mu(X)<\infty$. I would like to study the embedding of $W^{1,2}(X)\cap \mathrm{Lip}(X)$ into $L^2(X)$. Are there simple conditions ...
0
votes
0answers
51 views

Differential properties of the Radon transform

I am looking for a reference for the following fact: Let $f \in L_1(\mathbb{R}^{d})$ that has compact support and that is also in $C^{s}(\mathbb{R}^{d})$. We define the Radon transform of $f$ as: \...
1
vote
1answer
21 views

Weak majorizations for sum of two hermitian matrices

Let $A$ and $B$ be two $n\times n$ hermitian matrices. Does $U^{*}AU+B \prec_{w} A+B$ for any unitary matrix $U$? Here the notation $``\prec_{w}"$ stands for the weak majorization, that is, $x\prec_{...
4
votes
1answer
125 views

Separable subalgebras of non-separable reflexive Banach algebras

Let $A$ be a non-separable reflexive Banach algebra. Every separable subspace of $A$ is contained in a separable 1-complemented subspace [Lindenstrauss,1966]. It is straightforward to show that every ...
0
votes
0answers
38 views

Are feature maps into RKHSs are embeddings?

Let $H$ be a Hilbert space, $X$ be a metric space, and $F: X\rightarrow H$ be a continuous function. Define the RKHS associated to $F$ as: $$ H_{F} = \{ g: X \to \mathbb{R} | \exists w \in H, g(x) = \...
12
votes
1answer
1k views

Equivalence of fractional Sobolev space defined through Gagliardo norm and interpolation; dependence on the domain

Let $\Gamma$ be a smooth hypersurface in $\mathbb{R}^n$. We can define the fractional Sobolev space $$X = \{ u \in L^2(\Gamma) \mid |u|_X^2 := \int_\Gamma \int_\Gamma \frac{|u(x)-u(y)|^2}{|x-y|^{n+1}} ...
1
vote
1answer
76 views

Prove $\int_\Omega \left(\rho_{1} \ln \frac{\rho_{1}}{\rho_{2}}\right)dx dy \leq C\int_\Omega |\rho_1-\rho_2|dxdy$ for $0 \le \rho_1, \rho_2 \in L^1$

Let $\rho_1, \rho_2 \in L^1(\Omega;\mathbb R_+)$ such that $\int \rho_i|\ln \rho_i| < \infty$. Is it true that there exists a constant $C>0$ such that \begin{align*} \int_\Omega \left(\rho_{1} \...
5
votes
1answer
291 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 ...
1
vote
1answer
121 views

Metric / strong slope restriction of function on unit ball in $\mathbb R^m$

Diclaimer. I'm not sure this is the right venue for this question, but I'll give it a try Definition [Strong / metric slope]. Given a complete metric space $(M,d)$ and a function $f:M \to (-\infty,+\...
4
votes
1answer
88 views

Is the "hereditarily indecomposable" property separably determined?

Is it true that a Banach space $X$ is hereditarily indecomposable if every separable closed subspace of $X$ is hereditarily indecomposable?
3
votes
0answers
55 views

Every Borel linearly independent set has Borel linear hull (reference?)

I am looking for a reference to the following fact, which probably is known and could be proved somewhere by someone. Theorem. The linear hull of any linearly independent Borel set in a Polish ...
4
votes
1answer
235 views

Taylor coefficients of Hadamard product

I imagine this to be a very classical question in complex analysis: Consider the Hadamard product $$g(\mu) = \prod_{n=1}^{\infty}E_1(\mu z_n),$$ where $E_1(z):=(1-z)e^z$ is the first elementary ...
1
vote
1answer
232 views

$L^2$-convergence of a series of translates $\sum_{n=-\infty}^\infty a_n f(\cdot - n)$

Suppose that $f \in L^2(\mathbb R)$ is an arbitrary square integrable function and $(a_n)_{n \in \mathbb Z}$ is a sequence which is square summable, i.e. $(a_n)_{n \in \mathbb Z} \in \ell^2(\mathbb Z)$...
2
votes
0answers
44 views

Small bi-Lipschitz maps

Let $d,n$ be positive integers where $\mathbb{R}^d$ is viewed as a subspace of $\mathbb{R}^n$. What is the smallest $M>0$ for which there exists some Lipschitz map $L:\mathbb{R}^n\rightarrow \...
2
votes
0answers
59 views

Pointwise convergence of kernels of Hilbert-Schmidt operators

Lately I was discussing different types of convergence for Hilbert-Schmidt operators and during that discussion we ended up talking about pointwise convergence of Fourier series. I have already asked ...
3
votes
1answer
108 views

Spectrum Cauchy-Euler operator

A Cauchy-Euler operator is an operator that leaves homogeneous polynomial of a certain degree invariant, named after the Cauchy-Euler differential equations We consider the operator $$(Lf)(x) = \...
2
votes
0answers
62 views

A convex version of the small uncountable cardinal $\mathfrak b$

Let us recall that $\mathfrak b$ is the smallest cardinality of a subset of $\omega^\omega$, which cannot be covered by countably many compact subsets of $\omega^\omega$. The definition of $\mathfrak ...
2
votes
1answer
221 views

Density of w*-support points

I am looking for a simple proof of the following theorem — wasn't able to come up with one myself. Should be a use of the Bishop–Phelps theorem, in some way: Let $X$ be a Banach space, $D \subset X^*$ ...
2
votes
0answers
84 views

Does a holomorphic function with logarithmic growth at the boundary have $L^2$ boundary values?

Let $f(z)$ be a holomorphic function on the unit disc, with logarithmic growth at the boundary: $$ |f(z)| = \mathcal O\bigg(\log\Big(\frac{1}{1-|z|}\Big)\bigg). $$ Does it follow that the (...
6
votes
2answers
179 views

Minimal injective extension is rigid

Let $V$ be an operator system. Definition 1: A pair $(W, \kappa)$ is called extension of $V$ if $W$ is an operator system and $\kappa: V \to W$ is a unital complete isometry. Definition 2: An ...
16
votes
1answer
1k views

Invariant definition of the space of symbols on a vector bundle (pseudo-differential operators)

Normally, in the context of pseudo-differential operators, a symbol on a vector bundle $E$ is defined as a smooth function on $E$ which in each trivializing chart fulfills the usual symbol estimates \...
11
votes
1answer
282 views

Estimating the growth of the Taylor coefficients given the growth of the function at the boundary

Let $f(z)=\sum a_nz^n$ be a Taylor series that converges for $|z|<1$ and satisfies $$ |f(z)|\le \frac{1}{(1-|z|)^{k}} $$ for some fixed $k>0$. Question: What can I deduce about the growth of the ...
2
votes
1answer
94 views

Infinite-dimensional analogue of "positive-negative splitting implies non-degeneracy"

(This question is related to Splitting a space into positive and negative parts but different.) Given a finite-dimensional vector space $V$ over $\mathbb{R}$, what I call a "positive-negative ...
10
votes
2answers
255 views

Implicit function theorem with continuous dependence on parameter

Let $X,Y$ be Hilbert spaces and $P$ a topological space$^1$ and $p_0\in P$. Let $f:X\times P\to Y$ be a continuous map such that for any parameter $p\in P$, $f_p:= f|_{X\times \{p\}}:X\to Y$ is ...
9
votes
3answers
529 views

Takesaki theorem 2.6

I originally posted this question on MSE and didn't get a satisfactory answer, even after putting a bounty on it. Hence, I thought I should ask here: Consider the following theorem in Takesaki's book &...
1
vote
1answer
76 views

What are the subelliptic estimates for the Rockland operator?

Let $X=(X_1, X_2, \dots, X_n)$ be a smooth vector field on $\mathbb{R}^n$. The operator $L=(\sum_{i=1}^{m}X_i^2)^p$, where $p$ is an integer, is a degenerated operator. If $X$ satisfies the Hörmander ...
1
vote
0answers
51 views

Regular inclusions: $\{b\in B:E(b^*b)=0\}$ is a two-sided ideal

From [Donsing-Pitts-2008, theorem 4.8]: For $A\subseteq B$ a regular inclusion, with $A$ abelian, and $E:B\to A$ its unique conditional expectation it holds: The left ideal $$L(E):=\{b\in B:E(b^*b)=0\...
4
votes
1answer
154 views

If a completely positive unital map admits a completely positive unital left inverse, it is a complete isometry

Let $T$ be an injective operator system and $U$ be an arbitrary operator system. Let $\varphi: T \to U$ be a unital completely positive map and $\psi: U \to T$ be a unital completely positive map with ...
0
votes
0answers
39 views

Unbounded subsets of $\ell^+_\infty$ that have non-empty interior and non-trivial unique minimizers

Let $\ell^+_\infty$ be the space of non-negative bounded sequences equipped with the $\sup$ norm topology. Note that the dual of $\ell_\infty$ is the space of finitely additive signed measures on $2^\...
1
vote
1answer
240 views

Express Dirichlet energy $E_\mu(f) := \int \|\nabla f(x)\|^2 d\mu(x)$ in terms of Fourier information alone

Let $\mathbb R^d$ and let $\mu = p(dx)$ be a probability distribution thereupon, with density $p$ (which maybe assumed bounded, etc.). For a continuously differentiable function $f:\mathbb R^d \to \...
4
votes
1answer
156 views

Example: traceless C*-algebra universally generated by projections

Are there examples of a non-zero C*-algebra which is universally generated by finitely many projections (not all commuting) together with a unit and plus necessarily satisfying some additional ...
3
votes
0answers
86 views

Approximation of a linear functional by linear continuous functionals

Let $X$ be a locally convex space, $T$ a balanced convex compact set in $X$, and $f:X\to\mathbb{C}$ a linear functional which is (not necessarily continuous on $X$, but) continuous on $T$. It is not ...
13
votes
0answers
514 views

Green's function of Cauchy-Riemann operator on Torus

Consider the torus $\mathbb T^2:=\mathbb C/(\mathbb Z+i \mathbb Z)$ and the operator $$ T = (2D_{\bar z}-\lambda)^{-1} $$ on the torus with periodic boundary conditions. This one is well-defined for $\...
10
votes
2answers
563 views

On equibounded sequences in $L^\infty$

Let $f_n: [0, 1] \to \mathbb R$ be a sequence of positive functions in $L^\infty$ (hence a fortiori in $L^1$) that are equibounded in $L^\infty$ norm - that is $\sup_{n \in \mathbb N} \|f_n\|_{L_\...
5
votes
0answers
131 views

Absolute summability of multiplication operators on $\ell_p$

A linear bounded operator $T:X\to Y$ between Banach spaces is called absolutely summing if for every unconditionally convergent series $\sum_{i\in\omega}x_i$ in $X$ the series $\sum_{i\in\omega}\|T(...
3
votes
0answers
71 views

Does convolution by a Schwartz function preserve symbol classes?

I am working on a problem involving pseudodifferential operators, and I need a property of the operator "convolution by a Schwartz function". I apologize in advance if the question is ...
1
vote
0answers
31 views

Systematic approach to Weierstrass factorization

If you want to calculate the Taylor expansion of a function, you only need to know the derivatives of the function at the point of expansion. Is there a similar algorithmic approach that can be ...
11
votes
1answer
197 views

(Sharp) Bounds on $E(XYZ)$ given all the bivariate marginals

Suppose $X,Y,Z$ are all real-valued random variables. Suppose I know the joint marginal distributions of $(X,Y)$, $(Y,Z)$ and $(X,Z)$. I want to find bounds on $E(XYZ)$. In the case of bounding $E(XY)$...
7
votes
1answer
295 views

Bounding the decrease after applying a contraction operator $n$ vs $n+1$ times

Can we upper bound the convergence rate of $$\max_{\textbf{v}: \left\Vert \textbf{v}\right\Vert_2=1} \left\{ \left\Vert \textbf{T}^n \textbf{v}\right\Vert^2_2 - \left\Vert \textbf{T}^{n+1} \textbf{v}\...
3
votes
0answers
135 views

What do people call functionals on holomorphic functions and on polynomials?

There are four most important functional spaces in analysis: the space $\mathcal{C}(M)$ of continuous functions on a topological space, the space $\mathcal{E}(M)$ of smooth functions on a smooth ...
2
votes
1answer
119 views

$(\iota \otimes f)(X) = 0$ for all $f \in B^*$ implies $X=0$

Let $A$ and $B$ be $C^*$-algebras. Given $f \in B^*$, we can form the right slice map $$\iota \otimes f: A \otimes B \to A: a \otimes b \mapsto af(b)$$ which extends uniquely to a bounded linear map $$...
8
votes
1answer
658 views

Noncompactness of the Sobolev embedding in the critical exponent case

Let $\Omega \subset \mathbb R^n$ be a bounded domain with a Lipschitz boundary and $n > p \ge 1$. It is well known that up to the critical exponent $p^* = pn/(n − p)$, i.e. $q < p^*$, the ...
1
vote
1answer
158 views

Creating an inverse system which "stratifies density"

Setting: Let $X'$ be a dense subset of an infinite-dimensional Fréchet space $X$ and suppose that $(X_n')_{n \in \mathbb{N}}$ is a nested sequence of non-empty subsets of $X'$ satisfying $$ \bigcup_{n ...

1
2 3 4 5
154