A Rudin-Carleson theorem for multiply connected domains with interpolation

Basic Information

• Paper ID: 2501.00466
• Title: A Rudin-Carleson theorem for multiply connected domains with interpolation
• Authors: Benedikt Steinar Magnusson, Bergur Snorrason
• Classification: math.CV (Complex Analysis)
• Publication Date: December 31, 2024
• Paper Link: https://arxiv.org/abs/2501.00466

Abstract

Using an annular version of the F. and M. Riesz theorem, the authors prove a generalization of the Rudin-Carleson theorem on finitely connected bounded domains. Specifically, for continuous functions on closed sets of measure zero on the boundary, there exists a holomorphic function on the domain with continuous extension to the boundary. Furthermore, this can be achieved with interpolation at finitely many points within the domain. The proof relies on an annular version of the F. and M. Riesz theorem.

Research Background and Motivation

Problem Background

The classical Rudin-Carleson theorem is an important result in complex analysis, stating that continuous functions on closed subsets of the unit circle with arc length measure zero can be extended to holomorphic functions on the unit disk with continuous extension to the boundary. This theorem was independently proved by Carleson and Rudin in the 1950s.

Research Motivation

1. Theoretical Completeness: Existing Rudin-Carleson theorems primarily address the unit disk, lacking a systematic theoretical framework for multiply connected domains.
2. Practical Necessity: Multiply connected domains have widespread applications in complex analysis, partial differential equations, and mathematical physics, requiring corresponding extension theorems.
3. Technical Challenges: The topological complexity of multiply connected domains makes direct generalization of classical methods difficult.

Limitations of Existing Methods

• The classical Rudin-Carleson theorem applies only to simply connected domains (the unit disk)
• While Bishop's generalization is broader, it lacks direct constructive proofs in specific applications to multiply connected domains
• Versions with interpolation conditions are absent

Core Contributions

1. Main Theorem: Proves a generalization of the Rudin-Carleson theorem on k-connected domains (Theorem 1.1), allowing continuous functions on boundary arcs of arc length measure zero to extend to holomorphic functions.
2. Technical Tools: Establishes an annular version of the F. and M. Riesz theorem (Theorem 1.2), which is the key technical tool for proving the main result.
3. Interpolation Version: Provides a version with finitely many interpolation point conditions (Theorem 4.1), extending the practical utility of the theory.
4. Constructive Proof: Gives explicit construction methods, not only proving existence but also providing concrete steps for constructing the extension function.

Detailed Methodology

Core Theorem Statements

