We present two fundamental facts of the jet theory for Sobolev spaces Wmp. One of them is that the formal differentiation of k-jets theory is compatible with the pointwise definition of Sobolev (m − 1)-jet spaces on regular subsets of Euclidean spaces Rⁿ. The second result describes the Sobolev embedding operator of Sobolev jet spaces increasing the order of integrability of Sobolev functions up to the critical Sobolev exponent.
Встановлено два фундаментальних факти теорії струменів для просторів Соболева Wm,p. Перший із них полягає в тому, що формальне диференціювання k-струменів є сумісним з поточковим визначенням соболевських просторів (m−1)-струменя на регулярних підмножинах евклідових просторів Rⁿ. Другий результат описує соболевські оператори вкладення соболевських просторів струменів, що покращують порядок сумовності соболевських функцій аж до критичного показника.