### Where have all the functional equations gone (part I)

#### by Orr Shalit

My first encounter with research mathematics was in the last term of my undergraduate studies (spring 2003). My professor in the course “Introduction to Partial Differential Equations”, Prof. Boris Paneah, thought that it is pointless to give standard homework problems to students of pure mathematics, and instead he gave us several problems which were either extremely challenging, related to his research or related to advanced courses that he was going to give. This was a thrilling experience for me, and is one of the reasons why I decided not long after to do my master’s thesis under his supervision, since no other faculty member came even close to engaging us like Paneah (another reason was that the lectures themselves were fantastic). For example he suggested that we explore the ultrahyperbolic equation

in ,

or that we try to prove the existence of solutions to the two dimensional heat equation in a non-rectangular bounded region of the plane. I remember spending hours on the heat equation, unsuccessfully of course (if I was successful I would have probably become a PDE person). Especially memorable is the one time that he ended a lecture with the following three problems, which were, as you may guess, quite unrelated to the content of the lecture:

Problem 1:Let be an arbitrary sequence of real numbers. Does there exist a function such that ?

As usual, denotes the th derivative of at .

Problem 2:Consider the triangle in the plane with vertices . Fix a continuous function of two variables defined on this triangle. For every point on the hypotenuse (with ) form the rectangle which has vertices . Suppose that for every , one hasDoes it follow that ?

This is impossible to understand without a figure. I am incapable of drawing one, so I ask the readers to draw one for themselves.

Problem 3:Solve the functional equation.

Problem 1 is the famous *Borel problem*, which was also given to Paneah when he was a student (and he solved it). Problem 2 is a problem in the area called *integral geometry, *and Paneah treated a more complicated version of this problem in a series of papers, see this paper for example. Problem 3 is a rather classical functional equation, and is related to another strand of Paneah’s interests at the time, that of *overdeterminedness of functional equations*, see this paper.

I definitely thought about all three, but managed to solve the third one (my technique was to reduce it to a sequence of difference equations on finer and finer grids – a technique which for a while later I tried to apply to every single equation I met). The reader might want to think about these problems – they are all worthwhile – but below there is a problem I like better. Now at the end of each of Paneah’s lectures was a time when students came up to him, asked questions and presented to him solutions to problems that he gave. I came to him one of these times and handed in my solution neatly, and on the following week I was delighted to hear that my proof was correct! Then Paneah presented to the few of us that remained after the lecture the following problem:

Problem:Find all functions that satisfy the functional equation

One of the students asked immediately “what is assumed about ?” and Paneah answered something in the spirit of *assume whatever you need *(which is advice I follow to this day in matters of research). I went home and decided to assume that was **continuously differentiable** (after all, this was a course in PDEs!). This type of assumption usually makes functional equations much easier, but this equation is a functional equation in a **single** variable, thus being able to differentiate does not make it completely trivial.

Before I tell you how I like to solve this equation (I will only do this in the next post), I wish to tell you what Paneah told us immediately when showing us this equation: *this fits in a bigger picture*. This equation is no other than the classic Cauchy functional equation, when restricted to a one dimensional curve. Recall that Cauchy’s functional equation (on a bounded domain) is the equation

for in the region (say) . It is well known that if is assumed continuous then it solves this equation if and only if it is of the form for some (it is also well known that the assumption can be weakened to boundedness, measurability, or having a non-dense graph). I will repeat: it is a nice exercise for students in a first course in calculus to show that a continuous solution , satisfying the equation **for all points** **in the two dimensional region** , must have the form .

Now, the functional equation

is nothing but Cauchy’s functional equation, with the difference that the points for which the equation should hold are taken from the **one dimensional **curve

This fits into Paneah’s study of **conditional Cauchy equations**, see this paper (this theme was also studied by many others in the functional equations community, see “Functional equations on restricted domains”, Marek Kuczma, Aequationes mathematicae, Vol. 18, 1978). In my next post I will write about my favorite way to solve this equation under the assumption of continuous differentiability.

Before ending, I will tell you a sad story which everyone can learn from. Paneah’s class was rather special, and though we studied some equations that everybody does (like the heat equation and Laplace’s equation) there were also problems that are usually not (if ever) treated in courses on PDEs, like Goursat’s problem or Paneah’s solution to the third order hyperbolic equation in the plane. Thus, the **notes** one takes in this course were extremely valuable, since no textbook could help you prepare for the final exam. Now, in Israel every course has **two **official final examinations, and students are allowed to go to both. I went to the first one, but students who missed the first one or failed it could go to the second exam. One of the students who was preparing for the second exam and did not have a set of notes of his own, asked me to borrow my notes. * Of course you can borrow them, just bring them back*. Well, the lousy schmuck took the notes and that’s the last I saw of them. As I said, this was the last semester, and since I continued to do a master’s degree in the same department, but never saw him again, I assume that my notes were helpful!

Interesting post. As you know well, I also took a similar course with

Paneah, roughly at the same time, and after some time, when I

started my M.Sc. degree, I decided to do my thesis with him. My thesis

was about the Goursat problem, although in the beginning I did certain

things related to functional equations. Since functional equations (in

particular, the Cauchy functional equation) were mentioned in the post

and above, it may be of some interest to mention the paper [1] which discusses the Cauchy functional equation

in various settings, and, in particular, shows that if

is a solution to the equation

and, in addition, if is assumed to be measurable on a hypercube, then itself must be linear, that is, there exists a vector such that for all . The same holds if is defined on, say, a semigroup of which generates

or on a convex subset having a nonempty interior

(well, actually in the second case should be defined on slightly

larger set so that will be defined).

Note that the regularity condition that is measurable on

a hypercube is strictly weaker than measurability of on a hypercube. I am mentioning this paper since very recently it has been updated on the arXiv (I hope that it will be formally published somewhere in the future) and, as the list of references shows, some of the issues and personalities mentioned in this post also appear there (together with a quite extensive review regarding the Cauchy equation). Have a nice reading!

Finally, let me say regarding your lost notes, that one may avoid this

problem by asking the one who takes the notes to photocopy or scan

them within a very short time (e.g., one day) and soon after

to bring them back. In your specific case this cannot be done anymore,

but if you remember people who did with you this course,

then you can ask them to give you their notes (assuming they still

have) so you will be able to make a copy for yourself. Some of these

former students may be at the Technion or elsewhere.

[1] D. Reem, The Cauchy functional equation as an initial value problem, homomorphisms, tori, and corollaries, arXiv:1002.3721 [math.CA] (last updated: May 5, 2013)

http://arxiv.org/abs/1002.3721

[…] start off exactly where I stopped in the previous post: I will tell you my solution to the problem my PDEs lecturer (and later master’s thesis […]

[…] last of this series of posts on my love affair with functional equations (here are links to parts one, two and […]