Weak Essential Norm in Operator Theory

• Weak essential norm is the distance from a bounded operator to the ideal of weakly compact operators, capturing the non-removable part of the operator.
• In generalized weighted Fock spaces, reflexivity forces every bounded operator to be weakly compact, rendering the weak essential norm identically zero.
• For multiplication operators on Köthe spaces, the weak essential norm is nontrivial and can be explicitly computed via tail behavior and order continuity of the multiplier symbol.

The weak essential norm of a bounded linear operator $T$ is the distance from $T$ to the ideal of weakly compact operators, typically denoted

$$\|T\|_{\mathrm{we}}:=\inf\{\|T-W\|:W\in\mathcal{W}(E,F)\}.$$

It quantifies the part of an operator that cannot be removed by weakly compact perturbation. Its significance depends strongly on the ambient Banach spaces. In generalized weighted Fock spaces $F^p_\varphi$ with $1<p<\infty$, reflexivity forces every bounded operator to be weakly compact, so the weak essential norm is identically zero and carries no asymptotic information; there the informative object is the usual essential norm, i.e. distance to compact operators (Isralowitz, 2013). By contrast, for multiplication operators between Köthe spaces, the weak essential norm can be nontrivial and admits explicit formulas in terms of truncation or tail behavior of the multiplier symbol (Kiwerski et al., 2022).

1. Definition and operator-ideal framework

For a bounded operator $T:E\to F$ between Banach spaces, the essential norm is

$$\|T\|_{\mathrm{e}}:=\inf\{\|T-K\|:K\in\mathcal{K}(E,F)\},$$

while the weak essential norm is

$$\|T\|_{\mathrm{we}}:=\inf\{\|T-W\|:W\in\mathcal{W}(E,F)\},$$

where $\mathcal{K}(E,F)$ and $\mathcal{W}(E,F)$ denote the compact and weakly compact operators, respectively (Kiwerski et al., 2022). The inequality

$T$0

always holds in the Köthe-space framework discussed by Kiwerski–Tomaszewski (Kiwerski et al., 2022). This reflects the inclusion of compact operators inside weakly compact ones.

In applications, weak essential norm serves as a finer obstruction than compactness when weak compactness is strictly larger than compactness. The data exhibit two sharply different regimes. In generalized weighted Fock spaces $T$1, the relevant asymptotic invariant is the usual essential norm, because weak compactness is automatic for bounded operators (Isralowitz, 2013). In Köthe function and sequence spaces, weak compactness of multiplication operators is governed by order continuity of the multiplier, and the weak essential norm becomes computable via explicit distance formulas in the multiplier space (Kiwerski et al., 2022).

2. Triviality on generalized weighted Fock spaces

The generalized weighted Fock spaces considered in (Isralowitz, 2013) are built from real-valued weights $T$2 satisfying

$T$3

for fixed constants $T$4, with $T$5. For $T$6, the space

$T$7

is equipped with

$T$8

In this setting, one can define the weak essential norm $T$9 as the distance from $$\|T\|_{\mathrm{we}}:=\inf\{\|T-W\|:W\in\mathcal{W}(E,F)\}.$$0 to the set of weakly compact operators. The crucial structural fact is that $$\|T\|_{\mathrm{we}}:=\inf\{\|T-W\|:W\in\mathcal{W}(E,F)\}.$$1 is reflexive for $$\|T\|_{\mathrm{we}}:=\inf\{\|T-W\|:W\in\mathcal{W}(E,F)\}.$$2. The closed unit ball is therefore weakly compact, and any bounded linear operator between Banach spaces is weak-to-weak continuous, hence maps weakly compact sets to weakly compact sets. Consequently, every bounded operator on $$\|T\|_{\mathrm{we}}:=\inf\{\|T-W\|:W\in\mathcal{W}(E,F)\}.$$3 is weakly compact, and

$$\|T\|_{\mathrm{we}}:=\inf\{\|T-W\|:W\in\mathcal{W}(E,F)\}.$$4

(Isralowitz, 2013).

This makes the weak essential norm trivial throughout the generalized Fock-space framework of the paper. The authors therefore do not treat weak compactness separately; all compactness and essential norm results are formulated in the norm-compactness framework, which suffices for operator approximation and spectral considerations on these reflexive spaces (Isralowitz, 2013). A plausible implication is that, in reflexive reproducing-kernel spaces of this kind, weak essential norm is not the appropriate scale for measuring behavior at infinity.

3. Why the usual essential norm replaces the weak essential norm in Fock analysis

Because $$\|T\|_{\mathrm{we}}:=\inf\{\|T-W\|:W\in\mathcal{W}(E,F)\}.$$5 vanishes identically on $$\|T\|_{\mathrm{we}}:=\inf\{\|T-W\|:W\in\mathcal{W}(E,F)\}.$$6, the nontrivial asymptotic size of an operator is encoded by the usual essential norm $$\|T\|_{\mathrm{we}}:=\inf\{\|T-W\|:W\in\mathcal{W}(E,F)\}.$$7. The paper develops a detailed machinery for this quantity using reproducing kernels, localization, and Berezin transforms (Isralowitz, 2013).

