[Paper Review] Polyharmonic Hardy Spaces on the Klein-Dirac Quadric with Application to Polyharmonic Interpolation and Cubature Formulas

Ognyan Kounchev, Hermann Render|arXiv (Cornell University)|May 29, 2012

Advanced Harmonic Analysis Research51 references3 citations

TL;DR

This paper introduces polyharmonic Hardy spaces on the Klein-Dirac quadric, a novel framework for analyzing polyharmonic functions via r-analytic continuation. It establishes error estimates for polyharmonic interpolation and interpolatory cubature formulas in the ball in ℝᵈ by leveraging Laplace-Fourier series and weighted integrals, yielding a remainder bound proportional to (1−b)⁻⁽ᴺ⁺²⁾ with explicit dependence on function norms in Hardy-type spaces.

ABSTRACT

In the present paper we introduce a new concept of Hardy type space naturally defined on the Klein-Dirac quadric. We study different properties of the functions belonging to these spaces, in particular boundary value problems. We apply these new spaces to polyharmonic interpolation and to interpolatory cubature formulas.

Motivation & Objective

• To develop a new class of Hardy-type spaces adapted to the Klein-Dirac quadric for multivariate polyharmonic functions.
• To provide a rigorous error analysis for polyharmonic interpolation and cubature formulas in the ball ℝᵈ.
• To extend the applicability of analytic continuation techniques to symmetric domains like balls, annuli, and strips in ℝᵈ.
• To establish a connection between r-analytic continuation and classical Hardy spaces in several complex variables, while maintaining distinct constructions on non-convex domains.
• To derive quantitative error bounds for cubature formulas based on Laplace-Fourier coefficients and interpolation nodes.

Proposed method

• Define polyharmonic Hardy spaces using r-analytic continuation of solutions to Δᴺu = 0 on the Klein-Dirac quadric.
• Represent functions on the ball via Laplace-Fourier series: f(rθ) = Σₖ,ℓ fₖ,ℓ(r)Yₖ,ₗ(θ), with fₖ,ℓ(r) = ∫_{𝕊ᵈ⁻¹} f(rθ)Ȳₖ,ₗ(θ)dθ.
• Construct polyharmonic interpolatory cubature formulas Cₙ(f) = Σₖ,ℓ Σⱼ λₖ,ₗ;ⱼ fₖ,ₗ(tₖ,ₗ;ⱼ) using interpolatory quadrature on radial coefficients.
• Establish error remainder E(f) = ∫_{B} f(x)dμ(x) − Cₙ(f) via integral representation involving Cauchy-type kernels and ωₖ,ₗ(r²).
• Derive the key estimate |E(f)| ≤ Cₙ/(1−b)ᴺ⁺² × (L_Γ/2π) × Σₖ,ₗ ||fₖ,ₗ||_{H²(ℬ)} ∫₀¹ rᵏ dμₖ,ₗ(r), where b < 1 and f ∈ H²(ℬ).
• Use the structure of the measure dμₖ,ₗ(r) = rᵏ dμ(r) and the orthonormal basis {Yₖ,ₗ} to ensure convergence and stability of the cubature rule.

Experimental results

Research questions

• RQ1 How can Hardy-type spaces be generalized to the Klein-Dirac quadric to support multivariate polyharmonic approximation?
• RQ2 What is the role of r-analytic continuation in extending function classes beyond real-analytic functions in symmetric domains?
• RQ3 Can error estimates for polyharmonic interpolation and cubature be derived using Laplace-Fourier coefficients and weighted integrals?
• RQ4 How does the proposed framework differ from classical Hardy spaces in ℂᵈ for non-convex or non-convex-like domains?
• RQ5 What is the dependence of the cubature error on the parameter b < 1 and the order N of the interpolation?

Key findings

• The paper introduces a new class of polyharmonic Hardy spaces on the Klein-Dirac quadric, defined via r-analytic continuation, which generalizes classical Hardy spaces to elliptic PDE solutions.
• The error of the polyharmonic cubature formula Cₙ(f) is bounded by |E(f)| ≤ Cₙ/(1−b)ᴺ⁺² × (L_Γ/2π) × Σₖ,ₗ ||fₖ,ₗ||_{H²(ℬ)} ∫₀¹ rᵏ dμₖ,ₗ(r), where b < 1 and f ∈ H²(ℬ).
• The bound exhibits inverse dependence on (1−b)ᴺ⁺², indicating exponential convergence as b → 1, for functions with sufficient analyticity in the complexified domain.
• The construction is invariant under rotation and respects the spherical harmonic decomposition, enabling efficient computation via radial and angular separation.
• The method applies to domains such as balls, annuli, and strips, with non-trivial behavior on the annulus not derivable from standard ℂᵈ holomorphic function theory.
• The framework provides a non-trivial counterpart to classical Hardy spaces, particularly in symmetric domains where standard complex analytic methods fail.