关于楔形区域到上半复平面的共形映射公式的验证及参数疑问

嗨，我来帮你拆解这个共形映射的问题～咱们一步步来分析你的两个疑问：

一、这个映射是否真的把楔形区域映射到上半平面？ #

首先咱们把你的楔形边缘参数化转换成复数形式，方便计算：
你给出的上侧边缘参数化是：
$$z = \begin{pmatrix}-X \ 0\end{pmatrix} + t\begin{pmatrix}1 \ \tan\alpha\end{pmatrix}, \quad t\in[0,\infty)$$
转换成复数就是 $z = -X + t(1 + i\tan\alpha)$，整理一下：
$$z + X = t\left(1 + i\frac{\sin\alpha}{\cos\alpha}\right) = \frac{t}{\cos\alpha}e^{i\alpha}$$
那么 $\frac{z}{X} + 1 = \frac{z+X}{X} = \frac{t}{X\cos\alpha}e^{i\alpha}$

接下来计算它的 $\frac{\pi}{2\alpha}$ 次方：
$$\left(\frac{z}{X} + 1\right)^{\frac{\pi}{2\alpha}} = \left(\frac{t}{X\cos\alpha}\right)^{\frac{\pi}{2\alpha}} \cdot e^{i\alpha \cdot \frac{\pi}{2\alpha}} = \left(\frac{t}{X\cos\alpha}\right)^{\frac{\pi}{2\alpha}} \cdot e^{i\frac{\pi}{2}} = i \cdot \left(\frac{t}{X\cos\alpha}\right)^{\frac{\pi}{2\alpha}}$$

再乘以 $ic'$ 得到 $z'$：
$$z' = ic' \cdot i \cdot \left(\frac{t}{X\cos\alpha}\right)^{\frac{\pi}{2\alpha}} = -c' \cdot \left(\frac{t}{X\cos\alpha}\right)^{\frac{\pi}{2\alpha}}$$
这个结果是负实数（只要c'取正实数）：当t=0时，z'=0（对应楔形的尖点）；当t→∞时，z'→-∞，正好落在上半平面的边界（实轴）上。

同样地，楔形的下侧边缘（参数化是 $z = (-X,0) + t(1,-\tan\alpha)$）计算后会得到正实数，t→∞时z'→+∞，t=0时z'=0，也落在实轴上。

对于楔形内部的点，$z+X$ 的辐角θ满足 $-\alpha < \theta < \alpha$，那么 $\left(\frac{z}{X}+1\right)^{\frac{\pi}{2\alpha}}$ 的辐角是 $\frac{\pi\theta}{2\alpha}$，范围在 $-\frac{\pi}{2} < \frac{\pi\theta}{2\alpha} < \frac{\pi}{2}$；乘以i（辐角 $\frac{\pi}{2}$）后，z'的总辐角范围是 $0 < \frac{\pi\theta}{2\alpha} + \frac{\pi}{2} < \pi$，正好对应上半平面的点（虚部为正）。

所以这个映射确实能把目标楔形区域映射到上半平面～

二、参数 $c'$ 的作用是什么？它是自由参数吗？ #

$c'$ 是一个自由的正实数参数，它不依赖于X或α，主要作用是对映射后的上半平面进行缩放：

• 调整c'的大小，会改变实轴上点的拉伸程度（比如c'越大，t取相同值时z'的绝对值越大）；
• 只要c'≠0，它不会破坏映射的共形性（因为常数缩放是解析函数，导数不为零）；
• 通常我们会取c'>0，这样映射后的实轴方向符合预期（上侧边缘到负实轴，下侧到正实轴），如果取c'<0，会把区域映射到下半平面，不符合你的需求。

你可以根据自己的具体场景（比如希望某个特定点映射到指定位置）来选择合适的c'值。

备注：内容来源于stack exchange，提问作者Lagrangian