9
$\begingroup$

Can Einstein's equations in vacuum $R_{ab} - \frac{1}{2}Rg_{ab} + \Lambda g_{ab}= 0$ be treated as a Dirichlet problem?

I am thinking of something along those lines: Consider a compact manifold $M$ with boundary $\partial M$. For a given metric $g_{ab}$ on $\partial M$, does a unique (up to diffeomorphisms) solution to Einstein's equations on $M$ exist? Are there any constraints on the metric on the boundary?

Einstein's equation can be recovered by looking for critical points in the Einstein-Hilbert action, but I don't know enough about variational problems to deduce anything about existence or uniqueness. The fact that general relativity is generally covariant also seems to complicate things, since this leads to a huge coordinate freedom.

Does this depend on the dimension of the manifold or can a general statement be made? I am mostly interested in the three and four dimensional cases.

Note that I am not interested in the initial value formulation usually considered.

$\endgroup$
2
  • 1
    $\begingroup$ "Einstein's equation can be recovered by minimizing the Einstein-Hilbert action" false! We look for critical points, but they don't have to be (local) extrema. $\endgroup$ Commented Jan 9, 2013 at 17:14
  • $\begingroup$ I corrected the statement. $\endgroup$
    – Friedrich
    Commented Jan 9, 2013 at 18:09

1 Answer 1

7
$\begingroup$

In the Lorentzian case: I am not aware of anyone studying it, and don't know explicit counterexamples off-hand. But I have doubts on the uniqueness. With the Lorentzian case, the nature candidate to draw comparisons with is the wave equation. And we see that on something as simple as the unit square $[0,1]\times [0,1]$, the wave equation with vanishing Dirichlet boundary condition admits solutions $$ (\partial_t^2 - \partial_x^2)u_k(t,x) = 0 \qquad u_k(t,x) = \sin (2\pi k x)\sin(2\pi k t) $$ Similar constructions can be made in arbitrary dimensions for the wave equation. In general for hyperbolic PDEs, the Dirichlet boundary value problem tend not to be well-posed.

In the Riemannian case: there has been a lot of interest in the mathematical community about this. To the best of my knowledge the Dirichlet problem for Einstein manifolds are still poorly understood. A starting place to do literature search would be Michael Anderson's paper on the subject.

$\endgroup$
1
  • $\begingroup$ Thank you for the reference! The wave equation example is a very special case since this only works for rectangles with rational width-to-height ratio. I guess that these cases will also arise in general relativity but maybe there is still a well posed Dirichlet problem for most choices of boundaries. $\endgroup$
    – Friedrich
    Commented Jan 9, 2013 at 18:35

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.