1: % -*- TeX -*- -*- UK -*-
2:
3: \section{Five dimensional plasmarings}\label{sec:5dim}
4:
5: In the bulk of this paper we have presented an analysis of
6: stationary fluid configurations of the three and four dimensional fluid
7: flows. The analysis of analogous configurations in one higher
8: dimension has an interesting new element. The rotation group in four
9: spatial dimensions, $SO(4)$, has rank 2. Consequently a rotating
10: lump of fluid in five dimensions will be characterised by three rather than
11: two conserved charges (two angular momenta plus energy). When one of
12: the two angular momenta is set to zero, it seems likely that the set
13: of stationary solutions will be similar to those of the four
14: dimensional fluid; in this limit we expect ball and ring
15: configurations whose dual bulk horizon topologies are $S^5$ and
16: $S^4\times S^1$ respectively. However turning on the second angular
17: momentum on the ring solution could centrifugally repel the fluid
18: away from the second rotational axis, leading to a fluid
19: configuration with dual bulk horizon topology $S^1\times S^1\times
20: S^3$. Such configurations have not yet been discovered in gravity,
21: and it would be exciting to either construct them in fluid
22: mechanics, or to rule out their existence.
23:
24: In this appendix we set up and partially solve the equations of
25: stationary fluid flow in five dimensions. While the stationary
26: equations of fluid dynamics are trivial to solve in the bulk in
27: every dimension, boundary conditions are harder to impose in higher
28: dimensions. In the particular case of 5 dimensions, the imposition
29: of these boundary conditions requires the solution of a 2nd order
30: ordinary differential equation, that we have not (yet?) been able to
31: solve. It may be that a full study of this case would require
32: careful numerical analysis, which we leave to future work. In the
33: rest of this appendix we simply set up the relevant equations, and
34: comment on the dual bulk interpretations of various possible
35: solutions.
36:
37: Consider a fluid propagating in flat five dimensional space
38: %
39: \begin{equation*}
40: \dr s^2 = -\dr t^2 + \dr r_1^2 + r_1^2 \dr \phi_1^2
41: + \dr r_2^2 + r_2^2 \dr \phi_2^2\,.
42: \end{equation*}
43: %
44: Consider a fluid flow with velocities given by
45: $u^\mu=\gamma(1,0,\omega_1,0,\omega_2)$, where
46: $\gamma=(1-v_1^2-v_2^2)^{-1/2}$, $v_1=\omega_1r_1$ and
47: $v_2=\omega_2r_2$. Let the fluid surface be given by
48: $f(r_1,r_2)=r_2-h(r_1)=0$.
49:
50: The stress tensor evaluated on such a fluid configuration is given
51: by
52: %
53: \begin{equation*}
54: \begin{split}
55: T^{\mu\nu}_\mathrm{perfect} &=
56: \begin{pmatrix}
57: \gamma^2(\rho+(v_1^2+v_2^2)P) & 0 & \gamma^2\omega_1(\rho+P) & 0 & \gamma^2\omega_2(\rho+P) \\
58: 0 & P & 0 & 0 & 0 \\
59: \gamma^2\omega_1(\rho+P) & 0 & \frac{\gamma^2}{r_1^2}(v_1^2\rho+(1-v_2^2)P) & 0 & \gamma^2\omega_1\omega_2(\rho+P) \\
60: 0 & 0 & 0 & P & 0 \\
61: \gamma^2\omega_2(\rho+P) & 0 & \gamma^2\omega_1\omega_2(\rho+P) & 0 & \frac{\gamma^2}{r_2^2}(v_2^2\rho+(1-v_1^2)P) \\
62: \end{pmatrix}
63: \\
64: \end{split}
65: \end{equation*}
66: %
67: \begin{equation*}
68: \begin{split}
69: T^{\mu\nu}_\mathrm{dissipative} &=-\kappa\gamma^2
70: \begin{pmatrix}
71: 0 & \p_{r_1} & 0 & \p_{r_2} & 0 \\
72: \p_{r_1} & 0 & \omega_1\p_{r_1} & 0 & \omega_2\p_{r_1} \\
73: 0 & \omega_1\p_{r_1} & 0 & \omega_1\p_{r_2} & 0 \\
74: \p_{r_2} & 0 & \omega_1\p_{r_2} & 0 & \omega_2\p_{r_2} \\
75: 0 & \omega_2\p_{r_1} & 0 & \omega_2\p_{r_2} & 0 \\
76: \end{pmatrix}\frac{\tloc}{\gamma}
77: \\
78: %\end{split}
79: %\end{equation*}
80: %%
81: %\begin{equation*}
82: %\begin{split}
83: T^{\mu\nu}_\mathrm{surface} &=\frac{\sigma\delta(r_2-h(r_1))}{\sqrt{1+h'^2}}
84: \begin{pmatrix}
85: 1+h'^2 & 0 & 0 & 0 & 0 \\
86: 0 & -1 & 0 & -h' & 0 \\
87: 0 & 0 & -\frac{1+h'^2}{r_1^2} & 0 & 0 \\
88: 0 & -h' & 0 & -h'^2 & 0 \\
89: 0 & 0 & 0 & 0 & -\frac{1+h'^2}{r_2^2} \\
90: \end{pmatrix}
91: \end{split}
92: \end{equation*}
93: %
94:
95: As usual, we will temporarily ignore
96: $T^{\mu\nu}_\mathrm{dissipative}$, justifying this when we find that
97: $\tloc\propto\gamma$. The nontrivial equations of motion that follow
98: from \eqref{Epconsv:eq} take the form
99: %
100: \begin{equation}\label{5deom:eq}
101: \begin{split}
102: % 0 = \nabla_\mu T^{\mu t}
103: % &= \p_{r_1}T^{r_1 t} +\p_{r_2}T^{r_2 t}
104: % +\frac{1}{r_1}T^{r_1 t} +\frac{1}{r_2}T^{r_2 t}\\
105: % &= 0\\
106: 0 = \nabla_\mu T^{\mu r_1}
107: % &= \p_{r_1}T^{r_1 r_1} +\p_{r_2}T^{r_2 r_1}
108: % +\frac{1}{r_1}T^{r_1 r_1} +\frac{1}{r_2}T^{r_2 r_1} -r_1T^{\phi_1 \phi_1}\\
109: &= \p_{r_1}P -\gamma^2\omega_1^2r_1(\rho+P) -\sigma G h'(r_1)\delta(r_2-h(r_1))\\
110: % 0 = \nabla_\mu T^{\mu \phi_1}
111: % &= \p_{r_1}T^{r_1 \phi_1} +\p_{r_2}T^{r_2 \phi_1}
112: % +\frac{3}{r_1}T^{r_1 \phi_1} +\frac{1}{r_2}T^{r_2 \phi_1}\\
113: % &= 0\\
114: 0 = \nabla_\mu T^{\mu r_2}
115: % &= \p_{r_1}T^{r_1 r_2} +\p_{r_2}T^{r_2 r_2}
116: % +\frac{1}{r_1}T^{r_1 r_2} +\frac{1}{r_2}T^{r_2 r_2} -r_2T^{\phi_2 \phi_2}\\
117: &= \p_{r_2}P -\gamma^2\omega_2^2r_2(\rho+P) +\sigma G \delta(r_2-h(r_1))
118: % \\
119: % 0 = \nabla_\mu T^{\mu \phi_2}
120: % &= \p_{r_1}T^{r_1 \phi_2} +\p_{r_2}T^{r_2 \phi_2}
121: % +\frac{1}{r_1}T^{r_1 \phi_2} +\frac{3}{r_2}T^{r_2 \phi_2}\\
122: % &= 0
123: \end{split}
124: \end{equation}
125: %
126: where
127: %
128: \begin{equation*}
129: G = -\frac{r_1hh''+(1+h'^2)(hh'-r_1)}{r_1h(1+h'^2)^{3/2}}
130: \end{equation*}
131: %
132:
133: Using the equation of state \eqref{thermint:eq}, the equations of
134: motion in the fluid interior
135: %
136: \begin{equation*}
137: %\begin{split}
138: \pdiff{\rho}{v_1} = 3(\rho-\rz) \frac{2v_1}{1-v_1^2-v_2^2} \qquad
139: \pdiff{\rho}{v_2} = 3(\rho-\rz) \frac{2v_2}{1-v_1^2-v_2^2}
140: %\end{split}
141: \end{equation*}
142: %
143: are easily solved and we find
144: %
145: \begin{equation*}
146: (\rho-\rz)(1-v_1^2-v_2^2)^3 = 5K\rz \qquad
147: P = \rz\prn{\frac{K}{(1-v_1^2-v_2^2)^3}-1}
148: \qquad \tloc = \gamma\brk{\frac{K\rz}{\eos}}^{1/6}.
149: \end{equation*}
150: %
151: Integrating the equations of motion \eqref{5deom:eq} across the
152: surface we obtain the condition (the upper sign should be used for
153: upper surfaces)
154: %
155: \begin{equation}\label{5dsurf:eq}
156: \frac{K}{(1-\omega_1^2r_1^2-\omega_2^2h^2)^3}-1 =
157: \mp\frac{\sigma}{\rz}
158: \frac{r_1hh''+(1+h'^2)(hh'-r_1)}{r_1h(1+h'^2)^{3/2}}
159: \end{equation}
160: %
161: %Let $y=\omega_1h$, $x=\omega_1r_1$, $w=\frac{\omega_2}{\omega_1}$.
162: %%
163: %\begin{equation*}
164: % \frac{K}{(1-x^2-w^2y^2)^3}-1 =
165: % \mp\tw_1
166: % \frac{xyy''+(1+y'^2)(yy'-x)}{xy(1+y'^2)^{3/2}}
167: %\end{equation*}
168: %%
169:
170: Unfortunately we have not yet been able to solve this equation; we
171: postpone further analysis of \eqref{5dsurf:eq} to future work. In
172: the rest of this appendix we qualitatively describe possible types
173: of solutions to these equations, and their bulk dual horizon
174: topologies.
175:
176: \begin{figure}
177: %
178: \begin{center}
179: \input{5ball.tpx}\hspace{0.5cm}
180: \input{5ring.tpx}\hspace{0.5cm}
181: \input{5torus.tpx}
182: \caption{Topologies of five dimensional solutions.}\label{5d:fig}
183: \end{center}
184: %
185: \end{figure}
186:
187:
188:
189: In fig.\ref{5d:fig}, we have sketched some possible topologies for
190: these solutions. The first touches both the $r_1=0$ and $r_2=0$ axes
191: and we refer to this as a ball. The second type only touches one of
192: these axes and we refer to this as a ring. The third type touches
193: neither of the axes, as the plasma has the topology of a solid
194: three-torus we refer to this as a torus.
195:
196: Each of these could be pinched near either axis, and there could be
197: hollow versions (though the considerations of \S\ref{sec:4dim} make
198: it seem unlikely that hollow configurations will actually be
199: solutions).
200:
201:
202:
203:
204: The horizon topology of the dual black object can be found by
205: fibering three circles over the shapes in fig.\ref{5d:fig}. One of
206: these circles degenerates at each axis (the angular coordinates
207: $\phi_1$ and $\phi_2$), and the other degenerates on the fluid
208: surface (the Scherk-Schwarz circle). The topologies generated are:
209: %listed in table \ref{topology5:tab}.
210: %
211: %
212: %
213: %\begin{table}
214: \begin{center}
215: \begin{tabular}{|l|l|l|}
216: \hline
217: % after \\: \hline or \cline{col1-col2} \cline{col3-col4} ...
218: Horizon topology & Plasma topology & Object \\
219: \hline
220: $S^5$ & $B^4$ & Ball \\
221: $S^4\times S^1$ & $B^3\times S^1$ & Ring \\
222: $S^3\times S^1\times S^1$ & $B^2\times S^1\times S^1$ & Torus \\
223: $S^3\times S^2$ & $B^1\times S^3$ & Hollow ball \\
224: $S^2\times S^2\times S^1$ & $B^1\times S^2\times S^1$ & Hollow ring \\
225: $S^2\times S^1\times S^1\times S^1$
226: & $B^1\times S^1\times S^1\times S^1$
227: & Hollow Torus \\
228: $S^1\times S^1\times S^1\times S^1\times S^1$
229: & None & None \\
230: \hline
231: \end{tabular}
232: \end{center}
233: % \caption{Topologies of gravity and plasma solutions}\label{topology5:tab}
234: %\end{table}
235: