Weighted Composition Operators

• Weighted composition operators are defined as Wψ,φ: f → ψ·(f∘φ), generalizing multiplication and composition operators in analytic function spaces.
• Their boundedness, compactness, and spectral features are determined by the analytic and geometric properties of the symbol φ and the weight ψ.
• These operators have practical applications in Hardy, Bergman, Fock, and modulation spaces, impacting studies on invertibility, symmetry, and operator norm estimates.

A weighted composition operator is an operator of the form $$W_{\psi, \phi}: f \mapsto \psi \cdot (f \circ \phi)$$, acting on function spaces, most frequently spaces of analytic or holomorphic functions. $\phi$ is a symbol map (often analytic or holomorphic), and $\psi$ is a weight (usually also analytic). The properties of $W_{\psi, \phi}$—boundedness, invertibility, symmetry, spectral structure, isometry—vary significantly depending on the function space, the analytic and geometric structure of $\phi$, and the behavior of $\psi$.

1. Fundamental Definitions and Operator Structure

Weighted composition operators generalize both multiplication and composition operators:

• Multiplication operator: $M_\psi f = \psi f$.
• Composition operator: $C_\phi f = f \circ \phi$.

The operator $W_{\psi, \phi}$ is defined by $W_{\psi, \phi}(f)(z) = \psi(z) f(\phi(z))$ with domain typically determined by the target function space, weighted norms, and continuity/invertibility properties (Garcia et al., 2011, Arévalo et al., 2017).

Weighted composition operators may be bounded, compact, invertible, symmetric (complex symmetric, hermitian), co-isometric, or unitary, and these properties depend fundamentally on the ambient Banach/Hilbert function space, as well as the analytic nature of the maps $\phi$ and $\psi$.

2. Boundedness, Compactness, and Operator Norms

General Boundedness Criteria

Boundedness of $W_{\psi, \phi}$ on classical spaces is typically characterized by norm estimates involving the reproducing kernels, weighted norms, and Berezin-type transforms (Arévalo et al., 2017, Park, 2017). For a reproducing kernel Hilbert space (RKHS) $\mathcal{H}$ with kernel $K_z$, one obtains:

$$\|W_{\psi, \phi}\| = \sup_{z} |\psi(z)| \frac{\|K_{\phi(z)}\|}{\|K_z\|}.$$

In the case of weighted Hardy and Bergman spaces:

• Hardy: $\|K_z\| = (1 - |z|^2)^{-1/p}$,
• Bergman: $\|K_z\| = (1 - |z|^2)^{-(\alpha+2)/p}$, yielding norm formulas in terms of $|\psi(z)|$ and the distortion under $\phi$.

On large weighted Bergman spaces with exponential type weights, the Berezin transform and Carleson-measure conditions yield necessary and sufficient boundedness conditions:

$$B_\phi(|\psi|^2)(z) = \int_D |k_z(\phi(w))|^2 |\psi(w)|^2 \omega(w)dA(w),\quad \sup_z B_\phi(|\psi|^2)(z) < \infty$$

(Park, 2017).

Compactness

Compactness is generally characterized by boundary or "vanishing at infinity" conditions:

• For Hardy/Bergman/Bloch spaces, compactness follows if the "norm" or Berezin transform tends to zero as $|z| \to 1$ (Park, 2017, Allen, 2022).
• On Fock spaces, compactness holds if the weighted pointwise growth vanishes at infinity (Tien et al., 2017).
• In discrete/Banach settings over graphs or trees, compactness is equivalent to certain suprema of the weight/functions tending to zero along fibers or spheres at infinity (Allen et al., 2022, Hosokawa, 2019).

3. Symmetry, Isometry, and Spectral Properties

Complex Symmetric Operators

A linear operator $T$ on a complex Hilbert space is complex symmetric if there exists a conjugation $J$ (a conjugate-linear isometric involution) such that $T = J T^* J$.

The classification of complex symmetric weighted composition operators on Hardy spaces $H^2(\beta_\kappa)$ is complete for the standard conjugation $Jf(z) = \overline{f(\bar z)}$:

• $W_{\psi, \phi}$ is $J$-symmetric if and only if

$$\psi(z) = b(1 - a_0 z)^{-\kappa},\quad \phi(z) = a_0 + \frac{a_1 z}{1 - a_0 z}$$

with $a_0, a_1, b$ so that $\phi(D) \subset D$ (Garcia et al., 2011).

• Normality and self-adjointness are described by algebraic constraints on $a_0$, $a_1$, $b$.
• Infinitely many non-normal complex-symmetric weighted composition operators exist.

Table: Forms of Complex Symmetric Operators on $H^2(\beta_\kappa)$

