You are currently browsing the tag archive for the ‘CFC biesféricas compactificadas’ tag.

Recordemos lo ya expuesto en este post: que en las coordenadas esferoidales prolatas (\mu, \nu, \varphi), las dos primeras (\mu, \nu) provienen de las coordenadas elípticas, donde \mu \in ]0,+\infty[ y \nu \in ]0,2\pi[, mientras que la última \varphi \in ]0,2\pi[ proviene de rotarlas alrededor del eje que une los focos.

Compactificamos la primera coordenada mediante \boxed{\mu = b \tan \frac{\pi \bar{\mu}}{2}}.

El Laplaciano y las fuentes, en estas coordenadas y con esta compactificación, utilizando una nueva función en Mathematica que nos lo calcula todo, quedan:

lap_ellComNor2

\boxed{\Delta \Theta_{X} = 6 \pi \mathcal{D}^j S^*_j}

s1_ellComNor2

\boxed{\Delta X^{i} = 8 \pi f^{ij} S^*_j - \frac{1}{3} \mathcal{D}^i \Theta_X}

s21_ellComNor2

\underline{\hat{A}^{ij} = \mathcal{D}^i X^j + \mathcal{D}^j X^i - \frac{2}{3} \mathcal{D}_k X^k f^{ij}}

A1x_ellComNor2

A2x_ellComNor2

A3x_ellComNor2

\boxed{\Delta \psi = -2 \pi E^* \psi^{-1} - \frac{1}{8}(f_{il} f_{jm} \hat{A}^{lm} \hat{A}^{ij}) \psi^{-7} }

\boxed{\Delta (\alpha \psi) = [ 2 \pi (E^* + 2 S^*) \psi^{-7} + \frac{1}{8}(f_{il} f_{jm} \hat{A}^{lm} \hat{A}^{ij}) \psi^{-8} ] (\alpha \psi) }

\boxed{\Delta \Theta_{\beta} = \frac{3}{4} \mathcal{D}_i \mathcal{D}_j (2 \alpha \psi^{-6} \hat{A}^{ij} )}

\boxed{\Delta \beta^i = \mathcal{D}_j ( 2 \alpha \psi^{-6} \hat{A}^{ij} ) - \frac{1}{3} \mathcal{D}^i \Theta_{\beta} }

Anuncios

La salida ahora para un tensor dos veces contravariante en la base ortonormal queda:

CovDerTen2BiSphCom1,

Para primera ecuación:

\boxed{\Delta \Theta_\beta = \frac{3}{2} \mathcal{D}_i \mathcal{D}_j (\alpha \psi^{-6} \hat{A}^{ij}) },

definimos como antes

V^i := \mathcal{D}_j \alpha \psi^{-6} \hat{A}^{ij},

de manera que la ecuación original la reescribimos como

\Delta \Theta_\beta = \frac{3}{2} \mathcal{D}_i V^i,

De esta manera, en nuestras coordenadas obtenemos:

\Delta \Theta_\beta = \frac{3}{2} \mathcal{D}_i V^i = \frac{3}{2} (\mathcal{D}_{\xi} V^{\xi} + \mathcal{D}_{\bar{\eta}} V^{\bar{\eta}} + \mathcal{D}_{\varphi} V^{\varphi}) =

div_biSphComNor1

donde

V^{\xi} = \mathcal{D}_{\xi} (\alpha \psi^{-6} \hat{A}^{\xi \xi}) + \mathcal{D}_{\bar{\eta}} ( \alpha \psi^{-6} \hat{A}^{\xi \bar{\eta}} ) + \mathcal{D}_{\varphi} ( \alpha \psi^{-6} \hat{A}^{\xi \varphi} ),

V^{\bar{\eta}} = \mathcal{D}_{\xi} (\alpha \psi^{-6} \hat{A}^{\bar{\eta} \xi}) + \mathcal{D}_{\bar{\eta}} ( \alpha \psi^{-6} \hat{A}^{\bar{\eta} \bar{\eta}} ) + \mathcal{D}_{\varphi} ( \alpha \psi^{-6} \hat{A}^{\bar{\eta} \varphi} ),

V^{\varphi} = \mathcal{D}_{\xi} (\alpha \psi^{-6} \hat{A}^{\varphi \xi}) + \mathcal{D}_{\bar{\eta}} ( \alpha \psi^{-6} \hat{A}^{\varphi \bar{\eta}} ) + \mathcal{D}_{\varphi} ( \alpha \psi^{-6} \hat{A}^{\varphi \varphi} ),

que desarrollando las covariantes quedan:

V^{\xi} = \frac{(1 - \bar{r})^2}{a} \partial_{\bar{r}} (\alpha \psi^{-6} \hat{A}^{\bar{r} \bar{r}}) +

+ \frac{1 - \bar{r}}{a \bar{r}} [ \partial_{\theta} ( \alpha \psi^{-6} \hat{A}^{\bar{r} \theta}) + \alpha \psi^{-6} \hat{A}^{\bar{r} \bar{r}} - \alpha \psi^{-6} \hat{A}^{\theta \theta} ] +

+ \frac{1 - \bar{r}}{a \bar{r}} [ \csc \theta \partial_{\varphi} ( \alpha \psi^{-6} \hat{A}^{\bar{r} \varphi}) + \alpha \psi^{-6} \hat{A}^{\bar{r} \bar{r}} + \cot \theta \alpha \psi^{-6} \hat{A}^{\bar{r} \theta} - \alpha \psi^{-6} \hat{A}^{\varphi \varphi}] ),

