Límites inferiores en la norma del gradiente de un producto escalar en una esfera nnn

Estoy trabajando con una integral que involucra términos de la forma ( X ω ) , dónde X , ω R norte , y ω es un punto en S norte 1 . Es decir

ω = ( ω 1 ( ϕ 0 , , ϕ norte 2 ) , , ω norte ( ϕ 0 , , ϕ norte 2 ) ) ,
dónde ϕ 0 [ 0 , 2 π ] y ϕ 1 , , ϕ norte 2 [ 0 , π ] son los habituales norte -coordenadas esféricas dimensionales (es decir, asumiendo r = 1 está arreglado). Así, por ejemplo, en R 3 en S 2 tenemos ω = ( porque θ pecado ϕ , pecado θ pecado ϕ , porque ϕ ) , mientras X = ( X , y , z ) , significado
X ω = X porque θ pecado ϕ + y pecado θ pecado ϕ + z porque ϕ .

En particular, he demostrado que ϕ ( X ω ) ϕ mi ( X ω ) = | ϕ ( X ω ) | 2 mi ( X ω ) de identidades de cálculo multivariable estándar, lo que me lleva a (con suerte) concluir la siguiente identidad:

mi ( X ω ) = ( ϕ ( X ω ) | ϕ ( X ω ) | 2 ϕ ) mi ( X ω ) .

Sin embargo, para hacer eso, tendría que concluir que | ϕ ( X ω ) | > 0 , que es donde estoy luchando.

yo tengo eso X 0 , y que es constante con respecto a la ϕ k variables ¿No debería ser capaz de relacionar la norma del gradiente con la norma de X ¿de alguna manera? Siento que me estoy perdiendo en la maleza aquí, por lo que cualquier ayuda es muy apreciada.

Respuestas (1)

No estoy seguro de entender del todo.

En el caso de 3 espacios, tenemos ω 1 ( θ , ϕ ) = porque θ pecado ϕ , ¿está bien?

En otras palabras, ω i ( ) es el i ª coordenada rectangular del punto cuyas coordenadas esféricas son los argumentos. Entonces el ω i son funciones conocidas, y predeterminadas, ¿no? En particular, ha escrito los tres para S 2 .

Y tu esperanza es que para cualquier vector fijo X , y cualquier lugar ϕ 0 , tenemos

| ϕ ( X ω ( ϕ ) | ( ϕ 0 ) > 0 ,
¿está bien?

Si eso es correcto, entonces te está costando probarlo porque no es cierto. :(

Mira a X = ( 0 , 0 , 1 ) , y ( θ 0 , ϕ 0 ) = ( 0 , 0 ) , de modo que X es un vector que apunta al polo norte, y ω ( θ 0 , ϕ 0 ) pasa a apuntar en la misma dirección que X . Da la casualidad de que en este caso X ω ( θ , ϕ ) es fácil de calcular, es solo ω 3 ( θ , ϕ ) = porque ϕ . El gradiente de este con respecto a θ , ϕ es ( 0 , pecado ϕ ) . evaluado en ( θ 0 , ϕ 0 ) = ( 0 , 0 ) , esto da el vector ( 0 , 0 ) , cuya norma no es, de hecho, positiva.