on the limit of the finite representation of harmonics












4












$begingroup$


Let $Y_n^j, , -nleq j leq n$ be a spherical harmonic. Let $f$ be an even function on the sphere. Then, $f$ can be introduced as
$$
f=sum_{j=-n}^Ahat f(j)Y_n^j,
$$

where $sum_{j=-n}^A|a_j|>0$ and $A$ is the largest integer in $[-n, n]$ such that $hat f(A)neq 0$.



Now, consider spherical polynomial (finite combination of spherical harmonics). We can just take degree of the function $f$, say $f^2$
$$
f^2=sum_{j=-n}^Ahat f(j)^2(Y_n^j)^2+2sum_{-nleq j<lleq A}hat f(j)hat f(l)Y_n^jY_n^l
$$

Question: spherical polynomial is the finite combination of spherical harmonics. Can one take limit there?










share|cite|improve this question











$endgroup$












  • $begingroup$
    There is something unclear about your question: if $f$ itself is a finite linear combination of spherical harmonics, then that finite linear combination converges pointwise very well, and, of course, we can square both sides of the equality and rearrange. What limit do you mean to ask about? More general functions $f$? Then, yes, there will be non-trivial convergence issues, and non-trivial questions about squaring such an expansion. Can you clarify?
    $endgroup$
    – paul garrett
    Jan 19 at 20:05










  • $begingroup$
    @Paul Garrett: yes, I would like to consider more general function f, where f is any even function on the sphere. thank you.
    $endgroup$
    – user124297
    Jan 20 at 15:19










  • $begingroup$
    @Paul Garrett: there are two questions here. The main one-yes, I would like to consider any even function f on the sphere. Another question is whether there is a representation of giving f through infinite combination of spherical harmonics. Thank you.
    $endgroup$
    – user124297
    Jan 20 at 15:21
















4












$begingroup$


Let $Y_n^j, , -nleq j leq n$ be a spherical harmonic. Let $f$ be an even function on the sphere. Then, $f$ can be introduced as
$$
f=sum_{j=-n}^Ahat f(j)Y_n^j,
$$

where $sum_{j=-n}^A|a_j|>0$ and $A$ is the largest integer in $[-n, n]$ such that $hat f(A)neq 0$.



Now, consider spherical polynomial (finite combination of spherical harmonics). We can just take degree of the function $f$, say $f^2$
$$
f^2=sum_{j=-n}^Ahat f(j)^2(Y_n^j)^2+2sum_{-nleq j<lleq A}hat f(j)hat f(l)Y_n^jY_n^l
$$

Question: spherical polynomial is the finite combination of spherical harmonics. Can one take limit there?










share|cite|improve this question











$endgroup$












  • $begingroup$
    There is something unclear about your question: if $f$ itself is a finite linear combination of spherical harmonics, then that finite linear combination converges pointwise very well, and, of course, we can square both sides of the equality and rearrange. What limit do you mean to ask about? More general functions $f$? Then, yes, there will be non-trivial convergence issues, and non-trivial questions about squaring such an expansion. Can you clarify?
    $endgroup$
    – paul garrett
    Jan 19 at 20:05










  • $begingroup$
    @Paul Garrett: yes, I would like to consider more general function f, where f is any even function on the sphere. thank you.
    $endgroup$
    – user124297
    Jan 20 at 15:19










  • $begingroup$
    @Paul Garrett: there are two questions here. The main one-yes, I would like to consider any even function f on the sphere. Another question is whether there is a representation of giving f through infinite combination of spherical harmonics. Thank you.
    $endgroup$
    – user124297
    Jan 20 at 15:21














4












4








4





$begingroup$


Let $Y_n^j, , -nleq j leq n$ be a spherical harmonic. Let $f$ be an even function on the sphere. Then, $f$ can be introduced as
$$
f=sum_{j=-n}^Ahat f(j)Y_n^j,
$$

