We construct infinitely differentiable norms and partitions of unity for a class of Banach spaces which includes all spaces $\C(K)$ with $K$ a countable compact space, and all spaces $\C_0[0,Ω)$ with $Ω$ an ordinal.
Using stopping time arguments on holomorphic martingales we present a soft way of constructing J. Bourgain's analytic partitions of unity. Applications to Marcinkiewicz interploation in weighted Hardy spaces are discussed.
We derive new obstructions for Gabor frames. This note explains and proves the computer generated observations of Lemvig and Nielsen in arXiv:1507.03982.
We prove that if X is an infinite-dimensional Banach space with C^p smooth partitions of unity, then X and X\K are C^p diffeomorphic, for every weakly compact subset K of X.
Partitions of unity in ${\mathbf R}^d$ formed by (matrix) scales of a fixed function appear in many parts of harmonic analysis, e.g., wavelet analysis and the analysis of Triebel-Lizorkin spaces. We give a simple characterization of the functions and matrices yielding such a partition of unity. For invertible expanding matrices, the characterization leads to easy ways of constructing appropriate functions with attractive properties like high regularity and small support. We also discuss a class of integral transforms that map functions having the partition of unity property to functions with t…
Let $A$ be a unital Banach $\star$-algebra with unity $1$, $X$ be a Banach space and $ϕ: A \times A \to X$ be a continuous bilinear map. We characterize the structure of $ϕ$ where it satisfies any of the following properties: $$a,b \in A, \,\,\, a b^\star = z \, \,(a^\star b=z)\Rightarrow ϕ( a , b^\star ) = ϕ( z, 1 ) \, \, (ϕ( a^\star , b) = ϕ( z, 1 ));$$ $$a,b \in A, \,\,\, a b^\star = z \, \, (a^\star b=z)\Rightarrow ϕ( a , b^\star ) = ϕ( 1, z ) \, \, (ϕ( a^\star , b) = ϕ( 1, z )),$$ where $z\in A$ is fixed.
Using methods from the theory of commutative graded Banach algebras, we obtain a generalization of the two dimensional Borsuk-Ulam theorem as follows: Let $ϕ:S^{2} \rightarrow S^{2}$ be a homeomorphism of order n and $λ\neq 1$ be an nth root of the unity, then for every complex valued continuous function $f$ on $S^{2}$ the function $\sum_{i=0}^{n-1} λ^{i}f(ϕ^{i}(x))$ must be vanished at some point of $S^{2}$. We give a generalization in term of action of compact groups. We also discuss about some noncommutative versions of the Borsuk- Ulam theorem
Let $A$ be a real commutative Banach algebra with unity. Let $a_0\in A\setminus\{0\}$. Let $\mathbb Z a_0:=\{na_0\}_{n\in \mathbb Z}$. Then, $\mathbb Z a_0$ is a discrete subgroup of $A$. For any $n\in \mathbb Z$, the Frechet derivative of the mapping $$x \, \in \, A \ \ \ \mapsto \ \ \ x+na_0 \, \in \, A$$ is the identity map on $A$ and, especially, an $A$-linear transformation on $A$. So, the quotient group $A/(\mathbb Z a_0)$ is a $1$-dimensional $A$-manifold and the covering projection $$x \, \in \, A \ \ \ \mapsto \ \ \ x+\mathbb Z a_0 \, \in \, A/(\mathbb Z a_0)$$ is an $A$-map. We call …
We construct an infinite dimensional non-unital Banach algebra $A$ and $a\in A$ such that the sets $\{za^n:z\in\C,\ n\in\N\}$ and $\{({\bf 1}+a)^na:n\in\N\}$ are both dense in $A$, where $\bf 1$ is the unity in the unitalization $A^{\#}=A\oplus \spann\{{\bf 1}\}$ of $A$. As a byproduct, we get a hypercyclic operator $T$ on a Banach space such that $T\oplus T$ is non-cyclic and $σ(T)=\{1\}$.
Many of the known complemented subspaces of L_p have realizations as sequence spaces. In this paper a systematic approach to defining these spaces which uses partitions and weights is introduced. This approach gives a unified description of many well-known complemented subspaces of L_p. It is proved that the class of spaces with such norms is stable under (p,2) sums. By introducing the notion of an envelope norm, we obtain a necessary condition for a Banach sequence space with norm given by partitions and weights to be isomorphic to a subspace of L_p. Using this we define a space Y_n with norm…
Point Feature Descriptor via Directional Partition of Unity on Maps
Faculty of Applied Science, Ho Chi Minh City University of Technology(胡志明市理工大学应用科学学院);Department of Applied Mathematics, Faculty of Applied Science, Ho Chi Minh City University of Technology(胡志明市理工大学应用科学学院应用数学系);Vietnam National University Ho Chi Minh City(越南国家大学胡志明市分校)
Partition of unities appear in many places in analysis. Typically they are generated by compactly supported functions with a certain regularity. In this paper we consider partition of unities obtained as integer-translates of entire functions restricted to finite intervals. We characterize the entire functions that lead to a partition of unity in this way, and we provide characterizations of the "cut-off" entire functions, considered as functions of a real variable, to have desired regularity. In particular we obtain partition of unities generated by functions with small support and desired re…
The maximum of the Banach-Mazur distance $d_{BM}^M(X,\ell_\infty^n)$, where $X$ ranges over the set of all $n$-dimensional real Banach spaces, is difficult to compute. In fact, it is already not easy to get the maximum of $d_{BM}^M(\ell_p^n,\ell_\infty^n)$ for all $p\in [1,\infty]$. We prove that $d_{BM}^M(\ell_p^3,\ell_\infty^3)\leq 9/5,~\forall p\in[1,\infty]$. As an application, the following result related to Borsuk's partition problem in Banach spaces is obtained: any subset $A$ of $\ell_p^3$ having diameter $1$ is the union of $8$ subsets of $A$ whose diameters are at most $0.9$.
$\newcommand{mc}[1]{\mathcal{#1}}$ $\newcommand{D}{\mc{D}(\mc{Q},L^p,\ell_w^q)}$ We present a framework for the construction of structured, possibly compactly supported Banach frames and atomic decompositions for decomposition spaces. Such a space $\D$ is defined using a frequency covering $\mc{Q}=(Q_i)_{i\in I}$: If $(φ_i)_{i}$ is a suitable partition of unity subordinate to $\mc{Q}$, then $\Vert g\Vert_{\D}:=\left\Vert\left(\Vert\mc{F}^{-1}(φ_i\hat{g})\Vert_{L^p}\right)_{i}\right\Vert_{\ell_w^q}$. We assume $\mc{Q}=(T_iQ+b_i)_{i}$, with $T_i\in{\rm GL}(\Bbb{R}^d),b_i\in\Bbb{R}^d$. Given a pr…
We characterize the entire functions $P$ of $d$ variables, $d\ge 2,$ for which the $\mzd$-translates of $Pχ_{[0,N]^d}$ satisfy the partition of unity for some $N\in \mn.$ In contrast to the one-dimensional case, these entire functions are not necessarily periodic. In the case where $P$ is a trigonometric polynomial, we characterize the maximal smoothness of $Pχ_{[0,N]^d},$ as well as the function that achieves it. A number of especially attractive constructions are achieved, e.g., of trigonometric polynomials leading to any desired (finite) regularity for a fixed support size. As an applicatio…
In the paper `On the Dirac-Frenkel Variational Principle on Tensor Banach Spaces', we provided a geometrical description of manifolds of tensors in Tucker format with fixed multilinear (or Tucker) rank in tensor Banach spaces, that allowed to extend the Dirac-Frenkel variational principle in the framework of topological tensor spaces. The purpose of this note is to extend these results to more general tensor formats. More precisely, we provide a new geometrical description of manifolds of tensors in tree-based (or hierarchical) format, also known as tree tensor networks, which are intersection…
We consider a curve of Fredholm pairs of Lagrangian subspaces in a fixed Banach space with continuously varying (weak) symplectic structures. Assuming vanishing index, we obtain intrinsically a continuously varying splitting of the total Banach space into pairs of symplectic subspaces. Using such decompositions we define the curve's Maslov index by symplectic reduction to the classical finite-dimensional case. We prove the transitivity of repeated symplectic reductions and obtain the invariance of the Maslov index under symplectic reduction, while recovering all the standard properties of the …