# Definition:Sobolev Space

Jump to navigation
Jump to search

## Definition

Let $\openint a b$ be an open real interval.

Let $\map {L^2} {a, b}$ be the Lebesgue space.

Let $f \in \map {L^2} {a, b}$.

Suppose that in the sense of distributions we have that:

- $f, \ldots, f^{\paren n} \in \map {L^2} {a, b}$

where $n \in \N$.

Then the **Sobolev space**, denoted by $\map {H^n} {a, b}$, is defined by

- $\map {H^n} {a, b} := \set {f \in \map {L^2} {a, b} : f', \ldots, f^{\paren n} \in \map {L^2} {a, b} }$

and equipped with the Sobolev norm.

Further research is required in order to fill out the details.In particular: Definitely can be expanded; different notationsYou can help $\mathsf{Pr} \infty \mathsf{fWiki}$ by finding out more.To discuss this page in more detail, feel free to use the talk page.When this work has been completed, you may remove this instance of `{{Research}}` from the code. |

## Source of Name

This entry was named for Sergei Lvovich Sobolev.

## Sources

- 2017: Amol Sasane:
*A Friendly Approach to Functional Analysis*... (previous) ... (next): Chapter $\S 6.2$: A glimpse of distribution theory. Derivatives in the distributional sense