Estimates for spherical harmonics Citation for published version (APA): van Berkel, C. A. M., & Eijndhoven, van, S. J. L. (1989). Estimates for spherical harmonics. (RANA : reports on applied and numerical analysis; Vol. 8920). Eindhoven: Technische Universiteit Eindhoven. Document status and date: Published: 01/01/1989 Document Version: Publisher’s PDF, also known as Version of Record (includes final page, issue and volume numbers) Please check the document version of this publication: • A submitted manuscript is the version of the article upon submission and before peer-review. There can be important differences between the submitted version and the official published version of record. People interested in the research are advised to contact the author for the final version of the publication, or visit the DOI to the publisher's website. • The final author version and the galley proof are versions of the publication after peer review. • The final published version features the final layout of the paper including the volume, issue and page numbers. Link to publication General rights Copyright and moral rights for the publications made accessible in the public portal are retained by the authors and/or other copyright owners and it is a condition of accessing publications that users recognise and abide by the legal requirements associated with these rights. • Users may download and print one copy of any publication from the public portal for the purpose of private study or research. • You may not further distribute the material or use it for any profit-making activity or commercial gain • You may freely distribute the URL identifying the publication in the public portal. If the publication is distributed under the terms of Article 25fa of the Dutch Copyright Act, indicated by the “Taverne” license above, please follow below link for the End User Agreement: www.tue.nl/taverne Take down policy If you believe that this document breaches copyright please contact us at: [email protected]providing details and we will investigate your claim. Download date: 27. Feb. 2020
14
Embed
Estimates for spherical harmonics · ESTIMATES FOR SPHERICAL HARMONICS by C.A.M. van Berkel and S.J.L. van Eijndhoven In this paper we present Loo-and Lrestimates for spherical harmonics
This document is posted to help you gain knowledge. Please leave a comment to let me know what you think about it! Share it to your friends and learn new things together.
Transcript
Estimates for spherical harmonics
Citation for published version (APA):van Berkel, C. A. M., & Eijndhoven, van, S. J. L. (1989). Estimates for spherical harmonics. (RANA : reports onapplied and numerical analysis; Vol. 8920). Eindhoven: Technische Universiteit Eindhoven.
Document status and date:Published: 01/01/1989
Document Version:Publisher’s PDF, also known as Version of Record (includes final page, issue and volume numbers)
Please check the document version of this publication:
• A submitted manuscript is the version of the article upon submission and before peer-review. There can beimportant differences between the submitted version and the official published version of record. Peopleinterested in the research are advised to contact the author for the final version of the publication, or visit theDOI to the publisher's website.• The final author version and the galley proof are versions of the publication after peer review.• The final published version features the final layout of the paper including the volume, issue and pagenumbers.Link to publication
General rightsCopyright and moral rights for the publications made accessible in the public portal are retained by the authors and/or other copyright ownersand it is a condition of accessing publications that users recognise and abide by the legal requirements associated with these rights.
• Users may download and print one copy of any publication from the public portal for the purpose of private study or research. • You may not further distribute the material or use it for any profit-making activity or commercial gain • You may freely distribute the URL identifying the publication in the public portal.
If the publication is distributed under the terms of Article 25fa of the Dutch Copyright Act, indicated by the “Taverne” license above, pleasefollow below link for the End User Agreement:
www.tue.nl/taverne
Take down policyIf you believe that this document breaches copyright please contact us at:
Eindhoven University of Technology Department of Mathematics and Computing Science
RANA 89-20
September 1989
ESTIMATES FOR
SPHERICAL HARMONICS
by C.A.M. van Berkel
and
S.J.L. van Eijndhoven
Repons on Applied and Numerical Analysis
Department of Mathematics and Computing Science
Eindhoven University of Technology
P.O. Box 513
5600 MB Eindhoven
The Netherlands
Summary
ESTIMATES FOR SPHERICAL HARMONICS by
C.A.M. van Berkel and
S.J.L. van Eijndhoven
In this paper we present Loo- and Lrestimates for spherical harmonics in which partial differentiation operators and multiplication operators are involved. Our results are compared with classical results of Stein, Seeley and Calderon and Zygmund.
The present discussion starts with the space IRq. q ~ 3, provided with the Euclidean inner
product X· Y = Xl Y 1 + ... + Xq Yq. By cfl-l we denote the surface measure on the unit sphere Sq-l in IRq, normalized by the relation
dx = r q - l dr dcfl- l (co) (i)
where dx = dxl ... dxq • So we have
coq := J dcfl-1 = 21tq12 r(q 12). S,-1
(ii)
Consider the Hilbert space LZ(Sq-l) of square integrable functions on Sq-I with the
natural inner product
(f.g>L2(Sf-I ):= J f(~) g(~) dcfl-l(~) ,f.g E LZ(Sq-I).
5q- 1
We introduce the following spaces of polynomials in q variables
pq : the linear space of all polynomials
(iii)
HZt : the linear space of all m-homogeneous hannonic polynomials (iv)
yZt : the linear space of all restrictions of polynomials in HZt to Sq-l .
All spaces can be endowed with the Lz(sq-l)-inner product. The vector spaces HZt and
yZt are finite dimensional each with dimension d1,. given by
dZt = (2m+q-2)(m+q-3)! . (q-2)! m!
And there is the orthogonal decomposition
... Lz(Sq-l):::: $ YZt·
m=O
In pq we introduce another inner product,
(PloPZ)pq :=Pl("V)P2(X) Ix=o, Pl,PZ E pq
where V represents the gradient vector [ a; 1 ••••• a:,],
(v)
(vi)
(vii)
For harmonic homogeneous polynomials this pq-inner product is related to the LZ(Sq-l)
inner product as follows. Let hI and h2 be harmonic homogeneous polynomials of degree
m and n respectively. Then
- 3 -
(viii)
(for a proof we refer to [Ma, Lemma 2.14 and Lemma 2.25] or [Be, Chapter 1 D· The Gegenbauer polynomials C~, m E iNo, A> -I, introduced in [MOS, p. 218 ff.] obey
the orthogonality relations
Now for mE iNo and q~ 3 we set
P'/n = m! (q - 3)! C7j2-1. (q+m-3)!
Then P'/n(l) = 1 and according to (ix)
I 00 f P'/n(t) P%(t) (l-t2 )t(q-3) dt = q ~lIm. -I ooq_1 d'/n
It is a well-known result, cf. [Mil, Lemma 7, p.14]. that for all I E Y'/n and S E Sq-l
dq
I(s) = ~ J P'/n(s' 00)/(00) doll-I (00). ooq sq-I
(ix)
(x)
(xi)
(xii)
dq
So (S. 00) f-7 ..-!'!... P'/n(s' 00) is the reproducing kernel of the Hilbert space Y'/n and for any ooq
orthonormal basis {e'ln,j : 1:::;; j:::;; d'ln} of Y'ln we have
(xiii)
Using the reproducing kernel property of the P'In we obtain for all h E H'In and; E Sq-l
[dq ]\i [dqj\i
I he;) I :::;; 00: P'/n(s- S) IIhIlL2(SQ-I) = ~ IIhIlL2(Sq-l) , (xiv)
In this paper we present various Loo- and Lz-estimates for spherical harmonics. We conclude the introduction with some notations concerning multi-indices and partial derivatives. By 10k we denote the multi-index with components eJ =~kj, k,j E {l, ... , q},
and 10 = (1, ... , 1). Furthermore, for all k E IN 0, X E IR q, and for all multi-indices
a, ~ E IN6
I al = al + ... + aq
a+k~= (al+k~), ... ,aq+k~q)
as: ~ :~ al s: ~1>"" aqs: ~q
(a)p = (al)!lJ· ... • (aq)p,
-4-
here (. ) j denotes the Pochhammer symbol, which is defined by
Now induction arguments yield the first part of the lemma. FurthelIDore, with the aid of the above fOlIDula and the relation z rez) = rez + 1) we obtain
Let p be an m-homogeneous polynomial and let a E IN6 be a multi-index. Then
(m+l)lal IIx o. pllt2(sQ-l):::; (}2 IIpllt2(sQ-l).
m+2 q)lal
Proof.
The proof is by induction to the length of a E INg. Obviously equality holds for a. = O.
Suppose the estimates are valid for all multi-indices a E INg with length I a 1 ::;; n for some n 2 O. Let P E INg be a multi-index with length 1131 = n + 1. Then there exists j E {l, ... , q} such that Pj 2 1. Since p is an m-homogeneous polynomial, x 2$-ei) Ip 12 is a 2(m +n)-homogeneous polynomiaL Therefore, x2(J3-ei) Ip 12 is a linear combination of monomialsxY with Iyl =2(m+n):
= J [(m-l)'V(r)-r¥(r)]rq-1dr J rolP(ro)dcfl-1(ro) o ~~
and the result follows.
- 7 -
Corollary S. Let f and g be homogeneous polynomials of degree m and n. Then for each k E {I, ... , q}
Proof.
Putting p = f· Ii in Lemma 4, we are done. o
Note that the above relation is a special case of the integral formula established in [Ma, Theorem 1.16]. However, our proof is based on simpler arguments.
As a consequence of Lemma 6 and Theorem 3 we get immediately
Corollary 7.
Leth E Ht and letk E {I, ... , q}. Then
ndkhIl1,(S4-'):S; m(2m +q - 2) Ilhlll,(S4-1).
(]
(]
We recall that for each multi-index a E IN'!" the operator da maps Ht onto Ht-Ial. Now we arrive at the main theorem of this paper covering Loo(Sq-l) - and L 2(Sq-l) - estimates for partial derivatives of spherical harmonics.
- 8 -
Theorem 8.
(i) Let 0. E INZ. Then for all h E HZt
lIaahlit SO-I :s;; m!(2m+q-2)!! IIhllt2(so-I).
2( ) (m-lo.l)! (2m+q-2-210.1)!!
(ii) Let 0. E INZ. Then for all h E HZt and ~ E Sq-l
The first part of the theorem follows from Corollary 7 and a simple induction argument. The second part is a direct consequence of the inequality (xiv) presented in the introduction and the first part of this theorem. 11
We now give another, very elegant proof of Theorem 8(i) wltt!rt! the correspondence (viii) between the pq -inner product and the L 2(Sq-l )-inner product is utilized.
Second proof of Theorem 8(i).
Let 0. E INZ with 10.1 :s;; m. Since hE HZt, h can be written as
hex) = L b(~) xj} 1j}I=m
and so
(aa h) (x) = L (~-o.+£)a b(~)xlMx. 1j}I=m
From relation (viii) it follows that
n-q/2 2m-
1 r(m +t q) (h,hk2(sO-I) = (h,h)pq = L ~! I b(~) 12. 1j}I=m
The polynomial aa h belongs to HZt-lal and so, applying (viii) once more and using (xviii) thereafter, we estimate
Using Stirling's fonnula we obtain from Theorem 8(ii) the following asymptotic fonnula.
Corollary 9. For each multi-index a E IN6 there exists a constant Cq•1al > 0 such that for all hE H;k and ~ E Sq-l
[]
Although the result of Corollary 9 is known (cf. [CZ, fonnula (4)] or [Se, Theorem 4b]) our proofs are more concise and based on elementary techniques.
3. Comparison with corresponding results.
Stein has proved the following pointwise estimate, cf. [St, p.276].
For any multi-index a E IN6 there exists a constant Cq,a such that for all hE H;k and for all ~ E Sq-l
(xx)
From Corollary 9 we see that instead of mtq+1al , in Stein's estimate, we can take
mtq-l+lal. This improvement by a factor m has consequences for the continuity and com
pactness of the differential operators aa on certain function spaces of hannonic functions (cf. [Li2, Theorem 7]). Liu and Martens proved in [LM, Theorem 4] the following result.
Let k E {l, ... , q}, let~ E Sq-l and let hE H;k. Then
I (d. h)(l;) I ~ m [ ~ ] " IlhIlL,~ .. ). (xxi)
We shall show that this estimate is best possible. According to the estimate of Theorem 8(ii), we get
I (ak h) (~) I ::; [ 2m +q -4] ~ . m [ d;k] 'h IIhIlL2(Sq-l).
m+q-3 ffiq (xxii)
So the estimate (xxi), settled by Liu and Martens, is about a factor 12 sharper than ours. In their proof they explore the Gegenbauer polynomials. Using an orthonormal basis {4,1 : 1::; j::; d'ln} in H'In they write
Take k = I and ~ = el = (1,0, ... ,0). We define ho E H7n by
Then
~----ho = L (a l e7n,j) (el) e7n,j'
j=l
I (a, ho) (e,)1 =m [ roo] "llhOIIL,(s'-»'
(xxiii)
(xxiv)
(xxv)
(xxvi)
(xxvii)
So their estimate is best possible. This answers a question raised in LLM]. We note that in [LM] no estimates for I (d<X h) (~) I with I al > 1 are given. In fact, their techniques are not appropriate for deriving these estimates. Finally we present another method, based on the reproducing kernel of Y7n-l, to obtain supremum norm estimates for the partial derivatives dlch. Let h E H7n and let k E {I, ... , q}. Using the reproducing kernel of Y7n-l, the orthogonality relations of spherical harmonics, Corollary 5 and the Cauchy-Schwarz inequality we get for all ~ E Sq-l,
(xxviii)
If we take ~ = elc and substitute ill = telc + ;}1-t2 11 in the integral, a tedious calculation of the integral yields
[ dq ]14
I (dlc h) (ek) I ~ B7n 00: IIhIl L2(S'-') ' with (xxix)
Since B'ln > m, an exact calculation of the integral on the right hand side of (xxviii) will
yield an inequality which is less accurate than the inequality (xxi) of Liu and Martens.
Hence equality in (xxviii) will never be attained. This leads to the following observation. In his thesis [Lil, p.104], Liu proves that the function ro 1-7 rokh(ro), defined on the
sphere Sq-I , extends to a hannonic polynomial in the space H'ln-l 6) H'ln+l' i.e. there exist
polynomials Pm-l E H'ln-l and Pm+l E H'ln+l such that
Pm-l (ro) + Pm+l (ro) = rok hero) • ro E sq-l. (xxxi)
Since equality in (xxviii) will not occur it follows that neither Pm-l nor Pm+l is identically equal to zero.
- 12-
References
[Be] Berkel, C.A.M. van, Gel'fand-Shilov's function spaces of type S for several independent variables. EUT -Report, to appear.
fCZ] Calderon, A.P. and A. Zygmund, Singular integral operators and differential equations, Amer. J. Math., 79 (1957) 901-921.
lLi1] Liu. G.-Z., Evolution equations and scales of Banach spaces, thesis, June '89, Eindhoven.
[Li2] Liu, G.-Z., Hilbert spaces of harmonic functions in which differentiation operators are continuous or compact, RANA 89-09, June 1989.
lLM] Liu, G.-Z. and F.lL. Martens, Improvement of an estimate of spherical harmonics, RANA 89-10, June 1989.
[Ma] Martens, F.lL., Function spaces of harmonic and analytic functions in infinitely many variables, EUT-Report, 87-Wsk-02.
[MOS] Magnus, W., F. Oberhettinger and R.P. Soni, Formulas and theorems for mathematical physics, Springer, Berlin, 1966.