Filling in the Gaps: Reconstructing Derivations

Welcome to our fifth lesson in the module on the theoretical research cycle. In our last session, we focused on deconstructing a research paper to identify its central claim, assumptions, and logical structure. We established that the most profound level of understanding—the "third pass" of reading—involves virtually re-implementing the work. Today, we delve into the heart of that process.

This lesson is dedicated to a core skill of every theoretical physicist: reconstructing a key derivation from a paper by filling in the omitted intermediate steps. Authors, for the sake of brevity and focus, often present a logical leap from point A to point D, leaving the path through B and C as an "exercise for the reader." Being able to trace this path is not just about checking their work; it is how you gain true ownership of the result, uncover subtle assumptions, and develop the intuition needed to build upon it.

We will first outline a systematic approach to this reconstruction and then equip you with the essential mathematical tools for the job. Finally, we will work through a detailed example from quantum mechanics, applying these techniques to unpack a series of non-trivial results.

The Anatomy of a Reconstruction

When you encounter a derivation in a paper, you are seeing the cleaned-up, final product. The process of reconstructing it is often messier, involving trial and error. A helpful guide for formalizing this process comes from the "Physics Derivation Graph" project, which is dedicated to mapping the logical structure of physics.

the Physics Derivation Graph

This blog post details a researcher's workflow for breaking down a published derivation into its fundamental steps. It provides a clear, practical methodology for what we are about to do.

Read the main body of the article, paying special attention to steps 5, 6, and 7. Notice the progression from simply transcribing equations to filling in the gaps, and finally to labeling the logical operations. This mirrors the process of moving from passive reading to active understanding.

The key insight from this workflow is that reconstruction is an active, creative process. It begins with identifying the start and end points of the derivation in the paper. The real work then lies in charting the course between them. This involves:

Identifying the Gaps: Writing out the sequence of equations as presented will immediately highlight the "jumps" where multiple algebraic or calculus steps have been compressed into one.
Bridging the Gaps: You must then work backward from the result and forward from the premise, trying to meet in the middle. This requires a toolkit of standard theoretical techniques.
Articulating the Logic: For each step you fill in, you should be able to state the operation performed: "applied the product rule," "Taylor-expanded to first order in $x$ ," "changed variables to dimensionless units," etc.

This is the intellectual detective work at the core of theoretical physics.

A Theorist's Toolkit for Unpacking Derivations

To bridge the gaps in a published derivation, you'll need to be fluent in the common techniques used to simplify and transform equations. The following handout from a Physics Olympiad training course is an excellent resource, as it focuses on the practical application of these mathematical tools from a physicist's perspective. We will refer to different parts of it throughout this section.

Problem Solving I: Mathematical Techniques - Kevin Zhou

This document by Kevin Zhou provides a concise, problem-oriented introduction to mathematical techniques essential for physicists.

For now, I recommend you skim the following sections to get a feel for the content. We will be applying these ideas directly. Section 2, "Approximations": Focus on the introductions to Taylor Series and the Binomial Theorem. Section 5, "Manipulating Differentials": Read the introduction to understand the justification for treating derivatives like fractions, a ubiquitous practice in physics literature.

Let's organize these tools:

Approximations: Physics is often the art of approximation. Identifying a small parameter is key.
- Taylor and Binomial Series: If a derivation involves a limit (e.g., low temperature $T \to 0$ , large distance $r \to \infty$ ), it almost certainly involves a Taylor or binomial expansion. The binomial theorem, $(1 + x)^{n} \approx 1 + n x$ for small $x$ , is arguably the most common tool. A classic example is deriving the far-field behavior of an electric dipole, as seen in Problem 18 of the handout.
Changes of Variables: To simplify an equation, theorists frequently switch to a more "natural" set of variables.
- Nondimensionalization: This involves rescaling variables by characteristic constants of the system to make them dimensionless. This removes clutter and reveals the true scaling relationships. For example, in Example 3 of the handout, the integral is simplified by substituting $u = b / c x$ . A crucial part of this process, often left implicit, is transforming the derivatives using the chain rule.
Calculus "Shortcuts": Physicists often manipulate differentials in ways that might seem unrigorous but are efficient and correct.
- Treating Derivatives as Fractions: As Zhou's handout explains in Section 5, expressions like $\frac{d v}{d t} = \frac{d v}{d x} \frac{d x}{d t}$ are not just formal manipulations; they are a direct consequence of the chain rule. Being comfortable with this allows you to quickly change variables in integrals and differential equations, as demonstrated in the derivation of the work-energy theorem (Example 15).

