Norm and Numerical Peak Holomorphic Functions on Banach Spaces

Sung Guen Kim; Han Ju Lee

Home/Archive/arXiv

arXiv · 0706.0574

Norm and Numerical Peak Holomorphic Functions on Banach Spaces

Sung Guen Kim·Han Ju Lee

View original source ↗Read source document ↗Export metadata ↓

Abstract

We introduce the notion of numerical (strong) peak function and investigate the denseness of the norm and numerical peak functions on complex Banach spaces. Let $A_b(B_X:X)$ be the Banach space of all bounded continuous functions $f$ on the unit ball $B_X$ of a Banach space $X$ and their restrictions $f|_{B_X^\circ}$ to the open unit ball are holomorphic. In finite dimensional spaces, we show that the intersection of the set of all norm peak functions and the set of all numerical peak functions is a dense $G_δ$ subset of $A_b(B_X:X)$. We also prove that if $X$ is a smooth Banach space with the Radon-Nikodým property, then the set of all numerical strong peak functions is dense in $A_b(B_X:X)$. In particular, when $X=L_p(μ)$ $(1<p<\infty)$ or $X=\ell_1$, it is shown that the intersection of the set of all norm strong peak functions and the set of all numerical strong peak functions is a dense $G_δ$ subset of $A_b(B_X:X)$. In the meanwhile, we study the properties of the numerical radius of an holomorphic function and the numerical index of subspaces of $A_b(B_X:X)$. As an application, the existence and properties of numerical boundary of $A_b(B_X:X)$ are studied. Finally, the numerical peak function in $A_b(B_X:X)$ is characterized when $X=\ell_\infty^n$ and some negative results on the denseness of numerical (strong) peak holomorphic functions are given.

Explore related subjects

math.FA

Keep this discovery

Explore connections, maps & timelines

BibTeX RIS

Sung Guen Kim, Han Ju Lee. 2007-06-05. Norm and Numerical Peak Holomorphic Functions on Banach Spaces. https://arxiv.org/abs/0706.0574

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Matrix-valued regular functions of a quaternionic variable - a decomposition and some approximation results

A quaternionic matrix-valued regular function is a map $F: Ω\rightarrow M_n(\mathbb{H})$ whose entries are (left) regular functions of a quaternion variable, where $Ω$ is a domain in $\mathbb{H}$. Given any $n \times n$ matrix-valued regular function $F(q)$ over $\mathbb{H}$ having norm at most $1$, we derive a decomposition of $F(q)$ in the form $U \star \begin{bmatrix} ||F(q_0)|| & 0\\0 & G(q)\end{bmatrix} V$ for some constant unitary matrices $U, V$, some vector $q_0$ and an $(n-1) \times (n-1)$ matrix-valued regular function $G(q)$, where $\star$ denotes the star product over $\mathbb{H}$. We use this to deduce that any matrix-valued regular function $F(q)$ having norm at most $1$ can be uniformly approximated by a convex combination of rational unitary functions.

math.FA↗

arXiv2026

Spectral theorem for compact self-adjoint operators on smooth Banach spaces

We establish a spectral representation theorem for compact operators that are self-adjoint with respect to the duality mapping on smooth Banach spaces. The result is a natural analogue of the classical spectral theorem for compact self-adjoint operators on Hilbert spaces.

math.FA↗

arXiv2026

Classification of bipartite observables I: stable and uniformly stable observables

When two quantum systems are prepared independently and each is driven to an idealized limit, the expectation of a bipartite observable may depend on which system is idealized first. We call an observable stable when it does not. We show that stability is equivalent to two operational properties. First, every idealized preparation of one system can be simulated to arbitrary accuracy, uniformly over all probes, by finite mixtures of actual preparations, provided that the probing system is idealized first. Second, any two idealized preparations have a unique, symmetric independent product. Under a uniform form of stability, we prove, the number of preparations that $n$ adaptive probes can tell apart at a fixed margin is bounded by a polynomial in $n$, and responses can be learned with a bounded number of mistakes; otherwise, at some margin, protocols with $n$ probes tell apart $2^n$ preparations. The swap test, Hong--Ou--Mandel coincidences and discrete equality tests turn out to be uniformly stable, with bounds independent of the dimension, while order comparisons of discrete spectra unbounded above are unstable. The proofs rest on the classical fact that a single double limit condition appears, under different names, in topology (Grothendieck), functional analysis (Krivine--Maurey), algebra (Arens), probability (Simons) and combinatorics (Pták), and in model theory as Shelah's stability, where the independent product corresponds to Harrington's lemma. Model theory thus serves as a Rosetta stone, pairing each physical question with its mathematical formulation.

math.FA↗