Sunday Function

Let's do two functions today. As sometimes happens, in this case we're not so interested in the functions themselves as the fact that these functions happen to be part of a general class of functions. Just as we can classify the real numbers as even, odd, or neither (numbers like pi, 1/2, and the rest of the non-integers are neither), we can classify functions as odd, even, or neither. This is a random even function and its graph:

i-d4bb9fe09d6b78eb832985821d8a307f-1.png
i-7b7142f1efa09b47c3b8242f89bcb9f4-graph.png

What makes this function even? A function is even if it's symmetric about the y-axis. In other words an even function will have the same value at at x = 1 as it does at x = -1, and correspondingly for all other values of x. To say the same thing symbolically, a function is even if and only if

i-8d7070ce28f0af28047c7a5fb8246d53-4.png

Not so bad. Odd functions are similar, and here's an example:

i-88516ca505d84f969b7ab15a965c3fb3-2.png
i-3fdee7de4197c08986e3407853fa09fa-graph2.png

Odd functions are antisymmetric about the y axis. Along the lines of even functions, symbolically you can say that a function is odd if and only if:

i-bb5c2c6b0452df43a61e3974bd9b473f-5.png

Odd and even function tend to follow similar though not identical patterns to odd and even numbers. An even function times an even function is an even function. Odd times odd is even. Odd times even is odd. For instance, if you take our even and our odd functions above and multiply them, you'll get an odd function with a graph like this:

i-d3fdbda776403268fadccbd8598f89a3-graph3.png

All this is vaguely interesting, but really why bother with it? Mathematically there's a number of reasons. Understanding the properties of even and odd functions can help simplify a lot of problems. For instance, that last odd function integrated from minus infinity to infinity is zero because the area below the curve on the right is exactly balanced by the area above the curve on the left. We know that without actually having to do the integral by hand. There's a number of other important properties along those lines that can make your life easier.

But from a physics standpoint these symmetry and antisymmetry properties are even more important. The symmetric or antisymmetric character of a wavefunction under exchange of particles is the fundamental difference between bosons and fermions, leading to such important phenomena as the Pauli exclusion principle. We're going to go into some detail about that soon, which is why we're laying the groundwork now. Until then, enjoy the weekend!

More like this

Last time on Sunday Function we talked about two types of symmetries that a real function might have: odd and even symmetry under reflection about the y-axis. Much more than I expected even as an undergraduate student, these types of symmetries turn out to be of amazingly fundamental importance in…
So, in the previous post about symmetry and the difference between bosons and fermions, I threw in a bunch of teasing comments about how the requirement that quantum particles be indistinguishable has surprising and interesting consequences. Of course, I never quite explained what all that was…
We've done a lot of discussion of the concept of integrals of a function here on this blog. Their definitions and applications are so broad as to defy any one-sentence description, but one of the most basic is the idea of the area under a curve. More precisely it's the signed area under the curve…
In comments to my review of "The Race for Absolute Zero", I promised to try to write up an explanation of BEC on the blog. A bit of preparatory Googling demonstrates, though, that I already did, in the fall of 2006, talking about identical particles, Pauli Exclusion, and BEC. You might've thought I…

Is gravitation even-function? Newton's r^2 and Green's paired squares, Einstein's ten equations. Obviously even.

A parity Eotvos experiment tests for odd-function gravitation. Oppose chemically identical opposite parity atomic mass distributions as enantiomorphic space groups P3(1)21 versus P3(2)21 or P3(1) versus P3(2). The former contains quartz, berlinite and analogues, cinnabar, tellurium, selenium, benzil. Quartz is densely packed, 12.557 A^3/atom. In P3(1) / P3(2), the gamma-polymorph of glycine is more densely packed, 7.869 A^3/atom.

Quantized gravitations require supplementing Einstein-Hilbert action with a parity-violating Chern-Simons term providing mass to the gauge field. Einstein alone won't quantize - why would that be? Somebody should look.

Great post! What software/program are you using to draw those graphs? It looks pretty neat!

I'm using the new Mathematica. The older versions graphed a not-very-pretty B/W image, but the newer one does great visual work and is very customizable.