<p>We prove that every measurable function <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3763_Article_IEq1.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="100" /> </InlineMediaObject> <EquationSource Format="TEX">\(f:\,[0,a]\rightarrow \mathbb {C}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>f</mi> <mo>:</mo> <mspace width="0.166667em" /> <mo stretchy="false">[</mo> <mn>0</mn> <mo>,</mo> <mi>a</mi> <mo stretchy="false">]</mo> <mo stretchy="false">→</mo> <mi mathvariant="double-struck">C</mi> </mrow> </math></EquationSource> </InlineEquation> such that <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3763_Article_IEq2.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="52" /> </InlineMediaObject> <EquationSource Format="TEX">\(|f|=1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">|</mo> <mi>f</mi> <mo stretchy="false">|</mo> <mo>=</mo> <mn>1</mn> </mrow> </math></EquationSource> </InlineEquation> a.e. on [0,&#xa0;<i>a</i>] is an extreme point of the unit ball of the Lorentz space <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3763_Article_IEq3.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="36" /> </InlineMediaObject> <EquationSource Format="TEX">\(\Lambda (\varphi )\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="normal">Λ</mi> <mo stretchy="false">(</mo> <mi>φ</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> on [0,&#xa0;<i>a</i>] whenever <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3763_Article_IEq4.gif" Format="GIF" Height="12" Rendition="HTML" Resolution="72" Type="Linedraw" Width="16" /> </InlineMediaObject> <EquationSource Format="TEX">\(\varphi \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>φ</mi> </math></EquationSource> </InlineEquation> is a nonlinear, strictly increasing, concave, continuous function on [0,&#xa0;<i>a</i>] with <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3763_Article_IEq5.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="64" /> </InlineMediaObject> <EquationSource Format="TEX">\(\varphi (0)=0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>φ</mi> <mo stretchy="false">(</mo> <mn>0</mn> <mo stretchy="false">)</mo> <mo>=</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3763_Article_IEq6.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="65" /> </InlineMediaObject> <EquationSource Format="TEX">\(\varphi (a)=1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>φ</mi> <mo stretchy="false">(</mo> <mi>a</mi> <mo stretchy="false">)</mo> <mo>=</mo> <mn>1</mn> </mrow> </math></EquationSource> </InlineEquation>. As a consequence, we complement the classical de Leeuw–Rudin theorem on a description of extreme points of the unit ball of <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3763_Article_IEq7.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="23" /> </InlineMediaObject> <EquationSource Format="TEX">\(H^1\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi>H</mi> <mn>1</mn> </msup> </math></EquationSource> </InlineEquation> showing that <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3763_Article_IEq7.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="23" /> </InlineMediaObject> <EquationSource Format="TEX">\(H^1\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi>H</mi> <mn>1</mn> </msup> </math></EquationSource> </InlineEquation> is the unique Hardy–Lorentz space <InlineEquation ID="IEq9"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3763_Article_IEq9.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="63" /> </InlineMediaObject> <EquationSource Format="TEX">\(H(\Lambda (\varphi ))\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>H</mi> <mo stretchy="false">(</mo> <mi mathvariant="normal">Λ</mi> <mo stretchy="false">(</mo> <mi>φ</mi> <mo stretchy="false">)</mo> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> for which every extreme point of the unit ball is an outer function of norm 1. Moreover, assuming that <InlineEquation ID="IEq10"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3763_Article_IEq4.gif" Format="GIF" Height="12" Rendition="HTML" Resolution="72" Type="Linedraw" Width="16" /> </InlineMediaObject> <EquationSource Format="TEX">\(\varphi \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>φ</mi> </math></EquationSource> </InlineEquation> is strictly increasing and strictly concave, we prove that every function <InlineEquation ID="IEq11"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3763_Article_IEq11.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="96" /> </InlineMediaObject> <EquationSource Format="TEX">\(f\in H(\Lambda (\varphi ))\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>f</mi> <mo>∈</mo> <mi>H</mi> <mo stretchy="false">(</mo> <mi mathvariant="normal">Λ</mi> <mo stretchy="false">(</mo> <mi>φ</mi> <mo stretchy="false">)</mo> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>, <InlineEquation ID="IEq12"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3763_Article_IEq12.gif" Format="GIF" Height="21" Rendition="HTML" Resolution="72" Type="Linedraw" Width="105" /> </InlineMediaObject> <EquationSource Format="TEX">\(\Vert f\Vert _{H(\Lambda (\varphi ))}=1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mrow> <mo stretchy="false">‖</mo> <mi>f</mi> <mo stretchy="false">‖</mo> </mrow> <mrow> <mi>H</mi> <mo stretchy="false">(</mo> <mi mathvariant="normal">Λ</mi> <mo stretchy="false">(</mo> <mi>φ</mi> <mo stretchy="false">)</mo> <mo stretchy="false">)</mo> </mrow> </msub> <mo>=</mo> <mn>1</mn> </mrow> </math></EquationSource> </InlineEquation>, such that the nontangential limit <InlineEquation ID="IEq13"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3763_Article_IEq13.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="42" /> </InlineMediaObject> <EquationSource Format="TEX">\({f}(e^{it})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>f</mi> <mo stretchy="false">(</mo> <msup> <mi>e</mi> <mrow> <mi mathvariant="italic">it</mi> </mrow> </msup> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> has constant modulus on some set of positive measure of <InlineEquation ID="IEq14"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3763_Article_IEq14.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="44" /> </InlineMediaObject> <EquationSource Format="TEX">\([0,2\pi ]\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">[</mo> <mn>0</mn> <mo>,</mo> <mn>2</mn> <mi>π</mi> <mo stretchy="false">]</mo> </mrow> </math></EquationSource> </InlineEquation>, is an extreme point of the unit ball of <InlineEquation ID="IEq15"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3763_Article_IEq9.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="63" /> </InlineMediaObject> <EquationSource Format="TEX">\(H(\Lambda (\varphi ))\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>H</mi> <mo stretchy="false">(</mo> <mi mathvariant="normal">Λ</mi> <mo stretchy="false">(</mo> <mi>φ</mi> <mo stretchy="false">)</mo> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>.</p>

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

On the set of extreme points of the unit ball of a Hardy–Lorentz space

  • Sergey V. Astashkin

摘要

We prove that every measurable function \(f:\,[0,a]\rightarrow \mathbb {C}\) f : [ 0 , a ] C such that \(|f|=1\) | f | = 1 a.e. on [0, a] is an extreme point of the unit ball of the Lorentz space \(\Lambda (\varphi )\) Λ ( φ ) on [0, a] whenever \(\varphi \) φ is a nonlinear, strictly increasing, concave, continuous function on [0, a] with \(\varphi (0)=0\) φ ( 0 ) = 0 and \(\varphi (a)=1\) φ ( a ) = 1 . As a consequence, we complement the classical de Leeuw–Rudin theorem on a description of extreme points of the unit ball of \(H^1\) H 1 showing that \(H^1\) H 1 is the unique Hardy–Lorentz space \(H(\Lambda (\varphi ))\) H ( Λ ( φ ) ) for which every extreme point of the unit ball is an outer function of norm 1. Moreover, assuming that \(\varphi \) φ is strictly increasing and strictly concave, we prove that every function \(f\in H(\Lambda (\varphi ))\) f H ( Λ ( φ ) ) , \(\Vert f\Vert _{H(\Lambda (\varphi ))}=1\) f H ( Λ ( φ ) ) = 1 , such that the nontangential limit \({f}(e^{it})\) f ( e it ) has constant modulus on some set of positive measure of \([0,2\pi ]\) [ 0 , 2 π ] , is an extreme point of the unit ball of \(H(\Lambda (\varphi ))\) H ( Λ ( φ ) ) .