Walkthrough: Reconstructing the Schrödinger Equation

Now, let's put these ideas into practice with a substantial example from your preferred domain of foundational quantum mechanics. We will work through Problem 11 from Zhou's handout, which analyzes the hydrogen atom's Schrödinger equation. This problem is an excellent case study because it requires us to perform several non-trivial "missing steps" that are typical of advanced texts.

The time-independent Schrödinger equation for the electron in a hydrogen atom is:

- \frac{ℏ ^{2}}{2 m} \nabla^{2} ψ - \frac{e ^{2}}{4 π ϵ _{0} r} ψ = E ψ

Our goal is to reconstruct the derivation of its dimensionless form and then to incorporate the first-order relativistic correction.

Problem Solving I: Mathematical Techniques - Kevin Zhou

This problem will be our main exercise. It guides us through nondimensionalizing the Schrödinger equation and then adding relativistic effects.

Read through the statement of Problem 11 (the end of the problem statement). This sets up the task we are about to perform.

Let's break this down step-by-step. I encourage you to perform the calculations with pen and paper as we go.

Step 1: Nondimensionalizing the Equation

The problem states that the characteristic length and energy scales are the Bohr radius, $a_{0} = \frac{4 π ϵ _{0} ℏ ^{2}}{m e ^{2}}$ , and the Rydberg energy, which we can define as $E_{0} = \frac{e ^{2}}{4 π ϵ _{0} a _{0}} = \frac{m e ^{4}}{2 ( 4 π ϵ _{0} ) ^{2} ℏ ^{2}}$ (note: Zhou leaves the definition of $E_{0}$ open, but this is a standard choice).

We define dimensionless variables: $r ~ = r / a_{0}$ and $E ~ = E / E_{0}$ . The first missing step is to transform the Laplacian, $\nabla^{2}$ .

Your Task (Part a): Using the chain rule, show that $\nabla^{2} = \frac{1}{a _{0}^{2}} \nabla ~^{2}$ , where $\nabla ~^{2}$ is the Laplacian with respect to the dimensionless coordinates $(x ~, y ~, z ~)$ .

Hint

Start with a single dimension. Let $x = a_0 \tilde{x}$. The chain rule for derivatives states $ \frac{\partial}{\partial \tilde{x}} = \frac{\partial x}{\partial \tilde{x}} \frac{\partial}{\partial x} $. How does this relate $\frac{\partial^2}{\partial \tilde{x}^2}$ to $\frac{\partial^2}{\partial x^2}$?

Solution

From the chain rule, we have $ \frac{\partial}{\partial \tilde{x}} = \frac{\partial (a_0 \tilde{x})}{\partial \tilde{x}} \frac{\partial}{\partial x} = a_0 \frac{\partial}{\partial x} $. To get the second derivative, we apply this again: $$ \frac{\partial^2}{\partial \tilde{x}^2} = \frac{\partial}{\partial \tilde{x}}\left(\frac{\partial}{\partial \tilde{x}}\right) = \left(a_0 \frac{\partial}{\partial x}\right)\left(a_0 \frac{\partial}{\partial x}\right) = a_0^2 \frac{\partial^2}{\partial x^2} $$ The same logic applies to $y$ and $z$. Therefore, the full Laplacian transforms as: $$ \tilde{\nabla}^2 = \frac{\partial^2}{\partial \tilde{x}^2} + \frac{\partial^2}{\partial \tilde{y}^2} + \frac{\partial^2}{\partial \tilde{z}^2} = a_0^2 \left(\frac{\partial^2}{\partial x^2} + \frac{\partial^2}{\partial y^2} + \frac{\partial^2}{\partial z^2}\right) = a_0^2 \nabla^2 $$

Your Task (Part b): Now, substitute $\nabla^{2} = \frac{1}{a _{0}^{2}} \nabla ~^{2}$ , $r = a_{0} r ~$ , and $E = E_{0} E ~$ into the original Schrödinger equation. Use the definitions of $a_{0}$ and $E_{0}$ to show that all dimensionful constants cancel, leaving the dimensionless equation:

- \frac{1}{2} \nabla ~^{2} ψ - \frac{1}{r ~} ψ = E ~ ψ

