The Musical Canon Inside Differential Equations
Year: 2015 Authors: Donald Spector
Core claim
Shape invariance in exactly solvable differential equations parallels canon form because each partner equation is a transformed, shifted version of the other.
Topics
musical canon, shape invariance, supersymmetry, exactly solvable equations
Domains
differential equations, eigenvalue problems, quantum mechanics, supersymmetry, music, composition, canon form
Methods
conceptual analogy, eigenfunction analysis, factorization method, worked example
Media
musical melody, differential operators, Schrödinger equation
Paper text
The text below is the locally extracted OCR/Markdown version of the paper. Raw PDF files remain local and are not published here.
Proceedings of Bridges 2015: Mathematics, Music, Art, Architecture, Culture
The Musical Canon Inside Differential Equations
Donald Spector Department of Physics Hobart & William Smith Colleges Geneva, NY 14456 USA spector@hws.edu
Abstract
A musical canon contains two or more lines of music, each playing the same basic melody, but with their starting points shifted. Surprisingly, exactly this same structure emerges among an interesting set of differential equations (including some that are important for physics) that exhibit the property known as shape invariance. In this paper, I demonstrate the parallelism of these structures.
Introduction
Imagine listening to a melody. Perhaps it is appealing, perhaps not. But now, for some reason, you listen to two people playing the same melody, except one has started a measure after the first person. For most melodies, the result would be unremarkable at best, and more likely somewhat cacophonous. But for certain melodies, something surprising emerges: a euphonious piece of music, the two lines harmonizing effectively with each other. Not only does the second measure suitably follow the first measure melodically, but also, at the same time, the second measure meshes harmonically with the first measure. Until you played the melody in this dual way, this structure was hidden, but it was clearly essential to how the piece was composed.
Of course, the structure could be more elaborate. Three or four people could play the melody, each entering a fixed interval after the previous voice, and they might still fit together. Or perhaps the second line is shifted in time and in pitch, say up a fifth, and, if there are additional voices, these might each come in a fifth above the previous voice. And while most melodies would yield something akin to noise when played this way, there are a select few melodies that yield something harmonious and appealing. The pieces produced by such self-harmonizing melodies are called canons.
Discovering that a melody is self-harmonizing reveals a structure underlying the melody that is not apparent unless the melody is paired with itself in the appropriate way. Surprisingly, a very similar structure emerges among a class of differential equations, including some that are important for physics.
In particular, we will look at differential equations which we treat as eigenvalue problems. As a toy model, we might ask, “For what functions is , where is a constant?” To make this better defined, we might require that the functions be defined on the positive real axis, and go to zero as . The functions that satisfy this condition are where is a positive real number, and . Thus, the possible values of are the positive real numbers; this is called the spectrum of . The functions are the eigenfunctions of , and we can choose some convention (e.g., ) to determine a unique eigenfunction for each value in the spectrum.
We can generalize this problem to any differential operator, that is, an expression like or . When we do so, we can typically show that there is some spectrum and set of
One should be aware that in most actual canons, composers include slight modifications between the voices, although this is not the case in a perfect round, for example.
eigenfunctions, but without a way to determine these; even knowing part of the spectrum or some of the eigenfunctions does not tell you what the rest of the spectrum and eigenfunctions are.
However, there are specific differential operators—appearing in Sturm-Liouville problems and quantum physics—for which the exact spectrum and eigenfunctions can be found, using methods from analysis. Why these operators were special was not clear. But in work over the past half century [8] [5] [2] [4] [11], it has emerged that the spectrum and eigenfunctions of any one of these special differential operators is not properly understood alone. Rather, each of these exactly solvable differential operators has a partner differential operator (obtained via supersymmetry) such that, for example, the second eigenfunction of one differential operator must relate, in a specific way, to the first eigenfunction of its partner differential operator. The partner differential operator can be obtained in two distinct ways from the original differential operator, and the reason that these differential operators have spectra and eigenfunctions that can be solved exactly is because of the two simultaneous ways they must pair with their shifted partners. Just as, in a canon, the need to harmonize effectively with the first measure determines the form of the second measure, the need to be a supersymmetry transform of the first eigenfunction determines the form of the second eigenfunction.
In short, discovering the algebraic reason these particular problems are analytically exactly solvable is like discovering that a melody you had known all your life was actually designed to be part of a canon.
In writing for an audience with mixed expertise, it is a challenge to choose between the general formulation and specific examples. The simplest specific example does exhibit the necessary features, but at the same time, does not exhibit the full possible structure. But the general formulation requires more background than it is feasible to develop in this paper. Thus, I will focus primarily on a simple example, but then also discuss what can be generalized.
This paper was inspired by Noam Elkies’ public lecture at Bridges 2014, and the recognition that the musical structures he was describing had the same form as the mathematical structures I was familiar with from the study of shape invariant differential equations in quantum mechanics
3 Canons in Music
In music, a canon is a piece in which there are several lines, each of which plays the same melody, but starting at different times [9]. In the simplest case, one has two voices, each playing the exact same melody, but with the two voices shifted in time, the second voice starting after the first voice has already played several notes.
Even within the canon form, there is a richness of possibilities. One might have two, three, four, or more voices. There are canons in which each later entering voice is transposed relative to the previous voice; canons in which voices may appear reflected in pitch (e.g., the second voice plays the melody of the first voice in contrary motion, one melody going up in pitch where the other goes down); and canons in which the duration of notes in the voices might be subject to an overall scale factor (e.g., the second voice plays the same melody as the first voice, but each note lasts twice as long as its counterpart in the first voice).
For our purposes, we can focus primarily on the so-called simple canon, in which each voice plays exactly the same melody as the first voice, at the same pitches, in the same tempo, and furthermore, with each voice entering by the same time delay from the previous voice. For the most part, it will suffice to look at a two voice simple canon, discussing generalizations as appropriate. We will denote the measure of the overall piece as measure N, and the measure of the basic melody as segment N.
For convenience, we make the further restrictions that the measures of the piece are rhythmically regular (i.e., each measure has the same number of beats) and that each voice comes in one measure after the previous voice. Thus, the second voice enters when the first voice begins its second measure; if there were are voices, then in the ninth measure of the piece, the first voice plays the ninth segment of the melody at the same time
The Musical Canon Inside Differential Equations
that the second voice plays the eighth segment, the third voice plays the seventh segment, and the fourth voice plays the sixth segment. Letting the time delay between voices be one measure gives us an easy way to speak of the time shift between different lines.
How might one write a two-part simple canon? One determines segment #1 of the melody and places this in measure #1 of the first voice. Measure #1 of the second voice is left empty, but then measure #2 of the second voice is filled with segment #1 of the melody. Using the rules of counterpoint, we now determine segment #2 of the melody to place in measure #2 of the first voice, so that it fits appropriately with what else is being played at that time (namely, segment #1 in voice two). Now segment #2 is placed in measure #3 of the second voice; the rules of counterpoint let us determine a segment #3 of the melody, which goes in measure #3 of the first voice, as well as in measure #4 of the second voice. One continues in this way, with the rules of counterpoint allowing us to pair what goes on in measures played simultaneously, and the time shift of the canon letting us move forward from measure in voice one to measure in voice two.
Canons in Differential Equations
Sometimes one studies a differential equation with a particular set of initial conditions so that there is a unique solution. However, there are also situations that arise—this is, for example, often the case in physics or when solving a partial differential equation by means of separation of variables—in which one has an ordinary differential equation of a form such as
where is specified, but we are looking for functions and constants that together provide a solution to the equation. We can organize the solutions as , , , …, where we have E_1 < E_2 < E_3 < \dots. We will refer to the as energies, since that is the role they play in quantum mechanics, but this identification is not essential; here it is just a convenient way to refer to these constants.
Most such systems cannot be solved exactly, but there are select examples whose full spectrum can be determined exactly by power series or other methods of analysis. The reason such solutions exist is not apparent; it just seems like a mathematical coincidence.
But in [8] [5] [2] [4] [11], the underlying reason these particular systems can be solved exactly has been identified. One finds that in those situations, system (1) has a partner equation, to be described below. The partner equation has its own solutions , , , … However, in the exactly solvable cases, the solutions of the partner equation are related to those of the original equation by and . This relationship is shown in Figure 1.
Once we establish this structure, the differential equation almost solves itself, in a way analogous to what happens in a musical canon. The idea is that the original equation has a solution with energy with function . The partner equation has no solution with energy . However, the function is a solution of the partner equation with energy , while the original equation has a different function that has energy . This function appears as the function with energy in the solution to the partner equation, but then one finds a separate function that solves the original equation with energy .
The parallel to the musical canon should be clear. For a given energy value , the original equation has a solution while the partner equation has a solution . This is what happens in a two-part simple canon, where at the measure of the piece, the first voice plays segment of the melody while the second voice plays segment . Thus, the first line of the canon is like the original equation, and the second line of the canon is like the partner equation. Each new energy corresponds to a new measure. In
Spector
Figure 1: The solutions of the and equations
the canon, whatever appears in measure for the first voice appears in measure for the second voice, so that at measure , one will hear segment and segment ; in the differential equation, whatever appears with energy for the original equation appears with energy for the partner equation, so that at energy there will be two functions, and , with that same energy. With the original and partner differential equations, there will be a mathematical rule allows us to move between the two differential equations, just as counterpoint allows us to move between the two lines of the canon (although the rules of counterpoint do allow for more flexibility than the mathematical correspondence does).
Differential Equations: Spectrum
We now proceed to find the canon hidden within some differential equations. For the purposes of this paper, we will consider second-order ordinary differential equations of the form
where we are trying to determine functions and real constants that will satisfy this equation. (To keep things well-behaved, we typically only seek that are square integrable.) Solving this problem is essential in quantum mechanics, where this equation is called the time-dependent Schrödinger equation and where corresponds to the physical energy [7], but this sort of problem arises more generally when trying to find sets of basis functions in a large variety of contexts.
One way to look at the equation (2) is as an eigenvalue problem. We define the operator
and then our initial differential equation (2) can be understood as finding solutions to the equation
Thus, the problem we have before us can be understood as finding the eigenfunctions and corresponding eigenvalues of the object . This is known as finding the spectrum of the differential operator .
Fortunately, for those unfamiliar with the above terminology, the actual math that we will need is merely that of ordinary one variable calculus.
Differential Equations: Spectrum Pairing
Let us suppose that we are trying to solve , but we find that there is a way to factorize and write . For right now, we will just examine this problem formally, but in the next section, we will see a particular example of this structure. (Although the order of and matters, the order of or and any real number like can be interchanged at will.)
So if we have and such that , what happens if we consider ? What is the connection between and ? The answer is that whenever has a solution with energy , so does , and vice versa. The functions need not be the same, but the values of are.
To see this, let us imagine we have a solution to , or, in other words . Then
(5)
If we look at this chain of equality, we see, then, that if satisfies , then satisfies . A similar argument shows that if , then .
In other words, energies that we obtain for are the same as the ones we obtain for . Associated with this is also a pairing of the functions that give a common , by acting on that function with either or , depending on which direction we are going. (The origin of this pairing is supersymmetry [2]).
Note that there is one caveat in the above. If there is a function , it does satisfy with energy , but there is no corresponding function to be a solution to the equation. (A similar statement holds if .) Thus we need to modify our statement: the pairing of solutions for the and equations holds for the non-zero energies only. This actually will be beneficial to us!
This pairing has gotten us halfway to our goal, associating solutions to the differential equation and to the differential equation by pairing solutions with the same value, much as we can associate, in a canon, any two measures played at the same time. But this is just the first step. It is not until we get to the next property that the canon structure becomes both apparent and natural.
The Quantum Harmonic Oscillator
We now turn to a particular example, namely the equation
(6)
This simple equation is not only intimately associated with the Hermite polynomials [1], but it is also of fundamental importance in quantum physics. It is the equation for the quantum harmonic oscillator, appears in the mathematical derivation that shows that electromagnetic and other fields can be described in terms of particles, is used to describe vibrations of molecules, and plays a key role in spectroscopy.
We can write equation (6) as , where
(7)
We will define
A=\frac{1}{\sqrt{2}}\Big{(}-\frac{d}{dx}+x\Big{)}\qquad\qquad B=\frac{1}{\sqrt{2}}\Big{(}\frac{d}{dx}+x\Big{)} (8)
Then, it is a simple calculation to see that for any function ,
A(B(f(x)))=A(Bf(x))=\frac{1}{2}\Bigl{(}-\frac{d}{dx}+x\Bigr{)}\Bigl{(}\frac{df(x)}{dx}+xf(x)\Bigr{)}=-\frac{1}{2}\frac{d^{2}}{dx^{2}}f(x)+\frac{1}{2}(x^{2}-1)f(x)=Hf(x) (9)
and so . Using the results of this previous section, this means that energies for which has solutions are also the energies for which has solutions. What is ? Calculating, we see
(10)
and so .
What is striking about this is that . In other words, other than a shift by an overall constant, and are the same. This allows us to find solutions to the differential equation.
3.3 Canons and the Solution to the Harmonic Oscillator
We are now in a position to find the solutions (energies and eigenfunctions) to . What do we know so far? In addition to the general properties connecting and , we now have the additional result that . Thus, if , . This means that the solutions to the and equations are paired in an even tighter structure than the simple vs. relationships would imply.
Recall that from the general pairing of , we know that if , then . From the particular result , we can go further: . Put all together, this yields
(11)
So now how do we solve the original equation? To get started, we need one technical point. As is shown in the appendix, the energies for for (6) have to be non-negative. Thus, if we can find a solution to , this has to correspond to , the lowest energy in the spectrum. Furthermore, since , this means the lowest possible energy for the equation is .
Finding a solution to is easy, as we need simply solve . The solution is obtained via
0=B\phi(x)=\frac{1}{\sqrt{2}}\Bigl{(}\frac{d}{dx}+x\Bigr{)}\phi(x)\qquad\qquad\Longrightarrow\qquad\qquad\frac{d\phi_{1}(x)}{dx}=-x\phi_{1}(x) (12)
from which it follows quite straightforwardly that . (Since we are thinking of these solutions as eigenfunctions or as basis functions like the sines and cosines of Fourier theory, multiplying this solution by an overall constant still produces a solution, but does not change the meaning or significance of the solution.)
With in place, we now work our way up the paired equations, in what looks just like a two-part simple canon. We proceed as follows:
- With energy , has a solution .
- There is no solution with energy .
- With energy , has a solution , while has a solution .
- With energy , has a solution , while has a solution .
- The solution for at energy (where is a natural number) shows up at energy for
The Musical Canon Inside Differential Equations
Solutions of
Solutions of
Figure 2: The canon structure in music and differential equations.
- In general, if the equation has a solution at energy , the equation has a solution at that same energy ; we define .
Thus, we see that the analogy to the structure of a two-part simple canon is complete. In the canon, segments and are played during measure , just as in the harmonic oscillator solutions and appear at energy . In the canon, the segment that appears in voice one at measure is the same segment that appears in voice two at measure , just as the solution that appears at energy for the equation appears at energy for the equation. This is summarized compactly in Figure 2.
Conclusion and Generalizations
The analogy I have described above is very neat and tidy. Is this just a special case, or is this applicable in a more general context? The answer is the latter: this is not just a statement about two-part canons and the quantum harmonic oscillator, but can be applied in a wider array of circumstances.
First, the generalization to multi-part canons emerges naturally from the description above. For simplicity, consider still the quantum harmonic oscillator. We showed that the solutions of and were related like the measures of a two-part musical canon because . It is a simple observation to recognize that if and are related like two voices in a musical canon, then we can iterate this process and created a third object which is partnered with from the other direction: the solutions, which appear one energy higher for than for , will appear one energy lower for than for . Thus, we can iterate our process to create the analogue of a musical canon with three, four, or more voices.
Second, the harmonic oscillator equation is not the only shape invariant equation. Others are well-known and important in the physics literature, including [2] the radial equation for the hydrogen atom, the particle in a box, the Poschl-Teller potential, as well as models which offer string theory-motivated generalizations of quantum mechanics [10] and the multi-particle Calogero model [3] [6]. Indeed, exactly solvable systems in quantum physics seem quite generally to exhibit shape invariance.
To understand these generalizations, note that systems can be shape invariant without having integer-
Spector
spaced energies. Instead of a relationship as simple as , the relationship can be slightly more complicated. Let depend on some real number (a parameter in the differential equation). Then the pairing of and still works as described above, and we still say the system is shape invariant when and have the same mathematical form. However, the parameter allows some extra flexibility. For example, in some cases we will find that , where is a real number constant that depends on . (Note that is just one example; other functions of could appear, depending on the system at hand.) The plays the role here that shifting the energy by 1 unit did in the harmonic oscillator. The appearance of indicates that the partner equation has the same form as , but its eigenfunctions that appear in the solutions are rescaled in some way. Thus, we are still encountering the structure of a musical canon, but the kind in which each new voice is a transformed form of the preceding voice.
Appendix
To see that the energies in (6) are non-negative, recall that , and use integration by parts to get
Since must be square integrable, it vanishes at . The expression on the right is the integral of a function squared, and so must be non-negative. Thus, if , we have
Since the integral of over all space must also be non-negative, this implies that .
References
[1] M.L. Boas. Mathematical Methods in the Physical Sciences, 3rd edition. Wiley 2005.
[2] F. Cooper, A. Khare and U. Sukhatme, Supersymmetry and Quantum Mechanics, Phys. Rept. 251(1995) 267.
[3] C.J. Efthimiou and D. Spector, Shape Invariance in the Calogero and Calogero-Sutherland Models, Phys. Rev. A 56 (1997) 208.
[4] M. Faux and D. Spector, A BPS Interpretation of Shape Invariance, J. Phys. A 37 (2004) 10397.
[5] L.E. Gendenshtein, Derivation of the exact spectra of the Schrödinger equation by means of supersymmetry, JETP Lett. 38 (1983) 356.
[6] P.K. Ghosh, A. Khare, and M. Sivakumar, Supersymmetry, shape invariance, and solvability of and Calogero-Sutherland model, Phys. Rev. A 58 (1998) 821.
[7] D.J. Griffiths. Introduction to Quantum Mechanics, 2nd edition. Pearson Prentice Hall 2014.
[8] L. Infeld and T. E. Hull, The Factorization Method, Rev. Mod. Phys. 23 (1951) 21.
[9] D.M. Randel, ed. The Harvard Dictionary of Music, 4th edition. The Belknap Press of Harvard University Press 2003.
[10] D. Spector, Minimal Length Uncertainty Relations and New Shape Invariant Models, J. Math. Phys. 49 (2008) 082101.
[11] D. Spector, unpublished.