嘿，我来帮你把这道复分析的问题整理得清清楚楚，还附上详细的推导过程：

问题a：关于函数$F_0(z)$的模长估计与极限分析 #

给定函数 $F_{0}(z)=\frac{1}{i(1-z)^i}$，我们需要完成两个任务：

• 验证在单位圆盘 $|z| < 1$ 内，$|F_{0}(z)| \leq e^{\frac{\pi}{2}}$
• 证明极限 $\lim_{r \rightarrow 1^-} F_{0}(r)$ 不存在（注：这里是从单位圆盘内部趋近于1，即$r\to1^-$）

提示：注意 $|F_{0}(r)|=1$，且当 $r \rightarrow 1^-$ 时，$F_{0}(r)$ 在 $\pm1$ 之间无限振荡。

1. 模长估计的验证 #

首先处理复数幂的模长。对于单位圆盘内的任意 $z$，令 $1-z = re^{i\theta}$，其中 $r = |1-z|$，$\theta = \arg(1-z)$。因为 $z$ 在单位圆盘内，$1-z$ 必然落在右半平面，所以 $|\theta| < \frac{\pi}{2}$。

根据复数幂的模长公式：$|w^i| = e^{-\arg(w)}$，可得：
$$|(1-z)^i| = e^{-\arg(1-z)}$$

而 $|i|=1$，因此：
$$|F_0(z)| = \frac{1}{|i| \cdot |(1-z)^i|} = \frac{1}{e^{-\arg(1-z)}} = e^{\arg(1-z)}$$

由于 $\arg(1-z) \leq \frac{\pi}{2}$（因为 $|\theta| < \frac{\pi}{2}$），所以 $|F_0(z)| \leq e^{\frac{\pi}{2}}$，第一个验证完成。

2. 极限不存在的证明 #

当 $z=r$ 是实轴上的点且 $r\to1^-$ 时，$1-r$ 是正实数，所以 $\arg(1-r)=0$，代入模长公式可得 $|F_0(r)| = e^0 = 1$，和提示一致。

接下来分析辐角：
$$F_0(r) = \frac{1}{i(1-r)^i} = -i \cdot (1-r)^{-i}$$

利用指数形式展开 $(1-r)^{-i}$：
$$(1-r)^{-i} = e^{-i\ln(1-r)} = e^{i(-\ln(1-r))}$$

因此：
$$F_0(r) = e^{-i\frac{\pi}{2}} \cdot e^{i(-\ln(1-r))} = e^{i\left(-\ln(1-r)-\frac{\pi}{2}\right)}$$

当 $r\to1^-$ 时，$\ln(1-r)\to-\infty$，所以 $-\ln(1-r)\to+\infty$，这意味着 $F_0(r)$ 的辐角会无限增大，对应的点在单位圆上绕圈振荡，永远无法趋近于某个固定值。因此，$\lim_{r\to1^-}F_0(r)$ 不存在。

问题b：构造函数$F(z)$并证明其径向极限不存在 #

设 ${a_n}$ 是有理数的一个枚举，定义函数：
$$F(z)=\sum_{j=1}^{\infty} \delta^j F_0(z e^{-i a_j})$$
其中 $\delta$ 是足够小的正数（比如取 $\delta < 1$，保证级数绝对收敛）。我们需要证明：对于任意的 $\theta \in \mathbb{R}$，极限 $\lim_{r \to 1^-} F(r e^{i\theta})$ 不存在（注：原问题中的$r\to\infty$应该是笔误，因为$F(z)$的定义域是单位圆盘，$r\to\infty$时函数无定义）。

1. 确认级数的收敛性 #

由问题a的结论，$|F_0(z e^{-i a_j})| \leq e^{\frac{\pi}{2}}$ 对所有 $|z| < 1$ 成立。因此：
$$|\delta^j F_0(z e^{-i a_j})| \leq \delta^j e^{\frac{\pi}{2}}$$

当 $\delta < 1$ 时，$\sum_{j=1}^\infty \delta^j e^{\frac{\pi}{2}}$ 是收敛的等比级数。根据魏尔斯特拉斯M判别法，$F(z)$ 在单位圆盘内解析，且级数绝对一致收敛。

2. 证明径向极限不存在 #

任取一个角度 $\theta$，我们用反证法来证明极限不存在：

假设存在极限 $L = \lim_{r\to1^-} F(r e^{i\theta})$。

由于 ${a_n}$ 是有理数的枚举，有理数在实数中稠密，必然存在某个下标 $j$ 使得 $a_j = \theta$，此时 $z e^{-i a_j} = r e^{i\theta} e^{-i\theta} = r$，也就是实轴上的点。

此时，$F(z)$ 可以拆分为两项：
$$F(r e^{i\theta}) = \delta^j F_0(r) + \sum_{k \neq j} \delta^k F_0(r e^{i(\theta - a_k)})$$

令 $S_j(r) = \sum_{k \neq j} \delta^k F_0(r e^{i(\theta - a_k)})$，由于级数一致收敛，当 $r\to1^-$ 时，$S_j(r)$ 的极限存在（记为 $S_j$）。

如果 $F(r e^{i\theta})$ 收敛到 $L$，那么：
$$F_0(r) = \frac{1}{\delta^j}\left(F(r e^{i\theta}) - S_j(r)\right)$$
这意味着 $F_0(r)$ 应该收敛到 $\frac{1}{\delta^j}(L - S_j)$，但这和问题a中$\lim_{r\to1^-}F_0(r)$不存在的结论矛盾。

因此，假设不成立，即 $\lim_{r\to1^-} F(r e^{i\theta})$ 不存在。

内容的提问来源于stack exchange，提问作者PBJ