Explicit families of functions on the sphere with exactly known Sobolev space smoothness

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in Buch/BerichtForschungBegutachtung

Abstract

We analyze explicit trial functions defined on the unit sphere Sd in the Euclidean space ℝd+1, d ≥ 1, that are integrable in the Lp-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 Hs(Sd) up to a specified index Ns determined by the parameters of the function.Considered are zonal functions g(x) = h(x · p), where p is some fixed pole on Sd. The function h(t) is of the type [max(t, T)]α or a variation of a truncated power function x (mapping) (x)α + C (which assumes 0 if x ≤ 0 and is the power xα if x > 0) that reduces to [max(t - T,0)]α, [max(t2 - T2, 0)]α, and [max(T2 - t2, 0)]α 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, α) 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.

Originalspracheenglisch
TitelContemporary Computational Mathematics - A Celebration of the 80th Birthday of Ian Sloan
Herausgeber (Verlag)Springer International Publishing AG
Seiten153-177
Seitenumfang25
ISBN (elektronisch)9783319724560
ISBN (Print)9783319724553
DOIs
PublikationsstatusVeröffentlicht - 23 Mai 2018

Fingerprint

Sobolev Spaces
Smoothness
Explicit Formula
Antipode
Fourier Expansion
Power Function
G-function
Coefficient
Unit Sphere
Family
Laplace
Critical Exponents
Pole
Euclidean space
Inclusion
Arbitrary
Term
Theorem

ASJC Scopus subject areas

  • !!Mathematics(all)

Fields of Expertise

  • Information, Communication & Computing

Treatment code (Nähere Zuordnung)

  • Basic - Fundamental (Grundlagenforschung)

Dies zitieren

Brauchart, J. S. (2018). Explicit families of functions on the sphere with exactly known Sobolev space smoothness. in Contemporary Computational Mathematics - A Celebration of the 80th Birthday of Ian Sloan (S. 153-177). Springer International Publishing AG . https://doi.org/10.1007/978-3-319-72456-0_9

Explicit families of functions on the sphere with exactly known Sobolev space smoothness. / Brauchart, Johann S.

Contemporary Computational Mathematics - A Celebration of the 80th Birthday of Ian Sloan. Springer International Publishing AG , 2018. S. 153-177.

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in Buch/BerichtForschungBegutachtung

Brauchart, JS 2018, Explicit families of functions on the sphere with exactly known Sobolev space smoothness. in Contemporary Computational Mathematics - A Celebration of the 80th Birthday of Ian Sloan. Springer International Publishing AG , S. 153-177. https://doi.org/10.1007/978-3-319-72456-0_9
Brauchart JS. Explicit families of functions on the sphere with exactly known Sobolev space smoothness. in Contemporary Computational Mathematics - A Celebration of the 80th Birthday of Ian Sloan. Springer International Publishing AG . 2018. S. 153-177 https://doi.org/10.1007/978-3-319-72456-0_9
Brauchart, Johann S. / Explicit families of functions on the sphere with exactly known Sobolev space smoothness. Contemporary Computational Mathematics - A Celebration of the 80th Birthday of Ian Sloan. Springer International Publishing AG , 2018. S. 153-177
@inbook{3f3f0c2c177c430c8c518f661f7f842d,
title = "Explicit families of functions on the sphere with exactly known Sobolev space smoothness",
abstract = "We analyze explicit trial functions defined on the unit sphere Sd in the Euclidean space ℝd+1, d ≥ 1, that are integrable in the Lp-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 Hs(Sd) up to a specified index Ns determined by the parameters of the function.Considered are zonal functions g(x) = h(x · p), where p is some fixed pole on Sd. The function h(t) is of the type [max(t, T)]α or a variation of a truncated power function x (mapping) (x)α + C (which assumes 0 if x ≤ 0 and is the power xα if x > 0) that reduces to [max(t - T,0)]α, [max(t2 - T2, 0)]α, and [max(T2 - t2, 0)]α 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, α) 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.",
author = "Brauchart, {Johann S.}",
year = "2018",
month = "5",
day = "23",
doi = "10.1007/978-3-319-72456-0_9",
language = "English",
isbn = "9783319724553",
pages = "153--177",
booktitle = "Contemporary Computational Mathematics - A Celebration of the 80th Birthday of Ian Sloan",
publisher = "Springer International Publishing AG",
address = "Switzerland",

}

TY - CHAP

T1 - Explicit families of functions on the sphere with exactly known Sobolev space smoothness

AU - Brauchart, Johann S.

PY - 2018/5/23

Y1 - 2018/5/23

N2 - We analyze explicit trial functions defined on the unit sphere Sd in the Euclidean space ℝd+1, d ≥ 1, that are integrable in the Lp-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 Hs(Sd) up to a specified index Ns determined by the parameters of the function.Considered are zonal functions g(x) = h(x · p), where p is some fixed pole on Sd. The function h(t) is of the type [max(t, T)]α or a variation of a truncated power function x (mapping) (x)α + C (which assumes 0 if x ≤ 0 and is the power xα if x > 0) that reduces to [max(t - T,0)]α, [max(t2 - T2, 0)]α, and [max(T2 - t2, 0)]α 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, α) 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.

AB - We analyze explicit trial functions defined on the unit sphere Sd in the Euclidean space ℝd+1, d ≥ 1, that are integrable in the Lp-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 Hs(Sd) up to a specified index Ns determined by the parameters of the function.Considered are zonal functions g(x) = h(x · p), where p is some fixed pole on Sd. The function h(t) is of the type [max(t, T)]α or a variation of a truncated power function x (mapping) (x)α + C (which assumes 0 if x ≤ 0 and is the power xα if x > 0) that reduces to [max(t - T,0)]α, [max(t2 - T2, 0)]α, and [max(T2 - t2, 0)]α 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, α) 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.

UR - http://www.scopus.com/inward/record.url?scp=85053959204&partnerID=8YFLogxK

U2 - 10.1007/978-3-319-72456-0_9

DO - 10.1007/978-3-319-72456-0_9

M3 - Chapter

SN - 9783319724553

SP - 153

EP - 177

BT - Contemporary Computational Mathematics - A Celebration of the 80th Birthday of Ian Sloan

PB - Springer International Publishing AG

ER -