---
title: Weighted Composition Operators
url: https://www.emergentmind.com/topics/weighted-composition-operators
type: topic
---

# Weighted Composition Operators

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 [1111.5642][1706.07133].

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 [1706.07133][1708.05934]. 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
$$
[1708.05934].

### 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$ [1708.05934][2208.02147].
- On Fock spaces, compactness holds if the weighted pointwise growth vanishes at infinity [1704.03752].
- 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 [2207.09006][1902.10324].

## 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$ [1111.5642].
- 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$ [2502.18301].
- 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 [1211.4190][1706.07133]:
- 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 [2207.09006].

## 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 [1809.04829][2106.00427].
- Unbounded weighted composition operators are characterized by algebraic relations between symbol and weight [1804.00414].

### 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 [2512.15409].
- 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 [2112.08323][2207.09006][1902.10324].

## 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 [1204.1954].

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 [1111.5642].
- 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 [1802.01828][1708.05934].
- Extension of invertibility, Fredholmness, and spectral radius results to multidimensional domains or high-rank RKHS [1211.4190][1205.2156][2502.18301].
- Deep connections with time-frequency analysis, pseudo-differential theory, and functional models for signal processing [2512.15409][1204.1954].

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.

Source: https://www.emergentmind.com/topics/weighted-composition-operators