Explicit Families of Functions on the Sphere with Exactly Known Sobolev Space Smoothness

Johann S. Brauchart ()
Additional contact information
Johann S. Brauchart: Graz University of Technology, Institute of Analysis and Number Theory

A chapter in Contemporary Computational Mathematics - A Celebration of the 80th Birthday of Ian Sloan, 2018, pp 153-177 from Springer

Abstract: Abstract We analyze explicit trial functions defined on the unit sphere 𝕊 d $${\mathbb {S}}^d$$ in the Euclidean space ℝ d + 1 $${\mathbb {R}}^{d+1}$$ , d ≥ 1, that are integrable in the 𝕃 p $${\mathbb {L}}_p$$ -sense, p ∈ [1, ∞). These functions depend on two free parameters: one determines the support and one, a critical exponent, controls the behavior near the boundary of the support. Three noteworthy features are: (1) they are simple to implement and capture typical behavior of functions in applications, (2) their integrals with respect to the uniform measure on the sphere are given by explicit formulas and, thus, their numerical values can be computed to arbitrary precision, and (3) their smoothness can be defined a priori, that is to say, they belong to Sobolev spaces ℍ s ( 𝕊 d ) $${\mathbb {H}}^s({\mathbb {S}}^d)$$ up to a specified index s ̄ $$\bar {s}$$ determined by the parameters of the function. Considered are zonal functions g(x) = h(x ⋅p), where p is some fixed pole on 𝕊 d $${\mathbb {S}}^d$$ . The function h(t) is of the type [ max { t , T } ] α $$[ \max \{t,T\} ]^\alpha $$ or a variation of a truncated power function x ↦ ( x ) + α $$x \mapsto (x)_+^\alpha $$ (which assumes 0 if x ≤ 0 and is the power xα if x > 0) that reduces to [ max { t − T , 0 } ] α $$[ \max \{t-T,0\} ]^\alpha $$ , [ max { t 2 − T 2 , 0 } ] α $$[ \max \{t^2-T^2,0\} ]^{\alpha }$$ , and [ max { T 2 − t 2 , 0 } ] α $$[ \max \{T^2-t^2,0\} ]^{\alpha }$$ if α > 0. These types of trial functions have as support the whole sphere, a spherical cap centered at p, a bi-cap centered at the antipodes p, −p, or an equatorial belt. We give inclusion theorems that identify the critical smoothness s ̄ = s ̄ ( T , α ) $$\bar {s} = \bar {s}(T,\alpha )$$ and explicit formulas for the integral over the sphere. We obtain explicit formulas for the coefficients in the Laplace-Fourier expansion of these trial functions and provide the leading order term in the asymptotics for large index of the coefficients.

Date: 2018
References: Add references at CitEc
Citations:

There are no downloads for this item, see the EconPapers FAQ for hints about obtaining it.

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:spr:sprchp:978-3-319-72456-0_9

Ordering information: This item can be ordered from
http://www.springer.com/9783319724560

DOI: 10.1007/978-3-319-72456-0_9

Access Statistics for this chapter

More chapters in Springer Books from Springer
Bibliographic data for series maintained by Sonal Shukla () and Springer Nature Abstracting and Indexing ().