where $sum_{j=-n}^A|a_j|>0$ and $A$ is the largest integer in $[-n, n]$ such that $hat f(A)neq 0$.



Now, consider spherical polynomial (finite combination of spherical harmonics). We can just take degree of the function $f$, say $f^2$
$$
f^2=sum_{j=-n}^Ahat f(j)^2(Y_n^j)^2+2sum_{-nleq j<lleq A}hat f(j)hat f(l)Y_n^jY_n^l
$$

Question: spherical polynomial is the finite combination of spherical harmonics. Can one take limit there?










share|cite|improve this question











$endgroup$




Let $Y_n^j, , -nleq j leq n$ be a spherical harmonic. Let $f$ be an even function on the sphere. Then, $f$ can be introduced as
$$
f=sum_{j=-n}^Ahat f(j)Y_n^j,
$$

where $sum_{j=-n}^A|a_j|>0$ and $A$ is the largest integer in $[-n, n]$ such that $hat f(A)neq 0$.



Now, consider spherical polynomial (finite combination of spherical harmonics). We can just take degree of the function $f$, say $f^2$
$$
f^2=sum_{j=-n}^Ahat f(j)^2(Y_n^j)^2+2sum_{-nleq j<lleq A}hat f(j)hat f(l)Y_n^jY_n^l
$$

Question: spherical polynomial is the finite combination of spherical harmonics. Can one take limit there?







taylor-expansion harmonic-analysis spherical-geometry spherical-harmonics






share|cite|improve this question















share|cite|improve this question













share|cite|improve this question




share|cite|improve this question








edited Jan 19 at 19:50







user124297

















asked Jan 16 at 14:39









user124297user124297

569




569












  • $begingroup$
    There is something unclear about your question: if $f$ itself is a finite linear combination of spherical harmonics, then that finite linear combination converges pointwise very well, and, of course, we can square both sides of the equality and rearrange. What limit do you mean to ask about? More general functions $f$? Then, yes, there will be non-trivial convergence issues, and non-trivial questions about squaring such an expansion. Can you clarify?
    $endgroup$
    – paul garrett
    Jan 19 at 20:05










  • $begingroup$
    @Paul Garrett: yes, I would like to consider more general function f, where f is any even function on the sphere. thank you.
    $endgroup$
    – user124297
    Jan 20 at 15:19










  • $begingroup$
    @Paul Garrett: there are two questions here. The main one-yes, I would like to consider any even function f on the sphere. Another question is whether there is a representation of giving f through infinite combination of spherical harmonics. Thank you.
    $endgroup$
    – user124297
    Jan 20 at 15:21


















  • $begingroup$
    There is something unclear about your question: if $f$ itself is a finite linear combination of spherical harmonics, then that finite linear combination converges pointwise very well, and, of course, we can square both sides of the equality and rearrange. What limit do you mean to ask about? More general functions $f$? Then, yes, there will be non-trivial convergence issues, and non-trivial questions about squaring such an expansion. Can you clarify?
    $endgroup$
    – paul garrett
    Jan 19 at 20:05










  • $begingroup$
    @Paul Garrett: yes, I would like to consider more general function f, where f is any even function on the sphere. thank you.
    $endgroup$
    – user124297
    Jan 20 at 15:19










  • $begingroup$
    @Paul Garrett: there are two questions here. The main one-yes, I would like to consider any even function f on the sphere. Another question is whether there is a representation of giving f through infinite combination of spherical harmonics. Thank you.
    $endgroup$
    – user124297
    Jan 20 at 15:21
















$begingroup$
There is something unclear about your question: if $f$ itself is a finite linear combination of spherical harmonics, then that finite linear combination converges pointwise very well, and, of course, we can square both sides of the equality and rearrange. What limit do you mean to ask about? More general functions $f$? Then, yes, there will be non-trivial convergence issues, and non-trivial questions about squaring such an expansion. Can you clarify?
$endgroup$
– paul garrett
Jan 19 at 20:05




