Esta es una forma de obtener una representación como serie. Funciona en una situación más general. Sea M et N sean variedades riemannianas cerradas y lisas. Denotemos por {φi}∞i=1 , {ψj}∞i=j las funciones propias con valores propios λi et μj para los operadores de Laplace en M et N respectivamente. Sea L2 las normas de las funciones propias sean iguales a uno para que las funciones delta puedan expandirse como δM(x−x′)=∞∑i=1φi(x)φi(x′), δN(y−y′)=∞∑i=1ψi(y)ψi(y′). Entonces la función de Green para M viene dada por la serie GM(x,x′)=∞∑i=1φi(x)φi(x′)λi y análogamente para N . La función de Green para M×N es GM×N(x,y,x′,y′)=∞∑i,j=1φi(x)φi(x′)ψj(y)ψj(y′)λi+μj desde Δx,yGM×N(x,y,x′,y′)=∞∑i,j=1φi(x)φi(x′)ψj(y)ψj(y′)= δM(x−x′)δN(y−y′)=δM×N(x−x′,y−y′). Así que hay que combinar las funciones propias en lugar de las propias funciones de Green.
Para su caso φi son cosenos (hasta una constante) y ψj son armónicos esféricos. La posibilidad de obtener una forma cerrada para esta serie me parece bastante escasa.
1 votos
¿Es posible hacer lo siguiente: un elemento en S1×S2 puede escribirse (x1,x2,x3,x4,x5) con x21+x22=1 , x23+x24+x25=1 . Incrustar en R5 a través del mapa de identidad, digamos φ . Entonces sólo hay que componer con la función de Green en R5 , es decir, tomar G(φ(x),φ(x′)) . Me parece un enfoque bastante ingenuo y no estoy seguro de mí mismo.
0 votos
¿A qué se refiere con la construcción? ¿Serviría una representación como una serie poco manejable o una integral?
0 votos
Sí, eso sería suficiente