
Complex AnalysisComplex NumberTopologyFunctionSequences and LimitsIteration of FunctionComplex DerivativeCauchy-Riemann EquationComplex Analytic FunctionConformal MappingMobius TransformationRiemann Mapping TheoremComplex Integration
`-=[]โจโฉ\;',./~!@#$%^&*()_+{}|:"<>? ๐๐๐๐๐๐๐โ๐๐๐๐๐๐๐๐๐๐๐ ๐ก๐ข๐ฃ๐ค๐ฅ๐ฆ๐ง
ร
โโโรโโ
โยฑโ๊๏นฆโโ โฏ ๐ธ๐นโ๐ป๐ผ๐ฝ๐พโ๐๐๐๐๐โ๐โโโ๐๐๐๐๐๐๐โค๐ด๐ต๐ถ๐ท๐ธ๐น๐บ๐ป๐ผ๐ฝ๐พ๐ฟ๐๐๐๐๐๐
๐๐๐๐๐๐๐๐
โผโฝโพโโโโโ
โโโโโโโ โก โคโฅโฆโงโจโฉโชโซ
โโโโโโ โโโโ
โโ ๐ผ๐ฝ๐พ๐ฟ๐๐๐๐๐๐
๐๐๐๐๐๐๐๐๐๐๐๐๐๐
โโโโ
โฆฐโโโโโโดโต โโโโโโโ โงโจโฉโช
โซโฌโญโฎโฏโฐโฑโฒโณ โฅโฎโฏโฐโฑ โ โฒ โณ โด โ โ สน สบ โต โถ โท
๏น ๏น ๏น ๏น ๏ธน ๏ธบ ๏ธป ๏ธผ ๏ธ ๏ธ ๏ธฟ ๏น ๏ธฝ ๏ธพ ๏น ๏น ๏ธท ๏ธธ โ โ โด โต โ โ โ โก
โโโโโคโฆโฅโงโโโโโโโฒโผโโถโบโปโฒโณ โผโฝโพโฟโโโโโโ
โโ โโโโโโโโโโโโโโโณโฅขโฅฃโฅคโฅฅโฅฆโฅงโฅจโฅฉโฅชโฅซโฅฌโฅญโฅฎโฅฏ
Draft for Information Only
ContentCauchy's Theorem and Integral Formula
source/reference: Cauchy's Theorem and Integral FormulaCauchy's TheoremTheorem (Cauchy's Theorem for Simply Connected Domains)Let ๐ท be a simply connected domain in โ, and let ๐ be analytic in ๐ท. Let ๐พ:[๐,๐]โ๐ท be a piecewise smooth, closed curve in ๐ท (i.e. ๐พ(๐)=๐พ(๐)). Then
Example๐(๐ง)=โฏ(๐ง3) is analytic in โ, and โ is simply connected. Therefore, Proof ideaSince ๐ท has no holes, ๐พ can be deformed continuously to a point in ๐ท. Show that the integral does not change along the way by using the Cauchy Theorem in a disk.
A First conclusionCorollaryLet ๐พ1 and ๐พ2 be two simple closed curves (i.e. neither of the curves intersects itself), oriented counterclockwise, where
๐พ2 is inside ๐พ1. If ๐ is analytic in a domain ๐ท that contains both curves as well as the region between them, then
Proof ideaA neat trick: Form a "joint curve" ๐พ as in the picture below. As ๐ is analytic in a simply connected region, containing ๐พ, thus have
Examples
The Cauchy Integral FormulaTheorem (Cauchy Integral Formula)Let ๐ท be a simply connected domain, bounded by a piecewise smooth curve ๐พ, and let ๐ be analytic in a set ๐ that contains the closure of ๐ท (i.e. ๐ท and ๐พ). Then
The Proof of the Cauchy Integral FormulaThe proof of the Cauchy Integral Formula goes as follows:
ExamplesLet ๐(๐ค)=
Analyticity of the DerivativeHere is an amazing consequence of the Cauchy Integral Formula: TheoremIf ๐ is analytic in an open set ๐, then ๐โฒ is also analytic in ๐.
Idea of Proof
The Cauchy Integral Formula for DerivativesRepeated application of the previous theorem shows that an analytic function has infinitely many derivatives! Continuing along the same lines as the previous proof yields the following extension of the Cauchy Integral Formula: Theorem (Cauchy Integral Formula for Derivatives)Let ๐ท be a simply connected domain, bounded by a piecewise smooth curve ๐พ, and let ๐ be analytic in a set ๐ that contains the closure of ๐ท (i.e. ๐ท and ๐พ). Then
where, ๐(๐) denotes the ๐th derivative of ๐. ExamplesLet
Summary
Cauchy's EstimateTheorem (Cauchy's Extimate)Suppose that ๐ is analytic in an open set that contains
ProofBy the Cauchy Integral Formula, having that
Liouville's TheoremTheorem (Liouville)Let ๐ be analytic in the complex plane (thus ๐ is an entire function). If ๐ is bounded then ๐ must be constant.
ProofSuppose that |๐(๐ง)|โค๐ for all ๐งโโ. Pick ๐ง0โโ. Since โ contains
ExampleExampleSuppose that ๐ is an entire function, ๐=๐ข+๐๐ฃ, and suppose that ๐ข(๐ง)โค0 for all ๐งโโ. Then ๐ must be constant.
ProofConsider the function ๐(๐ง)=โฏ
Use Liouville to Prove Fundamentatl Theorem of AlgebraTheorem (Fundamental Theorem of Algebra)
ProofSuppose to the contrary that there exists a polynomial ๐ as in the theorem that has no zeros. Then ๐(๐ง)=
Factoring of PolynomialsConsequence of the Fundamental Theorem of Algebra: Polynomials can be factored in โ
Expample๐(๐ฅ)=๐ฅ2+1 has no zeros in โ, thus cannot be factored in โ. However, in โ, ๐(๐ง)=๐ง2+1 has two zeros ๐ and โ๐ and thus factors as ๐(๐ง)=(๐งโ๐)(๐ง+๐)
The Maximum PrincipleAnother consequence of the Cauchy Integral Formula is the following powerful result. Theorem (Maximum Principle)Let ๐ be analytic in a domain ๐ท and suppose there exists a point ๐ง0โ๐ท such that |๐(๐ง)|โค|๐(๐ง0)| for all ๐งโ๐ท. Then ๐ is constant in ๐ท.
ConsequenceIf ๐ทโโ is a bounded domain, and if ๐:
ExampleLet ๐(๐ง)=๐ง2-2๐ง. What is max|๐(๐ง)| on the square ๐={๐ง=๐ฅ+๐๐ฆ:0โค๐ฅ,๐ฆโค1}? since ๐ is analytic inside ๐ and continuous on ๐, the maximum of |๐| occurs on โ๐.
ยฉsideway ID: 190500002 Last Updated: 5/2/2019 Revision: 0 Latest Updated Links
Nu Html Checker 53 na |
![]() Home 5 Business Management HBR 3 Information Recreation Hobbies 9 Culture Chinese 1097 English 339 Travel 38 Reference 79 Hardware 55 Computer Hardware 259 Software Application 213 Digitization 37 Latex 52 Manim 205 KB 1 Numeric 19 Programming Web 290 Unicode 504 HTML 66 CSS 65 Selector 1 SVG 46 ASP.NET 270 OS 447 MS Windows DeskTop 7 Python 72 Knowledge Mathematics Formulas 8 Set 1 Logic 1 Algebra 84 Number Theory 207 Trigonometry 31 Geometry 34 Calculus 67 Complex Analysis 21 Engineering Tables 8 Mechanical Rigid Bodies Statics 92 Dynamics 37 Fluid 5 Control Acoustics 19 Natural Sciences Matter 1 Electric 27 Biology 1 |
Copyright © 2000-2026 Sideway . All rights reserved Disclaimers last modified on 06 September 2019