V^{\bar{\eta}} = \frac{(1 - \bar{r})^2}{a} \partial_{\bar{r}} (\alpha \psi^{-6} \hat{A}^{\theta \bar{r}}) +

+ \frac{1 - \bar{r}}{a \bar{r}} [ \partial_{\theta} ( \alpha \psi^{-6} \hat{A}^{\theta \theta}) + 2 \alpha \psi^{-6} \hat{A}^{\bar{r} \theta} ] +

+ \frac{1 - \bar{r}}{a \bar{r}} [ \csc \theta \partial_{\varphi} ( \alpha \psi^{-6} \hat{A}^{\theta \varphi}) + \alpha \psi^{-6} \hat{A}^{\bar{r} \theta} + \cot \theta \alpha \psi^{-6} \hat{A}^{\theta \theta} - \cot \theta \alpha \psi^{-6} \hat{A}^{\varphi \varphi} ] ),

V^{\varphi} = \frac{(1 - \bar{r})^2}{a} \partial_{\bar{r}} (\alpha \psi^{-6} \hat{A}^{\bar{r} \bar{r}}) +

+ \frac{1 - \bar{r}}{a \bar{r}} [ \partial_{\theta} ( \alpha \psi^{-6} \hat{A}^{\bar{r} \theta}) + \alpha \psi^{-6} \hat{A}^{\bar{r} \bar{r}} - \alpha \psi^{-6} \hat{A}^{\theta \theta} ] +

+ \frac{1 - \bar{r}}{a \bar{r}} [ \csc \theta \partial_{\varphi} ( \alpha \psi^{-6} \hat{A}^{\bar{r} \varphi}) + \alpha \psi^{-6} \hat{A}^{\bar{r} \bar{r}} + \cot \theta \alpha \psi^{-6} \hat{A}^{\bar{r} \theta} - \alpha \psi^{-6} \hat{A}^{\varphi \varphi}] ),

que combinandolo con la anterior, queda:

Finalmente, las ecuaciones:

\boxed{\Delta \beta^i = 2\mathcal{D}_j ( \alpha \psi^{-6} \hat{A}^{ij} ) - \frac{1}{3} \mathcal{D}^i \Theta_{\beta} },

con las que procederemos de manera similar a como hemos hecho con las X^i, es decir, calculando las fuentes en una base, haciendo un cambio de base que las desacople (cartesianas), resolviendolas de manera independiente y volviendo a la base original:

S^i_\beta (\bar{r},\theta,\varphi) := 2\mathcal{D}_j ( \alpha \psi^{-6} \hat{A}^{ij} ) - \frac{1}{3} \mathcal{D}_i \Theta_{\beta},

que quedan:

S^{\xi}_\beta= 2 \big [ \mathcal{D}_{\xi} (\alpha \psi^{-6} \hat{A}^{\xi \xi}) + \mathcal{D}_{\bar{\eta}} (\alpha \psi^{-6} \hat{A}^{\xi \bar{\eta}}) + \mathcal{D}_{\varphi} (\alpha \psi^{-6} \hat{A}^{\xi \varphi}) \big ] - \frac{1}{3} \mathcal{D}_{\xi} \Theta_\beta,

