Application
Consider the problem of solving Poisson's equation with zero boundary conditions:
Here, is a given continuous function on
With the help of the concept of trace, define the subspace to be all functions in the Sobolev space (this space is also denoted ) whose trace is zero. Then, the equation above can be given the weak formulation
- Find in such that
- for all in
Using the Lax–Milgram theorem one can then prove that this equation has precisely one solution, which implies that the original equation has precisely one weak solution.
One can employ similar ideas to prove the existence and uniqueness of more complicated partial differential equations and with other boundary conditions (such as Neumann and Robin), with the notion of trace playing an important role in all such problems.
Read more about this topic: Trace Operator
Famous quotes containing the word application:
“I think that a young state, like a young virgin, should modestly stay at home, and wait the application of suitors for an alliance with her; and not run about offering her amity to all the world; and hazarding their refusal.... Our virgin is a jolly one; and tho at present not very rich, will in time be a great fortune, and where she has a favorable predisposition, it seems to me well worth cultivating.”
—Benjamin Franklin (1706–1790)
“We will not be imposed upon by this vast application of forces. We believe that most things will have to be accomplished still by the application called Industry. We are rather pleased, after all, to consider the small private, but both constant and accumulated, force which stands behind every spade in the field. This it is that makes the valleys shine, and the deserts really bloom.”
—Henry David Thoreau (1817–1862)
“The human mind is capable of excitement without the application of gross and violent stimulants; and he must have a very faint perception of its beauty and dignity who does not know this.”
—William Wordsworth (1770–1850)