*This is a guest post by my friend and colleague Samantha Davies. Samantha is a math Ph.D student at the University of Washington, and a newly minted math blogger. Go check out her blog, With High Probability.*

If I said “let’s talk about temperature and voltage”, you might be interested, but few would react the same if instead I suggested an umbrella term: harmonic functions.

Harmonic functions are often introduced as foreign operators that follow a finicky set of rules, when really they’re extremely natural phenomena that everyone has seen before. Why the disconnect then? A complex analysis class won’t take the time to talk about potential energy storage, and a book on data science won’t discuss fluid dynamics. Emphasis is placed on instances of harmonic functions in one setting, instead of looking more broadly at the whole class of functions.

Understanding harmonic functions on both discrete and continuous structures leads to a better appreciation of any setting where these functions are found, whether that’s animation, heat distribution, a network of political leanings, random walks, certain fluid flows, or electrical circuits.

## Harmonic?

*Harmonic* originated as a descriptor for something that’s undergoing harmonic motion. If a spring with an attached mass is stretched or compressed, releasing that spring results in the system moving up and down. The mass undergoes harmonic motion until the system returns to its equilibrium. These repetitive movements exhibited by the mass are known as oscillations. In physics lingo, a simple harmonic motion is a type of oscillation where the force that restores an object to its equilibrium is directly proportional to the displacement.

So, take the mass on a spring as an example: there’s some restoring force which works to bring the spring back to where it would naturally hang still. The system has more potential energy when it’s really stretched out from its equilibrium position, or really smooshed together from its equilibrium position (it’s more difficult to pull a spring really far out or push a spring really close together).

Equations representing harmonic motion have solutions which can be written as functions of sine and cosine, and these became known as harmonics. Higher dimensional parallels of harmonics satisfy a certain partial differential equation called Laplace’s equation. As mathematicians are so skilled at using the same name for way too many things, today any real valued function with continuous second partial derivatives which satisfies Laplace’s equation is called a continuous harmonic function.

denotes the Laplace operator, also called the Laplacian. A continuous function defined on some region satisfies Laplace’s equation when , for all points in . My choice of the word “region” here is technical: being harmonic only makes sense in open, connected, nonempty sets.

The Laplacian is most easily described in terms of Cartesian coordinates, where it’s the sum of all ‘s unmixed second partial derivatives:

For example, is harmonic on all of because

Ironically, and are not harmonic in any region in , even though they define harmonic motion. Taking the second derivatives, and are only 0 at isolated points. In fact, harmonic functions on are exactly the linear functions.

The discrete Laplace operator is an analogue used on discrete structures like grids or graphs. These structures are all basically a set of vertices, where some pairs of vertices have an edge connecting them. A subset of vertices must be designated as the boundary, where the function has specified values called the boundary condition. The rest of the vertices are called interior.

A function on a graph assigns a value to each interior vertex, while satisfying the boundary condition. There’s also a function which assigns a value to each edge in a way such that for every vertex, the sum of its outgoing edges’ values is 1 (without loss of generality, otherwise normalize arbitrary nonnegative weights). Keep in mind that the edge weight function is not necessarily symmetric, as it’s not required that . The discrete Laplacian is still denoted , and the discrete form of Laplace’s equation is described by:

where , denotes the neighbors of , which are the vertices connected to by an edge.

Below is an example of a harmonic function on a grid which has symmetric edge weights. The function value is specified on the black boundary vertices, while the white interior vertices take on values that satisfy the discrete form of Laplace’s equation.

You can easily check that is harmonic at the corner vertices, but here’s the grosser computation for the 2 most central vertices on the grid (call the left one and the other ):

## Properties of harmonic functions

The definition of a harmonic function is not enlightening… it’s just an equation. But, harmonic functions satisfy an array of properties that are much more helpful in eliciting intuition about their behavior. These properties also make the functions particularly friendly to work with in mathematical contexts.

**Mean value property**

The mean value property states that the value of a harmonic function at an interior point is the average of the function’s values around the point. Of course, the definition of “average” depends on the setting. For example, in harmonic functions are just linear functions. So given any linear function, say , the value at a point can be found by averaging values on an interval around it: .