S^{\bar{\eta}}_\beta = 2 \big [ \mathcal{D}_{\xi} (\alpha \psi^{-6} \hat{A}^{\bar{\eta} \xi}) + \mathcal{D}_{\bar{\eta}} (\alpha \psi^{-6} \hat{A}^{\bar{\eta} \bar{\eta}}) + \mathcal{D}_{\varphi} (\alpha \psi^{-6} \hat{A}^{\bar{\eta} \varphi}) \big ] - \frac{1}{3} \mathcal{D}_{\bar{\eta}} \Theta_\beta,

S^{\varphi}_\beta = 2 \big [ \mathcal{D}_{\xi} (\alpha \psi^{-6} \hat{A}^{\bar{y} \bar{x}}) + \mathcal{D}_{\bar{y}} (\alpha \psi^{-6} \hat{A}^{\bar{y} \bar{y}}) + \mathcal{D}_{\bar{z}} (\alpha \psi^{-6} \hat{A}^{\bar{y} \bar{z}}) \big ] - \frac{1}{3} \mathcal{D}_{\varphi} \Theta_\beta,

donde las derivadas covariantes del tensor dos veces contravariante:

T^{ij}:=\alpha \psi^{-6} \hat{A}^{ij}

son como acabamos de hacer en la ecuación anterior y las del escalar \Theta_\beta es como ya hicimos con las X^i:

S^{\xi} = 2 V^{\xi} - \frac{\mbox{\scriptsize cosh} \frac{b \bar{\eta}}{1 - \bar{\eta}} - \cos \xi}{3a} \partial_{\xi} \Theta_{\beta},

S^{\bar{\eta}} = 2 V^{\bar{\eta}} - \frac{\mbox{\scriptsize cosh} \frac{b \bar{\eta}}{1 - \bar{\eta}} - \cos \xi}{3a} \frac{(\bar{\eta} - 1)^2}{b} \partial_{\bar{\eta}} \Theta_{\beta},

S^{\varphi} = 2 V^{\varphi} - \frac{\mbox{\scriptsize cosh} \frac{b \bar{\eta}}{1 - \bar{\eta}} - \cos \xi}{3a} \csc \xi \partial_{\varphi} \Theta_{\beta}.

Hacemos a continuación el cambio:

[S^{\xi}(\xi,\bar{\eta},\varphi),S^{\bar{\eta}}(\xi,\bar{\eta},\varphi),S^{\varphi}(\xi,\bar{\eta},\varphi)] \rightarrow

\rightarrow [S^x(\xi,\bar{\eta},\varphi), S^y(\xi,\bar{\eta},\varphi), S^z(\xi,\bar{\eta},\varphi)],

y resolvemos:

\Delta \beta^{x} = S^{x}

\Delta \beta^{y} = S^{y}

\Delta \beta^{z} = S^{z},

deshaciendo el cambio:

[\beta^x(\xi,\bar{\eta},\varphi), \beta^y(\xi,\bar{\eta},\varphi), \beta^z(\xi,\bar{\eta},\varphi)] \rightarrow

\rightarrow [\beta^{\xi}(\xi,\bar{\eta},\varphi),\beta^{\bar{\eta}}(\xi,\bar{\eta},\varphi),\beta^{\varphi}(\xi,\bar{\eta},\varphi)]

para terminar.

Recordemos lo ya expuesto en este post: que en las coordenadas biesféricas (\xi, \eta, \varphi), las dos primeras (\xi, \eta) provienen de las coordenadas bipolares, donde la primera indica el ángulo entre las dos rectas que unen nuestro punto con los dos focos que necesitamos para determinar las bipolares y la segundo es el logartimo del ratio entre la longitud de estas dos rectas, mientras que la última proviene de rotarlas alrededor del eje que une los focos.

Compactificamos la segunda coordenada mediante \boxed{\eta = \frac{b \bar{\eta}}{1 - \bar{\eta}}}.

El Laplaciano, en estas coordenadas y con esta compactificación, queda:

\Delta = \frac{(\cos \xi - \mbox{\scriptsize cosh} \frac{b \bar{\eta}}{1-\bar{\eta}})^2}{a^2} \big [ \partial_{\xi \xi} + \csc \xi \frac{-1 + \cos \xi \, \mbox{\scriptsize cosh} \frac{b \bar{\eta}}{1-\bar{\eta}}}{\mbox{\scriptsize cosh} \frac{b \bar{\eta}}{1-\bar{\eta}} - \cos \xi} \partial_{\xi}

+\frac{(\bar{\eta} - 1)^4}{b^2} \partial_{\bar{\eta} \bar{\eta}} + \frac{(\bar{\eta} - 1)^2}{b^2} (2(\bar{\eta}-1) -\frac{b \, \mbox{\scriptsize sinh} \frac{b \bar{\eta}}{1 - \bar{\eta}}}{\mbox{\scriptsize cosh} \frac{b \bar{\eta}}{1 - \bar{\eta}} - \cos \xi}) \partial_{\bar{\eta}} + \csc^2 \xi \partial_{\varphi} \big ],

