Traces
Sobolev spaces are often considered when investigating partial differential equations. It is essential to consider boundary values of Sobolev functions. If u ∈ C(Ω), those boundary values are described by the restriction . However, it is not clear how to describe values at the boundary for u ∈ Wk,p(Ω), as the n-dimensional measure of the boundary is zero. The following theorem resolves the problem:
- Trace Theorem. Assume Ω is bounded with Lipschitz boundary. Then there exists a bounded linear operator such that
- and
Tu is called the trace of u. Roughly speaking, this theorem extends the restriction operator to the Sobolev space W1,p(Ω) for well-behaved Ω. Note that the trace operator T is in general not surjective, but maps for p ∈ (1,∞) onto the Sobolev-Slobodeckij space .
Intuitively, taking the trace costs 1/p of a derivative. The functions u in W1,p(Ω) with zero trace, i.e. Tu = 0, can be characterized by the equality
where
In other words, for Ω bounded with Lipschitz boundary, trace-zero functions in W1,p(Ω) can be approximated by smooth functions with compact support.
Read more about this topic: Sobolev Space
Famous quotes containing the word traces:
“True Civilization does not lie in gas, nor in steam, nor in turn-tables. It lies in the reduction of the traces of original sin.”
—Charles Baudelaire (1821–1867)
“No one who traces the history of motherhood, of the home, of child-rearing practices will ever assume the eternal permanence of our own way of institutionalizing them.”
—Jessie Bernard (20th century)
“The birch stripped of its bark, or the charred stump where a tree has been burned down to be made into a canoe,—these are the only traces of man, a fabulous wild man to us. On either side, the primeval forest stretches away uninterrupted to Canada, or to the “South Sea”; to the white man a drear and howling wilderness, but to the Indian a home, adapted to his nature, and cheerful as the smile of the Great Spirit.”
—Henry David Thoreau (1817–1862)