In , if is harmonic in a region Ω which contains a ball centered around , then is the average of on the surface of the ball. So in the complex plane, or equivalently , if the circle has radius , then for all :

In the discrete case, a harmonic function’s value on an interior vertex is the average of all the vertex’s neighbors’ values. If is harmonic at interior vertex then the mean value property states that:

In the picture below, the black vertices are the boundary while the white vertices are interior, and the harmonic function has been defined on the graph. Here, , so this is an example with edge weights that are not necessarily symmetric. For instance, while .

It’s easy to verify satisfies the mean value property at all interior vertices, but here’s the check for :

For the settings considered here, the mean value property is actually equivalent with being harmonic. If is a continuous function which satisfies the mean value property on a region , then is harmonic in *(proof in appendix)*. Any function on a graph which satisfies the mean value property also satisfies the discrete Laplacian; just rearrange the mean value property to see this.

**Maximum principle**

The mean value property leads directly to the maximum/ minimum principle for harmonic functions. This principle says that a nonconstant harmonic function on a closed and bounded region must attain its maximum and minimum on the boundary. It’s a consequence that’s easy to see for continuous and discrete settings: if a max/min were attained at an interior point, that interior point is also the average of some set of surrounding points. But it’s impossible for an average to be strictly greater than or less than all of its surrounding points unless the function is constant.

Above are plots of and on the set . is nowhere harmonic and is harmonic everywhere, which means that must satisfy the maximum/ minimum principle but there’s no guarantee that does. Looking at the graph above, doesn’t satisfy the the minimum principle because the minimum of on the domain is 0, which is achieved at the interior point (0,0). On the same set, the maximum of is 9, which is achieved at boundary points (3,0) and (-3,0), and the minimum of is -9, which is achieved at boundary points (0,3) and (0,-3).

**Uniqueness**

If a harmonic function is continuous on the boundary of a closed and bounded set and harmonic in the interior, then the values of the interior are uniquely determined by the values of the boundary. The proof of this is identical for the discrete and continuous case: if and were two such functions described above with the same boundary conditions, then is harmonic and its boundary values are 0. By the max/min principle, all the interior values are also 0, so on the whole set.

**Solution to a Dirichlet problem**

A Dirichlet problem is the problem of finding a function which solves some partial differential equation through out a region given its values on the region’s boundary. When considering harmonic functions in the discrete or continuous setting, the PDE to be solved is the appropriate form of Laplace’s equation.

So, given a region and a set of values to take on the boundary, does there exist a function which takes the designated values on the boundary and is harmonic in the interior of the region? The answer in the continuous setting is yes, so long as the boundary condition is sufficiently smooth. In the discrete setting, it’s much more complicated, especially on networks with infinitely many vertices. For most practical instances though, like grids or finite graphs with edge weight function the answer is still yes.

## Examples

I’ll go into detail about a harmonic function on a continuous structure, steady state temperature, and on a discrete structure, voltage. These phenomena are already familiar to us, but weaving previous knowledge with a new appreciation for harmonic functions is crucial to understanding how they, and other natural instances of harmonic functions, behave.

**Temperature**

Suppose you have an insulated object, like a wire, plate, or cube, and apply some temperature on its boundary. The temperature on the boundary will affect the temperature of the interior, and eventually these interior temperatures stabilize to some distribution which doesn’t change as time continues. This is known as the steady state temperature distribution.

A temperature function of spatial variables and time variable , satisfies the heat equation

where is a constant which represents the material’s ability to store and conduct thermal energy *(these modules for complex analysis have a nice derivation of the heat equation )*. The requirement that the temperature distribution is steady state yields the necessary condition that for all . So, functions solving the heat equation must satisfy , which means they are harmonic.

Intuitively, this is no surprise because any continuous function which satisfies the mean value property is harmonic. Still, temperature is a great example because it creates a familiar visual for a continuous harmonic function. Below is a picture of a steady state temperature distribution on a square metal plate of length millimeters, where the bottom edge has temperature set to ℃ and all other edges are set to 0℃.

Since in continuous settings the Dirichlet problem always has a unique solution for harmonic functions, there’s a unique temperature function which takes the designated values on the boundary and is harmonic in the interior of the region. That function is:

