Mathematics and Physics for Relativity

This path is for undergraduates preparing for relativity, graduate students strengthening uneven preparation, and self-learners who want a finite bridge into a first graduate course. It treats mathematics and physics as working capabilities: differentiating maps, choosing data for differential equations, identifying measured components, and translating between coordinate formulas and geometric statements.

No single mathematical topic is developed as a standalone course here. Each module diagnoses what general relativity will ask you to do, offers a focused review, and returns you to a representative relativistic problem.

The working language of relativity

General relativity combines several kinds of reasoning that are often learned separately. Calculus controls local change; linear algebra distinguishes objects from their components; ordinary differential equations describe trajectories and modes; partial differential equations connect fields to initial and boundary data; mechanics and special relativity supply physical models; tensors and curvature make the description coordinate independent.

The path is cumulative, but it is also diagnostic. A secure result on a checkpoint is permission to move on, not a requirement to repeat familiar material. A gap should send you to the relevant review module and then back to the problem that exposed it.

What you will be able to do

After completing the diagnostic work, transfer task, and capstone, you should be able to:

1. Use calculus, linear algebra, ordinary and partial differential equations in representative relativity problems.
2. Apply mechanics, special relativity, field, and stress-energy concepts needed by general relativity.
3. Compute with tensors, covariant derivatives, curvature, and coordinate transformations.
4. Demonstrate readiness for the graduate general-relativity sequence through transfer problems.

Check your starting point

Attempt all four prompts to decide which topics you need to review before choosing where to begin.

1. If $A$ is a linear map and a basis changes, what changes: $A$, its matrix, or both?
2. For $y''+\omega^2y=0$, how many independent initial data are needed? How would boundary data define a different problem?
3. Why is $p^0$ not an observer-independent energy in special relativity?
4. If Christoffel symbols are nonzero in polar coordinates on the Euclidean plane, must the plane be curved?

Answers and review

1. The abstract map remains the same; its matrix components change with the basis. If this distinction is uncertain, begin with Calculus and Linear Algebra for Relativity.
2. A second-order initial-value problem needs two independent data, such as $y(t_0)$ and $y'(t_0)$. Boundary data instead constrain values at distinct points and may admit no solution, one solution, or a spectrum. Review this at Differential Equations for Relativity, then continue to PDEs and Green Functions for Gravitation for field problems.
3. A component becomes a measured energy only after an observer or frame is specified; invariantly $E_{(u)}=-u_\mu p^\mu$. Review Mechanics and Special Relativity Diagnostic if the contraction or observer dependence is unclear.
4. No. Connection coefficients depend on coordinates; curvature is tensorial. Use Tensor and Geometry Bridge to review this distinction.

Route through the preparation modules

Follow the sequence below even if you test out of a module: later checkpoints assume that you can state why it was safe to skip.

Phase 1 — Algebra, calculus, and physical motion

1. Calculus and Linear Algebra for Relativity — secure derivatives as linear maps, bases and components, bilinear forms, eigenstructure, and integration by parts. Complete its polar-coordinate transfer task before moving on if components and objects still blur together.
2. Mechanics and Special Relativity Diagnostic — connect variational mechanics, conservation laws, invariant intervals, four-vectors, and observer measurements.

Phase 2 — Evolution and fields

3. Differential Equations for Relativity — distinguish initial-value, boundary-value, stability, singular-point, and spectral questions.
4. PDEs and Green Functions for Gravitation — track principal part, characteristics, domains, initial and boundary data, and retarded response.
5. Fields and Stress–Energy Bridge — connect local field equations and symmetries to currents, stress–energy, and matter sources.

Phase 3 — Geometric translation

6. Tensor and Geometry Bridge — translate coordinate changes, covariant derivatives, geodesics, and curvature into one coherent calculation language.

The Physical Foundations, Spacetime Geometry, and General Relativity overviews can help you see where each capability will be used. They are orientation, not substitutes for the six core modules or the completion tasks below.

A representative reasoning pattern: coefficients are not curvature

Consider the Euclidean plane written in polar coordinates:

$$ds^2=dr^2+r^2d\phi^2.$$

The metric components depend on $r$, so the Levi–Civita connection has nonzero coefficients, including

$$\Gamma^r{}_{\phi\phi}=-r, \qquad \Gamma^\phi{}_{r\phi}=\Gamma^\phi{}_{\phi r}=\frac1r.$$

