لغارتم مركب

[200px|يسار|تصغير|تمثيل دالة اللوغاريتم المركبة على المستوي المركب ([تلوين المجال).]]

في التحليل المركب، **اللغارتم المركب** أو **اللغارتم العقدي** دالة عكسية للدالة الأسية المركبة، تمامًا كما هو الحال بالنسبة إلى اللغارتم الطبيعي الذي هو الدالة العكسية للدالة الأسية الحقيقية *e**x*. إذن، اللوغاريتم المركب لعدد مركب z هو عدد مركب w حيث *e**w* = *z*. يرمز إلى العدد w هذا بالرمز **ln&nbsp;''z*** أو *'log&nbsp;*z**'. بما أن لكل عدد مركب مختلف عن الصفر عدد لا نهائي من اللوغارتمات، فإنه من الواجب الحذر عند كتابة هذه الصيغة من أجل إعطائها معنى واضحا لا لبس فيه.

== معضلة كيفية عكس الدالة الأسية المركبة ==
[[ملف:Riemann surface log.svg|تصغير|يسار|رسم بياني يبين الجزء التخيلي متعدد القيم لدالة اللوغاريتم المركبة.]]

لكي تكون دالة ما [[تقابل (دالة)|تقابلاً]]، ينبغي أن تربط أعدادًا مختلفة عن بعضها البعض بقيم مختلفة عن بعضها البعض. هذا يعني أنه ينبغي أن تكون [[دالة متباينة|متباينة]]. لكن الدالة الأسية المركبة ليست متباينة. سبب ذلك هو أنه مهما كانت قيمة العدد *w*، إضافة *iθ* إلى *w* في الصيغة  يكافئ دوران  في عكس اتجاه عقارب الساعة بزاوية تساوي *θ* [[راديان]]. لائحة الأعداد غير المنتهية التالية
:<math>\ldots,\;w-4\pi i, \;w-2\pi i, \;w, \;w + 2\pi i, \;w+4\pi i, \;\ldots,</math>
تمثل على خط مستقيم نقاطًا متساوية التباعد، الواحدة منهن عن التي تليها. ولكن، الدالة الأسية المركبة تربطهن جميعهن بنفس الصورة. نتيجة لذلك، ليس للدالة الأسية المركبة من دالة عكسية بالمعنى الاعتيادي للكلمة.

هناك حلان لهذه المعضلة.

يتمثل الحل الأول في جعل [[منطلق دالة|مجموعة انطلاق]] الدالة الأسية المركبة، تقتصر على مجال ضيق محدد، لا يحتوي على قيمتين مختلفتين تبتعدان عن بعضها البعض بمضاعف للعدد 2πi. هذه التقنية هي التقنية المستعملة من أجل تعريف [[دوال مثلثية عكسية|الدوال المثلثية العكسية]] الثلاث الأساسية: [[قوس الجيب]] و[[قوس جيب التمام]] و[[قوس الظل]].

يتمثل الحل الثاني في النظر إلى دالة اللوغاريتم المركبة دالةً مجموعة انطلاقها، ليست جزءًا من [[مستو مركب|المستوى المركب]] وإنما [[سطح ريمان|سطح لريمان]] تغطي المستوي المركب بشكل معين.

== تعريف للقيمة الأساسية ==

بالنسبة لكل عدد مركب *z* = *x* + *yi*، اللوغاريتم المركب هو عدد مركب [[عدد مركب|جزؤه التخيلي]] ينتمي إلى المجال
<math>]-\pi, \pi]</math>.

:::<math>\operatorname{Log} z := \text{ln } r + i \theta = \ln |z| + i \operatorname{Arg} z = \operatorname{ln}\sqrt{x^2+y^2} + i \operatorname{atan2}(y,x).</math>

على سبيل المثال، Log(−3*i*) = ln 3 − *πi*/2، بينما Log(−3) = ln 3 +*πi*.

اللوغاريتم المركب للصفر يبقى غير معرف لأنه لا وجود لعدد w حيث *e*<sup>*w*</sup>&nbsp;=&nbsp;0.

ليس كل الصيغ الصالحة للوغاريتم الطبيعي مطبقا على الأعداد الحقيقية تبقى صالحة عندما يتعلق الأمر بالأعداد المركبة. الصيغة *e*<sup>Log&nbsp;*z*</sup>&nbsp;=&nbsp;*z* صحيحة مهما كان z. تعريف اللوغاريتم المركب هو الذي يضمن هذه الخاصية. ولكن، الصيغة Log&nbsp;*e*<sup>*z*</sup> = *z* ليست صحيحة كلما خرج z عن الشريط S.
لهذا السبب، لا يمكن دائما تطبيق دالة اللوغاريتم المركب على طرفي متطابقة ما من قبيل *e*<sup>*z*</sup>&nbsp;=&nbsp;*e*<sup>*w*</sup> من أجل استنتاج *z*&nbsp;=&nbsp;*w''.

:\operatorname{Log}((-1)i) = \operatorname{Log}(-i) = \ln(1) -\frac{\pi i}{2} = -\frac{\pi i}{2}, 
لكن
:\operatorname{Log}(-1) + \operatorname{Log}(i) = \left( \ln(1) + \pi i \right) + \left( \ln(1) + \frac{\pi i}{2} \right) = \frac{3\pi i}{2} \ne -\frac{\pi i}{2}.

## انظر أيضا

* لغارتم
* دالة أسية
* عمدة عدد مركب
* الدوال المثلثية العكسية
* امتداد تحليلي

تصنيف:دوال تحليلية
تصنيف:لغارتمات