$begingroup$
There is something unclear about your question: if $f$ itself is a finite linear combination of spherical harmonics, then that finite linear combination converges pointwise very well, and, of course, we can square both sides of the equality and rearrange. What limit do you mean to ask about? More general functions $f$? Then, yes, there will be non-trivial convergence issues, and non-trivial questions about squaring such an expansion. Can you clarify?
$endgroup$
– paul garrett
Jan 19 at 20:05












$begingroup$
@Paul Garrett: yes, I would like to consider more general function f, where f is any even function on the sphere. thank you.
$endgroup$
– user124297
Jan 20 at 15:19




$begingroup$
@Paul Garrett: yes, I would like to consider more general function f, where f is any even function on the sphere. thank you.
$endgroup$
– user124297
Jan 20 at 15:19












$begingroup$
@Paul Garrett: there are two questions here. The main one-yes, I would like to consider any even function f on the sphere. Another question is whether there is a representation of giving f through infinite combination of spherical harmonics. Thank you.
$endgroup$
– user124297
Jan 20 at 15:21




$begingroup$
@Paul Garrett: there are two questions here. The main one-yes, I would like to consider any even function f on the sphere. Another question is whether there is a representation of giving f through infinite combination of spherical harmonics. Thank you.
$endgroup$
– user124297
Jan 20 at 15:21










1 Answer
1






active

oldest

votes


















0





+50







$begingroup$

Yes, as you anticipate, although the spirit of "every function can be representated as an infinite sum of spherical harmonics", there are problems with convergence, as well as problems with the meaning of multiplication of two infinite sums of functions. These issues already arise (famously) on the one-sphere and the theory of Fourier series.



As a clear simple case: if the function $f$ is smooth, then the infinite sum of spherical harmonics converges pointwise uniformly to it, can be differentiated termwise, and all derivatives' infinite series expansions converge uniformly pointwise as well. And then it is immediate that the series can be squared and express $f^2$.



Similarly, if $f$ is merely sufficiently differentiable, its infinite expression in spherical harmonics converges (absolutely) uniformly pointwise, and can be squared as you indicated.



Details about how much differentiability, of various sorts, suffices are more complicated.



EDIT: For references for rigorous treatment: Stein and Weiss' old book "Introduction Fourier Analysis on Euclidean Spaces" has a chapter that covers many set-up issues about rigorous treatment of spherical harmonics, including things like estimate of sup norms in terms of $L^2$ norms. Also, Wikipedia's page on "spherical harmonics" does include several remarks about convergence arguments. My own course notes from introductory modular forms courses (at http://www.math.umn.edu/~garrett/m/mfms/) include some essays that treat the $L^2$ Sobolev theory, in the context of Weyl's criterion for equidistribution on spheres: http://www.math.umn.edu/~garrett/m/mfms/notes_2014-15/09_spheres.pdf



One basic assertion about convergence via Sobolev theory is the following. For a test function $f$ on the sphere, and non-negative integer $k$, $|f|^2_k=langle (1-Delta)^k f,frangle$ is the $k$th Sobolev norm (squared). Let $H^k$ be the completion of test functions with respect to that norm. Then a basic (not-so-trivial) theorem is that for $k>n/2$ the space $H^k$ lies inside the space of continuous functions, and the convergence of the finite partial sums of the spherical harmonic expansion converge uniformly pointwise to the function.






share|cite|improve this answer











$endgroup$













  • $begingroup$
    Thank you, Paul. May I ask you to elaborate. At least, some literature and where to start from. I am not familiar with the subject. Thank you.
    $endgroup$
    – user124297
    Jan 21 at 12:20












Your Answer





StackExchange.ifUsing("editor", function () {
return StackExchange.using("mathjaxEditing", function () {
StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix) {
StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
});
});
}, "mathjax-editing");

