复分析 个人笔记(期末复习向)

ZJU数院 2024-2025 复分析补天笔记

所有定理全文默写且会用!!!


第一章 复分析基本概念

定义

  • \(z=x+iy\)

    • \(\mathrm{Re}z=x\)\(z\) 的实部
    • \(\mathrm{Im}z=y\)\(z\) 的虚部
    • \(\overline{z}=x-iy\)\(z\) 的共轭
    • \(|z|=\sqrt{x^2+y^2}\)\(z\) 的模长
  • \(D(z_0,r)\):以 \(z\) 为圆心,\(r\) 为半径的开圆盘,即 \(D(z_0,r) = \{z:|z-z_0|<r\}\)

    • \(D(r) = D(0,r)\)
    • \(\mathbb{D}=D(0,1)\):单位圆盘
  • \(\overline{D}\):区域 \(D\) 的闭包

  • \(\partial D\):区域 \(D\) 的边界,逆时针方向

  • \([z,w]\):以 \(z,w\) 为端点的线段(起点是 \(z\)

  • \(\gamma: z=z(t),t\in [a,b]\):复平面上的一条曲线,\(z(a)=z(b)\) 就是闭曲线

  • \(\int_\gamma f(z)dz\):曲线积分,\(\int_\gamma f(z)dz = \int_a^bf(z(t))z'(t)dt = F(z(b))-F(z(a))\)\(F\)\(f\) 的原函数,即 \(F'(z)=f(z)\)。但是 \(F\) 不一定存在)

  • 常函数:\(f(z)=C\)

  • 全纯函数(holomorphic function):\(f'(z)=\lim_{h\rightarrow 0}\frac {f(z+h)-f(z)}h\) 处处存在。注意只能称一个函数在一个开集上全纯,有边界点的是不可以的。

    • 整函数:在复平面 \(\mathbb{C}\) 上全纯的函数
  • 单连通区域:任意两条曲线同伦可以简单理解为没有洞的区域

定理 0. Cauchy-Riemann 方程

\(f\)\(z_0\) 全纯,则

\[\frac{\partial u}{\partial x} = \frac{\partial v}{\partial y}, \frac{\partial u}{\partial y}=-\frac{\partial v}{\partial x}. \]

  1. \(\star\) 给定 \(w\in \mathbb{D}\),证明函数 \(F(z) = \dfrac {w-z}{1-\overline{w}z}\) 满足下列性质:
    • \(F: \mathbb{D}\rightarrow \mathbb{D}\) 且全纯
    • \(F(0)=w,F(w)=0\)
    • \(|z|=1\),则 \(|F(z)=1\)
    • \(F\) 是双射
  2. \(f\) 在开集 \(\Omega\) 上全纯,\(|f|\) 为常值,证明 \(f\) 为常函数。

第二章 Cauchy 定理及其应用

定理 1. Cauchy 定理

\(f\) 在圆盘 \(D\) 上全纯,闭曲线 \(\gamma\subset D\),则

\[\int_{\gamma}f(z)dz=0. \]

推论 1.

\(f\) 在包含圆周 \(C\) 及其内部的区域上全纯,则

\[\int_Cf(z)dz=0. \]

应用

在求积分的时候可以把积分区域补成闭曲线,且满足被积函数在闭曲线里围成的区域中全纯。答案就是另几条边的积分的相反数。一般积分区域是 \(\mathbb{R}\) 都会转成极限然后补成半圆或者矩形,\(\mathbb{R}^+\) 补成扇形或者矩形。见例题。

定理 2. Cauchy 积分公式

\(f\) 在包含圆盘 \(D\) 的闭包的一个开集中全纯,\(\partial D\)\(D\) 的正向边界曲线,则

\[f(z) = \dfrac 1{2\pi i}\int_{\partial D}\frac{f(\zeta)}{\zeta-z}d\zeta, \forall z\in D. \]

推论.

\[f^{(n)}(z) = \frac {n!}{2\pi i}\int_{\partial D}\frac{f(\zeta)}{(\zeta-z)^{n+1}}d\zeta. \]

定理 3. Cauchy 不等式

\(f\) 在包含圆盘 \(D(z_0,R)\) 的一个开集中全纯,则

\[|f^{(n)}(z_0)|\leq \frac{n!\Vert f\Vert_{\partial D}}{R^n}. \]

其中 \(\Vert f\Vert_{\partial D} = \sup_{z\in \partial D}|f(z)|\)

定理 4. Liouville 定理

\(f\) 是有界整函数,则 \(f\) 是常函数。

定理 5. 解析延拓原则

\(f\) 在区域 \(\Omega\) 上全纯,存在 \(z_0\in \overline\Omega\)\(\{z_n\}\subset \Omega\) 满足 \(\{z_n\}\) 两两不同且 \(\lim_{n\rightarrow \infty}z_n=z_0\),则 \(f=0\)

推论.

\(f\)\(g\) 都在 \(\Omega\) 上全纯且在 \(\Omega\) 的非空开子集 \(\Omega'\) 上相等(或者在一个收敛点列上相等),则 \(f(z)=g(z),\forall z\in \Omega\)。因此如果 \(f\) 本身定义在 \(\Omega'\) 上而 \(g\) 定义在 \(\Omega\) 上,就可以将 \(f\) 的定义拓展到 \(\Omega\)。即称 \(g\)\(f\) 的解析延拓。

  1. \(\star\) 证明

    \[\int_0^\infty \sin(x^2)dx = \int_0^\infty \cos(x^2)dx = \frac {\sqrt{2\pi}}4 \]

  2. \(\star\) 证明

    \[\int_0^{\infty} \frac{\sin x}xdx = \frac{\pi}2. \]

  3. \(\star\)\(f\) 在带状区域 \(\Omega=\{-1<y<1,x\in \mathbb{R}\}\) 上全纯,且

    \[|f(z)|\leq A(1+|z|)^{\eta}, \eta\in \mathbb{R},\forall z \]

    证明对任意整数 \(n\geq 0\),存在 \(A_n\geq 0\) 使得

    \[|f^{(n)}(x)|\leq A_n(1+|x|)^\eta, \forall x\in \mathbb{R} \]

  4. 计算

\[\int_0^\infty e^{-ax}\cos bxdx\\ \int_0^\infty e^{-ax}\sin bxdx \]


第三章 半纯函数和对数函数

定义

  • 半纯函数(meromorphic function):除有限个点外 \(f'(z)\) 存在

  • 奇点(singular):\(f\) 不全纯的点

    • 极点(pole):\(|f(z)|\rightarrow \infty(z\rightarrow z_0)\)
      • 单极点(simple pole):\(|f(z)|\rightarrow \infty(z\rightarrow z_0),(z-z_0)f(z_0)=A\)
      • \(m\) 阶极点:\((z-z_0)^{m-1}f(z_0)\rightarrow \infty(z\rightarrow z_0)\),但 \((z-z_0)^m f(z_0) = A\)
    • 本性奇点:对任意 \(n\)\((z-z_0)^nf(z_0)\rightarrow \infty(z\rightarrow z_0)\)
    • \(f\)\(m\) 阶极点等价于 \(\frac 1f\)\(m\) 阶零点
  • \(f\) 在奇点 \(z_0\) 处的)留数(residue):将 \(f(z)\)\(z_0\) 处展开成有理级数(本性奇点 \(m=\infty\)

    \[f(z) = \sum_{n=-m}^{\infty}a_n(z-z_0)^n \]

    \(\mathrm{res}_{z_0}f = a_{-1}\)

  • 极点处留数的计算公式:设 \(z_0\)\(f\)\(m\) 阶极点,则

    \[\mathrm{res}_{z_0}f = \lim_{z\rightarrow z_0}\frac 1{(m-1)!}\frac{d^{m-1}}{dz^{m-1}}(z-z_0)^mf(z). \]

    注:本性奇点处的留数只能用定义计算。

定理 6. 留数定理

\(f\) 在包含闭曲线 \(\gamma\) 内部区域的开集 \(\Omega\) 上半纯,极点为 \(z_1,\dots,z_N\),则

\[\int_\gamma f(z)dz = 2\pi i\sum_{k=1}^N \mathrm{res}_{z_k}f. \]

应用

比 Cauchy 定理更强的公式,不需要区域内全纯,只需要区域内半纯即可。

但是注意用留数时极点只能落在区域内或者区域外。如果极点在边界上就用不了了。

留数的题

  1. \(\star\) 证明

    \[\int_{-\infty}^{\infty} \frac{\cos x}{x^2+a^2}dx = \pi\frac{e^{-a}}a,a>0. \]

  2. \(\star\) 证明

    \[\int_0^{2\pi} \frac{d\theta}{a+b\cos\theta}=\frac{2\pi}{\sqrt{a^2-b^2}}. \]

  3. 证明

    \[\int_{-\infty}^\infty \frac{dx}{(1+x^2)^{n+1}}=\frac{(2n-1)!!}{(2n)!!}\pi. \]

  4. 计算

    \[\int_{-\infty}^{\infty}\frac{x\sin x}{x^2+a^2}dx. \]

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.hqwc.cn/news/855036.html

如若内容造成侵权/违法违规/事实不符,请联系编程知识网进行投诉反馈email:809451989@qq.com,一经查实,立即删除!

相关文章

6.Group组件

关于Group组件的简单介绍首先,Group组件本身并不是一个“布局”类的组件,它只是一个容器,没有提供调整内部组件展示位置的方法,也就是说,当我们将多个组件(比如button)放在group中时,他们(根据流式规则?)会全部挤在窗口的左上角,当然,如果我们没有设置组件的大小的话…

直播预告:OpenAI 开始拥抱 RTC!为什么 LLM+RTC 才是多模态 AI 的未来?丨RTE Dev Talk

如果您正在开发具备语音对话、视觉理解等多模态能力的 AI Agent,请加入我们的直播讨论!OpenAI 今日发布了 OpenAI Realtime API 的重大更新,其中包括价格下调、新增模型以及一项尤为重要的改进: WebRTC 支持 。结合此前 WebRTC 创建者加入 OpenAI 的消息,这清晰地表明 Ope…

实验6 模板类、文件I/O与异常处理

实验四 vector.hpp#pragma once#include<iostream>#include<stdexcept>using namespace std;template<typename T>class Vector {private:int size;T* ptr;public:Vector(int size, int value = 0) :size{ size } {if (size < 0) {throw length_error(&qu…

把半年前完全没思路的题解了的感觉真好

虽然处理了很多次索引思路,不过最后还是过了。第一眼就有解题思路,这种感觉真不错,要的就是这种打怪升级的正反馈。 附上解题代码 `# @lc app=leetcode.cn id=2266 lang=python3[2266] 统计打字方案数@lc code=start from collections import Counter from functools import…

【Windows安全】13种回调函数执行ShellCode

#windows #回调函数 回调机制 在我们使用回调函数执行Shellcode之前,我们首先需要去了解Windows回调机制,Windows回调机制就像你和你的助手一样,比如说每一个律师所中的每一个律师都有一个实习助手,律师需要助手在特定的情况下去处理一些特殊的任务,但这些任务并不是日常…

MaLoader:一款基于Tauri+Rust的免杀马生成工具

免责声明 本公众号“黑客之道HackerWay”提供的资源仅供学习,利⽤本公众号“黑客之道HackerWay”所提供的信息而造成的任何直接或者间接的后果及损失,均由使⽤者本⼈负责,本公众号“黑客之道HackerWay”及作者不为此承担任何责任,一旦造成后果请自行承担责任!简介 MaLoade…

Element Plus组件库el-select组件多选回显踩坑

前情公司有经常需要做一些后台管理页面,我们选择了Element Plus,它是基于 Vue 3,面向设计师和开发者的组件库,是Vue框架生态中比较火的UI组件库,组件库丰富易用,组件链接:一个 Vue 3 UI 框架 | Element Plus,项目中经常会用到el-select多选功能,组件自带的多选交互也是…

Transformers 框架 Pipeline 任务详解(四):问答(question-answering)

本文深入介绍了 Transformers 框架中的 question-answering 任务,涵盖任务简介、应用场景如智能助手和客户服务、任务配置与模型选择、实战代码示例,以及如何利用 Gradio 创建 WebUI 界面,使用户能通过浏览器实时获取问答结果。文章旨在帮助读者快速掌握使用 Transformers 构…

docker高级篇(大厂进阶):安装mysql主从复制

docker高级篇(大厂进阶):安装mysql主从复制@目录1.Docker复杂安装详说1.1安装mysql主从复制本人其他相关文章链接 1.Docker复杂安装详说 1.1安装mysql主从复制主从搭建步骤: 1)新建主服务器容器实例3307 2)进入/mydata/mysql-master/conf目录下新建my.cnf 3)修改完配置后…

Bugku-CTF getshell

前几天在打2024 长城杯 & 国赛时发现的一道类似题题目:<?php define(pfkzYUelxEGmVcdDNLTjXCSIgMBKOuHAFyRtaboqwJiQWvsZrPhn, __FILE__); $cPIHjUYxDZVBvOTsuiEClpMXAfSqrdegyFtbnGzRhWNJKwLmaokQ = urldecode("%6E1%7A%62%2F%6D%615%5C%76%740%6928%2D%70%78%7…

无锡在线教育系统开发怎么样

无锡在线教育系统的开发作为当前教育领域内的一种创新方式,正在逐渐受到更多人的重视和应用。从现有的数据来看,它不仅提升了教学质量和学习的灵活性,还能在很大程度上降低运营和维护成本。那么,究竟这种开发状况是怎样的,接下来我们深入了解一下其发展情况及前景。来自ww…

Obfuscar:一款针对.NET程序的开源代码混淆工具

关于Obfuscar Obfuscar是一款针对.NET程序的开源代码混淆工具,该工具支持使用大量重载将 .NET 程序集中的元数据(包括方法、属性、事件、字段、类型和命名空间的名称)重命名为最小集合,在大多数情况下仅通过签名即可区分。 例如,如果某个类仅包含接受不同参数的方法,则可…