MathOverflow will be down for maintenance for approximately 3 hours, starting Monday evening (06/24/2013) at approximately 9:00 PM Eastern time (UTC-4).
5

3

Hello,

Does someone know an explicit basis of the space of harmonic homogeneous polynomial in N variables.

When $N=3$, if I'm not mistaking Legendre polynomial allow to write an explicit basis.

Is there a known explicit basis when $N > 3$ ?

Thanks for your answers, and reference in case you know one.

flag
I really want a basis for harmonic homogeneous polynomials, by harmonic I mean in the kernel of the euclidean laplacian. And, such a polynomial restrict to the sphere give a eigenvector for the spherical laplacian, right ? But, I don't get your "If the former, apply the laplacian on monomials to see what happens and why I think that you may not really want to know about harmonic homogeneous polynomials." Do you mean that such a basis will be awfully too complicated ? – Ludo Marquis Oct 20 2011 at 12:45
I think I misunderstood the question. My comment does not apply and I will delete it. Sorry. – José Figueroa-O'Farrill Oct 20 2011 at 15:55

2 Answers

5

Let $K$ denote the Kelvin transform, and let $|\alpha|:=\sum_{j=1}^n\alpha_j$ denote the weight of the multi-index $\alpha\in\mathbb{N}^n$. Then, an explicit base for the space of homogeneous harmonic polynomials in $n$ variables and degreee $m$, $\mathcal H^m:=\mathcal H^m[x_1,\dots ,x_n]$, is $$\big\{ K\big(\partial^\alpha\|x\|^{2-n}\big)\ :\ |\alpha|=m\ ,\ \alpha_n\leq 1 \big\}\ .$$ Indeed, an easy combinatorial computation shows it has the right cardinality $$\operatorname{card}\{\alpha\in\mathbb{N}^n \ :\ |\alpha|=m\ ,\ \alpha_n\leq 1 \}= {n+m-1\choose n-1} - {n+m-3\choose n-1} = \operatorname{dim}\mathcal H^m\ ,$$ (the latter dimension being already known from linear algebra considerations on the operator $\Delta$). On the other hand, one can verify that it spans the same linear space as the analogous set without the constraint on $\alpha_n$: $$\{ K\big(\partial^\alpha\|x\|^{2-n}\big)\ :\ |\alpha|=m\ \}\ ,$$ which is the whole space $\mathcal H^m$. So it is a base.

A nice (and free) reference for these classical facts is Harmonic Function Theory, by S.Axler, P.Bourdon, and W.Ramey; see thm 5.25.

link|flag
a further question is: what about permutation invariant basis? – Pietro Majer Oct 20 2011 at 19:16
Thanks this perfectly answers my question. For your "further question", is it possible to find such basis explicitely ? – Ludo Marquis Oct 27 2011 at 8:42
I'd like to know it... I've post it as a follow-up of your question: mathoverflow.net/questions/78694/… – Pietro Majer Oct 27 2011 at 10:04
-1

can anyone help me..

What is the minimun finite subset $X$ of $S^2$ such that for any harmonic polynomial of degree 4 we have $\displaystyle\sum_{x\in X}{f(x)}=0$?

link|flag
1 
If you want to ask a question, please use the "Ask Question" link near the top of the page. – S. Carnahan Mar 3 2012 at 22:40

Your Answer

Get an OpenID
or

Not the answer you're looking for? Browse other questions tagged or ask your own question.