当前位置：首页 > 编程日记 > 正文

Rouche Theorem（Stein复分析）

编程日记 2024-10-20 18:30:00

Rouche Theorem：

$\quad$ $IffandgareholomorphicfunctionsinaregionΩcontainingacircleCanditsinterior,and∣f(z)∣≥∣g(z)∣forz∈C,fandf+ghavethesamenumbersofzerosinsidethecircleC.If\quad f\quad and\quad g\quad are\quad holomorphic\quad functions\quad in\quad a\quad region\quad \Omega\\\quad containing\quad a\quad circle\quad C\quad and\quad its\quad interior,\quad and\quad |f(z)|\ge|g(z)|\quad for\quad z\in C,\quad f\quad and\quad f+g\quad have\quad the\quad same\quad numbers\quad of\\zeros\quad inside\quad the\quad circle\quad C.$

Proof:

$\quad$ $Letft(z)=f(z)+t⋅g(z),t∈[0,1],thenf0(z)=f(z)andf1(z)=f(z)+g(z).LetntdenotethenumberofzerosoffcountedwithmultiplicitiesinsidethecircleC.Since∣f(z)∣≥∣g(z)∣forz∈C,ft(z)hasnozerosinsidethecircleC(maximummodulusprinciple),whichmeansthatft(z)hasnopolesinsidethecircleC.Accordingtoargumentprinciple,nt=12πi∫Cft′(z)ft(z)dz.Toobtainthatn0=n1,itsufficestotoshowthatntisinteger−valuedandcontinuous.Thusifntisnotconstant,byintermediatevaluetheoremtheremustbesoment0thatisnotintegral,acontradiction.Nowwecometoprovethatntiscontinuous.Sinceft(z)andft′(z)arebothcontinuousinsidethecircleC,andft(z)doesnotvanishonthecircleC,wecometotheconclusionthatntiscontinuous.Hencen0=n1.Theproofiscomplete.Let\quad f_t(z)=f(z)+t\cdot g(z),t\in [0,1],\quad then\quad f_0(z)=f(z)\quad and\quad f_1(z)=f(z)+g(z).\quad Let\quad n_t\quad denote\quad the\quad number\quad of\\zeros\quad of\quad f\quad counted\quad with\quad multiplicities\quad inside\quad the\quad circle\quad C.\\\quad Since\quad |f(z)|\ge |g(z)|\quad for\quad z\in C,\quad f_t(z)\quad has\quad no\quad zeros\quad inside\quad the\quad circle\quad C(maximum\\ modulus\quad principle),\quad which\quad means\quad that\quad f_t(z)\quad has\quad no\quad poles\\ inside\quad the\quad circle\quad C.\quad According\quad to\quad argument\quad principle,\quad n_t=\frac{1}{2\pi i}\int_C\frac{f^{'}_t(z)}{f_t(z)}dz.\quad To\quad obtain\quad that\quad n_0= n_1,\quad it\quad suffices\quad to\quad to\quad show\quad that\quad n_t\quad is\quad integer-valued\quad and\quad continuous.\quad Thus\quad if\quad n_t\quad is\quad not\quad constant,\quad by\\ intermediate\quad value\quad theorem\quad there\quad must\quad be\quad some\quad n_{t_0}\quad that\\ is\quad not\quad integral,\quad a\quad contradiction.\\\quad Now\quad we\quad come\quad to\quad prove\quad that\quad n_t\quad is\quad continuous.\quad Since\\ f_t(z)\quad and\quad f_t^{'}(z)\quad are\quad both\quad continuous\quad inside\quad the\quad circle\quad C,\\ and\quad f_t(z)\quad does\quad not\quad vanish\quad on\quad the\quad circle\quad C,\quad we\quad come\quad to\\ the\quad conclusion\quad that\quad n_t\quad is\quad continuous.\quad Hence\quad n_0=n_1.\\\quad The\quad proof\quad is\quad complete.$

https://www.dkcj.cn/info/23904.html

Rouche Theorem（Stein复分析）

Rouche Theorem：

Proof:

相关文章：

Java线上程序频繁JVM FGC问题排障与启示

python常用数据结构的常用操作

h5 和native 交互那些事儿

手把手教你写电商爬虫-第二课实战尚妆网分页商品采集爬虫

Python程序设计第六章函数（续

K8S的横向自动扩容的功能Horizontal Pod Autoscaling

第八周例行报告

HTTP头部信息解释分析(详细整理)

深圳杯---深圳市生活垃圾处理社会总成本分析

你真的掌握了并发编程volatile synchronized么？

SQLSERVER存储过程基本语法使用

线上java JVM问题排查

走向云时代的大型机

区分欧几里得距离曼哈坦距离明考斯基距离

传统行业转型微服务的挖坑与填坑

Windows下安装Mongodb SpringBoot集成MongoDB和Redis多数据源

使用CSDN-markdown编辑器

HTTP缓存相关头

Thrift RPC 系列教程（4）——源码目录结构组织

Spring Bean四种注入方式（Springboot环境）

chrome dev debug network 的timeline说明

【MATLAB】函数句柄

为什么企业选择年底裁员？如何选择一个正确的公司！

springboot集成logback日志通用logback.xml模板详解

【MATLAB】单元数组类型

UNITY3D拓展编辑器 - 目录

程序员的你还沉浸在大公司就是螺丝钉？小公司锻炼人？错了！看完即懂

深入Jetty源码之Servlet框架及实现(AsyncContext、RequestDispatcher、HttpSession)

SpringBoot conditional注解和自定义conditional注解使用

TOPSIS算法及代码