--- title: Relativistic Membrane Equation url: https://www.emergentmind.com/topics/relativistic-membrane-equation type: topic --- # Relativistic Membrane Equation The relativistic membrane equation is the equation for a time-like extremal hypersurface, or equivalently for a worldvolume of vanishing mean curvature, arising from an area-minimizing Nambu–Goto-type action. In covariant embedded form, the classical equation of motion is the vanishing of the mean extrinsic curvature in each normal direction, $\gamma^{ab}K_{ab}^{i}=0$, while in graphical gauge in Minkowski space it becomes a quasilinear geometric wave equation $\Box_{g(\partial\phi)}\phi=0$ with induced Lorentzian metric $g_{\alpha\beta}=\eta_{\alpha\beta}+\partial_\alpha\phi\,\partial_\beta\phi$ [1404.4166][1708.03839]. The equation appears in the dynamics of strings and membranes, in perturbation theory on curved backgrounds, in explicit AdS$_4$ constructions, and in rigorous studies of global existence, nonlinear stability, and singularity formation [2101.03143][2508.07895]. ## 1. Geometric and variational formulations In a general Lorentzian manifold $(N,g)$, the motion of a $p$-dimensional relativistic extended object may be written as \[ g^{\mu\nu}\left(x^C_{\mu\nu}-\Gamma^\rho_{\mu\nu}x^C_\rho+\tilde{\Gamma}^C_{AB}x^A_\mu x^B_\nu\right)=0,\qquad (C=0,1,\ldots,n), \] where $x^C=x^C(\theta^0,\ldots,\theta^p)$ describes the submanifold, $g_{\mu\nu}=g_{AB}x^A_\mu x^B_\nu$ is the induced metric, and $\Gamma^\rho_{\mu\nu}$ and $\tilde{\Gamma}^C_{AB}$ are the Christoffel symbols for the induced and ambient metrics, respectively. A usually adopted form drops the induced-metric Christoffel term, \[ g^{\mu\nu}\left(x^C_{\mu\nu}+\tilde{\Gamma}^C_{AB}x^A_\mu x^B_\nu\right)=0, \] with the same Cauchy data $t=0:\ x=\varphi(\theta),\ x_t=\psi(\theta)$ [1004.2760]. For an embedded worldsheet $N$ of dimension $n$ in an $(n+p)$-dimensional spacetime $M$, the membrane equation obtained from the area-minimizing action is \[ \gamma^{ab}K_{ab}^{i}=0, \] which states that the mean extrinsic curvature in each normal direction vanishes [1404.4166]. In codimension one, this is the vanishing mean curvature equation for a timelike graph. In the graphical gauge used for the relativistic membrane equation in $\mathbb R^{1+(1+n)}$, \[ \frac{\partial}{\partial t}\left(\frac{\partial_t\phi}{\sqrt{1-(\partial_t\phi)^2+|\nabla_x\phi|^2}}\right) -\sum_{i=1}^n \frac{\partial}{\partial x^i}\left(\frac{\partial_i\phi}{\sqrt{1-(\partial_t\phi)^2+|\nabla_x\phi|^2}}\right)=0, \] and this is equivalent to $\Box_{g(\partial\phi)}\phi=0$ for the induced metric $g_{\alpha\beta}=\eta_{\alpha\beta}+\partial_\alpha\phi\partial_\beta\phi$ [1708.03839]. For radially symmetric graphs $\phi=\phi(t,r)$, with $r=\sqrt{\sum_{i=1}^n x_i^2}$ and $\Delta=1+\phi_r^2-\phi_t^2$, the equation becomes \[ \left(\frac{r^{n-1}\phi_t}{\sqrt{\Delta}}\right)_t-\left(\frac{r^{n-1}\phi_r}{\sqrt{\Delta}}\right)_r=0, \] or explicitly \[ (1+\phi_r^2)\phi_{tt}-2\phi_r\phi_t\phi_{tr}-(1-\phi_t^2)\phi_{rr} =\frac{(n-1)\phi_r\Delta}{r}. \] In the $1+3$ radially symmetric case studied for self-similar singularities, the equation is written as \[ u_{tt}-u_{rr}-\frac{u_r}{r}+u_{tt}u_r^2+u_{rr}u_t^2-2u_tu_r u_{tr}+\frac{1}{r}u_r^3-\frac{1}{r}u_r=0, \] for a scalar function $u(t,r)$ [2508.07895][1712.05159]. ## 2. Parametrization, harmonic coordinates, and diffeomorphic formulations A central structural fact is that the two embedded formulations above describe the same geometry up to reparametrization. Theorem 2.1 in the harmonic-coordinate analysis states that the solutions to the two versions of the relativistic string and membrane equations with the same Cauchy data are diffeomorphic: if $x_1$ solves the simplified system and $x_2$ solves the full system, then there exists a diffeomorphism $f$ such that \[ x_2=x_1\circ f. \] This identifies the distinction between the two equations as a choice of worldvolume parametrization rather than a change of physical motion [1004.2760]. The relevant gauge condition is the harmonic-coordinate condition \[ g^{\mu\nu}\Gamma^\rho_{\mu\nu}=0, \] or equivalently \[ \frac{1}{\sqrt{|g|}}\frac{\partial}{\partial\theta^\mu} \left(\sqrt{|g|}g^{\mu\nu}\frac{\partial\theta^\rho}{\partial\theta^\nu}\right)=0. \] When the worldvolume parameters are harmonic coordinates, the full equation reduces to the simplified form. In the string case, the Kong–Zhang coordinate transformation determined by the initial data turns the nonlinear equation into the linear wave equation \[ \tilde{x}_{tt}-\tilde{x}_{\sigma\sigma}=0, \] with the additional relations \[ (\tilde{x}_t,\tilde{x}_\sigma)=0,\qquad |\tilde{x}_t|^2+|\tilde{x}_\sigma|^2=1. \] For membranes, the analysis records that such a linearization via harmonic coordinates is generally not feasible because of the multidimensional and highly nonlinear nature of the system [1004.2760]. This gauge-theoretic viewpoint is significant for the Cauchy problem. It separates geometric evolution from coordinate artifacts and clarifies why multiple analytic forms of the relativistic membrane equation coexist in the literature. A plausible implication is that comparison between different formulations is most naturally made at the level of the embedded image or induced geometry rather than at the level of a fixed parameter description. ## 3. Covariant perturbation theory in curved spacetime A manifestly covariant perturbation theory for relativistic membranes and topological defects in arbitrary curved background spacetimes is developed in the second-order perturbation analysis [1404.4166]. The geometric data consist of tangent vectors $e_a$, orthonormal normal vectors $n^i$, induced metric $\gamma_{ab}$, extrinsic curvature $K_{ab}^{i}$, and the normal bundle connection $\omega_a^{ij}$. Physical deformations are transverse: the first-order perturbation is $\delta y^\mu=\Phi^i n_i^\mu$, and the second-order deformation introduces a new scalar field $\Psi^i$. The perturbation hierarchy takes the following form. | Order | Equation | Meaning | |---|---|---| | Zeroth | $\gamma^{ab}K_{ab}^{i}=0$ | Classical membrane equation | | First | $\triangle\Phi^{i}-g(n^{i},R(n_{j},e_{a})e^{a})\Phi^{j}+K_{baj}K^{iba}\Phi^{j}=0$ | Linearized transverse perturbations | | Second | $\triangle\Psi^{i}+K_{ck}{}^{a}K_{a}{}^{ci}\Psi^{k}+g(R(n_{k},e^{b})e_{b},n^{i})\Psi^{k}=\mathcal{F}^{i}$ | Second-order transverse perturbations | Here \[ \triangle=\gamma^{ab}\mathcal{D}_a\mathcal{D}_b \] is the worldsheet d'Alembertian acting on normal-bundle-valued scalars, and the source term is quadratic in the first-order perturbations: \[ \begin{aligned} \mathcal{F}^i=\;&2(\mathcal{D}_a\mathcal{D}_b\Phi^i)K^{ab}{}_j\Phi^j -2K^{ab}{}_j\Phi^j K_{bck}\Phi^k K^{ic}{}_a \\ &-2K^{ab}{}_j\Phi^j\, g(n^i,R(n_k,e_a)e_b)\Phi^k . \end{aligned} \] The left-hand side of the second-order system has the same structure as the first-order equation, while the right-hand side is a source quadratic in $\Phi^i$ [1404.4166]. The formalism is manifestly covariant: indices are contracted using induced or background metrics, and the normal bundle connection is used throughout. For $p=2$, as in a string in four-dimensional spacetime, the perturbation equations further decouple to \[ \square_\gamma \Psi^i+\mathcal V^i\Psi^i=\mathcal F^i, \] with an effective mass $\mathcal V^i$ built from projections of the background curvature and extrinsic curvature. The paper identifies two principal uses of the second-order system: a precise framework for studying membrane behavior near black hole horizons, and a more general framework for examining the stability of topological defects in curved spacetimes. It also states that second-order perturbations are essential for computing physical quantities such as energy, because first-order contributions may vanish upon integration [1404.4166]. ## 4. Explicit solutions and reduced equations In AdS$_4$, the relativistic membrane equation admits several explicit classes of classical solutions. In Poincaré coordinates, with embedding $z=z(t,x,y)$ and coupling $\kappa$ to a background three-form $C$, the equation of motion is \[ (1+z_{,\alpha}z^{,\alpha})\, z_{,\beta}^{,\beta} -z^{,\alpha}z^{,\beta}z_{,\alpha\beta} +3z(1+z_{,\alpha}z^{,\alpha}) \pm 3\kappa z(1+z_{,\alpha}z^{,\alpha})^{3/2}=0, \] where $\alpha,\beta\in\{t,x,y\}$ and $\eta=\mathrm{diag}(-1,1,1)$ [2101.03143]. Among the explicit embeddings are linear surfaces given by $X\cdot N=\lambda$, which in Poincaré coordinates include planes $z=x/\lambda$ and hemispherical membranes \[ z(t,x,y)=\lambda+\sqrt{1+t^2-x^2-y^2+\lambda^2}. \] Quadratic surfaces such as \[ X_1^2+X_2^2=\lambda,\qquad z(t,x,y)=\sqrt{x^2+y^2+\lambda} \] produce static or stationary “hypercycles,” while a cubic solution with $\kappa=0$ is described in global AdS coordinates by \[ 2\cos 3\theta \tanh^2 r-3\cos\theta-3\sqrt{3}\sin\theta \sin(2\tau-\phi)=0, \] representing a rigidly rotating membrane that can develop cusps [2101.03143]. The same work gives exact nonlinear traveling waves with ansatz \[ y(t,x,z)=p(x^-,z),\qquad x^-=t-x, \] for which the equation reduces to \[ \frac{\partial p}{\partial z} +\left(\frac{\partial p}{\partial z}\right)^3 -\frac{3}{z}\frac{\partial^2 p}{\partial z^2} +\kappa[1+(\partial_z p)^2]^{3/2}=0. \] For $\kappa=0$, \[ p(x^-,z)=\frac{z^4}{4A(x^-)^3}\, {}_2F_1\!\left(\frac12,\frac23;\frac53;z^6/A(x^-)^6\right)+B(x^-), \] with arbitrary functions $A(x^-),B(x^-)$. The paper also constructs piecewise linear, segmented membranes built by gluing planar patches with constant generalized normal vector $N$; along a shockwave curve on the worldvolume, compatibility requires \[ N_1\cdot N_2=1, \] and four-shock collisions are governed by a reflection formula [2101.03143]. A complementary line of work treats axially symmetric membranes in $3+1$ dimensions by light-cone variables. The reduced dynamics are encoded in \[ \ddot R=R(RR')', \qquad (\xi')^2=R^2(R')^2,\quad \xi:=t-z, \] with spacetime parametrization \[ x^0=T+\xi/2,\qquad z=T-\xi/2,\qquad x=R\cos\theta,\qquad y=R\sin\theta. \] Self-similar ansätze such as \[ R(T,\varphi)=f(x),\qquad x=T^\alpha\varphi^\beta, \] reduce the nonlinear PDE to an ODE, and after the change $f(x)=g(u=\ln x)$ the problem can be brought to an Abel equation of the second kind [2404.18856]. These constructions show that the relativistic membrane equation supports polynomial, nonlinear traveling-wave, segmented, self-similar, and hodograph-generated solution classes. This suggests that explicit solvable sectors persist even though the full membrane equation is generally nonlinear and not known to be integrable in AdS$_4$ [2101.03143][2404.18856]. ## 5. Cauchy problem, global behavior, and singularities The analytic theory of the relativistic membrane equation exhibits both global smooth evolution and finite-time singularity formation, depending on the regime under consideration. For the Cauchy problem in $\mathbb R^{1+(1+n)}$ with $n=2,3$, a class of large initial data of short pulse type yields a unique global smooth solution. The analysis uses the geometric form $\Box_{g(\partial\phi)}\phi=0$, constructs two geometry-adapted multipliers, \[ \tilde L=L+(L\phi)^2\underline L,\qquad \tilde{\underline L}=\underline L+(\underline L\phi)^2L, \] and exploits a double null structure in the commuted equations. The same work derives the asymptotic geometry of future null infinity and records a nonlinear expanding effect at infinity [1708.03839]. A different global result concerns perturbations of planar traveling waves in spatial dimension $d\geq 3$. If $\mathring\phi(t,x)=\mathring f(t+x^1)$ is a simple planar traveling wave with bounded spatial extent, then sufficiently small compactly supported perturbations are globally nonlinearly stable. The perturbation converges to zero in $C^2$, but the method allows higher-order energies to grow polynomially in time, reflecting the infinite-energy background and the lack of higher-order peeling. The analysis isolates a “vestigial” null structure in the perturbation equations [1903.03553]. Finite-time singularity formation is also explicit in the radially symmetric setting. For the $1+3$ membrane equation in Minkowski space, the self-similar ansatz \[ u(t,r)=(T-t)\phi(\rho),\qquad \rho=\frac{r}{T-t}, \] leads to the algebraic solution $\phi(\rho)=\pm\sqrt{1-\rho^2}$ and hence to explicit self-similar solutions \[ u_\pm(t,r)=\pm (T-t)\sqrt{1-\left(\frac{r}{T-t}\right)^2}, \] valid in the backward light-cone \[ 0