The reproducing kernel $$\|T\|_{\mathrm{we}}:=\inf\{\|T-W\|:W\in\mathcal{W}(E,F)\}.$$8 satisfies the off-diagonal estimate

$$\|T\|_{\mathrm{we}}:=\inf\{\|T-W\|:W\in\mathcal{W}(E,F)\}.$$9

and the diagonal normalization

$F^p_\varphi$0

With normalized kernels $F^p_\varphi$1, one has weak convergence $F^p_\varphi$2 as $F^p_\varphi$3 for $F^p_\varphi$4 (Isralowitz, 2013). These facts support the paper’s compactness and essential norm criteria.

For sufficiently localized operators $F^p_\varphi$5, the main compactness criterion states that there exists $F^p_\varphi$6 such that

$F^p_\varphi$7

The same holds for $F^p_\varphi$8 in the $F^p_\varphi$9-operator norm closure of $1<p<\infty$0 (Isralowitz, 2013). This condition is explicitly stated to be strictly weaker than the reproducing kernel thesis $1<p<\infty$1.

The essential norm is estimated globally by

$1<p<\infty$2

and, for operators in the $1<p<\infty$3-operator norm closure of $1<p<\infty$4, locally by

$1<p<\infty$5

Thus, after weak essential norm collapses to zero, localized windows at infinity become the effective replacement (Isralowitz, 2013).

Under a uniformly bounded family of weighted translations $1<p<\infty$6, the Berezin transform

$1<p<\infty$7

becomes equivalent to the localized kernel-matrix condition: $1<p<\infty$8 In the same translation-based regime,

$1<p<\infty$9

These formulas explain why the paper’s analytical effort is concentrated on ordinary essential norm rather than weak essential norm (Isralowitz, 2013).

4. Nontrivial weak essential norm for multiplication operators on Köthe spaces

Kiwerski–Tomaszewski study multiplication operators $T:E\to F$0, $T:E\to F$1, between Köthe spaces over a $T:E\to F$2-finite measure space $T:E\to F$3. The multiplier space is

$T:E\to F$4

with norm

$T:E\to F$5

(Kiwerski et al., 2022). In this framework, the weak essential norm can remain nonzero and is closely tied to the order-continuous part $T:E\to F$6 of the multiplier space.

In the non-atomic function-space setting, under the assumptions that $T:E\to F$7 have the Fatou property, $T:E\to F$8 is $T:E\to F$9-disjointly homogeneous, and every simple function in $$\|T\|_{\mathrm{e}}:=\inf\{\|T-K\|:K\in\mathcal{K}(E,F)\},$$0 has absolutely continuous norm, the weak essential norm is given by

$$\|T\|_{\mathrm{e}}:=\inf\{\|T-K\|:K\in\mathcal{K}(E,F)\},$$1

where

$$\|T\|_{\mathrm{e}}:=\inf\{\|T-K\|:K\in\mathcal{K}(E,F)\},$$2

and $$\|T\|_{\mathrm{e}}:=\inf\{\|T-K\|:K\in\mathcal{K}(E,F)\},$$3 is a countable partition of $$\|T\|_{\mathrm{e}}:=\inf\{\|T-K\|:K\in\mathcal{K}(E,F)\},$$4 into finite-measure pieces (Kiwerski et al., 2022). Moreover,

$$\|T\|_{\mathrm{e}}:=\inf\{\|T-K\|:K\in\mathcal{K}(E,F)\},$$5

The same paper frames weak essential norm as a distance-to-ideal formula: $$\|T\|_{\mathrm{e}}:=\inf\{\|T-K\|:K\in\mathcal{K}(E,F)\},$$6 in the non-atomic case under the same hypotheses (Kiwerski et al., 2022). This identifies weak compactness not as a geometric property of the operator in isolation, but as order continuity of its symbol inside the multiplier space. In rearrangement-invariant spaces, the corresponding formula becomes

$$\|T\|_{\mathrm{e}}:=\inf\{\|T-K\|:K\in\mathcal{K}(E,F)\},$$7

where $$\|T\|_{\mathrm{e}}:=\inf\{\|T-K\|:K\in\mathcal{K}(E,F)\},$$8 denotes the decreasing rearrangement (Kiwerski et al., 2022).

This contrast with the Fock-space situation is fundamental. In Köthe spaces, weak essential norm detects a genuine residual part of the multiplier after subtracting weakly compact operators; in generalized Fock spaces with $$\|T\|_{\mathrm{e}}:=\inf\{\|T-K\|:K\in\mathcal{K}(E,F)\},$$9, there is no such residual because every bounded operator is already weakly compact.

5. Atomic tails, sequence spaces, and analytic-function examples

In the purely atomic setting of Köthe sequence spaces, the paper gives a tail formula for the essential norm: $$\|T\|_{\mathrm{we}}:=\inf\{\|T-W\|:W\in\mathcal{W}(E,F)\},$$0 Under the hypotheses stated there, $$\|T\|_{\mathrm{we}}:=\inf\{\|T-W\|:W\in\mathcal{W}(E,F)\},$$1 is compact if and only if $$\|T\|_{\mathrm{we}}:=\inf\{\|T-W\|:W\in\mathcal{W}(E,F)\},$$2 (Kiwerski et al., 2022). In the algebraic case $$\|T\|_{\mathrm{we}}:=\inf\{\|T-W\|:W\in\mathcal{W}(E,F)\},$$3 with $$\|T\|_{\mathrm{we}}:=\inf\{\|T-W\|:W\in\mathcal{W}(E,F)\},$$4, this reduces to

$$\|T\|_{\mathrm{we}}:=\inf\{\|T-W\|:W\in\mathcal{W}(E,F)\},$$5

The non-algebraic setting produces different multiplier spaces and hence different asymptotic formulas. For $$\|T\|_{\mathrm{we}}:=\inf\{\|T-W\|:W\in\mathcal{W}(E,F)\},$$6 with $$\|T\|_{\mathrm{we}}:=\inf\{\|T-W\|:W\in\mathcal{W}(E,F)\},$$7,

$$\|T\|_{\mathrm{we}}:=\inf\{\|T-W\|:W\in\mathcal{W}(E,F)\},$$8

and compactness holds if and only if $$\|T\|_{\mathrm{we}}:=\inf\{\|T-W\|:W\in\mathcal{W}(E,F)\},$$9 (Kiwerski et al., 2022). For Nakano sequence spaces, with $\mathcal{K}(E,F)$0,

$\mathcal{K}(E,F)$1

and

$\mathcal{K}(E,F)$2

(Kiwerski et al., 2022).

The same tail principle extends to analytic-function settings treated in that paper. For Fourier multipliers $\mathcal{K}(E,F)$3,

$\mathcal{K}(E,F)$4

and compactness is equivalent to $\mathcal{K}(E,F)$5 (Kiwerski et al., 2022). The paper explicitly clarifies that these are Fourier multipliers on Taylor coefficients, not pointwise multipliers by bounded analytic symbols.

These examples do not provide separate weak essential norm formulas for the atomic case in the same explicit tail form as in the non-atomic case, but they show the broader organizing principle: asymptotic decay of the symbol, measured in the correct multiplier norm, determines compactness and essential norm. This suggests that weak essential norm becomes informative precisely when weak compactness is stricter than boundedness.

6. Conceptual consequences, misconceptions, and open directions

A common misconception is that weak essential norm is always a meaningful refinement of essential norm. The two papers show that this is false. In generalized weighted Fock spaces $\mathcal{K}(E,F)$6 with $\mathcal{K}(E,F)$7, the weak essential norm is identically zero for every bounded operator, so it contains no discriminating information at all (Isralowitz, 2013). In that context, Berezin transforms, localized kernel coefficients, and windowed tail estimates govern the meaningful asymptotics.

A second misconception is that vanishing Berezin transform universally characterizes compactness. In the generalized Fock setting, the paper proves equivalence between Berezin-transform vanishing and a localized matrix-coefficient condition only under the existence of a uniformly bounded family of weighted translations $\mathcal{K}(E,F)$8. It explicitly lists as an open problem whether $\mathcal{K}(E,F)$9 implies compactness for operators beyond $\mathcal{W}(E,F)$0 without assuming such translations (Isralowitz, 2013). Another open question asks whether the converse of Proposition 1.5 is true, namely whether the localized equivalence forces the existence of $\mathcal{W}(E,F)$1.

Further open problems in the Fock-space paper concern sharpening the estimate

$\mathcal{W}(E,F)$2

by taking $\mathcal{W}(E,F)$3, extending heat-transform approximation from classical to generalized Fock spaces, and clarifying whether the $\mathcal{W}(E,F)$4-closure of $\mathcal{W}(E,F)$5 agrees with plausible Toeplitz algebras (Isralowitz, 2013). These are all framed at the level of ordinary essential norm, not weak essential norm, precisely because weak compactness is automatic there.

In the Köthe-space setting, the limitations take a different form. The paper highlights removing separability and reflexivity hypotheses from its main essential-norm theorems, understanding decomposition across atomic and non-atomic parts, and studying approximation numbers of multipliers as open directions (Kiwerski et al., 2022). Here the weak essential norm remains a live invariant because weak compactness is nontrivial and is characterized by order continuity of the multiplier symbol.

Taken together, these results isolate the weak essential norm as a highly context-dependent quantity. In reflexive generalized Fock spaces it degenerates to zero, and the asymptotic theory passes to ordinary essential norm. In Köthe multiplier theory it becomes a computable distance to the order-continuous core of the multiplier space, accessible by truncation and rearrangement formulas.