Thanks for the demonstration. Do you have any idea, if I had relevant assumptions, what general techniques I could possibly use to show the solution is unique? (provided such techniques don't rely on the specific assumptions too much...)