las derivadas covariantes de covectores (1-formas):

CovDer_BiSphComNor1

y las fuentes:

\boxed{\Delta \Theta_{X} = 6 \pi \mathcal{D}^j S^*_j}

\Delta \Theta_X = 6 \pi f^{ji} \mathcal{D}_i S^*_j = 6 \pi ( \mathcal{D}_{\xi} S^*_{\xi} + \mathcal{D}_{\bar{\eta}} S^*_{\bar{\eta}} + \mathcal{D}_{\varphi} S^*_{\varphi} ) =

s1_biSphComNor1

\boxed{\Delta X^{i} = 8 \pi f^{ij} S^*_j - \frac{1}{3} \mathcal{D}^i \Theta_X}

Pasando la derivada contravariante a covariante mediante la métrica, queda:

\Delta X^{i} = 8 \pi f^{ij} S^*_j - \frac{1}{3} f^{ik} \mathcal{D}_k \Theta_X.

Definimos ahora

S_X^i := 8 \pi f^{ij} S^*_j - \frac{1}{3} f^{ik} \mathcal{D}_k \Theta_X,

de manera que:

S_X^{\xi} = 8 \pi f^{\xi j} S^*_j - \frac{1}{3} f^{\xi k}\mathcal{D}_{k} \Theta_X = 8 \pi S^*_{\xi} - \frac{1}{3} \mathcal{D}_{\xi} \Theta_X =

= 8 \pi S^*_{\xi} - \frac{\mbox{\scriptsize cosh} \frac{b \bar{\eta}}{1 - \bar{\eta}} - \cos \xi}{a} \partial_{\xi} \Theta_X

S_X^{\bar{\eta}} = 8 \pi f^{\bar{\eta} j} S^*_j - \frac{1}{3} f^{\bar{\eta} k} \mathcal{D}_{k} \Theta_X = 8 \pi S^*_{\bar{\eta}} - \frac{1}{3} \mathcal{D}_{\bar{\eta}} \Theta_X =

= 8 \pi S^*_{\bar{\eta}} - \frac{\mbox{\scriptsize cosh} \frac{b \bar{\eta}}{1 - \bar{\eta}} - \cos \xi}{a} \frac{(\bar{\eta} - 1)^2}{b} \partial_{\bar{\eta}} \Theta_X

S_X^{\varphi} = 8 \pi f^{\varphi j} S^*_j - \frac{1}{3} f^{\varphi k} \mathcal{D}^{k} \Theta_X = 8 \pi S^*_{\varphi} - \frac{1}{3} \mathcal{D}_{\varphi} \Theta_X =

= 8 \pi S^*_{\varphi} - \frac{\mbox{\scriptsize cosh} \frac{b \bar{\eta}}{1 - \bar{\eta}} - \cos \xi}{a} \csc \xi \partial_{\varphi} \Theta_X

En este punto tenemos que el vector

(S_X^{\xi}(\xi,\bar{\eta},\varphi),S_X^{\bar{\eta}}(\xi,\bar{\eta},\varphi),S_X^{\varphi}(\xi,\bar{\eta},\varphi))

expresado en la base que resulta de normalizar la base coordenada \{ \partial_{\xi}, \partial_{\bar{\eta}}, \partial_{\varphi} \}. Lo que hacemos ahora es expresar este vector en la nueva base \{ \partial_x, \partial_y, \partial_z \}, de manera que obtenemos

(S_X^{x}(\xi,\bar{\eta},\varphi),S_X^{y}(\xi,\bar{\eta},\varphi),S_X^{z}(\xi,\bar{\eta},\varphi)).

y como es esta base las ecuaciones están desacopladas y \Theta_X es un campo escalar, resolvemos independientemente:

\Delta X^{x} = S_X^{x},

\Delta X^{y} = S_X^{y},

\Delta X^{z} = S_X^{z}.

Finalmente, con el cambio de base inverso, calculamos a partir de (X^{x},X^{y},X^{z}) el vector (X^{\xi},X^{\bar{\eta}},X^\varphi) .

\underline{\hat{A}^{ij} = \mathcal{D}^i X^j + \mathcal{D}^j X^i - \frac{2}{3} \mathcal{D}_k X^k f^{ij}}

