TheoremBase

Comparison of the Lebesgue Seminorms on the Torus

On the torus, which has total measure one, a function power-integrable for a larger exponent is power-integrable for a smaller one, with a smaller seminorm.

Statement

We work in the setting of The Flat Torus: Standing Notation, used here with a natural number nn satisfying 1≤n1\le n; the measure space (Q,BQ,λQ)(Q,\mathcal{B}_{Q},\lambda_{Q}) and the classes Lt(Tn)\mathcal{L}^{t}(\mathbb{T}^{n}), for a real number tt with 1≤t1\le t, are the ones fixed there. Let ∥ ⋅ ∥t\lVert\,\cdot\,\rVert_{t} denote the LtL^{t} seminorm of (Q,BQ,λQ)(Q,\mathcal{B}_{Q},\lambda_{Q}).

1. (Comparison of the seminorms) Let rr and ss be real numbers with 1≤r1\le r and r≤sr\le s, and let v∈Ls(Tn)v\in\mathcal{L}^{s}(\mathbb{T}^{n}). Then v∈Lr(Tn)v\in\mathcal{L}^{r}(\mathbb{T}^{n}) and

∥v∥r≤∥v∥s.\lVert v\rVert_{r}\le\lVert v\rVert_{s}.

Proofs

Log in to submit a proof.

Loading...

Citations

Loading…

Dependencies

Loading…

Related

0 relations

Curated associations between results. These are editable and subjective — they do not replace the dependency graph, which is derived from the references in the text.

No relations recorded yet.

Comments

Log in to comment.

Loading…