The display above is a variational inequality. Written as “solve on an unknown region with on its boundary”, it is a free-boundary problem: the boundary is part of the solution. The extra condition that fixes it, on where is smooth, is smooth pasting (or smooth fit).
Quantitative Finance · Glossary
What is Variational inequality, free-boundary problem, smooth pasting?
Also known as: variational inequality · free-boundary problem · smooth pasting