[移动通讯]【无线感知-P1】[从菲涅尔区模型到CSI模型-5]【The Riemann Mapping Theorem】

news2024/11/25 15:40:01

前言：

mobius变换保角性证明一直困扰我很久.当看完黎曼映射定理以及结合MIT的数学证明

深刻的感触到数学之美，“知之深，情之切”。

黎曼映射（The Riemann Mapping）定理是复分析最深刻的定理之一，也是复变函数几何理论最基本、最重要的定理. 黎曼映射是 Mobius变换的核心定义之一

本节我们重点是搞清楚这个问题：

比如可以把一个随机的曲线映射成一个单位圆盘,直观上很难去想象.

黎曼映射定理
黎曼映射函数表示
黎曼映射例子
利用黎曼映射定理证明 Mobius 变换的保角性
黎曼映射应用

一黎曼映射定理

简单的说黎曼映射定理是存在性定理，存在一个共形映射把单连通域映射到圆盘.

1.1 Petra-Bonfert-Tayloy 是这么介绍

1.2 维基百科里面的简介

单连通[区]域（simply connected domain）是1993年公布的数学名词。

单连通域是直观上没有洞的平面区域的推广,即区域内任何一条简单闭曲线的内部没有不属于D的点。

二黎曼映射函数表示(Mobius 变换）

我们这里举一个例子：

因为存在共形映射，则假设单联通区域 $\Omega$ 中三个点 $z_0=0,z_1=1,z_2=\infty$ 通过mobius 变换 $w_1=1,w_2=i,w_3=-1$

这个函数如何求解？

# -*- coding: utf-8 -*-
"""
Created on Sun Apr 28 15:48:31 2024

@author: chengxf2
"""

import numpy as np
import random
import matplotlib.pyplot as plt

def moubius_transformation(z):
    i = complex(0, 1)
    numerator =-z+i #分子
    denominator=z+i #分母
    
    result = (numerator/denominator)
    
    return result

    
    
def drawImage(z, w,bound):
    
    fig, (ax1, ax2) = plt.subplots(2)
    
    
    ax1.set_xlim(-bound,bound)
    ax1.set_ylim(-bound,bound)
    
    ax2.set_xlim(-1.5,1.5)
    ax2.set_ylim(-1.5,1.5)
    #print(z)
    # 第一个子图
    #plt.subplot(2, 1, 1)  # 表示2行1列的子图布局中的第1个位置
    z_x=  z[:, 0]
    z_y = z[:, 1]
    ax1.scatter(z_x,z_y,c='b')
    #plt.plot(x, y_sin)
    ax1.title.set_text("z")
    
    # 第一个子图
    plt.subplot(2, 1, 2)  # 表示2行1列的子图布局中的第1个位置
    w_x=  w[:, 0]
    w_y = w[:, 1]
    #print(w_x)
    ax2.scatter(w_x,w_y,c='r')
    ax2.title.set_text("w")

    # 显示图像
    plt.show()

def getData():
    N = int(1e5)
    ZList =[]
    WList =[]
    
    bound =1e3
    for i in range(N):
        # 随机生成复数的实部和虚部
        real_part = random.uniform(-bound, bound) # 实部在[-10, 10]范围内
        imaginary_part = random.uniform(0, bound)  # 虚部在[-10, 10]范围内
        # 生成的复数
        z = complex(real_part, imaginary_part)
        w = moubius_transformation(z)
        ZList.append([real_part,imaginary_part])
        WList.append([w.real, w.imag])
        
    drawImage(np.array(ZList), np.array(WList),bound)
        
getData()

三黎曼映射例子

基于上面的mobius transformation