Theorem 1.1 (Main Result): Let Ω ⊂ ℂ be a k-connected domain, k > 1, whose boundary consists of k mutually disjoint Jordan curves, E ⊂ ∂Ω a closed set of arc length measure zero, and f: E → ℂ a continuous function. Let M: ∂Ω →]0,∞[ be a continuous function with |f| < M on E. Then there exists a continuous function F on Ω̄ that is holomorphic on Ω, satisfies F|_E = f, and |F| < M on ∂Ω.

Theorem 1.2 (Annular F. and M. Riesz Theorem): Let r₀ ∈]0,1[, A = {z ∈ ℂ; r₀ < |z| < 1}, and μ a complex measure on ∂A. If the Fourier coefficients of μ on the two boundary components satisfy μ̂⁰_j = -μ̂¹_j for all j ∈ ℤ, then every arc length measure zero subset of ∂A is a null set for μ.

Proof Strategy

Step One: Annular Domain Case

The authors first consider the annular domain A = {z ∈ ℂ; r₀ < |z| < 1}:

1. Measure Decomposition: Decompose the complex measure μ into two parts corresponding to the inner and outer boundaries
2. Fourier Analysis: Utilize the symmetry conditions on Fourier coefficients
3. Holomorphic Function Construction: Construct holomorphic functions through series, employing convergence analysis

Step Two: General Multiply Connected Domains

For general k-connected domains:

1. Domain Decomposition: Decompose the k-connected domain into multiple doubly connected domains D_{j,ℓ}
2. Riemann Mapping: Apply the doubly connected Riemann mapping theorem to map each doubly connected domain to an annulus
3. Function Construction: Construct auxiliary functions h_{j,ℓ} on each component satisfying specific boundary conditions
4. Global Assembly: Obtain the final extension function through weighted combination

Technical Innovations

1. Annular Riesz Theorem: First establishes an annular version of the F. and M. Riesz theorem, which is the key tool for handling multiply connected domains.
2. Decomposition-Reconstruction Technique: Cleverly decomposes the multiply connected domain problem into multiple doubly connected domain problems, then recombines through weight functions.
3. Boundary Condition Control: Through refined estimates, controls the behavior of component functions on different boundaries, ensuring the final function satisfies all constraints.

Experimental Setup

As a pure mathematics theoretical paper, this work contains no numerical experiments but rather verifies theoretical results through rigorous mathematical proof.

Proof Verification

• All theorems are accompanied by complete mathematical proofs
• Each step in the proof process includes detailed mathematical reasoning
• Relevant classical results are cited as theoretical foundations

Main Results

Theoretical Results

1. Completeness: Proves a complete generalization of the Rudin-Carleson theorem on multiply connected domains
2. Constructivity: Provides explicit construction methods, not merely existence proofs
3. Optimality: Results are optimal under the arc length measure zero condition

Technical Achievements

• Establishes the annular F. and M. Riesz theorem
• Develops function extension techniques on multiply connected domains
• Provides versions with interpolation conditions

Related Work

Historical Development

1. Classical Results: Rudin-Carleson theorem (1950s)
2. Abstract Generalizations: Bishop's theorem (1960s)
3. Modern Developments: Various refinements and generalizations

Contributions of This Work

• Fills gaps in multiply connected domain theory
• Provides constructive proof methods
• Establishes new technical tools (annular Riesz theorem)

Conclusions and Discussion

Main Conclusions

The paper successfully generalizes the classical Rudin-Carleson theorem to multiply connected domains and provides versions with interpolation conditions. This result is theoretically complete and technically innovative.

Theoretical Significance

1. Theory Completion: Fills important gaps in extension theory for multiply connected domains in complex analysis
2. Tool Value: The annular Riesz theorem may have applications in other related problems
3. Methodological Contribution: The decomposition-reconstruction proof strategy has general value

Limitations

1. Domain Restrictions: Requires boundaries composed of Jordan curves; may not apply to more general domains
2. Measure Conditions: The arc length measure zero condition is necessary but may be overly restrictive in some applications
3. Interpolation Version: Cannot maintain bound conditions in the interpolation version

Future Directions

1. More General Domains: Study similar results on domains with more irregular boundaries
2. Quantitative Versions: Investigate specific estimates and convergence rates of extension functions
3. Application Extensions: Apply results to partial differential equations and mathematical physics problems

In-Depth Evaluation

Strengths

1. Theoretical Importance: Resolves an important open problem in complex analysis
2. Technical Innovation: The annular Riesz theorem is a valuable new tool
3. Complete Proofs: All proofs are rigorous and complete
4. Constructivity: Provides explicit construction methods, not merely existence results

Weaknesses

1. Application Scope: As a pure theoretical result, direct applications may be limited
2. Technical Complexity: Handling multiply connected domains makes the technique quite involved
3. Generalization Difficulty: Extending to more general settings may face fundamental obstacles

Impact

1. Theoretical Contribution: Makes important contributions to complex analysis theory
2. Technical Value: The methods and tools provided may inspire related research
3. Completeness: Achieves considerable completeness in extension theory for multiply connected domains

Applicable Scenarios

1. Theoretical Research: Complex analysis and function theory research
2. Related Fields: Boundary value problems in partial differential equations and mathematical physics
3. Educational Value: Important theoretical result for advanced complex analysis courses

References

The paper cites important classical literature in the field, including:

• Bishop's generalization theorem
• Classical F. and M. Riesz theorem
• Related results on Riemann mapping theorem
• Standard textbooks in complex analysis

Summary: This is a high-quality pure mathematics theoretical paper that successfully resolves the important problem of generalizing the Rudin-Carleson theorem to multiply connected domains in complex analysis. The paper's technical innovations and theoretical contributions are significant, providing an important foundation for further research in related areas.