答案
通常光滑局部解为或。全局延拓不唯一;更广地,全部连续可求长的正极径解为,其中为任意局部 1-Lipschitz 函数,且在上几乎处处成立;在零值集上导数几乎处处为零。极角区间须使从初始极角到每一点能形成不重绕的普通曲边扇形,例如可取。这允许正极径大于 1 时出现角点折返,也允许在单位圆上停留;两条直线只是特例。
查看解析展开收起
按通常的光滑局部曲线理解, 使初始点附近可取 。对面积与弧长关系求导,得
该邻域内 ,由导数介值性其符号不变。分离变量并用初值,得
因此 ,即 或 。这是两条不同的直线。
以上是经过初始点、位于 区域的光滑局部结果。题面未限定全局延拓:到达 后还可沿单位圆停留,再接出直线段;允许角点时解族更广。下文为连续可求长正极径曲线的一般分类,属于超出通常局部计算的补充。
按连续、可求长的正极径曲线理解题意,记 。极角区间 包含 ,且从 到任一 不重绕、确能表示题面的普通曲边扇形,例如可取 。其面积为 。题设给出从 到 的弧长为 ,此处不能预先假设 可导。
由弧长可加性,对任意 都有 。在任一紧子区间上,连续函数 有上界 ,故 。因此 局部 Lipschitz,且 也局部 Lipschitz,特别是局部绝对连续。这一正则性由题设推出,而非附加条件。
对绝对连续曲线应用弧长公式并对上一步的积分恒等式求导,得到 几乎处处成立,即 。若某点有 ,连续性将给出一个这样的开区间,与该等式矛盾;结合正极径及 ,可知 。
令 ,则 ,且 。在开集 的每个连通分支内,链式法则给出 ,所以 几乎处处成立,且 在该分支上为 1-Lipschitz。跨越零点时,用各分支端点的 接合:若两点之间有零点,分别估计它们到相邻零点的函数增量,其和不超过两点距离。因此 在整个 上也是 1-Lipschitz。在零值集的可导点,因 ,导数必为 ;故 在零值集上几乎处处成立。
反之,任取满足上述条件的 ,令 。在紧子区间上, 与 有正距离,故 局部 Lipschitz。于 处有 ,从而 几乎处处成立;于 处有 ,等式同样成立。积分并取绝对值即得 ,且 。因此答案给出的自由函数族既必要又充分。
这是可直接构造的解族:选择可测斜率 ,令 。只须保持 ,并在 时取 、在 时取 ,以上条件均按几乎处处理解,即可代入 得到解;全部允许的 也都有这种积分表示。斜率可以多次改变,不要求改变处的 等于 。
例如取 ,在 上令 ,在 上令 。所得 满足全部面积与弧长条件,但在 处以 折返,具有角点。因此不能由题设默认排除这些解。
若额外要求 ,才有 在 的连通分支上不换号,从而缩减为递减弧 、在 上的 、递增弧 的拼接,其中 ,初值要求 或 ,并允许单侧永久停留。零长停留给出 或 。这只是一般解族中的光滑特例;所有延拓仍须取能形成普通曲边扇形的角度区间限制,不能把多次重绕的累计面积代替普通几何面积。