محاضرات مقرر التحليل المركب ريض444

‫اﻟﺘﻜﺎﻣﻞ اﻟﻤﺮﻛﺐ‬
‫‪1.1‬‬
‫اﻟﻘﻮس اﻷﻣﻠﺲ ﻗﻄﻌﺎ‬
‫ﺗﻌﺮﻳﻒ ‪ 1.1.1‬ﻧﺴﻤﻲ ﻗﻮس ﻣﻦ ‪ C‬ﻛﻞ داﻟﺔ ‪ γ : [a, b] −→ C‬ﻣﺘﺼﻠﺔ ﺣﻴﺚ ]‪ [a, b‬ﻓﱰة ﻣﻦ ‪ ,R‬وﻧﺮﻣﺰ ﻟﺼﻮرة اﻟﻘﻮس ‪ γ‬ﰲ‬
‫‪ C‬ﺑﺎﻟﺮﻣﺰ ∗‪ .γ‬إذا ﻛﺎﻧﺖ )‪ γ′ (t‬ﻣﻮﺟﻮدة ﻟﻜﻞ ]‪ t ∈ [a, b‬و ‪ γ′‬ﻣﺘﺼﻠﺔ ﻓﺈن ‪ γ‬ﻳﺴﻤﻰ ﻗﻮس أﻣﻠﺲ )‪ .(smooth path‬وﻧﻘﻮل ﻋﻦ‬
‫اﻟﻘﻮس اﳌﺘﺼﻞ ‪ γ‬ﺑﺄﻧﻪ أﻣﻠﺲ ﻗﻄﻌﺎً )‪ (pointwise smooth‬إذا وﺟﺪت ﺗﻘﺴﻴﻤﺔ ‪ a = t0 < t1 .... < tn = b‬ﲝﻴﺚ ﻋﻠﻰ اﻟﻔﱰة‬
‫) ‪ (t j , t j+1‬اﻟﻘﻮس ‪ γ‬ﻳﺘﺴﺎوى ﻣﻊ ﻗﻮس أﻣﻠﺲ ﻣﻌﺮف ﻋﻠﻰ ] ‪ .[t j , t j+1‬ﺗﺴﻤﻰ )‪ γ(a‬ﺑﺪاﻳﺔ اﻟﻘﻮس و )‪ γ(b‬ﺎﻳﺘﻪ‪ .‬إذا ﻛﺎﻧﺖ‬
‫)‪ γ(a) = γ(b‬ﻓﺈن اﻟﻘﻮس ‪ γ‬ﻳﺴﻤﻰ ﻗﻮس ﻣﻐﻠﻖ‪.‬‬
‫ﻣﻼﺣﻈﺔ ‪ 1.1.2‬اﳌﻌﲏ ﺑﻘﺎﺑﻠﻴﺔ اﺷﺘﻘﺎق اﻟﺪاﻟﺔ ‪ γ‬ﻋﻨﺪ أﻃﺮاف اﻟﻔﱰة ]‪ [a, b‬ﻫﻮ وﺟﻮد اﻟﻨﻬﺎﻳﺔ ﻣﻦ ﺟﻬﺔ واﺣﺪة‪ ,‬أي أن‬
‫)‪f (a + t) − f (a‬‬
‫)‪f (b + t) − f (b‬‬
‫‪, γ′ (b) = lim−‬‬
‫‪t→b‬‬
‫‪t‬‬
‫‪t‬‬
‫‪γ′ (a) = lim+‬‬
‫‪t→a‬‬
‫أﻣﺜﻠﺔ ‪ 1.1.3‬ﰲ ﻣﺎ ﻳﻠﻲ ﻧﻌﻄﻲ ﺑﻌﺾ اﻷﻣﺜﻠﺔ ﻋﻠﻰ أﻗﻮاس ﻣﻠﺴﺎء ﻗﻄﻌﺎً‪.‬‬
‫• اﻟﺪاﺋﺮة اﻟﱵ ﻣﺮﻛﺰﻫﺎ ‪ z0 ∈ C‬وﻧﺼﻒ ﻗﻄﺮﻫﺎ ‪ r > 0‬واﻟﱵ ﻧﺮﻣﺰ ﳍﺎ ﺑﺎﻟﺮﻣﺰ )‪ γ(z ,r‬ﺗﻌﻄﻰ ﺑﺎﻟﻌﻼﻗﺔ اﻟﺘﺎﻟﻴﺔ‪:‬‬
‫‪0‬‬
‫‪γ(z0 ,r) : [0,2π] −→ C‬‬
‫‪γ(t) = reit‬‬
‫ﻻﺣﻆ أن اﻟﻘﻮس )‪ γ(z ,r‬أﻣﻠﺲ وﻣﻐﻠﻖ‪.‬‬
‫‪0‬‬
‫• اﻟﻘﻄﻌﺔ ]‪ [A, B‬ﺣﻴﺚ ‪ A, B‬أﻋﺪاد ﻣﺮﻛﺒﺔ‪ ,‬ﺗﻌﻄﻰ ﺑﺎﻟﻌﻼﻗﺔ اﻟﺘﺎﻟﻴﺔ‬
‫]‪γ[A,B] : [a, b] −→ [A, B‬‬
‫ﻋﻨﺪﻣﺎ‬
‫‪(b − t)A + (t − a)B‬‬
‫‪b−a‬‬
‫‪b=1‬‬
‫= )‪γ[A,B] (t‬‬
‫‪ a = 0 ,‬ﻓﺈن ‪.γ[A,B] (t) = (1 − t)A + tB‬‬
‫• ﻟﻴﻜﻦ ‪ Γ‬ﻣﻌﺮف ﻛﻤﺎ ﻳﻠﻲ‪:‬‬
‫‪,0 ≤ t ≤ π‬‬
‫‪, π ≤ t ≤ 2π‬‬
‫‪it‬‬
‫‪e‬‬
‫‪2t−3π‬‬
‫‪π‬‬
‫{‬
‫= )‪Γ(t‬‬
‫ﻧﻼﺣﻆ أن ∗‪ Γ‬ﻫﻮ اﻟﻨﺼﻒ اﻟﻌﻠﻮي ﻟﺪاﺋﺮة اﻟﻮﺣﺪة اﲢﺎداﻟﻘﻄﻌﺔ ]‪ [−1, 1‬وﺑﺎﻟﺘﺎﱄ ﻫﻮ ﻟﻴﺲ ﺑﻘﻮس أﻣﻠﺲ )ﻟﻮﺟﻮد اﻧﻜﺴﺎر‬
‫ﻋﻨﺪ ‪ (t = π‬وﻟﻜﻨﻪ ﻗﻮس أﻣﻠﺲ ﻗﻄﻌﺎً وﻣﻐﻠﻖ‪.‬‬
‫ﻻﺣﻆ أن ﺗﻄﺎﺑﻖ ﺻﻮرﰐ ﻗﻮﺳﲔ ‪ γ1‬و ‪ γ2‬ﻻ ﻳﻌﲏ ﺑﺎﻟﻀﺮورة أن ﳍﻤﺎ ﻧﻔﺲ اﳋﺼﺎﺋﺺ‪ .‬ﻓﻌﻠﻰ ﺳﺒﻴﻞ اﳌﺜﺎل إذا اﻋﺘﱪﻧﺎ اﻟﻔﱰة‬
‫]‪ [0, 2π‬ﻓﺈن اﻟﻘﻮﺳﲔ‬
‫‪γ(0,1) (t) = eit , γn(0,1) (t) = eint , n ∈ N‬‬
‫‪1‬‬
‫اﻟﺘﻜﺎﻣﻞ ﻋﻠﻰ اﻟﻘﻮس‬
‫‪2‬‬
‫ﳍﻤﺎ ﻧﻔﺲ اﻟﺼﻮرة ﻋﻠﻰ اﻟﺮﻏﻢ ﻣﻦ أن )‪ γ(0,1‬أﺣﺎدﻳﺔ ﻋﻠﻰ اﻟﻔﱰة‬
‫اﻻﺧﺘﻼف ﻻﺣﻘﺎً ﻋﻨﺪﻣﺎ ﻧﺪرس دﻟﻴﻞ اﻟﻘﻮس اﳌﻐﻠﻖ واﻷﻣﻠﺲ ﻗﻄﻌﺎً‪.‬‬
‫ﺑﻴﻨﻤﺎ‬
‫)‪(0, 2π‬‬
‫)‪γn(0,1‬‬
‫‪1.2‬‬
‫ﻟﻴﺴﺖ ﻛﺬﻟﻚ‪ .‬ﺳﻨﺒﲔ أﺛﺮ ﻫﺬا‬
‫اﻟﺘﻜﺎﻣﻞ ﻋﻠﻰ اﻟﻘﻮس‬
‫‪1.2‬‬
‫ﺗﻌﺮﻳﻒ ‪ 1.2.1‬ﻟﻴﻜﻦ ‪ γ : [a, b] −→ C‬ﻗﻮس أﻣﻠﺲ ﻗﻄﻌﺎً ﻓﺈن ∫ﻃﻮل ‪ γ‬واﻟﺬي ﻧﺮﻣﺰ إﻟﻴﻪ ﺑﺎﻟﺮﻣﺰ ‪ Lγ‬ﻫﻮ‬
‫‪b‬‬
‫‪|γ′ (t)|dt‬‬
‫= ‪Lγ‬‬
‫‪a‬‬
‫ﻣﺜﺎل ‪1.2.2‬‬
‫‪|ieit |dt = 2π‬‬
‫‪∫ 2π‬‬
‫‪0‬‬
‫=‬
‫‪ Lγ‬ﺑﻴﻨﻤﺎ‬
‫)‪(0,1‬‬
‫‪|nieint |dt = 2nπ‬‬
‫‪∫ 2π‬‬
‫‪0‬‬
‫ﻣﺜﺎل ‪ 1.2.3‬اﻋﺘﱪ اﻟﻘﻮس ‪ Γ‬ﻛﻤﺎ ﰲ اﳌﺜﺎل ‪ , 1.1.3‬ﳒﺪ∫ أن‬
‫‪2‬‬
‫‪| |dt = π + 2‬‬
‫‪π‬‬
‫‪2π‬‬
‫‪|ieit |dt +‬‬
‫‪π‬‬
‫‪. Lγ‬‬
‫=‬
‫)‪n(0,1‬‬
‫∫‬
‫‪π‬‬
‫= ‪LΓ‬‬
‫‪0‬‬
‫ﺗﻌﺮﻳﻒ ‪ 1.2.4‬ﻟﻴﻜﻦ ‪ γ : [a, b] −→ C‬ﻗﻮس أﻣﻠﺲ ﻗﻄﻌﺎً و ‪ f‬داﻟﺔ ﻣﺘﺼﻠﺔ ﻋﻠﻰ ∗‪ γ‬ﻓﺈن ﺗﻜﺎﻣﻞ اﻟﺪاﻟﺔ ‪ f‬ﻋﻠﻰ ‪ γ‬ﻳﻌﺮف‬
‫ﻛﺎﻟﺘﺎﱄ‬
‫∫‬
‫∫‬
‫‪f (γ(t))γ′ (t)dt‬‬
‫‪b‬‬
‫= ‪f (z)dz‬‬
‫‪γ‬‬
‫‪a‬‬
‫ﻣﺜﺎل ‪ 1.2.5‬إذا ﻛﺎﻧﺖ‬
‫‪1‬‬
‫‪z‬‬
‫= )‪f (z‬‬
‫‪1‬‬
‫‪ireit dt = 2πi‬‬
‫‪reit‬‬
‫ﻣﻦ ﻧﺎﺣﻴﺔ أﺧﺮى ﳒﺪ أن‬
‫ﻣﺜﺎل ‪ 1.2.6‬إذا ﻛﺎﻧﺖ‬
‫و ‪ r > 0‬ﻓﺈن‬
‫‪2π‬‬
‫= ‪f (z)dz‬‬
‫)‪γ(0,r‬‬
‫‪0‬‬
‫∫‬
‫‪2π‬‬
‫‪1‬‬
‫‪nirenit dt = 2nπi‬‬
‫‪renit‬‬
‫‪f (z) = z‬‬
‫∫‬
‫∫‬
‫∫‬
‫= ‪f (z)dz‬‬
‫)‪γn(0,r‬‬
‫‪0‬‬
‫و ‪ A, B ∈ C‬ﻓﺈن‬
‫∫‬
‫‪1‬‬
‫‪((1 − t)A + tB)(B − A)dt‬‬
‫∫‬
‫= ‪f (z)dz‬‬
‫]‪γ[A,B‬‬
‫‪0‬‬
‫[‬
‫]‬
‫‪1‬‬
‫‪t2‬‬
‫‪1‬‬
‫) ‪= (B − A) At + (B − A)0 = (B2 − A2‬‬
‫‪2‬‬
‫‪2‬‬
‫ﻋﻠﻰ ﻣﻔﺘﻮح ﳛﻮي ∗‪ γ‬ﻓﺈن‬
‫ﻧﻈﺮﻳﺔ ‪ 1.2.7‬ﻟﻴﻜﻦ ‪ γ : [a, b] −→ C‬ﻗﻮس أﻣﻠﺲ ﻗﻄﻌﺎً و ‪ f‬داﻟﺔ ﲢﻠﻴﻠﻴﺔ‬
‫∫‬
‫))‪f ′ (z) = f (γ(b)) − f (γ(a‬‬
‫‪γ‬‬
‫ﺑﺮﻫﺎن ﻣﻦ اﻟﻨﻈﺮﻳﺔ اﻷﺳﺎﺳﻴﺔ ﻟﻠﺘﻔﺎﺿﻞ واﻟﺘﻜﺎﻣﻞ ﳒﺪ أن‬
‫))‪[ f ◦ γ]′ (t)dt = f (γ(b)) − f (γ(a‬‬
‫∫‬
‫‪b‬‬
‫= ‪f ′ (γ(t))γ′ (t)dt‬‬
‫‪a‬‬
‫‪b‬‬
‫∫‬
‫‪a‬‬
‫= ‪f ′ (z)dz‬‬
‫∫‬
‫‪γ‬‬
‫ﻣﻼﺣﻈﺔ ‪ 1.2.8‬ﰲ ﺑﺮﻫﺎن اﻟﻨﻈﺮﻳﺔ اﻟﺴﺎﺑﻘﺔ اﺳﺘﺨﺪﻣﻨﺎ أن ‪ f ′‬ﻣﺘﺼﻠﺔ دون أن ﻧﱪﻫﻦ ذﻟﻚ‪ .‬ﻻﺣﻘﺎً ﺳﻨﺒﲔ أن اﻟﺪوال اﻟﺘﺤﻠﻴﻠﻴﺔ‬
‫ﺗﻜﻮن ﻗﺎﺑﻠﺔ ﻟﻼﺷﺘﻘﺎق ﻣﺎﻻ ﺎﻳﺔ ﻣﻦ اﳌﺮات‪ ,‬وإﱃ ذﻟﻚ اﳊﲔ ﺳﻨﺴﺘﺨﺪم ﻫﺬﻩ اﳊﻘﻴﻘﺔ‪.‬‬
‫ﺗﻄﺒﻴﻘﺎت ﻋﻠﻰ ﻧﻈﺮﻳﺔ ‪1.2.7‬‬
‫اﻟﺘﻜﺎﻣﻞ اﻟﻤﺮﻛﺐ‬
‫‪ . 1‬ﻟﺘﻜﻦ‬
‫‪3‬‬
‫‪f (z) = ez‬‬
‫ﻓﺈن‬
‫‪ez dz = eB − eA‬‬
‫∫‬
‫‪.γ‬‬
‫]‪[A,B‬‬
‫∫‬
‫‪ . 2‬ﻋﻼوة ﻋﻠﻰ اﻟﺸﺮوط ﰲ اﻟﻨﻈﺮﻳﺔ إذا ﻛﺎن ‪ γ‬ﻣﻐﻠﻖ ﻓﺈن ‪ γ f ′ (z)dz = 0‬وﺑﺎﻟﺘﺎﱄ ﻧﺮى أﻧﻪ ﻻ ﻳﻮﺟﺪ ﻓﺮع داﻟﺔ ﻟﻮﻏﺎرﲤﻴﺔ‬
‫‪ f‬ﻋﻠﻰ أي ﻣﻔﺘﻮح ﳛﻮي داﺋﺮة )‪ .γ(0,r‬ﻷﻧﻪ ﻟﻮ وﺟﺪ ﻫﺬا اﻟﻔﺮع ﻟﻠﻮﻏﺎر∫ﻳﺘﻢ ﻟﻜﺎن‬
‫‪f ′ (z)dz = 0‬‬
‫)‪γ(0,r‬‬
‫ﻣﻦ ﻧﺎﺣﻴﺔ أﺧﺮى وﺣﻴﺚ أن‬
‫‪1‬‬
‫‪z‬‬
‫= )‪f ′ (z‬‬
‫اﻟﺴﺎﺑﻘﺔ‬
‫ﻓﺈﻧﻪ ﻛﻤﺎ رأﻳﻨﺎ ﰲ اﻷﻣﺜﻠﺔ‬
‫∫‬
‫‪1‬‬
‫‪dz = 2πi , 0‬‬
‫‪z‬‬
‫)‪γ(0,r‬‬
‫وﻫﺬا ﺗﻨﺎﻗﺾ‪.‬‬
‫ﻣﺜﺎل ‪ 1.2.9‬ﻟﻴﻜﻦ ‪ γ1 (t) = t + it, 0 ≤ t ≤ 1‬و ‪ . γ2 (t) = t + it2 , 0 ≤ t ≤ 1‬ﻻﺣﻆ أن ‪ γ1 (0) = γ2 (0) = 0‬و‬
‫‪ γ1 (1) = γ2 (1) = 1 + i‬أي أن اﻟﻘﻮﺳﲔ ﳍﻤﺎ ∫ﻧﻔﺲ اﻟﺒﺪاﻳﺔ∫ واﻟﻨﻬﺎﻳﺔ‪∫ .‬اﻵن ﻧﻘﻮم ∫ﲝﺴﺎب اﻟﺘﻜﺎﻣﻼت اﻟﺘﺎﻟﻴﺔ‬
‫‪zdz‬‬
‫‪γ2‬‬
‫ﻻﺣﻆ أن ]‪ γ1 = [0, 1 + i‬وﺑﺎﻟﺘﺎﱄ ﻓﺈن‬
‫‪zdz ,‬‬
‫‪γ1‬‬
‫‪zdz ,‬‬
‫‪zdz ,‬‬
‫‪γ2‬‬
‫∫‬
‫‪2‬‬
‫)‪(1 + i‬‬
‫‪=i‬‬
‫‪2‬‬
‫‪γ1‬‬
‫= ‪zdz‬‬
‫وﺑﺎﺳﺘﺨﺪام اﻟﺘﻌﺮﻳﻒ ﳒﺪ أن‬
‫‪γ1‬‬
‫∫‬
‫‪1‬‬
‫‪(t + it2 )(1 + 2it)dt‬‬
‫∫‬
‫= ‪zdz‬‬
‫‪0‬‬
‫‪1‬‬
‫‪t + 3it2 − 2t3 dt = i‬‬
‫‪γ2‬‬
‫∫‬
‫=‬
‫‪0‬‬
‫ﻣﺮة أﺧﺮى ﻧﺴﺘﺨﺪم اﻟﺘﻌﺮﻳﻒ ﳊﺴﺎب اﻟﺘﻜﺎﻣﻠﲔ اﳌﺘﺒﻘﻴﲔ‪ ,‬ﻓﻨﺘﺤﺼﻞ ﻋﻠﻰ‬
‫‪1−i‬‬
‫‪=1‬‬
‫‪2‬‬
‫ﺑﻴﻨﻤﺎ‬
‫‪1‬‬
‫∫‬
‫)‪(t − it)(1 + i)dt = (1 + i‬‬
‫∫‬
‫= ‪zdz‬‬
‫‪γ1‬‬
‫‪0‬‬
‫‪i‬‬
‫‪t + it2 + 2t3 dt = 1 +‬‬
‫‪3‬‬
‫‪1‬‬
‫∫‬
‫‪1‬‬
‫∫‬
‫= ‪(t − it2 )(1 + 2it)dt‬‬
‫‪0‬‬
‫∫‬
‫= ‪zdz‬‬
‫‪γ2‬‬
‫‪0‬‬
‫اﻟﻌﺒﺮة ﻣﻦ اﻟﻤﺜﺎل اﻟﺴﺎﺑﻖ‪.‬‬
‫∫‬
‫∫‬
‫رأﻳﻨﺎ أن ﰲ اﳌﺜﺎل أﻋﻼﻩ أن ‪ γ zdz = γ zdz‬وذﻟﻚ ﻷن اﻟﺪاﻟﺔ ‪ f (z) = z‬ﳍﺎ أﺻﻞ ‪ F(z) = z2‬وﺑﺘﻄﺒﻴﻖ ﻧﻈﺮﻳﺔ ‪1.2.7‬‬
‫∫‬
‫∫‬
‫ﻳﺘﻀﺢ ﻟﻨﺎ ﺳﺒﺐ ﺗﺴﺎوي اﻟﺘﻜﺎﻣﻠﲔ‪ .‬ﻣﻦ ﺟﻬﺔ أﺧﺮى وﺟﺪﻧﺎ أن ‪ γ zdz , γ zdz‬وذﻟﻚ ﻷن اﻟﺪاﻟﺔ ‪ z‬ﻟﻴﺲ ﳍﺎ أﺻﻞ ﰲ ‪C‬‬
‫ﻋﻠﻰ اﻟﺮﻏﻢ ﻣﻦ ﻛﻮ ﺎ داﻟﺔ ﻣﺘﺼﻠﺔ‪ .‬ﻓﻠﻮ اﻓﱰﺿﻨﺎ وﺟﻮد داﻟﺔ ﲢﻠﻴﻠﻴﺔ )‪ F(z) = U(x, y) + iV(x, y‬ﲝﻴﺚ‬
‫‪2‬‬
‫‪2‬‬
‫‪1‬‬
‫‪2‬‬
‫‪∂U‬‬
‫‪∂V‬‬
‫‪(x, y) + i (x, y) = z = x − iy‬‬
‫‪∂x‬‬
‫‪∂x‬‬
‫ﻓﺈﻧﻪ ﻣﻦ ﻣﻌﺎدﻻت ﻛﻮﺷﻲ‪-‬رﳝﺎن ﳒﺪ أن‬
‫‪1‬‬
‫= )‪F ′ (z‬‬
‫‪∂U‬‬
‫‪∂U‬‬
‫‪∂ U‬‬
‫‪∂ U‬‬
‫‪=x,‬‬
‫⇒= ‪= y‬‬
‫‪+ 2 =2‬‬
‫‪∂x‬‬
‫‪∂y‬‬
‫‪∂x2‬‬
‫‪∂y‬‬
‫‪2‬‬
‫‪2‬‬
‫أي أن اﻟﺪاﻟﺔ ‪ U‬ﻟﻴﺴﺖ ﺗﻮاﻓﻘﻴﺔ‪ ,‬وﻫﺬا ﻳﺘﻨﺎﻗﺾ ﻣﻊ ﻛﻮن ‪ F‬داﻟﺔ ﲢﻠﻴﻠﻴﺔ‪ .‬وﻫﻨﺎ ﻳﺘﺠﻠﻲ ﻟﻨﺎ أﺣﺪ اﻟﻔﺮوق ﺑﲔ اﳌﺮﻛﺐ واﳊﻘﻴﻘﻲ‪.‬‬
‫اﳊﻘﻴﻘﻲ ﻛﻞ داﻟﺔ ‪ f‬ﻣﺘﺼﻠﺔ ﻋﻠﻰ ‪ [a, b] ⊂ R‬ﻳﻮﺟﺪ ﳍﺎ أﺻﻞ ‪ F‬ﲝﻴﺚ ﻟﻜﻞ )‪ x ∈ (a, b‬ﻓﺈن )‪ F ′ (x) = f (x‬وذﻟﻚ ﺑﻮﺿﻊ‬
‫ﻓﻔﻲ‬
‫‪∫x‬‬
‫‪.F(x) = a f (t)dt‬‬
‫دﻟﻴﻞ اﻷﻗﻮاس اﻟﻤﻐﻠﻘﺔ‬
‫‪4‬‬
‫ﻧﻈﺮﻳﺔ ‪) 1.2.10‬ﺑﻌﺾ ﺧﺼﺎﺋﺺ اﻟﺘﻜﺎﻣﻞ(‬
‫ﻟﻴﻜﻦ ‪ γ : [a, b] −→ C‬ﻗﻮس أﻣﻠﺲ ﻗﻄﻌﺎً و ‪ f, g‬داﻟﺘﲔ ﻣﺘﺼﻠﺘﲔ ﻋﻠﻰ‬
‫∫‬
‫∫‬
‫‪.1‬‬
‫‪g(z)dz‬‬
‫‪.2‬‬
‫‪f (z)dz‬‬
‫‪.3‬‬
‫ ∫ ‬
‫∫‬
‫‬
‫‪ f (z)dz ≤ f (z)dz ≤ sup ∗ | f (z)| Lγ‬‬
‫‪z∈γ‬‬
‫‪γ‬‬
‫‪γ‬‬
‫‪f (z)dz + β‬‬
‫‪γ‬‬
‫∫‬
‫‪γ−‬‬
‫‪γ‬‬
‫‪f (z)dz = −‬‬
‫‪(α f (z) + βg(z))dz = α‬‬
‫∫‬
‫‪γ‬‬
‫∫‬
‫∗‬
‫‪1.3‬‬
‫‪ γ‬و ‪ ,α, β ∈ C‬ﻓﺈن‬
‫‪γ‬‬
‫ﺣﻴﺚ ‪ γ−‬ﻫﻮ اﻟﻘﻮس اﳌﻌﺎﻛﺲ ﻟﻠﻘﻮس ‪ γ‬واﳌﻌﺮف ﺑﺎﻟﻌﻼﻗﺔ‬
‫)‪γ− (t) = γ(a + b − t‬‬
‫∫‬
‫ﺑﺮﻫﺎن ﺳﻨﺜﺒﺖ اﻟﻔﻘﺮة ‪ 3‬وﻧﱰك اﻟﻔﻘﺮﺗﲔ ‪ 1‬و ‪ 2‬ﻛﺘﻤﺮﻳﻦ‪∫ .‬ﻟﻴﻜﻦ ‪ , γ∫f (z)dz =reiθ‬إذاً‬
‫‬
‫= ‪f (z)dz = r‬‬
‫‬
‫‪e−iθ f (z)dz‬‬
‫‪γ‬‬
‫‪Re(e−iθ f (γ(t))γ′ (t))dt‬‬
‫‪b‬‬
‫∫‬
‫‪γ‬‬
‫‬
‫‬
‫‬
‫=‬
‫‪a‬‬
‫‪b‬‬
‫‬
‫‬
‫‪ f (γ(t))γ′ (t) dt‬‬
‫∫‬
‫≤‬
‫‪a‬‬
‫‪≤ sup | f (γ(t))| Lγ‬‬
‫]‪t∈[a,b‬‬
‫‪1.3‬‬
‫دﻟﻴﻞ اﻷﻗﻮاس اﻟﻤﻐﻠﻘﺔ‬
‫ﻣﻔﻬﻮم اﻟﺪﻟﻴﻞ ﻫﻮ أﺣﺪ اﳌﻔﺎﻫﻴﻢ اﳌﻬﻤﺔ ﰲ اﻟﺘﺤﻠﻴﻞ اﳌﺮﻛﺐ‪ ,‬وﺳﻨﺮى اﺳﺘﺨﺪاﻣﺎﺗﻪ ﻋﻨﺪﻣﺎ ﻧﺪرس اﻟﺼﻴﻐﺔ اﻟﻌﺎﻣﺔ ﻟﺘﻜﺎﻣﻞ ﻛﻮﺷﻲ‬
‫وﻛﺬﻟﻚ ﻧﻈﺮﻳﺔ اﻟﺒﻮاﻗﻲ‪ ,‬وﰲ ﻫﺬا اﻟﻔﺼﻞ ﻧﻮرد ﺗﻌﺮﻳﻒ اﻟﺪﻟﻴﻞ وأﻫﻢ ﺧﻮاﺻﻪ‪.‬‬
‫ﺗﻌﺮﻳﻒ ‪ 1.3.1‬ﻟﻴﻜﻦ ‪ γ‬ﻗﻮس أﻣﻠﺲ ﻗﻄﻌﺎً وﻣﻐﻠﻖ و ∗‪ z0 ∈ C ∫\ γ‬ﻓﺈن دﻟﻴﻞ اﻟﻘﻮس ‪ γ‬ﺑﺎﻟﻨﺴﺒﺔ ﻟﻠﻌﻨﺼﺮ ‪ z0‬ﻫﻮ‬
‫‪dz‬‬
‫‪z − z0‬‬
‫ﻣﺜﺎل ‪ 1.3.2‬ﻟﻴﻜﻦ ‪ n ∈ N‬و‬
‫‪0 ≤ t ≤ 2π‬‬
‫‪2π‬‬
‫‪,∫γn(z ,1) (t) = z0 + eint∫,‬ﻓﺈن‬
‫‪0‬‬
‫‪nidt = n‬‬
‫‪0‬‬
‫ﺑﻨﻔﺲ اﻟﻄﺮﻳﻘﺔ ﳒﺪ أن‬
‫‪γ‬‬
‫‪1‬‬
‫‪2πi‬‬
‫= ) ‪I(γ; z0‬‬
‫‪dz‬‬
‫‪1‬‬
‫=‬
‫‪z − z0‬‬
‫‪2πi‬‬
‫)‪γn(z0 ,1‬‬
‫‪1‬‬
‫‪2πi‬‬
‫= ) ‪I(γn(z0 ,1) , z0‬‬
‫‪−‬‬
‫‪I(γn(z‬‬
‫‪, z0 ) = −n‬‬
‫)‪0 ,1‬‬
‫ﻣﻦ اﳌﺜﺎل اﻟﺴﺎﺑﻖ ﻳﺒﺪو ﻟﻨﺎ وﻛﺄن اﻟﺪﻟﻴﻞ ﻫﻮ ﻋﺒﺎرة ﻋﻦ ﻋﺪد اﻟﻠﻔﺎت اﻟﱵ ﻳﺼﻨﻌﻬﺎ اﻟﻘﻮس ﺣﻮل ‪ z0‬ﺑﺈﺷﺎرة ﻣﻮﺟﺒﺔ ﻋﻨﺪﻣﺎ ﻳﻜﻮن‬
‫اﻟﺪوران ﺑﺎﲡﺎﻩ اﻟﻄﻮاف وﺑﺈﺷﺎرة ﺳﺎﻟﺒﺔ ﻋﻨﺪﻣﺎ ﻳﻜﻮن ﻋﻜﺴﻪ‪ .‬اﻟﻨﻈﺮﻳﺔ اﻟﺘﺎﻟﻴﺔ ﺗﺆﻛﺪ ﻫﺬا اﻟﻔﻬﻢ ﻟﻠﺪﻟﻴﻞ‪.‬‬
‫ﻧﻈﺮﻳﺔ ‪ 1.3.3‬ﻟﻴﻜﻦ ‪ γ : [a, b] −→ C‬ﻗﻮس أﻣﻠﺲ ﻗﻄﻌﺎً وﻣﻐﻠﻖ ﻓﺈﻧﻪ ﻟﻜﻞ ∗‪ z ∈ C \ γ‬ﻳﻜﻮن ‪ I(γ, z) ∈ Z‬وﻫﻮ ﺛﺎﺑﺖ ﻋﻠﻰ‬
‫ﻛﻞ ﺟﺰء ﻣﱰاﺑﻂ ﻣﻦ ∗‪ C \ γ‬وﻳﻜﻮن ﺻﻔﺮاً ﻋﻠﻰ اﳉﺰء اﳌﱰاﺑﻂ ﻏﲑ اﶈﺪود ﻣﻦ ∗‪.C \ γ‬‬
‫ﻳﻠﻲ‬
‫ﺑﺮﻫﺎن ﻟﻴﻜﻦ ‪ γ : [a, b] −→ C‬ﻗﻮس أﻣﻠﺲ ﻗﻄﻌﺎً وﻣﻐﻠﻖ و ﻟﻴﻜﻦ ∗‪ .z ∈ C \ γ‬ﻧﻌﺮف اﻟﺪاﻟﺔ ‪ g‬ﻋﻠﻰ اﻟﻔﱰة ]‪ [a, b‬ﻛﻤﺎ‬
‫)‪γ′ (t‬‬
‫‪dt‬‬
‫‪γ(t) − z‬‬
‫∫‬
‫‪x‬‬
‫= )‪g(x‬‬
‫‪a‬‬
‫اﻟﺘﻜﺎﻣﻞ اﻟﻤﺮﻛﺐ‬
‫‪5‬‬
‫)‪γ (s‬‬
‫‪ .g′ (s) = γ(s)−z‬اﻵن ﻧﻀﻊ )‪ ψ(x) = eg(x‬ﻣﻦ‬
‫ﻻﺣﻆ أن اﻟﺪاﻟﺔ ‪ g‬ﻣﺘﺼﻠﺔ وﲢﻘﻖ أن ‪ g(a) = 0‬و )‪ g(b) = 2πi I(γ, z‬وأن‬
‫اﻟﻮاﺿﺢ أن ﻫﺬﻩ اﻟﺪاﻟﺔ ﻗﺎﺑﻠﺔ ﻟﻼﺷﺘﻘﺎق ﻋﻨﺪ ﻛﻞ ﻧﻘﻄﺔ ﺗﻜﻮن ﻓﻴﻬﺎ اﻟﺪاﻟﺔ ‪ γ′‬ﻣﺘﺼﻠﺔ وﻟﻨﺎ‬
‫‪′‬‬
‫)‪γ′ (s‬‬
‫)‪ψ(s‬‬
‫‪γ(s) − z‬‬
‫وﺑﺎﻟﺘﺎﱄ ﳒﺪ أن‬
‫= )‪ψ′ (s) = g′ (s)eg(s‬‬
‫‪′‬‬
‫‪)′‬‬
‫‪′‬‬
‫)‪ψ (s)(γ(s) − z) − γ (s)ψ(s‬‬
‫‪=0‬‬
‫‪(γ(s) − z)2‬‬
‫=‬
‫)‪ψ(s‬‬
‫‪γ(s) − z‬‬
‫(‬
‫)‪ψ(x‬‬
‫‪ γ(x)−z‬ﻫﻲ ﺛﺎﺑﺘﺔ ﻋﻠﻰ ﻛﻞ ﻓﱰة ﺗﻜﻮن ﻋﻠﻴﻬﺎ اﻟﺪاﻟﺔ ‪ γ′‬ﻣﺘﺼﻠﺔ وﲟﺎ أن ‪ γ‬ﻗﻮس أﻣﻠﺲ ﻗﻄﻌﺎً ﻓﺈﻧﻪ ﺗﻮﺟﺪ ﺗﻘﺴﻴﻤﺔ‬
‫أي أن اﻟﺪاﻟﺔ‬
‫‪ a = x0 < x1 < ... < xn = b‬ﲝﻴﺚ ‪ γ′‬ﺗﻜﻮن ﻣﺘﺼﻠﺔ ﻋﻠﻰ ) ‪ .(x j , x j+1‬إذاً ﻣﻦ اﻻﺗﺼﺎل ﻳﻜﻮن ﻟﻨﺎ‬
‫)‪ψ(a‬‬
‫) ‪ψ(x1‬‬
‫)‪ψ(b‬‬
‫=‬
‫= ‪= ...‬‬
‫‪γ(a) − z‬‬
‫‪γ(x1 ) − z‬‬
‫‪γ(b) − z‬‬
‫وﲟﺎ أن )‪ γ(a) = γ(b‬ﻓﺈن‬
‫)‪ψ(a) = ψ(b) ⇒ 1 = e2πiI(γ,z‬‬
‫وﻫﺬا ﻳﻘﺘﻀﻲ أن ‪ I(γ, z) ∈ Z‬وﻫﻮ ﺛﺎﺑﺖ ﻋﻠﻰ ﻛﻞ ﺟﺰء ﻣﱰاﺑﻂ ﻣﻦ ∗‪ C \ γ‬ﻷن اﻟﺪاﻟﺔ )‪ z 7→ I(γ, z‬ﻣﺘﺼﻠﺔ ﻋﻠﻰ‬
‫)ﳌﺎذا؟!(‪ .‬ﺑﻘﻲ أن ﻧﺒﲔ أﻧﻪ اﻟﺪﻟﻴﻞ ﻳﺴﺎوي اﻟﺼﻔﺮ ﻋﻠﻰ اﳉﺰء اﳌﱰاﺑﻂ ﻏﲑ اﶈﺪود وﻫﺬا واﺿﺢ ﻷﻧﻪ ﺛﺎﺑﺖ ﻋﻠﻰ ﻫﺬا اﳉﺰء‬
‫اﳌﱰاﺑﻂ وﺑﺎﻟﺘﺎﱄ‬
‫∫‬
‫∗‪C \ γ‬‬
‫)‪γ′ (t‬‬
‫‪dt = 0‬‬
‫‪γ(t) − z‬‬
‫‪b‬‬
‫‪1‬‬
‫‪z→∞ 2πi‬‬
‫‪I(γ, z) = lim‬‬
‫‪a‬‬
‫ﻣﻼﺣﻈﺔ ‪ 1.3.4‬إذا ﻛﺎن ‪ γ‬ﻛﻤﺎ ﰲ اﻟﻨﻈﺮﻳﺔ اﻟﺴﺎﺑﻘﺔ ﻓﺈن اﳉﺰء اﳌﱰاﺑﻂ اﻟﻐﲑ ﳏﺪود ﻳﻜﻮن وﺣﻴﺪاً وذﻟﻚ ﻷن ∗‪ γ‬ﻣﱰاص‬
‫ﻛﺼﻮرة ﻟﻠﻤﱰاص ]‪ [a, b‬ﺑﺎﻟﺪاﻟﺔ اﳌﺘﺼﻠﺔ ‪ γ‬وﺑﺎﻟﺘﺎﱄ ﻳﻮﺟﺪ ‪ R > 0‬ﲝﻴﺚ )‪ γ∗ ⊂ B(0, R‬وﲟﺎ أن )‪ C \ B(0, R‬ﻣﱰاﺑﻂ ﻳﻨﺘﻤﻲ ﻟﻠﺠﺰء‬
‫اﳌﱰاﺑﻂ اﻟﻐﲑ ﳏﺪود ﻓﺈن اﳉﺰء اﳌﱰاﺑﻂ ﻏﲑ اﶈﺪود ﻳﻜﻮن وﺣﻴﺪاً‪.‬‬
‫ﻣﺜﺎل ‪ 1.3.5‬ﻟﻴﻜﻦ ‪ γ‬ﻛﺎﻟﺘﺎﱄ‬
‫‪‬‬
‫‪, 0 ≤ t ≤ 2π‬‬
‫‪, 2π ≤ t ≤ π‬‬
‫‪, π ≤ t ≤ 2π‬‬
‫‪‬‬
‫‪1 + e2it‬‬
‫‪‬‬
‫‪‬‬
‫‪π‬‬
‫‪‬‬
‫‪γ(t) = ‬‬
‫) ‪−1 + e−4i(t− 2‬‬
‫‪‬‬
‫‪‬‬
‫‪‬‬
‫‪it‬‬
‫‪1+e‬‬
‫∗‬
‫∗‪−‬‬
‫)‪∪ γ(−1,1‬‬
‫ﻻﺣﻆ أن‬
‫)‪ γ∗ = γ(1,1‬وﺑﺘﻄﺒﻴﻖ اﻟﻨﻈﺮﻳﺔ اﻟﺴﺎﺑﻘﺔ ﳒﺪ أن‬
‫‪1‬‬
‫‪i‬‬
‫‪I(γ, ) = 1 , I(γ, −1 − ) = −1 , I(γ, −5) = I(γ, 2012i) = 0‬‬
‫‪2‬‬
‫‪2‬‬
‫ﻧﻈﺮﻳﺔ ﻛﻮﺷﻲ‬
‫‪1.4‬‬
‫ﻫﺬا اﻟﻘﺴﻢ ﻳﺘﻨﺎول ﻧﻈﺮﻳﺔ ﻛﻮﺷﻲ و ﺳﻨﺘﺪرج ﰲ ذﻟﻚ ﻣﻦ اﻟﺼﻮرة اﻟﺒﺴﻴﻄﺔ إﱃ اﻟﺼﻮرة اﻟﻌﺎﻣﺔ‪.‬‬
‫ﻧﻈﺮﻳﺔ ‪) 1.4.1‬ﻧﻈﺮﻳﺔ ﻛﻮﺷﻲ (‬
‫ﻟﺘﻜﻦ ‪ f‬داﻟﺔ ﲢﻠﻴﻠﻴﺔ ﻋﻠﻰ ﻣﻔﺘﻮح ﳛﻮي )‪ . B(a, r‬ﻓﺈن‬
‫∫‬
‫‪f (z)dz = 0‬‬
‫)‪γ(a,r‬‬
‫ﺑﺮﻫﺎن ﻟﺘﻜﻦ )‪ . f (z) = u(x, y) + iv(x, y‬ﺣﻴﺚ أن اﻟﺪاﻟﺔ ‪ f‬ﲢﻠﻴﻠﻴﺔ إذاً اﳌﺸﺘﻘﺎت اﳉﺰﺋﻴﺔ ‪ ux , uy , vx , xy‬ﻣﻮﺟﻮدة وﻣﺘﺼﻠﺔ‬
‫وﺑﺎﻟﺘﺎﱄ ﻣﻦ ﻧﻈﺮﻳﺔ ﺟﺮﻳﻦ ﳒﺪ أن‬
‫و ﲢﻘﻖ ‪) ux = vy , uy = −vx‬ﻣﻌﺎدﻻت ﻛﻮﺷﻲ‪-‬رﳝﺎن(‪.‬‬
‫∫‬
‫∫ ∫‬
‫= ‪u(x, y)dx − v(x, y)dy‬‬
‫‪(−v x − uy )dx dy = 0‬‬
‫)‪B(a,r‬‬
‫)‪γ(a,r‬‬
‫ﻧﻈﺮﻳﺔ ﻛﻮﺷﻲ‬
‫‪6‬‬
‫ﺑﺎﳌﺜﻞ ﳒﺪ أن‬
‫∫ ∫‬
‫‪(u x − vy )dx dy = 0‬‬
‫∫‬
‫= ‪v(x, y)dx + u(x, y)dy‬‬
‫)‪γ(a,r‬‬
‫)‪B(a,r‬‬
‫وﺑﺬﻟﻚ ﻧﺘﺤﺼﻞ ﻋﻠﻰ اﳌﻄﻠﻮب ﻷن‬
‫∫‬
‫)‪(u + iv)(dx + idy‬‬
‫‪v(x, y)dx + u(x, y)dy‬‬
‫ﻣﺜﺎل ‪ 1.4.2‬ﻟﺘﻜﻦ‬
‫‪sin z‬‬
‫‪z+2‬‬
‫= )‪f (z) = z2 , g(z‬‬
‫∫‬
‫= ‪f (z)dz‬‬
‫)‪γ(a,r‬‬
‫∫‬
‫)‪γ(a,r‬‬
‫‪1.4‬‬
‫)‪γ(a,r‬‬
‫∫‬
‫‪u(x, y)dx − v(x, y)dy + i‬‬
‫=‬
‫)‪γ(a,r‬‬
‫ﺑﺘﻄﺒﻴﻖ ﻧﻈﺮﻳﺔ ﻛﻮﺷﻲ ∫ﳒﺪ أن‬
‫‪2‬‬
‫‪z dz = 0‬‬
‫)‪γ(0,1‬‬
‫وذﻟﻚ ﻷن اﻟﺪاﻟﺔ ‪ z2‬ﲢﻠﻴﻠﻴﺔ ﻋﻠﻰ ﻛﺎﻣﻞ ‪ .C‬ﺑﺎﳌﺜﻞ ﻳﻜﻮن ﻟﻨﺎ‬
‫‪sin z‬‬
‫‪dz = 0‬‬
‫‪z+2‬‬
‫∫‬
‫)‪γ(0,1‬‬
‫‪z‬‬
‫‪ sin‬ﲢﻠﻴﻠﻴﺔ ﻋﻠﻰ }‪ C \ {−2‬وﺑﺎﻟﺘﺎﱄ ﳝﻜﻦ إﳚﺎد ﳎﻤﻮﻋﺔ ﻣﻔﺘﻮﺣﺔ ‪ Ω‬ﲢﻮي )‪ B(0, 1‬ﲝﻴﺚ ﺗﻜﻮن اﻟﺪاﻟﺔ‬
‫ﻷن ‪z+2‬‬
‫ﻻ ﳝﻜﻦ ﺗﻄﺒﻴﻖ ﻧﻈﺮﻳﺔ ﻛﻮﺷﻲ ﳊﺴﺎب اﻟﺘﻜﺎﻣﻞ‬
‫∫‬
‫‪3z6‬‬
‫‪dz‬‬
‫‪z−1‬‬
‫‪sin z‬‬
‫‪z+2‬‬
‫ﲢﻠﻴﻠﻴﺔ‪ .‬ﻟﻜﻦ‬
‫)‪γ(0,2‬‬
‫‪3z‬‬
‫ﻛﻮن اﻟﺪاﻟﺔ‬
‫‪ z−1‬ﻟﻴﺴﺖ ﲢﻠﻴﻠﻴﺔ ﻋﻠﻰ )‪ B(0, 2‬ﻷن اﻟﻌﻨﺼﺮ )‪ ,1 ∈ B(0, 2‬وﺳﻮف ﻧﺘﻨﺎول ﻻﺣﻘﺎً ﻛﻴﻔﻴﺔ اﻟﺘﻌﺎﻣﻞ ﻣﻊ ﻫﻜﺬا‬
‫ﺗﻜﺎﻣﻼت ﻋﻨﺪﻣﺎ ﻧﺪرس ﺻﻴﻎ ﻛﻮﺷﻲ اﻟﺘﻜﺎﻣﻠﻴﺔ‪.‬‬
‫‪6‬‬
‫اﻵن ﻧﻘﻮم ﺑﺈﺛﺒﺎت ﳎﻤﻮﻋﺔ ﻣﻦ اﻟﻨﻈﺮﻳﺎت واﻟﱵ ﻣﻦ ﺷﺄ ﺎ أن ﲤﻬﺪ ﻟﻨﺎ اﻟﻄﺮﻳﻖ ﻟﻠﻮﺻﻮل إﱃ ﻧﻈﺮﻳﺔ ﻛﻮﺷﻲ ﰲ ﺻﻴﻐﺘﻬﺎ اﻟﻌﺎﻣﺔ‪.‬‬
‫ﻣﺜﻠﺚ ﻣﻦ ‪ Ω‬ﲝﻴﺚ داﺧﻠﻴﺔ △ ﳏﺘﻮاﻩ ﰲ ‪ Ω‬ﻓﺈن‬
‫ﻧﻈﺮﻳﺔ ‪ 1.4.3‬ﻟﺘﻜﻦ ‪ f‬داﻟﺔ ﲢﻠﻴﻠﻴﺔ ﻋﻠﻰ ﻣﻔﺘﻮح ‪ Ω‬ﻣﻦ ‪ C‬و △‬
‫∫‬
‫‪f (z)dz = 0‬‬
‫△‬
‫ﺑﺮﻫﺎن ﻟﻨﻔﺮض أﻧﻪ ﻳﻮﺟﺪ ‪ a > 0‬ﲝﻴﺚ‬
‫∫‬
‫‬
‫‪ f (z)dz = a‬‬
‫‬
‫‬
‫△‬
‫ﻟﻴﻜﻦ ﳏﻴﻂ اﳌﺜﻠﺚ △ ﻳﺴﺎوي ‪ ,L‬ﻧﻘﻮم ﺑﺘﻮﺻﻴﻞ أﻧﺼﺎف أﺿﻼع اﳌﺜﻠﺚ ﻓﻨﺤﺼﻞ ﻋﻠﻰ أرﺑﻌﺔ ﻣﺜﻠﺜﺎت وﺑﺎﻟﺘﺎﱄ ﻓﺈﻧﻪ ﻋﻠﻰ أﺣﺪ‬
‫ﻫﺬﻩ اﳌﺜﻠﺜﺎت وﻟﻴﻜﻦ ‪ △1‬ﻳﻜﻮن‬
‫‬
‫∫‬
‫∫‬
‫‬
‫‬
‫‪L‬‬
‫= ) ‪f (z)dz , L(△1‬‬
‫‪2‬‬
‫ﻧﺴﺘﻤﺮ ﺬﻩ اﻟﻄﺮﻳﻘﺔ‬
‫△‬
‫ ‪ 1‬‬
‫ ≥ ‪f (z)dz‬‬
‫‪ 4‬‬
‫‪△1‬‬
‫‬
‫‬
‫‬
‫ﻓﻨﺒﲏ ﻣﺘﺘﺎﺑﻌﺔ ﻣﻦ اﳌﺜﻠﺜﺎت ‪ (△∫n )n∈N‬ﲢﻘﻖ‬
‫‬
‫‬
‫∫‬
‫∫‬
‫‬
‫‬
‫‬
‫ ‪ 1‬‬
‫‬
‫ ‪1‬‬
‫‪L‬‬
‫‪f (z)dz ≥ ... ≥ n f (z)dz , L(△n ) = n‬‬
‫ ≥ ‪f (z)dz‬‬
‫‬
‫‬
‫‬
‫‬
‫‪4 △n−1‬‬
‫‪4‬‬
‫‪2‬‬
‫‪△n‬‬
‫△‬
‫وﺣﻴﺚ أن ‪ (△n )n∈N‬ﻫﻲ ﻣﺘﺘﺎﺑﻌﺔ ﻣﻦ ﳎﻤﻮﻋﺎت ﻣﱰاﺻﺔ ﲢﻘﻖ أن‬
‫‪lim L(△n ) = 0‬‬
‫∞→‪n‬‬
‫ﻓﺈﻧﻪ ﺗﻮﺟﺪ ﻧﻘﻄﺔ وﺣﻴﺪة ‪ z0‬ﲝﻴﺚ ‪ .z0 = ∩n∈N △n‬وﲟﺎ أن‬
‫ﲝﻴﺚ‬
‫‪△1 ⊃ △2 ⊃ ... ⊃ △n ⊃ ...,‬‬
‫‪ f‬ﲢﻠﻴﻠﻴﺔ ﻋﻠﻰ ‪ Ω‬ﻓﺈﻧﻪ ﺗﻮﺟﺪ داﻟﺔ ‪ O‬ﲢﻘﻖ أن ‪limz→z0 O(z−z0 ) = 0‬‬
‫) ‪f (z) = f (z0 ) + f ′ (z0 )(z − z0 ) + (z − z0 )O(z − z0‬‬
‫اﻟﺘﻜﺎﻣﻞ اﻟﻤﺮﻛﺐ‬
‫وﺑﺎﻟﺘﺎﱄ‬
‫ﻟﻜﻦ اﻟﺪاﻟﺔ‬
‫‪7‬‬
‫∫‬
‫∫ ‬
‫‬
‫ ‬
‫‬
‫‬
‫‪a‬‬
‫‪′‬‬
‫ = ‪f (z)dz‬‬
‫‪f (z0 ) + f (z0 )(z − z0 ) + (z − z0 )O(z − z0 )dz‬‬
‫≤‬
‫‪ △n‬‬
‫‬
‫‪4n △n‬‬
‫) ‪f (z0 ) + f ′ (z0 )(z − z0‬‬
‫ﻓﺈن‬
‫ﻫﻲ ﻛﺜﲑة ﺣﺪود أي أن ﳍﺎ أﺻﻞ وﻋﻠﻴﻪ‬
‫∫‬
‫‪f (z0 ) + f ′ (z0 )(z − z0 )dz = 0‬‬
‫ﻣﻦ ﻧﺎﺣﻴﺔ أﺧﺮى وﺑﺎﺳﺘﺨﺪام ﻧﻈﺮﻳﺔ‬
‫‪△n‬‬
‫‪ 1.2.10‬ﳒﺪ أن‬
‫‬
‫∫‬
‫‪ L L‬‬
‫‬
‫|) ‪ (z − z0 )O(z − z0 )dz ≤ n n sup |O(z − z0‬‬
‫‪2 2 z∈△n‬‬
‫‪△n‬‬
‫أي أن‬
‫‪a‬‬
‫|) ‪≤ sup |O(z − z0‬‬
‫‪L2 z∈△n‬‬
‫وﻫﺬا ﻳﺘﻨﺎﻗﺾ ﻣﻊ ﻛﻮن ‪ a > 0‬ﻷن‬
‫‪lim sup |O(z − z0 )| = 0‬‬
‫‪n→∞ z∈△n‬‬
‫ﻣﺜﺎل ‪ 1.4.4‬اﻟﺸﺮط ﻋﻠﻰ داﺧﻠﻴﺔ اﳌﺜﻠﺚ ﰲ اﻟﻨﻈﺮﻳﺔ اﻟﺴﺎﺑﻘﺔ ﻫﻮ ﺷﺮط أﺳﺎﺳﻲ ﻓﻌﻠﻰ ﺳﺒﻴﻞ اﳌﺜﺎل اﻟﺪاﻟﺔ‬
‫ﲢﻠﻴﻠﻴﺔ ﻋﻠﻰ ∗‪ C‬وﻟﻜﻦ ﻋﻠﻰ اﳌﺜﻠﺚ ]‪ △1 = [−1 − i, 1 − i, i‬ﳒﺪ أن‬
‫∫‬
‫‪1‬‬
‫‪dz = 2πi I(△1 , 0) = 2πi , 0‬‬
‫‪z‬‬
‫‪1‬‬
‫‪z‬‬
‫= )‪f (z‬‬
‫داﻟﺔ‬
‫‪△1‬‬
‫وﻫﺬا ﻻ ﻳﺘﻨﺎﻗﺾ ﻣﻊ اﻟﻨﻈﺮﻳﺔ ﻷن اﻟﻨﻘﻄﺔ ﺻﻔﺮ ﺗﻨﺘﻤﻲ ﻟﺪاﺧﻠﻴﺔ اﳌﺜﻠﺚ∫‪ ,△1‬ﺑﻴﻨﻤﺎ ﻋﻠﻰ اﳌﺜﻠﺚ ]‪ △2 = [1, 2, 1 + i‬ﻓﺈن‬
‫‪1‬‬
‫‪dz = 0‬‬
‫‪z‬‬
‫ﻷن داﺧﻠﻴﺔ اﳌﺜﻠﺚ ‪ △2‬ﳏﺘﻮاﻩ ﰲ‬
‫‪△2‬‬
‫∗‪C‬‬
‫ﻧﻈﺮﻳﺔ ‪) 1.4.5‬ﻧﻈﺮﻳﺔ ﻣﻮرﻳﺮا(‬
‫ﻟﺘﻜﻦ ‪ f‬داﻟﺔ ﻣﺘﺼﻠﺔ ﻋﻠﻰ ﻧﻄﺎق )ﻣﻔﺘﻮح وﻣﱰاﺑﻂ( ‪ Ω‬ﲝﻴﺚ ﺗﻜﺎﻣﻠﻬﺎ ﻋﻠﻰ ﻛﻞ ﻣﺜﻠﺚ ﻣﻦ ‪ Ω‬ﻳﺴﺎوي ﺻﻔﺮ ﻓﺈن ‪ f‬ﺗﻜﻮن‬
‫ﲢﻠﻴﻠﻴﺔ‪.‬‬
‫ﺑﺮﻫﺎن ﻻﺣﻆ أن ‪ f‬ﻋﻠﻰ ‪ Ω‬إذا ﻛﺎﻧﺖ ﲢﻠﻴﻠﻴﺔ ﻋﻠﻰ ﻛﻞ ﻗﺮص ﳏﺘﻮى ﰲ ‪ Ω‬وﺑﺎﻟﺘﺎﱄ ﻳﻜﻔﻲ أن ﻧﱪﻫﻦ اﻟﻨﻈﺮﻳﺔ ﻋﻨﺪﻣﺎ‬
‫)‪ .Ω = B(a, r‬ﻧﻌﺮف اﻟﺪاﻟﺔ‬
‫∫‬
‫)‪f (w)dw, ∀z ∈ B(a, r‬‬
‫= )‪F(z‬‬
‫]‪[a,z‬‬
‫ﰲ )‪ .B(a, r‬ﺣﻴﺚ∫أن‬
‫ﻟﻴﻜﻦ ‪ h ∈ C‬ﲝﻴﺚ ﻳﻜﻮن اﳌﺜﻠﺚ ]‪ △ = [a, z,∫z + h‬ﳏﺘﻮى ∫‬
‫‪f (w)dw‬‬
‫ﻓﺈن‬
‫‪f (w)dw +‬‬
‫‪f (w)dw +‬‬
‫]‪[z+h,a‬‬
‫∫‬
‫∫‬
‫‪1‬‬
‫‪f (z + th)dt‬‬
‫]‪[z,z+h‬‬
‫‪0‬‬
‫وﺑﺎﻟﺘﺎﱄ ﻳﻜﻮن‬
‫= )‪F(z + h) − F(z‬‬
‫= ‪f (w)dw‬‬
‫‪ ∫ 1‬‬
‫‬
‫‬
‫‪ 1‬‬
‫‬
‫)‪ F(z + h) − F(z‬‬
‫=‬
‫‪−‬‬
‫‪f‬‬
‫)‪(z‬‬
‫‪f‬‬
‫‪(z‬‬
‫‪+‬‬
‫)‪th‬‬
‫‪−‬‬
‫‪f‬‬
‫‪(z)dt‬‬
‫ ‬
‫‬
‫‬
‫‪h‬‬
‫‪h 0‬‬
‫|)‪≤ sup | f (z + th) − f (z‬‬
‫]‪t∈[0,1‬‬
‫=‪0‬‬
‫= ‪f (w)dw‬‬
‫]‪[a,z‬‬
‫]‪[z,z+h‬‬
‫∫‬
‫△‬
‫ﺻﻴﻎ ﻛﻮﺷﻲ اﻟﺘﻜﺎﻣﻠﻴﺔ و ﻣﻔﻜﻮك ﺗﺎﻳﻠﻮر ﻟﻠﺪوال اﻟﺘﺤﻠﻴﻠﻴﺔ‬
‫‪8‬‬
‫‪1.5‬‬
‫اﻵن ﺑﺄﺧﺬ اﻟﻨﻬﺎﻳﺔ ﻋﻨﺪﻣﺎ ‪ h‬ﺗﺆول إﱃ اﻟﺼﻔﺮ ﻳﻨﺘﺞ أن )‪ .F ′ (z) = f (z‬أي أن اﻟﺪاﻟﺔ ‪ f‬ﲢﻠﻴﻠﻴﺔ ﻋﻠﻰ )‪.B(a, r‬‬
‫ﻛﻨﺘﻴﺠﺔ ﻟﻠﻨﻈﺮﻳﺎت اﻟﺴﺎﺑﻘﺔ ﳓﺼﻞ ﻋﻠﻰ اﻟﻨﺺ اﻟﺘﺎﱄ‬
‫ﻧﻈﺮﻳﺔ ‪ 1.4.6‬ﻟﺘﻜﻦ ‪ f‬داﻟﺔ ﻣﺘﺼﻠﺔ ﻋﻠﻰ ﻧﻄﺎق ‪ Ω‬ﻣﻦ ‪ C‬ﻓﺈن ‪ f‬ﳍﺎ أﺻﻞ إذا وﻓﻘﻂ إذا ﻛﺎن ﺗﻜﺎﻣﻞ اﻟﺪاﻟﺔ ‪ f‬ﻋﻠﻰ ﻛﻞ ﻗﻮس‬
‫أﻣﻠﺲ ﻗﻄﻌﺎً وﻣﻐﻠﻖ ﻣﻦ ‪ Ω‬ﻳﺴﺎوي ﺻﻔﺮ‪.‬‬
‫ﺗﻌﺮﻳﻒ ‪ 1.4.7‬ﻧﻘﻮل ﻋﻦ ﳎﻤﻮﻋﺔ ﻣﱰاﺑﻄﺔ ‪ C ⊃ Ω‬ﺑﺄ ﺎ ﺑﺴﻴﻄﺔ اﻟﱰاﺑﻂ إذا وﻓﻘﻂ إذا ﻛﺎن ﻟﻜﻞ ﻗﻮس أﻣﻠﺲ ﻗﻄﻌﺎً وﻣﻐﻠﻖ ‪γ‬‬
‫ﻣﻦ ‪ Ω‬ﺗﻜﻮن اﻷﺟﺰاء اﳌﱰاﺑﻄﺔ اﶈﺪودة ﻣﻦ ∗‪ Ω \ γ‬ﳏﺘﻮاﻩ ﰲ ‪.Ω‬‬
‫ﻣﺜﺎل ‪ 1.4.8‬ا ﻤﻮﻋﺘﺎن ∗‪ C‬و ) ‪ B(0, 2) \ B(1, 21‬ﻣﱰاﺑﻄﺘﺎن إﻻ أ ﻤﺎ ﻟﻴﺴﺘﺎ ﺑﺴﻴﻄﱵ اﻟﱰاﺑﻂ‪.‬‬
‫ﻣﺜﺎل ‪ C \ [0, −∞) 1.4.9‬و )‪ B(i, 2‬و }‪ {z ∈ C : −2 ≤ Im(z) ≤ 4‬ﻫﻲ ﳎﻤﻮﻋﺎت ﺑﺴﻴﻄﺔ اﻟﱰاﺑﻂ‪.‬‬
‫ﻧﻈﺮﻳﺔ ‪) 1.4.10‬ﻧﻈﺮﻳﺔ ﻛﻮﺷﻲ اﻟﺼﻴﻐﺔ اﻟﻌﺎﻣﺔ(‬
‫ﻟﺘﻜﻦ ‪ f‬داﻟﺔ ﲢﻠﻴﻠﻴﺔ ﻋﻠﻰ ‪ Ω‬ﺑﺴﻴﻂ اﻟﱰاﺑﻂ ﻣﻦ ‪ C‬و ‪ γ‬ﻗﻮس أﻣﻠﺲ ∫ﻗﻄﻌﺎً وﻣﻐﻠﻖ ﻣﻦ ‪ Ω‬ﻓﺈن‬
‫‪f (z)dz = 0‬‬
‫‪γ‬‬
‫ﺑﺮﻫﺎن ﺣﻴﺚ أن ‪ Ω‬ﺑﺴﻴﻂ اﻟﱰاﺑﻂ ﻓﺈﻧﻪ ﻟﻜﻞ ﻣﺜﻠﺚ △ ⊃ ‪ Ω‬ﺗﻜﻮن داﺧﻠﻴﺔ △ ﳏﺘﻮاﻩ ﰲ ‪ .Ω‬ﻟﻜﻦ ‪ f‬ﲢﻠﻴﻠﻴﺔ وﺑﺎﻟﺘﺎﱄ ﻣﻦ‬
‫ﻧﻈﺮﻳﺔ ‪ 1.4.3‬ﻳﻜﻮن‬
‫∫‬
‫‪f (z)dz = 0‬‬
‫△‬
‫وﺑﻄﺮﻳﻖ ﻣﺸﺎ ﺔ ﻟﱪﻫﺎن ﻧﻈﺮﻳﺔ ﻣﻮرﻳﺮا )اﺳﺘﺒﺪل اﳌﺜﻠﺚ ﺑﻘﻮس أﻣﻠﺲ ﻗﻄﻌﺎً( ﳒﺪ أن اﻟﺪاﻟﺔ ‪ f‬ﳍﺎ أﺻﻞ ‪ F‬ﻋﻠﻰ ‪ .Ω‬ﻟﻴﻜﻦ اﻵن‬
‫‪ γ : [a, b] −→ C‬ﻗﻮس أﻣﻠﺲ ﻗﻄﻌﺎً وﻣﻐﻠﻖ ﲝﻴﺚ ‪ γ∗ ⊂ Ω‬ﻓﺈﻧﻪ ﻣﻦ ﻧﻈﺮﻳﺔ ‪ ∫1.2.7‬ﳒﺪ أن‬
‫‪f (z)dz = F(γ(b)) − F(γ(a)) = 0‬‬
‫‪γ‬‬
‫ﻛﺘﻄﺒﻴﻖ ﻟﻨﻈﺮﻳﺔ ﻛﻮﺷﻲ ﻧﻌﻄﻲ اﻟﻨﺘﻴﺠﺔ اﻟﺘﺎﻟﻴﺔ‬
‫ﻧﺘﻴﺠﺔ ‪ 1.4.11‬ﻟﺘﻜﻦ ‪ f‬داﻟﺔ ﲢﻠﻴﻠﻴﺔ ﻋﻠﻰ ﺑﺴﻴﻂ اﻟﱰاﺑﻂ ‪ Ω‬و ‪ γ1 , γ2‬ﻗﻮﺳﲔ أﻣﻠﺴﲔ ﻗﻄﻌﺎً ﲝﻴﺚ ‪ γ1∗ , γ2∗ ⊂ Ω‬وﳍﻤﺎ ﻧﻔﺲ‬
‫اﻟﺒﺪاﻳﺔ واﻟﻨﻬﺎﻳﺔ ﻓﺈن‬
‫∫‬
‫∫‬
‫= ‪f (z)dz‬‬
‫‪f (z)dz‬‬
‫‪γ1‬‬
‫‪γ2‬‬
‫ﺑﺮﻫﺎن ﻳﻨﺘﺞ اﳌﻄﻠﻮب ﺑﺘﻄﺒﻴﻖ اﻟﻨﻈﺮﻳﺔ اﻟﺴﺎﺑﻘﺔ ﻋﻠﻰ اﻟﻘﻮس‬
‫‪1.5‬‬
‫‪γ∗ = γ1∗ ∪ γ2∗−‬‬
‫ﺻﻴﻎ ﻛﻮﺷﻲ اﻟﺘﻜﺎﻣﻠﻴﺔ و ﻣﻔﻜﻮك ﺗﺎﻳﻠﻮر ﻟﻠﺪوال اﻟﺘﺤﻠﻴﻠﻴﺔ‬
‫ﻧﺒﺪأ ﻫﺬا اﻟﻘﺴﻢ ﺑﻨﻈﺮﻳﺘﲔ ﳍﻤﺎ أﳘﻴﺔ ﰲ أﺛﺒﺎت ﻧﻈﺮﻳﺔ ﻣﻔﻜﻮك ﺗﺎﻳﻠﻮر‬
‫ﺗﻤﻬﻴﺪﻳﺔ ‪) 1.5.1‬ﻧﻈﺮﻳﺔ ﻟﻴﺒﻨﺰ(‬
‫ﻟﺘﻜﻦ ‪ ϕ : [a, b] × [c, d] −→ C‬داﻟﺔ ﻣﺘﺼﻠﺔ و ﻟﺘﻜﻦ ‪ g : [c,∫ d] −→ C‬داﻟﺔ ﻣﻌﺮﻓﺔ ﻋﻠﻰ اﻟﺼﻮرة‬
‫‪ϕ(t, s)dt‬‬
‫ﻓﺈن ‪ g‬داﻟﺔ ﻣﺘﺼﻠﺔ‪ .‬ﻋﻼوة ﻋﻠﻰ ذﻟﻚ ‪ ,‬إذا ﻛﺎﻧﺖ‬
‫‪b‬‬
‫= )‪g(s‬‬
‫‪a‬‬
‫‪∂ϕ‬‬
‫‪∂s‬‬
‫ﻣﻮﺟﻮدة ∫وﻣﺘﺼﻠﺔ ﻓﺈن ‪ g ∈ C1‬وﻟﻨﺎ‬
‫)‪∂ϕ(t, s‬‬
‫‪dt‬‬
‫‪∂s‬‬
‫‪b‬‬
‫= )‪g′ (s‬‬
‫‪a‬‬
‫اﻟﺘﻜﺎﻣﻞ اﻟﻤﺮﻛﺐ‬
‫‪9‬‬
‫ﺗﻤﻬﻴﺪﻳﺔ ‪ 1.5.2‬ﻟﻴﻜﻦ ‪ γ‬ﻗﻮس أﻣﻠﺲ ﻗﻄﻌﺎً ﻣﻦ ‪ C‬وﻟﺘﻜﻦ‬
‫ﻣﻦ ‪ f‬ﻋﻠﻰ ∗‪ γ‬ﻓﺈن‬
‫∫‬
‫‪f (z)dz‬‬
‫‪fn‬‬
‫و ‪ f‬دوال ﻣﺘﺼﻠﺔ ﻋﻠﻰ ∗‪ .γ‬إذا ﻛﺎﻧﺖ‬
‫∫‬
‫‪lim‬‬
‫= ‪fn (z)dz‬‬
‫‪γ‬‬
‫‪fn‬‬
‫ﺗﺘﻘﺎرب ﺑﺎﻧﺘﻈﺎم‬
‫∞→‪n‬‬
‫‪γ‬‬
‫ﻧﻈﺮﻳﺔ ‪) 1.5.3‬ﺻﻴﻐﺔ ﺗﻜﺎﻣﻞ ﻛﻮﺷﻲ(‬
‫ﳛﻮي اﻟﻘﺮص )‪ B(a, r‬ﻓﺈﻧﻪ ﻟﻜﻞ )‪ z ∈ B(a, r‬ﻳﻜﻮن‬
‫ﻟﻴﻜﻦ ‪ a ∈ C‬و ‪ r > 0‬وﻟﺘﻜﻦ ‪ f‬داﻟﺔ ﲢﻠﻴﻠﻴﺔ ﻋﻠﻰ ﻣﻔﺘﻮح ‪Ω‬‬
‫∫‬
‫)‪f (w‬‬
‫‪dw‬‬
‫‪w−z‬‬
‫‪1‬‬
‫‪2πi‬‬
‫)‪γ(a,r‬‬
‫= )‪f (z‬‬
‫ﺑﺮﻫﺎن ﻟﻨﻔﱰض أوﻻً أن ‪ a = 0‬و ‪ . r = 1‬ﲟﺎ أن ∫)‪ z ∈ B(0, 1‬ﻓﺈن‬
‫‪eit‬‬
‫‪dt‬‬
‫‪−z‬‬
‫‪2π‬‬
‫‪eit‬‬
‫وﺑﺎﻟﺘﺎﱄ ﻳﻜﻮن‬
‫‪0‬‬
‫‪f (z)eit‬‬
‫‪dt‬‬
‫‪eit − z‬‬
‫‪1‬‬
‫‪2π‬‬
‫= )‪1 = I(γ(0,1) , z‬‬
‫∫‬
‫‪2π‬‬
‫‪0‬‬
‫‪1‬‬
‫‪2π‬‬
‫= )‪f (z‬‬
‫اﻵن ﻋﻠﻰ اﻟﻔﱰة ‪ [0, 1] ⊂ R‬ﻧﻌﺮف اﻟﺪاﻟﺔ‬
‫‪( f (eit + s(z − eit )) − f (z))eit‬‬
‫‪dt‬‬
‫‪eit − z‬‬
‫ﻻﺣﻆ أن اﻟﺪاﻟﺔ ‪ g‬ﺣﺴﻨﺔاﻟﺘﻌﺮﻳﻒ ﻋﻠﻰ اﻟﻔﱰة ]‪ [0, 1‬ﻷن‬
‫‪2π‬‬
‫∫‬
‫‪0‬‬
‫‪1‬‬
‫= )‪g(s‬‬
‫‪2π‬‬
‫‪|e + s(z − e )| ≤ |e (1 − s)| + |sz| < (1 − s) + s = 1‬‬
‫‪it‬‬
‫‪it‬‬
‫‪it‬‬
‫و ﻋﻨﺪﻫﺎ ﳒﺪ أن ‪ g(1) = 0‬وإذا ﺑﻴﱠﻨﺎ أن ‪ g(0) = 0‬ﻓﺈن اﳌﻄﻠﻮب ﻳﻨﺘﺞ ﺑﺼﻮرٍة ﻣﺒﺎﺷﺮة‪ .‬ﻟﻜﻦ ﻣﻦ ﻧﻈﺮﻳﺔ ﻟﻴﺒﻨﺰ ﻟﻨﺎ‬
‫∫‬
‫‪−(eit − z)( f ′ (eit + s(z − eit )))eit‬‬
‫‪dt‬‬
‫‪eit − z‬‬
‫‪0‬‬
‫‪∫ 2π‬‬
‫‪−1‬‬
‫=‬
‫‪( f (eit + s(z − eit ))′ dt = 0‬‬
‫‪2πi(1 − s) 0‬‬
‫‪2π‬‬
‫‪1‬‬
‫‪2π‬‬
‫= )‪g′ (s‬‬
‫وﻋﻠﻴﻪ ﻓﺈن ‪.g(1) = g(0) = 0‬‬
‫ﰲ اﳊﺎﻟﺔ اﻟﻌﺎﻣﺔ وﻋﻨﺪﻣﺎ ‪ f‬ﲢﻠﻴﻠﻴﺔ ﲜﻮار )‪ B(a, r‬و )‪ ξ0 ∈ B(a, r‬ﻓﺈن )‪ ,z0 = ξ r−a ∈ B(0, 1‬اﻵن ﻧﻌﺮف‬
‫‪0‬‬
‫)‪g(z) = f (a + rz‬‬
‫ﻓﻨﺠﺪ أن اﻟﺪاﻟﺔ ‪ g‬ﲢﻠﻴﻠﻴﺔ ﲜﻮار )‪ ,B(0, 1‬وﺑﺎﻟﺘﺎﱄ ﻧﺺ اﻟﻨﻈﺮﻳﺔ ﻳﺘﺒﻊ ﻋﻨﺪ ﺗﻄﺒﻴﻖ اﻟﻔﻘﺮة اﻷوﱃ ﻣﻦ اﻟﱪﻫﺎن ﻋﻠﻰ اﻟﺪاﻟﺔ ‪.g‬‬
‫ﺗﻄﺒﻴﻘﺎت ﻋﻠﻰ ﻧﻈﺮﻳﺔ ‪1.5.3‬‬
‫‪ . 1‬اﻋﺘﻤﺪﻧﺎ ﺳﺎﺑﻘﺎً أن ﻛﻞ داﻟﺔ ﲢﻠﻴﻠﻴﺔ ﺗﻜﻮن ﻣﻦ ﺻﻨﻒ ∞‪ C‬دون أن ﻧﱪﻫﻦ ذﻟﻚ ‪ ,‬واﻵن ﻧﺒﲔ ﻫﺬﻩ اﳊﻘﻴﻘﺔ‪ .‬ﻟﻨﻔﺮض‬
‫أن ‪ f‬داﻟﺔ ﲢﻠﻴﻠﻴﺔ ﻋﻠﻰ ﻣﻔﺘﻮح ‪ Ω‬ﳛﻮي اﻟﻘﺮص )‪ , B(a, r‬ﻋﻨﺪﻫﺎ ﻳﻮﺟﺪ ‪ R > r‬ﲝﻴﺚ ﺗﻜﻮن ‪ f‬ﲢﻠﻴﻠﻴﺔ ﻋﻠﻰ )‪B(a, R‬‬
‫وﻣﻦ ﻧﻈﺮﻳﺔ ﻛﻮﺷﻲ ﳒﺪ أن اﻟﺪاﻟﺔ ‪ f‬ﳍﺎ أﺻﻞ ‪ F‬ﻋﻠﻰ∫ )‪ .B(a, R‬اﻵن ﻣﻦ ﺻﻴﻐﺔ ﻛﻮﺷﻲ اﻟﺘﻜﺎﻣﻠﻴﺔ ﳒﺪ أن‬
‫)‪F(w‬‬
‫‪dw‬‬
‫‪w−z‬‬
‫)‪γ(a,r‬‬
‫‪1‬‬
‫‪2πi‬‬
‫= )‪∀z ∈ B(a, r), F(z‬‬
‫و ﺬﻩ اﻟﺼﻴﻐﺔ ﳒﺪ أن اﻟﺪاﻟﺔ ‪ F‬ﻗﺎﺑﻠﺔ ﻟﻼﺷﺘﻘﺎق ﻣﺎﻻ ﺎﻳﺔ ﻣﻦ∫اﳌﺮات وﻟﻨﺎ‬
‫)‪F(w‬‬
‫‪dw‬‬
‫‪(w − z)n+1‬‬
‫وﺑﺎﻟﺘﺎﱄ ﺗﻜﻮن )‪. f ∈ C∞ (Ω‬‬
‫)‪γ(a,r‬‬
‫!‪n‬‬
‫‪2πi‬‬
‫= )‪(z‬‬
‫)‪(n‬‬
‫‪F‬‬
‫ﺻﻴﻎ ﻛﻮﺷﻲ اﻟﺘﻜﺎﻣﻠﻴﺔ و ﻣﻔﻜﻮك ﺗﺎﻳﻠﻮر ﻟﻠﺪوال اﻟﺘﺤﻠﻴﻠﻴﺔ‬
‫‪10‬‬
‫‪ . 2‬رأﻳﻨﺎ أن ﻧﻈﺮﻳﺔ ﻛﻮﺷﻲ ﻻ ﲣﻮﻟﻨﺎ ﳊﺴﺎب ﻗﻴﻤﺔ ﻗﻴﻤﺔ اﻟﺘﻜﺎﻣﻞ‬
‫‪3z6‬‬
‫‪dz‬‬
‫‪z−1‬‬
‫أﻣﺎ اﻵن وﺑﻮﺿﻊ‬
‫‪f (z) = 3z6‬‬
‫∫‬
‫)‪γ(0,2‬‬
‫ﳒﺪ ﻣﻦ ﺻﻴﻐﺔ ﺗﻜﺎﻣﻞ ﻛﻮﺷﻲ أن‬
‫‪3z6‬‬
‫‪dz = 2πi f (1) = 6πi‬‬
‫‪z−1‬‬
‫ﻣﺜﺎل ‪ 1.5.4‬أوﺟﺪ ﻗﻴﻤﺔ اﻟﺘﻜﺎﻣﻞ‬
‫)‪log(z‬‬
‫‪dz‬‬
‫)‪(z − i)(z + 1‬‬
‫∫‬
‫)‪γ(0,2‬‬
‫∫‬
‫) ‪γ(i, 1‬‬
‫‪2‬‬
‫اﻟﺤﻞ‪:‬‬
‫ﺣﻴﺚ أن اﻟﺪاﻟﺔ‬
‫)‪log(z‬‬
‫‪z+1‬‬
‫= )‪f (z‬‬
‫ﲢﻠﻴﻠﻴﺔ ﻋﻠﻰ ﻣﻔﺘﻮح ﳛﻮي اﻟﻘﺮص‬
‫‪1‬‬
‫‪1‬‬
‫)‪2‬‬
‫‪ ,B(i,‬إذاً ﻣﻦ ﺻﻴﻐﺔ ﺗﻜﺎﻣﻞ ﻛﻮﺷﻲ ﳓﺼﻞ ﻋﻠﻰ‬
‫)‪log(z)/(z + 1‬‬
‫)‪dz = 2πi f (i‬‬
‫)‪(z − i‬‬
‫∫‬
‫) ‪γ(i, 1‬‬
‫‪2‬‬
‫)‪log(i‬‬
‫‪2πi − π‬‬
‫=‬
‫‪i+1‬‬
‫‪1+i‬‬
‫ﻃﺮﻳﻘﺔ أﺧﺮى‪:‬‬
‫ﺑﺎﺳﺘﺨﺪام اﻟﻜﺴﻮر اﳉﺰﻳﺌﻴﺔ ﳒﺪ أن‬
‫)‪log(z‬‬
‫‪dz‬‬
‫‪z+1‬‬
‫∫‬
‫) ‪γ(i, 1‬‬
‫‪= 2πi‬‬
‫)‪log(z‬‬
‫‪1‬‬
‫‪dz −‬‬
‫‪z−i‬‬
‫‪1+i‬‬
‫‪2‬‬
‫∫‬
‫) ‪γ(i, 1‬‬
‫)‪log(z)/(z + 1‬‬
‫‪1‬‬
‫= ‪dz‬‬
‫‪1+i‬‬
‫)‪(z − i‬‬
‫‪2‬‬
‫∫‬
‫) ‪γ(i, 1‬‬
‫‪2‬‬
‫)‪2πi log(i‬‬
‫=‬
‫‪+0‬‬
‫‪1+i‬‬
‫ﻧﻈﺮﻳﺔ ‪) 1.5.5‬ﺻﻴﻐﺔ ﺗﻜﺎﻣﻞ ﻛﻮﺷﻲ اﻟﻌﺎﻣﺔ(‬
‫ﻟﺘﻜﻦ ‪ f‬داﻟﺔ ﲢﻠﻴﻠﻴﺔ ﻋﻠﻰ ﻣﻔﺘﻮح ‪ Ω‬ﻣﻦ ‪ .C‬إذا ﻛﺎن ‪ γ‬ﻗﻮس أﻣﻠﺲ ﻗﻄﻌﺎً وﻣﻐﻠﻖ ﲝﻴﺚ‬
‫‪I(γ, z) = 0, ∀z ∈ C \ Ω‬‬
‫ﻓﺈﻧﻪ ﻟﻜﻞ ∗‪ z ∈ Ω \ γ‬ﻳﻜﻮن‬
‫)‪f (w‬‬
‫‪dw‬‬
‫‪w−z‬‬
‫∫‬
‫‪γ‬‬
‫‪1‬‬
‫‪2πi‬‬
‫= )‪I(γ, z) f (z‬‬
‫ﻧﻈﺮﻳﺔ ‪) 1.5.6‬ﻣﻔﻜﻮك ﺗﺎﻳﻠﻮر(‬
‫ﻟﻴﻜﻦ ‪ r > 0‬و ‪ a ∈ C‬وﻟﺘﻜﻦ ‪ f‬داﻟﺔ ﲢﻠﻴﻠﻴﺔ ﻋﻠﻰ ﻣﻔﺘﻮح ‪ Ω‬ﳛﻮي )‪ B(a, r‬ﻓﺈﻧﻪ ﻟﻜﻞ )‪ z ∈ B(a, r‬ﻟﻨﺎ‬
‫‪an (z − a)n‬‬
‫∞‬
‫∑‬
‫= )‪f (z‬‬
‫‪n=0‬‬
‫ﺣﻴﺚ‬
‫‪1‬‬
‫)‪f (w‬‬
‫‪dw‬‬
‫‪(w − a)n+1‬‬
‫ﳚﺐ اﺧﺘﻴﺎر ﻫﺬا اﳌﻔﺘﻮح ﺑﻌﻨﺎﻳﺔ ﲝﻴﺚ ﻳﻜﻮن ﺑﻌﻴﺪا ﻋﻦ ‪.−1‬‬
‫∫‬
‫)‪γ(a,r‬‬
‫)‪f (n) (a‬‬
‫‪1‬‬
‫= ‪an‬‬
‫=‬
‫!‪n‬‬
‫‪2πi‬‬
‫‪1.5‬‬
‫اﻟﺘﻜﺎﻣﻞ اﻟﻤﺮﻛﺐ‬
‫‪11‬‬
‫ﺑﺮﻫﺎن ﻣﻦ ﺗﻜﺎﻣﻞ ﻛﻮﺷﻲ ﻧﻌﻠﻢ أن‬
‫)‪f (w‬‬
‫‪dw‬‬
‫‪w−z‬‬
‫∫‬
‫)‪γ(a,r‬‬
‫∫‬
‫‪1‬‬
‫= )‪f (z‬‬
‫‪2πi‬‬
‫‪2π‬‬
‫‪f (a + reit )reit‬‬
‫‪1‬‬
‫‪dt‬‬
‫‪2π 0‬‬
‫‪a + reit − z‬‬
‫‪∫ 2π‬‬
‫) ‪f (a + reit‬‬
‫‪1‬‬
‫‪dt‬‬
‫=‬
‫‪2π 0‬‬
‫‪1 − z−a‬‬
‫‪reit‬‬
‫=‬
‫ﻻﺣﻆ أن‬
‫وﻋﻠﻴﻪ ﻓﺈن‬
‫وﺑﺬﻟﻚ ﻳﻜﻮن‬
‫‬
‫‬
‫‪ z − a < 1‬‬
‫ ‪ reit‬‬
‫‪∑ ( z − a )n‬‬
‫‪1‬‬
‫=‬
‫‪reit‬‬
‫‪1 − z−a‬‬
‫‪reit‬‬
‫‪n=0‬‬
‫∞‬
‫( ∞‪‬‬
‫‪‬‬
‫‪∑ z − a )n ‬‬
‫‪it ‬‬
‫‪‬‬
‫‪ dt‬‬
‫‪f (a + re ) ‬‬
‫‪it‬‬
‫‪re‬‬
‫‪n=0‬‬
‫‪2π‬‬
‫∫‬
‫‪0‬‬
‫‪1‬‬
‫= )‪f (z‬‬
‫‪2π‬‬
‫وﻣﻦ اﻟﺘﻘﺎرب اﳌﻨﺘﻈﻢ ﳝﻜﻨﻨﺎ ﺗﺒﺪﻳﻞ ا ﻤﻮع ﻣﻊ اﻟﺘﻜﺎﻣﻞ ﻓﻨﺤﺼﻞ ﻋﻠﻰ‬
‫)‬
‫‪∫ 2π‬‬
‫( ∞‬
‫∑‬
‫‪1‬‬
‫‪it −int‬‬
‫= )‪f (z‬‬
‫‪f‬‬
‫‪(a‬‬
‫‪+‬‬
‫‪re‬‬
‫‪)e‬‬
‫‪dt‬‬
‫‪(z − a)n‬‬
‫‪n‬‬
‫‪2πr‬‬
‫‪0‬‬
‫‪n=0‬‬
‫‪‬‬
‫∫‬
‫‪∞ ‬‬
‫∑‬
‫‪‬‬
‫‪ 1‬‬
‫)‪f (w‬‬
‫‪ (z − a)n‬‬
‫‪‬‬
‫=‬
‫‪dw‬‬
‫‪n+1‬‬
‫‪2πi‬‬
‫‪(w‬‬
‫‪−‬‬
‫)‪a‬‬
‫)‪γ(a,r‬‬
‫‪n=0‬‬
‫ﳝﻜﻨﻨﺎ أن ﻧﺸﺘﻖ ﺣﺪاً ﲝﺪ‪ ,‬وﺑﺎﻟﺘﺎﱄ ﳒﺪ أن‬
‫وﺣﻴﺚ أن ﻫﺬﻩ اﳌﺘﺴﻠﺴﻠﺔ ﺗﺘﻘﺎرب ﺑﺎﻧﺘﻈﺎم ﻋﻠﻰ )‪ B(a, r‬ﻓﺈﻧﻪ‬
‫∫‬
‫)‪f (w‬‬
‫‪dw‬‬
‫‪(w − a)n+1‬‬
‫)‪γ(a,r‬‬
‫)‪f (n) (a‬‬
‫‪1‬‬
‫=‬
‫!‪n‬‬
‫‪2πi‬‬
‫ﻧﺘﻴﺠﺔ ‪ 1.5.7‬ﻟﺘﻜﻦ ‪ f‬داﻟﺔ ﲢﻠﻴﻠﻴﺔ ﻋﻠﻰ ﻣﻔﺘﻮح ‪ Ω‬ﻣﻦ ‪ C‬و ‪ a ∈ Ω‬ﻓﺈﻧﻪ ﻳﻮﺟﺪ ‪ r > 0‬ﲝﻴﺚ‬
‫‪an (z − a)n‬‬
‫∞‬
‫∑‬
‫= )‪∀z ∈ B(a, r), f (z‬‬
‫‪n=0‬‬
‫ﺑﺮﻫﺎن ﺧﺬ )‪ ,r < d(a, ∂Ω‬ﻋﻨﺪﻫﺎ اﻟﻨﺘﻴﺠﺔ ﺗﺘﺒﻊ ﻣﻦ اﻟﻨﻈﺮﻳﺔ اﻟﺴﺎﺑﻘﺔ‪.‬‬
‫ﻣﺜﺎل ‪ 1.5.8‬اﻟﺪاﻟﺔ ‪ 1z‬ﲢﻠﻴﻠﻴﺔ ﲜﻮار اﻟﻘﺮص ) ‪ ,B(i, 21‬وﻣﻦ اﻟﻨﻈﺮﻳﺔ اﻟﺴﺎﺑﻘﺔ ﳒﺪ أن‬
‫∑ ‪1 1‬‬
‫‪an (z − i)n‬‬
‫‪∀z ∈ B(i, ),‬‬
‫=‬
‫‪2 z‬‬
‫‪n=0‬‬
‫∞‬
‫وﲝﺴﺎب اﳌﺸﺘﻘﺎت ﻧﺘﺤﺼﻞ ﻋﻠﻰ‬
‫)‪f (n) (i‬‬
‫‪(−1)n‬‬
‫= ‪an‬‬
‫‪= n+1‬‬
‫!‪n‬‬
‫)‪(i‬‬
‫ﻧﻈﺮﻳﺔ ‪) 1.5.9‬ﻣﺘﺒﺎﻳﻨﺔ ﻛﻮﺷﻲ(‬
‫ﻟﻴﻜﻦ ‪ a ∈ C‬و ‪ r > 0‬وﻟﺘﻜﻦ ‪ f‬داﻟﺔ ﲢﻠﻴﻠﻴﺔ ﻋﻠﻰ ﻣﻔﺘﻮح ‪ Ω‬ﳛﻮي )‪ B(a, r‬ﻓﺈن‬
‫‪ f (n) (a) 1‬‬
‫≤‬
‫‬
‫|)‪sup | f (z‬‬
‫‪ n! rn |z−a|=r‬‬
‫ﺻﻴﻎ ﻛﻮﺷﻲ اﻟﺘﻜﺎﻣﻠﻴﺔ و ﻣﻔﻜﻮك ﺗﺎﻳﻠﻮر ﻟﻠﺪوال اﻟﺘﺤﻠﻴﻠﻴﺔ‬
‫‪12‬‬
‫‪1.5‬‬
‫ﺑﺮﻫﺎن ﻧﻌﻠﻢ ﻣﻦ ﻣﻔﻜﻮك ﺗﺎﻳﻠﻮر وﻧﻈﺮﻳﺔ ‪ 1.2.10‬أن‬
‫ )‪ (n‬‬
‫‬
‫∫‬
‫)‪f (w‬‬
‫‪ f (a) 1‬‬
‫‬
‫‪dw‬‬
‫‬
‫ = ‬
‫‪n+1‬‬
‫‬
‫!‪n‬‬
‫)‪2πi γ(a,r) (w − a‬‬
‫‬
‫‬
‫‪∫ 2π‬‬
‫‪ 1‬‬
‫ ‪it −int‬‬
‫=‬
‫‪f (a + re )e dt‬‬
‫‪ 2πrn 0‬‬
‫‬
‫‪1‬‬
‫|)‪≤ n sup | f (z‬‬
‫‪r |z−a|=r‬‬
‫ﻗﺪ ﻳﺒﺪو ﻟﻠﻘﺎرئ ﻣﻦ اﻟﻮﻫﻠﺔ اﻷوﱃ أن ﻣﺘﺒﺎﻳﻨﺔ ﻛﻮﺷﻲ ﻟﻴﺴﺖ ﺑﺘﻠﻚ اﻷﳘﻴﺔ وذﻟﻚ ﻟﺴﻬﻮﻟﺔ اﻟﱪﻫﺎن إﻻ إﻧﻪ وﻋﻠﻰ اﻟﻌﻜﺲ‬
‫ﲤﺎﻣﺎً ﻓﺈن ﻫﺬﻩ اﳌﺘﺒﺎﻳﻨﺔ ﳍﺎ اﻟﻌﺪﻳﺪ ﻣﻦ اﻟﺘﻄﺒﻴﻘﺎت اﳌﻬﻤﺔ وﻟﻌﻞ ﻣﻦ أﳘﻬﺎ ﻧﻈﺮﻳﺔ ﻟﻴﻮﻓﻴﻞ اﻟﱵ ﺗﻨﺺ ﻋﻠﻰ‬
‫ﻧﻈﺮﻳﺔ ‪) 1.5.10‬ﻧﻈﺮﻳﺔ ﻟﻴﻮﻓﻴﻞ(‬
‫ﻟﺘﻜﻦ ‪ f‬داﻟﺔ ﻛﻠﻴﺔ )أي ﲢﻠﻴﻠﻴﺔ ﻋﻠﻰ ﻛﺎﻣﻞ اﳌﺮﻛﺐ(‪ .‬إذا ﻛﺎﻧﺖ ‪ f‬ﳏﺪودة ﻓﺈ ﺎ ﺛﺎﺑﺘﺔ‪.‬‬
‫ﺑﺮﻫﺎن ﻟﻴﻜﻦ }‪ . M = sup{| f (z)|, z ∈ C‬ﻣﻦ ﻣﻔﻜﻮك ﺗﺎﻳﻠﻮر ﻟﻨﺎ‬
‫∞‬
‫∑‬
‫)‪f (n) (0‬‬
‫!‪n‬‬
‫‪n=0‬‬
‫وﻟﻜﻦ ﻣﻦ ﻣﺘﺒﺎﻳﻨﺔ ﻛﻮﺷﻲ ﻓﺈﻧﻪ‬
‫= )‪∀z ∈ C, f (z‬‬
‫ )‪ (n‬‬
‫‪ f (0) M‬‬
‫ ‪∀r > 0, ∀n ∈ N,‬‬
‫≤‬
‫‪ n! rn‬‬
‫وﺣﻴﺚ أن ‪ f‬داﻟﺔ ﻛﻠﻴﺔ‪ ,‬ﻓﺈﻧﻪ ﺑﺄﺧﺬ‬
‫اﻟﻨﻬﺎﻳﺔ ﻋﻨﺪﻣﺎ ∞ → ‪ r‬ﳓﺼﻞ ﻋﻠﻰ )‪ (n‬‬
‫ )‪ f (0‬‬
‫‪M‬‬
‫‪= 0 , ∀n ∈ N‬‬
‫‬
‫‪ ≤ lim‬‬
‫‪n! r→∞ rn‬‬
‫و ﺬا ﻳﻜﻮن )‪ f (z) = f (a‬ﻟﻜﻞ ‪ ,z ∈ C‬أي أن ‪ f‬ﺛﺎﺑﺘﺔ‪.‬‬
‫ﻣﻦ ﻧﻈﺮﻳﺔ ﻟﻴﻮﻓﻴﻞ ﻧﺮى أن اﻟﺪوال ‪ sin z, cos z, ez‬دوال ﻟﻴﺴﺖ ﳏﺪودة وذﻟﻚ ﻛﻮ ﺎ دوال ﻛﻠﻴﺔ‪ ,‬وﻫﺬا ﳜﺘﻠﻒ ﻋﻦ اﻟﺪوال‬
‫ﰲ اﳊﻘﻴﻘﻲ ﻷﻧﻨﺎ ﻧﻌﻠﻢ ﻋﻠﻰ ﺳﺒﻴﻞ اﳌﺜﺎل أن ‪.| sin x| ≤ 1, ∀x ∈ R‬‬
‫رأﻳﻨﺎ ﰲ ﺑﺪاﻳﺔاﳌﻘﺮر أن ﺗﻌﺮﻳﻒ اﻟﻀﺮب ﻋﻠﻰ اﻷﻋﺪاد اﳌﺮﻛﺒﺔ ﻣﻜﻨﻨﺎ ﻣﻦ ﺣﻞ اﳌﻌﺎدﻟﺔ ‪ z2 + 1 = 0‬وﻫﻮ ﻣﺎ ﱂ ﻳﺘﺴﲎ ﻟﻨﺎ ﰲ‬
‫اﻷﻋﺪاد اﳊﻘﻴﻘﻴﺔ‪ ,‬واﻵن ﻧﻮرد ﻧﻈﺮﻳﺔ ﻣﻔﺎدﻫﺎ ﺿﻤﺎن وﺟﻮد اﳉﺬور ﻟﻜﺜﲑات اﳊﺪود ﰲ اﳌﺮﻛﺐ‬
‫ﻧﻈﺮﻳﺔ ‪) 1.5.11‬اﻟﻨﻈﺮﻳﺔ اﻷﺳﺎﺳﻴﺔ ﰲ اﳉﱪ(‬
‫إذا ﻛﺎﻧﺖ ‪ P‬ﻛﺜﲑة ﺣﺪود ﻏﲑ ﺛﺎﺑﺘﺔ ﻓﺈن ﳍﺎ ﻋﻠﻰ اﻷﻗﻞ ﺟﺬر ﰲ ‪.C‬‬
‫ﺑﺮﻫﺎن ﺣﻴﺚ أن ‪ P‬ﻛﺜﲑة ﺣﺪود ﻏﲑ ﺛﺎﺑﺘﺔ ﻓﺈن ∞ = |)‪ .lim|z|→∞ |P(z‬ﰲ اﻟﻮاﻗﻊ‬
‫‪a0‬‬
‫‪a1‬‬
‫)‪+ n−1 + ... + 1‬‬
‫‪zn‬‬
‫‪z‬‬
‫ﻟﻮ ﻛﺎﻧﺖ ‪ P‬ﻟﻴﺲ ﳍﺎ ﺟﺬور ﻓﺈن اﻟﺪاﻟﺔ‬
‫‪1‬‬
‫‪P‬‬
‫= ‪f‬‬
‫( ‪P(z) = a0 + a1 z + ... + an zn = zn‬‬
‫ﲢﻠﻴﻠﻴﺔ ﻋﻠﻰ ﻛﺎﻣﻞ اﳌﺮﻛﺐ وﲢﻘﻖ‬
‫‪lim | f (z)| = 0‬‬
‫∞→|‪|z‬‬
‫وﺑﺎﻟﺘﺎﱄ إذا ﻛﺎن ‪ M > 0‬ﻓﺈﻧﻪ ﻳﻮﺟﺪ ‪ R > 0‬ﲝﻴﺚ ‪ | f (z)| ≤ M‬ﻟﻜﻞ ‪ .|z| > R‬ﻣﻦ اﻟﻨﺎﺣﻴﺔ اﻷﺧﺮى ﻓﺈن اﻟﺪاﻟﺔ | ‪ | f‬ﻣﺘﺼﻠﺔ‬
‫وﺑﺎﻟﺘﺎﱄ ﻋﻠﻰ اﳌﱰاص )‪ B(0, R‬ﺗﺼﻞ إﱃ ﻗﻴﻤﺘﻬﺎ اﻟﻌﻈﻤﻰ‪ .‬وﻋﻠﻴﻪ ﻓﺈن اﻟﺪاﻟﺔ ‪ f‬ﳏﺪودة وﻣﻦ ﻟﻴﻮﻓﻴﻞ ﺗﻜﻮن ﺛﺎﺑﺘﻪ‪ ,‬وﻫﺬا ﻳﺆدي‬
‫إﱃ أن ‪ P‬ﺛﺎﺑﺘﺔ وﻫﺬا ﺗﻨﺎﻗﺾ‪.‬‬
‫اﻟﺘﻜﺎﻣﻞ اﻟﻤﺮﻛﺐ‬
‫‪13‬‬
‫ﺗﻌﺮﻳﻒ ‪ 1.5.12‬ﻟﺘﻜﻦ ‪ f‬داﻟﺔ ﲢﻠﻴﻠﺔ ﻋﻠﻰ ﻣﻔﺘﻮح ‪ Ω‬ﻣﻦ ‪ C‬ﻓﺈﻧﻨﺎ ﻧﻘﻮل أن ‪ a ∈ Ω‬ﺟﺬر ﻟﻠﺪاﻟﺔ ‪ f‬ﻣﻦ اﻟﺪرﺟﺔ ‪ m ≥ 1‬إذا‬
‫وﻓﻘﻂ إذا ﻛﺎن‬
‫‪f (a) = ... = f (m−1) (a) = 0, f (m) (a) , 0‬‬
‫ﻻﺣﻆ أﻧﻪ ﻣﻦ ﻣﻔﻜﻮك‬
‫ﺗﺎﻳﻠﻮر ﻋﻠﻰ ‪ B(a, r) ⊂ Ω‬ﳒﺪ أن‬
‫∞‬
‫∞‬
‫)‪(n‬‬
‫∑‬
‫∑‬
‫)‪f (a‬‬
‫= )‪∀z ∈ B(a, r), f (z‬‬
‫‪(z − a)n = (z − a)m‬‬
‫‪an (z − a)n−m‬‬
‫!‪n‬‬
‫‪n=m‬‬
‫‪n=0‬‬
‫وﺑﺬﻟﻚ ﻧﺴﺘﻨﺘﺞ أن ﻛﻮن ‪ a‬ﺟﺬر ﻣﻦ اﻟﺪرﺟﺔ ‪ m‬ﻟﻠﺪاﻟﺔ ‪ f‬ﻳﻘﺘﻀﻲ وﺟﻮد ‪ r > 0‬وداﻟﺔ ﲢﻠﻴﻠﻴﺔ ‪ g‬ﻋﻠﻰ‬
‫)‪ z ∈ B(a, r‬ﻓﺈن )‪ f (z) = (z − a)m g(z‬و ‪.g(a) , 0‬‬
‫ﻧﻈﺮﻳﺔ ‪) 1.5.13‬ﻧﻈﺮﻳﺔ اﻷﺻﻔﺎر اﳌﻌﺰوﻟﺔ(‬
‫ﻟﺘﻜﻦ ‪ f‬داﻟﺔ ﲢﻠﻴﻠﻴﺔ ﻋﻠﻰ ﻧﻄﺎق ‪ Ω‬ﻣﻦ ‪ C‬ﻓﺈن‬
‫‪.Ω‬‬
‫)‪B(a, r‬‬
‫ﲝﻴﺚ ﻟﻜﻞ‬
‫إذا وﻓﻘﻂ إذا ﻛﺎﻧﺖ ا ﻤﻮﻋﺔ }‪ Z f = {z : f (z) = 0‬ﳍﺎ ﻧﻘﻄﺔ ﺗﺮاﻛﻢ ﰲ‬
‫‪f ≡0‬‬
‫ﺗﻄﺒﻴﻘﺎت ﻋﻠﻰ ﻧﻈﺮﻳﺔ اﻷﺻﻔﺎر اﻟﻤﻌﺰوﻟﺔ‬
‫‪1‬‬
‫‪n‬‬
‫‪ . f (z) = z+1‬ﻷﻧﻪ ﻟﻮ ﻛﺎﻧﺖ ‪ g‬داﻟﺔ ﲢﻠﻴﻠﻴﺔ ﲢﻘﻖ‬
‫‪ f ( 1n ) = n+1‬ﻫﻲ‬
‫• ﲨﻴﻊ اﻟﺪوال اﻟﺘﺤﻠﻴﻠﻴﺔ ﲜﻮار اﻟﺼﻔﺮ اﻟﱵ ﲢﻘﻖ‬
‫‪n‬‬
‫‪1‬‬
‫‪ g( 1n ) = n+1‬ﻓﺈن ‪ f − g = 0‬ﻋﻠﻰ ا ﻤﻮﻋﺔ }‪ A = { n , n ∈ N‬وﺣﻴﺚ أن ‪ A‬ﳍﺎ ﻧﻘﻄﺔ ﺗﺮاﻛﻢ ﻓﺈن ‪. f ≡ g‬‬
‫• إذا ﻛﺎﻧﺖ ‪ P‬ﻛﺜﲑة ﺣﺪود ﻏﲑ ﺻﻔﺮﻳﺔ ﻓﺈن ﺟﺬورﻫﺎ ﻣﻨﺘﻬﻴﺔ‪ .‬وذﻟﻚ ﻷن ∞ = |)‪ lim|z|→∞ |P(z‬وﺑﺎﻟﺘﺎﱄ ﻳﻮﺟﺪ‬
‫ﺣﻴﺚ ﺟﺬور ‪ P‬ﳏﺘﻮاﻩ ﰲ )‪ . B(0, R‬إذاً ﺟﺬور ‪ P‬ﻣﻨﺘﻬﻴﺔ وإﻻ وﺟﺪت ﻧﻘﻄﺔ ﺗﺮاﻛﻢ ﳉﺬورﻫﺎ‪ .‬اﻵن ﻟﺘﻜﻦ ‪a1 , ..., an‬‬
‫ﺟﺬور ﻛﺜﲑة اﳊﺪود ‪ P‬ﻣﻦ اﻟﺪرﺟﺔ ‪ m1 , ..., mn‬ﻋﻠﻰ اﻟﺘﻮاﱄ‪ ,‬ﻓﺈن ﲨﻴﻊ ﻫﺬﻩ اﳉﺬور ﻣﻦ درﺟﺔ ﻣﻨﺘﻬﻴﺔ‪ .‬ﻓﻌﻠﻰ ﺳﺒﻴﻞ‬
‫اﳌﺜﺎل ﻟﻮ ﻛﺎن ‪ f (n) (a1 ) = 0‬ﻟﻜﻞ ‪ n ∈ N‬ﻓﻤﻦ ﻣﻔﻜﻮك ﺗﺎﻳﻠﻮر ﺣﻮل ‪ a1‬ﺗﻜﻮن ‪ P‬ﻛﺜﲑة ﺣﺪود ﺻﻔﺮﻳﺔ وﻫﺬا ﺗﻨﺎﻗﺾ‪.‬‬
‫إذاً ﻧﺴﺘﻨﺘﺞ ﻣﻦ ذﻟﻚ أن ‪ P‬ﺗﻜﺘﺐ ﻋﻠﻰ اﻟﺼﻮرة‬
‫‪R>0‬‬
‫‪P(z) = (z − a1 )m1 ...(z − an )mn‬‬
‫• إذا ﻛﺎﻧﺖ ‪ f‬داﻟﺔ ﲢﻠﻴﻠﻴﺔ ﻋﻠﻰ ﻧﻄﺎق ‪ Ω‬و ‪ a ∈ Ω‬ﺟﺬر ﻣﻦ اﻟﺪرﺟﺔ ‪ m‬ﻟﻠﺪاﻟﺔ ‪ f‬ﻓﺈﻧﻪ ﻳﻮﺟﺪ ‪ r > 0‬و ‪ g‬داﻟﺔ ﲢﻠﻴﻠﻴﺔ ﻋﻠﻰ‬
‫)‪ B(a, r‬ﲢﻘﻖ )‪ g(z) , 0, ∀z ∈ B(a, r‬ﲝﻴﺚ‬
‫)‪∀z ∈ B(a, r), f (z) = (z − a)m g(z‬‬
‫أي أن أﺻﻔﺎر اﻟﺪوال اﻟﺘﺤﻠﻴﻠﻴﺔ ﺗﻜﻮن ﻣﻌﺰوﻟﺔ‪.‬‬
‫ﻧﻈﺮﻳﺔ ‪) 1.5.14‬ﻣﺒﺪأ اﻟﻘﻴﻤﺔ اﻟﻌﻈﻤﻰ(‬
‫ﻟﺘﻜﻦ ‪ f‬داﻟﺔ ﲢﻠﻴﻠﻴﺔ ﻋﻠﻰ ﻧﻄﺎق ‪ Ω‬ﻣﻦ ‪ C‬إذا وﺟﺪ ‪ a ∈ Ω‬ﲝﻴﺚ‬
‫|)‪| f (a)| = sup | f (z‬‬
‫‪z∈Ω‬‬
‫ﻓﺈن ‪ f‬ﺗﻜﻮن ﺛﺎﺑﺘﺔ ﻋﻠﻰ ‪.Ω‬‬
‫ﻳﻨﺘﺞ ﻣﻦ ﻫﺬﻩ اﻟﻨﻈﺮﻳﺔ اﻟﻨﺺ اﻟﺘﺎﱄ‬
‫ﻧﺘﻴﺠﺔ ‪ 1.5.15‬ﻟﻴﻜﻦ ‪ Ω‬ﻣﻔﺘﻮح وﳏﺪود ﻣﻦ ‪ C‬و ‪ f‬داﻟﺔ ﲢﻠﻴﻠﻴﺔ ﻋﻠﻰ ‪ Ω‬وﻣﺘﺼﻠﺔ ﻋﻠﻰ ‪ Ω‬ﻓﺈن‬
‫‪sup | f (z)| = sup | f (z)|.‬‬
‫‪z∈Ω‬‬
‫‪z∈∂Ω‬‬
‫ﻣﻔﻜﻮك ﻟﻮران وﺗﺼﻨﻴﻒ اﻟﻨﻘﺎط اﻟﺸﺎذة‬
‫‪14‬‬
‫‪1.6‬‬
‫‪1.6‬‬
‫ﻣﻔﻜﻮك ﻟﻮران وﺗﺼﻨﻴﻒ اﻟﻨﻘﺎط اﻟﺸﺎذة‬
‫ﺗﻄﺮﻗﻨﺎ ﺳﺎﺑﻘﺎً ﻟﺘﻌﺮﻳﻒ اﻟﻨﻘﺎط اﻟﺸﺎذة اﳌﻨﻌﺰﻟﺔ‪ ,‬وﰲ ﻫﺬا اﻟﻘﺴﻢ ﺳﻨﻘﻮم ﺑﺪراﺳﺘﻬﺎ ﺑﺼﻮرة ﻣﺴﺘﻔﻴﻀﺔ‪ .‬وﻗﺒﻞ أن ﳔﻮض ﰲ ذﻟﻚ‬
‫ﺳﻨﺜﺒﺖ اﻟﺮﻣﺰ )‪ B(a; r, R‬ﻋﻠﻰ أﻧﻪ ا ﻤﻮﻋﺔ }‪ {z ∈ C : r < |z − a| < R‬ﺣﻴﺚ ‪ a ∈ C‬و ‪.0 < r < R‬‬
‫ﺗﻌﺮﻳﻒ ‪ 1.6.1‬ﻧﻘﻮل أن اﻟﻨﻘﻄﺔ ‪ a ∈ C‬ﻧﻘﻄﺔ ﺷﺎذة ﻣﻨﻌﺰﻟﺔ ﻟﻠﺪاﻟﺔ ‪ f‬إذا وﺟﺪ ‪ r > 0‬ﲝﻴﺚ ﺗﻜﻮن ‪ f‬ﲢﻠﻴﻠﻴﺔ ﻋﻠﻰ )‪.B(a; 0, r‬‬
‫ﻋﻨﺪﻫﺎ ﻧﺼﻨﻒ ‪ a‬ﻛﺎﻟﺘﺎﱄ‪:‬‬
‫‪ a . 1‬ﻧﻘﻄﺔ ﺷﺎذة ﻣﺰاﻟﺔ إذا وﻓﻘﻂ إذا وﺟﺪت داﻟﺔ ﲢﻠﻴﻠﻴﺔ ‪ g‬ﻋﻠﻰ )‪ B(a, r‬ﲝﻴﺚ ‪ g = f‬ﻋﻠﻰ )‪ .B(a; 0, r‬أي أن‬
‫ﻗﺎﺑﻠﺔ ﻟﻠﺘﻤﺪﻳﺪ ﻛﺪاﻟﺔ ﲢﻠﻴﻠﻴﺔ ﻋﻠﻰ )‪ B(a, r‬وﲤﺪﻳﺪﻫﺎ ‪ ef‬ﻫﻮ ‪.g‬‬
‫‪f‬‬
‫‪ a . 2‬ﻗﻄﺐ إذا وﻓﻘﻂ إذا وﺟﺪ ﻋﺪد ﻃﺒﻴﻌﻲ ‪ m > 1‬ﲝﻴﺚ ﺗﻜﻮن ‪ a‬ﻧﻘﻄﺔ ﺷﺎذة ﻣﺰاﻟﺔ ﺑﺎﻟﻨﺴﺒﺔ ﻟﻠﺪاﻟﺔ‬
‫‪g(z) = (z − a)m f (z).‬‬
‫‪ a . 3‬ﻧﻘﻄﺔ ﺷﺎذة أﺳﺎﺳﻴﺔ إذا وﻓﻘﻂ إذا ﱂ ﺗﻜﻦ ﻻ ﻣﺰاﻟﺔ وﻻ ﻗﻄﺐ‪.‬‬
‫‪+z‬‬
‫‪ f (z) = 2z2z+1‬داﻟﺔ ﲢﻠﻴﻠﻴﺔ ﻋﻠﻰ )‪ ,B( −12 ; 0, r‬ﻟﻜﻦ ﻟﻮأﺧﺬﻧﺎ ‪ g(z) = z‬ﳒﺪ أن ‪ g‬داﻟﺔ ﲢﻠﻴﻠﻴﺔ ﻋﻠﻰ‬
‫ﻣﺜﺎل ‪ 1.6.2‬اﻟﺪاﻟﺔ‬
‫‪−1‬‬
‫)‪ B( −12 , r‬وﲢﻘﻖ أن ‪ g = f‬ﻋﻠﻰ )‪ B( 2 ; 0, r‬ﻷﻧﻪ‬
‫‪2‬‬
‫)‪z(2z + 1‬‬
‫‪−1‬‬
‫= )‪; 0, r), f (z‬‬
‫‪=z‬‬
‫‪2‬‬
‫‪2z + 1‬‬
‫وﺑﺎﻟﺘﺎﱄ ﻓﺈن ‪ a = −12‬ﻧﻘﻄﺔ ﺷﺎذة ﻣﺰاﻟﺔ ﻟﻠﺪاﻟﺔ‬
‫(‪∀z ∈ B‬‬
‫‪f‬‬
‫ﻣﺜﺎل ‪ 1.6.3‬اﻟﺪاﻟﺔ ‪ f (z) = 1z‬داﻟﺔ ﲢﻠﻴﻠﻴﺔ ﻋﻠﻰ ∗‪ C‬وﳒﺪ أن ﺣﺎﺻﻞ اﻟﻀﺮب ‪ z f (z) = 1‬داﻟﺔ ﲢﻠﻴﻠﻴﺔ ﻋﻠﻰ ﻛﺎﻣﻞ اﳌﺮﻛﺐ‬
‫وﺑﺎﻟﺘﺎﱄ ﻓﺈن ‪ a = 0‬ﻫﻮ ﻗﻄﺐ ﻟﻠﺪاﻟﺔ‪ .‬ﻻﺣﻆ أن ‪ a = 0‬ﻻ ﳝﻜﻦ أن ﺗﻜﻮن ﻧﻘﻄﺔ ﺷﺎذة ﻣﺰاﻟﺔ ﻟﻠﺪاﻟﺔ ‪ f‬ﻷﻧﻪ ﻟﻮ أﻣﻜﻦ ﲤﺪﻳﺪ‬
‫اﻟﺪاﻟﺔ ‪ f (z) = 1z‬ﲝﻴﺚ ﺗﻜﻮن ﲢﻠﻴﻠﻴﺔ ﻋﻠﻰ ‪ C‬ﻓﺈﻧﻪ ﻣﻦ ﻧﻈﺮﻳﺔ ﻛﻮﺷﻲ ﻋﻠﻰ ﺑﺴﻴﻂ اﻟﱰاﺑﻂ ﻳﻜﻮن ﺗﻜﺎﻣﻞ ‪ ef‬ﻣﺴﺎوﻳﺎً ﻟﻠﺼﻔﺮ ﻋﻠﻰ‬
‫ﻛﻞ ﻗﻮس أﻣﻠﺲ ﻗﻄﻌﺎً ﻣﻦ ‪ C‬وﻫﺬا ﻳﻨﺎﻗﺾ ﻛﻮن‬
‫∫‬
‫‪1‬‬
‫‪dz = 2πi‬‬
‫‪z‬‬
‫ﻣﺜﺎل ‪ 1.6.4‬اﻟﺪاﻟﺔ‬
‫‪1‬‬
‫‪f (z) = e z‬‬
‫)‪γ(0,1‬‬
‫داﻟﺔ ﲢﻠﻴﻠﻴﺔ ﻋﻠﻰ ∗‪ C‬وﺑﺎﻟﺘﺎﱄ ﻣﻦ ﺗﻌﺮﻳﻒ اﻟﺪاﻟﺔ اﻷﺳﻴﺔ ﻓﺈﻧﻪ ﻟﻜﻞ ‪ z , 0‬ﻳﻜﻮن‬
‫‪1‬‬
‫‪1‬‬
‫‪1‬‬
‫‪1‬‬
‫‪e =1+ + 2 +‬‬
‫‪+ .... +‬‬
‫‪+ ...‬‬
‫‪z‬‬
‫‪2z‬‬
‫‪(3!)z3‬‬
‫‪(n!)zn‬‬
‫‪1‬‬
‫‪z‬‬
‫وﻣﻦ ﻫﻨﺎ ﻧﺮى أن ‪ a = 0‬ﻧﻘﻄﺔ ﺷﺎذة أﺳﺎﺳﻴﺔ ﻟﻠﺪاﻟﺔ ‪ ,e‬ﻷﻧﻪ ﻻﻳﻮﺟﺪ ‪ n ∈ N‬ﲝﻴﺚ ﺗﻜﻮن ‪ zn e‬ﲢﻠﻴﻠﻴﺔ وذﻟﻚ ﻛﻮن‬
‫اﻷﺳﺲ اﻟﺴﺎﻟﺒﺔ ﺳﺘﺴﺘﻤﺮ ﺑﺎﻟﻈﻬﻮر وﻫﻮ ﻣﺎ ﻳﺘﻨﺎﰱ ﻣﻊ ﻣﻔﻜﻮك ﺗﺎﻳﻠﻮر ﻟﻠﺪوال اﻟﺘﺤﻠﻴﻠﻴﺔ‪.‬‬
‫‪1‬‬
‫‪z‬‬
‫‪1‬‬
‫‪z‬‬
‫ﺗﻌﺮﻳﻒ ‪ 1.6.5‬ﻟﺘﻜﻦ ‪ f‬داﻟﺔ ﲢﻠﻴﻠﻴﺔ ﻋﻠﻰ )‪ B(a; 0, r‬ﻓﺈﻧﻨﺎ ﻧﻘﻮل أن ‪ a‬ﻗﻄﺐ ﻟﻠﺪاﻟﺔ ‪ f‬ﻣﻦ اﻟﺪرﺟﺔ ‪ m‬إذا وﻓﻘﻂ إذا ﻛﺎن‬
‫أﺻﻐﺮ ﻋﺪد ﻃﺒﻴﻌﻲ ﲝﻴﺚ ﺗﻜﻮن ‪ a‬ﻧﻘﻄﺔ ﺷﺎذة ﻣﺰاﻟﺔ ﺑﺎﻟﻨﺴﺒﺔ ﻟﻠﺪاﻟﺔ )‪.g(z) = (z − a)m f (z‬‬
‫‪m‬‬
‫ﻣﻼﺣﻈﺔ ‪ 1.6.6‬ﻧﻼﺣﻆ ﻣﻦ اﻟﺘﻌﺮﻳﻒ اﻟﺴﺎﺑﻖ أن ‪ g‬ﲢﻠﻴﻠﻴﺔ ﻋﻠﻰ )‪ B(a, r‬وﺑﺎﻟﺘﺎﱄ ﻣﻦ ﻣﻔﻜﻮك ﺗﺎﻳﻠﻮر ﻟﻠﺪوال اﻟﺘﺤﻠﻴﻠﻴﺔ ﳒﺪ‬
‫أن‬
‫∞‬
‫∑‬
‫‪αn (z − a)n‬‬
‫‪n=0‬‬
‫)‪g(z‬‬
‫‪1‬‬
‫=‬
‫‪(z − a)m‬‬
‫‪(z − a)m‬‬
‫∞‬
‫∑‬
‫‪α0‬‬
‫‪α1‬‬
‫‪αm−1‬‬
‫‪+‬‬
‫‪+‬‬
‫‪...‬‬
‫‪+‬‬
‫‪+‬‬
‫‪αn (z − a)n−m‬‬
‫‪(z − a)m‬‬
‫‪(z − a)m−1‬‬
‫‪(z − a) n=m‬‬
‫|‬
‫‪{z‬‬
‫}‬
‫اﳉﺰء اﻟﺸﺎذ‬
‫=‬
‫= )‪f (z‬‬
‫اﻟﺘﻜﺎﻣﻞ اﻟﻤﺮﻛﺐ‬
‫‪15‬‬
‫ﻧﻈﺮﻳﺔ ‪) 1.6.7‬ﻣﻔﻜﻮك ﻟﻮران(‬
‫ﻟﻴﻜﻦ ‪ a ∈ C‬و ‪ 0 < r < R‬وﻟﺘﻜﻦ ‪ f‬داﻟﺔ ﲢﻠﻴﻠﻴﺔ ﻋﻠﻰ ﻣﻔﺘﻮح ‪ Ω‬ﳛﻮي )‪ B(a; r, R‬ﻓﺈﻧﻪ‬
‫‪an (z − a)n‬‬
‫∞‬
‫∑‬
‫= )‪∀z ∈ B(a; r, R), f (z‬‬
‫∞‪n=−‬‬
‫ﺣﻴﺚ‬
‫)‪f (z‬‬
‫)‪dz, t ∈ (r, R‬‬
‫‪(z − a)n+1‬‬
‫∫‬
‫)‪γ(a,t‬‬
‫‪1‬‬
‫= ‪an‬‬
‫‪2πi‬‬
‫اﻵن ﺳﻮف ﻧﺴﺘﺨﺪم ﻣﻔﻜﻮك ﻟﻮران ﻛﺄداة ﻟﺘﺼﻨﻴﻒ اﻟﻨﻘﺎط اﻟﺸﺎذة ﻣﻦ ﺧﻼل اﻟﻨﻈﺮﻳﺔ اﻟﺘﺎﻟﻴﺔ‪.‬‬
‫ﻧﻈﺮﻳﺔ ‪ 1.6.8‬ﻟﺘﻜﻦ ‪ a‬ﻧﻘﻄﺔ ﺷﺎذة ﻣﻨﻌﺰﻟﺔ ﻟﻠﺪاﻟﺔ ‪ f‬و ﻟﺘﻜﻦ ‪ f‬ﳍﺎ ﻣﻔﻜﻮك ﻟﻮران ﻋﻠﻰ اﻟﺼﻮرة‬
‫‪an (z − a)n , ∀z ∈ B(a; 0, r).‬‬
‫∞‬
‫∑‬
‫= )‪f (z‬‬
‫∞‪n=−‬‬
‫ﻓﺈن‪:‬‬
‫‪ a . 1‬ﻧﻘﻄﺔ ﺷﺎذة ﻣﺰاﻟﺔ إذا وﻓﻘﻂ إذا ﻛﺎن ‪ an = 0‬ﻟﻜﻞ ‪.n ≤ −1‬‬
‫‪ a . 2‬ﻗﻄﺐ ﻣﻦ اﻟﺪرﺟﺔ ‪ m‬إذا وﻓﻘﻂ إذا ﻛﺎن ‪ a−m , 0‬و ﻛﺎن ‪ an = 0‬ﻟﻜﻞ )‪.n ≤ −(m + 1‬‬
‫‪ a . 3‬ﻧﻘﻄﺔ ﺷﺎذة أﺳﺎﺳﻴﺔ إذا وﻓﻘﻂ إذا ﻛﺎن ‪ an , 0‬ﻟﻌﺪد ﻻ ﺎﺋﻲ ﻣﻦ اﻷﻋﺪاد اﻟﺼﺤﻴﺤﺔ اﻟﺴﺎﻟﺒﺔ ‪.n‬‬
‫ﺑﺮﻫﺎن‬
‫ﻣﺜﺎل ‪ 1.6.9‬أوﺟﺪ ﻣﻔﻜﻮك ﻟﻮران ﻟﻠﺪاﻟﺔ‬
‫‪1‬‬
‫)‪(z−1)(z−2‬‬
‫= )‪f (z‬‬
‫ﻋﻨﺪﻣﺎ‬
‫‪.|z| < 1 . 1‬‬
‫‪.1 < |z| < 2 . 2‬‬
‫‪.|z| > 2 . 3‬‬
‫اﻟﺤﻞ‬
‫ﻣﺜﺎل ‪ 1.6.10‬أوﺟﺪ ﻣﻔﻜﻮك ﻟﻮران ﻟﻠﺪاﻟﺔ‬
‫‪1‬‬
‫‪z−3‬‬
‫= )‪f (z‬‬
‫ﻋﻠﻰ ﺻﻮرة‬
‫‪ . 1‬ﻣﺘﺴﻠﺴﻠﺔ ﻗﻮى ﻣﻮﺟﺒﺔ ﰲ ‪.z‬‬
‫‪ . 2‬ﻣﺘﺴﻠﺴﻠﺔ ﻗﻮى ﺳﺎﻟﺒﺔ ﰲ ‪.z‬‬
‫اﻟﺤﻞ‬
‫ﻣﻔﻜﻮك ﻟﻮران وﺗﺼﻨﻴﻒ اﻟﻨﻘﺎط اﻟﺸﺎذة‬
‫‪16‬‬
‫‪1.6‬‬
‫‪ . 1‬ﻟﻜﻲ ﻳﻜﻮن اﳌﻔﻜﻮك ﻋﻠﻰ ﺻﻮرة أﺳﺲ ﻣﻮﺟﺒﺔ ﰲ ‪ ,z‬ﻓﺈﻧﻨﺎ ﻣﻦ ﻣﻔﻜﻮك ﺗﺎﻳﻠﻮر ﻧﺒﺤﺚ ﻋﻦ ﺟﻮار ‪ Ω‬ﻟﻠﺼﻔﺮ ﲝﻴﺚ ﺗﻜﻮن‬
‫‪1‬‬
‫‪ z−3‬ﲢﻠﻴﻠﻴﺔ ﻋﻠﻰ ‪ Ω‬وﻣﻦ ﻣﻔﻜﻮك ﺗﺎﻳﻠﻮر ﻧﺘﺤﺼﻞ‬
‫ﻋﻠﻴﻪ اﻟﺪاﻟﺔ ‪ f‬ﲢﻠﻴﻠﻴﺔ‪ .‬وﺑﺎﻟﺘﺎﱄ ﻟﻮ أﺧﺬﻧﺎ }‪ Ω = {z ∈ C, |z| < 1‬ﻓﺈن اﻟﺪاﻟﺔ‬
‫)‪∑ f (n) (0‬‬
‫‪1‬‬
‫=‬
‫‪zn‬‬
‫!‪z − 3 n=0 n‬‬
‫∞‬
‫وﺑﺎﻻﺳﺘﻘﺮاء ﻧﺴﺘﻄﻴﻊ أن ﻧﱪﻫﻦ أن‬
‫∞‬
‫∑‬
‫)!‪−(n‬‬
‫‪−1 n‬‬
‫‪1‬‬
‫=‬
‫⇒ ‪f (n) (0) = n+1‬‬
‫‪z‬‬
‫‪3‬‬
‫‪z − 3 n=0 3n+1‬‬
‫ﻛﻤﺎ ﳝﻜﻨﻨﺎ أن ﻧﺮى ذﻟﻚ ﺑﻄﺮﻳﻘﺔ أﺧﺮى ﺑﺎﺳﺘﺨﺪام ﳎﻤﻮع اﳌﺘﺴﻠﺴﻠﺔ اﳍﻨﺪﺳﻴﺔ وذﻟﻚ ﻛﻮن ‪ |z| < 1‬أي أن‬
‫∞‬
‫∞‬
‫‪1‬‬
‫‪1‬‬
‫‪−1‬‬
‫‪z‬‬
‫‪−1 ∑ ( z )n ∑ −1 n‬‬
‫⇒ <| |‬
‫=‬
‫=‬
‫‪z‬‬
‫= ‪z‬‬
‫‪3‬‬
‫‪3‬‬
‫‪z−3‬‬
‫‪3 n=0 3‬‬
‫‪3n+1‬‬
‫) ‪3(1 − 3‬‬
‫‪n=0‬‬
‫‪ . 2‬ﻻﺣﻆ أن اﻟﺪاﻟﺔ ﲢﻠﻴﻠﻴﺔ ﻋﻠﻰ }‪ C \ {3‬وﺑﺎﻟﺘﺎﱄ ﻟﻦ ﻧﺼﻞ ﻟﻠﻤﻄﻠﻮب ﻟﻮ أوﺟﺪﻧﺎ ﻣﻔﻜﻮك ﻟﻮران ﻟﻠﺪاﻟﺔ ﺣﻮل اﻟﻨﻘﻄﺔ‬
‫‪ 3‬ﻷن اﳌﻔﻜﻮك ﺳﻴﻜﻮن ﻣﺘﺴﻠﺴﻠﺔ ﻗﻮى ﰲ ‪ z − 3‬وﻟﺬﻟﻚ ﺳﻨﻮﺳﻊ اﻟﺪاﺋﺮة ﻟﺘﺸﻤﻞ اﻟﻨﻘﻄﺔ ﺻﻔﺮ ﻟﻨﺤﺼﻞ ﻋﻠﻰ ﻣﺘﺴﻠﺴﻠﺔ ﻗﻮى‬
‫ﺳﺎﻟﺒﺔ ﰲ ‪ .z‬وﻋﻠﻴﻪ ﳔﺘﺎر }‪ Ω = {z ∈ C, |z| > 3‬ﻓﻨﺠﺪ أن‬
‫‪1‬‬
‫‪1‬‬
‫=‬
‫‪z−3‬‬
‫) ‪z(1 − 3z‬‬
‫وﲟﺎ أن ﻟﻜﻞ ‪ z ∈ Ω‬ﻳﻜﻮن‬
‫‪<1‬‬
‫‪3‬‬
‫|‪|z‬‬
‫ﻓﺈن‬
‫∞‬
‫‪1‬‬
‫‪1 ∑ ( 3 )n‬‬
‫=‬
‫‪z−3‬‬
‫‪z n=0 z‬‬
‫ﻣﺜﺎل ‪ 1.6.11‬ﺻﻨﻒ اﻟﻨﻘﺎط اﻟﺸﺎذة ﺑﺎﻟﻨﺴﺒﺔ ﻟﻠﺪوال اﻟﺘﺎﻟﻴﺔ‬
‫‪ez‬‬
‫‪z2‬‬
‫‪sin z‬‬
‫‪,‬‬
‫‪f‬‬
‫)‪(z‬‬
‫=‬
‫= )‪f1 (z‬‬
‫= )‪, f3 (z‬‬
‫‪2‬‬
‫‪2‬‬
‫‪z sin z‬‬
‫‪z‬‬
‫)‪(z − 1)(z − i‬‬
‫اﻟﺤﻞ‬
‫‪ . 1‬اﻟﺪاﻟﺔ ‪ f1‬ﲢﻠﻴﻠﻴﺔ ﻋﻠﻰ }‪ .C \ {1, i‬إذاً اﻟﻨﻘﺎط اﻟﺸﺎذة اﳌﻨﻌﺰﻟﺔ ﻫﻲ ‪ .a = 1, i‬ﻧﺪرس اﻟﺪاﻟﺔ ﲜﻮار ﻛﻞ ﻧﻘﻄﺔ ﻋﻠﻰ‬
‫‪z‬‬
‫)‪ (z−i‬ﲢﻠﻴﻠﻴﺔ ﻋﻠﻰ اﻟﻘﺮص ) ‪ B(1, 12‬وﺑﺎﻟﺘﺎﱄ ﳍﺎ ﻣﻔﻜﻮك ﺗﺎﻳﻠﻮر ﻋﻠﻰ اﻟﺼﻮرة‬
‫ﺣﺪا ﻓﻨﺠﺪ أن اﻟﺪاﻟﺔ‬
‫‪2‬‬
‫‪2‬‬
‫∞‬
‫∑‬
‫‪2‬‬
‫‪z‬‬
‫‪1‬‬
‫=‬
‫) ‪an (z − 1)n , ∀z ∈ B(1,‬‬
‫‪2‬‬
‫‪(z − i)2‬‬
‫‪n=0‬‬
‫أي أن اﻟﺪاﻟﺔ‬
‫‪f1‬‬
‫ﲜﻮار اﻟﻨﻘﻄﺔ ‪ a = 1‬ﺗﻜﺘﺐ ﻋﻠﻰ اﻟﺼﻮرة‬
‫∞‬
‫∑‬
‫‪1‬‬
‫‪a0‬‬
‫= ‪an (z − 1)n‬‬
‫‪+ a1 + a2 (z − 1) + ... + an (z − 1)n−1 + ...‬‬
‫‪z − 1 n=0‬‬
‫‪z−1‬‬
‫= )‪f1 (z‬‬
‫إذاً ‪ a = 1‬ﻗﻄﺐ ﻣﻦ اﻟﺪرﺟﺔ اﻷوﱃ )ﺑﺴﻴﻂ( ﻟﻠﺪاﻟﺔ ‪ . f1‬ﻧﻘﻮم ﺑﻨﻔﺲ اﻟﻌﻤﻠﻴﺔ ﻟﺘﺼﻨﻴﻒ اﻟﻨﻘﻄﺔ ‪ ,a = i‬ﻓﻨﺠﺪ ﻣﻦ ﻣﻔﻜﻮك‬
‫ﺗﺎﻳﻠﻮر أن‬
‫∑‬
‫‪1‬‬
‫‪z2‬‬
‫) ‪bn (z − i)n , ∀z ∈ B(i,‬‬
‫=‬
‫‪z − 1 n=0‬‬
‫‪2‬‬
‫∞‬
‫ﺑﺎﻟﺘﺎﱄ‬
‫ﻓﺈن اﻟﺪاﻟﺔ ‪ f1‬ﲜﻮار ‪ a = i‬ﳍﺎ اﳌﻔﻜﻮك‬
‫∞‬
‫∑‬
‫‪1‬‬
‫‪b‬‬
‫‪b‬‬
‫‪0‬‬
‫‪1‬‬
‫= )‪f1 (z‬‬
‫= ‪bn (z − i)n‬‬
‫‪+‬‬
‫‪+ b2 + b3 (z − i) + ... + bn (z − i)n−2 + ...‬‬
‫‪z−i‬‬
‫‪(z − i)2 n=0‬‬
‫‪(z − i)2‬‬
‫أي أن ‪ a = i‬ﻗﻄﺐ ﻣﻦ اﻟﺪرﺟﺔ اﻟﺜﺎﻧﻴﺔ‪.‬‬
‫اﻟﺘﻜﺎﻣﻞ اﻟﻤﺮﻛﺐ‬
‫‪17‬‬
‫‪ . 2‬اﻟﺪاﻟﺔ ‪ f2‬ﲢﻠﻴﻠﻴﺔ إﻻ ﻋﻨﺪ اﺻﻔﺎر اﳌﻘﺎم‪ .‬وﻣﻦ دراﺳﺘﻨﺎ اﻟﺴﺎﺑﻘﺔ ﻷﺻﻔﺎر اﻟﺪاﻟﺔ ‪ sin z‬ﻓﺈﻧﻨﺎ ﳒﺪ أن‬
‫}‪ .C \ {2kπ, k ∈ Z‬ﺳﻨﺪرس اﻵن اﻟﻨﻘﻄﺔ ‪ .a = 2kπ‬ﺣﻴﺚ أن‬
‫‪f2‬‬
‫ﲢﻠﻴﻠﻴﺔ ﻋﻠﻰ‬
‫‪sin′ z = cos z ⇒ sin′ 2kπ = 1 , 0‬‬
‫ﻓﺈن ‪ a = 2kπ‬ﺟﺬر ﺑﺴﻴﻂ ﻟﻠﺪاﻟﺔ ‪ sin z‬وﺑﺎﻟﺘﺎﱄ ﻣﻦ ﻧﻈﺮﻳﺔ اﻷﺻﻔﺎر اﳌﻌﺰوﻟﺔ ﻳﻮﺟﺪ ﺟﻮار ‪ Vk‬ﻟﻠﻨﻘﻄﺔ ‪ a = 2kπ‬وداﻟﺔ‬
‫ﲢﻠﻴﻠﻴﺔ ‪ gk‬ﻋﻠﻰ ‪ Vk‬ﲢﻘﻖ ‪ gk (z) , 0‬ﻟﻜﻞ ‪ z ∈ Vk‬ﲝﻴﺚ ‪ .sin z = (z − 2kπ)gk (z), ∀z ∈ Vk‬ﻣﻦ ذﻟﻚ ﻧﺴﺘﻨﺘﺞ أن‬
‫‪ez‬‬
‫‪, ∀z ∈ Vk‬‬
‫)‪z(z − 2kπ)gk (z‬‬
‫= )‪f2 (z‬‬
‫وﺣﻴﺚ أن )‪ g e(z‬داﻟﺔ ﲢﻠﻴﻠﻴﺔ ﻓﺈن ‪ a = 0‬ﻫﻮ ﻗﻄﺐ ﻣﻦ اﻟﺪرﺟﺔ اﻟﺜﺎﻧﻴﺔ ﻟﻠﺪاﻟﺔ ‪ . f2‬ﺑﻴﻨﻤﺎ ﻟﻜﻞ ‪ k , 0‬ﻓﺈن ‪ a = 2kπ‬ﻫﻮ‬
‫ﻗﻄﺐ ﺑﺴﻴﻂ ﻟﻠﺪاﻟﺔ ‪ f2‬وذﻟﻚ ﻷن )‪ z ge (z‬ﲢﻠﻴﻠﻴﺔ ﻟﻜﻞ ‪.k , 0‬‬
‫‪z‬‬
‫‪0‬‬
‫‪z‬‬
‫‪k‬‬
‫‪2‬‬
‫‪ . 3‬ﻣﻦ اﻟﻮﻫﻠﺔ اﻷوﱃ ﻧﺮى أن ‪ a = 0‬ﻧﻘﻄﺔ ﺷﺎذة ﻣﻨﻌﺰﻟﺔ ﻟﻠﺪاﻟﺔ ‪ , f3‬وﺑﺈﳚﺎد ﻣﻔﻜﻮك ﺗﺎﻳﻠﻮر ﻧﺘﺤﺼﻞ‬
‫∞‬
‫∞‬
‫∑‬
‫∑‪1‬‬
‫‪sin z‬‬
‫‪z2n−1‬‬
‫‪z2n−2‬‬
‫=‬
‫‪(−1)n+1‬‬
‫=‬
‫‪(−1)n+1‬‬
‫‪z‬‬
‫‪z n=1‬‬
‫‪(2n − 1)! n=1‬‬
‫!)‪(2n − 1‬‬
‫وﻣﻦ ﻫﻨﺎ ﳒﺪ أن ‪ a = 0‬ﻧﻘﻄﺔ ﺷﺎذة ﻣﺰاﻟﺔ ﺑﺎﻟﻨﺴﺒﺔ ﻟﻠﺪاﻟﺔ ‪. f3‬‬
‫ﻧﻈﺮﻳﺔ اﻟﺒﻮاﻗﻲ‬
‫‪1.7‬‬
‫ﰲ ﻫﺬا اﻟﻘﺴﻢ ﺳﻨﺪرس ﻧﻈﺮﻳﺔ اﻟﺒﻮاﻗﻲ واﻟﱵ ﺗﻌﻤﻢ ﻧﻈﺮﻳﺎت اﻟﺘﻜﺎﻣﻞ اﻟﺴﺎﺑﻘﺔ‪ ,‬ﻛﻤﺎ أ ﺎ وﺳﻴﻠﺔ ﻓﻌﺎﻟﺔ ﳊﺴﺎب اﻟﺘﻜﺎﻣﻼت اﳌﻌﺘﻠﺔ‪.‬‬
‫ﺗﻌﺮﻳﻒ ‪ 1.7.1‬ﻟﺘﻜﻦ ‪ a‬ﻧﻘﻄﺔ ﺷﺎذة ﻣﻨﻌﺰﻟﺔ ﻟﻠﺪاﻟﺔ ‪ f‬واﻟﱵ ﳍﺎ ﻣﻔﻜﻮك ﻟﻮران ﻋﻠﻰ اﻟﺼﻮرة‬
‫)‪an (z − a)n , ∀z ∈ B(a; 0, r‬‬
‫∞‬
‫∑‬
‫= )‪f (z‬‬
‫∞‪n=−‬‬
‫ﻓﺈن ﺑﺎﻗﻲ اﻟﺪاﻟﺔ ‪ f‬ﻋﻨﺪ ‪ a‬ﻫﻮ اﳌﻌﺎﻣﻞ ‪) a−1‬ﻣﻌﺎﻣﻞ ‪ ( 1z‬وﻋﻨﺪﻫﺎ ﻧﻜﺘﺐ ‪.Res( f, a) = a−1‬‬
‫ﻣﺜﺎل ‪ 1.7.2‬رأﻳﻨﺎ ﺳﺎﺑﻘﺎً أن اﻟﻨﻘﻄﺔ ‪ a = 0‬ﻧﻘﻄﺔ ﺷﺎذة أﺳﺎﺳﻴﺔ ﻟﻠﺪاﻟﺔ ‪ ,e‬ﻣﻦ ﺗﻌﺮﻳﻒ اﻟﺪاﻟﺔ اﻷﺳﻴﺔ‬
‫‪1‬‬
‫‪z‬‬
‫‪1‬‬
‫‪1‬‬
‫‪1‬‬
‫‪+‬‬
‫‪+ ... +‬‬
‫‪+ ...‬‬
‫‪2‬‬
‫‪z‬‬
‫‪2!z‬‬
‫‪n!zn‬‬
‫إذاً ‪, 0) = 1‬‬
‫‪1‬‬
‫‪z‬‬
‫‪ .Res(e‬ﺑﺼﻮرٍة ﻋﺎﻣﺔ‪ ,‬ﻓﺈن‬
‫‪1‬‬
‫!)‪(n+1‬‬
‫= )‪, 0‬‬
‫‪1‬‬
‫‪z‬‬
‫‪1‬‬
‫‪ez = 1+‬‬
‫‪.Res(zn e‬‬
‫ﻻﺣﻆ أﻧﻪ أﺣﻴﺎﻧﺎً ﻳﻜﻮن ﻣﻦ اﻟﺼﻌﺐ إﳚﺎد اﳌﻔﻜﻮك ﳊﺴﺎب اﻟﺒﺎﻗﻲ‪ .‬ﻟﺬا ﻧﻮرد اﻟﻨﺘﻴﺠﺔ اﻟﺘﺎﱄ واﻟﱵ ﺳﺘﺴﺎﻋﺪﻧﺎ ﻋﻠﻰ ﺣﺴﺎب‬
‫اﻟﺒﺎﻗﻲ ﻋﻨﺪ اﻷﻗﻄﺎب‪.‬‬
‫ﻧﺘﻴﺠﺔ ‪ 1.7.3‬ﻟﺘﻜﻦ اﻟﻨﻘﻄﺔ ‪ a‬ﻗﻄﺐ ﻟﻠﺪاﻟﺔ ‪ f‬ﻣﻦ اﻟﺪرﺟﺔ ‪ m‬ﻓﺈن ﺑﺎﻗﻲ ‪ f‬ﻋﻨﺪ ‪ a‬ﻳﻌﻄﻰ ﻋﻠﻰ اﻟﺼﻮرة‬
‫)‪[(z − a)m f (z)](m−1‬‬
‫!)‪(m − 1‬‬
‫‪Res( f, a) = lim‬‬
‫‪z→a‬‬
‫ﺑﺮﻫﺎن ﻣﻦ اﳌﻼﺣﻈﺔ ‪ 1.6.6‬وﺟﺪﻧﺎ أن )‪ g(z) = (z − a)m f (z‬داﻟﺔ ﲢﻠﻴﻠﻴﺔ وﻣﻦ ذﻟﻚ اﺳﺘﻨﺘﺠﻨﺎ أن‬
‫∞‬
‫∑‬
‫)‪g(z‬‬
‫‪1‬‬
‫=‬
‫‪αn (z − a)n‬‬
‫‪(z − a)m‬‬
‫‪(z − a)m n=0‬‬
‫∑‬
‫‪α0‬‬
‫‪α1‬‬
‫‪αm−1‬‬
‫‪+‬‬
‫‪+‬‬
‫‪...‬‬
‫‪+‬‬
‫‪+‬‬
‫‪αn (z − a)n−m‬‬
‫‪(z − a)m‬‬
‫‪(z − a)m−1‬‬
‫‪(z − a) n=m‬‬
‫∞‬
‫=‬
‫= )‪f (z‬‬
‫ﻧﻈﺮﻳﺔ اﻟﺒﻮاﻗﻲ‬
‫‪18‬‬
‫إذاً‬
‫)‪gm−1 (a‬‬
‫)‪[(z − a)m f (z)](m−1‬‬
‫=‬
‫‪= lim‬‬
‫‪(m − 1)! z→a‬‬
‫!)‪(m − 1‬‬
‫ﻣﺜﺎل ‪ 1.7.4‬ﰲ اﳌﺜﺎل ‪ 1.6.11‬وﺟﺪﻧﺎ أن ﻟﻠﺪاﻟﺔ‬
‫وﻣﻦ اﻟﻨﺘﻴﺠﺔ اﻟﺴﺎﺑﻘﺔ ﻟﻨﺎ‬
‫‪1‬‬
‫‪z2‬‬
‫=‬
‫‪2‬‬
‫)‪(z − i‬‬
‫‪(1 − i)2‬‬
‫ﺑﻴﻨﻤﺎ‬
‫ﻣﺜﺎل ‪ 1.7.5‬اﻟﺪاﻟﺔ‬
‫‪f1‬‬
‫‪1.7‬‬
‫‪Res( f, a) = αm−1‬‬
‫ﻗﻄﺐ ﺑﺴﻴﻂ ﻋﻨﺪ ‪ a = 1‬وﻗﻄﺐ ﻣﻦ اﻟﺪرﺟﺔ اﻟﺜﺎﻧﻴﺔ ﻋﻨﺪ ‪.a = i‬‬
‫‪Res( f1 , 1) = lim(z − 1) f1 (z) = lim‬‬
‫‪z→1‬‬
‫‪z→1‬‬
‫‪[(z − i)2 f1 (z)]′‬‬
‫‪Res( f1 , i) = lim‬‬
‫‪z→i‬‬
‫!)‪(2 − 1‬‬
‫‪2‬‬
‫‪z ′‬‬
‫]‬
‫[‪= lim‬‬
‫‪z→1 z − 1‬‬
‫‪2z(z − 1) − z2‬‬
‫‪−1 − 2i‬‬
‫‪= lim‬‬
‫=‬
‫‪z→i‬‬
‫‪(z − 1)2‬‬
‫‪(i − 1)2‬‬
‫‪f3‬‬
‫ﳍﺎ ﻗﻄﺐ ﻣﻦ اﻟﺪرﺟﺔ اﻟﺜﺎﻧﻴﺔ ﻋﻨﺪ اﻟﺼﻔﺮ وﺑﺎﻟﺘﺎﱄ ﻓﺈن‬
‫))‪ez (g0 (z) − g′0 (z‬‬
‫‪ez ′‬‬
‫‪] = lim‬‬
‫[‪Res( f3 , 0) = lim‬‬
‫‪z→0‬‬
‫)‪z→0 g0 (z‬‬
‫)‪g20 (z‬‬
‫ﻟﻜﻦ‬
‫‪sin z‬‬
‫‪z2‬‬
‫‪z4‬‬
‫= )‪g0 (z‬‬
‫‪=1−‬‬
‫‪+‬‬
‫‪− ...‬‬
‫‪z‬‬
‫!‪3‬‬
‫!‪5‬‬
‫وﻣﻦ ﻫﻨﺎ ﻧﺮى أن ‪ g0 (0) = 1‬و ‪ .g′0 (0) = 0‬إذاً‬
‫‪Res( f, 0) = 1‬‬
‫ﻧﻈﺮﻳﺔ ‪) 1.7.6‬ﻧﻈﺮﻳﺔ اﻟﺒﻮاﻗﻲ(‬
‫ﻟﻴﻜﻦ ‪ Ω‬ﻣﻔﺘﻮح ﻣﻦ ‪ C‬و ‪ a1 , ..., an‬ﻧﻘﺎط ن ‪ Ω‬وﻟﺘﻜﻦ ‪ f‬داﻟﺔ ﲢﻠﻴﻠﻴﺔ ﻋﻠﻰ } ‪ .Ω \ {a1 , ..., an‬إذا ﻛﺎن ‪ γ‬ﻗﻮس أﻣﻠﺲ ﻗﻄﻌﺎً‬
‫وﻣﻐﻠﻖ ﻣﻦ ‪ Ω‬ﲝﻴﺚ ‪ a j < γ∗ , j = 1, ..., n‬و = )‪ I(γ, z‬ﻟﻜﻞ ‪ z < Ω‬ﻓﺈن‬
‫∫‬
‫) ‪Res( f, a j ) ∗ I(γ, a j‬‬
‫‪n‬‬
‫∑‬
‫‪f (z) dz = 2πi‬‬
‫‪γ‬‬
‫‪j=1‬‬
‫ﻣﺜﺎل ‪ 1.7.7‬ﻟﺘﻜﻦ‬
‫‪f1‬‬
‫ﻛﻤﺎ ﰲ اﳌﺜﺎل ‪ 1.6.11‬ﻓﺈن‬
‫∫‬
‫])‪f1 (z) dz = 2πi[Res( f1 , 1) ∗ I(γ(i, 12 ) , 1) + Res( f1 , i) ∗ I(γ(i, 12 ) , i‬‬
‫) ‪γ(i, 1‬‬
‫‪2‬‬
‫اﳌﺜﺎل ‪ 1.7.4‬ﳒﺪ أن‬
‫ﻣﻦ اﳊﺴﺎﺑﺎت اﻟﱵ ﻗﻤﻨﺎ) ﺎ ﰲ‬
‫(‬
‫‪1 + 2i‬‬
‫‪(i − 1)2‬‬
‫∫‬
‫‪f1 (z) dz = 2πi[Res( f1 , 1) ∗ 0 + Res( f1 , i) ∗ 1] = −2πi‬‬
‫) ‪γ(i, 1‬‬
‫‪2‬‬
‫ﰲ ﺣﲔ أن‬
‫‪2πi‬‬
‫= ‪f1 (z) dz‬‬
‫‪(i − 1)2‬‬
‫∫‬
‫) ‪γ(1, 1‬‬
‫‪3‬‬
‫ﻣﺜﺎل ‪ 1.7.8‬اﻋﺘﱪ اﻟﺪاﻟﺔ ‪ f2‬ﻣﻦ اﳌﺜﺎل ‪ , 1.6.11‬رأﻳﻨﺎ أن اﻟﻨﻘﻄﺔ‬
‫‪ Res( f2 , 0) = 1‬وﺑﺎﻟﺘﺎﱄ ﻣﻦ ﻧﻈﺮﻳﺔ اﻟﺒﻮاﻗﻲ ﳒﺪ أن‬
‫∫‬
‫‪f2 (z) dz = 2πi‬‬
‫)‪γ(0,1‬‬
‫‪a = 0‬‬
‫ﻗﻄﺐ ﻣﻦ اﻟﺪرﺟﺔ اﻟﺜﺎﻧﻴﺔ ﻟﻠﺪاﻟﺔ‬
‫‪f2‬‬
‫وأن‬
‫اﻟﺘﻜﺎﻣﻞ اﻟﻤﺮﻛﺐ‬
‫‪19‬‬
‫ﻣﺜﺎل ‪ 1.7.9‬ﻟﻴﻜﻦ ‪ . R >> 1‬أوﺟﺪ ﻗﻴﻤﺔ اﻟﺘﻜﺎﻣﻞ‬
‫ﺣﻴﺚ‬
‫∫‬
‫‪z2‬‬
‫‪dz‬‬
‫‪z4 + 1‬‬
‫‪,0 ≤ t ≤ π‬‬
‫‪, π ≤ t ≤ 2π‬‬
‫‪γR‬‬
‫{‬
‫‪Reit‬‬
‫= )‪γR (t‬‬
‫‪2t−3π‬‬
‫‪π‬‬
‫اﻟﺤﻞ‬
‫ﺑﺮﺳﻢ اﻟﻘﻮس ‪ γR‬ﳒﺪ أن ﺻﻮرﺗﻪ ﻫﻲ اﲢﺎد اﻟﻨﺼﻒ اﻟﻌﻠﻮي ﻟﻠﺪاﺋﺮة اﻟﱵ ﻣﺮﻛﺰﻫﺎ ‪ 0‬وﻧﺼﻒ ﻗﻄﺮﻫﺎ ‪ R‬ﻣﻊ اﻟﻘﻄﻌﺔ ]‪ .[−R, R‬اﻵن‬
‫ﻧﺪرس اﻟﺪاﻟﺔ ‪ z z+1‬ﻓﻨﺠﺪ أن ﳍﺎ ﻧﻘﺎط ﺷﺎذة ﻋﻨﺪ أﺻﻔﺎر اﳌﻘﺎم وﻫﻲ‬
‫‪2‬‬
‫‪4‬‬
‫‪7πi‬‬
‫‪4‬‬
‫‪, a4 = e‬‬
‫‪5πi‬‬
‫‪4‬‬
‫‪, a3 = e‬‬
‫وﻋﻠﻴﻪ ﻓﻤﻦ ﻧﻈﺮﻳﺔ اﻟﺒﻮاﻗﻲ ﳓﺼﻞ ﻋﻠﻰ‬
‫‪3πi‬‬
‫‪4‬‬
‫‪πi‬‬
‫‪a1 = e 4 , a2 = e‬‬
‫‪4‬‬
‫∑‬
‫‪2‬‬
‫∫‬
‫‪2‬‬
‫‪z‬‬
‫‪z‬‬
‫‪dz = 2πi‬‬
‫‪Res( 4‬‬
‫) ‪, a j ) ∗ I(γ, a j‬‬
‫‪+1‬‬
‫‪z +1‬‬
‫‪j=1‬‬
‫وﺣﻴﺚ أن ‪ a3 , a4‬ﺗﻘﻌﺎن ﰲ اﻟﻨﺼﻒ اﻟﺴﻔﻠﻲ ﻣﻦ اﳌﺮﻛﺐ ﻓﺈن‬
‫‪γR‬‬
‫∫‬
‫‪2‬‬
‫∑‬
‫‪z2‬‬
‫‪z2‬‬
‫‪dz = 2πi‬‬
‫‪Res( 4‬‬
‫)‪, a j‬‬
‫‪+1‬‬
‫‪z +1‬‬
‫‪j=1‬‬
‫‪z4‬‬
‫‪z4‬‬
‫‪γR‬‬
‫ﻟﻜﻦ ) ‪ .z4 + 1 = (z − a1 )(z − a2 )(z − a3 )(z − a4‬أي أن ‪ a1 , a2‬ﻗﻄﺒﲔ ﺑﺴﻴﻄﲔ ﻟﻠﺪاﻟﺔ واﻟﺒﺎﻗﻲ ﻫﻮ‬
‫‪a21‬‬
‫‪z2‬‬
‫= ) ‪, a1‬‬
‫‪+1‬‬
‫) ‪(a1 − a2 )(a1 − a3 )(a1 − a4‬‬
‫‪a21‬‬
‫‪= 3‬‬
‫‪a2‬‬
‫) ‪a1 (1 − a1 (1 − aa13 )(1 − aa41‬‬
‫‪z4‬‬
‫(‪Res‬‬
‫‪−πi‬‬
‫‪e4‬‬
‫‪1−i‬‬
‫=‬
‫√ =‬
‫)‪(1 − i) ∗ 2 ∗ (1 + i‬‬
‫‪4 2‬‬
‫ﺑﻄﺮﻳﻘﺔ ﻣﺸﺎ ﺔ ﲜﺪ أن‬
‫وﻣﻦ ذﻟﻚ ﻧﺴﺘﻨﺘﺞ أن‬
‫‪z2‬‬
‫‪−1 − i‬‬
‫‪Res( 4‬‬
‫√ = ) ‪, a2‬‬
‫‪z +1‬‬
‫‪4 2‬‬
‫(‬
‫)‬
‫‪z‬‬
‫‪1−i 1+i‬‬
‫‪−2i‬‬
‫‪π‬‬
‫= √ ‪dz = 2πi √ − √ = 2πi‬‬
‫‪z4 + 1‬‬
‫‪2‬‬
‫‪4 2 4 2‬‬
‫‪4 2‬‬
‫‪2‬‬
‫∫‬
‫‪γR‬‬
‫ﺗﻄﺒﻴﻘﺎت ﻋﻠﻰ ﻧﻈﺮﻳﺔ اﻟﺒﻮاﻗﻲ‬
‫ﻛﻤﺎ أﺳﻠﻔﻨﺎ ﻓﺈن ﻧﻈﺮﻳﺔ اﻟﺒﻮاﻗﻲ ﺗﺴﺎﻋﺪﻧﺎ ﻋﻠﻰ ﺣﺴﺎب ﺑﻌﺾ اﻟﺼﻴﻎ اﻟﺘﻜﺎﻣﻠﻴﺔ وﻧﻮرد ﻛﺘﻄﺒﻴﻖ ﳍﺬﻩ ﺑﻌﺾ اﻷﻣﺜﻠﺔ‪.‬‬
‫ﻣﺜﺎل ‪ 1.7.10‬أوﺟﺪ ﻗﻴﻤﺔ اﻟﺘﻜﺎﻣﻞ اﻟﺘﺎﱄ‬
‫‪2‬‬
‫‪x‬‬
‫‪dx‬‬
‫‪x4 + 1‬‬
‫اﻟﺤﻞ‬
‫∞‬
‫∞‪−‬‬
‫∫‬
‫ﻧﻈﺮﻳﺔ اﻟﺒﻮاﻗﻲ‬
‫‪20‬‬
‫ﻟﻨﻌﺘﱪ ‪ γR‬ﻛﻤﺎ ﰲ اﳌﺜﺎل اﻟﺴﺎﺑﻖ‪ .‬رأﻳﻨﺎ أن‬
‫‪1.7‬‬
‫∫‬
‫‪z2‬‬
‫‪π‬‬
‫= ‪dz‬‬
‫‪z4 + 1‬‬
‫‪2‬‬
‫‪γR‬‬
‫وﺑﺎﺳﺘﺨﺪام ﺗﻌﺮﻳﻒ اﻟﺘﻜﺎﻣﻞ ﻋﻠﻰ اﻷﻗﻮاس ﳓﺼﻞ ﻋﻠﻰ‬
‫‪∫ 2π‬‬
‫‪x2‬‬
‫‪R2 e2it‬‬
‫‪π‬‬
‫‪dx‬‬
‫‪+‬‬
‫√ = ‪iReit dt‬‬
‫‪4‬‬
‫‪4‬‬
‫‪4it‬‬
‫‪R e +1‬‬
‫‪2‬‬
‫‪−R x + 1‬‬
‫‪0‬‬
‫‪∫ 2π‬‬
‫‪∫ R‬‬
‫‪2 2it‬‬
‫‪2‬‬
‫‪R e‬‬
‫‪π‬‬
‫‪x‬‬
‫‪dx = −‬‬
‫√ ‪iReit dt +‬‬
‫⇒‬
‫‪4+1‬‬
‫‪4 e4it + 1‬‬
‫‪x‬‬
‫‪R‬‬
‫‪2‬‬
‫‪0‬‬
‫‪−R‬‬
‫ﻟﻜﻦ‬
‫‪R‬‬
‫∫‬
‫‪∫ 2π‬‬
‫‬
‫‬
‫ ‪∫ 2π‬‬
‫‬
‫‪ R2 e2it‬‬
‫‪R2 e2it‬‬
‫ ‪it‬‬
‫ ‪it‬‬
‫ ‪lim‬‬
‫‪iRe‬‬
‫‪dt‬‬
‫≤‬
‫‪lim‬‬
‫‪iRe‬‬
‫∞→‪ R‬‬
‫‪ 4 4it‬‬
‫‪ dt‬‬
‫‪R→∞ 0‬‬
‫‪R4 e4it + 1‬‬
‫‪+1‬‬
‫‪0 R e‬‬
‫‪∫ 2π‬‬
‫‪R3‬‬
‫‪≤ lim‬‬
‫‪dt = 0‬‬
‫‪R→∞ 0‬‬
‫‪R4 − 1‬‬
‫إذاً‬
‫‪π‬‬
‫‪x2‬‬
‫√ = ‪dx‬‬
‫‪4‬‬
‫‪x +1‬‬
‫‪2‬‬
‫∫‬
‫∞‬
‫∞‪−‬‬
‫ﻧﺒﲔ اﻟﻨﺘﻴﺠﺔ اﻟﺘﺎﻟﻴﺔ‪.‬‬
‫ﺑﺼﻮرٍة ﻋﺎﻣﺔ‪ ,‬وﺑﺎﺳﺘﺨﺪام ﻧﻔﺲ اﻟﻔﻜﺮة ﰲ اﳌﺜﺎل اﻟﺴﺎﺑﻖ ﻧﺴﺘﻄﻴﻊ أن ﱢ‬
‫ﻧﺘﻴﺠﺔ ‪ 1.7.11‬ﻟﺘﻜﻦ )‪ P(x‬و )‪ Q(x‬ﻛﺜﲑﰐ ﺣﺪود ﰲ ‪ R‬ﲝﻴﺚ ‪ deg P + 2 ≤ deg Q‬و ‪ Q(x) , 0‬ﻟﻜﻞ ‪) x ∈ R‬أي أن‬
‫‪ Q‬ﻟﻴﺲ ﳍﺎ أﺻﻔﺎر ﺣﻘﻴﻘﻴﺔ(‪ .‬إذا ﻛﺎﻧﺖ ‪ a1 , ..an‬ﻫﻲ أﺻﻔﺎر ‪ Q‬ﰲ اﳌﺮﻛﺐ ﻓﺈن‬
‫∫‬
‫∑‬
‫)‪P(x‬‬
‫)‪P(z‬‬
‫‪dx = 2πi‬‬
‫(‪Res‬‬
‫)‪, a j‬‬
‫)‪Q(x‬‬
‫)‪Q(z‬‬
‫‪Im(a j )>0‬‬
‫ﻣﺜﺎل ‪ 1.7.12‬ﳊﺴﺎب ﻗﻴﻤﺔ اﻟﺘﻜﺎﻣﻞ‬
‫‪3‬‬
‫‪dx‬‬
‫‪x2 + 2x + 2‬‬
‫∞‬
‫∞‬
‫∞‪−‬‬
‫∫‬
‫∞‪−‬‬
‫ﻧﻀﻊ ‪ P(x) = 3‬و ‪ Q(x) = x2 + 2x + 2‬ﻓﻨﺠﺪ أن ‪ P, Q‬ﲢﻘﻘﺎن ﺷﺮوط اﻟﻨﺘﻴﺠﺔ ‪ ,1.7.11‬وﻟﻜﻦ‬
‫√‬
‫‪4−8‬‬
‫‪= −1 ± i‬‬
‫‪2‬‬
‫إذاً‬
‫‪−2 ±‬‬
‫= ‪Q(z) = 0 ⇒ z‬‬
‫‪3‬‬
‫‪3‬‬
‫‪dx = 2πi Res( 2‬‬
‫‪, −1 + i) = 3π‬‬
‫‪x2 + 2x + 2‬‬
‫‪z + 2z + 2‬‬
‫∞‬
‫∫‬
‫∞‪−‬‬
‫ﻋﻠﻰ ﻧﻔﺲ اﳌﻨﻮال‪ ,‬ﺑﺎﺳﻄﺎﻋﺘﻨﺎ أن ﻧﱪﻫﻦ اﻟﻨﺺ اﻟﺘﺎﱄ‬
‫ﻧﺘﻴﺠﺔ ‪ 1.7.13‬ﻟﻴﻜﻦ ‪ α > 0‬و ﻟﺘﻜﻦ )‪ P(x‬و )‪ Q(x‬ﻛﺜﲑﰐ ﺣﺪود ﰲ ‪ R‬ﲝﻴﺚ ‪ deg P + 1 ≤ deg Q‬و ‪ Q(x) , 0‬ﻟﻜﻞ‬
‫‪) x ∈ R‬أي أن ‪ Q‬ﻟﻴﺲ ﳍﺎ أﺻﻔﺎر ﺣﻘﻴﻘﻴﺔ(‪ .‬إذا ﻛﺎﻧﺖ ‪ a1 , ..an‬ﻫﻲ أﺻﻔﺎر ‪ Q‬ﰲ اﳌﺮﻛﺐ ﻓﺈن‬
‫∑‬
‫‪P(z)eiαz‬‬
‫‪P(x)eiαx‬‬
‫(‪Res‬‬
‫‪dx = 2πi‬‬
‫)‪, a j‬‬
‫)‪Q(x‬‬
‫)‪Q(z‬‬
‫‪Im(a j )>0‬‬
‫ﻣﺜﺎل ‪ 1.7.14‬ﳊﺴﺎب ﻗﻴﻤﺔ اﻟﺘﻜﺎﻣﻞ‬
‫‪cos x‬‬
‫‪dx‬‬
‫‪x2 + 1‬‬
‫∞‬
‫∞‪−‬‬
‫∫‬
‫∞‬
‫∞‪−‬‬
‫∫‬
‫اﻟﺘﻜﺎﻣﻞ اﻟﻤﺮﻛﺐ‬
‫‪21‬‬
‫ﻧﻘﻮم أوﻻً ﲝﺴﺎب أﺻﻔﺎر اﳌﻘﺎم ﻓﻨﺠﺪ أن )‪ z2 + 1 = (z − i)(z + i‬أي أن اﻷﺻﻔﺎر ﻫﻲ ‪ i, −i‬وﺑﺎﻟﺘﻌﻮﻳﺾ ﰲ اﻟﻨﺘﻴﺠﺔ اﻟﺴﺎﺑﻘﺔ‬
‫ﻋﻦ ‪ α = 1‬و ‪ P(x) = 1‬و ‪ Q(x) = x2 + 1‬ﳓﺼﻞ ﻋﻠﻰ‬
‫∫‬
‫‪eix‬‬
‫‪eiz‬‬
‫‪e−1‬‬
‫‪π‬‬
‫‪dx‬‬
‫=‬
‫‪2πi‬‬
‫(‪Res‬‬
‫‪,‬‬
‫)‪i‬‬
‫=‬
‫‪2πi‬‬
‫=‬
‫‪x2 + 1‬‬
‫‪z2 + 1‬‬
‫‪2i‬‬
‫‪e‬‬
‫اﻟﺘﺎﻟﻴﺔ‬
‫ﺗﻤﺮﻳﻦ ‪ 1.7.15‬أوﺟﺪ ﻗﻴﻤﺔ اﻟﺘﻜﺎﻣﻼت‬
‫∫‬
‫‪2x + 1‬‬
‫‪x4 + 2x2 + 1‬‬
‫∞‬
‫)‪3‬‬
‫∞‪−‬‬
‫‪x cos2 x‬‬
‫‪dx‬‬
‫‪x4 + 1‬‬
‫∞‬
‫∫‬
‫)‪2‬‬
‫∞‪−‬‬
‫∞‬
‫∞‪−‬‬
‫‪x sin x‬‬
‫‪dx‬‬
‫‪x2 + 1‬‬
‫∞‬
‫∫‬
‫)‪1‬‬
‫∞‪−‬‬