Operator calculus

Students who take a course in differential equations don’t really learn how to solve differential equations. The problems whose solutions they reproduce were solved over 300 years ago. The methods taught in undergraduate ODE classes are in some sense mnemonics, a way to remember a solution discovered long ago.

Abandon hope of originality

The more scrupulous students in an ODE class cringe at being told “Guess a solution of the form …” because it seems like cheating. They may think “But I really want to learn how to solve things on my own.” This objection isn’t often addressed in part because it’s not often said out loud. But if it were explicitly stated, here’s one way to answer it.

That’s great that you want to learn how to solve differential equations on your own. But solving differential equations, in the sense of finding closed-form solutions by hand, is really hard, and unlikely to succeed. The differential equations that come up in application, that have closed-form solutions, and whose solutions can be calculated by hand in under an hour have been known since the Bernoulli’s. If this is an exaggeration, it’s a slight exaggeration.

You will learn some useful things in this class, and you may even get your first exposure to ideas that latter lead you to do original mathematics [1]. But if so, that original mathematics probably won’t be finding new closed-form solutions to useful differential equations.

This changes the perspective of the ODE class. Instead of pretending that students are going to learn how to solve differential equations ex nihilo, we can be honest that students are going to learn how to “look up” solutions to solved problems. Learning how to look up these solutions is not trivial, and in fact it takes about a semester to learn. You can’t literally look up the solution to a particular differential equation in all its specifics, but you can learn to follow the recipes forclasses of equations

The role of rigor

There is a time for everything under the sun. A time for rigor and a time for handwaving. A time to embrace epsilons and a time to shun epsilons.

You can learn a lot of important reusable analysis techniques in the context of differential equations. And if that’s the goal, being rigorous is good. But if the goal is to recall the solution to a solved problem, then it’s expedient to use dirty hacks; think of them almost as mnemonics rather than as solution techniques.

Once you have a candidate solution in hand, you can always rigorously verify that it works by sticking it into the differential equation. In that sense you’re not sacrificing rigor at all.

Operator calculus

Operator calculus treats the differential operator D as a formal symbol and does calculus with it as if it were a number. This is commonly called an abuse of notation, but it has a certain elegance to it. The manipulations could be made rigorous, though not by students in an undergraduate ODE class.

Operator calculus is very powerful, and with great power comes great responsibility. It is not often taught to undergraduates, and for good reason. Sometimes formal operations are justified and sometimes they’re not. Misuse can lead to results that are simply wrong and not just illegally obtained. With that said, let’s jump in.

Let’s find a solution [2] to

y'' + 7y' + 12 = x^2.

Writing the differential operator as D the equation becomes

(D^2 + 7D + 12)y = x^2

and so the solution is obviously (!)

y = \frac{1}{D^2 + 7D + 12} x^2.

“You can’t just divide by a differential operator like that!” Oh yeah? We’re going to do more than that. We’re going to break it into partial fractions and power series!

 \frac{1}{D^2 + 7D + 12} = \frac{1}{D+3} - \frac{1}{D+4} = \frac{1}{12} - \frac{7}{144}D + \frac{37}{1728}D^2 + {\cal O}(D^3)

The last term means terms involving D³ and higher powers of D.

Now the first derivative of x² is 2x, the second derivative is 2, and all higher derivatives are 0. So when we apply the operator series above to x² only the terms up to D² contribute anything. From this we can tell that

\frac{1}{12}x^2 - \frac{7}{72}x + \frac{37}{864}

is a solution to our differential equation. You may be deeply skeptical of how we got here, and good for you if you are, but it’s easy to show that this is in fact a solution to our differential equation.

Is this worth it?

There are other ways to find a solution to our differential equation. For example, you might have made an inspired guess that the solution is a quadratic polynomial and solved for the coefficients of that polynomial.

On the other hand, the operator calculus approach is more general. We could use a similar approach to solve differential equations with a wide variety of right hand sides. And the approach is systematic enough to be programmed into a computer algebra system.

Related posts

[1] That was my experience. I specialized in PDEs in grad school and learned a lot that was useful later outside of PDEs.

[2] The general solution to linear equations like this is the general solution to the corresponding homogeneous equation (i.e. with the right hand side set to 0) plus a “particular solution” (i.e. any solution to the equation with the original right hand side restored). Any particular solution will do, because any two particular solutions differ by a solution to the homogeneous equation.


3 thoughts on “Operator calculus

  1. But the technique you described would only generally work for constant coefficient equations. That is, if the partial frac decomposition (ODF) is analogous to factoring the operator, which I think it is. I like the PDF approach, though. Really cool.

  2. Yes! As an engineering undergrad taking the required math prerequisites, our diffyq professor sometimes had the occasional “Not On The Exam” class to ease the stress of the course. Most often, these were “interesting” problems, sometimes stories about the history of a technique. Seldom was it a different solution technique.

    In one class he demonstrated this “Math on the Operator” approach, while one of his TAs solved it “correctly”. I remember well the stunned silence when the two solutions matched.

    Into the silence the professor said, “There’s a reason we don’t teach this in this class, but we can’t tell you why until after you become a grad student.”

  3. Pursuing this formal fantasy further, we can get a solution to the homogeneous equation. For brevity, let’s solve –y’ + ay = 0. Thus y = 1/(a-D) * 0, formally. Let’s write zero as a^(∞+1) x^∞/∞! where ∞ is a formal infinite integer. Since x^k/k! -> 0 as k -> ∞, we can pretend it’s okay to substitute it for zero. Formally, we have a^∞/a^(∞–k) = a^k by the laws of exponents. Likewise, since D^(n–k) x^n/n! = x^k/k!, we have D^(∞–k) x^∞/∞! = x^k/k! We may as well multiply our zero by a constant of integration C. Expanding 1/(a-D), our solution becomes y = [sum D^n/a^(n+1)] * a^(∞+1) x^∞/∞! * C where the sum is from n=0 to n=∞. Now change the summation index to k = ∞ – n to obtain y = C * [sum (D^(∞-k) x^∞/∞!) * (a^(∞+1)/a^(∞–k+1))] = C * [sum a^k x^k/k!] = C e^(ax). Voilà!

    I don’t recall where I first saw the operator approach, but it’s found in George Simmons’ textbook.

    My view is that since these formal operations respect the rules of algebraic, including differentiation rules, the object they create, provided it is a well-defined object, will satisfy formal relations such as the differential equation.

Comments are closed.