Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Hi! I ran into this PDE working on a question in cake cutting. Here it is:


for all $(x,y) \in [0,1]\times[0,1]$.


share|improve this question
You're right! That does look like some sort of differential equation! Uh, what is the question? Gerhard "Ask Me About System Design" Paseman, 2011.11.27 –  Gerhard Paseman Nov 28 '11 at 7:43
I'd call it a functional partial differential equation, since it has both $f(x,y)$ and $f(y,x)$. Anyway, among the solutions are $f(x,y) = F(x) + G(y)$ for arbitrary $F$ and $G$. –  Robert Israel Nov 28 '11 at 7:57
Write as $\partial_1\partial_2f(x,y)=\frac{(1-x)}{x}\partial_1\partial_2f(y,x)=0$ or vice versa. Give $f(x,y)$ any sufficiently regular value on $(x,y)$ in the domain with $y\ge x$. On the other half of the domain, you have a wave equation $\partial_1\partial_2f(x,y)=g(x,y)$ in characteristic coordinates with a source. The boundaries on this half of the domain are timelike ($x=y$) and characteristic (sides of the square). This could now be treated as a characteristic initial-boundary value problem. –  Igor Khavkine Nov 28 '11 at 8:26
I made a slight change to the question. This should not have a single solution, but I'm looking for a characterization of possible solutions. I agree that a sum of functions of x and y is a solution - thanks! –  Omer Nov 28 '11 at 8:26
Sorry for the edit, and thanks for the answers so far! –  Omer Nov 28 '11 at 8:28

1 Answer 1

up vote 3 down vote accepted

The updated PDE is simpler than the original one. The same argument I gave in the comments still applies, but now you don't need to solve a wave equation, just integrate along one of the coordinates.

Namely, give $f(x,y)$ any sufficiently regular value on $(x,y)\in[0,1]\times[0,1]$ with $y\ge x$. On the other half of the domain $(x,y)\in[0,1]\times[0,1]$ with $x\ge y$, define $g(x,y) = \frac{(1-x)}{x}\partial_2 f(y,x)$. On that domain your PDE reduces to $$ \partial_1 f(x,y) = g(x,y) $$ $$ f(x,y) = f(y,y) + \int_y^x g(x',y) dx' $$

share|improve this answer
Awesome, thanks! –  Omer Nov 28 '11 at 8:46

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.