These coefficients tell us how the coordinate basis changes. They do not by themselves diagnose intrinsic curvature. Substituting them into the Riemann tensor produces cancellations; for example,

$$R^r{}_{\phi r\phi} =\partial_r\Gamma^r{}_{\phi\phi} -\Gamma^r{}_{\phi\phi}\Gamma^\phi{}_{r\phi} =-1-(-1)=0.$$

The calculation uses partial derivatives, matrix-like index contraction, and the chain-rule correction encoded by the connection. Its lesson is more important than the components: a coordinate-dependent intermediate quantity can be essential while the final geometric conclusion remains invariant. The coordinate chart also excludes $r=0$, so apparent singular behavior there must be separated from curvature.

Check your understanding

Checkpoint 1. Initial data or boundary data?

Classify each problem and name the missing data: (a) evolve a freely falling separation vector from one instant; (b) find a static radial field regular at a horizon and decaying at infinity; (c) find frequencies allowing both endpoint conditions.

Conceptual hint

Ask whether the independent variable is being evolved or whether conditions constrain multiple locations.

Setup hint

Count the differential order after symmetry reduction.

Next-step hint

A homogeneous boundary problem can select discrete parameter values.

Solution

(a) is an initial-value problem; for a second-order deviation equation one specifies the separation and its first derivative initially. (b) is a two-point boundary-value problem, with regularity at one end and decay at the other. (c) is a spectral boundary-value problem: nontrivial solutions exist only for selected frequencies. The equation alone does not determine which physical problem is meant; domain and data are part of the model.

Checkpoint 2. Object, components, measurement

A covector $p_\mu$ and a future-directed unit observer $u^\mu$ are given at an event. Explain why $-u^\mu p_\mu$ is an observer’s measured energy while $p_0$ is not generally the same statement.

Conceptual hint

Separate a coordinate label from a physical frame.

Setup hint

A complete contraction is a scalar.

Next-step hint

Ask when a coordinate time vector is aligned with the observer.

Solution

The contraction $E_{(u)}=-u^\mu p_\mu$ is invariant once the observer and momentum are specified. The component $p_0$ changes under a coordinate transformation and equals the corresponding measured energy only in a suitably normalized frame whose time axis is the observer’s four-velocity. In a curved or noninertial chart, lapse, shift, and normalization can make the distinction consequential.

Transfer task — From flat polar coordinates to a spherical surface

Replace the plane by a sphere of radius $a$ with

$$ds^2=a^2(d\theta^2+\sin^2\theta\,d\phi^2).$$

Without carrying out every Riemann component, explain which parts of the polar-coordinate reasoning transfer and which conclusion changes. Give one invariant check.

Solution outline

The same workflow transfers: compute the metric and its inverse, obtain connection coefficients from metric derivatives, and combine their derivatives and products into curvature. Nonzero connection coefficients still do not settle the question. The conclusion changes because the Riemann terms no longer cancel globally: the sphere has sectional curvature $1/a^2$ and scalar curvature $R=2/a^2$. The scalar is coordinate independent and remains finite where spherical coordinates degenerate, providing an invariant check. The limit $a\to\infty$ makes the curvature vanish locally, recovering the plane.

Capstone — Analyze one GR problem

Choose one problem: timelike geodesics in Schwarzschild spacetime, gravitational-wave propagation on Minkowski spacetime, or hydrostatic equilibrium of a relativistic star. Write a concise report that:

• identifies the mathematical objects and separates them from components;
• states the differential equation type, domain, and required data;
• names the physical model, approximation, and observable;
• performs one calculation using calculus or linear algebra and one invariant or limiting check;
• identifies exactly which preparation module would help strengthen the weakest step.

Criterion	What you should be able to explain
Mathematical formulation	Objects, coordinates, equation type, domain, and data are explicit.
Physical interpretation	The measured quantity and approximation are separated from formal variables.
Calculation	The work is dimensionally and algebraically consistent.
Verification and review	An invariant or limit is checked and the relevant review topic is named.

A formula copied without its domain or data does not meet the capstone standard, even if the algebra is correct.

Completion and onward routes

Completion means that you can answer both checkpoints, solve the sphere transfer task, and meet all four capstone criteria. It does not require flawless recall of every identity; it does require knowing how to reconstruct one and how to diagnose a gap.

Continue to the Graduate General Relativity Self-Study Path when the capstone is secure. If one capability remains weak, revisit only its preparation module and repeat the same capstone problem before proceeding.