Lorentz版Hölderの不等式

こんにちは、ひよこてんぷらです。さて、今日はLorentz版Hölderの不等式をやります。これは修論中に必要になった不等式ということで、証明します。 まずLorentz空間についてざっくり。詳細はまあ他で調べてください。とりあえず定義は適当なBanach空間 と領域 を用意し、 上の 値可測関数 に対して \begin{align} \mu_f(\…