Operator Type	Symbol $\phi(z)$	Weight $\psi(z)$
$J$-symmetric	$a_0 + \frac{a_1 z}{1-a_0 z}$	$b(1-a_0 z)^{-\kappa}$
Normal	as above, algebraic constraint on $a_0,a_1,b$	as above
Hermitian (self-adjoint)	$a_0,a_1 \in \mathbb R$	$b \in \mathbb R$

Isometric and Unitary Operators

In RKHS on unit balls, Drury–Arveson, Hardy, Bergman, and weighted Dirichlet spaces:

• Unitary/Co-isometric $W_{\psi,\phi}$ are completely classified:
  • $\phi$ must be an automorphism of the ball (linear isometry or more generally an involutive automorphism $\varphi_a$),
  • $$\psi(z) = \mu (1-\langle z, a\rangle)^{-\gamma}(1-\|a\|^2)^{\gamma/2}$$ for $\gamma > 0$ (Hartz et al., 25 Feb 2025).
• For non $\mathcal{H}_\gamma$ kernels, the only possible unitary weighted composition operators are those corresponding to coordinate unitary transformations and unimodular constants ("trivial group").

4. Invertibility and Fredholmness

Invertibility of $W_{\psi, \phi}$ on Banach spaces of analytic functions is highly rigid (Bourdon, 2012, Arévalo et al., 2017):

• Necessary and sufficient conditions:
  • $\phi \in \operatorname{Aut}(D)$ (automorphism group of the domain),
  • $\psi$ is nowhere vanishing,
  • Both $\psi$ and $\psi^{-1} \circ \phi^{-1}$ are multipliers of the space.
• The inverse is given by:

$$W_{\psi, \phi}^{-1} = W_{1/(\psi \circ \phi^{-1}), \phi^{-1}}$$

• These results extend to other automorphism-invariant spaces such as weighted Hardy, Bergman, Dirichlet, and $S^p$ spaces.

Fredholm criteria in discrete settings involve control of fibers of the symbol map, zeros of the weight, and preimage counts (Allen et al., 2022).

5. Special Function Spaces and Dynamical Perspectives

Fock Space Phenomena

In Fock space, $F^2(\mathbb{C})$:

• All bounded composition operators are affine,
• All cohyponormal weighted composition operators are normal,
• Closed range implies unitarity,
• Norm formulas and spectral radii are explicit in terms of affine parameter $a$ and exponential weights (Fatehi, 2018, Chalendar et al., 2021).
• Unbounded weighted composition operators are characterized by algebraic relations between symbol and weight (Hai, 2018).

Modulation and Time-Frequency Spaces

On weighted modulation and ultra-modulation spaces (tempered and ultradistributions), composition operators act as zero-order Fourier integral/pseudodifferential operators:

• Boundedness is governed by derivative bounds and sublinear growth of the symbol (Ariza et al., 17 Dec 2025).
• Growth condition $|\phi(x)| = O(|x|^b)$, $b<1$, is sharp for continuity in ultra-modulation classes.

Tree and Discrete Structures

In discrete Banach and Hardy-type spaces on trees and metric graphs, weighted composition operators are analyzed in terms of vertex sphere growth, weight functions, and symbol preimages:

• Sharp characterizations for boundedness, compactness, isometries, and Fredholmness are available in terms of suprema and limsup/liminf over weighted returns and fibers (Muthukumar et al., 2021, Allen et al., 2022, Hosokawa, 2019).

6. Identification, Algebraic Characterizations, and Test Functions

Weighted composition operators form an operator algebra, and their identification can be achieved using two test functions whose spans are characterized via zero-free functions and schlicht (univalent, normalized) functions (Gibson et al., 2012).

Main geometric result: A pair $\{f,g\}$ of analytic functions identifies $W_{\psi,\phi}$ among all weighted composition operators if and only if $$\operatorname{span}\{f,g\} = \operatorname{span}\{h\sigma,h\}$$ for zero-free $h$ and schlicht $\sigma$.

7. Open Problems and Future Directions

Several open problems remain:

• Classification of complex symmetric composition operators in spaces beyond involutive and dilation cases (Garcia et al., 2011).
• Spectral theory of non-normal complex symmetric weighted composition operators.
• Weighted composition operators on non-convex subordinate classes and in Banach/Hilbert spaces with nonclassical weights (Muthukumar et al., 2018, Park, 2017).
• Extension of invertibility, Fredholmness, and spectral radius results to multidimensional domains or high-rank RKHS (Bourdon, 2012, Kitover, 2012, Hartz et al., 25 Feb 2025).
• Deep connections with time-frequency analysis, pseudo-differential theory, and functional models for signal processing (Ariza et al., 17 Dec 2025, Gibson et al., 2012).

Weighted composition operators encode a rich interplay between function theory, operator theory, and geometry of the underlying domain, with sharp structural theorems, symmetry classifications, and spectral characterizations available across a spectrum of analytic, discrete, and modulation spaces.