StackExchange.ready(function() {
var channelOptions = {
tags: "".split(" "),
id: "69"
};
initTagRenderer("".split(" "), "".split(" "), channelOptions);

StackExchange.using("externalEditor", function() {
// Have to fire editor after snippets, if snippets enabled
if (StackExchange.settings.snippets.snippetsEnabled) {
StackExchange.using("snippets", function() {
createEditor();
});
}
else {
createEditor();
}
});

function createEditor() {
StackExchange.prepareEditor({
heartbeatType: 'answer',
autoActivateHeartbeat: false,
convertImagesToLinks: true,
noModals: true,
showLowRepImageUploadWarning: true,
reputationToPostImages: 10,
bindNavPrevention: true,
postfix: "",
imageUploader: {
brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
allowUrls: true
},
noCode: true, onDemand: true,
discardSelector: ".discard-answer"
,immediatelyShowMarkdownHelp:true
});


}
});














draft saved

draft discarded


















StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3075812%2fon-the-limit-of-the-finite-representation-of-harmonics%23new-answer', 'question_page');
}
);

Post as a guest















Required, but never shown

























1 Answer
1






active

oldest

votes








1 Answer
1






active

oldest

votes









active

oldest

votes






active

oldest

votes









0





+50







$begingroup$

Yes, as you anticipate, although the spirit of "every function can be representated as an infinite sum of spherical harmonics", there are problems with convergence, as well as problems with the meaning of multiplication of two infinite sums of functions. These issues already arise (famously) on the one-sphere and the theory of Fourier series.



As a clear simple case: if the function $f$ is smooth, then the infinite sum of spherical harmonics converges pointwise uniformly to it, can be differentiated termwise, and all derivatives' infinite series expansions converge uniformly pointwise as well. And then it is immediate that the series can be squared and express $f^2$.



Similarly, if $f$ is merely sufficiently differentiable, its infinite expression in spherical harmonics converges (absolutely) uniformly pointwise, and can be squared as you indicated.



Details about how much differentiability, of various sorts, suffices are more complicated.



