Logo
ScienceStack
Table of Contents
Fetching ...
Sign In

Boundary values via reproducing kernels: The Julia-Carathéodory theorem

Frej Dahlin

TL;DR

This work generalizes the Julia-Carathéodory theorem from the classical unit disk to arbitrary sets via reproducing kernels by introducing the reproductive boundary $\partial_k X$, approach regions $\Gamma_k$ and $E_k$, and the notion of composition factors $\mathrm{Fact}(k,t)$. The authors prove a broad main theorem giving equivalences among boundary behavior of kernel quotients, existence of boundary limits, and boundary-approach regularity for functions in the corresponding quotients $\mathcal{H}(\frac{k}{t\circ\varphi})$, with a boundary limit $E_k$-value $\lambda$, including norm estimates. The theory recovers Sarason’s Julia-Carathéodory results when $k$ is the Szegő kernel, and yields concrete corollaries for weighted Dirichlet spaces $\mathcal{D}_\alpha$ and weighted Besov spaces on the unit ball, including higher-dimensional and vector-valued multipliers. The paper also derives a Julia’s lemma in this abstract setting, discusses iterates and Denjoy–Wolff-type convergence, and provides numerous examples and questions that illuminate the scope and limitations of these abstractions. Overall, the framework blends kernel methods with boundary analysis to extend classical analytic boundary values to a broad class of function spaces and kernels, offering new tools for analysis and potential applications in several complex variables and operator theory.

Abstract

Given a reproducing kernel $k$ on a nonempty set $X$, we define the reproductive boundary of $X$ with respect to $k$. Furthermore, we generalize the well known nontangential and horocyclic approach regions of the unit circle to this new kind of boundary. We also introduce the concept of a composition factor of $k$, an abstract analogue of analytic selfmaps of the unit disk. Using these notions, we obtain a far reaching generalization of the Julia-Carathéodory theorem, stated on an arbitrary set. We also prove Julia's lemma in the abstract setting and give sufficient conditions for the convergence of iterates of some selfmaps. As an application we improve the classical theorem on the unit disk for contractive multipliers of standard weighted Dirichlet spaces, as well as Besov spaces on the unit ball. Many examples and questions are provided for these novel objects of study.

Boundary values via reproducing kernels: The Julia-Carathéodory theorem

TL;DR

This work generalizes the Julia-Carathéodory theorem from the classical unit disk to arbitrary sets via reproducing kernels by introducing the reproductive boundary , approach regions and , and the notion of composition factors . The authors prove a broad main theorem giving equivalences among boundary behavior of kernel quotients, existence of boundary limits, and boundary-approach regularity for functions in the corresponding quotients , with a boundary limit -value , including norm estimates. The theory recovers Sarason’s Julia-Carathéodory results when is the Szegő kernel, and yields concrete corollaries for weighted Dirichlet spaces and weighted Besov spaces on the unit ball, including higher-dimensional and vector-valued multipliers. The paper also derives a Julia’s lemma in this abstract setting, discusses iterates and Denjoy–Wolff-type convergence, and provides numerous examples and questions that illuminate the scope and limitations of these abstractions. Overall, the framework blends kernel methods with boundary analysis to extend classical analytic boundary values to a broad class of function spaces and kernels, offering new tools for analysis and potential applications in several complex variables and operator theory.

Abstract

Given a reproducing kernel on a nonempty set , we define the reproductive boundary of with respect to . Furthermore, we generalize the well known nontangential and horocyclic approach regions of the unit circle to this new kind of boundary. We also introduce the concept of a composition factor of , an abstract analogue of analytic selfmaps of the unit disk. Using these notions, we obtain a far reaching generalization of the Julia-Carathéodory theorem, stated on an arbitrary set. We also prove Julia's lemma in the abstract setting and give sufficient conditions for the convergence of iterates of some selfmaps. As an application we improve the classical theorem on the unit disk for contractive multipliers of standard weighted Dirichlet spaces, as well as Besov spaces on the unit ball. Many examples and questions are provided for these novel objects of study.

Paper Structure

This paper contains 13 sections, 18 theorems, 54 equations.

Table of Contents

  1. Introduction
  2. Preliminaries
  3. Reproducing kernels
  4. Composition factors
  5. Reproductive boundary
  6. Approach regions
  7. Examples
  8. Main theorem
  9. Applications
  10. Julia's lemma and iteration in the case where $t = k$
  11. Standard weighted Dirichlet spaces on the unit disk
  12. Standard weighted Besov spaces on the unit ball
  13. Questions

Key Result

Theorem 1

Given a point $\zeta\in\mathbb{T}$ and an analytic selfmap of the unit disk $\varphi:\mathbb{D}\to\mathbb{D}$, then the following are equivalent: Furthermore, if any of the above hold, then $c>0$ and $\varphi$ has horocyclic limit $\lambda$ at $\zeta$, which is the same in (ii) and (iii), in the sense that $\varphi(z_n)\to\lambda$ along any sequence $z_n\to\zeta$ constrained to a fixed set $E(M,\

Theorems & Definitions (57)

  • Theorem : Julia-Carathéodory
  • Theorem : Sarason
  • Corollary 2
  • Definition 1
  • Definition 2
  • Definition 3
  • Remark 1
  • Theorem : Schur's Product Theorem
  • Proposition 1
  • Proposition 2
  • ...and 47 more