(Note: The factor of 1/2 depends on the precise definition of $E_{0}$ . Zhou's version suppresses it, but it's good practice to keep track of it.) This is a key result, showing the universality of the equation's structure.

Step 2: Deriving the Relativistic Correction

The next task is to find the first-order relativistic correction to the kinetic energy. The relativistic energy is $E_{rel} = p^{2} c^{2} + m^{2} c^{4}$ . The kinetic energy is $T = E_{rel} - m c^{2}$ .

Your Task (Part c): Show that for low momentum ( $p ≪ m c$ ), the kinetic energy can be approximated as:

T \approx \frac{p ^{2}}{2 m} - \frac{p ^{4}}{8 m ^{3} c ^{2}}

The first term is the familiar Newtonian kinetic energy. The second term is the correction we seek.

Hint

Factor out $m^2c^4$ from the square root: $\sqrt{p^2c^2 + m^2c^4} = mc^2 \sqrt{1 + \frac{p^2}{m^2c^2}}$. Now apply the binomial theorem $(1+x)^\alpha \approx 1 + \alpha x + \frac{\alpha(\alpha-1)}{2}x^2 + \dots$ with $x = p^2/m^2c^2$ and $\alpha=1/2$.

Solution

Using the hint, we have: $$ E_{\text{rel}} = mc^2 \left(1 + \frac{p^2}{m^2c^2}\right)^{1/2} $$ Applying the binomial expansion: $$ E_{\text{rel}} \approx mc^2 \left( 1 + \frac{1}{2}\frac{p^2}{m^2c^2} + \frac{(1/2)(-1/2)}{2} \left(\frac{p^2}{m^2c^2}\right)^2 \right) $$ $$ E_{\text{rel}} \approx mc^2 \left( 1 + \frac{p^2}{2m^2c^2} - \frac{p^4}{8m^4c^4} \right) = mc^2 + \frac{p^2}{2m} - \frac{p^4}{8m^3c^2} $$ The kinetic energy is $T = E_{\text{rel}} - mc^2$, so we get the desired result: $$ T \approx \frac{p^2}{2m} - \frac{p^4}{8m^3c^2} $$

Step 3: Assembling the Corrected Equation

Finally, we incorporate this correction into the Schrödinger equation. In quantum mechanics, we make the operator substitution $p \to - i ℏ\nabla$ .

Your Task (Part d): Replace the kinetic energy term $T = p^{2} /2 m$ in the Hamiltonian with the corrected expression you just derived. Show that this leads to the corrected Schrödinger equation:

- \frac{ℏ ^{2}}{2 m} \nabla^{2} ψ - \frac{p ^{4}}{8 m ^{3} c ^{2}} ψ - \frac{e ^{2}}{4 π ϵ _{0} r} ψ = E ψ

Where the $p^{4}$ term is now understood as an operator: $p^{4} ψ = (- i ℏ\nabla)^{4} ψ = ℏ^{4} \nabla^{4} ψ$ . This $\nabla^{4}$ term is the explicit mathematical form of the first-order relativistic correction to the Hamiltonian.

This exercise is a microcosm of the process of working with theoretical physics literature. We started with a standard equation, applied a change of variables (a "missing step" involving the chain rule), derived a correction term from a more fundamental theory (a "missing step" involving the binomial theorem), and assembled the result into a new, more accurate governing equation.

Conclusion

Today we have transformed the abstract idea of a "third pass" reading into a concrete, practical skill. Reconstructing derivations is how you move from being a consumer of physics to a producer. It forces you to engage with the material at the deepest level, solidifying your understanding and revealing the subtle craft behind a seemingly simple result.

Our key takeaways are:

Reconstruction is an active process: It involves identifying logical gaps in a paper's argument and bridging them using your own knowledge.
Master the toolkit: Fluency with approximations (Taylor/binomial series), changes of variables (nondimensionalization), and calculus shortcuts (manipulating differentials) is essential for filling these gaps.
Derivations tell a story: As we saw with the Schrödinger equation, reconstructing a derivation reveals the physical story—how a universal form emerges from dimensionless units, or how a correction from a deeper theory (relativity) manifests as a new mathematical term.

In our next and final lesson of this module, we will address a crucial follow-up question: how do you know if your reconstruction is correct? We will discuss strategies for verifying long calculations, such as dimensional analysis, symmetry checks, and analyzing limiting cases, and how to document this work in a structured research notebook.

Recommended resources