EDIT: For references for rigorous treatment: Stein and Weiss' old book "Introduction Fourier Analysis on Euclidean Spaces" has a chapter that covers many set-up issues about rigorous treatment of spherical harmonics, including things like estimate of sup norms in terms of $L^2$ norms. Also, Wikipedia's page on "spherical harmonics" does include several remarks about convergence arguments. My own course notes from introductory modular forms courses (at http://www.math.umn.edu/~garrett/m/mfms/) include some essays that treat the $L^2$ Sobolev theory, in the context of Weyl's criterion for equidistribution on spheres: http://www.math.umn.edu/~garrett/m/mfms/notes_2014-15/09_spheres.pdf



One basic assertion about convergence via Sobolev theory is the following. For a test function $f$ on the sphere, and non-negative integer $k$, $|f|^2_k=langle (1-Delta)^k f,frangle$ is the $k$th Sobolev norm (squared). Let $H^k$ be the completion of test functions with respect to that norm. Then a basic (not-so-trivial) theorem is that for $k>n/2$ the space $H^k$ lies inside the space of continuous functions, and the convergence of the finite partial sums of the spherical harmonic expansion converge uniformly pointwise to the function.






share|cite|improve this answer











$endgroup$













  • $begingroup$
    Thank you, Paul. May I ask you to elaborate. At least, some literature and where to start from. I am not familiar with the subject. Thank you.
    $endgroup$
    – user124297
    Jan 21 at 12:20
















0





+50







$begingroup$

Yes, as you anticipate, although the spirit of "every function can be representated as an infinite sum of spherical harmonics", there are problems with convergence, as well as problems with the meaning of multiplication of two infinite sums of functions. These issues already arise (famously) on the one-sphere and the theory of Fourier series.



As a clear simple case: if the function $f$ is smooth, then the infinite sum of spherical harmonics converges pointwise uniformly to it, can be differentiated termwise, and all derivatives' infinite series expansions converge uniformly pointwise as well. And then it is immediate that the series can be squared and express $f^2$.



Similarly, if $f$ is merely sufficiently differentiable, its infinite expression in spherical harmonics converges (absolutely) uniformly pointwise, and can be squared as you indicated.



Details about how much differentiability, of various sorts, suffices are more complicated.



EDIT: For references for rigorous treatment: Stein and Weiss' old book "Introduction Fourier Analysis on Euclidean Spaces" has a chapter that covers many set-up issues about rigorous treatment of spherical harmonics, including things like estimate of sup norms in terms of $L^2$ norms. Also, Wikipedia's page on "spherical harmonics" does include several remarks about convergence arguments. My own course notes from introductory modular forms courses (at http://www.math.umn.edu/~garrett/m/mfms/) include some essays that treat the $L^2$ Sobolev theory, in the context of Weyl's criterion for equidistribution on spheres: http://www.math.umn.edu/~garrett/m/mfms/notes_2014-15/09_spheres.pdf



One basic assertion about convergence via Sobolev theory is the following. For a test function $f$ on the sphere, and non-negative integer $k$, $|f|^2_k=langle (1-Delta)^k f,frangle$ is the $k$th Sobolev norm (squared). Let $H^k$ be the completion of test functions with respect to that norm. Then a basic (not-so-trivial) theorem is that for $k>n/2$ the space $H^k$ lies inside the space of continuous functions, and the convergence of the finite partial sums of the spherical harmonic expansion converge uniformly pointwise to the function.






share|cite|improve this answer











$endgroup$













  • $begingroup$
    Thank you, Paul. May I ask you to elaborate. At least, some literature and where to start from. I am not familiar with the subject. Thank you.
    $endgroup$
    – user124297
    Jan 21 at 12:20














0





+50







0





+50



0




+50



$begingroup$

Yes, as you anticipate, although the spirit of "every function can be representated as an infinite sum of spherical harmonics", there are problems with convergence, as well as problems with the meaning of multiplication of two infinite sums of functions. These issues already arise (famously) on the one-sphere and the theory of Fourier series.



As a clear simple case: if the function $f$ is smooth, then the infinite sum of spherical harmonics converges pointwise uniformly to it, can be differentiated termwise, and all derivatives' infinite series expansions converge uniformly pointwise as well. And then it is immediate that the series can be squared and express $f^2$.



Similarly, if $f$ is merely sufficiently differentiable, its infinite expression in spherical harmonics converges (absolutely) uniformly pointwise, and can be squared as you indicated.



Details about how much differentiability, of various sorts, suffices are more complicated.



EDIT: For references for rigorous treatment: Stein and Weiss' old book "Introduction Fourier Analysis on Euclidean Spaces" has a chapter that covers many set-up issues about rigorous treatment of spherical harmonics, including things like estimate of sup norms in terms of $L^2$ norms. Also, Wikipedia's page on "spherical harmonics" does include several remarks about convergence arguments. My own course notes from introductory modular forms courses (at http://www.math.umn.edu/~garrett/m/mfms/) include some essays that treat the $L^2$ Sobolev theory, in the context of Weyl's criterion for equidistribution on spheres: http://www.math.umn.edu/~garrett/m/mfms/notes_2014-15/09_spheres.pdf



One basic assertion about convergence via Sobolev theory is the following. For a test function $f$ on the sphere, and non-negative integer $k$, $|f|^2_k=langle (1-Delta)^k f,frangle$ is the $k$th Sobolev norm (squared). Let $H^k$ be the completion of test functions with respect to that norm. Then a basic (not-so-trivial) theorem is that for $k>n/2$ the space $H^k$ lies inside the space of continuous functions, and the convergence of the finite partial sums of the spherical harmonic expansion converge uniformly pointwise to the function.






share|cite|improve this answer











$endgroup$



Yes, as you anticipate, although the spirit of "every function can be representated as an infinite sum of spherical harmonics", there are problems with convergence, as well as problems with the meaning of multiplication of two infinite sums of functions. These issues already arise (famously) on the one-sphere and the theory of Fourier series.



As a clear simple case: if the function $f$ is smooth, then the infinite sum of spherical harmonics converges pointwise uniformly to it, can be differentiated termwise, and all derivatives' infinite series expansions converge uniformly pointwise as well. And then it is immediate that the series can be squared and express $f^2$.



Similarly, if $f$ is merely sufficiently differentiable, its infinite expression in spherical harmonics converges (absolutely) uniformly pointwise, and can be squared as you indicated.



Details about how much differentiability, of various sorts, suffices are more complicated.



EDIT: For references for rigorous treatment: Stein and Weiss' old book "Introduction Fourier Analysis on Euclidean Spaces" has a chapter that covers many set-up issues about rigorous treatment of spherical harmonics, including things like estimate of sup norms in terms of $L^2$ norms. Also, Wikipedia's page on "spherical harmonics" does include several remarks about convergence arguments. My own course notes from introductory modular forms courses (at http://www.math.umn.edu/~garrett/m/mfms/) include some essays that treat the $L^2$ Sobolev theory, in the context of Weyl's criterion for equidistribution on spheres: http://www.math.umn.edu/~garrett/m/mfms/notes_2014-15/09_spheres.pdf



One basic assertion about convergence via Sobolev theory is the following. For a test function $f$ on the sphere, and non-negative integer $k$, $|f|^2_k=langle (1-Delta)^k f,frangle$ is the $k$th Sobolev norm (squared). Let $H^k$ be the completion of test functions with respect to that norm. Then a basic (not-so-trivial) theorem is that for $k>n/2$ the space $H^k$ lies inside the space of continuous functions, and the convergence of the finite partial sums of the spherical harmonic expansion converge uniformly pointwise to the function.







share|cite|improve this answer














share|cite|improve this answer



share|cite|improve this answer








edited Jan 21 at 16:48

























answered Jan 20 at 15:56









paul garrettpaul garrett

32.1k362120




32.1k362120












  • $begingroup$
    Thank you, Paul. May I ask you to elaborate. At least, some literature and where to start from. I am not familiar with the subject. Thank you.
    $endgroup$
    – user124297
    Jan 21 at 12:20


















  • $begingroup$
    Thank you, Paul. May I ask you to elaborate. At least, some literature and where to start from. I am not familiar with the subject. Thank you.
    $endgroup$
    – user124297
    Jan 21 at 12:20
















$begingroup$
Thank you, Paul. May I ask you to elaborate. At least, some literature and where to start from. I am not familiar with the subject. Thank you.
$endgroup$
– user124297
Jan 21 at 12:20




$begingroup$
Thank you, Paul. May I ask you to elaborate. At least, some literature and where to start from. I am not familiar with the subject. Thank you.
$endgroup$
– user124297
Jan 21 at 12:20


















draft saved

draft discarded




















































Thanks for contributing an answer to Mathematics Stack Exchange!


  • Please be sure to answer the question. Provide details and share your research!

But avoid



  • Asking for help, clarification, or responding to other answers.

  • Making statements based on opinion; back them up with references or personal experience.


Use MathJax to format equations. MathJax reference.


To learn more, see our tips on writing great answers.




draft saved


draft discarded














StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3075812%2fon-the-limit-of-the-finite-representation-of-harmonics%23new-answer', 'question_page');
}
);

Post as a guest















Required, but never shown





















































Required, but never shown














Required, but never shown












Required, but never shown







Required, but never shown

































Required, but never shown














Required, but never shown












Required, but never shown







Required, but never shown







Popular posts from this blog

Human spaceflight

Can not write log (Is /dev/pts mounted?) - openpty in Ubuntu-on-Windows?

File:DeusFollowingSea.jpg