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:
“The main object of a revolution is the liberation of man ... not the interpretation and application of some transcendental ideology.”
—Jean Genet (1910–1986)
“It is known that Whistler when asked how long it took him to paint one of his “nocturnes” answered: “All of my life.” With the same rigor he could have said that all of the centuries that preceded the moment when he painted were necessary. From that correct application of the law of causality it follows that the slightest event presupposes the inconceivable universe and, conversely, that the universe needs even the slightest of events.”
—Jorge Luis Borges (1899–1986)
“Great abilites are not requisite for an Historian; for in historical composition, all the greatest powers of the human mind are quiescent. He has facts ready to his hand; so there is no exercise of invention. Imagination is not required in any degree; only about as much as is used in the lowest kinds of poetry. Some penetration, accuracy, and colouring, will fit a man for the task, if he can give the application which is necessary.”
—Samuel Johnson (1709–1784)