Formal Statement
Suppose the following data is given:
- an open bounded domain ⊂ ℝn with smooth boundary
- a smooth function on ∂ (the boundary of )
- a smooth function defined on all of such that <, i.e. the restriction of to the boundary of (its trace) is less than .
Then consider the set
which is a closed convex subset of the Sobolev space of square integrable functions with square integrable weak first derivatives, containing precisely those functions with the desired boundary conditions which are also above the obstacle. The solution to the obstacle problem is the function which minimizes the energy integral
over all functions belonging to ; the existence of such a minimizer is assured by considerations of Hilbert space theory.
Read more about this topic: Obstacle Problem
Famous quotes containing the words formal and/or statement:
“Two clergymen disputing whether ordination would be valid without the imposition of both hands, the more formal one said, Do you think the Holy Dove could fly down with only one wing?”
—Horace Walpole (17171797)
“Children should know there are limits to family finances or they will confuse we cant afford that with they dont want me to have it. The first statement is a realistic and objective assessment of a situation, while the other carries an emotional message.”
—Jean Ross Peterson (20th century)