(Here’s the derivation of that equation, but it’s too much Diff EQs for here). So the value of at any point in the interior, like , can be calculated:

℃

**Voltage**

An electrical network can easily be abstracted to a graph. Any point in the network where circuit elements meet is a vertex, and the wires (or other channels) are edges. Each wire has some amount of conductance. As the name suggests, conductance is a measure for how easy it is for electric charge to pass through the wire.

Edges in the graph are assigned nonnegative values representing the wires’ conductance relative to the total conductance emanating from the vertex. These values are the edge weights in the graph, and again they’re not necessarily symmetric. If is the conductance of the edge between and and is the total conductance emanating from then, while .

The ground node in a network is an arbitrary node in the circuit picked to have an electrical potential energy per charge of 0 volts. So, the voltage at a node is the difference in electrical potential energy per charge between that node and the ground node.

The picture below shows an electrical network after the positive and negative terminals of a battery have been attached to two nodes.* *In this network, the conductance for all the wires is the same, so for all edges . When the positive and negative terminals of a battery are attached to two nodes in a circuit, a flow of electric charge, called current, is created and carried by electrons or ions.

The vertices representing the nodes attached to the battery are the boundary vertices, and here the node with the negative terminal attached to it as the ground node. After the battery is attached, voltage is induced on the rest of the nodes. The voltage taken on by each node minimizes the total energy lost as heat in the system.

The reader can quickly double check that the function is harmonic at all the interior points, or equivalently showing that the mean value property holds. After a couple extra facts about current it’s easy to show that the voltage at a node is always the average of its neighbors’ voltages, making voltage a harmonic function *(proof in* *appendix). *

## Wrap it up

At the end of the day, understanding harmonic functions makes you a better scientist (or better animation artist, apparently). If you want to understand phenomena like potential energy, data modeling, fluid flow, etc, then you’ve got to understand the math that controls it! Check out the appendix for proofs and extra facts that fell somewhere in the intersection of “things I didn’t think you’d care about” and “things I felt guilty leaving out”.

## Appendix

There are tons of references with more information about discrete harmonic functions, but I’m specifically interesting in those relating random walks and electrical networks. Here is a book whose 5th chapter presents some introductory material. Also this, from the Simons Foundation, and that, a paper from Benjamini and Lovász, are sources which dive deeper. The piece from the Simons Foundation further explains the relation between harmonic functions and minimizing the loss of energy in a network, like the voltage example with heat.

Again, here is an article about harmonic functions in animation.

These complex analysis modules, have sections about temperature distribution and fluid flow. They’re a pretty good tool for all your complex analysis needs, including some sections on harmonic functions in complex analysis.

**Harmonic** ** mean value property**

This is obvious for the discrete case, as the discrete Laplacian can be rewritten to show that the function’s value at a point is just the average of its neighbors. Given a continuous function, , which satisfies the mean value property throughout a disk, there exists (by Poisson’s formula) a function, , harmonic in the same disk and equal to on the boundary. By uniqueness, through out the disk and is harmonic in the disk. For anyone concerned about a region which isn’t a disk, the general fact is that the Dirichlet problem for harmonic function always has a solution.

**Proof that voltage is a harmonic function**

Voltage satisfies the mean value property and is therefore harmonic. As before is the conductance of the edge between and and is the total conductance emanating from , . Let be the edge value on the edge from to in the graph.

Let denote the current flowing through node to node , denote the voltage at node , denote the conductance of the edge between and , and denote the resistance of the edge between and . Ohm’s law relates current, resistance, and voltage by stating that

.

Kirchoff’s law states that the total current from a node is 0, so for any in the network

Now, we’re ready to show that voltage is a harmonic function.

Very good! Awesome material actually.

Have you heard of patterns? I used Laplace aswell

LikeLike

Regarding the boundary conditions for the square metal plate: how can two adjacent edges be set to different temperatures? There would be a point discontinuity along the perimeter. Is the temperature at the point not defined? I suppose the temperature would be defined for any physical temperature measurement (which would have a kernel that’ not a Dirac delta), but even in terms of setting up the computation on the discretized domain, how does that work?

LikeLike