Necesitamos ahora la derivada covariante de un vector (hasta ahora habían coincidido las derivadas covariantes de vectores y covectores, pero en este caso no):

CovDer_BiSphComNor1_vec

volvemos a pasar las derivadas contravariantes a covariantes:

\hat{A}^{ij} = f^{im} \mathcal{D}_m X^j + f^{jn} \mathcal{D}_n X^i - \frac{2}{3} f^{ij} \mathcal{D}_k X^{k}

y obtenemos:

\hat{A}^{\xi \xi} = f^{\xi m} \mathcal{D}_m X^{\xi} + f^{\xi n} \mathcal{D}_n X^{\xi} - \frac{2}{3} \mathcal{D}_k X^{k} = \frac{2}{3}( 2 \mathcal{D}_{\xi} X^{\xi} - \mathcal{D}_{\bar{\eta}} X^{\bar{\eta}} - \mathcal{D}_{\varphi} X^{\varphi}) =

A11_biSphComNor1

\hat{A}^{\xi \bar{\eta}} = f^{\xi m} \mathcal{D}_m X^{\bar{\eta}} + f^{\bar{\eta} n} \mathcal{D}_n X^{\xi} = \mathcal{D}_{\xi} X^{\bar{\eta}} + \mathcal{D}_{\bar{\eta}} X^{\xi} =

A12_biSphComNor1

\hat{A}^{\xi \varphi} = f^{\xi m} \mathcal{D}_m X^{\varphi} + f^{\varphi n} \mathcal{D}_n X^{\xi} = \mathcal{D}_{\xi} X^{\varphi} + \mathcal{D}_{\varphi} X^{\xi} =

A13_biSphComNor1

\hat{A}^{\bar{\eta} \bar{\eta}} = f^{\bar{\eta} m} \mathcal{D}_m X^{\bar{\eta}} + f^{\bar{\eta} n} \mathcal{D}_n X^{\bar{\eta}} - \frac{2}{3} \mathcal{D}_k X^{k} = \frac{2}{3}( - \mathcal{D}_{\xi} X^{\xi} + 2 \mathcal{D}_{\bar{\eta}} X^{\bar{\eta}} - \mathcal{D}_{\varphi} X^{\varphi}) =

A22_biSphComNor1

\hat{A}^{\bar{\eta} \varphi} = f^{\bar{\eta} m} \mathcal{D}_m X^{\varphi} + f^{\varphi n} \mathcal{D}_n X^{\bar{\eta}} = \mathcal{D}_{\bar{\eta}} X^{\varphi} + \mathcal{D}_{\varphi} X^{\bar{\eta}} =

A23_biSphComNor1

\hat{A}^{\varphi \varphi} = f^{\varphi m} \mathcal{D}_m X^{\varphi} + f^{\varphi n} \mathcal{D}_n X^{\varphi} - \frac{2}{3} \mathcal{D}_k X^{k} = \frac{2}{3}( - \mathcal{D}_{\bar{r}} X^{\bar{r}} - \mathcal{D}_{\theta} X^{\theta} +2 \mathcal{D}_{\varphi} X^{\varphi}) =

A33_biSphComNor1

Las dos ecuaciones no lineales correspondientes al factor conforme \psi y al lapse \alpha, como no contienen derivadas covariantes, quedan como las teniamos:

\boxed{\Delta \psi = -2 \pi E^* \psi^{-1} - \frac{1}{8}(f_{il} f_{jm} \hat{A}^{lm} \hat{A}^{ij}) \psi^{-7} }

\boxed{\Delta (\alpha \psi) = [ 2 \pi (E^* + 2 S^*) \psi^{-7} + \frac{1}{8}(f_{il} f_{jm} \hat{A}^{lm} \hat{A}^{ij}) \psi^{-8} ] (\alpha \psi) }

Finalmente, para el shift \beta y su ecuación auxiliar tenemos:

\boxed{\Delta \Theta_{\beta} = \frac{3}{4} \mathcal{D}_i \mathcal{D}_j (2 \alpha \psi^{-6} \hat{A}^{ij} )}

\boxed{\Delta \beta^i = \mathcal{D}_j ( 2 \alpha \psi^{-6} \hat{A}^{ij} ) - \frac{1}{3} \mathcal{D}^i \Theta_{\beta} }

que trataremos en el siguiente post.

noviembre 2017
L M X J V S D
« Ago    
 12345
6789101112
13141516171819
20212223242526
27282930