Skip to the Main Content

Note:These pages make extensive use of the latest XHTML and CSS Standards. They ought to look great in any standards-compliant modern browser. Unfortunately, they will probably look horrible in older browsers, like Netscape 4.x and IE 4.x. Moreover, many posts use MathML, which is, currently only supported in Mozilla. My best suggestion (and you will thank me when surfing an ever-increasing number of sites on the web which have been crafted to use the new standards) is to upgrade to the latest version of your browser. If that's not possible, consider moving to the Standards-compliant and open-source Mozilla browser.

February 7, 2017

Functional Equations I: Cauchy’s Equation

Posted by Tom Leinster

This semester, I’m teaching a seminar course on functional equations. Why? Among other reasons:

  1. Because I’m interested in measures of biological diversity. Dozens (or even hundreds?) of diversity measures have been proposed, but it would be a big step forward to have theorems of the form: “If you want your measure to have this property, this property, and this property, then it must be that measure. No other will do.”

  2. Because teaching a course on functional equations will force me to learn about functional equations.

  3. Because it touches on lots of mathematically interesting topics, such as entropy of various kinds and the theory of large deviations.

Today was a warm-up, focusing on Cauchy’s functional equation: which functions f:f: \mathbb{R} \to \mathbb{R} satisfy

f(x+y)=f(x)+f(y)x,y? f(x + y) = f(x) + f(y) \,\,\,\, \forall x, y \in \mathbb{R}?

(I wrote about this equation before when I discovered that one of the main references is in Esperanto.) Later classes will look at entropy, means, norms, diversity measures, and a newish probabilistic method for solving functional equations.

Read on for today’s notes and an outline of the whole course.

I don’t want to commit to TeXing up notes every week, as any such commitment would suck joy out of something I’m really doing for intellectual fulfilment (also known as “fun”). However, I seem to have done it this week. Here they are. For those who came to the class, the parts in black ink are pretty much exactly what I wrote on the board.

Here’s the overall plan. We’ll take it at whatever pace feels natural, so the section numbers below don’t correspond to weeks. The later sections are pretty tentative — plans might change!

  1. Warm-up   Which functions ff satisfy f(x+y)=f(x)+f(y)f(x + y) = f(x) + f(y)? Which functions of two variables can be separated as a product of functions of one variable?

  2. Shannon entropy   Basic ideas. Characterizations of entropy by Shannon, Faddeev, Rényi, etc. Relative entropy.

  3. Deformed entropies   Rényi and “Tsallis” entropies. Characterizations of them. Relative Rényi entropy.

  4. Probabilistic methods   Cramér’s large deviation theorem. Characterization of pp-norms and power means.

  5. Diversity of a single community   Background and introduction. Properties of diversity measures. Value. Towards a uniqueness theorem.

  6. Diversity of a metacommunity   Background: diversity within and between subcommunities; beta-diversity in ecology. Link back to relative entropy. Properties.

Posted at February 7, 2017 11:25 PM UTC

TrackBack URL for this Entry:   https://golem.ph.utexas.edu/cgi-bin/MT-3.0/dxy-tb.fcgi/2936

8 Comments & 0 Trackbacks

Re: Functional Equations I: Cauchy’s Equation

Fun old Putnam problem: Cauchy + graph not dense \implies \mathbb{R}-linear.

Posted by: Jesse C. McKeown on February 8, 2017 1:05 AM | Permalink | Reply to this

Re: Functional Equations I: Cauchy’s Equation

Which Putnam exam is this from?

For those who don’t feel like bashing their heads over this, you can apply rot-13 to see a solution:

Abgvpr gung fhpu na nqqvgvir ubzbzbecuvfz zhfg or D-yvarne, juvpu vzcyvrf gung vgf tencu jvyy or n irpgbe fhofcnpr (bire gur svryq D) bs gur erny cynar. Rvgure vgf tencu vf pbagnvarq va n fgenvtug yvar (fb vf tvira ol zhygvcyvpngvba ol n erny fpnyne: gur E-yvarne pnfr), be ryfr vgf tencu unf gjb E-yvarneyl vaqrcraqrag ryrzragf k, l, jurapr pbagnvaf nyy engvbany yvarne pbzovangvbaf bs k, l, juvpu gura svyy bhg n qrafr fhofrg bs gur cynar.

Posted by: Todd Trimble on February 9, 2017 9:55 PM | Permalink | Reply to this

Re: Functional Equations I: Cauchy’s Equation

Very nice solution!

Posted by: Tom Leinster on February 9, 2017 10:16 PM | Permalink | Reply to this

Re: Functional Equations I: Cauchy’s Equation

I don’t exactly remember what year it was from (or how exactly the problem was worded), but I know it was before 2001, because it came up in the practise sessions that year… I was a first-year undergrad, and probably even more annoying than I am now.

Posted by: Jesse C. McKeown on February 10, 2017 1:22 AM | Permalink | Reply to this

Re: Functional Equations I: Cauchy’s Equation

I guess everyone here knows, but solutions f:f \colon \mathbb{R} \to \mathbb{R} of f(x+y)=f(x)+f(y)f(x + y) = f(x) + f(y) that are not of the form f(x)=axf(x) = a x are all nonmeasurable and thus can only be proved to exist using nonconstructive methods, e.g. with the axiom of choice. So, one can if so inclined argue that for all practical purposes they don’t really exist.

(For all I know their existence is equivalent to the axiom of choice… someone must know.)

Posted by: John Baez on February 8, 2017 6:40 AM | Permalink | Reply to this

Re: Functional Equations I: Cauchy’s Equation

It’s not as known as you might think. Andreas Blass proved that the assumption “every vector space over every field has a basis” + ZF implies the axiom of choice. A nice encapsulated proof may be found here, section 3.

But as to whether “every vector space over a fixed ground field kk has a basis” implies AC: as far as I know little is known. For example, it seems to be open in the case k=k = \mathbb{Q}. This MO thread discusses this point.

My gut tells me that there’s no way that a specific vector space like \mathbb{R} having a \mathbb{Q}-basis would be nearly enough to prove AC. It’s just too restricted in scope. Also, while such a basis for \mathbb{R} is somewhat nasty from the point of view of descriptive set theory (it can’t be Borel for instance), it need not be too nasty: see this MO answer by Joel David Hamkins for some information. Curiously, this type of thing came up in Tom’s other recent Café thread, where I mentioned this old result of Sierpinski that Hamel bases can’t be analytic sets (i.e., continuous images of Borel sets) – but they can be projections of complements of projections of closed sets, according to Joel’s answer!

Posted by: Todd Trimble on February 8, 2017 2:17 PM | Permalink | Reply to this

Re: Functional Equations I: Cauchy’s Equation

I guess everyone here knows […]

I only know because I read Tom’s notes :-)

Posted by: Simon Willerton on February 8, 2017 8:49 PM | Permalink | Reply to this

Re: Functional Equations I: Cauchy’s Equation

In one of life’s odd moments of synchronicity, I was just reading about this very topic earlier today, in Jeremy Gray’s The Hilbert Challenge (Oxford UP, 2001). I started sampling this volume on Google Books because one of my research topics made unexpected contact with Hilbert’s 12th Problem, and I have only the most casual acquaintance with that whole area.

Posted by: Blake Stacey on February 9, 2017 7:49 PM | Permalink | Reply to this

Post a New Comment